Investigation of discrete analogue of one boundary problem of optimal control

Abstract


In the paper, one boundary value problem of optimal control for discrete two-parameter systems with discrete time is investigated. Such problems are discrete analogues of optimal control problems described by integro-differential partial differential equations of the first order. The initial function is controllable and is defined as the solution of the Cauchy problem for nonlinear ordinary difference equation, the right part of which includes concentrated control. The quality functional presents the sum of two different terms and is a Boltz type functional for the optimal control problem under consideration. The cases of arbitrary, convex and open control area defining the corresponding class of admissible controls are studied. Imposing various natural smoothness conditions on the right-hand sides of the two-dimensional and one-dimensional difference equations under consideration, assuming the convexity of the analogue of the set of admissible velocities of the system under consideration, a special increment of the quality criterion is calculated using a modified functional increment method and, based on its non-negativity along the optimal control, an analogue of the discrete Pontryagin maximum principle is proved. Assuming the convexity of the control area, by linearizing the terms in the functional increment formula and introducing a special variation of the admissible control, an analogue of the linearized maximum condition is proved. In contrast to the continuous case, the linearized maximum principle is not a consequence of the discrete maximum principle and has an independent value as a necessary condition for optimality. In the case of open control area, by introducing a classical variation of the control, the first variation (in the classical sense) of the functional is calculated and established that in the case of open control area, the first variation of the quality criterion equals zero, with its help, an analogue of the Euler equation for the optimal control problem under consideration is obtained. The scheme used in the work also makes it possible to further investigate some cases of degeneration of the obtained necessary conditions of optimality of the first order and to deduce new, constructive necessary conditions of optimality of the second order, allowing to narrow down the set of permissible controls suspicious of optimality.

Full Text

Введение В работах [1-7] и др. изучены задачи оптимального управления непрерывными и дискретными двухпараметрическими системами в предположении, что управляющая функция входит в правую часть рассматриваемого уравнения. Выведены различные необходимые условия оптимальности. Предлагаемая работа посвящена исследованию одной дискретной двухпараметрической задачи оптимального управления в случае вхождения сосредоточенного управления в начальное условие. Отдельно изучаются случаи произвольной, выпуклой и открытой области управления. Установлены необходимые условия оптимальности первого порядка. 1. Постановка задачи Допустим, что управляемый дискретный процесс описывается системой разностных уравнений (1) c начальным условием (2) где (3) Здесь f (t, x, z, y) и g(t, x, s, z) - заданные n-мерные вектор-функции, непрерывные по совокупности переменных вместе с частными производными для первой функции по z и y, для второй функции - по z, а - n-мерная дискретная вектор-функция, являющаяся решением задачи (дискретный аналог задачи Коши), t0, t1, x0, x1 - заданные числа, причем разности t1 - t0, x1 - x0 - натуральные числа. (4) (5) где - заданная n-мерная вектор-функция, непрерывная по совокупности переменных вместе с - заданный постоянный вектор, а - r-мерный дискретный вектор управляющих функций со значениями из заданного непустого, замкнутого и ограниченного множества т.е. (6) Каждую управляющую функцию с вышеприведенными свойствами назовем допустимым управлением. Задача заключается в минимизации функционала S(u) (7) определенного с помощью функций f(a(x1)) и G(x, z(t, x)) на решениях задачи (1)-(5), порожденных всевозможными допустимыми управлениями. Допустимое управление являющееся решением задачи о минимуме функционала (7) при ограничениях (1)-(6), как обычно, назовем оптимальным управлением, а соответствующий процесс - оптимальным процессом. Рассматриваемая задача является дискретным аналогом одной задачи управления динамикой популяции из работ [1-6] и исследуется впервые. Как видим, процесс управляется посредством выбора начального сосредоточенного управления, а начальная функция определяется как решение задачи Коши для нелинейного обыкновенного разностного уравнения. Сам процесс описывается двумерным нелинейным разностным уравнением. В рассматриваемой задаче в предположении существования оптимального управления установлен ряд необходимых условий оптимальности первого порядка (дискретный принцип максимума, линеаризованное условие максимума, аналог уравнения Эйлера) при различных предположениях [7-15]. 2. Аналог дискретного принципа максимума Предположим, что в рассматриваемой задаче является фиксированным допустимым процессом и при этом множество (8) выпукло при всех x. Пусть - произвольное число, а - произвольное допустимое управление. В силу предположения о выпуклости множества (8) можно записать «возмущенную» систему в виде (9) (10) (11) (12) (13) Положим (14) Учитывая условия гладкости, наложенные на правые части соотношений (1), (3), (4), из (9)-(13) получаем, что определяемые соотношениями (14), являются решениями аналогов уравнений в вариациях записанных в виде (15) (16) (17) (18) (19) При этом специальное приращение функционала цели, соответствующее допустимым управлениям и имеет вид здесь и в дальнейшем - ′ (штрих) операция транспонирования. Пусть - пока неизвестные n-мерные вектор-функции. Из соотношений (тождеств) (15), (17), (18) получаем, что (20) (21) (22) Введем обозначения вида С учетом введенных обозначений и тождеств (20)-(22) специальное приращение функционала (7), соответствующее допустимым управлением и , представляется в виде (23) Рассмотрим выражение Сделав в нем замену переменных получим Принимая во внимание (19), имеем (24) Далее, делая замену переменных с помощью рассуждений, аналогичных приведенным в [9-11], получим (25) Принимая во внимание тождества (24), (25), из формулы приращения (23) получаем специальное разложение функционала качества в виде (26) Если предполагать, что вектор-функции и удовлетворяют соотношениям (27) (28) (29) (30) (31) то разложение (26) примет вид (32) Систему (27)-(31) назовем сопряженной системой [8-15] к рассматриваемой задаче (1)-(7). Из разложения (32) следует Теорема 1. Если множество (8) выпуклое, то для оптимальности допустимого управления в задаче (1)-(7) необходимо, чтобы неравенство (33) выполнялось для всех . Таким образом, в случае граничной задачи оптимального управления имеет место необходимое условие оптимальности (33) типа дискретного принципа максимума Л.С. Понтрягина. 3. Аналог линеаризованного условия максимума В этом пункте предполагаем, что множество U выпуклое и вектор-функция F(x, a, u) имеет непрерывную производную по u. Пусть u(x) - фиксированное допустимое управление, произвольное число, а v(x) - произвольное допустимое управление. Тогда в силу сделанных предположений «возмущенное» управление u(x, μ) можно определить по формуле (34) Рассмотрим «возмущенную» систему уравнений (35) (36) (37) (38) (39) Положим (40) Принимая во внимания (40), из соотношений (35)-(39) с учетом гладкости правых частей соотношений (35), (37), (39) получаем, что и удовлетворяют соотношениям (41) (42) (43) (44) Далее запишем приращение функционала качества (7), соответствующее допустимым управлениям и Имеем: (45) Учитывая тождества (41)-(44), а также предполагая, что являются решением сопряжённой системы (27)-(31), с рассуждениями, аналогичными рассуждениям, используемым при доказательстве разложения (32), доказывается, что разложение (45) может быть представлено в виде (46) Из разложения (46) следует, что если оптимальное управление, то Из последнего неравенства в силу произвольности следует Теорема 2. Если в задаче (1)-(7) множество U выпукло, то для оптимальности допустимого управления необходимо, чтобы неравенство выполнялось для всех допустимых управлений . Таким образом, в рассматриваемой задаче доказан аналог линеаризованного условия максимума. 4. Аналог уравнения Эйлера Предположим, что в задаче (1)-(7) множество U открытое, а имеет также непрерывную частную производную по u. Пусть фиксированный, а - произвольный допустимые процессы. Допустим, что ε достаточно малое неотрицательное число, а произвольная r-мерная дискретная и ограниченная вектор-функция (допустимая вариация управления). В силу открытости области управления U специальное приращение допустимого управления можно определить по формуле (47) Пусть является решением сопряженной системы (27)-(31). Принимая во внимание, что является решением сопряженной системы (27)-(31), специальная формула приращения функционала качества представляется в виде Из этого разложения следует (см. например [7-15]), что первая вариация (в классическом смысле) критерия качества имеет вид Соответственно, вдоль оптимального управления выполняется следующее для всех Используя произвольность допустимой вариации из последнего соотношения получаем следующее утверждение. Теорема 3. Если множество U открытое, то для оптимальности допустимого управления в задаче (1)-(7) необходимо, чтобы соотношение выполнялось для всех Последнее соотношение является аналогом уравнения Эйлера для рассматриваемой задачи. Благодарность. Автор выражает свою благодарность профессору К.Б. Мансимову за постановку задачи и замечания и уважаемому рецензенту за очень полезные замечания, способствовавшие улучшению первоначального варианта статьи.

About the authors

A. I Agamaliyeva

Baku State University; Institute of Control Systems of NAS Azerbaijan

References

  1. Абакумов А.И. Управление и оптимизация в моделях эксплуатируемых популяций: автореф. дис. … д-ра физ-мат. наук. - Красноярск, 1992. - 42 с.
  2. Абакумов А.И. Оптимальное управление популяцией с распределенными параметрами // Информатика и системы управления. - 2011. - №3(29). - С. 3-9.
  3. Агамалыева А.И., Мансимов, К.Б. Необходимое условие оптимальности в одной дискретной задаче оптимального управления // Вестник Бак. ун-та. Cерия: Физ.-мат. науки. - 2018. - № 3. - С. 20-28.
  4. Агамалыева А.И., Мансимов, К.Б. Об одной задаче управления, описываемой системой интегро-дифференциальных уравнений // Вестник Томского Гос. ун-та. Cерия: Управ. выч. техники и информатика. - 2017. - № 39. - С. 4-10.
  5. Ainseba B., Anita S., Langlais M. Optimal control for a nonlinear age-structured population dynamic problem // Electronic journal of differential equations. - 2002. - № 28. - P. 1-9.
  6. Букина А.В., Букин С.С. Исследование модели динамики популяций методами теории оптимального управления // Известия Иркутского государственного университета. Серия: Математика. - 2010. - Т. 3, № 3. - С. 59-66.
  7. Мансимов К.Б., Марданов М.Д. Качественная теория оптимального управления системами Гурса-Дарбу. - Баку: Изд-во ЭЛМ. - 2010. - 3601 с.
  8. Васильев Ф.П. Методы решения экстремальных задач. - М.: Наука, 1981. - 400 с.
  9. Габасов Р., Кириллова Ф.М. Качественная теория оптимальных процессов. - М.: Наука, 1971. - 438 с.
  10. Габасов Р., Кириллова Ф.M. Особые оптимальные управления. - М.: Книжный дом «Либроком», - 2011. - 256 с.
  11. Методы оптимизации / Р. Габасов, Ф.M. Кириллова [и др.]. - Минск: Изд-во «Четыре четверти», 2011. - 472 с.
  12. Габасов Р., Кириллова Ф.М. К теории необходимых условий оптимальности для дискретных систем // Управляемые системы. - 1979. - №18. - С. 14-25.
  13. Мансимов К.Б. Интегральные необходимые условия оптимальности квазиособых управлений в системах Гурса - Дарбу // Автоматика и телемеханика. - 1993. - №5. - С. 36-43.
  14. Мансимов К.Б. Дискретные системы. - Баку: Наука. - 2013. - 151 с.
  15. Мансимов К.Б., Масталиев Р.О. Оптимизация процессов, описываемых разностными уравнениями Вольтерра: монография. - LAP, 2017. - 262 с.

Statistics

Views

Abstract - 74

PDF (Russian) - 77

Refbacks

  • There are currently no refbacks.

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies