Научная статья на тему 'О фредгольмовой первой краевой задачи для уравнения смешанного типа четного порядка'

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

CC BY
44
9
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
УРАВНЕНИЕ СМЕШАННОГО ТИПА / ФРЕДГОЛЬМОВА РАЗРЕШИМОСТЬ / ОБОБЩЕННОЕ РЕШЕНИЕ / НЕРАВЕНСТВО / ОЦЕНКА / ОПЕРАТОР / EQUATION OF MIXED TYPE / FREDHOLM SOLVABILITY OF GENERALIZED SOLUTION / INEQUALITY / EVALUATION / OPERATOR

Аннотация научной статьи по математике, автор научной работы — Егоров Иван Егорович

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

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

About Fredholm solvability of the first boundary value problem for equations of mixed type of even order

In this paper, we consider the first boundary value problem for an equation of mixed type of even order in a cylindrical domain. Under certain conditions on the coefficients of the equation proved its dense solvability, uniqueness of the generalized solutions and Fredholm solvability of the first boundary value problem in a weighted Sobolev space.

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

УДК 517.956

О ФРЕДГОЛЬМОВОЙ РАЗРЕШИМОСТИ

ПЕРВОЙ КРАЕВОЙ ЗАДАЧИ ДЛЯ УРАВНЕНИЯ СМЕШАННОГО ТИПА ЧЕТНОГО ПОРЯДКА*)

И, Е, Егоров

В работах [1-3] исследованы обобщенная и фредгольмова разрешимость краевых задач для уравнения смешанного типа второго порядка. Известно, что первые важные результаты по спектральной теории уравнений смешанного типа второго порядка получены в работах Т. Ш. Кальменова, Е. И. Моисеева, С. М. Пономарева и других математиков [4-6].

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

Пусть Л — ограниченная область в М" с кусочно-гладкой границей

5, Бт = 5 х (О, Т), д = П х (О, Т), = П х {г} для 0 < г < Т.

В цилиндрической области д рассмотрим уравнение смешанного типа четного порядка

Работа выполнена при поддержке Минобрнауки России в рамках государственного задания на выполнение НИР за 2012-2014 гг. (проект №4402).

(1)

где

Ми = (-1 )т ^ Ба( аа/3( х)Б13 и) + а0(х)и,

а\,\Р\= т

© 2013 Егоров И. Е.

П ди па д"и I I ^

1 1=1

в и ш — целые числа.

Для простоты будем считать, что коэффициенты уравнения (1) бесконечно дифференцируемы в^и выполнены условия

^ = аРа, ]г ааР> , е е мп, V > о.

\а\,\Р\= т

Положим

Р± = {(х,0) : (-1)3-1к2,(х,0) ^ О, х е П},

Р± = {(х,Т) : (-1)3-1к2,(х,Т) ^ О, х е П}.

Через п = (щ,..., п„) обозначим вектор внутренней нормали к

Первая краевая задача. Найти решение уравнения (1) в области Я такое, что

д1и

д'пг

= 0, г = 0, то — 1, (2)

Бт

В\и\г=а = 0, г = 0, в — 1, = О,

Г0

Щи и=т= о, 3 = 0^2, В^и^- = 0. (3)

Г гр

В анизотропном пространстве Соболева Жт'8(Я) введем скалярное произведение

(и, у)т,я = У [ ОаиБаь + Б? иБ?«] ¿Я, и,у е Ж2т'3(Я),

< \а\^т

причем ||и||т,8 = (и, ит,з и (и,^о,о = (и,у), = (и, и) для функций и, V из Ь2(Я).

Пусть Сь — класс функций из Я), удовлетворяющих кра-

евым условиям (2), (3), Жт'3(Я — замыкание Сь то норме || • ||т,3.

Пусть Сь* — класс функций у(х, из т'2з(удовлетворяющих краевым условиям (2) и

^^ = 0,3=0,3-2,

Dst-1v\-p- = 0, БГЧ4=т = 0, Багу\= 0.

Введем пространство ф) кж замыкание Сь* по норме

|| • Цт,^- Обозначим через Ж-т'-Я(Я) (Ж-т'-Я(Я)) пространство линейных непрерывных функционалов над гильбертовым пространством Я) (Жт'в(Я))) причем Ь2(Я) отождествляется с его сопряженным пространством.

Определение 1. Функция и(х, ¿) е Ж2т'Я(Я) называется обобщенным решением первой краевой задачи (1)-(3), если выполнено интегральное тождество

г(и,у) = ! |(-1 Ук2(-1)8-1 к- - вкьБ^БЯ

Я

Я 8-2

+ Б иБ V + ^2 иБау + ¿Я = (/, V) (4)

¿=1,7=0 |а||в| = т )

для любой функции V е Я), где (•, •) — двойственное соотноше-

ние между Ж2-т'-Я(Я) и Жт'Ч.Я), / е Ж2-т'-Я(Я). В силу теоремы Рисса имеем

а(и^) = (Ли, V), и е Ж2т'в(Я, V е Ж2т'в(Я,

Где Л — линейный ограниченный оператор из Жт'Я(Я) в Ш2 т' 8(Я)-При этом справедливо равенство

(Ли^) = (и,Л*ю), и е Жт'ЧЯ, V е Ж2т'Я(Я, (5)

а тождество (4) эквивалентно операторному уравнению Ли = /. Пусть С{Ь, т) — функция Грина оператора 1у = ( —1)Я-1 у2 Я-1 + ус краевыми условиями

у« = 0, г = М = ^(О) = 0.

Обозначим через Нт8(Я) пополнение Жт'Я(Я) но норме

У V2 + Щ (У г)Ба V ¿т I + I У С{г, тV ¿т

Я И =т \0 / \0

Лемма 1. Пусть коэффициент ао(х) > 0 достаточно большой, выполнено условие

(-1)8-1[2А;2в_1 - к2^} > <5 > 0, (х,г) е Я,

и имеет место

(-1 Г-кг»(х, 0) <0, (-1 )3-кг»(х,Т) >0. Тогда существует конставта С > 0 такая, что справедливо неравенство

для всех функций V е Жт'3(Я).

Доказательство. Для любой функции v е ж2т'3

(Я) положим

T

u(X,t) = JG(t,THX,T)*T.

Тогда нетрудно видеть, что функция u(x,t) принадлежит Wm'3(Q), lu = v и имеет место

DaDf U G L2(Q), И < m, /г = 0, 2s — 1; Df^u £ L2{Q).

Интегрируя по частям, получаем равенство

<u,A*v) = f

Q

1

-(-1)3-1(- ^sí)(D?3-1u)'

+ aae DauDe u + agu2

| a|, leí— m 2t—2

Dt3—u ^ x,^Dtfcu

k=0

u У^ вк(x,t)Dkku

k

1

]T aaPDaD3t-uDeD\-\

QT H>|e|=m

a>o(D3 1 u)" dx, (6)

где а]~,Рк — гладкие функции в <5. С другой стороны, на основании теорем вложения имеем

\\Diuf < е1М1т,2я-1 + Се\\и\\\ £ > 0, э = 0, 25-2.

Тогда в силу неравенств Гординга и Коши с малым параметром из (6) следует оценка

{и,л*^о) >смта3-1, С >о,

откуда с учетом очевидных неравенств

||и||т'8 < СЦиЦт'2я-1, 11V| ^^^ ^ < ОЦиЦт^я-г , О > О, получаем утверждение леммы 1.

Из леммы 1 непосредственно следует

/

Ж> т' Я(Я)- Тогда операторное уравнение Ли = / плотно разрешимо

Пусть Ь, т) — функция Грина оператора 1*у = ( —1 + у

с краевыми условиями

уМ = 0, г = 0^2, У(°-1)(Т) = 0. Обозначим через Нтя(Я) пополнение Ж^'^Я) п0 норме

1#„

/ (/С* &т)Баи<1т

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

Я I

0*(Ь, т)и <т

Лемма 2. Пусть коэффициент ао(х) > 0 достаточно большой, выполнено условие

(-1)*-1 [2*2,-1 + (1 - 4 > <5 > 0, (х,г) €= д,

и имеет место

( —1 Г-1кгя(х,0) >0, ( —1 )8-1кгя(х,Т) <0.

О>

О||и|^ < Я

для всех функций и е Ж^'^Я)-

Доказательство. Для любой функции и(х,Ь) из Я) поло-

т

при этом V € Я, = и и имеет место

н к = 0,25-1; в^у е ь2(я).

Аналогично доказательству леммы 1 получаем равенство

Г) V

+ аав+ + Щ?8-1V ^ аЦх^Щ

1а\'1Р1=т к=0

2я~2 1 1 Г г

•« 53 & (х, *)£>*Л ¿д + - j [ 53 а^В^В^В

к=1 ^ п„ Н'|в|=т

+ 1V)2 ¿х. (7)

Из равенства (7), выбирая ао(х) > 0 достаточно большим, имеем

{Au,v) > с, С>0. Отсюда нетрудно получить справедливость оценки леммы 2.

Из леммы 2 непосредственно получаем

Теорема 2. Пусть выполнены условия леммы 2. Тогда краевая задача (1)-(3) может иметь не более одного обобщенного решения из пространства Ж^'^Я)-

Далее рассмотрим А как оператор из Я) в Я) с об-

ластью определения В(А) = Ж^'^Я)- При этом В(А*) С Ж^'^Я), а равенство (5) и априорная оценка леммы 1 справедливы для функций V из В(А*).

Теорема 3. Пусть ао(х) выполнены условия

(-1у-1[2к2.^1 - к2в1] > <5 > 0, (х,*) €= Я;

Ь(х,г)= 0, г = 1, 2в — 2; (-1)а— к2я(х,0) <0, (-1 )а— к2я(х,Т) >0.

Тогда для первого положительного собственного значения оператора Л* имеет место оценка

6

Mi >

2cnT'

c0 >0.

Доказательство. Пусть для некоторой функции V е Б(Л* справедливо равенство

о = (и, Л*V — ^), и е Я, ц>о.

В данном равенстве положим

T

= j G$(t,T)v dr,

где G0(t, t) — функция Грина оператора lay = ( —1 )s 1 y2s 1 с краевыми условиями

=0, г = 0^2; у(-1)(0) = 0. Интегрируя по частям, с учетом условий теоремы имеем

- (—1 г1

о =

Q

-{2k2 — k2 st) V — M'uv

аав ВаВ1-1 иБв Б1-1 и + (^{Б1-1 и)2~\<х. (8) пт Н'|в|=т Справедлива оценка

к и| < ОаТ |М|2, О0 = тах |С0(Ь,т) Теперь из равенства (8) в силу условий теоремы 3 получим нера-

венство

(^-с0Т>)|М|2.

Отсюда следует, что уравнение Л*v — ^ = 0 имеет тривиальное решение при ц < т^т- Поэтому для цх справедливо неравенство ;:г

О гр 2С(/ '

Теорема 4. Ограниченное в Hm s (Q) множество компактно

в W

—m, — s

Q

Доказательство. Из ограниченности множества M в Hmt(Q) следует, что множество

J G*(t,r)udr, u G M

ограничено в пространстве W"'2t—1 (Q). Пусть um — произвольная по-M

т

vm = J G*(t, r)um dr. о

Тогда в силу известных теорем вложения из {vm} можно извлечь фундаментальную в W2's 1 (Q) последовательность {v"m}, для которой {Dst —v"m(x, 0)} также фундаментальна в £2(0). Теперь утверждение теоремы следует из оценки

l|u" - u'fc||w2-m.-.(Q < C [И-v" - Dt-v'k || + ||v" - vkII

+ \\Dat-1 v"(x,0) - Dt-v'k(x,0))], C5>0.

Теорема 4 доказана.

Аналогично доказывается, что вложение Hm t (Q) в W—m'—t (Q) вполне непрерывно.

Лемма 3. Оператор А допускает замыкание А.

Доказательство. Пусть ш прпнадлежпт W2m's (Q) и uk ^ 0 в норме Hm,t(Q), Auk ^ w в пространстве W—m'—t(Q) при k ^ то Заметим, что uk ^ 0 в пространстве ^(Q). Для любой функции v G Cl* имеем

(Auk , v) = a(uk ,v) = (uk ,L*v) ^ 0

при k ^ то. Следовательно, (w, v) = 0, v G CL*. Из плотности CL* в W"' s (Q) получаем, что w = 0, т. е. оператор A допускает замыкание.

Пусть выполнены условия лемм 1 и 2. Тогда из равенства Д(А) = W2_m'_s((3) следует, что уравнение Аи = / везде разрешимо и (А)-1 — ограниченный оператор из W—m'—t (Q) в Hmt (Q)

Рассмотрим операторное уравнение

Ли — Хи = /, / е Ж-т'-8{Я). (9)

Теорема 5. Пусть выполнены условия ( —1 )8-1[2к28-1 — к2в4] > 6 > О, ( —1 )8-1[2кг8-1 + (1 —4з)к2ж] > 6 > О и имеет место

к2 8(х, 0) = 0, к2 8(х,Т) = 0, х еП.

Тогда уравнение (9) фредгольмово в пространстве Нт8(0.

Доказательство. Сначала найдется достаточно большое число Ао > 0 такое, что для Ь+ Ад выполняются все условия лемм 1 и 2. При этом оператор (Л + Ао)-1 ограничен. Теперь фредгольмовость уравнения (9) следует из того, что оно эквивалентно операторному уравнению

и=(Х+Хо)(А+Х0)-1и+(А+Х0)-1/ в пространстве Я) с вполне непрерывным оператором.

ЛИТЕРАТУРА

1. Михайлов В. П. Об обобщенной задаче Трикоми // Тр. МИ АН. 1968. Т. 103. С. 142-161.

2. Каратопраклиев Г. Д. О некоторых краевых задачах для уравнения смешанного типа в многомерных областях // Докл. Волг. акад. наук. 1970. Т. 23, № 10. С.1183-1186.

3. Диденко В. П. Об обобщенной разрешимости задачи Трикоми // Укр. мат. журн. 1973. Т. 25, № 1. С. 14-19.

4. Моисеев Е. И. Уравнения смешанного типа со спектральным параметром. М.: Изд-во Моск. ун-та, 1988.

5. Кузьмин А. Г. Неклассические уравнения смешанного типа и их приложения к газодинамике. Л.: Изд-во Ленингр. ун-та, 1990.

6. Салахитдинов М. С., Уринов А. К. К спектральной теории уравнений смешанного типа. Ташкент: Миггйог >()"/.. 2010.

7. Егоров И. Е. О фредгольмовой разрешимости одной краевой задачи для уравнения смешанного типа // Мат. заметки ЯГУ. 2011. Т. 18, вып. 1. С. 55-64.

8. Терехов А. Н. Краевая задача для уравнения смешанного типа // Применение методов функционального анализа к задачам математической физики и вычислительной математики. Новосибирск, 1979. С. 128-136.

г. Якутск

6 августа 2013 г.

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