Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Основные определения. Условный экстремум функций нескольких переменных

Читайте также:
  1. I. Кислотно-основные свойства.
  2. I. Основные положения
  3. I. Основные положения
  4. I. Основные сведения
  5. II ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
  6. II. 6.4. Основные виды деятельности и их развитие у человека
  7. II. Основные определения

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

Напомним, что если в задаче (1) присутствует система ограничений, то задача называется задачей условной оптимизации. Множество, определяемое системой ограничений, обозначим через М. Таким образом, задачу условной оптимизации в общем виде можно записать так:

f (X) ® min (max)

(2.1)

Основные определения

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

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

Функция

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

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

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

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

Ñ L = .

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

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

d 2 L = .

Очевидно, если L (X, l 0, L) является дважды непрерывно дифференцируемой функцией, то d 2 L является квадратичной формой от переменных dx 1, dx 2, …, dxn. Поэтому можно рассматривать вопрос о её знакоопределённости с использованием критериев, сформулированных во введении.

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

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

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

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

ji (X *)=0, i =1, 2, …, k; ji (X *)£0, i = k +1, …, m; (2.1.1.б)

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

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

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

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

ji (X *)=0, i = k +1, …, m; (2.1.1.г)

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

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

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

d 2 L (X *, L *)³0 (d 2 L (X *, L *)£0) (2.1.2а)

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

dji (X *)=0 (i =1, 2, …, m) (2.2.2б)

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

dji (X *)£0, i Î Ia, =0.

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

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

d 2 L (X *, L *)>0 (d 2 L (X *, L *)<0)

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

dji (X *)=0 (i =1, 2, …, m) и i Î Ia, >0 ( <0);

dji (X *)£0, i Î Ia, =0,

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

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

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

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

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

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

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

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


Дата добавления: 2015-07-20; просмотров: 75 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Случай функции двух переменных. Метод множителей Лагранжа.| Условный экстремум при ограничениях типа равенств

mybiblioteka.su - 2015-2024 год. (0.009 сек.)