Реферат: Теория неявных функций и ее приложения
ТЕОРИЯ НЕЯВНЫХ ФУНКЦИЙ И ЕЕ ПРИЛОЖЕНИЯ
§ 1. Понятие неявной функции
В математике и в ее приложениях приходитсясталкиваться с такими задачами, когда переменная u, являющаяся по смыслу задачи функцией аргументов х, у,…, задается посредством функционального уравнения
F(u, х, у, ...)= 0. (1)
Вэтом случае говорят, что uкак функция аргументов х, у,… задана неявно. Так,например, функция u= -<img src="/cache/referats/21456/image002.gif" v:shapes="_x0000_i1025">, рассматриваемая вкруге x2 + y2 ≤ 1, может быть неявно задана посредством функционального уравнения
F(u, х, у)= u2+ x2 + y2– 1 =0. (2)
<img src="/cache/referats/21456/image003.gif" align=«left» v:shapes="_x0000_s1027 _x0000_s1026">Естественно, возникает вопрос, при каких условияхфункциональное уравнение (1) однозначноразрешимо относительно u, т.е. однозначноопределяет явную функцию u= φ( х,у, ...)и более тонкий вопрос, при каких условиях эта явнаяфункция является непрерывной и дифференцируемой. Эти вопросы не являютсяпростыми. Так функциональное уравнение (2), вообще говоря, определяет в круге x2 + y2 ≤ 1, кроме указанной выше явной функции u= -<img src="/cache/referats/21456/image002.gif" v:shapes="_x0000_i1026">, бесконечно многодругих функций. Таковыми являются функция u= +<img src="/cache/referats/21456/image002.gif" v:shapes="_x0000_i1027">, а также любаяфункция u, равная +<img src="/cache/referats/21456/image002.gif" v:shapes="_x0000_i1028"> для некоторых точек (х, у) из круга x2 + y2 ≤ 1иравная -<img src="/cache/referats/21456/image002.gif" v:shapes="_x0000_i1029">для остальных точекэтого круга. Для выяснения вопроса об условиях, обеспечивающих однозначнуюразрешимость уравнения (2) относительно u, обратимся кгеометрической иллюстрации. Уравнение (2) определяет в пространстве (u, х, у)сферу Sрадиуса 1 с центром в начале координат (рис.1).Возьмем на сфере Sточку M0(u0, х0, у0), не лежащую в плоскости Оху, т.е. такую, для которой u0≠ 0. Очевидно, часть сферы S, лежащая в достаточно малой окрестности точки M0,однозначнопроектируется на плоскость Оху.Аналитически это означает, что если рассматривать функцию F(u, х, у) = u2+ x2 + y2– 1тольков указанной окрестности точки M0, то уравнение (2) однозначно разрешимо относительно uиопределяет единственную явную функцию u= +<img src="/cache/referats/21456/image002.gif" v:shapes="_x0000_i1030"> при u0>0 и u= -<img src="/cache/referats/21456/image002.gif" v:shapes="_x0000_i1031">при u0<0
Еслиже на сфере Sвзять точку M1(0, х1,у1), лежащую в плоскости Оху (см. рис. 1), то очевидно, что частьсферы S, лежащая в любойокрестности M1неоднозначнопроектируется на плоскость Оху. Аналитически это означает, что еслирассматривать функцию F(u, х, у) = u2+ x2 + y2– 1 в любой окрестности точки M1, то уравнение (2) не является однозначно разрешимымотносительно u.
Обратимвнимание на то, что частая производная <img src="/cache/referats/21456/image005.gif" v:shapes="_x0000_i1032"> функции F(u, х, у) = u2+ x2 + y2– 1не обращается в нуль в точке М0и обращается в нуль в точке М1. Ниже мы установим, что для однозначной разрешимости в окрестности точки М0общего функциональногоуравнении (1) относительно uпринципиальную роль играет необращение в нуль в точке М0частной производной <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1033"> Попутно мы установим условия, при которых явнаяфункция, представляющая собой единственное решение уравнения (1), является непрерывной и дифференцируемой.
В дальнейшем мы будем обозначать пространствопеременных (u, х, у, ...)символом R, а пространство переменных ( х, у, ...) символом R'. Радисокращения записи и для удобства геометрической иллюстрации будем рассматриватьдве переменные х, у.
§ 2. Теорема о существовании идифференцируемости
неявной функции и некоторые ееприменения
1. Теорема осуществовании и дифференцируемости неявной функции.
<img src="/cache/referats/21456/image009.jpg" align=«left» hspace=«2» vspace=«4» v:shapes="_x0000_s1029">Теорема 1.Пусть функция F(u, х, у) дифференцируема в некоторой, окрестности точкиM0(u0, х0, у0) пространства R, причемчастная производная <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1034"> непрерывна в точке M0. Тогда, если в точке M0функция Fобращается в нуль, а частная производная <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1035"> не обращается в нуль,то для любого достаточно малого положительного числа ε, найдется такаяокрестность точки M0’(х0,у0) пространства R', что в пределах этой окрестности существуетединственная функция u= φ(х,у), которая удовлетворяет условию | u — u0 | <ε иявляется решением уравнения
F(u, х, у) = 0 (3)
причем эта функция u= φ(х, у) непрерывна и дифференцируема в указаннойокрестности точки M0’.
З а м е ч а н и е 1. В условиях теоремы 1 можно опуститьтребование непрерывности частной производной <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1036"> в точке M0, нотогда придется дополнительно потребовать, чтобы эта производная не обращалась внуль не только в самой точке M0, но и в некоторой окрестности этой точки и сохранялаопределенный знак в этой окрестности.
Д о к а з а т е л ь с т в о теоремы 1.
1.Прежде всего докажем, что для достаточно малого ε>0 в окрестности точки M0’(х0, у0) существуетединственная функция u= φ(х,у), которая удовлетворяет условию | u — u0 | <ε иявляется решением уравнения (3). Чтобы сделать доказательство болеенаглядным, будем сопровождать его геометрической иллюстрацией. Из аналитической геометрии известно,что уравнение (3) определяет в пространстве Rнекоторуюповерхность S(рис. 2), причем, в силу условия F(M0) = 0, точка M0лежит на этой поверхности. С геометрической точки зрения однозначнаяразрешимость уравнения (3) относительно uозначает, что часть поверхности S, лежащая в непосредственной близости к точке M0,может быть однозначно спроектирована на координатную плоскость Оху.
Ради определенности будем считать, что частнаяпроизводная <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1037"> положительнав точке M0. Тогда из непрерывности указанной производной в M0и изтеоремы об устойчивости знака непрерывной функции вытекает, что найдется такая окрестность точки M0, всюду в пределах которой <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1038"> положительна. Эту окрестность мы можем взять в виде шара Ωдостаточно малого радиуса с центром в точке M0. Фиксируем далее положительное число ε настолько малым, чтобы каждая източек M1(u0 — ε, х0, у0)и M2(u0 + ε, х0, у0)лежала внутри шара Ω (для этого достаточно взятьε меньшим радиуса шара Ω).Подчеркнем, что при этом снизу εограничено лишь нулем, и мы можем брать его как угодно малым — это будет использованонами ниже.
Рассмотримфункцию F(u, х0,у0)одной переменной насегменте u0 – ε ≤u≤ u0 + ε. Сгеометрической точки зрения это означает, что мы рассматриваем функцию трехпеременных F(u, х, у)вдоль отрезка М1М2(рис. 2). Так как производная <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1039">u, х0,у0)положительна насегменте u0 – ε ≤u≤ u0 + εтофункция F(u, х0,у0)возрастает на этом сегменте. Но тогда, поскольку этафункция равна нулю в середине указанного сегмента (т. е. при u= u0), тоF(u, х0,у0) имеет отрицательное значение на левом конце и положительноезначение на правом конце указанного сегмента, т. е.
F(M1) <0, F(M2) >0
Далеерассмотрим функции F(u — ε, х, у)и F(u+ ε, х, у)двух переменных хи у, т. е., выражаясь геометрическимязыком, рассмотрим функцию F(u, х, у)надвух плоскостях, параллельных координатной плоскости Оху, первая из которых проходит через точку M1авторая — через точку M2. Поскольку F(M1) < 0, F(M2) > 0 ифункция F(u, х, у)непрерывна всюду в шаре Ω, то по теореме обустойчивости знака непрерывной функции на указанных плоскостях найдутся такие окрестности точек M1и M2, впределах которых функция F сохраняетте же знаки, что и в точках M1и M2. Эти окрестности мы можем взять в виде открытыхквадратов с центрами в точках M1и M2и с достаточно малой стороной 2δ (на рис. 2указанные квадраты заштрихованы). Аналитически тот факт, что функция F(u, х, у)сохраняет постоянный знак на указанных квадратах,выражается неравенствами
F(u0 – ε, х,у) < 0
При | x– x0| <δ, | y– y0| <δ (4)
F(u0 + ε, х,у) > 0
Выборстороны указанных квадратов мы подчиним и еще одному условию: возьмем δ столь малым, чтобы обауказанных квадрата лежали внутри шара Ω (это заведомо можносделать, ибо центры квадратов M1и M2являются внутренними точками шара Ω). При такомвыборе δ любая точка пространства (u, х, у),координаты которой удовлетворяют неравенствам
| x – x0| < δ, | y – y0| < δ, | u –u0| < ε (5)
будетлежать внутри шара Ω. С геометрической точкизрения неравенства (5) определяют открытый прямоугольный параллелепипед сцентром в точке M0и со сторонами, параллельными осям координат u, х, уи соответственно равными 2ε, 2δ и 2δ.Этот параллелепипед мы будем обозначать символом П. Так как параллелепипед Плежит внутри шара Ω, то всюду впараллелепипеде П (включая открытые квадраты, лежащие в его основаниях)производная <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1040"> положительна.Кроме того, в силу неравенств (4),функция F(u, х, у) отрицательна на нижнем основании и положительна на верхнемосновании П.
Докажем теперь, что уравнение (3) однозначно разрешимоотносительно u, если функцию F(u, х, у)рассматривать лишь для значений u, х, у, лежащих внутри параллелепипеда П. Уясним, чтотребуется доказать. Пусть M’(х, у) — любая точка пространства R', координаты которой удовлетворяют неравенствам
| x– x0| < δ, | y– y0| < δ (6)
Иначеговоря, пусть M’(х, у) — любая точка плоскости Оху, лежащая внутри квадрата с центром в точке M0’(х0, у0)и со сторонами, равными 2δ. Требуется доказать,что для координат х, у точки М' найдется, и притом единственное, число uизинтервала u0 – ε <u< u0 + εтакое, что F(u, х, у) = 0.(С геометрической точки зрения это означает, что любая прямая, параллельная осиuипересекающая параллелепипед П, пересекает поверхность S внутри параллелепипеда П только в одной точке.)
Зафиксировав значения х и у, удовлетворяющиенеравенствам (6), рассмотрим функцию F(u,х, у) аргумента uна сегменте u0 – ε ≤u≤ u0 + ε, т.е. рассмотрим функцию F(u, х, у) наотрезке M1’M2’где M1’и M2’ — точкипересечения прямой, проходящей через точку M’(х, у)и параллельной оси Ou, с основаниями параллелепипеда П(см. рис. 2). Так какпроизводная <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1041">u, х, у)положительна на сегменте u0 – ε ≤u≤ u0 + ε, тофункция F(u, х, у) возрастает на этомсегменте (или, что тоже самое, возрастает на отрезке M1’M2’). Но тогда из условий F(M1’) < 0, F(M2’) > 0 вытекает,что внутри сегмента u0 – ε ≤u≤ u0 + εнайдется одно единственное значение uтакое, что F(u,х, у) = 0 (или, выражаясь геометрически, внутри отрезка M1’M2’найдется единственная точка М, лежащая на поверхности S).
Пусть теперь функция u= φ( х,у)символизирует то правило, посредствомкоторого каждой точке M’(х, у)из окрестности (6) ставится в соответствиеединственное число uиз интервала u0 – ε <u< u0 + ε,для которого F(u, х, у) = 0. Мыдоказали, что в окрестности (6) существует единственная функция u= φ( х, у), удовлетворяющая условию | u– u0| < εи являющаяся решением уравнения (3).
2.Докажемтеперь, что функция u= φ( х, у) непрерывна в любой точке M’(х, у) окрестности (6). Так как для любой точки M’(х, у)из окрестности (6) выполнены те же условия (а именнолюбой точке M’(х, у)из окрестности (6) соответствует точка M(u, х, у)пространства R такая, что функция F(u, х, у) обращается в нуль в точке М, дифференцируема в некоторойокрестности точки М и имеет в этойокрестности отличную от нуля частную производную <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1042">), что и для точки M0’(х0,у0), то достаточнодоказать непрерывность функции u= φ( х,у)лишь в точке M0’(х0, у0). Требуется доказать, что для любого достаточно малогоположительного ε существуетположительное число δтакое, что для любых х и у, удовлетворяющихнеравенствам | x– x0| < δ, | y– y0| < δ,справедливо неравенство | u– u0| < ε где u= φ( х, у), u0= φ( х0,у0). Если взять в качествеε то число, которое выбрано выше при рассмотрении пункта 1, тосуществование δобеспечивается неравенствами (5). Остается заметить,что в рассуждениях пункта 1 положительное число ε может быть взято как угодно малым (это отмечалосьв пункте 1).
Темсамым непрерывность функции u= φ( х,у)установлена. Запишем условие непрерывности функции u= φ( х, у)в точке M0’(х0,у0)в разностной форме. Обозначая через Δuполное приращение функции u= φ( х, у)в точке M0’(х0,у0), соответствующееприращениям Δxи Δy, мыполучим, что Δu→0 при<img src="/cache/referats/21456/image011.gif" v:shapes="_x0000_i1043">
3.Остается доказать дифференцируемость функции u= φ( х,у)в любой точке M’(х, у)окрестности (6). В силу замечания, сделанного в пункте 2, достаточно доказатьдифференцируемость функции u= φ( х,у)в самой точке M0’(х0, у0). Чтобы это сделать, вычислим полное приращение Δuфункции u= φ( х,у)в точке M0’(х0, у0), соответствующее приращениям аргументов Δxи Δy. ПосколькуF(u0, х0,у0) = 0и F(u0+ Δu, х0+ Δx, у0+ Δy) = 0, то полное приращение ΔFфункции F(u, х, у)в точке M0’(х0,у0), соответствующееприращениям аргументов Δu, Δxи Δy, равно нулю. Но в силу условиядифференцируемости функции F(u, х, у)в точке M0(u0, х0, у0)это полное приращение имеет вид
<img src="/cache/referats/21456/image013.gif" v:shapes="_x0000_i1044">
Здесь всечастные производные <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1045">, <img src="/cache/referats/21456/image016.gif" v:shapes="_x0000_i1046"> и <img src="/cache/referats/21456/image018.gif" v:shapes="_x0000_i1047"> берутся в точке M0(u0, х0, у0); α, β иγ→0 при <img src="/cache/referats/21456/image020.gif" v:shapes="_x0000_i1048">
Итак, мы получаем
<img src="/cache/referats/21456/image022.gif" v:shapes="_x0000_i1049"> (7)
Согласноразностной форме условия непрерывности функции u= φ( х,у)в точке M0’(х0, у0)Δu→0 при<img src="/cache/referats/21456/image011.gif" v:shapes="_x0000_i1050"> образом, можноутверждать, что α, β иγ→0 лишь при условии<img src="/cache/referats/21456/image011.gif" v:shapes="_x0000_i1051">
<img src="/cache/referats/21456/image024.gif" v:shapes="_x0000_s1030">По условию теоремы частная производная <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1052"> отлична от нуля в точке M0. Поскольку γ→0при <img src="/cache/referats/21456/image011.gif" v:shapes="_x0000_i1053">при достаточномалых Δxи Δyвыражение <img src="/cache/referats/21456/image027.gif" v:shapes="_x0000_i1054"> не обращается в нуль. В таком случае формулу (7) можно поделить на <img src="/cache/referats/21456/image029.gif" v:shapes="_x0000_i1055"> в результате чего мы получим
(8)
По теореме о предельном значении частного двух функцийможем утверждать, что
<img src="/cache/referats/21456/image031.gif" v:shapes="_x0000_i1056"><img src="/cache/referats/21456/image033.gif" v:shapes="_x0000_i1057"> (9)
гдеμ и υ→0 при <img src="/cache/referats/21456/image011.gif" v:shapes="_x0000_i1058">
Сопоставляяформулы (8) и (9), окончательно получим
<img src="/cache/referats/21456/image035.gif" v:shapes="_x0000_i1059"> (10)
Формула(10) доказывает дифференцируемость функции u= φ( х,у)в точке M0’(х0, у0). Тем самым теорема 1 полностью доказана.
З а м е ч а н и е 2. Приведенное доказательство безвсяких затруднений переносится на случай неявной функции, зависящей не отдвух, а от любого конечного числа аргументов x1, х2,…, xm(и, в частности, от одного аргумента). Случай двух аргументов х и у имеет лишь то преимущество,что допускает наглядную геометрическую иллюстрацию в пространстве (u, х, у).
2.Вычислениечастных производных неявно заданной функции. Остановимся на вычислении частных производных функции, неявно заданнойпосредством уравнения (3). Пусть выполнены условия теоремы 1. Тогда для полногоприращения функции u= φ(х,у)справедливо представление (10).Это представление позволяет утверждать, что частные производные функции u= φ(х, у)определяются формулами
<img src="/cache/referats/21456/image037.gif" v:shapes="_x0000_i1060"><img src="/cache/referats/21456/image039.gif" v:shapes="_x0000_i1061"> (11)
Аналогичныеформулы справедливы и для случая, когда неявно заданная функция зависит не отдвух, а от любого конечного числа аргументов x1, х2,…, xm. В этом случае <img src="/cache/referats/21456/image041.gif" v:shapes="_x0000_i1062"> (k= 1, 2, …, m)
Еслимы хотим обеспечить существование у неявно заданной функции u= φ( х, у) частных производных второгопорядка, то, естественно, приходится усилить требования, наложенные на функциюF(u, х, у) в теореме 1, именноприходится дополнительно требовать, чтобы функция F(u, х, у) была два раза дифференцируема в рассматриваемой точке. Вэтих предположениях остановимся на вычислении частных производных второго порядка.
Введемполезное в дальнейшем понятие полной частной производной функции. Предположим,что нам дана дифференцируемая функция трех аргументов Ф(u, х, у), причем один из этих аргументов uсамявляется дифференцируемой функцией двух других аргументов х и у. Тогда функцию Ф(u, х, у)можно рассматривать как сложную функцию двухаргументов х, у. Частные производныеэтой сложной функции по х и у будем называть полными частными производными функции Ф(u, х, у) по х и уи обозначать символами <img src="/cache/referats/21456/image043.gif" v:shapes="_x0000_i1063"> и <img src="/cache/referats/21456/image045.gif" v:shapes="_x0000_i1064">
Поправилу дифференцирования сложной функции мы получим следующие формулы дляуказанных полных частных производных:
<img src="/cache/referats/21456/image047.gif" v:shapes="_x0000_i1065"><img src="/cache/referats/21456/image049.gif" v:shapes="_x0000_i1066">
Переходимк вычислению частных производных второго порядка неявно заданной функции. Радиопределенности вычислим производную <img src="/cache/referats/21456/image051.gif" v:shapes="_x0000_i1067">у и принимая во внимание, что каждая из частных производных <img src="/cache/referats/21456/image016.gif" v:shapes="_x0000_i1068"> и <img src="/cache/referats/21456/image007.gif" v:shapes="_x0000_i1069"> зависит от трехаргументов u, х, у, первый из которых сам является функцией хи у, будем иметь
<img src="/cache/referats/21456/image054.gif" v:shapes="_x0000_i1070">
Вставляяв полученную формулу выражение <img src="/cache/referats/21456/image056.gif" v:shapes="_x0000_i1071">, определяемое второй изформул (11), окончательно будем иметь
<img src="/cache/referats/21456/image058.gif" v:shapes="_x0000_i1072"> (12)
Совершенноаналогично вычисляются частные производные <img src="/cache/referats/21456/image060.gif" v:shapes="_x0000_i1073"> и <img src="/cache/referats/21456/image062.gif" v:shapes="_x0000_i1074"> быть вычислены и частные производные третьего ипоследующих порядков (при условии, что функция F(u, х, у) дифференцируема в данной точке соответствующее числораз).
П ри м е р ы. 1) Вычислить частнуюпроизводную <img src="/cache/referats/21456/image051.gif" v:shapes="_x0000_i1075"> функции u= φ( х,у), заданной посредством уравнения x+ y+ u– e — ( x+ y+ u) = 0.
Преждевсего, пользуясь формулами (11), вычислим частные производные первого порядка <img src="/cache/referats/21456/image065.gif" v:shapes="_x0000_i1076"><img src="/cache/referats/21456/image051.gif" v:shapes="_x0000_i1077">= 0.
2)Тот же вопрос для функции, заданной уравнением u2+ x2+ y2 — a2= 0. Используяформулы (11), получим <img src="/cache/referats/21456/image067.gif" v:shapes="_x0000_i1078">, <img src="/cache/referats/21456/image069.gif" v:shapes="_x0000_i1079">. Далее, будем иметь
<img src="/cache/referats/21456/image071.gif" v:shapes="_x0000_i1080">
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) Найти особые точки кругового конуса x2+ y2– z2= 0.
ПосколькуF(х, у, z) = x2+ y2– z2, то <img src="/cache/referats/21456/image073.gif" v:shapes="_x0000_i1081">, <img src="/cache/referats/21456/image075.gif" v:shapes="_x0000_i1082">, <img src="/cache/referats/21456/image077.gif" v:shapes="_x0000_i1083">. Единственной особойточкой является начало координат. Хорошо известно, что в окрестности этой точкиповерхность конуса не может быть однозначно спроектирована ни на одну из координатных плоскостей (рис. 15.3).
2)Тот же вопрос в отношении плоской кривой x2 — y2+ x3= 0.
Частныепроизводные имеют вид <img src="/cache/referats/21456/image079.gif" v:shapes="_x0000_i1084">, <img src="/cache/referats/21456/image081.gif" v:shapes="_x0000_i1085">. Обе частныепроизводные обращаются в нуль в двух точках плоскости (0, 0) и (-<img src="/cache/referats/21456/image083.gif" v:shapes="_x0000_i1086">. Из этих двух точек только первая принадлежитрассматриваемой кривой, т. е. является особой. Построив кривую x2 — y2+ x3= 0в окрестности точки (0, 0), мы убедимся в том, что эта точка является точкойсамопересечения графика (рис. 15.4). Ясно, что в окрестности этой точки кривуюнельзя однозначно спроектировать ни на ось Ох,ни на ось Оу.
<img src="/cache/referats/21456/image085.jpg" align=«left» hspace=«12» v:shapes="_x0000_s1032">
4.Условия,обеспечивающие существование для функции y=f(x)обратной функции.Применим теорему 1для выяснения условий, при выполнении которых функция y=f(x) имеет в некоторой окрестности точки x0обратную функцию x=f-1(y), определенную в некоторой окрестности точки y0, гдеy0= f(x0). Будем рассматривать функцию y=f(x)как функцию, определяемую функциональным уравнением вида F(х, y) = f(x) – у = 0.
Тогдавопрос о существовании обратной функции совпадает с вопросом о разрешимостиотносительно х указанного функциональногоуравнения. Как следствие теоремы 1 и замечания 1 перед доказательством этойтеоремы, мы получим следующее утверждение: еслифункция y=f(x) имеет отличную от нуля производную в некоторой окрестности точких0, то для этой функции в окрестности х0существуетобратная функция x=f-1(y), определенная и дифференцируемая внекоторой окрестности точки у0, где y0= f(x0). Производнаяуказанной обратной функции в точке y0 в силу второй из формул (11) равна <img src="/cache/referats/21456/image087.gif" v:shapes="_x0000_i1087">