Інтегра́л (від лат. integer — цілий) — узагальнення поняття суми нескінченного числа нескінченно малих доданків. Одне з найважливіших понять математичного аналізу, центральне поняття інтегрального числення, застосовується для розв'язання задач:

  • обчислення площі під кривою;
  • пройденого шляху за нерівномірного руху;
  • маси неоднорідного тіла, і таке інше;
  • відновлення функції за її похідною (невизначений інтеграл).
Інтеграл
Зображення
Досліджується в інтегральне числення
Нотація знак інтеграла
Підтримується Вікіпроєктом Вікіпедія:Проєкт:Математика
Команда TeX \int
CMNS: Інтеграл у Вікісховищі
Визначений інтеграл дорівнює площі криволінійної фігури, обмеженої кривою

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

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

Невизначений інтеграл ред.

Нехай дано функцію   — функцію дійсної змінної. Неви́значеним інтегра́лом функції  , або первісною, називають таку функцію  , похідна якої дорівнює  , тобто,  . Позначається це так:  . Слід зазначити, що первісна існує не для будь-якої функції. Легко бачити, що первісна існує для будь-якої неперервної функції. Оскільки похідні двох функцій, які відрізняються лише на сталу, збігаються, під час обчислення невизначеного інтеграла додають невизначену сталу  , наприклад

 

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

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

Інтегрування ред.

 
Що таке інтеграл (анімація)

Процес обчислення інтеграла називається інтегрува́нням. Ця дія, зазвичай використовується під час обчислення таких величин як площа, об'єм, маса, зсув тощо, коли задана швидкість або розподіл змін цієї величини до деякої іншої величини (розташування, час тощо).

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

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

Історія ред.

Інтеграл у давнину ред.

Інтеграція простежується ще в давньому Єгипті, приблизно в 1800 до н. е.. Першим відомим способом для розрахунку інтегралів, є метод вичерпування Евдокса (приблизно 370 до н. е.), який намагався обчислити площі та об'єми, розриваючи їх на нескінченну безліч частин, для яких площа або об'єм уже відомий. Цей метод був підхоплений і розвинутий Архімедом, і використовувався для розрахунку площ парабол і наближеного розрахунку площі круга. Подібні способи були розроблені незалежно, в Китаї в 3-му столітті н. е Лю Хуейєм, який використовував їх для обчислення площі круга. Цей метод був згодом використаний Цзу Чунчжи для розрахунку об'єму сфери.

Ньютон і Лейбніц ред.

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

Знак інтеграла (∫) був уперше використаний Ляйбніцом наприкінці XVII століття. Це позначення, утворилося з букви ſ («довга s») — скорочення слова лат. ſumma (summa, сума).

Формальні визначення ред.

Приклад інтеграла з нерівномирним розділенням (найбільша ділянка відмічена червоним)
Збіжність ріманової суми

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

Інтеграл Рімана ред.

Докладніше: Інтеграл Рімана

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

 

де   — будь-яка точка з відрізка.

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

 .

Інтеграл Рімана можна також визначити як границю сум Дарбу.

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

Властивості ред.

Лінійний функціонал ред.

На певній області визначення   інтеграл є лінійним функціоналом на просторі функцій:

 
 

тут   і   — функції,   — число.

Адитивність по області ред.

Якщо області   та   не перетинаються (або «перетинаються в точці»), інтеграл по об'єднаній області   є сумою інтегралів по   та  :

 

Монотонність ред.

Якщо   незростаюча послідовність (тобто  ) функцій, які збігаються до нуля для всіх   на області інтегрування, тоді  .

Нормованість ред.

Інтеграл сталої функції-константи   розраховується «як площа прямокутника»

 

де   — це «міра» області інтегрування, у простішому випадку просто довжина інтервалу, або ж «площа» області інтегрування.

Головна теорема інтегрального числення ред.

Якщо у функції   на відрізку   існує первісна  , то

 

Ця формула називається формулою Ньютона — Ляйбніца, або основною формулою інтегрального числення. Вона дає прикладний і зручний спосіб обчислення визначеного інтеграла за значеннями первісної на кінцях відрізка інтегрування. Багатовимірні інтеграли обчислюються за допомогою теореми про зведення кратних інтегралів до повторного.

Узагальнення визначеного інтеграла ред.

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

 
Інтеграл «першого роду» на необмеженій області визначення
 
Інтеграл «другого роду» від необмеженої функції

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

Невласним інтегралом «першого роду»   називається границя  , якщо вона існує.

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

Кратний інтеграл ред.

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

Кратний інтеграл або ж багатократний інтеграл степеня n, це визначений інтеграл по n змінних з функції n змінних:

 .

Кратний інтеграл — це саме визначений інтеграл, під час його обчислення завжди виходить число.

Окремі випадки багатократного інтеграла це:

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

Головним методом для розрахунку кратного інтеграла є зведення кратного інтеграла до повторних.

Хай   — вимірна множина,   — також вимірна множина,   визначена й інтегрована на  . Тоді

 .

Будь-який d-вимірний інтеграл можна звести до d одномірних.

Лінійний інтеграл ред.

Докладніше: Лінійний інтеграл

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

Ширші узагальнення ред.

Інтеграл Лебега ред.

Докладніше: Інтеграл Лебега

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

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

Як узвичаєний приклад, розглянемо функцію Діріхле  , задану на  , де   — борелівська σ-алгебра на  , а   — міра Лебега. Ця функція прибирає значення   в раціональних точках і   в ірраціональних. Легко побачити, що   не інтегровна в сенсі Рімана. Однак, вона є простою функцією на просторі зі скінченною мірою, бо приймає тільки два значення, а тому її інтеграл Лебега визначений і дорівнює:

 

Дійсно, міра відрізка   дорівнює 1, і оскільки множина раціональних чисел зліченна, то його міра дорівнює 0, отже міра ірраціональних чисел дорівнює  .

Інтеграл Даніелла ред.

Докладніше: Інтеграл Даніелла

Одне з основних ускладнень у використанні відомого інтеграла Лебега полягає в тому, що його застосування вимагає попередньої розробки відповідної теорії міри.

Існує інший підхід, викладений Даніеллем у 1918 році в його статті «Загальний вигляд інтеграла» («Annals of Mathematics», 19, 279), що не має цього недоліку і що має значні переваги під час узагальнення на простори вищих розмірностей і подальших узагальненнях (наприклад, у формі інтеграла Стілтьєса).

Основний задум полягає в аксіоматизуванні поняття інтеграла. Розглянемо сімейство   обмежених дійснозначних функцій (названих елементарними функціями), визначених на множині  , що задовольняє таким аксіомам:

1.   — лінійний простір зі звичайними операціями додавання і скалярного множення.

2.  : якщо функція належить  , то її модуль також належить  

Крім того, на просторі елементарних функцій визначається додатно визначений неперервний лінійний функціонал  , названий елементарним інтегралом.

  1. Лінійність: якщо h і k обидва належать H, і  ,   — довільні дійсні числа, тоді  .
  2. Невід'ємність: якщо  , тоді  .
  3. Неперервність: якщо   незростаюча послідовність (тобто  ) функцій з  , які збігаються до нуля для всіх   в  , тоді  .

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

Див. також ред.

Джерела ред.