Теорема о существовании неявной фнп. Теория неявных функций и ее приложения

Если функция задана уравнением у=ƒ(х), разрешенным относительно у, то функция задана в явном виде (явная функция).

Под неявным заданием функции понимают задание функции в виде уравнения F(x;y)=0, не разрешенного относительно у.

Всякую явно заданную функцию у=ƒ (х) можно записать как неявно заданную уравнением ƒ(х)-у=0, но не наоборот.

Не всегда легко, а иногда и невозможно разрешить уравнение относительно у (например, у+2х+cosy-1=0 или 2 у -х+у=0).

Если неявная функция задана уравнением F(x; у)=0, то для нахождения производной от у по х нет необходимости разрешать уравнение относительно у: достаточно продифференцировать это уравнение по x, рассматривая при этом у как функцию х, и полученное затем уравнение разрешить относительно у".

Производная неявной функции выражается через аргумент х и функцию у.

Теорема существования и дифференцируемости функции, заданной неявно

Пусть функция F (x ,y ) удовлетворяет условиям

F (x 0,y 0) = 0 ;

частные производные F "x иF "y непрерывны в некоторой окрестности точки (x 0,y 0) ;

F "y (x 0,y 0) ≠ 0 .

уравнение F (x ,y ) = 0 определяет неявно в некоторой окрестности точкиx 0 единственную непрерывную функциюy (x ) , удовлетворяющую условиюy (x 0) =y 0 .

функция y (x ) имеет производную, непрерывную в окрестности точкиx 0 .

Выясним смысл условий теоремы.

Существование непрерывной неявной функции y =f (x ) в окрестности точки (x 0,y 0) следует из теоремы существования, так как:

условие 1 гарантирует существование точки, координаты которой удовлетворяют уравнению F (x ,y ) = 0 ;

из условия 2 следует непрерывность функции F (x ,y ) в окрестности точки (x 0,y 0) , а из условия 3 - ее монотонность поy при каждом фиксированномx из этой окрестности.

Следовательно, условия 1–3 обеспечивают выполнение условий существования неявной функции y (x ) , удовлетворяющей условиюy (x 0) =y 0 и непрерывной в окрестности точкиx 0.

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

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

Производная неявной функции. При вычислении производной неявной функции воспользуемся правилом дифференцирования сложной функции. Продифференцируем уравнение :. Отсюда получим формулу для производной функции, заданной неявно:. Таким же способом нетрудно получить формулы для частных производных функции нескольких переменных, заданной неявно, например, уравнением:,.

1. Необходимые условия локального экстремума функции нескольких переменных. Локальный экстремум функций нескольких переменных. Необходимые условия безусловного локального экстремума.

Определение : Пусть дана функция n -переменных

Пусть дана точка M 0 с координатами , точкаM 0 называется локальным max(min) если   окр точки M 0: x  окр справедливо

(x   окр ), окр называется множество (вn мерном пространстве).

Точка локального max или min называются точкой экстремума .

Необходимые условия экстремума функции многих переменных.

Определение: стационарной точки. Если функция дифференцируема в точкеM 0 то необходимым условием существования экстремума в этой точке является требование ее стационарности:

(, если)

Стационарная точка – точка где все частные производные по всем аргументам равны 0.

Доказательство: Зафиксируем все переменные оставив только x 1 ,

фиксируя любую другую переменную получаем тоже самое.

Определение: Необходимое условие экстремума.

В точке экстремума функции n -переменных дифференциал обращается в ноль.

Если локальный экстремум , если- независимы

Замечание: если выполнено необходимое условие экстремума то она не обязательно является экстремумом.

Истина: Если точка – стационарная, то она не обязательно – экстремум, ВООБЩЕ ГОВОРЯ! Экстремум же всегда является стационарной точкой!

Пример: (0,0),x>0, y>0  z>0, x<0, y<0 z<0, но dz =0.

ТЕОРИЯ НЕЯВНЫХ ФУНКЦИЙ И ЕЕ ПРИЛОЖЕНИЯ

§ 1. Понятие неявной функции

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

F(u , х, у, ...) = 0. (1)

В этом случае говорят, что u как функция аргументов х, у, ... задана неявно . Так, например, функция u = - , рассматриваемая в круге x 2 + y 2 ≤ 1 , может быть неявно задана посредством функционального уравнения

F(u , х, у ) = u 2 + x 2 + y 2 – 1 = 0. (2)

Естественно, возникает вопрос, при каких условиях функциональное уравнение (1) однозначно разрешимо относительно u , т.е. однозначно определяет явную функцию u = φ(х, у, ...) и более тонкий вопрос, при каких условиях эта явная функция является непрерывной и дифференцируемой . Эти вопросы не являются простыми. Так функцио­нальное уравнение (2), вообще говоря, определяет в круге x 2 + y 2 ≤ 1 , кроме указанной выше явной функции u = - , бесконечно много других функций. Таковыми являются функция u = + , а также любая функция u , равная + для некоторых точек (х, у) из круга x 2 + y 2 ≤ 1 и равная - для остальных точек этого круга. Для выяснения вопроса об условиях, обеспечивающих однозначную разрешимость уравнения (2) относительно u , обратимся к геометрической иллюстрации. Уравнение (2) определяет в пространстве (u , х, у) сферу S радиуса 1 с центром в начале координат (рис.1). Возьмем на сфере S точку M 0 (u 0 , х 0 , у 0) , не лежащую в плоскости Оху , т.е. такую, для которой u 0 ≠ 0. Очевидно, часть сферы S , лежащая в достаточно малой окрестности точки M 0 , однозначно проектируется на плоскость Оху . Аналитически это означает, что если рассматривать функцию F(u , х, у) = u 2 + x 2 + y 2 – 1 только в указанной окрестности точки M 0 , то уравнение (2) однозначно разрешимо относительно u и определяет единственную явную функцию u = + при u 0 > 0 и u = - при u 0 < 0

Если же на сфере S взять точку M 1 (0, х 1 , у 1) , лежащую в плоскости Оху (см. рис. 1),то очевидно, что часть сферы S , лежащая в любой окрестности M 1 неоднозначно проектируется на плоскость Оху. Аналитически это означает, что если рассматривать функцию F(u , х, у) = u 2 + x 2 + y 2 – 1 в любой окрестности точки M 1 , то уравнение (2) не является однозначно разрешимым относительно u .

Обратим внимание на то, что частая производная функции F(u , х, у) = u 2 + x 2 + y 2 – 1 не обращается в нуль в точке М 0 и обращается в нуль в точке М 1 . Ниже мы установим, что для одно­значной разрешимости в окрестности точки М 0 общего функционального уравнении (1) относительно u принципиальную роль играет необращение в нуль в точке М 0 частной производной . Попут­но мы установим условия, при которых явная функция, представляю­щая собой единственное решение уравнения (1), является непре­рывной и дифференцируемой .

В дальнейшем мы будем обозначать пространство переменных (u , х, у, ...) символом R, а пространство переменных (х, у, ...) сим­волом R". Ради сокращения записи и для удобства геометрической иллюстрации будем рассматривать две переменные х, у .

§ 2. Теорема о существовании и дифференцируемости

неявной функции и некоторые ее применения

1. Теорема о существовании и дифференцируемости неявной функции.

Теорема 1. Пусть функция F(u , х, у) дифференцируема в некоторой, окрестности точки M 0 (u 0 , х 0 , у 0) пространства R, причем частная производная непрерывна в точке M 0 . Тогда, если в точке M 0 функция F обращается в нуль, а частная производная не обращается в нуль, то для любого достаточно малого положительного числа ε, найдется такая окрестность точки M 0 ’(х 0 , у 0) пространства R", что в пределах этой окрестности существует единственная функция u = φ(х, у), которая удовлетворяет условию | u - u 0 | < ε и является решением уравнения

F(u , х, у) = 0 (3)

З а м е ч а н и е 1. В условиях теоремы 1 можно опустить требование непрерывности частной производной в точке M 0 , но тогда придется дополнительно потребовать, чтобы эта производная не обращалась в нуль не только в самой точке M 0 , но и в некоторой окрестности этой точки и сохраняла определенный знак в этой окрестности.

Д о к а з а т е л ь с т в о теоремы 1.

1.Прежде всего докажем, что для достаточно малого ε>0 в окрестности точки M 0 ’(х 0 , у 0) существует единственная функция u = φ(х, у), которая удовлетворяет условию | u - u 0 | < ε и является решением уравнения (3) . Чтобы сделать доказательство более наглядным, будем сопровождать его геометрической иллюстрацией. Из аналитической геометрии известно, что уравнение (3) определяет в пространстве R некоторую поверхность S (рис. 2), причем, в силу условия F(M 0 ) = 0 , точка M 0 лежит на этой поверхности. С геометрической точки зрения однозначная разрешимость уравнения (3) относительно u означает, что часть поверхности S , лежащая в непосредственной близости к точке M 0 , может быть однозначно спроектирована на координатную плоскость Оху .

Ради определенности будем считать, что частная производная положительна в точке M 0 . Тогда из непрерывности указанной производной в M 0 и из теоремы об устойчивости знака непрерывной функции вытекает, что найдется такая окрестность точки M 0 , всюду в пределах которой положительна . Эту окрестность мы можем взять в виде шара Ω достаточно малого радиуса с центром в точке M 0 . Фиксируем далее положительное число ε настолько малым, чтобы каждая из точек M 1 (u 0 - ε, х 0 , у 0) и M 2 (u 0 + ε, х 0 , у 0) лежала внутри шара Ω (для этого достаточно взять ε меньшим радиуса шара Ω). Подчеркнем, что при этом снизу ε ограничено лишь нулем, и мы можем брать его как угодно малым - это будет исполь­зовано нами ниже.

Рассмотрим функцию F(u , х 0 , у 0) одной переменной на сегменте u 0 – ε ≤ u ≤ u 0 + ε . С геометрической точки зрения это означает, что мы рассматриваем функцию трех переменных F(u , х, у) вдоль отрезка М 1 М 2 (рис. 2). Так как производная (u , х 0 , у 0) положительна на сегменте u 0 – ε ≤ u ≤ u 0 + ε то функция F(u , х 0 , у 0) воз­растает на этом сегменте. Но тогда, поскольку эта функция равна нулю в середине указанного сегмента (т. е. при u = u 0 ), то F(u , х 0 , у 0) имеет отрицательное значение на левом конце и положительное значение на правом конце указанного сегмента, т. е.

F(M 1 ) < 0, F(M 2 ) > 0

Далее рассмотрим функции F(u - ε, х, у) и F(u + ε, х, у) двух пере­менных х и у , т. е., выражаясь геометрическим языком, рассмотрим функцию F(u , х, у) на двух плоскостях, параллельных координатной плоскости Оху , первая из которых проходит через точку M 1 а вто­рая - через точку M 2 . Поскольку F(M 1 ) < 0, F(M 2 ) > 0 и функция F(u , х, у) непрерывна всюду в шаре Ω, то по теореме об устой­чивости знака непрерывной функции на указанных плоскостях най­дутся такие окрестности точек M 1 и M 2 , в пределах которых функция F сохраняет те же знаки, что и в точках M 1 и M 2 . Эти окрестности мы можем взять в виде открытых квадратов с центрами в точках M 1 и M 2 и с достаточно малой стороной 2δ (на рис. 2 указанные квадраты заштрихованы). Аналитически тот факт, что функ­ция F(u , х, у) сохраняет постоянный знак на указанных квадратах, выражается неравенствами

F(u 0 – ε, х, у) < 0

При | x – x 0 | < δ , | y – y 0 | < δ (4)

F(u 0 + ε, х, у) > 0

Выбор стороны указанных квадратов мы подчиним и еще одному условию: возьмем δ столь малым, чтобы оба указанных квадрата лежали внутри шара Ω (это заведомо можно сделать, ибо центры квадратов M 1 и M 2 являются внутренними точками шара Ω). При таком выборе δ любая точка пространства (u , х, у) , координаты ко­торой удовлетворяют неравенствам

| x – x 0 | < δ , | y – y 0 | < δ , | u – u 0 | < ε (5)

будет лежать внутри шара Ω. С геометрической точки зрения нера­венства (5) определяют открытый прямоугольный параллелепипед с центром в точке M 0 и со сторонами, параллельными осям коорди­нат u , х, у и соответственно равными 2ε, 2δ и 2δ. Этот параллелепипед мы будем обозначать символом П. Так как параллелепипед П лежит внутри шара Ω, то всюду в параллелепипеде П (включая открытые квадраты, лежащие в его основаниях) производная положительна . Кроме того, в силу неравенств (4), функция F( u , х, у) отрицательна на нижнем основании и положительна на верхнем основании П .

Докажем теперь, что уравнение (3) однозначно разрешимо от­носительно u , если функцию F(u , х, у) рассматривать лишь для значений u , х, у , лежащих внутри параллелепипеда П. Уясним, что требуется доказать. Пусть M ’(х, у) - любая точка пространства R" , координаты которой удовлетворяют неравенствам

| x – x 0 | < δ , | y – y 0 | < δ (6)

Иначе говоря, пусть M ’(х, у) - любая точка плоскости Оху , лежащая внутри квадрата с центром в точке M 0 ’(х 0 , у 0) и со сторонами, рав­ными 2δ. Требуется доказать, что для координат х, у точки М" найдется, и притом единственное , число u из интервала u 0 – ε < u < u 0 + ε такое, что F(u , х, у) = 0 . (С геометрической точки зрения это означает, что любая прямая, параллельная оси u и пересекающая парал­лелепипед П, пересекает поверхность S внутри параллелепипеда П только в одной точке.)

Зафиксировав значения х и у , удовлетворяющие неравенствам (6), рассмотрим функцию F(u, х, у) аргумента u на сегменте u 0 – ε ≤ u ≤ u 0 + ε , т. е. рассмотрим функцию F(u, х, у) на отрезке M 1 ’ M 2 ’ где M 1 ’ и M 2 ’ - точки пересечения прямой, проходящей через точку M ’(х, у) и параллельной оси Ou , с основаниями параллелепипеда П(см. рис. 2). Так как производная (u , х, у) положительна на сег­менте u 0 – ε ≤ u ≤ u 0 + ε , то функция F(u, х, у) возрастает на этом сегменте (или, что тоже самое, возрастает на отрезке M 1 ’ M 2 ’ ). Но тогда из условий F(M 1 ’) < 0, F(M 2 ’) > 0 вытекает, что внутри сег­мента u 0 – ε ≤ u ≤ u 0 + ε найдется одно единственное значение u такое, что F(u, х, у) = 0 (или, выражаясь геометрически, внутри отрез­ка M 1 ’ M 2 ’ найдется единственная точка М , лежащая на поверхности S ).

Пусть теперь функция u = φ(х, у) символизирует то правило, по­средством которого каждой точке M ’(х, у) из окрестности (6) ста­вится в соответствие единственное число u из интервала u 0 – ε < u < u 0 + ε, для которого F(u, х, у) = 0 . Мы доказали, что в окрестности (6) существует единственная функция u = φ(х, у) , удовлетворяющая условию | u – u 0 | < ε и являющаяся решением уравнения (3).

2.Докажем теперь, что функция u = φ(х, у) непрерывна в лю­бой точке M ’(х, у) окрестности (6) . Так как для любой точки M ’(х, у) из окрестности (6) выполнены те же условия (а именно любой точке M ’(х, у) из окрестности (6) соответствует точка M (u, х, у) пространства R такая, что функция F(u, х, у) обращается в нуль в точке М , дифференцируема в некоторой окрестности точки М и имеет в этой окрестности отличную от нуля частную производную ), что и для точки M 0 ’(х 0 , у 0) , то достаточно доказать непрерывность функции u = φ(х, у) лишь в точке M 0 ’(х 0 , у 0) . Требуется доказать, что для любого достаточно малого положительного ε существует положитель­ное число δ такое, что для любых х и у , удовлетворяющих неравен­ствам | x – x 0 | < δ , | y – y 0 | < δ , справедливо неравенство | u – u 0 | < ε где u = φ(х, у) , u 0 = φ(х 0 , у 0) . Если взять в качестве ε то число, ко­торое выбрано выше при рассмотрении пункта 1, то существование δ обеспечивается неравенствами (5). Остается заметить, что в рас­суждениях пункта 1 положительное число ε может быть взято как угодно малым (это отмечалось в пункте 1).

3.Остается доказать дифференцируемость функции u = φ(х, у) в любой точке M ’(х, у) окрестности (6). В силу замечания, сде­ланного в пункте 2, достаточно доказать дифференцируемость функ­ции u = φ(х, у) в самой точке M 0 ’(х 0 , у 0) . Чтобы это сделать, вычис­лим полное приращение Δ u функции u = φ(х, у) в точке M 0 ’(х 0 , у 0) Δ x и Δ y . Поскольку F(u 0 , х 0 , у 0) = 0 и F(u 0 + Δ u , х 0 + Δ x , у 0 + Δ y ) = 0 , то полное прира­щение Δ F функции F(u, х, у) в точке M 0 ’(х 0 , у 0) , соответствующее приращениям аргументов Δ u , Δ x и Δ y , равно нулю . Но в силу усло­вия дифференцируемости функции F(u, х, у) в точке M 0 (u 0 , х 0 , у 0) это полное приращение имеет вид

Здесь все частные производные , и берутся в точке M 0 (u 0 , х 0 , у 0); α, β и γ→0 при

Итак, мы получаем

Согласно разностной форме условия непрерывности функции u = φ(х, у) в точке M 0 ’(х 0 , у 0) Δ u → 0 при. Таким образом, можно утверждать, что α, β и γ→0 лишь при условии .

По условию теоремы частная производная отлична от нуля в точке M 0 . Поскольку γ→0 при, то при достаточно малых Δ x и Δ y выражение не обращается в нуль . В таком случае формулу (7) можно поделить на в результате че­го мы получим

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

где μ и υ→0 при.

Сопоставляя формулы (8) и (9), окончательно получим

Формула (10) доказывает дифференцируемость функции u = φ(х, у) в точке M 0 ’(х 0 , у 0) . Тем самым теорема 1 полностью доказана.

З а м е ч а н и е 2. Приведенное доказательство без всяких затруд­нений переносится на случай неявной функции, зависящей не от двух, а от любого конечного числа аргументов x 1 , х 2 , …, x m (и, в частности, от одного аргумента). Случай двух аргументов х и у имеет лишь то преимущество, что допускает наглядную геометрическую иллюстрацию в пространстве (u, х, у) .

2.Вычисление частных производных неявно заданной функции. Остановимся на вычислении частных производных функции, неявно заданной посредством уравнения (3). Пусть выполнены условия теоремы 1. Тогда для полного приращения функции u = φ(х, у) справедливо представление (10). Это представление позволяет утверждать, что частные производные функции u = φ(х, у) определяются формулами

Аналогичные формулы справедливы и для случая, когда неявно заданная функция зависит не от двух, а от любого конечного числа аргументов x 1 , х 2 , …, x m . В этом случае (k = 1, 2, …, m )

Если мы хотим обеспечить существование у неявно заданной функ­ции u = φ(х, у) частных производных второго порядка, то, естест­венно, приходится усилить требования, наложенные на функцию F(u, х, у) в теореме 1, именно приходится дополнительно тре­бовать, чтобы функция F(u, х, у) была два раза дифференцируема в рассматриваемой точке. В этих предположениях остановимся на вычислении частных производных второго порядка .

По правилу дифференцирования сложной функции мы получим сле­дующие формулы для указанных полных частных производных:

Переходим к вычислению частных производных второго порядка не­явно заданной функции. Ради определенности вычислим производную. Дифференцируя первую из формул (11) по у и принимая во внимание, что каждая из частных производных и зависит от трех аргументов u , х, у , первый из которых сам является функ­цией х и у , будем иметь

Вставляя в полученную формулу выражение, определяемое второй из формул (11), окончательно будем иметь

Совершенно аналогично вычисляются частные производные и. Аналогичным методом могут быть вычислены и частные производные третьего и последующих порядков (при условии, что функция F(u, х, у) дифференцируема в данной точ­ке соответствующее число раз).

П р и м е р ы. 1) Вычислить частную производную функции u = φ(х, у) , заданной посредством уравнения x + y + u – e - ( x + y + u ) = 0 .

Прежде всего, пользуясь формулами (11), вычислим частные производные первого порядка. Далее очевидно, что = 0 .

2) Тот же вопрос для функции, заданной уравнением u 2 + x 2 + y 2 - a 2 = 0 . Используя формулы (11), получим, . Далее, будем иметь

3.Особые точки поверхности и плоской кривой. Рассмотрим некоторую поверхность S (плоскую кривую L ), определяемую в за­данной декартовой прямоугольной системе координат уравнением F(х, у, z )=0 (F(х, у,)=0) . Относительно функции F(х, у, z ) (F(х, у,)) предположим, что она имеет непрерывные частные производ­ные первого порядка по всем аргументам всюду в некоторой окрест­ности любой точки поверхности S (кривой L ). Будем называть дан­ную точку поверхности S (кривой L ) особой, если в этой точке об­ращаются в нуль все частные производные первого порядка функции F(х, у, z ) (F(х, у,)) . В окрестности особой точки нельзя применить к уравнению F(х, у, z )=0 (F(х, у,)=0) теорему 1, т. е. нельзя утверждать, что это уравне­ние разрешимо хотя бы относительно одной из переменных х, у, z (х, у) . Таким образом, участок поверхности S (кривой L ), прилегающей к особой точке, может не допускать однозначного проектиро­вания ни на одну из координатных плоскостей (ни на одну из осей координат). Структура поверхности S (кривой L ) в окрестности осо­бой точки может быть очень сложной и требует дополнительного исследования.

Точки поверхности S (кривой L ), не являющиеся особыми, при­нято называть обыкновенными . В окрестности обыкновенной точки действует теорема 1, так что прилегающий к обыкновенной точке участок поверхности S (кривой L ) допускает однозначное проектиро­вание хотя бы на одну из координатных плоскостей (хотя бы на од­ну из осей координат), что существенно облегчает исследование этого участка.

П р и м е р ы. 1) Найти особые точки кругового конуса x 2 + y 2 – z 2 = 0.

Поскольку F(х, у, z ) = x 2 + y 2 – z 2 , то, . Единственной особой точкой является начало координат. Хорошо известно, что в окрестности этой точки поверхность конуса не может быть однозначно спроектирована ни на одну из координатных плоскостей (рис. 15.3).

2) Тот же вопрос в отношении плоской кривой x 2 - y 2 + x 3 = 0 .

Частные производные имеют вид, . Обе частные производные обращаются в нуль в двух точках плоскости (0, 0) и (- , 0) . Из этих двух точек только первая принадлежит рассматриваемой кривой, т. е. является особой. Построив кривую x 2 - y 2 + x 3 = 0 в окрестности точки (0, 0) , мы убедимся в том, что эта точка является точкой самопересечения графика (рис. 15.4). Ясно, что в окрестности этой точки кривую нельзя однозначно спро­ектировать ни на ось Ох , ни на ось Оу .

4.Условия, обеспечивающие существование для функции y=f(x) обратной функции. Применим теорему 1 для выяснения условий, при выполнении которых функция y=f(x) имеет в некото­рой окрестности точки x 0 обратную функцию x=f -1 (y) , определен­ную в некоторой окрестности точки y 0 , где y 0 = f(x 0) . Будем рас­сматривать функцию y=f(x) как функцию, определяемую функци­ональным уравнением вида F(х, y) = f(x) – у = 0 .

Тогда вопрос о существовании обратной функции совпадает с вопросом о разрешимости относительно х указанного функциональ­ного уравнения. Как следствие теоремы 1 и замечания 1 перед доказательством этой теоремы, мы получим следующее утверждение: если функция y=f(x) имеет отличную от нуля производную в некоторой окрестности точки х 0 , то для этой функции в ок­рестности х 0 существует обратная функция x=f -1 (y), опреде­ленная и дифференцируемая в некоторой окрестности точки у 0 , где y 0 = f(x 0). Производная указанной обратной функции в точке y 0 в силу второй из формул (11) равна .

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

$y=f(x)$, $f:X\backslash to\; Y$,

заданной уравнением

$F(x,y)=z\_0$, $F:X\backslash times\; Y\backslash to\; Z$

и значение $z\_0\backslash in\; Z$ фиксировано.

Одномерный случай

Простейшая теорема о неявной функции состоит в следующем.

Если функция $F:\backslash R\backslash times\backslash R\backslash to\backslash R$ непрерывна в некоторой окрестности точки $(x\_0,y\_0)$ $F(x\_0,y\_0)=0$ и при фиксированном x функция F(x,y) строго монотонна по y в данной окрестности, тогда найдётся такой двумерный промежуток $I=I\_x\; \backslash times\; I\_y$, являющийся окрестностью точки $(x\_0,y\_0)$, и такая непрерывная функция $f:I\_x\backslash to\; I\_y$, что для любой точки $(x,y)\; \backslash in\; I$ $$

Обычно дополнительно предполагается, что функция $F$ является непрерывно дифференцируемой в окрестности точки $(x\_0,y\_0)$. В том случае строгая монотонность следует из условия $F\_y"(x\_0,y\_0)\backslash ne\; 0\backslash quad$, где $F\_y"$ обозначает частную производную $F$ по $y$. Более того, в этом случае функция $f$ также является непрерывно дифференцируемой, и её производная может быть вычислена по формуле

$f"(x)\; =\; -\; \backslash frac\{F\_x"(x,\; f(x))\}\{F\_y"(x,\; f(x))\}.$

Многомерный случай

Пусть $\backslash R^n$ и $\backslash R^m$ - пространства с координатами $x=(x\_1,\backslash dots,x\_n)$ и $y=(y\_1,\backslash dots,y\_m)$, соответственно. Рассмотрим отображение $F=(F\_1,\backslash ldots,F\_m),$ $F\_i\; =\; F\_i(x,y),$ которое отображает некоторую окрестность $W$ точки $(x\_0,y\_0)\backslash in\backslash R^n\backslash times\backslash R^m$ в пространство $\backslash R^m$.

Предположим, что отображение $F$ $F\; \backslash in\; C^\{k\}(W),$ $k\; \backslash geq\; 1,$ т.е. $F$ является $k$ раз непрерывно дифференцируемым в $W,$ $F(x\_0,y\_0)=0,$ якобиан отображения $y\backslash mapsto\; F(x\_0,y)$ не равен нулю в точке $y\_0,$ т.е. определитель матрицы $\backslash frac\{\backslash partial\; F\}\{\backslash partial\; y\}(x\_0,y\_0)$ не равен нулю. Тогда существуют окрестности $U$ и $V$ точек $x\_0$ и $y\_0$ в пространствах $\backslash R^n$ и $\backslash R^m$ соответственно, причём $U\backslash times\; V\backslash subset\; W$, и отображение $f:\; U\; \backslash to\; V,$ $f\; \backslash in\; C^\{k\}(U),$ такие, что $F(x,y)\; =\; 0\; \backslash Leftrightarrow\; y\; =\; f(x)$ для всех $x\; \backslash in\; U$ и $y\; \backslash in\; V$. Отображение $f$ определено однозначно.

Естественным обобщением предыдущей теоремы на случай не гладких отображений является следующая теоремаː

Предположим, что отображение $F$ удовлетворяет следующим условиямː $F$ является непрерывным в $W,$ $F(x\_0,y\_0)=0,$ существуют окрестности $U$ и $V$ точек $x\_0$ и $y\_0$ в пространствах $\backslash R^n$ и $\backslash R^m$ соответственно, причём $U\backslash times\; V\backslash subset\; W$, такие, что для каждого фиксированного $x\; \backslash in\; U$ отображение $y\backslash mapsto\; F(x,y)$ является взаимно однозначным в $V$. Тогда существует такое непрерывное отображение $f:\; U\; \backslash to\; V$, что $F(x,y)\; =\; 0\; \backslash Leftrightarrow\; y\; =\; f(x)$ для всех $x\; \backslash in\; U$ и $y\; \backslash in\; V$.

См. также

Напишите отзыв о статье "Теорема о неявной функции"

Литература

• Зорич В. А. Математический анализ, Любое издание
• Ильин В. А., Позняк Э. Г. Основы математического анализа, 3 изд., ч. 1, М., 1971
• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа, 5 изд., М., 1981
• Люстерник Л. А., Соболев В. И. Элементы функционального анализа, 2 изд., М., 1965
• Никольский С. М. Курс математического анализа, 2 изд., т. 1-2, М., 1975
• Понтрягин Л.С. Обыкновенные дифференциальные уравнения, 4 изд., М., 1974 - §33
• Шварц Л. Анализ, пер. с франц., т. 1, М., 1972

Примечания

Отрывок, характеризующий Теорема о неявной функции

Но хотя все и знали, что надо было уйти, оставался еще стыд сознания того, что надо бежать. И нужен был внешний толчок, который победил бы этот стыд. И толчок этот явился в нужное время. Это было так называемое у французов le Hourra de l"Empereur [императорское ура].
На другой день после совета Наполеон, рано утром, притворяясь, что хочет осматривать войска и поле прошедшего и будущего сражения, с свитой маршалов и конвоя ехал по середине линии расположения войск. Казаки, шнырявшие около добычи, наткнулись на самого императора и чуть чуть не поймали его. Ежели казаки не поймали в этот раз Наполеона, то спасло его то же, что губило французов: добыча, на которую и в Тарутине и здесь, оставляя людей, бросались казаки. Они, не обращая внимания на Наполеона, бросились на добычу, и Наполеон успел уйти.
Когда вот вот les enfants du Don [сыны Дона] могли поймать самого императора в середине его армии, ясно было, что нечего больше делать, как только бежать как можно скорее по ближайшей знакомой дороге. Наполеон, с своим сорокалетним брюшком, не чувствуя в себе уже прежней поворотливости и смелости, понял этот намек. И под влиянием страха, которого он набрался от казаков, тотчас же согласился с Мутоном и отдал, как говорят историки, приказание об отступлении назад на Смоленскую дорогу.
То, что Наполеон согласился с Мутоном и что войска пошли назад, не доказывает того, что он приказал это, но что силы, действовавшие на всю армию, в смысле направления ее по Можайской дороге, одновременно действовали и на Наполеона.

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