Научная статья на тему 'Об одной задаче управления, описываемой системой интегро-дифференциальных уравнений'

Об одной задаче управления, описываемой системой интегро-дифференциальных уравнений Текст научной статьи по специальности «Математика»

CC BY
169
30
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
НЕОБХОДИМОЕ УСЛОВИЕ ОПТИМАЛЬНОСТИ / ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ / ЛИНЕАРИЗОВАННОЕ УСЛОВИЕ МАКСИМУМА / DYNAMICS POPULATION / NECESSARY OPTIMALITY CONDITIONS / INTEQRO-DIFFERENTIAL EQUATION / PONTRYAGINS MAXIMUM PRINCIPLE / LINEARIZED MAXIMUM PRINCIPLE / ПРИНЦИП МАКСИМУМА ПОНТРЯГИНА

Аннотация научной статьи по математике, автор научной работы — Агамалиева Айгюн Исфаган Кызы, Мансимов Камил Байрамали Оглы

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Агамалиева Айгюн Исфаган Кызы, Мансимов Камил Байрамали Оглы

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

About one control problem described by system of inteqro-diferential equations

Consider the problem of minimizing the functional of terminal type S (v) = J ф(х, z(t1, x))dx, (1) x0 with constraints zt = Д^xzyX (Xx) eD = t1] x ^xl], (2) x, y(t, x) = J g (t, x, s, z(t, s))ds, x e[ x0, xj, x0 x (3) z(t0, x) = J F (x, s, z(t0, s), v(s))ds. x0 Here f (t, x, z, y), g(t, x, s, z) is the given nand m-dimensional vector functions respectively, continuous with respect to all the variables together with partial derivatives of the vectors of state, F (x, z, v) is the given n-dimensional vector-function continuous with respect to all the variables together with partial derivatives z, t0, t1, x0, x1 (t0 ^ /-J; xQ ^ x1 ^ are given, ф(x, z) is a scalar function continuous with respect to all the variables together with the x, z), v = v (x) is piecewise continuous (with a finite number of points dz of discontinuity of the first kind) vector control actions with values from a specified non-empty and bounded set that is, v(x) eV с Rr, x e [x0,x1]. Our goal is to derive a necessary optimality condition in the problem under consideration.

Текст научной работы на тему «Об одной задаче управления, описываемой системой интегро-дифференциальных уравнений»

ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА 2017 Управление, вычислительная техника и информатика № 39

УПРАВЛЕНИЕ ДИНАМИЧЕСКИМИ СИСТЕМАМИ

УДК 517.977.56

Б01: 10.17223/19988605/39/1

А.И. Агамалиева, К.Б. Мансимов

ОБ ОДНОЙ ЗАДАЧЕ УПРАВЛЕНИЯ, ОПИСЫВАЕМОЙ СИСТЕМОЙ ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ

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

Ключевые слова: необходимое условие оптимальности; интегро-дифференциальное уравнение, принцип максимума Понтрягина; линеаризованное условие максимума.

В работах [1-3 и др.] изучен ряд задач оптимального управления динамикой популяции, описываемых определенным классом интегро-дифференциальных уравнений. Установлены необходимые условия оптимальности в форме вариационного принципа максимума, а также линеаризованного условия максимума при предположении, что управляющая функция входит в правую часть уравнения состояния.

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

1. Постановка задачи

Рассмотрим задачу о минимуме терминального типа функционала

х1

Я (V) = |ф( X, Х))к (1)

х0

при ограничениях

г{ = f(t,x,z,у\ (Лх)еБ =\]х^хх], (2)

XI х

у(?, х) = | g(t, X, л, s))ds, х е [ х,, , х) = | Е (х, 5, , л), v(s))ds. (3)

х0 х0 Здесь f (t, х, 2,у),g(t, х, л, г) - заданные п- и га-мерные вектор-функции, непрерывные по совокупности переменных вместе с частными производными по векторам состояния, Е (х, г, V) - заданная п-мерная вектор-функция, непрерывная по совокупности переменных вместе с частными производными по г, t0, t1, х0, хх (t0 < t1; х0 < хх) - заданы; ф(х,г) - заданная скалярная функция, непрерывная по сово-

дф( х, г) „ (

купности переменных вместе с -, а V = v(х) - кусочно-непрерывный (с конечным числом точек

&

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

v(х) е V с Яг, х е [х0,хх]. (4)

Такие управляющие функции назовем допустимыми.

Предполагается, что каждому допустимому управлению у( х) соответствует единственное решение (г(^, х), г^, х), у^, х)) (в классическом смысле) задачи (2)-(3).

Допустимое управление у(х) , доставляющее минимум функционалу (1) при ограничениях (2)-(4), назовем оптимальным управлением, а соответствующий процесс (г(,0, х), г($, х), у(., х)) - оптимальным процессом.

2. Формула приращения функционала качества

Предположим, что (у(х),г(^,х),г^,х),у^,х)) есть фиксированный допустимый процесс. Через (V (х) = у(х) + Ау(х), г(¿0, х) = г(¿0, х) + Аг^0, х), г (¿, х) = г(1, х) + Аг(г, х), у ^, х) = у(1, х) + Ау^, х)) обозначим произвольный допустимый процесс и запишем приращение

х1

А1 (V) = 3(V) - 3(V) = | ((х, 2 (Ь, х)) - ф(х, 2(11, х))) ) (5)

х0

функционала качества (1).

При этом ясно, что приращение (Аг^0, х), Аг(., х), Ау^, х)) состояния (г(¿0, х), г^, х), у(¿, х)) будет решением системы

Аг (^, х) = / ^, х, г ^, х), у(г, х)) - / ^, х, г(г, х), у(г, х)), (6)

х

Аг(?о, х) = | [Е (х, я, г (^, я), V (я)) - Е (х, я, г(^, я), (7)

-1о

х.

Ау(1, х) = | ^ (¿, х, я, г (¿, я)) - g (х, я, г(1, я), у( ,?))]<&. (8)

х0

Пусть р^, х), у(х), д^, х) - пока неизвестные «-мерные вектор-функции. Из (6)-(8) следует, что

¿1 х ¿1 х

11 р'( х)Аг {( х)ЛхЛ =|| р'( х)[/( х, г ( х), у ( х)) - /( х, г(х), у(х))]ёхЛ, (9)

л л

| у' (х)Аг(¿о,х)йх =| у' (х)

х0 х0

л.

| Е(х, я,г( ¿0, я),у(я)) - Е(х, я, г(Ц, я), v(s))]ds

Ло

ах, (10)

¿1 х ¿1 х I хц

||д' ( Г,х)Ау(х)ах =\\д' ( х)< (,х,я,г( Г,я)) - g( Г,х,я,г(Г,я))] IЛхЛ . (11)

¿0 х0 ¿0 х0

Ясно, что

1 1 1

\\р' (¿, х)Аг 1 (¿, х)ёхЛ =| [ р' (^, х)Аг(^, х) - р' (¿0, х)Аг^0, х)]ах -

(12)

11

-\\р[ (¿, х)Аг 1 (¿, х)ёхЛ.

¿0 х0

Далее введем функцию Гамильтона-Понтрягина

х1

Н (¿, х, г (¿, х), у (Г, х), р (¿, х), дЦ, х)) = р' (¿, х) / (Г, х, г (Г, х) у(Г, х)) + | д' (¿, я) g (Г, я, х, г (Г, х))Ж.

х0

С учетом (9)-(12) формула приращения (5) записывается в виде

х

х

0 л0

0

xj ^ xj xj

J(V) = j Azx)dx + j 0д|Az(ti5 x) ||)dx + j p'ft, x)Az (tj, x)dx -

x0 x0 x0 xj tj xj tj xj

-j p'(to, x)Az(to, x)dx - j j p't (t, x)Az (t, x)dxdt + j j q'(t, x)Ay (t, x)dxdt -

x0 r0 x0 to x0

tj xj

- j j [H(t, x, z(t, x), y(t, x), p(t, x), q(t, x)) - H(t, x, z(t, x),y(t, x), p(t, x), q(t, x))]dxdt -

t00 x0

xj xj xj

+ j y'(x)Az(t0, x)dx - j [ j y'(s)[F(5, x, z(t0, x),v(x)) - F(5, x, z(t0, x),v(x))]ds]dx.

(j3)

X0 -^0

Положим

xj

M (x, z (t0, x), y( x), v( x)) = j y' (5) F (5, x, z (^, x), v( x))ds.

x

Используя формулу Тейлора из (!3), будем иметь

xj xj xj

AJ(v) = j дф (x)) Az(tj,x)dx + j p'(tj,x)Az(tj,x) -j p'(t0,x)Az(t0,x)dx-

x0 x0 x0 tj xj tj xj tj xj

- \ J p't (t, x)Az (t, x)dxdt + \ J q '(t, x)Ay(t, x)dxdt - \ j H'z (t,x,z (t,x),y(t,x) p(t,x),q(t,x) :

t00 x0 t00 x0 t00 x0

tj xj

xA (t, x)dxdt -\\Hy (t,x,z (t, x),y (t,x) p(t,x),q(t, x)Ay (t,x)dxdt +

t00 x0

+ j y' (x)Az(t0, x)dx - j [M(x, z(t0, x), v(x), y(x)) - M(x, z(t0, x), v(x), y(x))]dx -

x0 x0 x xj xj

-j M'z (x, z0 (t0, x), v( x), y( x))Az (t, x)dx + j oj (|| Az (tj, x)||)dx -j 03 (|| Az (t0, x)||)dx -

x0 x0 x0 tj Xj

-j j o2 Az(t, x)||)dx +1|Ay(t, x)\\)dxdt.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Í0 x

Если предполагать, что p(t, x), q(t, x) и y( x) удовлетворяют соотношениям

Pt (t, x) = -Hz (t, x, z (t, x), y(t, x), p(t, x), q (t, x)),

P(tj, x) = -z (x, z(tj, x)), q(t, x) = -H y (t, x, z (t, x), y (t, x), p (t, x), q(t, x)),

y( x) = Mz (x, z (t0, x), v( x), y( x)) + p(t0, x),

то формула приращения (!4) примет вид

(!4)

AJ(v) = "i [м(x,z(to,x)v(x),x)) -M(x,z(t0,x),v(x),x))]dx-

U x

-J Gi(\ Az( ti, x)\)dx -J J o2(\ Az( t, x)|| + ||Ay( t, x)\)dxdt -J Оз(| M to, x)\)dx.

to x0

3. Оценка остаточного члена

Перейдем к оценке нормы приращения (&г(;0, х), Аг(1., х), Ау(1, х)) состояния (г(10, х), г(1, х), у(1, х)), отвечающего приращению Ау(х), управления v( х). Из (6)-(8) получаем, что

|| Az(t, x)|| < Zi j[| Az (x, x)|| + ||Ay(x, x)|| ] d x +1| Az (t0, x)\\,

uo

xi

\\Ay(t, x)|| < Z 2 jAz(t, s)ds,

xo

\\Az(to,x)|| < Z3 J[||Az(to,s)|| + ||Av(s)||]ds.

xo

Здесь Zj = const > o, i = 1,3, - некоторые постоянные.

Применяя к неравенству (18) лемму Гронуолла-Беллмана (см. например, [4, 5]), получим

\\Az(to,x)|| < Z4 J||Av(s)|ds,

где Z4 = const > o - некоторое постоянное.

Далее из (16), применяя лемму Гронуолла-Беллмана, будем иметь

||Az(t, x)|| < Z5

J|Ay(x, x)\d x + ||Az (to, x)|

где Z5 = const > o.

В (2o), учитывая неравенство (11), приходим к оценке

||Az(t, x)|| < Z 6

t x,

J J || Az(x, x)\|dxdx +1|Az (

uo , x

to xo

, Z6 = const > o.

Отсюда

max ||Az(t, x)|| < Z6

xo <x<x1

J ^ -xo) max ||Az(x,x)|dx + |Az(to,x

* x0 <x<x1

Применяя лемму из [6] к последнему неравенству (21), будем иметь

x1

max ||Az(t, x)|| < Z7 J||Av(s)||ds, Z7 = const > o.

(16) (11) (18)

(19)

(2o)

(21)

(22)

Используя полученные оценки (17), (19), (22), удается оценить остаток формулы приращения на специальной вариации управления.

o

o

4. Необходимые условия оптимальности

Считая v(x) оптимальным управлением его специальное приращение определим по формуле

|о, х е[%, %+в),

Дvв (х) = ^ 1 ' (23)

[V - V (х), х е[%, % + в),

где %е(х0,хх) - произвольная точка непрерывности управления v(x), V е V - произвольный вектор, в > 0 - произвольное число, такое что % + в < х1.

Учитывая (23) и установленные оценки из (15), будем иметь

Я (V + ДИв)-Я (и) = -в[М (%, %), V, у(%))-М (%, %), V, и(%), у(%))] + о(в). Из последнего разложения следует теорема.

Теорема 1. При сделанных предположенных для оптимальности допустимого управления v(x) в задаче (1)-(4) необходимо, чтобы неравенство

М(%, %), V, у(%)) - М(%, %), 4%), у(%)) < 0 (24)

выполнялось для всех %е [ х0, хх) и V е V.

Неравенство (24) является аналогом условия максимума Понтрягина в рассматриваемой задаче. Из него можно, при дополнительных предположениях, получить линеаризованное условие максимума и аналог управления Эйлера. Приведем их.

Теорема 2. Пусть множество Vвыпуклое, а Е(х, г, V) непрерывно дифференцируема также по V.

Тогда для оптимальности допустимого управления v( х) необходимо, чтобы соотношение

тах MV (%, г (^, %), v(%), у (%)) * = MV (%, г (to, %), v(%), у (%)) • v( х) (25)

wеV

выполнялось для всех %е [х0, х^.

Соотношение (25) есть аналог линеаризованного условия максимума.

Теорема 3. Если множество V открытое, а Е(х, г, и) непрерывно-дифференцируема по V, то вдоль оптимального процесса V х), г(?0, х), х), у(?, х)) соотношение

Mv (%, м(%),у(%)) = 0 (26)

выполняется для всех %е [х0, х^.

Соотношение (26) есть аналог уравнения Эйлера. В заключении приведем аналог условия Лежандра-Клебша.

Следуя, например, работам [7, 8], каждое допустимое управление, удовлетворяющее уравнению Эйлера, назовем классической экстремалью.

Теорема 4. Пусть множество V открытое, а Е(х, г, V) дважды непрерывно дифференцируема по V. Тогда для оптимальности классической экстремали v(x) в задаче (1)-(4) необходимо, чтобы неравенство

^д2М'(%, г^, %), у(%), у(%)) ^ < 0

дv2 '

выполнялось для всех w е Яг и % е [х0, хх).

Заключение

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

ЛИТЕРАТУРА

1. Букина А.В., Букин Ю.С. Исследование модели динамики популяции методами теории оптимального управления // Известия

Иркутского государственного университета. Сер. Математика. 2o1o. № 3. C. 59-66.

2. Букина А.В. Идентификация модели видообразования методами теории оптимального управления // Журнал СФУ. Сер. Ма-

тематика и физика. 2oo8. № 3. С. 231-235.

3. Букина А.В. К исследованию задачи оптимального управления интегро-дифференциальной моделью симпатрического видо-

образования // Математическое моделирование и информационные технологии : материалы VIII школы-семинара молодых ученых. Иркутск, 2oo6. C. 34-31.

4. Новоженов М.М., Сумин В.И. Методы оптимального управления системами математической физики. Горький : Изд-во ГГУ,

1986. 81 с.

5. Плотников В.И., Сумин В.И. Проблема устойчивости нелинейных систем Гурса-Дарбу // Дифференциальные уравнения.

1912. № 5. С. 845-856.

6. Хотеев Л.А. Задача оптимального управления для интегро-дифференциальных уравнений типа Барбашина // Проблемы

управления и оптимизации. Минск : ИМ АН БССР, 1916. С. 14-81. 1. Габасов Р., Кириллова Ф.М. Особые оптимальные управления. М. : Наука, 1913. 256 с.

8. Мансимов К.Б., Марданов М.Дж. Качественная теория оптимальности управления системами Гурса-Дарбу. Баку : ЭЛМ, 2o13. 363 с.

Агамалыева Айгюн Исфаган кызы E-mail: agamaliyeva88@gmail.com

Мансимов Камил Байрамали оглы, д-р физ.-мат. наук, профессор. E-mail: mansimovbkamil@gmail.com Бакинский государственный университет

Поступила в редакцию 2 июля 2o16 г.

Aqamaliyeva Aygun Isfagan (Baku State University, Azerbaijan)

Mansimov Kamil Bayramali (Baku State University, Institute of Control Systems of Azerbaijan National Academy of Sciences, Azerbaijan).

About one control problem described by system of inteqro-diferential equations.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Keywords: Dynamics population; necessary optimality conditions; inteqro-differential equation; Pontryagins maximum principle; linearized maximum principle.

DOI: 1o.11223/199886o5/39/1

Consider the problem of minimizing the functional of terminal type

x1

S (v) = J 9(x, z(i1, x))dx , (1)

xo

with constraints

zt = xz,yX (Хx) eD = [to,u1] x ^x1b (2)

x1

y(t, x) = J g (t, x, s, z(t, s))ds, x e[ xo, xj,

xo x (3)

z(to, x) = J F (x, s, z(to, s), v(s))ds.

xo

Here f (t, x, z, y), g(t, x, s, z) is the given n- and m-dimensional vector functions respectively, continuous with respect to all the variables together with partial derivatives of the vectors of state, F (x, z, v) is the given n-dimensional vector-function continuous with respect to all the variables together with partial derivatives z, to, t1, xo, x1 (to ^ ?1; xo ^ x1 ) are given, ф(x, z) is a scalar function

continuous with respect to all the variables together with the x' z), v = v (x) is piecewise continuous (with a finite number of points

dz

of discontinuity of the first kind) vector control actions with values from a specified non-empty and bounded set that is, v(x) eV с Rr, x e [xo,x1].

Our goal is to derive a necessary optimality condition in the problem under consideration.

REFERENCES

1. Bukina, A.V. & Bukin, Yu.S. (2o1o) Investigation of population dynamics model by the methods of optimal control theory. Izvestiya Irkutskogo gosudarstvennogo universiteta. Ser. Matematika - The Bulletin of Irkutsk State University. Mathematics. 3. pp. 59-66. (In Russian).

2. Bukina, A.V. (2008) Identification of a Speciation Model by Methods of Optimal Control Theory. Zhurnal SFU. Ser. Ma-tematika i fizika - SibFU Journal. Mathematics and Physics. 3. pp. 231-235. (In Russian).

3. Bukina, A.V. (2006) [To the study of the problem of optimal control of the integro-differential model of sympatric speciation]. Matematicheskoe modelirovanie i informatsionnye tekhnologii [Mathematical Modeling and Information Technologies]. Proc. of the Eighth Seminar of Young Scientists. Irkutsk. pp. 34-37. (In Russian).

4. Novozhenov, M.M. & Sumin, V.I. (1986) Metody optimal'nogo upravleniya sistemami matematicheskoy fiziki [Methods of optimal

control of mathematical physics systems]. Gorky: Gorky State University.

5. Plotnikov, V.I. & Sumin, V.I. (1972) Problema ustoychivosti nelineynykh sistem Gursa-Darbu [The problem of stability of nonlinear

Goursat-Darboux systems]. Differentsial'nye uravneniya - Differential Equations. 5. pp. 845-856.

6. Khoteev, L.A. (1976) Zadacha optimal'nogo upravleniya dlya integro-differentsial'nykh uravneniy tipa Barbashina [The optimal

control problem for Barbashin type integro-differential equations]. In: Kirillova, F.M. (ed.) Problemy upravleniya i optimizatsii [Problems of control and optimisation]. Minsk: Belorussian SSR Academy of Sciences. pp. 74-87.

7. Gabasov, R. & Kirillova, F.M. (1973) Osobye optimal'nye upravleniya [Special optimal control]. Moscow: Nauka.

8. Mansimov, K.B. & Mardanov, M.Dzh. (2013) Kachestvennaya teoriya optimal'nosti upravleniya sistemami Gursa-Darbu [Qualitative theory of optimal control of the Goursat-Darboux systems]. Baku: ELM.

i Надоели баннеры? Вы всегда можете отключить рекламу.