Достаточное условие оптимальности опорного (допустимого) решения

ОПТИМАЛЬНОСТИ ДОСТАТОЧНЫЕ УСЛОВИЯ.

- условия, обеспечивающие оптимальность решения задачи вариационного исчисления в выбранном классе кривых сравнения.
О. д. у. слабого минимума (см. [1]): для того чтобы кривая доставляла слабый минимум функционалу

(1) при граничных условиях. y. (x₀) = y₀,y(x₁) = y₁, достаточно, чтобы выполнялись следующие условия.

1) Кривая должна быть экстремалью, т. е. удовлетворять Эйлера уравнению

2) Вдоль кривой , включая ее концы, должно выполняться усиленное Лежандра условие

Fy'y' (х, у, y') > 0.

3) Кривая должна удовлетворять усиленному Якоби условию, требующему, чтобы решение уравнения Якоби

(2) с начальными условиями

h(x₀)=0, h'(x₀) = 1

не обращалось в нуль в точках замкнутого справа интервала

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

Для сильного минимума достаточно, чтобы дополнительно, помимо перечисленных выше, выполнялось следующее условие.

4) Существует окрестность кривой , в каждой точке (x, у).к-рой при любом у' выполняется неравенство

(3)

где

- функция Вейерштрасса, а и(х, у) - наклон поля. экстремалей, окружающего

На самой экстремали условие (3) принимает вид

(4)

Условие (4) является необходимым для сильного минимума; оно наз. необходимым условием Вейерштрасса. Таким образом, в отличие от достаточных условий слабого минимума, к-рые требуют выполнения нек-рых усиленных необходимых условий в точках самой экстремали, в достаточных условиях сильного минимума требуется выполнение необходимого условия Вейерштрасса в нек-рой окрестности экстремали. В общем случае нельзя ослабить формулировку достаточных условий сильного минимума, заменив требование выполнения условия Вейерштрасса в окрестности экстремали на усиленное условие Вейерштрасса (условие (4) со знаком строгого неравенства) в точках экстремали (см. [1]).

Для неклассических вариационных задач, рассматриваемых в оптимального управления математической теории, существует несколько подходов к установлению О. д. у. абсолютного экстремума.

Пусть поставлена задача оптимального управления, в к-рой требуется определить минимум функционала

при условиях

где U - заданное замкнутое множество р-мерного пространства.

При использовании метода динамического программирования [3] О. д. у. формулируются следующим образом. Для того чтобы управление u(t).было оптимальным управлением в задаче (5)-(8), достаточно, чтобы:

1) существовала такая непрерывная функция S(x), к-рая имеет непрерывные частные производные при всех х, за исключением, быть может, нек-рого кусочно гладкого множества размерности меньше п, равна нулю в конечной точке х ₁, S (x₁) =0, и удовлетворяет уравнению Беллмана

2) u(t) =v (x(t)), при , где v(х) - синтезирующая функция, определяемая из уравнения Беллмана:

В действительности при использовании метода динамич. программирования получается более сильный результат: О. д. у. для множества различных управлений, переводящих фазовую точку из произвольного начального состояния в заданное конечное состояние x₁.В более общем случае, когда рассматривается неавтономная система, т. е. подинтегральная функция и вектор-функция правых частей зависят еще и от времени t, функция Sдолжна зависеть от tи к левой части уравнения (9) следует добавить слагаемое . Имеется доказательство (см. [4]), в к-ром удалось снять весьма стеснительное и не выполняющееся в большинство задач, но обычно предполагаемое условие непрерывной дифференцируемости функции S(х).для всех х.

О. д. у. могут быть построены на основе принципа максимума Понтрягина. Если в нек-рой области Gфазового пространства осуществлен регулярный синтез, то все траектории, полученные с помощью принципа максимума при построении регулярного синтеза, являются оптимальными в области G. Определение регулярного синтеза хотя и является довольно громоздким, но по существу не накладывает особых ограничений на задачу (5)-(8).Существует другой подход к установлению О. д. у. (см. [5]). Пусть j(x) - функция, непрерывная вместе со своими частными производными при всех допустимых х, принадлежащих заданной области G, и

Для того чтобы пара , доставляла абсолютный минимум в задаче (5) - (8), достаточно существование такой функции j(x), что

Допускаются соответствующие изменения приведенной формулировки О. д. у. для более общих случаев неавтономной системы, задач с функционалами типа Майера и Больца (см. Больца задача), а также для скользящих оптимальных режимов (см. [5]).Исследовались вариационные задачи с функционалами в виде кратных интегралов и дифференциальными связями в форме уравнений с частными производными, в к-рых рассматриваются функции нескольких переменных (см. [6]).