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

Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2018. Т. 22, № 2. С. 225-235 ISSN: 2310-7081 (online), 1991-8615 (print) d http://doi.org/10.14498/vsgtu1585

УДК 517.955.2:517.956

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

С. А. Алдашев

Казахский национальный педагогический университет им. Абая, Казахстан, 480100, Алматы, ул. Толе Би, 86.

Аннотация

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

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

Получение: 5 декабря 2017 г. / Исправление: 8 апреля 2018 г. / Принятие: 11 июня 2018 г. / Публикация онлайн: 1 июля 2018 г.

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

Научная статья

3 ©® Контент публикуется на условиях лицензии Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/deed.ru) Образец для цитирования

Алдашев С. А. Критерий однозначной разрешимости спектральной задачи Дирихле для одного класса многомерных гиперболо-параболических уравнений // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2018. Т. 22, № 2. С. 225-235. doi: 10.14498/vsgtu1585. Сведения об авторе

Серик Аймурзаевич Алдашев А http://orcid.org/0000-0002-8223-6900 доктор физико-математических наук, профессор; заведующий кафедрой; каф. фундаментальной и прикладной математики; e-mail: aldash51@mail.ru

1. Постановка задачи и основной результат. Краевые задачи для гиперболо-параболических уравнений на плоскости хорошо изучены [1]. По мнению автора, их многомерные аналоги [2-4] исследованы недостаточно полно.

Пусть Пар — цилиндрическая область евклидова пространства Ет+\ точек (х\,... ,хт,^), ограниченная цилиндром Г = {(х,Ь) : \х\ = 1}, плоскостями £ = а> 0 и £ = Р < 0, где \х\ — длина вектора х = (х\,... ,хт).

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

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

В области Пар рассмотрим многомерные смешанные гиперболо-параболические уравнения со спектральным действительным параметром 7:

А.хи - иы + Е а%(х, 1)иХ1 + ъ(х, + с(х, г)и, г> 0,

7и = { Га1 (1)

Ахи - щ + 52 йг(х,г)щн + е(х,г)и, г< 0,

г=1

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

В качестве многомерной спектральной задачи Дирихле рассмотрим следующую задачу.

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

и\ =0, и\Г =0, (2)

«к =0, и\ = 0. (3)

Для удобства перейдем от декартовых координат х1,..., хт, £ к сферическим г,в1,..., вт-1, г, г ^ 0, 0 < 91 < 2ж, 0 < вг < ж, г = 2, 3,...,т - 1, в = {01^. ^ вт-1).

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

Через $п(г,1), п(г,{), е^1(г,^), ¿^(г^), ркп обозначим коэффициенты разложения рядов по сферическим функциям Укт(в) соответственно функций сЦг, в, г)р, р, е(г, 9, г)р, й(г, в, г)р, р(в), г = 1,2, ...,т, причем р(в) е С ~(я), Н — единичная сфера в Ет.

Пусть йг(х,г), Ь(х,ь), с(х,Ь) е (П а) С С(Па), йг(х,í), е(х,Ь) е (П р), г = 1,2,...,т, I ^ т + 1, е(х, г) - 7 ^ 0, У(х, г) е Пр.

Теорема 1. Справедливы следующие утверждения.

1. Если 7 ^ то задача Б имеет только тривиальное (нулевое)

: -А'2

решение.

2. При 7 > —ц.2 п задача D имеет только тривиальное решение тогда и только тогда, когда

sin а^ + ^2,п = 0, s = 1, 2,...,

где уs,п — нули функций Бесселя первого рода Jn+(m-2)/2(z).

Отметим, что эта теорема при a,i(x,t) = b(x,t) = c(x,t) = di(x,t) = = e(x, t) = 0, i = 1, 2,... ,n, сформулирована в [5].

2. Разрешимость задачи D. В сферических координатах уравнение (1) в области Q^ имеет вид

т — i i _ v-^ i , л \

L1u = urr +--ur--^°и — ut + + ev, ", = 7u, (4)

m — 1 1

jdu — Ut +

г=1

где

m— 1

_ 1 д / . m—j—i„ д \

ó = — = (jj sin™--1 e3 Щ lsin 3 Щ)

gi = 1, (jj = (sin6i ••• sindj-i)2, j> 1.

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

Искомое решение задачи (1), (3) в области Qp будем искать в виде ряда

те кп

u(r,e,t) = ^^ ukn(r,t)Ykm(e), (5)

п=0к=1

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

Подставив (5) в (4), умножив полученное выражение на р(9) = 0 и проинтегрировав по единичной сфере Н для й^, получим [4]

1 т

J„-,1 , (т — 1 Л i V^ л1

1 — 1 1 — 1 (^ 1 1 \ Л j1 А — 1 ~1 — 1 1—1

P0u0rr — P0u0t + ^ ~ Р0 + U°r + e°U° — +

i=1

ex кп m

Шк_к к - к í ^ 1 к \ Л jk \ -к PnUnrГ — PnUnt + ^ ~ Рп + / J ^inj ипг + п=1к=1 г=1

к т

к Хп^ + — ndn)} Un — = (6)

=1

еп ,\п ^2

А л д а ш е в С. А.

Теперь рассмотрим бесконечную систему дифференциальных уравнений:

1 — 1 1 — 1 ^^ 1 1 — 1 1 — 1

Р0и0гг - Р<1и0Н + I Р0и0г = 1Р0и0, (7)

к-к к-к ^ 1 к-к к-к

1 т

= ЧРой\ - ¿¡ои0г + , п = 1, к = 1, 2,...

^ г= 1

к-к к-к ^ 1 к-к к-к Рп^'пгг Рп^'пЬ + ~ Рп^'пг ^2 Рп^'п

1 кп-1 , т т

1Рп^п - 1 ^ \ ^ 1^га- 1 г + &П-1 + 2 - (п - 1)^п-1)

к=1 г= 1 г=1

ип

к = 1, 2,...кп, п = 2, 3,.... (9)

Суммируя уравнения (8) от 1 до к1, а уравнения (9) — от 1 до кп, а затем складывая полученные выражения вместе с (7), приходим к уравнению (6).

Отсюда следует, что если система функций {и1^} , к — 1, 2,..., кп, ^ — = 0,1,..., — решение системы уравнений (7)-(9), то она является и решением уравнения (6).

Нетрудно заметить, что каждое уравнение системы (7)-(9) можно представить в виде

и;

^ 1 —к ^п —к —к ¿к I .\ /-. \

пгг - ипЬ + ~ ипг - - = !п(г, Ч, (10)

где (г,1) определяются из предыдущих уравнений этой системы, причем ¡¿(г, Ь) = 0. Далее из краевого условия (3) в силу (5) будем иметь

и^(г,Р)=0, й*(1,г) = 0, к = 1,2,.. .кп, п = 0,1,.... (11)

Произведя в (10), (11) замену и^г^) = г 2 ик(г,1), получим задачу

Ьип = ипгг — ип£ — ип — 7ип = /п (Г, I), (12)

ик(г,Р) = 0, ик(1,Ь) = 0, к = 1,2,...,кп,п = 0,1,..., (13)

где

К = ^ - - т) - К, Й Ы) = Г ^ Д (Г,,)).

Решение задачи (12), (13) будем искать в виде

те

(г,г) = £ адвд, (14)

к

1

к

ип

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

те

/п= <п№*(г). (15)

8=1

Подставляя (14) в (12), (13) и учитывая (15), получим

К8ГГ + ^ Яз + (» - 1)Я8 = 0, 0 <г< 1, (16)

кз(1)=0, 1^(0)1 < то, (17)

Т8г + ¿Г8(г) = - ак8,п{Ъ), ¡3<К 0, (18)

Тз(й = 0, (19)

где V = 1 +

Ограниченным решением задачи (16), (17) является функция [7, с. 401, формула (1а)]

_2

Яз(г) = у/гЗу (/л8,пГ), и = п + . (20)

Решением задачи (18), (19) является функция [7, с. 35, п. 4.3]

гР

Подставляя (20) в (15), будем иметь

ГР

т8>п(г) = (еМ-Ч - "з^КеМ-У + )№• (21)

те

^1 ¡п Ы) = £ а1п(1).Ь (»8,пг), 0 <г< 1. (22)

=1

Ряд (22) — разложение в ряд Фурье—Бесселя [8], если

1 Г1

<п(*) = т^-,-(»8,П№, (23)

' У1,+ 1{Ц8,П)\2 ,)0

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

Из (20), (21) получим решение задачи (12), (13):

и,п

(г, I ) = ^ ^Т8 (г),]и (Ц8,пг), (24)

8=1

где а8,п(Ь) находятся из (23). Следовательно, сначала решив задачу (7), (11) (п = 0), а затем задачу (8), (11) (п = 1) и т. д., найдем последовательно все и^(г, ^ из (24), к = 1, 2,...,кп,п = 0,1,.... Итак, в области О р имеет место равенство

/ р(9)(Ь1 = 0. (25)

■Ы

Пусть f (г,в, г) = К(г)р(в)Т (г), причем Я(г) е Уо, Уо плотно в Ь2((0,1)); р(&) е С™(Н) плотно в ¿2(Н), а Т(^ е У, У1 плотно в Ь2(((3,0)). Тогда /(г, в, í ) е У, У = Уо ®Н ® У1 плотно в ) [9]. Отсюда и из (25) следует

f f(г, в, t)(L\ — 7)udQ^ = 0

jQa

Liu = 7u V(r,9, t) G ftp. Таким образом, решением задачи (1), (3) в области является функция

х кп х

u( г,в, t) = r^Ts,n(t)Jn+ (^s,nr)Ynkm(e), (26)

п=0к=1п=0

где Ts,n(t) определяются из (21).

Из (23), (21), (24) следует, что as,n(t) = T8tTl(t) =0 и ukn(г, t) = 0, s = = 1, 2,... ,к = 1, 2,...,кп,п = 0,1,....

В свою очередь, из (26) получим, что u(г,в, t) =0 в Qp. Отсюда при t ^ —0 получим

u(г, в, 0) = 0. (27)

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

m

Axu — utt + ai(x, t)uXi + b(x, t)ut + c(x, t)u, = 7u (28)

i=i

c условиями

и\яига иаа =0. (29)

В работе [10] доказана справедливость теоремы 1 для задачи (28), (29). Следовательно, разрешимость задачи Б установлена.

3. Единственность решения задачи Ю. Сначала рассмотрим задачу (1), (3) в области и докажем единственность ее решения. Для этого сначала построим решение первой краевой задачи для уравнения

m

L*v = Axv — vt — diVXi +dv = 7V (4*)

i=i

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

v\s = т(г, 6)= fk(r)Ykm(e), v\ =0, (30)

где

( x, ) = —

m

Л

'tXi

i=i

и

тк(г) € С, С — множество функций т(г) из класса С ([0,1\) ПС1 ((0,1)) . Множество С плотно всюду в Ь2 ((0,1)) [9].

Решение задачи (4*), (30) будем искать в виде (5), где функции Ук(г, 1) будут определены ниже. Тогда, аналогично п. 2, функции Ук(г, 1) удовлетворяют системе уравнений (7)-(9), где ё,кп, йкп заменены на — <1кп, -(1кп, а ёк на ¿кп, г = 1,2,... ,т, к = 1,2,...,кп,п = 0,1,....

Далее в силу (5) из краевых условий (30) получим

ук (г, 0) = тк(г), Ук (1, г) = 0, к = 1, 2,... ,кп, п = 0,1,.... (31)

Как ранее замечено, каждое уравнение системы (7)-(9) представимо в виде (10). Задачу (10), (31) сведем к следующей:

Ьук = укгг - укг + ^ук - 1укп = ¡к(г, {), (32)

ук (г, 0) = тк (г), укп (1, г)=0, к = 1,2,... ,кп, п = 0,1,..., (33)

» (га — 1) 7 7 (га —1) 7

Ук (Г, 1) = Г (Г, 1), тЦ (г) = Г Ткп (г).

Решение задачи (32), (33) будем искать в виде

ук(г, 1)=Ук1п(Г, 1) + Ук2п(г, I), где Укп(г, 1) — решение задачи для (32) с условиями

Укп(г, 0) = 0, Укп(1,1) = 0, (34)

а У^п(.г, — решение задачи для уравнения

Ьукп = 0 (35)

с условиями

у1П(Г, 0)= тЦ(г), Укп(1,1)=0. (36)

Как показано в [4], решениями задач (32), (34) и (35), (36) являются, соответственно, функции

ук

ы(Ъ t) = ^ ^{еМ-1 - ^) х 8=1

Х ^ а.8,п(0(еХ-РЬ + Р28,п№^п+(т-2)/2(Р8,пГ),

те

у2п( Г, ^ = ^ Т8^Г (ехр(-7 - V■28,n)t)Jn+(m-2)/2(l^■8,nr),

8=1

где

Т~8 = 2['^п+(т-2)/2(1^8,п)] I -\Д,Тк (0'^п+(т-2)/2(1^8,п0^1;.

о

Таким образом, решение задачи(4*), (30) построено в виде ряда

те кп

у( Г ,9,1) = ^Е г^ (укп(г, 1)+укп(г, тпкт(д).

п=0 к= 1

При этом оно принадлежит классу С(0р) П С2 (0^) [4].

Из определения сопряженных операторов Ь\, Ь\ [11] имеем

ьЬ\и — иЬ*у = —уР (и) + иР (у) — иу((,

где

т т

Р (и) = Еи. ,хг), ( = СОя(М±, ¿) — Е^ , Хг) ,

г=1 г=1

а N^ — внутренняя нормаль к границе д0@. Отсюда по формуле Грина получим

т(г, в)и(г,в, = 0. (37)

Js

Поскольку линейная оболочка системы функций (г^(г)Укт(9)} плотна в Ь2(Б) [11], из (37) заключаем, что и(г, в, 0) = 0 У(г, в) е в. Стало быть, по принципу экстремума для уравнений (4) [12] и = 0 в .

В области 0а получаем задачу (28), (29), для которой имеет место теорема 1 [10]. Теорема 1 доказана полностью.

Конкурирующие интересы. Конкурирующих интересов не имею. Авторский вклад и ответственность. Я несу полную ответственность за предоставление окончательной версии рукописи в печать. Окончательная версия рукописи мною одобрена.

Финансирование. Исследование выполнялось без финансирования.

Библиографический список

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

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

3. Алдашев С. А, Кожамкулов Б. А, Акитай Б. Е, Джумадиллаев К. Н. Задачи Дирихле, возникающие при моделировании процессов деформации и разрушении композитов и их корректность // Вестник КазНПУ. Сер. Физ.-мат. науки, 2014. №2(46). С. 128-133.

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

5. Алдашев С. А. Критерий однозначной разрешимости спектральной задачи Дирихле для многомерного гиперболо-параболического уравнения / Уравнения смешанного типа, родственные проблемы анализа и информатики: Второй Международный Российско-Узбекский симпозиум. Нальчик: НИИ ПМА КБНЦ РАН, 2012. С. 24-27.

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

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

8. Erdelyi A. (ed.) Higher transcendental functions. vol. II / Bateman Manuscript Project, California Institute of Technology. Malabar, Florida: Robert E. Krieger Publ., 1981. xviii+396 pp.

9. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. М.: Наука, 1976. 543 с.

10. Алдашев С. А. Критерий однозначной разрешимости спектральной задачи Дирихле в цилиндрической области для многомерных гиперболических уравнений с волновым оператором// Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2014. №3(36). С. 21-30. doi: 10.14498/vsgtu1300.

11. Смирнов В. И. Курс высшей математики. Т. 4, часть 2. М.: Наука, 1981. 550 с.

12. Friedman A. Partial differential equations of parabolic type. Englewood Cliffs, N.J.: Prentice-Hall, Inc., 1964. xiv+347 pp.

Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki

[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 2, pp. 225-235

d http://doi.org/10.14498/vsgtu1585

ISSN: 2310-7081 (online), 1991-8615 (print)

MSC: 35M12, 35A02

A criterion for the unique solvability of the spectral Dirichlet problem for a class of multidimensional hyperbolic-parabolic equations

S. A. Aldashev

Kazakh National Pedagogical University named after Abay, 86, Tole-bi st., Almaty, 480100, Kazakhstan.

Abstract

In the cylindrical domain of Euclidean space for one class of multidimensional hyperbolic parabolic equations the spectral Dirichlet problem with homogeneous boundary conditions is considered. The solution is sought in the form of an expansion in multidimensional spherical functions. The existence and uniqueness theorems of the solution are proved. Conditions for the unique solvability of the problem are obtained, which essentially depend on the height of the cylinder.

Keywords: multidimensional hyperbolic-parabolic equation, Dirichlet spectral problem, multidimensional cylindrical domain.

Received: 5th December, 2017 / Revised: 8th April, 2018 / Accepted: 11th June, 2018 / First online: 1st July, 2018

Competing interests. I declare that I have no competing interests. Author's Responsibilities. I take full responsibility for submitting the final manuscript in print. I approved the final version of the manuscript. Funding. The research has not had any funding.

Research Article

Q ©® The content is published under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/) Please cite this article in press as:

Aldashev S. A. A criterion for the unique solvability of the spectral Dirichlet problem for a class of multidimensional hyperbolic-parabolic equations, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 2, pp. 225-235. doi: 10.14498/vsgtu1585 (In Russian). Author's Details:

Serik A. Aldashev & http://orcid.org/0000-0002-8223-6900

Dr. Phys. & Math. Sci., Professor; Head of Dept.; Dept. of Fundamental and Applied Mathematics; e-mail: aldash51@mail.ru

References

1. Nakhushev A. M. Zadachi so smeshcheniem dlia uravneniia v chastnykh proizvodnykh [Problems with Shifts for Partial Differential Equations]. Moscow, Nauka, 2006, 287 pp. (In Russian)

2. Vragov V. N. Kraevye zadachi dlia neklassicheskikh uravnenii matematicheskoi fiziki [Boundary-Value Problems for Nonclassical Equations of Mathematical Physics]. Novosibirsk, Novosibirsk State Univ., 1983, 84 pp. (In Russian)

3. Aldashev S. A, Kozhamkulov B. A, Akitai B. E, Dzhumadillaev K. N. Dirichlet problems arising in the modeling of deformation and fracture processes of composites and their correctness, Vestnik KazNPU. Ser. Fiz.-mat. nauki, 2014, no. 2(46), pp. 128-133 (In Russian).

4. Aldashev S. A. Well-posedness of Dirichlet problem for one class of multi-dimensional hyperbolic-parabolic equations, Ukr. Matem. Vestnik, 2013, vol. 10, no. 2, pp. 147-157 (In Russian).

5. Aldashev S. A. A criterion for the unique solvability of the spectral Dirichlet problem for a multidimensional hyperbolic-parabolic equation, In: Equations of Mixed Type, Related Problems of Analysis and Informatics. Nal'chik, Research Institute of PMA KBSC RAS, 2012, pp. 24-27 (In Russian).

6. Mikhlin S. G. Multidimensional Singular Integrals and Integral Equations, International Series of Monographs on Pure and Applied Mathematics, vol.83. Oxford, London, etc., Pergamon Press, 1965, xii+255 pp. doi: 10.1016/C2013-0-01835-X.

7. Kamke E. Spravochnik po obyknovennym differentsial'nym uravneniiam [Handbook on Ordinary Differential Equations]. Moscow, Nauka, 1965, 703 pp. (In Russian)

8. Erdelyi A. (ed.) Higher transcendental functions, vol. II, Bateman Manuscript Project, California Institute of Technology. Malabar, Florida, Robert E. Krieger Publ., 1981, xviii+396 pp.

9. Kolmogorov A. N., Fomin S. V. Elementy teorii funktsii i funktsional'nogo analiza [Elements of the Theory of Functions and Functional Analysis]. Moscow, Nauka, 1976, 543 pp. (In Russian)

10. Aldashev S. A. A criterion for the unique solvability of the Dirichlet spectral problem in a cylindrical domain for multidimensional hyperbolic equations with wave operator, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2014, no. 3(36), pp. 21-30 (In Russian). doi: 10.14498/vsgtu1300.

11. Smirnow W. I. Course in higher mathematics, Part IV/2. Frankfurt am Main, H. Deutsch, 1995, 469 pp. (In German)

12. Friedman A. Partial differential equations ofparabolic type. Englewood Cliffs, N.J., Prentice-Hall, Inc., 1964, xiv+347 pp.