CC BY
2
УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА. СЕРИЯ ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
2024, Т. 166, кн. 1 С. 74-91
ISSN 2541-7746 (Print) ISSN 2500-2198 (Online)
ОРИГИНАЛЬНАЯ СТАТЬЯ
УДК 517.968.23 10.26907/2541-7746.2024.1.74-91
ЗАДАЧА ТРИКОМИ И ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ
Н.Б. Плещинский
Казанский (Приволжский) федеральный университет, г. Казань, 420008, Россия
Аннотация
Получены формулы обращения интегральных уравнений, возникающих при исследовании задачи Трикоми для уравнения Лаврентьева - Бицадзе. Условия разрешимости вспомогательной переопределенной задачи в эллиптической части смешанной области найдены методом функции Грина. Установлена связь между функциями Грина задачи Дирихле и задачи N для уравнения Лапласа в виде интегральных уравнений, взаимно обращающих друг друга. Рассмотрены различные интегральные уравнения, в том числе разрешимые в явном виде, к которым сводится задача Трикоми. Явное решение характеристического сингулярного уравнения с ядром Коши получено без привлечения теории краевых задач для аналитических функций.
Ключевые слова: задача Трикоми, переопределенная задача, интегральное уравнение, функция Грина, конформное отображение
Введение
В 1923 г. Ф. Трикоми [1,2] исследовал уравнение с частными производными, которое изменяет тип с эллиптического на гиперболический при переходе через линию у = 0 параболического вырождения (уравнение Трикоми). В 1945 г. Ф.И. Франкль [3] показал, что уравнение Трикоми при определенных допущениях описывает течения газа при переходе через скорость звука. Позже были найдены и другие задачи физики и механики, сводящиеся к уравнениям смешанного типа.
М.А. Лаврентьев [4] предложил исследовать модельное уравнение
д2и д2и
-тг^ + Щъу—^ = 0
дх2 ду2
(уравнение Лаврентьева-Бицадзе). Задачу Трикоми и ее обобщения для этого уравнения изучал А.В. Бицадзе (см. [5, 6] и другие его работы).
Обзор более поздних публикаций по граничным задачам для уравнений смешанного типа можно найти, например, в монографиях [7-9].
Пусть линия АВ (отрезок оси х в случае модельных уравнений) разделяет области и Б-, в первой из них уравнение является эллиптическим, а во второй -гиперболическим. В областях и Б- нужно найти решения уравнения при условии, что предельные значения этих решений и их нормальных производных с разных сторон на АВ совпадают (или удовлетворяют некоторым более сложным зависимостям - условиям склеивания). Следуя Ф. Трикоми, обычно используют
обозначения т(х) = и{х, 0 ± 0), ь>(х) = — (х, 0 ± 0). На оставшихся частях границ
ду
областей Б+ и Б- также должны быть заданы условия, при которых граничная задача будет корректной.
Таким образом, речь идет о задаче сопряжения на АВ решений, вообще говоря, двух различных уравнений с частными производными в Б+ и Б- . Метод сведения таких задач к интегральным уравнениям предложил еще Ф. Трикоми. Нужно рассмотреть вспомогательные граничные задачи в Б+ и Б- (например, задачу N и задачу Коши-Гурса), получить зависимости между функциями т(•) и V(•) (эти зависимости обычно называют "основными соотношениями") и исключить одну из них.
В данной работе в качестве вспомогательных граничных задач рассмотрены такие переопределенные задачи в областях Б+ и Б-, когда на АВ заданы одновременно и функция т(•), и функция V(•). Условия разрешимости переопределенных задач и являются основными соотношениями.
Метод переопределенной граничной задачи успешно использовался при исследовании ряда задач для уравнений с частными производными, в частности, теории распространения и дифракции электромагнитных и упругих волн (см., например, обзорные статьи [10,11]).
В данной работе показано, что разные формы условий разрешимости вспомогательной граничной задачи в области Б+ образуют пару взаимно обращающих друг друга интегральных уравнений, ядра которых выражаются через функции Грина задачи Дирихле и задачи N. Функции Грина получены методом электростатических изображений или методом конформных отображений при условии, что построена полная система точек, симметричных относительно границы области.
Если область Б+ является половиной области Б, симметричной относительно отрезка АВ, то функции Грина задачи Дирихле и задачи N в области Б+ находятся с помощью функции Грина задачи Дирихле в области Б. Следуя методу Ю.М. Крикунова ([12-14]), функции Грина для области Б+ можно выразить через функции Грина таких же задач в некоторой канонической области, в качестве которой удобно взять верхнюю полуплоскость. В итоге интегральные уравнения, к которым сводится задача Трикоми для уравнения Лаврентьева-Бицадзе, преобразуются в характеристическое сингулярное интегральное уравнение с ядром Коши. Явное решение этого уравнения получено методом интегральных преобразований, минуя переход к краевой задаче Римана для аналитических функций.
1. Задача Трикоми для уравнения Лаврентьева — Бицадзе
Пусть область Б+ ограничена снизу отрезком АВ= [0,1] оси х, а сверху - гладкой или кусочно-гладкой кривой Г без точек самопересечения. Пусть область Б- -характеристический треугольник в полуплоскости у < 0 с основанием АВ и боковыми сторонами АС: у = —х и ВС: у = х — 1 (рис. 1). Задача Трикоми состоит в следующем.
Нужно найти решения уравнения Лаврентьева - Бицадзе в Б+ и Б- , удовлетворяющие условиям сопряжения м(ж,0+0) = 0—0), —(ж, 0+0) = —(ж, 0—0)
ду ду
и граничным условиям
= <£>(й), и = -0(х).
АС
и
Вспомогательная переопределенная задача в области П- ставится так: найти решение волнового уравнения в характеристическом треугольнике, удовлетворяющее условиям
ди
ы(ж, 0) = т(ж), —(ж, 0) = г/(ж), и = ф(х).
ду
Из формулы Даламбера следует, что
AC
x
т(х) - I de = ФЛх), ф!(х) = 2- ф(о). (1)
0
Отсюда по известной функции v(■) легко найти функцию т(■) и, наоборот, по известной функции т(■) - функцию v(-).
Вспомогательная переопределенная граничная задача в области D+ ставится так: найти решение уравнения Лапласа, удовлетворяющее на отрезке AB условиям
ди
и(х, 0) = т(ж), —— (ж, 0) = v(x) ду
и принимающее заданные значения у (s) на дуге Г.
Связи между функциями т(■) и v(■) найдем методом функции Грина. Если Gi(Z, z) - функция Грина задачи Дирихле для области D+ , то
i
/dG í dG
т{0 -7^-(е,0,ж,у) de - J <f(s) ф),:с, у) dsc.
0 г Z
Если G2 (Z, z) - функция Грина задачи N для области D+, то
i
и(ж, у) = - J г/(е) С2(е, О, ж, у) de - J <fi(s) ж> у) dsí •
0 г Z
Будем считать, что у(-) = 0, что не уменьшает общности рассуждений. Тогда
i
д /f dG \
= (2)
0
1
т (x) = -J v(e) G2(e, 0, x, 0) ¿e. (3)
Таким образом, задача Трикоми для уравнения Лаврентьева - Бицадзе сводится к системе из двух уравнений на АВ: первое - зависимость между т(•) и v(•), полученная из Б-, второе - из Б+. Можно исключить одну из этих функций и перейти к интегральному уравнению относительно другой. Но прежде чем это сделать, выскажем следующее утверждение.
Теорема 1. Если С\ (х, у, £, п) и С2 (х, у, £, п) - функции Грина задачи Дирихле и задачи N для области Б+, то формулы (2) и (3) представляют собой пару интегральных уравнений, взаимно обращающих друг друга.
В дальнейшем будем считать, что функции т(•) и V(•) таковы, что интегралы в приведенных формулах существуют в обычном смысле или в смысле главного значения. Для этого достаточно предположить, что т'(-) и V(•) удовлетворяют условию Гёльдера в интервале (0,1) и могут иметь (но не обязательно) интегрируемые особенности в его граничных точках. Так как рассматривается классическое решение задачи Трикоми, непрерывное в смешанной области, то необходимо т(0) = т(1) = 0.
2. Функции Грина граничных задач для уравнения Лапласа
Функции Грина задачи Дирихле и задачи N (а также задачи Неймана) могут быть построены в некоторых случаях методом электростатических изображений ([15], гл. IV, §4). Этот метод состоит в следующем (удобно использовать комплексные координаты точек плоскости г = х + гу, £ = £ + ¿п).
Фундаментальное решение уравнения Лапласа д(г, () = — 1п --— рассматривается как потенциал электрического поля в точке г плоскости, который создает положительный заряд с единичной плотностью, размещенный на прямой, проходящей через точку £ перпендикулярно этой плоскости. Функция Грина имеет вид ) = + С), слагаемое д(,г,£) строится так, чтобы были выполнены соответствующие граничные условия. Это слагаемое составляется из потенциалов положительных и отрицательных зарядов с единичной плотностью, размещенных на прямых, проходящих через некоторые точки ^ плоскости.
Метод электростатических изображений можно использовать, если удастся построить полную систему точек ^, симметричных относительно границы области, только одна из которых принадлежит этой области. В этих точках и размещаются прямые с положительными и отрицательными зарядами. Как известно, линиями симметрии на плоскости являются только прямые и окружности. Поэтому граница области Б\ должна состоять из отрезков прямых и дуг окружностей.
Если, как в рассматриваемом случае, в границу области Б\ входит отрезок вещественной оси, то множество симметричных точек состоит из пар точек, симметричных относительно вещественной оси. Если точка принадлежит этому множеству, то и точка ^ ему принадлежит. Тогда, если две точки ^ и симметричны относительно окружности, часть которой входит в границу области Б\, то в множестве симметричных точек содержатся точки и . Поэтому взаимно уничтожаются разности потенциалов пар зарядов на окружностях, расположенных симметрично относительно вещественной оси.
Функция Грина задачи Дирихле строится следующим образом. Пусть
+
точки в верхней полуплоскости, в которых размещены положительно заряженные прямые, и (г - точки в верхней полуплоскости, в которых размещены отрицательно заряженные прямые. Тогда в симметричных им точках нижней полуплоскости
должны быть размещены прямые с зарядами противоположных знаков, следовательно,
3 3 3 3
_ (4)
Для задачи N в точках , симметричных точкам относительно вещественной оси, должны находиться заряды таких же знаков. Поэтому
3 3 3 3
(5)
Если система симметричных точек бесконечна, то нужно убедиться в сходимости соответствующих рядов.
Таким образом, имеет место следующая
Теорема 2. Пусть функции Грина ) и задачи Дирихле и за-
дачи N построены методом электростатических изображений. Чтобы преобразовать одну из них в другую, нужно изменить знаки у половины слагаемых в формуле (4) или в формуле (5).
Полная система точек, симметричных относительно границы области, может быть построена в том случае, когда область, ограниченная отрезками прямых и дугами окружностей, является ячейкой симметрии (или правильной областью) ([16], с. 22). Это значит, что при преобразованиях симметрии относительно всех участков границы области и возникающих при этом новых границ получаются области, покрывающие в совокупности всю плоскость и не пересекающиеся друг с другом (однослойное паркетное покрытие).
Как известно, преобразованиями симметрии на плоскости являются дробно-линейные преобразования от £ (конформные отображения 2-го рода) [17].
Ячейки симметрии являются половинами симметричных фундаментальных областей некоторых групп дробно-линейных преобразований.
Действительно, если Б к (х) - преобразования симметрии относительно прямых и окружностей, части которых образуют границу области, то обратные преобразования Б-1(х) совпадают с Бк (х). Все возможные комбинации преобразований Б к (х) образуют группу, которую называют расширенной группой симметрии. Преобразования этой группы, зависящие от £, образуют группу симметрии. Одна из фундаментальных областей группы симметрии - область, составленная из исходной области и примыкающего к ней ее образа, полученного при одном из симметричных преобразований. В такой области нет конгруентных точек, и в окрестности любой точки ее границы есть точки, конгруентные точкам области.
Но не всегда половина симметричной фундаментальной области группы дробно-линейных преобразований является ячейкой симметрии.
Рассмотрим частный случай примера 2 из работы [18] - трехчленную груп-
х — 1 1
пу дробно-линейных преобразований х, -, --. Фундаментальные области
х 1 — х
этой группы - внешность двух изометрических окружностей и конгруентные ей части плоскости, ограниченные одной из окружностей и отрезком х\х2 вертикальной прямой. Такие фундаментальные области не являются ячейками симметрии, при симметричном отражении области через ее границы и границы новых областей образуется двулистная риманова поверхность.
Пусть {Т3-(х)} - преобразования группы дробно-линейных преобразований (конечной или бесконечной). Если часть границы области П\ - отрезок вещественной оси, то множество симметричных точек имеет вид {Т3-(£), Т3-(£)} .
Рис. 2. Паркетное покрытие плоскости
На рис. 2 показано паркетное покрытие плоскости, порожденное группой ангармонических отношений
х 1 х — 1 1 -7, -, -л-, 1-х — 1 х х 1 — х
и дополнительным преобразованием симметрии относительно вещественной оси. Две окружности и вертикальная прямая делят плоскость на шесть частей, каждая из них состоит из двух ячеек симметрии, симметричных относительно вещественной оси, то есть их всего двенадцать. В ([17], с. 147, рис. 38) показано более сложное покрытие плоскости. В работах [19, 20] паркетные покрытия плоскости использованы при построении функций Грина в более сложных случаях.
3. Конформные отображения и функции Грина
Метод конформных отображений позволяет не только записать в явном виде функции Грина для ряда областей, но и ответить на вопросы, связанные с существованием и единственностью этих функций. Хорошо известно следующее утверждение.
Пусть функция т = / (х, () по переменной х определяет конформное отображение области Б на единичный круг < 1, причем /((,() =0 (£ € Б). Тогда
С(х,С) = ^1п
2п |/(х,СЛ
- функция Грина задачи Дирихле для области Б .
Поэтому задача построения функции Грина и задача построения конформного отображения области на единичный круг - почти одно и то же.
Конформные отображения области на единичный круг используются также при решении задачи Шварца: найти аналитическую в области функцию по значениям на границе области ее вещественной части. Эта задача сводится (в случае односвяз-ной области) к задаче Дирихле (см. [21], п. 27.2). Функция Грина задачи Дирихле является вещественной частью комплексной функции Грина.
Метод построения оператора Шварца с помощью конформного отображения развит в цикле работ Л.А. Аксентьева [22-24] (см. также [16,25]). При построении конформного отображения области на единичный круг им использован принцип симметрии: симметричные точки переходят в симметричные точки. Самый простой
пример: £) =-= — отображение верхней полуплоскости на единичный круг,
г - С
точка С переходит в нуль.
Как показано в ([25], теорема 1), если Тк (г), Тк Sl(z), к = 0 . .п, - конечная группа симметрии односвязной области П, ограниченной алгебраической кривой Ь, и все симметричные образы этой области образуют паркетное покрытие плоскости, то функция
I(г, С)
д(г,С ) = П
к=0
С-Тк(г) С-ТкБ^хУ
¿0 е £,
конформно отображает область П на единичный круг, точка ¿о переходит в точку 1 .В работе [23] получено условие конечности группы симметрии (в [16] исправлена неточность, на которую указано в обзоре [26], с. 47).
Если П - правильная область, то группу симметрии образуют дробно-линейные преобразования Тк(г) и их суперпозиции с преобразованием (г). Если область симметрична относительно вещественной оси, то можно считать, что ¿>1 (г) = г.
Функция Грина задачи Дирихле инвариантна относительно конформного отображения областей ([27], с. 209; [14], §8).
I. Пусть функция т = ш(г) конформно отображает область П в плоскости г на область П0 в плоскости т. Если С0(т,и) - функция Грина задачи Дирихле в области П0, то С(г,^) = О0[ш(г), ш(£)] - функция Грина задачи Дирихле в области П .
Например, если
Со (ад,-и) = тт-1п 2п
1 — ию
т — и
- функция Грина задачи Дирихле в единичном круге и т = 2г — 1 - отображение круга |2г — 1| < 1 на единичный круг, то для первого круга
г + С-2гС
г — С
В работах ([12, 13], см. также [14], §8) сформулированы и доказаны важные свойства функций Грина задачи Дирихле и задачи N для уравнения Лапласа. Перечислим их с некоторыми дополнениями.
Пусть П* - область, симметричная области П+ относительно вещественной оси, область В = £>+ и АВ и Б*.
II. Если С(г, () - функция Грина для области Б, то С(г, () = С(г, ().
Следовательно, функция Грина задачи N для полукруга |2г — 1| < 1, 1т г > 0 имеет вид
г + С — 2гС г + С — 2гС
г — С
Тогда при г ^ х, £ ^ £
а2(х, о,£, о)
П ! ГЛ 1 1 х + £ — 2х£
(6)
III. Если С(г, () - функция Грина задачи Дирихле в области Б, то С\(г, () = С(гХ) ~ G{z,C>) ~ функция Грина задачи Дирихле в области и С?2(-г, С) = С(г, () + С(г, () - функция Грина задачи N в области . Легко видеть, что 0\(г, £) = 0 при г = х е АВ.
п
Вторая часть утверждения может быть доказана так.
Из II следует, что С?2(<г, () = С(г, () + () = С(х + гу; () + С(х — гу; (). Тогда
дС2 (г, С) _ дС(х + гу; С) дС(х - гу; С)
ду ду ду
Это выражение равно нулю при у = 0.
IV. С(С,*) = С(г,С), Сх(С,х) = С1(г,С), С2(С,г) = С2(г,С). В итоге пары функций Грина могут быть получены следующим образом. Теорема 3. Пусть функция ад = ш(г) отображает область Б = Б+ иАВиБ* на единичный круг. Тогда
с 1(^,0 = ¿111
1-^МС) ^)-^(С)
функция Грина задачи Дирихле в области Б+ и
= ¿1п
1-^МС) 1-^МС)
- функция Грина задачи N в области Б+ .
Заметим, что = в силу симметрии области Б. Поэтому при г —> х и £ ^ £ выражения функций Грина становятся существенно более простыми.
В работе [12] установлена связь между функциями Грина задачи N в конформно эквивалентных областях. Это возможно и в случае задачи Дирихле.
Пусть Б+ и Б° - области, расположенные в верхних полуплоскостях и ограниченные отрезком АВ и кривыми с концами в точках А и В, а ад = ш(г) - функция, конформно отображающая область Б+ на область Б°, причем так, что отрезок АВ переходит в себя и ^(0) = 0, ^(1) = 1 .В дальнейшем будем рассматривать только такие функции ад = ш(г).
Теорема 4. Если С0(ад, и) - функция Грина задачи Дирихле в области Б°, то С1(х, () = ш(£)] - функция Грина задачи Дирихле в области Б+ . Если
С2(ад,и) - функция Грина задачи N в области Б°, то С2(г, () = ш(£)] -
функция Грина задачи N в области Б+.
В ([14], с. 33, теорема 1) доказана вторая часть этого утверждения. Доказательство первой части проводится по аналогии.
Эту теорему можно применять в случае, когда известна функция, осуществляющая конформное отображение области на некоторую каноническую область, для которой уже получена функция Грина одной из рассматриваемых задач. Функция Грина задачи N в верхней полуплоскости получается с помощью конформного отображения верхней полуплоскости на полукруг |2ад — 1| < 1, 1т ад > 0:
ад = ш(г) =
([14], с. 34; в формуле (3.25) имеется опечатка!). След этой функции Грина при х ^ £ ^ т имеет вид
1 2
С2(г,т) =--1п |*-т| + - 1п|^(1-т) + (7)
п п
г
(формула (3.26), но мы используем другие обозначения переменных). Эта формула следует из (6) с помощью замены переменных.
Из (7) получим
dt А У 7Г ^(1 -t) т-t
4. Интегральные уравнения задачи Трикоми
Вернемся к системе уравнений (1), (2) или (1), (3). Простая связь (1) между функциями т(■) и v(■) позволяет легко перейти от системы двух уравнений к одному уравнению. Прежде всего, из уравнений (1) и (3) следует, что
x 1
jv (£) d£ +J v (£) C2 (£, 0, x, 0) d£ = —^i(x), 0 <x< 1, (9)
0 0 и, после дифференцирования, 1
f д
v{x) + J ^ G2(Z, 0, X, 0) = f(x), f(x) = -ф[(х), (10)
0
п H£) - w(x)|
функция w(z) отображает область Di на верхний полукруг единичного круга.
Если область Di - полукруг |2z — 1| < 1, Re z > 0, то w(z) = 2z — 1 и функция G2(£, 0,x, 0) имеет вид (6). Тогда уравнение (10) примет вид
1
0
Оно было впервые получено и решено А.В. Бицадзе. Его решение имеет вид
, N 1 г, N 1 f г / \ X(l-t) /1 1-21 \ 7
1у(х) = - fix)--/ fit) . / -f--1--dt.
KJ 2JK ' 2-к J JKJ Vt(l-x) \t-x t + x-2txJ
0
x
Если в уравнении (9) введем новую искомую функцию M(x) = jv(е) d£,то
после интегрирования по частям получим i
д
МИ-J M(£)g£G2(t,0,x,0)dt = g(x), д(х) = -ф1(х), (12)
а в частном случае
1
ц(х) + - (7---) = 9
п J \£ — x £ + x — 2£xJ
п J \£ — x £ + x — '
0
(13)
Точно такому же уравнению должна удовлетворять функция т(■), так как т(■) . Формула обращения уравнения (13)
1 1 f lx( 1 — t) /1 1 —2х \
Ф) = 2 9(х) ~ ^ J 9(t) J - f + x_2J dt
П "
получена в [28].
В работе [29] Ф.Д. Гахов и Л.И. Чибрикова показали, что интегральное уравнение (11) принадлежит широкому классу интегральных уравнений, решение которых может быть получено в замкнутой форме методом аналитического продолжения, то есть сведением к краевой задаче для аналитических функций. Эта работа положила начало разработке теории краевых задач для аналитических функций на римановых поверхностях (см. обзор [26]).
Решение частного случая уравнения (9) с логарифмическим ядром (11) построено в ([30], §19) также методом сведения к краевой задаче Римана. Существенно, что при этом были использованы вспомогательные кусочно-аналитические функции - аналоги интеграла типа Коши, автоморфные относительно группы дробно-
z
линейных преобразований z, -. Наиболее полное изложение теории краевых
2z — 1
задач для автоморфных аналитических функций дано в [31].
В работах Ю.М. Крикунова [13,14] предложено на основе формулы (8) перейти от уравнения (10) к характеристическому сингулярному интегральному уравнению с ядром Коши с помощью замены переменных.
Теорема 5. Интегральные уравнения (10) и (12) сводятся к характеристическим сингулярным интегральным уравнениям с ядром Коши.
Доказательство. Повторим рассуждения из ([14], §17). Пусть функция Грина G2(z,Z) задачи N в области D+ G2(z, Z) = G2[w(z),w(Z)], где G0(w, и) - функция Грина G0(w, и) задачи N в верхней полуплоскости; здесь функция w = w(z) дает конформное отображение области D+ на верхнюю полуплоскость. Пусть z = a(w) - функция, обратная к w = w(z), и и = w(Z).
Перейдем к пределу из области D+ на отрезок AB: z ^ x, Z ^ Z и из верхней полуплоскости на вещественную ось: w ^ t, и ^ т. Тогда из G2 [a(w), а(и)] =
dG^ dG
G%(w,v) следует G2[a(t), а(т)} = G%{t,r) и = —— [a(t], а(т)} a'(t). Про-
dt dx
изводная функции G2(t, т) была вычислена раньше (формула (8)).
В уравнении (10) выполним замену переменных: х = a(t), Z = а(т) • Для новых функций v\(t) = \Jt{ 1 — t) a'(t) v[a{t)} и f\{t) = \Jt{ 1 — t) a'(t) f[a(t)] получим уравнение
1
, . 1 f v1 (т) dT „ . .
Mt) + - / u ', =h(t).
П J T — t
0
С помощью аналогичной замены переменных интегральное уравнение (12) также приводится к уравнению с ядром Коши 1
1 ГМг)йг= „[«(*)]«'(*) g[a(t)]a'(t)^
P W 7Г У T-t ylW' y/t(l-t) y/t(l ~t)
5. Сингулярное интегральное уравнение с ядром Коши
Рассмотрим сингулярное интегральное уравнение с ядром Коши и постоянными коэффициентами на отрезке [а, в] вещественной оси
в
Ъ f^t)dt=f{xl XG( (14)
п J t — x
Ограничимся случаем, когда /(■) € Н[а, в], то есть удовлетворяет условию Гёль-дера и не имеет особенностей на концах отрезка. Решение будем искать в классе Н*. Формулу обращения уравнения (14) легко получить как частный случай
общей формулы, дающей решение характеристического уравнения (см. [21,32]). Это решение найдено на основе эквивалентности характеристического сингулярного интегрального уравнения по разомкнутому контуру и краевой задачи Римана (задачи линейного сопряжения) для аналитических функций.
Покажем, что решение уравнения (14) может быть получено другим, очень простым методом без перехода к краевой задаче для аналитических функций.
Поведение решения уравнения (14) в точках а и в зависит от свойств его правой части и коэффициентов, в рассматриваемом случае - только от величины Ь.
Предположим, что
v (x)
ß — x
vo(x), vo(a) = 0,
то есть функция v(■) имеет степенную особенность в точке а порядка А. Подставим это выражение в (14), поделим обе части на (—-и перейдем к пределу
x — а
при Получим vq(o) [l + b ctg А7г] = 0. Если b < 0, то А =--arctg b G (0,1).
Но если b > 0, то решений с особенностью в точке а быть не может. Аналогично, если b > 0, то решение уравнения (1) может иметь особенность в точке x = ß, при
этом А = — arctg b (Е (0,1). Исследуем именно этот случай. п
/ ß — t \А
Заменим в уравнении (14)tHatiHXHat. Умножим обе его части на (-
t — а
и применим операцию сингулярного интегрирования. Тогда
в
в
в
ß — t \ v (t) dt b [\( ß — t \ [ v(ti) dti
t — а
, + t — x п
t — а
ti t
dt tx
в
ß — t \ f (t) dt
t а t x
(15)
Преобразуем второй интеграл в левой части. По формуле Пуанкаре - Бертрана
в в
' ß — t \ [ v(t1) dt1 ] dt
t а ti t t x
-^(L^L) v{x)+ I v{ti)
ß-t^ dt t - а) (ti -t){t -x)\
dt1
Здесь
ß-t^ dt _ 1 t — а) (ti — t)(t — x) ti — :
в в 'ß-tf dt ffß-tf dt
t а ti t
t — а) t — x.
ti x b
ß — x
ß-t l^H ti а
В результате два интеграла в левой части равенства (15) взаимно уничтожатся.
/ в — х \л
Поделим обе части равенства на (-] и получим
—bn v(x) + j
в в v (t1) dt1 / x — а \ Г/ ß — t \ f (t) dt
ti x
ß — x
t а t x
x — а
в
в
1
п
x — а
Отсюда и из равенства (14) следует, что
в
1 t( . 1 Ъ fx-а[ (¡3-t\^f(t) dt
-(-) = Y^я-)--Y^H^J Д—) т^- (16)
а
Итак, если v(^) - решение уравнения (14), то эта функция имеет вид (16). Ясно, что такое решение единственно. Простой подстановкой v(-) в (14) можно убедиться, что эта функция действительно является решением уравнения.
Таким образом, метод построения формулы обращения уравнения (14) состоит в том, что после специального интегрального преобразования и приведения подобных членов в левой части уравнения должны остаться только такие же слагаемые, что были раньше, но с другими коэффициентами.
Повторим такие же рассуждения для характеристического уравнения с переменными коэффициентами
в
b(x) [ v(t) dt aix) vix) + / — = fix), x G (a, /3). n J t — x
а
Пусть, как и раньше, f (•) G H[a, в]. Предположим также, что a2(x) + b2(x) = 1, следовательно, a(x) ± г b(x) = 0.
Пусть функция Z(x) = 0 пока такая, что произведение Z(x) v(x) не имеет особенностей на концах отрезка [a, в] и Z(x) - главное значение при z = x функции Z(z), аналитической вне [a, в] и имеющей конечное значение Z(то) в бесконечно удаленной точке.
Заменим t на ti и x на t. Умножим обе части уравнения на Z(t) и применим операцию сингулярного интегрирования:
в в в в I m am am +11 (ZW „> I = I Z(() Ш.
По формуле Пуанкаре - Бертрана
в в
i / (z(t)b(t) J
v(ti) dti \ dt
1
ti — t t — x
в в
= -7Г £(ж) b(x) v{x) + - / Z/(il) / Z(t) 6(t)
П
dt
(t1 — t)(t — x)J
dti =
в в в
---nZ{x)b{x)v{x) + [ ^(ii) Г—— / ^(i) 6(t) —^--h - [ Z(t)b(t) —
J У П J t — ti n J t — xJ
а а а
Теперь потребуем, чтобы функция Z (x) удовлетворяла условию
в
Zit) bit)
tx
dti
ti x
в
- [ Zit) bit) = Zix) aix) - Zioo). (17)
П J t — x
Тогда два интеграла взаимно уничтожатся, и окончательно
Ь(х) и(х) + —
в
а(х) Г (И _ 1 1
п у Ь — х п Z(х)
в
а
Отсюда и из исходного уравнения легко получить, что
в
№ м
Ь — х
а
Построим функцию Z(х) с требуемыми свойствами. Пусть
в
' 2т ] т — г ' к 7 а(т
а(т) + ^(т) а(т) — гЪ(т)
а
Легко видеть, что Х(г) - функция, аналитическая вне [а, в], причем Х(то) = 1.
При этом Х+ (х) — Х- (х) = 2iZ(х) Ъ(х), Х+ (х) + Х- (х) = 2 Z(х) а(х). Из интегральной формулы Коши следует, что условие (17) выполнено, Z(то) = 1.
Отметим, что фактически была построена каноническая функция краевой задачи Римана, но сама задача Римана в рассуждениях не участвовала. Тем не менее, интеграл типа Коши и его свойства понадобились.
При выполнении этого исследования автор использовал в основном ранние работы сотрудников кафедры дифференциальных уравнений Казанского университета - Ю.М. Крикунова, Л.И. Чибриковой и Л.А. Аксентьева. Пятьдесят лет назад наши учителя были такими, как на фото (рис. 3).
Тогда
в
то есть
Рис. 3. Л.А. Аксентьев, Л.И. Чибрикова и Ю.М. Крикунов, 1974 г. Конфликт интересов. Автор заявляет об отсутствии конфликта интересов.
Литература
1. Tricomi F. Sulle equazioni lineari alle derivate parziali di 2o ordine di tipo misto // Memor. della R. Accad. Naz. dei Lincci. Ser. б. 1923. V. 14, F. 7. P. 133-247.
2. Трикоми Ф.Д. О линейных уравнениях в частных производных второго порядка смешанного типа. M.-Л.: Гостехиздат, 1947. 192 с.
3. Франкль Ф.И. Избранные труды по газовой динамике. M.: Наука, 1973. 772 с.
4. Лаврентьев М.А., Бицадзе А.В. К проблеме уравнений смешанного типа // Докл. АН СССР. 1950. Т. 70, № 3. С. 373-376.
б. Бицадзе А.В. К проблеме уравнений смешанного типа // Тр. MИАН СССР. 1953. Т. 41. С. 3-59.
6. Бицадзе А.В. Уравнения смешанного типа. M.: Изд-во АН СССР, 1959. 164 с.
7. Смирнов М.М. Уравнения смешанного типа. M.: Наука, 1970. 295 с.
5. Маричев О.И., Килбас А.А., Репин О.А. Краевые задачи для уравнений в частных производных с разрывными коэффициентами. Самара: Изд-во Самар. гос. экон. унта, 200S. 276 с.
9. Сабитов К.Б. К теории уравнений смешанного типа. M.: Физматлит, 2014. 304 с.
10. Плещинская И.Е., Плещинский Н.Б. Переопределенные граничные задачи для эллиптических уравнений с частными производными и их применение в теории дифракции волн // Учен. зап. Казан. гос. ун-та. Сер. Физ.-матем. науки. 2005. Т. 147, кн. 3. С. 4-32.
11. Pleshchinskaya I.E., Pleshchinskii N.B. Over-determined boundary value problems for PDE and their application in the wave propagation theory // Appl. Anal. 2014. V. 93, No 11. P. 2350-2359. https://doi.org/10.10S0/00036S11.2014.930S25.
12. Крикунов Ю.М. К задаче Трикоми для уравнения Лаврентьева-Бицадзе // Изв. вузов. Mатeм. 1974. № 2. С. 76-S1.
13. Крикунов Ю.М. К задаче Трикоми для квадрата // Изв. вузов. Mатeм. 1977. № 10. С. S1-S5.
14. Крикунов Ю.М. Краевые задачи для модельных уравнений смешанного типа. Казань: Изд-во Казан. ун-та, 19S6. 14S с.
15. Тихонов А.Н., Самарский А.А. Уравнения математической физики. M.: Наука, 1977. 736 с.
16. Аксентьев Л.А. Meтод симметрии. Программа и учебные задания к специальному курсу. Казань: Изд-во Казан. ун-та, 1991. 4S с.
17. Форд Л.Р. Автоморфные функции. M.-Л.: ОНТИ, 1936. 340 с.
1S. Чибрикова Л.И. К методу Д.А. Граве решения задачи Дирихле // Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки. 1962. Т. 122, кн. 3. С. 73-S0.
19. Begehr H., Vaitekhovich T. Green functions, reflections, and plane parqueting // Eurasian Math. J. 2010. V. 1, No. 1. P. 17-31.
20. Begehr H., Vaitekhovich T. The parqueting-reflection principle for constructing Green functions // Analytic Methods of Analysis and Differential Equations: AMADE 2012. Cottenham: Cambridge Sci. Publ., 2013. P. 11-20.
21. Гахов Ф.Д. Краевые задачи. M.: Наука, 1977. 640 с.
22. Аксентьев Л.А. Построение оператора Шварца методом симметрии // Тр. сем. по обратн. краев. задачам. Изд-во Казан. ун-та. 1964. Вып. 2. С. 3-11.
23. Аксентьев Л.А. Построение оператора Шварца методом симметрии // Тр. сем. по обратн. краев. Изд-во Казан. ун-та. 1966. Вып. 3. С. 11-24.
24. Аксентьев Л.А. Построение оператора Шварца методом симметрии // Тр. сем. по обратн. краев. Изд-во Казан. ун-та. 1967. Вып. 4. С. 3-10.
25. Аксентьев Л.А. Применение метода симметрии в конформных отображениях и в краевых задачах. Программа и учебные задания к специальному курсу. Казань: Изд-во Казан. ун-та, 1993. 48 с.
26. Чибрикова Л.И. Граничные задачи теории аналитических функций на римановых поверхностях // Итоги науки и техн. Сер. Матем. анал. Т. 18. М.: ВИНИТИ, 1980. С. 3-66.
27. Михлин С.Г. Лекции по линейным интегральным уравнениям. М.: Физматгиз, 1959. 232 с.
28. Maher A., Pleshchinskii N.B. On connection among values of solutions of the Tricomi problem on the sides of characteristic triangles // Acta Sci. Math. (Szeged). 2008. V. 74. P. 121-133.
29. Гахов Ф.Д., Чибрикова Л.И. О некоторых типах сингулярных интегральных уравнений, разрешаемых в замкнутой форме // Матем. сб. 1954. Т. 35, № 3. С. 395-436.
30. Плещинский Н.Б. Приложения теории интегральных уравнений с логарифмическими и степенными ядрами. Учеб.-метод. пособие. Казань: Изд-во Казан. ун-та, 1987. 154 с.
31. Чибрикова Л.И. Основные граничные задачи для аналитических функций. Казань: Казан. ун-т, 1977. 302 с.
32. Мусхелишвили Н.И. Сингулярные интегральные уравнения. М.: Наука, 1968. 511 с.
Поступила в редакцию 29.01.2024 Принята к публикации 31.01.2024
Плещинский Николай Борисович, доктор физико-математических наук, профессор кафедры прикладной математики и искусственного интеллекта Казанский (Приволжский) федеральный университет
ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: pnb@kpfu.ru
ISSN 2541-7746 (Print) ISSN 2500-2198 (Online) UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA. SERIYA FIZIKO-MATEMATICHESKIE NAUKI (Proceedings of Kazan University. Physics and Mathematics Series)
2024, vol. 166, no. 1, pp. 74-91
ORIGINAL ARTICLE
doi: 10.26907/2541-7746.2024.1.74-91
Tricomi Problem and Integral Equations
N.B. Pleshchinskii
Kazan Federal University, Kazan, 420008 Russia E-mail: pnb@kpfu.ru
Received January 29, 2024; Accepted January 31, 2024 Abstract
Formulas for inverting integral equations that arise when studying the Tricomi problem for the Lavrentyev-Bitsadze equation were derived. Solvability conditions of an auxiliary overdetermined problem in the elliptic part of the mixed domain were found using the Green function method. A connection was established between the Green functions of the Dirichlet problem and problem N for the Laplace equation in the form of integral equations mutually inverting each other. Various integral equations were considered, including explicitly solvable ones, to which the Tricomi problem can be reduced. An explicit solution of the characteristic singular equation with a Cauchy kernel was obtained without involving the theory of boundary value problems for analytic functions.
Keywords: Tricomi problem, overdetermined problem, integral equation, Green function, conformal mapping
Conflicts of Interest. The author declares no conflicts of interest.
Figure Captions
Fig. 1. Mixed domain of the Tricomi problem. Fig. 2. Tiling of the plane.
Fig. 3. L.A. Aksent'ev, L.I. Chibrikova, and Yu.M. Krikunov, 1974.
References
1. Tricomi F. Sulle equazioni lineari alle derivate parziali di 2° ordine di tipo misto. Memor. della R. Accad. Naz. dei Lincci. Ser. 5., 1923, vol. 14, fasc. 7, pp. 133-247. (In Italian)
2. Tricomi F.D. O lineinykh uravneniyakh v chastnykh proizvodnykh vtorogo poryadka smeshannogo tipa [On Second-Order Linear Partial Differential Equations of Mixed Type]. Moscow, Leningrad, Gostekhizdat, 1947. 192 p. (In Russian)
3. Frankl F. Izbrannye trudy po gazovoi dinamike [Selected Works on Gas Dynamics]. Moscow, Nauka, 1973. 772 p. (In Russian)
4. Lavrentyev M.A., Bitsadze A.V. On the problem of equations of mixed type. Dokl. Akad. Nauk SSSR, 1950, vol. 70, no. 3, pp. 373-376. (In Russian)
5. Bitsadze A.V. On the problem of equations of mixed type. Tr. MIAN SSSR, 1953, vol. 41, pp. 3-59. (In Russian)
6. Bitsadze A.V. Uravneniya smeshannogo tipa [Equations of Mixed Type]. Moscow, Izd. Akad. Nauk SSSR, 1959. 164 p. (In Russian)
7. Smirnov M.M. Uravneniya smeshannogo tipa [Equations of Mixed Type]. Moscow, Nauka, 1970. 295 p. (In Russian)
8. Marichev O.I., Kilbas A.A., Repin O.A. Kraevye zadachi dlya uravnenii v chastnykh proizvodnykh s razryvnymi koeffitsientami [Boundary Value Problems for Partial Differential Equations with Discontinuous Coefficients]. Samara, Izd. Samar. Gos. Ekon. Univ., 2008. 276 p. (In Russian)
9. Sabitov K.B. K teorii uravnenii smeshannogo tipa [On the Theory of Equations of Mixed Type]. Moscow, Fizmatlit, 2014. 304 p. (In Russian)
10. Pleshchinskaya I.E., Pleshchinskii N.B. Over-determined boundary value problems for elliptic partial differential equations and their applications to waves diffraction theory. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2005, vol. 147, no. 3, pp. 4-32. (In Russian)
11. Pleshchinskaya I.E., Pleshchinskii N.B. Over-determined boundary value problems for PDE and their application in the wave propagation theory. Appl. Anal., 2014, vol. 93, no. 11, pp. 2350-2359. https://doi.org/10.1080/00036811.2014.930825.
12. Krikunov Yu.M. On the Tricomi problem for the Lavrentyev-Bitsadze equation. Izv. Vyssh. Uchebn. Zaved. Mat., 1974, no. 2, pp. 76-81. (In Russian)
13. Krikunov Yu.M. On the Tricomi problem for a square. Izv. Vyssh. Uchebn. Zaved. Mat., 1977, no. 10, pp. 81-85. (In Russian)
14. Krikunov Yu.M. Kraevye zadachi dlya model'nykh uravnenii smeshannogo tipa [Boundary Value Problems for the Model Equations of Mixed Type]. Kazan, Izd. Kazan. Univ., 1986. 148 p. (In Russian)
15. Tikhonov A.N., Samarskii A.A. Uravneniya matematicheskoi fiziki [Equations of Mathematical Physics]. Moscow, Nauka, 1977. 736 p. (In Russian)
16. Aksent'ev L.A. Metod simmetrii. Programma i uchebnye zadaniya k spetsial'nomu kursu [Symmetry Method. Program and Assignments for a Special Course]. Kazan, Izd. Kazan. Univ., 1991. 48 p. (In Russian)
17. Ford L.R. Avtomorfnye funktsii [Automorphic Functions]. Moscow, Leningrad, ONTI, 1936. 340 p. (In Russian)
18. Chibrikova L.I. On the method of D.A. Grave for solving the Dirichlet problem. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 1962, vol. 122, no. 3, pp. 73-80. (In Russian)
19. Begehr H., Vaitekhovich T. Green functions, reflections, and plane parqueting. Eurasian Math. J., 2010, vol. 1, no. 1, pp. 17-31.
20. Begehr H., Vaitekhovich T. The parqueting-reflection principle for constructing Green functions. In: Analytic Methods of Analysis and Differential Equations: AMADE 2012. Cottenham, Cambridge Sci. Publ., 2013, pp. 11-20.
21. Gakhov F.D. Kraevye zadachi [Boundary Value Problems]. Moscow, Nauka, 1977. 640 p. (In Russian)
22. Aksent'ev L.A. Construction of the Schwarz operator by the symmetry method. Tr. Semin. Obratnym Kraev. Zadacham. Izd. Kazan. Univ., 1964, no. 2, pp. 3-11. (In Russian)
23. Aksent'ev L.A. Construction of the Schwarz operator by the symmetry method. Tr. Semin. Obratnym Kraev. Zadacham. Izd. Kazan. Univ., 1966, no. 3, pp. 11-24. (In Russian)
24. Aksent'ev L.A. Construction of the Schwarz operator by the symmetry method. Tr. Semin. Obratnym Kraev. Zadacham. Izd. Kazan. Univ., 1967, no. 4, pp. 3-10. (In Russian)
25. Aksent'ev L.A. Primenenie metoda simmetrii v konformnykh otobrazheniyakh i v kraevykh zadachakh. Programma i uchebnye zadaniya k spetsial'nomu kursu [Application of the Symmetry Method to Conformai Mappings and Boundary Value Problems. Program and Assignments for a Special Course]. Kazan, Izd. Kazan. Univ., 1993. 48 p. (In Russian)
26. Chibrikova L.I. Boundary value problems of the theory of analytic functions on Riemann surfaces. In: Itogi nauki i tekhn. Ser. Matem. anal. [Achievements of Science and Technology. Series: Mathematical Analysis]. Vol. 18. Moscow, VINITI, 1980, pp. 3-66. (In Russian)
27. Mikhlin S.G. Lektsii po lineinym integral'nym uravneniyam [Lectures on Linear Integral Equations]. Moscow, Fizmatgiz, 1959. 232 p. (In Russian)
28. Maher A., Pleshchinskii N.B. On connection among values of solutions of the Tricomi problem on the sides of characteristic triangles. Acta Sci. Math. (Szeged), 2008, vol. 74, pp. 121-133.
29. Gakhov F.D., Chibrikova L.I. On some types of singular integral equations solvable in closed form. Mat. Sb., 1954, vol. 35, no. 3, pp. 395-436. (In Russian)
30. Pleshchinskii N.B. Prilozheniya teorii integral'nykh uravnenii s logarifmicheskimi i stepennymi yadrami. Ucheb.-metod. posobie [Applications of the Theory of Integral Equations with Logarithmic and Power Kernels. A Study Guide]. Kazan, Izd. Kazan. Univ., 1987. 154 p. (In Russian)
31. Chibrikova L.I. Osnovnye granichnye zadachi dlya analiticheskikh funktsii [Basic Boundary Value Problems for Analytic Functions]. Kazan, Kazan. Univ., 1977. 302 p. (In Russian)
32. Muskhelishvili N.I. Singulyarnye integral'nye uravneniya [Singular Integral Equations]. Moscow, Nauka, 1968. 511 p. (In Russian)
/ Для цитирования: Плещинский Н.Б. Задача Трикоми и интегральные уравнения ( // Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки. 2024. Т. 166, кн. 1. С. 74-91. \ URL: https//doi.org/10.26907/2541-7746.2024.1.74-91.
/ For citation: Pleshchinskii N.B. Tricomi problem and integral equations. Uchenye ( Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2024, vol. 166, \ no. 1, pp. 74-91. URL: https//doi.org/10.26907/2541-7746.2024.1.74-91. (In Russian)
