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

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

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

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

ПримерыПравить

Обратные функцииПравить

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

 

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

 

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

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

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

Алгебраические функцииПравить

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

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

 

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

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

 

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

 

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

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

 

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

ПредостереженияПравить

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

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

Неявное дифференцированиеПравить

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

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

ПримерыПравить

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

 

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

 

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

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

 

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

 

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

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

 

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

 

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

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

 

что даёт

 

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

 

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

 

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

 

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

 

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

  и  

Формула для производной неявной функцииПравить

Если  , производная неявной функция   дана у Стюарта[2]

 

где   и   обозначают частные производные функции R соответственно по x и y.

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

 

следовательно

 

откуда, при решении относительно   получаем вышеупомянутое выражение.

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

 
Единичную окружность можно определить неявно как множество точек  , удовлетворяющих  . Около точки A величину y можно выразить как неявную функцию  . (В отличие от многих случаев здесь функцию можно представить явно как  .) Не существует такой функции около точки B, где касательная вертикальна.

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

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

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

В алгебраической геометрииПравить

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

В теории дифференциальных уравненийПравить

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

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

Предельная норма замещенияПравить

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

Предельная норма технического замещенияПравить

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

ОптимизацияПравить

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

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


ПримечанияПравить

  1. Chiang, 1984, с. 204–206.
  2. 1 2 Stewart, 1998, с. §11.5.
  3. Kaplan, 2003.

ЛитератураПравить

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

СсылкиПравить