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

УДК 517.95

СПЕКТРАЛЬНЫЕ СВОЙСТВА РЕШЕНИЯ ЗАДАЧИ ТРИКОМИ-НЕЙМАНА ДЛЯ УРАВНЕНИЙ СМЕШАННОГО ТИПА И ИХ ПРИМЕНЕНИЯ

С.Л. Хасанова

Стерлитамакская государственная педагогическая академия им. Зайнаб Биишевой, ул. Николаева, 10, Стерлитамак, Башкортостан, Россия, e-mail: hasanovasl@rambler.ru

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

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

где А - комплексный параметр, в области Д, ограниченной кусочно-гладкой кривой Г, которая расположена в полуплоскости у > 0 с концевыми точками А(1, 0) и В(0,1),, а также характеристиками АС (х + у = 0) и СВ (х — у =1) уравнения (1) при у < 0.

Обозначим В+ = В П {у > 0}, В- = В П {у < 0}. В области В для уравнения (1) поставим следующую спектральную задачу.

Спектральная задача Трикоми - Неймана (ТЖд). Найти значения комплексного параметра А и соответствующие им функции и(х, у), удовлетворяющие условиям:

1. Введение

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

Lu = uxx + sgny ■ uyy + Лu = О,

(І)

u(x,y) Є C( D ) П C1(D U Г) П C2(B+ U B_),

(2)

Lu(x,y) = О, (x,y) є D+ U D—

(3)

(4)

(5)

u(x, y) = О, (x, y) є AC, где 7— - производная по нормали к границе Г области D+.

Ф.И. Франкль [1, 2] обнаружил важные приложения задачи ТА в трансзвуковой газодинамике. А.В. Бицадзе [3] исследовал задачу ТА для уравнения (1) при А = 0. Вострова Л.Е. [4] изучала задачу ТАд для уравнения (1) при А = -1. М.М. Смирнов [5, гл. II, §6] доказал корректность задачи Трикоми-Неймана для уравнения

В настоящей работе найдены собственные значения задачи ТАд в области Д специального вида и построена соответствующая система собственных функций. Найденная система собственных функций исследована на полноту в областях эллиптичности, гиперболичности и в целом смешанной области. Затем на основании системы собственных функций задачи ТАд построены в виде суммы ряда решение задачи ТА для уравнений смешанного типа с оператором Лаврентьева-Бицадзе. Ранее аналогичные исследования по задаче Трикоми, Геллерстедта были проведены в работах Моисеева Е.И. [6], Сабитова К.Б., Карамовой А.А., Кучкаровой А.Н. [7, 8].

Далее спектральная задача ТАд для уравнения (1) сведена к новой нелокальной спектральной задаче для оператора Лапласа. В случае, когда Д+ является сектором с центром в начале координат, методом разделения переменных, найдены собственные значения и соответствующие им собственные функции задачи ТАд. Исследован вопрос о полноте системы собственных функций в пространствах Ь2(Б+), Ь2(Б_) и Ь2(Б).

Предварительно в области Д_ для уравнения (1) построим решения краевой задачи Дарбу.

Задача Дарбу. Найти в области Д_ решение и(х, у) уравнения (1), удовлетворяющее условиям (5) и

8§п у ■ | у |т пхх + Пуу = 0, т > 0 .

2. Построение системы собственных функций задачи ТАд и исследование её полноты

иу(х, 0) = V(х), 0 < х < 1.

(6)

Имеет место следующая

Теорема 1. Если v(x) € С*(0,1) П 1а [0,1], то существует единственное решение задачи (1), (5) и (6), и оно определяется формулой

х+у

где Jo(-) — функция Бесселя, \/Л > 0 при Л > 0.

Доказательство теоремы 1 приведено в [9].

Полагая в формуле (7) у = 0 имеем

X

и(х, 0) = J uy(t, 0) J0 \f\(x — t) clt, 0 < х < 1. (8)

о

Таким образом, задача TN сведена к новой нелокальной эллиптической задаче на собственные значения в области D+: найти значения параметра Л и соответствующие им собственные функции u(x,y), удовлетворяющие условиям (2), (3), (4) и (8).

В общем случае, то есть когда кривая Г является произвольной, пока не удается найти решение указанной нелокальной задачи. Поэтому рассмотрим случай, когда область D+ является сектором с центром в точке A и радиусом r =1: 0 <^<^0 < п, 0 < r < 1.

В области D+ введем полярные координаты: x = r cos <^, у = r sin <^, 0 < ^ < <^0, 0 <

r < 1. В полярных координатах (r, <^), разделяя переменные u(x,y) = v(r, <^) = Л(г)Ф(<^), получим:

i?,,(r) + -i?,(r) +(Л-^-]i?(r) = 0, 0 < г < 1 , (9)

r \ r2 J

F(0) = 0 , F' (1) = 0 , (10)

Ф"(^)+ ^2Ф(^) = 0 , 0 < < ^о , (11)

ф'Ы = 0, (12)

X

1-1

Д(х)Ф(0) = Ф;(0) у Ь- Д(Ь)70 л/Л(х — Ь) ^, 0 < х < 1. (13)

о

Известно, что решением уравнения (9), удовлетворяющим первому условию из (10), является функция Бесселя

Я(г) = Jfl(^/Xr) , > 0 . (14)

Подставляя функцию (14) в равенство (13) и вычисляя интеграл по формуле из [10],

а

11

— Зк(с,а — г.г).1,,{г.г)(1.г = — Зк+1,(ас), а,Кеи > 0, Иек > —1,

] х и

о

что даёт нам второе граничное условие для определения функции Ф(^)

Ф'(0) — ^ Ф(0) = 0 . (15)

Решая краевую задачу (11), (12), (15), найдем

Фп(<^) = Cn(cos + sin ^„^) , (16)

где Cn = const = 0, n =1, 2, ■ ■ ■ ,

Цп = ~ (п - ^ ) , п = 1, 2,... . (17)

^ А 4/

Потребовав, чтобы функция (14) удовлетворяла второму условию из (10), имеем

V\j;jV\) = 0. (18)

Из теории бесселевых функций [11, с. 798] известно, что функция Бесселя \f\j' (z) при ^n > —1 имеет только вещественные нули. Тогда, обозначая через an,m m - й корень уравнения (18), получим собственные значения задачи TN :

Лп,т an,m , n, m 1, 2, " " " • (19)

На основании формул (14), (16), (19), найдем собственные функции задачи TNa в области

D+ :

un,m(x, у) vn,m(r, ^) cn,mJ/j,„ (an,mr) (cos ^п^ + sin ^п^) • (20)

Для построения собственных функций в области D- можно воспользоваться формулой (7), но из-за громоздкости такого подхода воспользуемся методом, предложенным в [12]. Для этого в области D- введем новые переменные

а = л/х2 - у2, в =-------—- .

x2 — у2

Тогда в координатах (а, 0) уравнение (1) принимает вид:

40(1 — 0Уи$$ 4 — 9^ ид сг Uuu сир А<т и = 0 .

Разделяя переменные и(а, 0) = Q(0)P(а), получим:

+ —Р (а) + Р(а) = 0 , 0 < а < 1 , (21)

0(1 — Q)Q (0) + ^ — Q (0) + p2Q(P) = 0 5 (22)

Решением уравнения (21) является функция

P(cr) = Jp(\f\(j) , Rep > 0 . (23)

Уравнение (22) является гипергергеометрическим уравнением [13, с. 69]. Его общее решение определяется формулой

д(в) = кі(і - в)р/2Б

1 - р 11 в

+

+,2(1_^р(|,і±^,1+Ят^

(24)

На основании известных формул [13, с. 110] равенству (24) придадим более простой

вид

д(в) = кі

х - У

Р/2

+ &2

X + у

р/2

чх + у/ \х — у

Тогда, в силу (23) и (25), находим семейство решений уравнения (1) в области О-

(25)

и(х,у) = ^(а)Р(в)

кі

х — У х + у

Р/2

+ &2

X + у х - У

Р/2'

Л

- :г/2)

(26)

где Кер ^ 0, и к2 - произвольные постоянные. Из формулы (20) вычислим:

тп,т(х) — ига,т(х; 0) — сп,т/ци (ап,тх) ) д

Уп,т{х) — Т; ^»г,т(Х) 0) — С/г,тР»гх J[іп (&'п,тх)

дУ

(27)

(28)

Если в формуле (26) положить р = рп, Л = а^т, к1 = 0, к2 = сп,т, то она определит решение задачи Коши для уравнения (1) в области О- с краевыми условиями (27) и (28). Следовательно, система собственных функций задачи ТЖд в области О- имеет вид

Пп

1(х,у)

х + у

-'п , т I / Ци

х — у/

Ци /2

Л

•^/\г,т{х2 — У2)

(29)

Таким образом, объединяя формулы (20) и (29), получим систему собственных функций задачи Т\ в области О

un,m(x, у)

( \/Ага,т(х2 + у2)) (С08ЦП<Р + , (ж, у) € О

(^г~) ^ (VЛ".т(я2 _ У2)^ > О^г/) є •

с

п,т

Теорема 2. Система собственных функций (30) задачи ТЛТд полна в Ь2(Д+).

□ Допустим, что в L2(D+) существует функция F(x, у) такая, что

J j F(x,y)un,m(x,y)dxdy = 0 (31)

D+

для всех n,m = 1, 2,... . Покажем, что F(x, у) = 0 почти всюду в D+. В интеграле (31) перейдем к полярной системе координат x = r cos р, у = r sin р. Тогда, с учётом (30), получим

1 £0 0 = о о

оо

1 £0

/(г, (p)J^n (л/A„,mr) (cos Цп(р + sinp„p)rdpdr

>/2 f(r,<p)Jnn (\Лsin (jj,nip + — j rdtpdr .

оо

Po,

Произведем замену ip = —0. Тогда, полагая f(r,ip) = f(r, ров/ж) = д(г,в), Хп = п— 3/4,

п

получим

1 £0

" " 7Г'

V2 /(г, р) JMlI (\/Ara,mr) sin + 0 rdipdr

оо

\/2<*Ро

1 п

п

оо

у (г, 0) JMlI (л/А„,тг) sin (^«0 + 0 геШг

Fn(r)Ji_ln л/Аn,mr) rdr = 0 ,

п

(32)

где

F„(r) = д(г, 0) sin (\г0 + 0 d0.

4, о

Из (32) имеем, что для функции Рп(г) все коэффициенты ряда Фурье-Бесселя равны нулю, поэтому из теоремы Юнга [11] следует, что Рп(г) = 0, (п = 1, 2, ...), если интеграл \/т\Еп(г)^1г существует и абсолютно сходится. В самом деле, из неравенства Коши-

Буняковского

1 П

\fr\Fn(r)\dr ^ I г dr

g(r, 0) sin^n0 + n/4)d0

оо

1/2

dr I ^

п

\

sin2(A„0 + -^)d0 •

\

1 П

g2(r, 0)d0dr

оо

1

о

п

1

п

о

= CЦF||l2(d+) < , C = const > 0,

получается, что имеет место соотношение

П

J g(r, Є) sin^ne + n/4)de = 0 (33)

о

для всех n = 1, 2, ■ ■ ■ при любом r Є (0,1). Из результатов [14] следует также, что система синусов ^іп(ЛпЄ + п/4)} образует базис в L2(0, п). Тогда система функций ^іп(ЛпЄ + п/4)} полна в L2(0, п). Поэтому из (33) получаем, что при каждом r множество тех Є, где g(r, Є) =

0, имеет меру нуль. В силу теоремы Фубини это означает, что g(r, Є) = 0 почти всюду в

D+. а

Теорема 3. Если р0 Є (0,п/2), то система собственных функций (30) задачи TN полна в L2(D-). Если р0 Є [п/2,п], то подсистема системы собственных функций(30) задачи TN\, начиная с номера n = 2, 3,... , полна в L2(D-).

□ Допустим, что существует функция F(x,y) Є L2(D-) такая, что

J j F (x, y)«n,m(x, y)dxdy = 0 (34)

D

для всех n,m = 1, 2,... . Покажем, что F (x,y) = 0 почти всюду в D-. Произведём в (34) замену переменных 2х = £ + n, 2у = £ — п Тогда область D- перейдет в область A = {(£, п)1 0 < £ < п < 1}, а интеграл (34) запишется в виде

J J f (£,n)vn,m(£,n)d£dn = 0 , (З5)

А

где f (£,п) = F(х,у), vn,m(£,n) = un,m(x,у). Учитывая (30), преобразуем интеграл (35)

i п

оо

/г /t\ Ми /2 _____

J /(£/>?) J Jftn (V>^£n)d£ ■

Полагая во внутреннем интеграле £ = пЬ и меняя порядок интегрирования, получим:

н1 н1

0 = I ^1п/2сИ J /('/?£, ■

оо

Затем, заменяя 1]\Д. = г, £ = з2, и меняя порядок интегрирования, за,питием

0= J^n (ry/Xn,m^ г dr s^n 1f(rs,r/s)ds.

i

i

Из последнего равенства имеем, что для функции

1

Рга(г) = J /(г5, г/з)зМп-Мз , 0 ^ Г ^ 1 , п € N ,

г

все коэффициенты ряда Фурье-Бесселя равны нулю. Поэтому из теоремы Юнга следует, что

1

J /(гв, г/з)зМп-1^з = 0

г

для всех п € N при каждом г € [0,1].

Рассмотрим систему функций {зМп-1}. По теореме Мюнца условие

ОО

11

> — = оо, — < т,1 < ЧП'2 < ■■■,

тк Р

необходимо и достаточно для полноты {хПГ=1 в Ьр[а, Ь], а > 0, р > 1. В нашем случае

при р = 2, — 1 необходимым и достаточным условием полноты системы функций

П

является условие — 1 > —1/2. Поскольку = —(/?. — 3/4), то система {вМп-1}о=1 полна в Ь2 при р0 € (0,п/2). Если же р0 € [п/2,п], то подсистема системы {5Мп-1}о=2 полна в Ь2. Тогда, в силу этой полноты, имеем, что при каждом г множество тех в, где /(гв,г/в) = 0, имеет меру нуль. В силу теоремы Фубини это означает, что /(гв,г/в) = 0 почти всюду в = {(в, г) : г < в < 1, 0 < г < 1}, и, стало быть, и в области О- . ■

Теорема 4. Система собственных функций (30) задачи ТЖд не полна в Ь2(О).

□ В области О рассмотрим функцию

(х,У) € °+,

F (x, у) =

F2(x,y), (x,y) Є D-

из L2(D) и интеграл

J F (x,y)u„)m(x,y)dxdy =

D

J J F1(x,y)ura;m(x,y)dxdy + J j F2(x, y)u„,m(x, y)dxdy = І1 + І2 • (36)

D+ D-

тэ • f (Л

d интеграле ?_!, переходя к полярным координатам ^г, — рJ , получим

1 7Г

*i = c„,m J J /і (г, ^ 61) JMii (гу/Хп'Гп ) sin ^А„0 + 0 гсШг

GG

\Z2ipo

П

Сп,т (Гл/Хп,т ) Гс1г /1 (г, ^ 61) 8т(Л„6> + ^/4)^

(37)

где Л„ = п-------; п = 1,2,... , /1 Гг, — 0^) = у). Интеграл г2 преобразуем к виду

4 V п /

1 1

*2 = С„,т J (гл/Хп'Гп^ ГС1Г J 8(*п~1/2(г8,г/8)(18, (38)

0 г

где /2(£,п) = ^2(ж,у). Теперь, подставляя (37) и (38) в (36), получим

1

— СП,т ^ ’1 !-1п \/Хп<щ ^ ^ X

0

1

Л ^ ~ 8т(Хпв + к/А)с1в + + [ 5М,1_1/2(Г5, Г/8)сЬ

X

\/2ро

П

(39)

Следуя [12], рассмотрим функции

г^& г^^+1

_ Рк Рк +1 Рк (Рк + 1)

кк (р)

/2(гв, г/в) = 1 — в ,

(40)

(41)

где кк(р) - биортогональная система относительно системы синусов 8т(ЛТС + п/4), п 1, 2,..., и она имеет вид [14]

П М«/2))‘/2

пс

(42)

Т=1

в

\ л — -1 \1 — Ш

I = 2_^ С1/2 С1/2(—1)

т=0

ВТ

1(1 — !)...(/ — п +1)

п!

Поскольку кк(р) равномерно ограничена по к [14], ряд (40) при любом г < 1 сходится равномерно. Подставляя функции (40), (41) в (39), получим, что существует функция Р(х,у) € Ь2(О) и Р(х,у) = 0 в О такая, что интеграл 3 = 0. Теорема 4 доказана. ■

1

Литература

1. Франкль Ф.И. К теории сопел Лаваля // Изв. АН СССР, Сер.: Математика. - 1945. -9,5. - С.387-422.

2. Франкль Ф.И. К теории уравнения уД^ + = 0 // Изв. РАН СССР, Сер.: Математика. - 1946. - 10,2. - С.135-166.

3. Бицадзе А.В. О некоторых задачах для уравнений смешанного типа // Докл. АН СССР. - 1950. - 70,4. - С.561-564.

4. Вострова Л.Е. Смешанная краевая задача для уравнения ихх + sgn у • иуу — и = 0 // Ученые записки Куйб. гос. пед. ин-та. - 1958. - 21. - С.219-267.

5. Смирнов М.М. Уравнения смешанного типа / М.М. Смирнов. - М.: Наука, 1970. -296 с.

6. Моисеев Е.И. Решение задачи Трикоми в специальных областях // Дифференц. уравнения. - 1992. - 26,1. - С.93-103.

7. Сабитов К.Б., Карамова А.А. Спектральные свойства решений задачи Трикоми для уравнений смешанного типа с двумя линиями изменения типа и их применения // Изв. АН, сер. Матем. - 2001. - 65,4. - С. 133-150.

8. Сабитов К.Б., Кучкарова А.Н. Спектральные свойства решения задачи Геллерстед-та для уравнений смешанного типа и их применение // Сибирский мат. журнал. -2001. - 42,5. - С. 1147-1161.

9. Сабитов К.Б. Построение в явном виде решений задач Дарбу для телеграфного уравнения и их применение при обращении интегральных уравнений I // Дифференц. уравнения. - 1990. - 26,6. - С.1023-1032.

10. Прудников А.П., Брычков Ю.А., Маричев О.И. Интегралы и ряды. Специальные функции / А.П. Прудников, Ю.А. Брычков, О.И. Маричев. - М.: Наука, 1983. -752 с.

11. Ватсон Г.Н. Теория бесселевых функций I / Г.Н. Ватсон. - М.: ИЛ, 1949. - 728 с.

12. Сабитов К.Б., Тихомиров В.В. О построении собственных значений и функций одной газодинамической задачи Франкля // Матем. моделирование. - 1990. - 2,10. - С.100-109.

13. Бейтмен Г., Эрдейи А. Высшие трансцендентные функции / Г. Бейтмен, А. Эрдейи. -М.: Наука, 1965. - Т.2. - 294 с.

14. Моисеев Е.И. О базисности одной системы синусов // Дифференц. уравнения. -1987. - 23,1. - C.177-179.

SPECTRAL PROPERTIES OF THE TRICOMI-NEUMANN PROBLEM SOLUTION OF THE MIXED TYPE EQUATION AND THEIR APPLICATIONS

S.L. Hasanova Zainab Biishev Stelitamak State Pedagogical Academy,

Nokolayeva St., 10, Stelitamak, Bashkortostan, Russia, e-mail: hasanovasl@rambler.ru

Abstract. The spectral problem for the differential equation of mixed type in the special domain is studied. Its eigenfunctions are found. It is proved that the eigenfunction system is complete in the elliptic domain and the hyperbolic one. It is also fulfilled in the whole domain.

Key words: differential equation of mixed type, characteristics, eigenvalues, eigenfunctions, eigenseries.