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

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

CC BY
0
0
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
уравнение смешанного типа второго рода / нелокальная краевая задача / преобразование Фурье / методы "ε -регуляризации" и априорных оценок / mixed-type equation of the second kind / nonlocal boundary value problem / Fourier transform / methods of "ε-regularization"and a priori estimates

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

Как известно, в работе А.В. Бицадзе показано, что задача Дирихле для уравнения смешанного типа некорректна. Естественно возникает вопрос: нельзя ли заменить условия задачи Дирихле другими условиями, охватывающими всю границу, которые обеспечивают корректность задачи? Впервые такие краевые задачи (нелокальные краевые задачи) для уравнения смешанного типа были предложены и изучены в работах Ф.И. Франкля при решении газодинамической задачи об обтекании профилей потоком дозвуковой скорости со сверхзвуковой зоной, оканчивающейся прямым скачком уплотнения. Близкие по постановке задачи для уравнения смешанного типа второго рода второго порядка, имеются в работах А.Н. Терехова, С.Н. Глазатова, М.Г. Каратопраклиевой и С.З. Джамалова. В этих работах для уравнения смешанного типа второго рода второго порядка изучены нелокальные краевые задачи в ограниченных областях. Такие задачи для уравнения смешанного типа первого рода в трехмерном случае (в частости, для уравнения Трикоми) в неограниченных областях изучены в работах С.З. Джамалова и Х. Туракулова. Для уравнений смешанного типа второго рода в неограниченных областях нелокальные краевые задачи в многомерном случае практически не исследованы. С этой целью в данной работе в неограниченном параллелепипеде формулируется и изучается нелокальная краевая задача периодического типа для трехмерного уравнения смешанного типа второго рода второго порядка. Для доказательства единственности обобщённого решения используется метод интегралов энергии. Для доказательства существования обобщённого решения сначала используется преобразование Фурье и в результате получается новая задача на плоскости, а для разрешимости этой задачи используется методы "εрегуляризации"и априорных оценок. Используя эти методы, и равенство Парсеваля, докажем единственность, существование и гладкость обобщённого решения одной нелокальной краевой задачи периодического типа для трехмерного уравнения смешанного типа второго рода второго порядка.

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

Похожие темы научных работ по математике , автор научной работы — Джамалов Сирожиддин Зухриддинович, Сипатдинова Бийбиназ Кенесбайевна

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

On a nonlocal boundary value problem of periodic type for the three-dimensional mixed-type equations of the second kind in an infinite parallelepiped

As is known, A.V. Bitsadze in his studies pointed out that the Dirichlet problem for a mixed-type equation, in particular for a degenerate hyperbolic-parabolic equation, is ill-posed. The question naturally arises: is it possible to replace the conditions of the Dirichlet problem with other conditions covering the entire boundary, which will ensure the well-posedness of the problem? For the first time, such boundary value problems (nonlocal boundary value problems) for a mixed-type equation were proposed and studied in the works of F.I. Frankl when solving the gas-dynamic problem of subsonic flow around airfoils with a supersonic zone ending in a direct shock wave. Problems close in formulation to a mixed-type equation of the second order were considered in the studies by A.N. Terekhov , S.N. Glazatov, M.G. Karatopraklieva and S.Z. Dzhamalov. In these papers, nonlocal boundary value problems in bounded domains are studied for a mixed-type equation of the second kind of the second order. Such problems for a mixed-type equation of the first kind in the three-dimensional case (in particular, for the Tricomi equation) in unbounded domains are studied in the works of S.Z. Dzhamalov and H. Turakulov. For mixed-type equations of the second kind in unbounded domains, nonlocal boundary value problems in the multidimensional case are practically not studied. In this article, nonlocal boundary value problem of periodic type for a mixed-type equation of the second kind of the second order, is formulated and studied in an unbounded parallelepiped. To prove the uniqueness of the generalized solution, the method of energy integrals is used. To prove the existence of a generalized solution, the Fourier transforms is used and as a result, a new problem is obtained on the plane. And for the solvability of this problem, the methods of "ε-regularization"and a priori estimates are used. The uniqueness, existence, and smoothness of a generalized solution of a nonlocal boundary value problem of periodic type for a three-dimensional mixed-type equation of the second kind of the second order are proved using above-mentioned methods and Parseval equality.

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

Вестник КРАУНЦ. Физ.-мат. науки. 2023. Т. 42. №1. C. 58-68. ISSN 2079-6641

МАТЕМАТИКА

d https://doi.org/10.26117/2079-6641-2023-42-1-58-68 Научная статья

Полный текст на русском языке УДК 517.956.6

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

С. З. Джамалов*, Б. К. Сипатдинова*

Институт математики имени В. И. Романовского АН РУз, Республика Узбекистан, 100174, г. Ташкент, ул. Университетская, 4б.

Аннотация. Как известно, в работе А.В. Бицадзе показано, что задача Дирихле для уравнения смешанного типа некорректна. Естественно возникает вопрос: нельзя ли заменить условия задачи Дирихле другими условиями, охватывающими всю границу, которые обеспечивают корректность задачи? Впервые такие краевые задачи (нелокальные краевые задачи) для уравнения смешанного типа были предложены и изучены в работах Ф.И. Франкля при решении газодинамической задачи об обтекании профилей потоком дозвуковой скорости со сверхзвуковой зоной, оканчивающейся прямым скачком уплотнения. Близкие по постановке задачи для уравнения смешанного типа второго рода второго порядка, имеются в работах А.Н. Терехова, С.Н. Глазатова, М.Г. Каратопраклиевой и С.З. Джамалова. В этих работах для уравнения смешанного типа второго рода второго порядка изучены нелокальные краевые задачи в ограниченных областях. Такие задачи для уравнения смешанного типа первого рода в трехмерном случае (в частости, для уравнения Трикоми) в неограниченных областях изучены в работах С.З. Джамалова и Х. Туракулова. Для уравнений смешанного типа второго рода в неограниченных областях нелокальные краевые задачи в многомерном случае практически не исследованы. С этой целью в данной работе в неограниченном параллелепипеде формулируется и изучается нелокальная краевая задача периодического типа для трехмерного уравнения смешанного типа второго рода второго порядка. Для доказательства единственности обобщённого решения используется метод интегралов энергии. Для доказательства существования обобщённого решения сначала используется преобразование Фурье и в результате получается новая задача на плоскости, а для разрешимости этой задачи используется методы "е-регуляризации"и априорных оценок. Используя эти методы, и равенство Парсеваля, докажем единственность, существование и гладкость обобщённого решения одной нелокальной краевой задачи периодического типа для трехмерного уравнения смешанного типа второго рода второго порядка.

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

Получение: 11.08.2022; Исправление: 05.12.2022; Принятие: 24.03.2023; Публикация онлайн: 15.04.2023

Для цитирования. Джамалов С. З., Сипатдинова Б. К. Об одной нелокальной краевой задаче периодического типа для трехмерного уравнения смешанного типа второго рода в неограниченном параллелепипеде // Вестник КРАУНЦ. Физ.-мат. науки. 2023. Т. 42. № 1. C. 58-68. EDN: GMDAQU. https://doi.org/10.26117/2079-6641-2023-42-1-58-68.

Финансирование. Авторы признательны за финансовую поддержку Министерству инновационного развития Республики Узбекистан, Грант №. Ф-ФА-2021-424.

Конкурирующие интересы. Конфликтов интересов в отношении авторства и публикации нет. Авторский вклад и ответственность. Авторы участвовали в написании статьи и полностью несут ответственность за предоставление окончательной версии статьи в печать.

* Корреспонденция: А E-mail: siroj63@mail.ru, sbiybinaz@mail.ru

Контент публикуется на условиях Creative Commons Attribution 4.0 International License © Джамалов С.З., Сипатдинова Б. К., 2023

© ИКИР ДВО РАН, 2023 (оригинал-макет, дизайн, составление)

Vestnik ^AUNC. Fiz.-Mat. nauki. 2023. vol. 42. no. 1. P. 58-68. ISSN 2079-6641

MATHEMATICS

" https://doi.org/10.26117/2079-6641-2023-42-1-58-68 Research Article Full text in Russian MSC 35B10

On a nonlocal boundary value problem of periodic type for the three-dimensional mixed-type equations of the second kind in an

infinite parallelepiped

S.Z. Dzhamalov*, B.K. Sipatdinova*

Institute of Mathematics named after V. I. Romanovskiy, Academy of Sciences of the Republic of Uzbekistan, 100174, Tashkent, Universitet str., 4b, Uzbekistan

Abstract. As is known, A.V. Bitsadze in his studies pointed out that the Dirichlet problem for a mixed-type equation, in particular for a degenerate hyperbolic-parabolic equation, is ill-posed. The question naturally arises: is it possible to replace the conditions of the Dirichlet problem with other conditions covering the entire boundary, which will ensure the well-posedness of the problem? For the first time, such boundary value problems (nonlocal boundary value problems) for a mixed-type equation were proposed and studied in the works of F.I. Frankl when solving the gas-dynamic problem of subsonic flow around airfoils with a supersonic zone ending in a direct shock wave. Problems close in formulation to a mixed-type equation of the second order were considered in the studies by A.N. Terekhov , S.N. Glazatov, M.G. Karatopraklieva and S.Z. Dzhamalov. In these papers, nonlocal boundary value problems in bounded domains are studied for a mixed-type equation of the second kind of the second order. Such problems for a mixed-type equation of the first kind in the three-dimensional case (in particular, for the Tricomi equation) in unbounded domains are studied in the works of S.Z. Dzhamalov and H. Turakulov. For mixed-type equations of the second kind in unbounded domains, nonlocal boundary value problems in the multidimensional case are practically not studied. In this article, nonlocal boundary value problem of periodic type for a mixed-type equation of the second kind of the second order, is formulated and studied in an unbounded parallelepiped. To prove the uniqueness of the generalized solution, the method of energy integrals is used. To prove the existence of a generalized solution, the Fourier transforms is used and as a result, a new problem is obtained on the plane. And for the solvability of this problem, the methods of "e-regularization"and a priori estimates are used. The uniqueness, existence, and smoothness of a generalized solution of a nonlocal boundary value problem of periodic type for a three-dimensional mixed-type equation of the second kind of the second order are proved using above-mentioned methods and Parseval equality.

Key words: mixed-type equation of the second kind, nonlocal boundary value problem, Fourier transform, methods of "t-regularization"and a priori estimates.

Received: 11.08.2022; Revised: 05.12.2022; Accepted: 24.03.2023; First online: 15.04.2023

For citation. Dzhamalov S. Z., Sipatdinova B. K. On a nonlocal boundary value problem of periodic type for the three-dimensional mixed-type equations

of the second kind in an infinite parallelepiped. Vestnik KRAUNC. Fiz.-mat. nauki. 2023,42: 1,58-68. EDN: GMDAQU. https://doi.org/10.26117/2079-6641-2023-42-1-58-68.

Funding. The authors acknowledge financial support from the Ministry of Innovative Development of the Republic of Uzbekistan, Grant no. F-FA-2021-424.

Competing interests. There are no conflicts of interest regarding authorship and publication.

Contribution and Responsibility. All authors contributed to this article. Authors are solely responsible for providing the final version of the article in print. The final version of the manuscript was approved by all authors. 'Correspondence: A E-mail: siroj63@mail.ru, sbiybinaz@mail.ru ^jj

The content is published under the terms of the Creative Commons Attribution 4.0 International License © Dzhamalov S. Z., Sipatdinova B. K., 2023

© Institute of Cosmophysical Research and Radio Wave Propagation, 2023 (original layout, design, compilation)

Введение

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

В данной работе с использованием результатов работ [5], [6] изучаются однозначная разрешимость и гладкость обобщенного решения одной нелокальной краевой задачи периодического типа для трехмерного уравнения смешанного типа второго рода в неограниченном параллелепипеде.

В области

С = (0,1) х (0,Т) х К = р х К = {(х,г,г);х е (0,1 ),0 < г < Т< +оо,г е К} рассмотрим уравнение смешанного типа второго рода:

Ьи = к("Ь)ии — Ли + а (х, г) иг + с (х, г) и = f (х, г, г), (1)

где Ли = ихх + игг- оператор Лапласа. Пусть к(0) < 0 < к(Т).

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

Пусть все коэффициенты уравнения (1)- достаточно гладкие функции в области д, а именно ВД е С1[0,Т], а(х,г),с(х,г) е С1(р) П С(р).

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

Обозначим через

+оо

1Лг.

ü(x,t,A) = (2п)—1/2

u(x,t,z) e zdz

преобразование Фурье по переменной г функции и(х,г,г), а через

+оо

u(x,t,z) = (2п)—1/2

ü(x,t,A) eiAzdA

- обратное преобразование Фурье. Теперь с помощью преобразования Фурье

А/

определим пространство Ш^С) с нормой

+оо

l|u|lw2>s(G) = (2п)-1/2 ■ [ (1 + |A|2)s ■ ||ü(x,t,A) ||Wi(Q) dA, (A)

—oo

—oo

где 5,1— любые конечные положительные целые числа, а норма в пространстве Соболева Ш2(р) (при I = 0,Ш0(Р) = ) определяется следующим образом

|Da$|2 dxdt,

и2 = (Р) = Г

|а|<1р

где а— мультииндекс, Оа— обобщенная производная по переменным х и "

Очевидно, что пространство Ш2,5(С) с нормой (А) является гильбертовым пространством [8]- [10].

Нелокальная краевая задача периодического типа

Найти обобщённое решение и(х,"Ь,г) уравнения (1) из пространства удовлетворяющее следующим краевым условиям

У 4=0 = 4=^ (2)

ЭР и|х=о = О? и|х=1, (3)

при р = 0,1, где Ори = д^и, О Хи = и, у—некоторое постоянное число, отличное от нуля, величина которого будет уточнена ниже.

Далее будем считать, что и(х,"Ь,г) и иг(х,"Ь,г) —> 0 при |г| ^ оо, и(х,"",г)

абсолютно интегрируема по г на И при любом (х,"Ь) € р. (4)

Определение 1. Обобщенным решением задачи (1)-(4) будем называть

К

функцию и(х,"Ь,г) € Ш^С), удовлетворяющую уравнению (1) почти всюду, с

для любой функции f € Ш2,3(С), такой, чтоу^х,0,г) = f(x,T,z), существует единственное обобщенное решение задачи (1)-(4) из пространства

условиями (2),(4)

Теорема 1. (Основной результат). Пусть выполнены следующие условия для коэффициентов уравнения (1):

2а(х,"Ь) — |к"| + цк("Ь) > §1 > 0, ц е(х,"Ь) — с^х,") > §2 > 0 для всех (х,"") € р, где ц = |1п|у| >0 при |у | >1, а(х,0) = а(х,Т), е(х,0) = е(х,Т) для всех х € [0,1]. Тогда

4'

\ЛЛ 1 I Л/1 / Л1/1 О Л /Ч Л 1Л I ( "1 I ( А \ л I пп /У\ У~\ Я-1/И п 1 л л Л Л, ,

Доказательство. Доказательство теоремы проведем по следующей схеме:

1. Для задачи (1)-(4) формально по переменным г применим преобразование Фурье и в области получим новую задачу (5)-(7).

2. Изучим методами "е -регуляризации" априорных оценок и Галеркина однозначную разрешимость нелокальной краевой задачи периодического типа для уравнения третьего порядка с малым параметром (вспомогательная задача).

3. Затем с помощью этой вспомогательной задачи докажем однозначную разрешимость задачи (5)-(7).

4. Используя однозначную разрешимость задачи (5)-(7), дадим обоснование сходимости интегралов Фурье и докажем разрешимость задачи (1)-(4).

Приступим к реализации этой схемы.

Применяя для задачи (1)-(4) преобразование Фурье по переменным г, получим в области = (0,1) х (0,Т) следующую задачу

Ш = ВДЦ* - йхх + а(х, г) и + (е(х, г) + Л2 ) й = ? (х, г, Л), (5)

уй|г=0 = й|г=т; (6)

ор й|х=0 = срй|х=1 = 0; р = 0,1, (7)

где Л е К = (—оо,оо),

+оо

f(x,t,A) = (2n)—1/2

f(x,t,z) e-iAzdz

-преобразование Фурье по переменной z функции f(x,t,z).

Однозначная разрешимость и гладкость решения задачи (5)-(7) изучены в работах [5], [6]. Кратко приведем эти результаты. □

Единственность решения задачи (5)-(7)

Теорема 2. Пусть выполнены следующие условия для коэффициентов уравнения (5): 2a(x,t)-kt + |^k(t) > 61 >0, |xc(x,t)-ct(x,t) > 62 > 0 для всех (x,t) G Q, где ц = ^ln|y| >0 при |y| > 1, c (x,0) < c(x,T) для всех x G [0,1]. Тогда, если для любой функции f(x,t,À) G L2(Q) существует решение задачи (5)-(7) из пространства W^Q), то оно единственное.

Доказательство. Докажем единственность решения задачи (5)-(7) с помощью метода интеграла энергии. Пусть существует решение задачи (5)-(7) из W^Q).

Рассмотрим тождество

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

2 (LU ,е-цЧ)о = 2 (!>-цЧи)о, (8)

где ц = const > 0.

В силу условий теоремы 2 и интегрируя по частям тождество (8), легко получить следующее неравенство

2 JLtt■ e-^■ Utdxdt > J e-^{(2a(x,t) -kt(t) + цВД) ■ t + цй+

Q Qi (9)

+(цc(x,t) — ct(x,t) + цЛ2) ■ й2} dxdt > 60/е-цЧй2 + й + U2}dxdt, KJ

Q

где 60 = min{6i ,ц,62,Л = 0}.

В левой части неравенства (9) используя неравенство Коши с a [11], получим

необходимую первую оценку

11й iiW] (Q) < ci yfii2(Q), (10)

из которой следует единственность решения задачи (5)-(7) из W|(Q); в дальнейшем через ci — будем обозначать положительные, вообще говоря, разные постоянные числа, отличные от нуля. Теорема 2 доказана. □

—оо

Уравнение составного типа с малым параметром

Разрешимость задачи (5)-(7) докажем методом "е-регуляризации а именно в области = (0,1) х (0,Т) рассмотрим семейство уравнений составного типа с малым параметром

зли.

(11)

L£üе = -6^^ + LüЕ = f(x,t,A)

зг

и с нелокальными краевыми условиями периодического типа:

уО? йе|"=0 = О? йе|"=т ; я = 0,1,2, (12)

ор й£|х=0 = ОРйе|х=1 = 0;р = 0,1, (13)

где е — малое положительное число, О^ = Я = 1,2; =

Ниже используем систему уравнений составного типа с малым параметром (11) в качестве "е -регуляризирующего" уравнения для уравнения смешанного типа второго рода (5) [5]- [7], [12].

Определим пространство функции

W(Q) = {üе|;üе G w2(q),

9Aü е 9t

G L2(Q)},

удовлетворяющее соответствующим условиям (11),(12) с конечной нормой

II lü

е111W

ЭД ü е

9t

+ IIüе 12 .

(B)

Очевидно, что пространство Ш(р) с нормой (В) является гильбертовым пространством [11].

Определение 2. Обобщенным решением задачи (11)-(13) будем называть функцию {йе(х,"Ь,Л)} € Ш(р), удовлетворяющую уравнению (11) почти всюду с условиями (12),(13).

Теорема 3. Пусть выполнены следующие условия для коэффициентов уравнения (11); кроме того, пусть 2а(х,"Ь) — (")| + цк("Ь) > §1 > 0, це(х,"Ь) — С"(х,"Ь) > §2 > 0 для всех (х,"Ь) € р, где ц = |1п |у| >0 при |у | > 1, а(х,0) = а(х,Т), е(х,0) = е(х,Т) для всех х € [0,1]. Тогда для любой функции ^х,"Ь,Л) € Ш2(р), такой, что у • й(х,0,Л) = f(x,T,Л), существует единственное обобщенное решение задачи (11)-(13) из пространства Ш(р) и для него справедливы следующие оценки

III). е ||ütt||§ + ||üj? < ci ||f|2, IV)' е

эдй£

9t

+ llü е 12 < C2 |fll2.

Доказательство. Доказательство теоремы 3 осуществляется поэтапно, с использованием метода Галеркина и соответствующих априорных оценок [5], [6]. Сначала докажем III)-третью оценку. Рассмотрим тождество:

-2

e-^-Lfüf -üptdxdt = -2

ü е+dxdt

(14)

Qi

Qi

2

о

Интегрируя по частям тождество (14) и учитывая условия теоремы 3, нетрудно получить 111)-третью априорную оценку, аналогичную оценке (10), откуда следует единственность обобщенного решения задачи (11)-(13).

Теперь докажем справедливость IV)—четвертой оценки. Для этого рассмотрим тождество:

-2

в^-Ьй -Püpdxdt = -2

e-^ ■ f- Рй£ dxdt, (15)

Qi Qi

где Рй£ = (^△дй^ — + Цй£хх — цйЕ").

Интегрируя по частям (15), с учетом условий теоремы 3 и краевых условий (12),(13), получим необходимую оценку:

ЭЛй£ 9t

+ iiü£|2 < c2 ||С (16)

решение задачи (5) - (7) существует и оно единственно в Ш^^).

Доказательство. Единственность решения задачи (5) - (7) в пр Ш|(р) доказана в теореме 2. Теперь докажем существование решения задачи (5) - (7) в ^2^). Для этого рассмотрим в области уравнение (11) и краевые

Из доказанных оценок методом Галеркина получим однозначную разрешимость задачи (11)-(13) из пространства Ш(р). Теорема 3 доказана. □

Перейдем к доказательству разрешимости задачи (5) - (7).

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

22(

Доказательство. Единственность решения задачи (5) - (7) в пространстве 22(

2(

условия (12), (13) при е > 0. Так как выполнены все условия теоремы 3, то существует единственное обобщенное решение задачи (11)-(13) в Ш(р) при е > 0 и для него справедливы третья и четвертая оценки. Отсюда следует, по известной теореме о компактности [11], что из множества функций {йе(х,"Ь,Л)} , е > 0, можно извлечь слабо сходящуюся подпоследовательность функций, такую, что {й£1 (х,"Ь,Л)} —> й (х,"",Л) при е^ —> 0 в Ш(р). Покажем, что предельная функция й(х,"Ь,Л) удовлетворяет уравнению Ьй = f (5) почти всюду в Ш^лР). В самом деле, так как подпоследовательность {й£1 (х,"",Л)} слабо сходится в Ш(р), а подпоследовательность —д— (х,"Ь,Л)} равномерно ограничена в и

оператор Ь линейный, то имеем

Ьй — й = Ьй — + е^^ = Ь (й—й£1) + ег ^. (17)

Из равенства (17), переходя к пределу при е^ —> 0, получим единственное обобщенное решение задачи (5)-(7) из пространства

Соболева [5]- [7]. Таким

образом, теорема 4 доказана. □

2

£

0

Существование решения задачи (1)-(4)

Теперь перейдем к доказательству теоремы 1 об однозначной разрешимости обобщенного решения задачи (1)-(4) из пространства Ш|'3(С). Для доказательства теоремы 1 необходима следующая лемма.

Лемма. Пусть выполнены условия теорем 1-4-Тогда для решения задачи (1)-(4) справедливы следующие оценки:

л л

I)- НиЦ>3(с) < С1 ^\у0'3(с)

2 2

II)- ||иЦ,з^) < С2 "Ц^) .

Доказательство.

В теореме 2 для решения задачи (5)-(7) доказана справедливость оценки (10), то есть следующее

(д) < С Мк^).

Чтобы доказать, что и € нам необходимо умножить неравенство (10) на

(2п)—1/2 ■ (1 + |А|2)3 и интегрировать по Л от —оз до +оо, тогда получим

+оо

||и|^1,з№) = (2п)-1/2 ■ (1 + |Л|2)3 ■ ^ <

—оо

+оо

(18)

< (2п)—1/2 ■ с1 ■

(1 +1Л2)3 ■ 11%2№) ¿Л = С1

—(

Точно так же, используя условия теорем 3,4 с предельным переходом при е —> 0, в четвертой оценке нетрудно получить для решения задачи (5)-(7) выполнение следующей оценки

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

И^Ю) < С2 11"^11 () . (19)

Чтобы доказать, что и^ € умножим неравенство (19) на (2п)—1/2 ■ (1 +

23

|Л| )3 и, интегрируя по Л от —аз до +оо, получим

+оо

l|uMW2,3(G) = (2п)—1/2 ■ (1 +|Л|2)3 ■||иц^№) ¿Л

+оо

< (2п)—1/2 ■ С2

(1 +|Л|2)3 ■ ¿Л = С2 . (20)

Лемма доказана. □

Доказательство.

Доказательство теоремы 1. Из первой априорной оценки (18) леммы следует единственность обобщенного решения задачи (1)-(4), а из справедливости второй оценки (20) леммы следует существование обобщенного решения задачи (1)-(4) из пространства W2,3(G).

Теорема 1 доказана. □

Гладкость обобщенного решения задачи (1)-(4)

Теперь обратимся к исследованию гладкости обобщенного решения задачи (1)-(4) в пространствах Wm+2,s(G), где m,s - целые конечные числа, такие, что m > 0, s > 3.

Ниже для простоты будем предполагать, что коэффициенты уравнения (1) -достаточно дифференцируемые функции в замкнутой области Q.

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

D q а |t=0 = D q а |t=T, D t c ^ = D t c |t=T.

Тогда для любой функции f е Wm+1,s(G), такой, что у • Dq f|t=o = Dq f|t=T (q = 0,1,2,3,...,m), существует, и причем единственное, обобщенное решение задачи (1)-(4) из пространства Wm+2,s(G), где s,m- любые целые конечные положительные числа,такие,что s > m + 3, m = 0,1,.

Доказательство. Отметим, что в работе [6] для уравнения смешанного типа второго рода второго порядка (5) исследована гладкость обобщенного решения нелокальной краевой задачи периодического типа (6),(7) в пространствах Соболева W2m+2(Q) и доказаны соответствующие оценки

HüllW2m+2(Q) < cm+1 ||f1lWm+1(Q) (m = 0,1,2,3,4,...). (21)

Чтобы доказать, что D|-1u е L2(Q),где s > m + 3, m = 0,1,2,3,..., и применить теорему вложения Соболева, нам необходимо умножить неравенство (21) на (2п)—1/2 • (1 + |A|2)s и интегрировать по Л от —оз до +оо, тогда получим

||u||Wr2,s(G) = (2n)-1/2

+оо

< (2п)—1/2 • Cm+1

+оо

(1 +|A|2)s •|ü||Wm+2 (Q) dA <

(1 + | Л |2 ) s • ||f| Wm+1 (Q) dA = Cm+1 ||f ||Wm+1,.(G) . (22)

v 2 (Q) W2

Отсюда получим существование единственного обобщенного решения задачи (1)-(4) из пространства Шт+2'5(С). Теорема 5 доказана. □

Заключение

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

Список литературы

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

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

3. Глазатов С. Н. Нелокальные краевые задачи для уравнений смешанного типа в прямоугольнике, Сиб. мат. журн, 1985. Т. 26, №6, С. 162-164.

4. Каратопраклиева М. Г. Об одной нелокальной краевой задаче для уравнения смешанного типа, Дифференциальные уравнения, 1991. Т. 27, №1, С. 68-79.

5. Джамалов С. З. О корректности одной нелокальной краевой задачи с постоянными коэффициентами для уравнения смешанного типа второго рода второго порядка в пространстве, Мат. заметки СВФУ, 2017. №4, С. 17-28.

6. Джамалов С. З. О гладкости одной нелокальной краевой задачи для многомерного уравнения смешанного типа второго рода в пространстве., Журнал Средневолжского мат общества, 2019. Т. 21, №1, С. 24-33.

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

8. Лионс Ж.Л., Мадженес Е. Неоднородные граничные задачи и их приложения.. М.: Мир, 1971.

9. Хермандер Л. Линейные дифференциальные операторы с частными производными. М: Мир, 1965.

10. Никольский С.М. Приближение функций многих переменных и теоремы вложения. М.: Наука, 1977.

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

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

Информация об авторах

Джамалов Сирожиддин Зухриддинович А -доктор физико-математических наук, доцент, главный научный сотрудник Института математики Академии наук Республики Узбекистан, Ташкент, Узбекистан, © https://orcid.org/0000-0002-3925-5129.

Сипатдинова Бийбиназ Кенесбайевна А - докторант PhD, Институт математики имени В.И.Романовского Академии наук Республики Узбекистан, Ташкент, Узбекистан, © https://orcid.org/0000-0002-7833-6992.

References

[1] Bitsadze A.V. Ill-posedness of the Dirichlet problem for equations of mixed type, Dokl. Akad. Nauk SSSR, 1953, 122, 2, 167-170 (In Russian).

[2] Frankl F. I. On Chaplygin's problems for mixed subsonic and supersonic flows, Izv. Akad. Nauk SSSR Ser. Mat., 1945, 9, 2, 121-143 (In Russian).

[3] Glazatov S.N. Nonlocal Boundary Value Problems for Mixed-Type Equations in a Rectangle. Sibirsk. Mat. Zh., 1985, 26, 6, 162-164 (In Russian).

[4] Karatopraklieva M. G. On a nonlocal boundary value problem for an equation of mixed type. Differential Equations 1991, 27, 1, 68-79 (In Russian).

[5] Dzhamalov S. Z. On well-posedness of a nonlocal boundary value problem with constant coefficients for a mixed type equation of the second kind of the second order in space, Mathematical notes of NEFU, 2017, 4, 17-28 (In Russian).

[6] Dzhamalov S. Z. On the smoothness of the solution of a nonlocal boundary value problem for the multidimensional second-order equation of the mixed type of the second kind in Sobolev space, Zhurnal SVMO, 2019, 21, 1, 24-33 (In Russian).

[7] Vragov V. N. Krayevyye zadachi dlya neklassicheskikh uravneniy matematicheskoy fiziki [Boundary Value Problems for Nonclassical Equations of Mathematical Physics]. Novosibirsk, NGU, 1983 (In Russian).

[8] Lyons J.L., Magenes E. Neodnorodnyye granichnyye zadachi i ikh prilozheniya [Inhomogeneous boundary value problems and their applications]. Moscow, Mir, 1971 (In Russian).

[9] Hermander L. Lineynyye differentsial'nyye operatory s chastnymi proizvodnymi [Linear partial differential operators]. Moscow, Mir, 1965 (In Russian).

[10] Nikolsky S. M. Priblizheniye funktsiy mnogikh peremennykh i teoremy vlozheniya [Approximation of functions of several variables and embedding theorems]. Moscow, Nauka, 1977 (In Russian.).

[11] Ladyzhenskaya O. A. Krayevyye zadachi matematicheskoy fiziki [Boundary value problems of mathematical physics]. Moscow, 1973 (In Russian).

[12] Kozhanov A. I. Krayevyye zadachi dlya uravneniy matematicheskoy fiziki nechetnogo poryadka [Boundary Value Problems for Odd-Order Equations of Mathematical Physics]. Novosibirsk, NSU, 1990 (In Russian).

Information about authors

Dzhamalov Sirojiddin Zuxriddinovich^ - D. Sci. (Phys. & Math.), Associate Professor, Chief Researcher of the V.I. Romanovsky Institute of Mathematics of the Academy of Sciences of the Republic of Uzbekistan, Tashkent, Uzbekistan, ©https://orcid.org/0000-0002-3925-5129.

Sipatdinova Biybinaz Kenesbayevna & - Ph. D.

(Phys. & Math.) student of the V.I. Romanovsky

Institute of Mathematics of the Academy of Sciences

of the Republic of Uzbekistan, Tashkent, Uzbekistan, fc ©https://orcid.org/0000-0002-7833-6992.

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