Научная статья на тему 'Существование и устойчивость решений одного класса полулинейных уравнений соболевского типа'

Существование и устойчивость решений одного класса полулинейных уравнений соболевского типа Текст научной статьи по специальности «Математика»

CC BY
100
32
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
УРАВНЕНИЕ ОСКОЛКОВА / УРАВНЕНИЯ СОБОЛЕВСКОГО ТИПА / ОТНОСИТЕЛЬНО Р-СЕКТОРИАЛЪНЫЙ ОПЕРАТОР / СУЩЕСТВОВАНИЕ И УСТОЙЧИВОСТЬ РЕШЕНИЙ / OSKOLKOV EQUATION / SOBOLEV TYPE EQUATION / RELATIVELY P-SECTORIAL OPERATOR / EXISTENCE AND STABILITY OF SOLUTIONS

Аннотация научной статьи по математике, автор научной работы — Загребина С. А., Якупов М. М.

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

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

Existence and Stability of Solutions of One Class of Semilinear Sobolev-Type Equations

The authors analyses the unique solvability of the Cauchy problem for the semilinear Sobolev type equation with a relatively p-sectorial operator, and the stability of solutions of this equation about a point of the origin of coordinates in case of the irreversibility of the operator under derivative, particularly when its core is nontrivial as an example of the results, the thermoconvection problem for the Oskolkov equation modeled dynamic of incompressible visco-elastic fluid is considered.

Текст научной работы на тему «Существование и устойчивость решений одного класса полулинейных уравнений соболевского типа»

УДК 517.9

СУЩЕСТВОВАНИЕ И УСТОЙЧИВОСТЬ РЕШЕНИЙ ОДНОГО КЛАССА ПОЛУЛИНЕЙНЫХ УРАВНЕНИЙ СОБОЛЕВСКОГО ТИПА

С.А. Загребина, М.М. Якупов

EXISTENCE AND STABILITY OF SOLUTIONS OF ONE CLASS OF SEMILINEAR SOBOLEV-TYPE EQUATIONS

S.A. Zagrebina, M.M. Yakupov

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

Ключевые слова: уравнение Осколкова, уравнения соболевского типа, относительно р-секториалъный оператор, существование и устойчивость решений

The authors analyses the unique solvability of the Cauchy problem for the semilinear Sobolev type equation with a relatively p-sectorial operator, and the stability of solutions of this equation about a point of the origin of coordinates in case of the irreversibility of the operator under derivative, particularly when its core is nontrivial as an example of the results, the thermoconvection problem for the Oskolkov equation modeled dynamic of incompressible visco-elastic fluid is considered.

Keywords: Oskolkov equation, Sobolev type equation, relatively p-sectorial operator, existence and stability of solutions

ПустьНи^-банаховы пространства; операторы Ь Е £(Д;#) (т.е. линеен и непрерывен), М Е С/(Н;#) (т.е. линеен, замкнут и плотно определен), N Е С°°(11а; 5). Здесь йа - банахово пространство, причем вложение Ша 11 плотно и непрерывно. Рассмотрим полулинейное уравнение соболевского типа

Ьй = Ми + К{и). (1)

Если существует оператор Ь~г Е то уравнение (1) тривиально редуцируется к

уравнению

й = ви + ^(«), (2)

где операторы 5 £ Ь~1М Е С/(И), Р Е Ь~1Ы Е С°°(йа; Д). Если вдобавок

(А) оператор Б секториален, то при любом щ € и некотором г Е М+, т = т(щ),

существует единственное решение и Е т);Я) задачи Коши п(0) = г*о для уравнения

(2) [1], п. 3.3;

(В) спектр <т(5) оператора 5 таков, что ст(5)П{Ж} = 0, а оператор Р таков, что /'’(О) = 0 И ^0 = О, то в некоторой окрестности точки нуль существуют устойчивое и неустойчивое многообразия уравнения (2) [1], п. 5.2.

Нашей целью является изучение однозначной разрешимости задачи Коши для уравнения (1), а также устойчивости решений уравнения (1) в окрестности точки нуль в случае, когда оператор Ь необратим, в частности, его ядро кег Ь ф {0}. При выборе цели мы руководствовались не столько желанием пополнить теорию, сколько стремлением осмыслить начально-краевые задачи для неклассических уравнений математической физики, возникающих в последнее время в приложениях. Именно, в качестве конкретной интерпретации общих результатов мы рассмотрим задачу термоконвекции для уравнения Осколкова, моделирующего динамику несжимаемой вязкоупругой жидкости.

Трудности, которые нас ожидают как при изучении абстрактного уравнения (1), так и при изучении его конкретных интерпретаций, были отмечены еще первопроходцами [2, 3]. Это, во-первых, несуществование решений задачи Коши для уравнения (1) при любых начальных данных пусть даже из плотного в Я множества, а во-вторых, сильная неустойчивость решений уравнения (1). Данные трудности отмечались и преодолевались разными исследователями по-разному (см. далеко не полный перечень монографий [4-8], которые большей частью посвящены изучению линейных уравнений соболевского типа вида

Ьй = Ми (3)

в различных аспектах). Однако первое удовлетворительное объяснение несуществования и неустойчивости решений задачи Коши для линейных уравнений (3) дано в монографии [9]. Несуществование решений объясняется тем, что уравнение (3) необходимо рассматривать не на всем пространстве И, а на некотором его подмножестве, понимаемом как фазовое пространство. Неустойчивость объясняется расщеплением фазового пространства на инвариантные пространства, порождающие дихотомии решений. Инвариантные пространства соответствуют расщеплению //-спектра оператора М.

Успех в линейном случае был обусловлен тем обстоятельством, что фазовым пространством уравнения (3) служит подпространство в Я. Поэтому был начат поиск таких полулинейных уравнений (1), фазовые пространства которых диффеоморфны некоторому подпространству в Д [10 - 13]. Затем для этих фазовых пространств при условии (Ь,р)-ограниченности оператора М было получено обобщение утверждения В для уравнения

(1) [14, 15]. Кстати сказать, в [16] предложено утверждения вида В называть -«теоремой Адамара - Перрона>. Мы будем придерживаться этого термина и докажем теорему Адамара

- Перрона для уравнения (1) в случае, когда оператор М (£, р)-секториален.

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

1. Относительно р-секториальные операторы

Введем в рассмотрение /^-резольвентное множество рь{М) = {// е С : (//£ — М)-1 € £(#; Д)} и Ь-спектр 0х (М) = С \ рь(М) оператора М. Нетрудно показать, что множество рь{М) всегда открыто, поэтому множество аь(М) всегда замкнуто. Пусть рь(М) ф 0, тогда можно определить правую и левую р-резольвенты оператора М Я^р^(М) = Пд=о (-^0>

1Ъ,Р)(М) = Ш=о^(М), где Д£(М) = (рЬ - М)-^, ЬЦМ) = Ь(рЬ - М)~\ а точки

РдЕрь(М), {0,1,...,р}.

Определение 1. Оператор М называется {Ь,р)-векториальным, если

(I) существуют константы а 6 К. и © Е (7г/2,7г) такие, что сектор 0(М) = {р е С : |а^(/х-а)| < 0, р ф а} С рь(М),

(II) существует константа К 6 М+ такая, что

шах

{ІК-ИІ^КНи,}

< к

р

П К - «I

9=0

при любых ря Є 5д 0(М), д Є {0,1,... ,р}.

Пусть рь{М) ф 0, введем в рассмотрение уравнения

Д£(М)й = (аЬ - М)~1Ми, (4)

^(М)/ = М(аХ-М)-1/, (5)

где а Є рь(М).

Теорема 1. [1] Пусть оператор М (Ь,р)-секториален, тогда существует аналитическая разрешающая полугруппа уравнения (4) (уравнения (5)).

Искомые полугруппы задаются несобственными интегралами типа Данфорда - Тейлора соответственно

И' = Ъг / рІ = 2Ьіі 1ИМ)е^ (6)

г г

где і Є М+, контур Г С й'д @(М) такой, что | а^//| —>• © при р —>• оо, р Є Г.

Введем в рассмотрение ядра полугрупп 17■ = {Vі : і Є М+} и^ = {і*1* : і Є К+}, кет 17' = {</? Є Д : игір = 0 Зі Є К+} и кегі*1- = {‘ф Є З : Ргф = 0 Зі Є Ж}. Положим Д° = кег 17', 3° = кег^- и через Ьо (Мо) обозначим сужение оператора Ь (М) на Д° (Д°ПсІот М).

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

(i) оператор Ьо Є £(Д°; 3°);

(ii) оператор Мо Є С1(Д°;3°); причем существует оператор М^1 Є £(3°; Д0)-

Построим оператор Є = М^1Ьо Є £(Д°). Нетрудно показать, что оператор Є нильпотентен степени р. Введем в рассмотрение образы іш 17' = {к Є Д : ^Ііт 17іи = гі} и

іт і*1- = {/ Є 5 : ^Ііт^ = /} полугрупп 17' и Р‘ соответственно. Положим Д1 = іт 17',

3і = іт і*1- и через І/і (Мі) обозначим сужение оператора Ь (М) на Д1 (Д1 П сіот М).

Лемма 2. Пусть оператор М сильно (Ь, р)-секториален, тогда

(i) оператор Ь\ Є £(Дг;Зг1)? оператор М\ Є С1(Д1;#1).

(ii) Д° ® Д1 = Д° 0 Д1, З0® 3і = 9° © З*.

Рассмотрим линейное уравнение (3). Решением уравнения (3) назовем вектор-функцию и Є С^М+іД), удовлетворяющую ему. Как нетрудно убедиться, полугруппа 17' (см (6)) является разрешающей полугруппой уравнения (3).

Определение 2. Множество ^3 С Д называется фазовым пространством уравнения (3), если

(I) любое решение и = и(€) уравнения (3) лежит в ф как полутраектория (т.е. и(Ь) Е ф,

t Е

(II) для любого «о 6 ф существует единственное ослабленное решение задачи Коши м(0) = щ для уравнения (3).

Теорема 2. Пусть оператор М (Ь,р)-секториален, тогда фазовое пространство

уравнения (3) совпадает с образом разрешающей полугруппы II'.

Очевидно, Я0 ® Я1 С Я и 5° ф З-1 С

Теорема 3. [17] Оператор М сильно (Ь,р)-секториален точно тогда, когда выполняются следующие условия: оператор М (Ь,р)-секториален,

Я°®Я1=Я, 5°®^ = ^ (7)

существует оператор Е £(^1;Я1). (8)

Заметим, что из (7) вытекает существование единиц Р = в — ^Нт Ц* и (^ = в — Рь полугрупп и• и Р~ соответственно.

Теорема 4. Пусть оператор М (Ь,р)-секториален и выполнено (7), (8). Тогда оператор Б = Е С1(Я1; У1) секториален.

Пусть далее £-спектр оператора М

а1(М) П {Ж} = 0. (9)

Тогда разрешающую полугруппу уравнения (3) можно представить в виде Ц* = = (2т)~г J Д^(М)ем4с^ + (2-7Г^)~1 J = и\ + С/|, где Г1 - контур, целиком

Г1 г2

лежащий в левой полуплоскости и имеющий такой же вид, как в (6), а Г2 - замкнутый контур, целиком лежащий в правой полуплоскости и ограничивающий часть ^-спектра аЬ(М) П {р Е С : Ие р > 0}. Нетрудно заметить, что полугруппа {Щ : ^ Е К+} продолжима до аналитической группы {Щ : т Е С}, значит, существует ее единица Р2 = и®, являющаяся, очевидно, проектором. Пусть выполнено (7), тогда существует проектор Р\ = в — ^Нгп^ 17\ —

Р — Р%. Положим, Я1* = Ш1 Рк, к Е {0,1}, очевидно Я11 ® Я12 = Я1.

Определение 3. Пусть ф - фазовое пространство уравнения (3). Подмножество 3 С ф называется инвариантным пространством уравнения (3), если при любом «о Е 3 вектор-функция и({) = игио Е 3 при всех t Е М_|_.

Теорема 5. Пусть оператор М (Ь,р)-секториален и выполнено (7), тогда подпространства Я1*, к Е {0,1} являются инвариантными пространствами уравнения (3).

Определение 4. Пусть 5 - инвариантное пространство уравнения (3). Пусть «(£, щ) = игщ

- решение задачи Коши для уравнения (3) с начальным значением щ Е 3. Пространство Д называется устойчивым (неустойчивым), если существуют константы а, С Е М+ такие, что ||«(*,«о)||и < Се~ы\\«о||я при £ Е М+ (||и^,«о)||д < С'е^ЦиоНи при Ь Е М_).

Теорема 6. Пусть оператор М (Ь,р)-секториален, и выполнено (7) - (9). Тогда Я11 -устойчивое, а Я12 - неустойчивое инвариантные пространства уравнения (3).

Если выполнены условия (7) - (9), то пространства Я1*, к Е {0,1} являются инвариантными пространствами секториального оператора 5 = Е С1 (Я1). Поскольку

спектр а (Б) = аь(М), то пространство Я11 (Я12) является устойчивым (неустойчивым) пространством уравнения й1 = Би1. Заметим еще, что если аь(М)Г\{ц € С : Ке^л > 0} = 0, то неустойчивое инвариантное пространство Я12 = {0}. В таком случае фазовое пространство Я1 = Я11 и называется асимптотически экспоненциально устойчивым пространством.

2. Квазистационарные полутраектории

Пусть Я и $ - банаховы пространства; операторы Ь € /2 (Я; $), М € С1(Я;3), причем оператор М (Ь, р)-секториален, и выполнены (7) - (9). Тогда, полагая Яд = Я1, Я]; = с!от МП Я1 с «нормой графика», аналогично [18] построим интерполяционные пространства Д„ = а € [0,1]. Далее, положим Я° = с1от МПЯ° с «нормой графика» и построим пространства Яа = Я?®Я^, а е [0,1]. Имеют место непрерывное и плотное вложение Яа Я,

а € [0,1], и равенство Я1 = с1от М с «нормой графика». Фиксируем а е [0,1), и пусть

оператор N € С'°°(Яа;5г)- Рассмотрим полулинейное уравнение соболевского типа

1А = Ми + N(11). (10)

Вектор-функцию и € С'оо((0,Т);Я1), удовлетворяющую при некотором Т € Е+ этому уравнению, назовем решением уравнения (10). Решение и = и(£) уравнения (10), удовлетворяющее соотношению ^Ит ||гл(<) — щ| |да = 0 при некотором щ € Яа, назовем

решением задачи Коши

и(0) = щ (11)

для уравнения (10) (или просто решением задачи (10), (11)).

Поскольку оператор М (Ь, р)-секториален и выполнены (7), (8), то уравнение (10) эквивалентно системе из двух уравнений

вй° = и0 + Mo1N(u), (12)

й1 = Би1 + 1^1Щи), (13)

где оператор б? = М^1Ь$ е £(Яо) нильпотентен степени р, а оператор 5 = Ь^1М\ £ С1(Я1) секториален. О трудностях, возникающих при решении уравнений (12), (13), сказано уже немало (см. напр. [19]).

Определение 5. Решение и = «(£) уравнения (10) называется квазистационарной полутраекторией, если

0(1 - Р)й(£) = 0, г <Е (0, Т). (14)

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

Решение задачи (10), (11) называется квазистационарной полутраекторией уравнения (10), выходящей из точки щ, если выполнено (14).

Понятие квазистационарной полутраектории естественным образом обобщает понятие квазистационарной траектории [19]. Если ограничиться рассмотрением только квазистационарных полутраекторий, то мы с необходимостью придем к рассмотрению множества Ш = {« € Яа : (I — О)(Ми + N(4)) =0}, на котором они лежат.

Пусть Ш ф 0; будем говорить, что множество Ш1 в точке щ € Ш является банаховым С°°-многообразием, если существуют окрестности О С 971 и 01 С точек г*о и «о = Рщ € Я* соответственно и С°°-диффеоморфизм Б : £>1 —>• О такой, что I?-1 есть сужение проектора Р на Ш. Множество Ш называется банаховым С°° -многообразием, если оно является таковым в каждой своей точке. Связное банахово С'°°-многообразие называется простым.

Теорема 7. Пусть в точке щ £ Ш множество Ш является банаховым С°°-многообразием, тогда существует квазистационарная полутраектория уравнения (10), выходящая из точки щ.

Приведем набросок доказательства. В условиях теоремы уравнение (13) можно привести к виду

й1 = ви1 + Р^1), (15)

в окрестности 01 точки и\, где оператор Р = Ь~[1М\0 £ С'°°((£)1;И). Пользуясь

результатом [1], найдем решение и1 £ С°°((0, Т); Д*) задачи Коши и1 (0) = и1а для уравнения (15). Вектор-функция и(Ь) = Би1^)) будет решением задачи (10), (11), причем будет выполнено (14).

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

(I) любое решение и = «(£) уравнения (10) лежит на ф, т.е. и(£) £ ф, Ь £ (0,Т);

(II) для любого щ £ ф существует единственное решение задачи (10), (11).

В дальнейшем нас будут интересовать случаи, когда фазовое пространство ф уравнения (10) будет совпадать со множеством его квазистационарных полутраекторий ШТ. Отметим, что такой случай заведомо имеет место, если оператор N = О (см. теорему 4), или если р = 0 [18], [19].

Положим теперь Д** = Д1* ПД„, к £ {1,2}. Пусть множество 9Я - простое банахово С°°-многообразие, а фазовое пространство ф = ЯЛ. Через и[Ь, щ) обозначим квазистационарную полутраекторию уравнения (10), выходящую из точки щ.

Определение 7. Множество = {мо € Ш : ||Р1(2)мо||и < -йъ 1М^>мо)||д < -^2, t £

М+(_)} такое, что

(1) диффеоморфно замкнутому шару в Д^12^ с центром в начале координат

радиуса Я\;

(И) касается Д^12^ в начале координат;

(ш) при любом щ £ ШК") ||г*(<, гхо)||д -> 0 при £ -> +оо(—оо) называется устойчивым (неустойчивым) инвариантным многообразием уравнения (10).

Теорема 8. Пусть оператор N таков, что N(0) = 0, Щ = О. Тогда при некоторых к £ {1,2}, существуют устойчивое и неустойчивое инвариантные многообразия уравнения (10). Причем, если для некоторого щ £ 9Я имеет место ЦР^оЦд < Я\ или ||Р2«о||и < Яг и ||м(£, ио)||я < Я2 при t —> +оо или при £ —>• —оо, то щ £ и Ша.

Приведем набросок доказательства. На первом этапе показывается, что уравнение (15) удовлетворяет условиям теоремы Адамара - Перрона. Действительно, оператор 5 € С1(Д1) секториален, и его спектр о (в) — аь(М). Далее, по построению Р(0) = 0 и Рд = 0. Итак, существует устойчивое 91® и неустойчивое 91м инвариантные многообразия уравнения (15). Положим

ЭЙ* = {и £ ЮТ : и = (I + (У)(и1), и1 е 91"},

и покажем, что ЯЛ5 - искомое устойчивое многообразие уравнения (10). Прежде всего заметим, что для любого щ £ 9Л4' НР^оИд = ЦРгПдЦя < р(2М)~1, где и\ £ 915. Отсюда, если положить Я\ = р(2М)^1, то требуемый С^-диффеоморфизм шара в Д^1 и задается формулой I) = I + 5(1 + а). Далее, поскольку любое решение и^,щ) уравнения (10) имеет вид и(Ь,щ) = (I + Рио), причем 5(и) = о(и) при ||п||д —>■ 0, то ||«(<,«о)||а =

||(Е-Ь^)гл1 (^, Р«о)||я ~^ 0 ПРИ £ у —оо. Кроме того, отсюда вытекает существование константы

і?2 такой, что ||«(£, «о) Нд < і?2і і Є ®ч_. Наконец, касание пространства IIі в начале координат вытекает из того, что (I — О)(и) = о(и) при ||«||у —>• 0.

Существование неустойчивого инвариантного многообразия 97Г4 доказывается аналогично.

Аналогично п. 1 заметим, что если аь(М) П {д Є С : Шец > 0} = 0, то фазовое пространство уравнения (10) совпадает с устойчивым инвариантным многообразием.

3. Полулинейная задача термоконвекции

Гибрид системы уравнений Осколкова [21] и уравнения теплопроводности в приближении Обербека - Буссинеска

{

(А - У2)у4 = г/У2« - (?; • V)?; — Ур + д^ув, V • V = 0, , .

5* = 6Ч2в - V ■ + 7 • і;, 1 '

моделирует термоконвекцию вязкоупругой несжимаемой среды Кельвина - Фойгта [20]. Если одна из горизонтальных компонент скорости равна нулю, то система (16) превращается в систему

/Л л 2 , ^ф) 30

(Л-Д)Д^=,Д>-М+а_

Ті-ІАІ>-Ж^у) +раі'

моделирующую плоскопараллельную термоконвекцию в слое вязкоупругой несжимаемой среды Кельвина - Фойгта.

Пусть О = (0; а) х (0; Ъ) С Ж2. Нас интересует фазовое пространство, а также устойчивое и неустойчивое инвариантные пространства задачи Бенара

ф(х, 0, £) = Аф(х, 0, £) = ф(х, Ь, ї) = Аф(х, Ь, г) = 0, (18)

в(х, 0, і) = в(х, Ь, <) = 0, (19)

функции ф и 9 периодичны по ж с периодом а (20)

в цилиндре О х Ж-|_. Положим [22] И = Ш х 2В, $ = 0 х 5), где 23 = {и Є (^) : V удовлетворяет (18), (20)}, 2ЇЇ = 0 = = 1*2(^); операторы

І=((Л-Д)Д ;), м =

Очевидно, оператор Ь Є £(ІХ; 3), а оператор М Є З"), сІотМ = 93 х {го Є И^(^) : и; удовлетворяет (19), (20)}. Причем оператор М (Ь,0)-секториален [22].

Положим Д = До, а через Ні обозначим линеал скяпМ, снабженный «нормой графика». В качестве Ддг возьмем пространство Я/у = 93 х {ъо Є И/21(0) : т удовлетворяет (19), (20)}. Очевидно Ні > Ддг ^ До, причем все вложения плотны и непрерывны. Формулой N : и —>■ _ / д(Аь,ь) д(и,го)\

І -----г-, -тт/-г I определим оператор І\Г : Ддт —3- Нетрудно показать, что оператор

\ ^(*^5 У/ 2// /

АГ Є С00^;#) [23], кроме того легко заметить, что N(0) = 0, АГд = О. Построим множество 971, на котором находятся все квазистационарные траектории задачи Бенара для уравнения (11).

(і) 9Я = Да, если А ф А,,-;

(И) Ш = |u € SSa : j j ^х<1у + = o|> если ^ =

(iii) 9Л = |г/ e Яа : JJ^ <Pmn dxdV + v\2 = 0, k = 1, 2 j, если A = \mn.

Здесь символами <pmn, фы, <Pj обозначены нормированные функции каждого семейства собственных функций оператора Лапласа А, определенного в области О и удовлетворяющих условиям (18), (20), а символами \тп, Аы, Aj - соответствующие собственные значения (см. [22]).

Теорема 9. [23] При любых v G М+, А € Ж множество Ш является простым банаховым С°° -многообразием, моделируемым пространством И]у.

Отсюда в силу теорем 8 и 9 вытекает следующая

Теорема 10. При любых а,/3,5, и € R+, А € I существует бесконечномерное устойчивое и не более чем конечномерное неустойчивое инвариантные многообразия задачи Бенара для уравнений (17).

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

Литература

1. Хенри, Д. Геометрическая теория полулинейных параболических уравнений / Д. Хенри.

- М.: Мир, 1985.

2. Coleman, B.N. Instability, uniqness and nonexistence theorems for the equation щ = uxx — uxxt on a strip / B.N. Coleman, R.J. Duffin, V.J. Mizel // Arch. Rat. Mech. Anal. - 1965. -V.19. - P. 100 - 116.

3. Levine, H.A. Some nonexistence and instability theorems for solu-

tions of formally parabolic equations of the form Dut = —Au + F(u) / H.A. Levine // Arch. Rat. Mach. anal. - 1973. - V.51, №5. -

P. 371-386.

4. Showalter, R. E. Hilbert Space Methods for Partial Differential Equations / R. E. Showalter.

- London; San Francisco; Melbourne: Pitman, 1977.

5. Favini, A. Degenerate differential equations in Banach spaces / A. Favini, A. Yagi. - New York; Basel; Hong Kong: Marcel Dekker Inc, 1999.

6. Pyatkov, S.G. Operator theory. Nonclassical problems / S.G. Pyatkov. - Utrecht; Boston; Koln; Tokyo: VSP, 2002.

7. Lyapunov - Shmidt method in nonlinear analysis and applications / N. Sidorov, B. Loginov, A. Sinithyn, M. Falaleev. - Dordrecht; Boston; London: Kluwer Academic Publishers, 2002.

8. Demidenko, G.V. Partial differential equations and systems not solvable with respect to the highest - order derivative / G.V. Demidenko, S.V. Uspenskii. - New York; Basel; Hong Kong: Marcel Dekker, Inc., 2003.

9. Sviridyuk, G.A. Linear Sobolev Type Equations and Degenerate Semigroups of Operators / G.A. Sviridyuk, V.E. Fedorov. - Utrecht; Boston; Koln; Tokyo: VSP, 2003.

10. Свиридюк, Г.А. Многообразие решений одного операторного сингулярного псевдопараболического уравнения / Г.А. Свиридюк // Докл. акад. наук СССР. -1986. - Т.289, №6. - С. 1315 - 1318.

11. Свиридюк, Г.А. Фазовое пространство начально-краевой задачи для системы Осколкова / Г.А. Свиридюк, М.М. Якупов // Дифференц. уравнения. - 1996. - Т. 32, №11. -С. 1538 - 1543.

12. Свиридюк, Г.А. Фазовое пространство начально-краевой задачи для уравнения Хоффа / Г.А. Свиридюк, В.О. Казак // Мат. заметки. - 2002. - Т. 71, №2. - С. 292 - 297.

13. Свиридюк, Г.А. Фазовое пространство задачи Коши-Дирихле для уравнения Осколкова нелинейной фильтрации / Г.А. Свиридюк, Н.А. Манакова // Изв. вузов. Математика.

- 2003. - №9. - С. 36 - 41.

14. Китаева, О.Г. Устойчивое и неустойчивое инвариантные многообразия уравнения Осколкова / О.Г. Китаева, Г.А. Свиридюк // Неклассические уравнения математической физики: тр. семинара, посвященного 60-летию проф. В.Н. Врагова / Ин-т математики им. C.JI. Соболева СО РАН. - Новосибирск, 2005. - С. 161 - 166.

15. Китаева, О.Г. Устойчивое и неустойчивое инвариантные многообразия уравнения Хоффа / О.Г. Китаева // Вестн. МаГУ. Сер. Математика. - Магнитогорск, 2005. -Вып. 8. - С. 96 - 112.

16. Арнольд, В.И. Обыкновенные дифференциальные уравнения / В.И. Арнольд, Ю.С. Ильяшенко // Итоги науки и техники. Современные проблемы математики. Фундаментальное направление. - М., 1985. - Т. 1. - С.7 - 149.

17. Федоров, В.Е. О некоторых соотношениях в теории вырожденных полугрупп / В.Е. Федоров // Вестн. ЮУрГУ. Мат. моделирование и программирование. - 2008. №15 (115).

- С. 89 - 99.

18. Свиридюк, Г.А. Фазовые пространства полулинейных уравнений типа Соболева с относительно сильно секториальным оператором / Г.А. Свиридюк // Алгебра и анализ.

- 1994. - Т.6, №5. С. 252 - 272.

19. Свиридюк, Г.А. Квазистационарные траектории полулинейных динамических уравнений типа Соболева / Г.А. Свиридюк// Изв. РАН. Сер. матем. - 1993. -Т.57, №3. - С. 192 - 207.

20. Свиридюк, Г.А. Некоторые математические задачи динамики вязкоупругих несжимаемых сред / Г.А. Свиридюк, Т.Г. Сукачева // Вестн. МаГУ. Сер. Математика. Магнитогорск, 2005. - Вып. 8. - С. 5 - 33.

21. Осколков, А.П. Нелокальные задачи для одного класса нелинейных операторных уравнений, возникающих в теории уравнений типа C.J1. Соболева / А.П. Осколков // Зап. науч. семинаров ЛОМИ. - 1991. - Т.198. - С. 31 - 48.

22. Загребина, С.А. Задача Шоуолтера - Сидорова - Веригина для линейных уравнений соболевского типа / С.А. Загребина // Неклассические уравнения математической физики: сб. тр. междунар. конф. «Дифференциальные уравнения, теория функций и приложения», посвящ. 100-летию со дня рождения акад. И.Н.Векуа. - Новосибирск, 2007. - С. 150 - 157.

23. Якупов, М.М. Фазовые пространства некоторых задач гидродинамики: дис. ... канд. физ.-мат. наук./ М.М. Якупов. - Челябинск, 1999.

Кафедра «Уравнения математической физики»,

Южно-Уральский государственный университет zsophiya@mail.ru

Поступила в редакцию 21 августа 2008 г.

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