Невласні інтеграли

Дисципліна: «Вища математика»
Тема: «Невласні інтеграли»

1. Невласні інтеграли з нескінченними межами
При введенні поняття визначеного інтеграла, а також при розгляді завдань, пов'язаних з ним, весь час робилося припущення, що область інтегрування кінцева, а інтегрована функція на ньому безперервна. Якщо інтервал інтегрування нескінченний або функція в цьому інтервалі має точки розриву, то введене вище поняття визначеного інтеграла не застосовується. Проте існує цілий ряд завдань, коли виникає необхідність поширити поняття визначеного інтеграла на випадки нескінченних інтервалів інтегрування і розривних функцій.

Розглянемо спочатку випадок інтегралів з нескінченними межами. Нехай функція неперервна на проміжку . Отже, можна обчислити будь-який визначений інтеграл з верхньою межею . Величина цього інтеграла буде змінюватися в процесі зміни , Але його можна буде обчислити до тих пір, поки кінцеве число. Як тільки верхня межа стане рівним нескінченності, -А інтегральна сума, яка веде в межі до певного інтегралу, втратить сенс. Дійсно, в цьому випадку вже не можна буде ні задати , Ні обчислити . Інакше кажучи, остання часткова трапеція при записі -Ої інтегральної суми буде завжди мати нескінченно велику основу і її площа обчислити звичайними методами не вдасться. У цьому випадку вихід з положення полягає в тому, що знаходиться не на нескінченності, а прагне до неї.
Визначення 1. Якщо існує скінченна границя , То ця межа називається невласних інтегралів з ​​нескінченним межею від функції і позначається .
Отже, за визначенням . У цьому й полягає метод обчислення таких інтегралів. Очевидно, що оскільки дане обчислення пов'язане із знаходженням межі, то відповідь може існувати чи ні.
Визначення 2. Якщо у несобственном інтегралі межа існує, то інтеграл називається збіжним, якщо межа не існує або дорівнює нескінченності, то інтеграл називається розбіжним.
Очевидно, з геометричної точки зору невласний інтеграл з нескінченними межами дорівнює площі необмеженій області, що лежить між віссю , Кривої і прямий .
Аналогічним чином визначаються невласні інтеграли і для інших нескінченних інтервалів:


Слід підкреслити, що інтеграл існує тільки тоді, коли існує кожен з інтегралів і .
Зі сказаного вище випливає, що невласний інтеграл це не межа інтегральної суми, а межа певного інтеграла із змінною верхньою межею інтегрування.
Розглянемо приклад обчислення невласного інтеграла з нескінченним межею, який, крім того, застосовується і при вирішенні інших завдань, про що буде сказано надалі.

Якщо , То , Тому . Отже, в цьому випадку .
Якщо , То , Тому і . Аналогічно, якщо , То .
Таким чином, сходиться, якщо і розходиться, якщо .
Невласні інтеграли з нескінченними межами мають місце, зокрема, у фізиці при обчисленні роботи з переміщення матеріальної точки з масою з нескінченності в точку під дією сили тяжіння. Ця робота називається потенціалом сили тяжіння матеріальної точки при .

2. Невласні інтеграли від розривних функцій
Розглянемо тепер випадок, коли функція неперервна на проміжку , А в точці терпить розрив другого роду. У цьому випадку введення певного інтеграла на відрізку як границі інтегральної суми також неможливо. Справа в тому, що відрізок розбити на часткових відрізків можна, але в цьому випадку перша часткова трапеція буде мати нескінченну висоту і її площа обчислити неможливо. Однак, як і у випадку з нескінченним інтервалом інтегрування, тут також існує вихід. Необхідно шукати площа трапеції, лівий кінець підстави якої наближається до точки .

Визначення. Якщо існує скінченна границя , То ця межа називається невласних інтегралів від розривної функції і позначається .
Отже, обчислення невласного інтеграла від розривної функції пов'язане із знаходженням межі:

.
Так само як і в попередньому параграфі, якщо ця межа існує, то інтеграл називається збіжним, якщо не існує або дорівнює нескінченності, то - розбіжним.
З геометричної точки зору невласний інтеграл від розривної функції дорівнює площі криволінійної трапеції, у якої в якійсь точці висота дорівнює нескінченності.
Якщо функція терпить розрив у точці , То
.
Якщо ж розрив відбувається в точці , Тобто всередині , То в цьому випадку
.
В останньому випадку невласний інтеграл існує (або сходиться), якщо сходяться обидва інтеграли.
Так само як і невласний інтеграл з нескінченними межами, даний інтеграл теж не є межею -Ої інтегральної суми, а межею певного інтеграла.
Як і в попередньому параграфі, розглянемо приклад, який використовується при вирішенні інших завдань.


Якщо в цьому інтегралі , То і тому . Отже, в цьому випадку .
Якщо , То . У цьому випадку і інтеграл розходиться. Аналогічний результат виходить і в тому випадку, коли . Дійсно,
.
Таким чином, розглянутий інтеграл розходиться при і сходиться при .
3. Ознаки збіжності невласних інтегралів
Як було показано, невласні інтеграли сходяться не завжди. Отже, якщо їх обчислення громіздко, то бажано заздалегідь з'ясувати їх існування. Крім того, бувають випадки, коли невласний інтеграл взагалі немає необхідності обчислювати, а потрібно лише знати, сходиться він чи ні. У цьому випадку використовуються теореми про збіжність невласних інтегралів, що базуються на порівнянні досліджуваного невласного інтеграла з відомими.
Теорема 1. Нехай функції і безупинні на проміжку і задовольняють нерівностям . Тоді,
1) якщо інтеграл сходиться, то збігається і інтеграл ;
2) якщо інтеграл розходиться, то розходиться і інтеграл .
Доводимо першу частину. З нерівностей , Грунтуючись на властивостях невизначених інтегралів (властивість 5, п. 2), випливає, що
,
де . При збільшенні верхньої межі інтегрування значення обох інтегралів будуть невпинно зростати, так як підінтегральна функція за умовою теореми позитивні. Отже, величини обох інтегралів будуть функціями верхніх меж інтегрування. Перейдемо до межі в нерівностях, коли . Відповідно до властивості 6 (п. 3.5) нерівності при цьому не порушаться:
.
За умовою теореми сходиться, тобто . У інтеграла величина буде монотонно зростати із зростанням . Однак ця монотонно зростаюча послідовність обмежена зверху числом . Отже, , Тобто невласний інтеграл сходиться.
У другому випадку також з випливає, що . Але в цьому випадку за умовою розходиться, тобто . Тоді й , Тобто невласний інтеграл розходиться. Теорема доведена.
Для невласних інтегралів від розривних функцій існує аналогічна теорема.
Теорема 2. Нехай функції і безупинні на проміжку , Задовольняють нерівності і в точці одночасно терплять розрив другого роду. Тоді,
1) якщо сходиться, то сходиться також;
2) якщо розходиться, то розходиться і .
Доказ теореми 2 проводиться абсолютно так само, як і теореми 1. Нижче відповідні теореми збіжності для невласних інтегралів від розривних функцій формулюватися не будуть.
Теорема 3. Якщо на проміжку функція змінює свій знак, то якщо сходиться, то збігається і , При цьому другий інтеграл називається абсолютно збіжним.
Доказ. Розглянемо допоміжну функцію . Очевидно, що вона задовольняє нерівностям . Згідно з теоремою 1 з збіжності слід збіжність . Але тоді і . Отже, невласний інтеграл сходиться, що й потрібно було довести.
Аналогічна теорема має місце і для невласних інтегралів від розривних функцій.
Теорема 4. Якщо позитивні функції і безупинні на проміжку і при цьому , То обидва невласних інтеграла і ведуть себе однаково.
Дану теорему доводити не будемо. Аналогічна теорема існує і для невласних інтегралів від розривних функцій, але при обчисленні межі мінлива прагне до точки розриву.
На закінчення відзначимо, що в якості відомих або еталонних функцій, що згадуються в теоремах, часто використовуються функції і проінтегрувати в прикладах параграфів 15 і 1

Література
1. Бугров Я.С., Нікольський С.М. ВИЩА МАТЕМАТИКА У 3-х томах Т. 1 Елементи лінійної алгебри та аналітичної геометрії 8-е изд. Вид-во: ДРОФА, 2006. - 284 с.
2. Кудрявцев В.А., Демидович Б.П. Короткий курс вищої математики. М., «Наука», 1986.
3. Лобоцький Н.Л. Основи вищої математики. Мінськ, «Вища школа», 1973.
4. Мінорскій В.П. Збірник задач з вищої математики.
5. Мироненко Є.С. Вища математика. М: Вища школа, 2002. - 109 с.
6. Нікольський С.М., Бугров Я.С. ВИЩА МАТЕМАТИКА У 3-Х ТОМАХ Т. 2 Диференціальне і інтегральне числення 8-е изд. Вид-во: ДРОФА, 2007. - 509 с.
7. Олійник С.М. Математичний аналіз у задачах і вправах. Невласні інтеграли і ряди Фур'є. Вид-во: Факторіал Прес, 1998. - 488c.
8. Черненко В.Д. Вища математика в прикладах і задачах. У трьох томах. ПОЛІТЕХНІКА, 2003.