Условия существования и единственности решения задачи Гурса для системы уравнений с доминирующими частными производными Текст научной статьи по специальности «Математика»

Math-Net.Ru

Е. А. Созонтова, Условия существования и единственности решения задачи Гурса для системы уравнений с доминирующими частными производными, Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2023, номер 2, 375-383

001: 10.14498^^2012

Использование Общероссийского математического портала Math-Net.Ru подразумевает, что вы прочитали и согласны с пользовательским соглашением

http://www.mathnet.ru/rus/agreement

Параметры загрузки:

IP: 109.252.33.182

29 сентября 2024 г., 12:10:42

Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2023. Т. 27, № 2. С. 375-383 ISSN: 2310-7081 (online), 1991-8615 (print) d https://doi.org/10.14498/vsgtu2012

EDN: MKLZCD

УДК 517.956

Условия существования и единственности решения задачи Гурса для системы уравнений с доминирующими частными производными

Е. А. Созонтова

Елабужский институт Казанского (Приволжского) федерального университета,

Россия, 423600, Елабуга, ул. Казанская, 89.

Аннотация

Изучается n-мерная система уравнений с доминирующими частными производными n-го порядка. Признаком, отличающим рассматриваемую систему от других систем с частными производными, является наличие первого слагаемого в уравнениях правой части системы, представляющего собой доминирующую производную, при этом все остальные входящие в уравнения системы производные получаются из нее отбрасыванием по крайней мере одного дифференцирования по какой-либо из независимых переменных. Целью исследования является отыскание условий однозначной разрешимости задачи Гурса для рассматриваемой системы. Основная задача редуцируется к системе интегральных уравнений, решение которой существует и единственно при выполнении требований непрерывности ядер и правых частей этой системы в соответствующих замкнутых параллелепипедах изменения своих переменных. Получены условия, при которых основная задача однозначно разрешима. Окончательный результат в терминах коэффициентов исходной системы формулируется в виде теоремы.

Ключевые слова: система дифференциальных уравнений, задача Гур-са, теорема существования и единственности.

Получение: 21 марта 2023 г. / Исправление: 13 мая 2023 г. / Принятие: 18 мая 2023 г. / Публикация онлайн: 20 июня 2023 г.

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

© Коллектив авторов, 2023 © СамГТУ, 2023 (составление, дизайн, макет)

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

Созонтова Е. А. Условия существования и единственности решения задачи Гурса для системы уравнений с доминирующими частными производными // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2023. Т. 27, № 2. С. 375-383. EDN: MKLZCD. DOI: 10.14498/vsgtu2012. Сведения об авторе

Елена Александровна Созонтова А https://orcid.org/0000-0003-4315-0669 кандидат физико-математических наук; доцент; кафедра математики и прикладной информатики; e-mail: [email protected]

Рассматривается система уравнений с доминирующими частными производными

д^щ(х) ^ ^ дкту (х) . -—

дх^ ...8^ ^ (х)дхкп = и(х), г = 1>п> (1)

дх! дхп .= 1 к. <т., дх1 ■■■дхп

ки <т^

в области О = (хю < х1 < хц, х2° < х2 < х21, ..., хп° < хп < хп1}. Здесь

х = (х1,.. .,хп), = т^ +-----+гщп, ку = куг +-----+куп, т8, к8, в = 1,п — целые

неотрицательные числа. Гладкость коэффициентов системы (1) определяется включениями

а3кп...к]п е с(кп, к>2 ..., )(Щ, и е с(°'°'...'°)(й).

Класс С(кп ,кЬ '...,кзп)(и) означает существование и непрерывность в О всех

производных д+ ъ /дх^дх^2 ■ ■ ■ дх1пп , 1ур = 0,кур, р = 1,п. Грани

параллелепипеда О при х1 = х1°, х2 = х2°, ..., хп = хп° обозначим соответственно Х1,Х2,..., Хп.

Частные случаи системы (1) с различных точек зрения изучались многими авторами. Для т1 = 1 можно указать, например, публикации [1-6]. Так, в [1] при п = 2 исследованы задачи Коши и Гурса, получены формулы интегрального представления решения этих задач, позволяющие установить их структурные свойства. В [2,3] изучены задачи с нормальными производными первого и второго порядка в граничных условиях, в [4] с помощью решения задачи Гурса, полученного методом Римана, исследована задача Дарбу. При п = 3 в [5] исследована задача Гурса и получены условия ее разрешимости в квадратурах. В [6] для той же системы доказаны существование и единственность решения задачи Дарбу.

В [7, с. 62] были изложены решения задачи Коши и Гурса для системы (1) при т1 = 2, т^ = т¿2 = 1, полученные методом Римана. Та же система с различных точек зрения изучалась и в [8-11]. Так, в [10] исследована задача Гурса и получены условия ее разрешимости в квадратурах, в [11] исследованы характеристические задачи с условиями на трех и четырех сторонах характеристического прямоугольника. Аналогичная система (но с нулевыми обобщенными инвариантами Лапласа) рассматривалась в [12]. Для систем с кратными доминирующими частными производными при т1 = 2, п = 2 был разработан векторно-матричный аналог метода Римана, изучены задачи Коши и Гурса, а также поставлен ряд новых характеристических задач и исследован характер их разрешимости [13]. При = 2, п = 3 для систем с кратными частными производными доказаны существование и единственность решений задачи Коши [14]. Частные случаи системы (1) более высокого порядка рассматривались, например, в [15,16] и др. работах.

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

Задача. В области О найти регулярное 'решение системы (1), удовлетворяющее непрерывно дифференцируемым граничным значениям

дг 1 и1

Ох?

дг 2 щ

х1=хю

= (Х2,Х3, . . .,Хп), П = 0, Шг1 - 1, I = 1,Щ

дхг2

= Р2И2(х1,х3,...,хп), гг = 0,тг2 - 1, г = 1,п;

Х2=Х20 (2)

дхП

хп —хп0

= <Рпип (х\,хг,..., Хп— 1), гп = 0,т,гп - 1, г = 1,п.

При этом предполагается, что € С(0,т12,т1з>...>т^п.),

^ € С т т- )(Х~г), ..., ^тгп € С т 1,0)(Хп)

и выполняются условия согласования

дг 2 ри п

дхг2

сГ1

И2

х2= х20

дх11

дг 3 ри п

х1= х10

дхг33

дг 1 <р3'

3

х3= х30

дгп Фиг1

дх11

дг 3 <рг

' г г 2

дхг33

912 ^з

ггз

х3= х30

дх22

дхП

д1 п %2

х1= х10 9 1 фт гп

Х2—Х20 дхП

д1п фп- Игп-

дх1

Хп—Хп0 дх%1

= д12

Хп —Хп0

9 п 1 фпг г.

дх,12

Х1—Х10

Х2—Х20

хп—хпо Вх%п } п 1

хп- 1—х(п-1)0

Решению основной задачи предпошлем следующую лемму. Лемма. Имеет место равенство

дт1 щ(х)

я тг1 а т.,

1 ' 3—1 кз <т,

+ Е Е а!кп...

Ч,

Ъв

д т1 щ(х)

дк; и(х) Зп дх\п ■ ■ ■ дхп"

А ^ дк; (Ъ,кп ...к3п Щ (х)) (3)

¿п + ^ -к, -к. , (3)

дхт ■■■ дх^п дхк1 ■■■ дх.

где

ти т.

^Зк31 ... к3п

¿п п к к

в

- £ ■■■ £ Пев;;(-1)р=1

в 31 —к31 взп —кзп Р—1 +•••+ в<ГЩ

п Л (в3р к3р)

Г (*зР +к;Р) дР=1 а

31 ... 3п

дхв31 к;1 ■ ■ ■ [)хв3п к3п

(4)

г,.] = 1,п.

дг п и

п

к3в <т3в

Доказательство. Рассмотрим правую часть равенства (3). Применяя формулу Лейбница, получим

дтги»(х) +

дх1 1 ■ ■ ■ дхп

п п

п ки к,■ п - 1р\ Е 1Р

+ ^ V V V ПС' д Ук]- ...кп иу

+ /^Н^ кл -1 к^ -п дх\1...дх1п . (5)

7=1 к]<тг, г-=° !п=°Р=1 дх1 ...дхп дх1 дхп

к]В 11+-----+ п<"г

Подставим в (5) значения из (4) и выделим слагаемые при 1Р = .р = к.р, р = 1, п:

дтги»(х) ^ ^ с)к]и,у (х)

дх1 3пдх^^^дхЩп

в

п

"п п (V +к • )

+ Е Е Е-Е Е ■■■ Е Пск;ск;(-1)-"+*)х

.7=1 к]<тг, Ь =° 1п=°в]1 =к]1 в]п =к]п р=1

п п

Е( 3]Р - Ь) Т.1 Р

х ^ , -». ■ Г , (6)

дх\п ■ ■ ■ дхЩп - п дх1 ■ ■ ■ дхп

где ¿1+■ ■ ■+1п < т», 8.1 + ■ ■ ■ +83]п < т», 1Р = з.р = к.р. Подсчитаем в последней сумме из (6) количество слагаемых вида

п п

Е(-ьР-Р) Е

1 ау ^... 3]п д*=1 иу

дх[п 11 ■■■ дх'Щп -п дх1 ■ ■ ■ дх1гП '

где з.р, 1Р — фиксированные значения, к.р = з.р, з.р — 1,..., 1Р, р = 1,п. Используя свойства сочетаний, получим

Е (283р) п 3, I Е (283р-1) ™ 3 1

(—1)-1 П С3?рс1% + (—1)-1 П С3?Р С%-1 + р=1 р=1 пп

, Е (2 3]Р-2) » 3,-2 г Е (3]Р +1р) " г г

+ (—1)-1 Пс-£ <-2 + ■■■ + (—1)-1 = 0.

=1 =1

Таким образом, последняя сумма в (6) обращается в 0. Лемма доказана. □ 378

Согласно лемме, систему (1) можно записать в виде

д т1 щ(х)

+Е Е

дк: (Ьук ...к. щ(х))

дхтч • • • дхт*п ' к <т дхкп- ■ ■ дхг3п

1 ' 3=1 к: <т1,

= Ь(х), г = 1,п, (7)

где коэффициенты bjкj ...к:п вычисляются по формуле (4). Проинтегрируем систему (7) по области О. Учитывая формулу

/ ... щ(Х1,... ,хп)йщ =

■1 хпо .'х^о раз

получим

Щ(Х1,Х2, . . .,Хп) +

4 - Щ)

1:-1

'хз0

& - 1)!

'иг (х 1,..., хj—1, , хj+1, Хп) daj,

Гхп1 Гхп

+ ЕЕЕ

j=1 к=1Як„ихП°

хЧк

К

ЗЧ\Ч2... Чк

...дк (х1, . . . , Хп, , . . . , &дк ) х

>хЧк0

X Uj (Xl, Х2, ... , Ху1 — 1, &д1, Хд1 + 1, . . . , Хдк — 1, &дк , Хдк + 1, . . . , Хп) х

х йаЯк ••• йаЯ2 йаЯ1 = Рг(х1,... ,хп), I = 1,п. (8

Здесь

^]д1д2...дк (х1, Х2, . . . , Хп, , &д2 , . . . , адк) = т11 — 1 т^к — 1

к (х - а —Ру— 1

РЧ1

=0

Р«к

=0

=1

причем если г = qj, то рг = , а ЬзР1 Р2...Рп = 0, если выполняется хотя бы одно из неравенств рк > mjк, к = 1,п; (^к,п = {(41,42,... ,4п) 1 ^ 41 < <42 < • • • <41 ^ п}. Функции ^ в силу условий (2) являются известными непрерывными функциями.

Известно [13, с. 30], что решение системы (8) существует и единственно, если все ядра и правые части в (8) непрерывны в соответствующих замкнутых параллелепипедах изменения своих переменных. Из проведенных рассуждений следует

Теорема. Если в системе (8) К1^ , г,.], к = 1,п, непрерывны в соответствующих замкнутых параллелепипедах изменения своих переменных, то 'решение задачи существует и единственно.

Заключение. В работе рассмотрена задача Гурса для п-мерной системы уравнений с доминирующими частными производными п-го порядка. С помощью вспомогательного утверждения относительно вида рассматриваемой

к:в <тзв

системы и на основании методов теории интегральных уравнений исходная задача редуцирована к системе интегральных уравнений, решение которой существует и единственно при выполнении требований непрерывности ядер и правых частей этой системы в соответствующих замкнутых параллелепипедах изменения своих переменных. Таким образом, в терминах коэффициентов исходной системы получены условия однозначной разрешимости рассматриваемой задачи. Результат сформулирован в виде теоремы. Конкурирующие интересы. Конкурирующих интересов не имею. Авторская ответственность. Я несу полную ответственность за предоставление окончательной версии рукописи в печать. Окончательная версия рукописи мною одобрена.

Финансирование. Работа выполнена за счет средств Программы стратегического академического лидерства Казанского (Приволжского) федерального университета.

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

1. Бицадзе А. В. О структурных свойствах решений гиперболических систем уравнений в частных производных первого порядка// Матем. моделирование, 1994. Т. 6, №6. С. 22-31.

2. Жегалов В. И. Задача с нормальными производными в граничных условиях для системы дифференциальных уравнений// Изв. вузов. Матем., 2008. №8. С. 70-72. EDN: JHCZWJ.

3. Созонтова Е. А. О характеристических задачах с нормальными производными для системы гиперболического типа// Изв. вузов. Матем., 2013. №10. С. 43-54. EDN: QZPDWX.

4. Mironova L. B. Boundary-value problems with data on characteristics for hyperbolic systems of equations// Lobachevskii J. Math., 2020. vol.41, no. 3. pp. 400-406. EDN: ZPBRIK. DOI: https://doi.org/10.1134/S1995080220030130.

5. Созонтова Е. А. К условиям разрешимости задачи Гурса в квадратурах для трехмерной системы первого порядка // Вестн. Воронеж. гос. ун-та. Сер. Физика. Математика, 2017. №2. С. 128-138. EDN: ZAERAX.

6. Миронов А. Н., Миронова Л. Б. Метод Римана-Адамара для одной системы в трехмерном пространстве// Диффер. уравн., 2021. Т. 57, №8. С. 1063-1070. EDN: GWQQJD. DOI: https://doi.org/10.31857/S0374064121080070.

7. Бицадзе А. В. Некоторые классы уравнений в частных производных. М.: Наука, 1981. 448 с.

8. Жибер А. В., Старцев С. Я. Интегралы, решения и существование преобразований Лапласа линейной гиперболической системы уравнений // Матем. заметки, 2003. Т. 74, №6. С. 848-857. DOI: https://doi.org/10.4213/mzm322.

9. Старцев С. Я. Метод каскадного интегрирования Лапласа для линейных гиперболических систем уравнений// Матем. заметки,, 2008. Т. 83, №1. С. 107-118. EDN: RLQXKH. DOI: https://doi.org/10.4213/mzm4338.

10. Созонтова Е. А. Об условиях разрешимости граничных задач в квадратурах для гиперболических систем второго порядка// Уфимск. матем. журн., 2016. Т. 8, №3. С. 135140. EDN: WMAPYB.

11. Созонтова Е. А. К условиям разрешимости характеристических задач для одной системы гиперболического типа // Вестн. Сыктывкар. ун-та. Сер. 1. Матем. Мех. Ин-форм., 2020. №1(34). С. 22-28. EDN: BVIINY.

12. Михайлова Ю. Г. О задаче Коши для линейных гиперболических систем уравнений с нулевыми обобщенными инвариантами Лапласа// Уфимск. матем. журн., 2010. Т. 2, №2. С. 20-26. EDN: MVUKRT.

13. Миронова Л. Б. Линейные системы уравнений с кратными старшими частными про-

изводными: Дисс. . .. канд. физ.-мат. наук: 01.01.02. Казань: Казан. гос. ун-т, 2005. 140 с. EDN: NNQRYV.

14. Миронова Л. Б. Применение метода Римана к одной системе в трехмерном пространстве// Изв. вузов. Матем., 2019. №6. С. 48-57. EDN: KJXFEH DOI: https://doi.org/ 10.26907/0021-3446-2019-6-48-57.

15. Джохадзе О. М. Функция Римана для гиперболических уравнений и систем высокого порядка с доминированными младшими членами// Диффер. уравн., 2003. Т. 39, №10. С. 1366-1378. EDN: OPFXSJ.

16. Созонтова Е. А. К условиям разрешимости задачи Гурса в квадратурах для двумерной системы высокого порядка // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2017. Т. 21, №1. С. 94-111. EDN: YPZFUZ. DOI: https://doi.org/10.14498/vsgtu1479.

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

[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2023, vol. 27, no. 2, pp. 375-383 ISSN: 2310-7081 (online), 1991-8615 (print) d https://doi.org/10.14498/vsgtu2012

MSC: 35G15

Conditions for the existence and uniqueness of the solution of the Goursat problem for a system of equations with dominant partial derivatives

E. A. Sozontova

Elabuga Institute of Kazan (Volga Region) Federal University,

89, Kazanskaya st., Elabuga, 423600, Russian Federation.

Abstract

An n-dimensional system of equations with dominant partial derivatives of the nth order is being studied. The distinguishing feature of the considered system compared to other systems with partial derivatives is the presence of a first term in the equations on the right side of the system, representing a dominant derivative, while all other derivatives appearing in the system equations are obtained from it by discarding at least one differentiation with respect to any of the independent variables. The aim of the study is to find conditions for the unique solvability of the Goursat problem for the considered system. The main problem is reduced to a system of integral equations, the solution of which exists and is unique when the requirements of continuity of the kernels and right sides of this system are satisfied in the corresponding closed parallelepipeds of variable ranges. Conditions under which the main problem is uniquely solvable have been obtained. The final result in terms of the coefficients of the original system is formulated as a theorem.

Keywords: system of differential equations, Goursat problem, existence and uniqueness theorem.

Received: 21st March, 2023 / Revised: 13th May, 2023 / Accepted: 18th May, 2023 / First online: 20th June, 2023

Competing interests. I have no competing interests.

Author's Responsibilities. I take full responsibility for submitting the final version of the manuscript for publication. The final version of the manuscript has been approved by me.

Differential Equations and Mathematical Physics Short Communication

© Authors, 2023

© Samara State Technical University, 2023 (Compilation, Design, and Layout) 9 ©® 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:

Sozontova E. A. Conditions for the existence and uniqueness of the solution of the Goursat problem for a system of equations with dominant partial derivatives, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2023, vol. 27, no. 2, pp. 375-383. EDN: MKLZCD. DOI: 10.14498/vsgtu2012 (In Russian). Author's Details:

Elena A. Sozontova https://orcid.org/0000-0003-4315-0669

Cand. Phys. & Math. Sci.; Associate Professor; Dept. of Mathematics and Applied Computer Science; e-mail: [email protected]

Funding. The work was carried out at the expense of the Strategic Academic Leadership

Program of Kazan (Volga Region) Federal University.

References

1. Bitsadze A. V. On structural properties of solutions of hyperbolic systems of partial differential equations of the first order, Mat. Model., 1994, vol. 6, no. 6, pp. 22-31 (In Russian).

2. Zhegalov V. I. A problem with normal derivatives in boundary conditions for a system of differential equations, Russian Math. (Iz. VUZ), 2008, vol. 52, no. 8, pp. 58-60. DOI: https:// doi.org/10.3103/S1066369X08080070.

3. Sozontova E. A. Characteristic problems with normal derivatives for hyperbolic systems, Russian Math. (Iz. VUZ), 2013, vol. 57, no. 10, pp. 37-47. EDN: SKVOOR. DOI: https://doi. org/10.3103/S1066369X13100046.

4. Mironova L. B. Boundary-value problems with data on characteristics for hyperbolic systems of equations, Lobachevskii J. Math., 2020, vol.41, no. 3, pp. 400-406. EDN: ZPBRIK. DOI: https://doi.org/10.1134/S1995080220030130.

5. Sozontova E. A. The conditions of solvability of the Goursat problem in quadratures for three-dimensional system of first order, Proc. Voronezh State Univ. Ser. Phys., Math., 2017, no. 2, pp. 128-138 (In Russian). EDN: ZAERAX.

6. Mironov A. N., Mironova L. B. Riemann-Hadamard method for one system in three-dimensional space, Differ. Equ., 2021, vol.57, no. 8, pp. 1034-1041. EDN: BWRRVC. DOI: https://doi.org/10.1134/S0012266121080073.

7. Bitsadze A. V. Nekotorye klassy uravnenii v chastnykh proizvodnykh [Some Classes of Partial Differential Equations]. Moscow, Nauka, 1981, 448 pp. (In Russian)

8. Zhiber A. V., Startsev S. Ya. Integrals, solutions, and existence problems for Laplace transformations of linear hyperbolic systems, Math. Notes, 2003, vol. 74, no. 6, pp. 803-811. EDN: LHRQKD. DOI: https://doi.org/10.1023/B:MATN.0000009016.91968.ed.

9. Startsev S. Ya. Cascade method of Laplace integration for linear hyperbolic systems of equations, Math. Notes, 2008, vol.83, no. 1, pp. 97-106. EDN: LLHRQR. DOI: https://doi. org/10.1134/S0001434608010124.

10. Sozontova E. A. On solvability by quadratures conditions for second order hyperbolic systems, Ufa Math. J., 2016, vol.8, no. 3, pp. 130-135. EDN: YVGUUD. DOI: https://doi.org/ 10.13108/2016-8-3-130.

11. Sozontova E. A. On the solvability conditions of characteristic problems for one hyperbolic type system, Vestn. Syktyvkar. Univ. Ser 1. Mat. Mekh. Inform., 2020, no. 1(34), pp. 22-28 (In Russian). EDN: BVIINY.

12. Mihaylova Yu. G. On Cauchy problem for linear hyperbolic systems of equations with zero generalized Laplace invariants, Ufim. Mat. Zh., 2010, vol.2, no. 2, pp. 20-26 (In Russian). EDN: MVUKRT.

13. Mironova L. B. Linear systems of equations with multiple higher partial derivatives, Thesis of Dissertation (Cand. Phys. & Math. Sci.). Kazan, Kazan State Univ., 2005, 140 pp. (In Russian). EDN: NNQRYV.

14. Mironova L. B. Application of Riemann method to one system in three-dimensional space, Russian Math. (Iz. VUZ), 2019, vol.63, no. 6, pp. 42-50. EDN: GGFHED. DOI: https://doi. org/10.3103/S1066369X19060057.

15. Dzhokhadze O. M. The Riemann function for higher-order hyperbolic equations and systems with dominated lower-order terms, Differ. Equ., 2003, vol.39, no. 10, pp. 1440-1453. EDN: VYSOQG. DOI: https://doi.org/10.1023/B:DIEQ.0000017917.55876.38.

16. Sozontova E. A. A conditions of solvability of the Goursat problem in quadratures for the two-dimensional system of high order, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2017, vol. 21, no. 1, pp. 94-111 (In Russian). EDN: YPZFUZ. DOI: https://doi.org/10.14498/vsgtu1479.