Сандракова Функтсии многикх переменныкх 2015
.pdfАналогично, выбрав |
P P = OP ={0, x2 }, |
x2 = x2 − 0 = x2 , |
||||||||
|
|
|
|
|
0 |
|
|
|
|
|
x2 ≠ 0, получаем |
|
|
|
|
|
|
|
|
||
|
∂f |
|
|
= lim |
f (0, x2 ) − f (0,0) |
= |
||||
|
|
|
||||||||
|
∂x2 |
|
|
|
x2 |
|
|
|||
|
|
O(0,0) |
x2 →0 |
|
|
|
|
|||
|
|
|
|
|
|
|
||||
= lim |
|
f (0, |
x2 ) − f (0, 0) |
= lim |
0 −0 |
= 0 . |
||||
|
|
|
x2 |
|
x2 |
|||||
x2 →0 |
|
|
|
x2 →0 |
|
Следовательно, обе частные производные существуют в точке О (0,0), но функция f (x1 , x2 ) не является дифференцируемой в
точке О (0,0), так как она в этой точке терпит разрыв.
Теорема 1.2 (достаточные условия дифференцируемости).
Если функция f(Р) имеет все частные производные в некоторой окрестности точки Р0, и они непрерывны в самой точке Р0, то функция дифференцируема в этой точке.
Доказательство.
f (P0 , PP0 ) = f (P ) − f (P0 ) = |
|
||
= f (x1 + x1 , x2 + |
x2 , ..., xn + |
xn ) − f (x1 , x2 , ..., xn ) = |
|
n |
|
|
|
= ∑( f (x1 ,..., xk −1 , xk |
+ xk , xk +1 |
+ xk +1 ,..., xn + xn ) − |
(1.3) |
k =1 |
|
|
|
− f (x1 ,..., xk −1 , xk , xk +1 + |
xk +1 ,..., xn + xn )) . |
|
Применяем формулу конечных приращений для каждой скобки отдельно:
|
|
|
|
|
f (x1 ,..., xk −1 , xk + |
xk ,..., xn |
+ xn ) − |
|
|
|
|
|
|
||||||||||||||||
|
|
|
− f (x1 ,..., xk , xk +1 + |
xk +1 ,..., xn + |
xn ) = |
|
|
|
|
|
|
||||||||||||||||||
= ∂xk (x ,..., x |
k −1 |
, x |
k |
+θ |
|
x |
k |
, x |
k +1 |
+ |
x |
k +1 |
,..., x |
n |
+ |
x |
n |
) |
x |
k |
= |
||||||||
|
∂f |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
∂f |
|
(P0 ) |
|
|
|
x |
k |
, |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
= |
|
|
+ αk |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
∂x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где 0 < θ <1, |
α |
k |
→0 . |
Подставляем |
|
полученный |
|
результат |
|||||||||||||||||||||
|
|
|
|
|
ρ→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
в (1.3): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11
|
|
n |
∂f |
|
|
|
0 |
|
|
|
|
|
|
|
k |
|
|
|
|
f = ∑ |
|
|
(P |
|
) + αk |
|
|
x |
|
, |
|||||
|
|
∂x |
k |
|
|
||||||||||||
|
|
k =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
так как α |
→0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k ρ→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Функция f(Р) является дифференцируемой, так как |
|||||||||||||||||
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ω(P0 ; P0 P) = ∑αk (P0 ; P0 P) xk |
|||||||||||||||
|
|
|
|
k =1 |
|
|
|
|
|
|
|
|
|
|
|
||
является o(ρ) при ρ →0 . В самом деле, |
|
|
|
|
|
||||||||||||
|
lim |
ω(P ; P P) |
= lim |
n |
|
α |
|
(P ; P P) xk |
|||||||||
|
0 0 |
∑ |
|
k |
0 |
|
0 |
|
|
= |
|||||||
|
ρ→0 |
ρ |
|
ρ→0 |
k =1 |
|
|
|
|
ρ |
|
|
|
||||
|
|
n |
|
|
|
|
|
|
|
|
|
|
x |
k |
|
|
|
|
|
= ∑lim αk (P0 ; P0 P) |
|
|
= 0 . |
||||||||||||
|
|
|
ρ |
|
|||||||||||||
|
|
k =1 ρ→0 |
|
|
|
|
|
|
|
|
|
|
|
|
Отметим, что выполнение двух необходимых условий дифференцируемости (непрерывность и существование всех частных производных функции f (P) в точке P0 D ) не является достаточ-
ным. |
|
|
|
|
|
Пример 1.2. Найти |
fx′(0, 0) и fy′(0,0) , если |
f (x, y) = 3 xy . Явля- |
|||
ется ли f(x,y) дифференцируемой в О (0,0)? |
|
|
|||
Решение. f (x, y) = 3 |
|
x 3 y является непрерывной как произве- |
|||
дение непрерывных функций наD E2 . |
Частные производные: |
||||
fx′(0, 0) = lim |
|
f ( x, 0) − f (0, 0) |
= lim |
0 −0 |
= 0 . |
|
x |
|
|||
x→0 |
|
x→0 |
x |
По определению предела х → а, х ≠ а, |
в данном случае х ≠ 0, |
|||||||
знаменатель отличен от нуля. Аналогично fy′(0,0) = 0. Составим |
||||||||
|
f − df |
|
( 3 |
x y −0) −(0 x + 0 y) |
3 |
x y |
. |
|
ε = |
|
= |
|
|
= |
|
|
|
ρ |
|
x2 + y2 |
x2 |
+ y2 |
||||
|
|
|
|
|
Вопрос о дифференцируемости функции f(x, y) свелся к вопросу о существовании и равенстве нулю предела
lim |
ω(ρ) |
, ρ = |
x2 + y2 . |
ρ→0 |
ρ |
|
|
12
Докажем, что предел не существует. Представим х и у в по-
лярной системе координат |
x =ρcosϕ, |
Тогда |
|
|
||||
|
|
|
|
y =ρsin ϕ. |
|
|
|
|
lim |
ω(P |
, P P) |
= lim |
ρ2/3 3 cos ϕsin ϕ |
= = lim |
3 cos ϕsin ϕ |
, |
|
0 |
0 |
|
|
|
||||
ρ |
|
ρ1/ 3 |
||||||
x2 + y2 →0 |
ρ |
ρ→0 |
|
ρ→0 |
|
где ϕ = ϕ(ρ); ϕ – любая функция ρ.
Указанный предел не существует, так как при ϕ= 0 lim ω = 0 , а
ρ→0 ρ
при ϕ ≠ πk lim ω = ∞.2 ρ→0 ρ
Можно доказать, что предел не существует, используя определение по Гейне.
Построим две последовательности точек {Pn} и {Qn}:
P 1;0 →0 ; ε(P ) →0;n n n→∞ n n→∞
|
|
1 |
|
1 |
|
|
3 |
|
1 1 |
|
|
3 n |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
n n |
|
→ +∞. |
|||||||||||
|
|
|
|
|
|
|
|||||||||||
Q |
|
; |
|
→0 ; ε(Q ) = |
|
|
= |
|
|||||||||
|
|
|
|
|
|
||||||||||||
|
n |
|
|
|
n→∞ |
n |
|
|
1 |
|
|
|
2 |
n→∞ |
|||
|
n n |
|
|
|
|
2 |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
Пределы значений функций в точках последовательностей различны, следовательно, предел не существует.
Из непрерывности функции и существования частных производных дифференцируемость не следует.
В данном случае достаточные условия дифференцируемости не были выполнены. Рассмотрим поведение частных производных в окрестности начала координат:
|
3 |
y |
при x ≠ 0, |
|
|
|
|
|
|
|
|
|
||
fx′ = 3 |
3 |
x2 |
|
0 при x = 0.
13
Покажем, что fx′(0,0) не является непрерывной в точке P0 (0,0) :
|
|
|
|
|
|
|
|
|
1 |
|
|
→n→∞ 0 ; fx′(Pn ) |
|
|
|
|
0 |
|
|
|
|
||||||||
|
|
|
|
|
|
|
Pn |
|
;0 |
= |
|
|
|
|
|
|
=0 |
; |
|||||||||||
|
|
|
|
|
|
|
|
1 |
2/3 |
||||||||||||||||||||
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
1/3 |
|
|
|
|
|
|
|
||||||
|
|
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1/3 |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
′ |
|
n |
|
|
|
|
|
|
|
(n) |
|
|||||||||||
Q |
|
|
; |
|
|
→0 ; |
(Q ) = |
|
|
|
|
|
|
|
|
= |
|
|
|
|
→+∞ . |
||||||||
|
n |
|
|
n |
|
|
n→∞ |
|
|
x |
n |
1 |
|
2/3 |
|
|
|
3 |
|
n→∞ |
|||||||||
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
Предел функции fx′ не существует в точке (0, 0).
Отметим, что из дифференцируемости функции не следует, что частные производные непрерывны.
Пример 1.3. Показать, что функция
|
2 |
|
2 |
|
|
|
|
|
|
1 |
|
|
|
2 |
|
2 |
|
(x |
|
+ y |
|
) sin |
|
|
|
|
|
, |
если x |
|
+ y |
|
≠ 0, |
||
|
|
x |
2 |
+ y |
2 |
|
|
||||||||||
f (x, y) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
если x |
2 |
+ y |
2 |
= 0, |
|
|
|
|
|
|
|||||
0, |
|
|
|
|
|
|
|
|
|
1)f (x, y) дифференцируема в (0, 0);
2)fx′, fy′ в окрестности (0, 0), но они разрывны в (0, 0) и не-
ограничены в любой окрестности (0, 0). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
Решение. Найдем частные производные. В точках x2 + y2 |
≠ 0 |
||||||||||||||||||||||||||||||||||||||||||
fx′(x, y) = 2xsin |
|
|
1 |
|
|
+ |
(x |
2 |
+ y |
2 |
) cos |
|
|
|
1 |
|
|
|
|
|
|
|
|
−2x |
|
|
|
|
= |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
x |
2 |
+ y |
2 |
|
|
|
|
x |
2 |
+ y |
2 |
|
|
|
2 |
+ y |
2 |
) |
2 |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|||||
= 2x sin |
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
cos |
|
|
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
||||||||
x |
2 |
+ y |
2 |
|
(x |
2 |
+ y |
2 |
) |
x |
2 |
+ y |
2 |
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
||||
fy′ = 2 y sin |
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
cos |
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|||||||||
|
x |
2 |
+ y |
2 |
|
(x |
2 |
+ y |
2 |
) |
|
x |
2 |
+ y |
2 |
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Если х = у = 0, то производные ищем по определению:
|
f ( |
x, 0) − f (0, 0) |
|
x |
2 |
sin |
1 |
|
|
fx′(0,0) = lim |
= lim |
|
x2 |
|
= 0 . |
||||
|
x |
|
|
x |
|
|
|||
x→0 |
x→0 |
|
|
|
|
|
14
(Предел произведения бесконечно малой |
х и ограниченной функ- |
||||||||||||||
ции sin |
1 |
равен 0). Аналогично |
fy′(0,0) = 0 . Составим |
||||||||||||
x2 |
|||||||||||||||
|
|
|
|
|
|
|
( |
x2 + |
y2 )sin |
1 |
|
|
|||
|
|
|
f − df |
|
|
x2 + |
y2 |
||||||||
|
|
|
|
|
|
|
|
|
|||||||
|
|
ε = |
|
|
= |
|
|
|
|
|
|
|
|
|
= |
|
|
|
ρ |
|
|
|
x2 + |
y2 |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|||||
|
= x2 + |
y2 sin |
|
|
1 |
|
= ρsin |
1 |
→0 . |
||||||
|
|
|
x2 + |
y2 |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
ρ2 |
ρ→0 |
Следовательно, функция дифференцируема в точке (0, 0). Покажем, что частные производные неограничены в любой окрестности точки (0, 0). Составим последовательность точек {Pn (xn ; yn )} , таких, что
|
cos |
|
1 |
|
|
|
|
|
=1; |
|
|
|
1 |
|
|
|
= 2πn . |
|
|
||||||
|
x 2 |
|
+ y |
2 |
|
|
x |
2 |
+ y 2 |
|
|
|
|||||||||||||
Например: |
|
|
|
n |
|
|
|
n |
|
|
|
|
|
|
n |
|
n |
|
|
|
|
|
|
||
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|||
x = |
|
; |
y |
|
= |
|
; |
P →0 |
|
|
|||||||||||||||
|
|
|
n |
|
|
|
|
||||||||||||||||||
n |
2 |
|
πn |
|
|
|
|
|
2 |
πn |
|
|
n |
|
n→∞ |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
fx′(Pn ) = fx′(xn , yn ) = |
|
|
1 |
|
|
|
|
|
|
|
|
cos 2πn |
|
0 − 2πn |
|
||||||||||
|
|
|
|
|
|
sin 2πn |
− |
|
|
1 |
|
= |
|
= |
|||||||||||
|
|
πn |
|
|
πn |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2πn |
|
|
|
|
||||
|
|
|
|
= −2 |
|
πn →−∞ . |
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
fx′ |
|
fy′ неограниче- |
|||
В окрестности (0, 0) частные производные |
и |
||||||||||||||||||||||||
ны и разрывны. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть функция |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y = f (x1 , x2 , ..., xn ) ; |
|
D → R1 , |
x = (x1 , x2 , ..., xn ) D Rn |
в каждой точке (x1 , x2 , ..., xn ) D имеет частные производные пер-
вого порядка |
|
∂f |
( k =1, 2, ..., n ). Тогда частную производную |
|||
|
∂xk |
|||||
|
∂f |
|
|
|
||
функции |
переменных x1 , x2 , ..., xn по переменной x называют |
|||||
∂xk |
||||||
|
|
|
l |
|||
|
|
|
|
|
15 |
частной производной второго порядка функции f по переменным xk и xl и обозначают
|
|
|
|
|
∂2 f |
|
|
|
или |
|
fx′′k xl . |
|||||
|
|
|
|
∂xl ∂xk |
|
|
||||||||||
Таким образом, по определению |
|
|
|
|
|
|
|
|||||||||
|
∂2 f |
|
|
|
∂ |
|
|
∂f |
|
|
|
|
|
|
||
|
|
|
= |
|
|
|
, |
l, k =1, n . |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
l |
∂x |
k |
|
∂x |
l |
∂x |
k |
||||||||
|
∂x |
|
|
|
|
|
|
|
|
|
называют частную производ- |
|||||
Частной производной порядка m |
|
ную первого порядка по какой-либо переменной от любой частной производной порядка (m −1) .
Частную производную по различным переменным называют смешанной частной производной.
Теорема 1.3. Если две смешанные частные производные m-го порядка функции y = f (x1 , x2 , ..., xn ) , отличающиеся лишь поряд-
ком дифференцирования, непрерывны в точке P0 (x01 , x02 , ..., x0n ) , то
их значения в этой точке совпадают.
Функцию, все частные производные которой до некоторого порядка m включительно непрерывны в некоторой точке (или на некотором множестве), называют m раз непрерывно дифференцируемой в этой точке (соответственно на этом множестве).
Согласно определению 1.2 дифференциал первого порядка
функции |
y = f (x1 , x2 , ..., xn ) : D → R1 в точке P (x1 |
, x2 |
, ..., xn ) D |
|
|
0 |
0 |
0 |
0 |
имеет вид
L(P0 P) = df (P0 ) = A1 x1 + A2 x2 +... + An xn .
Теорема 1.4. Если функция n независимых переменных y = f (x1, x2 , ..., xn ) дифференцируема в точке P0 (x10 , x02 , ..., x0n ) и
df (x10 , x02 , ..., x0n ) = A1dx1 + A2dx2 +... + An dxn –
ее дифферециал в этой точке, то в точке P0 (x10 , x02 , ..., x0n ) существуют частные производные функции f, причем
∂f (x1, x2 , ..., xn ) |
|
1 |
∂f (x1, x2 , ..., xn ) |
|
|
n |
|
|
|
= A , ..., |
|
|
= A |
|
. |
∂x1 |
∂xn |
|
|||||
|
P0 |
|
P0 |
|
|
||
|
|
|
|
|
|
16
Таким образом, в каждой точке (x1, x2 , ..., xn ) D дифференциал функции f может быть вычислен по формуле (по определению
дифференциала независимой переменной полагают, что dxi = xi , i =1, 2, ..., n )
df = ∂∂xf1 dx1 + ∂∂xf2 dx2 +... + ∂∂xfn dxn .
Вычисленный дифференциал от первого дифференциала при условии, что приращения xi = xi ( i =1, 2, ..., n ) независимых пере-
менных x1 , x2 , ..., xn берутся те же, что и при нахождении первого дифференциала, называется вторым дифференциалом или дифферециалом второго порядка функции y = f (x1 , x2 , ..., xn ) и обознача-
ется d 2 f = d(df ) .
В частности, для функции двух переменных y = f (x, y) запишем
|
d(df ) = d( fx′ |
x + fy′ |
y) = x d( fx′) + |
y d( fy′) = |
|
||
|
|
= x( fxx′′ |
x + fxy′′ y) + y( fyx′′ x + |
fyy′′ y) . |
|
||
Согласно |
определению |
второго |
дифференциала |
x = x , |
|||
y = |
y , тогда |
|
|
|
|
|
|
d 2 f |
= fxx′′( |
x)2 + 2 fxy′′ |
x y + fyy′′( y)2 = |
fxx′′dx2 + 2 fxy′′dxdy + |
fyy′′dy2 . |
Дифференциал порядка m определеяется как первый дифференциал от дифференциала порядка (m −1)
d m f = d(d m−1 f ) ,
здесь приращения независимых переменных при вычислении каждого последующего дифференциала совпадают с введенными приращениями для первого дифференциала.
Если ввести оператор дифференциала
d = ∂∂x1 dx1 + ∂∂x2 dx2 +... + ∂∂xn dxn ,
то справедлива операторная формула
|
m |
|
∂ |
1 |
|
∂ |
|
|
2 |
|
∂ |
|
|
n m |
|
d |
|
f = |
|
dx |
+ |
|
|
dx |
|
+... + |
|
|
dx |
|
f . |
|
1 |
∂x |
2 |
|
∂x |
n |
|||||||||
|
|
|
∂x |
|
|
|
|
|
|
|
|
|
|
17
2.Неявные функции
2.1.Неявные функции, определяемые одним уравнением
Пусть на области D E2 определена функция |
F( x, y) . Рас- |
|
смотрим уравнение |
|
|
F(x, y) |
= 0 . |
(2.1) |
Пусть M ={( x, y) : F( x, y) = 0} |
– множество всех точек, ко- |
ординаты которых удовлетворяют уравнению (2.1).
Пусть X – множество точек x оси Ox , для каждой из которых
существует |
y , такое, что упорядоченная пара ( x, y) M , т.е. |
|
|||||||||||
|
|
|
X ={x; x y : F( x, y) = 0} ≠ . |
|
|
|
|
||||||
Но может случиться, что для некоторой точки |
x X y1 , |
y2 , |
|||||||||||
такие, что (x, y1 ) M , |
(x, y2 ) M , т.е. F( x, y1 ) = 0, |
F( x, y2 ) = 0 . |
|||||||||||
Пример |
2.1. Рассмотрим |
|
уравнение |
лемнискаты |
Бернулли |
||||||||
(рис. 2.1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( x2 + y2 )2 |
= x2 − y2 . |
|
|
|
(2.2) |
|||||
|
|
|
|
|
|
В |
этом |
случае |
множество |
||||
|
|
|
|
|
M ={( x, y) : ( x2 + y2 )2 = x2 − y2 } |
и |
|||||||
|
|
|
|
|
X =[−1,1] . |
|
|
|
|
|
|
||
|
|
|
|
|
|
Далее, |
для x (−1, 0) (0,1) |
||||||
|
Рис. 2.1 |
|
y1 , y2 , такие, что (x, y1 ) |
и (x, y2 ) |
|||||||||
|
|
удовлетворяют уравнению (2.2). |
|
||||||||||
Возьмем |
|
точку |
P0 ( x0 , y0 ) , |
где |
x0 (0,1), |
y0 > 0, |
и |
||||||
( x2 |
+ y2 )2 = x2 |
− y2 . У точки |
P ( x , y ) |
есть такая прямоугольная |
|||||||||
0 |
0 |
0 |
0 |
|
0 |
0 |
0 |
|
|
|
|
|
|
окрестность |
Tβ (P0 ) ={(x, y) : | x − x0 |<β, |
| |
y − y0 |<β, |
β > 0} , |
что |
||||||||
x (x0 −β, x0 +β) (0, 1) |
существует |
единственное |
y , такое, |
||||||||||
что точка ( x, y) Tβ (P0 ) ∩M (см. рис. 2.1), т.е. |
|
|
|
|
F( x, y) = ( x2 + y2 )2 −( x2 − y2 ) = 0 .
18
Геометрически это означает, что та часть множества М, которая попадает в Tβ (P0 ) , может быть взаимно однозначно спроектирова-
на на ось Ох, т.е. является графиком у = у(х) на (x0 −β, x0 +β) .
В этом случае говорят, что уравнение F(x, y) = 0 в прямоуголь-
нике R однозначно разрешимо относительно у как функции от переменной х.
Определение 2.1. Пусть на области D E2 задана функция
F(x, y).
Говорят, что уравнение F(x, y) = 0 в некотором прямоугольнике R D задает y как функцию от х, если X ={x} такое, что для
x X единственное у, такое, что (x, y) R и F(x, y) = 0 , и каж-
дому x X |
ставится в соответствие именно то у, для которого |
(x, y) R и F(x, y) = 0 . |
|
Говорят |
также, что в прямоугольнике R D уравнение |
F(x, y) = 0 |
однозначно разрешимо относительно y = y(x), x X . |
Обратимся снова к нашему примеру с лемнискатой Бернулли. Если взять х = 1, или х = –1, или х = 0, то получим нечто другое. Для точек (1, 0), (–1, 0) и (0, 0) не существует прямоугольной окрестности, в которой уравнение (2.2) однозначно разрешимо относительно у, т.е. как ни подбирай прямоугольную окрестность, например, точки P0 (1,0) , множество Tβ (P0 ) ∩M не может быть од-
нозначно отображено на ось Ох, так как там происходит нависание кривой в окрестности точки P0 (1,0) над осью Ох. А в точке O(0,0)
еще более сложная картина. Попробуем разобраться, в чем тут дело.
На две независимые переменные х и у в плоскости Оху мы наложили одну связь F(x, y) = 0 .
Возникают вопросы:
1)всегда ли можно считать, что одна из переменных стала функцией другой;
2)если да, то какая из переменных является функцией другой;
3)как аналитически проверять, что уравнение F(x, y) = 0 явля-
ется однозначно разрешимым, например относительно у как функции от х?
19
Теорема 2.1 (достаточные условия существования, непрерывности и дифференцируемости неявной функции, заданной уравнением F(x, y) = 0 ). Пусть функция F(x, y) определена и диф-
ференцируема в некоторой окрестности точки P0 (x0 , y0 ) и выполняются условия:
1)F (x0 , y0 ) = 0;
2)Fy′(x0 , y0 ) ≠ 0 .
Тогда существует прямоугольник R ={(x, y) : x (x0 −h, x0 +h), y ( y0 − H , y0 + H ), h >0, H >0}, такой, что в прямоугольнике R
уравнение F(x,y) = 0 |
задает функцию y = f (x) , x [x0 −h, x0 +h] , |
y(x0 ) = y0 . Функция |
y = f (x) непрерывна и дифференцируема на |
x [x0 −h, x0 +h] .
Замечание 2.1. В теореме 2.1 утверждается, что уравнение (2.1) однозначно разрешимо в окрестности
R ={(x, y) : | x − x0 |< h, | y − y0 |< H, h > 0, H > 0}
точки (x0 , y0 ) относительно у.
Замечание 2.2. Если в формулировке теоремы 2.1 заменить ус-
ловие Fy′(x0 , y0 ) ≠ 0 |
на Fx′(x0 , y0 ) ≠ 0 , то можно утверждать, |
что |
||
уравнение (2.1) |
однозначно |
разрешимо |
в окрестности |
|
R ={(x, y) :| x − x0 |< h, | y − y0 |< H , |
h >0, H >0} |
точки (x0 , y0 ) |
от- |
|
носительно х. |
|
|
|
|
Пример 2.2. Привести примеры, показывающие, что в теореме 2.1 условие Fy′(x0 , y0 ) ≠ 0 является только достаточным.
Решение. Пусть уравнение (2.1) имеет вид
( y3 − x)(x2 + y2 +1) = 0 . |
(2.3) |
Так как x2 + y2 +1 ≠ 0 для любых действительных значений х и
у, то уравнение (2.3) эквивалентно |
y3 − x = 0 , которое явно одно- |
||
значно разрешимо, в том |
числе |
и в окрестности точки (0, 0) |
|
( y = 3 x) . Но при этом |
|
|
|
F ′(0,0) =(3y2 (x2 |
+ y2 +1) +( y3 − x)2 y) | |
= 0 . |
|
y |
|
(0,0) |
|
20