Обчислення

Що таке обчислення?

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

Обчислення незалежно було розвинуто у 17 столітті Ісааком Ньютоном (який назвав його «методом потоків») та Готфридом Вільгельмом Лейбніцем (який ввів символ ∫ і позначення dy/dx). Суперечка щодо пріоритету між їх послідовниками була гострою, але обидві формулювання еквівалентні; сьогодні ми майже універсально використовуємо нотацію Лейбніца.

🔑 Два фундаментальні проблеми обчислення

Задача про дотичну: задано криву, знайти нахил дотичної лінії до неї в будь-якій точці – диференціальне обчислення.

Задача з площею: задано криву, знайти площу, обмежену між кривою та віссю x – інтегральне обчислення.

Основна теорема обчислення розкриває, що ці дві задачі є взаємно оберненими.

Обмеження та безперервність

Вся́ математи́чна ре́курсія основа́на на понятті межі. Неформально, "межа функції f(x) при x, що прямує до a, дорівнює L" означає, що f(x) може бути зроблена достатньо близькою до L шляхом вибору x достатньо близького до a (але не рівного a).

Формальне означення епсилон-дельта: для будь-якого ε > 0 існує δ > 0 таке, що якщо 0 < |x - a| < δ, то |f(x) - L| < ε. Це суворе визначення, розроблене Вейерштейном, заклало міцний логічний фундамент для математи́чного аналізу в 19 сторіччі.

Закони ме́ж та правило Лопіталя

Стандартні закони ме́ж дозволяють алгебраїчні маніпуляції: межа суми/добутку/частки дорівнює сумі/добутку/частці ме́ж (за умови, що межа знаменника ≠ 0). Правило Лопіталя обробляє невизначені форми (0/0 або ∞/∞) шляхом окремого диференціювання чисельника та знаменника:

Безперервність: функція є безперервною в точці x = a, якщо вона визначена там, межа існує і межа дорівнює значенню функції. Теорема про інтервальне значення (ТІВ) стверджує, що безперервна функція на [a, b] приймає кожне значення між f(a) та f(b) — важливий інструмент для доведення існування коренів.

lim[x→a] f(x) = L

Диференціальний обчислення

Похідна — Визначення

Похідна f'(x) вимірює миттєву швидкість зміни f при x. Вона визначається як ліміт різниці лінійних членів:

Геометрично, f'(a) є нахилом дотичної лінії до графіка функції f у точці (a, f(a)). Похідна існує (функція є «диференційованою») лише тоді, коли існує цей ліміт і функція достатньо гладка.

Правила диференціювання

Застосування похідних

Оптимізація: в точці локального максимуму або мінімуму f'(x) = 0 (критична точка). Друга похідна використовується для розрізнення максимумів (f'' > 0). Використовується в інженерному проектуванні, економіці (максимізація прибутку) та машинному навчанні (градієнтний спуск мінімізує функції втрат).

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

Лінійне наближення: f(x) ≈ f(a) + f'(a)(x − a) поблизу x = a. Це наближення дотичною лінією підтверджує чисельні методи, такі як метод Ньютона для знаходження коренів.

f'(x) = lim[h→0] [f(x+h) - f(x)] / h

Нескінченний інтеграл

Невизначений інтеграл (антидиференціал)

Невизначений інтеграл є оберненим диференціюванню. Якщо F'(x) = f(x), то F є антидиференціалом f:

Основні антидиференціали: ∫xⁿ dx = xⁿ⁺¹/(n+1) + C (n ≠ −1); ∫eˣ dx = eˣ + C; ∫(1/x) dx = ln|x| + C; ∫sin x dx = −cos x + C.

Визначений інтеграл (інтеграл Рімана)

Визначений інтеграл ∫[a→b] f(x)dx обчислює підписану площу між кривою y = f(x) та віссю x від a до b. Він визначається як межа сум Рімана: розбити інтервал [a, b] на n підінтервалів шириною Δx, оцінити f у точках вибірки, сумувати прямокутники і взяти n → ∞:

Основна теорема обчислення

ЦТЗ є вершиною каменя галяви в обчисленні, що об'єднує диференціювання та інтегрування. Вона має дві частини:

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

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

Заміна змінної (u-підстановка)

Зворотне правило ланцюга. Нехай u = g(x), du = g'(x)dx, перетворіть інтеграл на ∫f(u)du. Найкраще, коли інтегрований вираз містить функцію та її похідну.

Інтегрування частинами

Зворотне правило добутку: ∫u dv = u·v − ∫v du. Виберіть u = пріоритет «LIATE» (Логарифмічний, Обернений тригонометричний, Алгебраїчний, Тригонометричний, Експоненційний). Найкраще, коли вираз є добутком різних типів.

Розкладання на частини

Розкладіть раціональні функції на простіші дроби перед інтегруванням. Наприклад, 1/(x²−1) = ½·[1/(x−1) − 1/(x+1)], потім інтегруйте кожен член як ln.

Тригонометрична підстановка

Для виразів, що містять √(a²−x²), √(a²+x²) або √(x²−a²), підставте x = a·sinθ, a·tanθ або a·secθ, щоб усунути квадратний корінь.

∫f(x) dx = F(x) + C (C = arbitrary constant of integration)

Серії Тейлора та Маклауріна

Багато функцій можуть бути виражені у вигляді нескінченних степенів. Серія Тейлора функції f, віднесена до нуля, з центром в x = a має вигляд:

Коли a = 0, це називається серією Маклауріна. Відомі приклади:

Серії Тейлора використовуються в чисельній аналітиці, фізиці (для наближеного обчислення потенціалів), теорії інформації та теорії ймовірностей. Ідентичність Ейлера e^(iπ) + 1 = 0 безпосередньо випливає з комплексної експоненціальної серії.

f(x) = Σ[n=0 to ∞] f⁽ⁿ⁾(a)/n! · (x−a)ⁿ

Багатозмінний обчислення

Для функцій багатьох змінних f(x, y, z, ...), обчислення узагальнюється природним чином:

Часткові похідні: ∂f/∂x диференціюються відносно x, вважаючи y, z постійними. Вони вимірюють швидкість зміни вздовж одного ося.

Градиент (∇f): вектор усіх часткових похідних, вказує напрямок найшвидшого зростання. |∇f| є максимальною швидкістю зміни. Градиент лежить в основі алгоритму градієнтного спуску у машинному навчанні.

Дивергенція та Ротор: для векторних полів — дивергенція (∇·F) вимірює силу джерела/стоку; ротор (∇×F) вимірює обертання. Використовуються в електромагнетизмі (рівняння Максвелла) та гідродинаміці (Рівняння Нав'є-Стокса).

Множинні інтеграли: ∬ і ∭ розширюють обчислення площі/об’єму до 2D та 3D областей. Зміна змінних (Якобіан) спрощує обчислення в полярних, циліндричних та сферичних координатах.

Теорема Стокса та теорема Гаусса: елегантні узагальнення FTC II для вищих розмірностей, фундаментальні в фізиці.

Застосування в науці та інженерії

Фізика: вся класична механіка, електромагнетизм, термодинаміка та квантова механіка написані мовою обчислення. Другий закон Ньютона F = ma є диференціальним рівнянням. Рівняння Максвела – це векторні часткові похідні порядку другого. Рівняння Шредінгера – це часткова похідна порядку другого.

Інженерія: системи керування (PID-регулятори), обробка сигналів (перетворення Фур'є та Лапласа), аналіз електричних кіл (диференціальні рівняння для струму/напруги), механіка твердого тіла (рівняння еластичності).

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

Машинне навчання: градієнтний спуск мінімізує функцію втрат шляхом повторних кроків у напрямку від’ємного градієнта: θ ← θ − α·∇L(θ). Зворотне поширення помилки – це правило ланцюга, застосоване рекурсивно через граф обчислень нейронної мережі.

Спробуйте онлайн

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

Спробуйте наживо

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