Багатократний інтеграл

Матеріал з testwiki
Версія від 16:01, 19 лютого 2025, створена imported>Lxlalexlxl
(різн.) ← Попередня версія | Поточна версія (різн.) | Новіша версія → (різн.)
Перейти до навігації Перейти до пошуку

Шаблон:Вичитати Шаблон:Числення Багатокра́тний інтегра́л це обмежений інтеграл функції, що має декілька дійсних змінних, наприклад, Шаблон:Math або Шаблон:Math. Інтеграли функцій двох змінних в області Шаблон:Math називають подвійними інтегралами, а інтеграли функції трьох змінних в області визначення Шаблон:Math — потрійними інтегралами:[1]

Визначення

Так само як і звичайний інтеграл додатної функції однієї змінної задає площу області між графіком функції і віссю Шаблон:Mvar, подвійний інтеграл додатної функції двох змінних визначає об'єм області між поверхнею, що визначається функцією (у тривимірній системі декартових координат де Шаблон:Math) і площиною, що задає її область визначення. [1] Якщо функція має більше змінних, багатократний інтеграл буде задавати гіпероб'єм багатовимірної функції.

Багатократний інтеграл функції із Шаблон:Mvar змінними: Шаблон:Math по області Шаблон:Mvar зазвичай позначають за допомогою послідовних знаків інтеграла в зворотньому порядку виконання (інтеграл позначений знаком зліва буде розраховуватися останнім), за якими записується функція і аргументи інтегрування у відповідному порядку (крайній правий інтеграл буде розраховуватися в першу чергу). Область інтегрування позначається або символічно для кожного аргументу над кожним знаком інтеграла або, або в скороченій формі задається змінною біля інтеграла, що знаходиться праворуч від усіх:[2]

𝐃f(x1,x2,,xn)dx1dxn

Геометрична інтерпретація

Подвійний інтеграл як об'єм під поверхнею z = x² − y². Прямокутний регіон у основі тіла є областю інтегрування, а поверхня графіка функції двох змінних буде інтегруватися

Нехай функція f(x,y) приймає в області  D тільки додатні значення. Тоді подвійний інтеграл Df(x,y)dσ чисельно дорівнює об'єму  V вертикального циліндрового тіла, побудованого на остові  D і обмеженого зверху відповідним шматком поверхні z=f(x,y).

Математичне визначення

Для Шаблон:Math, розглянемо так звану "пів-відкриту" Шаблон:Mvar-вимірну гіперпрямокутну область значень Шаблон:Mvar, визначену наступним чином:

T=[a1,b1)×[a2,b2)××[an,bn)𝐑n.

Розіб'ємо кожен інтервал Шаблон:Math на скінченну послідовність підінтервалів Шаблон:Mvar, що не перекриваються Шаблон:Mvar, де кожен підінтервал є закритим з лівого краю, і відкритим з правого краю.

Скінченна кількість підпрямокутників Шаблон:Mvar буде визначатися наступним чином

C=I1×I2××In

і є розбиттям області Шаблон:Mvar; таке що, підпрямокутники Шаблон:Mvar не перекриваються, а їх об'єднання буде утворювати Шаблон:Mvar.

Нехай Шаблон:Math є функцією визначеною в області Шаблон:Mvar. Розглянемо розбиття Шаблон:Mvar області Шаблон:Mvar описане вище, так що Шаблон:Mvar є сімейством із Шаблон:Mvar підпрямокутниками Шаблон:Mvar і

T=C1C2Cm

Ми можемо апроксимувати загальний Шаблон:Math-вимірний об'єм, що обмежує собою Шаблон:Mvar-вимірний гіперпрямокутник Шаблон:Mvar і зверху обмежений Шаблон:Mvar-вимірним графіком функції Шаблон:Mvar за допомогою наступної суми Рімана:

k=1mf(Pk)m(Ck)

де Шаблон:Mvar це точка в Шаблон:Mvar і Шаблон:Math є добуток довжин інтервалів, декартовий добуток яких дорівнює Шаблон:Mvar.

Діаметр підпрямокутника Шаблон:Mvar буде дорівнювати найбільшій довжині інтервала декартовим добутком якого є Шаблон:Mvar. Діаметр даного розбиття Шаблон:Mvar визначається найбільшим діаметром підпрямокутника в розбитті. Інтуїтивно, із обмеженням діаметру розбиття Шаблон:Mvar до все менших і менших значень, кількість підпрямокутників Шаблон:Mvar стає більшою, а міра Шаблон:Math для кожного підпрямокутника стає меншою. Функцію Шаблон:Mvar називають такою, що має Ріманів інтеграл якщо існує границя

S=limδ0k=1mf(Pk)m(Ck)

де границя знаходиться для всіх можливих варіантів розбиття Шаблон:Mvar із діаметром Шаблон:Mvar.[3]

Якщо Шаблон:Mvar інтегрована за Ріманом, то Шаблон:Mvar називають Рімановим інтегралом функції Шаблон:Mvar по області Шаблон:Mvar і позначається наступним чином

Tf(x1,x2,,xn)dx1dxn

Часто цей запис скорочують до наступного вигляду

Tf(𝐱)dn𝐱.

де Шаблон:Math позначає Шаблон:Mvar-кортеж Шаблон:Math і Шаблон:Math позначає Шаблон:Math-вимірний об'ємний диференціал.

Властивості

Багатократні інтеграли мають більшість властивостей, що є спільними із звичайними інтегралами функцій однієї змінної (лінійність, комутативність, монотонність тощо). Однією з важливих властивостей багатократного інтеграла є те, що значення інтеграла не залежить від порядку інтегрування при певних умовах. Ця властивість відома як Теорема Фубіні.[4]

Методи інтегрування

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

Далі наведені найпростіші методи інтегрування:[1]

Інтегрування константної функції

Якщо під інтегралом знаходиться константна функція Шаблон:Mvar, інтеграл буде дорівнювати добутку Шаблон:Mvar на вимір області інтегрування. Якщо Шаблон:Math, а область є частиною області Шаблон:Math, тоді інтеграл визначає площу області, якщо область буде частиною Шаблон:Math, тоді інтеграл повертає об'єм.

Наприклад. Нехай Шаблон:Math і

D={(x,y)𝐑2 : 2x4 ; 3y6}

в такому випадку

3624 2 dxdy=23624 1 dxdy=2area(D)=2(23)=12,

оскільки із визначення ми маємо наступне:

3624 1 dxdy=area(D).

Використання симетрії

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

Приклад 1. Розглянемо функцію Шаблон:Math що інтегрується по області

T={(x,y)𝐑2 : x2+y21},

диск із радіусом 1 має центр в початку координат, із включеною межею.

Застосовуючи властивість лінійності, вважаємо, що інтеграл можна розділити на три частини:

T(2sinx3y3+5)dxdy=T2sinxdxdyT3y3dxdy+T5dxdy

Функція Шаблон:Math є парною функцією для змінної Шаблон:Mvar а диск Шаблон:Mvar є симетричним відносно осі Шаблон:Mvar, тому значення першого інтеграла дорівнює 0. Аналогічно, функція Шаблон:Math є парною функцією для Шаблон:Mvar, а Шаблон:Mvar симетрична відносно осі Шаблон:Mvar, і таким чином є єдиною складовою, що впливає на остаточний результат є третій інтеграл. Таким чином початковий інтеграл дорівнює площі диска помноженій на 5, або 5Шаблон:Pi.

Приклад 2. розглянемо функцію Шаблон:Math, оскільки область інтегрування є сферою із радіусом 2 із центром у початку координат,

T={(x,y,z)𝐑3 : x2+y2+z24}.

"Шар" є симетричним відносно всіх трьох осей, але достатньо привести інтеграл по осі Шаблон:Mvar аби показати що він дорівнює нулю 0, оскільки функція є парною функцією відносно цієї змінної.

Заміна змінних

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

Приклад 1a. Функція дорівнює Шаблон:Math; якщо застосувати заміну Шаблон:Math, Шаблон:Math так що Шаблон:Math, Шаблон:Math буде одержана нова функція Шаблон:Math.

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

Існує три основні "види" заміни змінних (один для Шаблон:Math, два для Шаблон:Math); однак, в більш загальному випадку заміни можна виконувати за аналогічним принципом.

Полярні координати

Шаблон:See also

Перетворення від декартових до полярних координат.

Для Шаблон:Math якщо область має кругову симетрію а функція має деякі відповідні характеристики може бути корисним застосувати трансформування в полярні координати (дивись приклад на зображенні). Це означає що загальні точки Шаблон:Math в декартовій системі координат зміняться відповідними точками в полярній системі координат. Що дозволяє змінити форму області і спростити операції.

Основне рівняння за допомогою якого здійснюється перетворення буде наступним:

f(x,y)f(ρcosφ,ρsinφ).

Приклад 2a. Функцією є Шаблон:Math, застосувавши перетворення отримаємо

f(ρ,φ)=ρcosφ+ρsinφ=ρ(cosφ+sinφ).

Приклад 2b. Функцією є Шаблон:Math, в такому випадку маємо:

f(ρ,φ)=ρ2(cos2φ+sin2φ)=ρ2

використовуючи тригонометричну тотожність Піфагора.

Перетворення області виконано за допомогою визначення величини радіусу і величини описаного кута за допомогою інтервалів Шаблон:Math від початкових Шаблон:Math.

Приклад перетворення області із декартової системи координат в полярну.

Приклад 2c. Область задається як Шаблон:Math, це коло радіусом 2; очевидно, що кут який воно покриває це кут усього кола, тому Шаблон:Mvar змінюється від 0 до 2Шаблон:Pi, в той час як радіус змінюється від 0 до 2.

Приклад 2d. Область задається як Шаблон:Math, це кругла дуга в додатній відносно осі Шаблон:Mvar півплощині (див. малюнок); Шаблон:Mvar описує площину із зміною кута Шаблон:Mvar в діапазоні значень від 2 до 3. Таким чином перетворена область буде таким прямокутником:

T={2ρ3, 0φπ}.

Детермінант матриці Якобі для такого перетворення буде таким:

(x,y)(ρ,φ)=|cosφρsinφsinφρcosφ|=ρ

який було отримано відповідно до часткових похідних для Шаблон:Math, Шаблон:Math в першому стовбці відповідно до Шаблон:Mvar і в другому стовпці відповідно до Шаблон:Mvar, так що диференціали Шаблон:Mvar в цьому перетворенні стали замінені на Шаблон:Mvar.

Так як функція була перетворена а області були розраховані, стає можливим визначити формулу для заміни змінних в полярних координатах:

Df(x,y)dxdy=Tf(ρcosφ,ρsinφ)ρdρdφ.

Шаблон:Mvar є дійсним для інтервалу Шаблон:Math в той час як Шаблон:Mvar, що є мірою довжини, може приймати лише додатні значення.

Приклад 2e. Функцією є Шаблон:Math а область є такою ж як в прикладі 2d. Із попередніх розрахунків для Шаблон:Mvar ми вже знаємо інтервали для Шаблон:Mvar (з 2 до 3) і для Шаблон:Mvar (з 0 до Шаблон:Pi). Тепер ми змінюємо функцію:

f(x,y)=xf(ρ,φ)=ρcosφ.

нарешті, застосуємо формулу інтегрування:

Dxdxdy=Tρcosφρdρdφ.

Оскільки інтервали відомі, матимемо

0π23ρ2cosφdρdφ=0πcosφ dφ[ρ33]23=[sinφ]0π (983)=0.


Циліндричні координати

Циліндричні координати.

В Шаблон:Math інтегрування областей що мають круглу основу можна здійснювати за допомогою переходу до циліндричних координат; перетворення функції виконується за допомогою наступних рівнянь:

f(x,y,z)f(ρcosφ,ρsinφ,z)

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

Приклад 3a. Регіоном є Шаблон:Math (тобто "труба" основа якої є круглим сектором з прикладу 2d і висота якого дорівнює 5); після застосування перетворення, буде отримана область:

T={2ρ3, 0φ2π, 0z5}

(це буде паралелепіпед, основа якого подібна до прямокутника з прикладу 2d і висота якого дорівнює 5).

Оскільки компонент Шаблон:Mvar не змінюється під час перетворення, диференціали Шаблон:Mvar змінюються при переході до полярних координат: таким чином вони перетворюються на Шаблон:Mvar.

Врешті-решт, стає можливим застосувати остаточну формулу до циліндричних координат:

Df(x,y,z)dxdydz=Tf(ρcosφ,ρsinφ,z)ρdρdφdz.

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

Приклад 3b. Функція задана як Шаблон:Math а область інтегрування є циліндром: Шаблон:Math. Перетворення Шаблон:Mvar в циліндричні координати є наступним:

T={0ρ3, 0φ2π, 5z5}.

а функція перетворюється на

f(ρcosφ,ρsinφ,z)=ρ2+z

Тепер можна застосувати формулу для інтегрування:

D(x2+y2+z)dxdydz=T(ρ2+z)ρdρdφdz;

продовжуючи перетворення формули отримаємо

55dz02πdφ03(ρ3+ρz)dρ=2π55[ρ44+ρ2z2]03dz=2π55(814+92z)dz==405π.

Сферичні координати

Сферичні координати.

В Шаблон:Math деякі області мають сферичну симетрію, таким чином можливо задати координати кожної точки області інтегрування за допомогою двох кутів і однієї відстані. Для цього можливо скористатися переходом до сферичної системи координат; функція перетворюється за допомогою наступних рівнянь:

f(x,y,z)f(ρcosθsinφ,ρsinθsinφ,ρcosφ)

Точки на осі Шаблон:Mvar не можна точно характеризувати в сферичних координатах, тому Шаблон:Mvar може змінюватися між значеннями 0 і 2Шаблон:Pi.

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

Приклад 4a. Область задана як Шаблон:Math (сфера із радіусом 4 і центром в початку координат); застосувавши перетворення отримаємо область

T={0ρ4, 0φπ, 0θ2π}.

Детермінант якобіану для цього перетворення буде наступним:

(x,y,z)(ρ,θ,φ)=|cosθsinφρsinθsinφρcosθcosφsinθsinφρcosθsinφρsinθcosφcosφ0ρsinφ|=ρ2sinφ

Диференціали Шаблон:Mvar таким чином перетворюються на Шаблон:Math.

Це приводить до остаточної формули інтегрування:

Df(x,y,z)dxdydz=Tf(ρsinφcosθ,ρsinφsinθ,ρcosφ)ρ2sinφdρdθdφ.

Цей метод краще використовувати у випадках, коли область сферична і коли функцію можна легко спростити за допомогою першої тригонометричної тотожності узагальненої для Шаблон:Math (див. приклад 4b); в інших випадках більш вдалим може бути застосування циліндричних координат (див. приклад 4c).

Tf(a,b,c)ρ2sinφdρdθdφ.

Додаткові Шаблон:Math і Шаблон:Math взяті із Якобіана.

В наступних прикладах ролі Шаблон:Mvar і Шаблон:Mvar були замінені навпаки.

Приклад 4b. Шаблон:Mvar є такою ж областю як і в прикладі 4a, а Шаблон:Math є функцією що інтегрується. Її перетворення дуже просте:

f(ρsinφcosθ,ρsinφsinθ,ρcosφ)=ρ2,

ми знаємо інтервали перетвореної області Шаблон:Mvar із Шаблон:Mvar:

T={0ρ4, 0φπ, 0θ2π}.

Таким чином застосовуємо формулу інтегрування:

D(x2+y2+z2)dxdydz=Tρ2ρ2sinθdρdθdφ,

і з цього ми отримаємо

Tρ4sinθdρdθdφ=0πsinφdφ04ρ4dρ02πdθ=2π0πsinφ[ρ55]04dφ=2π[ρ55]04[cosφ]0π=4096π5.

Приклад 4c. Область Шаблон:Mvar це шар із центром в початку координат і радіусом Шаблон:Math,

D={x2+y2+z29a2}

а Шаблон:Math - функція інтегрування.

Зважаючи на область інтегрування, зручним має бути використати перехід в сферичну систему координат, на справді, інтервали нових змінних які обмежують нову область Шаблон:Mvar є очевидними:

T={0ρ3a, 0φ2π, 0θπ}.

Однак, застосувавши перетворення ми отримаємо

f(x,y,z)=x2+y2ρ2sin2θcos2φ+ρ2sin2θsin2φ=ρ2sin2θ.

Застосувавши формулу інтегрування, отримаємо:

Tρ2sin2θρ2sinθdρdθdφ=Tρ4sin3θdρdθdφ

що є дуже складним для розв'язку. Цю проблему спробуємо вирішити переходом у циліндричну систему координат. Нові інтервали для Шаблон:Mvar будуть наступними

T={0ρ3a, 0φ2π, 9a2ρ2z9a2ρ2};

інтервал Шаблон:Mvar було отримано за допомогою розділення кулі на дві напівсфери шляхом вирішення нерівності із формули для Шаблон:Mvar (і виконавши пряме перетворення Шаблон:Math у Шаблон:Math). Нова функція тоді буде простою Шаблон:Math. Застосовуючи формулу інтегрування

Tρ2ρ dρdφdz.

Тоді ми отримаємо

02πdφ03aρ3dρ9a2ρ29a2ρ2dz=2π03a2ρ39a2ρ2dρ=2π9a20(9a2t)tdtt=9a2ρ2=2π09a2(9a2ttt)dt=2π(09a29a2tdt09a2ttdt)=2π[9a223t3225t52]09a2=227πa5(6185)=648π5a5.

Завдяки переходу в циліндричні координати стало можливим спростити потрійний інтеграл до простого інтеграла з однією змінною.

Приклади

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

Припустимо, що ми хочемо проінтегрувати функцію багатьох змінних Шаблон:Mvar по області Шаблон:Mvar:

A={(x,y)𝐑2 : 11x14 ; 7y10} and f(x,y)=x2+4y

З цього ми записуємо формулювання багатократного інтеграла

7101114(x2+4y)dxdy

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

1114(x2+4y)dx=[13x3+4yx]x=11x=14=13(14)3+4y(14)13(11)34y(11)=471+12y

Тепер інтегруємо результат відносно Шаблон:Mvar.

710(471+12y) dy=[471y+6y2]y=7y=10=471(10)+6(10)2471(7)6(7)2=1719

Іноді, порядок інтегрування можна змінити місцями, тобто, інтегрування спочатку по x потім по y і навпаки дає однаковий результат. Наприклад, виконавши попередні розрахунки змінивши порядок навпаки приведе до того ж результату:

1114710(x2+4y)dydx=1114[x2y+2y2]y=7y=10dx=1114(3x2+102)dx=[x3+102x]x=11x=14=1719.

Умови при яких порядок можна змінювати визначає Теорема Фубіні.

Деякі практичні застосування

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

f¯=1m(D)Df(x)dx,

де Шаблон:Math це міра для Шаблон:Mvar.

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

В механіці, момент інерції розраховується як об'ємний інтеграл (потрійний інтеграл) густини зваженої як квадрат відстані від осі:

Iz=Vρr2dV.

Гравітаційний потенціал, що пов'язаний із розподіленням маси, що задається мірою Бореля для маси Шаблон:Mvar в тривимірному евклідовому просторі Шаблон:Math буде задано як[5]

V(𝐱)=𝐑3G|𝐱𝐲|dm(𝐲).

Якщо задана неперервна функція Шаблон:Math, що задає густину розподілення для Шаблон:Math, таким чином що Шаблон:Math, де Шаблон:Math є Евклідовим елементом об'єму, тоді гравітаційний потенціал дорівнює

V(𝐱)=𝐑3G|𝐱𝐲|ρ(𝐲)d3𝐲.

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

E=14πε0rrrr3ρ(r)d3r.

Це також можна записати як інтеграл, відповідно до мирі із врахуванням знаку, що буде задавати розподілення заряду.

Примітки

Шаблон:Reflist

Джерела

Шаблон:Math-stub Шаблон:Математичний аналіз