UML_4256
.pdfСравнивая (16) и (17), естественно назвать оператор D производной векторной функции векторного аргумента, то есть
D = f '(x0 ). Ее называют полной производной. Тогда производная
числовой функции n переменных – это первая строка матрицы (15’), то есть
|
df |
|
df |
|
df |
|
|
||
f '(x0) = |
, |
,..., |
|
= grad f (x0) . |
|||||
|
|
|
|
||||||
dx1 |
|
dx2 |
dxn |
скалярного аргумента t |
|||||
Производная векторной |
функции |
|
r(t) |
(Жордановой кривой в Rm ) – это первый столбец матрицы (15’). Матрицу (15’) называют матрицей Якоби и обозначают
∂f (x1, x2,..., xn) . Если она квадратная, то ее определитель называют
∂(x1, x2,..., xn)
якобианом.
Пример 2. Если |
f (x) = const |
x Ε Rn , то функция f (x) , |
дифференцируемая на Ε, поскольку |
f (x + h) − f (x) = 0. => D = f '(x) – |
|
нулевой линейный оператор, удовлетворяющий определению (9). |
||
Очевидно, функция f (x) = x также дифференцируема в области |
||
определения, так как |
∆y = f (x + h) − f (x) = h = Dh. => f '(x) = D – |
единичный линейный оператор. Элементы Dki |
|
матрица этого оператора |
|||||||||||||||||||||
Dki = |
|
∂ |
f i |
|
=δ ik , δ ik = |
1, |
i = k |
– символ Кронекера. |
|
|
|
|
|||||||||||
|
|
|
|
i ≠ k |
|
|
|
|
|||||||||||||||
|
∂xk |
|
|
|
|
||||||||||||||||||
|
|
|
|
n |
0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
f (x) = |
|
|
|
|
|
|
|
|
|
f (x) |
|
|
|
Rn |
||||
Если |
∑ ak xk , |
то |
есть |
|
функция |
|
всякую точку |
||||||||||||||||
|
|
|
|
|
|
|
k =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
отображает в другую точку Rn , то и эта функция дифференцируемая. |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
= Dh, |
где D |
|
|||
Действительно, |
∆y = f (x + h) − f (x) = ∑ ak hk |
– |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k =1 |
|
|
|
|
|
|
||
линейный оператор с диагональной матрицей, |
|
∂ f i |
= akδ ik . |
|
|
||||||||||||||||||
|
|
|
|
||||||||||||||||||||
Пример3. Пусть f (x) = ( f , f |
|
, f |
|
|
|
∂xk |
|
|
|
|
|||||||||||||
2 |
) = (u,v, w) . u = x2 + y2 , |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
3 |
|
|
|
|
|
|
|
|
|
|
v = 3x2 − y2 − z2 , w = x + y + z . Найти f '(x0) , x0 = (1,1,1) . |
|
|
|
||||||||||||||||||||
Решение. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
u 'x |
u 'y |
u 'z |
2x 2 y |
|
0 |
|
2 |
2 |
0 |
|
||||||||||
0 |
|
|
|
|
v'y |
|
|
|
6x |
−2 y |
−2z |
|
|
|
6 |
−2 −2 |
|
|
|||||
f '(x |
) = v'x |
v'z = |
|
|
= |
. |
|
||||||||||||||||
|
|
|
|
|
w'y |
|
|
|
1 |
1 |
|
|
1 |
|
|
|
1 |
1 |
1 |
|
|
||
|
|
|
w'x |
w'z |
|
|
|
x0 |
|
|
|
|
Замечание. Существование производной, то есть всех частных производных, не гарантирует дифференцируемость функции. Чтобы
312
функция была дифференцируемой, достаточно, чтобы все частные производные были непрерывны (докажем это позже).
Пусть f (x) |
– дифференцируемая функция n переменных. |
|||||||
Рассмотрим частный случай, когда |
h = x − x0 |
= tω, где |
ω Rn |
– |
||||
единичный вектор, |
t – скаляр. Тогда условие дифференцируемости (9) |
|||||||
перепишем так: |
|
|
|
|
|
|
|
|
f (x0 + h) − f (x0) = f '(x0)tω + o(tω).=> |
|
|
||||||
|
|
f (x0 + tω) − f (x0) |
|
0 |
|
|
|
|
lim |
|
|
= |
f '(x |
) ω . |
|
(18) |
|
|
t |
|
||||||
t→0 |
|
|
|
|
f (x) |
по |
||
Левую часть (18) |
мы назвали производной |
функции |
направлению вектора ω (см. §6), а поскольку f '(x0) – это grad f (x0) , то мы доказали формулу (3) §6 для дифференцируемой функции.
§ 8. Свойства дифференцируемых функций
Пусть y = f (x) – числовая функция n переменных, заданная на
некотором открытом множестве Ε Rn . В §7 показано, что дифференцируемая функция имеет все частные производные. Однако обратное утверждение неверно. Например, функция
|
|
xy |
|
, |
x2 + y |
2 |
≠ 0, |
||||
|
|
|
|
|
|
|
|||||
z = |
|
+ y |
2 |
|
|
||||||
f (x, y) = x2 |
|
|
|
|
|
|
|
имеет частные производные в точке |
|||
|
|
0, |
|
|
x |
2 |
+ y |
2 |
= 0 |
||
|
|
|
|
|
|
||||||
x0 = (0,0) (z 'x = 0 , z′y |
= 0) , но не является дифференцируемой в этой |
||||||||||
точке, так как она в этой точке терпит разрыв (см. пример 4 §5). |
|||||||||||
|
Теорема 1 (достаточное условие дифференцируемости). Если все |
||||||||||
частные производные |
функции f (x) в точке x непрерывные, то |
функция дифференцируема в этой точке.
Доказательство. Теорема справедлива и для векторной функции векторного аргумента. Мы докажем ее только для числовой функции n переменных. Согласно (2’) §7 следует доказать, что
n |
∂f |
|
|
|
∆f − ∑ |
|
dxi = o(h) , h = (dx1, dx2,..., dxn) . |
(1) |
|
∂xi |
||||
i=1 |
|
|
Ради упрощения выкладок ограничимся функцией двух
переменных. Тогда
∆f = f (x + ∆x, y + ∆y) − f (x, y) =
313
|
|
= ( |
f (x + ∆x, y + ∆y) − f (x, y + ∆y)) + ( f (x, y + ∆y) − f (x, y)) = |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
= f 'x(ξ, y + ∆y)∆x + f 'y(x,η)∆y . |
|
|
|
|
(2) |
||||||||||||||||||||||||
Воспользовались теоремой Лагранжа, ξ (x, x + ∆x) , η ( y, y + ∆y) . |
|||||||||||||||||||||||||||||||||||
|
|
Пусть f 'x(ξ, y + ∆y) − f 'x(x, y) = ε1 , |
f 'y(x,η) − f 'y(x, y) = ε2 . |
(3) |
|||||||||||||||||||||||||||||||
В силу непрерывности частных производных |
f 'x , |
f 'y (как функций |
|||||||||||||||||||||||||||||||||
двух переменных) ε1 → 0, |
ε2 → 0 при |
|
h |
|
= |
∆x2 + ∆y2 → 0 . Учитывая |
|||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
(3), перепишем (2) так: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
∆f = ( fx′(x, y) +ε1)∆x + ( fy′(x, y) +ε 2)∆y = |
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
= |
∂f |
dx + |
∂f |
|
dy +ε1∆x +ε2∆y . |
|
|
|
|
|
(4) |
||||||||||||||||||
|
|
|
|
|
|
|
∂x |
|
|
|
∂y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Поскольку ε1∆x +ε2∆y = o(h), то теорема доказана. |
|
|
|
|
|||||||||||||||||||||||||||||||
|
o(h) |
= lim |
ε ∆x +ε |
|
∆y |
= |
|
∆x = |
|
h |
|
cosϕ |
|
= lim(ε1 cosϕ +ε2 sin |
ϕ) = 0) . |
||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||
(lim |
|
|
|
|
1 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
∆y = |
|
h |
|
sinϕ |
|
|||||||||||||||||||||
|
|
h |
|
∆x2 + ∆y2 |
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
h→0 |
|
|
|
h→0 |
|
|
|
|
|
|
|
|
h |
→0 |
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
Теорема |
2. |
Пусть |
|
функция y = y(x) |
отображает |
открытое |
|||||||||||||||||||||||||||
множество G Χ |
|
|
( Χ |
|
|
– нормированное пространство) в |
|||||||||||||||||||||||||||||
нормированное пространство Υ и пусть |
|
|
y(a) = b Υ. |
Пусть функция |
|||||||||||||||||||||||||||||||
z = z( y) , |
определенная |
|
в |
|
|
некоторой |
окрестности |
точки |
b Υ, |
||||||||||||||||||||||||||
отображает ее в нормированное пространство Ζ. |
x = a, а функция |
||||||||||||||||||||||||||||||||||
|
|
Если функция |
y(x) дифференцируема в точке |
||||||||||||||||||||||||||||||||
z( y) дифференцируема в |
|
точке |
|
y = b = y(a) , |
то |
сложная |
функция |
||||||||||||||||||||||||||||
ϕ(x) = z( y(x)) дифференцируема в точке x = a, причем |
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
dϕ(a) = z '(b) y '(a)h , h = ∆x . |
|
|
|
(5) |
|||||||||||||||||||||||
|
|
Доказательство. В правой части (5) стоят линейные операторы: |
|||||||||||||||||||||||||||||||||
y '(a) |
|
– действует из Χ в Υ, z '(b) |
|
– действует из Υ в Ζ. Так что ϕ′, |
равный их произведению, действует из Χ в Ζ (см. рис.). y’ z’
X |
Y |
Z |
Rn |
Rm |
RP |
Найдем приращение сложной функции ϕ(x) в точке x = a. 314
Следствие 1. Если p =1, то из (5’’’) получим формулу для частной производной сложной числовой функции n переменных
∂ϕ |
m |
∂z |
∂y |
k , i =1,2,..., n . |
|
|
= ∑ |
|
|
(8) |
|
|
|
|
|||
∂xi |
k =1 |
∂yk ∂xi |
|
Если p =1 и n =1, то получим формулу для производной сложной числовой функции одного переменного
|
dϕ |
m |
∂z |
∂y |
k . |
|
|
|
= ∑ |
|
|
(9) |
|
|
|
∂yk |
|
|||
|
dx |
k =1 |
∂x |
|
||
Следствие 2. Умножая (8) |
на |
dxi и суммируя по |
i , получим |
формулу для вычисления дифференциала сложной числовой функции n переменных.
n |
∂ϕ |
n m |
∂z |
∂y |
k dxi . |
|
∑ |
|
dxi = dϕ = ∑ ∑ |
|
|
(10) |
|
∂xi |
∂yk |
|
||||
i=1 |
i=1 k =1 |
∂xi |
|
|||
Следствие 3. По определению дифференциала функции |
y = y(x) |
|||||
имеем |
|
dy = y '(x)dx . |
(11) |
|||
|
|
|||||
Подставляя (11) в (5’), получим |
|
|
|
|
||
|
|
dz = z '( y)dy . |
(12) |
Сравнивая (11) и (12), видим, что форма записи этих дифференциалов одинаковая, хотя в первом случае аргумент – независимая переменная, а во втором аргумент y = y(x) – зависимая переменная. Это свойство
дифференциала называют инвариантностью формы первого дифференциала.
Следствие 4. Если u,v – дифференцируемые числовые функции n переменных, то дифференцируемы и следующие функции: u + v ; cu ;
uv; |
u |
(v ≠ 0) . |
При |
|
этом |
d (u ± v) = du ± dv ; |
d (cu) = cdu ; |
|||
v |
|
|||||||||
|
|
u |
|
−udv + vdu |
|
|
||||
|
|
|
|
|
|
|||||
d (uv) = udv + vdu ; d |
|
|
= |
v2 |
|
. |
|
|||
|
|
|
||||||||
|
|
|
v |
|
|
|
|
Доказательство. Все формулы доказываются одинаково. Для
примера докажем последнюю. Функцию |
ϕ =ϕ(u,v) = u |
1 |
будем |
|
v |
||||
|
|
|
рассматривать как сложную функцию двух аргументов: u и v. Используя свойство инвариантности формы первого дифференциала,
316
запишем: |
dϕ =ϕu′du +ϕv′dv = |
1 |
du |
− |
u |
dv = |
vdu −udv |
. |
Что |
и |
|
|
|
|
|||||||||
|
|
v |
|
v2 |
v2 |
|
|
||||
требовалось доказать. |
|
|
|
|
|
|
|
|
|||
Следствие 5. Пусть векторная |
функция |
векторного |
аргумента |
||||||||
y = y(x) , |
x G Rn , y Υ Rm – дифференцируемая на G. И пусть в |
G задана гладкая кривая Г={x G : x = x(t),t [α, β]}. Тогда согласно теореме 2 сложная векторная функция скалярного аргумента
ϕ(t) = y(x(t)) является дифференцируемой на [α, β]. Ее производную
ϕ′(t) = y '(x)x′(t ) называют производной функции y(x) вдоль кривой Г.
В частности, если кривая является отрезком прямой Г= x0 + tω , то производная вдоль кривой совпадает с производной по направлению вектора ω (см. §6).
Пример 1. Найти дифференциал функции u = arctg yzx в точке
(2,1,2). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
Решение. |
u = arctg v , |
v = |
– |
сложная функция. Воспользуемся |
||||||||||||||||||||||||||||||
|
yz |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
инвариантностью |
|
|
|
формы |
|
|
|
|
первого |
дифференциала. |
||||||||||||||||||||||||||||
du = (arctg v)'vdv = (arctg v) 'vv 'h = (arctg v)'v( v, h) , h = (dx, dy, dz) . |
|
|||||||||||||||||||||||||||||||||||||
du = |
|
|
1 |
|
|
|
|
|
(v 'xdx + v 'ydy + v 'zdz) = |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
x |
2 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
1 |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
yz |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
1 |
|
|
|
|
|
1 |
|
|
x |
|
|
|
x |
|
|
|
|
|
|
|
|
1 |
1 |
|
1 |
|
|
|
|||||||||
= |
|
|
|
|
|
|
|
|
|
|
|
|
dx − |
|
|
dy |
− |
|
|
dz |
|
|
|
|
= |
|
|
|
|
|
dx − dy − |
|
dz |
= |
|
|||
|
|
|
|
|
|
|
2 |
yz |
2 |
|
yz |
2 |
|
|
|
|
2 |
|
2 |
|
||||||||||||||||||
|
|
|
|
|
x |
|
|
|
|
|
y |
z |
|
|
|
|
|
(2,1,2) |
|
2 |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
1 + |
yz |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
= |
|
(dx − 2dy − dz). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
4 |
|
|
|
x = f (t) = |
|
(t) = (x1, x2, x3) = (sin t,cost,t2 ) |
|
|||||||||||||||||||||||||||||||
|
|
Пример |
2. |
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
Пусть |
r |
– |
||||||||||||||||||||||||||||||||
векторная функция скалярного аргумента t . Пусть g(x) = |
x2 |
+ x2 + x2 |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
– |
|
|
|
|
скалярная |
|
|
функция |
|
|
|
|
векторного |
|
аргумента |
|||||||||||||||||||||||
x = (x1, x2, x3) . Тогда сложная функция |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
F(t) = g( f (t)) = |
sin2 t + cos2 t + t4 |
= |
|
1+ t4 |
|
|
|
будет |
|
скалярной |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
317 |
|
|
|
|
|
|
|
|
|
|
|
|
|
(числовой) |
функцией |
скалярного |
аргумента |
t . |
Ее |
производная |
|||||||||
F '(t) = |
2t3 |
. |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
1 + t4 |
|
|
|
|
|
|
|
|
|
|
|
||
Теперь для нахождения этой производной воспользуемся формулой (9): |
|||||||||||||||
|
3 |
|
∂g |
x'i(t) = |
|
1 |
(x1 cost + x2 (−sin t) + x3 2t) = |
|
|||||||
F '(t) = ∑ |
∂xi |
|
|
|
|||||||||||
|
i=1 |
|
|
x12 + x22 + x32 |
|
|
|
|
|
|
|
||||
= |
1 |
(sin t cost −cost sin t + 2t3 ) = |
2t3 . |
|
|
|
|
||||||||
|
1+t4 |
|
|
|
|
|
|
|
|
1+t4 |
|
|
|
|
|
Как видно, получили тот же результат. |
|
|
|
|
|
|
|||||||||
|
|
|
§ 9. Касательная плоскость. Поверхность уровня |
||||||||||||
|
Для числовой функции одной переменной существование |
||||||||||||||
касательной |
к |
кривой |
y = f (x) |
|
в |
точке |
|
(x0, f (x0)) означает |
|||||||
дифференцируемость функции. Уравнение касательной имеет вид |
|||||||||||||||
|
|
|
|
y − y0 = f '(x0 )(x − x0 ) = f '(x0 )h . |
|
|
|
(1) |
|||||||
Из (1) следует, что касательная – это такая |
|
Y |
|
|
(x, f(x)) |
||||||||||
прямая, |
отклонение |
точек (x, y) которой |
|
|
|
||||||||||
|
|
|
|
(x, y) |
|||||||||||
от |
точек |
кривой |
(x, f (x)) |
имеет |
более |
|
Y0 |
|
|
||||||
|
|
|
|
||||||||||||
высокий порядок малости по сравнению |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
||||||||||
с |
h , то есть |
f (x) − y = o(h) – (см. рис.). |
|
|
|
|
|
|
|||||||
|
Рассмотрим |
|
теперь |
числовую |
|
|
|
|
|
||||||
функцию n переменных f (x) . Графиком |
|
|
|
X0 |
X |
||||||||||
этой функции в пространстве Rn+1 будет |
|
|
|
|
|
||||||||||
множество точек (x, f (x)) . Плоскость |
|
|
|
|
|
|
|
|
y − y0 = |
n |
|
|
|
||||
|
|
∑ Ai(xi − xi0) , y0 = f (x0) |
(2) |
|||||||
|
|
|
|
|
|
i = 1 |
к графику функции f (x) , если |
|||
назовем |
касательной плоскостью |
|||||||||
отклонение точек |
(x, f (x)) |
графика функции |
от точек |
(x, y) , |
||||||
y = y0 + |
n |
|
|
|
|
|
|
|
|
|
∑ Ai(xi − xi0) |
этой плоскости имеет более |
высокий |
порядок |
|||||||
|
i = 1 |
|
|
h |
|
, то есть |
f (x) − y = o(h) или с учетом (2): |
|||
малости по сравнению с |
|
|
||||||||
|
|
|||||||||
|
|
|
|
|
|
|
|
n |
|
|
|
|
f (x) − f (x0) = |
∑ Aihi + o(h) . |
|
(3) |
i = 1
318
Равенство (3) означает дифференцируемость функции |
f (x) . |
|
|
|
||||||||
Итак, уравнение касательной плоскости имеет вид |
|
|
|
|
||||||||
|
|
n |
∂f |
hi = f '(x0 )h . |
|
|
|
|
(2’) |
|||
|
y − y0 = ∑ |
∂xi |
|
|
|
|
||||||
Z |
|
i = 1 |
|
|
|
|
|
|
|
|
|
|
|
По |
форме |
записи |
(2’) совпадает с (1). |
||||||||
|
|
Наглядность возможна только при n = 2 . |
||||||||||
Z0 |
|
Тогда |
|
числовая |
|
функция |
z = f (x, y) |
|||||
|
является |
функцией |
двух |
переменных, а |
||||||||
|
|
|||||||||||
N |
|
графиком |
ее |
R3 |
является |
|
некоторая |
|||||
|
Y |
поверхность |
в |
(см. |
рис.). |
Из |
(2’) |
|||||
|
получим уравнение касательной плоскости |
|||||||||||
|
|
|||||||||||
X |
|
в точке (x0, y0, z0) , |
z0 = f (x0, y0) . |
|
z − z |
|
= |
f '(x , y |
)h = ( f (x , y |
), h) = |
∂f |
(x − x ) + |
∂f |
( y − y ) . (4) |
||
|
0 |
|
0 |
0 |
0 |
0 |
|
∂x |
0 |
∂y |
0 |
Сравнивая уравнение касательной плоскости (4) с общим уравнением плоскости в R3
A(x − x0 ) + B( y − y0 ) +C(z − z0 ) = 0, |
где |
|
= ( A, B,C) – |
нормальный |
|||||
N |
|||||||||
вектор плоскости, видим, |
|
что |
нормальный вектор |
касательной |
|||||
|
|
|
∂f |
, |
|
|
|
||
|
|
|
|
||||||
плоскости имеет вид N = |
∂f , −1 . |
|
|||||||
|
|
|
∂x |
|
∂y |
|
|
Пример 1. Записать уравнение касательной плоскости к
поверхности z = x2 + 3y2 в точке (1,1,4). |
|
|
|
||||
Решение. z 'x = 2x |
|
x = 1 |
= 2 , |
z 'y = 6 y |
|
y =1 |
= 6 . Согласно (4) имеем |
|
|
||||||
|
|
|
|
|
|
2x +6y − z −4 = 0 – касательная плоскость.
Пример 2. Записать уравнение касательной плоскости к графику
|
u = |
1 |
x2 + |
1 |
y |
2 |
+ |
1 |
z2 |
|
|
3 |
|
|
функции |
|
|
|
|
в точке |
1, |
|
,1,1 |
4-мерного |
|||||
2 |
9 |
|
4 |
2 |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
пространства. |
|
имеем u −u0 = f '(x0 )h = ( u(x0 ), h) , где |
|||||||
Решение. |
Согласно (2’) |
||||||||
|
3 |
|
|
|
|
3 |
|
|
|
x0 = 1, |
|
,1 |
, h |
= ∆x = x −1, y |
− |
|
, z −1 |
, |
|
2 |
2 |
||||||||
|
|
|
|
|
|
|
∂u |
|
∂u |
|
∂u |
|
|
|
1 |
|
1 |
||
u(x0 ) = |
∂x |
, |
∂y |
, |
|
|
|
= 1, |
|
, |
|
. |
|
0 |
3 |
2 |
|||||||||
|
|
|
∂z |
x |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
319
|
1 |
|
3 |
|
|
1 |
|
|
Итак, u −1 = x −1 + |
|
y − |
|
|
+ |
|
(z −1) . |
|
3 |
2 |
2 |
||||||
|
|
|
|
|
После упрощения получим 6x + 2y +3z −6u −6 = 0, |
|
N = (6, 2,3, −6) |
– |
|||||||||||||||
нормальный вектор к касательной плоскости. |
|
|
|
|
|
|
n |
|||||||||||
|
|
|
Пусть |
|
y = f (x), |
x = (x1, x2 ,..., xn ) – |
числовая |
функция |
||||||||||
переменных. Тогда f (x) = c = const |
– поверхность (линия) уровня этой |
|||||||||||||||||
функции. Например, z = x2 + 3y2 |
– функция, x2 + 3y2 = 4 |
– линия |
||||||||||||||||
уровня этой функции |
(эллипс). |
u = |
1 |
x2 + |
1 |
y2 + |
1 |
z2 |
– |
функция, |
||||||||
|
9 |
4 |
||||||||||||||||
|
1 |
|
|
1 |
|
1 |
|
|
2 |
|
|
|
|
|
|
|||
|
x2 |
+ |
y2 + |
z2 =1 – поверхность уровня этой функции (эллипсоид). |
|
|||||||||||||
2 |
|
4 |
|
|||||||||||||||
|
9 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть Г={x(t) : x Rn ,t [α, β]} – произвольная гладкая кривая на поверхности уровня f (x) = c , проходящая через точку x0 = x(t0) ,
t0 (α, β) .
Производную сложной функции ϕ(t) = f (x(t)) в точке t0 мы
назвали производной функции |
f (x) в точке |
|
x0 вдоль кривой Г (см. |
||||
следствие 5 в §8): |
ϕ'( |
) = f '( |
|
0) x′(t |
|
). |
(5) |
|
x |
0 |
|||||
|
t0 |
|
|
|
|
||
Поскольку кривая |
Г |
принадлежит |
|
поверхности |
уровня |
||
f (x) = f (x0) = const , то |
есть |
ϕ(t) = f (x(t)) = const , то |
ϕ '(t) = 0 . |
Учитывая это, запишем (5) так: |
|
|
0), x′(t |
|
)) = 0 . |
|
|
ϕ'( |
) = ( f ( |
x |
0 |
(6) |
|||
t0 |
|
|
|
|
f (x) вдоль |
||
Равенство (6) означает, |
что |
производная функции |
любой кривой, проходящей через точку x0 и лежащей на поверхности
уровня f (x) = f (x0) , |
обращается в нуль. Этот факт выражают словами: |
|||||||||||||||||||||
в любой точке поверхности уровня функции |
f (x) ее |
градиент |
||||||||||||||||||||
ортогонален к этой поверхности уровня. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Проиллюстрируем |
|
все |
вышесказанное на |
примерах |
функций |
|||||||||||||||||
z = x2 + 3y2 и u = |
1 |
x2 + |
1 |
y2 + |
1 |
z2 |
Y |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
||||||||||||||||||||
|
9 |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
(см. примеры 1 и 2). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Графиком |
первой |
функции |
|
является |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
параболоид. Пересекая его плоскостью |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
z = 4, |
получим |
линию |
|
уровня |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
x2 + 3y2 = 4 (эллипс, |
см. рис.). Найдем |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
320 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|