Основные определения и факты

Если k=m, то задача (3.1) называется задачей с ограничениями типа равенств, при k=0 - задачей с ограничениями типа неравенств, при k<m - задачей со смешанными ограничениями.

Ограничение j_i(X)£0 называется активным в точке X*, если j_i(X*)=0. В противном случае оно называется пассивным. Множество индексов ограничений, активных в точке X*, обозначим через I_a.

Функция

L(X, l₀, L)=l₀f(X)+

называется обобщённой функцией Лагранжа, числа l₀, l₁, l₂,…,l_m - множителями Лагранжа, L=(l₁, l₂,…,l_m). При l₀=1 функция Лагранжа обращается в классическую функцию Лагранжа

L(X, L)=f(X)+ .

Градиентом обобщённой (классической) функции Лагранжа называется вектор-столбец, составленный из её частных производных первого порядка по x_i, i=1, 2, … , n:

ÑL= .

Из контекста всегда будет ясно, о чём идёт речь - о градиенте обобщённой или классической функции. Аналогично градиенту, можно рассматривать первые и вторые дифференциалы функций ограничений и Лагранжа по переменным x₁, x₂, …, x_n:

dj_i(X)= (i=1, 2, …, m),

d²L= .

Очевидно, если L(X, l₀, L) является дважды непрерывно дифференцируемой функцией, то d²L является квадратичной формой от переменных dx₁, dx₂, …, dx_n. Поэтому можно рассматривать вопрос о её знакоопределённости с использованием критериев, сформулированных во Введении.

3.1.1. (Необходимые условия экстремума первого порядка). Пусть X^*ÎR^п - точка локального минимума (максимума) функции f(X) на множестве М. Тогда существуют числа ³0, , …, , не равные одновременно нулю и такие, что выполняются условия:

условия стационарности обобщённой функции Лагранжа по X:

=0, j=1, 2, …, n; (3.1.1.a)

условие допустимости решения:

j_i(X^*)=0, i=1, 2, …, k; j_i(X^*)£0, i=k+1, …, m; (3.1.1.б)

условие неотрицательности для условного минимума:

³0, i=k+1, …, m (3.1.1.в)

(условие неположительности для условного максимума £0, i=k+1, …, m);

условие дополняющей нежёсткости:

j_i(X^*)=0, i=k+1, …, m; (3.1.1.г)

Если при этом градиенты Ñj₁(X^*), Ñj₂(X^*), …, Ñj_m(X^*) в точке X^* линейно независимы, то ≠0 (условие регулярности).

Точки, удовлетворяющие системе (3.1.1) при некоторых , L^*=( , …, ), называются условно-стационарными. При этом, если ≠0, то условно-стационарная точка называется регулярной, а при =0 - нерегулярной.

Особо отметим, что при i=k+1, …, m не могут иметь разные знаки.

3.1.2. (Необходимые условия экстремума второго порядка)Пусть X^*ÎR^п - регулярная точка локального минимума (максимума) функции f(X) на множестве М и имеется решение (X^*, L^*) системы (3.1.1). Тогда второй дифференциал классической функции Лагранжа, вычисленный в точке (X^*, L^*), неотрицателен (неположителен):

d²L(X^*, L^*)³0 (d²L(X^*, L^*)£0) (3.1.2а)

для всех таких dxÎR^п, что

dj_i(X^*)=0 (i=1, 2, …, m) (3.1.2б)

и iÎI_a, >0 ( <0);

dj_i(X^*)£0, iÎI_a, =0.

3.1.3. (Достаточные условия экстремума первого порядка) Пусть (X^*, L^*) - точка, удовлетворяющая системе (3.1.1) при ≠0, суммарное число активных ограничений-неравенств в точке X^* и ограничений-равенств совпадает с числом n переменных. Если >0 для всех iÎI_a, то точка X^* - точка условного локального минимума. Если <0 для всех iÎI_a, то X^* - точка условного локального максимума.

3.1.4. (Достаточные условия экстремума второго порядка)Пусть (X^*, L^*) - точка, которая является решением системы (3.1.1) при ≠0. Если в этой точке дифференциал классической функции Лагранжа, положителен (отрицателен)

d²L(X^*, L^*)>0 (d²L(X^*, L^*)<0)

для всех таких dxÎR^п, что

dj_i(X^*)=0 (i=1, 2, …, m) и iÎI_a, >0 ( <0); (3.1.3)

dj_i(X^*)£0, iÎI_a, =0,

то точка X^* является точкой локального минимума (максимума) задачи.

Замечания. 1. Ясно, что для выполнения достаточного условия экстремума второго порядка достаточно знакоопределённости d²L(X^*, L^*). Поэтому достаточно проверить знакоопределённость d²L(X^*, L^*) в общем случае. Если знакоопределённости d²L(X^*, L^*) в общем случае нет, то нужно проверить знакоопределённость для всех dxÎR^п таких, для которых выполняются условия (3.1.3).

2. при i=k+1, …, m не могут иметь разные знаки.

3. Из 3.1.2 и 3.1.4 вытекает, что знаки d²L(X^*, L^*) и для iÎI_a должны согласовываться, то есть они не могут иметь разные знаки.

Общая схема решения задачи на условный экстремум заключается в следующем:

1) С помощью необходимых условий первого порядка (решая систему (3.1.1)) находят условно-стационарные точки.

2) Эти точки проверяются на экстремум с помощью достаточных условий первого порядка. Если эти условия выполняются, то делается соответствующий вывод и вычисляется значение функции в этой точке.

3) Если достаточные условия первого порядка не выполняются, то для точки проверяется достаточное условие экстремума второго порядка.

4) Если достаточные условия второго порядка не выполняются, то для точки проверяется необходимое условие экстремума второго порядка. Если они не выполняются, то в точке экстремума нет. А если выполняются, то требуются дополнительные исследования для выяснения, является ли точка точкой экстремума. Например, попытаться в достаточно малой окрестности стационарной точки X^* найти две точки X₁ и X₂, такие, что f(X₁)<f(X^*)<f(X₂). Тогда, ясно, точка X^* не является точкой экстремума.

Ясно, что в задачах разного типа в зависимости от наличия (отсутствия) ограничений различного вида, эти условия имеют некоторые особенности. Поэтому задачи каждого типа рассмотрим в отдельности.