Dezin problem analog for a parabolic-hyperbolic type equation with periodicity condition
- Authors: Kirzhinov R.A.1
-
Affiliations:
- Institute of Applied Mathematics and Automation of Kabardin-Balkar Scientific Centre of RAS
- Issue: Vol 26, No 2 (2022)
- Pages: 259-272
- Section: Differential Equations and Mathematical Physics
- Submitted: 29.10.2021
- Accepted: 07.12.2021
- Published: 30.06.2022
- URL: https://journals.eco-vector.com/1991-8615/article/view/84098
- DOI: https://doi.org/10.14498/vsgtu1892
- ID: 84098
Cite item
Full Text
Abstract
In this paper we consider an inhomogeneous second-order parabolic-hyperbolic mixed type equation, represented as one-dimensional heat equation in the parabolic part and the one-dimensional wave equation in the hyperbolic part. For the equation, an analog of the Dezin problem is investigated, which means to find a solution to the equation that satisfies inner-boundary condition, relating the value of the desired function on the equation type change line to the value of the normal derivative on the hyperbolicity region boundary, and inhomogeneous periodicity nonlocal boundary conditions. A substitution is given that allows us to reduce the problem to an equivalent one and, without losing generality, restrict ourselves to investigate the problem with homogeneous conditions for an inhomogeneous equation.
The solution is constructed as the Fourier series on the orthonormal system of eigenfunctions of the corresponding one-dimensional spectral problem. A criterion for the solution uniqueness to the problem is established.
In case when the uniqueness criterion is violated, an example of a nontrivial solution to a homogeneous problem is given, and a necessary and sufficient condition for the existence of a solution to an inhomogeneous problem is obtained.
In justifying the solution existence, the problem of small denominators in the sum of the series with respect to the ratio of the rectangle sides in the hyperbolic part of the domain. An estimate of the denominator separation from zero under certain conditions with respect to the problem parameters is obtained. This estimate allows us to substantiate the uniform convergence of the series and their derivatives up to the second-order inclusive under certain conditions for given functions.
Full Text
Введение. В 1963 г. А. А. Дезин в работе [1] рассмотрел вопрос о разрешимых расширениях для дифференциальных операторов смешанного типа и тогда же для уравнения с оператором Лаврентьева – Бицадзе в прямоугольной области сформулировал задачу с условием -периодичности и нелокальным условием, связывающим значение искомой функции внутри области со значением ее производной на границе.
В [2, с. 18] приводится формулировка нелокальных краевых условий по терминологии Дезина. В работе [3] в специальной прямоугольной области для уравнения Лаврентьева – Бицадзе доказаны принцип экстремума, теоремы единственности и существования решения задачи Дезина.
В работах [4-7] для различных уравнений смешанного эллиптико-гиперболического типа в прямоугольной области изучены задачи с условием периодичности по переменной и нелокальным условием Дезина. Установлены критерии единственности, решения задач построены в виде суммы ортогонального ряда по собственным функциям соответствующих одномерных спектральных задач. Исследована проблема малых знаменателей, возникающая при обосновании сходимости рядов, установлена оценка отделенности от нуля малых знаменателей с соответствующей асимптотикой.
Для уравнения параболо-гиперболического типа в [8, с. 174] доказана однозначная разрешимость аналога задачи Дезина в специальной прямоугольной области, исследован вопрос о спектре однородной задачи.
В данной работе исследуется аналог задачи Дезина в прямоугольной области для неоднородного уравнения смешанного параболо-гиперболического типа второго порядка с неоднородными нелокальными краевыми условиями, где , , — вещественные положительные числа. Установлен критерий единственности решения исследуемой задачи. Решение построено в виде суммы ряда по ортонормированной системе собственных функций соответствующей одномерной спектральной задачи. При обосновании сходимости ряда возникает проблема малых знаменателей для отношения сторон прямоугольника в части области, где рассматривается гиперболическое уравнение. При некоторых условиях относительно заданных функций и чисел , , показано, что сумма построенного ряда является решением задачи в искомом классе.
1. Постановка задачи. Пусть — область евклидовой плоскости точек ; ; ; , , — вещественные положительные числа. Обозначим через пространство функций таких, что .
В области рассмотрим уравнение
(1)
где
— неизвестная функция, — заданная функция.
Исследуется следующая
Задача 1. Найти решение уравнения (1) из класса
удовлетворяющее условиям
(2)
(3)
где , — заданные достаточно гладкие функции, удовлетворяющие следующим условиям: .
С помощью подстановки
где
задачу 1 можно привести к эквивалентной задаче относительно новой функции с однородными условиями вместо (2), при этом уравнение (1) примет вид , где . Поэтому, не нарушая общности, дальнейшие рассуждения будем проводить при .
2. Единственность решения. Пусть существует решение задачи 1. По аналогии с работой [9] рассмотрим функции
(4)
где , .
На основании (4) введем функции
(5)
где — достаточно малое положительное вещественное число.
Дифференцируя (5) по переменной , с учетом уравнения (1) при получим
(6)
Дифференцируя (5) дважды по переменной , с учетом уравнения (1) при получим
(7)
В равенствах (6), (7), интегрируя два раза по частям интегралы, содержащие , и переходя к пределу при , с учетом граничных условий (2) получим
(8)
где
(9)
(10)
Общие решения дифференциальных уравнений (8) выписываются в следующем виде:
(11)
где , , — произвольные постоянные.
С учетом того, что , (4) и полноты системы функций
(12)
в пространстве имеем
(13)
Удовлетворяя (11) условиям (13), находим
Тогда функции (11) примут вид
(14)
Дифференцируя равенства (4) по переменной , с учетом нелокального условия (3) получаем
Пусть
(15)
тогда находим
(16)
Выясним, при каких , , и выражение . Представим в следующем виде:
(17)
где
Из представления (17) видно, что только в том случае, когда
и
Пусть при некоторых значениях , и нарушено условие (15), тогда может принимать любое значение и однородная задача, соответствующая задаче 1 при , имеет нетривиальное решение вида
причем неоднородная задача 1 будет иметь решение только в том случае, когда для выполнено условие
(18)
Из (14) и (16) видно, что если , , то из (4) имеем
Отсюда в силу полноты системы функций (12) в пространстве и непрерывности в следует, что в .
Таким образом, справедлива
Теорема 1. Если существует решение задачи 1, то оно однозначно определяется только тогда, когда выполнено условие (15).
3. Существование решения. Решение задачи 1 при выполнении условий (15) будем искать формально в виде суммы ряда
(19)
где коэффициенты определяются формулами (14), (16).
Поскольку входит в знаменатель ряда (19), для обоснования существования решения задачи 1 необходимо показать, что существуют числа , и такие, что выражение отделено от нуля с соответствующей асимптотикой.
Оценим выражение
(20)
и выясним, существуют ли , , и постоянная такие, что при всех справедлива оценка
(21)
Лемма 1. Если и то существует положительная зависящая от и такая, что при всех справедлива оценка
Доказательство. Пусть . Тогда (20) примет вид
Если , то из последнего заключаем
где
Лемма 1 доказана.
Лемма 2. Пусть , — нечетное число Тогда существует положительная зависящая от , такая, что при всех справедлива оценка
Доказательство. Пусть , , , — нечетное число. Разделим на с остатком:
Тогда из (17) получим
Если , то этот случай сводится к уже рассмотренному выше случаю .
Пусть , , . Тогда
При этом
где . Лемма 2 доказана.
Лемма 3. Пусть является иррациональным числом. Тогда существуют положительные постоянные и для которых при всех и и справедлива оценка
Доказательство. Пусть является иррациональным числом. В силу известных неравенств
справедлива оценка
(22)
Для всякого можно подобрать такое, что имеет место неравенство [10, c. 37]
Пусть такое, что выполнено последнее неравенство или равносильное ему
(23)
Из (22) и (23) имеем
при условии
С учетом этого и того, что при , имеем
Возвращаясь к , из (17) при , имеем
где , .
Лемма 3 доказана.
Теперь при определенных условиях на функцию покажем, что функция , представимая в виде (19), где определяются формулами (14) и (16), является решением задачи 1.
Формально из (19) почленным дифференцированием составим ряды:
(24)
(25)
(26)
Из (14) и соответствующих производных при имеем
где
Теперь, для доказательства сходимости (19) и соответствующих производных (24), (25), (26), достаточно доказать сходимость сумм при .
Далее нам понадобится
Лемма 4. Если
то для коэффициентов ряда Фурье (10) функции и коэффициентов ряда Фурье (9) функции при всех справедливы оценки
(27)
(28)
где — некоторая положительная постоянная.
Справедливость леммы 4 следует из теории рядов Фурье (см., напр., [11, гл. 11, §4, п. 2]).
Лемма 5. Пусть имеют место оценки (21), (27), (28). Тогда при всех справедливы оценки
где — некоторая положительная постоянная.
Доказательство. С учетом (21) и второй теоремы о среднем значении [12] имеют место следующие оценки:
где
разбивают область определения соответствующей функции на (наименьшее) конечное число частей, в каждой из которых данная функция монотонна.
Из оценок выше, а также (14), (16) находим:
(29)
(30)
(31)
Если положить
то из (29), (30), (31) с учетом (27), (28) следует справедливость леммы 5.
Из оценок леммы 5 по признаку Вейерштрасса следует абсолютная и равномерная сходимость рядов (24), (25), (26) и, значит, можно непосредственно показать, что (19) является решением задачи 1.
Таким образом доказана
Теорема 2. Пусть выполнены условия одной из лемм 1–3 и удовлетворяет условиям леммы 4. Тогда существует единственное решение задачи 1, причем решение полностью определяется равенством (19) с учетом (9), (10), (14), (16). Если при каких-то значениях и нарушено условие (15), то задача 1 разрешима тогда и только тогда, когда выполнено условие (18).
Конкурирующие интересы. Конкурирующих интересов не имею.
Авторская ответственность. Я несу полную ответственность за предоставление окончательной версии рукописи в печать. Окончательная версия рукописи мною одобрена.
Финансирование. Исследование выполнялось без финансирования.
About the authors
Romazan A. Kirzhinov
Institute of Applied Mathematics and Automation of Kabardin-Balkar Scientific Centre of RAS
Author for correspondence.
Email: kirzhinov.r@mail.ru
ORCID iD: 0000-0001-6645-7175
SPIN-code: 4454-4426
ResearcherId: K-2074-2018
http://www.mathnet.ru/person132548
Trainee Researcher Dept. of Mixed-Type Equatios
Russian Federation, 89 a, Shortanova st., Nal’chik, 360000References
- Dezin A. A. The simplest solvable extensions of ultrahyperbolic and pseudoparabolic operators, Sov. Math., Dokl., 1963, vol. 4, pp. 208–211.
- Nakhushev A. M. Zadachi so smeshcheniem dlia uravnenii v chastnykh proizvodnykh [Problems with Shifts for Partial Differential Equations]. Moscow, Nauka, 2006, 287 pp. (in Russian)
- Nakhusheva Z. A. On a nonlocal problem of A. A. Dezin for the Lavrent’ev–Bitsadze equation, Differ. Equat., 2009, vol. 45, no. 8, pp. 1223–1228. EDN: MWSRUF. DOI: https://doi.org/10.1134/S0012266109080151.
- Sabitov K. B. Dezin problem for an equation of the mixed type with a power-law degeneracy, Differ. Equat., 2019, vol. 55, no. 10, pp. 1384–1389. EDN: BCTAQW. DOI: https://doi.org/10.1134/S0012266119100136.
- Sabitov K. B., Novikova V. A. Nonlocal Dezin’s problem for Lavrent’ev–Bitsadze equation, Russian Math. (Iz. VUZ), 2016, vol. 60, no. 6, pp. 52–62. EDN: WTXQCH. DOI: https://doi.org/10.3103/S1066369X16060074.
- Sabitov K. B., Gushchina V. A. Dezin’s problem for inhomogeneous Lavrent’ev–Bitsadze equation, Russian Math. (Iz. VUZ), 2017, vol. 61, no. 3, pp. 31–43. EDN: YVEDKR. DOI: https://doi.org/10.3103/S1066369X17030045.
- Gushchina V. A. The nonlocal A. A. Desin’s problem for an equation of mixed elliptic-hyperbolic type, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2016, vol. 20, no. 1, pp. 22–32 (In Russian). DOI: https://doi.org/10.14498/vsgtu1470.
- Nakhusheva Z. A. Nelokal’nye kraevye zadachi dlia osnovnykh i smeshannogo tipov differentsial’nykh uravnenii [Nonlocal Boundary-Value Problems for Basic and Mixed Types of Differential Equations]. Nalchik, KBNTs RAN, 2012, 196 pp. (in Russian)
- Sabitov K. B. Dirichlet problem for mixed-type equations in a rectangular domain, Dokl. Math., 2007, vol. 75, no. 1, pp. 193–196. EDN: LKMREP. DOI: https://doi.org/10.1134/S1064562407020056.
- Chandrasekharan K. Introduction to Analytic Number Theory, Grundlehren der mathematischen Wissenschaften, vol. 148. Berlin, Heidelberg, Springer-Verlag, 1968, viii+144 pp. DOI: https://doi.org/10.1007/978-3-642-46124-8.
- Budak B. M., Fomin S. V. Multiple integrals, field theory and series. An advanced course in higher mathematics. Moscow, Mir Publ., 1973, 640 pp.
- Fichtenholz G. M. Differential- und Integralrechnung. II [Differential and integral calculus. II], Hochschulbücher für Mathematik [University Books for Mathematics], vol. 62. Berlin, VEB Deutscher Verlag der Wissenschaften, 1986, 836 pp. (In German)
Supplementary files
![](/img/style/loading.gif)