Теория неявных функций и ее приложения

Уравнение (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) причем эта функция u = (х, у) непрерывна и дифференцируема в указанной окрестности точки M 0 ’. З а м е ч а н и е 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 ) 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 – , х, у) При | 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 ’) 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). Тем самым непрерывность функции u = ( х, у) установлена. Запишем условие непрерывности функции u = ( х, у) в точке M 0 ’(х 0 , у 0 ) в разностной форме.

Обозначая через u полное приращение функции u = ( х, у) в точке M 0 ’(х 0 , у 0 ) , соответствующее приращениям x и y , мы получим, что u 0 при 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 при Итак, мы получаем (7) Согласно разностной форме условия непрерывности функции u = ( х, у) в точке M 0 ’(х 0 , у 0 ) u 0 при образом, можно утверждать, что , и 0 лишь при условии По условию теоремы частная производная отлична от нуля в точке M 0 . Поскольку 0 при при достаточно малых x и y выражение не обращается в нуль. В таком случае формулу (7) можно поделить на в результате чего мы получим (8) По теореме о предельном значении частного двух функций можем утверждать, что (9) где и 0 при Сопоставляя формулы (8) и (9), окончательно получим (10) Формула (10) доказывает дифференцируемость функции u = ( х, у) в точке M 0 ’(х 0 , у 0 ) . Тем самым теорема 1 полностью доказана. З а м е ч а н и е 2. Приведенное доказательство без всяких затруднений переносится на случай неявной функции, зависящей не от двух, а от любого конечного числа аргументов x 1 , х 2 , …, x m (и, в частности, от одного аргумента). Случай двух аргументов х и у имеет лишь то преимущество, что допускает наглядную геометрическую иллюстрацию в пространстве (u, х, у). 2.Вычисление частных производных неявно заданной функции.

Остановимся на вычислении частных производных функции, неявно заданной посредством уравнения (3). Пусть выполнены условия теоремы 1. Тогда для полного приращения функции u = (х, у) справедливо представление (10). Это представление позволяет утверждать, что частные производные функции u = (х, у) определяются формулами (11) Аналогичные формулы справедливы и для случая, когда неявно заданная функция зависит не от двух, а от любого конечного числа аргументов x 1 , х 2 , …, x m . В этом случае ( k = 1, 2, …, m ) Если мы хотим обеспечить существование у неявно заданной функции u = ( х, у) частных производных второго порядка, то, естественно, приходится усилить требования, наложенные на функцию F(u, х, у) в теореме 1, именно приходится дополнительно требовать, чтобы функция F(u, х, у) была два раза дифференцируема в рассматриваемой точке. В этих предположениях остановимся на вычислении частных производных второго порядка.

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

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

Частные производные этой сложной функции по х и у будем называть полными частными производными функции Ф( u , х, у) по х и у и обозначать символами и По правилу дифференцирования сложной функции мы получим следующие формулы для указанных полных частных производных: Переходим к вычислению частных производных второго порядка неявно заданной функции. Ради определенности вычислим производную у и принимая во внимание, что каждая из частных производных и зависит от трех аргументов u , х, у , первый из которых сам является функцией х и у, будем иметь Вставляя в полученную формулу выражение , определяемое второй из формул (11), окончательно будем иметь (12) Совершенно аналогично вычисляются частные производные и быть вычислены и частные производные третьего и последующих порядков (при условии, что функция 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) и (- . Из этих двух точек только первая принадлежит рассматриваемой кривой, т. е. является особой.