Пусть помимо основной системы уравнений (1) и уравнения (4), которые можно записать совместно так:
(17.7)
мы имеем еще одну систему уравнений относительно вспомогательных (дополнительно рассматриваемых) переменных
:
Если мы выбрали некоторое допустимое управление
, переводящее систему (1) из точки
в точку
и имеем соответствующую фазовую траекторию
системы (7) с начальным условием
, то система уравнений (8) принимает вид
(17.9)
Это — система однородных линейных дифференциальных уравнений с переменными коэффициентами. При любых начальных значениях для
она допускает единственное решение
Всякое решение системы уравнений (9) (при любых начальных условиях) будем называть решением системы (8), соответствующим выбранному управлению
и фазовой траектории
.
Обозначая
(17.10)
будем иметь
(17.11)
(17.12)
и системы уравнений (7) и (8) можно переписать так:
Поставленная выше задача решается при помощи принципа максимума Л. С. Понтрягина, установленного и доказанного [72] в виде сформулированной ниже теоремы.
Предварительно сделаем следующие замечания. Взяв произвольное допустимое управление
(то есть управление, которое переводит систему из точки
в точку
и удовлетворяет ограничениям
и начальное условие
, можно найти соответствующую (то есть удовлетворяющую системе (13)) траекторию
. После этого можно найти соответствующие функциям
и
решения системы (14)
При фиксированных (постоянных) значениях
и
функция
переменных
становится функцией параметра и
; точную верхнюю грань значений этой функции обозначим через
:
(17.15)
Если точная верхняя грань значений непрерывной функции
достигается в некоторой точке области управления
, то
есть максимум значений функции
при фиксированных
и
. Поэтому приведенная ниже теорема (необходимое условие оптимальности), главным содержанием которой является равенство (16), названа ее автором принципом максимума.
Теорема 1 (принцип максимума Л. С. Понтрягина [72]). Пусть
— такое допустимое управление, что соответствующая ему траектория
, исходящая в момент
из точки
проходит в момент
через точку
. Для оптимальности управления
и траектории
необходимо существование такой ненулевой непрерывной вектор-функции
соответствующей функциям
и
, что
Для любого момента
, являющегося точкой непрерывности управления
, функция
переменного
достигает в точке
максимума
(17.16)
. В конечный момент
выполнены соотношения
(17.17)