CC BY
17
УДК 517.977.5 Вестник СПбГУ. Математика. Механика. Астрономия. 2018. Т. 5 (63). Вып. 4 МБС 49J21
Метод нахождения оптимального решения дифференциального включения*
А. В. Фоминых
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
Для цитирования: Фоминых А. В. Метод нахождения оптимального решения дифференциального включения // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 2018. Т. 5(63). Вып. 4. С. 645-657. https://doi.org/10.21638/11701 /spbu01.2018.411
В статье исследуется дифференциальное включение с заданным непрерывным выпуклым многозначным отображением. На заданном конечном промежутке времени требуется построить решение дифференциального включения, которое удовлетворяет заданным начальному и конечному условиям и доставляет минимум интегральному функционалу. С помощью аппарата опорных функций исходная задача сводится к минимизации некоторого функционала в пространстве кусочно-непрерывных функций. В случае непрерывности производной опорной функции многозначного отображения по фазовым переменным этот функционал дифференцируем по Гато. В статье найден градиент Гато, получены необходимые условия минимума данного функционала. На основании этих условий к исходной задаче применяется метод наискорейшего спуска. Численные примеры иллюстрируют работу построенного алгоритма.
Ключевые слова: дифференциальное включение, опорная функция, метод наискорейшего спуска.
1. Введение. Как известно, дифференциальное включение [1, 2] является обобщением обыкновенных дифференциальных уравнений, поскольку, например, неявные дифференциальные уравнения, дифференциальные неравенства и дифференциальные уравнения с ограничениями на фазовые координаты, могут быть записаны в виде дифференциальных включений. Кроме того, известно, что многие задачи оптимального управления при естественных предположениях могут быть сведены к дифференциальным включениям [3]. Как правило, дифференциальное включение имеет бесконечное множество решений, поэтому естественно поставить задачу выделения решения, оптимального в каком-то смысле, например, в интегральном.
Необходимые условия минимума для задач с дифференциальными включениями как с выпуклыми, так и с невыпуклыми многозначными отображениями, исследовались в таких статьях, как [4-7]. Более конструктивные условия минимума были получены в работах [8-10]. (Некоторые из перечисленных работ также рассматривают случай присутствия фазовых ограничений.) Множества достижимости дифференциальных включений также изучались в различных работах (см., например, [11-15]).
* Работа выполнена при финансовой поддержке РФФИ (грант №18-31-00014 мол-а). (¡5 Санкт-Петербургский государственный университет, 2018
2. Постановка задачи. Рассмотрим дифференциальное включение
х е Г(х,г) (1)
с начальной точкой
х(0) = хо (2)
и конечным условием
х(Т) = хт. (3)
В формуле (1) Г(х,Ь) —заданное непрерывное многозначное отображение при £ е [0,Т], х(Ь) — п-мерная непрерывная вектор-функция фазовых координат с кусочно-непрерывной (с конечным числом точек разрыва) и ограниченной на [0, Т] производной, Т > 0 — заданный конечный момент времени. Будем полагать, что каждому моменту времени £ е [0, Т] и каждой фазовой точке х е В" отображение Г(х,Ь) ставит в соответствие некоторый выпуклый компакт из В". Предположим также, что опорная функция многозначного отображения Г(х,Ь) дифференцируема по х и ее производная по х непрерывна. В формулах (2), (3) хо,хт е В" —заданные векторы.
Требуется найти такую вектор-функцию х* е Сп[0,Т], являющуюся решением включения (1) и удовлетворяющую условиям (2), (3), которая доставляет минимум функционалу
](х) = I !о(х(г),х(г),г)аь, (4)
о
где /о — заданная вещественная скалярная функция, непрерывная по всем трем аргументам и непрерывно дифференцируемая по х и по х. Предполагаем, что такое решение существует.
Здесь Сп[0,Т] —пространство п-мерных непрерывных на [0,Т] вектор-функций с производной из пространства Рп[0,Т]; Рп[0,Т] —пространство кусочно-непрерывных и ограниченных на [0, Т] п-мерных вектор-функций, имеющих на [0, Т] конечное число точек разрыва. Далее в статье также потребуется пространство Ь"[0,Т] суммируемых на [0,Т] с квадратом п-мерных вектор-функций.
Если ¿о е [0,Т) —точка разрыва вектор-функции х, то для определенности полагаем, что х(Ьо) —правосторонняя производная вектор-функции х в точке ¿о; х(Т) — левосторонняя производная вектор-функции х в точке Т.
Для произвольного множества Г С В" определим опорную функцию вектора ф е В" соотношением с(Г,ф) = зир(/,ф), где {а,Ъ) —скалярное произведение
Г еР
векторов а,Ъ е В".
Замечание 1. Вместо траекторий из пространства С"[0,Т] с производной из пространства Р"[0, Т] в статье можно рассматривать абсолютно непрерывные на отрезке [0, Т] траектории с измеримой и почти всюду ограниченной на отрезке [0, Т] производной соответственно. Такое рассмотрение при естественных предположениях гарантирует существование решения поставленной задачи. Выбор в статье пространства решений обусловлен возможностью их практического построения.
3. Сведение к задаче безусловной оптимизации. Далее для краткости будем иногда писать Г вместо Г(х, ¿). Поскольку Ш е [0, Т] и Ух е В" многозначное
отображение Е(х,г) представляет собой выпуклый компакт в Дп, то включение (1) можно переписать иначе [16]:
(¿(г), ф) < сЕ(х(г),г), ф) Уф е й, Уг е [0, т],
где й — единичная сфера в Дп с центром в начале координат. Обозначим г (г) = Х(г), г е Рп[0,Т], тогда с учетом (2) будет
х(г) = ¿о + / г(т )в,г.
Jо
Положим
е(ф,г,г) = (г(г),ф)-сЕ (х(г),г),ф), (5)
Н(г,г) = 1пгАхтгАх{0,£(ф, г,г)} (6)
и составим функционал
1 Гт
= (7)
Рассмотрим множество
П = {г е Рп[0,Т] | р(г)=0}.
Нетрудно убедиться, что для функционала (7) справедливы соотношения
(р(г) = 0 (г е &), если (х(г), ф) < с(Е(х(г),г), ф) Уф е й, Уг е [0, Т], I р(г) > 0 (г е &) в противном случае,
то есть включение (1) имеет место тогда и только тогда, когда <^(г) = 0. Введем функционал
Х{г) = ^ ^'х0 + I г(г)сМ - хт^ .
Видно, что краевые условия (2), (3) выполнены тогда и только тогда, когда Х(г)=0.
Построим функционал
I(г) = ^ /о ^хо + ^ г(т)3,т, г(г),^ ¿г + X (<р(г) + х(г)), (8)
где X > 0 — достаточно большое число.
Известно [17], что при достаточно больших значениях X решение задачи (1)-(4) сколь угодно «близко» к траектории
х* (г) = хо + г*(т)¿т, о
о
где z* —точка глобального минимума функционала (8). Итак, нахождение приближенного решения исходной задачи свелось к минимизации функционала (8) на пространстве Рп[О, Т]. На практике решают эту задачу для фиксированного значения Л. Если решение этой задачи (при А = А) удовлетворяет ограничениям в виде дифференциального включения и краевых условий с заданной точностью (то есть значение функционала р + х на этом решении достаточно мало), то процесс прекращается; в противном случае, увеличивают значение Л и повторяют процесс с этим новым значением.
4. Дифференциальные свойства функционала I. Как уже было отмечено, считаем, что опорная функция c(F(x,t),ф) многозначного отображения F(x,t) дифференцируема по фазовой переменной х и что производная dc(-F0c,t),v0 непрерывна по совокупности переменных. Тогда для любых x,y G Cn [0,T] и для любых ф G S, t G [0, T] верно соотношение
c(F(x + ay, t),ф - c(F(x, t),ф) =
= + о(а,ф,г), ^lÉlíl о при а | 0. (9)
\ dx / a
Пусть v G Pn[0,T]. Положим
za(t) = z(t) + av(t),
y(t) = í v(t)dT. (10)
J 0
Используя свойство аддитивности опорной функции по первому аргументу [3] и равенства (9), (10), вычислим
£(ф, za,t) = £(ф, z, t) + аНАф, z, v, t) + oía, ф,Ь), ( > ) q ПрИ a o,
a
где
rt
где
Н\(Ф,z,v,t) = (фМг)) - С ^Эх /0 v^dT)-
С учетом соотношений (5), (6) далее найдем
h(za, t) = h(z, t) + a.H(z, v, t) + o(a, t), ——— —> 0 при a J. 0,
H(z, v, t) = max Н\(ф, z, v, t), если ггтх£(ф, z, t) > 0,
■фея
H(z,v,t) = 0, если max £^,z,t) < 0,
фES
H(z, v, t) = maxmax{0, Н\(ф, z, v, t)}, если ггтх£(ф, z, t) = 0,
■феи
здесь
R(z, t) = < ф{г, t) G S | max{0, ¿(ф, z,t)} = maxmax{0, ¿(ф, z,t)} L
■S
■ ES
В силу структуры функционала (5) легко заметить, что в случае £(ф, z,t) > 0 максимум выражения
max{0,£(ф, z,t)} = £(ф, z, t)
достигается на единственном элементе ф*(z,t) G S. Действительно, в данном случае точка z не принадлежит множеству F. Из свойств опорной функции известно [16], что при каждом фиксированном t G [0,Т] величина h(z(t),t) представляет собой евклидово расстояние от точки z(t) до множества F(x(t),t), то есть h(z(t),t) = \\z(t) — f(x(t),t)\\ (евклидова норма), где f(x(t),t) —проекция точки z(t) на множество F(x(t),t), которая единственна, поскольку F(x(t),t) —выпуклый компакт. Отсюда видно, что максимум выражения h(z(t),t) = £(ф, z(t),t) = {.z(t),ф) — c(F (x(t),t),ф) = \\z(t) — f (x(t),t)\\ достигается на векторе ф* (z(t),t) = (z(t) — f (x(t),t))/\\z(t) — f (x(t),t)\\, который единственен в силу единственности вектора f(x(t),t). Поэтому в этом случае множество R(z,t) состоит из единственного элемента i^*(z,t).
Замечание 2. Величина h(z(t),t) при каждом фиксированном t G [0,Т] представляет собой евклидово расстояние от точки z(t) до множества F(x(t),t), а функционал (7) есть половина квадрата отклонения в ЬП[0 ,Т]-норме траектории z(t) от множества F(x,t).
Теперь нетрудно получить разложение
p(za) = p(z) + a i h(z(t),t)H(z(t),v(t),t) + o(a,t)dt.
J 0
Очевидно, что при z G Q функционал p дифференцируем по Гато, и его градиент Гато равен нулю.
Рассмотрим случай z G Q. Обозначим
w(z,t) = max £(ф, z,t)2 > 0.
Фes
Как уже было отмечено, в этом случае данный максимум достигается на единственном элементе i^*(z,t). Тогда функция i^*(z,t) непрерывна по z при фиксированном t [18], поэтому с учетом непрерывности функции получаем, что функция
непрерывна по z при фиксированном t. Далее по теореме Лагранжа о среднем значении существует такое число в = 6(t) G [0,1], что
/ dw(z + eav,t) \ (z + av, t) — w{z, t) = -—-, v J
I dw(z,t) \ / dw(z + eav,t) dw(z,t)
Далее имеем
p(z + av) — p(z)
dw(z(t) + eav(t),t) dw(z(t),t) \ v{t)>-Tz---d^—r
<
a
0
0
^ max |Wt)|| Г dW(z(t)+ Oav(t),t) _dW(z(t),t)
I dz dz
te[0,T ]
Множитель тах |Ь(£)|| ограничен, поскольку V € Рп[0,Т]. Норма под интегралом
ге[0,т ]
стремится к нулю при а ^ 0 при каждом фиксированном £ € [0, Т] в силу непрерывности функции по г при фиксированном Кроме того, эта норма ограничена в силу непрерывности функции дс(-р0М)>'!/') . Тогда по теореме Лебега о мажорируемой сходимости выражение (11) стремится к нулю при а ^ 0, что доказывает дифферен-цируемость по Гато функционала в случае z £
Вычисляя также классическую вариацию для функционалов х и J, приходим к следующему результату.
Теорема 1. Если опорная функция с(Г, ф) многозначного отображения Г(х,£) дифференцируема по х и ее производная по х непрерывна, то функционал I дифференцируем по Гато и его градиент в точке z находится по формуле
у/(,г) = Г д/о(ж(т),г(-г),т) | д/о(х,г,г) | Л дх дz
+а{ ф, г)ф* (г, I) - ^ к{г{т), + Х() + ^ _ Жт}.
4 Х 0 (12)
5. Необходимые условия минимума функционала I. Из известного необходимого условия минимума [19] дифференцируемого по Гато функционала и соотношения (12) заключаем, что справедлива следующая теорема.
Теорема 2. Пусть опорная функция с(Г, ф) многозначного отображения Г(х,1) дифференцируема по х и ее производная по х непрерывна. Для того чтобы точка z* доставляла минимум функционалу I необходимо, чтобы
ГТ д/о(х*(т),г*(т),т) , , д/о(х*,г*,г) ,
= / -5-®т --5--1"
дх дz
+А{h(z*,t№(z,t)-J h(z*(r), т) d<F(x*(T^ ^ ^«т)'т)) dT+Xo+j z*{t)dt-xT}, t Ж 0 (13)
где 0n — нулевой элемент пространства Pn[0, T].
6. Метод наискорейшего спуска. Опишем метод наискорейшего спуска [20] для поиска стационарных точек функционала I. Фиксируем произвольную точку zi € Pn[0,T]. Пусть уже построена точка zk € Pn[0,T]. Если выполнено условие минимума (13), то точка zk является стационарной точкой функционала I, и процесс прекращается. В противном случае положим
zk+1 = zk - Yk VI (zk),
где вектор-функция xk (t) = xo + zk (t)dr, а величина Yk является решением сле-
0
дующей задачи одномерной минимизации:
min I(zk - y VI (zk)) = Ihk - Yk VI (zk)). (14)
7>0
0
В силу (14) имеем I(г^+!) ^ ). Если последовательность {гь} конечна, то последняя ее точка является стационарной точкой функционала I по построению.
Предположим, что функционал VI является равномерно непрерывным и ограниченным в шаре пространства ЬП[0,Т] с центром в начале координат и радиуса
г' > вир (множество Лебега Z! = {г € Рп[0,Т] | I(г) < I(г!)} считаем
zez1 2
ограниченным по норме ЬП[0,Т]). Если последовательность {гь} бесконечна, то метод сходится [21] в следующем смысле:
IIVI (гк )|| ь2 [0 _т] ^ 0 при к
Замечание 3. Известно, что метод наискорейшего спуска часто медленно сходится. Особенно его неэффективность проявляется при больших значениях А. Для преодоления этой трудности используют более эффективные методы, например, метод сопряженных градиентов, а также различные (в том числе эвристические) приемы, направленные на учет «овражной» структуры минимизируемого функционала [17].
7. Численные примеры. Рассмотрим примеры реализации предложенного алгоритма. В обоих примерах было взято значение А* = 10. Вычислительный процесс прерывался на к*-й итерации в случае 1 |VI(гь*)11 ь2 [0 т] ^ £* =5 х 10~3. Пример 1. Имеется дифференциальное включение
х € ^(х), ^(х)= + В, г € [0,1],
где В — единичный шар в Вп с центром в начале координат. Заданы краевые условия
х(0) = (0.5, 0.25)', х(1) = (1.75, 2).
Требуется найти решение данного дифференциального включения, удовлетворяющее заданным краевым условиям и доставляющее минимум следующему функционалу:
1 (х) = [ х\(г) + х2(г) ¿г. Jo
дс
В данном случае ф) = х2ф\ + хлф2 + л/Щ+Щ, — = (ф2, ф\)' ■
Положим г! = (2,1)', тогда XI = (0.5 + 2г, 0.25 + г)'.
Было проведено 13 итераций согласно предложенному алгоритму, в результате чего была построена точка х!з (см. рис. 1), при этом 1 (х!з) = 2.219. На рис. 1 использовано обозначение и!(г) = г!(г) — х2(г), п2(г) = г2(г) — X!(г).
Данный пример можно решить известными методами, если рассматривать его с позиции теории управления. Эквивалентная этому примеру задача оптимального управления имеет следующий вид.
Нужно найти управление и € Р2 [0, Т], которое переводит систему
X! = Х2 + и!, Х2 = X! + П2
2 1
1 \/« 1 + «2
^Х2 0.5 г
0.2 0.6 \ 0.2 0.4 0.6 0.8 1
Рис. 1. Решение примера 1.
из точки х(0) в точку х(1) и удовлетворяет ограничению
«2(г) + п2(г) < 1 ш е [о, 1].
При этом значение функционала
1 (х) = [ х1(г) + х\(г) ¿г .'о
должно быть наименьшим.
Оптимальная траектория х*(г) была найдена с помощью принципа максимума Понтрягина с использованием метода стрельбы для поиска начальных значений сопряженных переменных [22]. При этом оказалось 1 (х*) = 2.195. Видно, что это значение близко к найденному с помощью предложенного в статье метода (относительная погрешность не превышает 1%).
Пример 2. Имеется дифференциальное включение
х
х е Д(х), Д(х)=^ + В, г е [о, 1],
где Д — единичный симплекс в Д" (Д = {ж € Д" | х>- 1; хг ^ О V» = 1, ??}).
Задано начальное условие
х(0) = (0.5, 0.5)'.
Требуется найти решение данного дифференциального включения, удовлетворяющее заданному начальному условию и доставляющее минимум следующему функционалу:
1 (х) = х2(1) = 0.5 + / х2(г) .¡о
¿г,
то есть найти исходящую из заданной начальной точки траекторию включения с наименьшим значением координаты х2 в конечный момент времени.
дс
В данном случае с(Д, ф) = —хпф 1 + х\фп + тах{0, фх, Ф^}, т— = (Ф—2хоф1)'.
дх
Положим = (1,1)', тогда х\ = (0.5 + г, 0.5 + г)'.
Было проведено 19 итераций согласно предложенному алгоритму, в результате чего была построена точка х\д (см. рис. 2), при этом 1 (ххд) = 0.835. На рис.2 использовано обозначение п\(г) = ¿\(г) + х2(г), «2(г) = ¿2(2) — х\(г).
Рис. 2. Решение примера 2.
Данный пример можно решить известными методами, если рассматривать его с позиции теории управления. Эквивалентная этому примеру задача оптимального управления имеет следующий вид.
Нужно найти управление и € Р2 [0, Т], которое удовлетворяет ограничению
и1(г) + и2(г) < 1, и1(г) > о, и2(г) > о ш € [0,1]
и переводит систему
X1 = —х\ + и1, х 2 = XI + и2
из точки х(0) в точку с наименьшим значением координаты Х2 в конечный момент времени, то есть доставляет минимум функционалу
J(x) = x2(1)=0.5+[ z2(t) dt.
J 0
Оптимальная траектория x*(t) была найдена с помощью принципа максимума Понтрягина с использованием метода стрельбы для поиска начальных значений сопряженных переменных [22]. При этом оказалось J(x*) = 0.803. Видно, что это значение близко к найденному с помощью предложенного в статье метода (относительная погрешность не превышает 4%).
Пример 3. Имеется дифференциальное включение
x е F(x), F(x)= + B + Q, t e [0,1],
где Q — единичный квадрат в Rn (Q = {ж G Rn | |.x\j | ^ 1, V« = 1, ??}). Задано начальное условие
x(0) = (0,1)'.
Требуется найти решение данного дифференциального включения, удовлетворяющее заданному начальному условию и доставляющее минимум следующему функционалу:
J(x)= x2(1) = 1+ [ z2(t) dt,
0
то есть найти исходящую из заданной начальной точки траекторию включения с наименьшим значением координаты х2 в конечный момент времени.
dc
В данном случае с(Д, ф) = -х2ф1+х1ф2 + ^ Ф1 + + + ^ = {Ф2, -фг)'■ Положим г1 = (0, —2)', тогда х1 = (0,1 — 2Ь)'.
Была проведена 21 итерация согласно предложенному алгоритму, в результате чего была построена точка Х21 (см. рис. 3), при этом J(x2l) = —1.712. На рис.3 сплошная линия есть параметрическая кривая {г^ (Ь) = ^(Ь) + Х2(Ь),У2(Ь) = ^2(Ь) — Х1 (Ь), Ь € [0,1]}. Пунктирная линия ограничивает допустимую область расположения этой кривой.
1 0.6 t
0.2 0.6 1
-1 ......
-1.5
-2
{fi(tWi)> * е [0,1]>
Рис. 3. Решение примера 3.
Данный пример можно решить известными методами, если рассматривать его с позиции теории управления. Эквивалентная этому примеру задача оптимального управления имеет следующий вид. Заметим, что эта задача управления имеет неклассический вид: размерность управлений больше размерности фазовых координат.
Нужно найти управление и € Р4 [0, Т], которое удовлетворяет ограничению и1(Ь) + и3(Ь) < 1, \и2(Ь)\ < 1, \и4(Ь)\ < 1 Ш € [0,1]
и переводит систему
Х 1 = —Х2 + и1 + и2,
ХС 2 = Х1 + из + и4
из точки х(0) в точку с наименьшим значением координаты Х2 в конечный момент времени, то есть доставляет минимум функционалу
J(x) = x2(1) = 1 +i z2(t) dt.
J 0
Оптимальная траектория x*(t) была найдена с помощью принципа максимума Понтрягина. При этом оказалось J(x*) = — l .761. Видно, что это значение близко к найденному с помощью предложенного в статье метода (относительная погрешность не превышает 3%).
Замечание 4. Как известно, метод наискорейшего спуска не дает высокую точность при достаточно большом значении штрафного параметра (и при не очень большом количестве итераций). Выбор в расчетах точности е* и штрафного параметра Л* основан на балансе между проведением небольшого количества итераций и соблюдением сравнительно небольшой, но достаточной для приложений точности. Вычисления проводились символьно в пакете Maple 12.0. Представляют интерес
дальнейшие исследования с целью повышения эффективности реализации предложенного в статье алгоритма, в том числе с использованием дискретизации и, возможно, других (более быстрых, чем метод наискорейшего спуска) методов минимизации в функциональном пространстве.
8. Заключение. Таким образом, в данной статье рассмотрена задача поиска оптимального в смысле интегрального функционала решения дифференциального включения с заданным начальным условием и с закрепленным правым концом. С помощью аппарата опорных функций исходная задача сводится к минимизации некоторого функционала. Для него найден градиент Гато, выписаны необходимые условия минимума. На основании этих условий построен метод решения исходной задачи, базирующийся на методе наискорейшего спуска. Реализация данного алгоритма иллюстрируется на численных примерах.
Автор выражает искреннюю благодарность рецензентам за ценные замечания и внимательное отношение к работе.
Литература
1. Половинкин Е. С. Многозначный анализ и дифференциальные включения. М.: Физматлит, 2014. 597 с.
2. Aubin J.-P., Frankowska H. Set-valued analysis. Birkhauser, Boston: Birkhauser, 1990. 461 p.
3. Благодатских В. И., Филиппов А. Ф. Дифференциальные включения и оптимальное управление // Труды МИАН. 1985. Т. 169. С. 194-252.
4. Cernea A., Georgescu C. Necessary optimality conditions for differential-difference inclusions with state constraints // J. Math. Anal. Appl. 2007. Vol. 344. P. 43-53.
5. Mordukhovich B. Sh. Discrete approximations and refined Euler—Lagrange conditions for non-convex differential inclusions // SIAM J. Control Optim. 1995. Vol. 33, N 3. P. 887-915.
6. Pappas G. S. Optimal Solutions to Differential Inclusions in Presence of State Constraints // J. Optim. Theory Appl. 1984. Vol. 44, N 4. P. 657-679.
7. Zhu Q. J. Necessary Optimality Conditions for Nonconvex Differential Inclusions with Endpoint Constraints // Journal of Differential Equations. 1996. Vol. 124. P. 186-204.
8. Арутюнов А. В., Асеев С. М., Благодатских В. И. Необходимые условия первого порядка в задаче оптимального управления дифференциальным включением с фазовыми ограничениями // Матем. сб. 1993. Т. 184, № 6. С. 3-32. Перевод: Russian Acad. Sci. Sb. Math. 1994. Vol. 79, N 1. P. 117-139.
9. Асеев С. М. Метод гладких аппроксимаций в теории необходимых условий оптимальности для дифференциальных включений // Изв. РАН. Сер. матем. 1997. Т. 61. Вып. 2. С. 3-26. Перевод: Izv. Math. 1997. Vol. 61, N 2. P. 235-258.
10. Fominyh A. V., Karelin V. V., Polyakova L.N. Exact Penalties and Differential Inclusions // Electron. J. Diff. Equ. 2015. Vol. 2015, N 309. P. 1-13.
11. Никольский М. С. Об аппроксимации множества достижимости для управляемого процесса // Матем. заметки. 1987. Т. 41. Вып. 1. С. 71-76.
12. Никольский М. С. Об одном методе аппроксимации множества достижимости для дифференциального включения // Ж. вычисл. матем. и матем. физ. 1988. Т. 28, № 8. С. 1252-1254.
13. Baier R., Gerdts M., Xausa I. Approximation of reachable sets using optimal control algorithms // Numer. Algebra Control Optim. 2013. Vol. 3. P. 519-548.
14. Panasyuk A. I. Equations of attainable set dynamics, Part 1: Integral funnel equations // J. Optim. Theory Appl. 1990. Vol. 64. P. 349-366.
15. Puri A., Borkar V., Varaiya P. e-Approximation of differential inclusions // Proc. of International Hybrid Systems Workshop. Hybrid Systems III. In Ser. Lecture Notes in Computer Science. Vol.1066. Springer, 1995. P. 362-376.
16. Благодатских В. И. Введение в оптимальное управление. М.: Высшая школа, 2001. 239 с.
17. Васильев Ф. П. Методы оптимизации. М.: Факториал Пресс, 2002. 824 с.
18. Bonnans J. F., Shapiro A. Perturbation Analysis of Optimization Problems. New York: Springer Science+Business Media, 2000. 600 p.
19. Демьянов В. Ф. Условия экстремума и вариационное исчисление. М.: Высшая школа, 2005. 335 с.
20. Канторович Л. В., Акилов Г. П. Функциональный анализ. М.: Наука, 1977. 741 с.
21. Penot J. P. On the convergence of descent algorithms // Comput. Optim. Appl. 2002. Vol. 23. Iss. 3. P. 279-284.
22. Иглин С. П. Математические расчеты на базе MATLAB. СПб.: БХВ-Петербург, 2005. 640 с. Статья поступила в редакцию 22 августа 2017 г.; рекомендована в печать 2 июля 2018 г.
Контактная информация:
Фоминых Александр Владимирович — канд. физ.-мат. наук, ассистент; [email protected]
A method for finding the optimal solution of a differential inclusion
A. V. Fominyh
St. Petersburg State University, Universitetskaya nab., 7—9, St. Petersburg, 199034, Russian Federation
For citation: Fominyh A. V. A method for finding the optimal solution of a differential inclusion. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 2018, vol. 5 (63), issue 4, pp. 645-657. https://doi.org/10.21638/11701/spbu01.2018.411 (In Russian).
In the paper, we study a differential inclusion with a given continuous convex multivalued mapping. For a given finite time interval, it is required to construct a solution of the differential inclusion, that satisfies the given initial and the final conditions and minimizes the integral functional. With the help of support functions, the original problem is reduced to minimizing some functional in the space of partially continuous functions. In the case of continuous differentiability of the support function of a multivalued mapping with respect to the phase variables, this functional is Gateaux differentiable. In the paper, Gateaux gradient is found, necessary conditions for the minimum of the given functional are obtained. On the basis of these conditions, the method of the steepest descent is applied to the original problem. Numerical examples illustrate the constructed algorithm realization. Keywords : differential inclusion, support function, steepest descent method.
References
1. Polovinkin E. S., Multivalued analysis and differential inclusions (Fizmatlit, Moscow, 2014, 597 p.) [in Russian].
2. Aubin J.-P., Frankowska H., Set-valued analysis (Birkhauser, Boston, 1990, 461 p.).
3. Blagodatskih V. I., Filippov A.F., "Differential inclusions and optimal control", Proceedings of the Steklov Institute of Mathematics 169, 194-252 (1985) [in Russian].
4. Cernea A., Georgescu C., "Necessary optimality conditions for differential—difference inclusions with state constraints", J. Math. Anal. Appl. 344, 43—53 (2007).
5. Mordukhovich B. Sh., "Discrete approximations and refined Euler—Lagrange conditions for non-convex differential inclusions", SIAM J. Control Optim. 33(3), 887—915 (1995).
6. Pappas G.S., "Optimal Solutions to Differential Inclusions in Presence of State Constraints", J. Optim. Theory Appl. 44(4), 657—679 (1984).
7. Zhu Q. J., "Necessary Optimality Conditions for Nonconvex Differential Inclusions with Endpoint Constraints", Journal of Differentia! Equations 124, 186—204 (1996).
8. Arutyunov A. V., Aseev S. M., Blagodatskikh V. I., "Necessary conditions of the first order in the problem of optimal control of a differential inclusion with phase constraints", Mat. Sb. 184(6), 3—32 (1993) [in Russian]. English transl. in: Russian Acad. Sci. Sb. Math. 79(1), 117—139 (1994).
9. Aseev S. M., "A method of smooth approximation in the theory of necessary optimality conditions for differential inclusions", Izvestiya RAN: Ser. Mat. 61(2), 3—26 (1997) [in Russian]. English transl. in: Izv. Math. 61(2), 235—258 (1997).
10. Fominyh A. V., Karelin V.V., Polyakova L. N., "Exact Penalties and Differential Inclusions", Electron. J. Diff. Equ. 2015(309), 1-13 (2015).
11. Nikol'skiy M.S., "On approximation of the attainability domain of control process", Mat. Za-metki 41(1), 71-76 (1987) [in Russian].
12. Nikol'skiy M. S., "On a method for approximation of attainable set for a differential inclusion", Journ. of Vych. Mat. Math. Phys. 28, 1252-1254 (1988) [in Russian].
13. Baier R., Gerdts M., Xausa I., "Approximation of reachable sets using optimal control algorithms", Numer. Algebra Control Optim. 3, 519-548 (2013).
14. Panasyuk A. I., "Equations of attainable set dynamics, Part 1: Integral funnel equations", J. Optim. Theory Appl. 64, 349-366 (1990).
15. Puri A., Borkar V., Varaiya P., "e-Approximation of differential inclusions", Proc. of International Hybrid Systems Workshop. Hybrid Systems III. In Ser. Lecture Notes in Computer Science 1066, 362-376 (Springer, 1995).
16. Blagodatskih V. I., Introduction to optimal control (Vysshaya shkola, Moscow, 2001, 239 p.) [in Russian].
17. Vasil'ev F. P., Optimization methods (Factorial Press, Moscow, 2002, 824 p.) [in Russian].
18. Bonnans J.F., Shapiro A., Perturbation Analysis of Optimization Problems (Springer Sci-ence+Business Media, New York, 2000, 600 p.).
19. Demyanov V. F., Extremum conditions and variation calculus (Vysshaya shkola, Moscow, 2005. 335 p.) [in Russian].
20. Kantorovich L. V., Akilov G. P., Functional analysis (Nauka, Moscow, 1977, 741 p.) [in Russian].
21. Penot J. P., "On the convergence of descent algorithms", Comput. Optim. Appl. 23, iss. 3, 279-284 (2002).
22. Iglin S.P., Mathematical calculations on the basis of MATLAB (BHV-Petersburg, St. Petersburg, 2005, 640 p.) [in Russian].
Received: August 22, 2017 Accepted: July 2, 2018
Author's information:
Alexander V. Fominyh — [email protected]
