Научная статья на тему 'Задача Дирихле для одного класса вырождающихся многомерных гиперболо-параболических уравнений'

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

CC BY
74
18
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КОРРЕКТНОСТЬ / ЗАДАЧА ДИРИХЛЕ / ВЫРОЖДАЮЩИХСЯУРАВНЕНИЯ / КРИТЕРИЯ / ФУНКЦИЯ БЕССЕЛЯ / WELL-POSEDNESS / DIRICHLET PROBLEMS / DEGENERATE EQUATIONS / CRITERION / BESSEL FUNCTION

Аннотация научной статьи по математике, автор научной работы — Алдашев С.А.

Адамар показал, что одна из фундаментальных задач математической физики изучение поведения колеблющейся струны некорректна, когда краевые условия заданы на всей границе области. Какзаметили А. В. Бицадзе, А. М. Нахушев, задача Дирихле некорректна (в смысле однозначной разрешимости) не только для волнового уравнения, но и для общих гиперболических уравнений. Автором ранее изучена задача Дирихле для многомерных гиперболических уравнений, где показана однозначная разрешимость этой задачи, существенно зависящая от высоты рассматриваемой цилиндрической области. В данной статье используется метод, предложенный в ран-них работах автора, показана однозначная разрешимость и получен явный вид классического решения задачи Дирихле в цилиндрической области для одного класса вырождающихся многомерных гиперболо -параболических уравнений. Получен также критерий единственности решения. Предложенный метод позволяет свести изучаемую задачу к задаче Дирихле для вырождающихся многомерных гиперболических уравнений, исследованных автором

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

Well-posedness of the Dirichlet Problem for One Class of DegenerateMulti-dimensional Hyperbolic-parabolic Equations

It has been shown by Hadamard that one of the fundamental problems of mathematical physics, the analysisof the behavior of oscillating string is an ill-posed problem when the boundary-value conditions are imposedon the entire boudary of the domain. As noted by A. V. Bitsadze and A. M. Nakhushev, the Dirichlet problemis ill-posed not only for the wave equation but for hyperbolic PDEs in general. This author has earlier studiedthe Dirichlet problem for multi-dimensional hyperbolic PDEs, where he has shown that the well-posedness ofthis problem crucially depends on the height of the analyzed cylindric domain. This paper, using the methoddeveloped in the authors previous papers, shows the unique solvability (and obtains an explicit form of theclassical solution) of the Dirichlet problem in the cylindric domain for one class of degenerate multi-dimensionalhyperbolic-parabolic equations. We also obtain a criterion for the uniqueness of the solution.

Текст научной работы на тему «Задача Дирихле для одного класса вырождающихся многомерных гиперболо-параболических уравнений»

МАТЕМАТИКА

УДК 517.956

ЗАДАЧА ДИРИХЛЕ ДЛЯ ОДНОГО КЛАССА ВЫРОЖДАЮЩИХСЯ МНОГОМЕРНЫХ ГИПЕРБОЛО-ПАРАБОЛИЧЕСКИХ УРАВНЕНИЙ

С. А. Алдашев

Алдашев Серик Аймурзаевич, доктор физико-математических наук, профессор, Казахский национальный педагогический университет им. Абая, 480012, Казахстан, Алматы, Толе Би, 86, aldash51 @mail.ru

Адамар показал, что одна из фундаментальных задач математической физики — изучение поведения колеблющейся струны — некорректна, когда краевые условия заданы на всей границе области. Как заметили А. В. Бицадзе, А. М. Нахушев, задача Дирихле некорректна (в смысле однозначной разрешимости) не только для волнового уравнения, но и для общих гиперболических уравнений. Автором ранее изучена задача Дирихле для многомерных гиперболических уравнений, где показана однозначная разрешимость этой задачи, существенно зависящая от высоты рассматриваемой цилиндрической области. В данной статье используется метод, предложенный в ранних работах автора, показана однозначная разрешимость и получен явный вид классического решения задачи Дирихле в цилиндрической области для одного класса вырождающихся многомерных гиперболо-параболических уравнений. Получен также критерий единственности решения. Предложенный метод позволяет свести изучаемую задачу к задаче Дирихле для вырождающихся многомерных гиперболических уравнений, исследованных автором.

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

DOI: 10.18500/1816-9791 -2017-17-3-244-254

1. ПОСТАНОВКА ЗАДАЧИ И РЕЗУЛЬТАТ

Теория краевых задач для вырождающихся гиперболо-параболических уравнений на плоскости хорошо изучена [1]. Их многомерные аналоги в пространстве обобщенных функций исследованы в [2,3].

Классические решения задачи Дирихле для многомерных гиперболо-параболических уравнений изучены в [4,5].

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

В работе используется метод, предложенный в работах [6,7].

Пусть Qap — цилиндрическая область евклидова пространства Em+1 точек (ж1,..., xm, t), ограниченная цилиндром Г = {(x, t) : |x| = 1}, плоскостями t = a > 0 и t = в < 0, где |x| — длина вектора x = (ж1,..., xm).

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

Пусть далее S — общая часть границ областей Qa, Q^, представляющая множество {t = 0, 0 < |x| < 1} в Em.

В области Qa/3 рассмотрим вырождающиеся многомерные гиперболо-параболические уравнения:

m

tqAxu — ut + Y1 di(x, t)uxi + e(x, t)u, t > 0,

0 = { i=1m (1)

|t|pAxu — utt + Y1 ai(x, t)uxi + b(x, t)ut + c(x, t)u, t < 0, i=1

где p,q = const, p > 0, q > 0, Ax — оператор Лапласа по переменным x1,...,xm, m > 2.

В дальнейшем нам удобно перейти от декартовых координат x1 ,...,xm,t к сферическим r, 0Ь ..., 0m-1, t, r > 0, 0 < 0i < n, i = 1, 2,..., m — 2, 0 < 0m-1 < 2n,

0 = (^1,..., 0m-1).

Задача 1 (Дирихле). Найти решение уравнения (1) в области Qap при t = 0 из класса C(Qae) n C1 (Q^) n C2(Qa U Q^), удовлетворяющее краевым условиям:

u

u

= u = ^ (t,0), (2)

Га

= ^2 (t,0), u = <^M), (3)

ав

при этом (1 (1,0) = (а,0), (2(1,0) = ^(/М), ^(0,0) = ^(0,0).

Пусть {Упкт(0)} — система линейно независимых сферических функций порядка п, 1 < к k К, (т - 2)!п!кп = (п + т - 3)!(2п + т - 2), (5), I = 0,1,... — пространства Соболева. Имеет место [8]

Лемма 1. Пусть f (r, 0) е W (S). Если l > m — 1, то ряд

ж kn

f М)=££ fk (r)Yn^m (0),

n=0 k=1

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

а

а

Г

в

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

ж kn

\/ (r)| < C1, JZZX* |/ (r)|2 < C2, Ci, C2 = const.

\fn(r

n=1 k=1

Через dkin(r,t), dkn(r,t), ekn(r,t), dkn(r,t), pkn, (r), (r), Wn{t), Щп(t) обозначим коэффициенты разложения ряда (1), соответственно функций di(r,0,t)p, di^rр, e(r,0,t)p, d(r,0,t)p, р(0), i = 1,...,m, (r,0), (r,0), ф(t,0), ^2(t,0), причем р(0) G CЖ(И), И — единичная сфера в Em.

Пусть ai(r,6,t), b(r,6,t), c(r,6,t) G W2(Пр) С C(Пр), di(r,0,t), e(r,0,t) G W2(tta), i = 1,... ,m, l > m + l, e(r, 0,t) < 0 для всех (r, 0, t) G Qa. Тогда справедливы следующие теоремы.

Теорема 1. Если уi(r,0), у2(r,0) G W2p(S), фi(t,0) G W2p(Га), ф2(t,0) G W2p(re), p > 3m/2 и

cos = 0, s = 1,2(4)

то задача 1 однозначно разрешима, где fisn — положительные нули функций Бесселя первого рода Jn+ (m-2) (z), в = 2+p 1в|(2+p)/2.

Теорема 2. Решение задачи 1 единственно тогда и только тогда, когда выполняется условие (4).

2. РАЗРЕШИМОСТЬ ЗАДАЧИ 1

Сначала покажем разрешимость задачи (1), (2). В сферических координатах уравнение (1) в области Qa имеет вид

m — 1 1 т

Liu = tq(urr +--ur--2— ut + ^^ di(r, 0, t)uxi + e(r, 0, t)u = 0, (5)

i=i

m—i о / о

1 д . m Л 1 л д

ь ~ j=l9j sinm-j-1 е3 дв3 \8тт 3 1 е дв_ 9i = 1, 9j = (sin ег... sin ej-1 )2, j > 1.

Известно [8], что спектр оператора ó состоит из собственных чисел Xn = n(n+m— — 2), n = 0,1,... , каждому из которых соответствует kn ортонормированных собственных функций Y'km (е).

Искомое решение задачи 1 в области йа будем искать в виде

ж

kn

u(rAt)=^ un(r,t)Ynktm(0), (6)

п=0 к=1

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

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

Ь4р0и0гг — р0и0< + ^ - р0 + ^=1 ^10^ и0г + +

ж кп

т1

+ ^ ^ Ч Арпипгг рп+ ( г ^ рп + ^ ^ ^ к п | "пг +

п=1 к=1

+

¿=1

-А:

рп.

т

еп Лп ^2 ^^ + ^ у (^т—1 П^гп) ¿=1

ип

= 0.

(7)

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

11 11 _1) 1 1

^р0и0гг _ р0% + ^^р0и0г = 0,

¿а р 1 " 1 гг р 1и ^ +

кЛ—к , (т кЛ-к

к—к Л1 к—к 1 I \ ^ л1 —1 ~1—1

Г р1 и1г _ Ь Р1 и1 = _ к" ^ / ' ^«0и0г + е0и0

(8) (9)

п = 1.

к = 1, к

. кЛ—к „ кЛ-к , (т ^ кЛ-к Лп,« кЛ—к

кп —

п—1 ( т

¿а рп "пгг рп +

+

Г

т

-П—1 + 2 _(п _ Ч^п—1) ¿=1

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

¿арпипг Г2 ¿арпип к ^ ^ | ^ у

¿п—1 2 —1г

+

и

п—1

2 к = 1 ^ ¿ = 1 к = ТТ"к2, П = 2,3... . (10)

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

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

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

Ь ( + 2) /п (г5 Ь), (11)

Г

где (г, Г) определяются из предыдущих уравнений этой системы, причем

/0 (Г,Ь) — 0.

Далее, из краевого условия (2) в силу (6) будем иметь

< (г, а) = (п(г), <(М) = (Ь)

2 *

^1п ^

к = 1 , к2

п = 0,1,... .

В (11), (12), произведя замену и2(г, Ь) = и2(г, Ь) — (Ь), получим

¿а ( +

к , (т_ 1)_, к Лп_, Л к

-и.

_ ^ = /пк (Г,Ь)

иП(г, а) = (п(г), и2(1, Ь) = 0

к — 1, кп

п = 0,1,...

(12)

(13)

(14)

/пк (Г,Ь)= / (Г,Ь)+ ^ +

ЛпЬа

п „/.к

„2 ^1п

(1п(г) = (п(г) - К(а).

Произведя замену цп(г, Ь) = г 2 г>п(г, Ь), задачу (13), (14) приведем к следующей задаче:

— Ь ( ипгг +

пгг

Л

п к

—и к

,2 п

- ^ = /пк (Г,Ь),

ип(г, а) = (п(г), ип(1,Ь)=0

(15)

(16)

- (т - 1)(3 - т) - 4Лп ~к/ ,л (т—1) к , (т—1) к

Лп = ---, /к (г,ь)= г 2 /(г,ь), (1п(г) = г 2 (кп(г).

Решение задачи (15), (16) ищем в виде

ик (Г,Ь)= < (г,ь) + и2кп (г,ь), (17)

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

= /п (г,ь), (18)

^(г, а) = 0, икп(1,Ь) = 0, (19)

а и|п(г, Ь) — решение задачи

= 0, (20)

^(г, а) = Йп(г), ^п(1, Ь) = 0. (21)

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

ж

М) = £ Яя(г)Тя (Ь), (22)

^ = в=1

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

/2(Г,Ь) = ав,п(Ь)Яв(Г), (п(г) = (г). (23)

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

+ Л|Я- + М^- = 0, 0 < Г < 1, (24)

Яя(1)=0, |Яя(0)| < го, (25)

Т* + Т« = -ая,п(Ь), 0 < Ь < а, (26)

Тя(а)=0. (27)

Ограниченным решением задачи (24), (25) является [9]

Яв(г) = ^ (Мк,п г), (28)

(т_2) 2

где ^ = п + , м = м2,п.

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

2 а 2

Т«,п(Ь) = ^ехр(-¿а+1)) / (С) (вхр (29)

г

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

ж

Г—2/2(Г,Ь)^ав,п(Ь)^(м-,пг), Г—11/2(п(г)=Х]^(м-,пг), 0 <г< 1. (30)

в = 1 в = 1

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

кьп(г) = 2[з„+1 )]-2 ( уД/к(ис)<%, (31)

Ь* = 2[Ъ+о(»а,п )]-2 уДфОщ (С (»а,п (32)

0

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

Из (22), (28), (29) получим решение задачи (18), (19)

ж

икп у/тТз,п (г)Ъ (»а,пт), (33)

в=1

где аккп(г) определяются из (31).

Далее, подставляя (22) в (20), (21), с учетом (23) будем иметь задачу

Т»г + Т» = 0, 0 <г<а, Т8,п(а) = Ь^,

решением которой является

а2

Т8,п(г) = Ь8,п ехр-^т(аЧ+0 - 1Ч+0). (34)

- + 1

Из (28), (34) будем иметь

(т,г) = ^ Ь^М^ -и+п-(аЧ+1 - 1Ч+0)3„^т), (35)

2

и2п(т,г) = У ья,п\/т(ехр—— (а^ -

»=1 -+1

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

где Ь»п находятся из (32).

Следовательно, сначала, решив задачу (8), (12) (п = 0), а затем (9), (12) (п = 1) и т.д., найдем последовательно все икп(т,г) из (17), где и1п(т,г), и|п(т,г) определяются из (33) и (35).

Итак, в области ^ имеет место

[ р(0)Ь1 и<Н = 0. (36)

н

Пусть ,(т,0,г) = Е(т)р(0)Т(г), причем Я(т) е V), V) — плотна в ((0, 1)), р(0) е Сж(Н) — плотна в (Н), а Т(г) е V, V — плотна в Ь2((0,а)). Тогда / (т,0,г) е V, V = V 0 н 0 У1 — плотна в и (Па) [11].

Отсюда и из (36) следует, что / /(т,0,г)Ь1 и<Ю.а = 0 и Ь1и = 0 для всех

(т,0,г) е па.

Таким образом, решением задачи (1), (2) в области является функция

ж кп

и(т, 0,г) = ^^2 {^ш(г) + т^ ^(т, г) + и2п(т,г^ Упкт(0), (37)

п=0 к=1

где и1п(т,г), (т,г) находятся из (33), (35).

Учитывая формулу [10] (г) = ^—1(г) — «/^(г), оценки [8,12]

^(2 )=\/со8 (2—2 ^—В+Ч ¿2

V > 0,

кп < с1п

т_2

дЛ? (Л)

т_-

< с2п 2 , ^ = 1,т — 1, д = 0,1,...

а также леммы, ограничения на коэффициенты уравнения (1) и на заданные функции Л), (£, Л), так же как в [4,5], можно доказать, что полученное решение (37) принадлежит классу С(Па) П С2(Па).

Далее, из (33), (35), (37) при £ ^ +0 имеем

п=0 к=1

и(г,Л, 0) = т(г, Л) = тк(г^Л)

ж

Т„к (г) = (0) + ]Г

(2-т)

г 2

в=1

0

«.,» (С) I ехр ^С"+1 ) ¿£+

1 г, I о+1

+ 68)П ехр —— д + 1

(т—) (Мг).

(38)

Из (31)-(35), а также из лемм вытекает, что т(г, Л) е Ж?(5), I > 3т/2. Таким образом, учитывая краевые условия (3) и (38), в области Пв приходим к задаче Дирихле для гиперболических уравнений:

£2и = |£|рАхи — ии + ^ а (г, Л, + Ь(г, Л, £)и + с(г, Л, £)и = 0

¿=1

с данными

и

= т(г, Л), и = (£, Л)

и

= ^2 (г, Л).

(39)

(40)

В [7] доказаны следующие теоремы.

Теорема 3. £сли т(г, Л), ^М) е Ж?(5), ^М) е Ж?(Гв), I > 3т/2, и выполняется соотношение (4), то задача (39), (40) в классе С1 (Пв) ПС2(П^) однозначно разрешима.

Теорема 4. Решение задачи (39), (40) единственно, тогда и только тогда, когда имеет место условие (4).

Используя теорему 3, получим разрешимость задачи 1.

В [7] приводится явный вид решения задачи (39),(40), поэтому можно записать представления решения и для задачи 1.

3. ЕДИНСТВЕННОСТЬ РЕШЕНИЯ ЗАДАЧИ 1

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

Ь\и = Ах и + и — ^^ ^ + = 0

(41)

5

а

в

в

с данными

т М) = ЁЁ ^ МУ^ (в)

и\8 = т (Г,в) =

и|г =0,

1 г а

(42)

п=0 к=1

где ((х,г) = е — X] &%хг, т!к(г) ^ С, С — множество функций т(г) из класса

г=1

С([0,1]) П С1 ((0,1)). Множество С плотно всюду в Ь2((0,1)) [11]. Решение задачи (41), (42) будем искать в виде (6), где функции &П(г,£) будут определены ниже. Тогда аналогично параграфу 2 функции &П(г,£) удовлетворяют систему уравнений вида (8)-(10), где (кп, (¡п заменены соответственно на —(1кп, —(кп, а еП на (П, г = 1,... ,т, к = 1,кп, п = 0,1,... .

Далее, из краевого условия (42) в силу (6) получим

<(г, 0)= тП(г), иП(1,1) =0

к = 1 , кп

п =0, 1,... .

(43)

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

Ьип — ¿М ипгг + о ип ) + ипг = !п (г, 0

ик (г, 0)= тк (г), ик (1,г)=0

(44)

(45)

П/ ,ч (т-1) п, Л

уп(г,ч = г 2 ип(г,г),

¡¡к (г,г)= г ^ Д (г,г)

к / ч (т-1) к , ч

тк (г)= г 2 тп (г).

Решение задачи (44), (45) будем искать в виде (17), где и\п(г, г) — решение задачи

для уравнения (18) с данными

укш(г, 0)=0, ик1п(1,г)=0, а и>2,п(г, г) — решение задачи для уравнения (20) с условием

<(г, 0)= тк (г), икп(1,г)=0. Решения задач (18), (46) и (20), (47) соответственно имеют вид

)к 1п

vк¡ (г, г) = 53 \/г в=1

ехР{ +!+. [а„,М)(ехр (—) ) #

0

(46)

(47)

'и (^8,пг) ,

)к п

ж / / \ \

Укп (г, г) = т2,пл/туехр —+1 'V(V2,пг)

где

т2 п

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

1

2[>1„+1(^)]-2 [ уДтк (С' (V2,п С К, V = п + (т—).

Таким образом, решение задачи (41), (42) в виде ряда

ж кп

Г„ к

и(г,в,г) = 5353г^ [< (г,г) + икп(г,г)] Укт(в)

п=0 =1

построено, в силу оценок оно принадлежит классу С(11 а) П С2(1а).

В результате интегрирования по области ^ тождества [13]

uLi u — uL^u = —uP (u) + uP (u) — uuQ,

где

m m

P(u) = tq uXi cos (NXi) , Q = cos (N^, t) dcos (N±,Xi) ,

i=i i=i

а N^ — внутренняя нормаль к границе д, по формуле Грина получим

/ тM)u(r,6>, 0)ds = 0. (48)

Поскольку линейная оболочка системы функций (fn(r)Yn/cm(Л)} плотна в L2(S) [11], то из (48) заключаем, что u(r, Л,0) = 0 для всех (r, Л) е S. Стало быть, по принципу экстремума для параболического уравнения (5) [14] u = 0 в .

Далее, используя теорему 4, получим единственность решения задачи 1, а также справедливость теоремы 2.

Отметим, что доказанные теоремы для модельного многомерного вырождающегося гиперболо-параболического уравнения получены в [15].

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

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

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

3. Каратопраклиев Г. Д. Краевые задачи для уравнения смешанного типа в многомерных областях // Partial Diffential Equations БапасЬ Center Publications. 1983. Vol. 10. P. 261269.

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

5. Aldashev S. A. Correctntss of the Dirichlet problem for a class of multidimensional hyperbolic-parabolic equations // J. Math. Sci. 2013. Vol. 194, iss. 5. P. 491-498. DOI: 10.1007/s10958-013-1542-z.

6. Алдашев С. А. Корректность задачи Дирихле и Пуанкаре в цилиндрической области для многомерного уравнения Геллерстедта // Укр. матем. журн. 2012. Т. 64, № 3. С. 426-432.

7. Алдашев С. А. Корректность задачи Дирихле и Пуанкаре в цилиндрической области для вырождающихся многомерных гиперболических уравнений с оператором Геллерстедта // Нелинейные колебания. 2015. Т. 18, № 1. С. 10-19.

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

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

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

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

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

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

14. Фридман А. Уравнения с частными производными параболического типа. М. : Мир, 1968. 527 с.

15. Алдашев С. А. Корректность задачи Дирихле для вырождающегося многомерного гиперболо-параболического уравнения // Изв. НАН РК. Сер. физ.-матем. 2014. Vol. 5, № 297. С. 7-11.

Образец для цитирования:

Алдашев С. А. Задача Дирихле для одного класса вырождающихся многомерных гиперболо-параболических уравнений // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2017. Т. 17, вып. 3. С. 244-254. 001: 10.18500/1816-9791-2017-17-3-244-254.

Well-posedness of the Dirichlet Problem for One Class of Degenerate Multi-dimensional Hyperbolic-parabolic Equations

S. A. Aldashev

Serik A. Aldashev, ORCID: 0000-0002-8223-6900, Abai Kazakh National Pedagogical University, 86, Tole Be Str., Almaty, Kazakhstan, 480012, aldash51 @mail.ru

It has been shown by Hadamard that one of the fundamental problems of mathematical physics, the analysis of the behavior of oscillating string is an ill-posed problem when the boundary-value conditions are imposed on the entire boudary of the domain. As noted by A. V. Bitsadze and A. M. Nakhushev, the Dirichlet problem is ill-posed not only for the wave equation but for hyperbolic PDEs in general. This author has earlier studied the Dirichlet problem for multi-dimensional hyperbolic PDEs, where he has shown that the well-posedness of this problem crucially depends on the height of the analyzed cylindric domain. This paper, using the method developed in the authors previous papers, shows the unique solvability (and obtains an explicit form of the classical solution) of the Dirichlet problem in the cylindric domain for one class of degenerate multi-dimensional hyperbolic-parabolic equations. We also obtain a criterion for the uniqueness of the solution.

Key words: well-posedness, Dirichlet problems, degenerate equations, criterion, Bessel function.

References

1. Nakhushev A. M. Zadachi so smeshcheniem dlia uravneniia v chastnykh proizvodnykh [Problems with Shift for Partial Differential Equations]. Moscow, Nauka, 2006. 287 p. (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. Press, 1983. 84 p. (in Russian).

3. Karatoprakliev G. D. Boundary Value Problems for Mixed Type Equations in Multidimensional Domains. Partial Differential Equations Banach Center Publications, 1983, vol. 10, pp. 261-269 (in Russian).

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

5. Aldashev S. A. Correctness of the Dirichlet Problem for a Class of Multidimensional Hyperbolic-Parabolic Equations. J. Math. Sci., 2013, vol. 194, iss. 5, pp. 491-498. DOI: 10.1007/s10958-013-1542-z.

6. Aldashev S. A. Well-posedness of the Dirichlet and Poincare problems for a multidimensional Gellerstedt equation in a cylindrical domain. Ukr. Math. J., 2012, vol. 64, iss. 3, pp. 484-490. DOI: 10.1007/s11253-012-0660-y.

7. Aldashev S. A. Well-posedness of Dirichlet and Poincare problems in a cylindrical domain for degenerate many dimensional hyperbolic equations with Gellerstedt operator. Nonlinear Oscilations, 2015, vol. 18, no. 1, pp. 10-19 (in Russian).

8. Mikhlin S. G. Multidimensional singular integrals and integral equations. Oxford, New York, Paris, Pergamon Press, 1965. 255 p. (Russ. ed. : Moscow, Fizmatgiz, 1962. 254 p.)

9. Kamke E. Spravochnik po obyknovennym differentsial'nym uravneniiam [Manual of ordinary differential equations]. Moscow, Nauka, 1965. 703 p. (in Russian).

10. Beitmen G., Erdeii A. Vysshie transtsendentnye funktsii [Higher Transcendental Functions]. Moscow, Nauka, 1974, vol. 2. 297 p. (in Russian).

11. Kolmogorov A., Fomin S. Elements of the Theory of Functions and Functional Analysis. Mineola, New York, USA, Dover Publ., 1999. 288 p. (Russ. ed. : Moscow, Nauka, 1976. 543 p.)

12. Tikhonov A. N., Samarskii A. A. Equations of mathematical physics. New York, Dover, 1990. 800 p. (Russ. ed. : Moscow, Nauka, 1966. 724 p.)

13. Smirnov V. I. Kurs vysshei matematiki [Higher Mathematics Course]. Moscow, Nauka, 1981, vol. 4, pt. 2. 550 p. (in Russian)

14. Fridman A. Uravneniia s chastnymi proizvodnymi parabolicheskogo tipa [Partial differential Equations of parabolic type]. Moscow, Mir, 1968. 527 p. (in Russian).

15. Aldashev S. A. The Well-Posedness of the Dirichlet Problem for Degenerate MultiDimensional Hyperbolic-Parabolic Eguation. News of the National Academy of Sciences of the Republic of Kazakhstan. Physico-Mathematical Ser., 2014, vol. 5, no. 297, pp. 7-11 (in Russian).

Cite this article as:

Aldashev S. A. Well-posedness of the Dirichlet Problem for One Class of Degenerate Multidimensional Hyperbolic-parabolic Equations. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2017, vol. 17, iss. 3, pp. 244-254 (in Russian). DOI: 10.18500/1816-9791-2017-17-3-244254.

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