Неявна функція

У математиці неявне рівняння — це співвідношення^[en] вигляду

R(x_{1},\dots ,x_{n})=0,

де $R$ — функція кількох змінних (часто многочлен).

Неявна функція — це функція, яка визначається неявним рівнянням, яке пов'язує одну зі змінних, що розглядається як значення^[en] функції, з іншими, які розглядаються як аргументи.^[1]^:204–206

Наприклад, рівняння одиничного кола

x^{2}+y^{2}-1=0

визначає змінну $y$ як неявну функцію змінної $x$ , якщо $-1\leq x\leq 1$ , і обмежує $y$ невід'ємними значеннями.

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

Приклади ред.

Обернені функції ред.

Поширеним типом неявної функції є обернена функція. Не всі функції мають єдину обернену функцію. Якщо $g$ є функцією змінної $x$ , яка має єдину обернену, тоді функція обернена до функції $g$ , яку позначають $g^{-1}$ , є єдиною функцією, що є розв'язком рівняння

y=g(x)

для змінної $x$ у термінах змінної $y$ . Цей розв'язок можна записати як

x=g^{-1}(y).

Визначення функції $g^{-1}$ як оберненої до функції $g$ є неявним означенням. Для деяких функцій $g$ , функцію $g^{-1}(y)$ можна явно записати як співвідношення у замкненій формі. Наприклад, якщо $g(x)=2x-1$ , то $g^{-1}(y)={\dfrac {1}{2}}(y+1)$ . Однак це часто неможливо або можливо лише шляхом введення нового позначення (як для $W$ -функції Ламберта нижче).

Інтуїтивно, обернену функцію можна отримати з функції $g$ , коли поміняти місцями залежну та незалежну змінні.

Приклад: $W$ -функція Ламберта є неявною функцією, що задає розв'язок рівняння $y-x{\rm {e}}^{x}=0$ .

Алгебрична функція ред.

Основна стаття: алгебрична функція

Алгебрична функція — це функція, яка задовольняє поліноміальне рівняння, коефіцієнти якого самі є многочленами. Наприклад, алгебрична функція для одної змінної $x$ є розв'язком для $y$ рівняння

a_{n}(x)y^{n}+a_{n-1}(x)y^{n-1}+\cdots +a_{0}(x)=0,

де коефіцієнти $a_{i}(x)$ є поліноміальними функціями змінної $x$ . Цю алгебричну функцію можна записати як праву частину для розв'язку рівняння $y=f(x)$ . Якщо функцію записати таким чином, то $f$ є багатозначною неявною функцією.

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

x^{2}+y^{2}-1=0.

Розв'язавши відносно $y$ , отримуємо явний розв'язок рівняння

y=\pm {\sqrt {1-x^{2}}}.

Але навіть не вказуючи цей явний розв'язок, можна посилатися на неявний розв'язок рівняння одиничного кола як $y=f(x)$ , де $f$ — багатозначна неявна функція.

Хоча явні розв'язки можна знайти для рівнянь другого, третього та четвертого степенів відносно змінної $y$ , але це у загальному випадку не справедливо для рівнянь п'ятого і вище степенів таких як

y^{5}+2y^{4}-7y^{3}+3y^{2}-6y-x=0.

Тим не менш, все ще можна посилатися на неявний розв'язок $y=f(x)$ , що включає багатозначну неявну функцію $f$ .

Застереження ред.

Не кожне рівняння $R(x,y)=0$ визначає графік однозначної функції, одним із яскравих прикладів є рівняння кола. Іншим прикладом є неявна функція, що задається рівнянням $x-C(y)=0$ , де $C$ — кубічний многочлен, і яка на своєму графіку має "горб". Таким чином, щоб неявна функція була справжньою (однозначною) функцією, може знадобитися використання лише частини графіка. Неявну функцію іноді можна успішно визначити як справжню функцію лише після "збільшення масштабу" певної частини осі $x$ і "відрізання" деяких небажаних гілок функції. Тоді можна записати рівняння, що виражає $y$ як неявну функцію інших змінних.

Визначальне рівняння $R(x,y)=0$ також може мати інші патології. Наприклад, рівняння $x=0$ взагалі не визначає функцію $f(x)$ , що дає розв'язки для всіх $y$ ; це вертикальна лінія. Щоб уникнути подібної проблеми, часто накладаються різні обмеження на допустимі види рівнянь, або на область визначення. Теорема про неявну функцію забезпечує універсальний спосіб обробки подібних патологій.

Диференціювання неявної функції ред.

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

Щоб продиференціювати неявну функцію $y(x)$ , яка задана рівнянням $R(x,y)=0$ , у загальному випадку неможливо розв'язати її явно відносно $y$ , а потім провести диференціювання. Замість цього можна знайти повну похідну виразу $R(x,y)=0$ відносно змінних $x$ та $y$ , а потім розв'язати отримане лінійне рівняння відносно $\displaystyle {\frac {{\rm {d}}y}{{\rm {d}}x}}$ , щоб отримати похідну у явному вигляді у термінах змінних $x$ та $y$ . Навіть, якщо можна явно розв'язати початкове рівняння, то формула, отримана в результаті повного диференціювання, загалом набагато простіша і зручніша у використанні.

Приклади ред.

Приклад 1 ред.

Розглянемо

y+x+5=0.

Це рівняння легко розв'язати відносно $y$ :

y=-x-5,

де права частина — явний вигляд функції $y(x)$ . Після диференціювання отримаємо

{\frac {{\rm {d}}y}{{\rm {d}}x}}=-1.

З іншої сторони можна обчислити повну похідну для початкового рівняння

{\begin{aligned}&{\frac {{\rm {d}}y}{{\rm {d}}x}}+{\frac {{\rm {d}}x}{{\rm {d}}x}}+{\frac {\rm {d}}{{\rm {d}}x}}(5)=0,\\&{\frac {{\rm {d}}y}{{\rm {d}}x}}+1+0=0.\end{aligned}}

Розв'язавши відносно $\displaystyle {\frac {{\rm {d}}y}{{\rm {d}}x}}$ , отримаємо

{\frac {{\rm {d}}y}{{\rm {d}}x}}=-1,

така ж відповідь, що й отримали раніше.

Приклад 2 ред.

Прикладом неявної функції для якої неявне диференціювання простіше ніж використання явного диференціювання є функція $y(x)$ , яка визначена рівнянням

x^{4}+2y^{2}=8.

Для того, щоб продиференціювати явно відносно $x$ , треба спочатку знайти

y(x)=\pm {\sqrt {\frac {8-x^{4}}{2}}},

а потім продиференціювати цю функцію. Звідси отримаємо дві похідні: одну для $y\geq 0$ та іншу для $y\leq 0$ .

Суттєво простіше неявне диференціювання початкового рівняння:

4x^{3}+4y{\frac {{\rm {d}}y}{{\rm {d}}x}}=0.

Отже,

{\frac {{\rm {d}}y}{{\rm {d}}x}}={\frac {-4x^{3}}{4y}}=-{\frac {x^{3}}{y}}.

Приклад 3 ред.

Часто важко або неможливо розв'язати початкове рівняння відносно $y$ , а неявне диференціювання є єдиним можливим методом диференціювання. Прикладом є рівняння

y^{5}-y=x.

Неможливо явно алгебраїчно виразити $y$ як функцію від змінної $x$ , а тому неможливо знайти $\displaystyle {\frac {{\rm {d}}y}{{\rm {d}}x}}$ шляхом явного диференціювання. Використовуючи неявний метод, $\displaystyle {\frac {{\rm {d}}y}{{\rm {d}}x}}$ можна отримати шляхом диференціювання початкового рівняння:

5y^{4}{\frac {{\rm {d}}y}{{\rm {d}}x}}-{\frac {{\rm {d}}y}{{\rm {d}}x}}={\frac {{\rm {d}}x}{{\rm {d}}x}},

де $\displaystyle {\frac {{\rm {d}}x}{{\rm {d}}x}}=1$ . Після того як винесемо за дужки $\displaystyle {\frac {{\rm {d}}y}{{\rm {d}}x}}$ отримаємо рівняння виду

\left(5y^{4}-1\right){\frac {{\rm {d}}y}{{\rm {d}}x}}=1,

яке у результаті дає

{\frac {{\rm {d}}y}{{\rm {d}}x}}={\frac {1}{5y^{4}-1}}

і є визначеним для

y\neq \pm {\frac {1}{\sqrt[{4}]{5}}}\quad {\text{і}}\quad y\neq \pm {\frac {\rm {i}}{\sqrt[{4}]{5}}}.

Загальна формула для похідної неявної функції ред.

Якщо $R(x,y)=0$ , то похідна неявної функції $y(x)$ визначається як^[2]^:§11.5

{\frac {{\rm {d}}y}{{\rm {d}}x}}=-{\frac {\dfrac {\partial R}{\partial x}}{\dfrac {\partial R}{\partial y}}}=-{\frac {R_{x}}{R_{y}}},

де $R_{x}$ і $R_{y}$ — частинні похідні функції $R$ відносно змінних $x$ і $y$ .

Наведена вище формула отримується після застосування узагальненого ланцюгового правила для знаходження повної похідної відносно змінної $x$ до обох частин рівняння $R(x,y)=0$ :

{\frac {\partial R}{\partial x}}{\frac {{\rm {d}}x}{{\rm {d}}x}}+{\frac {\partial R}{\partial y}}{\frac {{\rm {d}}y}{{\rm {d}}x}}=0.

Отже,

{\frac {\partial R}{\partial x}}+{\frac {\partial R}{\partial y}}{\frac {{\rm {d}}y}{{\rm {d}}x}}=0,

і після розв'язування відносно $\displaystyle {\frac {{\rm {d}}y}{{\rm {d}}x}}$ отримуємо потрібну формулу.

Теорема про неявну функцію ред.

Основна стаття: Теорема про неявну функцію

Нехай $R(x,y)$ — диференційовна функція двох змінних, $(a,b)$ — пара дійсних чисел таких, що $R(a,b)=0$ . Якщо $\displaystyle {\frac {\partial R}{\partial y}}\neq 0$ , то умова $R(x,y)=0$ визначає неявну функцію, яка диференційовна в достатньо малому околі точки $(a,b)$ . Іншими словами, існує диференційовна функція $f$ , яка визначена і диференційовна в деякому околі точки $a$ , така, що $R(x,f(x))=0$ для значень $x$ з цього околу.

Умова $\displaystyle {\frac {\partial R}{\partial y}}\neq 0$ означає, що $(a,b)$ є регулярною точкою неявної кривої, що задається неявним рівнянням $R(x,y)=0$ , для якої дотична не є вертикальною.

На менш технічній мові, неявні функції існують і можуть бути диференційовні, якщо крива не має вертикальної дотичної.^[2]^:§11.5

В алгебричній геометрії ред.

Розглянемо співвідношення^[en] виду $R(x_{1},\dots ,x_{n})=0$ , де $R$ — многочлен багатьох змінних. Множина значень змінних, які задовольняють це співвідношення, називається неявною кривою у випадку, коли $n=2$ і неявною поверхнею у випадку, коли $n=3$ . Неявні рівняння є основою алгебричної геометрії, основним предметом вивчення якої є сумісні розв'язки кількох неявних рівнянь, ліві частини яких є многочленами. Такі множини сумісних розв'язків називаються афінними алгебраїчними множинами^[en].

У диференціальних рівняннях ред.

Розв'язки диференціальних рівнянь зазвичай задаються за допомогою неявних функцій.^[3]

Застосування в економіці ред.

Гранична норма заміщення ред.

В економіці, коли множина рівня умови $R(x,y)=0$ є кривою байдужості для величин $x$ і $y$ двох товарів, що споживаються, абсолютне значення неявної похідної $\displaystyle {\frac {{\rm {d}}y}{{\rm {d}}x}}$ інтерпретується як гранична норма заміщення двох товарів: скільки більше потрібно отримати товару $y$ , щоб бути байдужим до втрати однієї одиниці товару $x$ .

Гранична норма технічного заміщення ред.

Аналогічно, іноді множина рівнів $R(L,K)$ є ізоквантою, що показує різні комбінації використаних величин праці $L$ і реального капіталу $K$ , кожна з яких призведе до виробництва однієї і тієї ж заданої кількості продукції певного товару. У цьому випадку абсолютне значення неявної похідної $\displaystyle {\frac {{\rm {d}}K}{{\rm {d}}L}}$ трактується як гранична норма технічного заміщення^[en] між двома факторами виробництва: на скільки більше капіталу фірма повинна використовувати для виробництва, щоб виробити такий самий об'єм продукції з меншими витратами на одну одиницю праці.

Оптимізація ред.

Основна стаття: Математична економіка § Математична оптимізація

Часто в економічній теорії, деякі функції, такі як функція корисності або функція прибутку, повинні бути максимізовані відносно вектора вибору $x$ , навіть, якщо об'єктивна функція не обмежена будь-якою конкретною функціональною формою. Теорема про неявну функцію гарантує, що умови оптимізації першого порядку^[en] визначають неявну функцію для кожного елемента оптимального вектора $x^{\ast }$ заданого вектора вибору $x$ . Коли максимізується прибуток, то як правило отримані неявні функції є функцією попиту на працю^[en] та функціями пропозиції^[en] різних товарів. Коли максимізується корисність, то зазвичай отримані неявні функції є функцією пропозиції праці^[en] та функціями попиту на різні товари.

При цьому вплив параметрів задачі на $x^{\ast }$ — частинні похідні від неявної функції — можна виразити через повні похідні системи умов першого порядку, що знаходяться за допомогою повного диференціювання.

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

Примітки ред.

↑ Chiang, Alpha C. (1984). Fundamental Methods of Mathematical Economics (вид. Third). New York: McGraw-Hill. ISBN 0-07-010813-7.
↑ ^а ^б Stewart, James (1998). Calculus Concepts And Contexts. Brooks/Cole Publishing Company. ISBN 0-534-34330-9.
↑ Kaplan, Wilfred (2003). Advanced Calculus. Boston: Addison-Wesley. ISBN 0-201-79937-5.

Додаткова література ред.

Binmore, K. G. (1983). Implicit Functions. Calculus. New York: Cambridge University Press. с. 198—211. ISBN 0-521-28952-1.
Rudin, Walter (1976). Principles of Mathematical Analysis Boston: McGraw-Hill. рр. 223-228. ISBN 0-07-054235-X.
Simon, Carl P.; Blume, Lawrence (1994). Implicit Functions and Their Derivatives. Mathematics for Economists. New York: W. W. Norton. с. 334—371. ISBN 0-393-95733-0.

Зовнішні посилання ред.

Archived at Ghostarchive and the Wayback Machine: Implicit Differentiation, What's Going on Here?. 3Blue1Brown. Essence of Calculus. 3 травня 2017 — через YouTube.

[Chiang-1] Chiang, Alpha C. (1984). Fundamental Methods of Mathematical Economics (вид. Third). New York: McGraw-Hill. ISBN 0-07-010813-7.

[Stewart1998-2] а ^б Stewart, James (1998). Calculus Concepts And Contexts. Brooks/Cole Publishing Company. ISBN 0-534-34330-9.

[3] Kaplan, Wilfred (2003). Advanced Calculus. Boston: Addison-Wesley. ISBN 0-201-79937-5.

[1]

[2]

[3]