Document 579324

advertisement
Практическое занятие 1
функции многих переменных
Предел
и
непрерывность
1.1 Пространство Rn
1.2 Функции многих переменных
1.3 Предел функции многих переменных, повторные пределы
1.4 Непрерывность функции многих переменных
1.1 Пространство Rn
n -мерным арифметическим точечным пространством
называется
множество
всех
упорядоченных
наборов
( x1 ; x2 ;...; xn ) действительных чисел x1 , x2 , ... , xn и обозначается Rn ; его элементы – точками пространства Rn ; числа x1 , x2 ,
... , xn – координатами точки ( x1 ; x2 ;...; xn ).
Точки пространства Rn обозначаются M x1 ; x2 ;...; xn  или
x  x1 , x2 ,..., xn  . Точка O0;0;...;0  называется началом координат.
Расстоянием (метрикой)   x, x ' между двумя точками
x  x1 ; x2 ;...; xn  и x'  x1 ; x2 ;...; xn  называется число
n
  x  x 
  x; x ' 
i
i 1
i
2
.
При n  1 имеем пространство R1 (прямая) с расстоянием:
 x, x'  x1  x1' ;
при n  2 имеем пространство R2 (плоскость) с расстоянием:
 x; x' 
x  x   x
' 2
1
1
2
 x2'

2
;
при n  3 имеем пространство R3 с расстоянием:
 x; x' 
x  x   x
' 2
1
 
2

2
 x2'  x3  x3' .
Арифметическое n -мерное пространство, в котором определено расстояние между двумя точками, называется метрическим
(евклидовым) пространством Rn .
1
2
5
Пусть

 xm  ,

xm  x1m ; x2m ;...; xnm , – последовательность точек
метрического пространства Rn . Говорят, что последовательность точек  xm  сходится к точке a , a  a1 ; a2 ;...; an  (имеет
предел a ), если lim  xm ; a   0 :
m
lim xm  a .
m 
Для

того
чтобы

последовательность
точек
 xm  ,
xm  x1m ; x2m ;...; xnm , сходилась к пределу a   a1 ; a2 ;...; an  R n ,
необходимо и достаточно, чтобы выполнялись равенства:
lim x1m  a1 , lim x2m  a2 , ... , lim xnm  an .
m
m
m
Для последовательностей пространства Rn имеют место аналогичные определения и свойства как и для последовательностей пространства R1 .
Если последовательность точек  xm  метрического пространства Rn сходится, то она является фундаментальной. Обратное
утверждение для произвольного метрического пространства неверно. Метрическое пространство Rn называется полным, если
любая фундаментальная последовательность его точек сходится.
Множество точек x   x1 ; x2 ;...; xn   R n , расстояние от каждой


из которых до фиксированной точки x 0  x10 ; x20 ;...; xn0 меньше
положительного числа r , называется  -окрестностью точки
x0  x10 ; x20 ;...; xn0 :


U    x0  
x
  x, x0   
.
Данное множество называется n -мерным открытым шаром
радиуса  с центром в точке x0  x10 ; x20 ;...; xn0 .


Проколотой  -окрестностью точки x0 Rn с радиусом 
называется множество точек x  R n , удовлетворяющих неравенству 0   x, x0    :


U    x0   x  R n 0    x, x0    .
6
Пусть G – некоторое множество пространства Rn . Точка
называется внутренней точкой множества G , если существует
ее окрестность, целиком принадлежащая этому множеству.
Множество G называется открытым, если все его точки внутренние. Любое открытое множество, содержащее точку
x0  x10 ; x20 ;...; xn0 , является ее окрестностью. Точка называется
граничной точкой множества G , если в любой ее окрестности
содержатся точки, как принадлежащие множеству G , так и не
принадлежащие ему. Множество граничных точек называется
границей множества G и обозначается G . Граничная точка
может, как принадлежать множеству G , так и не принадлежать
ему. Точка называется предельной точкой множества G , если в
любой ее окрестности содержится бесконечно много точек множества G . Точка, не являющаяся предельной точкой множества
G , называется изолированной точкой множества G . Множество
G называется замкнутым, если оно содержит все свои предельные точки. Множество, которое получается, если присоединить
к множеству G все его предельные точки, называется замыканием G и обозначается G . Множество G называется ограниченным, если существует такой n -мерный шар, который содержит внутри себя все точки множества G . Множество G называется компактом, если оно замкнуто и ограничено.
Множество
   x1 ; x2 ;...; xn  x1  t  , x2  t  ,... , xn  t  ;  t   ,




называется
непрерывной
кривой,
соединяющей
точки
P1  x1   ; x2   ;...; xn    и P2  x1    ; x2    ;...; xn     . Здесь
xi  t  , i  1,2,..., n , непрерывные функции на отрезке  ;   .
Множество G называется связным, если любые две точки
этого множества можно соединить непрерывной кривой  , целиком принадлежащей этому множеству. Открытое связное
множество называется областью, объединение области и ее границы называется замкнутой областью.
7
1.2 Функции многих переменных
Пусть
каждой точке
f
G  R n . Если правило
x  x1 ; x2 ;...; xn  G ставит в соответствие некоторое вполне
определенное действительное число f  x1 , x2 ,..., xn  , то говорят,
что на множестве G задана числовая функция (или отображение) f от n переменных:
f : Rn  R .
Множество G называется областью определения и обознача-

ется D f   G ; множество E  u  R u  f  x  , x G

– мно-
жеством значений функции f .
В частном случае при n  2 функцию двух переменных можно рассматривать как функцию точек плоскости R2 . Частное
значение функции f  x, y  в точке M 0  x0 ; y0  обозначается
f x0 , y0  , f M 0  , f
 x0 ; y0 
и f
M0
.
Функция f двух переменных x и y может быть задана аналитическим, табличным, графическим и другими способами.
График функции двух переменных z  f x, y  изображается в
трехмерном пространстве при выбранной декартовой системе
координат Oxyz как множество точек

  x; y; z   R
3

z  f  x, y  ,
которое есть некоторая поверхность в R . Проекцией этой поверхности на плоскость Oxy является область D  f  .
Функцию трех и более переменных изобразить графически
затруднительно.
Функции многих переменных задаются:
– явно уравнением, разрешенным относительно зависимой
переменной:
z  f ( x, y) , u  f ( x, y, z ) , u  f ( x1 , x2 ,..., xn ) ;
– неявно уравнением, не разрешенным относительно зависимой переменной:
F  x; y   0 ), F  x; y; z   0 , F  x1 ; x2 ;...; xn   0 .
3
8
Множество точек x  x1 , x2 ,..., xn  пространства Rn , удовлетворяющих уравнению f x1 , x2 ,..., xn   c , называется множеством уровня функции u  f x1 , x2 ,..., xn  , соответствующим
данному значению c .
При n  2 множество уровня называется линией уровня; при
n  3 множество уровня называется поверхностью уровня; при
n  3 множество уровня называется гиперповерхностью уровня.
1.3 Предел функции многих переменных, повторные пределы
Число A называется пределом (по Гейне) функции f ( x) ,


x  x1 , x2 ,..., xn  , в точке x0  x10 ; x20 ;...; xn0 , если для любой по-
следовательности точек
 xm  ,
xm 

x1m ; x2m ;...; xnm
,
m  1,  ,

xm U   x0  , сходящейся к x0 , соответствующая последова-
тельность  f  xm   значений функции сходится к A :
A  lim f x  
x  x0

  xm m 1 , xm U   x0  , lim xk  x0
k 
lim f xm   f x0  .
k 
Предел функции также обозначается:
A  lim 0 f x1 , x2 ,..., xn  и A  lim f  M  ,
M M 0
x1  x1
x2  x20
..........
xn  xn0
где M  x1 , x2 ,..., xn  , M 0  x10 ; x20 ;...; xn0  точки пространства Rn .
Аналогично функции одной переменной, определение предела по Гейне функции многих переменных на языке последовательностей эквивалентно определению предела по Коши.
Число A называется пределом (по Коши) функции f ( x) ,


x  x1 , x2 ,..., xn  , в точке x0  x10 ; x20 ;...; xn0 , если для любого
  0 существует     0 , такое, что для любой точки

x U   x0  выполняется неравенство f x   A   :
9

f x   A   .
A  lim f x     0 U   x0  :  x U   x0 
x  x0
Если функция двух переменных
f  x; y 
определена в

окрестности U  ; x0 , y0  и число A является пределом при
x, y   x0 , y0  , то предел
A  lim f x; y 
x  x0
y  y0
называется двойным пределом.
Геометрически неравенство
f  x; y   A   означает, что
точки графика функции f  x, y  для  x; y   U    x0 ; y0   находятся между двумя плоскостями z  A   и z  A   , т. е. предел функции f  x; y  при x  x0 , y  y0 определяется поведением функции вблизи точки  x0 ; y0  и не зависит от значения
функции в этой точке.
Для случая функций многих переменных сохраняются все
свойства пределов функций одной переменной (кроме тех, где
существенна упорядоченность точек числовой прямой, например, односторонние пределы).
Бесконечные пределы для функций многих переменных
f ( x) , x  x1 , x2 ,..., xn  , определяются по той же схеме, что и для
функций одной переменной.
Например,

lim f  x       0 U   x0  :  x U   x0 
x  x0
f  x   .
П о в т о р н ы е п р е д е л ы . Для функции f  x, y  можно
определить понятие предела по переменной x , полагая переменную y постоянной, и можно определить предел по y , полагая x постоянной.
Пусть функция f  x, y  задана в окрестности точки  x0 , y0 
за исключением, быть может, самой точки  x0 , y0  . И пусть для
каждого фиксированного y из этой окрестности при x  x0 для
10
функции z  f x, y  одной переменной x существует предел
lim f  x; y   g  y  , а при y  y0 для функции g  y  существует
x  x0
yфик
предел lim g  y   b . Тогда говорят, что существует повторный
y  y0
предел b для функции f  x, y  в точке  x0 , y0  :
lim lim f x; y   b .
y  y 0 x  x0
Аналогично определяется повторный предел lim lim f x; y  .
x  x0 y  y 0
Т е о р е м а 1 Пусть функция f  x, y  определена в некоторой окрестности точки  x0 , y0  и имеет в этой точке двойной
предел lim f x; y   b . И пусть для любого фиксированного x из
x  x0
y  y0
этой окрестности существует предел lim f  x; y   h  x  и для
y  y0
xфик
любого фиксированного y из этой окрестности существует
предел
lim f  x; y   g  y  .
Тогда
x  x0
yфик
повторные
пределы
lim lim f x; y  и lim lim f x; y  существуют и равны:
y  y 0 x  x0
x  x0 y  y 0
lim lim f x; y   lim lim f x; y  .
y  y 0 x  x0
x  x0 y  y 0
1.4 Непрерывность функции многих переменных
Функция f  x  , x  x1 , x2 ,..., xn   Rn , определенная в окрестно-


сти U  , x0  точки x0  x10 ; x20 ;...; xn0 называется непрерывной в
точке x0 , если lim f x   f x0  .
x  x0
В противном случае точка x0 называется точкой разрыва
функции f  x  .
В частности, для функции f  x, y  точки разрыва могут быть
изолированными или образовывать линию разрыва, а для функции f ( x, y, z ) точки разрыва могут быть изолированными, обра-
11
зовывать линию или поверхность разрыва.
Для случая функций многих переменных сохраняются все
свойства непрерывных функций одной переменной.
Пусть функция f  x  , x  x1 , x2 ,..., xn   Rn , определена на
множестве G  Rn . Функция f  x  называется непрерывной на
множестве G , если в каждой точке этого множества она непрерывна:
lim f  x   f  x0   x0  G .
x  x0
Теорема 2 (непрерывность сложной фун кц и и ) Пусть функции x1  t  , x2  t  , ... , xn  t  , t   t1 , t2 ,..., tm  ,
определены
в
некоторой
окрестности
точки
0 0
0
m
и непрерывны в точке t 0 . Функция
t0   t1 ; t2 ;...; tm   R
f  x1 , x2 ,..., xn 
определена
в
окрестности
точки
x0   x1  t0  ; x2  t0  ;...; xn  t0   R и непрерывна в точке x0 . Тоn
гда в некоторой окрестности точки t 0 определена сложная


функция   t   f x1  t  ; x2  t  ;...; x n  t  , причем функция  t 
непрерывна в точке t 0 .
Вопросы для самоконтроля
1 Дайте определения: а) n -мерного арифметического точечного пространства; б) расстояния в пространстве Rn , в) n мерного евклидова пространства.
2 Дайте определения окрестности и проколотой окрестности
точки в пространстве Rn .
3 Какая точка множества называется: а) внутренней; б) граничной; в) предельной; г) изолированной?
4 Может ли внутренняя точка не принадлежать множеству?
Может ли точка одновременно быть внутренней и граничной
для некоторого множества?
5 Какое множество называется а) открытым; б) замкнутым;
в) компактом; г) связным; д) областью?
12
6 Что называется функцией в пространстве Rn ?
7 Что называется множеством уровня?
8 Сформулируйте определения предела функции f  x, y  в
точке по Гейне и по Коши.
9 Дайте для функции многих переменных определения бесконечных пределов:
а) lim f  x    , lim f  x    , lim f  x    ;
x  x0
x  x0
x  x0
б) lim f  x   A , lim f  x   A , lim f  x   A ;
x 
x 
x 
в) lim f  x    , lim f  x    , lim f  x    .
x 
x 
x 
10 Сформулируйте определение повторного предела функции
двух переменных.
11 Какая функция называется непрерывной в точке?
12 Какими свойствами обладают непрерывные функции?
13 Сформулируйте теорему о непрерывности сложной функции многих переменных.
Решение типовых примеров
1 Найти область определения функции:
а) z  x 2  y 2 ,
в) z  1  x12  x22  ...  xn2 ,


б) z  4  x 2  2 y 2 .
г) z  ln 5  x 2  y 2  z 2 .
Р е ш е н и е . а) область определения этой функции
D  f   R 2 , множество значений E  f   0;  . Графиком данной функции в пространстве R3 является круговой параболоид
(рисунок 1. 1);
б) областью определения D  f  этой функции является множество всех точек плоскости R2 , для которых определено выражение
4  x 2  2 y 2 , т. е.
4  x2  2 y2  0 .
Множество таких точек лежит внутри и на эллипсе с полуосями a  2 , b  2 (рисунок 1. 2):
13


x2 y 2
D  f     x; y   R 2
 1 .
4 2


Множество значений E  f   0;2 . Графиком этой функции
является верхняя часть эллипсоида;
Рисунок 1. 1 – График функции
Рисунок 1. 2 – График функции
zx y
z  4  x2  2 y 2
2
2
в) функция определена, если 1  x12  x22  ...  xn2  0 или
x12  x22  ...  xn2  1 . Отсюда


D  f   ( x1; x2 ;...; xn )  Rn x12  x22  ...  xn2  1 ,
т. е. областью определения D  f  данной функции является
множество точек замкнутого n -мерного шара радиусом r  1 с
центром в начале координат. R . Множество значений функции
есть отрезок  0;1 :
E  f   0;1;
г)
функция
определена,
если
5  x2  y 2  z 2  0
или
x  y  z  5 . Отсюда областью определения D  f  данной
функции является множество точек открытого трехмерного шара радиусом 5 :
2
2
2
D f  
  x; y; z   R
3

x2  y 2  z 2  5 .
Множество значений функции есть E  f    ; ln 5 .
2 Используя определение предела а) по Гейне; б) по Коши
14
x3  y 3
 0.
x 0 x  y
y 0
доказать lim
Р е ш е н и е . а) область определения данной функции
D  f     x; y   R 2 x  y  . Возьмем произвольную последовательность точек
 M k    xk ; yk  ,
таких, что xk  y k , xk  0 ,
y k  0 . Тогда
f M k  
xk3  y k3
 xk2  xk y k  y k2 .
xk  y k
Следовательно,
lim
x 0
y 0
x3  y 3
 lim  xk2  xk yk  xk2   0 ;
k 
x y
б) выберем произвольное число   0 и найдем    , такое,
что для любой точки M  x; y  U  ;  0;0   выполняется неравенство f x, y   0   . Так как для любой точки M ( x; y )  D f 
справедливо соотношение
x3  y 3
f  x, y  
 x 2  xy  y 2 ,
x y
то
f x, y   0  x 2  xy  y 2  x 2  y 2  xy .
Оценим x  y :
 x  y 2  x2  2xy  y 2  x 2  y 2  0
Таким образом,
f x, y   0 

 x y 


1 2
x  y2 .
2

3 2
3
x  y 2   2 O, M    .
2
2
Отсюда  O, M  
2
 , где  O; M  – расстояние от точки
3
M x; y  до точки O 0;0  .
15
Следовательно, для любого   0 существует число
2
   
 , такое, что для любой точки M  x; y  U  ,  0;0 
3
будет выполняться неравенство
x3  y 3
0  .
x y
По определению предела функции по Коши заключаем, что
x3  y 3
lim
0
x 0 x  y
y 0
3 Найти точки разрыва функций:
1
1
а) z 
; б) z 
;
2
2
x y
x  4  y
Р е ш е н и е . а) функция z 
в) u 
1
x  4
2
.
x  y  z2  9
2
2
определена на R2
y
всюду, кроме точки M 4;0  , которая и является точкой разрыва
функции;
1
б) функция z 
определена для любых x , y , таких, что
x y
x  y . Следовательно, прямая x  y является линией разрыва
функции;
2
в) функция u  2
определена для любых x , y ,
2
x  y  z2  9
2
2
z , таких, что x 2  y 2  z 2  9 . Следовательно, сфера с центром в
начале координат и радиусом R  3 является поверхностью разрыва функции.
16
Задания для аудиторной работы
1 Являются ли окрестностями точки A 1;1 множества:
  x; y 
б)   x; y 
в)   x; y 
г)   x; y 
а)

0  x  1, 0  y  1 ;

x2  y 2  1 ;

0  x  2,  1  y  2 ;

0  x  1, 0  y  1 ?
2 Найти внутренние, граничные и предельные точки множеств:
а)
б)
  x; y 

x  1, y  1 ;
  x; y; z 

x2  y 2  z  2 ;
  x; y; z  1  x  y
г)   x; y  x  y  0  .
в)
2
2

 z2  4 ;
Какие из множеств являются открытыми, замкнутыми, связными, компактами?
3 Найти предел последовательности  xn  в R2 , где


1 1
xn   n sin   ; sin n  .
n n


4 Найти области определения следующих функций:
а) z  x 2  y 2  4 ;
д) z  9  x 2  y


б) z  y cos x ;
е) z  arcsin
x
;
x y
x2  y2
;
z
в) u  arcsin
г) z 
1
25  x  y
2
2
2
;
ж) u  x 2  y 2  z 2  25 ;
и) z 
;
17
1
1
.

sin x sin y
5 Найти для функции
f  x; y  
2x  3y
значения
3x  2 y
f 2;1 ,
f 1;2  , f a; a  , f  a; a  .
6 Выяснить, имеет ли предел при x  0 , y  0 функция
f  x; y  
7 Вычислить пределы:
xy
а) lim
;
x0 3  xy  9
y 0


б) lim x 2  y 2 sin
x
y 
x2  y2
?
x2  y2
sin xy
;
x 0
y
y 0
г) lim
x2  y 2
;
x  x 4  y 4
y 
1
;
2
x  y2
д) lim
x  22   y  32 ;
x  2  x  2 2   y  32
y  3
в) lim
е) lim
x 1
y 0
tg 2 xy
.
x2 y
8 Показать, что для функции
f x; y   2 x  3 y sin
не
существуют
1
1
sin
x
y
пределы
повторные
lim lim f x; y  , но существует lim f x; y   0 .
y 0 x 0
lim lim f x; y  ,
x 0 y 0
x 0
y 0
9 Показать, что для функции
x2  y2  x  2 y
f x; y  
x y
существуют повторные пределы lim lim f  x; y  , lim lim f  x; y  , а
x 0 y 0
предел lim f x; y  не существует.
y 0 x 0
x 0
y 0
10 Имеет ли предел при x   , y   функция
f  x; y  
18
x2  y4
?
x4  y2
11 Найти точки разрыва следующих функций:
1
1
а) f x; y  
;
г) f  x; y; z  
;
2
2
sin xyz
x  1   y  2
1
2
2
б) f  x; y   ln 1   x  1   y  2  ; д) f x; y; z   2
;
x  y2  z
в) f x; y  
x2  y 2  2x  3 y
;
x y
е) f x; y; z  
1
.
x  y2  z2
2
Задания для домашней работы
1 Являются ли окрестностями точки A  1; 1 множества:
  x; y 
б)   x; y 
в)   x; y 
а)

 1  x  2,  1  y  1 ;

x2  y 2  1 ;

 2  x  1,  3  y  0 ?
2 Найти внутренние, граничные и предельные точки множеств:
  x; y  x  y  1 ;
б)   x; y; z  x  y  z  4  ;
а)
2
2


x2
z2
в)   x; y; z  1   y 2   4 ;
4
9


г)
  x; y 
x2  y 2  1
 1;0 .
Какие из множеств являются открытыми, замкнутыми, связными, компактами?
3 Найти предел последовательности  xn  в R3 , где
  1n n 2  3n  5  n  1  n 
xn  
;
;
  .
2
 n
2
n

5
n

2

 

4 Найти области определения функций:
19
2x  3y  4
;
x  4y
а) z  9  x 2  y 2 ;
д) z 
б) z  ln  x  y  ;
x
в) z  arccos 2  arcsin1  y  ;
y
е) z  y sin x ;
г) u  arcsin


ж) u  ln 1  x 2  y 2  z 2 ;
z2  y2
;
x
и) z 
1
.
cos x sin y
 x
5 Найти f  3;4  , f 1;  , f a; a  , f  a; a  , где
 y
2 xy
.
f x; y   2
x  y2
6 Вычислить пределы:
1
sin xy
а) lim 1  x 2  y 2 x2  y2 ;
г) lim
;
x 0
x0
xy
y 0


y0
x3  y
;
x1 x 2  y 2
y2
x2 y
;
x1 x 3  y 3
y1
б) lim
в) lim
x 1
y 0
x  12  4 y 2
x  12  y 2
д) lim
е) lim  x  y  e
;

 x2  y 2
x 
y 
7 Показать, что для функции f x; y  
.
x2 y2
суще2
x 2 y 2  x  y 
ствуют оба повторных предела lim lim f  x; y  , lim lim f  x; y  а
x 0 y 0
предел lim f x; y  не существует.
y 0 x 0
x 0
y 0
1
1
8 Показать, что для функции f  x; y    x  y  sin sin
не
x
y
существуют повторные пределы lim lim f  x; y  , lim lim f  x; y  , а
предел lim f x; y  существует.
x 0 y 0
x 0
y 0
20
y 0 x 0

9 Имеет ли предел функция f x; y   sin ln x 4  y 2
x  0, y 0 ?
10 Найти точки разрыва функций:
1
а) f x; y  
;
sin x sin y


б) f x; y   ln 1  x 2  y 2 ;
1
в) f x; y   2
;
2
x  y 1 x2  y 2 1
1
г) f  x; y; z   2
;
2
x  y  z2 1
1
д) f x; y; z   2
;
2
x  y  z2 1
1
е) f x; y  
.
x  y  y 2  x





21

при
Практическое занятие 2 Частные производные
2.1 Частные и полные приращения функции многих переменных
2.2 Частные производные
2.3 Геометрический и механический смысл частных производных функции многих переменных
2.4 Полный дифференциал функции многих переменных и
его геометрический смысл
2.1 Частные и полные приращения функции многих переменных
Пусть функция f  x1 , x2 ,..., xn  определена в окрестности точ-


ки x0  x10 ; x20 ;...; xn0 . Дадим переменной x10 приращение x1 , а
значения
x 20
,
x30
, ... , x n0 оставим без изменения.
Частным приращением функции f  x1 , x2 ,..., xn  по перемен-


ной x1 в точке x0  x10 ; x20 ;...; xn0 называется приращение

 

 x1 f x0   f x10  x1; x20 ;...; xn0  f x10 ; x20 ;...; xn0 .
Аналогично определяются частные приращения  x2 f x0  ,
 x3 f x0  , ... ,  xn f x0  по переменным x2 , ... , xn в точке


x0  x10 ; x20 ;...; xn0 .

Полным приращением в точке x0  x10 ; x20 ;...; xn0
f  x1 , x2 ,..., xn  называется разность

 

функции

f x0   f x10  x1; x20  x2 ;...; xn0  xn  f x10 ; x20 ;...; xn0 .
Геометрически для функции f  x, y  в точке  x0 ; y0  частные
и полное приращения
 x z   x f x0 , y0   f x0  x, y0   f x0 , y0  ,
 y z   y f x0 , y0   f x0 , y0  y   f x0 , y0 
z  f x0 , y0   f x0  x, y0  y   f x0 , y0 
можно изобразить отрезками A1 B1 , A2 B2 и A3 B3 (рисунок 2. 1).
22
Рисунок 2. 1 – Геометрический смысл частных и
полного приращений функции f  x, y 
2.2 Частные производные
Частной производной функции f  x1 , x2 ,..., xn  по переменной


x1 в точке x0  x10 ; x20 ;...; xn0 называется предел отношения частного приращения функции  x1 f  x0  к соответствующему при-
ращению аргумента x1 , когда x1 произвольным образом
стремится к нулю:
f x10  x1 ; x20 ;...; xn0  f x10 ; x20 ;...; xn0
f
= lim
.
x1
x1 x1 0

 

Для записи частной производной функции f  x1 , x2 ,..., xn  по

переменной x1 в точке x0  x10 ; x20 ;...; xn0
обозначение
f x'1
x  x0

используется также
.
Аналогично определяются частные производные

f
f
,
,
x2 x3

f
по переменным x2 , ... , xn в точке x0  x10 ; x20 ;...; xn0 .
xn
Частная производная функции нескольких переменных определяется как производная функции одной из этих переменных
при условии, что все остальные переменные остаются постоянными. Вследствие этого, все правила и формулы дифференцирования, справедливые для производных функций одной перемен... ,
23
ной, имеют место и для частных производных. Однако во всех
этих правилах и формулах при нахождении частной производной по какой-либо переменной все остальные переменные считаются постоянными.
2.3 Геометрический и механический смысл частных производных функции многих переменных
Геометрический смысл частных производных. Рассмотрим
функцию z  f x, y  , графиком которой является поверхность  . Точке P0 x0 ; y0  D f  на поверхности  соответствует точка M 0 x0 ; y0 ; z0  . Пересечем график данной функции
плоскостью y  y0 . В сечении получается кривая z  f x; y0  (на
рисунке 2.2 это кривая AM 0 B ), которую можно рассматривать
как график функции одной переменной z  f x; y0  в плоскости
y  y0 . Тогда, по геометрическому смыслу производной функz
ций одной переменной, значение частной производной
x
функции z  f x, y  в точке P0 x0 ; y0  есть тангенс угла  , образованного положительным направлением оси Ox и касательной, проведенной в точке M 0 x0 ; y0  к линии пересечения поверхности z  f x, y  и плоскости y  y0 (рисунок 2. 2).
Рисунок 2. 2 – Геометрический смысл
24
z  x; y 
x
в точке P0  x0 ; y0 
Аналогично определяется геометрический смысл частной
производной функции z  f x, y  по y .
Касательная плоскость и нормаль к поверхности. Графиком
функции двух независимых переменных z  f x, y  в пространстве R3 является некоторая поверхность  (рисунок 2. 3). Выберем на ней точку M 0 x0 ; y0 ; z0  .
Рисунок 2. 3 – Касательная плоскость  к поверхности 
Касательной плоскостью к поверхности  в данной точке
M 0 называется плоскость, которая содержит все касательные к
кривым, проведенным на поверхности через эту точку.
Уравнение касательной плоскости  к поверхности, проходящей через касательные T1 и T2 имеет вид
f xx0 , y0   x  x0   f y x0 , y0    y  y0   z  z0   0
или
z  z0  f xx0 , y0   x  x0   f y x0 , y0    y  y0  .
Нормалью к поверхности  в данной точке M 0 x0 ; y0 ; z0 
называется прямая, проходящая через эту точку перпендикулярно к касательной плоскости, проведенной в данной точке поверхности. Используя условие перпендикулярности прямой и
плоскости, канонические уравнения нормали запишутся в виде:
x  x0    y  y0   z  z0  .
f x x0 , y0  f y x0 , y0 
1
25
Точка, в которой Fx  Fy  Fz  0 или хотя бы одна из этих
частных производных не существует, называется особой точкой
поверхности. В такой точке поверхность может не иметь касательной плоскости.
Механический смысл частных производных. Частные производные f x x0 , y0  и f y x0 , y0  характеризуют скорость изменения функции z  f x, y  в данной точке P0 x0 ; y0  , причем
f x x0 , y0  задает скорость изменения функции в направлении
прямой y  y0 (или, что то же, относительно переменной x ),
f y x0 , y0  – в направлении прямой x  x 0 (относительно переменной y ).
2.4 Полный дифференциал функции многих переменных
и его геометрический смысл
Пусть функция f  x, y  определена в окрестности U  ; P0 
точки P0 x0 ; y0  . Функция f  x, y  называется дифференцируе-
мой в точке P0 x0 ; y0  , если ее полное приращение в этой точке
можно представить в виде:
f  x , y   A  x0 , y0  x  B  x0 , y0  y  x  y ,
(2.1)
0
0
где A и B – некоторые постоянные, зависящие от x0 и y 0 ;
   x, y  и    x, y  – бесконечно малые функции от
x и y :
lim  x, y   0 , lim  x, y   0 .
x 0
y 0
x 0
y 0
Соотношение (2.1) называется условием дифференцируемости функции f  x, y  в точке P0 x0 ; y0  .
Условие дифференцируемости записывается также в виде:
f  Ax  By  o    ,
(2.2)
где   x 2  y 2 – расстояние между точками P0 x0 ; y0  и
Px; y  , lim
 0
o 

0.
26
Функция f  x, y  , дифференцируемая в каждой точке множества G , называется дифференцируемой на G .
В равенствах (2.1) и (2.2) слагаемое Ax  By , линейное относительно x и y , называется главной частью приращения
функции.
Теорема 1 (связь дифференцируемости и
н е п р е р ы в н о с т и ) Если функция f  x, y  дифференцируема
в точке P0 x0 ; y0  , то она и непрерывна в этой точке.
Теорема 2 (необходимое условие диффере нц и р у е м о с т и ф у н к ц и и ) Если функция f  x, y  дифференцируема в точке P0 x0 ; y0  , то она имеет в этой точке частные
производные f x x0 , y0  и f y x0 , y0  , причем f x x0 , y0   A ,
f y x0 , y0   B .
Утверждения, обратные утверждениям теорем 1 и 2 неверны:
из непрерывности функции, а также существования ее частных
производных, еще не следует дифференцируемость функции.
Теорема 3 (достаточное условие диффе ренц и р у е м о с т и ф у н к ц и и ) Если функция f  x; y  имеет
частные производные в некоторой окрестности точки
P0 x0 ; y0  , непрерывные в самой этой точке, то она дифференцируема в точке P0 x0 ; y0  .
Функции с непрерывными частными производными называются непрерывно дифференцируемыми.
Если функция f  x; y  дифференцируема в точке P0 x0 ; y0  ,
то ее полное приращение в этой точке можно представить в виде
(2.3)
f  x , y   f x  x0 , y0  x  f y  x0 , y0  y  x  y .
0
0
Сумма первых двух слагаемых есть главная линейная (относительно x и y ) часть приращения функции и называется
полным дифференциалом функции:
df x0 ; y0   f xx0 , y0 x  f y x0 , y0 y .
Приращения независимых переменных x и y называются
27
дифференциалами независимых переменных x и y и обозначаются соответственно dx и dy .
Тогда полный дифференциал функции запишется в виде:
f x0 , y0 
f x0 , y0 
df x0 , y0  
dx 
dy .
x
y
f x0 , y0 
f x0 , y0 
Выражения
dx ,
dy называются частными
y
x
дифференциалами функции f  x; y  и обозначаются d x f и d y f .
Таким образом,
df  d x f  d y f .
Отбрасывая в формуле (2.2) слагаемое o    , т. е. заменяя
приращение функции ее дифференциалом, получается равенство
f  x0  x; y0  y   f  x0 ; y0   f x  x0 , y0  x  f y  x0 , y0  y , (2.4)
которое используется для вычисления приближенного значения
f  x0  x; y0  y  при малых x и y .
Геометрический смысл дифференциала. Учитывая, что
x  x  x0  dx , y  y  y0  dy , уравнение касательной плоскости можно записать в виде
f x0 , y0 
f x0 , y0 
z  z0 
dx 
dy .
x
y
Правая часть этого уравнения представляет собой полный
дифференциал функции f  x, y  в точке P0  x0 ; y0  , а левая его
часть z  z0 – приращение аппликаты касательной плоскости в
точке касания: z  z0  df  x0 , y0  .
Определение дифференцируемости функции и ее дифференциала обобщаются на случай функции многих переменных
f  x1 , x2 ,..., xn  в точке x0  x10 ; x20 ;...; xn0 .
Условие дифференцируемости запишется в виде


28
f 
f
f
f
dx1 
dx2  ... 
dxn  o  ,
x1
x2
xn
x1 2  x2 2  ...  xn 2 .
Дифференциал функции f  x1 , x2 ,..., xn 
где  
df 
имеет вид
f
f
f
dx1 
dx2  ... 
dxn .
x1
x2
xn
Вопросы для самоконтроля
1 Как определяются частные и полные приращения функции
многих переменных?
2 Дайте определение частных производных.
3 В чем состоит геометрический и механический смысл частных производных функции многих переменных?
4 Запишите уравнения касательной плоскости и нормали к
поверхности.
5 Дайте определение дифференцируемости функции нескольких переменных в точке.
6 Как связаны непрерывность и дифференцируемость функции?
7 Сформулируйте необходимое условие дифференцируемости функции в точке.
8 Сформулируйте достаточное условие дифференцируемости
функции в точке.
9 Что называется полным дифференциалом функции многих
переменных? В чем состоит его геометрический смысл?
Решение типовых примеров
1 Найти частные и полное приращения функции z  xy 2 в
точке M 0 1;2 , если x  0,1 , y  0,2 .
Р е ш е н и е . Имеем
 x z  z  x0  x; y0   z  x0 , y0    x0  x  y02  x0 y02  y02 x ,
 x z 1;2   22  0,1  0,4 .
29
Аналогично
 y z  z  x0 , y0  y   z  x0 , y0   x0  y0  y   x0 y02 
2
 2 x0 y0 y  x0 y 2 ,
yz
1; 2 
 2 1 2  0,2  0,22  0,84 .
Тогда
z  z  x0  x; y0  y   z  x0 , y0    x0  x  y0  y   x0 y02 
2
 1,1 2,22  1 22  1,324 .
2 Найти частные производные функций
а) z  x 2  sin x  y 2 ;
б) u  xy  ln x  y  z  ;


в) u  xy  sin 2 z  xt  .
z
вычисляем как
x
производную данной функции по переменной x , считая y постоянной. Тогда
z
 2 x  cos x  y 2 .
x
Аналогично
Р е ш е н и е . а) частную производную


z
 2 y cos x  y 2 ;
y


u
вычисляем как производную
x
данной функции по переменной x , считая, что переменные y ,
z постоянны. Получим
u
1
xy  y 2  yz  1
 y

.
x
x yz
x yz
Аналогично
u
1
x 2  xy  xz  1 u
1
 x

,
;

y
x yz
x yz
z
x yz
б) частную производную
30
в) имеем:
u
 y  2 sin z  xt cosz  xt  t   y  t sin 2z  xt  ,
x
u
 x,
y
u
 2 sin z  xt cosz  xt   sin 2z  xt  ,
z
u
 2 sin z  xt cosz  xt  x    x sin 2z  xt  .
t
3 Найти уравнения касательной плоскости и нормали к поверхности z  5  x 2  y 2 в точке M 0 1;1;3 .
Р е ш е н и е . Уравнение поверхности задано явной функцией.
Вычислим частные производные функции в точке M 0 :
f
f
 2 x ,
 2 y ,
x
y
f
f
 2 ,
 2 .
x 1,1
y 1,1
Тогда уравнение касательной плоскости примет вид
 2x  1  2 y  1  z  3  0 или 2 x  2 y  z  7  0 ,
канонические уравнения нормали –
x 1 y 1 z  3
x 1 y 1 z  3
или
.




2
2
1
2
2
1
4 Доказать, что функция z  xy 2 дифференцируема на всей
плоскости Oxy .
Р е ш е н и е . Действительно, полное приращение данной
функции в любой точке P  x; y   R 2 имеет вид
z  x  x  y  y   xy 2 
2


 y 2 x  2 xyy  2 xyy  y 2 x  xy  .
2
Положив y 2  A , 2 xy  B , 2 xyy  y 2   , xy   , получим представление z в виде условия дифференцируемости, так
как A и B в фиксированной точке P0 x0 ; y0  являются постоян-
31
ными, а   0 и   0 при x  0 и y  0 .
5 Доказать, что функция f x, y   x 2  y 2 в точке O 0;0  не
имеет частных производных.
Р е ш е н и е . Действительно,
x
0  x   0  0
.
f x0,0  lim
 lim
x 0
x 0 x
x
x
Функция
не имеет предела при x  0 . Следовательно,
x
f x 0,0  не существует.
Аналогично доказывается, что не существует f y 0,0 .
6 Найти полный дифференциал функции
z
.
f x, y, z  
2
x  y2
Р е ш е н и е . Имеем
f
xz
f
yz
f
1



,
,
3
3

y
x

z
x2  y 2 2
x2  y2 2
x2  y2
Тогда полный дифференциал равен
f
f
f
df 
dx 
dy 
dz 
x
y
z
xz
yz
1

dx 
dy 
dz 
3
3
1
2
2 2
2
2 2
2
2 2
x y
x y
x y



x
2


x






 y dz  z xdx  ydy


1
2
.

2
2


3
y2 2
7 Приближенно вычислить
.
4,05 2  3,07 2 .
Р е ш е н и е . Пусть x0  4 , y0  3 , x  0,05 , y  0,07 . Тогда
искомое число будем рассматривать как значение функции
f x, y   x 2  y 2
при x  x0  x , y  y0  y .
32
Так как
f

x
x
x y
то по формуле (2.4) получим:
 4,05  3,07 
2
2
4 3
2
,
2
f

y
y
x  y2
2
,

4
 42  32 
2
2
 0,05 
3
4  32
2
 0,07  5  0,08 =5,08.
Задания для аудиторной работы
1 Найти частные производные функций:
а) z  x 2  y 3  3x 2 y  4 x  5 y  7 ; г) z  y sin 3 x  4 y  ;
б) z  3x
2
y4
д) z 
;
3x  y 5
;
x2  4 y3
x
1  xy
в) z  arccos ;
е) z  arctg
.
x y
y
2 Вычислить значения частных производных в точке:
x y
yz
а) z 
, M 0 3,2  ;
б) u 
, M 0 2,1,3 .
x y
zx
3 Найти полный дифференциал функций:
x
y
а) z  arctg
;
б) z  e y .
1  x2
4 Вычислить полный дифференциал и полное приращение
y
функции z  arctg
при переходе от точки M 0 1;1 к точке
x
M 1,1;0,8 .


5 Показать, что функция z  y sin y e  x удовлетворяет уравнению
z
z
y
 z.
x
y
33
6. Вычислить приближенно значение выражения:
1,02
а) arctg
;
б) 1,982,02 .
0,95
7 Найти уравнение касательной плоскости и нормали к поверхности z  1  x 2  y 2 в точке M 1,1,3 .
Задания для домашней работы
1 Найти частные производные функций:
а) z  4 x 2  2 y 3  3xy3  3xy  5 y  8 ; г) z  x 2 cosx  6 y  ;
б) z  5x
2
y  xy 4
д) z 
;
4 x3  3 y 5
;
2x2  5 y6
x
;
е) z  y e 2 x .
y
2 Вычислить значения частных производных в точке:
xy
а) z 
, M 0 4,5 ;
x y
в) z  arcsin
б) u  x 2  y 2  z 2 , M 0 1,2,2 .
3 Найти полный дифференциал функций:
x
а) u  z y ;
б) z  ln x 2  y 2 .
4 Вычислить полный дифференциал и полное приращение
функции z  x 2  xy  y 2 при переходе от точки M 0 2;1 к точке
M 2,1;0,9 .


5 Показать, что функция u  ln e x  e y  e z удовлетворяет
уравнению
z z z


1.
x y z
6 Вычислить приближенно значение выражения:


2
2
а) 1,03  2,98  ;
б) ln 0,093  0,993 .
7 Найти уравнение касательной плоскости и нормали к поверхности z  ln x 2  y 2 в точке M 1,0,0  .


34
Download