Критерий Коши равномерной сходимости несобственных интегралов, зависящих от параметра

Для равномерной сходимости несобственного интеграла $\int\limits_a^b f(x,y)dx$ необходимо и достаточно выполнение условия Коши. А именно: $\forall \varepsilon > 0 \, \exists \eta < b$ такое, что $\forall \eta^\prime,\eta^{\prime\prime} \epsilon (\eta,b)$ и $\forall y$ $\epsilon$ $Y$ выполнялось следующее неравенство $$\left|\int\limits_{\eta^\prime}^{\eta^{\prime\prime}}f(x,y)dx \right| <\varepsilon.$$

Доказательство

Необходимость

Пусть интеграл $\int\limits_a^b f(x,y)dx$ равномерно сходится по параметру $y$ $\epsilon$ $Y$. Из определения получаем, что $\forall\varepsilon > 0$ найдется такое $\eta$ $\epsilon$ $[a,b)$ , что $\forall \eta^\prime$ $\epsilon$ $[b,\eta)$ и для всех $y$ $\epsilon$ $Y$ выполнялось следующее неравенство
$$\left| \int\limits_{\eta^\prime}^{b}f(x,y)dx \right| < \frac{\varepsilon}{2}.$$ При $\eta^\prime , \eta^{\prime\prime}$ $\epsilon$ $[\eta,b)$, $y$ $\epsilon$ $Y$ получим такое неравенство $$\left| \int\limits_{\eta^\prime}^{\eta^{\prime\prime}}f(x,y)dx \right| = \left| \int\limits_{\eta^\prime}^{b}f(x,y)dx — \int\limits_{\eta^{\prime\prime}}^{b}f(x,y)dx \right| \leq $$ $$\leq \left|\int\limits_{\eta^\prime}^{b}f(x,y)dx\right| + \left|\int\limits_{\eta^{\prime\prime}}^{b}f(x,y)dx\right| < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} =\varepsilon,$$ а значит, что условие Коши выполнено.

Достаточность

Положим, что условие Коши выполняется. А это означает, что в силу критерия Коши несобственный интеграл $\int\limits_a^b f(x,y)dx$ сходится $\forall y$ $\epsilon$ $Y$. Докажем равномерную сходимость на $Y$. Рассмотрим неравенство $$\left|\int\limits_{\eta^\prime}^{\eta^{\prime\prime}}f(x,y)dx \right| <\varepsilon,$$ в котором устремим $\eta^{\prime\prime}$ к $b$, при этом $\eta^{\prime\prime} < b$. В результате для любого $\eta^{\prime} > \eta$ и $y$ $\epsilon$ $Y$ получаем следующее: $$\left|\int\limits_{\eta^{\prime}}^{b}f(x,y)dx \right| \leq\varepsilon,$$ что и означает равномерную сходимость интеграла $\int\limits_a^b f(x,y)dx$ на $Y$. $\Box$

Пример

Проверить интеграл на равномерную сходимость.

$$\int\limits_{0}^{+\infty} e^{-yx^{2}}dx$$

Решение

Данный интеграл сходится $\forall y > 0$. Если он сходится равномерно, то для любых (фиксированных) $\eta^{\prime},\eta^{\prime\prime}\geq\eta$ и при всех $y>0$ выполняется неравенство

$$\int\limits_{\eta^{\prime}}^{\eta^{\prime\prime}} e^{-yx^{2}}dx <\varepsilon. (\bigstar)$$

По теореме о непрерывности собственного интеграла, зависящего от параметра, интеграл в левой части представляет собой непрерывную функцию переменной $y$. Отсюда $$F(y) \equiv \int\limits_{\eta^\prime}^{\eta^{\prime\prime}} e^{-yx^{2}}dx \rightarrow F(0) = \eta^{\prime\prime} — \eta^\prime (y \rightarrow 0).$$

Так как $F(y) <\varepsilon$, то и  $F(0) = \lim\limits_{y \rightarrow 0}F(y) \leq\varepsilon$, что означает $\eta^{\prime\prime} — \eta^\prime \leq\varepsilon$. Однако из-за того, что $\eta^\prime,\eta^{\prime\prime}$ $\epsilon$ $[\eta, +\infty)$ можно выбрать таким образом, что $\eta^{\prime\prime} — \eta^\prime$ будет сколь угодно большим, неравенство $\bigstar$ не выполняется для всех $\eta^\prime,\eta^{\prime\prime}$ из полуинтервала $[\eta, +\infty)$. Значит, условие Коши для этого интеграла нарушено и он не является равномерно сходящимся. $\Box$

[свернуть]

Список литературы

Тест

Практические задания из данного теста были позаимствованы из сборника задач и упражнений по математическому анализу Б.П. Демидовича.

Рекомендую проверить насколько хорошо усвоен материал, пройдя следующий тест.

Таблица лучших: Критерий Коши равномерной сходимости несобственных интегралов, зависящих от параметра

максимум из 14 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Несобственные интегралы, зависящие от параметра, равномерная сходимость.

Оглавление

  1. Несобственный интеграл, зависящий от параметра. Определение.
  2. Равномерная сходимость
  3. Примеры
  4. Список литературы
  5. Тесты

Несобственный интеграл, зависящий от параметра

Пусть функция двух переменных $f(x,y)$ определена на данной области: $\{a \leq x < + \infty, c \leq y \leq d\}$ (см. рисунок), и при каждом фиксированном $y \, \epsilon \, [c,d]$ существует несобственный интеграл $ \int\limits_{a}^{+\infty} f(x,y)\,dx$, являющийся функцией от $y$. Тогда функция $I(y) = \int\limits_{a}^{+\infty} f(x,y)\,dx$ $y \, \epsilon \, [c,d]$ называется несобственным интегралом первого рода, зависящим от параметра $y$. Также, интервал $[c,d]$ может быть бесконечным.

Возьмем функцию $f(x,y)$. Интеграл вида $ \int\limits_a^b f(x,y)\,dx$ является сходящимся на множестве $Y$, при выполнении следующих условий:

  1. $- \infty < a < b   \leq + \infty $
  2. функция $f(x,y)$ определена на $[a, b)   \times Y$, где $Y$ является множеством параметров.
  3. $ \forall \eta$ $\epsilon$ $[a,b)$ и $y$ $\epsilon$ $Y$ функция $f(x,y)$ интегрируема по Риману на отрезке $[a, \eta ]$.
  4. $ \forall y$ $\epsilon$ $Y$ несобственный интеграл $ \int\limits_a^b f(x,y)dx$ сходится.

Можно сделать вывод, что несобственный интеграл $ \int\limits_a^b f(x,y)dx$ сходится на $Y$, при условии, что $\forall y$ $\epsilon$ $Y$ и для любого числа $\varepsilon > 0$ существует такое $\eta(y, \varepsilon) < b$, такое, что для любого $\eta^\prime \, \epsilon (\eta, b)$ выполняется неравенство  $$\left|\int\limits_{\eta^\prime}^{b} f(x,y)dx\right| <\varepsilon .$$

Читать далее «Несобственные интегралы, зависящие от параметра, равномерная сходимость.»

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

Теорема

Пусть [latex]f(x)[/latex] не изменяет знак на полуинтервале [latex]\left[ a ,b \right)[/latex] и для любого [latex]\xi[/latex] из данного полуинтервала [latex]f(x)[/latex] интегрируема по Риману на отрезке[latex]\left[ a ,\xi \right][/latex]. Тогда для сходимости несобственного интеграла [latex]\int _{a}^{b}{f(x)dx}[/latex] необходимо и достаточно, чтобы функция [latex]\Phi (\xi )=\int _{ a }^{ \xi }{ f(x)dx }[/latex] была ограничена на [latex]\left[ a ,b \right)[/latex].

Спойлер

firsttopic

[latex]\Phi(t)[/latex] — площадь заштрихованной фигуры.

[свернуть]

Доказательство

Докажем вначале теорему для [latex]f(x)[/latex] неотрицательной. Покажем, что функция [latex]\Phi (\xi )[/latex] возрастает. Действительно, для любых [latex]{\xi}_{1}[/latex], [latex]{\xi}_{2}[/latex] из [latex]\left[ a ,b \right)[/latex], [latex]{\xi}_{1}<{\xi}_{2}[/latex]
$$ \Phi({ \xi }_{ 1 })-\Phi({ \xi }_{ 2 })=\overset { { \xi }_{ 1 } }{ \underset { a }{\int} } f(x)dx-\overset{ { \xi }_{ 2 } }{ \underset { a }{\int} } f(x)dx=\overset { { \xi }_{ 2 } }{ \underset { { \xi }_{ 1 } }{ \int } } f(x)dx \ge 0 ,$$ так как [latex]f(x)[/latex] неотрицательна.

Из определения сходимости несобственного интеграла, интеграл [latex]\int _{ a }^{ b }{ f(x)dx }[/latex] сходится тогда, когда существует конечный предел $$ \underset { \xi \rightarrow b-0 }{ \lim } \overset { \xi }{ \underset { a }{ \int } } f(x)dx=\underset { \xi \rightarrow b-0 }{ \lim }\Phi (\xi ) ,$$ а данный предел существует как предел монотонной и ограниченной функции [latex]\Phi (\xi )[/latex].

В случае если [latex]f(x)[/latex] — неположительная, то рассмотрим функцию [latex]g(x) = -f(x)[/latex] — неотрицательную. Из сходимости g(x) следует сходимость f(x), а для g(x) теорема уже доказана.

Спойлер

Изучим на сходимость следующий интеграл:[latex] \overset { 0 } { \underset { -1 }{ \int }} \frac {dx}{ \sqrt{ -x } } [/latex].
Особая точка — [latex]x_0 = 0[/latex]. Функция [latex]\Phi (\xi)=\int_{-1}^{\xi}{\frac{dx}{\sqrt{-x}}}[/latex] должна быть ограничена сверху. Найдем неопределенный интеграл
$$ \int \frac {dx}{ \sqrt{ -x } } = 2 \sqrt{-x} + С .$$
Из этого следует, что
$$ \overset { \xi } { \underset { -1 }{ \int }} \frac {dx}{ \sqrt{ -x } } = 2 \sqrt{-\xi} + 2 = 2(\sqrt{-\xi} + 1) .$$
Так как [latex]\xi \in \left [-1;0\right ][/latex], то функция [latex]\Phi (\xi)[/latex] ограничена сверху числом [latex]4[/latex], а значит интеграл сходится.

[свернуть]

Список Литературы

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

Тест по теме: Критерий сходимости несобственных интегралов

После прочтения статьи, для закрепления материала, рекомендуется пройти тест по данной теме


Таблица лучших: Критерий сходимости несобственных интегралов

максимум из 30 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Критерий Коши сходимости несобственных интегралов

Будем рассматривать несобственный интеграл от неограниченной функции.

Теорема

Пусть [latex]f(x)[/latex] определена на полуинтервале [latex]\left[ a ,b \right)[/latex]. Для сходимости несобственного интеграла [latex]\int _{a}^{b}{f(x)dx}[/latex] необходимо и достаточно, чтобы выполнялось условие Коши: для всякого [latex]\varepsilon > 0[/latex] найдется такое [latex]\delta\in\left[ a ,b \right)[/latex], что для любых [latex]{ \xi }_{ 1 },{ \xi }_{ 2 }\in\left( \delta ,b \right)[/latex] выполняется неравенство [latex]\left| \int _{{\xi}_{1}}^{{\xi}_{2}}{f(x)dx} \right| < \varepsilon[/latex].

Доказательство

Обозначим функцию [latex]\Phi (\xi ) = \int _{a}^{\xi}{f(x)dx}[/latex]. Тогда, сходимость интеграла [latex]\int _{a}^{b}{f(x)dx}[/latex] означает существование конечного предела [latex]\underset {\xi \to b-0}{\lim}\int _{a}^{\xi}{f(x)dx} = \underset {\xi \to b-0}{\lim}\Phi(\xi)[/latex], а этот предел существует, согласно критерию Коши, когда функция [latex]\Phi(\xi)[/latex] удовлетворяет условию
$$\forall \varepsilon > 0 \quad \exists \delta \in \left[ a;b \right): \forall \xi_1, \xi_2 \in \left(\delta, b \right ) \Rightarrow \left|\Phi(\xi_2)-\Phi(\xi_1) \right| < \varepsilon .$$
И в силу свойств интеграла получаем $$\left| \Phi (\xi _{ 2 })-\Phi (\xi _{ 1 }) \right| = \left|\overset { \xi _{ 2 } }{ \underset { a }{ \int } } f(x)dx- \overset { \xi_1 }{ \underset {a }{ \int} }f(x)dx \right| = \left|\overset { \xi _{ 2 } }{ \underset {\xi_1 }{ \int } } f(x)dx \right| < \varepsilon .$$
А это то, что нам и требовалось доказать.

Список Литературы

Критерий Коши сходимости несобственных интегралов

После прочтения статьи, для закрепления материала, рекомендуется пройти тест по данной теме


Таблица лучших: Критерий Коши сходимости несобственных интегралов

максимум из 30 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Несобственный интеграл на неограниченном промежутке

Пусть функция [latex]f(x)[/latex] определена в промежутке [latex][a,+ \infty),[/latex] т.е. для [latex]x \geq a[/latex], и интегрируема в любой конечной его части [latex][a,A],[/latex] так что интеграл [latex]\int_{a}^{A}f(x)dx[/latex] имеет смысл при любых [latex]A\geq a.[/latex]

Предел этого интеграла (конечный или бесконечный) при [latex]A \to +\infty[/latex] называют интегралом функции [latex]f(x)[/latex] от [latex]a[/latex] до [latex]+\infty[/latex] и обозначают символом $$\int\limits_{a}^{\infty}f(x)dx=\lim_{A \to +\infty}\int\limits_{a}^{A}f(x)dx(1)$$

В случае, если этот предел конечен, говорят, что интеграл [latex](1)[/latex] сходится, а функцию [latex]f(x)[/latex] называют интегрируемой в бесконечном промежутке [latex][a,+ \infty)[/latex]. Если же предел [latex](1)[/latex] бесконечен или вовсе не существует, то про интеграл говорят, что он расходится. В отличие от собственного интеграла, этот интеграл называются несобственным.

Спойлер

$$\int\limits_{0}^{\infty}\cos(x)dx=\lim_{b \to +\infty}\int\limits_{0}^{b}\cos(x)dx=\lim_{b \to +\infty}\sin(x)\mid_{0}^{b}=\lim_{b \to +\infty}(\sin(b)-\sin(0))=$$$$\lim_{b \to +\infty}\sin(b)$$ этого предела не существует, следовательно интеграл расходится.

[свернуть]

Спойлер

$$\int\limits_{0}^{+\infty}\frac{dx}{x^2+6x+7}=\lim_{b \to +\infty}\int\limits_{0}^{b}\frac{d(x+3)}{(x+3)^2-2}=\frac{1}{2\sqrt{2}}\lim_{b \to +\infty}\ln\bigg|\frac{x+3-\sqrt{2}}{x+3+\sqrt{2}}\bigg|\Bigg|_{0}^{b}=$$$$\frac{1}{2\sqrt{2}}\lim_{b \to +\infty}\bigg(\ln\Big|\frac{b+3-\sqrt{2}}{b+3+\sqrt{2}}\Big|-\ln\Big|\frac{3-\sqrt{2}}{3+\sqrt{2}}\Big|\bigg)=\frac{1}{2\sqrt{2}}\bigg[\ln1-\ln\Big|\frac{3-\sqrt{2}}{3+\sqrt{2}}\Big|\bigg]=$$$$\frac{1}{2\sqrt{2}}\ln\Big|\frac{3-\sqrt{2}}{3+\sqrt{2}}\Big|=\frac{1}{2\sqrt{2}}\ln\frac{11+6\sqrt{2}}{7}$$ интеграл сходится.

[свернуть]

Аналогично интегралу с бесконечным верхним пределом определяется интеграл в пределах от [latex]-\infty[/latex] до $b:$ $$\int\limits_{-\infty}^{b}f(x)dx = \lim_{B \to -\infty}\int\limits_{B}^{b}f(x)dx$$

Спойлер

$$\int\limits_{-\infty}^{0}e^xdx=\lim_{b \to -\infty}\int\limits_{b}^{0}e^xdx=\lim_{b \to -\infty}e^x\mid_{b}^{0}=e^0-\lim_{b \to -\infty}(e^b)=e^0=1$$ этот интеграл сходится.

Так выглядит данная функция, цветом же выделена область интеграла

jaja3

[свернуть]

Несобственный интеграл на неограниченном промежутке

Тест на знание темы «Несобственный интеграл на неограниченном промежутке»

Литература: