mat_an_lektsia_funk_mn_per_1-8
.pdfТеорема 4.3 Если функция f(X) дифференцируема в точке X0, то она в этой точке непрерывна.
Доказательство. Из формулы (4.1) для полного приращения дифференцируемой функции имеем
f(X) f(X0) = f = A1 x1 + A2 x2 + : : : + Am xm + 1 x1 + 2 x2 + : : : + m xm:
Если X ! X0; то x1 ! 0; x2 ! 0; : : : ; xm ! 0, а значит, все бесконечно малые функции k ! 0; k = 1; m: Следовательно, f ! 0 и тогда f(X) ! f(X0); что и означает по определению непрерывность функции в точке X0: Теорема доказана.
Производная сложной функции
Для функции одной переменной была ранее доказана формула для вычисления произ-
водной сложной функции
(f(u(x)))0x = fu0 (u(x)) u0x(x):
Теперь докажем формулу для вычисления производной сложной функции нескольких переменных.
Теорема 4.4 Пусть функция f(x1; x2; : : : ; xm) дифференцируема в точке X0(x01; x02; : : : ; x0m); а каждая из функций xk = 'k(t1; t2; : : : ; tn) дифференцируема в точке T0(t01; t02; : : : ; t0n); причем x0k = 'k(T0): Тогда сложная функция
F (T ) = f('1(T ); '2(T ); : : : ; 'm(T )) = f('1(t1; t2; : : : ; tn); '2(t1; t2; : : : ; tn); : : : ; 'm(t1; t2; : : : ; tn))
является дифференцируемой в точке T0; причем
@F |
|
@f |
|
@'1 |
|
@f |
|
@'2 |
|
|
@f |
|
@'m |
|
|
|
= |
+ |
+ ::: + |
|
; k = 1; n: |
||||||||||||
@tk |
@x1 |
@tk |
@x2 |
@tk |
@xm |
@tk |
В этой формуле все производные по переменной tk вычисляются в точке T0, а производные по переменным x1; x2; : : : ; xm в точке X0:
Доказательство. Придадим переменным t1; t2; : : : ; tn в точке T0(t01; t02; : : : ; t0n) произвольные приращения t1; t2; : : : ; tn: Тогда переменные x1; x2; : : : ; xm получат приращения
x1; x2; : : : ; xm; которым в свою очередь соответствует приращение f: Так как функция f по условию дифференцируема в точке X0; то, согласно определению (4.2), ее полное приращение в этой точке представимо в виде
f = A1 x1 + A2 x2 + : : : + Am xm + 1 x1 + 2 x2 + : : : + m xm;
где Ak = @f ; k = 1; m (что было доказано в теореме о необходимом условии диффе-
@xk X0
ренцируемости функции в точке), 1; 2; : : : ; m бесконечно малые при x1 ! 0; x2 !
0; : : : ; xm ! 0 функции, равные нулю при x1 = x2 = : : : = xm = 0:
11
Каждая из функций xk = 'k(t1; t2; : : : ; tn) дифференцируема по условию в точке T0. Тогда, применяя то же определение (4.2), полное приращение этих функций в этой точке представимо в виде
|
|
x1 = '1 = B11 t1 + B21 t2 + : : : + Bn1 tn + 11 t1 + 21 t2 + : : : + n1 tn; |
||||||||||||||||
|
|
x2 = '2 = B12 t1 + B22 t2 + : : : + Bn2 tn + 12 t1 + 22 t2 + : : : + n2 tn; |
||||||||||||||||
|
|
: : : |
: : : : : |
: |
: : : : : : : |
: : : : |
: : : : : : |
: : : : : : , |
||||||||||
|
|
xm = 'm = Bm t1 |
+ Bm t2 + : : : + Bm tn + m t1 |
+ m t2 |
+ : : : + m tn: |
|||||||||||||
|
|
|
1 |
|
2 |
|
|
n |
1 |
|
2 |
|
|
n |
||||
где |
|
B1k = @t1 |
T0 |
; B2k = @t2 T0 ; : : : ; Bnk |
= @tn T0 ; k = 1; m; |
|||||||||||||
|
|
|
|
|
@'k |
|
@'k |
|
|
|
@'k |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
k |
k |
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
; k = 1; m |
|
|
при t1 |
|
|
|
|
|
|
|||||||||
1 |
; 2 |
; : : : ; n |
бесконечно малые |
! 0; t2 ! 0; : : : ; tn ! 0 функции, |
равные нулю при t1 = t2 = : : : = tn = 0:
Подставим эти выражения для xk в формулу полного приращения функции f и преобразуем полученное выражение
f = A1 x1 + A2 x2 + : : : + Am xm + 1 x1 + 2 x2 + : : : + m xm =
=(A1 + 1) x1 + (A2 + 2) x2 + : : : + (A1 + m) xm =
=(A1 + 1) (B11 t1 + B21 t2 + : : : + Bn1 tn + 11 t1 + 21 t2 + : : : + n1 tn)+ +(A2 + 2) (B12 t1 + B22 t2 + : : : + Bn2 tn + 12 t1 + 22 t2 + : : : + n2 tn)+
: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
+(Am + m) (B1m t1 + B2m t2 + : : : + Bnm tn + 1m t1 + 2m t2 + : : : + nm tn) = = C1 t1 + C2 t2 + : : : + Cn tn + 1 t1 + 2 t2 + : : : + n tn:
Здесь мы раскрыли скобки, перегруппировали слагаемые и ввели следующие обозначения
C1 = A1B11 + A2B12 + : : : + AmB1m;
C2 = A1B21 + A2B22 + : : : + AmB2m;
: : : : : : : : : : : : : :
Cn = A1Bn1 + A2Bn2 + : : : + AmBnm;
1 = 1B11 + 2B12 + : : : + mB1m + (A1 + 1) 11 + (A1 + 2) 12 + : : : + (Am + m) 1m;2 = 1B21 + 2B22 + : : : + mB2m + (A1 + 1) 21 + (A1 + 2) 22 + : : : + (Am + m) 2m;
: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
n = 1Bn1 + 2Bn2 + : : : + mBnm + (A1 + 1) n1 + (A1 + 2) n2 + : : : + (Am + m) nm;
Очевидно, что каждая из величин C1; C2; : : : ; Cn является константой, независящей от
t1; t2; : : : ; tn: Покажем, что величины 1; 2; : : : ; n являются бесконечно малыми при
t1 ! 0; t2 ! 0; : : : ; tn ! 0 функциями. Для этого достаточно показать, что каждая из функций 1; 2; : : : ; m будет стремиться к нулю при t1 ! 0; t2 ! 0; : : : ; tn ! 0.
12
По условию, каждая из функций xk = 'k(T ) дифференцируема в точке T0; а значит, по теореме 4.3 является в этой точке непрерывной, т. е. по определению непрерывной в точке функции
xk = 'k(T ) ! 'k(T0) = x0k при T ! T0; k = 1; m:
Значит, если t1 ! 0; t2 ! 0; : : : ; tn ! 0,то T ! T0, следовательно, xk ! x0k; т. е.
xk ! 0; k = 1; m: Тогда каждая функция k ! 0; так как является бесконечно малой при x1 ! 0; x2 ! 0; : : : ; xm ! 0. В итоге имеем, что 1; 2; : : : ; m являются бесконечно малыми функциями при t1 ! 0; t2 ! 0; : : : ; tn ! 0. А так как каждая функция ki
тоже является бесконечно малой при t1 ! 0; t2 ! 0; : : : ; tn ! 0, то очевидно, что и
1; 2; : : : ; n являются бесконечно малыми при t1 ! 0; t2 ! 0; : : : ; tn ! 0 функциями. Применяя равенство
f = f(X) f(X0) = f(x1; x2; : : : ; xm) f(x01; x02; : : : ; x0m) =
=f('1(T ); '2(T ); : : : ; 'm(T )) f('1(T0); '2(T0); : : : ; 'm(T0)) = F (T ) F (T0) = F
ивыражение, полученное ранее для f, получим
F = f = C1 t1 + C2 t2 + : : : + Cn tn + 1 t1 + 2 t2 + : : : + n tn:
Тогда, по определению (4.2), функция F (T ) дифференцируема в точке T0: Кроме того,
|
@F |
= C1 |
= A1B11 |
+ A2B12 + : : : + AmB1m = |
|
@f |
|
|
@'1 |
|
+ |
@f |
|
@'2 |
|
+ ::: + |
@f |
|
@'m |
; |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
@t1 |
@x1 |
|
@t1 |
@x2 |
|
@t1 |
@xm |
@t1 |
||||||||||||||||
|
@F |
= C2 |
= A1B21 |
+ A2B22 + : : : + AmB2m = |
|
@f |
|
@'1 |
|
+ |
@f |
|
@'2 |
|
+ ::: + |
@f |
|
@'m |
; |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
@t2 |
@x1 |
|
@t2 |
@x2 |
|
@t2 |
@xm |
@t2 |
||||||||||||||||
: : |
: : |
: : : |
: : : : : : : : : : |
: : |
|
|
: |
: |
|
: : : : : |
|
: : : : : : : : |
|||||||||||||
|
@F |
= Cn = A1Bn1 + A2Bn2 + : : : + AmBnm = |
|
@f |
|
@'1 |
+ |
@f |
|
@'2 |
+ ::: + |
@f |
|
@'m |
: |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
@tn |
|
@x1 |
@tn |
@x2 |
|
@tn |
@xm |
@tn |
|
|||||||||||||||
В этой формуле все производные по переменным t1; t2; : : : ; tn |
вычисляются в точке T0, а |
производные по переменным x1; x2; : : : ; xm в точке X0: Теорема доказана.
В случае, когда каждая из функций 'k зависит только от одной переменной t; то и слож-
ная функция будет F будет зависеть от одной переменной t: В этом случае, вместо частной
производной пишем обычную
dF |
= |
|
@f |
|
d'1 |
+ |
@f |
|
d'2 |
+ ::: + |
|
@f |
|
d'm |
: |
dt |
@x1 |
dt |
@x2 |
dt |
@xm |
dt |
13
§5. Производная по направлению. Градиент функции
Пусть функция f(x; y; z) определена в некоторой окрестности точки M0(x0; y0; z0): Проведем
через эту точку некоторую ось |
L |
eL |
= |
f |
cos ; cos ; cos |
g орт этой оси, |
|
. Пусть вектор ! |
|
|
т. е. вектор единичной длины, сонаправленный с осью. Запишем параметрическое уравнение
прямой , проходящей через точку параллельно вектору !
L M0 eL
8
> x = x0 + t cos ;
>
<
y = y0 + t cos ;
>
>
: z = z0 + t cos ;
Очевидно, что в точку M0 попадаем при t = 0:
Рассматривая значения функции f только в точках прямой L; получим сложную функ-
цию
F (t) = f(x(t); y(t); z(t)):
Если функция f(x; y; z) дифференцируема в точке M0; то по формуле для производной слож-
ной функции получим
dFdt = @f@x dxdt + @f@y dydt + @f@z dzdt = @f@x cos + @f@y cos + @f@z cos ;
здесь частные производные функции f вычислены в точке M0: Производная, вычисленная
по этой формуле, называется производной функции |
f |
по направлению вектора |
eL |
||||||||||
|
|
! или |
|||||||||||
оси L и обозначается |
@f |
или @f |
. Таким образом, по определению |
|
|||||||||
! |
|
||||||||||||
|
@eL |
|
|
@L |
|
|
|
|
|
|
|
|
|
|
|
|
@f |
@f |
@f |
@f |
|
||||||
|
|
|
|
= |
|
cos + |
|
cos + |
|
|
cos : |
|
|
|
|
|
@L |
@x |
@y |
@z |
|
no
Вектор @f@x ; @f@y ; @f@z называется градиентом функции f(x; y; z) и обозначается rf или gradf.
Используя введенные обозначения и формулу для вычисления скалярного произведения
векторов в координатах, можем записать производную по направлению следующим образом
|
|
|
|
|
|
@f |
= eL |
|
|
f: |
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
@L |
! r |
|
|
|
|
||||||
|
Если вычислить это же скалярное произведение по определению |
|
||||||||||||||
|
|
|
@f |
|
= |
eL |
|
|
f |
j |
cos '; |
|
|
|||
|
|
|
@L |
|
|
|
|
|||||||||
|
|
|
|
|
j!j jr |
|
|
|
|
|||||||
где |
' |
eL |
f; |
|
|
|
|
|
|
|
eL |
= 1; |
а косинус по модулю |
|||
|
угол между векторами ! и r |
|
|
то с учетом того, что j!j |
|
|||||||||||
не превосходит единицы, получим, что |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
jrfj |
@f |
jrfj: |
|
|
|||||||||
|
|
|
|
|
|
|
||||||||||
|
|
|
@L |
|
|
Отсюда видим, что максимальное значение, равное jrfj; производная по направлению при-
нимает тогда, когда |
cos ' = 1; |
т. е. вектор |
eL |
||||
|
|
|
! сонаправлен с вектором градиента, а минималь- |
||||
ное когда r |
f |
eL |
: |
То есть вектор градиента направлен в сторону максимального роста |
|||
|
"# ! |
|
функции f:
14
В случае, когда функция зависит от двух переменных x и y градиентом функции является
вектор r |
f = |
@f |
; @f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
eL |
= |
f |
cos ; sin |
g. Тогда |
|
||||||||||
|
@x |
@y , координаты орта можно записать в виде |
! |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
производная поn |
направлениюo |
этого вектора равна |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
@f |
@f |
@f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
= |
|
|
|
cos + |
|
sin : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
@L |
@x |
@y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Для функции f(x1; x2; : : : ; xm) градиентом функции является вектор rf = |
|
@f |
|
@f |
@f |
. |
||||||||||||||||||||||||||||
|
|
; |
|
; : : : |
|
|||||||||||||||||||||||||||||
|
@x1 |
@x2 |
@xm |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
L |
= |
|
cos |
|
; cos ; : : : ; cos |
mo |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
1 |
|
n |
2 |
|
|
|
|
|||||||
Единичный вектор, задающий направление, записывается в виде ! |
|
|
|
|
|
|
|
|
|
|
|
|
|
g. |
||||||||||||||||||||
Тогда производная по направлению этого вектора равна |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
@f |
|
@f |
|
|
|
|
|
@f |
|
|
@f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
= |
|
cos 1 |
+ |
|
cos 2 + : : : + |
|
cos m: |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
@L |
@x1 |
@x2 |
@xm |
|
|
|
|
|
|
|
|
|
|
|
|
Пример 5.1. Найти градиент функции f(x; y; z) = x2y cos(2z + 10) в точке M0( 1; 2; 5):
Решение. Вычислим частные производные функции f в точке M0
@f@x = 2xy cos(2z + 10)
@f@y = x2 cos(2z + 10)
@f@z = 2x2y sin(2z + 10)
@f
) = 2 ( 1) 2 cos 0 = 4; @x M0
@f
) = ( 1)2 cos 0 = 1; @y M0
@f
) = 2 ( 1)2 2 sin 0 = 0: @x M0
В итоге, градиент функции f в точке M0 равен |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
rfjM0 = f4; 1; 0g: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
равна |
|
|
|
|
|
|
= p |
|
: |
||||
|
f |
|
|
|
|
|
|
|
|
f |
|
= |
( 4)2 |
+ 12 + 02 |
17 |
|||||||
Производная функции |
|
по направлению градиента |
|
2 |
|
|
jr |
|
j |
p |
|
|
|
|
|
|||||||
Пример 5.2. Найти производную функции f(x; y; z) = x |
|
y cos(2z +10) в точке M0( 1; 2; 5) |
||||||||||||||||||||
|
|
a |
|
|
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
по направлению вектора ! = f2; 1; 2g |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Решение. Найдем орт вектора ! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
! |
|
|
|
! |
|
|
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
e |
a = |
a |
= |
|
a |
|
|
|
|
|
= |
a |
: |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
2 2 |
|
2 |
|
|
|
|
|
|
|
|
|||||||||
|
|
! |
! |
|
|
|
|
|
3 |
|
|
|
|
|
|
|||||||
|
|
|
j!j p( 2) + 1 + 2 |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда, зная координаты градиента функции f в точке M0 (из предыдущей задачи), вычислим
производную по направлению вектора ! a
@ |
! M0 |
|
|
r j |
|
3 |
f |
g |
3 |
|
|
|||
@f |
|
|
|
|
|
|
a |
|
|
1 |
|
|
|
|
|
|
|
= e |
! |
f |
M0 |
= |
! |
|
4; 1; 0 = |
( 2 ( 4) + 1 1 + 2 0) = 3: |
|||
|
|
! |
|
|
|
|
|
|
|
|
|
|||
|
a |
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Так как производная функции в точке по направлению вектора ! положительна, то f M0 a
функция возрастает в этой точке в этом направлении.
15
§6. Производные неявно заданной функции
Часто приходится сталкиваться с задачами, когда переменная u; являющаяся по смыслу задачи функцией переменных x1; x2; : : : ; xm, задается посредством функционального уравнения
F (x1; x2; : : : ; xm; u) = 0: |
(6.1) |
В этом случае говорят, что функция u задана неявно.
Теорема 6.1 Пусть непрерывная функция u = f(x1; x2; : : : ; xm) неявно задается уравнением (6:1) в некоторой области D Em+1, точка M0(x01; x02; : : : ; x0m; u0) 2 D: В области D
существуют все частные производные |
@F ; k = |
1; m |
, а также @F |
, которые в этой области |
||||||
непрерывны. Причем @F@u M0 6= 0. |
@xk |
|
|
|
|
|
@u |
|
||
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
Тогда функция f(x1; x2; : : : ; xm) дифференцируема в точке X0(x10; x20; : : : ; xm0 ) и ее частные |
||||||||||
производные в этой точке равны |
|
|
|
|
@Fk M0 |
|
|
|||
|
@f |
|
|
= |
|
: |
|
|||
|
|
|
|
|
|
@F |
|
|
|
|
|
|
|
|
|
|
|||||
@xk X0 |
|
@u |
|
|
||||||
|
|
|
|
|
|
M0 |
|
|
||
|
|
|
|
|
|
@x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. Возьмем произвольную точку M 2 D: Для любой точки M 2 D выполняется равенство F (M) = 0; что следует из уравнения (6.1). Тогда
F = F (M) F (M0) = 0 0 = 0:
Так как для функции F все частные производные непрерывны в области D; то они непрерывны и в точке M0 2 D: Тогда функция F дифференцируема в точке M0 (по теореме о необходимом условии дифференцируемости функции в точке). Тогда, по определению (4.2) полное приращение функции F в точке M0 можно представить в виде
F = A1 x1 + A2 x2 + : : : + Am xm + B u + 1 x1 + 2 x2 + : : : + m xm + u;
где Ak = @xk M0 |
|
|
|
6= 0; 1; 2; : : : ; m; бесконечно малые функции |
||||
; k = 1; m; B = @u M0 |
||||||||
при x1 |
0; x2 0; : : : ; xm |
0 |
; u 0, равные нулю при x1 = x2 = : : : = xm = |
|||||
|
@F |
|
|
|
|
@F |
|
|
|
! |
! |
|
|
! |
|
! |
0; u = 0: По условию, функция u = f(x1; x2; : : : ; xm) непрерывна, следовательно, u ! 0
при xk ! 0; k = 1; m: Значит, функции 1; 2; : : : ; m; бесконечно малые функции при
xk ! 0; k = 1; m.
Так как F = 0; получим отсюда
m
X
(Ak + k) xk + (B + ) u = 0:
k=1
Так как число B 6= 0; а бесконечно малая функция при xk ! 0; k = 1; m, то можно подобрать xk; k = 1; m так, чтобы B + 6= 0: Поделим это равенство на B + и выразим
u
u = |
m |
B + |
= |
|
B + |
xk: |
|
kP |
|
||||||
|
|
=1(Ak + k) xk |
|
m |
Ak + k |
|
|
|
|
|
|
|
Xk |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
16
Так как функции 1; 2; : : : ; m; бесконечно малые при xk ! 0; k = 1; m, то величины
k = |
Ak |
|
Ak + k |
B |
B + |
являются бесконечно малыми функциями при x1 ! 0; x2 ! 0; : : : ; xm ! 0.
Теперь преобразуем u следующим образом
m |
|
A Ak + k |
|
Ak |
|
m Ak |
m |
k xk: |
||
u = k=1 |
Bk + B + |
B |
xk = k=1 B |
xk + k=1 |
||||||
X |
|
|
|
|
|
|
|
X |
X |
Так как полное приращение функции u = f(x1; x2; : : : ; xm) представимо в виде (4.2), то функция дифференцируема в точке X0: В теореме о необходимом условии дифференцируемости функции в точке было показано, что
@f |
|
|
= |
|
Ak = |
|
@Fk M0 : |
|||
|
|
|
|
|
|
|
|
@F |
|
|
|
|
|
|
|
|
|
|
|
||
@xk |
X0 |
|
B |
@u |
||||||
|
|
|
|
|
|
|
|
M0 |
||
|
|
|
|
|
|
|
|
@x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема доказана.
Пример 6.1. Найти производные zx0 и zy0 от функции z(x; y), заданной неявно уравнением
3x4 4y3z + 4z2xy 4z3x + 1 = 0
при x = y = z = 1:
Решение. Обозначим F (x; y; z) = 3x4 4y3z + 4z2xy 4z3x + 1 и вычислим частные производные
|
|
|
Fx0 |
= 12x3 + 4z2y 4z3 |
) Fx0 (1; 1; 1) = 12; |
|
|
|
|
||||||||||||||||
|
|
|
Fy0 |
= 12y2z + 4z2x |
|
) Fy0(1; 1; 1) = 8; |
|
|
|
|
|||||||||||||||
|
|
|
F 0 |
= |
|
4y3 |
+ 8zxy |
|
12z2x |
) |
F 0 |
(1; 1; 1) = |
|
8 = 0: |
|
|
|||||||||
|
|
|
|
z |
|
|
|
|
|
|
|
z |
|
|
|
6 |
|
|
|
||||||
Тогда по формуле для частных производных функций, заданных неявно |
|
||||||||||||||||||||||||
|
|
F 0 |
(1; 1; 1) |
12 |
|
|
|
|
|
|
F 0 |
(1; 1; 1) |
|
|
|
8 |
|
||||||||
z0 |
= |
|
x |
|
|
|
|
= |
|
|
= 1; 5; |
z0 |
= |
|
y |
|
|
|
= |
|
|
= 1: |
|||
F 0 |
(1; 1; 1) |
|
F 0 |
(1; 1; 1) |
|
|
|
8 |
|||||||||||||||||
x |
|
|
8 |
|
|
y |
|
|
|
|
|
||||||||||||||
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
17
§7. Частные производные старших порядков функции нескольких
переменных
Пусть функция f(x1; x2; : : : ; xm) определена в области D 2 E2 и в каждой точке этой обла-
сти существует частная производная 1-го порядка @f : Эта производная представляет собой
@xi
функцию переменных x1; x2; : : : ; xm: Если существует частная производная по переменной xk
от частной производной @f ; то она называется частной производной 2-го порядка и обозна-
@xi
чается
|
f00 |
или |
|
|
@2f |
|
: |
||
|
|
|
|
|
|
||||
|
xixk |
|
|
|
@xk@xi |
||||
|
|
|
|
|
|||||
То есть, согласно определению |
|
|
|
|
|
: |
|||
|
@2f |
= |
@ |
|
@f |
||||
|
@xk@xi |
@xk |
@xi |
При этом, если оба раза дифференцирование велось по одной и той же переменной (k = i), то производная называется повторной, если по разным (k 6= i) смешанной.
Аналогично вводится понятие производной любого порядка. При этом, если каждый раз дифференцирование будет вестись по одной и той же переменной, то получим повторную
производную, иначе смешанную.
Так, например, производная |
@4f |
означает, что функцию f(x; y; z) продифференциро- |
@x@2y@z |
вали сначала по переменной z, потом полученное выражение дважды продифференцировали по переменной y; а затем по переменной x:
Пример 7.1. Найти все частные производные 2-го порядка функции
f(x; y; z) = sin(2x + 3y) + 4xz3:
Решение. Вычислим частную производную по x, рассматривая y и z как постоянные,
@f@x = cos(2x + 3y) 2 + 4z3;
Аналогично получим производные |
|
|
|
|
|
||||||
@f |
|
|
|
|
|
|
|
|
@f |
||
|
|
= cos(2x + 3y) 3; |
|
= 4x 3z2 = 12xz2: |
|||||||
|
@y |
@z |
|||||||||
Дифференцируя вторично по тем же переменным, найдем повторные производные, |
|||||||||||
|
|
|
@2f |
= |
|
@ |
|
@f |
= 2 sin(2x + 3y) 2; |
||
|
|
|
@x2 |
@x |
@x |
||||||
|
|
|
@2f |
= |
|
@ |
|
@f |
= 3 sin(2x + 3y) 3; |
||
|
|
|
@y2 |
@y |
@y |
||||||
|
|
|
@2f |
= |
|
@ |
|
@f |
= 12x 2z; |
||
|
|
|
@z2 |
@z |
@z |
и смешанные производные второго порядка |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
@2f |
= |
@ |
|
|
@f |
|
= 6 sin(2x + 3y); |
@2f |
= |
@ |
|
|
@f |
|
= 12z2; |
@2f |
= |
@ |
|
|
@f |
|
= 0; |
||||
|
@y@x |
@y |
|
@x |
|
@z@x |
@z |
|
@x |
|
@z@y |
|
@z |
|
|
@y |
|
|||||||||||
|
@2f |
|
@ |
|
|
@f |
|
|
@2f |
|
@ |
|
|
@f |
|
|
@2f |
|
@ |
|
|
@f |
|
|
||||
|
|
= |
|
|
|
|
= 6 sin(2x + 3y); |
|
= |
|
|
|
|
= 12z2; |
|
= |
|
|
|
|
|
= 0: |
||||||
|
@x@y |
@x |
@y |
|
@x@z |
@x |
@z |
|
@y@z |
@y |
@z |
|
18
Заметим, что смешанные производные 2-го порядка, вычисленные по одним и тем же переменным, оказались равны. Однако эти равенства выполняются не для любой функции. Но прежде чем сформулировать соответствующее утверждение, введем понятие n раз дифференцируемой функции. Пусть функция f(x1; x2; : : : ; xm) определена в некоторой окрестности точки X0 и для этой функции в данной окрестности существуют все частные производные
(n 1)-го порядка. Если все частные производные (n 1)-го порядка являются функциями дифференцируемыми в точке X0; то функция f называется n раз дифференцируемой в точке X0: Из теоремы о достаточном условии дифференцируемости функции в точке следует, что для того, чтобы функция f была n раз дифференцируемой в точке X0 достаточно, чтобы все частные производные (n 1)-го порядка были непрерывными в точке X0:
Сформулируем теперь теорему о равенстве смешанных производных, рассмотрев сначала
функцию двух переменных.
Теорема 7.1 Пусть функция f(x; y) определена в некоторой окрестности точки M0 и в этой окрестности существуют производные fx0 ; fy0 ; fxy00 ; fyx00 , причем указанные смешанные производные непрерывны в точке M0: Тогда справедливо равенство
fxy00 M0 = fyx00 M0 : |
|
Доказательство. По условию, функция f(x; y) определена |
в некоторой окрестности O(M0) |
точки M0(x0; y0). Возьмем произвольную точку (x; y) 2 O(M0): Обозначим h = x x0; k = y y0: Пусть для определенности h > 0; k > 0: Введем вспомогательную функцию
'(x) = f(x; y0 + k) f(x; y0): k
Так как по условию в окрестности O(M0) существует частная производная fx0 , то для функции ' на отрезке [x0; x0 + h] существует производная
'0(x) = fx0 (x; y0 + k) fx0 (x; y0): k
И из существования производной функции ' на отрезке [x0; x0 + h] следует непрерывность этой функции на указанном отрезке. Тогда по теореме Лагранжа о конечных приращениях получим
|
|
|
'(x0 + h) '(x0) |
= '0( ); |
|
|
|
|||||||||
|
|
|
|
|
h |
|
|
|
|
|
|
|
|
|
|
|
где 2 [x0; x0 + h]: Обозначим левую часть этого равенства W и распишем |
|
|||||||||||||||
W = |
'(x0 + h) '(x0) |
= |
f(x0 + h; y0 + k) f(x0 |
+ h; y0) |
|
f(x0; y0 + k) f(x0; y0) |
: |
|||||||||
|
|
|
|
|||||||||||||
|
h |
|
|
|
|
|
hk |
|
|
|
|
|
|
hk |
|
|
Распишем правую часть, подставляя выражения для '0 |
|
|
|
|
|
|
||||||||||
|
|
|
|
f0 |
( ; y |
0 |
+ k) |
|
f0 |
( ; y |
) |
|
|
|
|
|
|
|
|
W = |
x |
|
|
x |
0 |
|
: |
|
|
|
|
||
|
|
|
|
|
|
k |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Числитель правой части можно рассматривать как приращение функции fx0 ( ; y) на отрезке
[y0; y0 + k]. И так как по условию для функции f существует смешанная производная fxy00 ; то применяя еще раз теорему Лагранжа о конечных приращениях, получим
f0 |
( ; y |
0 |
+ k) |
|
f0 |
( ; y |
) |
|
f00 |
( ; ) |
|
k |
|
||
W = |
x |
|
|
x |
0 |
|
= |
xy |
|
|
= f00 |
( ; ); |
|||
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
k |
|
|
|
|
|
|
k |
|
|
xy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
19
где 2 [y0; y0 + k]:
Введем теперь вспомогательную функцию
(y) = f(x0 + h; y) f(x0; y): h
Проводя аналогичные рассуждения, получим, что введенную ранее величину W можно представить в виде
W = f00 (e; );
yx e
где e2 [x0; x0 + h]; e 2 [y0; y0 + k]: В итоге, мы пришли к равенству
f00 ( ; ) = f00 (e; ):
xy yx e
Перейдем в этом равенстве к пределу при h ! 0 и k ! 0. Тогда ! x0; e! x0; ! y0; e ! y0
и в силу непрерывности смешанных производных в точке (x0; y0) (по условию) придем к равенству
fxy00 (x0; y0) = fyx00 (x0; y0):
Теорема доказана.
Обобщением этой теоремы является следующая:
Теорема 7.2 Если функция f(x1; x2; : : : ; xm) n раз дифференцируема в точке M0; то в этой точке значение любой смешанной частной производной n-го порядка не зависит от последовательности, в которой производились дифференцирования.
Примечание. Так, например, для некоторой четырежды дифференцируемой в точке M0
функции f(x; y; z) будут справедливы равенства
@4f |
= |
@4f |
= |
@4f |
= |
@4f |
; |
@x@2y@z |
@2y@x@z |
@z@2y@x |
@y@x@y@z |
где все частные производные берутся в точке M0:
20