Несобственные интегралы и их сходимость

Что такое несобственный интеграл

Стандартный интеграл Римана требует: функция определена и ограничена на замкнутом конечном отрезке. Что если область интегрирования бесконечна или функция неограничена?

Несобственные интегралы расширяют теорию на такие случаи.

Тип I (бесконечный предел): ∫ₐ^∞ f(x) dx = lim(b→∞) ∫ₐᵇ f(x) dx.

Тип II (неограниченная функция): ∫ₐᵇ f(x) dx (f → ∞ при x→a+) = lim(ε→0+) ∫ₐ₊ₑᵇ f(x) dx.

Если предел существует и конечен — интеграл сходится. Иначе — расходится.

Признаки сходимости

Признак сравнения: Если 0 ≤ f(x) ≤ g(x) и ∫g сходится, то ∫f сходится.

Эталоны: ∫₁^∞ dx/xᵖ сходится при p > 1, расходится при p ≤ 1. ∫₀¹ dx/xᵖ сходится при p < 1, расходится при p ≥ 1.

Признак Дирихле: ∫ₐ^∞ f(x)g(x) dx сходится, если F(x) = ∫ₐˣ f(t)dt ограничена, g монотонно → 0.

Например, ∫₁^∞ sin(x)/x dx сходится (условно), но ∫₁^∞ |sin(x)|/x dx расходится.

Важнейшие несобственные интегралы

Гамма-функция: Γ(s) = ∫₀^∞ xˢ⁻¹e⁻ˣ dx при s > 0.

Свойства: Γ(1) = 1, Γ(n) = (n-1)! для натуральных n, Γ(1/2) = √π.

Гамма-функция обобщает факториал на вещественные числа и встречается в теории вероятностей, статистике и физике.

Интеграл Дирихле: ∫₀^∞ sin(x)/x dx = π/2.

Интеграл Гаусса: ∫₋∞^∞ e^(-x²) dx = √π — основа нормального распределения.

Абсолютная и условная сходимость

∫ f сходится абсолютно, если ∫ |f| сходится. Абсолютная сходимость влечёт сходимость.

Если ∫ f сходится, но ∫ |f| расходится — условная сходимость. Аналог условно сходящихся рядов.

Условно сходящийся интеграл «хрупок»: перестановка элементов может изменить его значение.

Формула Стирлинга

Как ведёт себя n! при больших n? n! ≈ √(2πn) · (n/e)ⁿ (формула Стирлинга). Это следует из асимптотики интеграла Гаусса. Формула используется в комбинаторике, теории информации, статистической физике.

Бета-функция и связь с гамма-функцией

Бета-функция: B(p, q) = ∫₀¹ t^(p-1)(1−t)^(q-1) dt при p, q > 0.

Ключевое соотношение: B(p, q) = Γ(p)Γ(q)/Γ(p+q). Это позволяет вычислять сложные тригонометрические интегралы.

Пример: ∫₀^(π/2) sin^n x dx = (√π/2) · Γ((n+1)/2) / Γ((n+2)/2). При n = 2: ∫₀^(π/2) sin²x dx = π/4. ✓

Преобразование Лапласа как несобственный интеграл

Преобразование Лапласа f̂(s) = ∫₀^∞ f(t) e^(-st) dt — несобственный интеграл по бесконечному промежутку с параметром s. При s > σ₀ (где σ₀ — абсцисса сходимости) интеграл сходится абсолютно.

Лаплас-образы основных функций: L{1} = 1/s, L{eᵃᵗ} = 1/(s−a), L{sin ωt} = ω/(s² + ω²). Дифференцирование переходит в умножение: L{f'(t)} = s·L{f(t)} − f(0). Именно это свойство делает преобразование Лапласа главным инструментом теории ОДУ и теории управления: дифференциальное уравнение превращается в алгебраическое.

Главное значение Коши и условная сходимость

Условно сходящийся интеграл «хрупок»: его значение может зависеть от способа предельного перехода. Главное значение Коши: V.P. ∫₋∞^∞ f(x) dx = lim(R→∞) ∫₋R^R f(x) dx. Для нечётных функций V.P. ∫₋∞^∞ x dx = 0, хотя интеграл расходится в обычном смысле. Понятие главного значения критично в теории сингулярных интегралов и уравнениях гидродинамики.

Признак Дирихле для несобственных интегралов

Признак Дирихле: Если f(x) монотонно стремится к нулю при x → ∞ и ∫ₐˣ g(t) dt ограничена, то ∫ₐ^∞ f(x)g(x) dx сходится. Это обобщает признак Лейбница для рядов на интегралы. Пример: ∫₁^∞ sin(x)/x dx сходится (f = 1/x ↘ 0, примитив g = sin ограничен), но ∫₁^∞ |sin(x)|/x dx расходится (условная, но не абсолютная сходимость).

Сравнение признаков сходимости несобственных интегралов

Арсенал признаков сходимости: признак сравнения (если 0 ≤ f ≤ g и ∫g сходится, то ∫f сходится), предельный признак сравнения (если f/g → L ∈ (0, ∞), то ∫f и ∫g сходятся или расходятся одновременно), признак Дирихле и признак Абеля для условно сходящихся интегралов. На практике эталонные интегралы — ∫₁^∞ dx/xᵅ (сходится при α > 1, расходится при α ≤ 1) и ∫₀^∞ e^(−αx) dx (сходится при α > 0). Большинство задач сводится к сравнению с этими двумя типами.

Вопрос для размышления: Зачем при вычислении n! в информатике использовать формулу Стирлинга, а не прямое умножение? При каких n погрешность формулы Стирлинга меньше 1%?

Гамма-функция как аналитическое продолжение факториала

Гамма-функция Γ(n) = ∫₀^∞ t^(n−1) e^(−t) dt удовлетворяет соотношению Γ(n+1) = n·Γ(n) и Γ(1) = 1, значит Γ(n+1) = n! для целых n ≥ 0. Но Γ определена и для дробных аргументов: Γ(1/2) = √π (откуда ∫₋∞^∞ e^(−x²) dx = √π — гауссов интеграл). Формула Стирлинга n! ≈ √(2πn)(n/e)ⁿ следует из асимптотики Γ через метод перевала. Приложения: в комбинаторике (оценки числа перестановок), в квантовой механике (статистика Бозе-Эйнштейна и Ферми-Дирака), в теории информации (вычисление энтропии больших систем).