Серия «Математика»
2016. Т. 16. С. 71—88
Онлайн-доступ к журналу: http://isu.ru/izvestia
УДК 518.517 ЫБС 49К20
Приближенное решение задачи распределенного и граничного управления тепловым процессом
А. Керимбеков, Р. Ж. Наметкулова, А. К. Кадиримбетова
Кыргызско-Российский Славянский университет
Аннотация. Рассматривается задача оптимального распределенного и граничного управления тепловым процессом, описываемым интегро-дифференциальным уравнением типа Фредгольма. Исследована однозначная разрешимость системы нелинейных интегральных уравнений оптимальных управлений. Найдены достаточные условия существования и единственности ее решения и задачи нелинейной оптимизации. Разработан алгоритм построения приближенных решений и доказаны их сходимость по оптимальному управлению, оптимальному процессу и функционалу, отмечено, что следует различать три вида приближений оптимального процесса.
Ключевые слова: функционал, принцип максимума, оптимальное управление, система нелинейных интегральных уравнений, приближенное решение, сходимость.
В данной статье согласно методике работы [3] исследована однозначная разрешимость системы нелинейных интегральных уравнений, полученных относительно распределенного и граничного управлений. Для задачи оптимизации найдены достаточные условия однозначной разрешимости и указан алгоритм построения решения задачи нелинейной оптимизации со сколь угодной точностью в виде тройки
где п°({) и — оптимальные управления, — оптимальный
процесс, (£)] - минимальное значение функционала. При по-
строении приближений оптимального процесса отмечено, что следует различать три вида приближений, т. е. приближение по резольвенте, приближение, соответствующее приближенному оптимальному управлению, и приближение, определяемое конечной суммой, которое используется на практике.
А. КЕРИМБЕКОВ, Р. Ж. НАМЕТКУЛОВА, А.К. КАДИРИМБЕТОВА 1. Задача оптимального управления
В этой статье изложены результаты, которые являются продолжением работы [1]. Поэтому, сохраняя обозначения работы [1], рассмотрим задачу нелинейной оптимизации, где требуется минимизировать функционал
г 1
I(и, #) = V (Т, х) - £ (х)] 2йх+ Jо
! { ^ Я2[^^,х,и(г,х)]йх + в2[г,$(г)]^¿г, (Ы)
в> о, о < х < 1, о <г < т,
на множестве решений краевой задачи
^г = уХх + V К(г,т)и(т,х)йг + / [г,х,и(г,х)], (1.2)
■)о
V(0,х) = ф(х), 0 < х < 1, (1.3)
Мг,о) = о^х(г, 1) + av(г, 1) = р[г,$(г)], (о <г < т), (1.4)
где К (г, т) — заданная функция, она определена в области Б = {о < Ь < Т, о < т < Т} и удовлетворяет условию
Г Т [-Т
/ / К2(Ь,т)(1т(И = Ко < <Х>, (1.5)
./о Уо
т.е. К(Ь,т) € Н(Б); £(х),ф(х) € Н(о, 1) — заданные функции; /[Ь,х,и(Ь,х)] € Н^),р[Ь,'&(Ь)] € Н(о,Т) - функции внешних источников, которые нелинейно зависят от функции управления и(Ь, х) € Н и §(Ь) € Н(о,Т), причем имеют место соотношения
/и[Ь,х,и(Ь,х)]=о,р#[Ь,$(Ь)]=о, г € (о,Т), х € (о, 1), (1.6)
известные функции д[г,х,и(г,х)] € Н^) и в[г,^(г)] € Н(о,Т) - выпуклы по функциональным переменным и(г,х) и $(г), соответсвенно, ц — параметр, постоянная а > о, Т — фиксированный момент времени, Q = {о < х < 1; о < г < Т}, Н(У) — гильбертово пространство квадратично суммируемых функций, определенных на множестве У.
Как показано в работе [1], компоненты оптимального векторного управления {и,(г,х),§(г)} удовлетворяют системе нелинейных интегра-
льных уравнений вида
р-иьхмьх))-=
I Еп(Т, Ь, ц)еп(Т,т,/)[/п(Т,и)+ гп(1)р(г,^(г))]с!т)хп(х), Jo
= *,,)1п _ ГтЕп(Т}ь,)£п(Т}т>^х
X [¡п(т, и) + Хп (1)р(т, $(Т ))]с!т )Хп (1),
(1.7)
где хп(х),п = 1, 2, 3,..., — ортонормированная система функций, определенных в Н(0,1)(см. [1]),
Еп (Т, Ь, /) = е-ХП(т+ / Г Еп (в, Ь, /)е-Хп (T-s)ds, (1.8)
^(Т, т, /) = е-хП(Т-т) + / Г Еп(Т, в, /)е-хП(-3-т)с1з, (1.9)
I' т
1п = £п - Фп[е-хпт + / Rn(T,s,/)e-xnsds], (1.10)
0
где Еп^^,/) и Еп,^^,/) — резольвенты, которые возникают при построении решений основной и сопряженной краевых задач, и дополнительным условиям
мк (ь,^(ь)) ) (111)
ди\ $и{г,х,и{г,х))
у 1,П,х,иП,х)) )>и-
Система нелинейных интегральных уравнений (1.7) решается согласно методике [3]. Положим
рд(г, х, и(Ь, х))ди(Ь, х, и(Ь, х)) =
1п(Ь,х,и(Ь,х)) (1 12)
жтшьт) ьт 1' ;
0
0
где
те
Ъг(г,х) = ^ Еп(Т,г,^){1г
п=1
гТ Г1
£п(Т,т,р)[ [ /(т,у,ф1 (т,у,Ъ1(т,у),в))гп(у)йу+ ■)о
+гп(1)р[т, <р2(т, Ъ2(т),в)}] йт}гп(х),
те
Ъ2(г) = ^2 Еп(Т,г,^){1п
п=1
гТ г 1
£п(Т,т,р)[ [ /(т,у,ф1 (т,у,Ъ1(т,у),Р))гп(у)йу+ ■)о
+Хп (1)р[т, ф2 (т, Ъ2(т ),£)]] йт }г,п (1).
В силу условия монотонности функций /[г, х, и(г, х)] и р[г, $(£)] по функциональным переменным из (1.12) функции и(г,х) и §(г) определяются однозначно, т. е. существуют функции ф1(-) и ф2(■), такие что
и(г, х) = ^(г, х, Ъ1 (г, х),в),
т = Мг,Ъ2(г),в). (. )
Введем обозначения
в[Ъ1(г,х),Ъ2(г)] = (Ъ1 (г,х),ь(г)), ь[Ь(г,х),12(г)] = (¡1 (г,х)м(г)), х[в(Ъ1(г,х),Ъ2(г))] = (х1[в Ъ (г,х)Мг))],Х2 [в Ъ (г,х)Ъ (г))]),
где ¡1(г,х) = Ете=1 Еп(Т,г,^)1пгп(х), Ш = ЕГ=1 Еп(Т,г,^)1пгп(1), Х1[В(Ъ1(г,х),Ъ2(г))] = £Еп(Т,г,р) [ £п(Т,т,»)х
п=1 ^
хП /(т, у, ф1 [т, у, Ъ1(т, у),в])гп(у)йу+гп(1)р(т, ф2[т, Ъ2(т),в])}йтгп(х),
о
Х2[В(Ъ1(г,х),Ъ2(г))] = VЕп(Т,г,р) [Т£п(Т,т,»)х
п=1 ™
хп /(т, у, ф1[т, у, Ъ1(т, у),в])гп(у)йу+х,п(1)р(т, ф2[т, Ъ2(т),в])}йтХп(1). о
С учетом этих обозначений систему нелинейных интегральных уравнений (1.7) представим в операторной форме
в[Ъ1(г,х),Ъ2(г)]= ь[Н(г,х)М(г)] -х[вЫг,х),Ъ2(г))]. (1.14)
о
Лемма 1. Вектор функция Ь[11 (г,х),12(г)] является элементом пространства Н^) х Н(о,Т).
Доказательство. При вычислении будем пользоваться интегральным неравенством Коши - Буняковского и следующими соотношениями
1 Т Ко / г2(х)с1х = 1, / Е2^, <—;---.
те 1 11
(п-1),<Хп<1(2п-1), Д2 + 6
п=1 п 1
2
п=1
Эти соотношения в дальнейшем будут использованы неоднократно. Непосредственными вычислениями имеем следующие неравенства
с Т г 1 ¡-Т Г1 те
¡2(г,х)йхйг = / (VЕп(Т,г,»)пл2-
г! Г1 г! Г1 те
1) / ¡2(г,х)йхйг = / (VЕп(Т,г,ц)1пгп(х))2йхйг =
Jо Jо ./о Jо п=1
Т тете Т тете
= [ £Е2п(Т,г,^пйг <1 ^(е-х1{Т-)+
^ п=1 ^ п=1
Т тео Т
+. I Кп(з, г, .)е~хП(Т-з)йв)212пйг < 2 У7 / е~2ХП(Т-)йг+
п=1 ]о
+.2 / (в,г,р)йв е~2Х"(Т~з)йзйг)12п < о о п о п
< £ 1 {1 + №-)й < {1 + №-) х
(^/щ-н/вд-)2 (^щ- \i4-sm)2
те 1 Г1
п=1Хп Уо
^ ^ + , /о/Т ■^2) Е + 2^[е"2Л"Т+
,Т ,Т ..2 к Т
х (КМИн(си) + 2Жх)И'ЯМ(1 + + 1) < со.
2) Используя неравенство Коши - Буняковского для суммы, оценку х2п(х) < 2, для любого х € [о, 1], и результат проведенных выше вычис-
76 А. КЕРИМБЕКОВ, Р. Ж. НАМЕТКУЛОВА, А.К. КАДИРИМБЕТОВА лений имеем неравенство
/т Г1 .
/ ¡К^М = (V Еп(Т,Ь,/)1пХп(1))2dt =
Л п=1
те те „ т те
(1)Еп(Т,Ь,/)^ пл < 2 £(е-хП(Т+
п=1 п=1 п=1
{Т ~ 2
Кп^, Ь, /)е-хП(Т-^(1,в)2(Му] 1"п <
п=1
те 2 т^ гр те
п=1 п VV^vn V 7 п=1
,Т . 2 к Т
+1А, / Кп(Т, 8,1л)е~^Ч8})2 < 4(1 + —Г 0 х
те . те
.2 к Т
Учитывая эти неравенства и согласно соотношению
1№ (ь,Х),12 (ь)]\\Н ^
У.Н (°,Т) = J j 12(Ь,х)^М + J l2(t)dt, получим утверждение леммы. □
Лемма 2. Оператор х[~] переводит пространство НX Н(0,Т) в себя.
Доказательство. Учитывая (1.9) и соотношения, использованные при доказательстве леммы 1, непосредственными вычислениями имеем следующие неравенства
1) [ [ х2[ВЫЬ,х)МЬ))^Ь = 00
ГТ с 1 те „Т
ГТ Г1 те ГТ Г1
/ / (V Еп(Т, Ь, /) еп (Т, т, /){ ! (т,у,^1[т,у,Ъ1(т,у),Р])х п=1
хХп(у^у + Хп(1)р(т, <р2[т, Ь2(т),в])^тХп(х))2dxdt <
Т те© т
< / Т.Е2п(Т,Ь,/) / е2п(Т,т,^тх
п=1
Tl
[( / o Jo
х2 í [(í f (т, y, ф1[т, y, bl(т, y"), ßß)Zn(y)dy)2+ Jo Jo
r T ñ
+(zn(1)р(т,<р2[ттМт),ß]))2](1т(й К 2 Y^En(T,t,i)dtx
Jo n=1
x e"n(T, т, !)(1т U / f2(т,y,pl[т,y,bl(т,y),ß])dydт x Jo Jo Jo
xí z2n(y)dy + 2 í р2(т,^2[т,Ь2(т),[5]^т}К oo
^ 2 £ 12 (1 + ТТ^ТТТ^)2 +
п=\ "" {л/Щ-Ы^ЩГ)2 Jo
+l2 I R2n (T, s, l)ds J e^ds^^f^y^l [t,y,bl(t,y),ß])\\H(Q) +
2
+2\\p(t,V2[t,b2(t),ß])\\HoT)) К
оо
<2Т-(1 +_^_) —(1 +_^_) X
- (УЩ-НУВД2 (УЩ-НУВД2
x(\\f (t, y, Vl[t, y, bl(t, y),ß])\\H(Q) + 2\\p(t, V2[t, b2(t),ß])\\Hot)) К * 2(1 +
ñ 1 n2K T
+ ^m{t,y,vi[t,yM{t,y),ß])fH(Q)+
+2\\p(t,V2 [t,b2(t),ß])\\H (o T T ) ) < ж,
ri ri ñ
2) x2[B (bl(t,x),b2 (t))]dt = (E Zn (l)En (T, t, l) x J° j° n=1
x en(T^, i){ f (t,y,Vl (t,y,bl[t,y],ß))zn (y)dy+ oo
„ t ñ ñ
+Zn(l)p^, b2 (т)^}т)2 dt К / (l)E2n (T,t,l)J2 en (T,т,№т x
■*o n=1 n=1
x2 í (Í (f2(t,y,Vl(t,y,bl[t,y],ß))zn(y)dy)2+ oo
2n \J2
n
+Z2n(l)p2 (т, V2 [т, b2 (т^ß^dt К
78 А. КЕРИМБЕКОВ, Р. Ж. НАМЕТКУЛОВА, А.К. КАДИРИМБЕТОВА
<лу±п +_^_+_^_
х{\\I[Ь, у, (Ь, у, Ь1 [Ь, у],в)]\\Н+ 2\\р[Ь, <р(Ь, Ь2(Ь),в)]\\Н(0Т)} <
те
1 \2 |
. .2 к Т те 1
+2\\р(тМт),в)\\2н(0.т)} < «>■
Учитывая эти неравенства и соотношение
\\х[В(Ь1(Ь, х)мт\\Н(я)*н0,Т) = \\Х1[В(Ь1(Ь, х)мт\\Н(Я) +
+ \\Х2[В (Ь1 (Ь,х),Ь2 (Ь))]\\Н Т),
получим утверждение леммы. □
Лемма 3. Пусть функции I[Ь,х,и(Ь,х)],р[Ь,§(Ь)},^1 [Ь,х,Ь1(Ь,х),в],
[Ь,Ь2(Ь),в] удовлетворяют условиям Липшица, т. е. имеют .место неравенства
\\1 (Ь,х,<р1 [Ь,х,Ь1(Ь,х),в]) - I(Ь,х,<р1 [Ь,х, 1ы(Ь,х),в})\\2н(я) < < ¡оУЫ^хА (Ь,х),в] - <р1 [Ь,х, Ь1(Ь,х),в]\\Н(я) < < 1о<Ро1(е)\\Ь1(Ь,х) - Ь1 (Ь,х)\\Н(Я), 10 > 0,Ш(в) > 0,
Ь,Ф2 (Ь,Ь2(Ь),в)] - р[Ь,МЬ, Ь2(Ь),в)]\\Н (0, Т) < < Р0\\<Р2(Ь,Ь2(Ь),0) - <Р2(Ь, Ш,в)\\Н 0 Т)) < < Р20^02(в)\\Ь2 (Ь) - Ъ2(тН {0, Т) ,Р0 > 0,<Р02(в) > 0.
Тогда при выполнении условия
(
7 =
1 +
/2К0 Т
V
(ущ-ы^щт) )
хМ0(в)\ 2
1 1 4
1
2\ 2
где
М0 (в) = ¡2^01 (в) + 2гЫ2 (в),
х[-] является сжимающим оператором.
х
Доказательство. Проводя аналогичные вычисления, как в доказательстве леммы 2, имеем неравенство
\\х[В(Ь1(Ь,х),Ь2(т - х[В(Ь(Ь,х), Ь2(Ь))]\\Н(я)хН(0,т) < < 72{\\Ь1 (Ь,х) - Ь1(Ь,х)\\НН(Я) + \1Ь2 (Ь) - Ь2(Ь)\\НН(0,= = I2 \\В (Ь1(Ь,х),Ь2(Ь)) - В (Ь1(Ь,х),Ь2 (Ь))\\Н (Я)хН (0 , Т) ,
из которого следует утверждение леммы. □
Теорема 1. Пусть выполнены условия (1.6), лемм 1-3 и пара (f,p) удовлетворяет условию (1.11). Тогда при выполнении условия y < 1 операторное уравнение (1.14) имеет единственное решение в пространстве H(Q) х H(0, T) .
Доказательство. Утверждение теоремы следует из известной теоремы функционального анализа о принципе сжимающих отображений [2]. □
Решение операторного уравнения определяется методом последовательных приближений
Bn [bln(t, x), b2n (t)] = L [bi(t, x), b2 (t)] - X [B (b\n-i(t, x), b2n-l (t))] ,
где n = 1, 2, 3 ... , вектор-функция (bi0(t, x), b20(t)) является произвольной. Точное решение операторного уравнения (b\(t,x),b0(t)) определяется соотношением
(b\(t,x),b°2(t)) = lim (bin(t,x),b2n(t))
и имеет место оценка
||B [bl(t,x),b0(t)] - B [bin(t,x),b2n(t)]\\H{Q)xH{0,T) ^ Yn
< -^\\L[bw{t,x),b2o{t)]-x[bio{t,x),b2o{t)]-1 - Y
-B [bw(t,x),b20(t)] Wh(Q)xH(0,T). (1.15)
Далее решение операторного уравнения (b<°(t,x),b<2(t)) подставляя в (1.13), находим компоненты векторного оптимального управления
(u°(t,x) = <pi[t,x,bl (t,x),ß],
in n (1.16)
I V0(t)= <p2[t,b°(t),ß].
Имея оптимальное распределенное и граничное управления находим оптимальный процесс
^ Г Г /
и0(г,х) = У] {фп е-хП + ц Вп(г,в,р)е-хПзёв + п=1 < L Л 1
+ ^ £п(Ь,т,р) ^ /(г,у,и0(г,у))гп(у)<у + гп(1)р(т,$0(т)) йт^Хп(х). 0 0 (1.17)
После этого минимальное значение функционала вычислим по формуле
Г1
I(и0, V0) = [и0(Т, х) - £(х)]2 <х+ Jo
+в^ |^ я2 (ь,х,и0(ь,х)) <х + е2 (м0(ь))| <и. (1.18)
Найденная тройка ^(и°(Ь,х),$°(Ь)) ,и°(Ь,х),10[и,0(Ь,х),$°(Ь)]^ является решением задачи нелинейной оптимизации.
2. Приближенные решения задачи оптимизации и их
сходимость
Поскольку оптимальный процесс и минимальное значение функционала определяются как сумма бесконечного ряда, то пользоваться ими на практике почти невозможно. Поэтому разрабатывают алгоритм построения приближенных решений и доказывают их сходимость. I. Приближения оптимальных управлений и их сходимость Приближенное решение операторного уравнения (1.14), подставляя в (1.13), получим п-е приближение оптимальных управлений, т. е.
Поскольку
ип(Ь,х) = р1(Ь,х,Ь1п (Ь,х),в),
Vп(Ь)= Р2(ЬМп (ь),в).
\\и0(Ь,х) - ип(Ь,х)\\2н(д) = 11^1 (Ь,х,Ь01(Ь,х),в)--<Р1(г,х,Ъщ(г,х),р)\\н(д) < р10(вМ(Ь,х)--Ьы(Ь,х)\\Н (д),
- $п(МН (0,Т) = \\Р2 {Ь,Ъ°0(Ь),в) - Р2{Ь,Ъ2п (Ь),в\\Н (0,Т) <
< ^(вМ (Ь) - Ъ2п(Ь)\\Н (0, Т),
(2.1)
то из неравенства
\\и0(г, х) - пп(г, х)\\Ню + \И*) - Ыг)\\Н(о,т) <
< ^1о(в)Шг,х) - ьы(г,х)\\Н^) + (в)\ь2(г) - ьптН(от) < < <Ро(в){\\Ь0(г,х) - Ъ1п(г,х)\\Н+ \\Ь02(Ь) - ЫтН(о,т)} < < <р0(Р) В{Ь°1(г,х),ь0(г)) - в(ьы(г,х),ъ2п(г))
н (Я)ХН (Я)
где
(в) = р2о (в) + р2о (в),
согласно (1.15), следует сходимость приближений оптимальных управ-
лений, т. е.
\п0(г,х) - ип(г,х)\\Н(Я)-► о
\г) -
Н(о т)
п^ж > 0.
II. Приближения оптимального процесса и их сходимость.
2.1 т-ое приближение и его сходимость по резольвенте.
Резольвента Кп(г, в, у) определяется как сумма бесконечного ряда и не всегда удается выписать ее в явном виде. Обозначим через Кт(г, в, /) те приближение резольвенты при каждом фиксированном п = 1, 2, 3,... и выписываем соответствующее решение краевой задачи (1.2) - (1.4) в виде
ж / г 2 Г т 2 1 Т
(г,х) = ^ (фп е-ХПг + / япт(г,в,л)е-хп3йв + £гт(г,т,л)х
Vт(г ,х) = / у I фп п=1
• 1
X
¡{т,у,и°(т,у))Хп(у)йу + гп(1)р{т,#0(т)) йт)хп(х), (2.2
назовем это решение т-м приближением оптимального процесса V0(г,х). Учитывая следующие оценки
Гт / \2 Гт / ж \2
1)1 [Кп(г,в,л)-кт(г,в,л)) йв < ^ ^ ^ \/\г-1\кщг(г,в)\) йв<
о
т г т 1 г ж
21
. к„ ( К0Т
£ (н<
'- г=т+1
2т
1
' КрТ 2АI
1
г- 1
2
йв
о
2
2) I (еп(Ь.т,р) - еП(1.т,р]) < = ^ (бп(Ь.т,р) - еП(1.т,р]) <+ + £ (еп(Ь.т, р) - еЩ(Ь.т, р)^ *<т =
= 1о^1т - К(Ь,в,р)]е-хП(8-т<+
/Т / рТ ч 2
[Еп(Ь, в, р) - КП(Ь, в, р)] е-хП(8-т)<т <
< р2 / [Яп(г,в,р) - кщ(г,в,р)] 2лв е-2ХП(8-т)ЛвЛт < 0 0 п 0
2
Т К0 /, , К0Т
2т
2 т
4\4
п
1к0т
2\2п
1 -
1
2
и соотношение
еп (Ь,в,р)
е-\1(-т) + рТ кт(ь,в,р)е-\1(8-т)<<в, 0 < т < Ь,
р
1т п
¡; Кт(Ь, в, р)е-ХП(8-т)Лв, Ь < т < Т.
имеем неравенство
гТ /-1 Г те , „Т
\Ь,х) - ЩЬ,х)\\Н(д) = ^ ]0 ^ (фпР 0 [Кп(Ь,в,Р)
С Т / \
-ЕП(Ь,в,р)] е-Х"8<в + (еп(Ь,т,р) - еЩ(Ь,т,р)) х
/(т,у,и(т,у))Хп(у)<у + Хп(1)р{т,-д(т)) <т)Хп(х)
2
<х<Ь <
с т ( { т / \2 г т
< 21 Фпр2 I (Кп(Ь,в,р) - ЕП(Ь,в,р)) <в i
е-2Х18 <в+
гТ
+ ^ (Ь,т,р) -еП(Ь,т,р)) <т2
2
Т
/ (г,у,и(г,у))<у\хп(у)\\н(0,1) +
+2
п=1
I кот\2'"
Чж) х
V
1
х
0
1
0
"('"ты!/!?) 2А2+2/Х4лГ(1_1пы'/1г)Х
х{\\/(г,х,и0{1,х])\\2н(Я) +2\\р[г,$0 (Щ\Н (о, т)) <
+Т( 11/(4, ж, ж]) + 2|№, 0°(*)] |||(0)Т))} Е Т4
2Х{
ж
0лл11|2 М <
п=1
, 1 1 V 1 , пц2КоТ(| 1к^г\2т(л 1 А2
Х( щ^ ^ г'У^У Гшн^у х
X (у/(г, х, и0[г, х])\\Н(Я) + 2\\р[г, я0(г)]\\Н(о,т))) <
ж
+Т( 11/(4, ж, и% ж])\\2т) + 2|№, 0°(*)] |||(0)Т))} Е Т4 ^
п=1 Лп
1
1 14
+Г(||/(4, ж, ж])\\*ЩС}) + 2||р[4, 0°(*)] ||^(0)т)) } + 3 у
из которого при т ^^ следует сходимость т-го приближения.
2.2 т,к-е приближение и его сходимость по оптимальному управлению.
Приближение оптимального процесса, соответствующее к-му приближению (и к (г,х),$к (г)) векторного оптимального управления
84 А. КЕРИМБЕКОВ, Р. Ж. НАМЕТКУЛОВА, А.К. КАДИРИМБЕТОВА (и°к(Ь,х),§°к(Ь)), находим по формуле
оо
ут(Ь,х) = / , \Фп п=1
хЦ1
0
Т
Т
Vkm(Ь,х) = У [фп е-хп + р КП(Ь, в, р)е-Х"8<в +/ еЩ(Ь,т,р)х п=Л 1 ]0 1 ]0
/{т,у,ик(т,у))Хп(у)<у + Хп(1)р{т,-дк(т)) <т)Хп(х). (2.3)
Из соотношения
тте
фп
00
п=1
е-хП*+
+р [ КП(Ь,в,р)е-хП8йв] +[ еП(Ь,т,р)\ [ /(т,у,и0(т,у))хп(у)<у+ ■)0 ] -)0 1 -)0
+Хп (1)р{т,$0(т))\Лт^Хп(х)-фп [е-хп'+р ^ КП(Ь,в,р)е-Хп 8<в
гТ
п=1
+ ! ет(Ь,т,р)\ [ /(т,у,ик(т,у))хп(у)<у+
+
0
0
+Хп(1)р(т,-дк (т)) йт>Хп (х)\ йхйЬ =
2
гТ те / ,-Г С !-1
]0 еЩ(Ь,т,р)^ ^ [/(т,у,и°(т,у)) - /{т,у,ик (т,у))] Хп (у)<у+
+Хп(1) [р(т, V0(т)) - р(т, §к(т))] }Лт^ <и <
ГТ те „т
2
2п
0 п=1->0
<
(Ь,т,р)<т ^ Т{( 0 [/ (т,у,и0(т,у))-
+ Х2п(1) [р(т, $0(т)) - р(т, §к(т))] ^ЛтЛЬ <
Ш1 (
е2п(Ь, т, р)йт[\\/(т, у, и0(т, у)) - /{т, у, ик (т, у))\\Н (д) +
- / т, у, ик (т, у) Х ГТ те „т
сТ те
<
+2\\р(т,$° (т)) - р(т,$к (т
р2К0 Т
<Ь <
п=1
, х, их (Ь,
-/{ь,х,ик(ь,х))\\н(д) + 2\\р(г,$0(ь)) -р{1,$к(Ь))\\н{0,Т)}
<
2
< 2Т[ 1 +
/2КоТ
11
+ 77 I X
х, и0 (г, х)) -
-/{г,х,ик(г,х))\\Н(Я) + 2\\'р{г,д°(г)) -Р{1,(г))\\Н(о>тЛ <
< м2{ \\и0(г, х) - ик (г, х)\\Н (д) + ||Лг) - Як (г)\\Н {о,т)} -т
> о,
где М^ = /о + 2ро, которое получено непосредственным вычислением, следует сходимость т, к-го приближения при каждом фиксированном т.
2.3 т, к, г-е приближение, используемое на практике, и его сходимость.
Приведенные выше приближения оптимального процесса малопригодны для использования в приложениях. Поэтому возникает необходимость построения приближения оптимального процесса, которыми можно пользоваться на практике. Таким приближением является функция
ж / г т 1С т
vmr(t,x) = T (фп е-хП* + / Ят(Ь,в,л)е-хП3йв + £т(г,т,/)х п=Л 1 -]о -]о
/ /{т,у,ик (т,у)) Хп (у)йу + Хп(1)р(т, Я к (т)) йт)Хп (х), (2.4)
называемая т,к,г-м приближением оптимального процесса v0(t,x). Из соотношения
[Г г1 / ж
Ркт (г,х) - vkmr(t,x)\\H{Q) = Е \фп [е-хп*+
^ ^ V п=г+1 1
Ят(г,в,л)е-хПзйв] + ет(г,т,л)( / (т,у,ик (т,у))хп (у)йу+ .)о -)о \ -)о
+Хп (1)р(т,-&к (т)) )йт\хп(х)) йхйг =
гт ж
=2 2ф
п=г+1
2 гт т
е-2хП * + л2 К2п (г,в,л)йв е-2Хп3йв о п о
гТ
+21 £п(г,т,р)йту\/(г,х,ик(г,х))\\Н(Я) +2\р(г,Як(г))\\Н(0т
/КоТ
+
йг
п=г+1 К п
\2-ы^гу
+
2Т
+ТТГ 1 +
/КоТ
АН (ущ-н^оту
\\/(г,х,ик (г,х))\\Н (Я)+
о
2
+2\\v(t,-dk (i))||H ) +2T
<4(1+ ^К0Т j ^ ШхШ(п 1) +
f(t,x,uk(t,x))\\H{Q)+2\\p(t,{}k(t))\\H{0iT^jJ2j2
n=1
1 Wm,k X2 r—>оо
' Vi
которое получено непосредственным вычислением, следует сходимость т,к,г- приближения при каждой фиксированной паре (т,к). 2.4 Сходимость т,к,г-го приближения к оптимальному процессу следует из соотношения
\v (t,x) - vmr(t,x)\\H(Q) < \\v (t,x) - Vm(t,x)\\H(Q) + m(t,x)\n(Q) + \wm(t,x) - Vkmr<
+ \\vm(t, x) - (t, x)\\h(Q) + \K(t, x) - vkmr(t, x)\\u(Q) —-► 0.
k,r—У oo
III. Приближения минимального значения функционала и их сходимость
В соответствии с приближениями оптимального процесса будем различать следующие приближения минимального значения функционала
I[u0,$0]= [ [v(T,x) - С(x)]2dx + ßf ij q2[t,x,u0(t,x)]dx+ J0 J 0 l J0
+e2[t,ü0 (t)]l dt.
3.1 m-е приближение функционала вычислим по формуле
Im[u0,$0]= j [vm(T, x) - С (x)]2dx + ßf ij q2[t,x,u°(t,x)]dx+ J0 J0 V J0
+e2[t,$0 (t)]l dt.
Его сходимость следует из соотношения
\1 (и° ) - 1т(и°^°)\ < \\°(Т,х)+ Vm (Т,х) - 2£ (х)\\н (0,1) X х\\у°(Т,х) - Vm(T,x)\\н(0,1) -► 0.
4 ' т^те
3.2 т, к-е приближение функционала вычислим по формуле
1т[ик,-&к]= [ [ут(Т,х) - С(х)]2Лх + в [ { [ я2[Ь,х,ик(Ь,х)]Лх+
.]0 .'0 К .'0
+е2[1,§к (Ь)]1 ль.
Его сходимость при каждом фиксированном m = 1, 2, 3,... следует из соотношения
\lm(u°,§°)-Im(uk ,Vk )| < \\vm (T,x)+vm (T,x) - 2^(x)\h (0,1)\\vm(T,x)-
-Vm(T, x)\\h(0,1) + {\\q[t, x, u°(t, x)] + q[t, x, Uk(t, x)]\\h(q)Qo\\v0(t, x)--Uk (t, x) \\h (Q) + (t)]+ Ok [t,dk (t)]\\H(0,T) Oo\\Vo(t)-
-Vk(t)\\H(0,T)}—J 0, qo > 0, Oo > 0.
3.3 m, k, r-е приближение функционала вычислим по формуле
im [Uk ,Vk]= I [vkmr(T,x) - i(x)]2dx + в f if q2[t,x,Uk (t,x)]dx+ Jo Jo I Jo
+O2[t,Vk (t)]j dt.
Его сходимость следует из соотношения
\im(uk ,Vk) - im (uk ,Vk )\ < \\»m (T,x)+m(T,x)--2ax)\\H(o,i)\\vm(T,x) - Vkmr(T,x)\\H{0,1) 0.
3.4 Сходимость приближения im[uk,$k] к минимальному значению функционала I[uo ,Vo] следует из соотношения
\I (uo ,Vo) - im(uk ,Vk )\ < \I (uo,Vo ) - Im(uo ,Vo)| + + \lm(u° ) - Im(uk ,Vk )\ + \Im(uk ,#k) - Im (uk ,#k )\ -> 0.
m,k,r
Таким образом доказана сходимость приближений решения задачи нелинейной оптимизации к точному решению по оптимальному управлению, оптимальному процессу и минимальному значению функционала.
Список литературы
1. Керимбеков А. Условия оптимальности в задаче управления тепловыми процессами с интегро-дифференциальным уравнением / А. Керимбеков, Р. Ж. Наметкулова, А. К. Кадиримбетова // Изв. Иркут. гос. ун-та. Сер. Математика. - 2016. -- Т. 15. - С. 41-52.
2. Люстерник Л. А. Элементы функционального анализа / Л. А. Люстерник, В. И. Соболев. — М. : Наука, 1965. - 520 с.
3. Kerimbekov A. On the Solvability of a Nonlinear Optimal Control Problem for the Thermal Processes Described by Fredholm Integra-Differential Equations / A. Kerimbekov // Current Trends in Analysis and Its Applications (Proceedings of the 9th ISAAC Congress, Кгакуш 2013), A series of trends in mathematics. -Switzerland : Springer International Publishing, 2015. - Vol. XVI. - P. 803-811.
Керимбеков Акылбек, доктор физико-математических наук, профессор, Кыргызско-Российский Славянский университет, 720000, Бишкек, пр. Чуй, 6, тел.: (+996 312)360232 (e-mail: [email protected])
Наметкулова Райхан Ж^анузаковна, соискатель, Кыргызско-Российский Славянский университет, 720000, Бишкек, пр. Чуй, 6, тел.: (+996 312)360232 (e-mail: [email protected])
Кадиримбетова Айша Казахбаевна, соискатель, Кыргызско-Российский Славянский университет, 720000, Бишкек, пр. Чуй, 6, тел.: (+996 312)360232 (e-mail: [email protected])
A. Kerimbekov, R. J. Nametkulova, A. K. Kadirimbetova An Approximate Solution of Distributed and Boundary Control Problem for the Thermal Process
Abstract. A problem of nonlinear optimal distribution and boundary control of a thermal process, described by a Fredholm integral-differential equations, is considered. The unique solvability of a system of nonlinear integral equations of optimal controls is investigated. It was found the sufficient conditions for the existence of a unique solution of the problem of nonlinear optimization. The algorithm for constructing approximate solutions was developed and their convergence on optimal control, optimal processes and functionality, were proved, that it is necessary to distinguish between three types of approximations of the optimal process.
Keywords: functional, the maximum principle, the optimal control, system of nonlinear integral equations, approximate solution, convergence.
References
1. Kerimbekov A., Nametkulova R.J., Kadirimbetova A.K. Optimality conditions in the problem of thermal control with integral-differential equations(in Russian). The bulletin of Irkutsk State University. Mathematics, 2016, vol. 15, pp. 41-52.
2. Lusternik L.A., Sobolev V.I. Elements of functional analiza (in Russian). Moscow, Russia, Nauka, 1965. 520 р.
3. Kerimbekov A. On the Solvability of a Nonlinear Optimal Control Problem for the Thermal Processes Described by Fredholm Integro-Differential Equations. Current Trends in Analysis and Its Applications (Proceedings of the 9th ISAAC Congress, Krakyw 2013, A series of trends in mathematics.) Switzerland, Springer International Publishing, 2015, vol. XVI, pp. 803-811.
Kerimbekov Akylbek, Doctor of Sciences (Physics and Mathematics), Professor, Kyrgyz-Russian Slavic University, 6, Chuy av., Bishkek, 720000, tel.: (+996 312)360232 (e-mail: [email protected])
Nametkulova Rayhan Djanuzakovna, Applicant, Kyrgyz-Russian Slavic University, 6, Chuy av., Bishkek, 720000, tel.: (+996 312)360232 (e-mail: [email protected])
Kadirimbetova Aysha Kazahbaevna, Applicant, Kyrgyz-Russian Slavic University, 6, Chuy av., Bishkek, 720000, tel.: (+996 312)360232 (e-mail: [email protected])