Интегрирование по частям

Пусть функции [latex]u=u(x)[/latex] и [latex]v=v(x)[/latex] определены и непрерывны вместе со своими первыми производными на отрезке [latex][a,b][/latex] во всех точках. Исключением есть только точка [latex]b[/latex], которая может быть равна и [latex]+\infty[/latex]. Тогда имеет место равенство:

$$\int\limits_{a}^{b}udv=uv|_{a}^{b}-\int\limits_{a}^{b}vdu$$

Где [latex]uv|_{a}^{b}[/latex] — двойная подстановка и под ней понимаем разность:

$$\lim_{x \to b} u(x)v(x)-u(a)v(a)$$

При этом существование [latex]\int_{a}^{b}vdu[/latex] вытекает из существования интеграла [latex]\int_{a}^{b}udv[/latex] и двойной подстановки [latex]uv|_{a}^{b}[/latex].

Если любые два выражения из трех в равенстве имеют смысл, то и третье выражение тоже имеет смысл.

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

Возьмем [latex]x_0[/latex] такое, что [latex]a < x_0 < b[/latex] проинтегрируем данный интеграл по частям на промежутке [latex][a, x_0][/latex]:

$$\int\limits_{a}^{x_0}udv=(u(x_0)v(x_0)-u(a)v(a))-\int\limits_{a}^{x_0}vdu$$

Пусть теперь [latex]x_0[/latex] стремится к [latex]b[/latex]. По условию два из входящих в данное равенство выражений имеют конечные пределы при [latex]x \to x_0[/latex]. Следовательно третье выражение также имеет конечный предел. Равенство доказано с помощью предельного перехода.

Спойлер

$$\int\limits_{0}^{+\infty}xe^{-x}dx=-\int\limits_{0}^{+\infty}xd(e^{-x})=-[xe^{-x}|_{0}^{+\infty}-\int\limits_{0}^{\infty}e^{-x}dx]=
-[\lim_{x \to +\infty}xe^{-x}-0-(-e^{-x})|_{0}^{+\infty}]=1$$

[свернуть]

Литература

Тест : Интегрирование по частям

Интегрирование по частям

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

Признак сравнения в форме неравенств

Теорема

Пусть функции $f$ и $g$ неотрицательны на $[a,b)$ и интегрируемы на каждом отрезке, содержащемся в $[a,b)$. Предположим, что $f(x)\leq g(x)$ для любого $x\in [a,b)$. Тогда:

  1. из сходимости интеграла $I_{2}=\int_{a}^{b}{g(x)dx}$ следует сходимость интеграла $I_{1}=\int_{a}^{b}{f(x)dx}$;
  2. из расходимости интеграла $I_{1}=\int_{a}^{b}{f(x)dx}$ следует расходимость интеграла $I_{2}=\int_{a}^{b}{g(x)dx}$;
Спойлер
  1. Из $ 0\leq f(x) \leq g(x)$ следует, что $\int_{a}^{\xi}{f(x)dx}\leq \int_{a}^{\xi}{g(x)dx}$ $(1)$, $\xi \in [a,b)$. Если сходится интеграл $I_{2}=\int_{a}^{b}{g(x)dx}$, т.е. существует конечный $\lim_{\xi \rightarrow b-0} \int_{a}^{\xi}{g(x)dx}=I_{2}$, где $I_{2}=sup_{a\leq\xi <b} \int_{a}^{\xi}{g(x)dx}$, то из $(1)$ следует, что $\forall \xi \in [a,b)$ выполняется неравенство $\int_{a}^{\xi}{f(x)dx} \leq I_{2}$. Таким образом для неотрицательной функции $f(x)$ выполняется условие $\exists C: \forall \xi \in [a,b) \rightarrow \int_{a}^{\xi}{f(x)dx}\leq C$ (критерий сходимости интегралов от неотрицательных функций). Следовательно, интеграл $I_{2}$ сходится.
  2. Пусть $I_{1}$ расходится. Предположим, что  $I_{2}$ сходится, тогда по первому пункту сходится и $I_{1}$, что противоречит условию, следовательно $I_{2}$ тоже расходится.

[свернуть]

Спойлер

Сходится ли интеграл? $$I_{1}=\int\limits_{1}^{+\infty}{\frac{\cos^{4}3x}{\sqrt[5]{1+x^{6}}}dx}$$

Так как $$0\leq \frac{\cos^{4}3x}{\sqrt[5]{1+x^{6}}}\leq \frac{1}{\sqrt[5]{1+x^{6}}}\leq \frac{1}{x^{6/5}}$$ при $x\geq 1$ $I_{2}=\int_{1}^{+\infty}{\frac{1}{x^{6/5}}dx} < \infty$ (сходится), т.к. $\alpha =\frac{6}{5}>1$. Тогда, если интеграл $I_{2}$ сходится, то из сходимости интеграла $I_{2}$ следует сходимость интеграла $I_{1}$.
Ответ: $I_{1}$ сходится.

[свернуть]

Признак сравнения в предельной форме

Теорема

Пусть функции $f(x) $ и $g(x) $ неотрицательны на $[a,b)$ и интегрируемы на каждом отрезке, содержащемся в $[a,b)$. Тогда, если для $\forall x \in [a,b)$ выполняются условие $f(x)\sim g(x)$ при $x\rightarrow b-0$  $(\lim_{x \rightarrow b-0}\frac{f(x)}{g(x)}=1)$. Тогда интегралы $I_{1}=\int_{a}^{b}{f(x)dx}$ и $I_{2}=\int_{a}^{b}{g(x)dx}$ сходятся или расходятся одновременно (ведут себя одинаково).

Спойлер

Согласно условию $\lim\limits_{x \rightarrow b-0}\frac{f(x)}{g(x)}=1:$ $$\forall \varepsilon >0 \exists \delta _{\varepsilon}>0: b-\delta <x<b \Rightarrow \left|\frac{f(x)}{g(x)}-1 \right| < \varepsilon$$ или, что то же самое $$\forall \varepsilon >0 \exists \delta (\varepsilon)\in [a,b):\forall x \in[\delta (\varepsilon ),b) \rightarrow \left|\frac{f(x)}{g(x)}-1 \right| < \varepsilon $$ Выберем $\varepsilon =\frac{1}{2}$, найдем $\delta (\frac{1}{2})=c$ такое, что $b-c<x<b$ $$\left|\frac{f(x)}{g(x)}-1 \right|<\frac{1}{2} \Leftrightarrow -\frac{1}{2}<\frac{f(x)}{g(x)}-1<\frac{1}{2}\Leftrightarrow$$ $$\Leftrightarrow \frac{1}{2}<\frac{f(x)}{g(x)}<\frac{3}{2}\Leftrightarrow \frac{1}{2}g(x)<f(x)<\frac{3}{2}g(x), \forall x \in [b-c,b]$$ Так как функции $f(x)$ и $g(x)$ не имеют особых точек на промежутке $[a,b)$, то интегралы $I_{1}$ и $I_{2}$ сходятся тогда и только тогда, когда сходятся интегралы соответственно от функций $f(x)$ и $g(x)$ на промежутке $[b-c,b)$. Если сходится интеграл $I_{2}$ (а значит и $\int_{b-c}^{b}{g(x)dx}$), то из равенства $f(x)<\frac{3}{2}g(x)$ по признаку сравнения в форме неравенств следует сходимость интеграла $\int_{b-c}^{b}{f(x)dx}$, а это равносильно сходимости интеграла $I_{1}=\int_{a}^{b}{f(x)dx}$. Аналогично, из $\frac{1}{2}g(x)<f(x)$ заключаем, что из сходимости интеграла $I_{1}=\int_{a}^{b}{f(x)dx}$ следует сходимость интеграла $I_{2}=\int_{a}^{b}{g(x)dx}$.
Если же один из интегралов расходится, например, $I_{1}$. Тогда предположим, что $I_{2}$ сходится, следовательно, по доказанному выше $I_{1}$ тоже должен сходиться, что противоречит условию, следовательно $I_{2}$ тоже расходится. Т.е. если один из интегралов расходится, то расходится и другой.

[свернуть]

Замечание

Если функция $f(x)$ интегрируема на отрезке $[a,\xi]$ при $\forall \xi \geq \alpha$ и если $f(x)\sim \frac{A}{x^{\alpha}}$ при $x\rightarrow +\infty$, где $A\neq 0$, то интеграл $\int_{\alpha }^{+\infty}{f(x)dx}$ сходится при $\alpha >1$ и расходится при  $\alpha \leq 1$.

Спойлер

Сходится ли интеграл? $$\int\limits_{0}^{1}{\frac{\ln(1+x)}{x^{2}}dx}$$
$$\int\limits_{0}^{1}{\frac{\ln(1+x)}{x^{2}}dx}=\left[\frac{\ln(1+x)}{x^{2}}\sim \frac{x}{x^{2}}=\frac{1}{x} \right]$$ (можем заменить функцию эквивалентной т.к. $\frac{\ln(1+x)}{x^{2}}\rightarrow 0$). Тогда интеграл $\int_{0}^{1}{\frac{dx}{x}}=\infty$ расходится (т.к. $\alpha =1$).
Ответ: интеграл расходится.

[свернуть]

Тест по теме: Признак сравнения несобственных интегралов

Этот тест покажет ваши знания по данной теме.

Таблица лучших: Тест по теме: Признак сравнения несобственных интегралов

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

Замена переменных

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

Рассмотрим теперь функцию [latex]x=\phi(t)[/latex], которая является монотонно возрастающей и непрерывной вместе со своей производной [latex]\phi'(t)[/latex] на промежутке [latex][\alpha,\beta)[/latex]. Допустим, что [latex]\phi(\alpha)=a[/latex] и [latex]\phi(\beta)=b[/latex]. Равенство [latex]\phi(\beta)=b[/latex] следует понимать как [latex]\lim_{t \to \beta}\phi(t)=b[/latex]. Если соблюдены все вышеперечисленные условия, то имеет место равенство:

$$\int\limits_{a}^{b}f(x)=\int\limits_{a}^{b}f(\phi(t))\phi'(t)dt$$

при условии, что один из этих интегралов сходится. Из существования одного из двух интегралов в равенстве вытекает существование второго. Второй интеграл будет либо собственным,либо несобственным с единственной особой точкой [latex]\beta[/latex].

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

Пусть теперь [latex]x_0[/latex] и [latex]t_0[/latex] будут произвольными, но соответствующими значениям [latex]x[/latex] и [latex]t[/latex] и их промежуткам [latex](a,b)[/latex] и [latex](\alpha, \beta)[/latex]. Тогда будем иметь:

$$\int\limits_{a}^{x_0}f(x)=\int\limits_{a}^{t_0}f(\phi(t))\phi'(t)dt$$

Если существует второй из интегралов, будем приближать произвольным образом [latex]x_0[/latex] к [latex]b[/latex], при этом [latex]t_0=\theta(x_0)[/latex] устремится к [latex]\beta[/latex], существование второго интеграла доказано. Данное рассуждение одинаково применимо и к монотонно убывающей функции.

Спойлер

$$I=\int_{0}^{+\infty}\frac{dx}{(x^2+1)^{3/2}}=\int_{0}^{\pi/2}\frac{\frac{dt}{\cos^2(t)}}{(tg^2(t)+1)^{2/3}}=\int_{0}^{\frac{\pi}{2}}\cos(t)dt=\sin(t)|_{0}{\frac{\pi}{2}}=1$$
file

[свернуть]

Литература

Тест : Замена переменных

Тест на знание метода замены переменных в случае несобственных интегралов

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

Введём понятия абсолютно и условно сходящихся несобственных интегралов.

Пусть дан несобственный интеграл [latex]I=\int_{a}^{b}f(x)dx[/latex]:

  • интеграл [latex]I[/latex] называется абсолютно сходящимся, если сходится [latex]\widetilde{I}=\int_{a}^{b}|f(x)|dx[/latex];
  • интеграл [latex]I[/latex] называется условно сходящимся, если интеграл [latex]I[/latex] сходится, а  [latex]\widetilde{I}[/latex] — расходится.

В случае абсолютной сходимости интеграла [latex]I[/latex] говорят, что функция [latex]f(x)[/latex] абсолютно интегрируема на полусегменте [latex]\left[a,b\right)[/latex].

Пример
Спойлер

sqrtx
Интеграл [latex]\int_{1}^{+\infty}\sqrt{x}dx[/latex] расходится при [latex]x\geq1[/latex].
1x2
Интеграл [latex]\int_{1}^{+\infty}\frac{1}{x^2}[/latex] абсолютно сходится при [latex]x\geq1[/latex].

[свернуть]
Теорема 1

Пусть [latex]f\in{R([a,\xi))}[/latex] для всех [latex]a<\xi<b[/latex]. Тогда из сходимости несобственного интеграла [latex]\widetilde{I}=\int_{a}^{b}|f(x)|dx[/latex] следует сходимость несобственного интеграла [latex]I=\int_{a}^{b}f(x)dx[/latex] и справедливо неравенство:

[latex]\left|\int\limits_{a}^{b}f(x)dx\right|\leq\int\limits_{a}^{b}|f(x)|dx[/latex]
Спойлер

Т.к интеграл [latex]\widetilde{I}[/latex] сходится, то для него выполняется условие Коши:

[latex]\forall\varepsilon>0\;\exists\delta_\varepsilon\in (a,b)\forall\xi’,\xi»\in(\delta_\varepsilon,b)\Rightarrow\left|\int\limits_{\xi’}^{\xi»}|f(x)|dx\right|<\varepsilon.[/latex]

Т.к. [latex]I[/latex] — несобственный интеграл, то подынтегральная функция [latex]f[/latex] интегрируема по Риману на сегменте [latex][\xi’,\xi»][/latex]. Из условия следует, что функция [latex]|f(x)|[/latex] интегрируема по Риману на этом же сегменте.
Т.к. функция интегрируема на каждом отрезке с концами [latex]\xi'[/latex] и [latex]\xi»[/latex], то выполняется неравенство:

[latex]\left|\int\limits_{\xi’}^{\xi»}f(x)dx\right|\leq\left|\int\limits_{\xi’}^{\xi»}|f(x)|dx\right|.[/latex]

Отсюда следует, что

[latex]\forall\varepsilon>0\;\exists\delta_\varepsilon\in (a,b)\forall\xi’,\xi»\in(\delta_\varepsilon,b)\Rightarrow\left|\int\limits_{\xi’}^{\xi»}f(x)dx\right|<\varepsilon.[/latex]

Таким образом, функция [latex]f[/latex] удовлетворяет условию Коши и интеграл [latex]I[/latex] сходится.
Докажем исследуемое неравенство. Воспользуемся следующим  неравенством:

[latex]\left|\int\limits_{a}^{\xi}f(x)dx\right|\leq\int\limits_{a}^{\xi}|f(x)|dx[/latex]

Данное н-во справедливо при любом [latex]\xi\in[a,b)[/latex]. Т.к интегралы [latex]I[/latex] и [latex]\widetilde{I}[/latex] сходятся, то, переходя к пределу при [latex]\xi[/latex] стремящемся к [latex]b[/latex] справа, получим требуемое неравенство.

[свернуть]
Теорема 2

Если функция [latex]g(x)[/latex] абсолютно интегрируема на промежутке [latex]\left[a;b\right)[/latex], то несобственные интегралы [latex]I_{1}=\int_{a}^{b}f(x)dx[/latex] и [latex]I_{2}=\int_{a}^{b}\left(f(x)+g(x)\right)dx[/latex] сходятся или расходятся одновременно.

Спойлер

Пусть [latex]I=\int_{a}^{b}g(x)dx,\;\widetilde{I}=\int_{a}^{b}|g(x)|dx,\;\widetilde{I}_{1}=\int_{a}^{b}\left|f(x)\right|dx,\;\widetilde{I}_{2}=\int_{a}^{b}\left|f(x)+g(x)\right|dx.[/latex]

  1. Из неравенства [latex]\left|f+g\right|\leq\left|f\right|+\left|g\right|[/latex], критерия Коши и сходимости интегралов [latex]\widetilde{I}[/latex] и [latex]\widetilde{I}_{1}[/latex] следует сходимость интеграла [latex]\widetilde{I}_{2}[/latex].
  2. Пусть интеграл [latex]I_{1}[/latex] сходится, а [latex]\widetilde{I}_{1}[/latex] расходится.  Тогда (из сходимости интегралов [latex]I_{1}[/latex] и [latex]I[/latex])  интеграл [latex]I_{2}[/latex] сходится, а [latex]\widetilde{I}_{2}[/latex]  расходится. В противном случае из н-ва [latex]\left|f\right|\leq\left|f+g\right|+\left|g\right|[/latex] и сходимости [latex]\widetilde{I}[/latex] следовала бы сходимость [latex]\widetilde{I}_{1}[/latex]. Аналогично рассматривается ситуация с условной сходимостью интегралов [latex]I_{2}[/latex] и [latex]I_{1}[/latex].
  3. Из расходимости [latex]I_{1}[/latex] следует расходимость [latex]I_{2}[/latex]. Если бы это было не так, то из сходимости [latex]I[/latex]  и равенства [latex]f=\left(f+g\right)-g[/latex] следовала бы сходимость [latex]I_{1}[/latex].

[свернуть]

Замечание

Ни на сходимость, ни на характер сходимости прибавление или вычитание под знаком интеграла абсолютно интегрируемой функции не влияет.

Пример

В качестве примера, исследуем интеграл на абсолютную и условную сходимость. Возьмём интеграл [latex]I=\int_{1}^{+\infty}\frac{\sin{x}}{x^\alpha}dx[/latex].

Спойлер

[latex]I=\int\limits_{1}^{+\infty}\frac{\sin{x}}{x^\alpha}dx[/latex]

Рассмотрим три ситуации:

  • [latex]\alpha>1[/latex]
  • [latex]0<\alpha\leq1[/latex]
  • [latex]\alpha\leq0[/latex]
  1. Пусть [latex]\alpha>1[/latex]. [latex]\begin{vmatrix}\frac{\sin{x}}{x^\alpha}\end{vmatrix}\leq\frac{1}{x^\alpha}[/latex], следовательно, в силу сходимости интеграла [latex]\int_{1}^{+\infty}\frac{dx}{x^\alpha}[/latex], сходится интеграл [latex]\widetilde{I}=\int_{1}^{+\infty}\frac{\left|\sin{x}\right|}{x^\alpha}dx[/latex], т.е. интеграл [latex]I[/latex] сходится абсолютно. Отсюда, по теореме 1, следует сходимость интеграла [latex]I[/latex].
  2. Рассмотрим второй случай. Интегрируя по частям, получим
    [latex]\left.\begin{matrix}I=-\frac{\cos{x}}{x^\alpha}\end{matrix}\right|_{1}^{+\infty}-\alpha\int\limits_{1}^{+\infty}\frac{\cos{x}}{x^{\alpha+1}}dx[/latex],

    где [latex]\lim_{x\rightarrow+\infty}\frac{\cos{x}}{x^{\alpha}}=0[/latex], а [latex]\int_{1}^{+\infty}\frac{\cos{x}}{x^{\alpha+1}}dx[/latex] сходится абсолютно. Следовательно, [latex]\int_{1}^{+\infty}\frac{\cos{x}}{x^{\alpha+1}}dx[/latex] сходится и интеграл [latex]I[/latex] сходится при [latex]0<\alpha\leq1[/latex]. Интеграл [latex]\int_{1}^{+\infty}\frac{\left|\sin{x}\right|}{x^\alpha}dx[/latex] при [latex]0<\alpha\leq1[/latex] расходится, а значит, что при [latex]0<\alpha\leq1[/latex] интеграл [latex]I[/latex] сходится условно.

  3. Рассмотрим [latex]\alpha\leq0[/latex]. Используя критерий Коши, докажем расходимость интеграла [latex]I[/latex]. Пусть [latex]\delta>1[/latex]. Выберем число [latex]n\in\mathbb{N}[/latex] таким, чтобы [latex]2n\pi>\delta[/latex], и положим
    [latex]\xi’_{\delta}=2n\pi+\frac{\pi}{6},\xi»_{\delta}=2n\pi+\frac{5\pi}{6}[/latex].

    Т.к. при [latex]x\in[\xi’_{\delta};\xi»_{\delta}][/latex] выполняется неравенство [latex]\sin{x}\geq\frac{1}{2}[/latex] и [latex]\frac{1}{x^\alpha}\geq1[/latex] при [latex]x\geq1[/latex] и [latex]\alpha\leq0[/latex], то

    [latex]\begin{vmatrix}\int\limits_{\xi’_{\delta}}^{\xi»_{\delta}}\frac{\sin{x}}{x^\alpha}dx\end{vmatrix}=\int\limits_{\frac{\pi}{6}+2n\pi}^{\frac{5\pi}{6}+2n\pi}\frac{\sin{x}}{x^\alpha}dx\geq\frac{1}{2}\int\limits_{\frac{\pi}{6}+2n\pi}^{\frac{5\pi}{6}+2n\pi}dx=\frac{\pi}{3}.[/latex]

    Очевидно, что условие Коши не выполняется и интеграл расходится при [latex]\alpha\leq0[/latex].

Ответ:[latex] I=\int\limits_{1}^{+\infty}\frac{\sin{x}}{x^\alpha}dx[/latex]:

  • абсолютно сходится при [latex]\alpha>1[/latex];
  • условно сходится при [latex]0<\alpha\leq1[/latex];
  • расходится при [latex]\alpha\leq0[/latex].

[свернуть]
Литература
Тесты

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

Проверьте свои знание по теме «Абсолютная и условная сходимость несобственных интегралов».

Несобственные интегралы от неограниченных функций

Определение

Пусть функция [latex]f[/latex] задана на полуинтервале [latex][a,b)[/latex], где $-\infty<a<b<+\infty$, и интегрируема по Риману на любом отрезке [latex][a,\xi][/latex], где $a<\xi<b$. Тогда, если существует конечный предел [latex]\lim_{\xi \to b-0}\int_{a}^{\xi}{f(x)dx}[/latex], то несобственный интеграл $II$ рода [latex]\int_{a}^{b}{f(x)dx}[/latex] называют сходящимся и полагают

$$\int\limits_a^b{f(x)dx}=\lim_{\xi \to b-0}\int\limits_{a}^{\xi}{f(x)dx}$$

В противном случае несобственный интеграл называют расходящимся.

Аналогично, если существует конечный [latex]\lim_{\xi \to a+0}\int_{\xi}^{b}{f(x)dx}[/latex], то несобственный интеграл $II$ рода [latex]\int_{a}^{b}{f(x)dx}[/latex] называют сходящимся и полагают

$$\int\limits_a^b{f(x)dx}=\lim_{\xi \to a+0}\int\limits_{\xi}^{b}{f(x)dx}$$

В противном случае, если такого предела нет, расходящимся.

Замечание

Определение несобственного интеграла от непрерывных функций является содержательным лишь в случае, когда  [latex]f(x)[/latex] неограниченна  в окрестности точек [latex]b,a[/latex]. При этом, эти точки называются особыми.

Пример:

Курсовая
Рассмотрим функцию [latex]\frac{1}{\sqrt{1-x}}[/latex]. Эта функция непрерывна на промежутке [latex][0,1)[/latex], но не ограничена на этом промежутке. При [latex]\forall\xi\in [0,1)[/latex] функция [latex]\frac{1}{\sqrt{1-x}}[/latex] интегрируема на отрезке [latex][0,\xi][/latex], причем [latex]J(\xi)=\int_{0}^{\xi}{\frac{dx}{\sqrt{1-x}}}=\left(-2\sqrt{1-x})\right|^{\xi}_{0}=2(1-\sqrt{1-\xi})[/latex], откуда следует, что существует конечный [latex]\lim_{\xi \to 1-0}F(\xi)=2[/latex]. В этом случае говорят, что несобственный интеграл от функции [latex]\frac{1}{\sqrt{1-x}}[/latex] на промежутке [latex][0,1)[/latex] равен [latex]2[/latex], т.е. [latex]\int_{0}^{1}{\frac{dx}{\sqrt{1-x}}}=2[/latex]. Число [latex]2[/latex] можно интерпретировать как площадь заштрихованной фигуры на Рис.1.

Тест по теме: Несобственные интегралы от неограниченных функций

Этот тест покажет насколько хорошо вы усвоили данную тему.

Таблица лучших: Тест по теме: Несобственные интегралы от неограниченных функций

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