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

Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2017. Т. 21, № 2. С. 209-220 188№ 2310-7081 (опИпе), 1991-8615 (рг1п1) с! Ь«р:/Мо1

Дифференциальные уравнения и математическая физика

УДК 517.955.2

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

С. А. Алдашев

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

Аннотация

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

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

Получение: 31 мая 2016 г. / Исправление: 11 апреля 2017 г. / Принятие: 12 июня 2017 г. / Публикация онлайн: 7 июля 2017 г.

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

Статья

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

Алдашев С. А. Корректность задач Дирихле и Пуанкаре в многомерной области для одного класса гиперболических уравнений // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2017. Т. 21, № 2. С. 209-220. doi: 10.14498/vsgtu1494. Сведения об авторе

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

.org/10.14498/vsgtu1494

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

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

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

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

К : £ = ф), р(0) = р(1) = 0, ф) е С:([0,1])пС2((0,1)), |^'(г)| < 1, р'(г) = 0

и плоскостью £ = 0, где г = |х| — длина вектора х = (х1,... ,хт). Через Б обозначим множество {£ = 0, 0 < г < 1} точек из Ет.

В области Б рассмотрим взаимно сопряженные многомерные гиперболические уравнения

т

Ьп = Ахп — пц + ^ аг(х, £)пх + Ь(х, £)п + с(х, £)п = 0, (1)

г=1

т

Ь*У = АхУ — Уи — агух1 — ЬУг + dv = 0, (1*)

г=1

где Ах — оператор Лапласа по переменным х1,... ,хт, т ^ 2, d(x,t) = с —

Ет т,

г=1 агх1 —

В качестве многомерных задач Дирихле и Пуанкаре для уравнения (1) рассмотрим следующие задачи.

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

п^ = Т (х), п\к = а(х), (2)

или

щ1в = V (х), п|к = о(х). (3)

Отметим, что корректность этой задачи для многомерного волнового уравнения получена в [13].

Перейдем от декартовых координат х1, ..., хт, £ к сферическим г, 91, ..., 0т-1, £, где Г ^ 0, 0 < 91 < 2п, 0 < вг < п, г = 2,3,...,т — 1.

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

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

те kn

f (г,в) = ЕЕ fk (rKm (в), (4)

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

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

те kn

¡k е12

n=1k=1

lfo(r)| < Ci, ЕЕ n2llfk (Г)12 ^ C2, C1,C2 =COnst.

ЧеРез а^п(г,ь), а^п(г,г), ЬП(г,1), сЩг^'), (1П(г,Ь), рП (г), ^(г), тк(т) °б°-значим коэффициенты разложения ряда (4), находящиеся соответственно перед функциями аг(т, в, 1)р(в), аг^тр, Ь(т, в, ¿)р, с(т, в, ¿)р, й(т, в, ¿)р, р(в), т(т, в), и(т,в), а(т,в), причем г = 1, 2,...,т, р(в) е С ™(Н), И — единичная сфера в Ет.

Теорема 1. Пусть аг(т,в,г), Ь(т,в,г), с(т,в,г) е Ш%(п) с С(5), г = = 1,2,...,т,р ^ т + 1 и т (т,в) = т3т *(т,в), и(т,в) = т3и *(т,в), а(т,в) = = т3а*(т, в); т*(т,в), V*(т,в), а*(т,в) е (Б), I > 3т/2 + 4. Тогда задача 1 разрешима.

Теорема 2. Решение задачи (1), (2) единственно. Если выполняется условие Ь(т, в, 0) = 0 V (т, в) е Б, то 'решение задачи (1), (3) также единственно.

2. Разрешимость задачи 1 (доказательство теоремы 1). Уравнение (1) в сферических координатах имеет вид

т — 1 1 т

иг--^5п — пц + > аг(т, в, Ь)пх, + Ь(т, в, 1)щ + с(т, в, Ь)п

Lu = urr +--ur--2 6u — utt + Е ai(r, в, t)uxi + b(r, в, t)ut + c(r, в, t)u = 0,

(5)

rr2

i=1

где

m— 1

6 ~ j=1 gj Sinmi-j-1 в, дв, \S[Um j 1 в дв, ,

91 = 1, 9j = (sin в1... sin в,-1)2, j> 1.

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

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

оо

kn

utrM^Z un^t^m^), (6)

n=0k=1

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

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

р0п0гг — р0п0й; + ( — р0 + ^^ а°0 | п0г + Ь0П04 + С0П0 + ^ г=1 '

~ к™ ( / т — 1 т N

+ "У ^ У!1 Р'пп'птт — рпппЫ + ( — рп + ^ ^ акп\ ппг + Ьппп4 + п=1к=:Л ^ г=1 '

+

Р т

гп — ^пр2 + У](акп-1— пакп) пп| =0. (7

г=1

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

1 — 1 1 — 1 ^^ 1 1 — 1 г\ /0\

р0п0гг — р0п(Ж + Г рип0г = 0, (8)

к-к к-к т 1 к-к к-к

р1 п1гг — р1 пШ + р1 п1г 2 р1 п1 =

2

1 / т _ _ \ _

= — кН^ а°0пог + ьопш + г°п0), п = 1 к = 1,k1, (9)

1 г=1

к-к к-к т 1 к-к ^п к-к

рпппгг рппп££ + г рпппг ^2 рппп 1 кп-1 ✓ т

IX!/ акп-1пп-1г + ьп-1пп-1*+

кп к=1 4=1

т

+

г=1

т

сп-1 + ^(акп-2 — (п — 1)а|1-1) пп-1 [, к = l7kn, п = 2,3,.. 1 -I ^

(10)

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

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

- к - к т 1 _ к ^п - к "гк , , , ,

ппгг — ппЫ + Г ппг — пп = /п(г, £), (11)

где функции /п(г, £) определяются из предыдущих уравнений этой системы,

при этом /0(г, £) = 0.

Из краевых условий (2) и (3) в силу (6) будем иметь

<(г, 0)= тп(г), <(г,^(г)) = ^п (г), к = 1,кп, п = 0,1,..., (12)

&(г, 0) = г^п(г), пп(г,^(г)) = ^(

пп4(г, 0) = (г), пп(г,^(г)) = ^ (г), к = 1,кп, п = 0,1,.... (13)

Сначала рассмотрим задачу (11), (12). Произведя в (11), (12) замену

пП(т,г) = т {^ьП(т,г)

и положив затем

£ =

(т + г)

2

П =

(т — г)

получим

ип + [(т —1)(3 — т) — 4Хп] * = .к(£ п)

ип^п + л^ I ~Л2 ип = ¡п (£,Ч),

4(£ + п)2

<(£,£) = тк(£), пкп(£,1 (£)) = акп(£), £ е .1 ,

(14)

(15)

где

т (т — 1) —I 7 (т — 1) 7

/П(£,п) = (£ + п)-2-/П(£ + п,£ — п), ткп(£) = (2£)—тП(2£),

, (т-1) ,

-П (£) = (£ + 7 (£))—-П (£ + 7 (£)),

а функция п = 7(£) является решением уравнения п = £ — ф(£ + п). Здесь и ниже 1 означает интервал (0,1/2).

Функция п = ч(£) обладает следующими свойствами:

1) она осуществляет топологическое отображение сегмента 1 в себя, оставляя неподвижными ее концы;

2) справедлива оценка для производной

7' (£) = 1тт!щ > 0 ч'(£) = 1, £ е 1.

(16)

В работе [15] с использованием общего решения уравнения (14) [2] показано, что решение задачи Коши для уравнения (14) имеет вид

<(£, п) = Щ(£, £; £, п) + Щр- Щ(п, п; £, п)+

+

-Г

V2]п

д

Vк(Ш(£1,£1;£,п) — тк(£1)7^(6,т;£,п) |?1=Ч1 ^1+

+

17 дМ' к

/п(£,п)Щ(£1,т;£,п^Ыт, (17)

где

Щ(£1,т; £,п) = р

.)1/2.) 7(0

(£1 — т)(£ — п) + 2(£щ1 + £п) (£1 + п1 )(£ + п)

функция Римана уравнения (14) [16], а Р^(г) — функция Лежандра с ц =

п+(т-3) 2 ,

ди Iк

Vк (£1) = п

дМ ±

= / д£1 дикп + дп1 дикп\ ?1=п- ^дМ^ дп1 + дМ± д£1 )

(,1=П1

где N^ — нормаль к прямой £ = п в точке (£1,^1), направленная в сторону полуплоскости п ^ £.

Из уравнения (17) с учетом краевого условия (15) при п = 7(£) после дифференцирования по £ получим функционально-интегральное уравнение

^ (£) = „п(£) — 7'(£)„п(7(£)), £ е I, (18)

где

^k (£) = gn (£) - f vn (£1)

? ,^[72(£) - £1 + y'(£)(£2 - £?)]„,

£i(£ + y (£))2

К (z)d£i,

d

gn (£) = ^л*(£),

i i i /•■

hn(£) = ^ (£) - —тП(£) - тП(y(£)) + — J

? Tk

tk (£i)(£ - y (£))w,

I £ (£ + y (£)) P^ (z)d£i, /7(e) £1 (£ + y(£)) ^

£2 + £y(£) l£i(£ + y (£))

Из (16) следует

i - y'(£)y'(y(£)) = 0, £ e J.

(19)

В [17] показано, что при выполнении условия (19) функциональное уравнение (18) имеет единственное решение и оно имеет вид

„к (£) ^п (£) + 7'(£)^п (7(£)) ,к

„п(£) = "

где

i - y '(£)y '(y (£)) gn (£) - y'(£)gn (y (£)) ..kl

= рП(£)+/? Gn(£,£i)vn (£i)d£i, (20) Л2 (?)

рП(£) = - Y'(£)Y'(Y(£)) , ^(£) = £pn(£), дП(£) e C(J).

7'(g)[73(g)-gi2+7,(7(g))(72(g)-g2)l P'

G (£ £ ). [7/(?)7'(7(?))-1][7(?)+72(?)]2?l ^ Gn(£,£l)=S i2_i2M .Г ¿2

?2+y3(?)

?l (7(?)+72(?))

, y2(£) < £1 < y(£),

y(£) < £1 < £.

(21)

Так как |P' (z)| ^ C = const (см. [18]), ядро Gn(£,£1) (21) допускает оценку

[y2(?) ?2 ($)(?2 ?2)] P' ,[7'(?)7'(7(?))-1](?+7(?) )2? l

?2+?7(?) ?l (?+7(?))

|Gn(£,£i)| < C, Ci = const. £1

(22)

Решение интегрального уравнения (20) будем искать в виде ряда

те

V (£) = Е „1(£), (23)

1=0

где

М0 = £(£), ч(£) = f Оп&Ш-ШКъ i = 1,2,....

Из (22) получим следующие оценки:

М0| < е2 max mnm = me, Ы£)1 < mCri, Ы01 < mCi2,

и вообще,

v о < ^.

Тогда для ряда (23) будем иметь

те те

|v(£)| < Е V(е)1 < me2 + mCl £ 1 = m£2 + mCCi < m(1 + Ci).

1=0 1=1

Таким образом, интегральное уравнение (20), а также (18), имеют единственное решение. Отметим, что решение функционального уравнения (18), как в [13], можно построить методом итерации.

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

/ р(6)ЬпйИ = 0. (24)

■Ы

Пусть /(т,6,г) = Е(т)р(6)Т(г), причем Е(т) е Уо, Уо плотно в Ь2((0,1)); р(6) е С~(и), С™(И) плотно в Ь2(И); Т(г) е У1, У1 плотно в Ь2((0,р(1/2))). Тогда /(т, 6, г) е У, У = Уо 0 Г 0 VI - плотно в 12(В) [19]. Отсюда и из (24) следует

f f (r,6,t)LudD = 0

JD

Lu = 0 V (r, 6, t) e D. Таким образом, задача (1), (2) имеет решение вида

те kn

u(r, 6,t) = ^J2 r ~ ukn(r, t)Ynkm(6), (25)

(1-m) ,

r 2 u

n=0k=1

где функции иЩг, t) определяются из формулы (17), в которой функции ^П (О находятся из (20). Следовательно, решение задачи (1), (2) построено.

Теперь рассмотрим задачу (1), (3), решение которой также будем искать в виде (6). Тогда приходим к задаче (11), (13), которая переходит к краевой задаче для (14) с условием

диП

dN

t = vn(Z), ukn(£,j(Z)) = *n(Z), Z e J, (26)

и

^(0 = ^2(20к = 1,к„, п = 0,1,....

Далее из (17) при п = 7(0 с учетом (26) получим функционально-интегральное уравнение

ткШ + тгак(7Ш) = дП(0+ с„(е,б)тгак(6Ж1

(27)

где

дк(0 = (0 — /? V*(б)р. г е2 +е7(е)

ые+7Ш

¿6, дк (0 е С (I),

сга(е,ы = - 7 р'„г е2+е7 ш

|с„(е,б)1 < м.

ые+7(0) ^ые+7

Так как интегральный оператор, стоящий в правой части равенства (27), вполне непрерывен, функциональное уравнение (27), как показано в [17], имеет единственное решение. Следовательно, функция (25) является решением задачи (1), (3), где иП(г, ¿), к = 1, кп, п = 0,1,..., определяются из решения (17), в котором функции т*(£) находятся из (27).

Учитывая ограничения на заданные функции т(г, 0), V(г, 0), ст(г, 0), леммы 1, 2, и формулы (из [18])

= Г(р + т + 1)

=

1 + т + т — т + 1, 1 - ^ ^,

Г( г + а) Г(г + в)

2тГ(р — т + 1)

= ^а-в

1

1 + 2-(а — в )(а — в — 1) + Ф-2)

2г

(28)

а также оценки (из [14])

|кп| ^ С1П

т-2

д9 ^т(0)

д0*

т _1 -

^ с2п 2 1, j = 1,т — 1, д = 0,1,

(29)

где Р(а, Ь, с, г) — гипергеометрическая функция, Г(г) — гамма-функция, а, в — произвольные действительные числа, как в [11,12], можно показать, что полученное решение (25) принадлежит классу С 1(^)ПС2(£). Таким образом, теорема 1 доказана.

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

= т (г,0) = т* (г)Ггакт(0), VI к = 0, к = 1,кп, П = 0,1,..., (30)

гк

1 V

1К

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

V

я

акп, акп, ЬП заменены соответственно на — а^, — а^, — ЬП, а сП на СП, г = 1,..., т,к = 1,кп, п = 0,1,....

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

укп(т, 0)= тП(г), уП(т,ф)) = 0, к = 1,кп, п = 0,1,.... (31)

Ранее отмечено, что каждое уравнение системы (8)—(10) представимо в виде (11). В п. 2 показано, что задача (11), (31) имеет единственное решение. Таким образом, построено решение задачи (1*), (30) в виде ряда (25), которое в силу формул (28) и оценок (29) принадлежит классу С 1(Б) П С2(Б). Из определения сопряженных операторов Ь, Ь* [19] имеем

уЬи — иЬ*у = —уР (и) + иР (у) — иу<<,

где

Р(и) = £ их с°8(м±,хг)—и1 соб^±,г), < = £ ai соБ^±,хг)+ЬсоБ^±,г),

г=1 i=1

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

С С г / ди ду \ 1

(уЬи — иЬ*у)СБ = [у— — и—)М + иу<< Сз, (32)

Уд ]9и 1Л дN дN) \

при этом

я т я я т

— = £ С08(^, Х%) — —СЖ^ ±,г)-, М2 = £ С082^±,Хг)+С082 ^ ±,1).

г=1 г г=1

Из (32), принимая во внимание однородные граничные условия (2) и условия (30), получим

т(т,в)щ(т,в, 0)Сз = 0. (33)

Поскольку линейная оболочка системы функций {тП(т)Укт(0)} плотна в Ь2(Б) [19], из (33) заключаем, что щ(т,д, 0) =0 V (т,&) е Б. Следовательно, в силу единственности решения задачи Коши и(х, 0) = щ(х, 0) = 0 для уравнения (1) [20] будем иметь и(х,1) = 0 V (х,1) е Б.

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

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

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

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

1. Hadamard J. Sur les problèmes aux dérivés partielles et leur signification physique // Princeton University Bulletin, 1902. vol. 13. pp. 49-52.

2. Бицадзе А. В. Уравнения смешанного типа. М.: АН СССР, 1959. 164 с.

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

4. Bourgin D. G., Duffin R. The Dirichlet problem for the vibrating string equation// Bull. Amer. Math. Soc., 1939. vol.45, no. 12, Part 1. pp. 851-858, https://projecteuclid.org/ euclid.bams/1183502251.

5. Fox D. W., Pucci C. The Dirichlet problem for the wave equation// Annali di Mathematica Pura ed Applicata, 1958. vol.46, no. 1. pp. 155-182. doi: 10.1007/BF02412914.

6. Нахушев А. М. Критерий единственности задачи Дирихле для уравнения смешанного типа в цилиндрической области // Дифференц. уравнения, 1970. Т. 6, №1. С. 190-191.

7. Dunninger D. R., Zachmanoglou E. C. The condition for uniqueness of the Diriclet problem for hyperbolic equations in cilindrical domains// J. Math. Mech., 1969. vol.18, no. 8. pp. 763-766, http://www.jstor.org/stable/24893135.

8. Aldashev S. A. The well-posedness of the Dirichlet problem in the cylindric domain for the multidimensional wave equation // Mathematical Problems in Engineering, 2010. vol. 2010, 653215. 7 pp. doi: 10.1155/2010/653215

9. Алдашев С. А. Корректность задачи Пуанкаре в цилиндрической области для многомерного волнового уравнения // Современная математика и ее приложения, 2010. Т. 67. С. 28-32.

10. Aldashev S. A. Well-posedness of the Poincaré problem in a cylindrical domain for the higher-dimensional wave equation // Journal of Mathematical Science, 2011. vol. 173, no. 2. pp. 150-154. doi: 10.1007/s10958-011-0236-7.

11. Алдашев С. А. Корректность задачи Дирихле в цилиндрической области для многомерных гиперболических уравнений с волновым оператором // Доклады Адыгской (Черкесской) Международной академии наук, 2011. Т. 13, №1. С. 21-29.

12. Алдашев С. А. Корректность задачи Пуанкаре в цилиндрической области для многомерных гиперболических уравнений с волновым оператором // Вычислительная и прикладная математика, 2013. №4(114). С. 68-76.

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

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

15. Алдашев С. А. Краевые задачи для многомерных гиперболических и смешанных уравнений. Алматы: Гылым, 1994. 170 с.

16. Copson E. T. On the Riemann-Green function// Arch. Rational Mech. Anal., 1957. vol. 1, no. 1. pp. 324-348. doi: 10.1007/BF00298013.

17. Литвинчук Г. С. Краевые задачи и сингулярные интегральные уравнения со сдвигом. М.: Наука, 1973. 294 с.

18. Erdélyi A., Magnus W., Oberhettinger F., Tricomi F. G. Higher transcendental functions. vol. II / Bateman Manuscript Project. New York, Toronto, London: McGraw-Hill Book Co., 1953. xvii+396 pp.

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

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

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

[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2017, vol. 21, no. 2, pp. 209-220

MSC: 35L10, 35R25

Well-posedness of the Dirichlet and Poincare problems for one class of hyperbolic equations in a multidimensional domain

S. A. Aldashev

Kazakh National Pedagogical University,

114, prosp. Dostyk, Almaty, 480100, Kazakhstan.

Abstract

In early works the author studied the Dirichlet and Poincare problems for multidimensional hyperbolic equations, which shows the well-posedness of these problems in cylindrical domains, significantly dependent on the height of the considered cylindrical domain. Here a multidimensional region inside a characteristic cone is considered, in which the Dirichlet and Poincare problems have unique solutions for one class of hyperbolic equations.

Keywords: multidimensional hyperbolic equation, Dirichlet and Poincare problems, multidimensional domain, well-posedness, functional-integral equation.

Received: 31st May, 2016 / Revised: 11th April, 2017 / Accepted: 12th June, 2017 / First online: 7th July, 2017

Competing interests. 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 sponsorship. References

1. Hadamard J. Sur les problèmes aux dérivés partielles et leur signification physique, Princeton University Bulletin, 1902, vol. 13, pp. 49-52.

2. Bitsadze A. V. Uravneniia smeshannogo tipa [Equations of mixed type]. Moscow, USSR Academy of Sciences Publ., 1959, 164 pp. (In Russian)

3. 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)

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. Well-posedness of the Dirichlet and Poincaré problems for one class of hyperbolic equations in a multidimensional domain, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2017, vol. 21, no. 2, pp. 209-220. doi: 10.14498/vsgtu1494 (In Russian). Author's Details:

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

Dr. Phys. & Math. Sci., Professor; Head of the Dept.; Dept. of Fundamental and Applied Mathematics; e-mail: [email protected]

4. Bourgin D. G., Duffin R. The Dirichlet problem for the vibrating string equation, Bull. Amer. Math. Soc., 1939, vol.45, no. 12, Part 1, pp. 851-858, https://projecteuclid.org/ euclid.bams/1183502251.

5. Fox D. W., Pucci C. The Dirichlet problem for the wave equation, Annali di Mathematica Pura ed Applicata, 1958, vol.46, no. 1, pp. 155-182. doi: 10.1007/BF02412914.

6. Nahushev A. M. A uniqueness condition of the Dirichlet problem for an equation of mixed type in a cylindrical domain, Differ. Uravn., 1970, vol. 6, no. 1, pp. 190-191 (In Russian).

7. Dunninger D. R., Zachmanoglou E. C. The condition for uniqueness of the Diriclet problem for hyperbolic equations in cilindrical domains, J. Math. Mech., 1969, vol. 18, no. 8, pp. 763766, http://www.jstor.org/stable/24893135.

8. Aldashev S. A. The well-posedness of the Dirichlet problem in the cylindric domain for the multidimensional wave equation, Mathematical Problems in Engineering, 2010, vol. 2010, 653215, 7 pp. doi: 10.1155/2010/653215

9. Aldashev S. A. The well-posedness of the Poincare problem in the cylindric domain for the many-dimensional wave equation, Sovremennaia matematika i ee prilozheniia [Modern mathematics and its applications], 2010, vol. 67, pp. 28-32 (In Russian).

10. Aldashev S. A. Well-posedness of the Poincare problem in a cylindrical domain for the higher-dimensional wave equation, Journal of Mathematical Science, 2011, vol.173, no. 2, pp. 150-154. doi: 10.1007/s10958-011-0236-7.

11. Aldashev S. A. Well-posedness of the Dirichlet problem in the cylindric domain for the many-dimensional hyperbolic equations with wave operator, Doklady Adygskoi (Cherkesskoi) Mezhdunarodnoi akademii nauk, 2011, vol. 13, no. 1, pp. 21-29 (In Russian).

12. Aldashev S. A. Well-posedness of the Poincare problem in the cylindric domain for the many-dimensional hyperbolic equations with wave operator, Vychislitel'naia i prikladnaia matematika [Computational and Applied Mathematics], 2013, no. 4(114), pp. 68-76 (In Russian).

13. Aldashev S. A. Well-posedness of the Dirichlet and Poincare problems for the wave equation in a many-dimensional domain, Ukr. Math. J., 2014, vol. 66, no. 10, pp. 1582-1588. doi: 10. 1007/s11253-015-1033-0.

14. Mikhlin S. G. Mnogomernye singuliarnye integraly i integral'nye uravneniia [Higher-dimensional singular integrals and integral equations]. Moscow, Fizmatlit, 1962, 254 pp. (In Russian)

15. Aldashev S. A. Kraevye zadachi dlia mnogomernykh giperbolicheskikh i smeshannykh urav-nenii [Boundary value problems for many-dimensional hyperbolic and mixed equations]. Almaty, Gylym, 1994, 170 pp. (In Russian)

16. Copson E. T. On the Riemann-Green function, Arch. Rational Mech. Anal., 1957, vol.1, no. 1, pp. 324-348. doi: 10.1007/BF00298013.

17. Litvinchuk G. S. Kraevye zadachi i singuliarnye integral'nye uravneniia so sdvigom [Boundary value problems and singular integral equations with shift]. Moscow, Nauka, 1973, 294 c. (In Russian)

18. Erdelyi A., Magnus W., Oberhettinger F., Tricomi F. G. Higher transcendental functions, vol. II, Bateman Manuscript Project. New York, Toronto, London, McGraw-Hill Book Co., 1953, xvii+396 pp.

19. 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)

20. Smirnov V. I. Kurs vysshei matematiki [A Course in Higher Mathematics], vol.4, part 2. Moscow, Nauka, 1981, 550 pp. (In Russian)