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

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

CC BY
76
14
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ЗАДАЧА ДИРИХЛЕ / ВЫРОЖДЕНИЕ ТИПА И ПОРЯДКА / РАЗРЕШИМОСТЬ / ФУНКЦИЯ БЕССЕЛЯ / DIRICHLET PROBLEM / DEGENERATION OF THE TYPE AND ORDER / SOLVABILITY / BESSEL FUNCTION

Аннотация научной статьи по математике, автор научной работы — Китайбеков Е. Т.

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

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

The paper shows the unique solvability of the classical Dirichlet problem in cylindrical domain for three-dimensional elliptic equations with degeneration type and order.

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

УДК 517-956

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

THE CORRECTNESS OF THE DIRICHLET PROBLEM IN A CYLINDRICAL DOMAIN FOR THREE-DIMENSIONAL ELLIPTIC EQUATIONS WITH DEGENERATION OF TYPE AND ORDER

Е.Т. Китайбеков E.T. Kitaybekov

Казахский Национальный педагогический университет им. Абая, Алматы Abai Kazakh National Pedagogical University, Almaty

E-mail: Er-kaz_89@mail.ru

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

Resume. The paper shows the unique solvability of the classical Dirichlet problem in cylindrical domain for three-dimensional elliptic equations with degeneration type and order.

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

Key words: Dirichlet problem, degeneration of the type and order, solvability, Bessel function.

Введение

Теория краевых задач для вырождающихся гиперболо - параболических уравнений на плоскости изучены в [1].

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

Разрешимость задачи Дирихле в цилиндрической области для трехмерных гиперболопараболических уравнений с вырождением типа и порядка показано [5], а в данной работе доказывается ее единственность решения.

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

Пусть Qap~ цилиндрическая область евклидова пространства Е3 точек (x1,x2,t), ограниченная цилиндром Г = {( x, it ):| x |=1} , плоскостями t = P >0 и t = P < 0, где |x| — длина вектора x = (x1, x2).

Обазначим через Qa и Q^ части области 0,а/3-а через Га,Гд — части поверхности Г, лежащие в полупрастранствах t >0 и t < 0, 7а — верхнее, а 7 р — нижнее основания области

Qap-

Пусть далее S — общая границ областей Q и Q„ представляющее множество в

{t = 0,0 <| X |< 1} в E.

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

0 = <

Z Pi (t K,x, - P3(t)utt +Yuar (x, t)ux + b(x, t)ut + c(x, t)u = 0, t > 0,

i=1 1 1 i=1 1

(1)

Zgi (t)ux x. - ut + Zdi (X t)ux. + e(X t)u, t < 0

7 7 7

i ( )ux.x. ut +

ii

i=1 i=1

где p. (t )>0 при t > 0, p. (0) = 0, g. (t) > 0 при t > 0, и могут обращаются в нуль при

t = ° P,(t) е С([0, ос]) о С2 ((0, а)Х gj(t) е С(|Д0]),i = 1,2,3.^/ = 1,2.

В дальнейшем нам понадобится связь декартовых координат Xj, X2, t с полярными

r,6, t:x = rcos6,x2 = rsin6,r >0, 0<6<2k.

Задача 1 (Дирихле). Найти решение уравнения (1) в области Qap при t Ф 0, из класса

С1 (Оад) о С 2 (Qa и Qp ), удовлетворяющее краевым условиям

и 7 =0, u |г =0,

а а

u L =0, u \ар =0.

(2)

(3)

Пусть

аг (r, 6, t) b(r,6, t) c(r,6, t) 1

, .. , .. е C1(Qa) о C2(Qa),dj (r,6, t), e(r,6, t) е C1(Q^) о C2(Q^),

P3(t) P3(t) P3(t) j P

i = 1,2,3, j = 1,2, e(r, 6, t) < 0, V(r, 6, t) eQf Тогда справедлива

Теорема. Если выполняется условие

cos а' Ф 0, s = 1,2,..., (4)

то решение задача 1 тривиальное, где Vsn— положительные нули функций Бесселя первого рода

J. (z), а = J

ад)+ад)

2кМ)

d%, n = 0,1..

2

2

а

0

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

Рассмотрим задачу (1), (3) в области и докажем, что ее решение нулевое. Для этого сна-

чала построим решение первой краевой задачи для уравнения

2 2

= (t К*. + vt — Tdivx + dv = 0,

-x.x. Vt-Ld.Ux

l l l

i=1 i=l

(5)

с данными

v\s = *(г,в) = Tio(r), u\r =0,

(6)

где d(x, t) = e -Td*, Tx 0(r) e G, G — множество функций r(r) из класса C([0,l]) о C1 ((0,1))

i=1

Множество G плотно всюду в L2 ((0,l)) ([б]).

Решение задачи (5), (6) в полярных координатах будем искать в виде

ад

v(r,e, t) = Vw(r, t) + Tv n(r, t )cos n0 + v2n (r, t )sin nв), (7)

n=1

где v10 (r, t), vln (r, t), v2n (r, t) — функции, которые будут определены ниже. Подставляя (7) в (5), в полярных координатах будем иметь

(

L*iv = gi(t)

C0s evi0rr +

sin2 в ^

-v

10r

f

+ g2(t) Sin в V10r +

cos2 в ^

Л0г

V10t

— d1 (r,в, t)cos в v10r — d2(r,e, t)sinev10r + d(r, в,t)v10 +

+

Tj gi(t)

i=1

2

cos2 e(cos nev1nrr + sin n ev2nrr)+-----(cos n ev1nr + sin n ev2nr)+

r

n sin2e / . 4 n sin 2в / . „ \

+---------(sin n evinr — cos n ev2nr )+ „ 2 (cos n ev2n — sin n evin ) —

2r

r

22

n sin в ( . ч

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

---------(cos nevln + sin nev2 n)

+ g2 (t)[sin2 e(cos nevinrr + sin nev2nrr) +

n sin 2^/ . „ \ cos2 в

+-------(cos n вv2nr — sin ^v1nr)+-(cos ^v1nr — sin n вv2nr)+

n sin2^^. . ч n2 2„( n ■ n \

+-----—(sin nвvы — cos ^v^)—- cos в(cos nвvы + sin ^v^)

2r r

— vt cos ^ —

— v2nt sin nв — dj

cosв(cosnвvЫr + sin^v^^ nsinв (sinnвvы — cos^v^ )

— dn

sinв(cosnвvЫr + sinnвv2nr) + ПС°%в (cosnвv2n — sinnвvы)

r

+

+ d (cos nвvln + sin nвv2n)} = 0.

(8)

Теперь полученное выражение (8) сначала умножим на р(в) Ф 0 а затем проинтегрируем от

r

r

0 до 2ж . После несложных преобразований получим ряд

(g1 + g 2 ) р (и + !у ')_р р

~ р10| P10rr + P10r I р10иШ

2 \ r )

fa___g2) d (и _ I +

d101 и10 r r и10 1 +

ад [ 2

+ «10^ t)U 0r + C10(r, tК + X j X

2

fa + g2 )

r

2

pjn Uinrr +

1 n2 ^

+r ' _ rr Un

PjnUnt +

fa _ g 2 )

У

d„

n

2

и jnrr и jnr 2 ^^jn

V r r у

+

, (g 2 _ g1 ) _ ^ + 2 e'n

Л

и —^

jnr 2r

V 2r у

+ ajn (r,tU'nr + cjn fatfa

= 0,

(9)

Pn = J p(d)cosnddd, р2и = J psin nddd, dXn = J pcos 2dcos nddd,

0 0 0

2* 2* 2*

d2w = Jpcos2dsinnddd, eln =_Jpsin2dsinnddd,e2n = Jpsmldcosnddd,

0 0 0

2* 2*

а1и = Jp(_dYcosd _ d2 sind)cosnddd, a2n = Jp(_dYcosd _ d2 sind)sinnddd,

2*

c1n = Jp

0 L_

/ , • л , Д\Яsinnd

(_ d sin d + d2 cos d)---+ d cos n d

dd,

2*

C2n = JP 0 -

(_ d2 cos d + dx sin d) П cos nd + dsin nd

dd, n = 0,1,

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

g(t)РюГU10rr + ~ U10r l _ P10U10t = 0, g(t) = g1 (?)+ g2 (?),

10rr LT0r

V r

2

g (t )P

f

j1

1

и

j1

Uj1rr +~Uj1r _ 2

V j r r у

■ P10Uj1t

_(g2 _ g1 )d1

U,

10 и —1°^ — a и — c и

U10rr I u10LJ10r с10и10,

(10)

(11)

g(t р

у

1 _n_ |_ -

и jnrr + иjnr 2 Р'п | Pjnt

_ (g1 _ g 2 fa ( 1

V

r

27d I и. , _—и ,

jn _1r jn _1r

(n _1)2

2

и

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

r

2 jn_1

(g2 _ g1 _ l)

f

jn _1

и

и

jn _1r

jn _1

r

_ «jnЧ^г _ Cn^ j = 1,2, n = 2,3,••• •

Нетрудно показать, что если {и0, иуи } j = 1,2, n = 1,2, ... _ решение системы (10), (11), то оно является и решением уравнения (9).

„ Г1 „

Далее, учитывая ортогональность ([6]) систем тригонометрических функций j — ,cos nd, sin nd, n = 1,2, ...} на отрезке [0,2*] из краевого условия (6) в силу (7) будем иметь

n=1 I 2=1

1

2

0

0

r

2

2

r

40(r,p) = °. 4o(r,0) = rw(r), (12)

ир,(г,р) = 0, vIr,(r,0) = 0, j = 1,2, n = 1,2,.... (13)

Таким образом, задача (5), (6) сведена к системе задач для уравнений (ю),(и) с данными (12) и (13)- Теперь будем находить решения этих задач.

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

С

g (t)

1

n

2 Л

°nrr +~°nr--2 °n

у r r J

-°nt = fn (r, t),

(14)

где f (r, t) определяются из предыдущих уравнений этой системы, при этом f (r, t) = 0.

В [7] показано, что краевые задачи для уравнения (14) с условиями (12) и (13) имеют единственные решения.

Следовательно, сначала решив задачу (10), (12) (j = 1, n = 0), а затем (11), (13)

(j = 1,2, n = 1) и т.д. найдем последовательно все ц0(r, t), ojn (r, t), j = 1,2, n = 1,2,... .

Итак, показано, что

J p(e)L*ude = 0.

0

Пусть f (r,e,t) = R(r)р(в)Г(t), причем R(r)eV0, V0 — плотна в L2 ((0,1)),

Р(в) e C “ ((0,2^)) — плотна в L2((0,2л)), а T(t)e V1,V1 — плотна в L2 ((0, P)).. Тогда f (г, в, t) eV, V = V ® (0,2 л) ® V — -плотна в L2 (Dp ) [6].

(15)

Отсюда и из (15) следует, что

J f (r,e, t )L-1vdnf

= 0

и

L° = 0, v(r,e,t)eQ.p.

Таким образом, решение задачи (5), (6) построено.

Аналогичным образом, строится решение этой задачи, если т(т,в) = т1п(r)cosne + r2n(r)sinne, n = 1,2,....

Из определения взаимно-сопряженных операторов L, L*, ([7]) имеем

L-j g, (t )^-- + 't d, — + e,

1 V1 J5xf —t V dxt

L1 = V g1 (t)

52 5 ^ , 5

— V d — + d,

1 1 ^

t!" 1V '—x2 — t! 1 5Xi

vL{u — uL*v = —vP(u) + uP(v) — uvQ,

Q

P

2 2

где P(u) = Z (tК cos(n±,X )i Q = cos(nx , td cos(nx , t), a N1 - внутренняя нормаль к

i=1

i=1

границе dQp.

Отсюда, по формуле Грина, получим

| r(r,O)u(r, O,0)ds = 0. (16)

S

Поскольку система функций {l,COS nO, sin пв, п = 1,2, ...}плотна в Ь2((0,2^)) ([б]), то из (16) заключаем, что u(r, в,0) = 0, V(r, в) е S.

Сталь быть, по принципу экстремума для параболического уравнения решение задачи (1), (3) и = 0 в Qр ([8]).

В [9] показано, что если выполняется условие (4), то решение задачи (1), (2) в Qa и = 0. Теорема доказана.

Литература

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

Nakhushev A.M. 2006. Problems with a Shift for Partial Differential Equations. Moscow: Nauka (in Russian).

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

Vragov, V.N. 1983. Boundary Value Problems for Non-classical Equations of Mathematical Physics. Novosibirsk: NGU (in Russian).

3. Алдашев С. А. 1983. Корректность задачи Дирихле и Пуанкаре в цилиндрической области для вырождающихся многомерных гиперболических уравнений с оператором Чаплыгина. Научные ведомости БелГУ. Математика, Физика, Белгород: 2012, №5(124), вып. 6. -с.12-25.

Aldashev S. A. 2012. Correctness of Dirichlet’s and Poincare’s problems’ in cylindrical domain for degenerated multi-dimensional hyperbolic equations with CHapligin’s operator. Belgorod State University Scientific bulletin Mathematics & Physics, vol. 6. №5(124): 12-25 (in Russian).

4. Алдашев С. А. 2014. Задачи Дирихле и Пуанкаре в цилиндрической области для вырождающихся трехмерных гиперболических уравнений. Материалы IV межд. конференции "Математическая физика и ее приложения," СамГУ, Самара: 46

Aldashev S. A. 2014. Fourth international conference "Mathematical Physics and Its Applications" Samara state University, Samara: 46

5. Китайбеков Е. Т. 2016. Задача Дирихле для трехмерных гиперболо - параболических уравнений с вырождением типа и порядка. Вестник КазНУ им. Ал-Фараби. серия математика, механика, информатика. №1(88): 28-34.

Kitaybekov E. T. 2016. Dirichlet problem for three-dimensional hyperbolic-parabolic equations with type and order extinction. KazNU Bulletin. Mathematics, Mechanics, Computer Science Series, №1 (88): 28-34 (in Russian).

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

Kolmogorov, A.N., Fomin, S.V. 1976. Elements of the Theory of Functions and Functional Analysis. Moscow: Nauka (in Russian).

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

Smirnov V.I. 1981. A Course of Higher Mathematics. Vol. 4, part 2. Moscow: Nauka (in Russian).

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

Fridman A. 1968. Hyperbolic Partial Differential Equations. Moscow: Mir (in Russian).

9. Китайбеков Е. Т. 2016. Единственность решения задачи Дирихле в цилиндрической области для трехмерных гиперболических уравнений с вырождением типа и порядка. Журнал “Вычислительной и прикладной математики”, Киев: КНУ им. Т. Шевченко, № 3(123): 27-32.

Kitaybekov E. T. 2016. The uniqueness of the solution of Dirichlet problem in a cylindrical domain for three-dimensional hyperbolic equations with type and order degeneration. The journal “Computational and applied mathematics”, Kiev: KNU them. T. Shevchenko. No. 3(123): 27-32 (in Russian).

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