Приближенное решение задачи оптимального управления для линейной неоднородной системы в гильбертовом пространстве Текст научной статьи по специальности «Математика»

МАТЕМАТИКА

УДК 512.66+513.83

ПРИБЛИЖЕННОЕ РЕШЕНИЕ ЗАДАЧИ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ ДЛЯ ЛИНЕЙНОЙ НЕОДНОРОДНОЙ СИСТЕМЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ

В.П. Курдюмов

Саратовский государственный университет,

кафедра дифференциальных уравнений и прикладной математики

E-mail: KurdyumovVP@info.sgu.ru

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

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

Approximate Solution of an Optimal Control Problem with Linear Nonhomogeneous Control System in Hilbert Space

V.P. Kurdyumov

Saratov State University,

Chair of Differential Equations and Applied Mathematics E-mail: KurdyumovVP@info.sgu.ru

For an optimal control problem with a linear differential equation in Hilbert space and quadratic criteria necessary and sufficient conditions of control functions optimality and approximate formulas of the expansions of these functions in eigenfunctions of the control system operator have been obtained.

Keywords: Riesz basisness, resolvent, optimal control, infinite matrix.

ВВЕДЕНИЕ

Рассматривается задача du

dt = Lu + f, t e [0, T], (1)

u(0) = ф, (2)

I(f, ф) = ||u(T) - uoII2 + llf II2 + ||g||2 ^ min. (3)

Здесь и(Ь) при каждом Ь принадлежит гильбертову пространству Н; Ь — линейный оператор со всюду плотной в Н областью определения Б, имеющий лишь конечное число кратных собственных значений. Собственные значения Ак удовлетворяют требованиям:

k=i

те

5>кГ2 < EieAkT|2 <

k=1

го,

(4)

и ноль не является собственным значением; собственные и присоединенные элементы (с.п.э.) оператора Ь образуют базис Рисса в Н;

норма резольвенты (Ь — АЕ)-1 (Л — спектральный параметр, Е — единичный оператор) в области, полученной из А-плоскости удалением всех Ак вместе с круговыми окрестностями одного и того же достаточно малого радиуса, при |А| ^ го растет не быстрее некоторой степени |А|; управлением в задаче (1)-(3) являются / е К1, ^ е К2, К — выпуклые замкнутые множества из Н; и0 — заданный элемент из Н; || ■ || — норма в Н.

Задачи, подобные (1)-(3), рассматривались, например, Дж.Э. Аллахвердиевым и Н.К. Аллах-вердиевой в [1, 2]. В этих работах при условиях п-кратной полноты с.п.э. операторного пучка А(А) = А0 + АА1 + ■ —Ъ АпА — п, где Аг (г = 0,..., п) — линейные вполне непрерывные операторы, и корректности задачи Коши: и(Ь) = А0и(Ь) + А1 ^ +... + А^^Щ^ + /(Ь), и(0) = ,... ,и(п-1)(0) = <рп-1 были получены операторные уравнения для оптимальных управлений /(Ь), ^ (г = 0,..., п — 1), где /(Ь) е М, ^ е Мг (г = 0,..., п — 1); М, Мг (г = 0,..., п — 1) — выпуклые замкнутые множества. В настоящей работе будут получены приближенные формулы разложений оптимальных управлений задачи (1)-(3) по с.п.э. оператора Ь для случая, когда К1 = К2 = Н.

1. СУЩЕСТВОВАНИЕ РЕШЕНИЯ

Решение задачи (1)-(3) ищется в гильбертовом пространстве Н1 со скалярным произведением т

(г,у)Н1 = /(£(Ь),у(Ь))^Ь, где (■, ■) — скалярное произведение в пространстве Н.

0

Определение. Функция и(Ь) называется решением задачи Коши (1)-(2) в случае, когда ^ е Б, если 1) и(Ь) е Б при всех Ь е [0, Т]; 2) и(Ь) непрерывно дифференцируема, удовлетворяет уравнению (1) на (0, Т) и начальному условию (2).

Определение. Функция и(Ь) называется обобщенным решением задачи (1)-(2) в случае, когда ^ е Н и может не принадлежать области Б, если существует последовательность ит(Ь) (т = 1, 2,...) решений задач

— = Ьи + /т, Ь е [0, Т], (5)

и(0) = (6)

где /т е Н, г>т е Б, ||/т — /1| ^ 0, ||^т — ^ 0 при т ^ го такая, что ||ит(Ь) — и(Ь)|| ^ 0 равномерно по Ь е [0, Т].

Для простоты изложения в дальнейшем считаем, что все собственные значения оператора Ь простые. Пусть {^к— система собственных элементов оператора Ь и {фк}^*=1 — биортогональная к этой системе. Она также является базисом Рисса в Н [3, с. 371, 374].

Теорема 1. Обобщенное решение задачи (1)-(2) существует, единственно и имеет вид

и(Ь) = £еЛк*кк ^ А-1 (еЛк* — 1)(/,ф кк, (7)

к = 1 к=1

где сходимость рядов понимается в Н.

т т

Доказательство. Обозначим ит(Ь) = Е еЛк*кк + Е А-1 (еЛк* — 1)(/, фкк. Имеем —=

к = 1 к=1

т т те т

= Е А кеЛк* (р, ф кк + Е еЛк*(/, Ф кк, Ьит(Ь) = Е А кеЛк*(р, ф кк + Е (еЛк* — 1)(/, Ф кк. Легко к=1 к=1 к=1 к=1

т

видеть, что ит(Ь) при Ь е (0, Т) удовлетворяет уравнению (5), где /т = Е (/,Фкк и, кроме того,

=1

||ит(0) — ^ 0, ||/т — /1| ^ 0 при т ^ го. Равномерная сходимость по Ь е [0,Т] рядов в (7) следует по теореме Бари [3, с. 374] из условий (4) и базисности Рисса систем {^ к}^=1, {ф к}^=1. Докажем единственность решения. Пусть иг(Ь) (г = 1, 2) — обобщенные решения задачи (1)-(2). Тогда существуют последовательности /т, ит(0) (т = 1, 2,..., г = 1, 2), что для решений ит(Ь) задачи (5)-(6) с элементами /т вместо /т и ит(0) вместо г>т при т ^ го имеют место соотношения: ||/т — /1| ^ 0, ||ит(0) — И| ^ 0 и ||ит(Ь) — иг(Ь)|| ^ 0 равномерно по Ь е [0,Т]. Обозначим ит(Ь) = ^т(Ь) — ^т(Ь), и(Ь) = и1(Ь) — и2(Ь), /т = /^ — /2. Ясно, что при т ^ го имеет место ||/т|| ^ 0 и ||ит(Ь) — и(Ь)|| ^ 0 равномерно по Ь е [0, Т]. Так как функции ит(Ь) (т = 1, 2,...) непрерывно дифференцируемы, то для

всех т = 1, 2,... и фиксированного Л имеем:

г

I е-Лтит(т)йт = -Л-1 йш(т)е-Лт | +Л-^ ¿Ц^е-ЛТ¿т = 0 0 0

г г

= -Л-1 йт(Ь)е-Лг + Л-1 йт(0) + Л-^ Мт(т)е-Лтйт + Л-1/^ ^ е-Лт¿т. (8)

00 Умножим (8) на Л и, используя замкнутость оператора Ь, вынесем его из под знака интеграла: г г

Л У е-Лт(т)йт = -йш (Ь)е-Лг + ит (0) + ^ йт (т)е-Лтйт + Л-1 (е-Лг - 1)/т. 00

Отсюда

(Ь - ЛЕ) у ит(т)е-Лтйт = ит(Ь)е-Лг - ит(0) + Л-1(е-лг - 1)/т. (9)

0

Положим в (9) Ь = Т и умножим на еЛТ, тогда

т

(Ь - ЛЕ) I еЛ(т-т)йш(т)йт = ит(Т) - еЛТйш(0) + Л-1 (1 - еЛТ)/т. (10)

0

Пусть в точке Л существует Лл = (Ь - ЛЕ) 1, тогда (10) имеет вид

т

У еЛт(Т - т)йт = Дл[ит(Т) - еЛт(0) + Л-1(1 - еЛт)/т]. (11)

0

Перейдем в (11) к пределу при т ^ го, получим тождество

т

Лли(Т) ^ у еЛти(Т - т)йт. (12)

0

Из (12) и требования на рост нормы резольвенты следует, что

Нш Л 11п

Л^+те

еЛти(Т - т)йт

= 0. (13)

Поскольку функция й(Ь) (как равномерный предел непрерывных функций) непрерывна на [0, Т], то

т

/ ||й(Ь)||^Ь < го. Отсюда и из (13) по лемме [4, ^ 81] следует, что й(Ь) = 0 почти всюду на [0, Т]. А

0

так как она непрерывна, то й(Ь) = 0. Теорема доказана.

В дальнейшем обобщенные решения задач Коши мы называем решениями этих задач. Аналогично доказывается следующая теорема.

Теорема 2. Пусть Ь* — оператор, сопряженный оператору Ь, г>т е Н. Решение задачи Коши

= -ЬЧ Ь е [0,Т], (14)

-и(Т) = Ут (15)

существует, единственно и имеет вид

те

*(*) = £ еХк (т-г)(^т Ж. (16)

к=1

г

г

Теорема 3. Решение задачи (1)-(3) существует и единственно.

Доказательство. Проверим условия теоремы Вейерштрасса [5, с. 57]. По формуле (7) имеем

те те

и(Т) = ^ еЛкТ(р, ^)рк + ^ (/, ^)рк, (17)

к=1 к=1

где ^к = А-1 (еЛкТ — 1). Правую часть (17) рассматриваем как линейный оператор А(/, р) в векторном пространстве Н2 = НфН. Тогда для функционала (3) имеем:

2

I(/, р) = ||A(/, р) - uo||2 + ||/1|2 + И2 = ||А(/, р) - uo||2 +

= Ii + I2,

o

где || ■ ||о — норма в Н2. Функционал I(/, р) рассматриваем в Н2. Поскольку /2 — строго равномерно выпуклый функционал [5, с. 56], а 11 — выпуклый, то I(/, р) — также строго равномерно выпуклый. Из базисности Рисса систем {рк}те=1, ("^к}те=1 и условий (4) следует ограниченность, а значит, и непрерывность оператора А(/, р) : Н2 ^ Н. Поэтому I(/, р) непрерывен. Теорема доказана.

2. НЕОБХОДИМЫЕ И ДОСТАТОЧНЫЕ УСЛОВИЯ ОПТИМАЛЬНОСТИ

Лемма 1. Для приращения функционала (3) справедлива формула

I(/ + А/, р + Ар) — I(/, р) = —Ие (0, А/) + 2Ке (/.А/) + ||Д/1|2 —

—Ие(и(0), Ар) + 2Ие (р, Ар) + ||Др||2 + ||Аи(Т)||2, (18)

где -и(£) — решение задачи (14)-(15) для г>(Т) = —2(и(Т) — и0); и(£) — решение задачи (1)-(2):

те

0 = ^«Г),^к рк Ж, (19)

к = 1

— те же, что и в (17); Аи(£) — решение задачи (1)-(2) с элементами А/ и Ар вместо соответственно / и р; А/ и Ар таковы, что / + А/ е р + А-0 е К2.

Доказательство. Обозначим через решение задачи (1)-(2), соответствующее / + А/, р + Ар, тогда Аи(£) = — и(£). Легко находим

I(/ + А/, р + Ар) - I(/, р) = ||w(T) - uo Г + || / + А/Г + ||р + АрГ - ||u(T) - uo||2 - I

= 2Re (u(T) - uo, Au(T)) + 2Re (р, Ар) + 2Re (/, А/) + || А/1|2 + || Ар||2 + || Au(T)||2. (20) Пусть vs (t) — решение задачи

dvs r* ,on

= -L vs, (2D

s

Vs (T ) = 5>T ,р* , (22)

k = 1

где vT = -2(u(T) - u0); и Аик(t) — задачи

^ Аик = £Аик + А/k, (23)

dt

Аик (0) = £(Ар,ф )рг, (24)

г=1

где А/k = Е(А/, )рг. Интегрированием по частям находим

d

г=1

к

£

г=1

T T T

(А/, Vs)dt = J - ddt Аикdt = J ,L*Vs + J^s^ dt - (Аик(t),Vs(t)| =

0

= (Аик(0),vs(0)) - (Аик(T),vs(T)). (25)

k

Так как при к ^ го имеют место: A/k ^ A/, Auk(T) ^ Au(T), Auk(0) ^ А^, то, переходя к пределу в (25) при к ^ го, получим

т

I(A/,vs)di = (Au(T),vs(T))) - (A^,vs(0). (26)

о

Далее, так как при s ^ го vs(t) стремится к v(t) — решению задачи (14)-(15); для vs(t) в

s _ т

силу (16) справедливо vs(t) = ^ e_fe(T(vT, )фк и, как нетрудно видеть, lim f(A/, vs)dt =

k = 1 о

= ( A/, S (vT)^k I, то, переходя в (26) к пределу при s ^ го, получим к=1

(A/,g) = (Au(T),vt) - (A^,v(0)). (27)

Поскольку vT = —2(u(T) — u0), то из (27) следует, что

Re {(A/,g) + 2(Au(T), u(T) — uo) + (Ap, v(0))} = 0. (28)

Вычитая теперь из (20) равенство (28), получим (18). Лемма доказана.

Теорема 4. Для оптимальности пары /0, в задаче (1)-(3) необходимо и достаточно, чтобы выполнялись соотношения:

min {—Re(g,/) + ||/1|2} = —Re(g,/o) + ||/o||2, (29)

min {—Re(v(0),/) + |M|2} = —Re (v(0),/о) + |Ы|2, (30)

где v(0) — решение задачи (14)-(15) в точке t = 0 при v(T) = —2(u(T) — u0); u(t) — решение задачи (1)-(2) при / = /0, ^ = g — то же, что и в лемме 1.

Доказательство. Необходимость. Пусть /0, — оптимальная пара, и A/, A^ таковы, что / = /0 + A/ е K1, ^ = + A^ е K2. По лемме 1

—Re (g, A/) + 2Re (/, A/) + || A/1|2 — Re (v(0), A^) + 2Re (p, A^) + || A^|2 + || Au(T)||2 > 0, (31)

где по теореме 1 Au(T) = £eAkT(A^k)^k+ Ek=1 Mk(A/,^k)<Pk. В силу (4) и того, что {^k}^=1, {^k }fc=1 — базисы Рисса, имеет место оценка

||Au(T)|| = C (|| A/1| + ||AH|), (32)

где постоянная C не зависит от A/ и A^. Поэтому из (31) тем более следует, что

—Re (g, A/)+2Re (/, A/) + || A/1|2—Re (v(0), A^)+2Re (p, A<^) + || A^|2 +C (|| A/1| + || A^|)2 > 0. (33)

Возьмём в (33) A/ = 0, а вместо A^ возьмем aA^, где а е [0,1]. Разделим полученное неравенство на а и перейдем к пределу при а ^ +0, тогда —Re(v(0), A^) + 2Re(^0, A^) > 0, и, тем более, —Re(v(0), A^) + 2Re (^0, A^) + ||A^||2 > 0. Это и есть соотношение (30). Аналогично доказывается равенство (29).

Достаточность. Пусть для произвольных / е K1, ^ е K2 имеют место неравенства:

—Re (g, /) + || /1|2 > —Re (g, /0) + Ц/01|2, (34)

—Re (v(0), р) + |М|2 > —Re (v(0), ^0) + ||2. (35)

Обозначим / — /0 = A/, р — <^0 = Ap. Так как ||/1|2 — |/01|2 = 2Re (/0, A/) + || A/1|2 и |М|2 — Ц^1|2 = = 2Re(^0, A^) + ||A^||2, то неравенства (34), (35) принимают вид

—Re (g, A/) + 2Re (/0, A/) + ||A/1|2 > 0, (36)

—Re (v(0), Ap) + 2Re (^0, Ap) + ||A^|2 > 0. (37)

Из (36) и (37) сразу следует, что -Ие (д, А/) + 2Ке / А/) + ||Д/1|2 - Ие («(0), Ар) + 2Ке (р0, Ар) + + ||Ар||2 + ||Аи(Т)||2 > С. По лемме 1 отсюда следует, что I(/, р) > I(/0,р0) для любых / е К, р е К2. Теорема доказана.

Теорема 5. Для оптимальности пары /0, р0 в задаче (1)-(3) в случае, когда К1 = К2 = Н (эту задачу в дальнейшем называем задачей (1')-(3')) необходимо и достаточно, чтобы пара /0,р0 являлась решением системы уравнений

те тете

/0 + (^0 рг^" р^ Ж' + ^ (/0^ р* ^ Ж' = ^ Ж' , (38)

= 1 ¿,.7 = 1 5 = 1

те тете

р0 + ^ )(еЛ Т р* ,еЛТ ^ + ^ (/0 ^г, еЛТ р, = ^К, еЛТ ^ . (39)

г,5' = 1 ¿,.7 = 1 .7 = 1

Доказательство. Так как

-Ие(д,/) + ||/1|2 = ||/- 2д||2 - 4||д||2, (40)

-Ие («(0), р) + ||р||2 = ||р - 1 «(0)||2 - 111V(0)|2, (41)

то по теореме 4 для оптимальности пары /0,д0 необходимо и достаточно, чтобы

/0 = 1 д, (42)

Р0 = 1 «(0). (43)

Чтобы получить (38) подставим в (42) выражение для д по формуле (19), затем, заменяя в полученном уравнении «(Т) на -2(и(Т) -и0) и и(Т) — на представление по формуле (7) в точке £ = £0 при / = /0, р = р0, получим (38). Аналогично получается (39). Теорема доказана.

Теорема 6. Пусть а0 = (а0,а2, • • .)Т и в0 = (във^, • • .)Т (Т — знак транспонирования) принадлежат пространству 12 (элементы из 12 считаем столбцами). Для того, чтобы пара /0, р0, где

тете

/0 = ак рк, Р0 = X] , (44)

к = 1 к=1

являлась решением задачи (1')-(3'), необходимо и достаточно, чтобы а0, в0 являлись решением системы уравнений

(Г + Я)а + Яв = Р, (45)

Ра + (Г + Б)в = 9, (46)

где Г = (рг,р^ )тете = 1, Я = Рг, ^р, ^=1, Я = (е^Тр*^ р, ^^ Р = Рг, еЛТр, ^^, Б = (еЛ<трг,еЛтр^-)тете=1 — бесконечные матрицы; р = (р1 ,р2,.. .)т, рг = (и0,дгрг) (г = 1,2, • • •);

9 = (91,92, • • .)Т, 9 = («0, еЛтрг) (г = 1, 2,.. •).

Доказательство. Необходимость. Пусть /0,р0 — решение задачи (1')-(3') и имеют место пред-

тете

ставления (44). И пусть также /0 = ^ ^, р0 = ^ п.? ^. Тогда

¿=1 ¿=1

тете

/0 = £ а0 рг ^ ^, (47)

г=1 5=1

тете

р0 =£ в0рг ^ Щ^ • (48)

г=1 5=1

Умножим (47) скалярно на (к = 1, 2,...), тогда

те

Ск = £ а0 (рг ,рк )• (49)

г=1

Подставим (49) в (47):

те

/о = х; а0 . (50)

Подставим (50) в первое слагаемое слева в (38) и приравняем коэффициенты при ^ (^ = 1, 2,...):

те те те

^ ,^г)(еЛ'т ^Д^ ^ ) + £(/0 ^ ) = («0, Д ^ ^ ). (51)

г=1 г=1 г = 1

Подставим в (51) представления (44), тогда

те те те

)+ £ в0 )(е^ т ^, Д ^ ^ )+ £ , ^г )(Дг ^г , Д ^ ^ ) = (и0, Д ^ ^ ) О' = 1, 2, ...).

г=1 г,к = 1 г,к = 1

Отсюда следует, что

те те те

^ в0(еЛ'т ^Д^ ^ ) + £ а0 ^' ) = ^Д^ ^) О' = 1 2...). (52)

г=1 г=1 г=1

Уравнение (52) совпадает с уравнением (45). Аналогично получается уравнение (46). Достаточность доказывается обратными рассуждениями. Теорема доказана. Замечание. Из существования единственного решения задачи (1')-(3') следует существование единственного решения системы (45)-(46) при а, в е 12.

3. РЕШЕНИЕ ВСПОМОГАТЕЛЬНЫХ ЗАДАЧ

Для нахождения приближенного решения задачи (1')-(3') рассмотрим задачу (1)-(3) для случая, когда К1 = К2 = Т(п), где Т(п) — подпространство, порожденное системой {^г}П=1, и обозначим эту задачу Р(п). Из теоремы 3 следует существование единственного решения задачи Р(п) (п =1, 2...). Теорема 7. Для того, чтобы пара /0п), ^0п) (п = 1, 2...), где

n n

/¿n) = £ «in) ^, ^ = £ ^Vk, (53)

k=1 k=1

являлась решением задачи Р(п) (п = 1,2 ...), необходимо и достаточно, чтобы векторы

а(п) = («1П),..., аПп))т, в(п) = (Мп),..., )т (54)

являлись решением системы уравнений

(Гп + ^п )а(п) + Дпв(п) = р(п), (55)

а(п) +(Гп + £п )в(п) = ?(п), (56)

где Гп = ^>",¿=1- ^п = (Дг^г, Д ^^ ^^ Лп = (е^Т^ Д^ ^)п,г=1, ^п = (Дг^г,еЛт^ ^п = (еЛ*т т ^ )п,г=1, р(п) = ((И0,Д1 ),..., (и0,Дп ^п ))т, ?(п) = ((«0 ,еЛп т ),..., («0 ,еЛп т ^п))т.

Доказательство. Необходимость. По теореме 4 имеем

шт{-Бе (д, /) + ||/1|2} = -Б* (д, /0п)) + ||/0п) ||2, (57)

^ ет О)

ш1п{-Бе («(0), р) + И2} = -Бе («(0), ^) + И^ ||2, (58)

где д определен по формуле (19), в которой «(Т) = -2(и(Т) - и(0)); и(Ь) — решение задачи (1)-(2), соответствующие / = /0(п), ^ = ^0п), «(0) — значение в точке Ь = 0 решения задачи (14)-(15). Так как имеют место равенства (40), (41), то из (57), (58) следует, что /0п) является проекцией вектора

2д на Т(п), а ^0п) — проекцией вектора 1 г>(0) на Т(п). По свойству проекций векторы 1 д — /0(п) и »

(59)

1 г>(0) — ^0П) ортогональны Т (п). Отсюда, учитывая (53), получаем

¿«!п) (^к ) =[\ О' = 1,...,п), к=1 ^ '

£ в(п) (^ ^ ) = (2 ^ (^ = 1, (60) Покажем, что из (59) следует (55). Так как из (7) и (53) следует, что

те те п п

и(Т) = £ еЛкТ(^0П)'^+ ^ Дк(/0п),^кК = £ в(п)еЛкТ^ + ^ а(п)Дк^к к=1 к = 1 к=1 к = 1

и -и(Т) = —2(и(Т) — ио), то по (19)

1 те п те п те

2д = — ^ в(п)еЛкТк' Дг^г— ^ ^ ^ (Д к^ к' Дг^г+ ^(и0' Д^^

г=1 к=1 г=1 к=1 г=1

Тогда

/ 1 \ п п

(2 д'^Л = — в(п)еЛк Т к'Д^ ^ ) — ^ а(п) (Д к^ к'Д^ ^ ) + (и0 'Д^ ^ ) О' = 1'...'п). (61) ^ ' к=1 к=1

Подставив (61) в (59), получим (55). Аналогично из (60) получается (56). Достаточность доказывается обратными рассуждениями.

Замечание. Из существования единственного решения задачи (1)-(3) следует существование единственного решения системы (55)-(56).

4. ВСПОМОГАТЕЛЬНЫЕ РЕЗУЛЬТАТЫ. ОСНОВНАЯ ТЕОРЕМА

/Л

Введем гильбертово пространство Щ = ¿2 Ф ¿2. Элементы из обозначим , где С'П € ¿2.

\п)

/С Л

Если = ^ € I2 (я = 1,2), то скалярное произведение в ¿2 определяем формулой

\уу

(#1 } = (С1 'С2)1 + (п1'^2)1, где (■, -)1 есть скалярное произведение в ¿2, тогда ||#||2 = ||С||2 + ||п||1, где || ■ Ц1 — норма в ¿2, || ■ ||2 — норма в ¿2.

Лемма 2. Пусть векторы а(п)'в(п) из (54) являются решением системы (55)-(56). Обозначим

а(п) = (а1п)'...' «пп)' 0' 0'...)т, в(п) = (в(п)' ■ ■ ■' впп)' 0' 0'...)т (п = 1' 2'...) - элементы из ¿2.

/«(пЛ

Тогда последовательность векторов I ^(п) I (п =1' 2' ■ ■ ■) ограничена в ¿2.

Доказательство. По теореме 7 векторы /0п) = ^ к, ^0п) = к (п = 1' 2'...)

=1 =1

(п) (п)

являются решением задачи Р(п) (п = 1' 2'...). Поскольку для всех п = 1' 2'... J(/0 ' ^0 ) — — J(/0^' ^01)), то ||/0(п) ||' ||^0п)|| — С, где постоянная С не зависит от п. Отсюда, в частности,

п

следует, что ||/0(п) || = || ^2 к || — С. Тогда из пункта 3) в теореме Бари [3, с. 374] получаем

=1

п (п) п (п)

| — С1Ц ^2 а(п)^ к ||2 — С1С2 (п = 1' 2'...). Поэтому последовательность а(п) (п = 1' 2'...) =1 =1

ограничена в ¿2. Аналогично доказывается ограниченность в 12 последовательности в(п) (п = 1' 2'...). Лемма доказана.

Лемма 3. Обозначим через Гп' Лп' Г>п' £п (п = 1' 2'...) матрицы бесконечного порядка, полученные соответственно из Гп Лп' Рп' £п добавлением бесконечного числа нулей в качестве своих элементов в каждую строку и каждый столбец. Тогда операторы Ап (п = 1' 2'...) и А,

действующие из Щ в Щ, определенные формулами An = ( £ ) = | Рп |, A = ( £ ) = [Ч, где

W ХаЧ XV W

рп = (Гп + Qn)£ + Rnn, = Dn£ + (Гп + p = (Г + Q)£ + rn, а = D£ + (Г + S)n, самосопряжены.

—T —T

Доказательство. Доказательство проведем лишь для оператора A. Так как Г = Г , Q = Q , S = ST, R = DT, то для произвольного ( V ) е /2 имеем

W

(^п) ' Q ) = ( (а) ' (V) ) = (Р' ^ + (а, V)! = ((Г + Q)£ + Rn, v)1 + (D£ + (Г + SV)! =

=(с, (Г+Q)v+dtv)i+(n,RTv+(Г+S)V)i = / f£) (R+ ) =

\W \R v + (Г + S)vy /

= /(Л ((Г + Q)v + RV^\ = //сЛ A (v\\

\\vy \vv + (Г + S)^/ \\vj' \v)/-

Лемма доказана.

Лемма 4. Последовательность операторов An поточечно сходится к оператору A.

(Л

Доказательство. Так как для произвольного е /2

W

(A - A ) fЛ = (p - РЛ = АГ + Q - Гп - qn)C + (R - RRnМ

W Г - W V(D-iDn)£ + (Г + S - Гп - Sn)^ '

то достаточно доказать, что поточечно в 12 к нулю сходятся операторы, порожденные матрицами Г - Г n ,Q - Q n, R - Rn, D-DDn, S - Sn (в дальнейшем произвольный оператор, действующий из 12 в 12, порожденный матрицей T, называем оператором T). Докажем такую сходимость лишь для операторов Г - Г п (в остальных случаях доказательство проводится аналогично). Имеем для £ = (£1 ,£2,.. .)T е 12:

те те

||(Г-Гп)су;= £| (рг)£i + y, |^)£i

j = 1 i=n+1 j=n+1 i=1

(62)

Поскольку в силу пункта 4) из теоремы Бари [3, с. 374] оператор Г ограничен в 12, то при п достаточно большом второе слагаемое в (62) меньше любого наперед заданного е > 0. Рассмотрим

/ао\ Т(п+1) /<Т (п+1) Т (п+1) \Т ¿(п+1) 1 < г < n'

первое слагаемое из (62). Обозначим £(П+1) = (£1 ,£2 , где £> ' = <

[£г, г > п + 1.

Опять, используя ограниченность Г, при п достаточно большом и произвольном е > 0 получим

п те '2

1 ' ^)£г = Е | Е^)£

j = 1 г=п+1 j = 1 i = 1

(n+1)

<

те те

<£ |£(рг)£г(П+1)|2 < С||£~(п+1) ||2 = С £ |£г|2 < Се.

5=1 г=1 г=п+1

Лемма доказана.

Лемма 5. Операторы Я, Б, Р, Я являются вполне непрерывными в 12.

Доказательство. Докажем вполне непрерывность оператора Я. Обозначим [Я]п матрицу, полученную из матрицы Я обнулением всех её элементов, расположенных в строках, начиная с (п + 1)-й строки. Имеем для £ = (£1, £2,.. .)т е 12

||(R - [R]n)£||2 = £ IVj|2|ЕПк(^^)

j=n+1 k=1

(63)

те

где пк = е^т£к. Из базисности Рисса системы {ркследует оценка ^ |(рк, р^)|2 < С||р5-1|2 < С1,

к = 1

где постоянная С1 не зависит от ]. Применяя неравенство Гельдера ко внутренней сумме в (63), Математика 11

п

те

2

п

те

те

те

2

используя только что полученную оценку и (4), получим для любого ||£||1 < 1: ||(Я — [Я]п)£||2 <

тете

< С11П11 £ I2 < С||£||2 £ |2 < £, где п = (П1,П2,...)Т, £ > 0 и произвольно мало.

Поэтому конечномерные операторы [Я]п сходятся к оператору Я равномерно. Отсюда следует, что Я вполне непрерывен. Так как оператор V является сопряженным к оператору Я, то и он вполне непрерывен. Вполне непрерывность операторов Q и Б доказывается аналогично. Лемма доказана. Лемма 6. Операторы (Г + Q)-1, (Г + Б)-1 существуют, ограничены и определены всюду в 12. Доказательство. Введем две вспомогательных задачи: одна из них получается из задачи (1')-(3') при фиксированном / = 0, управлением в которой является лишь р е Н, а вторая — из задачи (1')-(3') при фиксированном р и управлением в ней является лишь / е Н. Обозначим первую задачу (А), а вторую (В). Используя теоремы 1-3 и проводя рассуждения, аналогичные проведенным в лемме 1 и теоремах 3-6 для каждой из этих задач, получим следующие утверждения.

1. Решение задачи (А) существует и единственно. Пусть а0 = (а0.. .)Т е 12. Для того, чтобы

те

р = а0рк являлся решением задачи (А), необходимо и достаточно, чтобы а0 являлся решением к=1 уравнения

(Г + Q)а = р. (64)

2. Решение задачи (В) существует и единственно. Пусть в0 = (в0, ,.. .)Т е 12. Для того, что-

те

бы ряд / = в0рк являлся решением задачи (В), необходимо и достаточно, чтобы в0 являлось к=1

решением уравнения (Г + Б)в = Ч.

Покажем, что существует, ограничен и определен во всем 12 оператор (Е + Г-1^)-1 (здесь Е — единичный оператор в 12). Для этого рассмотрим уравнение

(Е + Г-1 Q)a = 0, (65)

где 0 = (0,0,.. .)Т, которое получается из (64) при и0 = 0. В силу единственного решения задачи (А) вектор а = 0 является единственным решением уравнения (65). Из леммы 5 следует, что Г-1^ является вполне непрерывным оператором. Тогда по теореме 3 [6, с. 275] неоднородное уравнение (Е + Г-^)а = £ разрешимо при любом £ е 12 и оператор (Е + Г-^)-1 ограничен в 12, и, следовательно, ограничен и оператор (Г + Q)-1. Аналогично доказываются подобные утверждения для оператора (Г + Б)-1. Лемма доказана.

Лемма 7. Множество значений оператора А : ¿2 ^ 12 совпадает со всем пространством 12. Доказательство. Для произвольных £, п е 12 рассмотрим систему уравнений

(Г + Q)a + Vв = £, Яа + (Г + Б )в = п. (66)

Используя существование по лемме 6 операторов (Г + Q)-1 и Г + Б)-1, запишем эту систему в виде

а + (Г + Q)-1 Яв =(Г + Q)-1 £, (Г + Б)-^а + в = (Г + Б )-1 п (67)

и, вводя обозначения V = (Г + Q)-1 Я, Ш = (Г + Б— в блочном виде,

(Е+р) (а)=(0- (68)

где Е — единичный оператор в Р = {щ^ 0^ , а £ и п имеют новый смысл. Поскольку из леммы 5

следует, что операторы V и Ш вполне непрерывны в 12, то оператор Р вполне непрерывен в 12. По теореме 3 [6, с. 275], чтобы уравнение (68) было разрешимо, необходимо и достаточно, чтобы уравнение

(Е + Р) (Л = 0 (69)

имело лишь тривиальное решение. Так как уравнение (69) эквивалентно системе (66) при £ = п = 0, то в силу единственности решения задачи (1')-(3') при =0 и по теореме 6 решением уравнения (69) является лишь а = / = 0. Лемма доказана.

Используя введенные в лемме 2 векторы а(п), /?(п); аналогично определяя по векторам р(п)^(п) векторы р(п), д(п) и используя операторы А и Ап (п = 1, 2,...), запишем системы (45)-(46) и (55)-(56) соответственно в виде

А

а

'а(п)Ч /(п)

:(п)

(70)

(71)

а а(п)

Теорема 8. Пусть II — решение уравнения (70) и I /(п) I (п = 1, 2,...) — уравнения (71),

построенное по решению

а(п) в(п)

системы

(55)-(56). Тогда а(п) ^ аг, /г(п) ^ при п ^ го для

всех % = 1, 2,..., вообще говоря, неравномерно.

Доказательство. Прежде всего отметим, что в силу замечаний к теоремам 6 и 7 указанные решения уравнений (70) и (71) существуют. Далее, так как по лемме 3 операторы Ап (п = 1, 2,...)

/Л

— самосопряженные, то для любого е Щ из (71) следует, что

\п

(п) (п)

=А

/а(п)\ е

аГ! ,4 с

/(п)/ ' V П/

(72)

Так как р(п) ^ р, д(п) ^ q при п ^ го, то из (72), (70) и леммы 3 получаем, что

,(пА /Л\ /М /Л\ / /а\ /Л\ //а\

Нш

в (п)) ,Ап

= А

в

Л,

(73)

Используя леммы 2 и 4, находим

а(пЛ а ^ Ч п,

<

'а(п)\

в (п) п

а(п) в (п)

(А - Ап)

п

И ' (Ап " А)(П

< Се

<

для произвольного е > 0 при п достаточно большом. Поэтому из (73) следует, что

(а(п))' \п

/ \п,

Отсюда в силу лемм 2 и 7 по теореме 8 [6, с. 219] следует, что последовательность

/Л

(п =1, 2,...) слабо сходится в Щ. То есть для произвольного е Щ имеет место

а(п) /(п)

1./ (а(п) - а\ /Л\ =0 п^М 1/ы - в)Лп)1 .

2

2

Из (74) следует, что в пространстве 12 последовательность а(п) (п = 1,2,...) слабо сходится к а, а /?(п) (п = 1, 2,...) слабо сходится к в. Отсюда и из теоремы 9 [6, с. 219] следует утверждение теоремы.

Работа выполнена при финансовой поддержке РФФИ (проект 10-01-00270) и гранта Президента РФ для государственной поддержки ведущих научных школ (проект НШ-4383.2010.1)

Библиографический список

1. Аллахвердиев, Дж.Э. Об одной задаче оптимального управления в гильбертовом пространстве / Дж.Э. Аллахвердиев, Н.К. Аллахвердиева // Дифференциальные уравнения. - 1977. - Т. XIII, № 12. - С. 2124-2134.

2. Аллахвердиева, Н.К. Необходимое и достаточное условие оптимальности для некоторой задачи управления системой, описываемой дифференциально-операторным уравнением / Н.К. Аллахвердиева // Вопросы математической кибернетики и прикладной математики. - Баку: ЭЛМ, 1980. - Вып. 4. - С. 44-54.

3. Гохберг, И.Ц. Введение в теорию линейных несамо-

сопряженных операторов / И.Ц. Гохберг, М.Г. Крейн. - М.: Наука, 1965. - 448 с.

4. Крейн, С.Г. Линейные дифференциальные уравнения в банаховом пространстве / С.Г. Крейн. - М.: Наука, 1967. - 464 с.

5. Васильев, Ф.П. Методы решения экстремальных задач / Ф.П. Васильев. - М.: Наука, 1981. - 399 с.

6. Люстерник, Л.А. Элементы функционального анализа / Л.А. Люстерник, В.И. Соболев. - М.: Наука, 1965. - 519 с.

УДК 514.133+514.17

КОНЕЧНЫЕ ЗАМКНУТЫЕ 3(4)-КОНТУ1 РАСШИРЕННОЙ ГИПЕРБОЛИЧЕСКОЙ ПЛОСКОСТИ

Л.Н. Ромакина

Саратовский государственный университет, кафедра геометрии E-mail: romakinaln@mail.ru

Введены в рассмотрение конечные замкнутые n-контуры расширенной гиперболической плоскости H2. Подробно исследованы топологические и метрические свойства конечных замкнутых 3(4)-контуров. Получены аналоги предложения Паша. Доказано: существование двух типов 4-контуров; выпуклость простого 4-контура.

Ключевые слова: конечный замкнутый n-контур, простой 4-контур, внутренность конечного замкнутого контура, выпуклый замкнутый конечный контур.

Finite Closed 3(4)-Loops of Extended Hyperbolic Plane

L.N. Romakina

Saratov State University, Chair of Geometry E-mail: romakinaln@mail.ru

This article considers finite closed n-loops of the extended hyperbolic plane H2. The paper deals with topological and metric properties of the finite closed 3(4)-loops. Pasha statement analogues have been also obtained. We proved the existence of two types 4-loops and convexity of the plain 4-loop.

Keywords: finite closed n-loop, plain 4-loop, interior of afinite closed isotropic loop, convex finite closed loop.

ВВЕДЕНИЕ

1. Расширенной гиперболической плоскостью Н2 называют проективную плоскость с фиксированной на ней овальной линией 7 [1], линию 7 в этом случае называют абсолютом плоскости Н2. Все точки линии 7 называют бесконечно удаленными, или несобственными. Внутренняя область относительно овальной линии 7 является полной плоскостью Лобачевского, а на множестве всех внешних относительно абсолюта точек, образующих так называемую идеальную область плоскости Лобачевского, можно построить различные геометрии. Каждую прямую плоскости Н2 по наличию общих с абсолютом точек можно отнести к одному из трех типов. Прямые, пересекающие абсолют в двух действительных точках, называют гиперболическими, в двух мнимо сопряженных точках — эллиптическими, а касательные к абсолюту называют параболическими, или изотропными прямыми. В работе [2] на прямых указанных типов с помощью точек абсолюта введены понятия: направление, луч, отрезок, квазиотрезок, середина отрезка и квазиотрезка, квазисередина отрезка. Ослабляя строгость определений, приведем те из них, которые будут использованы в данной работе.