Научная статья на тему 'К обоснованию корректности задачи оптимального управления волновым уравнением с управляемым дифференциальным оператором'

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

CC BY
55
12
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ВОЛНОВОЕ УРАВНЕНИЕ / ГИПЕРБОЛИЧЕСКИЕ СИСТЕМЫ / МЕТОД ХАРАКТЕРИСТИК / МЕТОД ПОСЛЕДОВАТЕЛЬНЫХ ПРИБЛИЖЕНИЙ / WAVE EQUATION / HYPERBOLIC SYSTEMS / METHOD OF CHARACTERISTICS / METHOD OF SUCCESSIVE APPROXIMATIONS

Аннотация научной статьи по математике, автор научной работы — Терлецкий Виктор Анатольевич, Бочкова Ольга Витальевна

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

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

Похожие темы научных работ по математике , автор научной работы — Терлецкий Виктор Анатольевич, Бочкова Ольга Витальевна

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

To substantiate correctness of optimal control problem of wave equation with controllable differentiation operator

We consider ways to construct generalized solutions of wave equation with discontinuous coefficient with respect to spacial variable of differentiation operator

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

Серия «Математика»

2012. Т. 5, № 2. С. 61-68

Онлайн-доступ к журналу: http://isu.ru/izvestia

УДК 517.956.3

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

управляемым дифференциальным оператором *

В. А. Терлецкий

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

О. В. Бочкова

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

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

Ключевые слова: волновое уравнение; гиперболические системы; метод характеристик; метод последовательных приближений.

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

1. Введение

* Работа выполнена при частичной финансовой поддержке РФФИ (проект 1101-00713) и Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг.

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

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

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

В прямоугольнике П = 5 х Т плоскости переменных (в, Ь) с границей 9П, ПийП = П, Б = (во, в\), Т = (Ь0,Ь1) рассмотрим волновое уравнение

д

хы - а(в) — (a(в)xs) = /(х, хг, х3, в, Ь) (2.1)

с начальными

х(в,Ь0) = х°(в), хг(в,Ь0) = х:(в),в е 5 (2.2)

и граничными условиями

хг(во,Ь) = д°(х(во,Ь),Ь), х3(в1,Ь) = д1(х(в1,Ь),Ь),Ь е Т. (2.3)

Здесь х = х(в,Ь) искомое решение . На заданные функции а = а(в), / = / (х, хг, хв, в, Ь), х0 = х0(в), х1 = х^в), дг = дг(х, Ь), г = 0,1, наложены следующие предположения: а - суммируемая по Лебегу функция, /, д°, д1 непрерывны по Липшицу по переменным х, хг, х3 при фиксированных в,Ь и суммируемы по Лебегу по независимым переменным в,Ь при фиксированных х, хг, х3, т. е. а, х0, х0/, х1 е Ь^(Б); /(х, хг, х3, ■, ■) е Ь^(П), дг(х, ■) е (Т).

Поясним выбор граничных условий (2.3). Первое равенство является по своей сути условием первого рода, хотя по виду отличается от соответствующего классического равенства. Однако, будучи обыкновенным

дифференциальным уравнением относительно следа х(в0, ■) решения х, оно вместе с условием Коши х(в,Ь0) = х0(в) однозначно определяет все значения х(в0, ■) при вполне естественных предположениях на функцию д0. В то же время второе равенство в (2.3) служит условием второго рода, когда функция д1 не зависит от следа х(в1,Ь), в противном случае при наличии такой зависимости - условием третьего рода. На самом деле роли границ по номерам родов граничных условий могут меняться. В общем случае возможно 9 различных вариантов постановки задачи (2.1) — (2.3): первый род на обеих границах; первый — на левой, второй

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

Заметим, что в волновом уравнении (2.1) дифференциальный оператор записан в форме, которую нельзя считать общепринятой. Сделано это для удобства и большей компактности дальнейших выкладок. Вместе с тем подчеркнем, что выбранная запись не умоляет общности рассматриваемой задачи. Действительно, оператор

д

Ох = хи - а(в) — (а(в)х3), дв

используемый в уравнении (2.1) и оператор

д

"Ох = хи - дв(к(в)х3),

который, как правило, является наиболее употребимым в литературе, совпадают друг с другом, если положить

к(в) = а2(в/2).

Ввиду разрывности функции / по переменным (в, Ь) е П, функции а по переменной в е 5 и функций д0, д1 по Ь е Т решение задачи (2.1)

- (2.3) может существовать только в обобщенном смысле. Построению такого решения и посвящена настоящая статья.

3. Сведение к смешанной задаче для гиперболической

системы

Построим систему дифференциальных уравнений первого порядка, эквивалентную уравнению (2.1) на его классических (гладких) решениях. В этом случае частные производные хг, х3 являются непрерывными и непрерывно дифференцируемыми в замкнутой области П функциями. Введем в рассмотрение две новые функции г± = г±(в,Ь), положив по определению

т± = хг Т ах3. (3.1)

Тогда очевидно, что

Т I Т _ г +

х = -±-,х. = —. (32)

Через обозначим производные по направлению (1, ±а), т. е. для любой дифференцируемой в П функции г = г(в, Ь) справедливы равенства

= гг ± аг3.

Таким образом, уравнение (2.1) будет эквивалентно системе

Т I Т _ г +

б±х = тт, б±т± = /(х,—2—,—2а—,в,г). (3.3)

Убедимся в справедливости этого утверждения.

/ = В±т± = В±(Отх) = ± ах3) = (хі ± ахз)і Т а(%г ± ахз)з =

= хц ± ах зі Т ахіз - а(ахз)з = хц - а(ах3)3.

Таким образом, если функции х, т± удовлетворяют системе уравнений (3.3), то функция х является решением уравнения (2.1)и наоборот.

Для упрощения записи введем дополнительное обозначение. Под записью д[в,і] будем понимать значение функции д, все аргументы которой вычислены в точке (в, і), т. е. если д = д(х,т-,т+,в,і), то д[в,і] = д(х(в, і), т- (в ,і), т+ (в ,і), в, і).

Ввиду (3.1) начальные условия для функций х и т± можно переписать в виде

х(в,іо )= х0(в), ( )

т±(в,і0) = х1(в) т а(в)х0,(в), в є 3, (.)

тогда как на боковых границах должны выполняться равенства

т+(во,і) = -т-(во,і) +2д°[в0,і\, (3 5)

т-(ві,і) = т+(ві,і)+ 2а(ві)д1[ві,і], і є Т. (.)

Как известно, скачкообразные возмущения решений гиперболических систем распространяются вдоль характеристик. К таким разрывам решения приводят разрывы во входных данных. Система (3.3)

(впрочем, как и уравнение (2.1)) имеет два семейства характеристик, которые являются семействами интегральных кривых обыкновенных дифференциальных уравнений

I = ±о(8)-

Решения этих уравнений будем обозначать функциями в = в±(£, т; і). Здесь (£,т) Є П - точка, через которую проходит характеристика в момент времени і = т.

Отметим, что система (3.3) записана в инвариантах Римана, т. е. каждый формирующий ее дифференциальный оператор можно рассматривать как производную одного из инвариантов Римана по направлению, определяемому характеристикой, или как производную сложной функции с аргументами (в±(£,т; і),і) по переменной і.

Этот факт позволяет построить интегральный эквивалент дифференциальной задачи в инвариантах Римана. Пусть (,5і(в,і),і±(в,і)) Є 9П — начальная точка соответствующей характеристики, проходящей через точку (в,і). Тогда, проинтегрировав уравнения системы (3.3) вдоль соответствующих характеристик, получим равносильную (3.3)-(3.5) интегральную систему уравнений типа Вольтерра

ь

х(в,Ь) = х+(в,Ь) = х+ (ё+(в,г),ё+(в,г)) + / г-(в+(в,г; т),т)йт,

ь+ ь

х(в,г) = х-(в,г) = х-(ё-(в,г),ё-(в,г)) + / г+(в-(в,г; т),т)йт,

ь ^ (3.6)

г (в,г) = г (ё (в,г),г (в,г)) + } /(в,г;т),т]йт,

ь~

г+(в,г) = т+(ё+(в,г),г+(в,г)) + / / [в+(в,г; т ),т]йт.

ь+

Справедливость обратного перехода от интегральной системы (3.6) к дифференциальной системе (3.3) устанавливается непосредственной проверкой.

4. Обобщенное решение

Как было установлено в предыдущем пункте, интегральная система (3.6) эквивалентна дифференциальной начально-граничной задаче в инвариантах (3.3)-(3.5). Введем определение.

Определение 1. Функция х является обобщенным решением волнового уравнения (2.1), если наряду с функциями г±, связь с которыми описывается системой (3.3), она удовлетворяет интегральной системе (3.6). При этом функции г± определяют обобщенные производные х3, хь по правилам (3.2).

Таким образом, как условия существования и единственности, так и свойства обобщенного решения х начально-краевой задачи (2.1)-(2.3) полностью определяются условиями существования, единственности и свойствами решения интегральной задачи (3.6), которое, в свою очередь, естественно считать обобщенным решением дифференциальной задачи (3.3)-(3.5).

Существование, единственность и оценки роста решения системы интегральных уравнений (3.6) будем доказывать с помощью метода последовательных приближений. Однако здесь мы опишем лишь схему указанного метода.

Сначала построим прямоугольник П; С П так, чтобы для любой точки (в, і) Є П; из двух характеристик £ = в-(в, і; т) и £ = в+(в,і; т) до боковых границ доходило бы не более одной. Очевидно, что П; = Б х (іо,і), где І служит корнем уравнения в+(во,іо; І) = в-(ві ,іо; І). Если І > іі, то положим П; = П. Прямоугольник П; разобьем в свою очередь на три криволинейных треугольника Піо, Поо и Поі по правилу

Піо = {(£,т) Є П : во < £ < в+(во,іо; т)},

Поо = {(£,т) Є П : в+(во ,іо; т) < £ < в-(ві ,іо; т)}, Поі = {(£,т) Є П : в-(ві,іо; т) <£ < ві}.

Доказательство существования и единственности обобщенного решения в области П; является достаточным для утверждения существования и единственности его во всем прямоугольнике П. Действительно, прямоугольник П может быть «урезан» на прямоугольник П; путем переноса начальных условий с границы і = іо на границу і = і1. Данную процедуру достаточно повторить конечное число раз, после чего обобщенное решение будет продолжено на весь прямоугольник П.

Особенности траекторий характеристик, проходящих через точки областей Піо, Поо и Поі определяют технические отличия в построении метода последовательных приближений в каждой из них. Более подробно рассмотрим эту процедуру в области Поо. Пусть (в, і) Є Поо

- произвольная фиксированная точка, £+ = в+(в,і; іо), £- = в-(в, і; іо). Область определения решения х в точке (в, і) имеет вид

С(в,і) = {(£,т) Є Поо : в+(в,і; т) <£ < в-(в,і; т), т Є (іо,і)}.

последовательность приближений {х(к\г±(к^}, к = 0,1,... определим в соответствии с системой (3.6) равенствами

' 4

х(к+1')(в,Ь) = х+(к+1')(в,Ь) = х(к')(^+,Ь0) + / г-(к^(8+(8,Ь; т),т)йт,

Х(к+1)(8,1) = Х-(к+1)(8,1) = х(к)((-,10) + / г+(к)(8-(8,Р, Т),т)(1т,

4 40

г (к+1^(8,Ь) = г (£-,Ь)+//(к)[8 (8,Ь; т),т]йт,

Г+(к+1)(8,1) = г+(к) (£+ ,Ь) + / /(к) [8+(8, т),т]йт,

40

в которых начальные функции х(0\ г±(0) считаем равными нулю, под символом /(к([£,т] понимается значение функции, вычисленное в точке [£,т] на к приближении х(к\ г±(к\ начальные значения х(£+,10), х(£-,10), г+((+^0), г-((-,10) определяются условиями (3.4).

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

Дальнейшие рассуждения аналогичны тем, проведенным в статье [2]. Можно установить, что последовательности {х(к\г±(к^}, =0,1,..., почти всюду в П00 имеют пределы, которые мы обозначим через х(,в,Ь), г±(8,1). Точно так же рассматриваются треугольники Пю и П01. Таким образом, обобщенное решение задачи (3.3)-(3.5) существует и единственно. Следовательно существует единственное обобщенное решение х исходной задачи (2.1)-(2.3).

Список литературы

1. Терлецкий В. А. Вариационный принцип максимума в задаче оптималь-

ного управления нелинейными волновыми процессами / В. А. Терлецкий, Е. А. Лутковская // Изв. Иркут. гос. ун-та. Сер. Математика. - 2010. - Т. 3, № 3. - С. 105-117.

2. Терлецкий В. А. Обобщенное решение нелинейного волнового уравнения с

нелинейными граничными условиями первого, второго и третьего рода /

В. А. Терлецкий, Е. А. Лутковская // Дифференц. уравнения. - 2009. - Т. 45, № 3. - С. 403-415.

V. A. Terletsky, O. V. Bochkova

To substantiate correctness of optimal control problem of wave equation with controllable differentiation operator

Abstract. We consider ways to construct generalized solutions of wave equation with discontinuous coefficient with respect to spacial variable of differentiation operator.

Keywords: wave equation, hyperbolic systems, method of characteristics, method of successive approximations.

Терлецкий Виктор Анатольевич, кандидат физико-математических наук, доцент, Институт математики, экономики и информатики, Иркутский государственный университет, 664000, Иркутск, ул. К. Маркса, 1 тел.: (3952)521282 (terletsky@math.isu.ru)

Бочкова Ольга Витальевна, аспирант, Институт математики, экономики и информатики, Иркутский государственный университет, 664000, Иркутск, ул. К. Маркса, 1 тел.: (3952)521282 (bochkova1.88@mail.ru)

Terletsky Viktor, Ph. D., Irkutsk State University, 1, K. Marks St., Irkutsk, 664003 Phone: (3952)521282 (terletsky@math.isu.ru)

Bochkova Olga, Irkutsk State University, 1, K. Marks St., Irkutsk, 664003 Phone: (3952)521282 (bochkova1.88@mail.ru)

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