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

Неявное уравнение — это отношение вида , где  является функцией нескольких переменных (зачастую многочленом). Например, неявным уравнением единичной окружности является .

Неявная функция — это функция, заданная неявным уравнением как связь одной из переменных (значение) с другими переменными (аргументами). Так, неявная функция  в контексте единичной окружности определяется неявно уравнением . Это неявное уравнение определяет  как функцию от , если только  и рассматриваются только неотрицательные (или только неположительные) значения функции.

Теорема о неявной функции даёт условия, при которых некоторого рода отношения определяют неявную функцию, а именно отношения определённые как индикатор множества нулей некоторой непрерывно дифференцируемой функции многих переменных.

Примеры

Обратные функции 
Типичным видом неявной функции является обратная функция. Не все функции имеют единственную обратную функцию. Если  является функцией от , имеющей единственную обратную функцию, то обратная функция к , обозначаемая как , является единственной функцией, дающей решение уравнения

 

по  в терминах . Решение можно тогда записать как:
 

Определение  в качестве обратной функции для  является неявным определением. Для некоторых функций  функция  может быть записана в . Например, если , имеем . Однако часто это сделать невозможно или можно сделать только при введении дополнительных обозначений (как для W-функции Ламберта в примере ниже).

Интуитивно, обратная функция получается из  путём смены ролей переменных.

 Пример. W-функция Ламберта является неявной функцией, дающей решения по  уравнения .

Алгебраические функции 

Алгебраическая функция — это функция, которая удовлетворяет полиномиальному уравнению, коэффициенты которого сами являются многочленами. Например, алгебраическая функция от одной переменной  даёт решение для  уравнения

 

где коэффициенты  являются многочленами от . Эту алгебраическую функцию можно записать как правую часть решения уравнения . Если записать таким образом, функция  окажется многозначной неявной функцией.

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

 

Решение уравнение по  даёт явное решение:

 

Но даже без указания явного решения можно указать неявное решение уравнения единичной окружности как , где  является многозначной неявной функцией.

Хотя явное решение можно найти для квадратных, кубических уравнений и уравнений четвёртой степени, в общем случае это неверно для уравнений  и выше, таких как

 

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

Предостережения 
Не любое уравнение  приводит к графику однозначной функции, уравнение окружности является показательным примером. Другим примером является неявная функция, заданная уравнением , где  — кубический многочлен, имеющий «горб» на графике. Тогда, чтобы неявная функция была истинной (однозначной) функцией, необходимо использовать только часть графика. Неявная функция может быть успешно определена как истинная функция только после «уменьшения поля» некоторой части оси  и «отрезания» некоторых нежелательных ветвей функции. После чего можно выписать выражение для  как неявной функции остальных переменных.

Определение функции равенством  может иметь также другие патологии. Например, из равенства  не вытекает никакой вообще функции , дающей решение для , поскольку это вертикальная прямая. Чтобы избежать проблем, подобных этой, часто выдвигаются различные ограничения на уравнения или на область определения функции. Теорема о неявной функции даёт единый подход работы с такого вида патологиями.

Неявное дифференцирование 
В математическом анализе метод, называемый неявным дифференцированием, использует дифференцирование сложной функции для дифференцирования неявно заданных функций.

Чтобы продифференцировать неявную функцию , определённую уравнением , обычно нельзя просто решить это уравнение явно относительно , а затем продифференцировать. Вместо этого можно найти полную производную  по  и  и решить затем полученное линейное уравнение по , чтобы получить производную в терминах  и . Даже если имеется возможность решить явно исходное уравнение, полученная из полной производной функции формула является обычно более простой и более удобной для использования.

Примеры 
Пример 1. Рассмотрим

 

Это уравнение легко решить по , что даёт

 

где правая часть является явным представлением функции . Дифференцирование даёт .

Можно, однако, продифференцировать исходное уравнение:

 

Решая относительно , получим

 

и получаем тот же ответ, что и до этого.

Пример 2. Примером неявной функции, для которой неявное дифференцирование проще, чем явное, служит функция , выраженная уравнением

 

Чтобы явно продифференцировать по , сначала перепишем равенство в виде

 

а теперь дифференцируем эту функцию. Это создаёт две производные — одна для , а другая для .

Существенно проще выполнить неявное дифференцирование исходного уравнения:

 

что даёт

 

Пример 3. Часто трудно или даже невозможно решить уравнение явно относительно , и неявное дифференцирование становится единственным допустимым методом дифференцирования. Примером является уравнение

 

Невозможно алгебраически выразить  как функцию от , поэтому нельзя найти  путём явного дифференцирования. Используя неявный метод можно получить  путём дифференцирования уравнения, что даёт

 

где . Выносим  и получаем

 

что даёт в результате выражение

 

которое определено для

  и

Формула для производной неявной функции 
Если , то
 
где  и  обозначают частные производные функции  соответственно по  и .

Вышеприведённая формула получается из многомерного варианта дифференцирования сложной функции для получения полной производной функции по  обеих сторон выражения :
 
следовательно
 
откуда, при решении относительно  получаем вышеупомянутое выражение.

Теорема о неявной функции 

Пусть  будет дифференцируемой функцией от двух переменных, а  пусть будет парой вещественных чисел, таких что . Если , равенство  определяет неявную функцию, которая дифференцируема в некой достаточно малой окрестности точки . Другими словами, существует дифференцируемая функция , которая определена и дифференцируема в некоторой окрестности точки , такая что  для  в этой окрестности.

Условие  означает, что  является регулярной точкой неявной кривой уравнения , где касательная не вертикальна.

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

В алгебраической геометрии 
Рассмотрим отношение вида , где  многочлен от нескольких переменных. Множество значений переменных, которые удовлетворяют этому отношению, называется неявной кривой, если  и неявной поверхностью, если . Неявные уравнения составляют базис алгебраической геометрии, основным предметом которой является одновременное решение нескольких неявных уравнений, левыми частями которых служат многочлены. Эти множества решений называются аффинными алгебраическими множествами.

В теории дифференциальных уравнений 
Решения дифференциальных уравнений обычно выражаются неявными функциями.

Приложения в экономике

Предельная норма замещения 
В экономической науке, где множество уровня  является кривой безразличия для величин  и  расходуемых материалов, абсолютное значение неявной производной  интерпретируется как предельная норма замещения двух материалов — сколько нужно , чтобы не заметить потери единицы материала .

Предельная норма технического замещения 
Аналогично иногда множество уровня  является изоквантой, показывающей различные комбинации используемой рабочей силы  и производственного капитала , которые приводят к производству некоторого определённого количества продуктов. В этом случае абсолютное значение неявной производной  интерпретируется как предельная норма технического замещения между двумя факторами производства — насколько больше капитала фирмы потребуется для производства того же количества продукта при уменьшении на единицу рабочей силы.

Оптимизация 

Часто в теоретической экономике некоторая функция, такая как функция полезности или прибыли, максимизируется по вектору , даже если целевая функция не ограничена определённой формой. Теорема о неявной функции гарантирует, что  задачи оптимизации определяют неявную функцию для каждого элемента оптимального вектора . В случае максимизации прибыли обычно неявной функцией служат  и предложение различных продуктов. Если максимизируется полезность, обычно неявными функциями выступают трудовые ресурсы и кривые спроса для различных продуктов.

Более того, влияние параметров задачи на  — частные производные неявной функции — может быть выражено посредством системы полных производных первого порядка, найденных с помощью полной производной функции.

Примечания

Литература 
  (Для доступа к книге требуется регистрация)
 
  (Для доступа к книге требуется регистрация)

Литература для дальнейшего чтения 
 
 
 Перевод

Ссылки 
 

Дифференциальное исчисление
Теоремы математического анализа
Дифференциальное исчисление многих переменных
Дифференциальная топология
Алгебраическая геометрия