Краевая задача Римана - Гильберта в классе BMO для обобщенных аналитических функций Текст научной статьи по специальности «Математика»

Владикавказский математический журнал 2011, Том 13, Выпуск 1, С. 13-20

УДК 517.2

КРАЕВАЯ ЗАДАЧА РИМАНА - ГИЛЬБЕРТА В КЛАССЕ ВМО ДЛЯ ОБОБЩЕННЫХ АНАЛИТИЧЕСКИХ ФУНКЦИЙ

С. Б. Климентов

К девяностолетию со дня рождения Глеба Павловича Акилова

В работе рассматривается разрешимость краевой задачи Римана — Гильберта в классе ВМО для обобщенных аналитических функций в предположении, что коэффициент краевого условия принадлежит пространству мультипликаторов класса ВМО. Ранее автором построены примеры, когда задача с неотрицательным индексом в такой наиболее естественной постановке неразрешима в классе голоморфных функций ВМОА [2] и были даны достаточные условия на коэффициент, при которых имеет место обычная картина разрешимости. В этой работе результаты для голоморфных функций из [2] переносятся на обобщенные аналитические функции.

Ключевые слова: краевая задача Римана — Гильберта, классы ВМО.

1. Введение. Основные определения

Краевая задача Римана — Гильберта для обобщенных аналитических функций класса ВМО рассматривалась в работе автора [1] в предположении, что коэффициент краевого условия гельдеров (умножение функции класса ВМО на окружности на гельдерову функцию не выводит из класса ВМО; этим и определялось требование на коэффициент). Разумеется, постановка задачи наиболее естественна при предположении, что коэффициент краевого условия принадлежит пространству мультипликаторов класса ВМО.

В предположении, что коэффициент краевого условия принадлежит пространству мультипликаторов класса ВМО, для голоморфных функций задача рассматривалась автором в [2]. В работе [2] обнаружено, что даже при непрерывном коэффициенте из пространства мультипликаторов задача с неотрицательным индексом может быть неразрешимой в ВМО. Даны достаточные условия разрешимости. В настоящей работе результаты из [2] переносятся на обобщенные аналитические функции.

Обозначим I = {г : \г\ < 1} единичный круг комплексной г-плоскости, г = х + гу, г2 = -1; Г = дБ — граница круга I; I = I и Г; А(г),В(г) £ Ь8(И), в > 2 (используются обозначения книги [3]), — заданные комплексные функции.

Рассмотрим в I каноническую эллиптическую систему в комплексной записи

д? т + А(г) т + В (г) т = 0, (1)

где т = т(г) = и(г) + т(г) — искомая комплексная функция, и и V — ее действительная и мнимая части, д? = 1/2(д/дх + гд/ду) — производная в смысле Соболева.

© 2011 Климентов С. Б.

Решение т(г) системы (1) называют обобщенной аналитической функцией [3, с. 148]. Определение 1. Следуя [4], будем говорить, что решение системы (1) принадлежит классу Нр(А, В), р > 0, если оно для некоторой положительной постоянной Мр(,ю) < удовлетворяет условию

При А = В = 0 имеем обычный класс Харди Нр голоморфных функций [5, с. 57].

/ — неубывающая положительная функция, определенная на [0,е], где 0 < е < 2п.

Для комплекснозначной функции р £ ^(Г) определение аналогично.

Определение 3. Следуя [5, с. 269], будем говорить, что функция Ф(^) аналитическая в О, принадлежит классу ВМОА^, если Ф(^) принадлежит классу Харди Н2 и ее некасательные предельные значения Ф(е“) = Ф(з) на Г принадлежат классу BMOf.

Определение 4. Будем говорить, что решение ш(х) системы (1) принадлежит классу BMOf (А, В), если т(г) £ Н2(А,В) и его некасательные предельные значения т(1) на Г принадлежат классу BMOf.

При А = В = 0 имеем голоморфный класс BMOAf из определения [3].

Если f = 1, будем использовать обозначение BMOl = BMO, BMOAl = BMOA; если f (г) = 1п-1 1/г, будем использовать обозначения BMOf = LMO, BMOAf = LMOA.

Известно [6, 7], [8, с. 223], что LMO П Lте(Г) есть мультипликатор пространства BMO, т. е. максимально широкое множество функций, умножение на которые есть непрерывный линейный оператор из BMO в BMO.

Таким образом, ь(в) = Ип(в) — с точностью до постоянного слагаемого выражение краевых значений мнимой части аналитической в О функции через краевые значения действительной части [9, с. 59].

Множество ВМО(А, В) с нормой

(Vр : О ^ р < І, рвш = z Є D).

0

Определение 2. Вещественная функция р £ Li(r), р = p(eis) = p(s) называется функцией класса BMOf (Bounded Mean Oscillation) [5, с. 227], [6], если

I

где ї С Г — произвольный интервал на Г, | ї| — его длина,

I

Обозначим

(2)

— п

г

является действительным банаховым пространством [1].

Множество BMOf с нормой ||^||.вмОу = IMIl(г) + IMI*/ является банаховым пространством [6].

Определение 5. Функцию w(z) Є Hp(A,B), p> І, будем называть решением краевой задачи Римана — Гильберта для уравнения (І), если ее некасательные предельные значения на Г w+(t) = w(t) почти всюду на Г удовлетворяют краевому условию

Re{A (t)w(t)} = g(t), (3)

где A = A(t) — ограниченная, измеримая по Лебегу на Г комплексная функция, g(t) Є Lp (Г).

Определение б. Однородной краевой задачей, сопряженной задаче (І), (3), будем называть задачу [3, с. 301]:

dzVj' — Aw' — B w' = 0, (4)

Re {A(t)t'(s)w'(t)} = 0, t Є Г, (б)

где s — длина дуги на Г, t'(s) = dt/ds.

Будем считать, что

0 < k1 < |A| < k2, (6)

где k1 и k2 — некоторые постоянные. Таким образом, A(t) = |A|eгв(t'), где 9(t) — действительная измеримая функция.

На 9(t) наложим следующие дополнительные условия: существует такое конечное покрытие (Bk) контура Г интервалами, что на каждом из них |0(t)| < 2п. В этих условиях корректно определен индекс краевого условия (3).

Индекс краевого условия. Возьмем на каждом интервале Bk из покрытия (Bk) точку tk и разрежем Bk в этой точке, т. е. будем принимать точку tk за две точки: t+ и t—. Фиксируя произвольно значение 0(t) в некоторой точке t+ и следуя по направлению обхода контура Г вдоль цепи интервалов Bk, будем последовательно определять 6(t) на встречающихся интервалах так, чтобы |0(t) — 0(t)| < 2п, когда t и t' принадлежат пересечению соседних интервалов. В результате получим вполне определенную ветвь 9(t), которая в точках tk имеет два значения: d(t—) до обхода и d(t+) после обхода. Обозначим

= mdr[et0(t)] =к.

k

Поскольку 0(t±) соответствует одной и той же точке e%e(tk), число к — целое. Очевидно, к не зависит от выбора точек tk и покрытия (Bk).

Определение Т. Число к будем называть индексом задачи (3).

2. Формулировка основных результатов

Теорема 1. Пусть в краевом условии (3) A(t) Є L^fi) П LMO, g(t) Є BMO и Hd(t) Є L^p)1.

При к = indr [A(t)] ^ 0 однородная краевая задача (І), (3) (т. е. при g(t) = 0) имеет точно 2 к + І линейно независимых в вещественном смысле решений, принадлежащих

1 При f Є ЬТО(Г) всегда считаем, что |f | < const < х.

классу ЬМО(Л,Б) П Ь^. Неоднородная (при д(£) ф 0) задача (1), (3) всегда имеет решение класса БМО(Л, Б), линейно содержащее 2к + 1 произвольных вещественных постоянных.

При к < 0 однородная задача (1), (3) имеет только нулевое решение. Для существования (единственного) решения класса БМО(Л, Б) неоднородной задачи (1), (3) необходимо и достаточно выполнение следующих условий на функцию д(£):

где у^(г) £ БМО(-Л, —Б) — полный набор линейно независимых в вещественном смысле решений однородной сопряженной задачи (4), (5).

Некоторые свойства функций класса БMOf. Имеет место следующее очевидное утверждение [6].

Лемма 1. Если |Б(ж) — Б(у)| ^ С|ж — у|, где С — некоторая постоянная, то

Следствие 1. Если р £ БMOf, то Б(р) £ БMOf.

Следствие 2. Если значения комплекснозначной функции р £ БMOf принадлежат области, в которой функция Б удовлетворяет условию Липшица, то Б(р) £ БMOf.

Лемма 2 [2]. Если р £ БMOf, то |р| £ БMOf.

Если при этом 0 < к\ ^ |р| ^ к2, где к\ и к2 — некоторые постоянные, то 1/р £

БMOf.

Если р\, р2 £ ЬMO П Ьте(Г), то произведение р\ • р2 £ ЬMO П Ьте(Г).

Следствие 3. Если А(£) £ ЬMO и удовлетворяет (6), то 9(£) = а^ А(£) £ ЬMO.

Теорема 3 [10]. Множество ЬMO(Л, Б) с нормой

(7)

3. Вспомогательные сведения

I |Б(р(9)) — [Б(р)]/1 А9 < 2С У |р(9) — рт| А9

I

/

(8)

г

является действительным банаховым пространством.

В частности, (8) — банахова норма в ЬMOЛ.

Пусть к ^ 0 — целое число. Следуя [3, с. 293], обозначим

(9)

Б

Отметим, что И,е {£ КТК$(£)} = 0 при £ £ Г.

Теорема 3 [10]. Если у(г) £ ЬMO(Л, Б), то имеет место соотношение

у(г) + Тк (Лу + Бу) = Ф(г),

(10)

где Ф(г) £ ЬMOЛ и почти всюду на Г

Ие {£-кЦ£)} = Ие {£-кФ(£)} , £ £ Г. (11)

Если Ф(г) £ ЬMOЛ, то соотношением (10) однозначно определяется функция у (г) £ ЬMO(Л, Б), удовлетворяющая на Г условию (11), и формула (10) устанавливает (вещественный) линейный изоморфизм банаховых пространств ЬMO(Л, Б) и ЬMOЛ.

Регуляризующий множитель. Перейдем к обсуждению краевого условия (3) в предположениях теоремы 1.

В силу леммы 2 1/|А(£)| £ ЬMO П Ь^(Г), а поскольку ЬMO П Ь^(Г) — мультипликатор пространства БMO, д(£)/|А(£)| £ БMO и мы без ограничения общности можем считать, что |А(£)| ф 1, т. е. что А(£) = егв(1'), и в силу следствия 2 и следствия 3 9(£),е*0(^ £ ЬMO П Ьте(Г).

Обозначим 7(г) = ш(г) + ги1(г) = Б(9(т) — к • а^т)(г), 5 — оператор Шварца, ш(г) = Ие7(г), ш1(Ь) = Иш(£), £ £ Г. Тогда функция е*7(г) £ Ьте, а следовательно, имеет почти всюду на Г некасательные предельные значения е*7(^ £ Ьте(Г) [5, с. 64]. Следуя [9, с. 275], будем называть функцию еш1 (^ регуляризующим множителем краевого условия (3).

Лемма 3. еШ1(г) и е*7^ £ ЬMO П Ьте(Г), а следовательно,

е*7(^> £ ЬM0Л П Ьте.

< Поскольку сингулярный оператор в ЬM0 ограничен [11, 12], еШ1 (^ £ ЬM0 П Ьте(Г). >

4. Доказательство теоремы

Случай канонического краевого условия. Рассмотрим краевую задачу (1), (3) в частном случае А(£) = £к:

Ие{ £-кю(£)} = д(£). (12)

Следуя [3, с. 246], краевое условие (12) будем называть каноническим.

Рассмотрим сначала случай к ^ 0. Формулой (10) устанавливается (вещественный) линейный изоморфизм между решениями краевой задачи (1), (12) и решениями краевой задачи для голоморфных функций

Ие {£-кФ(£)} = д(£). (13)

Учитывая результаты из [2] для краевой задачи (13), получаем соответствующее утверждение теоремы 1.

Случай к < 0 исследуется сведением к случаю нулевого индекса посредством замены У0(г) = г-кт(г) дословным повторением соответствующих рассуждений из [3, с. 298301].

Случай неканонического краевого условия. Умножим краевое условие (3) на регуляризующий множитель коэффициента А(£) = егв(1'):

Ие{ Гке-*1(Г) у(£)} = еШ1 (4) д(£).

Обозначим еШ1 (/:)д(£) = д* (£) £ БM0 (в силу леммы 3),

е*1(х) у(г)= У* (г). (14)

Функция у* = и>* (г) удовлетворяет уравнению

О^у* + Л(г)и* + Б *(г)и* = 0, (15)

где

Б*(г) = Б(г)е-2*Ке7(г) £ ЬЯ(В), (16)

и краевому условию { }

Ие{ £-ку* (£)} = д* (£). (17)

Поскольку ЬM0 П Ь^(Г) есть мультипликатор БM0, и*(г) £ БM0(Л,Б*) при условии, что у(г) £ БM0(Л, Б) (и наоборот).

Задача (15), (17) с каноническим краевым условием нами уже исследована. Пусть у*(г) £ БM0(Л, Б*) — решение этой краевой задачи при к ^ 0. Аналогично [3, с. 296] представим у* (г) в виде

у* (г) = Ф*(г)уо (г), (18)

где Ф*(г) голоморфна в В,

у0(г) = ехр Jj Б

f (О г/(О

_С — г 1 — Сг

т = \А{г) + в*{г)&’ т*М*0’ (19)

\0, и* (г) = 0. 1 1

Очевидно, у*(г) £ БM0(Л, Б*) тогда и только тогда, когда Ф*(г) £ БM0Л; также очевидно, что 1т У0(£) = 0, £ £ Г.

Подставив (18) в (17), получим, что голоморфная функция Ф*(г) £ БM0Л есть решение краевой задачи

Ие {£-кФ*(£)} = д*(£)у-1 (£) £ БM0. (20)

Отсюда [2, (20)]

Ф*(г) = гк [5(д*у0-1 ) + Q(г)] , (21)

где 5 — оператор Шварца, Q(г) = iв0 + ^КК=1(скгк — скг-к), ск — комплексные постоянные, во — вещественная постоянная.

Умножим (18) на е*7(г), где е*7(г) — та же голоморфная в В функция, что и в (14), и обозначим

у (г) = и*(г)е*7(г); Ф(г) = Ф* (г)е*7(г). (22)

При этом (18) перепишется в виде

у(г) = Ф(г)у0(г). (23)

Вместе с тем, в представлении для Уо(г), с учетом (16) и (19), будем иметь

т=Ыг)+В(г) у(г)^0,

10, у(г) = 0,

откуда получаем, что у (г) в (23) есть решение уравнения (1).

Поскольку, по лемме 3, еч(г) £ ЬM0Л П Ьте, у(г) £ БM0(Л, Б), Ф(г) £ БM0Л.

Покажем, что w(z) удовлетворяет краевому условию (3). Для этого достаточно показать, что $(z) в (23) удовлетворяет краевому условию

Re je-ie(t)$(t)} = g(t)w-1 (t), t G Г. (24)

Подставим выражение для $*(z) из (22) в (21). Отсюда получим, что $(z) удовлетворяет (24).

В случае к < 0 проделаем ту же замену (14) и так же придем к задаче (15), (17). Условие ее разрешимости:

J tKvj (t)g* (t)dt = 0, j = 1, 2,..., -2к - 1, (25)

г

где wj*(z) — полная система линейно независимых в вещественном смысле решений задачи

d-zw'* - A(z)w'* - B*(z)w'* = 0,

Re {tKt'(s)w'*(t)} = 0.

Обратная замена (22) так же приведет к решению w(z) G BMO(A, B) задачи (1), (3), только в рассуждениях ссылки на [2, (20)] надо заменить ссылками на [2, (21)]. Условие

разрешимости (25) после замены w'*(z) = w/(z) eiY(z) перейдет в условие

y'ei0(t)wj (t)g(t)dt = 0, j = 1,2,..., -2к - 1, (26)

г

где wj(z) G LMO(-A, -B) — полная система линейно независимых в вещественном смысле решений задачи, сопряженной однородной задаче (1), (3):

dzU/ — A(z)u/ — B(z)w' = 0,

Re jeie{t)t'(s)w'(t)} =0.

Итак, формулы (14) и (22) устанавливают линейное в вещественном смысле взаимнооднозначное соответствие между решениями класса BMO(A,B) краевой задачи (1), (3) в предположении |A(t)| ф 1 и решениями класса BMO(A, B*) краевой задачи с каноническим краевым условием (15), (17). Отсюда получаем утверждение теоремы 1.

Литература

1. Климентов С. Б. Классы BMO обобщенных аналитических функций // Владикавк. мат. журн.— 2006.—Т. 8, вып. 1.—С. 27-39.

2. Климентов С. Б. Краевые задачи Римана и Гильберта в классе BMO для аналитических функций // Владикавк. мат. журн.—2010.—Т. 12, вып. 4.—С. 28-38.

3. Векуа И. Н. Обобщенные аналитические функции.—М.: Физматгиз, 1959.—628 с.

4. Климентов С. Б. Классы Харди обобщенных аналитических функций // Изв. вузов. Сев.-Кав. регион. Естеств. науки.—2003.—№ 3.—С. 6-10.

5. Гарнетт Дж. Ограниченные аналитические функции.—М.: Мир, 1984.—469 с.

6. Janson S. On functions with conditions on the mean oscillation // Ark. Math.—1976.—Vol. 14, № 2.— P. 189-196.

7. Stegenga D. A. Bounded Toeplitz operators on H1 and applications of the duality between H1 and the functions of bounded mean oscillation // American J. of Math.—1976.—Vol. 98, № 3.—P. 573-589.

8. Мазья В. Г., Шапошникова Т. О. Мультипликаторы в пространствах дифференцируемых функций.—Л.: Изд-во Ленинградского ун-та, 1986.—404 с.

9. Гахов Ф. Д. Краевые задачи.—М.: Наука, 1977.—640 с.

10. Климентов С. Б. Представления второго рода для классов LMO обобщенных аналитических функций // Исследования по дифференциальным уравнениями и математическому моделированию / отв. ред. С. Б. Климентов, Е. С. Каменецкий.—Владикавказ: ВНЦ РАН и РСО-А, 2009.—156 c.

11. Peetre J. On convolution operators leaving Lp’x spaces invariant // Ann. Mat. Pura Appl.—1966.— Vol. 72, № 4.—P. 295-304.

12. Bramanti M., Brandolini L. Estimates of BMO type for singular integrals on spaces of homogeneous type and applications to hypoelliptic pdes // Rev. Mat. Iberoamericana.—2005.—Vol. 21, № 2.—P. 511556.

Статья поступила 2 октября 2009 г.

Климентов Сергей Борисович

Южный математический институт ВНЦ РАН и РСО-А, главный научный сотрудник лаб. компл. анализа РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22; Южный федеральный университет, заведующий кафедрой геометрии

РОССИЯ, 344090, Ростов-на-Дону, ул. Мильчакова, 8 а E-mail: [email protected]

RIEMANN-HILBERT BOUNDARY VALUE PROBLEMS IN BMO CLASSES FOR GENERALIZED ANALYTIC FUNCTIONS Klimentov S. B.

The classical Riemann-Hilbert boundary value problems for generalized analytic functions are under consideration. We search the solution in BMO class under assumption that the coefficient of the boundary condition belongs to the set of pointwise multipliers of BMO. Earlier in [2] the author constructed examples when the problem for golomorphic functions with non-negative index in the such natural setting has no solution in BMOA. Sufficient conditions on the coefficient are given when we have usual pattern of solvability in BMO class.

Key words: Riemann-Hilbert boundary value problems, BMO classes, generalized analytic functions.