2019, Т. 161, кн. 4
С. 536-542
УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА. СЕРИЯ ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
ISSN 2541-7746 (Print) ISSN 2500-2198 (Online)
УДК 517.954
doi: 10.26907/2541-7746.2019.4.536-542
АНАЛОГ ФОРМУЛЫ КОШИ ДЛЯ НЕКОТОРЫХ УРАВНЕНИЙ БЕЛЬТРАМИ
Д.Б. Кац, Б.А. Кац
Казанский (Приволжский) федеральный университет, г. Казань, 420008, Россия
Дифференциальные уравнения Бельтрами представляют собою одно из наиболее естественных обобщений уравнений Коши-Римана комплексного анализа. Соответственно, их решения являются близким обобщением голоморфных функций. Решение многих задач комплексного анализа основано на использовании интегральной формулы Коши, то есть интегрального представления аналитических функций контурными интегралами по границе области голоморфности. В частности, на этом представлении основано решение краевой задачи Римана для голоморфных функций, доказательство теоремы Пен-леве об устранении особенностей аналитических функций и многие другие результаты. А.Б. Тунгатаров получил аналог такого представления решений для одного простого частного случая уравнения Бельтрами (так называемых бета-аналитических функций). Представление Тунгатарова было затем использовано Р. Абреу-Блайя, Х. Бори-Рейес и Д. Пенья-Пенья для решения задач Римана, Пенлеве и др. для этих функций. В настоящей работе строятся такие интегральные представления для решений более обширных классов уравнений Бельтрами, во многих отношениях аналогичные интегральной формуле Коши для аналитических функций, и даются их приложения в задачах указанных выше типов.
Ключевые слова: уравнение Бельтрами, формула Коши, интегральное представление
Это уравнение хорошо известно и имеет множество приложений (см., например,
В нашей работе [4] рассмотрен следующий частный случай этого уравнения. Пусть в области Д комплексной плоскости задана аналитическая функция ](г), отличная от постоянной. Положим
Аннотация
Введение
Уравнение Бельтрами имеет вид
дф = цдф, < 1,
где, как обычно,
[1-3]).
g(z):= f(z)\f(z)\2a, a > 0.
Эта функция является одним из решений уравнения Бельтрами
—/
- I I -
дф = в=^дф, в ■■=1-- (1) I I' 1 + а
При I(г) = г это уравнение рассматривал А.Б. Тунгатаров [5].
В работе [4] для решений уравнения (1) в области Б С А с кусочно гладкой границей Г предложено представление
)= 1 г ф(г)/' (г) л +
2пг(1 - в) I I(г) - I(г) I(г)/1 (1)\2а
в Г I (г)ф(г)1'(г) л
2пг(1 - в) Г ¡Ш(г) - ¡(г) \/(г)//(г)\ )
(2)
которое можно рассматривать как аналог интегральной формулы Коши для решений уравнения (1). Доказательство его справедливости состоит из двух частей: сначала оно устанавливается для однолистных функций I, а затем для неоднолистных. К сожалению, во вторую часть доказательства вкралась неточность, на которую указал Е. Емельянов, за что мы чрезвычайно ему благодарны.
Таким образом, представление (2) справедливо в случае, когда функция I однолистна, и это доказано в сообщении [4]. Здесь мы покажем, что для неоднолистной функции I оно может видоизмениться.
Настоящая статья построена следующим образом. Сначала мы устраним указанную выше неточность и получим точную форму интересующего нас интегрального представления, а затем обсудим некоторые его приложения.
1. Интегральная формула Коши
Как уже отмечалось, в случае однолистной функции I представление (2) доказано в [4]. Здесь мы приведем рассуждение, которое можно использовать как для однолистных, так и для неоднолистных функций I.
Обозначим = = I/I', д^ = д - в = д. Пусть Б - конечная область с кусочно-
=
гладкой жордановой границей Г, и замыкание Б лежит в А. Будем считать, что функции ф и ф непрерывно дифференцируемы в Б \ Е, где множество Е состоит из конечного числа точек области Б, причем д ф = 0 в Б \ Е . Тогда
я фф ПЯ фф фдф + фдф п фдф + фдф ф-^в ф-ф,
д = - вдТ =-=--в-т-= =д ф + = д ф
= = = = = =
и тождество
ф-;ф , яфф /зя фф
-д ф = д— - вд -=-= = =
справедливо во всех точках, в которых все его члены имеют смысл.
Будем считать, что функция =(г) не имеет ни нулей, ни полюсов на кривой Г, а N и Р - это множества ее нулей и полюсов, лежащих внутри Б. Оба эти множества состоят из конечного числа точек. Для и> € Б обозначим Бт = {г ■ \г - < е}, = дБт, где е > 0 настолько мало, что круги Бт полностью лежат в Б. Положим Е' ■= N и Р, Б' = Б \ У Бт . При естественных
теЕ'
ограничениях формула Грина дает
/у щ-двф{0 <ь< у,=1 г лf mm dt
J J h(() Z y 2i J h(t) ^ 2i J h(t)
- El1 i-W- dt+ 1(фШ± dt|. (3)
¿¿Л * 1 h(t) I h(t) )
Перейдем к пределу при е ^ 0. Если в точке w функция h имеет полюс, то пределы последних двух интегралов равны нулю. Если эта точка есть простой нуль h , то в пределе эти интегралы дают
-(w)^(w) -(w)^(w)
п —п—^--пр -
h'(w) h' (w)
Кратных нулей функция h иметь не может, а ее производная h' = \- ±i— равна
II"
(I')2
единице в точках, где функция I обращается в нуль. Таким образом, предел финальной части суммы в (3) в точках множества N равен
п(! - /3)J2 -(w)^(w),
weN
а точки множества Р дают нулевой вклад в этот предел. Теперь зафиксируем точку г € О и положим
Ф(С) := 9(С)
9(С) - 9(г)'
Эта функция удовлетворяет условию дв ф = 0 всюду в О, за исключением точек обращения в нуль ее знаменателя. Такие точки образуют множество Е = € О : I(С) = I(г)}, то есть это множество I-конгруэнтных г точек в области О.
В точках множества N эта функция ф обращается в нуль; тогда обращается в нуль и последняя сумма. Двойной интеграл в формуле (3) также равен нулю. Несложные вычисления пределов остальных слагаемых в этой формуле приводят к такому результату.
Теорема 1. Пусть О С А есть конечная область с кусочно-гладкой границей Г, а .заданная в А непостоянная голоморфная функция I(г) не обращается в нуль на Г. Тогда для любого решения ф(г) уравнения Бельтрами (1) в области О справедливо равенство
)= 1 г Фт '(*) ^ +
¿Ь - в) Г I(г) -1(г) II(г)!(г)\2а
+ в Г_ I (г)ФЩ'(г) зг
2пг(1 - в) Г тт - кг) ш/т\2ау [ >
В левой части суммирование ведется по множеству всех I -конгруэнтных г точек области О, включая саму точку г.
Замечание 1. Если функция I однолистна, то равенство (4) превращается в представление (2). В свою очередь, при I(г) = г это представление совпадает с полученным А.Б. Тугатаровым в работе [5].
Замечание 2. Если точка г лежит вне области П, то равенство (4) приобретает вид
г фЩ'(г) ¿г + 0 г_ Пг)ф(г)ЩШ = 0
Г I(г) - I(г) \1 (г)/1 (1)\2а Г Iт(г) - I(г) \1 (г)/1 (г)\2а) '
Замечание 3. Если функция ф(г) задана лишь на Г, то сумму интегралов в левой части предыдущего равенства можно использовать в качестве интеграла типа Коши для уравнения (1). Простая проверка показывает, что функция
ф(г)1 '(г) ¿г + г_ 1(г)ф(г)7ЩШ
I(г) - I(г) \1 (г)/1 (г)\2а Г I(г)(1 (г) - I(г) \1 (г)/1 Ш*")
удовлетворяет уравнению Бельтрами (1) в Д \ Г.
2. Некоторые приложения
Представление (4) - это аналог интеграла Коши. Многие фундаментальные результаты комплексного анализа получены на его основе. Полученное нами представление создает возможности доказательства аналогов этих результатов для решений уравнений Бельтрами введенного нами класса. Мы убедимся в этом на примере теоремы Пенлеве.
Пенлеве установил следующее: если функция Г (г) непрерывна в области О и голоморфна в О \ Г, где Г - лежащая в О спрямляемая кривая, то эта функция голоморфна в П (см. [6, 7]).
Мы получим аналог этого результата для решений уравнения Бельтрами (1). Он анонсирован в работе [4] и доказан в ней для случая однолистной функции I (см. Введение). Здесь мы формулируем и доказываем его в общем случае, то есть без использования глобальной однолистности этой функции. Для изученного А.Б. Тунгатаровым случая I(г) = г этот результат был установлен в работе [8].
Теорема 2. Пусть 7 - лежащая в области П спрямляемая кривая. Если функция ф(г) в области П удовлетворяет условию Гёльдера, а в П \ 7 - уравнению Бельтрами (1), то эта функция удовлетворяет уравнению (1) во всей области П .
Доказательство. Пусть ф удовлетворяет условию Гельдера с показателем V. Размерность Хаусдорфа (см., например, [7]) любой спрямляемой кривой равна единице. Поэтому для любых £ > 0 и 1 < \ < 1 + V спрямляемую кривую 7 можно покрыть конечным семейством кругов Б^, В2,..., Вп радиусов т^ ... ,гп таким
п
что т3 < £,] = 1, 2,...,п, и т* < £. Без ограничения общности можно счи-
3 = 1
тать, что ни один из этих кругов не накрывается объединением остальных, и что
п
круги занумерованы в порядке убывания их радиусов. Обозначим Б = У Б3 и
3 = 1
введем области = Б\, Ь* = В2 \ Б\, 63 = В3 \ Б\ и В2 и т. д. Ясно, что длина границы 63 не превосходит 2птз. Далее, пусть Л - замкнутая гладкая кривая,
Ф(г) = I
ограничивающая область G D y . Обозначим
ф{г) =_1_ i_-(t)f '(t) dt_+
^ > 2ni(l - e) J f(t) - f(г) \f(z)/f(t)fa
+ в f_ f(t)-(t)JJJt)dt
2ni(1 - в) Г f(t)(f(t) - f(г)\f(z)/f(t)\2a)'
В области G эта функция удовлетворяет уравнению (1), и остается доказать, что в этой области Ф = ф.
При достаточно малом е функция f однолистна во всех областях bj за возможным исключением нескольких, причем количество этих исключительных областей не превосходит величины, не зависящей от е. Применив представление (2) там, где функция f однолистна, мы получим в области G оценку разности Ф - ф положительной степенью е. Поскольку ни Ф, ни ф от е не зависят, то эти две функции совпадают. Теорема доказана. □
Благодарности. Работа выполнена в рамках реализации программы развития Научно-образовательного математического центра Приволжского федерального округа (соглашение № 075-02-2020-1478).
Литература
1. Векуа И.Н. Обобщенные аналитические функции. - М.: Наука, 1988. - 512 с.
2. Bojarski B. Old and new on Beltrami equation // Mshimba A.S.A., Tutschke W. (Eds.) Functional Analytic Methods in Complex Analysis and Applications to Partial Differential Equations: Proc. ICTP, Trieste, Italy, Feb., 8-19, 1988. - London: World Sci., 1988. -P. 173-188.
3. Iwaniec T., Martin G. What's new for the Beltrami equation? // Proc. Cent. Math. Appl. - Canberra: Austr. Natl. Univ., 2001. - V. 39. - P. 132-148.
4. Кац Д.Б., Кац Б.А. Интегральные представления решений некоторых уравнений Бельтрами // Изв. вузов. Матем. - 2018. - № 3. - С. 23-28.
5. Тунгатаров А.Б. О свойствах одного интегрального оператора в классах суммируемых функций // Изв. АН Каз. ССР. Сер. физ.-матем. - 1985. - № 5. - С. 58-62.
6. Painleve P. Sur les lignes singulieres des fonctions analytiques // Annales de la Faculte des sciences de Toulouse: Mathematiques - 1888. - T. 2. - P. B1-B130.
7. Маркушевич А.И. Избранные главы теории аналитических функций. - М.: Наука, 1976. - 192 с.
8. Abreu-Blaya R., Bory-Reyes J., Pena-Pena D. On the jump problem for в-analytic functions // Complex Var. Elliptic Equations. - 2006. - V. 51, No 8-11. - P. 763-775. -doi: 10.1080/17476930600667486.
Поступила в редакцию 26.08.19
Кац Давид Борисович, кандидат физико-математических наук, ассистент кафедры математического анализа
Казанский (Приволжский) федеральный университет
ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: [email protected]
Кац Борис Александрович, доктор физико-математических наук, профессор кафедры математического анализа
Казанский (Приволжский) федеральный университет
ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: [email protected]
ISSN 2541-7746 (Print) ISSN 2500-2198 (Online) UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA. SERIYA FIZIKO-MATEMATICHESKIE NAUKI (Proceedings of Kazan University. Physics and Mathematics Series)
2019, vol. 161, no. 4, pp. 536-542
doi: 10.26907/2541-7746.2019.4.536-542
An Analog of the Cauchy Formula for Certain Beltrami Equations
D.B. Katz*, B.A. Kats**
Kazan Federal University, Kazan, 420008 Russia E-mail: *[email protected], **[email protected]
Received August 28, 2019 Abstract
The Beltrami differential equations are intrinsic generalizations of the Cauchy-Riemann system in complex analysis. Their solutions generalize holomorphic functions. As known, solutions to many problems of the complex analysis are based on application of the Cauchy formula, i.e., on the integral representation of analytical functions by curvilinear integrals over boundaries of the domains of analyticity. Particularly, this representation enables us to solve the Riemann boundary-value problem for holomorphic functions, to prove the Painleve theorem on erasing of singularities of analytical functions, and to obtain many other important results. A. Tungatarov established an analog of this representation of solutions to a certain simple case of the Beltrami equation (so-called beta-analytic functions). A. Tungatarov's representation was used by R. Abreu-Blaya, J. Bory-Reyes, and D. Pena-Pena for solving the problems stated by B. Riemann, P. Painleve, and other researchers. In this paper, we constructed integral representations for the solutions of more extensive classes of the Beltrami equations, which are analogs of the integral Cauchy formula, and described their applications.
Keywords: Beltrami equation, Cauchy formula, integral representation
Acknowledgments. The work was performed as part of the development program of the Scientific and Educational Mathematical Center of the Volga Federal District (agreement no. 075-02-2020-1478).
References
1. Vekua I.N. Generalized Analytic Functions. Vol. 25. Sneddon I.N., Ulam S., Stark M. (Eds.). Pergamon Press, 1962. 698 p.
2. Bojarski B. Old and new on Beltrami equation. Functional Analytic Methods in Complex Analysis and Applications to Partial Differential Equations: Proc. ICTP, Trieste, Italy, Feb., 8-19, 1988. Mshimba A.S.A., Tutschke W. (Eds.). London, World Sci., 1988, pp. 173-188.
3. Iwaniec T., Martin G. What's new for the Beltrami equation? Proc. Cent. Math. Appl. Canberra, Aust. Natl. Univ., 2001, vol. 39, pp. 132-148.
4. Katz D.B., Kats B.A. Integral representations for solutions of some types of the Beltrami equations. Russ. Math., 2018, vol. 62, no. 3, pp. 18-22. doi: 10.3103/S1066369X18030039.
5. Tungatarov A.B. Properties of an integral operator in classes of summable functions. Izv. Akad. Nauk Kaz. SSR, Ser. Fiz.-Mat., 1985, no. 5, pp. 58-62. (In Russian)
6. Painleve P. Sur les lignes singulieres des fonctions analytiques. Annales de la Faculté des sciences de Toulouse: Mathématiques, 1888, t. 2, pp. B1-B130. (In French)
7. Markushevich A.I. Izbrannye glavy teorii analiticheskikh funktsii [Selected Chapters of the Theory of Analytic Functions]. Moscow, Nauka, 1976. 192 p. (In Russian)
8. Abreu-Blaya R., Bory-Reyes J., Pena-Peña D. On the jump problem for 3-analytic functions. Complex Var. Elliptic Equations, 2006, vol. 51, nos. 8-11, pp. 763-775. doi: 10.1080/17476930600667486.
/ Для цитирования : Кац Д.Б., Кац Б.А. Аналог формулы Коши для некоторых ( уравнений Бельтрами // Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки. - 2019. -\ Т. 161, кн. 4. - С. 536-542. - doi: 10.26907/2541-7746.2019.4.536-542.
For citation : Katz D.B., Kats B.A. An analog of the Cauchy formula for certain / Beltrami equations. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matemati-\ cheskie Nauki, 2019, vol. 161, no. 4, pp. 536-542. doi: 10.26907/2541-7746.2019.4.536-542.
(In Russian)