Дифференциальное исчисление функций нескольких переменных лекционный материал
.pdf
f (x, y)− f (x0 , y0 ) = fx′(x0 , y0 )(x − x0 )+ fy′(x0 , y0 )(y − y0 )+o(∆ρ)
при ∆ρ → 0 . Пусть δ - поверхность, являющаяся графиком функции
z = f (x, y) , M0 K - плоскость в пространстве переменных (x, y,z) , проходящая через точку M0 (x0 , y0 ,z0 ) δ , где z0 = f (x0 , y0 ).
Определение. Плоскость M0 K называется касательной плоскостью к поверхности δ в точке M0 , если расстояние ρ(M ,P) пере-
менной точки M δ до этой плоскости является бесконечно малой высшего порядка по сравнению с расстоянием ρ(M ,M0 ) , т.е.
ρ(M ,P) = o(ρ(M ,M0 )) при ρ(M ,M0 ) → 0.
Очевидно, что дифференцируемость функции в точке (x0 , y0 ) эквивалентна существованию касательной плоскости (см. рис. 2) к поверхности δ в точке M0 (x0 , y0 ,z0 ).
Рис. 2. Поверхность δ и касательная плоскость M0 K к ней
Уравнение касательной плоскости в точке M0 (x0 , y0 ,z0 ), где
z0 = f (x0 , y0 ), имеет вид
z − z0 = fx′(x0 , y0 )(x − x0 )+ fy′(x0 , y0 )(y − y0 ),
или
fx′(x0 , y0 )(x − x0 )+ fy′(x0 , y0 )(y − y0 )−(z − z0 )= 0.
31
Нормальный вектор поверхности в точке M0 (x0 , y0 ,z0 ) совпада-
ет с нормальным вектором касательной плоскости в этой точке и имеет вид
n ={fx′(x0 , y0 ), fy′(x0 , y0 ),−1}.
Нормаль определяется как уравнение прямой, проходящей черезданную точку параллельно нормальному вектору:
|
|
x − x0 |
|
= |
|
y − y0 |
= |
z − z0 |
. |
|
|||
|
|
fx′(x0 , y0 ) |
|
|
fy′(x0 , y0 ) |
|
|
−1 |
|
||||
Существование частной |
производной |
fx′(x0 , y0 ) эквивалентно |
|||||||||||
существованию в точке |
(x0 , y0 ,z0 ) |
касательной к кривой, которая по- |
|||||||||||
лучается сечением поверхности |
δ |
плоскостью y = y0 . Для частной |
|||||||||||
производной |
fy′(x0 , y0 ) ситуация аналогична. |
|
|
|
|||||||||
Пример 1. Найти уравнение касательной плоскости и нормали к |
|||||||||||||
поверхности |
z = x2 − y2 |
(гиперболический |
параболоид) |
в точке |
|||||||||
M0 (1,2,−3). |
|
|
|
|
|
|
|
|
|
|
|
|
|
Решение. Вычисляем частные производные функции |
z = f (x, y) |
||||||||||||
в точке (1,2): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
zx′ = 2x, |
zx′(1,2) = 2, |
|
||||||||
|
|
z′y = −2y, |
z′y (1,2) = −4 . |
|
|||||||||
Нормальный вектор поверхности в точке M0 (1,2,−3) имеет вид n ={fx′(1,2), fy′(1,2),−1}={2,−4,−1}.
Уравнение касательной плоскости в точке M0 (1,2,−3) имеет вид
2(x −1) −4(y −2) −(z +3) = 0.
Уравнение нормали:
x 2−1 = y−−42 = z−+13 .
32
4.2. Производная по направлению, градиент
Пусть функция f (M ) = f (x, y,z) определена на луче l , исходящем из точки M0 (x0 , y0 ,z0 ) параллельно единичному вектору l . В
этом случае координаты вектора l называются направляющими косинусами:
l ={cosα,cosβ,cosγ}.
Очевидно, что cos2 α +cos2 β +cos2 γ =1.
Рис. 3
Уравнение прямой, проходящей через точку M0 (x0 , y0 ,z0 ) парал-
лельно вектору l , имеет вид |
|
|
|
|
|
|
|
|
|
||||
|
|
x − x0 |
|
= |
y − y0 |
= |
z − z0 |
. |
|||||
|
|
|
|
|
|||||||||
|
|
|
|
|
|||||||||
|
|
cosα |
|
|
cosβ |
|
|
cosγ |
|||||
Уравнение луча l получается параметризацией: |
|||||||||||||
|
x − x0 |
= |
|
y − y0 |
= |
z − z0 |
= t , |
||||||
|
|
|
|||||||||||
|
|
|
|||||||||||
|
cosα |
|
cosβ |
|
cosγ |
||||||||
откуда
x = x0 +t cosα , y = y0 +t cosβ , z = z0 +t cosγ , t ≥ 0 .
Т.о., координаты точки M , лежащей на луче l равны
M (x0 +t cosα, y0 +t cosβ,z0 +t cosγ ). 33
Определение. Производной функции |
f (M ) = f (x, y,z) |
в точке |
||||
M0 (x0 , y0 ,z0 ) по направлению вектора |
l ={cosα,cosβ,cosγ} |
называ- |
||||
ется значение предела |
|
f (M )− f (M0 ) |
|
|
||
∂f (M0 ):= lim |
. |
|
||||
|
|
|||||
∂l |
t →0+ |
t |
|
|
|
|
Очевидно, что производные функции |
f (x, y,z) по направлению |
|||||
координатных базисных векторов являются частными производными fx′ и fy′.
Если функция |
f (x, y,z) |
дифференцируема в точке M0 (x0 , y0 ,z0 ) , |
|||||||||||||
то по правилу дифференцирования сложной функции |
|
|
|
||||||||||||
∂f (M |
0 ) |
= ∂f (M0 )dx |
+ ∂f |
(M0 )dy |
+ ∂f (M |
0 )dz |
= |
|
|||||||
∂l |
|
∂x |
dt |
|
∂y |
|
|
dt |
∂z |
|
dt |
|
|
||
= ∂f |
(M0 )cosα + ∂f |
|
(M0 )cosβ + |
∂f |
(M0 )cosγ . |
(1) |
|||||||||
∂x |
|
∂y |
|
|
|
|
∂z |
|
|
|
|
|
|||
Определение. |
Вектор |
|
∂f |
(M |
0 ), |
∂f |
(M0 ), |
∂f |
|
|
|
называется |
|||
|
∂x |
∂y |
∂z |
(M0 ) |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||
градиентом функции f (x, y,z) |
в точке M0 (x0 , y0 ,z0 ) : |
|
|
||||||||||||
grad f (M0 ):= ∂∂fx (M0 ),∂∂fy (M0 ),∂∂fz (M0 ) .
Термин «градиент» ввёл Джеймс Максвелл в 1873 году при рассмотрении физических полей.
Из (1) заключаем, что производная по направлению равна скалярному произведению градиента на направляющий вектор:
∂∂fl (M0 )= (grad f (M0 ),l ).
По определению скалярного произведения
∂∂fl (M0 )= grad f (M0 )
l cosϕ ,
где ϕ - угол между векторами, ϕ [0,π) . Отсюда получаем оценку
∂∂fl (M0 )≤ grad f (M0 ) .
Если grad f (M0 )≠ 0 , то равенство достигается при ϕ = 0 , т.е. в том случае, когда направление вектора l совпадает с направлением
34
градиента. Т.о., градиентом в точке является вектор, направленный в сторону наибольшего роста функции, и его длина равна производной по этому направлению.
Пример 2. Найти градиент функции z = x2 +arctg y2 в точке
M0 (2,1).
Решение. Вычисляем частные производные функции z = f (x, y) : zx′ = 2x , z′y = 1+2 yy4 .
Находим их значения в точке M0 (2,1):
zx′(2,1) = 4 , z′y (2,1) =1.
Составляем градиент:
grad f (2,1) ={zx′(2,1);z′y (2,1)}={4;1}.
Пример 3. Найдем производную функции z = x2 +arctg y2 |
в точ- |
|||||||||||
ке M0 (2,1) |
по направлению к точке M (6,4). |
|
|
|||||||||
Решение. Производная |
∂f (x0 , y0 ) |
|
функции |
f (x, y) в |
точке |
|||||||
M0 (x0 , y0 ) |
|
∂l |
|
|
|
|
|
|||||
по направлению вектора l |
- это проекция градиента функ- |
|||||||||||
ции f (x, y) |
на направление, определяемое вектором l : |
|
||||||||||
|
∂f |
:= |
(grad |
f ,l ) |
. |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
||
|
∂l |
|
|
|
|
|
l |
|
|
|
|
|
Находим l = MM 0 ={4;3}, |
|
l |
|
= 5. |
Градиент посчитан в преды- |
|||||||
|
|
|||||||||||
дущем примере: grad f (2,1)={4;1}. |
Вычисляем |
производную по |
||||||||||
направлению вектора l :
∂∂fl (2,1)= 15({4;1},{4;3})= 15(4 4+1 3) = 3,8.
В теории поля используют так называемый «оператор Гамильтона» (набла):
:= ∂∂x ,∂∂y ,∂∂z .
Спомощью этого оператора получается представление градиента
ввиде
35
grad f |
= f |
|
∂f |
, |
∂f |
, |
∂f |
|
= |
∂x |
∂y |
|
. |
||||
|
|
|
|
|
∂z |
|||
Из свойств дифференциального оператора Гамильтона отметим его действие на произведение функций:
( fg) = g f + f g .
Соответственно
grad( fg) = g grad f + f gradg .
Понятия производной по направлению и градиента очевидным образом переносятся на случай любого числа переменн
36
§ 5. ЧАСТНЫЕ ПРОИЗВОДНЫЕ И ДИФФЕРЕНЦИАЛЫ ВЫСШИХ ПОРЯДКОВ
5.1. Частные производные высших порядков
Пусть функция f (X ) = f (x1 ,x2 , ,xn ) в некоторой окрестности
точки X0 (x01 ,x02 , ,x0n ) имеет частную производную |
∂f |
. Тогда в |
|
∂x |
|||
|
|
||
|
k |
|
этой окрестности определена функция ∂f (X ), и для неё можно ста-
∂xk
вить вопрос о существовании частных производных. Так появляются
частные производные второго порядка:
∂ |
2 |
2f |
|
∂ |
|
|
∂f |
|
∂ |
2 |
f |
|
∂ |
|
|
∂f |
|
|
|
|
|
:= |
|
|
и |
|
|
:= |
|
|
. |
|
|
||||||||
∂x |
∂x |
|
|
∂x |
|
∂x |
∂x |
|
∂x |
|
|
|||||||||
k |
|
k |
∂x |
j |
|
j |
|
|
|
|||||||||||
|
|
|
|
k |
|
|
k |
|
|
k |
|
|
||||||||
Эти производные обозначаются также символами f ′′2 и |
fx′′x |
со- |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
k |
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
ответственно.
Частные производные n -го порядка определяются как производные от производных (n −1) -го порядка.
Смешанные производные fx′′k x j и fx′′j xk могут отличаться друг от
друга.
Пример.
для функции
Имеем
fx′(x, y)
Вычислим смешанные производные второго порядка
|
|
|
|
|
x |
2 |
− y |
2 |
, |
|
если (x, y) ≠ (0,0) |
|
|
|||||||
|
|
|
xy |
|
|
|
|
|
||||||||||||
f (x, y) |
x2 + y2 |
|
. |
|
||||||||||||||||
= |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
0, |
|
|
|
|
|
|
если (x, y) = (0,0) |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
2x2 |
(x2 − y2 ) |
|
|
|
|||||||||
3x2 − y2 |
− |
если (x, y) ≠ (0,0) |
|
|||||||||||||||||
|
x |
2 |
+ y |
2 |
|
(x |
2 |
+ y |
2 |
) |
2 |
y, |
, |
|||||||
= |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0, |
|
|
|
|
|
|
если (x, y) = (0,0) |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
37
|
|
3y |
2 |
− x |
2 |
2y |
2 |
(y |
2 |
− x |
2 |
|
|
|
|
||||||
|
|
|
|
|
|
|
) |
y, |
если (x, y) ≠ (0,0) |
|
|||||||||||
− |
|
x |
2 |
|
+ y |
2 − |
(x |
|
|
|
|
|
) |
2 |
|
. |
|||||
fy′(x, y) = |
|
|
|
|
2 |
+ y |
2 |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
0, |
|
|
|
|
|
если (x, y) = (0,0) |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Смешанные производные второго порядка в точке (0,0) оказы- |
|||||||||||||||||||||
ваются различными: |
|
|
fxy′′(0,0) = −1, |
|
|
fyx′′(0,0) =1. |
|
||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||
Теорема. Если функция |
f (x, y) |
|
в некоторой окрестности точки |
||||||||||||||||||
(x0 , y0 ) имеет обе смешанные производные |
fxy′′ и fyx′′ , которые непре- |
||||||||||||||||||||
рывны в самой точке (x0 , y0 ) , то |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
fxy′′(x0 , y0 ) = fyx′′(x0 , y0 ) .
Определение. Функция f (X ) называется дважды дифференцируемой в точке X0 , если все её частные производные дифференциру-
емы в этой точке.
Определение. Функция f (X ) называется n раз дифференцируемой в точке X0 , если все её частные производные (n −1) -го порядка дифференцируемы в этой точке.
38
5.2. Дифференциалы высших порядков
Определение. Дифференциалом второго порядка дифференциру-
емой в точке X0 функции f (X ) называется дифференциал от первого
дифференциала этой функции: |
d 2 f := d(df ). |
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
По определению |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
2 |
|
|
n |
∂f |
|
|
|
n |
|
|
|
∂f |
|
|
|
|
n |
|
|
|
∂f |
|
|
|
|
∂f |
||||
d |
|
f |
= d |
∑ |
|
dxk |
= |
∑d |
|
|
|
dxk |
= ∑ d |
|
|
|
|
dxk + |
|
||||||||||||
|
∂x |
∂x |
|
∂x |
|
∂x |
|||||||||||||||||||||||||
|
|
|
|
k =1 |
|
|
|
k =1 |
|
|
|
|
|
|
k =1 |
|
|
|
|
|
|
||||||||||
|
|
|
|
k |
|
|
|
|
|
k |
|
|
|
|
|
|
|
k |
|
|
k |
||||||||||
|
|
|
|
|
|
|
n |
n |
|
∂2 f |
|
|
|
|
|
|
|
∂f |
|
|
2 |
|
|
|
|
|
|||||
|
|
|
|
|
|
= |
∑k =1 |
|
∑j =1 |
|
|
|
|
|
|
|
dx |
dx + |
|
|
|
|
d |
|
x |
|
|
= |
|
||
|
|
|
|
|
|
|
∂x |
|
∂x |
|
|
|
∂x |
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
j |
|
|
|
j |
k |
|
|
|
|
|
k |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
∂ |
|
k |
|
|
|
|
k |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
= ∑∑ |
|
2 |
f |
dxj dxk +∑ ∂f |
|
d 2 xk . |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
n |
n |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
= |
= |
∂x |
j |
∂x |
|
|
|
|
= |
|
∂x |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
k 1 |
j 1 |
|
|
|
k |
|
|
|
|
k |
1 |
k |
|
|
|
|
|
|
|
|
||||
d (dxk ) =
Если переменные (x1 ,x2 , ,xn ) являются независимыми, то первые дифференциалы dxk = xk − x0k оказываются постоянными величинами. Вторые дифференциалы d 2 xk = 0 , поэтому второй дифференциал функции f (X ) равен выражению
d 2 f = ∑∑kn=1 jn=1 ∂x∂j2∂fxk dxj dxk .
Если переменные (x1 ,x2 , ,xn ) зависят от других переменных, то первые дифференциалы dxk являются функциями этих других переменных, и вторые дифференциалы d 2 xk , вообще говоря, не равны нулю. В этом случае
d 2 f = ∑∑ |
∂ |
2 |
f |
dxj dxk +∑ ∂f d 2 xk . |
||||||
n |
n |
|
|
|
|
n |
|
|
||
= |
= |
∂x |
j |
∂x |
k |
= |
∂x |
|
||
k 1 j 1 |
|
|
|
k 1 |
k |
|||||
Определение. Дифференциалом n -го порядка n раз дифферен- |
||||||||||
цируемой в точке (x0 , y0 ) |
функции |
f (X ) называется дифференциал |
||||||||
от дифференциала (n −1) -го порядка этой функции: d n f := d(d n−1 f ) . Если переменные (x1 ,x2 , ,xn ) являются независимыми, то
d n f = ∑k1n=1 k∑nn=1 ∂xk1∂n f∂xkn dxk1 dxkn .
39
5.3. Формула Тейлора
Пусть функция f (X ) = f (x1 ,x2 , ,xn ) дифференцируема m раз в некоторой окрестности точки X0 (x01 ,x02 , ,x0n ) . Выберем произвольную точку X1 (x11 ,x12 , ,x1n ) из этой окрестности и соединим её отрезком с точкой X0 . Параметрические уравнения точек X (x1 ,x2 , ,xn )
этого отрезка имеют вид
X = X0 +t(X1 − X0 ), t [0,1].
При t = 0 получаем точку X0 , а при t =1 - точку X1 . Значения функции f (X ) на точках отрезка зависят от одной переменной t , поэтому возникает функция
ϕ(t):= f (x01 +t(x11 − x01 ), ,x0n +t(x1n − x0n )), |
t [0,1]. |
|||||
Функцию ϕ(t) можно представить по формуле Тейлора |
||||||
|
|
m−1 |
(k ) |
(0)tk +rm , |
|
|
ϕ(t) =ϕ(0)+∑ϕ |
|
(1) |
||||
|
|
|
k =1 |
k ! |
|
|
где rm - остаточный член, например, в форме Лагранжа: |
||||||
r |
= |
1 |
ϕ(m) |
(θ)tm , |
(2) |
|
|
||||||
m |
|
m! |
|
|
|
|
|
|
|
|
|
||
θ - некоторое число из интервала (0,1). По правилу дифференцирования сложной функции имеем
|
|
|
|
|
|
|
|
ϕ′(t) = ∑ ∂f (X )(x1 j − x0 j ) , |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
∂x |
j |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
1 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
n |
|
|
n |
|
∂ |
2 |
f |
|
|
|
|
|
|
|
|
||
|
|
|
ϕ′′(t) = ∑∑ |
|
|
|
|
(X )(x1 j1 − x0 j1 )(x1 j2 − x0 j2 ), |
||||||||||||||||
|
|
∂x |
|
∂x |
|
|
||||||||||||||||||
|
|
|
|
|
|
j |
= |
|
|
= |
j |
|
j |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
1 j |
1 |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
1 |
|
2 |
|
|
|
|
|
|
|||
|
|
|
n |
|
n |
|
∂ |
k |
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ϕ(k ) |
(t) = ∑ ∑ |
|
|
|
|
|
|
(X )(x1 j1 − x0 j1 ) (x1 jk − x0 jk ) , k =1, ,m . |
||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
j1 =1 |
jk =1 ∂xj1 ∂xjk |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
Подставляя значения производных в (1) и считая t =1, получаем |
|||||||||||||||||||||||
|
|
|
|
|
m−1 |
1 |
|
|
n |
|
|
|
n |
|
|
|
|
∂ |
k |
f |
|
|||
f (X1 )= f (X0 ) |
+∑ |
|
∑ ∑ |
|
|
|
|
(X0 )(x1 j1 − x0 j1 ) (x1 jk − x0 jk )+ |
||||||||||||||||
|
|
|
∂xj1 ∂xjk |
|||||||||||||||||||||
|
|
|
|
|
k =1 |
k ! j1 =1 |
|
|
jk =1 |
|
||||||||||||||
|
|
1 |
n |
n |
|
∂ |
n |
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
∑ |
∑ |
|
|
|
|
|
(X0 +θ(X1 − X0 ))(x1 j1 − x0 j1 ) (x1 jn − x0 jn ) , |
|||||||||||||||
|
|
∂xj1 ∂xjn |
|
|||||||||||||||||||||
|
m! j1 =1 |
jn =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
40 |
|
|
||
