Ознаки збіжності невласних інтегралів. Ознаки збіжності невласних інтегралів від невід'ємних функцій
Невласні інтеграли першого роду.По суті це той самий певний інтеграл, але у випадках, коли інтеграли мають нескінченну верхню або нижню межі інтегрування, або обидві межі інтегрування нескінченні.
Невласні інтеграли другого роду.По суті, це той самий певний інтеграл, але у випадках, коли інтеграл береться від необмежених функцій, підінтегральна функція в кінцевому числі точок кінцевого відрізка інтегрування не має, звертаючись у нескінченність.
Для порівняння.При введенні поняття певного інтегралу передбачалося, що функція f(x) безперервна на відрізку [ a, b], а відрізок інтегрування є кінцевим, тобто обмежений числами, а чи не нескінченністю. Деякі завдання призводять до необхідності відмовитися від цих обмежень. Так виникають невласні інтеграли.
Геометричний зміст невласного інтегралуз'ясовується досить легко. У разі, коли графік функції y = f(x) знаходиться вище осі Ox, певний інтеграл виражає площу криволінійної трапеції, обмеженою кривою y = f(x) , віссю абсцис та ординатами x = a , x = b. У свою чергу невласний інтеграл виражає площу необмеженої (нескінченної) криволінійної трапеції, укладеної між лініями y = f(x) (на малюнку нижче – червоного кольору), x = aі віссю абсцис.
Аналогічним чином визначаються невласні інтеграли й інших нескінченних інтервалів:
Площа нескінченної криволінійної трапеції може бути кінцевим числом і в цьому випадку невласний інтеграл називається схожим. Площа може бути і нескінченністю і в цьому випадку невласний інтеграл називається розбіжним.
Використання межі інтеграла замість найневласнішого інтеграла.Щоб обчислити невласний інтеграл, потрібно використовувати межу певного інтеграла. Якщо ця межа існує і кінцева (не дорівнює нескінченності), то невласний інтеграл називається схожим, а в іншому випадку - розбіжним. До чого прагне змінна під знаком межі, залежить від того, чи маємо ми справу з невласним інтегралом першого роду чи другого роду. Дізнаємося про це зараз.
Невласні інтеграли першого роду - з нескінченними межами та їхня схожість
Невласні інтеграли з нескінченною верхньою межею
Отже, запис невласного інтеграла відрізняється від звичайного певного інтеграла тим, що верхня межа інтегрування нескінченна.
Визначення. Невласним інтегралом з нескінченною верхньою межею інтегрування від безперервної функції f(x) на проміжку від a до ∞ називається межа інтеграла цієї функції з верхньою межею інтегрування b та нижньою межею інтегрування a за умови, що верхня межа інтегрування необмежено зростає, тобто.
.
Якщо ця межа існує і дорівнює деякому числу, а не нескінченності, то невласний інтеграл називається схожима число, якому дорівнює межа, приймається за його значення. В іншому випадку невласний інтеграл називається розбіжнимі йому не приписується жодного значення.
Приклад 1. Обчислити невласний інтеграл(якщо він сходиться).
Рішення. На підставі визначення невласного інтегралу знаходимо
Так як межа існує і дорівнює 1, то і даний невласний інтеграл сходитьсяі дорівнює 1.
У наступному прикладі підінтегральна функція майже як у прикладі 1, тільки ступінь ікса - не двійка, а літера альфа, а завдання полягає у дослідженні невласного інтеграла на збіжність. Тобто належить відповісти на запитання: за яких значень альфи цей невласний інтеграл сходиться, а за яких розходиться?
Приклад 2. Дослідити на збіжність невласний інтеграл(Нижня межа інтегрування більше нуля).
Рішення. Припустимо спочатку, що , тоді
В отриманому вираженні перейдемо до межі при:
Неважко бачити, що межа в правій частині існує і дорівнює нулю, коли , тобто , і не існує коли , тобто .
У першому випадку, тобто має місце . Якщо то і немає.
Висновок нашого дослідження наступний: даний невласний інтеграл сходитьсяпри і розходитьсяпри .
Застосовуючи до вивченого виду невласного інтеграла формулу Ньютона-Лейбніца , можна вивести наступну дуже схожу на неї формулу:
.
Це узагальнена формула Ньютона-Лейбніца.
Приклад 3. Обчислити невласний інтеграл(якщо він сходиться).
Межа цього інтегралу існує:
Другий інтеграл, що становить суму, що виражає вихідний інтеграл:
Межа цього інтеграла також існує:
.
Знаходимо суму двох інтегралів, що є значенням вихідного невласного інтеграла з двома нескінченними межами:
Невласні інтеграли другого роду - від необмежених функцій та їхня схожість
Нехай функція f(x) задана на відрізку від a до b і необмежена на ньому. Припустимо, що функція перетворюється на нескінченність у точці b , у той час як у всіх інших точках відрізка вона безперервна.
Визначення. Невласним інтегралом функції f(x) на відрізку від a до b називається межа інтеграла цієї функції з верхньою межею інтегрування c , якщо при прагненні c до b функція необмежено зростає, а точці x = b функція не визначена, тобто.
.
Якщо ця межа існує, то невласний інтеграл другого роду називається схожим, інакше - розбіжним.
Використовуючи формулу Ньютона-Лейбніца, виводимо.
Як відомо, знаходження інтеграла може бути досить складним завданням. Було б великим розчаруванням зайнятися обчисленням невласного інтеграла і виявити наприкінці шляху, що він розходиться. Тому цікаві методи, що дозволяють без серйозних обчислень по одному виду функцій зробити висновок про збіжність або розбіжність невласного інтеграла. Перша та друга теореми порівняння, які будуть розглянуті нижче, значною міроюдопомагають досліджувати невласні інтеграли на збіжність.
Нехай f(x)?0. Тоді функції
є монотонно зростаючими від змінних t або-д (оскільки беремо д>0, -д прагне нуля зліва). Якщо у разі зростання аргументів функції F 1 (t) і F 2 (-д) залишаються обмеженими зверху, це означає, що відповідні невласні інтеграли сходяться. На цьому ґрунтується перша теорема порівняння для інтегралів від невід'ємних функцій.
Нехай для функції f(x) та g(x) при x?a виконані умови:
- 1) 0?f(x)?g(x);
- 2) Функції f(x) та g(x) безперервні.
Тоді зі збіжності інтеграла випливає збіжність інтеграла, та якщо з розбіжності інтеграла слід розбіжність
Оскільки 0?f(x)?g(x) і функції безперервні, то
За умовою інтеграл сходиться, тобто. має кінцеву величину. Отже, інтеграл сходиться також.
Нехай тепер інтеграл розходиться. Припустимо, що інтеграл сходиться, але тоді має сходитися інтеграл, що суперечить умові. Наше припущення неправильне, інтеграл розходиться.
Теорема порівняння для невласних інтегралів 2-го роду.
Нехай для функцій f(x) і g(x) на проміжку необмежено зростає при x>+0. Для неї при x>+0 справедлива нерівність<. Несобственный интеграл есть эталонный интеграл 2-го рода, который при p=<1 сходится; следовательно, по 1-й теореме сравнения для несобственных интегралов 2-го рода интеграл сходится также.
Теорема порівняння для невласних інтегралів 1-го роду.
Нехай для функції f(x) і g(x) на проміжку $, обидва ці числа нижче вважаються кінцевими. Якщо є лише 1 розрив, він може бути або в точці $a$, або в точці $b$, або всередині інтервалу $(a,\,b)$. Розглянемо спочатку випадок, коли розрив другого роду є у точці $a$, а інших точках подинтегральная функція безперервна. Отже, ми обговорюємо інтеграл
\begin(equation) I=\int _a^b f(x)\,dx, (22) \label(intr2) \end(equation)
причому $f(x) \rightarrow \infty $, коли $x \rightarrow a+0$. Як і раніше, насамперед слід надати сенсу цьому виразу. Для цього розглянемо інтеграл
\[ I(\epsilon)=\int _(a+\epsilon)^b f(x)\,dx. \]
Визначення. Нехай існує кінцева межа
\ A = \ lim _ ( \ epsilon \ rightarrow +0) I ( \ epsilon ) = \ lim _ ( \ epsilon \ rightarrow +0) \ int _ (a + \ epsilon) ^ b f (x) \, dx. \]
Тоді говорять, що невласний інтеграл другого роду (22) сходиться, і йому приписують значення $ A $, саму функцію $ f (x) $ називають інтегрованою на інтервалі $ \ left [a, \, b \ right] $.
Розглянемо інтеграл
\[ I = int ^1_0\frac(dx)(\sqrt(x)). \]
Підінтегральна функція $1/sqrt(x)$ при $x \rightarrow +0$ має нескінченну межу, так що в точці $x=0$ вона має розрив другого роду. Покладемо
\[ I(\epsilon)=\int ^1_(\epsilon )\frac(dx)(\sqrt(x))\,. \]
В даному випадку первісна відома,
\[ I(\epsilon)=\int ^1_(\epsilon )\frac(dx)(\sqrt(x))=2\sqrt(x)|^1_(\epsilon )=2(1-\sqrt( \epsilon ))\rightarrow 2 \]
за $\epsilon \rightarrow +0$. Таким чином, вихідний інтеграл є схожим невласним інтегралом другого роду, причому він дорівнює 2.
Розглянемо варіант, коли розрив другого роду підінтегральної функції є верхньому межі інтервалу інтегрування. Цей випадок можна звести до попереднього, замінивши змінну $x=-t$ і потім переставивши межі інтегрування.
Розглянемо варіант, коли розрив другого роду підінтегральної функції є всередині інтервалу інтегрування, в точці $ c \in (a, \, b) $. У цьому випадку вихідний інтеграл
\begin(equation) I=\int _a^bf(x)\,dx (23) \label(intr3) \end(equation)
подають у вигляді суми
\[ I=I_1+I_2, \quad I_1=\int _a^cf(x)\,dx +\int _c^df(x)\,dx. \]
Визначення. Якщо обидва інтеграли $I_1, \, I_2$ сходяться, то невласний інтеграл (23) називають схожим і йому приписують значення, що дорівнює сумі інтегралів $I_1, \, I_2$, функцію $f(x)$ називають інтегрованою на інтервалі $\left [a, \, b \right] $. Якщо хоча б один із інтегралів $I_1,\, I_2$ є розбіжним, невласний інтеграл (23) називають розбіжним.
Сходящиеся невласні інтеграли 2 роду мають усіма стандартними якостями традиційних певних інтегралів.
1. Якщо $f(x)$, $g(x)$ інтегруються на інтервалі $\left[ a, \,b \right ]$, їх сума $f(x)+g(x)$ також інтегрована на цьому інтервалі, причому \[ \int _a^(b)\left(f(x)+g(x)\right)dx=\int _a^(b)f(x)dx+\int _a^(b)g (x) dx. \] 2. Якщо $f(x)$ інтегрована на інтервалі $\left[ a, \, b \right ]$, то для будь-якої константи $C$ функція $C\cdot f(x)$ також інтегрована на цьому інтервалі , причому \[ \ int _a ^ (b) C \ cdot f (x) dx = C \ cdot \ int _a ^ (b) f (x) dx. \] 3. Якщо $f(x)$ інтегрована на інтервалі $\left[ a, \, b \right ]$, причому цьому інтервалі $f(x)>0$, то \[ \int _a^(b ) f (x) dx \,> \,0. \] 4. Якщо $f(x)$ інтегрована на інтервалі $\left[ a, \, b \right ]$, то будь-якого $c\in (a, \,b)$ інтеграли \[ \int _a^ (c) f(x)dx, \quad \int _c^(b) f(x)dx \] теж сходяться, причому \[ \int _a^(b)f(x)dx=\int _a^(c ) f(x)dx+\int _c^(b) f(x)dx \] (адитивність інтеграла по інтервалу).
Розглянемо інтеграл \begin(equation) I=\int _0^(1)\frac(1)(x^k)\,dx. (24) \label(mod2) \end(equation) Якщо $k>0$, підінтегральна функція прагне $\infty$ при $x \rightarrow +0$, отже інтеграл - невласний другого роду. Введемо функцію \[ I(\epsilon)=\int _(\epsilon)^(1)\frac(1)(x^k)\,dx. \] В даному випадку первісна відома, так що \[ I(\epsilon)=\int _(\epsilon)^(1)\frac(1)(x^k)\,dx\,=\frac(x^(1-k))(1-k )|_(\epsilon)^1= \frac(1)(1-k)-\frac(\epsilon ^(1-k))(1-k). \] при $k \neq 1$, \[ I(\epsilon)=\int _(\epsilon)^(1)\frac(1)(x)\,dx\,=lnx|_(\epsilon)^1= -ln \epsilon. \] за $k = 1$. Розглядаючи поведінку при $\epsilon \rightarrow +0$, приходимо до висновку, що інтеграл (20) сходиться при $k
10.2.2 Ознаки збіжності невласних інтегралів 2 роду
Теорема (перша ознака порівняння). Нехай $f(x)$, $g(x)$ - безперервні за $x\in (a,\,b)$, причому $0 1. Якщо інтеграл \[ \int _a^(b)g(x)dx \] сходиться, то сходиться й інтеграл \[ \int _a^(b)f(x)dx. \] 2. Якщо інтеграл \[ \int _a^(b)f(x)dx \] розходиться, то розходиться і інтеграл \[ \int _a^(b)g(x)dx. \]
Теорема (друга ознака порівняння). Нехай $f(x)$, $g(x)$ - безперервні і позитивні при $x\in (a,\,b)$, причому існує кінцева межа
\[ \theta = \lim_(x \rightarrow a+0) \frac(f(x))(g(x)), \quad \theta \neq 0, \, +\infty. \]
Тоді інтеграли
\[ \int _a^(b)f(x)dx, \quad \int _a^(b)g(x)dx \]
сходяться або розходяться одночасно.
Розглянемо інтеграл
\[ I=\int _0^(1)\frac(1)(x+sin x)\,dx. \]
Підінтегральний вираз - позитивна функція на інтервалі інтегрування, підінтегральна функція прагне $\infty$ при $x \rightarrow +0$, так що наш інтеграл - невласний другого роду. Далі, за $x \rightarrow +0$ маємо: якщо $g(x)=1/x$, то
\[ \lim _(x \rightarrow +0)\frac(f(x))(g(x))=\lim _(x \rightarrow +0)\frac(x)(x+\sin x)=\ frac(1)(2) \neq 0,\, \infty \, . \]
Застосовуючи другу ознаку порівняння, приходимо до висновку, що наш інтеграл сходиться чи розходиться одночасно з інтегралом
\[ \int _0^(+1)\frac(1)(x)\,dx . \]
Як було показано у попередньому прикладі, цей інтеграл розходиться ($k=1$). Отже, вихідний інтеграл також розходиться.
Обчислити невласний інтеграл чи встановити його збіжність (розбіжність).
1. \[ \int _(0)^(1)\frac(dx)(x^3-5x^2)\,. 2. \[ \int _(3)^(7)\frac(x\,dx)((x-5)^2)\,. \] 3. \[ \int _(0)^(1)\frac(x\,dx)(\sqrt(1-x^2))\,. 4. \[ \int _(0)^(1)\frac(x^3\,dx)(1-x^5)\,. 5. \[ \int _(-3)^(2)\frac(dx)((x+3)^2)\,. 6. \[ \int _(1)^(2)\frac(x^2\,dx)((x-1)\sqrt(x-1))\,. \] 7. \[ \int _(0)^(1)\frac(dx)(\sqrt(x+x^2))\,. \] 8. \[ \int _(0)^(1/4)\frac(dx)(\sqrt(x-x^2))\,. \] 9. \[ \int _(1)^(2)\frac(dx)(xlnx)\,. \] 10. \[ \int _(1)^(2)\frac(x^3\,dx)(\sqrt(4-x^2))\,. \] 11. \[ \int _(0)^(\pi /4)\frac(dx)(\sin ^4x)\,. \]
1. Невласні інтеграли з нескінченними межами
Згадаймо визначення інтеграла як межі інтегральних сум:
У визначенні передбачається, що інтервал інтегрування є кінцевим, а функція f (x) безперервна в ньому. Порушення цих припущень призводить до невласних інтегралів.
Визначення.Якщо інтеграл прагне кінцевої межі при необмеженому зростанні "b", то цю межу називають невласним інтегралом з нескінченним верхнім кордоном від функції f (x) і позначають символом
І тут кажуть, що невласний інтеграл існує чи сходиться.
Якщо вказана межа не існує або існує, але нескінченна, то кажуть, що інтеграл не існує або розходиться.
Аналогічно визначається невласний інтеграл із нескінченним нижнім кордоном:
Невласний інтеграл із двома нескінченними межами визначається формулою:
де с – будь-яка фіксована точка на осі Ох.
Отже, невласні інтеграли можуть бути з нескінченно нижнім кордоном, з нескінченно верхнім кордоном, а також з двома нескінченними кордонами.
Ознаки збіжності. Абсолютна та умовна збіжність
Інтеграл існує лише тоді, коли існує кожен із інтегралів: і .
приклад.Дослідити на збіжність інтеграл
Вважаючи з = 0, отримаємо:
тобто. інтеграл сходиться.
Іноді не потрібно обчислювати невласний інтеграл, а достатньо лише знати, сходиться він чи розходиться, порівнявши його з іншим інтегралом.
Теорема порівняння невласних інтегралів.
Нехай в інтервалі функція f (x) має кілька (кінцеве число) точок розриву першого роду, це "перешкода" легко усунути, розбивши відрізок точками розриву на кілька відрізків, обчислити певні інтеграли на кожній окремій ділянці та результати скласти.
Розглянемо визначений інтегралвід функції, необмеженої при наближенні до одного з кінців відрізка , наприклад, .
(У таких випадках зазвичай кажуть: “Функція має нескінченний розрив на правому кінці відрізка інтегрування”.)
Зрозуміло, що звичайне визначення інтеграла тут втрачає сенс.
Визначення. Невласним інтегралом від функції f(x), безперервної при а?< b и неограниченной при x ® b - 0, называется предел:
Аналогічно визначається невласний інтеграл від функції, що має нескінченний розрив на лівому кінці відрізка:
Отже, дільниці [ -1, 0] інтеграл розходиться.
Отже, на ділянці інтеграл також розходиться.
Таким чином, даний інтеграл розходиться по всьому відрізку [-1, 1]. Зазначимо, що якби ми стали обчислювати цей інтеграл, не звертаючи уваги на розрив підінтегральної функціїу точці x = 0, то отримали б неправильний результат. Справді,
, що неможливо.
Отже, на дослідження невласного інтеграла від розривної функції, необхідно " розбити " його кілька інтегралів і досліджувати їх.