CC BY
79
MSC: 31A05, 31A20, 31A25, 31B25, 35Q15;
30E25, 31C05, 34M50, 35F45.
ПРОБЛЕМЫ ДИРИХЛЕ И РИМАНА-ГИЛЬБЕРТА ДЛЯ АНАЛИТИЧЕСКИХ ФУНКЦИЙ
А.С. Ефимушкин, В.И. Рязанов
Институт прикладной математики и механики НАН Украины, ул. Розы Люксембург, 74, Донецк, 83114, Украина, e-mail: [email protected]; [email protected]
Аннотация. Доказан аналог теоремы Лузина, что любая функция на отрезке измеримая относительно логарифмической ёмкости почти всюду совпадает с производной от некоторой непрерывной функции. На этой основе установлен аналог теоремы Геринга о разрешимости задачи Дирихле для гармонических функций в единичном круге с произвольными граничными данными измеримыми относительно логарифмической ёмкости. Более того, доказано, что пространство найденных решений имеет бесконечную размерность. Отсюда нами также выводится разрешимость соответствующих задач Дирихле и Римана-Гильберта для аналитических функций в единичном круге. Наконец, результаты перенесены на квазидиски и, в частности, на области с гладкими и липшицевыми границами.
Ключевые слова: задачи Дирихле и Римана-Гильберта, логарифмическая ёмкость, функции ограниченной вариации, гармонические и аналитические функции.
1. Введение. Краевые задачи для аналитических функций f восходят к знаменитой диссертации Римана (1851), а также известным работам Гильберта (1904, 1912, 1924), и Пуанкаре (1910), смотри историю вопроса в монографии [1], где также рассматривался случай обобщенных аналитических функций.
Хорошо известно, что, если аналитическая функция f задана в единичном круге О = {г € С : |г| < 1} и непрерывна в его замыкании, то по формуле Шварца
/М = Пт ДО) + I (1)
КМ
и, таким образом, аналитическая функция f в единичном круге О определяется с точностью до чисто мнимой постоянной гс, с = 1т f (0), её реальной частью ) = Ие f (£) на границе единичного круга, см., напр., § 8, гл. III, часть 3 в [2], с. 346.
Известно также, что любая гармоническая функция и(г) в О имеет сопряженную функцию v(z), такую, что f(г) = и(г) + IV (г) является аналитической функцией в О. Заметим, что граничные значения сопряженной функции V не могут быть произвольно предписаны одновременно с граничными значениями и, поскольку V единственным
образом определяется через и с точностью до аддитивной постоянной, см., например.
1.А в [3]. Поэтому задача Дирихле для аналитических функций сводится к задаче для гармонических функций с заданной граничной функцией вещественной части.
В 1904 году Гильберт поставил следующую проблему, которую теперь принято называть проблемой Гильберта, или проблемой Римана-Гильберта. Она состояла в доказательстве существования аналитической функции f в области О С С, ограниченной спрямляемой жордановой кривой, с граничным условием
где им предполагалось, что функции Л и ^ непрерывно дифференцируемы относительно натурального параметра длины на кривой дО, и что |Л| = 0 на дО. Поэтому без ограничения общности можно считать, что |Л(£)| = 1. При Л(£) = 1 мы возвращаемся к задаче Дирихле и, таким образом, задача Римана-Гильберта является ее естественным обобщением, которая находит интересные приложения к математической физике.
Первый способ решения этой проблемы, основанный на теории сингулярных интегральных уравнений, был предложен самим Гильбертом в работе [4]. Эта попытка оказалась не совсем удачной, поскольку теория сингулярных интегральных уравнений была еще недостаточно развита в то время. Однако, как раз этот способ стал основным подходом в этом направлении исследований, см., например, монографии [1], [5] и [6]. В частности, на этом пути было доказано существование решений этой задачи для функций Л и ^ непрерывных по Гельдеру, см. [5].
Другой способ решения задачи Римана-Гильберта, основанный на редукции к решению соответствующих двух задач Дирихле, был также предложен Гильбертом, см. [7]. На основе результата Геринга из работы [8], весьма общее решение задачи Римана-Гильберта этим способом совсем недавно было дано в статье [9] в жордановых областях при произвольных функциях ^ и Л, измеримых относительно гармонической меры. Здесь мы даем решение задачи Римана-Гильберта при функциях ^ и Л, измеримых относительно так называемой абсолютной гармонической меры или, что то же самое, относительно логарифмической емкости.
Напомним, что Лузину принадлежит следующая замечательная теорема: для любой измеримой и п.в. конечной (относительно меры Лебега) функции (р на интервале [а, Ь], существует непрерывная функция Ф, такая, что Ф;(ж) = <^(х) п.в. на [а, Ь] (см., например, теорему УН(2.3) в [10]). Это утверждение было хорошо известно до Лузина для суммируемой функции р относительно ее неопределенного интеграла Ф, см., например, теорему 1У(6.3) в [10]. Однако, этот результат весьма нетривиален для несуммируемой <^. Здесь мы доказываем соответствующий аналог результата Лузина в терминах логарифмической емкости, см. теорему 1 в секции 3, после того как в секции 2 будут приведены необходимые сведения о логарифмической емкости.
Напомним что, что Герингом был установлен следующий блестящий результат: для любой вещественной с периодом 2п функции, которая измерима (относительно меры Лебега), существует гармоническая в единичном круге О функция, такая, что и(г) ^ <^(§) для п.в. § при г ^ вг® вдоль некасательных путей, см. [8]. В секции 4, на основе
Иш Ие Л(С) ■ f (г) = ^(С)
V с € дО ,
(2)
нашего аналога теоремы Лузина, мы доказываем аналог результата Геринга в терминах логарифмической емкости, см. теорему 2. Более того, нами доказано, что пространство найденных решений имеет бесконечную размерность, см. теорему З в той же секции. Теоремы 2 и З ведут нас также к решению соответствующей задачи Дирихле для аналитических функций в D, см. теоремы 4 там же.
Кроме того, после того как в секции 5 нами установлена взаимосвязь между граничными значениями сопряженных гармонических функций, см. теорему 5, на той же основе нами доказано в секции б существование решений задачи Римана-Гильберта для аналитических функций в D, см. теорему б. Наконец, в секции Т нами сформулированы и доказаны аналоги этих результатов в квазидисках и, в частности, в областях с гладкими и липшицевыми границами.
2. О логарифмической емкости. Наиболее важным для нашего исследования является понятие логарифмической емкости, см., например, [11], [12] и [1З]. Пусть E -произвольное ограниченное борелевское множество плоскости C. Положительным распределением массы на множестве E называют произвольную неотрицательную вполне аддитивную функцию множества v с v(E) = 1, определенную на борелевских подмножествах множества E. Функцию
Uv(z) := f log
E
называют логарифмическим потенциалом распределения v. Соответственно, логарифмической емкостью C(E) борелевского множества E называется величина
C(E) = e-V , V = inf Vv (E) , Vv(E) = sup Uv (z) . (4)
v z
Заметим, что здесь супремум достаточно вычислять по множеству E. Если V = то. то полагают C(E) = G. Известно, что G < C(E) < то, C(E1) < C(E2), если E1 С E2,
ГО
C(E) = G, если E = U En с C(En) = G, см., например, лемму III.4 в [12].
n= 1
Напомним, что логарифмическая емкость совпадает с так называемой абсолютной гармонической мерой, введенной Рольфом Неванлинной, см., например, [1З], с. 12З. Поэтому множество E имеет нулевую (хаусдорфову) длину, если C(E) = G, см., например, теорему V^^ в [1З]. Однако, существуют множества нулевой длины, имеющие положительную емкость, см., например, теорему IV.5 в [12].
Хорошо известна также следующая геометрическая характеризация логарифмической е мкости, см. [1З]:
2
С[Е) = т[Е) := Иm Vn{r'-1) , (5)
n^ro
где Vn обозначает супремум (на самом деле, максимум для компактов) величины
l=1,...,n
V(z1,...,zn) = Д |zk - Zi| , (б)
k<l
- z
dv(z)
(З)
1
z
когда всевозможные конечные наборы точек zi,...,zn пробегают множество E. Следуя Фекете [14], величину т(E) называют трансфинитным диаметром множества E. Из указанной геометрической интерпретации логарифмической емкости через трансфинитный диаметр, сразу же видим, что если C(E) = 0, то C(f (E)) = 0 для любого отображения f непрерывного по Ге льдеру.
Чтобы ввести множества, измеримые относительно логарифмической ёмкости, определим, следуя [12], внутреннюю C* и внешнюю ёмкости C*:
C*(E) : = sup C(E) , (7)
F CE
где супремум бер е тся по всем компактным множествам F С C, и
C*(E) : = inf C(O) , (8)
ECO
где инфимум бер е тся по всем открытым множествам O С C. Далее ограниченное множество E С C называется измеримым относительно логарифмической ёмкости, если
C*(E) = C*(E) , (9)
и общее значение C*(E) и C*(E) по-прежнему обозначается через C(E). Отметим, см. лемму III.5 в [12], что внешняя емкость полуаддитивна, т.е.
ГО \ ГО
C* (J eJ <Y1 c*(e„) . (10)
\n=1 / n=1
Функцию р : Е ^ С, заданную на ограниченном множестве Е С С, будем называть измеримой относительно логарифмической ёмкости, если для любых открытых множеств О С С измеримы относительно логарифмической ёмкости множества
П = (г € Е : р(г) € О} . (11)
Ясно, что само множество Е измеримо относительно логарифмической емкости.
Замечание 1. Известно, что борелевские множества и, в частности, компактные и открытые множества измеримы относительно логарифмической емкости, см. [12], с. 9 и 31. Кроме того, как это следует прямо из определения, любое множество Е С С конечной логарифмической емкости, представимо в виде объединения сигма-компакта (объединения сче тного числа компактов) и множества логарифмической емкости нуль. Известно также, что борелевские множества, например, компакты измеримы относительно всех хаусдорфовых мер и, в частности, относительно меры длины, см., например, теорему 11(7.4) в [10]. Поэтому любое множество Е С С конечной логарифмической емкости измеримо относительно меры длины. Таким образом, на таком множестве любая функция р : Е ^ С измеримая относительно логарифмической емкости будет
также измеримой относительно меры длины на Е. Однако, существуют функции измеримые относительно меры длины, которые не являются измеримыми относительно логарифмической емкости, см., например, теорему 1У.5 в [12].
Нас особо будут интересовать функции р : 50 ^ С, заданные на единичной окружности 50 = (г € С : |г| = 1}. Однако, ввиду (4), нам достаточно будет изучить соответствующие вопросы на отрезках вещественной оси, поскольку любая замкнутая дуга на 50 допускает билипшицево (даже бесконечно гладкое, так называемое стереографическое) отображение д на такой отрезок, а д и д-1 по теореме Кирсбрауна допускают продолжение до липшицевых отображений С на себя, см., например, теорему 2.10.43 в [15].
В связи с этим, напомним, что отображение д : X ^ X' между метрическими пространствами (X, ^) и (Х',^) называется липшицевым, если ^/(д(ж1), д(ж2)) ^ С• ^(ж1;ж2)
для любых ж1 , ж2 € X и для некоторой конечной постоянной С. Если в дополнение к этому ^(ж1;ж2) ^ с • ^/(д(ж1),д(ж2)) для любых ж1;ж2 € X и для некоторой конечной постоянной с, то отображение д называется билипшицевым.
Напомним также, см., например, [10], с. 195, что точка ж0 € К называется точкой плотности для измеримого (относительно длины, т.е. по Лебегу) множества Е С К, если ж0 € Е и
(-Го - е. -го + £) \ д I = (12)
Аналогично говорим, что точка ж0 € К является точкой плотности относительно логарифмической ёмкости для измеримого (относительно С) множества Е С К, если ж0 € Е и
Шп С(ко-е.*о + е]\ Д) = „ (13)
£^0 С ([Жо — в, Жо + в])
Напомним, наконец, что функция р : [a,b] ^ C аппроксимативно непрерывна (относительно логарифмической ёмкости) в точке ж0 £ (a,b), если она непрерывна на некотором множестве E С [a,b], для которого ж0 является точкой плотности (относительно логарифмической емкости), см., например, [10], с. 199, и [15], с. 176, соответственно.
Для дальнейшего важно, что имеет место следующий аналог теоремы А. Данжуа, см., например, теорему 2.9.13 в [15], сравни теорему IV(10.6) в [10].
Предложение 1. Функция р : [a,b] ^ C измерима относительно логарифмической ёмкости тогда и только тогда, когда она аппроксимативно непрерывна для п.в. ж £ (a, b) также относительно логарифмической ёмкости.
Замечание 2. Как известно, C([a,b]) ~ —1/log5 при 5 = b — a ^ 0, где запись u ~ v означает, что для достаточно малых 5 найдется постоянная с £ (0, то), такая, что v/c < u < с • v, см., например, [16], с. 131. Кроме того, C(E) > A/log(1/|E|) при малых длинах |E|, см., например, лемму 1 в [17]. Таким образом, если ж0 является точкой плотности для множества E относительно логарифмической емкости, то ж0 -
также точка плотности для множества Е относительно меры длины. Следовательно, любая точка аппроксимативной непрерывности функции р : [а, Ь] ^ К относительно логарифмической емкости, является также точкой аппроксимативной непрерывности функции р относительно меры Лебега на вещественной оси.
Отсюда, в частности, получаем следующую полезную лемму.
Лемма 1. Пусть функция р : [а, Ь] ^ К ограничена и измерима относительно лога-
X
рифмической ёмкости и пусть Ф(ж) = / р(^) ^ - ее неопределенный интеграл Лебега.
а
Тогда Ф'(ж) = р(ж) п.в. на (а,Ь) относительно логарифмической ёмкости.
□ Действительно, пусть ж0 € (а, Ь) - точка аппроксимативной непрерывности для функции р. Тогда найдется множество Е С [а,Ь], для которого ж0 является точкой плотности и на котором функция р непрерывна. Так как |р(ж)| < С < то для всех ж € [а,Ь], получаем, что при малых Н
Ф(жо + h) — ф(жо) , ч
--------<р{хо)
h
< max I ф) - ф,0) I + 2С I (x0,Xo + h)\E \
x£En[xo,xo+h] |h|
т.е. Ф;(ж0) = р(ж0). Таким образом, заключение леммы следует из предложения 1, см. также замечание 2. I
3. Об одном аналоге теоремы Лузина.
При доказательстве аналога теоремы Лузина в терминах логарифмической емкости ключевую роль будет играть следующая лемма о сингулярных функциях канторовского типа.
Лемма 2. Существует непрерывная неубывающая функция Ф : [0,1] ^ [0,1], такая, что Ф(0) = 0, Ф(1) = 1 и Ф;(£) = 0 п.в. относительно логарифмической ёмкости.
□ Для доказательства этого факта воспользуемся конструкцией множеств канто-ровского типа логарифмической емкости нуль, принадлежащей Рольфу Неванлинне. Именно, рассмотрим произвольную последовательность чисел pk > 1, k = 1, 2,..., и определим соответствующую последовательность множеств E(p1,... ,pn), n = 1, 2,.. по индукции следующим образом. Пусть E(p1) - множество, состоящее из 2-х равных по длине отреков, которое получается из единичного отрезка [0,1] выбрасыванием центрального интервала длины 1 — 1/p1; E(p1,p2) - множество, состоящее из 22 равных по длине отреков, которое получается выбрасыванием из каждого отрезка предыдущего множества E(p1) центрального интервала, который составляет 1 — 1/p2 долю от его длины и так далее. Обозначим через E(p1,p2,...) пересечение всех множеств E(p1,... ,pn), n = 1, 2,.... По теореме V.6.3 в [13] множество E(p1,p2,...) имеет логарифмическую
емкость нуль тогда и только тогда, когда ряд 2-k log pk расходится. Например, это
2^
условие выполняется, если Pk = e2 .
Как известно, все множества канторовского типа гомеоморфны. Более того, найдется гомеоморфизм h : [0,1] ^ [0,1], h(0) = 0 и h(1) = 1, при котором E(p1,p2,...) перейдет в классическое канторово множество, см., например, конструкцию 8.23 в [19].
Таким образом, если к - классическая канторова функция, см., например, конструкцию 8.15 в [19], то Ф = к о Н - искомая функция. ■
Лемма 3. Пусть функция д : [а, Ь] ^ К ограничена и измерима относительно логарифмической ёмкости. Тогда для любого е > 0 найдется непрерывная функция С : [а, Ь] ^ К, такая, что |С(х)| < е для всех х € [а, Ь], С(а) = С(Ь) = 0, и С(х) = д(х) п.в. на [а, Ь] относительно логарифмической ёмкости.
X
□ Пусть Н(х) = / д(£) ^ - неопределенный интеграл Лебега функции д. Выберем
а
на [а, Ь] конечный набор точек а = а0 < а1 < ... < ап = Ь, таких, что колебание Н меньше е/2 на каждом из отрезков [а&, а&+1], к = 0,1,... ,п — 1. Применяя линейные преобразования независимой и зависимой переменной в функции Ф : [0,1] ^ [0,1] из леммы 2, получаем на каждом из отрезков [а&, а&+1], к = 0,1,..., п — 1, функцию , которая имеет нулевую производную п.в. относительно логарифмической емкости и совпадает с функцией Н в концах отрезка. Пусть ^ - функция на [а,Ь], склеенная из функций ^к. Тогда С = Н — ^ дае т нам искомую функцию по леммам 1 и 2. I
Лемма 4. Пусть функция д : [а, Ь] ^ К ограничена и измерима относительно логарифмической ёмкости и пусть Р - замкнутое подмножество отрезка [а, Ь]. Тогда для любого е > 0 найдется непрерывная функция С : [а, Ь] ^ К, такая, что |С(х + Н)| < е|Н| для всех х € Р и всех Н, таких, что х + Н € [а, Ь], С(х) = С(х) = 0 для всех х € Р, и С'(х) = д(х) п.в. на [а, Ь] \ Р относительно логарифмической ёмкости.
□ Пусть I = (а, Ь). Тогда множество I \ Р является открытым и представимо в виде объединения сче тного числа попарно непересекающихся интервалов 1^ = (а& , Ь^).
(?)
Выберем в каждом интервале 1^ возрастающую последовательность чисел ск , ] =
0, ±1, ±2,..., такую, что с? ^ ак при ] ^ —то и с? ^ Ьк при ^ ^ то. Обозначим через е? меньшее из 2-х чисел е(ск?) — ак)/(к + | ^' |) и е(Ьк — с?)/(к + Ц|). Тогда по лемме
3 в каждом интервале 1^ найдется непрерывная функция С, такая, что |С^(х)| < е? для всех х € [с?), с?+1)], Ск(с^) = 0 для всех ^ = 0, ±1, ±2,..., и С'к(х) = д(х) п.в. на 1к относительно логарифмической емкости. Таким образом, полагая С(х) = С^(х) на каждом интервале 1^ и С(х) = 0 на множестве Р, получаем искомую функцию. I
Наконец, докажем следующий аналог теоремы Лузина, сформулированной во введении.
Теорема 1. Пусть функция р : [а, Ь] ^ К измерима относительно логарифмической ёмкости. Тогда найдется непрерывная функция Ф : [а, Ь] ^ К, такая, что Ф'(х) = р(х) п.в. на (а, Ь) также относительно логарифмической ёмкости. Более того, функцию Ф можно выбрать так, что Ф(а) = Ф(Ь) = 0 и |Ф(х)| < е при всех х € [а, Ь] для любого заранее предписанного е > 0.
□ Определим по индукции последовательность замкнутых множеств Рп С [а, Ь], п = 0,1,... и последовательность непрерывных функций Сп : [а, Ь] ^ К, п = 0,1,..., чьи производные существуют п.в. и измеримы относительно логарифмической емкости,
такие, что при обозначениях = У Рд и Фп = ^ Сд выполняются следующие усло-
Д=0 д=о
вия: (а) ФП(х) = р(х) при х Є фп, (Ь) Сп(х) = 0 при х Є фп-1, (с) |Сп(х + Л)| < |Л|/2п
для всех х Є фп-1 и всех Л, таких, что х + Л Є [а, Ь], (^) С(I \ фп) < 1/п, где I = [а, Ь].
Итак, пусть С0 = 0 и Р0 = 0 и пусть Сп и Рп с указанными свойствами уже построены для всех п = 1, 2,..., т. Тогда найдется компакт Ет С I \ фт, такой, что:
С(I \ (фт и Ет)) < 1/(т +1) , (14)
а функции Фт и р непрерывны на Ет, см., например, теорему 2.3.5 в [15].
По лемме 4 с множеством Р = и функцией д : I ^ М, равной р(х) — Ф^(х) на Ет и нулю на I \ Ет, найдется непрерывная функция Ст+1 : I ^ М, такая, что:
(i) ^т+1(х) = р(х) — Фт(х) п.в. на I \ относительно логарифмической емкости,
(ii) Ст+і(х) = ст+1(х) = 0 для всех х Є фт, и (ііі) |Ст+і(х + Л)| < |Л|/2т+1 для всех
х Є и всех Л, таких, что х + Л Є I.
По определению логарифмической е мкости, условиям (і) и (14), найдется компакт Рт+1 ^ Ет, такой, что
С(I \ (фт и Рт+1)) < 1/(т + 1) , (15)
ст+1(х) = р(х) — фт(х) V х Є Рт+1 . (16)
Как легко видеть из (15) и (16), а также (іі) и (ііі), условия (а), (Ь), (с) и (^) сохраняются и для п = т + 1.
Положим теперь на основе приведе нной конструкции последовательностей Сп и Рп:
ОО ОС
Ф(х) = Ііт Фд.(х) = V] Сй(х) , ф = Ііт фд. = N Р*. . (17)
^ ч-,/
Д=1 Д=1
Заметим, что Фд ^ Ф равномерно на отрезке I ввиду условия (с) и, следовательно, функция Ф является непрерывной. По построению, для любого х0 Є ф имеем, что х0 Є фп при всех достаточно больших п и, т.к.
Ф(х0 + Л) — Ф(х0) Фга(х0 + Л) — Ф„ (х0^ Сд (х0 + Л) — Сд (х0)
+
Л Л Л
Д=п+1
мы получаем из условий (а), (Ь) и (с), что
Ф(х0 + Л) — Ф(х0)
Ііт вир
^0
Л
— р(х0)
1
< 2”
т.е. Ф'(х0) = р(х0). Кроме того, по условию (^) видим, что С(I\ф) = 0. Таким образом, Ф;(х) = р(х) п.в. на [а, Ь] относительно логарифмической емкости.
Наконец, применяя конструкцию доказательства леммы 3 к найденной нами функции Ф вместо неопределенного интеграла, находим новую функцию Ф*, такую, что Ф*(х) = р(х) п.в. на [а, Ь] также относительно логарифмической емкости с Ф*(а) = Ф*(Ь) = 0 и |Ф*(х)| < є при всех х Є [а, Ь] для любого заранее предписанного є > 0. ■
п
п
4. О задаче Дирихле в единичном круге.
Одним из центральных результатов работы является следующий аналог теоремы Геринга.
Теорема 2. Пусть р : R ^ R - 2п-периодическая функция, которая измерима относительно логарифмической ёмкости. Тогда существует гармоническая функция u(z), z £ D, такая, что u(z) ^ р(§) при z ^ ег^ вдоль некасательных путей для всех § £ R за исключением быть может множества логарифмической ёмкости нуль.
□ По теореме 1 найдется непрерывная 2п-периодическая функция Ф : R ^ R, такая, что Ф;(§) = р(§) для п.в. § относительно логарифмической е мкости. Пусть
2п
If I — r2
U(rev&) = — ---------------------- Ф(*) dt (18)
2n J 1 — 2r cos(i) — t) + r2 0
для r < 1. Тогда по хорошо известному результату, восходящему к Фату,
д
— U(z) —> Ф'($) при л —> е%& вдоль любых некасательных путей всюду, где существует
Ф;(§), см., например, 3.441 в [20], с. 53, см. также теорему IX.1.2 в [21]. Следователь-
д
но, заключение теоремы следует для функции u(z) = — U(z), z = rev&, г £ (0,1), доопредел енной нул ем в точке z = 0.
Действительно, функция U является гармонической в единичном круге, см., например, теорему I.D.1.1 в [3], и потому бесконечно дифференцируемой. Таким образом, дифференциальный оператор д/д§ перестановочен с оператором Лапласа для U в проколотом единичном круге D \ {0} и, следовательно, функция u(z) - гармоническая в D \ {0}. Кроме того,
2п
, 1 f r(1 — r2) sin § , , , . .
u(re ) =-------------------—:-----г---—г Ф(£) dt (19)
v ' 7Г J (1 - 2rcos(i)-t) + r2)2 w v J
0
и элементарные вычисления в (19) дают оценку на окружностях |z| = r, r £ (0,1),
2r( 1 + r)
\u(z)\ < —-------— • M —>• 0 при r —>• 0 ,
(1 — r)3
где M = max Ф. Таким образом, u(z) ^ 0 при z ^ 0. Наконец, интеграл от функции u по любой окружности |z| = r, r £ (0,1), равен нулю и, по характеристическому свойству
о средних интегральных значениях на окружностях, функция u(z) — гармоническая в D. I
По известному принципу максимума Линделефа, см., например, лемму 1.1 в монографии [18], получается теорема единственности для задачи Дирихле в классе ограниченных гармонических функций в единичном круге. В более широких классах гармонических функций нет никакой теоремы единственности решений задачи Дирихле для
уравнения Лапласа. Более того, в работе [9] было доказано, что пространство всех гармонических функций в О с некасательным пределом 0 в почти каждой точке 50 имеет бесконечную размерность.
На основе леммы 2 можно аналогично доказать более тонкий результат о гармонических функциях относительно логарифмической емкости вместо меры длины на 50.
Лемма 5. Пространство всех гармонических функций и : О ^ К, таких, что
Иш и (г) = 0 вдоль любых некасательных путей для почти всех ( £ 5О относительнее
но логарифмической ёмкости имеет бесконечную размерность.
□ Действительно, пусть Ф : [0, 2п] ^ К - интегрируемая функция, которая дифференцируема с Ф;(£) = 0 п.в. на дО относительно логарифмической емкости. Тогда функция
2п
Г 1 Г2
[/(л) : = — -—-----г----- Ф(£) сЙ , л = геЛ г < 1 ,
1 ' 2тг У 1 — 2гсов(??-*) + г2
0
является гармонической в О и и (г) ^ Ф(0) при г ^ ег0, см., например, теорему 1.3 в
5 •_
[18] или теорему IX.1.1 в [21], и — [/(л) —> Ф'(0) при л —> ег& вдоль любых некасательных путей, где Ф;(0) существует, см., например, 3.441 в [20], с. 53, или теорему 1Х.1.2
д
в [21]. Таким образом, гармоническая функция и^) = —— 11^) имеет некасательный
д$
предел 0 п.в. на дО относительно логарифмической емкости.
Укажем подпространство таких функций и с бесконечным базисом. Именно, пусть р : [0,1] ^ [0,1] - функция канторовского типа из леммы 2 и пусть : [0, 2п] ^ [0,1] равна р((£ _ а„_1)/(ага _ ага-1)) на [а„_1,а„), где ао = 0 и а„ = 2п(2-1 + ... + 2_п), п =1, 2,... и 0 вне [ап-1, ап). Обозначим через ип и ип гармонические функции, соответствующие как в первом абзаце.
По построению, носители функций взаимно не пересекаются и, таким образом,
ГО
ряд £ 7гарга корректно определен для любой последовательности £ К, п =1, 2,....
П=1
Если мы дополнительно ограничимся последовательностями 7 = |7га| в пространстве I
с нормой ||71 = ^2 |7„|, то ряд является подходящей функцией Ф для первого абзаца.
Обозначим через и и и гармонические функции, соответствующие функции Ф как в первом абзаце, а через Н0 - класс всех таких функций и. Заметим, что функции ип, п = 1, 2,..., из второго абзаца образуют базис пространства Н0 с локально равномерной сходимостью в О, которое метризуемо.
ГО
Во-первых, 7пига = 0, если 7 = 0. Действительно, предположим, что 7„ = 0 для
П=1
некоторого п = 1, 2,.... Тогда и = 0, поскольку пределы Иш и (г) существуют для всех ( = ег^ с $ £ (ап-1, ап) и могут быть произвольно близкими как к 0 так и к 7„.
ГО
Во-вторых, ит = ^2 7пига ^ и локально равномерно в О при т ^ то.
П=1
Действительно, имеем следующую оценку остаточного члена в круге О(г) = {г £ С : |г| < г}, г < 1,
2г(1 + г) ГО
|и(л)-г4(л)| < " _ • Ы ->■ 0 ПРИ т-юо. ■
' ' п=т+1
Замечание 3. Отметим, что гармонические функции и, найденные нами в лемме 5, в отличие от функций и, сами не могут быть представлены в виде интеграла Пуассона с какой-либо интегрируемой функцией Ф : [0, 2п] ^ К, поскольку такой интеграл имел бы некасательные пределы Ф п.в., см., например, следствие 1Х.9.1 в [21]. Таким образом, и не принадлежит к классам ни при каком р > 1, см., например, теорему 1Х.2.3 в [21].
Теорема 3. Пусть р : дО ^ К - функция, измеримая относительно логарифмической ёмкости. Тогда пространство всех гармонических функций и : О ^ К с пределами Иш и(г) = р(£) для п.в. ( £ дО относительно логарифмической ёмкости вдоль некасательных путей имеет бесконечную размерность.
□ Действительно, по теореме 2 имеем по крайней мере одну такую гармоническую функцию и и, комбинируя этот факт с леммой 5, получаем заключение теоремы 3. I
Теорема 4. Пусть р : дО ^ К - функция, измеримая относительно логарифмической ёмкости. Тогда существует аналитическая функция f в О, такая, что И,е f (г) ^ Р(С) при г ^ £ вдоль любых некасательных путей для п.в. ( £ дО относительно логарифмической ёмкости. Размерность пространства всех таких аналитических функций бесконечна.
□ Действительно, поскольку любая гармоническая функция и в О имеет сопряженную функцию V, такую, что f = и + - аналитическая функция в О, теорема 4 следует
непосредственно из теоремы 3. I
5. О взаимосвязи граничных значений сопряженных функций.
Известен весьма тонкий факт, восходящий к Лузину, что гармонические функции в единичном круге с непрерывными (даже абсолютно непрерывными !) граничными значениями могут иметь сопряженные гармонические функции, чьи граничные значения не являются непрерывными функциями, более того, не являются даже существенно ограниченными в окрестности любой точки единичной окружности, см. например, [22], с. 557. Таким образом, взаимосвязь между граничными значениями сопряженных гармонических функций является весьма непростой вещью, см. также 1.Е в [3].
Мы называем Л : дО ^ С функцией ограниченной вариации, пишем Л £ 2'У(дО). если
к
уЛ(дО) := вир ^ |Л(0+0 _ Л(&)| < , (20)
.7 = 1
где супремум берется над всеми конечными наборами точек £7 £ дО, ] = 1,...,к, с циклическим порядком, означающим, что ^7 лежит между £7+1 и £7-1 для каждого
j = 1,... , k. Здесь мы предполагаем, что Zfc+i = Zi = Со- Величина Va(SD) называется вариацией функции Л.
Замечание 4. Как это явствует из неравенства треугольника, если мы добавляем
новые промежуточные точки в набор Zj, j = 1,..., k, то сумма в (20) не убывает. Таким
образом, супремум в (20) достигается при 8 = max |Zj+i — ZjI ^ 0. Отметим также, что
j=i,...,fc
по определению Va(5D) = V\oh(dD), т.е. вариация является инвариантом при гомеоморфизмах h : dD ^ dD и, таким образом, определение может быть распространено естественным образом на произвольную жорданову кривую в C.
Обозначим через A(Со, 8) дугу единичной окружности dD с центром в точке С0 £ dD длины 28, где 8 £ (0,п). Назовем множество E С dD логарифмически тонким в точке Со £ dD, если при 8 ^ 0
1 '-1'
С(Е Г\ А((о,8)) = о( (log - J |. (21)
Как известно, C(А(С0,8)) ~ —1/log8 при 8 ^ 0, где запись u ~ v означает, что для достаточно малых 8 найдется постоянная с £ (0, то), такая, что v/c < u < с • v, см., например, [16], с. 131. Таким образом, (21) означает, что
- о. (Я)
«s-s-о С(А((0, $))
т.е. С0 является точкой разрежения для множества E относительно логарифмической емкости. Условие (21) влече т также, что Со является точкой разрежения для множества E относительно меры длины на окружности dD, как это следует, например, из леммы 1
в [17].
Будем говорить, что функция р : dD ^ R почти непрерывна в точке Со £ dD, если найдется некоторое логарифмически тонкое множество E С dD, такое, что р(С) ^ р(Со) при С ^ Со вдоль множества dD \ E. Будем также говорить, что р почти непрерывна на dD, если она почти непрерывна в каждой точке Со £ dD за исключением быть может множества логарифмической емкости нуль. Заметим, что почти непрерывные функции являются измеримыми относительно логарифмической емкости по предложению 1. Заметим также, что логарифмически тонкие множества, а также множества логарифмической емкости нуль и, следовательно, почти непрерывные функции инвариантны относительно конформных (дробно-линейных) отображений расширенной комплексной плоскости на себя, переводящих единичную окружность в расширенную вещественную ось и обратно. Таким образом, по теореме 1 в [17] получаем следующее заключение.
Теорема 5. Пусть а : dD ^ R - функция ограниченной вариации и пусть f : D ^ C
- аналитическая функция, такая, что
lim Re f (z) = а(С) для п.в. С £ dD
(23)
относительно логарифмической ёмкости вдоль любых некасательных путей. Тогда
Иш 1ш f (г) = в (С) для п.в. ( £ дО (24)
относительно логарифмической ёмкости вдоль любых некасательных путей, где в : дО ^ К - некоторая функция измеримая относительно логарифмической ёмкости.
Также докажем следующее предложение, которым мы воспользуемся позже.
Предложение 2. Для любой функции Л : дО ^ дО класса В'У(дО) найдется функция аЛ : дО ^ К класса 2'У(дО), такая, что Л(() = ехр{юЛ(()}, ( £ дО.
В дальнейшем мы называем функцию аЛ функцией аргумента Л.
□ Рассмотрим функцию Л(§) = Л(ег^), § £ [0, 2п]. Ясно, что Ул = УЛ и, таким образом, Л имеет не более чем счетный набор скачков ^га, где ряд является абсолютно сходящимся, ^2 |^га| < УЛ, и Л(§) = 3(§) + С(§), где С(§) - непрерывная функция,
а 3(§) - функция скачков Л, которая равна сумме всех ее скачков на отрезке [0,§], см., например, следствие УШ.3.2 и теорему УШ.3.7 в [23]. Мы имеем, что У/ < УЛ и Ус < 2Ул, см., например, теорему 6.4 в [24]. Ассоциируем с комплексной величиной ^п вещественную величину
И.е ^
ап = —2 агс!^-------- € — 7г,7г .
1ш
В силу геометрической интерпретации этих величин (|^п| равна длине хорды для дуги единичной окружности длины |ап|) и элементарных вычислений, мы имеем, что |^га| < |ап| < ■ п/2.
Теперь, ассоциируем с функцией 3(§) функцию ] (§), которая равна сумме всех ап соответствующих скачкам Л на отрезке [0,§]. Заметим, что У < У/ ■ п/2. Далее, ассоциируем с комплекснозначной функцией С(§) вещественнозначную функцию с(§) следующим образом. Так как С(§) равномерно непрерывна на отрезке [0, 2п], последний можно поделить на отрезки 5к = [0к-1,0к], 0к = 2пк/т, к = 1,...,т, с достаточно большим т £ N таким, что |С(§) _ С(§;)| < 2 для всех § и §' £ . Положим по
индукции
с(0) = - 2 «с** ьцсеа! I £41:=1.....
где
’ § 1П1[(7(о) — 1] •
Кроме того, пусть 7Л(§) = ^’(§) + с(§), § £ [0, 2п]. По построению Л(§) = ег7л(^, § £ [0, 2п], У^л < УЛ-3п/2. Наконец, полагая аЛ(() = 7Л(§), если ( = ег^, § £ [0, 2п), получаем искомую функцию аЛ класса В'У(дО). I
6. Проблема Римана-Гильберта в единичном круге.
Теорема 6. Пусть А : д0 ^ 50 - функция ограниченной вариации и <р : 50 ^ К - функция измеримая относительно логарифмической ёмкости. Тогда существуют аналитические функции f : О ^ С, такие, что вдоль любых некасательных путей
Пт И,е {А(С) ■ f (г)} = р(С) для п-в- С € д0 (25)
относительно логарифмической ёмкости. Пространство всех таких аналитических функций имеет бесконечную размерность.
□ Заметим, что по предложению 2 функция аргумента ал € Ьте(50) поскольку А € 2'У(50). Поэтому
</(-) = ^ / “<0 7 • ~ £ ® ' <26)
д0
является аналитической функцией в 0 с и(г) = И.е д(г) ^ а(£) при г ^ £ вдоль любых некасательных путей в 0 для п.в. £ € 50, см., например, следствие IX.1.1 в [21] и теорему 1.Е.1 в [3]. Отметим, что А(г) = ехр{гд(г)} является аналитической функцией.
По теореме 5 существует функция в : 50 ^ К конечная п.в. и измеримая относительно логарифмической емкости, такая, что г>(г) = 1т д(г) ^ в(С) при г ^ £ для п.в. £ € 50 также относительно логарифмической емкости вдоль любых некасательных путей. Таким образом, по теореме 4 существует аналитическая функция В : 0 ^ С, такая, что и (г) = И,е В(г) ^ £(£): = <^(£) ■ ехр{в(()} при г ^ ( вдоль любых некасательных путей для п.в. £ € 50 относительно логарифмической емкости. Наконец, элементарные вычисления показывают, что искомая функция f = А■ В. Более того, по той же теореме
4 размерность пространства таких функций бесконечна. I
Замечание 5. Как это следует из формулы (26), первая аналитическая функция А в приведенном доказательстве вычисляется в явном виде. Функция в : 50 ^ К в доказательстве также может быть явно вычислена по следующей формуле, см., например, теорему 1.Е.4.1 в [3], для п.в. ( € 50
/3(С) : = Иш - [ ^ ^сц . (27)
2
£
д
Вторая аналитическая функция Ъ в этом доказательстве равна — С^), z = ге%&, с
ОД: = 2_/ф(0^ , =€0. (28)
д0
д
где Ф : 50 —> М. - непрерывная функция, такая, что —— Ф(0 = В((), ( = е%&, для п.в.
дв
в € [0, 2п] относительно логарифмической емкости, см. нетривиальную конструкцию в доказательстве теоремы 1 .
7. Распространение результатов на квазидиски. Наши результаты можно распространить на случай квазидисков (областей, ограниченных квазиконформными кривыми) и, в частности, на области с гладкими и липшицевыми границами.
Итак, пусть О - область в комплексной плоскости С и пусть ^ : О ^ С - измеримая функция с |^(г)| < 1 п.в. Уравнением Бельтрами в О с коэффициентом ^ называется уравнение вида
Л = Мг) ■ Л , (29)
где Л = дЛ = (Л + Лу)/2, Лг = дЛ = (Лх - гЛу)/2, г = х + гу, Л и Л - частные производные функции Л : О ^ С по х и у, соответственно. Уравнение (29) называется невырожденным, если ||^||те < 1.
Напомним, что гомеоморфные решения с обобщенными производными по Соболеву невырожденных уравнений Бельтрами (29) называются квазиконформными отображениями, см., например, [25] и [26]. Квазидисками именуются образы единичного круга 0 = {г € С : |г| < 1} при квазиконформных отображениях С на себя, а их границы - квазиокружностями или квазиконформными кривыми. Напомним, что жор-дановой кривой называется взаимнооднозначный непрерывный образ окружности в С. Известно, что любая гладкая и любая липшицева жорданова кривая является спрямляемой квазиконформной кривой и, в тоже время, квазиконформные кривые могут быть неспрямляемыми, как показывает известный пример так называемой снежинки Коха, см., например, пункт 11.8.10 в [26].
Заметим, что жордановы кривые вообще говоря не имеют касательных. Поэтому нам нужна замена понятия некасательного предела. В связи с этим, напомним теорему Бейджмила [27], см. также теорему 111.1.8 в [11], согласно которой для любой функции П : 0 ^ С, за исключением не более чем счетного множества £ € д0, для любой пары дуг 7! и 72 в 0, оканчивающихся в £ € д0,
С(П,7і) П С(П,72) = 0 , (30)
где С(П,7) обозначает предельное множество П в ( вдоль 7, т.е.,
(7(П, 7) = {IV Є С : и) 1 —> (, Є 7} .
Непосредственно по теоремам Римана и Каратеодори, см., например, теоремы ІІ.2.1 и ІІ.3.2 в [21] и теорему ІІ.С.1 в [3], этот результат можно распространить на произвольную жорданову область И в С. Для функции П : Д ч С и ( £ дИ, обозначим через Р(П,£) пересечение всех предельных множеств С(П,7) для дуг 7 в Е, оканчивающихся в £. Далее называем точки множества Р(П,£) главными асимптотическими значениями П в £. Отметим, что, если П имеет предел хотя бы вдоль одной дуги в Е, оканчивающейся в точке £ Є дЕ, со свойством (30), то главное асимптотическое значение единственно.
Теорема 7. Пусть Е - жорданова область в С, ограниченная квазиконформной кривой, Л : дЕ ^ С, |Л(£)| = 1 - функция ограниченной вариации и р : дЕ ^ К -
функция, измеримая относительно логарифмической ёмкости. Тогда существуют аналитические функции Л : 0 ^ С, такие, что в смысле единственного главного асимптотического значения
Ит Яе {А(() • /(?)} = р(() для п.в. ( Е <90 (31)
относительно логарифмической ёмкости. Пространство всех таких аналитических функций имеет бесконечную размерность.
Если дО - спрямляемая квазиконформная кривая, то предел в (31) имеет место п.в. относительно натурального параметра вдоль любых некасательных путей.
В частности, последнее заключение в теореме 7 имеет место для областей с гладкими и липшицевыми границами.
□ Без ограничения общности можно считать, что 0 € О и 1 € дО. Жорданова область О по теоремам Римана и Каратеодори может быть отображена с помощью конформного отображения Н на единичный круг 0 с нормировками Н(0) = 0 и Н(1) = 1.
По принципу отражения для квазиконформных отображений, привлекая конформное отражение (инверсию) относительно единичной окружности в образе и квазиконформное отражение относительно дО в прообразе, мы можем продолжить Н до квазиконформного отображения Н : С —> С с нормировками Н(0) = О, Н(1) = 1 и Н(оо) = оо, см., например, 1.8.4, 11.8.2 и 11.8.3 в [26]. Отметим, что Л = А о Н-1 является функцией ограниченной вариации, Уд(д0) = УЦдО).
При отображениях Н и Н-1 множества логарифмической е мкости нуль на дО переходят в множества логарифмической емкости нуль на д0 и наоборот, поскольку квазиконформные отображения являются непрерывными по Ге льдеру на дО и д0, соответственно, см., например, теорему 11.4.3 в [26].
Далее, функция Ф = р о Н-1 является измеримой относительно логарифмической емкости. Действительно, при указанных отображениях любые множества, измеримые относительно логарифмической емкости, переходят в множества, измеримые относительно логарифмической емкости, поскольку любое такое множество представимо в виде объединения сигма-компакта и множества логарифмической е мкости нуль, а компакты при непрерывных отображениях переходят в компакты и являются измеримыми множествами относительно логарифмической емкости.
Поэтому исходная задача (31) сводится к задаче Римана-Гильберта для аналитических функций Е в единичном круге:
Ит Л(0 • Р^) = Ф(С) , (32)
а по теореме 6 существует аналитическая функция Е : 0 ^ С, для которой это граничное условие выполняется для п.в. £ € д0 относительно логарифмической емкости вдоль любых некасательных путей. Таким образом, ввиду теоремы Бейджмила, искомое решение исходной задачи Римана-Гильберта (31) существует и представимо в виде Л = Е о Н. Более того, по той же теореме 6 размерность пространства таких решений бесконечна.
Наконец, поскольку искажение углов при квазиконформных отображениях ограничено, см., например, [28], [29] и [30], то в случае спрямляемой dD условие (31) можно понимать вдоль некасательных путей п.в. относительно натурального параметра. I
Отметим, что использование логарифмической емкости позволяет применить наши результаты также к задачам Дирихле и Римана-Гильберта для уравнений Бельтра-ми, поскольку логарифмическая емкость является инвариантом при квазиконформных отображениях.
Литература
1. Векуа И.Н. Обобщенные аналитические функции / М.: Физматгиз, 1959. - 509 с.
2. Гурвиц А. Курант Р. Теория функций / М.: Наука, 1968. - 618 с.
3. Кусис П. Введение в теорию пространств Hp / М.: Мир, 1984. - 364 с.
4. Hilbert D. Uber eine Anwendung der Integralgleichungen auf eine Problem der Funktionen-theorie / Verhandl. des III Int. Math. Kongr., Heidelberg, 1904.
5. Гахов Ф.Д. Краевые задачи / М.: Наука, 1977. - 640 с.
6. Мусхелишвили Н.И. Сингулярные интегральные уравнения / М.: Наука,1968. - 448 с.
7. Hilbert D. Grundziige einer algemeinen Theorie der Integralgleichungen / Leipzig, Berlin. 1912.
8. Gehring F.W. On the Dirichlet problem // Michigan Math. J. - 1955-1956. - 3. - P.201.
9. Ryazanov V. On the Riemann-Hilbert Problem without Index // Ann. Univ. Bucharest, Ser. Math. - 2014. - 5 (LXIII); 1. - P.169-178.
10. Сакс С. Теория интеграла / М.: ИЛ, 1949. - 344 с.
11. Носиро К. Предельные множества / М.: ИЛ, 1963. - 252 с.
12. Карлесон Л. Избранные проблемы теории исключительных множеств / М.: Мир, 1971. -126 с.
13. Неванлинна Р. Однозначные аналитические функции / М.: ОГИЗ, 1941. - 388 с.
14. Fekete M. Uber die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen Koeffizienten // Math. Z. - 1923. - 17. - P.228-249.
15. Федерер Г. Геометрическая теория меры / М.: Наука, 1987. - 760 с.
16. Adams D.R., Hedberg L.I. Function spaces and potential theory / Berlin: Springer-Verlag, 1996. - 366 p.
17. Twomey J.B. The Hilbert transformation and fine continuity // Irish Math. Soc. Bulletin. -2006. - 58. - P.81-91.
18. Garnett J.B., Marshall D.E. Harmonic Measure / Cambridge: Cambridge Univ. Press, 2005. -572 p.
19. Гелбаум Б., Олмстед Дж. Контрпримеры в анализе / М.: Мир, 1967. - 252 с.
20. Зигмунд А. Тригонометрические ряды /- М.: НКТП, 1939. - 324 с.
21. Голузин Г.М. Геометрическая теория функций комплексного переменного / М.: Наука, 1966. - 628 с.
22. Бари Н.К. Тригонометрические ряды / М.: Физматлит, 1961. - 936 с.
23. Натансон И.П. Теория функций вещественной переменной / М.: Наука, 1974. - 480 с.
24. Рудин У. Основы математического анализа / М.: Мир, 1966. - 320 с.
25. Альфорс Л. Лекции по квазиконформным отображениям / М.: Мир, 1969. - 134 с.
26. Lehto O., Virtanen K.J. Quasiconformal mappings in the plane / Berlin, Heidelberg: Springer-Verlag, 1973. - 258 p.
27. Bagemihl F. Curvilinear cluster sets of arbitrary functions // Proc. Nat. Acad. Sci. U.S.A. -1955. - 41. - P.379-382.
28. Agard S. B., Gehring F.W. Angles and quasiconformal mappings // Proc. London Math. Soc.(3). - 1965. - 14a. - P.1-21.
29. Agard S. Angles and quasiconformal mappings in space // J. Anal. Math. - 1969. - 22. -P.177-200.
30. Taari O. Charakterisierung der Quasikonformitat mit Hilfe der Winkelverzerrung // Ann. Acad. Sci. Fenn. Ser. AI. - 1966. - 390. - P.1-43.
PROBLEMS OF DIRICHLET AND RIEMANN-HILBERT FOR ANALYTIC FUNCTIONS A.S. Yefimushkin, V.I. Ryazanov
Institute of Applied Mathematics and Mechanics of NASU,
Roze Luxemburg St., 74, Donetsk, 83114, Ukraine, e-mail: [email protected]; [email protected]
Abstract. It is proved the analog of Lusin’s theorem which set that each function on a segment being measurable with respect to logarithmic capacity coincides almost everywhere with the derivative of a continuous function. On this basis, it is established the analog of Gehring’s theorem on solvability of the Dirichlet problem for harmonic functions on the unit disk with arbitrary boundary data which are measurable with respect to logarithmic capacity. Furthermore, it is proved that the space of the found solutions has the infinite dimension. We also derive from here the solvability of the corresponding problems of Dirichlet and Riemann-Hilbert for analytic functions on the unit disk. Finally, these results are extended to quisidisks and, in particular, to domains with smooth and Lipschitz boundaries.
Key words: problems of Dirichlet and Riemann-Hilbert, logarithmic capacity, functions of
bounded distortion, harmonic and analytic functions.
