Реферат: Невласні подвійні інтеграли

План

Вступ

1 Означення невласних інтегралів

2 Обчислення

3 Приклади

Висновок

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

Вступ

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

Саме нашому часу видаються особливо співзвучними пророчі слова великого Леонардо да Вінчі про те, що ніякі людські дослідження не можна назвати справжньою наукою, якщо вони не пройшли через математичні доведення.

Елементи інтегрального числення закладено у працях математиків Стародавньої Греції. Основні поняття і початки теорії інтегральногочислення, насамперед зв'язок його з диференціальним числення, а також застосування їх до розв'язування практичних задач, розроблені в кінці 17 ст. Ньютоном і Лейбніцем. Далі історичний розвитокінтегрального числення пов'язаний зіменами Л. Ейлера, О. Коші, Б. Рімана та інших вчених.

Інтеграл — одне з центральних понять математичного і всієї математики. Воно виникло у зв'язку з двома основними задачами:

1) про відновлення функції по заданій її похідній;

2) про обчислення площі, обмеженої графіком функції у=f(х), х[a;b]прямими х = а, х = b і віссю Ох (подібні задачі дістаємо при обчисленні багатьох інших величин, наприклад роботи, яку виконує сила протягом деякого часу, тощо). Термін «інтеграл» ввів Я.Бернулі у 1690 р. Цікаво, що в історії математики цей термін пов’язують з двома латинськими словами: integro — відновляти та integer – цілий.

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

Метою роботи є вивчення умов існування, властивостей, методів обчислення невласних подвійних інтегралів.

Відповідно до мети поставлені наступні завдання:

1. Ввести поняття невласного подвійного інтегралу.

2. Навчитися класифікувати невласні подвійні інтеграли.

3. Визначити способи розв’язку невласного подвійного інтегралу.

1 Поняття невласного подвійного інтегралу

Поняття подвійного інтеграла узагальнюється на випадок необмеженої області, або на випадок необмеженої функції.

Зупинимося спочатку на випадку необмеженої області (Р). Прикладом такої області може бути вся площина або її частина, яка знаходиться за деяким кругом або іншою обмеженою плоскою фігурою, який-небудь кут і тому подібне. Що стосується границі цієї області, то вона передбачається такою, що має площу 0 (наприклад, що складається з кусково-монотонних кривих ) у кожній обмеженій своїй частині. Нехай в області (Р) задана деяка функція f(x,y), яку передбачимо інтегрованою в звичайному сенсі слова в кожній обмеженій і квадратичній частині області (Р).

Провівши допоміжну криву (К') (теж з площею 0), відсічемо від області (Р) обмежену зв'язну її частину (Р'), в якій існує інтеграл:

Будемо віддаляти криву (К) всіма її точками в нескінченність, так, щоб найменша відстань R від початку до точок цієї кривої зростала до нескінченності. Тоді відокремлена нею змінна область (Р') поступово охоплюватиме всі точки області (Р): кожна точка з (Р) належатиме (Р') при достатньо великому R .

Границя (скінченного або нескінченного) інтеграла (1)при R →∞називають (невласним ) інтегралом від функції f ( х, у ) в необмеженій області (Р) і позначають символом

В разі існування скінченної границі інтеграл (2) називається збіжним, в іншому випадку – розбіжним. Функція, для якої інтеграл (2) збігається, називається інтегрованою в області (Р).

У випадку додатної функції f(x,y) досить, розглянувши яку-небудь певну послідовність, нескінченно віддалених кривих

(К1 ),(К2 ),…,(К n ) , …

і областей, що відсікаються ними

( P 1 ),(Р2 ),…,(Р n ),… ,

передбачити існування скінченної границі

щоб звідси вже випливала збіжність інтеграла (2).

Дійсно, яку б область (Р') не відокремити кривою ( К' ) від (Р), при достатньо великому п ця область цілком буде міститися в ( Р n ), так що

і, тим паче,

З іншого боку, по заданому >0 можна знайти таке n , щоб було

При достатньо великому R, в свою чергу, область (Р') охопить ( ), отже

Нерівності (3) і (4) в сукупності доводять, що число І задовольняє визначенню подвійного інтеграла.

Далі, якщо зберегти відносно функції f(x,y) попередні припущення, то із збіжності інтеграла від поширеного на необмежену область (Р), випливає збіжність подібного ж інтеграла для функції f(x,y).

Для доведення цього розглянемо дві функції:

f + ( x , y ) , f - ( x , y ) ;

очевидно,

f + ( x , y )

f - ( x , y ) =

З інтегрованості функції випливає збіжність інтегралів для функцій

f + ( x , y ) f - ( x , y )

а отже, і для функції

f ( x , y )= f + ( x , y )- f - ( x , y )

Вельми чудовий той факт, що і навпаки: із збіжності інтеграла від функції f(x,y), поширеного на необмежену область (Р), випливає збіжність інтеграла і для Цьому твердженню немає аналога в теорії одновимірних невласних інтегралів: відомо, що можуть існувати і інтеграли, що не абсолютно збіжні.

Теорема про абсолютну збіжність невласного подвійного інтеграла. Кожнийзбіжний інтеграл

необхідно і абсолютно збіжний, тобтоодночасно з нимзбіжний і інтеграл

Для доведення цієї теореми будемо користуватись методом доведення від супротивного. Візьмемо послідовність областей {(Р n ) }, так, щоб вони, розширюючись, поступово охоплювали всю область (Р), матимемо

Ми можемо припустити, що при кожному значенні п виконується нерівність

Цього можна досягти, розріджуючи (в разі потреби) послідовність {(Р n ) }, тобто витягуючи з неї часткову послідовність і заново нумеруючи її.

Позначимо через ( pn ) різницю областей ( P n +1 ) і ( Pn ), очевидно, що

Але

| f ( x , y )|= f + ( x , y )+ f - ( x , y ),

Отже

Нехай з двох інтегралів з права більшим буде, наприклад, перший. Тоді

Замінюючи подвійний інтеграл зліва досить близькою до нього нижньою сумою Дарбу, збережемо нерівність

В цій сумі залишаємо лише ті доданки, яким відповідають

позначивши сукупність відповідних елементів через ( ), отримаємо,

Позначимо через (P ̃ n ) область, складену з (Р n ) і ( р̃ n ); такяк

то, складаючи почленно цю нерівність з попередньою, знайдемо

Область (р̃ n ), а з нею і (Р̃ n ), можна деформувати так, щоб з останньої вийшла зв'язна область (Р' n ), і притому за площею, що настільки мало різниться від (Р̃ n ), що все ж зберігається нерівність

Цього легко досягти, сполучаючи відірвані частини області вузькими «коридорами» з довільно малою загальною площею.

Звідси вже ясно, що інтеграл (5) не може бути збіжним, всупереч припущенню; це протиріччя і доводить теорему.

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

Доведена теорема зводить питання про збіжність і обчислення невласного інтеграла від довільної функції до такого ж питання для додатної (від’ємної) функції.

Інтеграли від необмежених функцій.

Нехай функція f ( x , y ) задана в обмеженій області (Р), але сама виявляється необмеженою в околі окремих точок М1, М2,… в будь — якій частині області (Р), що не містить цих точок.

Виділимо тепер особливі точки М1, М2,… оточивши їх кривими (К 1 ), (К 2 ) , ... Якщо видалити з області (Р) обмежені цими кривими околи особливих точок, то ми отримаємо область (Р'), для якої по припущенню інтеграл

є збіжний. Будемо «стягувати» криві ( К 1 ) ,( K 2 ), ... у вказані точки так, щоб найбільша з відстаней точок цих контурів (К) до відповідних точок M (позначимо її через ρ) прямувала до нуля. Відмітимо, що при цьому і площі даних околів (менші ніж πρ2 ), також прямуватимуть до нуля.

Інтеграл ( невласний ) від необмеженої функції f(x, y ) по області (Р) визначається як границя інтеграла (7) при ρ→0:

Особливі точки можуть лежати і уздовж деяких особливих ліній, які ми завжди будемо передбачати такими, що мають площу 0. В цьому випадку доводиться оточувати ці лінії околами, що «стискуються» до них.

Проте точна характеристика граничного процесу, що мається на увазі тут, вимагає ще деяких пояснень. Нехай особлива лінія (l ) оточена околом з контуром (К). Якщо узяти точку А на (К), то з відстаней цієї точки від різних точок В на (l ) існує найменша, ρА ; з іншого боку, якщо змінювати положення А на (К), то зі всіх ρА знайдеться найбільше, ρ. Це число в деякому розумінні і характеризує міру віддаленості контура (К) від кривої (l ), і граничний процес виражається умовою: ρ → 0. (За наявності декількох кривих під ρ зрозуміло найбільше з подібних чисел.) Тут також можна довести, що разом з ρ прямує до нуля і площа даного околу.

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

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

Приведення подвійного інтеграла до повторного.

Обмежимося спочатку припущенням, що функція f(x,y) невідємна. Якщо ця функція задана в необмеженій області будь-якої форми, то, вважаючи її додатною поза цією областю рівною нулю, завжди можна звести справу до випадку необмеженої прямокутної області. Припустимо, що йдеться про нескінченний в одному напрямі прямокутник [a , b ; c ,+∞ ] (a , b , c -граничні числа, причому b > а). Передбачимо, що в кожному граничному прямокутнику [а, b ; c , d ](при будь-якому d>c ) існують як подвійний інтеграл, так і одновимірний інтеграл по y — обоє увласному сенсі, так що має місце формула

Бажаючи встановити подібну формулу для нескінченного прямокутника, тобто для випадку d =+∞, припустим о , що збігається повторний інтеграл

Оскільки при будь-якому d>c маємо

то по попередньому матеріалузвідси вже випливає збіжність подвійного інтеграла

який, вочевидь, не перевершує I. Залишається лише довести, що подвійний інтеграл рівний I .

Якщо інтеграл є функцією від х, інтегровану у власному сенсі, отже, обмежену деякою постійною L , то і поготів

В такому разі

Зіставляючи це з (9) і (10), приходимо до необхідного результату.

Встановлений факт зберігає силу і в тому випадку, якщо інтегралI збігається, як невласний. Припустимо, наприклад, b єєдиною особливою точкою для функції від х. Тоді подоведеному, при ,

і обидві частини рівності при