Научная статья на тему 'Об одной нелокальной краевой задаче с постоянными коэффициентами для многомерного уравнения смешанного типа'

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

CC BY
150
75
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МНОГОМЕРНОЕ УРАВНЕНИЕ СМЕШАННОГО ТИПА / MULTIDIMENSIONAL MIXED TYPE EQUATIONS / НЕЛОКАЛЬНАЯ КРАЕВАЯ ЗАДАЧА С ПОСТОЯННЫМИ КОЭФФИЦИЕНТАМИ / NONLOCAL BOUNDARY VALUE PROBLEM WITH CONSTANTS COEFFICIENTS / ОДНОЗНАЧНАЯ РАЗРЕШИМОСТЬ / UNIQUE SOLVABILITY / ГЛАДКОСТЬ ОБОБЩЕННОГО РЕШЕНИЯ / SMOOTHNESS OF THE GENERALIZED SOLUTION / МЕТОД ε-РЕГУЛЯРИЗАЦИИ / ε-REGULARIZATION METHOD / МЕТОД ГАЛЕРКИНА / GALERKIN METHOD

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

Рассматривается многомерное уравнение смешанного типа первого рода второго порядка с некоторыми условиями, накладываемыми на его коэффициенты. Для этого уравнения доказываются однозначная разрешимость и гладкость решения нелокальной краевой задачи с постоянными коэффициентами в пространствах С. Л. Соболева $W_{2}^{l}(Q)$, ($2\le l $ целое число). Сначала изучена однозначная разрешимость обобщённого решения из пространства $W_{2}^{2}(Q)$. Единственность обобщённого решения для поставленной задачи доказывается методом априорных оценок. Для доказательства существования обобщённого решения задачи использован метод ε-регуляризации в сочетании с методом Галеркина. Использование полученных априорных оценок и применение теоремы о слабой компактности позволило с помощью предельного перехода получить решение рассматриваемого уравнения. Далее изучен вопрос гладкости обобщенного решения поставленной задачи.

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

On a nonlocal boundary-value problem with constant coefficients for a multidimensional mixed type equation

In this paper the unique solvability and smoothness of generalized solution of a nonlocal boundary value problem with constant coefficients for the multidimensional mixed type equation of the first kind in Sobolev spaces $W_{2}^{l }(Q)$, ($2\le l $ is integer number), have been proved. First, the unique solvability of the generalized solution from space $W_{2}^{2 }(Q)$ has been studied. Further, the uniqueness of the generalized solution of nonlocal boundary value problem with constant coefficients for the multidimensional mixed type equation was proved by a priory estimates. For the proof of the existence of the generalized solution, we used method of `“ε-regularization” together with Galerkin method. Precisely, first, we study regular solvability of the nonlocal boundary value problem for the multidimensional mixed type equation by functional analysis methods, i.e. we obtained necessary a priory estimates for the considered problems. Using these estimates we solve composite type equation, then by the theorem on weak compactness, we pass to the limit and deduce to the multidimensional mixed type equation of the first kind. At the end, smoothness of the generalized solution of the considered problems has been discussed.

Текст научной работы на тему «Об одной нелокальной краевой задаче с постоянными коэффициентами для многомерного уравнения смешанного типа»

Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2017. Т. 21, № 4. С. 597—610 ISSN: 2310-7081 (online), 1991-8615 (print) d http://doi.org/10.14498/vsgtu1536

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

УДК 517.956.6

Об одной нелокальной краевой задаче с постоянными коэффициентами для многомерного уравнения смешанного типа

С. З. Джамалов

Институт математики им. В. И. Романовского Академии Наук Узбекистана,

Узбекистан, 100041, Ташкент, ул. Мирзо Улугбека, 81.

Аннотация

Рассматривается многомерное уравнение смешанного типа первого рода второго порядка с некоторыми условиями, накладываемыми на его коэффициенты. Для этого уравнения доказываются однозначная разрешимость и гладкость решения нелокальной краевой задачи с постоянными коэффициентами в пространствах С. Л. Соболева W2(Q), (2 ^ I — целое число). Сначала изучена однозначная разрешимость обобщённого решения из пространства W22(Q). Единственность обобщённого решения для поставленной задачи доказывается методом априорных оценок. Для доказательства существования обобщённого решения задачи использован метод е-регуляризации в сочетании с методом Галеркина. Использование полученных априорных оценок и применение теоремы о слабой компактности позволило с помощью предельного перехода получить решение рассматриваемого уравнения. Далее изучен вопрос гладкости обобщенного решения поставленной задачи.

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

Получение: 22 марта 2017 г. / Исправление: 28 ноября 2017 г. / Принятие: 18 декабря 2017 г. / Публикация онлайн: 22 декабря 2017 г.

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

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

Джамалов С. З. Об одной нелокальной краевой задаче с постоянными коэффициентами для многомерного уравнения смешанного типа // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2017. Т. 21, № 4. С. 597-610. doi: 10.14498/vsgtu1536. Сведения об авторе

Сирожиддин Зухриддинович Джамалов © http://orcid.org/0000-0002-3925-5129 кандидат физико-математических наук; старший научный сотрудник; отд. дифференциальных уравнений; e-mail: siroj63@mail.ru

Введение и постановки задачи. Известно [1], что задача Дирихле для уравнения смешанного типа первого рода некорректна. Естественно возникает вопрос: нельзя ли заменить условия задачи Дирихле другими условиями, которые охватывали бы всю границу и обеспечивали корректность задачи? Впервые такие краевые задачи были предложены и изучены в работах Т. Ш. Кальменова [2,3]. Как близкие по постановке изучаемых задач отметим также работы [4-7]. Краевые задачи с нелокальными условиями впервые возникли в работе Ф. И. Франкля при изучении газодинамической задачи об обтекании профилей потоком дозвуковой скорости со сверхзвуковой зоной, оканчивающейся прямым скачком уплотнения [8].

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

Пусть Q = (0, Т) х Л™=1 (аг, вг) — (п + 1)-мерный параллелепипед Евклидова пространства Мга+1 точек (¿,ж) = (£,х1,...,хп); 0 < аг < вг < Уг = 2,3,...,п; а1 < 0 < вь В области Q рассмотрим дифференциальное уравнение второго порядка

n „

Ьи = К(х)ии - -^—((Щ(х)пх^ + а(х,Ь)щ + c(ж,í)u = /(ж,í), (1)

г,3 = 1

где х1К(х) > 0 при х1 = 0, где х1 € (а1,в1), а1 < 0 < вь Здесь и всюду ниже предполагается, что все функции вещественнозначные и достаточно гладкие.

Уравнение (1) относится к уравнениям смешанного типа первого рода, так как на знак функции К(х) по переменной х1 внутри области Q не налагается никаких ограничений [2,9].

Предположим, что агц (х) = ацг(х), ац (а к) = ацг(вк) Ук = 1, 2 ,...,п и У{ € Мга |{|2 = ^П=1 Сг2; кроме этого, пусть выполнено одно из условий:

где а° > 0 — const;

aij(x)CiCj < ао|£Г

i,j=1

n

б) y^ aij (x)CiCj <

i,j=l

где a1 < 0 — const.

Через W2(Q) (1 ^ l — натуральное число) обозначим пространство С. Л. Соболева со скалярным произведением ( , ) и нормой || ■ ||г; W2°(Q) = L2(Q) — пространство квадратично-суммируемых функций. Рассматривается следующая

Нелокальная краевая задача. Найти обобщенное 'решение уравнения (1) из пространства С. Л. Соболева W2 (Q), удовлетворяющее нелокальным краевым условиям

7Dfu|t=o = DptU\t=T, (2)

niDPXiUL =a = DXUL = ft , (3)

где p = 0,1; y и п —не равные нулю константы, i = 1, 2,... ,n; D^u = ШЗ,

D°U = и.

Пусть V = (V, рХ1 , рХ2 ,..., рХп ) —единичный вектор внутренней нормали к границе д(5 [10,11], здесь

VI = со8^, ¿), vXi = cos(v, хг) Уг = 1,2,..., п.

При получении различных априорных оценок мы будем использовать неравенство Юнга

аРи2Р у2«

иь ^--1--,

2р 2да«'

справедливое Уи> 0,ь > 0, а > 0 и р > 1, д > 1 таких, что 1 + 1 = 1. Неравенство Юнга при р = д = 1 переходит в неравенство Коши с а [11].

Определение. Слабым обобщенным решением задачи (1)-(3) будем называть функцию и(х,£) из W1(Q), удовлетворяющую следующему интегральному тождеству:

f /1 n \ Г n

9(u,tf) = exp( --(Л t + V] ViXi)) K(x)ut$t - Y] aijuXi -

JQ V 2V i=1 y/L ij=i

Л n

- {^K(x)ut - yj ^ aijuXi + aut + dxdt =

i,j=1

= — exp f — 1 ^Лt + ^ yx^ j f-ddxdt, JQ \ i=i J

где $(x, t) G W^ (Q) — любая периодическая по переменным x = (x1, x2,..., xn) и времени t функция; Л, у = const такие, что у ^ 0, а Л > 0 для случая а) и Л < 0 для случая б).

1. Единственность решения нелокальной краевой задачи. Сначала рассмотрим случай l = 2. Предположим, что коэффициенты уравнения (1) являются достаточно гладкими функциями.

Теорема 1. Пусть выполнены вышеуказанные условия для коэффициентов уравнения (1); кроме этого, пусть

2a + ЛК(x) ^ ¿1 > 0, Лс - ct ^ ¿2 > 0,

где Л = T ln |y| > 0 при |y| > 1 в случае а) и Л = 2 ln |y| < 0 при |y| < 1 в случае б); |ni| ^ 1, c(x, 0) ^ c(x, T). Тогда для любой функции f G L2(Q), если существует обобщенное решение задачи (1)-(3) из пространства W|(Q), то оно единственно.

Доказательство. Пусть существует обобщенное решение задачи (1)-(3) u G W2(Q). В силу условий теоремы 1 и неравенства Коши с а [11] из задачи (1)-(3) интегрированием легко получить следующее неравенство:

2 Luexpl -Лt - V^yixi \ut dxdt ^

JQ V 1=i '

^ У exp ^—Xt — ^ ^(2a + XK)u2 + Xaijuxiuxj + (Xc — ct)u2^j dx dt-

- CTl|ux||0 — ^2а 1 ||utПо +

+ | exp^—Xt — ^ ViXi^ [k(x)u2Vt — 2aijuxiu^ —

— aij uxi uxj Vt + au2v^ ds, (4)

где 0 ^ = ln |ni|, 0 < di = (в — ai), а — коэффициент из неравенства Коши с а [11]. Условия теоремы 1 обеспечивают неотрицательность интегралов из (4) по области Q и по границе dQ. Так как u £ W22(Q) удовлетворяет краевым условиям (2), (3), для последнего интеграла из (4) имеем

У exp^—Xt — ¿ Vixi^ (k (x)u2vt — 2 aij uxi utVxi —

— aij uxi, uxj Vt + cu2vt^ ds =

Г Pi

= (exp(—XT)y2 — lW exp(—^ixi)K(x)(u°(x, 0) + u2x.(x, 0))dx+ Jai

í T

+ 2(exp(—^ДН2 — expfaiai)) exp(—Xt)uxi(—ai, t)ut(—ai, t)dt+

Jo

rfíi 3

+ exp(—^ixi)(yc(x, T)exp(—XT)y2 — c(x, 0))u2(x, 0)dx = Ji,

i=1

где 1 — граничные интегралы.

Учитывая условия теоремы 1, получим, что граничные интегралы .11 = 0, .2 = 0, а 1з ^ 0. Тогда из неравенства (4), отбрасывая положительный граничный интеграл, получим следующее неравенство:

2 Ьи ехр( — ХЬ — ^гхг \щ dxdt ^

Ья \ г=1 у

^ ехр( — ХЬ — ^Ц.гхА ^(2а + ХК(х))и2 + Хати2х. + (Хс — вг)и2^dxdt—

■Щ \ г=1 /

— а\\^У2 — ^2а-1Уи*У2, (5)

где ат = ао в случае а), ат = а1 в случае б). Выбирая коэффициенты

Хат — а ^ Х0 > 0, ¿1 — ц2а-1 > 50 > 0, из неравенства (5) получим необходимую первую оценку1

lu||1 < ||o,

1 Через т здесь и далее обозначены положительные, вообще говоря, разные постоянные в аналогичных неравенствах.

из которой следует единственность обобщенного решения задачи (1)—(3) из Wf(Q) [10,11]. □

2. Уравнения третьего порядка. Для доказательства существования решения задачи (1)-(3) из W22(Q) используем метод «<е-регуляризации» в сочетании с методом Галеркина [4,5,9-11].

Рассмотрим нелокальную задачу для уравнения третьего порядка

d3u

L£u£ = -е-^ + LUe = f (x, t), (6)

YfD\u |t=0 = Dq< us\t=T, q = 0,1, 2, (7)

mDl.uJ = Dl.uJ e , p = 0,1, (8)

" xi Xi=ai xi a\xi=ßi' 1 ' ' v '

где D<tu = du, q = 0,1, 2; Dt0u = u; е — достаточно малое положительное число; ni, Y — не равные нулю константы, причем |y| > 1 в случае a), |y| < 1 в случае б), |ni| ^ 1.

Уравнение третьего порядка (6) будем использовать в качестве е-регуля-ризирующего уравнения для уравнения (1) [4,5,9,10].

Всюду ниже через V будем обозначать класс функций u£(x,t) £ Wf(Q), ^эЦг £ L2(Q), удовлетворяющих соответствующим условиям (7), (8).

Определение. Регулярным решением задачи (6)-(8) будем называть функцию u£(x,t) £ V, удовлетворяющую уравнению (6).

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

2a + AK(x) ^ ¿1 > 0, Ac - ct ^ ¿2 > 0,

где Л = T Ы > 0 при |y| > 1 в случае а) и Л = T ln Ы < 0 при |y| < 1 в случае б); |ni| ^ 1, c(x, 0) = c(x,T), a(x, 0) = a(x,T). Тогда для любой функции f, ft £ L2(Q), такой, что yf (x, 0) = f (x,T), существует единственное регулярное 'решение задачи (6)-(8) и для нее справедливы следующие априорные оценки:

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

е

д 3u

d2u

dt3

dt2 2

2

0 + 1Ы2 < m\\f 110, (9)

+ \\u\\2 < m (\\f\\0 + \\ft\\§) . (10)

Доказательство. Доказательство теоремы 2 осуществляется поэтапно с применением метода Галеркина с выбором специальной базисной функции. Доказательство первой априорной оценки (9) проводится так же, как и доказательство теоремы 1, из которой следуют единственность регулярного решения задачи (6)-(8) и существование слабого решения задачи (1) [11].

Рассмотрим следующие спектральные задачи:

-АхХз = и]Х3 (х);

БХ- Х,| = Х,| ., р = 0,1; (11)

х 31х; =«; х 3 1x1=131' Г ' '

е

0

—Т'(Ь) = ф} (Ь); (12)

Б Т} |(=о = Б Т}\}=т, р = 0,1. (12)

Через фц(х,Ь) = Xц(х)Тц(Ь) обозначим собственные функции, как решение задачи (11), (12). Из общей теории линейных самосопряженных эллиптических операторов [11,12] известно, что последовательность функций фц(х,Ь) — собственных функций задачи (11), (12), образует фундаментальную систему в W2(Q), ортогональную в Ь2^). С помощью этих функций построим решение вспомогательной задачи

/ 1 п \

ехЫ — ^ХЬ + 2/лгх^ = фц, (13)

^ г=1 '

^Ш}(х, 0) = Шц(х,Т), (14)

где 7 — не равная нулю константа такая, что |7| > 1 в случае а) и |7| < 1 в случае б); 0 ^ = ^1пг|, 1пг| ^ 1. Очевидно, что задача (13), (14) однозначно разрешима и её решение имеет вид

Ш = £-1ф} = ехр(^2 ехР(Т)ф}^+

+ У ехр(у)<МЬ).

Ясно, что функции Шц = Шц(х,Ь) € W2(Q) линейно независимы. Действительно, если для какого-нибудь набора функций Шц линейная комбинация ц сцШц = 0, то при действии оператором £ на эту сумму имеем

N N

2 сц £ш = 2 сц фц = 0

ц=1 ц=1

отсюда следует, что для всех ] = 1, 2,..., N коэффициенты сц = 0.

Отметим, что из построения функции фц(х, Ь) следуют следующие условия на функции Шц(х,Ь):

Шг\=0 = БШг|4=т, д = 0,1, 2; (15)

Пг^2Хг Шг\хг=аг = В2Хг Ш^ , р = 0 1. (16)

Теперь приближенное решение задачи (6)-(8) будем искать в виде и> = ^ = ^-=1 сцШц, где коэффициенты сц для любого ^ = 1, 2,..., N определяются как решение линейной алгебраической системы

I Ьеи^ ехр^ —1 ^ХЬ + 2\фцdxdt =

■Щ \ г=1 /

= I /ехр^ — ^ХЬ + 2Vгхг) Jфjdxdt. (17)

■¡Я \ г=1 /

Покажем однозначную разрешимость алгебраической системы (17). Умножая каждое уравнение из (17) на коэффициент 2с3 и суммируя по индексу ] от 1 до N, с учетом задач (13), (14) из (17) получим следующее тождество:

У Ь£ш ехр^—^М + ^ ^гХг^ wtdxdt =

= | /ехр^—+ ^^гХг^wtdxdt. (18)

В силу условий теоремы 2, интегрируя (18), для приближенного решения задачи (6)-(8) получим первую априорную оценку (9). Отсюда вытекает разрешимость алгебраической системы (17), ибо для нее имеет место теорема единственности решения. В частности, из оценки (9) получим существование слабого обобщенного решения задачи (1)-(3) [10,11]. Действительно, благодаря неравенству (9) по известной теореме о слабой компактности можно заключить, что из множества функций {и^ можно извлечь слабо сходящуюся

подпоследовательность функций в ^2(Я) такую, что {и^} ^ и при Nj ^ 0, ^ 0. На основании этого и в силу единственности решения нетрудно показать, что предельная функция и € ^2(Я) из тождества (17) удовлетворяет интегральному тождеству в смысле распределения:

9(и, д) = — i ехр^ — ^м + ^ щх^ \/'&схль,

■Щ \ г=1 '

где € (Я) — любая периодическая по переменным х = (х1, х2,..., хп)

и времени t функция [10,11].

Перейдем к доказательству второй априорной оценки (10). Дифференцируя уравнение (13) по переменной t два раза и учитывая условие задачи (15), (16), из тождества (17), получим

1 [ т ( 1 Л Л д2£ш1 , ,

— Т2 У L£W ех^—2 \ + ^гХг) ) dxdt =

у-' j

Я

= — Г2 I/ ехр( —+ ^ СХЛЬ. (19

г=1

Умножая каждое уравнение из (19) на 2т2Cj и суммируя по индексу ^ от 1 до N, с учетом условий (15), (16) из (19) получим следующее тождество:

1 Л ^ Л д2^

[ т ( 1 Л ^ Л д2^ , ,

— 2 ^ L£W ехр|^—2У М + УгХг)^ dxdt =

= —2^ / ехр^—2 (м + ^ МгХг^ ^^СХЛЬ, (20

где

дГ£'

6ХР(-2(ХЬ + 2^гХг)) (д33 — Хтл + Т)

^ г=1 '

Учитывая условия теоремы 2 и краевые условия (15), (16), после интегрирования (20) и применения неравенства Юнга получим следующее неравенство:

т(Ш0 + II/110) > е

д 3'

дЬ3

+

л Ю

+ ехр( — ХЬ —V ^гХгМ(2а + ХК(х))ш2* + Хат'Гх.)йхйЬ+

~ п

+ ехр(—ХЬ — 2^гхг) ((к(х)'* + 2а'*'Ы — 2ат+ 2сдашй)^— ■)дЯ г=1

2аг^ йв — + Н'йН2) — с(а)|ад|Г = 71 + .1г, (21)

где а и с(а) — коэффициенты неравенства Юнга; — интеграл по области Q, ■]г — интеграл по границе дQ. Учитывая условие теоремы 2 и краевые условия (15), (16), получим, что 31 > 0 и 7Г = 0. Пусть §3 = ш1п{^1,Хат}. Выбирая 5з — а > §0 > 0, из неравенства (21) получим вторую необходимую оценку:

д 3иN

дь3

+ Ци:

N ||Г £И\\ 0

+ Ни

N

12

£ХгЦ\ 0

^ т

+ II/*

* по;

(22)

Следовательно, полученные оценки (9), (19)—(22) позволяют выполнить предельный переход при N ^ те и заключить, что некоторая подпоследовательность {и^} сходится в силу единственности (теорема 1) в Ьг(О) вместе

N ^

с производными первого порядка и производными и£к, второго порядка к искомому регулярному решению и£ = и£(х,Ь) задачи (6)-(8), обладающему свойствами, указанными в теореме 2. В силу единственности (теорема 1) на самом деле вся последовательность {uN} сходится к этому решению, т. е. для функции и£ в силу (22) справедливо неравенство

д3и£

дь3

н 112 н 112

+ ПииПо + ||и

£ Хг *1|0 ^ т

+ II/*

Ш

(23)

Далее, семейство функций {и£} (е > 0) удовлетворяет эллиптическому уравнению

п

д V

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

Еи£ = — 2 (а%]и£хг )хз = / + е-д~3г — К(х)^« — ащ* — си£ = Г£ 1,3 = 1

с условиями (7), (8). Из априорной оценки (23) следует, что семейство функций {^£} (е > 0) равномерно ограничено в норме пространства Ьг^), т. е. имеет место неравенство

1^0 < т{II/ПГ + Ц/*МГ> < mп/ИГ.

(24)

2

0

2

е

0

0

2

е

0

0

На основании априорных оценок для эллиптических уравнений [9,11] и неравенства (24) получим

КН2 < т\\/|Ц.

Объединяя неравенства (23) и (24), получим необходимую вторую априорную оценку (10). Тем самым доказана теорема 2. □

3. Существование решения задачи (1)—(3). Теперь с помощью метода «е-регуляризации» покажем разрешимость задачи (1)-(3).

Теорема 3. Пусть выполнены все условия теоремы 2. Тогда обобщенное решение задачи (1)-(3) из пространства (Я) существует и единственно.

Доказательство. Единственность обобщенного решения задачи (1)-(3) из W|(Q) доказана в теореме 1. Теперь докажем существование обобщенного решения задачи (1)-(3) из W2(Q). Для этого в области Я рассмотрим уравнение (6) с краевыми условиями (7), (8) при е > 0. Так как выполнены все условия теоремы 2, существует единственное регулярное решение задачи (6)-(8) при е > 0 и для нее справедливы априорные оценки (9) и (10). Отсюда по известной теореме о слабой компактности [11] следует, что из множества функций {и£} (е > 0) можно извлечь слабо сходящуюся подпоследовательность функций в V такую, что {и^} ^ и при ег ^ 0. Покажем, что предельная функция и(х,Ь) удовлетворяет уравнению (1) почти всюду. В самом деле, так как последовательность {и^} слабо сходится в W|(Q) и последовательность { ^Ц4 } (е > 0) равномерно ограничена в L2(Q), а оператор L — линейный, имеем

д3и д3и

Lu — / = Lu — Lu£i + ег-^ = L(u — и^) + ег-^. (25)

Переходя в (25) к пределу при ег ^ 0, получаем единственность обобщенного решение задачи (1)-(3) из W22(Q) [9,11]. Таким образом, теорема 3 доказана. □

4. Гладкость обобщенного решения. Теперь рассмотрим более общий случай, когда I ^ 3. Всюду ниже для простоты предполагаем, что коэффициенты уравнения (1) бесконечно дифференцируемы в замкнутой области Q.

Теорема 4. Пусть выполнены условия теоремы 3, кроме того, пусть

Ора\ = Ора\ ЦРС\ = ОрС\

Dt t=0 = ^ t=т, ^ С|t=0 = ^ С\t=T.

Тогда для любой функции / (х, ^ такой, что

/ € WP(Q), / € L2(Q), 1йР/1=о = Щ/\=Т, Р = 0,1,2,... ,т — 1

существует, и притом единственное, обобщенное решение задачи (1)-(3) из пространства Wm+1(Q), где т = 1, 2, 3,...

Доказательство. Из гладкости решения задачи (11)-(14) возникает следующее условие для приближенного решения задачи (6)-(8):

w = иN € С™^)-,

YDtw\t=0 = D^w\t=т, q = 0,1, 2,...; гцБ1!. w\ = DX. w\ а, р = 0,1.

" xi \xi=ai xi I Xi 1 '

Учитывая условия теоремы 2 при е > 0 и нелокальные условия при t = 0, t = Т, из равенства

I xt \т Y=T

exp( - 2 L£u£

t=0

—e exp--

Xt \ д3u

2 J dt3

+ exp(—X2^)LUa

t=T t=0

, Xt \ . ,it=T exp( — ~2)f (x,t)\t=0

получим

YU£ttt(x, 0) — u£ttt(x, T) ||0 ^ const.

Отсюда следует, что функция v£(x,t) = u£t(x,t) принадлежит классу V и удовлетворяет следующему уравнению:

P£V£ = L£V£ = ft - ütU£t - CtU£ = F£.

Из теоремы 2 следует, что семейство функций {F£} равномерно ограничено в пространстве L2(Q), т. е.

IlFjo < m(Mf MO + IlftMo)-

Из условий теоремы 3 легко получить, что оператор P£ (е > 0) удовлетворяет условиям теоремы 4, отсюда на основании оценок (9), (10) теоремы 2 для функции v£ получим аналогичные оценки:

d2ve

dt2

д 3V£ 2

dt3

+ llvJi ^ m

+ ||v£12 ^ m

0 + llft ll0)

1 + llft

tt|0j

Далее, функция и£ удовлетворяет параболическому (или обратно параболическому) уравнению

Пи£ = U£t — (üij U£Xi

i,j=l

д 3 и£

= f + s-^f - K(x)u£tt - (a - 1)u£t - cu£ = $£

с условиями (7), (8); причем Ф£ G L2(Q), а в силу выше доказанного семейство функций {Ф£} равномерно ограничено в пространстве W22(Q), т. е.

Iф£N2 < m(llf ll2 + llfttllo) < mlf ll2.

(26)

2

e

0

2

e

X

На основании априорных оценок для параболических уравнений [11] и неравенства (26) получим

КИ3 < тЦ/ИГ.

Аналогично доказываются неравенства

КИГ+г < т II/ Цр+1, р = 1,2,3,...

Замечание. Видно, что знак квадратичной формы в постановке задачи (1)-(3) существенной роли не играет, хотя в случае а) в класс уравнений (1) входят параболические уравнения, а в случае б) — обратно-параболические уравнения. Тем не менее для задачи (1)-(3) в обоих случаях получены аналогические результаты, которые отличаются лишь ограничением на 7: в случае а) |71 > 1, а в случае б) |7| < 1. Следующие примеры показывают, что ограничения на 7 являются существенными и при невыполнении этих условий единственность решения задачи (1)-(3) нарушается.

Пример 1. В прямоугольнике Q = (0,1) х (0,Т) рассмотрим следующую модельную задачу:

Р1и = и* — ихх = 0, 7и(х, 0) = и(х, Т), и(0,Ь) = и(1,Ь) = 0.

Решая эту задачу методом Фурье, найдем ^к = ехр(—Х^Т) < 1, Хи = 2пк/1, к = 0,1, 2,.... Нетрудно проверить, что все условия теоремы 1 выполнены, но несмотря на это функции ии = Си ехр(—ХкЬ) вт(Хкх) (где Си — произвольные постоянные) — нетривиальные решения этой краевой задачи.

Пример 2. В прямоугольнике Q рассмотрим такую модельную задачу:

Рги = и* + ихх = 0, 7и(х, 0) = и(х, Т), и(0,Ь) = и(1,Ь) = 0.

Решая эту задачу методом Фурье, убеждаемся, что нетривиальными решениями этой задачи являются функции ии = Си ехр(ХкЬ) зт(Хкх) с произвольными Си. В этом случае 7к = ехр(ХкТ) > 1.

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

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

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

1. Бицадзе А. В. Некорректность задачи Дирихле для уравнений смешанного типа // ДАН СССР, 1953. Т. 122, №2. С. 167-170.

2. Кальменов Т. Ш. О полупериодической задаче Дирихле для одного класса уравнений смешанного типа// Дифференц. уравнения, 1978. Т. 14, №3. С. 546-547.

3. Кальменов Т. Ш., Садыбеков М. А. О задаче Дирихле и нелокальных краевых задачах для волнового уравнения// Дифференц. уравнения, 1990. Т. 26, №1. С. 60-65.

4. Джамалов С. Об одной нелокальной краевой задачи для уравнения смешанного типа второго рода второго порядка// Узбек. мат. ж., 2014. №1. С. 5-14.

5. Джамалов С. Об одной нелокальной краевой задаче с постоянными коэффициентами для уравнения Трикоми// Узбек. мат. ж., 2016. №2. С. 51-60.

6. Сабитов К. Б. Задача Дирихле для уравнений смешанного типа в прямоугольной области// Докл. РАН, 2007. Т. 413, №1. С. 23-26.

7. Цыбиков Б Н. О корректности периодической задачи для многомерного уравнения смешанного типа / Неклассические уравнения математической физики; ред. В. Н. Врагов. Новосибирск: СО АН СССР, 1986. С. 201-206.

8. Франкль Ф. И. О задачах С. А. Чаплыгина для смешанных до- и сверхзвуковых течений// Изв. АН СССР. Сер. матем., 1945. Т. 9, №2. С. 121-143.

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

10. Кожанов А. И. Краевые задачи для уравнений математической физики нечетного порядка. Новосибирск: Новосиб. ун-т, 1990. 132 с.

11. Ладыженская О. А. Краевые задачи математической физики. М.: Наука, 1973. 408 с.

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

12. Березанский Ю. М. Разложение по собственным функциям самосопряженных операторов. Киев: Наукова думка, 1965. 798 с.

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

[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2017, vol. 21, no. 4, pp. 597-610 ISSN: 2310-7081 (online), 1991-8615 (print) d http://doi.org/10.14498/vsgtu1536

MSC: 35M10, 35M12

On a nonlocal boundary-value problem with constant coefficients for a multidimensional mixed type equation

S. Z. Dzhamalov

V. I. Romanovskiy Institute of Mathematics, Uzbekistan Academy of Sciences,

81, Mirzo Ulugbek st., Tashkent, 100041, Uzbekistan.

Abstract

In this paper the unique solvability and smoothness of generalized solution of a nonlocal boundary value problem with constant coefficients for the multidimensional mixed type equation of the first kind in Sobolev spaces Wr,(Q), (2 < l is integer number), have been proved. First, the unique solvability of the generalized solution from space W|(Q) has been studied. Further, the uniqueness of the generalized solution of nonlocal boundary value problem with constant coefficients for the multidimensional mixed type equation was proved by a priory estimates. For the proof of the existence of the generalized solution, we used method of" e-regularization" together with Galerkin method. Precisely, first, we study regular solvability of the nonlocal boundary value problem for the multidimensional mixed type equation by functional analysis methods, i.e. we obtained necessary a priory estimates for the considered problems. Using these estimates we solve composite type equation, then by the theorem on weak compactness, we pass to the limit and deduce to the multidimensional mixed type equation of the first kind. At the end, smoothness of the generalized solution of the considered problems has been discussed.

Keywords: multidimensional mixed type equations, nonlocal boundary value problem with constants coefficients, unique solvability, smoothness of the generalized solution, e-regularization method, Galerkin method.

Received: 22nd March, 2017 / Revised: 28th November, 2017 / Accepted: 18th December, 2017 / First online: 22nd December, 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 funding.

Research Article

3 ©® 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:

Dzhamalov S. Z. On a nonlocal boundary-value problem with constant coefficients for a multidimensional mixed type equation, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2017, vol. 21, no. 4, pp. 597-610. doi: 10.14498/vsgtu1536 (In Russian). Author's Details:

Sirojiddin Z. Dzhamalov © http://orcid.org/0000-0002-3925-5129

Cand. Phys. & Math. Sci., Professor; Senior Researcher; Dept. of Differential Equations;

e-mail: siroj63@mail.ru

Acknowledgments. I am grateful to the anonymous referee for careful reading of the paper and valuable comments. Finally, I would like to thank the team at journal editorial board for preparing the manuscript for publication.

References

1. Bitsadze A. V. Incorrectness of Dirichlet's problem for the mixed type of equations in mixed regions, Dokl. Akad. Nauk SSSR, 1958, vol. 122, no. 2, pp. 167-170 (In Russian).

2. Kal'menov T. Sh The semiperiodic Dirichlet problem for a class of equations of mixed type, Differ. Uravn., 1978, vol. 14, no. 3, pp. 546-547 (In Russian).

3. Kal'menov T. Sh., Sadybekov M. A. The Dirichlet problem and nonlocal boundary value problems for the wave equation, Differ. Equ., 1990, vol. 26, no. 1, pp. 55-59.

4. Dzhamalov S. On a nonlocal boundary-value problem for a second-order mixed type equation of the second kind, Uzbek Mathematical Journal, 2014, no. 1, pp. 5-14 (In Russian).

5. Dzhamalov S. On a nonlocal boundary-value problem with constant coefficients for the Tricomi equation, Uzbek Mathematical Journal, 2016, no. 2, pp. 51-60 (In Russian).

6. Sabitov K. B. The Dirichlet problem for equations of mixed type in a rectangular domain, Dokl. Math., 2007, vol.75, no. 2, pp. 193-196.

7. Tsybikov B N. Well-posedness of a periodic problem for a multidimensional equation of mixed type, In: Nonclassical partial differential equations, Collect. Sci. Works ; ed. V. N. Vragov. Novosibirsk, 1986, pp. 201-206 (In Russian).

8. Frankl F. I. On the problems of Chaplygin for mixed sub- und supersonic flows, Izv. Akad. Nauk SSSR, Ser. Mat., 1945, vol.9, no. 2, pp. 121-143 (In Russian).

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

10. Kozhanov A. I. Kraevye zadachi dlia uravnenii matematicheskoi fiziki nechetnogo poriadka [Boundary value problems for the equations of mathematical physics of odd order]. Novosibirsk, Novosibirsk State Univ., 1990, 132 pp. (In Russian)

11. Ladyzhenskaya O. A. The boundary value problems of mathematical physics, Applied Mathematical Sciences, vol. 49. New York etc., Springer Verlag, 1985, xxx+322 pp. doi: 10.1007/ 978-1-4757-4317-3.

12. Berezanskii Yu. M. Expansion in eigenfunctions of self-adjoint operators, Translations of Mathematical Monographs, vol. 17. Providence RI, American Mathematical Society, 1968, ix+809 pp.

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