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

УДК 517.9

ФАЗОВОЕ ПРОСТРАНСТВО МОДИФИЦИРОВАННОГО УРАВНЕНИЯ БУССИНЕСКА

А.А. Замышляева, Е.В. Бычков

В статье доказана однозначная разрешимость задачи Коши для полулинейного уравнения соболевского типа второго порядка. В работе используются идеи и техника, разработанные Свиридюком Г.А. при исследовании задачи Коши для полулинейного уравнения соболевского типа первого порядка, и Замышляевой А.А. при решении задачи Коши для линейного уравнения соболевского типа высокого порядка. В работе так же используется теория дифференцируемых банаховых многообразий, которая окончательно оформилась в работах С. Ленга. В качестве приложения приведена начально-краевая задача для модифицированного уравнения Буссинеска. Рассмотрено два случая - первый, когда оператор L при старшей производной по времени непрерывно обратим, тогда для любой точки из касательного расслоения исходного банахова пространства существует единственное решение, лежащее в этом пространстве как траектория. Особое внимание было уделено второму случаю, когда оператор L не является непрерывно обратимым, тогда уравнение Буссинеска является вырожденным, и было построено для него локальное фазовое пространство. Приводятся условия, при которых фазовое пространство данного уравнения является простым банаховым многообразием.

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

Введение

Пусть П С Rn — ограниченная область с границей дП класса C. В цилиндре дП х R рассмотрим задачу Коши — Дирихле

u(x, 0) = u0(x),ut(x, 0) = ui(x), x € П (1)

u(x, t) = 0, (x, t) € дП х R (2)

для модифицированного уравнения Буссинеска (IMBq — equation) [1]

(Л — A)utt = a2Au + А/(u). (3)

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

Задачу (1) - (3) в подходящих пространствах удается редуцировать к задаче Коши

и(0) = и0, и(0) = п\, (4)

для полулинейного уравнения

Ш = Ми + N (и), (5)

где операторы Ь,М € £(Н; 30, N € Сте(Я; 3"), и, 3 — банаховы пространства.

Серия «Математическое моделирование и программирование^ вып. 12 13

Во многих работах [1, 2] рассматривается ситуация, когда уравнение невырождено. Для нас наиболее интересен случай сингулярного уравнения, когда оператор при старшей производной по времени не является непрерывно обратимым, в частности, когда его ядро нетривиально. Такие уравнения принято называть уравнениями соболевского типа.

Как известно, задача Коши для уравнения соболевского типа не разрешима при любых начальных условиях. На наш взгляд, наиболее плодотворным (если считать уже имеющиеся приложения) подходом к изучению таких уравнений является метод фазового пространства, основы которого были заложены Г.А. Свиридюком и Т.К. Сукачевой [3] при изучении полулинейного уравнения соболевского типа первого порядка и развиты в работах [4, 5, 6]. Суть этого метода заключается в редукции сингулярного уравнения (5) к регулярному, определенному, однако, не на всем пространстве, а на некотором его подмножестве, состоящем из допустимых начальных значений, понимаемом как фазовое пространство исходного уравнения.

Нашей целью является распространение идей данного метода на случай полулинейного уравнения соболевского типа второго порядка. При исследовании мы существенно опираемся на теорию неполных линейных уравнений соболевского типа высокого порядка с (Ь,р)-ограниченным оператором М [7] и теорию дифференцируемых многообразий [8].

Статья, кроме введения и списка литературы, содержит три пункта. В первом приведены результаты теории (Ь, р)-ограниченных операторов [7]. Второй пункт пункт содержит основные результаты о разрешимости абстрактной задачи (4), (5). В третьем абстрактные результаты применяются для решения задачи (1) - (3).

В заключение условимся о следующем. Все рассмотрения проводятся в вещественных банаховых пространствах, но при рассмотрении «:спектральных> вопросов вводится их естественная комплексификация. Все контуры ориентированы движением «против часовой стрелки> и ограничивают области, лежащие «слева> при таком движении. Символами I и О обозначены, соответственно, «единичный> и «нулевой> операторы.

1. (Ь,р)-ограниченные операторы

Пусть Я, 3 - банаховы пространства, операторы Ь, М € С(Я; 30-

Определение 1. Множество

рь(М) = {ц € С :(цЬ — М)-1 € С(3; Я)}

называется резольвентным множеством, оператора М относительно оператора Ь (или, Ь-резольвентным множеством, оператора М). Множество С\рь(М) = аь(М) называется спектром оператора М относительно оператора Ь (или, Ь-спектром оператора М).

Определение 2. Оператор-функции (цЬ — М)-1, = (цЬ — М)-1Ь, Ь^ = Ь(цЬ — М)-1

с областью определения рь(М) называются соответственно резольвентой, правой резольвентой, левой резольвентой оператора М относительно оператора Ь (короче, Ь-резольвентой, правой Ь-резольвентой, левой Ь-резольвентой оператора М).

Определение 3. Оператор М называется (Ь, а)-ограниченным, если

За> 0 Чц € С : (|ц| > а) ^ (ц € рь(М)).

Лемма 1. Пусть оператор М (Ь,а) - ограничен. Тогда операторы

Р =2Ы Н'(М)М и $ =Ъ>\ Ь"(М)ЛХ

Г г

являются проекторами в пространствах Я3, соответственно. Здесь Г = {А € С : |А| = г> а} [ 7, с. 89].

Положим Я0 = кег Р, 30 = кег Я, Я1 = ш Р, 31 = ™ Я. Обозначим через Ьк(Мк) сужение оператора Ь (М) на подпространство Як, к = 0,1.

Теорема 1. [7, с. 90] Пусть оператор М (Ь,а) -ограничен. Тогда (г) операторы Ьк, Мк : Як ^ 3к,к = 0,1;

(гг) существует оператор М-1 € £(30,Я0);

(ггг) существует оператор Ь-1 € С(31,Я1);

(т) оператор М1 € С(Я1,31)-

В условиях теоремы 1 построим операторы Н = М-1Ь0 € £(Я°) и 5 = Ь-1М1 € ^(Я1).

Определение 4. Точка ж называется устранимой особой точкой, полюсом порядка р € М, существенно особой точкой Ь-резольвенты оператора М, если Н = О; Нр = О, Нр+1 = О; Нд = О при всех ц € М, соответственно.

Замечание 1. В дальнейшем устранимую особую точку будем называть полюсом порядка нуль. (Ь, а)-ограниченный оператор М будем называть (Ь,р)-ограниченным, если точка ж является полюсом порядка р € {0} и N его Ь-резольвенты.

2. Полулинейное уравнение соболевского типа второго порядка

Пусть Я, 3 — банаховы пространства. Рассмотрим задачу Коши

и(0) = и0,и(0) = и1, (6)

для полулинейного уравнения соболевского типа

Ьи = Ми + N (и), (7)

где операторы Ь,М € £(Я; 3)^ € С^(Я; 3), причем оператор М(Ь, 0)-ограничен.

Определение 5. Вектор-функцию и € С2((—т,т);Я), удовлетворяющую уравнению (7)

при некотором т € М+, называют решением этого уравнения, а если решение удовлетворяет условию (6), то функция и называется решением задачи (6), (7).

Определение 6. Множество ф называется фазовым пространством уравнения (7), если

(г) для любых (и0,и1) € Тф существует единственное решение задачи (6), (7);

(гг) любое решение и = и(£) уравнения (7) лежит в ф как траектория, т.е. и(£) € ф при £ € (—т, т).

Если кегЬ = {0}, то уравнение (7) тривиально редуцируется к эквивалентному ему уравнению

и = Е (и), (8)

где оператор Е = Ь-1(М + N) € Сте(Я) по построению. Существование единственного решения и € С^((—т,т);Я) задачи (6), (7) при любых (зд,и1) € ТЯ = Я х Я -доказано в монографии [8, с. 104].

Пусть кег Ь = {0} и оператор М(Ь, 0)-ограничен, тогда в силу теоремы 1 уравнение (7) можно редуцировать к эквивалентной ему системе уравнений

0 = (1 — Я)(М + N )(и0 + и1),

и1 = Ь-1Я(М + N) (и0 + и1), (9)

где и1 = Ри, и0 = (I — Р)и.

Рассмотрим множество М = {и € Я : (I — Я)(Ми + N (и)) = 0}.

Пусть М = 0, то есть существует точка и0 € Я, положим и0 = Рад € Я1. Будем говорить, что множество М в точке и0 является банаховым Ск-многообразием, если существуют окрестности О С М и О1 С Я1 точек ад и и^ соответственно и Ск-диффеоморфизм 5 : О1 ^ О такой, что 5-1 равен сужению проектора Р на О. Множество М называется банаховым Ск-многообразием, моделируемым пространством Я1, если оно является банаховым Ск-многообразием в каждой своей точке. Связное Ск-многообразие называется простым, если любой его атлас эквивалентен атласу, содержащему единственную карту.

Пусть выполнено условие:

(I — Я)(М + ) : Я0 ^ 30 — топлинейный изоморфизм. (10)

Тогда в силу теоремы о неявной функции [9, с. 155] существуют окрестности О0 С Я0 и О1 С Я1 точек и0 = (I — Р)и0, и0 = Ри0 соответственно, и оператор В € С^(О1; О0) такой, что и|] = В(и0). Построим оператор 5 = I + В : О1 ^ М, 5(и0) = и0. Тогда оператор 5-1 вместе со множеством О1 задает карту множества М и равен сужению проектора Р на 5 [О1] = ОС М. Таким образом, доказана

Лемма 2. Множество М = {и € Я : (I — Я)(Ми + N (и)) = 0} при выполнении (10) является Смногообразием в точке ад.

Подействуем производной Фреше второго порядка 5('у1 у1) на второе уравнение системы (9). Тогда, так как

в2

5(и1^)и1 = (5(и1)) и 5(и1) = и

получим уравнение вида (8), определенное на О, где

Е (и) = 5(/и1У)Ь-1 Я(М + N )(и).

Теорема 2. Пусть оператор М(Ь, 0)-ограничен, оператор N € Сте(Я; 3). Тогда для любой пары (ад,и1) € ТМ при выполнении условия (10), существует единственное решение задачи (6)-(7), лежащее в М.

Справедливость теоремы следует из классических результатов для невырожденных дифференциальных уравнений, заданных на банаховом многоообразии [8, с. 104].

3. Фазовое пространство модифицированного уравнения Буссинеска

Проведем редукцию задачи (1) - (3) к задаче (4) - (5), для этого положим

Я = {и € ^2+2(0) : и(х) = 0,х € дП}, 3 = W2(П).

Операторы Ь, М, N зададим формулами:

Ь = А — А, М = а2Д, N (и) = А/(и).

При любом I € {0} и N операторы Ь,М € £(Я; 3). Обозначим через а(Д) = {Ак} множество собственных значений однородной задачи Дирихле в области П для оператора Лапласа А, занумерованных по невозрастанию с учетом кратности, а через {^к} семейство соответствующих собственных функций, ортонормированных относительно скалярного произведения

<■, ■> в Ь2(П).

Лемма 3. При любых X Є М оператор М является (Ь, 0)-ограниченным [7, с. 125].

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

Лемма 4. Пусть / Є СО(М) и I > п/2. Тогда Г Є СО(Ж(^)), где оператор Г : и ^ / (и). Тогда для нашей ситуации, получим

Лемма 5. Пусть / € Сте(М) и пусть I + 2 > п/2. Тогда оператор N : и ^ А/(и) принадлежит классу Сте(Я; 3).

Доказательство. В силу леммы 4 оператор Г : и ^ /(и) принадлежит классу СО(Я), а следовательно оператор N Є СО(Я; 3), как композиция оператора Г : и ^ /(и) и оператора Лапласа А Є £(Я; 3). П

Итак, редукция задачи (1) - (3) к задаче (4) - (5) закончена. По лемме 1 построим проектор

( I, если X / а(А),

Р — Ї 1 - Е (',Рі)Рі■

У Л=Лк

Проектор Я имеет тот же вид, но определен на пространстве 3.

Зафиксируем I > п/2 — 2 и построим множество

м — / и, если X / а (А),

\ {и Є Я : (Ми + N (и), рі) — 0, X — рі}

и пространство

Я, если X / а (А),

Я1 =

{и € Я : <и,^1> = 0, А = <^1}.

В случае А / я (А) множество М является гладким банаховым С ^-многообразием. Если А € а(А),и0 € М и выполнено условие (10), то в силу леммы 2 М является банаховым С ^-многообразием в точке и0.

Теорема 3. (г) При любых А / я(А), I > п/2 — 2, ад,и1 € Я и некотором т > 0 существует единственное решение и € Сте((—т,т),Я задачи (1) - (3).

(гг) Пусть А € я (А), I > п/2 — 2, (и0,и1) € ТМ и выполнено условие (10). Тогда при некотором т > 0 существует единственное решение и € Сте((—т,т), М) задачи (1) - (3).

Из теоремы 3(1) вытекает, что в случае А / я(А), множество М является фазовым пространством уравнения (3). В случае А € я(А) любое решение задачи (1) - (3) лежит в М как траектория. Осталось найти условия, при которых множество М является простым банаховым С ^-многообразием. В [13] было показано, что если оператор N € С те(Я; 3) оператор (—N) 8-монотонен и сильно коэрцитивен, причем в т. и = 0 N!a = О, то множество М является простым банаховым С ^-многообразием, моделируемым пространством Я1. Эти условия выполняются, в частности, если оператор N определятся посредством функции

/(и) = — X! ати2т+1, ат € Я+,

т=1

либо посредством функции

/(и) = —|и|9-2и, Я > 2.

В заключение, хотелось бы поблагодарить своего научного руководителя, замечательного педагога и хорошего человека, Свиридюка Георгия Анатольевича, за ценные и своевременные советы и консультации.

СО

Литература

1. Wang, S. Small amplitude solutions of the generalized IMBq equation/ S. Wang, G. Chen // Mathematical Analysis and Application. - 2002. - V. 274. - P. 846 - 866.

2. Архипов, Д.Г. Новое уравнение для описания неупругого взаимодействия нелинейных локализованых волн в диспергирующих средах / Д.Г. Архипов, Г.А. Хабахпашев // Письма в ЖЭТФ. - 2011. - Т. 93, № 8. - С. 469 - 472.

3. Свиридюк, Г.А. Фазовые пространства одного класса операторных полулинейных уравнений типа Соболева / Г.А. Свиридюк, Т.Г. Сукачева// Дифференц. уравнения. - 1990. - Т. 26, № 2. - С. 250 - 258.

4. Загребина, С.А. О задаче Шоуолтера - Сидорова / С.А. Загребина // Изв. вузов. Математика. - 2007.- № 3. - С. 22 - 28.

5. Келлер, А.В. Численное решение задачи стартового управления для системы уравнений леонтьевского типа / А.В. Келлер // Обозрение приклад. и пром. математики. — 2009. — Т. 16, № 2. - С. 345 - 346.

6. Манакова, Н.А. Задача оптимального управления для уравнения Осколкова нелинейной фильтрации / Н.А. Манакова // Дифференц. уравнения. - 2007. -Т. 43, № 9. -С. 1185 - 1192.

7. Sviridyuk, G.A. Linear Sobolev type equations and degenerate semigroups of operators / G.A. Sviridyuk, V.E. Fedorov. - Utrecht; Boston; Koln; Tokyo: VSP, 2003.

8. Ленг, С. Введение в теорию дифференцируемых многообразий / C. Ленг. - М.: Мир, 1967.

9. Ниренберг, Л. Лекции по нелинейному функциональному анализу / Л. Ниренберг. - М.: Мир, 1980.

10. Хэссард, Б. Теория и приложения бифуркации рождения цикла / Б. Хэссард, Н. Каза-ринов, И. Вэн.- М.: Мир, 1985.

11. Свиридюк, Г.А. Фазовое пространство одной обобщенной модели Осколкова / Г.А. Свиридюк, В.О. Казак// Сиб. матем. журн. - 2003. - T. 44, № 5. - C. 1124 - 1131.

Алена Александровна Замышляева, кандидат физико-математических наук, доцент, кафедра «Уравнения математической физики>, Южно-Уральский государственный университет (г. Челябинск, Российская Федерация), [email protected].

Евгений Викторович Бычков, аспирант, кафедра «Уравнения математической физики^ Южно-Уральский государственный университет (г. Челябинск, Российская Федерация), [email protected].

MSC 35A01

The Phase Space of the Modified Boussinesq Equation

A.A. Zamyshlyaeva, South Ural State University (Chelyabinsk, Russian Federation), E. V. Bychkov, South Ural State University (Chelyabinsk, Russian Federation)

We proved a unique solvability of the Cauchy problem for a class of semilinear Sobolev type equations of the second order. We used ideas and techniques developed by G.A. Sviridyuk for the investigation of the Cauchy problem for a class of semilinear Sobolev type equations of the first order and by A.A. Zamyshlyaeva for the investigation of the high-order linear Sobolev type equations. We also used theory of differential Banach manifolds which was finally formed in S. Leng’s works. The initial-boundary value problem for the modified Bussinesq equation was considered as application. In article we considered two cases. The first one is when an operator L at the highest time derivative is continuously invertible. In this case for any point from a tangent fibration of an original Banach space there exists a unique solution lying in this space as trajectory. Particular attention was paid to the second case, when the operator L isn’t continuously invertible and the Bussinesq equation is degenerate one. A local phase space in this case was constructed. The conditions for the phase space of the equation being a simple Banach manifolds are given.

Keywords: phase space, Sobolev type equation, relatively spectrally bounded operator, Banach manifold.

References

1. Wang S., Chen G. Small Amplitude Solutions of the Generalized IMBq Equation. Mathematical Analysis and Application, 2002, vol. 274, pp. 846 - 866.

2. Arkhipov D.G., Khabakhpashev G.A. The New Equation to Describe the Inelastic Interaction of Nonlinear Localized Waves in Dispersive Media. JTEP Letters, 2011, vol. 93, no. 8, pp. 423 - 426.

3. Sviridyuk GA., Sukacheva, T.G. The Phase Space of a Class of Operator Equations of Sobolev Type [Fazovye prostranstva odnogo klassa operatornykh uravneniy tipa Soboleva]. Differential Equation, 1990, vol. 26, no. 2, pp. 250 - 258.

4. Zagrebina SA. On the Showalter-Sidorov Problem. Russian Mathematics, 2007, vol. 51, no. 3, pp. 19 - 24.

5. Keller А^. Numerical Solution of the Starting Control System of Equations of Leontiev Type [Chislennoe reshenie zadachi startovogo upravleniya dlya sistemy uravneniy leont’evskogo tipa]. Obozrenie prikladnoy i promyshlennoy matematiki [Review of Industrial and Applied Mathematics], 2009, vol. 16, no. 2. pp. 345 - 346.

6. Manakova NA. Optimal Control Problem for the Oskolkov Nonlinear Filtration Equation. Differential equations, 2007, vol. 43, no. 9, pp. 1213 - 1221.

7. Sviridyuk G.A., Fedorov V.E. Linear Sobolev Type Equations and Degenerate Semigroups of Operators. Utrecht, Boston, Koln, Tokyo, VSP, 2003.

8. Leng S. Introduction to Differentiable Manifolds. New-York, Spriger, Verlag, 2002.

9. Nirenberg L. Topics in Nonlinear Functional Analysis. New ed., New-York, 2001.

10. Hassard B.D. Theory and Applications of Hopf Bifurcation. Cambridge University Press, 1981.

11. Sviridyuk GA., Kazak V^. The Phase Space of one Generalized Model by Oskolkov. Siberian Mathematical journal, 2003, vol. 44, no 5, pp. 877 - 882.

Поступила в редакцию 7 февраля 2012 г.