Теория Лохвицкий / 1 Функции нескольких переменных Конспект
..pdf
Глава 6. ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ
ОПРЕДЕЛЕНИЕ. Если каждой паре ( x, y ) значений двух не зависящих друг от друга переменных x и y из некоторой области их изменения D по некоторому правилу ставится в соответствие единственное значение переменной z , то говорят, что на области D задана функция двух переменных z = z(x, y) .
Область D называется областью определения функции двух переменных,
а множество значений, принимаемых переменной z , – ее областью значений. Самый распространенный способ задания функции двух переменных –
аналитический, то есть с помощью формул.
ПРИМЕР. а) z = x2 + y2 , x , y . Эта функция определена на всей плоскости. Из аналитической геометрии известно, что z = x2 + y2 – уравнение эллиптического параболоида, поэтому можно сказать, что эллиптический параболоид является графиком этой функции (рис. 1).
б) z = 
1 − x2 − y2 . Эта функция определена, если x2 + y2 ≤ 1, то есть внутри единичного круга. После возведения в квадрат обеих частей равенства z = 
1 − x2 − y2 получим уравнение сферы x2 + y2 + z2 = 1, но так как z ³ 0 , то график этой функции – верхняя полусфера (рис. 2).
z |
z |
|
|
О |
|
y |
y |
|
|
1 |
||
|
|
О |
||
|
|
|
||
x |
|
|
1 |
|
|
|
x |
|
|
|
|
Рис. 1 |
|
|
|
|
Рис. 2 |
|
|
|
|
|
|
в) z = 2x + 3y - 5, x Î , y Î . Графиком этой функции является плоскость.
Таким образом, графиком функции двух переменных является поверхность.
Рассматривая функции двух переменных, мы будем иметь дело с множествами точек, которые представляют собой часть плоскости.
4
ОПРЕДЕЛЕНИЕ. Окрестностью (или |
ε -окрестностью) точки |
|||
M ( x0 , y0 ) называется множество точек плоскости, |
координаты которых связа- |
|||
ны неравенством ( x − x )2 + ( y − y |
0 |
)2 < ε 2 . |
|
|
0 |
|
|
|
|
Другими словами, окрестностью точки M ( x0 , y0 ) на плоскости будем |
||||
называть круг с центром |
в этой точке радиуса |
ε , не включающий окруж- |
||
ность. |
|
|
|
|
ОПРЕДЕЛЕНИЕ. Точка M называется внутренней точкой множества D , если существует окрестность этой точки, целиком лежащая в D .
То есть внутренние точки области принадлежат ей вместе с некоторой достаточно малой своей окрестностью.
ОПРЕДЕЛЕНИЕ. Если любая окрестность точки M содержит как точки области D , так и точки, не принадлежащие D , то M называется граничной точкой области D . Множество всех граничных точек области D называется ее границей.
Или, по-другому, граница плоской области – это линия, которая ее ограничивает, а точки области, не лежащие на ее границе, – внутренние точки.
ОПРЕДЕЛЕНИЕ. Область, состоящая из одних внутренних точек, называется открытой, или незамкнутой. Если к области относятся и все точки границы, то она называется замкнутой.
Вся плоскость по определению считается и открытой, и замкнутой.
ОПРЕДЕЛЕНИЕ. Плоская область называется ограниченной, если существует круг, целиком содержащий эту область.
|
|
{( |
|
) |
|
|
|
} |
|
|
ПРИМЕР. |
D = |
|
x, y |
|
: |
x |
≤ 1, |
y −1 |
≤ 2 – |
прямоугольник с центром в точ- |
ке (0,1) (рис. 3) – |
ограниченная и замкнутая область; |
|||||||||
y |
|
y |
|
|
3 |
|
|
|
|
|
|
|
1 |
|
D |
|
|
Е |
|
О |
1 |
x |
|
|
|
|
-1 |
О 1 |
x |
-1 |
|
|||
|
|
|
|
|
Рис. 3 |
|
Рис. 4 |
|
|
5
E = {( x, y ) : |
x2 < y < 1} – ограниченная и |
открытая |
(незамкнутая) |
область |
|||||||||||||
(рис. 4); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G = {( x, y ) : x > -1, |
|
|
y -1 |
|
|
|
< 2} – |
неограниченная и открытая область (рис. 5); |
|||||||||
|
|
||||||||||||||||
H = {( x, y ) : x ³ -1, |
|
|
y -1 |
|
£ 2} – |
неограниченная и замкнутая область (рис. 6). |
|||||||||||
|
|
|
|||||||||||||||
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
G |
|
|
|
|
Н |
|
|||||
-1 |
|
|
1 |
|
|
|
|
|
|
|
x |
-1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
О |
|
|
|
|
|
|
|
|
|
О |
x |
||||
|
-1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
-1 |
|
|
||||||
|
Рис. 5 |
|
|
|
|
|
|
|
|
|
Рис. 6 |
|
|||||
|
|
ЧАСТНЫЕ ПРОИЗВОДНЫЕ |
|
|||
|
Рассмотрим функцию z = z ( x, y ), ( x, y )Î D . Пусть значение переменной |
|||||
y зафиксировано, то есть y = y0 . Тогда z = z ( x, y0 ) – |
функция одной перемен- |
|||||
ной |
x . Зададим |
в некоторой |
точке |
x = x0 приращение Dx ¹ 0 , |
так что |
|
( x0 + |
x, y0 ) D . |
Полученное |
таким |
образом |
приращение |
функции |
z ( x0 + |
x, y0 ) − z ( x0 , y0 ) = |
x z ( x0 , y0 ) называется частным приращением по x |
||||||||
функции z = z ( x, y ) |
в точке ( x0 , |
y0 ) D . Оно получено в результате изменения |
||||||||
только переменной |
x . |
|
|
|
|
|
|
|
||
Если функция z = z ( x, y0 ) |
имеет в точке x = x0 производную, то |
|||||||||
|
|
lim |
z ( x0 + Dx, y0 ) - z ( x0 , y0 ) |
= z¢ |
( x , y |
|
) |
|||
|
|
|
0 |
|||||||
|
|
x→0 |
|
Dx |
|
x |
0 |
|
||
|
|
|
|
|
|
|
|
|||
называется частной производной первого порядка |
функции z = z ( x, y ) по x в |
|||||||||
точке ( x0 , y0 ) . |
|
|
|
|
|
|
|
|
|
|
Аналогично, если зафиксировать x = x0 |
и задать приращение Dy ¹ 0 , так, |
|||||||||
что ( x0 , |
y0 + Dy )Î D , то получим частное приращение функции z = z ( x, y ) по |
|||||||||
переменной y : y z = z ( x0 , |
y0 + |
y ) − z ( x0 , y0 ) |
в точке ( x0 , y0 ) D . Если функ- |
|||||||
ция z = z ( x0 , y ) имеет производную в точке |
y = y0 , то |
|
|
|||||||
6
lim |
z ( x0 , y0 + |
y ) − z ( x0 , y0 ) |
= z′y ( x0 , y0 ) |
|
|
||
y→0 |
y |
||
называется частной производной первого порядка функции z = z ( x, y ) по y в
точке ( x0 , y0 ).
Из определения следует, что в различных точках ( x0 , y0 )Î D частные
производные будут принимать различные значения. Таким образом, частные производные функции двух переменных также являются функциями двух переменных. Кроме того, частные производные вычисляются так же, как обыкновенные, при условии лишь, что одна из двух переменных фиксирована, то есть не изменяется.
ПРИМЕР. Вычислить все частные производные первого порядка функ-
ций
|
|
а) z = |
x2 |
- 2x + 3y2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
y3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
z¢ |
|
y=const |
= |
1 |
× 2x - 2, z¢ |
|
|
= - |
3 |
× x2 + 6 y . |
||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
б) z = x y |
|
|
x |
|
|
y3 |
|
|
|
y |
|
x=const |
y4 |
|||||||||||
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
z¢ |
|
y=const |
= y x y−1, |
z¢ |
|
x=const |
= x y ln x . |
|||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
y |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
Частные производные первого порядка можно обозначать по-другому: |
||||||||||||||||||||||||
z¢x |
= |
∂z , z¢y = |
∂z |
|
(сравните с обозначением обыкновенных производных: если |
|||||||||||||||||||||
|
|
¶x |
¶y |
|
|
). При этом ∂z , |
∂z |
|
|
|
|
|
|
|
|
|
|
|||||||||
z = z ( x) , то |
z¢ = |
dz |
– не частное, а единый неделимый сим- |
|||||||||||||||||||||||
|
¶y |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
dx |
|
¶x |
|
|
|
|
|
|
|
|
|
|
|||||||
вол, в то время, как обыкновенная производная |
|
dz |
– |
частное от деления диф- |
||||||||||||||||||||||
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx |
|
|
|
ференциала |
dz |
на дифференциал dx . |
|
|
|
|
|
|
|
|
|
|
||||||||||||||
ЗАМЕЧАНИЕ. При вычислении частных производных от функций большего числа переменных полагается, что все переменные, кроме той, по которой берется производная, фиксированы, то есть постоянны.
ПРИМЕР. Найти все частные производные первого порядка функции
u = z3 . x2 + 2 y4
u¢x |
|
y,z=const = z3 |
(-1) |
(x2 |
+ 2 y4 )¢x |
= - |
2xz3 |
|
|
||||||||
|
|
|
, |
|||||
|
(x2 + 2 y4 )2 |
(x2 + 2 y4 )2 |
||||||
|
|
|
||||||
7
|
|
|
|
3 |
(−1) |
2 |
|
4 ′ |
|
8 y3 z3 |
|||||
|
|
|
|
|
|||||||||||
′ |
|
|
|
|
|
|
|
(x |
+ 2 y ) y |
|
|
|
|||
|
|
= z |
|
|
|
|
= − (x2 + 2 y4 )2 , |
||||||||
uy |
|
x,z=const |
|
(x2 + 2 y4 )2 |
|||||||||||
|
|
|
|
|
|||||||||||
|
|
|
|
|
′ |
|
|
= |
|
3z2 |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
uz |
|
x, y=const |
|
|
|
|
||||
|
|
|
|
|
|
x2 + 2 y4 |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|||||||
По определению вторая производная – это производная от первой производной, поэтому функция двух переменных имеет 4 производные второго порядка:
′ ′ |
′′ |
(zx )x |
= zxx |
′ ′ |
′′ |
(zx )y |
= zxy |
′ |
′ |
′′ |
(zy )y |
= zyy |
|
′ |
′ |
′′ |
(zy )x |
= zyx |
|
или
или
или
или
∂ ∂z |
= |
∂2 z |
, |
|||||||
|
|
|
|
∂x |
2 |
|||||
|
|
|||||||||
∂x ∂x |
|
|
|
|||||||
|
∂ ∂z |
|
= |
|
∂2 z |
|||||
|
|
|
|
|
|
|
|
|
||
|
|
|
∂x |
∂y |
∂x |
|||||
|
∂y |
|
|
|||||||
|
∂ |
∂z |
|
= |
∂2 z |
|||||
|
|
|
|
|
|
|
|
2 , |
||
|
|
|
∂y |
∂y |
||||||
|
∂y |
|
|
|
||||||
|
∂ |
∂z |
|
= |
|
∂2 z |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂y |
∂x |
∂y |
||||
|
∂x |
|
|
|||||||
,
.
Очевидно, |
функция z = z ( x, y ) имеет 8 производных третьего порядка, |
16 – четвертого,…, |
2n производных n -го порядка. |
∂ |
∂z |
= |
∂2 z |
||
|
|
|
∂x |
2 |
|
|
|||||
∂x |
∂x |
|
|
||
∂z ∂x
∂ |
∂z |
= |
∂2 z |
||
|
|
|
|
|
|
|
∂y |
∂x |
|||
∂y |
∂x |
|
|||
z ( x, y ) 
∂z
∂y
∂ |
|
∂z |
= |
∂2 z |
|
|
|
|
|
|
|
|
|
∂x ∂y |
|||
∂x |
∂y |
|
|||
∂ |
|
∂z |
= |
∂2 z |
|
|
|
|
∂y |
2 |
|
|
|||||
∂y |
∂y |
|
|
||
∂3 z |
|
∂3 z |
|
|
∂3 z |
|
∂3 z |
|
|
|
|
∂3 z |
|
|
∂3 z |
|
∂3 z |
|
∂3 z |
||||||||
∂x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂y |
|
||||
3 |
|
∂y ∂x |
2 |
|
∂x ∂y ∂x |
|
|
∂y ……∂x |
|
|
∂x |
2 |
∂y |
|
|
|
∂y ∂x ∂y |
|
∂x ∂y |
2 |
3 |
||||||
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
… |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂2 z |
∂2 z |
|
|
|
∂3 z |
|
|
∂3 z |
|
|
|
|
|
||||||
|
|
Частные |
производные |
|
|
, |
|
|
, |
|
|
|
, |
|
|
|
и т.д. называются |
||||||||||
|
|
∂x ∂y |
∂y ∂x |
∂x2 ∂y |
∂x ∂y2 |
||||||||||||||||||||||
смешанными частными производными второго, третьего и т.д. порядков.
8
|
|
|
ПРИМЕР. |
Вычислить производные второго порядка |
|
|
∂2 z |
|
|
|
и |
|
|
∂2 z |
от |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
∂x ∂y |
|
∂y ∂x |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
z = |
y |
|
+ 2x y + x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
функции |
|
|
|
|
|
|
y . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
¶ |
|
|
|
|
|
|
|
|
|
|
|
(-2) |
|
|
|
|
|
2 |
|
|
|
|
|
|
¶ |
2 z |
|
|
|
|
¶ |
|
¶ |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
3x2 |
|
|||||||||||||||
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
+ 2 y + 3x y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
= y × |
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
= - |
|
|
|
+ 2 + |
|
|
|
|
|
|
|
, |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
¶x |
|
y=const |
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
¶y ¶x |
¶y |
|
¶x |
|
x=const |
|
|
|
x |
|
|
|
|
|
|
|
2 y |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
∂z |
|
|
= |
|
1 |
+ 2x + |
|
x3 |
|
∂2 z |
|
= |
|
∂ |
∂z |
|
|
|
= − |
|
2 |
+ 2 |
+ |
3x2 |
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
x |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
3 |
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
∂y |
|
x=const |
|
|
|
|
2 |
|
|
|
|
|
∂x ∂y |
|
∂x |
∂y |
|
y=const |
|
|
|
|
|
|
|
2 y |
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
Оказалось, |
|
|
|
что эти |
|
|
|
|
смешанные |
|
|
|
частные производные |
|
|
|
равны: |
|||||||||||||||||||||||||||||||||||||||||||
|
∂2 z |
= |
|
∂2 z |
. Это равенство неслучайно. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
∂x ∂y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
∂y ∂x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
ТЕОРЕМА. Частные производные одной и той же функции, отличающиеся лишь порядком дифференцирования, равны при условии их непрерывности.
(Без доказательства).
ЗАМЕЧАНИЕ. Геометрический смысл частных производных первого
порядка: так как уравнение z = z ( x, y ) |
задает поверхность, а условие x = const |
||||||||
– её сечение плоскостью, то z′ ( x , |
y |
) – угловой коэффициент касательной, |
|||||||
|
y |
0 |
0 |
|
|
|
|
|
|
проведенной в точке N ( x0 , y0 , z0 ) |
к кривой, |
полученной сечением поверхности |
|||||||
z = z ( x, y ) |
плоскостью x = x . Аналогично, |
|
z′ |
( x , |
y ) – угловой коэффициент |
||||
|
0 |
|
|
|
|
x |
0 |
0 |
|
касательной, проведенной в точке N к кривой, полученной сечением поверхно- |
|||||||||
сти z = z ( x, y ) плоскостью y = y0 |
(рис. 7). |
|
|
|
|
|
|||
|
|
z |
|
|
|
|
|
|
|
|
z = z ( x, y ) |
|
|
|
|
|
|
|
z′x (M ) = tg α |
|
|
|
|
|
|
|
|
z¢y (M ) = tg β |
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
О |
|
|
|
y0 |
|
y |
|
|
x0 |
|
|
|
|
|
|
|
β |
|
|
|
|
|
|
|
|
||
|
|
|
|
М |
|
|
|
|
|
|
α |
|
|
|
|
|
|
|
|
|
х |
|
|
|
|
|
|
|
|
Рис. 7
9
ПОЛНЫЙ ДИФФЕРЕНЦИАЛ ФУНКЦИИ ДВУХ ПЕРЕМЕННЫХ. УСЛОВИЕ ДИФФЕРЕНЦИРУЕМОСТИ
Рассмотрим функцию |
z = z ( x, y ), ( x, y ) D и зададим приращения |
Dx ¹ 0, Dy ¹ 0 так, чтобы ( x + |
x, y + y ) D . |
ОПРЕДЕЛЕНИЕ. Полным приращением функции z = z ( x, y ) в точке
M ( x, y) , соответствующим приращениям Dx, Dy , называется z = z ( x + x, y + y ) − z ( x, y) .
ОПРЕДЕЛЕНИЕ. Функция z = z ( x, y ) называется дифференцируемой в
некоторой точке M ( x, y) , если её полное приращение в этой точке представи-
мо в виде: |
z = A x + B y + α ( x, |
y) |
x + β ( x, |
|
y ) |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
y , |
|
|
|
|
||||||||||||||||||
где A, B = const, а |
lim |
α ( |
x, |
|
y ) = lim |
β ( |
x, y ) = 0 . |
|
|
|
|
|
|
|
|||||||||||
|
|
x, y→0 |
|
|
|
|
x, y→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
ТЕОРЕМА (достаточное условие дифференцируемости функции двух |
||||||||||||||||||||||||
переменных). Если функция z = z ( x, y ) |
имеет в некоторой окрестности точки |
||||||||||||||||||||||||
M ( x, y ) непрерывные частные производные z′x ( x, y ), |
z′y ( x, y ) , то она диффе- |
||||||||||||||||||||||||
ренцируема в этой точке. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
ДОКАЗАТЕЛЬСТВО. |
Зададим |
Dx ¹ 0, |
Dy ¹ 0 |
и рассмотрим |
полное |
|||||||||||||||||||
приращение функции: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
z = z ( x + x, y + y ) − z ( x, y ) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
= (z ( x + x, y + y ) − z ( x + x, y )) + |
(z ( x + x, y ) |
− z ( x, y )). |
||||||||||||||||||||||
|
|
144444424444443 |
14444244443 |
|
|
|
|||||||||||||||||||
|
|
|
изменяется только y |
|
|
|
|
|
|
изменяется только x |
|
|
|
|
|||||||||||
|
Так как по условию обе частные производные первого порядка сущест- |
||||||||||||||||||||||||
вуют, |
применим |
к |
каждому |
слагаемому |
|
теорему |
Лагранжа: |
||||||||||||||||||
f (b) − f (a) = f ′(c)(b − a) , c (a, b) |
(см. гл. 5). |
При b = y + Dy, a = y |
получим |
||||||||||||||||||||||
z ( x + |
x, y + |
y ) − z ( x + |
x, |
y ) = z′y ( x + |
x, |
|
|
) |
y , где |
|
– между y и |
y + y ; |
|||||||||||||
|
y |
y |
|||||||||||||||||||||||
Аналогично, |
при b = x + |
x, |
a = x : |
z ( x + |
x, |
y) − z ( x, y) = z′x ( |
|
, y) |
x , где |
|
– |
||||||||||||||
x |
x |
||||||||||||||||||||||||
между x и x + x . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
Тогда |
|
|
z = z′x ( |
|
, y) |
x + z′y ( x + |
|
|
) |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
x, |
|
y |
|
|
|
|
(6.1) |
|||||||||||||
|
|
|
|
x |
y |
|
|
|
|
||||||||||||||||
10
Кроме того, частные производные z′x ( x, y ), z′y ( x, y ) по условию непре-
рывны в окрестности точки M ( x, y ) , поэтому
lim |
z′y ( x + Dx, |
|
) = z′y |
( x, y ), lim z′x ( |
|
, y ) = z′x ( x, y ) |
|
||
y |
x |
|
|||||||
x, y→0 |
|
|
|
|
|
x, y→0 |
|
||
|
z′x ( |
|
, y ) = z′x ( x, y ) + α (Dx, Dy ) , |
(6.2) |
|||||
|
x |
||||||||
где α (Dx, Dy ) ¾¾¾¾®0 ;
x, y→0
z′y ( x + Dx, |
|
) = z′y ( x, y ) + β (Dx, Dy ) , |
(6.3) |
y |
где β (Dx, Dy ) ¾¾¾¾®0 .
x, y→0
Подставим (6.2), (6.3) в (6.1):
Dz = (z¢x ( x, y ) + α (Dx, Dy ))Dx + (z¢y ( x, y ) + β (Dx, Dy )) Dy .
Обозначив |
z′x ( x, y ) = A, |
z′y ( x, |
|
y ) = B , получим требуемое. |
|
|
|
|
||||||||||||||||||||||||
ОПРЕДЕЛЕНИЕ. Главная линейная часть полного приращения функции |
||||||||||||||||||||||||||||||||
z = z ( x, y ) |
в точке M ( x, y ) называется |
ее |
полным дифференциалом в этой |
|||||||||||||||||||||||||||||
точке: dz = z′x ( x, y ) Dx + z′y ( x, |
y ) Dy . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Так как x и |
y – независимые переменные, то x = dx, |
|
y = dy и |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
dz = z′x ( x, y ) dx + z′y ( x, y ) dy . |
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
||||||||||||
ПРИМЕР. Найти полный дифференциал функции z = |
|
y |
+ 6x - 2 y |
|||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|||
а) в точке M ( x, y) , |
б) в точке A(1, 4). |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
z¢ |
|
|
= 2 |
|
× (-2) |
+ 6, z¢ |
|
|
|
|
|
|
= |
|
1 |
|
|
|
- 2 . |
|
|
|
|
|
||||||||
|
|
y |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
x |
|
|
y=const |
|
|
|
|
x3 |
|
|
|
y |
|
x=const |
|
x2 |
|
y |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-4 y + |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
а) dz ( x, y ) = |
6 dx + |
|
|
|
|
|
|
- 2 dy , |
|
|
|
|
|
|
||||||||||||||||||
|
|
|
2 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
x |
3 |
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
б) dz (1, 4) = (-8 + 6)dx + |
|
1 |
- 2 |
dy = -2dx -1,5dy . |
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
11
