17
9.2.4. Условный экстремум
Условным экстремумом функции
называется
экстремум этой функции, достигнутый при условии, что переменные
и
связаны уравнением
(уравнение связи).
1. Если уравнение связи можно однозначно разрешить
относительно переменной
(или
), т. е. выразить
как функцию
:
, то, подставив в аналитическое выражение функции
вместо
функцию
, получим функцию
одной переменной
. Исследуем ее на экстремум. Тем
самым решится вопрос об условном экстремуме функции
,
так как условие связи
будет уже учтено.
2. Чтобы найти условный экстремум функции
при
наличии уравнения связи
составляют функцию Лагранжа
, где
– неопределенный постоянный
множитель, и исследуют ее на экстремум.
Необходимое условие экстремума функции
имеет
вид
=ϕ
=
∂
ϕ∂
λ+
∂
∂
=
∂
∂
=
∂
ϕ∂
λ+
∂
∂
=
∂
∂
.0);(
,0
,0
yx
yy
f
y
F
xx
f
x
F
(9.3)
Из этой системы трех уравнений находятся неизвестные
,
,
, тем самым находятся стационарные точки.
Вопрос о существовании и характере условного экстремума
решается на основании исследования знака второго дифференциала
функции Лагранжа yd
y
F
dxdy
yx
F
xd
x
F
yxFd
2
2
22
2
2
2
2
2);(
∂
∂
+
∂∂
∂
+
∂
∂
= для
найденных значений
,
,
из системы (9.3) при условии, что
и
связаны уравнением 0=
∂
+
∂
dy
y
dx
x
( 0
22
≠+dydx ).
А именно, функция
имеет условный максимум, если
2
<
, и условный минимум, если
2
>
. В частности, если