Назад
291
знайти похідні. Таким чином, приходимо до поняття частинних по-
хідних другого порядку, які визначаються за формулами:
yyyyyxxyxyyxxxxx
z)z(;z)z(;z)z(;z)z(
=
=
=
=
(5.12)
Похідні
xy
z
і
yx
z
називаються мішаними частинними похід-
ними другого порядку. Для них справедлива рівність (при умові, що
вони неперервні по
x
і
y
) .zz
yxxy
=
Для позначення частинних похідних другого порядку вжива-
ють також символи:
),y,x(f
xy
z
),y,x(f
yx
z
);y,x(f
x
z
yx
2
xy
2
xx
2
2
=
=
=
).y,x(f
y
z
yy
2
2
=
Звідси випливає спосіб знаходження частинних похідних дру-
гого порядку: щоб знайти частинні похідні другого порядку, треба
знайти частинні похідні першого порядку даної функції, а потім від
цих похідних знайти відповідні частинні похідні першого порядку.
Таким же способом, як введено похідні другого порядку , мо-
жна ввести похідні третього порядку і т.
д.
Наприклад:
.)z(z,)z(z
yxxxxyxxxxxx
=
=
Приклад 1. Знайти частинні похідні другого порядку функції
.
x
y
arctgz =
Перевірити, чи рівні мішані частинні похідні між со-
бою.
Розв
язування. Знаходимо частинні похідні першого порядку:
;
yx
y
x
y
1
x
y
x
y
1
x
y
z
22
2
2
2
2
x
x
+
=
+
=
+
=
.
yx
x
x
y
1
x
1
x
y
1
x
y
z
22
2
2
2
y
+
=
+
=
+
=
292
Знаходимо частинні похідні другого порядку:
;
)yx(
xy2
)yx(
)yx(y)yx()y(
z
222222
x
2222
x
xx
+
=
+
++
=
;
)yx(
xy
)yx(
x2yx
)yx(
)yx(x)yx()x(
z
;
)yx(
xy
)yx(
y2yx
)yx(
)yx(y)yx()y(
z
222
22
222
222
222
2222
x
yx
222
22
222
222
222
y
2222
y
xy
+
=
+
+
=
+
++
=
+
=
+
+
=
+
++
=
.
)yx(
xy2
)yx(
)yx(x)yx(x
z
222222
y
2222
y
yy
+
=
+
++
=
Очевидно, що
.zz
yxxy
=
Для функції багатьох змінних
)x,...,x,x(fu
n21
= частинні
похідні другого порядку вводимо за формулою
,
x
u
xxx
u
ijji
2
=
де n,1j;n,1i == .
Якщо частинні похідні другого порядку неперервні по су-
купності змінних, то мішані похідні рівні між собою, тобто
).n,1j,i(,
xx
u
xx
u
ij
2
ji
2
=
=
§8. Екстремум функції двох змінних. Необхідні та
достатні умови екстремуму функції
Для функції двох змінних, як і для функції однієї змінної,
можна ввести поняття екстремуму. Вважають, що в точці М
0
(х
0
,у
0
)
функція
z=f(x,y) досягає локального максимуму, якщо в околі точки
M
0
(x
0
;y
0
)
z
Z
min
0
x
y
Мал.11
M
0
(x
0
;y
0
)
z
Z
max
0
y
x
Мал.10
293
М
0
виконується нерівність f(x,y). f(х
0
,у
0
). Аналогічно, в точці
М
0
(х
0
,у
0
) функція z=f(x,y) досягає локального мінімуму, якщо в око-
лі цієї точки виконується нерівність
f(x,y). f(х
0
,у
0
).
На мал.10 функція досягає максимуму, а на мал.11 – мінімуму.
Точки локального мінімуму і максимуму називаються
точками екстремуму функції
).y,x(fz =
Для знаходження екстремальних значень функції двох змін-
них використовуються необхідні та достатні умови екстремуму.
ТЕОРЕМА 2. (Необхідна умова екстремуму функції).
Якщо в точці
)y;x(M
000
функція )y,x(fz = досягає ек-
стремуму, то її частинні похідні першого порядку в цій точці до-
рівнюють нулю, тобто
=
=
.0)y,x(z
,0)y,x(z
00y
00x
Доведення
. Нехай в точці )y;x(M
000
- функція
)y;x(fz = досягає екстремуму. Для конкретності припустимо, що
це
max
. Зафіксуємо значення
0
yy =
і розглянемо функцію
)y;x(fz
0
=
. Як функція однієї змінної ця функція при
0
xx =
до-
сягає максимуму, тому повинна виконуватись необхідна умова екс-
тремуму: похідна
)y;x(f
dx
d
0
при
0
xx = перетворюється в нуль.
Але похідна від
)y;x(f
0
по
x
є не що інше, як частинна похідна
функції
)y;x(fz =
по
x
в точці
).y;x(M
000
Отже,
.0)y;x(z
00x
=
Аналогічно, зафіксуємо значення
x = x
0
і розглянемо функцію
).y;x(fz
0
= При
0
yy = ця функція досягає
max
, тому
)y;x(f
dy
d
0
повинна перетворюватись в нуль, якщо .yy
0
=
Звідси випливає, що
.0)y;x(z
00y
=
Теорема доведена.
Фактично ми отримуємо систему рівнянь для знаходження
координат точки
).y,x(M
000
Таких точок може бути декілька або
не існувати зовсім. Точки, в яких частинні похідні першого порядку
перетворюються в нуль, називаються точками підозрілими на екст-
ремум, або критичними точками. Нехай в точці
)y;x(M
000
вико-
294
нується умова 0zz
yx
=
=
і існують частинні похідні другого поряд-
ку. Введемо такі позначення:
C)y,x(z;B)y;x(z;A)y,x(z
00yy00xy00xx
=
=
=
і розглянемо число
.BACD
2
=
ТЕОРЕМА 3. (Достатня умова екстремуму функції).
Якщо
,0D >
то в точці )y;x(M
000
функція )y,x(fz =
має екстремум, якщо
,0D < то екстремуму немає. Якщо 0D > і
0A > , то функція досягає мінімуму, якщо 0D > і 0A < , то
функція досягає максимуму.
Доведення
. Нехай т. )y;x(M
000
є критичною точкою, тобто
)y;x(z
00x
і .0)y;x(z
00y
=
Допустимо, що існують другі частинні
похідні
,A)yx(z
0;0xx
=
B)yx(z
0;0xy
=
і C)y;x(z
00yy
=
. Складемо
із чисел
C,B,A визначник .BAC
CB
BA
D
2
== Розглянемо
приріст функції
)y;x(fz =
в т.
:)y;x(M
000
+ΔΔ
+Δ
+Δ
+
+Δ
+=Δ+Δ+=Δ
yx
yx
)y;x(f
x
x
)y;x(f
2
1
y
y
)y;x(f
x
x
)y;x(f
)y;x(f)y;x(f)yy;xx(fz
00
2
2
2
00
2
00
00
000000
xy
xy
)y;x(f
00
2
ΔΔ
+
+
Δ+Δε+
Δ
3
222
2
00
2
yxy
y
)y;x(f
()
.yx)yCyxB2xA(
2
1
)y;x(f
3
2222
00
Δ+Δε++Δ++ΔΔ+Δ=
де
,0ε
якщо .0yx
22
Δ+Δ=ρ
Останній запис випливає із формули Тейлора для функцій
двох змінних. Очевидно, що основний вклад в прирості
zΔ
задається квадратичною формою відносно
xΔ і
.yΔ
Розглянемо матрицю:
.
CB
BA
)y;x(H
00
=
а). Допустимо тепер, що
0BAC)y;x(HD
2
00
>== і
.0A > Тоді автоматично випливає, що .0C > Оскільки вираз
295
22
yCyxВ2xA Δ+ΔΔ+Δ представляє собою квадратичну форму, то
за умовою теореми Рауса-Гурвіца квадратична форма є додатньо-
визначеною, тобто
(min).)y;x(f)yy;xx(f
0000
Δ+Δ+
б). Допустимо, що
.0A,0D <> Тоді автоматично .0C < В
даному випадку квадратична форма є відємно-визначеною, отже
(max).)y;x(f)yy;xx(f
00000
Δ+Δ+
Теорема доведена.
Зауваження
1. Якщо
,0D <
то функція не досягає ні мінімуму
ні максимуму, отже екстремуму функції немає. Це можна продемо-
нструвати для випадку сідловидної точки поверхні, наприклад, для
функції
q2
y
p2
x
z
22
= в т. ).0;0(O
Із мал.6 видно, що по змінній
x
функція досягає min , а по
змінній
y
досягає
min
, а екстремуму в т. )0;0(O не існує.
Зауваження
2. Випадок
0D =
не розглядаємо, тому що в
цьому випадку екстремум може бути, а може не бути. За допомогою
частинних похідних другого порядку дослідити функцію на екстре-
мум неможливо. Наприклад,
.yxz
44
+=
Приклад 1. Дослідити на екстремум функцію
.3y2x2yxyxz
22
++++=
Розв
язування. Знаходимо частинні похідні першого порядку:
.2y2xz,2yx2z
yx
+=
++=
Прирівнюємо їх до нуля:
=
=
=
=+
=+
=+
=+
=++
2y
2x
6x3
2yx2
2y2x
2yx2
02y2x
02yx2
.
Знаходимо частинні похідні другого порядку:
.2z;1zz;2z
yyyxxyxx
=
=
=
=
Тоді
.03122D
2
>== Отже, в точці )2;2(M
0
функція
досягає екстремуму. Оскільки
,02A >= то маємо мінімум. Знахо-
димо
.5z
min
=
Приклад 2. Дослідити на екстремум функцію
6
y
10
x
z
22
= .
Розв
язування. Знаходимо частинні похідні:
296
;
5
x
z
x
=
.
3
y
z
y
=
Із системи рівнянь
=
=
0
3
y
0
5
x
знаходимо , що .0y;0x ==
Далі
.
3
1
z;0z;
5
1
z
yyxyxx
=
=
=
Тоді
.0
15
1
0
3
1
5
1
D
2
<=
=
Звідси випливає, що екстремум функції не існує.
Приклад 3. Дослідити на екстремум функцію
.430xy36y2x2z
33
++=
Розв
язування. Знайдемо
;y36x6z
2
x
=
.x36y6z
2
y
=
Розвяжемо систему рівнянь
=
=
,0z
,0z
y
x
тобто
=
=
,0x36y6
,0y36x6
2
2
або
=
=
.0x6y
,0y6x
2
2
З першого рівняння маємо
.
6
x
y
2
= Підставивши це значення
в друге рівняння, одержимо
.0x216x0x6
36
x
4
4
==
Останнє
рівняння можна записати так:
.0)36x6x)(6x(x)216x(xx216x
234
=++==
Звідси випливає, що
,0x
1
=
.6x
2
=
Корені рівняння
036x6x
2
=++ комплексні, які нас не цікавлять.
Підставивши одержані значення
x
в рівність
6
x
y
2
= , одер-
жимо:
;0y
1
=
.6y
2
=
Таким чином, маємо дві пари розвязків попе-
редньої системи рівнянь:
;0x)1
1
= ;0y
1
= .6y;6x)2
22
==
Для знаходження
D
визначимо :z;z;z
yyxyxx
297
;x12z
xx
=
;36z
xy
=
.y12z
yy
=
Підставляючи сюди спочатку першу пару розвязків, а потім
другу, обчислимо
.C,B,A Для першої пари розвязків:
;0zA
0y
0x
xx
=
=
=
=
;36zB
0y
0x
xy
=
=
=
=
,0zC
0y
0x
yy
=
=
=
=
тобто
.036BACD
22
<== Оскільки ,0D < то при
0y;0x ==
функція не має екстремуму. Для другої пари розвязків:
.72zC;36zB;72zA
6y
6x
yy
6y
6x
xy
6y
6x
xx
=
==
==
=
=
=
=
=
=
=
Оскільки число
3888)36(7272BACD
22
===
, додат-
не, то екстремум при
6y;6x == існує, причому мінімум ).0A( >
Для знаходження мінімального значення функції підставимо
6y;6x == і одержимо
.243066366262z
33
min
=++=
Приклад 4. Мале підприємство виробляє товари виду
A
і
.B
Загальні щоденні витрати на виробництво
x
одиниць товару
A
та
y
одиниць товару
B
задаються функцією
.y1,0x2,0y10x14620V
22
++=
Визначити кількість одиниць товарів
A
і
B
, при яких загаль-
ні витрати підприємства будуть мінімальними.
Розв
язування. Щоб знайти кількість одиниць
x
та
y
товарів
A
і
B
необхідно дослідити на екстремум функцію
.y1,0x2,0y10x14620V
22
++=
Знаходимо частинні похідні першого порядку
.y2,010V
,x4,014V
y
x
+=
+=
Прирівнюючи їх до нуля, отримаємо систему рівнянь:
=
=
=+
=+
.50y
,35x
.0y2,010
,0x4,014
Знаходимо частинні похідні другого порядку
.2,0VC
,0VB
,4,0VA
yy
xy
xx
=
=
=
=
=
=
298
Знаходимо .008,002,04,0BACD
22
>=== Оскільки
,0A >
то маємо мінімум. Отже, функція витрат )y;x(V при
,35x = 50y = досягає мінімуму. 125V
min
= (гр.од.)
§9. Екстремум функції багатьох змінних. Необхідна та
достатня умови екстремуму. Критерій Рауса-Гурвіца
Нехай задана функція багатьох змінних
u=u(x
1
,x
2
,…,x
n
). Пока-
жемо, як знайти
u
max
або u
min
цієї функції, по аналогії з функцією
двох змінних.
ТЕОРЕМА 3. Якщо функція
u=u(x
1
,x
2
,…,x
n
) в точці
)x,...,x,x(X
0
n
0
2
0
1
0
=
досягає екстремуму, то її частинні похідні в
цій точці рівні нулю, тобто
=
=
=
.0)X(
x
u
..................
,0)X(
x
u
,0)X(
x
u
0
n
0
2
0
1
Доведення теореми 3 аналогічне доведенню теореми 1.
Допустимо, що точка
)x,...,x,x(X
0
n
0
2
0
1
0
=
є критичною точ-
кою. Знайдемо значення других частинних похідних функції
)x,...,x,x(uu
n21
= в точці
0
X
і складемо матрицю
=
)X(
x
u
...,),X(
xx
u
)X(
xx
u
............
)X(
xx
u
...,),X(
x
u
)X(
xx
u
)X(
xx
u
...,),X(
xx
u
)X(
x
u
)X(H
0
2
n
2
0
2n
2
0
1n
2
0
n2
2
0
2
2
2
0
12
2
0
n1
2
0
21
2
0
2
1
2
0
(5.13)
Матриця виду (5.13) називається матрицею Гесса.
Встановимо достатні умови екстремуму функції
u=f(x
1
, x
2
,…,x
n
) в
т.
).x,...,x,x(X
0
n
0
2
0
1
0
Нехай точка )x,...,x,x(X
0
n
0
2
0
1
0
= є підозрілою
на екстремум.
299
Розкладемо функцію
)x,...,x,x(uu
n21
=
в ряд Тейлора в око-
лі точки
:)x,...,x,x(X
0
n
0
2
0
1
0
+
+=
=
)xx(
x
)X(u
)x,...,x,x(u)x,...,x,x(u
0
jj
n
1j
j
0
0
n
0
2
0
1n21
),XX()xx)(xx(
xx
)X(u
2
1
3
n
1i
n
1j
00
jj
0
ii
ji
02
∑∑
==
ε+
+
де
,0ε коли
.0)xx(...)xx()xx(XX
20
nn
20
22
20
11
0
+++=
Очевидно, що точка
X
0
є точкою максимуму, якщо
).x,...,x,x(u)x,...x,x(u
0
n
0
2
0
1n21
Аналогічно , точка
0
X
є точкою
мінімуму, якщо
).x,...,x,x(u)x,...,x,x(u
0
n
0
2
0
1n21
Це в свою чергу залежить від значення квадратичної форми
∑∑
==
n
1i
n
1j
0
jj
0
ii
ji
02
).xx)(xx(
xx
)X(u
Для характеристики знаку цієї суми використаємо матрицю
Гесса, яка була введена раніше. Тепер сформулюємо умови додатної
(відємної) визначеності матриці Гесса. Для цього введемо поняття
головних мінорів матриці
H(X
0
)
Означення 6. Мінор, розташований на перетині перших k-
рядків і k стовпців матриці називається головним мінором k-го
порядку.
Наприклад:
,
x
)X(u
xx
)X(u
xx
)X(u
x
)X(u
M,
x
)X(u
M
2
2
02
2
02
21
02
2
1
02
2
2
1
02
1
1
=
=
2
n
02
1n
02
n1
02
2
1
02
n
x
)X(u
...
xx
)X(u
.........
xx
)X(u
...
x
)X(u
M
=
.
300
ТЕОРЕМА 4. (Критерій Рауса-Гурвіца). Якщо головні мі-
нори матриці
)X(H
0
додатні, то функція u=u(x
1
,x
2
,…,x
n
) дося-
гає мінімуму в точці
.X
0
Якщо
,0M)1(,...,0M)1(,0M,0M)1(
n
n
321
>>>> то
функція
u=u(x
1
, x
2
,…,x
n
) досягає максимуму в точці
.X
0
Цей факт
добре відомий із теорії додатної (відємної) визначеності матриць і ,
відповідно, квадратичних форм. В математичній літературі цей кри-
терій називають також критерієм Сільвестра.
Випадок екстремуму функції двох змінних
)y,x(fz = є час-
тковим випадком екстремуму функції багатьох змінних.
§10. Умовний екстремум функції багатьох змінних
Нехай функція
)x,...,x,x(uu
n21
= досліджується на екстре-
мум при умові, що виконуються рівняння
=
=
=
mn21m
2n212
1n211
b)x,...,x,x(q
................................
b)x,...,x,x(q
b)x,...,x,x(q
, де
n
m
<
(5.14)
Рівняння (5.14) називаються рівняннями звязку, а відпо-
відний екстремум функції називається умовним екстремумом.
Для дослідження функції
)x,...,x,x(u
n21
на екстремум при
умові (5.14) використаємо функцію Лагранжа.
,)b)x(q(
)x,...,x,x(u),...,,,x,...,x,x(L
m
1i
iii
n21m21n21
=
λ+
+=λλλ
яка дозволяє задачу з обмеженням звести до задачі без обмежень.
Очевидно, що при обмеженнях (5.14)
)X(u),x(L =λ
і
).,X(L)X(u
*
.extr
*
.extr
λ=
Необхідні умови екстремальності в точці
*
X
функції
),X(L λ мають вид: