Научная статья на тему 'Уравнения соболевского типа второго порядка с относительно диссипативным пучком операторов'

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

CC BY
91
41
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
УРАВНЕНИЕ СОБОЛЕВСКОГО ТИПА / ОТНОСИТЕЛЬНАЯ ДИССИПАТИВНОСТЬ ПУЧКА ОПЕРАТОРОВ / АККРЕТИВНЫЕ ОПЕРАТОРЫ / ФАЗОВОЕ ПРОСТРАНСТВО / SOBOLEV-TYPE EQUATION / RELATIVE DISSIPATIVITY OF THE OPERATOR PENCIL / ACCRETIVE OPERATORS / PHASE SPACE

Аннотация научной статьи по математике, автор научной работы — Замышляева Алёна Александровна, Цыпленкова Ольга Николаева

Рассмотрена задача Коши для уравнения соболевского типа второго порядка. Введено определение относительной диссипативности пучка операторов, обобщено понятие диссипативности и относительной диссипативности оператора. Установлена связь с результатами теории аккретивных операторов. Согласно идеологии Келдыша, исходная задача редуцируется к задаче Коши для уравнения соболевского типа первого порядка. Приводятся результаты для исследуемой задачи.

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

The Sobolev-type equations of the second order with the relatively dissipative operator pencils

Of concern is the Cauchy problem for the Sobolev-type equation of the second order. We introduce the definition of relatively dissipative operator pencils, generalize the notion of dissipativity and relative dissipativity of operators. The connection with the theory of accretive operators is established. According to the Keldysh ideology, the original problem is reduced to the Cauchy problem for the Sobolev-type equation of the first order and the results for the investigated problem are obtained.

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

УДК 517.91/.93

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

А. А. Замышляева, О. Н. Цыпленкова

Южно-Уральский государственный университет (национальный исследовательский университет),

454080, Россия, Челябинск, пр. Ленина, 76.

E-mails: alzama@mail .ru, Tsyplenkova_01ga@mail. ru

Рассмотрена задача Коши для уравнения соболевского типа второго порядка. Введено определение относительной диссипативности пучка операторов, обобщено понятие диссипативности и относительной диссипативности оператора. Установлена связь с результатами теории аккретивных операторов. Согласно идеологии Келдыша, исходная задача редуцируется к задаче Коши для. уравнения соболевского типа первого порядка. Приводятся результаты для. исследуемой задачи.

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

Введение. Пусть V и Q — гильбертовы пространства со скалярными произведениями (• , •) и [•, •] соответственно, оператор А € C(V]Q), а операторы В1, Во € Cl(V] G) (линейны, замкнуты, плотно определены в V).

Рассмотрим задачу Коши

v(0) = vo, v(0) = vi (1)

для операторно-дифференциального уравнения

Av = B\v + Bov. (2)

Данная задача рассматривалась многими авторами, в частности в [1-3]. R. Showalter исследовал задачу (1), (2) в случае непрерывной обратимости оператора А, когда оператор (—А~1В\) непрерывен и аккретивен, а оператор

(—А~1Во) регулярно m-аккретивен. В работе A. Favini и A. Yagi наклады-

ваются условия самосопряжённости и неотрицательности на оператор А, самосопряжённости и положительности на оператор Во и диссипативности на оператор В\. Нас интересует разрешимость задачи (1), (2) в случае необратимости оператора А.

Неполное уравнение соболевского типа

Av = Bv, (3)

где операторы А, В € £(V, <7), причём оператор В (Д р)-ограничен, было впервые изучено в [4]. Единственное решение v € С00^; V) задачи Коши (1) для уравнения (3) представимо в виде

v(t) = Vfvi + VqV0,

Алёна Александровна Замышляева (к.ф.-м.н., доц.), докторант, каф. уравнений математической физики. Ольга Николаева Цыпленкова, аспирант, каф. уравнений математической физики.

где пропагаторы имеют следующий вид:

VI = / !11~к (ц2А -В)~1 Ае^сі/і, к = 0,1.

2і7Т% Jу

Здесь контур 7 С С ограничивает область, содержащую А-спектр оператора Б, а начальные значения Уи Є іт = іт У0°, к = 0,1, где іт V® = іт У0° — подпространство в V.

Полное уравнение соболевского типа второго порядка (2) было изучено ранее [1] в случае относительно полиномиальной ограниченности пучка операторов В о и В\ (в дальнейшем пучок будем обозначать через В). Здесь построено аналитическое семейство М, ІУ-функций и фазовое пространство данного уравнения.

Согласно идеологии М. В. Келдыша, в данной работе уравнение (2) редуцируется к эквивалентному ему уравнению соболевского типа первого порядка. Наш подход заключается в построении фазового пространства такого уравнения.

Работа содержит 4 пункта. В первом даны основные определения и результаты теории уравнений соболевского типа, необходимые в дальнейших исследованиях. Во втором пункте приводятся результаты, касающиеся Ь-дис-сипативных операторов из [5], и вводится понятие А-диссипативности пучка операторов В. Третий пункт содержит некоторые результаты теории аккре-тивных операторов [3]. Здесь же доказывается, что результаты данной работы являются более общими по сравнению с [3]. Основной результат — теорема о существовании и единственности решения задачи (1), (2) — приведён в четвёртом пункте работы.

1. Уравнения соболевского типа с относительно радиальными операторами. Пусть И и £ — гильбертовы пространства, оператор Ь £ £( 11;^), а оператор М : ёот М линеен и замкнут, плотно определён.

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

рЬ(М) = {ц Є С : (цЬ - М)-1 Є ОДИ)}

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

Определение 1.2. Оператор-функции (/лЬ — М)~1, И^(М) = (/лЬ — М)~1Ь, Ь^М) = Ь(р,Ь — М)~1 с областью определения рь(М) называются соответственно резольвентой, правой резольвентой, левой резольвентой оператора М относительно оператора Ь (короче, Ь-резольвентой, правой Ь-резольвен-той, левой Ь -резольвентой оператора М).

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

(i) За Є М Уц > а /л Є рь{М)\

(ii) ЭК Є М+ Уц > а Уп Є N

тах{||(ДІ(М))'“||£(и),||(ЬІ-(М))“||£(л} «

Замечание 1.1. Без потери общности в определении 1.3 можно положить а = 0. И в дальнейшем будем считать, что а = 0.

Утверждение 1.1. Пусть оператор Ь непрерывно обратим. Тогда оператор Ь~1М Є С1(іі) (или МЬ~1) радиален точно тогда, когда оператор М (Ь, 0) -радиален.

Определение 1.4. Множество V С V называется фазовым пространством уравнения

Ьй = Ми, (4)

если

(i) любое решение и = и(і) уравнения (4) лежит в V, т. е. -и(і) Є V Ш Є [0,Т], Т > 0;

(ii) для любого ио из некоторого плотного в V множества существует единственное решение задачи

и{ 0) = ио (5)

для уравнения (4).

Теорема 1.1 [6]. Пусть оператор М является (Ь,0)-радиальным. Тогда И1 = гт(ц,Ь — М) есть фазовое пространство уравнения (4).

2. і-дисси нативные операторы. Пусть И и 5 — гильбертовы пространства, оператор Ь Є С{И;3"), оператор М Є С1(іі;$). Рассмотрим задачу Коши (5) для операторно-дифференциального уравнения (4).

Определение 2.1. Оператор М будем называть диссипативным относительно оператора Ь (короче, Ь-диссипативным) по отношению к скалярным произведениям (• , • ) в И и [ • , • ] в 3, если

(i) Уи Є ёот М IIе[Ьи, Ми] ^ 0;

(ii) существует положительное число а Є рь(М)',

(iii) Ми Є ёот М Ле((аЬ — М)~1Ьи, (аЬ — М)~1Ми) ^ 0.

Замечание 2.1. Если условие (і) определения 2.1 записать в эквивалентном виде

V/ Є £ IIе[Ь(аЬ - М)~ V, М(аЬ - М)-1/] < 0, то условия (і) и (ііі) примут симметричный вид.

Лемма 2.1. Пусть выполняется условие (і) определения 2.1, тогда условие (іі) эквивалентно следующему:

(кег Ь П кег М = {0}) А (гт(аЬ — М) = 3).

Теорема 2.1. Если оператор М Ь-диссипативен, тогда он (Ь, 0)-радиален.

Пусть V и 5 — гильбертовы пространства со скалярными произведениями ( • , • ) и [ • , • ] соответственно, операторы А Є С(У]0), а операторы

в^воєску^д).

Рассмотрим задачу Коши (1) для операторно-дифференциального уравнения (2).

Определение 2.2. Операторный пучок В будем называть диссипативным относительно оператора А (короче, А-диссипативным) по отношению к скалярным произведениям (•, ')в Уи[', ■] в§, если

(I) \/г>1,г>2 € с1отБ(с1отБ = ёот В\ Р| ёот Во) 11е((г>1, г>г)) + [Ау2,ВоУ\ + + Б^г] ^ 0;

(II) существует положительное число а € рА(В);

(ш) \/г»1,г»2 € ёотБ ^е{КаВоУ\ + аКаАу2, Ка(аА — В\ + аВо)У\ + Ка{А + + аВ\ + Во)и2) ^ 0, где = (а2А — аБ>1 — -Во)-1 — относительная 71-резольвента пучка В.

Лемма 2.2. Пусть выполнено условие (1) определения 2.2, тогда условие (11) эквивалентно следующему:

(кег А П кег В\ П кег Во = {0}) А (гт(а2А — аВ\ — Во) = Я).

Доказательство. Покажем, что из (і) и тривиальности пересечения ядер кег А, кегБі и кег Во следует инъективность оператора а2А — аВ\ — Во, а > 0. Пусть а2А = аВ\ + Во и возьмём г>2 = оси, Vі = и. Тогда

І1е((«, аи) + [Ааи, Вой + Віаи]) = 11е(а:(«, и) + а[Аи, а2Аи]) =

= 11е(а:(«, и) + а3[Аи, Аи]) = Ке(ск||гі||2 + а3||Аи||2) ^ 0.

Отсюда следует, что и Є (кег А П кегБі П кег Бо), то есть и = 0. □

Сведём задачу (1), (2) к задаче (4), (5), где и(Ь) = > операторы

Ь = ^ ^ є £(іі-,$), М = є С1(Я;#), пространства И = V х V,

д = Ухд.

Лемма 2.3. Пучок операторов В является А-диссипативным точно тогда, когда оператор М является Ь-диссипативным.

Доказательство. Докажем необходимость.

(i) Докажем выполнение условия (і) в определении 2.2:

Н.Є((«1, «2)У + [Л»2. -В»»1 + Ві«2]е) = Не ( (_”!2) , (В(|Ві ^ В№)) =

= Ке ((» а) (ї) ■ {I в) (£)) = Ке[і“-Ма| < °-

(ii) Пусть существует положительное число /л Є рь(М), тогда существует (цЬ — М)~1 Є £(3,И), при этом

-МГ' = (» (о а)-(1 І))

-1

0 /і А) \Во В і -1

(-Б0 /лА-Вг) »Ві Бо) 1{^ Во 1 /х)

(рА - В{)(ц2А - цВг - Во)-1 (р12А - 11ВХ - Во)~х

Во^А-цВг-ВоУ1 ц(ц2А- цВг-Во)-1

Отсюда следует существование (/л2А — цВ\ — -Во)-1 € £(<?; V), то есть

ц € рА(В), где рА(В) = {ц € С : (р2А - цВх - Б0)-1 € £(<?, V)}.

(111) Докажем выполнение пункта (ш) в определении 2.2:

Ке({КаВоУ1 +аКаАу2, Ка{аА — В\ + аВо)у\ + Еа{А + аВ\ +Во)у2)) =

(аА~В1 А\ (УА к (в° аА

-ле1ла1 Во аА [у2 ’Па[аВ0 В0 + аВх

аА — В\ 1\ т (у\ \ Т) (аА — В\ I

о

= Re(E«( Бо \L IM ,Ra , д

а —I \ 1 т (vi\ ( а —I

— Re I I _^о аА-Вх) Ь\у2)Л-Во аА-Вх

= Ке((«(і д ) - ( £ «.)) (і ) (!!!) ,(а£-м)_1м« ] =

,0 А) \В0 Bjj VO A)\vb

= Re((aL - M)_1Lu, (aL - M)~1Mu) 4 0.

Доказательство достаточности проводится аналогично. □

3. Аккретивные операторы. Пусть II — гильбертово пространство, D — подпространство в Н и пусть оператор А : D —>■ Н линеен.

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

Определение 3.1. Неограниченный оператор А : D —>■ Н называется ак-кретивным, если

(Аи, и)н ^ 0, х Є D, и т-аккретивным, если он аккретивен и Im(A + I) = Н.

Утверждение 3.1. Следующие условия эквивалентны:

(i) оператор А : D —>■ Н аккретивен и существует ц ^ 0, что Im(ці + + А) = Н]

(ii) оператор А — т-аккретивен]

(iii) оператор А аккретивен с областью определения D, плотной в Н, и Іт(А/ + А) = Н для всех А > 0.

Определение 3.2. Неограниченный оператор А : D —>■ Н называется регулярно т-аккретивным, если для всех є > 0 Im(A + єі) = Н.

Пусть V = G = Н.

Замечание 3.1. Пусть существует оператор А-1 Є C(Q;V). Если оператор (—А~1В\) непрерывен и аккретивен, а оператор (—А~1Во) регулярно т-аккретивен, то пучок В является А-диссипативным.

Доказательство. Без ограничения общности положим А = I.

(i) Re((v1,v2) + [v2,B0vi + Biv2\) = Re(((v1,v2) + [v2,B0vi] + [v2,Biv2]) = = Re(({vi,v2) + [B0v i,v2\ + [v2,B iv2\).

Рассмотрим скалярное произведение в il = Н х Н:

(u,v) я = (~B0Ui,Vi) + (u2,V2).

ЗО

Оно эквивалентно естественному скалярному произведению в И, так как оператор (—Во) регулярно т-аккретивный.

Операторы L = (^ а) Є М = (д, Ві) Є Cl(ti]$), про-

странства И = НхН,$ = НхН. Причём

(.Lu, Mu)я = (u, Mu)я = ^ , (^BqUi 2 5lUa) )я =

= (~B0Ui,U2) + (u2, B0Ui + B1U2) = (B\U2,U2) ^ 0.

(ii) Рассмотрим уравнение (2). Положим w(t) = e~atv(t). Выражая v(t) и подставляя в (2), получаем

w(t) + (2 al — Bi)w(t) + (a21 — aB\ — Bo)w(t) = 0.

Оператор B\ является аккретивным, т. e. (—B\u,u)h ^ 0.

Рассмотрим скалярное произведение в il = Н х Н:

(u,,v) я = (~B0Ui,V 1) + (u2,V2).

Оно эквивалентно естественному скалярному произведению в И, так как оператор —Во регулярно т-аккретивный.

-и2

Определим оператор А следующим образом: А и = ( _^ и —Ви, Iі

Ми\,и2 Є <іотБ(<іотБ = сІотБі Р|ёотБо). Это оператор, который появляется, когда мы запишем уравнение (2) в виде системы:

г>(£) — и(і) = 0,

■й(і) — Бі-и(і) — Бог» (і) = 0;

в таком случае функция й(ї) = ПРИ ^ > 0 является решением

уравнения й(ї) + Ай(ї) = 0.

Пусть / = ('

= /, то есть

Пусть / = КМ Є попытаемся найти и = такой, что аи + Аи =

(а2/ - аВ\ - В0)и,1 = (а- Б^Д + /2, и2 = аи\ — /1.

Билинейная форма, определённая в Н формулой

а(и, у) = а2(и, у)н + ск(—В\и, у)н + (—Вой, у)н,

непрерывна и коэрцитивна. Требуемый результат следует из теоремы Лакса—Мильграма: для каждого к € Н существует единственное и € Н такое, что

а(и,у) = (к,у)н,

а это равносильно (а21 — аВ\ — Во)и = Н. Следовательно, (а21 — аВ\ — - Во) = Н.

(ііі) Так как А = I, то и Ь = I. Имеем ((аЬ — М) 1Ьи, (аЬ — М) 1Ми)ц = = ((а/ - М)~Ч, (а/ - М)~1Мй)я; (а/ - М)~1М = -(а/ - М)~1(а1 -— М — а1) = -1 + а(а1-М)~1 = -(аі-М)(аІ-М)~1 + а(аІ-М)~1 = = (-аі + М + аІ)(аІ - М)~1 = М(а/ - М)"1.

Обозначив (аІ — М)~1и = г;, получаем ((аі — М)~1и, (аІ — М)~1Мй)ц = = ((аі — М)~1и,М(аІ — М)~1й)ц = {у, Му)я ^ 0 в силу (і). □

4. Задача Коши для уравнения соболевского типа второго порядка с относительно диссипативным пучком операторов.

Определение 4.1. Решением задачи (1), (2) будем называть функцию г>(£) Є С2 ([О, Т], V) П С1([0, Т], ёот В і) П С ([О, Т], ёот Бо), удовлетворяющую уравнению (2) и условиям (1).

Теорема 4.1. Если пучок операторов В является А-диссипативным, то для любых [Уо,У\) Є іт(цЬ — М)~1Ь задача (1), (2) имеет единственное решение у(Ь).

Доказательство. Сведём задачу (1), (2) к задаче (4), (5), где и(і) =

30, пространства И = V х V, $ = V х д.

В силу леммы 2.3 пучок операторов В является А-диссипативным точно тогда, когда оператор М является Ь-диссипативным. Из Ь-диссипативности оператора М следует его (Ь, 0)-радпальность.

По теореме 1.1 И1 = іт (цЬ — М)~1Ь является фазовым пространством уравнения (4). В силу определения 1.4 для любых и® Є И1 задача Коши для уравнения (4) имеет единственное решение и(і). Значит задача (1), (2)

является первой компонентой вектора u(t).ni

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Замышляева А. А. Фазовые пространства одного класса линейных уравнений соболевского типа второго порядка// Вычисл. технол., 2003. Т. 8, №4. С. 45-54. [Zamyshlyaeva A. A. Phase spaces of some class of linear second-order Sobolev-type equations// Vychisl. Tekhnol., 2003. Vol. 8, no. 4. Pp. 45-54].

2. Favini A., Yagi A. Degenerate differential equations is Banach spase / Pure and Applied Mathematics, Marcel Dekker. Vol. 215. New York, NY: Marcel Dekker, 1999. 312 pp.

3. Showalter R. E. Monotone operators in Banach space and nonlinear partial differential equations / Mathematical Surveys and Monographs. Vol. 49. Providence, RI: American Mathematical Society, 1997. 278 pp.

4. Sviridyuk G. A., Fedorov V. E. Linear Sobolev type equations and degenerate semigroups of operators / Inverse and Ill-Posed Problems Series. Vol. viii. Utrecht: VSP. 216 pp.

5. Федоров В. E. Сжимающие полугруппы уравнений соболевского типа и относительно диссипативные операторы// Мат. замет. ЯГУ, 2001. Т. 8, №2. С. 75-83. [Fedorov V. Е. Contracting semigroups of Sobolev-type equations and relatively dissipative operators // Mai. Zamet. YaGU, 2001. Vol. 8, no. 2. Pp. 75-83].

6. Федоров В. E. Обобщение теоремы Хилле-Иосиды на случай вырожденных полугрупп в локально выпуклых пространствах// Сиб. матем. журн., 2005. Т. 46, №2. С. 426-448; англ. пер.: Fedorov V. Е. A generalization of the Hille-Yosida Theorem to the case

также однозначно разрешима при любых

of degenerate semigroups in locally convex spaces// Siberian Math. J., 2005. Vol. 46, no. 2. Pp. 333-350.

Поступила в редакцию 19/X/2011; в окончательном варианте — 12/11/2012.

MSC: 34G10; 47N20

THE SOBOLEV-TYPE EQUATIONS OF THE SECOND ORDER WITH THE RELATIVELY DISSIPATIVE OPERATOR PENCILS

A. A. Zamyshlyaeva, O.N. Tsyplenkova

South Ural State University (National Research University),

76, Lenin av., Chelyabinsk, 454080, Russia.

E-mails: alzama@mail.ru, Tsyplenkova_01ga@mail.ru

Of concern is the Cauchy problem for the Sobolev-type equation of the second order. We introduce the definition of relatively dissipative operator pencils, generalize the notion of dissipativity and relative dissipativity of operators. The connection with the theory of accretive operators is established. According to the Keldysh ideology, the original problem is reduced to the Cauchy problem for the Sobolev-type equation of the first order and the results for the investigated problem are obtained.

Key words: Sobolev-type equation, relative dissipativity of the operator pencil, accretive operators, phase space.

Original article submitted 19/X/2011; revision submitted 12/11/2012.

Alyona A. Zamyshlyaeva (Ph. D. (Phys. & Math.)), Doctoral Candidate, Dept, of Mathematical Physics Equations. 01’ga N. Tsyplenkova, Postgraduate Student, Dept, of Mathematical Physics Equations.

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