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

Нехай функція приймає в області тільки додатні значення. Тоді подвійний інтеграл чисельно дорівнює об'єму вертикального циліндрового тіла, побудованого на остові і обмеженого зверху відповідним шматком поверхні .
Математичне визначення
Для Шаблон:Math, розглянемо так звану "пів-відкриту" Шаблон:Mvar-вимірну гіперпрямокутну область значень Шаблон:Mvar, визначену наступним чином:
Розіб'ємо кожен інтервал Шаблон:Math на скінченну послідовність підінтервалів Шаблон:Mvar, що не перекриваються Шаблон:Mvar, де кожен підінтервал є закритим з лівого краю, і відкритим з правого краю.
Скінченна кількість підпрямокутників Шаблон:Mvar буде визначатися наступним чином
і є розбиттям області Шаблон:Mvar; таке що, підпрямокутники Шаблон:Mvar не перекриваються, а їх об'єднання буде утворювати Шаблон:Mvar.
Нехай Шаблон:Math є функцією визначеною в області Шаблон:Mvar. Розглянемо розбиття Шаблон:Mvar області Шаблон:Mvar описане вище, так що Шаблон:Mvar є сімейством із Шаблон:Mvar підпрямокутниками Шаблон:Mvar і
Ми можемо апроксимувати загальний Шаблон:Math-вимірний об'єм, що обмежує собою Шаблон:Mvar-вимірний гіперпрямокутник Шаблон:Mvar і зверху обмежений Шаблон:Mvar-вимірним графіком функції Шаблон:Mvar за допомогою наступної суми Рімана:
де Шаблон:Mvar це точка в Шаблон:Mvar і Шаблон:Math є добуток довжин інтервалів, декартовий добуток яких дорівнює Шаблон:Mvar.
Діаметр підпрямокутника Шаблон:Mvar буде дорівнювати найбільшій довжині інтервала декартовим добутком якого є Шаблон:Mvar. Діаметр даного розбиття Шаблон:Mvar визначається найбільшим діаметром підпрямокутника в розбитті. Інтуїтивно, із обмеженням діаметру розбиття Шаблон:Mvar до все менших і менших значень, кількість підпрямокутників Шаблон:Mvar стає більшою, а міра Шаблон:Math для кожного підпрямокутника стає меншою. Функцію Шаблон:Mvar називають такою, що має Ріманів інтеграл якщо існує границя
де границя знаходиться для всіх можливих варіантів розбиття Шаблон:Mvar із діаметром Шаблон:Mvar.[3]
Якщо Шаблон:Mvar інтегрована за Ріманом, то Шаблон:Mvar називають Рімановим інтегралом функції Шаблон:Mvar по області Шаблон:Mvar і позначається наступним чином
Часто цей запис скорочують до наступного вигляду
де Шаблон:Math позначає Шаблон:Mvar-кортеж Шаблон:Math і Шаблон:Math позначає Шаблон:Math-вимірний об'ємний диференціал.
Властивості
Багатократні інтеграли мають більшість властивостей, що є спільними із звичайними інтегралами функцій однієї змінної (лінійність, комутативність, монотонність тощо). Однією з важливих властивостей багатократного інтеграла є те, що значення інтеграла не залежить від порядку інтегрування при певних умовах. Ця властивість відома як Теорема Фубіні.[4]
Методи інтегрування
Вирішення задачі багатократного інтегрування, в більшості випадків, полягає у знаходженні способу спростити багатократний інтеграл у послідовний інтеграл із інтегралів однієї змінної, кожен з яких має прямий розв'язок. Для неперервних функцій, це підтверджується Теоремою Фубіні. Іноді, можливо отримати результат за допомогою прямого дослідження без розрахунків.
Далі наведені найпростіші методи інтегрування:[1]
Інтегрування константної функції
Якщо під інтегралом знаходиться константна функція Шаблон:Mvar, інтеграл буде дорівнювати добутку Шаблон:Mvar на вимір області інтегрування. Якщо Шаблон:Math, а область є частиною області Шаблон:Math, тоді інтеграл визначає площу області, якщо область буде частиною Шаблон:Math, тоді інтеграл повертає об'єм.
Наприклад. Нехай Шаблон:Math і
в такому випадку
- ,
оскільки із визначення ми маємо наступне:
Використання симетрії
Якщо область інтегрування симетрична відносно початку координат по відношенню хоча б до однієї із змінних інтегрування, а функція що інтегрується є парною по відношенню до цієї змінної, інтеграл дорівнюватиме нулю, оскільки інтеграли над двома половинами області будуть мати однаковий абсолютний об'єм але протилежні знаки. Якщо функція, яка інтегрується є непарною по відношенню до такої змінної, інтеграл дорівнює двом інтегралам для половини цієї області, оскільки значення інтегралів двох половин є рівними.
Приклад 1. Розглянемо функцію Шаблон:Math що інтегрується по області
диск із радіусом 1 має центр в початку координат, із включеною межею.
Застосовуючи властивість лінійності, вважаємо, що інтеграл можна розділити на три частини:
Функція Шаблон:Math є парною функцією для змінної Шаблон:Mvar а диск Шаблон:Mvar є симетричним відносно осі Шаблон:Mvar, тому значення першого інтеграла дорівнює 0. Аналогічно, функція Шаблон:Math є парною функцією для Шаблон:Mvar, а Шаблон:Mvar симетрична відносно осі Шаблон:Mvar, і таким чином є єдиною складовою, що впливає на остаточний результат є третій інтеграл. Таким чином початковий інтеграл дорівнює площі диска помноженій на 5, або 5Шаблон:Pi.
Приклад 2. розглянемо функцію Шаблон:Math, оскільки область інтегрування є сферою із радіусом 2 із центром у початку координат,
"Шар" є симетричним відносно всіх трьох осей, але достатньо привести інтеграл по осі Шаблон:Mvar аби показати що він дорівнює нулю 0, оскільки функція є парною функцією відносно цієї змінної.
Заміна змінних
Границі інтегрування часто не є просто взаємозамінними (без нормалізації або через складну формулу інтегрування). Виконують заміну змінних аби переписати інтеграл таким чином, аби інтегрувати у більш "зручній" області, яку можна описати простішою формулою. Аби це зробити, функцію необхідно привести до нових координат.
Приклад 1a. Функція дорівнює Шаблон:Math; якщо застосувати заміну Шаблон:Math, Шаблон:Math так що Шаблон:Math, Шаблон:Math буде одержана нова функція Шаблон:Math.
- Аналогічно для області інтегрування, оскільки вона обмежує початкові змінні (Шаблон:Mvar і Шаблон:Mvar, які були перетворені вище в прикладі).
- диференціали Шаблон:Mvar і Шаблон:Mvar трансформуються за допомогою абсолютного значення детермінанта матриці Якобі, що містить частинні похідні перетворення відповідно до нової змінної (розглянемо, як приклад, диференційне перетворення в полярних координатах).
Існує три основні "види" заміни змінних (один для Шаблон:Math, два для Шаблон:Math); однак, в більш загальному випадку заміни можна виконувати за аналогічним принципом.
Полярні координати

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

Приклад 2c. Область задається як Шаблон:Math, це коло радіусом 2; очевидно, що кут який воно покриває це кут усього кола, тому Шаблон:Mvar змінюється від 0 до 2Шаблон:Pi, в той час як радіус змінюється від 0 до 2.
Приклад 2d. Область задається як Шаблон:Math, це кругла дуга в додатній відносно осі Шаблон:Mvar півплощині (див. малюнок); Шаблон:Mvar описує площину із зміною кута Шаблон:Mvar в діапазоні значень від 2 до 3. Таким чином перетворена область буде таким прямокутником:
Детермінант матриці Якобі для такого перетворення буде таким:
який було отримано відповідно до часткових похідних для Шаблон:Math, Шаблон:Math в першому стовбці відповідно до Шаблон:Mvar і в другому стовпці відповідно до Шаблон:Mvar, так що диференціали Шаблон:Mvar в цьому перетворенні стали замінені на Шаблон:Mvar.
Так як функція була перетворена а області були розраховані, стає можливим визначити формулу для заміни змінних в полярних координатах:
Шаблон:Mvar є дійсним для інтервалу Шаблон:Math в той час як Шаблон:Mvar, що є мірою довжини, може приймати лише додатні значення.
Приклад 2e. Функцією є Шаблон:Math а область є такою ж як в прикладі 2d. Із попередніх розрахунків для Шаблон:Mvar ми вже знаємо інтервали для Шаблон:Mvar (з 2 до 3) і для Шаблон:Mvar (з 0 до Шаблон:Pi). Тепер ми змінюємо функцію:
нарешті, застосуємо формулу інтегрування:
Оскільки інтервали відомі, матимемо
Циліндричні координати

В Шаблон:Math інтегрування областей що мають круглу основу можна здійснювати за допомогою переходу до циліндричних координат; перетворення функції виконується за допомогою наступних рівнянь:
Область трансформації можна отримати графічним чином, оскільки змінюється лише форма основи, в той час як висота залежить від форми початкового регіону.
Приклад 3a. Регіоном є Шаблон:Math (тобто "труба" основа якої є круглим сектором з прикладу 2d і висота якого дорівнює 5); після застосування перетворення, буде отримана область:
(це буде паралелепіпед, основа якого подібна до прямокутника з прикладу 2d і висота якого дорівнює 5).
Оскільки компонент Шаблон:Mvar не змінюється під час перетворення, диференціали Шаблон:Mvar змінюються при переході до полярних координат: таким чином вони перетворюються на Шаблон:Mvar.
Врешті-решт, стає можливим застосувати остаточну формулу до циліндричних координат:
Цей метод зручно застосовувати у випадку, коли області є циліндричними або конічними або для областей, де легко виділити інтервал z і перетворити круглу основу і функцію.
Приклад 3b. Функція задана як Шаблон:Math а область інтегрування є циліндром: Шаблон:Math. Перетворення Шаблон:Mvar в циліндричні координати є наступним:
а функція перетворюється на
Тепер можна застосувати формулу для інтегрування:
продовжуючи перетворення формули отримаємо
Сферичні координати

В Шаблон:Math деякі області мають сферичну симетрію, таким чином можливо задати координати кожної точки області інтегрування за допомогою двох кутів і однієї відстані. Для цього можливо скористатися переходом до сферичної системи координат; функція перетворюється за допомогою наступних рівнянь:
Точки на осі Шаблон:Mvar не можна точно характеризувати в сферичних координатах, тому Шаблон:Mvar може змінюватися між значеннями 0 і 2Шаблон:Pi.
Найкращою областю інтегрування для цього переходу очевидно є сфера.
Приклад 4a. Область задана як Шаблон:Math (сфера із радіусом 4 і центром в початку координат); застосувавши перетворення отримаємо область
Детермінант якобіану для цього перетворення буде наступним:
Диференціали Шаблон:Mvar таким чином перетворюються на Шаблон:Math.
Це приводить до остаточної формули інтегрування:
Цей метод краще використовувати у випадках, коли область сферична і коли функцію можна легко спростити за допомогою першої тригонометричної тотожності узагальненої для Шаблон:Math (див. приклад 4b); в інших випадках більш вдалим може бути застосування циліндричних координат (див. приклад 4c).
Додаткові Шаблон:Math і Шаблон:Math взяті із Якобіана.
В наступних прикладах ролі Шаблон:Mvar і Шаблон:Mvar були замінені навпаки.
Приклад 4b. Шаблон:Mvar є такою ж областю як і в прикладі 4a, а Шаблон:Math є функцією що інтегрується. Її перетворення дуже просте:
ми знаємо інтервали перетвореної області Шаблон:Mvar із Шаблон:Mvar:
Таким чином застосовуємо формулу інтегрування:
і з цього ми отримаємо
Приклад 4c. Область Шаблон:Mvar це шар із центром в початку координат і радіусом Шаблон:Math,
а Шаблон:Math - функція інтегрування.
Зважаючи на область інтегрування, зручним має бути використати перехід в сферичну систему координат, на справді, інтервали нових змінних які обмежують нову область Шаблон:Mvar є очевидними:
Однак, застосувавши перетворення ми отримаємо
- .
Застосувавши формулу інтегрування, отримаємо:
що є дуже складним для розв'язку. Цю проблему спробуємо вирішити переходом у циліндричну систему координат. Нові інтервали для Шаблон:Mvar будуть наступними
інтервал Шаблон:Mvar було отримано за допомогою розділення кулі на дві напівсфери шляхом вирішення нерівності із формули для Шаблон:Mvar (і виконавши пряме перетворення Шаблон:Math у Шаблон:Math). Нова функція тоді буде простою Шаблон:Math. Застосовуючи формулу інтегрування
- .
Тоді ми отримаємо
Завдяки переходу в циліндричні координати стало можливим спростити потрійний інтеграл до простого інтеграла з однією змінною.
Приклади
Подвійний інтеграл по прямокутнику
Припустимо, що ми хочемо проінтегрувати функцію багатьох змінних Шаблон:Mvar по області Шаблон:Mvar:
З цього ми записуємо формулювання багатократного інтеграла
Внутрішній інтеграл застосовується першим, інтегруючи відносно змінної Шаблон:Mvar і приймаючи Шаблон:Mvar за константу, так ніби вона не є змінною інтегрування. Результат цього інтеграла, що є функцією яка залежить від лише від змінної Шаблон:Mvar, потім інтегрують по Шаблон:Mvar.
Тепер інтегруємо результат відносно Шаблон:Mvar.
Іноді, порядок інтегрування можна змінити місцями, тобто, інтегрування спочатку по x потім по y і навпаки дає однаковий результат. Наприклад, виконавши попередні розрахунки змінивши порядок навпаки приведе до того ж результату:
Умови при яких порядок можна змінювати визначає Теорема Фубіні.
Деякі практичні застосування
Як правило, як і для випадку з однією змінною, багатократний інтеграл можна використовувати для пошуку середнього значення функції в рамках заданої множини. Дана множина Шаблон:Math і інтегрована функція Шаблон:Mvar по Шаблон:Mvar, середнє значення функції Шаблон:Mvar по області задається наступним чином
де Шаблон:Math це міра для Шаблон:Mvar.
Крім того, багатократні інтеграли використовуються в багатьох задачах з фізики. Нижче наводяться приклади, які також показують деякі варіації в нотації.
В механіці, момент інерції розраховується як об'ємний інтеграл (потрійний інтеграл) густини зваженої як квадрат відстані від осі:
Гравітаційний потенціал, що пов'язаний із розподіленням маси, що задається мірою Бореля для маси Шаблон:Mvar в тривимірному евклідовому просторі Шаблон:Math буде задано як[5]
Якщо задана неперервна функція Шаблон:Math, що задає густину розподілення для Шаблон:Math, таким чином що Шаблон:Math, де Шаблон:Math є Евклідовим елементом об'єму, тоді гравітаційний потенціал дорівнює
В електромагнетизмі, Рівняння Максвелла для розрахунку загального магнітного і електричного полів можна записати із використанням багатократного інтеграла.[6] В наведеному прикладі, електричне поле, утворене через розподілення електричних зарядів задається за допомогою об'ємної густини заряду Шаблон:Math що розраховується за допомогою потрійного інтеграла векторної функції:
Це також можна записати як інтеграл, відповідно до мирі із врахуванням знаку, що буде задавати розподілення заряду.