Русская Википедия:Неявная функция
Неявное уравнение — это отношение вида <math>R(x_1,\dots, x_n)= 0</math>, где Шаблон:Mvar является функцией нескольких переменных (зачастую многочленом). Например, неявным уравнением единичной окружности является <math>x^2 + y^2 - 1 = 0</math>.
Неявная функция — это функция, заданная неявным уравнением как связь одной из переменных (значение) с другими переменными (аргументами)Шаблон:Sfn. Так, неявная функция Шаблон:Mvar в контексте единичной окружности определяется неявно уравнением <math>x^2 + f(x)^2 - 1 = 0</math>. Это неявное уравнение определяет Шаблон:Mvar как функцию от Шаблон:Mvar, если только <math>-1 \leqslant x \leqslant 1</math> и рассматриваются только неотрицательные (или только неположительные) значения функции.
Теорема о неявной функции даёт условия, при которых некоторого рода отношения определяют неявную функцию, а именно отношения определённые как индикатор множества нулей некоторой непрерывно дифференцируемой функции многих переменных.
Примеры
Обратные функции
Типичным видом неявной функции является обратная функция. Не все функции имеют единственную обратную функцию. Если Шаблон:Mvar является функцией от Шаблон:Mvar, имеющей единственную обратную функцию, то обратная функция к Шаблон:Mvar, обозначаемая как <math>g^{-1}</math>, является единственной функцией, дающей решение уравнения
- <math> y=g(x) </math>
по Шаблон:Mvar в терминах Шаблон:Mvar. Решение можно тогда записать как:
- <math> x = g^{-1}(y) \,.</math>
Определение <math>g^{-1}</math> в качестве обратной функции для Шаблон:Mvar является неявным определением. Для некоторых функций Шаблон:Mvar функция <math>g^{-1}(y)</math> может быть записана в Шаблон:Не переведено 5. Например, если <math>g(x)=2x - 1</math>, имеем <math>g^{-1}(y)=\tfrac{1}{2}(y + 1)</math>. Однако часто это сделать невозможно или можно сделать только при введении дополнительных обозначений (как для W-функции Ламберта в примере ниже).
Интуитивно, обратная функция получается из Шаблон:Mvar путём смены ролей переменных.
- Пример. W-функция Ламберта является неявной функцией, дающей решения по Шаблон:Mvar уравнения <math>y - xe^x=0</math>.
Алгебраические функции
Шаблон:Основная статья Алгебраическая функция — это функция, которая удовлетворяет полиномиальному уравнению, коэффициенты которого сами являются многочленами. Например, алгебраическая функция от одной переменной Шаблон:Mvar даёт решение для Шаблон:Mvar уравнения
- <math>a_n(x)y^n+a_{n-1}(x)y^{n-1}+\cdots+a_0(x)=0 \,,</math>
где коэффициенты <math>a_i(x)</math> являются многочленами от Шаблон:Mvar. Эту алгебраическую функцию можно записать как правую часть решения уравнения <math>y=f(x)</math>. Если записать таким образом, функция Шаблон:Mvar окажется многозначной неявной функцией.
Алгебраические функции играют важную роль в математическом анализе и алгебраической геометрии. Простой пример алгебраической функции задаётся левой частью уравнения единичной окружности:
- <math>x^2+y^2-1=0 \,. </math>
Решение уравнение по Шаблон:Mvar даёт явное решение:
- <math>y=\pm\sqrt{1-x^2} \,. </math>
Но даже без указания явного решения можно указать неявное решение уравнения единичной окружности как <math>y=f(x)</math>, где Шаблон:Mvar является многозначной неявной функцией.
Хотя явное решение можно найти для квадратных, кубических уравнений и уравнений четвёртой степени, в общем случае это неверно для уравнений Шаблон:Не переведено 5 и выше, таких как
- <math> y^5 + 2y^4 -7y^3 + 3y^2 -6y - x = 0 \,. </math>
Тем не менее, можно продолжать ссылаться на неявное решение <math>y=f(x)</math>, используя многозначную неявную функцию Шаблон:Mvar.
Предостережения
Не любое уравнение <math>R(x,y) = 0</math> приводит к графику однозначной функции, уравнение окружности является показательным примером. Другим примером является неявная функция, заданная уравнением <math>x - C(y) = 0</math>, где Шаблон:Mvar — кубический многочлен, имеющий «горб» на графике. Тогда, чтобы неявная функция была истинной (однозначной) функцией, необходимо использовать только часть графика. Неявная функция может быть успешно определена как истинная функция только после «уменьшения поля» некоторой части оси Шаблон:Mvar и «отрезания» некоторых нежелательных ветвей функции. После чего можно выписать выражение для Шаблон:Mvar как неявной функции остальных переменных.
Определение функции равенством <math>R(x, y)= 0</math> может иметь также другие патологии. Например, из равенства <math>x=0</math> не вытекает никакой вообще функции <math>f(x)</math>, дающей решение для Шаблон:Mvar, поскольку это вертикальная прямая. Чтобы избежать проблем, подобных этой, часто выдвигаются различные ограничения на уравнения или на область определения функции. Теорема о неявной функции даёт единый подход работы с такого вида патологиями.
Неявное дифференцирование
В математическом анализе метод, называемый неявным дифференцированием, использует дифференцирование сложной функции для дифференцирования неявно заданных функций.
Чтобы продифференцировать неявную функцию <math>y(x)</math>, определённую уравнением <math>R(x, y)=0</math>, обычно нельзя просто решить это уравнение явно относительно Шаблон:Mvar, а затем продифференцировать. Вместо этого можно найти полную производную <math>R(x, y)= 0</math> по Шаблон:Mvar и Шаблон:Mvar и решить затем полученное линейное уравнение по <math>\tfrac{dy}{dx}</math>, чтобы получить производную в терминах Шаблон:Mvar и Шаблон:Mvar. Даже если имеется возможность решить явно исходное уравнение, полученная из полной производной функции формула является обычно более простой и более удобной для использования.
Примеры
Пример 1. Рассмотрим
- <math>y + x + 5 = 0 \,.</math>
Это уравнение легко решить по Шаблон:Mvar, что даёт
- <math>y = -x - 5 \,,</math>
где правая часть является явным представлением функции <math>y(x)</math>. Дифференцирование даёт <math>\tfrac{dy}{dx}= -1</math>.
Можно, однако, продифференцировать исходное уравнение:
- <math>\begin{align}
\frac{dy}{dx} + \frac{dx}{dx} + \frac{d}{dx}(5) &= 0 \, ; \\[6px] \frac{dy}{dx} + 1 + 0 &= 0 \,. \end{align}</math>
Решая относительно <math>\tfrac{dy}{dx}</math>, получим
- <math>\frac{dy}{dx} = -1 \,,</math>
и получаем тот же ответ, что и до этого.
Пример 2. Примером неявной функции, для которой неявное дифференцирование проще, чем явное, служит функция <math>y(x)</math>, выраженная уравнением
- <math> x^4 + 2y^2 = 8 \,.</math>
Чтобы явно продифференцировать по Шаблон:Mvar, сначала перепишем равенство в виде
- <math>y(x) = \pm\sqrt{\frac{8 - x^4}{2}} \,,</math>
а теперь дифференцируем эту функцию. Это создаёт две производные — одна для <math>y \geqslant 0</math>, а другая для <math>y < 0</math>.
Существенно проще выполнить неявное дифференцирование исходного уравнения:
- <math>4x^3 + 4y\frac{dy}{dx} = 0 \,,</math>
что даёт
- <math>\frac{dy}{dx} = \frac{-4x^3}{4y} = -\frac{x^3}{y} \,.</math>
Пример 3. Часто трудно или даже невозможно решить уравнение явно относительно Шаблон:Mvar, и неявное дифференцирование становится единственным допустимым методом дифференцирования. Примером является уравнение
- <math>y^5-y=x \,.</math>
Невозможно алгебраически выразить Шаблон:Mvar как функцию от Шаблон:Mvar, поэтому нельзя найти <math>\tfrac{dy}{dx}</math> путём явного дифференцирования. Используя неявный метод можно получить <math>\tfrac{dy}{dx}</math> путём дифференцирования уравнения, что даёт
- <math>5y^4\frac{dy}{dx} - \frac{dy}{dx} = \frac{dx}{dx} \,,</math>
где <math>\tfrac{dx}{dx}= 1</math>. Выносим <math>\tfrac{dy}{dx}</math> и получаем
- <math>\left(5y^4 - 1\right)\frac{dy}{dx} = 1 \,,</math>
что даёт в результате выражение
- <math>\frac{dy}{dx}=\frac{1}{5y^4-1} \,,</math>
которое определено для
- <math>y \ne \pm\frac{1}{\sqrt[4]{5}} \quad</math> и <math>\quad y \ne \pm \frac{i}{\sqrt[4]{5}} \,.</math>
Формула для производной неявной функции
Если <math>R(x, y) = 0</math>, то
- <math>\frac{dy}{dx} = -\frac{\,\frac{\partial R}{\partial x}\,}{\frac{\partial R}{\partial y}} = -\frac {R_x}{R_y} \,,</math>
где <math>R_x</math> и <math>R_y</math> обозначают частные производные функции Шаблон:Mvar соответственно по Шаблон:Mvar и Шаблон:Mvar.Шаблон:Sfn
Вышеприведённая формула получается из многомерного варианта дифференцирования сложной функции для получения полной производной функции по Шаблон:Mvar обеих сторон выражения <math>R(x, y) = 0</math>:
- <math>\frac{\partial R}{\partial x} \frac{dx}{dx} + \frac{\partial R}{\partial y} \frac{dy}{dx} = 0 \,,</math>
следовательно
- <math>\frac{\partial R}{\partial x} + \frac{\partial R}{\partial y} \frac{dy}{dx} =0 \,,</math>
откуда, при решении относительно <math>\tfrac{dy}{dx}</math> получаем вышеупомянутое выражение.
Теорема о неявной функции
Пусть <math>R(x, y)</math> будет дифференцируемой функцией от двух переменных, а <math>(a, b)</math> пусть будет парой вещественных чисел, таких что <math>R(a, b) = 0</math>. Если <math>\tfrac{\partial R}{\partial y} \ne 0</math>, равенство <math>R(x, y) = 0</math> определяет неявную функцию, которая дифференцируема в некой достаточно малой окрестности точки <math>(a, b)</math>. Другими словами, существует дифференцируемая функция Шаблон:Mvar, которая определена и дифференцируема в некоторой окрестности точки Шаблон:Mvar, такая что <math>R(x, f(x)) = 0</math> для Шаблон:Mvar в этой окрестности.
Условие <math>\tfrac{\partial R}{\partial y} \ne 0</math> означает, что <math>(a, b)</math> является регулярной точкой неявной кривой уравнения <math>R(x, y) = 0</math>, где касательная не вертикальна.
Если говорить на более простом (менее точном) языке, неявные функции существуют и могут быть продифференцированы, если кривая не имеет вертикальной касательнойШаблон:Sfn.
В алгебраической геометрии
Рассмотрим отношение вида <math>R(x_1,\dots,x_n) = 0</math>, где Шаблон:Mvar многочлен от нескольких переменных. Множество значений переменных, которые удовлетворяют этому отношению, называется неявной кривой, если <math>n = 2</math> и неявной поверхностью, если <math>n = 3</math>. Неявные уравнения составляют базис алгебраической геометрии, основным предметом которой является одновременное решение нескольких неявных уравнений, левыми частями которых служат многочлены. Эти множества решений называются аффинными алгебраическими множествами.
В теории дифференциальных уравнений
Решения дифференциальных уравнений обычно выражаются неявными функциямиШаблон:Sfn.
Приложения в экономике
Предельная норма замещения
В экономической науке, где множество уровня <math>R(x, y)= 0</math> является кривой безразличия для величин Шаблон:Mvar и Шаблон:Mvar расходуемых материалов, абсолютное значение неявной производной <math>\tfrac{dy}{dx}</math> интерпретируется как предельная норма замещения двух материалов — сколько нужно Шаблон:Mvar, чтобы не заметить потери единицы материала Шаблон:Mvar.
Предельная норма технического замещения
Аналогично иногда множество уровня <math>R(L, K)</math> является изоквантой, показывающей различные комбинации используемой рабочей силы Шаблон:Mvar и производственного капитала Шаблон:Mvar, которые приводят к производству некоторого определённого количества продуктов. В этом случае абсолютное значение неявной производной <math>\tfrac{dK}{dL}</math> интерпретируется как предельная норма технического замещения между двумя факторами производства — насколько больше капитала фирмы потребуется для производства того же количества продукта при уменьшении на единицу рабочей силы.
Оптимизация
Часто в теоретической экономике некоторая функция, такая как функция полезности или прибыли, максимизируется по вектору Шаблон:Mvar, даже если целевая функция не ограничена определённой формой. Теорема о неявной функции гарантирует, что Шаблон:Не переведено 5 задачи оптимизации определяют неявную функцию для каждого элемента оптимального вектора <math>x*</math>. В случае максимизации прибыли обычно неявной функцией служат Шаблон:Не переведено 5 и предложение различных продуктов. Если максимизируется полезность, обычно неявными функциями выступают трудовые ресурсы и кривые спроса для различных продуктов.
Более того, влияние параметров задачи на <math>x*</math> — частные производные неявной функции — может быть выражено посредством системы полных производных первого порядка, найденных с помощью полной производной функции.
Примечания
Литература
- Шаблон:Книга (Для доступа к книге требуется регистрация)
- Шаблон:Книга
- Шаблон:Книга (Для доступа к книге требуется регистрация)
Литература для дальнейшего чтения
Ссылки
- Русская Википедия
- Страницы с неработающими файловыми ссылками
- Дифференциальное исчисление
- Теоремы математического анализа
- Дифференциальное исчисление многих переменных
- Дифференциальная топология
- Алгебраическая геометрия
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии
