Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Функции нескольких переменных

.pdf
Скачиваний:
0
Добавлен:
30.11.2025
Размер:
1.68 Mб
Скачать

z

2 z

 

 

 

 

 

 

 

 

y x

zyx

x

y

 

z

2 z

 

 

 

 

 

 

 

 

x y

zxy

y

x

 

z 2 z zy y y2 yy

f x; y ,

yx

f x; y ,

xy

f y2 x; y .

Аналогично вводятся понятия частных производных 3-го, 4-го, , n-го порядка, причем и для случая 3-х, 4-х и более переменных.

Частная производная 2-го и более высокого порядка, взятая по различным аргументам, называется смешанной частной производ-

ной. Так,

смешанными

производными для f x; y

 

являются,

например,

2 f

 

3 f

3 f

 

 

 

 

 

 

 

,

 

,

 

.

 

 

 

 

 

 

x y

x y x

2

 

 

 

 

 

 

 

 

 

 

 

 

y x

 

 

 

 

 

 

Пример 4.1. Найти частные производные

2 f

,

2 f

,

3 f

для

x y

y x

2

x y

функции z f x; y x3 sin y.

Решение.

f 3x2 sin y,

x

f x3 cos y,

2 f

 

 

3x2 sin y 3x2 cos y,

x y

y

y

 

 

 

 

 

2 f

 

 

x3 cos y 3x2 cos y,

y x

x

 

 

 

 

 

 

 

3

f

 

 

 

 

 

2

f

 

 

 

3x2 cos y 3x2 sin y.

 

 

 

 

 

 

 

 

 

 

 

 

y

 

2

 

y

x y

 

 

x y

 

 

 

 

 

 

 

 

 

 

 

40

Заметим, что в этом примере получено 2 f 2 f .

x y y x

Оказывается, что это равенство не является случайным. Имеет место следующая теорема.

Теорема (Шварц). Если частные производные высшего порядка непрерывны, то смешанные производные одного порядка, отличающиеся лишь порядком дифференцирования, равны между собой.

В частности, для z f x; y справедливо равенство:

 

 

2 z

 

2 z

.

(4.1)

 

 

 

 

 

 

x y

y x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство равенства (4.1).

Рассмотрим выражение

A f x x; y y f x x; y f x; y y f x; y .

Если ввести вспомогательную функцию

φ x f x; y y f x; y f y x; y ,

то A φ x x φ x .

 

Так как (по условию) f x определена, то φ x дифференцируема

на отрезке x; x x . Тогда по теореме Лагранжа:

 

 

(4.2)

A x φ x ,

где x x; x x .

41

Но

 

 

φ x

fx x; y y fx x; y .

(4.3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как

 

 

 

дифференцируема

 

f xy определена и непрерывна, то f x

на отрезке

y; y y .

Тогда еще раз применим к разности (4.3)

теорему Лагранжа (по переменной y):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.4)

 

 

 

 

 

 

fx x; y y fx

x; y y fxy x; y ,

 

 

 

 

 

 

 

 

где y y; y y .

В итоге из (4.2)–(4.4)

 

(4.5)

A x y fxy x, y .

Запишем теперь выражение А по другому. Переставим слагаемые в А:

A f x x; y y f x; y y f x x; y f x; y .

Введем вспомогательную функцию ψ x f x x; y f x; y ; тогда

 

A ψ y y ψ y .

(4.6)

 

 

 

 

 

 

 

 

 

 

 

Снова применяя два раза теорему Лагранжа к функции (4.6), получим тем же путем, что и ранее:

42

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.7)

 

 

 

 

 

 

 

 

 

 

 

A y x f yx x, y ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

 

x; x x ;

 

 

 

y; y y .

 

 

 

 

 

 

 

 

 

x

y

 

 

 

 

 

 

 

 

 

 

Из сравнения формул (4.5) и (4.7) следует:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fxy x; y f yx x; y .

 

 

 

 

Перейдем к пределу в последнем равенстве при x 0;

y 0 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

x; y .

(4.8)

 

 

 

 

 

 

fxy x; y lim f yx

 

 

 

 

 

 

x 0

 

x 0

 

 

 

 

 

 

 

 

 

 

 

 

 

y 0

 

y 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ясно, что x x,

 

 

x,

y y,

 

y

 

 

при x 0, y 0. Так

x

y

 

как (по условию)

 

 

 

– непрерывные функции, то равенство

fxy ,

f yx

(4.8) становится следующего вида:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fxy x; y f yx x; y ,

 

 

 

что означает справедливость равенства (4.1).

4.2. Дифференциалы высших порядков функции нескольких переменных

Полный дифференциал du функции от нескольких переменных есть в свою очередь функция тех же переменных. Следовательно, можно найти полный дифференциал этой новой функции. Таким образом получается так называемый дифференциал 2-го порядка

d2u исходной функции u, который будет также функцией тех же переменных. Его полный дифференциал называется дифференциа-

лом 3-го порядка d3u первоначальной функции и т. д.

Пусть функция u f x; y – функция двух переменных x и y.

43

Рассмотрим случай, когда x и y являются независимыми пере-

менными. Тогда dx x; dy y – величины постоянные. Следова-

тельно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x; y

 

 

 

f x; y

 

 

 

 

 

 

 

 

 

d2u d

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

dy

 

 

 

 

 

 

 

x

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= /используем линейность полного дифференциала/ =

 

 

 

 

 

 

 

 

 

df x; y

 

 

 

df

x; y

 

 

 

 

 

 

dx d

 

 

 

 

 

 

dy d

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d2 f x; y

 

 

d2 f x; y

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

dx

 

 

 

 

 

 

 

dy

 

 

 

 

 

 

 

2

 

 

 

 

 

x y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.9)

 

 

 

 

 

 

d2 f x; y

 

 

d2 f x; y

 

 

 

 

 

 

 

 

 

 

 

dy

 

 

 

 

 

dx

 

 

 

 

 

 

 

dy

 

 

 

 

 

 

 

 

y x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

d2 f x; y

dx2

2

d2 f

x; y

dxdy

d2 f x; y

dy2.

 

 

 

 

2

 

 

x y

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Получили формулу дифференциала 2-го порядка для функции 2-х переменных. Для дифференциала 3-го порядка будем иметь

 

d3u

3 f x; y

dx3 3

3 f x; y

 

dx2dy

 

 

 

 

 

x3

x2 y

 

 

 

 

 

 

 

 

 

 

 

 

3 f x; y

 

3 f x; y

(4.10)

 

 

3

 

dxdy2

 

dy3.

 

 

 

x y2

y3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

44

Пример 4.2. Найти дифференциал 2-го порядка для функции u x2 y5.

Решение. Найдем частные производные рассматриваемой функции:

 

5

 

2

y

4

 

2y

5

 

4

, u

 

2

20x

2

y

3

.

ux 2xy

 

, uy 5x

 

 

, u

2

 

, uxy 10xy

 

y

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

Подставляем найденные частные производные 2-го порядка в формулу (4.9): d2u 2y5dx2 20xy4dxdy 20x2 y3dy2.

Пример 4.3. Найти дифференциал 3-го порядка для функции u x5 y4 3x3 y2 2x 5y 6.

Решение. Найдем частные производные 3-го порядка, входящие в формулу (4.10):

 

4

9x

2

y

2

2,

 

20x

3

18xy

2

 

60x

2

18y

2

,

ux 5x

 

 

 

u

2

 

 

, u

3

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

3

6x

3

y

5, u

 

2

12y

2

6x

3

,

u

 

 

 

uy 4y

 

 

y

 

 

 

y

3 24y,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

36xy,

 

 

 

 

2

y, u

 

2

18x

2

.

u

2

y

uxy 18x

 

xy

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В соответствии с формулой (4.10) имеем

 

 

 

 

 

 

 

 

 

d3u 60x2

18y2 dx3

108xydx2dy 54x2dxdy2

24ydy3.

Рассматривая выражения для d2u , d3u , , приходим к следу-

ющей символической формуле для дифференциала произвольного порядка n N :

 

 

 

 

n

dnu

 

dx

 

dy

f .

x

y

 

 

 

 

45

Важно, что если dx и dy нельзя считать постоянными, то по-

следняя формула уже не будет верна. Например, при n 2 имеем

 

f x; y

f

x; y

 

d2u d du d

 

 

 

dx

 

 

d2 x

 

x

 

x

 

 

 

 

 

 

 

f x; y

 

f x; y

 

 

d

 

 

dy

 

 

 

d2 y.

 

y

 

 

y

 

 

 

 

 

 

 

 

 

Сумма 1-го и 3-го слагаемых даст выражение, ранее полученное для d2u . Поэтому в итоге

d2u

2 f x; y

dx2

2

2 f x; y

 

dxdy

2 f

x; y

dy2

 

 

2

x y

 

 

2

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

f x; y

d2 x

f x; y

d2 y,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

y

 

 

 

 

 

т. е. в данном общем случае выражение для d2u содержит слагаемые, зависящие от d2 x и d2 y , чего не было ранее в формуле (4.9) при n 2.

4.3. Формула Тейлора для функции нескольких переменных

Рассмотрим случай функции z f x; y от двух независимых

переменных. Введем новую вспомогательную независимую переменную t, полагая

 

x a ht;

y b kt ,

(4.11)

 

 

 

 

 

 

 

 

 

 

 

 

 

где a, b, h, k – числа.

46

 

Тогда f x; y f a ht; b kt φ t

– функция одной незави-

симой переменной t. Причем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

φ 0 f a; b ;

 

φ 1 f a h; b k .

 

 

(4.12)

 

 

 

 

 

 

 

По формуле Маклорена с остаточным членом Лагранжа получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

φ

(n)

0

 

φ

(n 1)

θ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

φ 1 φ 0

φ 0

 

φ

 

 

 

 

 

 

,

(4.13)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

 

 

2!

 

 

 

n!

 

 

n 1 !

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где 0 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выразим теперь производные

φ(m) 0

и

φ(n 1)

θ

через функ-

цию f x; y . Из (4.11) следует, что x и y – линейные функции аргумента t; dx hdt; dy kdt . Поэтому применяем символическую формулу для определения дифференциала порядка m функции t :

 

 

 

 

m

 

 

dmφ t

 

dx

 

dy

x

y

 

 

 

 

 

 

 

m

 

f x; y h

 

k

 

 

f x; y dtm.

x

 

 

 

y

 

Откуда φ m

t

 

 

 

 

 

 

 

 

m

f x; y .

 

 

 

 

 

 

 

 

 

 

 

h

 

 

k

 

 

 

 

 

При t 0 будет

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

x a;

y b;

при t будет x a θh; y b θk. Следовательно,

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

φ m 0 h

 

k

 

 

 

 

f a; b

h

 

k

 

 

f x; y

x a ,

 

 

 

 

 

 

 

 

 

a

 

 

b

 

 

 

 

 

 

 

 

 

x

 

y

 

y b

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

φ n 1 θ h

 

 

k

 

 

 

 

f a θh; b θk .

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

47

Подставим эти выражения в формулу (4.13), с учетом равенств

(4.12) получим формулу Тейлора:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f a h; b k f a; b h

 

 

k

 

f

a; b

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

1

 

 

 

k

(2)

f a; b

 

1

 

 

k

 

 

(n)

f a; b

 

 

h

 

 

 

 

 

h

 

 

 

 

 

2!

a

 

 

 

a

 

 

 

 

 

b

 

 

n!

 

 

 

b

 

 

1

 

 

 

k

 

(n 1)

f a θh; b θk .

 

 

h

 

 

 

n

 

a

 

 

1 !

 

b

 

Заменим a x; b y; h dx; k dy. Получаем формулу Тейлора в виде

 

f x dx; y dy f x; y df x; y

d2 f x; y

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

dn f x; y

 

dn 1 f x θdx; y θdy

 

 

(4.14)

 

 

 

 

.

 

 

 

 

n!

n 1 !

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отметим, что правая часть формулы Тейлора (4.14) содержит f x; y и ее дифференциалы различных порядков.

Пример 4.4. Разложить по формуле Тейлора функцию

fx5 y4 в т. M 1; 2 до 2-го порядка включительно. Решение. Формула Тейлора в этом случае будет иметь вид

f x, y f M df M d2 f M , 2!

f M 1 16 17,

df M fx M x x0 f y M y y0 ,

 

 

 

 

 

 

 

 

5x

4

 

4y

3

.

fx

 

, f y

 

48

Следовательно,

df M 5 14 x 1 4 23 y 2 5 x 1 32 y 2 ,

d f M f 2

M x 1

2

2 fxy M x 1 y 2 f 2 M y 2

2

,

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

где

 

20x

3

 

 

 

12 y

2

,

d

2

f M 20 x 1

2

48 y 2

2

.

f

2

 

, fxy 0, f

y

2

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда разложение (4.14) будет иметь вид

fx, y 17 5 x 1 32 y 2 10 x 1 2 24 y 2 2 .

4.4.Аудиторные задания

1.Найти частные производные 2-го порядка.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.1. z ln

 

x2 y2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y2 x2

 

 

 

2xy

 

 

 

 

 

 

x2

y2

 

 

 

 

y2 x2 2 ;

 

 

 

2 ;

 

x2

y2 2 . )

(Ответ:

zx2

zxy x2

y2

zy

2

1.2. z x

2

y

2

xy. (Ответ:

 

2;

 

1; z

 

2

2. )

 

 

z

2

zxy

y

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

1.3. z cos 2x 3y .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4cos 2x 3y ;

 

 

 

 

 

 

 

2

9cos 2x 3y . )

(Ответ: z

2

zxy 6cos 2x 3y ;

z

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

1.4.z x y .

xy

 

 

 

 

4 y

 

 

 

 

 

 

 

2x 2 y

 

 

 

 

4x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x y

3 ;

 

x y 3

 

x y 3

 

(Ответ: zx2

zxy

; zy

2

. )

1.5. u exyz .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

2

z

2

e

xyz

 

 

xyz e

xyz

;

 

(Ответ: u

2

 

 

 

; uxy 2 1

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

uy2 x2 z2exyz ; uz2 x2 z2exyz .)

49