Диференціал (математика)

Вибрані статті із
Числення
Фундаментальна теорема Границя функції Неперервність Теорема Лагранжа Теорема Ролля Теорема про обернену функцію
Диференціальне Визначення Похідна (Таблиця похідних) Диференціал Поняття Нотація Друга похідна Третя похідна Підстановка змінних Неявна функція Теорема Тейлора Правила та тотожності Сума Добуток Частка Степінь Складена функція Обернена функція Формула Фаа ді Бруно
Інтегральне Таблиця інтегралів Визначення Первісна Інтеграл (невласний Рімана Лебега Стілтьєса Даніелла) Інтегрування частинами дисками Методи інтегрування
Рядів Геометричні (Арифметично-геометричні) Гармонічні Знакопереміжні Степеневі Біноміальні Тейлора Ознаки збіжності Ліміт сумування д'Аламбера Радикальна Інтегральна Теорема Лейбніца Діріхле Абеля
Векторів Градієнт Дивергенція Ротор Оператор Лапласа Похідна за напрямком Формули Теореми Градієнтна Гріна Остроградського Стокса
Багатьох змінних Формалізми Матриці Тензорний Зовнішня похідна Визначення Часткова похідна Багатократний інтеграл Криволінійний інтеграл Поверхневий інтеграл Якобіан Матриця Гессе
Спеціалізоване Дробове Стохастичне Варіаційне
інше Історія Математичний аналіз Нестандартний аналіз

Приріст та лінійна частина приросту функції однієї змінної

Диференціал в математиці — головна, лінійна відносно приросту аргументу, частина приросту функції або відображення. В математичному аналізі диференціал традиційно вважається нескінченно малим приростом змінної. Наприклад, якщо x — змінна, тоді приріст значення x часто позначається Δx (чи δx, якщо цей приріст малий). Диференціал dx також є таким приростом, але нескінченно малим. Варто зазначити, що таке визначення не є математично строгим, але воно зручне для розуміння, також існує багато способів зробити визначення математично точнішим.

Головна властивість диференціалу: якщо y функція від x, тоді диференціал dy від y пов'язаний з dx формулою:

$\mathrm {d} y={\frac {\mathrm {d} y}{\mathrm {d} x}}\,\mathrm {d} x,$

де dy/dx позначає похідну від y по змінній x. Ця формула підсумовує інтуїтивне твердження, що похідна y по змінній x це границя відношення приростів Δy/Δx де Δx прямує до нуля.

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

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

Історія і використання

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

В позначенні Лейбніца, якщо x — змінне число тоді dx позначає нескінченно малий приріст змінної x. Таким чином, якщо y функція від x, тоді похідна y по змінній x часто позначається ${\frac {\mathrm {d} y}{\mathrm {d} x}}$, що також може бути записано (позначення Ньютона чи Лагранжа) ${\dot {y}}(x)$ чи $y'(x)$. Використання диференціалів в такій формі спровокувало багато критики, наприклад знаменитий памфлет The Analyst єпископа Берклі. В будь-якому разі таке позначення залишилось популярним, тому що воно наочно відображає принцип, що похідна функції y(x) дорівнює нахилу функції в точці, що можна отримати, якщо обчислити границю відношення ${\frac {\Delta \,y}{\Delta \,x}}$ приросту y в залежності від приросту x, якщо приріст x прямує до нуля. Диференціали також застосовують в аналізі розмірності, де диференціал наприклад dx маю таку саму розмірність як і змінна x.

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

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

$\int f(x)\,{\mathrm {d} }x,$

знак інтеграла (витягнуте s) означає нескінченну суму, f(x) позначає 'висоту' тонкої стрічки, а диференціал dx позначає нескінченно тонку ширину.

Формальні означення

Об'єм куба - функція від довжини його сторони, $V=x^{3}.$ За рахунок лінійного термічного розширення сторони куба збільшуються, а тому збільшується і його об'єм. Якщо довжина сторони куба мала значення $x$ і збільшилася на $h,$ то вона прийме значення $x+h$ і об'єм куба стане рівним $(x+h)^{3}.$ Величина, на яку збільшиться його об'єм, буде складати $(x+h)^{3}-x^{3}.$ Цю різницю називають прирощенням об'єму куба, а число $h$, яке показує, на скільки збільшилася довжина сторони куба, називається прирощенням його довжини. У математиці прирощення якої-небудь величини позначається $\Delta x,$ де $\Delta$ - велика грецька літера "дельта", яка нагадує про латинське слово differentia - "різниця".

Якщо функція $y=f(x)$ зростає на відрізку $[a;\,b],$ то на цьому відрізку знаки $\Delta y$ та $\Delta x$ співпадають - при збільшенні $x$ збільшується й $y,$ а при зменшенні $x$ зменшується й $y$ (графік ліворуч на малюнку). Якщо ж функція $y=f(x)$ спадає на цьому відрізку, то у будь-якій його точці знаки $\Delta x$ та $\Delta y$ протилежні.

Якщо $y=f(x)$ - деяка функція й $x$ прирощується, $\Delta x,$ то змінюється й значення функції, в результаті чого вона отримує деяке прирощення $\Delta y.$ Щоб обчислити це прирощення, необхідно:

• знайти значення функції при початковому значенні аргумента, тобто $y=f(x)$;
• знайти нове значення аргумента, тобто $x+\Delta x$;
• знайти нове значення функції, тобто $f(x+\Delta x)$;
• з нового значення функції відняти початкове її значення,тобто $\Delta y=f(x+\Delta x)-f(x).$

Наприклад, прирощення функції $y=x^{3}$ має вигляд $\Delta y=3x^{2}\Delta x+3x\Delta x^{2}+\Delta x^{3};$ це прирощення можна записати наступним чином: $\Delta y=3x^{2}\Delta x+(3x\Delta x+\Delta x^{2})\Delta x.$ Воно складається з двох доданків $3x^{2}\Delta x$ та $[3x\Delta x+(\Delta x)^{2}]\Delta x.$ Перший доданок пропорційний прирощенню аргументу $\Delta x.$ Другий доданок складніший, залежить від $\Delta x.$ Але за малих $\Delta x$ він набагато менший, ніж $3x^{2}\Delta x,$ тому що є добутком $\Delta x$ на вираз $3x\Delta x+(\Delta x)^{2},$ який прямує до нуля за $\Delta x\to 0.$

$x=1$

$\Delta x$	$\Delta y$	$3x^{2}\Delta x$	$[3x\Delta x+(\Delta x)^{2}]\Delta x$
0,1	0,331	0,3	0,031
0,01	0,030301	0,03	0,000301
0,001	0,003003001	0,003	0,000003001

Таким чином, доданок $3x^{2}\Delta x$, який є пропорційним $\Delta x$, за малих значень $\Delta x$ є головною частиною прирощення функції. Такий доданок називається диференціалом й позначається $dy=3x^{2}\Delta x.$ Він залежить не лише від $\Delta x$, але й від $x.$ Наприклад, для функції $y=x^{3}$ при $x=1$ та $\Delta x=0,1$ він дорівнює $dy=1,2.$ У випадку $\Delta x=0,01$ та $x=1$ диференціал $dy=0,03.$

Диференціал функції $S=x^{2}.$

Прирощення функції $y=x^{2}$ має вигляд $\Delta y=(x+\Delta x)^{2}-x^{2}=2x\Delta x+(\Delta x)^{2}.$ Доданком, пропорційним $\Delta x,$ є $2x\Delta x.$ Цей доданок і є диференціалом заданої функції: $dy=2x\Delta x=2x\,dx.$ Формула для диференціалу $y=x^{2}$ має простий геометричний сенс. Оскільки $S=x^{2}$ - площина квадрата, сторона якого має довжину $x,$ то $\Delta S$ - площина фігури, на яку її площа збільшується. Зрозуміло, що за малих $\Delta x$ головну частину цієї площини складає площина двох прямокутників, яка дорівнює $2x\Delta x,$ тобто диференціалу функції $S=x^{2}.$ Вираз $(\Delta x)^{2}$ - площина квадратика, яка нескінченно мала у порівнянні із $\Delta x.$

Випадок однієї змінної

Нехай в околі точки $x_{0}$ задана функція $f(x):X\rightarrow Y$.

нехай існує таке $A$, що $f(x)-f(x_{0})=A(x-x_{0})+o(x-x_{0})$ при $x\rightarrow x_{0}$.

Позначимо $x-x_{0}=dx$.

Тоді функція $df=Adx$ називається диференціалом функції $f(x)$ в точці $x_{0}$.

Випадок багатьох змінних

Приклад 1. Нехай в околі точки ${\overrightarrow {x_{0}}}=\{x_{0}^{1},x_{0}^{2},...,x_{0}^{n}\}$ задана функція багатьох змінних $f({\overrightarrow {x}}):X\rightarrow Y$.

Нехай існує такий вектор ${\overrightarrow {A}}=\{A^{1},A^{2},...,A^{n}\}$, що $f({\overrightarrow {x}})-f({\overrightarrow {x_{0}}})={\overrightarrow {A}}({\overrightarrow {x}}-{\overrightarrow {x_{0}}})+o({\overrightarrow {x}}-{\overrightarrow {x_{0}}})$ при ${\overrightarrow {x}}\rightarrow {\overrightarrow {x_{0}}}$, де добуток векторів є скалярним добутком.

Позначимо ${\overrightarrow {x}}-{\overrightarrow {x_{0}}}={\overrightarrow {dx}}=\{{dx}^{1},{dx}^{2},...,{dx}^{n}\}$.

Тоді функція $df={\overrightarrow {A}}{\overrightarrow {dx}}$ називатиметься диференціалом функції $f({\overrightarrow {x}})$ в точці ${\overrightarrow {x_{0}}}$.

Приклад 2. Тепер нехай $\Delta f=f(x_{1}+\Delta x_{1},x_{2}+\Delta x_{2},...,x_{n}+\Delta x_{n})-f(x_{1},x_{2},...,x_{n}),$ приріст функції $f(x_{1},x_{2},...,x_{n}).$ Неперервність частинних похідних ${\frac {\partial f}{\partial x_{i}}}$ є умовою, достатньою для існування диференціалу. У цьому випадку

$\Delta f=\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}\Delta x_{i}+R_{1},$

де $R$ нескінченно мале у порівнянні із ${\sqrt {\Delta x_{1}^{2}+\Delta x_{2}^{2}+...+\Delta x_{n}^{2}}}.$ Вираз $df=\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}\Delta x_{i}$ є диференціалом функції багатьох змінних.

Відображення між евклідовими просторами

Диференціал відображення - головна, лінійна відносно приросту аргументу, частина відображеня, яка задається деякою матрицею. Також поняття диференціала можна ввести для відображення між евклідовими просторами ƒ Rⁿ → R^m. Нехай x,Δx ∈ Rⁿ — два вектори в просторі Rⁿ. Зміна значення функції ƒ при зміні аргументу на Δx рівна:

$\Delta f=f(\mathbf {x} +\Delta \mathbf {x} )-f(\mathbf {x} ).$

Якщо існує m × n матриця A для якої

$\Delta f=A\Delta \mathbf {x} +\|\Delta \mathbf {x} \|{\boldsymbol {\varepsilon }}$

де вектор ε → 0 при Δx → 0, тоді ƒ називається диференційовною в точці x. Матриця A називається матрицею Якобі, а лінійне перетворення, що ставить у відповідності вектору Δx ∈ Rⁿ вектор AΔx ∈ R^m називається диференціалом dƒ(x) відображення ƒ в точці x.

Відображення між многовидами

Диференціал в точці $x\in M$ гладкого відображення із гладкого многовиду в многовид $F\colon M\to N$ визначається як лінійне відображення між дотичними просторами в точках $x\in M$ і $F(x)\in N,$ тобто $dF\colon T_{x}M\to T_{F(x)}N,$ таке що для довільної гладкої в точці F(x) функції $g\colon N\to \mathbb {R}$ виконується рівність:

$dF(X)g=X(g\circ F),\quad \forall X\in T_{x}M.$

Джерела

• Завало С. Т. (1972). Елементи аналізу. Алгебра многочленів. Київ: Радянська школа. с. 462. (укр.)
• Диференціал функції // Вища математика в прикладах і задачах / Клепко В.Ю., Голець В.Л.. — 2-ге видання. — К. : Центр учбової літератури, 2009. — С. 266. — 594 с.
• Григорій Михайлович Фіхтенгольц. Курс диференціального та інтегрального числення. — 2023. — 1900+ с.(укр.)