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

www.volsu.ru

DOI: https://doi.org/10.15688/mpcm.jvolsu.2019.3.3

УДК 517.956 ББК 22.161

Дата поступления статьи: 13.03.2019 Дата принятия статьи: 05.07.2019

СЛ

о

см <

CJ

m

3

га

4

ч <

©

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

Доктор физико-математических наук, профессор кафедры математики и математического моделирования,

Казахский национальный педагогический университет им. Абая aldash51@mail.ru

https://orcid.org/0000-0002-8223-6900

ул. Толе би, 86, 0500012 г. Алматы, Казахстан

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

Известно также, что колебания упругих мембран в пространстве по принципу Гамильтона можно моделировать многомерными гиперболическими уравнениями. Изучение процесса распространения тепла в среде, заполненной массой, приводит к многомерным параболическим уравнениям.

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

В данной работе приводится многомерная область, в которой однозначно разрешима задача Дирихле для гиперболо-параболического уравнения и получен явный вид его классического решения.

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

Серик Амурзаевич Алдашев

Введение

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

Следовательно, анализ электромагнитных полей в сложных средах (например, если проводимость среды меняется) сводится к многомерному гиперболо-параболическому уравнению [10].

Известно, также что колебания упругих мембран в прстранстве моделируются уравнениями в частных производных.

Если прогиб мембраны считать функцией и(х,Ь), х = (х1;...,хт,), т > 2, то по принципу Гамильтона приходим к многомерному гиперболическому уравнению. Изучение процесса распространения тепла в среде, заполненной массой приводит к многомерному параболическому уравнению.

Следовательно, исследуя математическое моделирование процесса распространения тепла в колеблющихся упругих мембранах также приходим к многомерному гиперболо-параболическому уравнению [4].

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

Теория краевых задач для гиперболо-параболических уравнений на плоскости хорошо изучена [9]. Многомерные аналоги этих задач в обобщенных пространствах исследованы в [5; 7].

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

Естественно возникает вопрос: имеются ли другие области, где задача Дирихле является корректной?

В данной работе найдена многомерная область в которой однозначно разрешима задача Дирихле для модельного гиперболо-параболического уравнения и приводится явный вид его классического решения.

1. Постановка задачи и результат

Пусть Па — область евклидова пространства Ет+1 точек (жь ..., жт,£), ограниченная при £ > 0 конической поверхностью

К : г = ф(г), ф(0) = ф(1) = 0, ф(г) е С1([0,1]) П С2((0,1)), |ф'(г)| < 1,

а при £ < 0 цилиндром Га = {(ж,£) : |ж| = 1}, и плоскостью £ = а < 0, где г = |ж| — длина вектора х = (ж1;..., жт).

Обозначим через П+ и П- части области Па, лежащие в полупространствах £ > 0 и £ < 0; аа — нижнее основание области П-.

Пусть далее Б — общая часть границ областей П+ и П- представляющая множество {г = 0, 0 < |ж| < 1} в Ет.

В области рассмотрим многомерное гиперболо-параболическое уравнение

0 = i Ахи - utt, t> 0,

\ Ахм - ut,t< 0, (])

где Дх — оператор Лапласа по переменным х1,...,хт, т > 2

В дальнейшем нам удобно перейти от декартовых координат х\,... ,хт, £ к сферическим г, 01,..., 9т_1, г, г > 0, 0 < 01 < 2п, 0 < 0* < п, г = 2,3,...,т — 1, 0 =

= (01) ...) 0т-1)- _

Задача 1. Найти решение уравнения (1) в области при Ь = 0 из класса С(Па) П П С2^+ и Q_), удовлетворяющее краевым условиям

и

= Ф1(г, 0), (2)

к

и

Га

Mt, 0), и = ф2(г, 0). (3)

Пусть {У^т(0)} — система линейно независимых сферических функций порядка п, 1 < к < кп, (т — 2)\п\кп = (п + т — 3)\(2п + т — 2), (в), I = 0,1,... — пространства Соболева.

Имеют место утверждения (см. [8]). Лемма 1. Пусть /(г, 0) е (в). Если I > т — 1, то ряд

оо кп

f (г, 0) = ЕЕ fn (r)Ynkm(0), (4)

п=0 к=1

а также ряды, полученные из него дифференцированием порядка р < I — т +1, сходятся абсолютно и равномерно, при этом

¡п (г) = !! (г, 0)гп;,ттн,

н

где Н — единичная сфера в Ет.

Лемма 2. Для того, чтобы /(г, 0) е Ш\(8), необходимо и достаточно, чтобы коэффициенты ряда (4) удовлетворяли неравенствам

<х кп

!/о(^)1 < С1, ЕЕп* \fn(г)\2 < ^ С1, с2 = const.

п=1 к=1

Через срП(г), ср^п(г), фП(¿) обозначим коэффициенты разложения ряда (4) функций ф1(г, 0), ф2(г, 0), ф(£, 0) соответственно.

Пусть р1(г, 0) = г3ф1(г, 0), ф2(г, 0) = г3ф*(г, 0), ф*(г, 0), ф2(г, 0) е Ш2(Б), ф(г, 0) е е ^2(Га), 1> 3т + 4.

Тогда справедлива теорема.

Теорема 1. Задача 1 однозначно разрешима.

а

а

2. Доказательство теоремы 1

В сферических координатах уравнение (1) в области Па имеет вид

т — 11

игг Н--иг--2 Ьи — = 0, (5)

т-1 1 д ( ■ д \

Ь = —^-—— -ТГ--[ згпт-3-1 е?—- , а1 = 1, а< = (зтд1...зтд^ 1)2, 1> 1.

д-¡зтт--1 е^деД Зд0Д У1 ' Уз 1 1 3 1 ' 3

Известно (см. [8]), что спектр оператора Ь состоит из собственных чисел Лга = = п(п + т — 2), п = 0,1,..., каждому из которых соответствует кп ортонормированных собственных функций Укт(е).

Так как искомое решение задачи 1 в области П - принадлежит классу С(Па) П П С2(П-), то его можно искать в виде

оо кп

и(г, е, = (^ 1)¥п,ш(е), (6)

га=0 к=1

где икп(г, ¿) — функции, подлежащие определению.

Подставляя (6) в (5) и используя ортогональность сферических функций У^т(е)

(см. [8]), будем иметь

-.к , т 1 „- к -к Лп-к

и^^у Н- ^гат ^пЬ 2 ^га 0, ^ 1, П 0, 1, ... , (7) при этом краевое условие (3), с учетом леммы 1, соответственно запишется в виде

<(1, *)= 4^), <( г, а) = Ф 2п(г), к = 1^, п = 0,1,... (8)

В (7), (8), произведя замену укп(г, ¿) = йк(г, ¿) — "ф^^) получим

—к | ^ 1 — к —к Лп -к / |\ /п\

1)пгг +г ^ Упг ,у.2 ^п ^ га(^, , (9)

^(1,¿) = 0, укп(т, а) = Фк2п(г), к = 1, кп, п = 0,1,..., (10)

7кп(г, *) = ^ + ф2п(г) = фКг) — а).

Произведя замену переменной 1к(г, ¿) = г( 2 (г, ¿) задачу (9), (10) приведем к следующей задаче

Ьук = Укпгг — Укп1 + Л^2УГ1 = /га (r, ^ (11)

га 4

Решение задачи (11), (12) ищем в виде

ук(1, *) = 0, ьк(г, а) = ф*п(г), (12)

((т — 1)(3 — т) — 4Лга) №*) = г^7кп(г,г), Ф2п(г) =

^ (^ I) =<(^ ¿)+12га (^ I),

где у±п(г,1) — решение задачи

Нп = Iп (г,г), (13)

укы(1,1) = 0, укы(г, а) = 0; (14)

а у2кп(г,~к) — решение задачи

Ьукп = 0, (15)

2п

ь2п(1,1) = 0, ь2п(г, а) = ф2п(г). (16)

Решение задач (13),(14) и (15),(16) рассмотрим в виде

у2 (г,г) = ^2 п8 (г)т8(г), (17)

8=1

при этом пусть

ТО ТО

12 М) = £ а8п №8(г), ф 2п(г) = Е Ь*Мг). (18)

8=1 8=1

Подставляя (17) в (13), (14), с учетом (18), получим

П8ГГ + П8 + цП8 = 0, 0 <г< 1, (19)

П8(1) = 0, | Н8(0) | < то, (20)

Т* + цТ8(г) = —а8,п&), а <1< 0, (21)

Та(а) = 0. (22) Ограниченным решением задачи (19), (20) является (см. [6])

П8 (г) = (23)

где V = п+(Т_2), ццп — положительные нули функции Бесселя первого рода 3У(г),

Ц Ц8,п.

Решением задачи (21), (22) является

а

Т8,п^) = (ехр (—ц^)) ^ (ехр ц2^) <1^. (24)

г

Подставляя (23) в (22) получим

ТО ТО

1 (г^) = Еа8,п(^МЦз,пг), г~1 фкп(г) = ЕЪ*,пМц*,пг), 0 <г< 1. (25)

8=1 8=1

Ряды (25) являются разложениями в ряды Фурье — Бесселя (см. [3]), если

1

а8,п(1) = 2[^+1(ц8,п)]_2 [ /Цкп(26)

о

1

Ь8>п = 2[Ъ+1(^,п)]-2 ! у/1ФЗ^Д)(27)

0

где ц8>га, 5=1, 2,... — положительные нули функций Бесселя Зу(г), расположенные в порядке возрастания их величины.

Из (17), (23), (24) получим решение задачи (13), (14)

те "

1]Сга(Г, ¿) = Е ^ ((еХР ( — ^-1га*)) а8,п(1) (ехр Ц^) ¿¿£,)Л(Цв,га0, (28)

где а8>га(Ь) определяются из (26).

Далее, подставляя (17) в (15), (16), с учетом (18), будем иметь уравнение

Т^ + Ц*гаТ = 0, а<К 0, Т(а) = Ь8,п, решением которого является

Т8,га(0 = Ь8}га ехр ц2,га(а — Ь). (29)

Из (23), (29) получим

те

12га(Г, ¿) = Е Ь8,гау/Г (ехр Ц^а — ¿)) Зу (ц^гаг) , (30)

8=1

где Ъ8,п находятся из (27).

Следовательно, из (6) вытекает, что единственным решением задачи (1), (3) в области П- является функция

^ЭО ^т ОО

и(г, е, г) = w ига(г, г)гкт(е) = V УШЪ + 1кп'

(г, е, I) = ЕЕ^(г, тпкт(е) = ££[<(*) +1га (г, №кт(е) =

га=0 к=1 га=0 к=1

те кп

ЕЕ[^) +г^^га (^ жуе) =

га=0 к=1 те кп

ЕЕ {<(*) + ^ К(г, ¿)+^га(г, *)] } ^(е) (31)

га=0 к=1

где укп(г, ¿), 12га(г, определяются из (28) и (30). Учитывая формулы (см. [3; 10])

2 З'у (г) = Зу-1(г) — Зу+1(г),

А(*) = - П. — П) + °(, у > О,

а также оценки [8]

' дч

| кга | < стт-2

ук (е)

'П:1П\ >

д е?

< с2п™ 1+я, ] = 1,т — 1, д = 0,1,

а также леммы, ограничения на заданные функции ф(£, 0), ф2(г, 0), как в [6], можно доказать, что полученное решение (31) принадлежит классу С (О _) П С2(О_). Далее, из (28), (30), (31) при £ ^ —0 имеем

оо к„

и(г, 0, 0) = т(г, 0) = ЕЕ <(r)Ynkm(0), (32)

п=0 к = 1

где

<(r)= ^kn(0) + J2 г 2

то

(2-т)

8=1

as,n(Q (exp ц^Д) dk + bs,n(exp ц^а)

J„+ (m—2) (^s,nr).

Из (26)-(30),а также из лемм и граничных условий вытекает, что

т(г, 0) = г3т*(г, 0), т*(г, 0) Е Wl2(S), 1> ^ +

Таким образом, учитывая краевые условия (2) и (32), приходим в области к задаче Дирихле для многомерного волнового уравнения

Ахи — иы = 0 (33)

с данными

и

4i(r, 0) и = т(г, 0), (34)

К

которое имеет единственное решение ([2]).

Так как в ([2]) получен явный вид решения задачи (33), (34), то можно записать явное представление решения и для задачи 1.

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

СПИСОК ЛИТЕРАТУРЫ

1. Алдашев, С. А. Корректность задачи Дирихле для одного класса многомерных гипербо-параболических уравнений / С. А. Алдашев // Укр. матем. Вестник. — 2013. — Т. 10, № 2. — C. 147-157.

2. Алдашев, С. А. Корректность задачи Дирихле и Пуанкаре в многомерной области для волнового уравнения / С. А. Алдашев // Укр. матем. журнал. — 2014. — Vol. 66, № 10. — P. 1414-1419.

3. Бейтмен, Г. Высшие трансцендентные функции / Г. Бейтмен, А. Эрдейи. — М. : Наука, 1974. — Т. 2. — 297 с.

4. Бицадзе, А. В. Некоторые классы уравнений в частных производных / А. В. Бицад-зе. — М. : Наука, 1981. — 448 с.

5. Врагов, В. Н. Краевые задачи для неклассических уравнений математической физики / В. Н. Врагов. — Новосибирск : НГУ, 1983. — 84 с.

6. Камке, Э. Справочник по обыкновенным дифференциальным уравнениям / Э. Камке. — М. : Наука, 1965. — 703 с.

7. Каратопраклиев, Г. Д. Краевые задачи для уравнения смешанного типа в многомерных областях / Г. Д. Каратопраклиев // Частные дифференциальные уравнения. — Warsaw, 1983. — Т. 10. — C. 261-269.

а

8. Михлин, С. Г. Многомерные сингулярные интегралы и интегральные уравнения / С. Г. Михлин. — М. : Физматгиз, 1962. — 254 с.

9. Нахушев, А. М. Задача со смещением для уравнения в частных производных / А. М. Нахушев. — М. : Наука, 2006. — 287 с.

10. Тихонов, А. Н. Уравнения математической физики / А. Н. Тихонов, А. А. Самарский. — М. : Наука, 1966. — 724 с.

REFERENCES

1. Aldashev S.A. Korrektnost zadachi Dirikhle dlya odnogo klassa mnogomernykh giperbo-parabolicheskikh uravneniy [The Correctness of the Dirichlet Problem for a Class of Multidimensional Hyperbolic-Parabolic Equations]. Ukr. matem. Vestnik [Ukr. Math Bulletin], 2013, vol. 10, no. 2, pp. 147-157.

2. Aldashev S.A. Корректность задачи Дирихле и Пуанкаре в многомерной области для волнового уравнения. Укр. матем. журнал, 2014, vol. 66, no. 10, pp. 1414-1419.

3. Bateman G., Erdelyi A. Vysshie transtsendentnye funktsii [Higher Transcendental Functions]. Moscow, Nauka Publ., 1974, vol. 2. 297 p.

4. Bitsadze A.V. Nekotorye klassy uravneniy v chastnykh proizvodnykh [Some Classes of Partial Differential Equations]. Moscow, Nauka Publ., 1981. 448 p.

5. Vragov V.N. Kraevye zadachi dlya neklassicheskikh uravneniy matematicheskoy fiziki [Boundary Value Problems for Non-Classical Equations of Mathematical Physics]. Novosibirsk, NGU Publ., 1983. 84 p.

6. Kamke E. Spravochnik po obyknovennym differentsialnym uravneniyam [Reference Book on Ordinary Differential Equations]. Moscow, Nauka Publ., 1965. 703 p.

7. Karatoprakliev G.D. Kraevye zadachi dlya uravneniya smeshannogo tipa v mnogomernykh oblastyakh [Boundary Value Problems for the Mixed Type Equation in Multidimensional Domains]. Chastnye differentsialnye uravneniya [Partial Differential Equations] Warsaw, 1983, vol. 10, pp. 261-269.

8. Mikhlin S.G. Mnogomernye singulyarnye integraly i integralnye uravneniya [Multidimensional Singular Integrals and Integral Equations]. Moscow, Fizmatgiz Publ., 1962. 254 p.

9. Nakhushev A.M. Zadacha so smeshcheniem dlya uravneniya v chastnykh proizvodnykh [A Problem with an Offset for the Partial Differential Equation]. Moscow, Nauka Publ., 2006. 287 p.

10. Tikhonov A.N., Samarskiy A.A. Uravneniya matematicheskoy fiziki [Equations of Mathematical Physics]. Moscow, Nauka Publ., 1966. 724 p.

WELL-POSEDNESS OF THE DIRICHLET PROBLEM IN A MULTIDIMENSIONAL DOMAIN FOR A HYPERBOLIC-PARABOLIC EQUATION

Serik Aymurzaevich Aldashev

Doctor of Physical and Mathematical Sciences, Professor, Department of Mathematics and Mathematical Modeling, Abay Kazakh National Pedagogical University aldash51@mail.ru

https://orcid.org/0000-0002-8223-6900

Tole bi St., 86, 0500012 Almaty, Republic of Kazakhstan

Abstract. It is known that in the mathematical modeling of electromagnetic fields in space, the nature of the electromagnetic process is determined by the properties of the medium. If the medium is nonconducting, then we obtain multidimensional hyperbolic equations. If the medium has a large conductivity, then we get a multidimensional parabolic equation. Consequently, the analysis of electromagnetic fields in complex media (for example, if the conductivity of the medium changes) reduces to a multidimensional hyperbolic-parabolic equation.

It is also known that the vibrations of elastic membranes in space by the Hamiltonian principle can be modeled by multidimensional hyperbolic equations. The study of the process of heat propagation in a medium filled with mass leads to multidimensional parabolic equations.

Consequently, by investigating the mathematical modeling of the process of heat propagation in oscillating elastic membranes, we also arrive at multidimensional hyperbolic-parabolic equations. When studying these applications, it becomes necessary of obtaining an explicit representation of the solutions of the investigated problems.

In this paper we give a multidimensional domain where the Dirichlet problem for a hyperbolic-parabolic equation is uniquely solvable and an explicit form of its classical solution is obtained.

Key words: multidimensional domain, Dirichlet problem, unique solvability, spherical functions, Bessel function.