Условный экстремум функции

Условный экстремум находится тогда, когда переменные х и у функции , не являются независимыми, т.е. существует некоторое соотношение - j(х, у) = 0, связывающее переменные х и у, которое называется уравнением связи.

Так как только одна из переменных х и у может считаться независимой, то другая может быть выражена через первую из уравнения связи. Тогда можно записать, что . В таком случае справедливо соотношение:

.

В точках экстремума должно выполняться условие , т.е.:

.

Кроме того, дифференцируя уравнение связи , нетрудно получить:

.

Умножим последнее равенство на некоторое число l и сложим его с предшествующим соотношением:

После перегруппировки получим:

Таким образом, для отыскания условного экстремума функции необходимо найти значения параметра l, которые будут обеспечивать выполнение последнего соотношения.

Для этого необходимо, рассмотреть систему трех уравнений:

и найти удовлетворяющие ей значения величин .

Введем функцию Лагранжа L(x,y,l) = f(x, y)+lj(x, y) и с ее использованием сформулируем следующую теорему.

Теорема (необходимое условие условного экстремума). Пусть в области задана функция с уравнением связи j(х, у) = 0, пусть существуют частные производные первого порядка функций z и j во всех точках области D. Тогда, чтобы точка была быточкой условного экстремума функции z при условии j(х, у) = 0 необходимо, чтобы существовало такое , что величины удовлетворяли бы системе уравнений, составленной для функции Лагранжа:

.

Замечание. Последнее условие не является достаточным. Поэтому при нахождении критических точек требуется их дополнительное исследование на экстремум.

Использование функции Лагранжа для нахождения точек условного экстремума функции называется методом множителей Лагранжа.

Пример. Найти экстремум функции z= f(x, y) = xy, если уравнение связи имеет вид 2x + 3y – 5 = 0. Составим функцию Лагранжа: . Составим систему необходимых условий для отыскания условного экстремума: 2 x + 3 y – 5 = 0. То есть: Решая последнюю систему уравнений, получим: Таким образом, функция имеет условный экстремум в точке = .

Теорема (достаточное условие условного экстремума). Пусть в области задана функция z = f(x, y) с уравнением связи j(х,у) = 0, пусть существуют непрерывные частные производные второго порядка функции z во всех точках D. Тогда, чтобы точка была быточкой условного экстремума функции z при условии j(х,у) = 0 достаточно чтобы:

.

При этом:

· если , то точка - есть точка условного минимума,

· если , то точка - есть точка условного максимума.

Если , то точка не является точкой условного экстремума,

если , то необходимо дополнительное исследование.