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

MSC 34M50

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

Г.М. Айрапетян, В.А. Бабаян

Ереванский государственный университет, ул. Алека Манукяна 1, Ереван, 0025, Армения, e-mail: hhayrapet@gmail.com,

Южный Федеральный Университет, ул. Большая Садовая 105/42, Ростов-на-Дону, 344006, Россия, e-mail: bvazgen@gmail.com

Аннотация. В работе исследуется граничная задача Римана-Гильберта в пространстве непрерывных функций. Предложена новая постановка этой задачи, которая позволяет решить ее, когда граничная функция непрерывна на Г. В явном виде получены условия разрешимости неоднородной задачи, а также линейно независимые решения однородной задачи. Решение неоднородной задачи также записывается в явном виде.

Ключевые слова: задача Римана-Гильберта, аппроксимативная единица, краевая задача, интеграл типа Коши, непрерывные функции.

1. Введение. Формулировка результатов

Пусть 0+ — односвязная ограниченная область комплексной плоскости ограниченная кривой Ляпунова Г и О- = С\(0+ и Г). Не умаляя общности можем предполагать, что 0 £ 0+. Предлагаемая работа посвящена исследованию в этой области граничной задачи Римана-Гильберта в пространстве непрерывных функций. Классическая постановка задачи Римана-Гильберта следующая. Требуется определить функцию Ф, аналитическую в области 0+ и О-, обращающуюся в нуль на бесконечности Ф(то) = 0. Предполагается, что функции Ф± — ограничения функции Ф на области соответственно, непрерывны в и Г и на границе Г удовлетворяют соотношению:

ф+(£) - а(*)ф-(£) = /СО , * £ Г . (1)

Предполагается, далее, что заданная функция а принадлежат классу Гельдера на Г, а £ С(<5)(Г), 0 <5 < 1 и а(*) = 0 при * £ Г. В [1] и [2] полностью изучен случай, когда / £ С(Г). Случай, когда / £ ЬР(Г) при 1 < р < то рассмотрен в [3]. В дальнейшем эта задача исследовалась в различных направлениях, однако так как решение этой задачи выражается при помощи интеграла типа Коши, то поточечное равенство (1) приводит к необходимости рассматривать такие пространства, где интеграл типа Коши является инвариантным оператором, например С(<5) или при 1 < р < то (см. [4]). Поэтому постановка (1) в пространстве непрерывных функций, в пространстве интегрируемых функций Ь1 и т.д. некорректна. В работе [5] была предложена новая постановка задачи Римана-Гильберта, которая позволила эффективно решить эту задачу в пространстве интегрируемых функций Ь1. В этой формулировке не предполагается, что функции Ф±

имеют граничные значения на граничной кривой Г, что позволяет рассмотреть задачу в общих пространствах.

В настоящей работе будем предполагать, что граничная функция f непрерывная на Г, и используем идею изложенную в [5]. Пусть Б+ = {(ж,у) : х2 + у2 < 1} единичный круг комплексной плоскости, Т = дБ+ его граница и Б- = С\(Б+У Т). Обозначим ш функцию, конформно отображающую круг Б+ на область 0+ и ^ - функцию, конформно отображающую внешнюю часть круга Б- на область О- т.е.

Б+ Э г = ш-1(£) , £ Є 0+ ;

Б- Э г = ^-1(£), £ Є 0-,^,(то) = то .

Для любого 0 < г < 1 положим:

А+(г) = ш(гш 1(г)), г Є 0+ А-(г) = ^(г-1^-1(г)), г Є О-

(2)

(3)

Задачу Римана в классе С (Г) определим следующим образом:

Определение. Определить голоморфную в 0+ и О- функцию Ф £ А(Г) по гранич-

ному условию

Ііт Цф+^+СО) - аСОФ (АГ СО) - f С0|

г^1-0 11

С(Г)

0

(4)

где f Є С (Г), | • ||с(г) — норма в пространстве непрерывных функций С (Г) а А (Г) -класс аналитических вне Г функций, обращающихся в нуль на бесконечности. Здесь и далее будем предполагать, что Ф± ограничения функции Ф на области 0± соответственно. Задачу (4) при f = 0 будем называть однородной.

где 5і аналитичны в Сг*1, 5і(і) ф 0 при і Є 5 (оо) = 1, 5і Є С'^^(С±), к =

ind а(^) | г — индекс функции а на Г. Используя эти обозначения, полученные результаты можно сформулировать следующим образом:

Теорема 1. При к > 0 задача (4) всегда имеет решение, а соответствующая однородная задача имеет к линейно независимых решений. Общее решение задачи (4) определяется следующими соотношениями:

Здесь Рк-1 произвольный многочлен порядка к — 1 при к > 0. Если к = 0, то Рк-1 = 0, соответственно, в этом случае задача (4) однозначно разрешима.

Теорема 2. При к < 0 задача (4) имеет решение тогда и только тогда, когда функция f удовлетворяет к линейно независимым условиям:

а соответствующая однородная задача не имеет нетривиальных решений. Общее решение задачи (4) определяется по формулам (6), (7) при Рк-1 = 0.

В заключение задача Римана-Гильберта в указанной постановке рассмотрена также

В этом пункте докажем два вспомогательных утверждения, необходимых для доказательства теорем.

Лемма 1. Пусть

— взаимно однозначное отображение единичной окружности Т на себя. Тогда для произвольных точек т и (, т, £ £ Т выполняется неравенство

Мы предполагаем, что функция а принадлежит классу С(<5) (Г) и а(£) = 0 при всех у £ Г. При этих предположениях функцию а можно представить в виде ([1]):

(5)

г Є С+ ,

(6)

г

(7)

г

к = 0,..., |к| — 1,

(8)

г

для вектор-функций Ф±.

2. Вспомогательные предложения.

а(т) = ш 1(^(г)), т Є Т

(9)

|аС0 — Га(С)| > С|т — ГС 1 , Т,С Є Т ;

(10)

где С постоянная, не зависящая от г, т, £ •

□ Отметим, что при любом 0 < г < 1, т, £ £ Т имеет место соотношение

1 — г < |а(т) — га(()| < 1 + г ,

где а определяется формулой (9). Аналогичная оценка верна также для |т — г£ |:

1 — г < |т — г( |< 1 + г.

Пусть 0 < г < Го, где 0 < Го < 1. Тогда, учитывая, что функция монотонно убывает, получим

|а'(г) - га(С)| > 1 - Г = ^—^(1 + г) > —\т - г(I . (11)

1 + г 1 + го

Пусть теперь г0 < г < 1. Если г, 0 — полярные координаты точки г = гег0, обозначим А1 и А2 соответственно действительную и мнимую части функции а(ег0):

а(егб) = А1(0) + *А2(0) (12)

и рассмотрим отображение кольца 5 = {(р, 0), г0 < р < 1, —п < 0 < п} на себя:

Р (р-0) = (РА2<0)) • (13)

Якобиан этого отображения имеет вид

3 = р(А1(0)А2(0) — А2(0)А1(0)) • (14)

Учитывая, что из (9) А2 + А2 = 1, получим

А1(0)А1(0) + А2(0)А2(0) = 0 • (15)

Из (14) и (15) следует, что якобиан 3 = 0 при всех (р, 0) £ Б. Действительно, если 3 = 0 то, так как р = 0, то из (14) и (15) получили бы, что А1(0) = А;2(0) = 0 что невозможно, так как (а(ег6>)) = 0.

Итак якобиан отображения (13) отличен от нуля, следовательно, по теореме об обратной функции ([6], стр. 111) получим, что обратное отображение Р ограничено, то

есть

|Р(1,р) - РМ)| > СУ(1 - г)2 + (р - в)2 = сч

или

|а(т) — ra(Z)| > Cd, (16)

где т = ег^,( = егв .В этих обозначениях

\т — г(| = у (1 — г)2 + 4r sin' и поэтому, используя неравенство | sin x| < |x|,r < 1, получим

d = \J(1 — г)2 + (</? — О)2 > ^(1-г)2 + 4г sin2 ^ ^ ^ = \т — г(| .

Подставляя эту оценку в (16) получим

|а(т) — га(С)| > C|т — rC1 • (17)

Окончательно, из (11) и (17)

|а(т) — га(()| > C|т — г(| ,

где С = mill (с, j=^) . ■

Следующее предложение является основным для дальнейших рассуждений. Лемма 2. Определим функцию Hr(t,£) по следующей формуле

н^=ЫЛш-т^ш)- <18>

где функции А± определяются соотношениями (2), (3). Эта функция является аппроксимативной единицей, то есть удовлетворяет условиям

1. Hr (t,£)dt = 1;

2. sup |Hr(t, £)| ^ 0 при r ^ 1 — 0 равномерно по t и £; |t-?|>

3. / |Hr(t, £)||dt|< C при всех 0 < r < 1.

□ Так как А+ (£) £ Б+ и Аг (£) £ Б при каждом 0 <г< 1, £ £ Г то по интегральной теореме Коши

1 Г dt Г d^

2лI ] £ — А+(£) У £ —А,~(£)

г

то есть, соотношение 1) верно.

Далее, используя тот факт, что контур Г является кривой Ляпунова, из теоремы Келлога ([7], гл. 10, параграф 1, т.6 стр. 411) имеем, что

0 < с < |^;(г)| < С

при л € И+ и ш' Е С^1’^(Б+). Аналогичные оценки выполняются для функции /л. Таким образом,

А+(£) = £ + А(£)(1 — г) + 0((1 — г)1М), (19)

А7«) = ? + В(0(1 - г) + 0((1 - г)«), (20)

где А(£) и £>(£) — ограниченнвю в И + и И соответственно, функции. Из этих соотно-

шений сразу следует соотношение 2).

Перейдем к доказательству соотношения 3). Для этого представим ядро Нг(£,£) в виде:

н«'\= 1 К (О-К (О ,,, >

Д'’4' 2я(*-А+(0)(*-Аг-(0)- 1 '

Используя оценки (19), (20), получим:

|А- (£) — А+(£)| < С(1 — г) •

Далее

|* — А+(£)| = И^)) — ш(гш_1(£))| > С|^-1(£) — гш_1(£)| , (22)

а также

^ — А-(£)| = — Мг_1^_1(£))| > С^_1С0 — г_1^_1(£)| • (23)

Следовательно, интеграл из 3) оценивается следующим образом:

/|адо||<й| - с/ |Ш-Ч«) - ,-■(() - Г->-‘(01 ’ (24)

гг

В последнем интеграле сделаем замену переменной ^-1(£) = т, а также обозначим ^-1(£) = (. Тогда |т| = |£| = 1,^£ = (^_1)'(т)^т и оценка (24) примет вид:

[\нг(г,от<с [ , , , (1~^|^т|—777. (25)

У У |а(т) — га(С)||т — г-1С|

г Т

Используя лемму 1, имеем

|а(£) — га(()| > С|т — гС1 ;

то есть оценка (25) примет вид:

У Дг(*.С)||<й| < с I (|7_г>^1 < с„.

г |т | = 1

Последнее неравенство верно, так как (1 — г2)(2пг|т — г(|2)-1 — ядро Пуассона для круга. Таким образом, оценка 3) справедлива. I

3. Доказательство теорем 1 и 2

Перейдем к доказательству основных утверждений. Обозначая Ф+(г) = Ф+(ш(г)) при г £ Б+ и Ф-(г) = Ф-(^(г)) при г £ Б- условие () можно представить в виде:

гИто ||Ф+(гш-1(£)) — а(£)ф-(г"1^"1(£)) — /(^Ц^ = 0 • (26)

Функции Ф± по определению аналитичны соответственно в Б±, следовательно, обозначая

П+(г) = Ф+(гш-1(г)), г £ С+, П-(г) = Ф-(г-1^-1(г)), г £ С- , (27)

получим, что эти функции аналитичны в и удовлетворяют условию Гельдера вплоть до границы Г. Обозначим

П+(£) — а(£)П- (£) = /г(£) , t £ Г • (28)

При этом предельное соотношение (26) примет вид:

Ит ИЛ — /||с(г) = 0 • (29)

ГИ1-0

Рассмотрим классическую задачу Римана-Гильберта (28). Используя факторизацию (5) по формулам из [1] определим решение задачи (28). При к > 0 имеем

а"м = ^г/1|г^+5+МР--‘м' ^еС+' (30)

г

г

где Рг,к-1 = 0 при к = 0, Рг,к-1 — произвольный многочлен порядка к — 1 при к > 0. В случае к < 0 решение существует тогда и только тогда, когда выполняются условия

Л СО л

г

Б+(*)

Г^ = 0 , к = 0,..., —к — 1 • (32)

При этом решение определяется по формулам (30), (31), где Рг,к-1 = 0. Возвращаясь к функциям Ф±, получим

Ф+(гш-.Н) = I тл.+н, 3 е с+,

г

т / 1 ^ ^ Б-(г) [ /г (£) ^ Б-(г)

г

Зафиксируем г и устремим г к 1 — 0. Учитывая (29), а также то, что Ф+(гш 1(г)) ^ Ф+(^-1(г)) и Ф-(г-1^-1(г)) ^ Ф-(^-1(г)), получим

*>-(--» = ^1ЖЛ-+ №,(:) , 6 С+ ,

г

г

или, возвращаясь к исходным значениям Ф±, имеем

ф+м = ^г/#|г^+5+<^-м- ;£С+' (33)

г

г

Эти решения получены при к > 0. В случае к < 0 решение определяется по формулам (33), (34), где Рк-1 = 0, при условии, что граничные функции удовлетворяют условию:

/СО .к

г

Б + (*)

Ь <И = 0 , к = 0,..., |к| — 1 • (35)

Итак, мы определили вид решения задачи (4), если оно существует. Остается проверить, что решение, определяемое формулами (33), (34), удовлетворяет условию (4).

Подставим функции (33) и (34) в соотношение (4). Рассмотрим случай к < 0 (при к > 0 рассуждения аналогичны). Имеем

Б +(Ь)

Д(*) = Ф+(А+(Ь)) — а(Ь)Ф-(А- (Ь)) — / (Ь)

5+(А+(£)) I" /(ж) (1х

27гг5+(£) У 5+(ж) х — А+(£)

г

— ----------- . |----------—

(А- (Ь))к2пгБ (Ь) У Б + (Ь) х — Аг (Ь) Б + (Ь)

г

Функцию Р1(Ь) представим в виде

^1(Ь) = ^1,г (Ь) — 12,Г (Ь) + 3т (Ь) , (36)

где

т м _ £+(А+С0) - £+С0 Г /М ^

1,г 27гг5+(£) У 5+(х) х — А+(£) ’

г

г (+) = (Б (Лг (*)) _ ^ (*Л *К [ /М <&■ ГООА

\ ) 2тт'13~(£) ] 5+(х) х — А~(£)

г

и

ио = !+,'--------Ьт')*-^гт- <39)

2пг У 5 +(х) \х — А+(£) х — А-(£)/ 5 + (£)

г

Оценим слагаемые отдельно. Так как 5+ € С^\С+), то

|£+(А+(*)) — £+(*)| < С|А+(£) — £|й = С|ш(гш-1(;£)) — и(и-1(*))|* <

< Стах |ш'(г)||г — 1|й = 0(1 — г)й

геО+

при г ^ 1 — 0. Учитывая, что

/(х)

5 +(х) х — А+(£)

< /

5+

|^х|

С(Г)

|х — А+(£)|

< С| ^(1 — г)|

получим, что 11,г ^ 0 при г ^ 1 — 0. Аналогично, 12,г ^ 0 при г ^ 1 — 0. Для оценки третьего слагаемого заметим, что по лемме 2 ядро Нг (£,£) является аппроксимативной единицей, поэтому аналогично теореме о равномерной сходимости чезаровских средних ряда Фурье непрерывной на окружности функции ([8], гл. 2, стр. 34), получаем Р(£) ^ 0. Теоремы 1 и 2 доказаны.

4. Случай вектор-функций

В этом пункте рассмотрим задачу (4) в случае векторнозначных неизвестных функций. Так как рассуждения аналогичны, ограничимся случаем, когда область О единичный круг.

Пусть Б+ — единичный круг комплексной плоскости с границей Т и

Б- = С\(Б+иТ). Требуется определить вектор-функцию Ф, аналитическую в области Б+ У Б-, обращающуюся в нуль на бесконечности Ф(то) = 0. Предполагается, что функции Ф± — ограничения функции Ф на области соответственно на границе Т удовлетворяют соотношению:

гИто ||Ф+(г£) — а(£)Ф-(г-1£) — /(*)||ССГ) =0 , £ € Г . (40)

Предполагается, что заданная матрица а принадлежит классу Гельдера на Т, С(<5)(Т), 0 < 5 < 1 и det а(£) = 0 при £ € Т, вектор-функция / непрерывна на Т. При этих предположениях матрицу-функцию а можно представить в виде ([1]):

а(£) = ($+(£)) 1Л(£)5 (£) , Л(£) = diag(^K1 , ...,£Кп)

(41)

где Б± невырожденные аналитические матрицы функции в Б±, Б (то) = Е, Б± €

), — частные индексы матрицы С {] = 1,п). Предполагаем, что К\ > к-2 >

... > кп. Определим решение задачи (40),

гИто ||Ф+(г£) — (5+(£))-1Л(£)5-(£)Ф-(г-1£) — /(г)^ = 0

или

гИ?-0 ||5+(£)Ф+(г£) — л(£)5-(£)ф-(г-1£) — 5+(£)/(£)||с(т) = 0 • (42)

Обозначим 5+(£)Ф+ (г£) — Л(£)5-(£)Ф-(г-1£) = /г(£). Обозначим Ф+(г) = 5+(г)Ф+ (гг) и Ф-(г) = 5-(г)Ф-(г-1г). Так как функции Ф± аналитичны соответственно в Б±, то мы получаем классическую задачу о скачке для определения этих функций:

Ф+(£) — Л(£)Ф-(£) = дг(£) . (43)

Отметим, что из (42) следует, что вектор-функция дг ^ 5+/. Так как Л является диагональной матрицей, уравнение (42) распадается на п следующих уравнений:

Ф+к(£) — Ф-(£) — дгк(£) = 0 , к = 1,...п.

Здесь Ф± и дгк компоненты вектор-функций Ф± и дг соответственно. Решение последнего уравнения при Kj > 0 определяется по формулам:

= + (44) т

= 5^ / УГТ* + Л«-1«) • («)

т

При кк < 0 решение определяется по формулам (44), (45), где РГЛ-1 = 0, при условиях

дгк(^1& = 0 , I = 0,..., — кк — 1. (46)

т

При Kj = 0 условия (46) отсутствуют. Аналогично случаю одной функции, при г ^ 0, получим

}_ [' 9к

2пг У £ — г т

«’■‘ФП-) = + ^,-.(<) • («)

т

Здесь дк — к-я компонента вектор функции 5+/. Соответственно, условия (46) примут вид

J дк(£)£г^£ = 0 , I = 0,..., —кк — 1. (49)

т

Функции Ф± определяются полученными функциями Ф±, и подставляя их в (40) получаем, что определенные таким образом функции Ф± действительно являются решениями (40).

Таким образом, получаем результат, аналогичный классическому случаю функций из класса Гельдера (см. [2]).

Теорема 3. Пусть частные индексы матрицы а удовлетворяют соотношению

К > к2 > ... кр > 0 , 0 > Kp+i > ... > кп . (50)

Тогда соответствующая однородная задача (40) имеет K1 = к1 + ... + кр линейно независимых решений, которые определяются по формуле Ф± = S±P, где

P = (PK1-i,... PKp-i, 0,... 0)T полиномиальная вектор-функция. Неоднородная задача (40) имеет решение тогда и только тогда, когда выполняются К2 = |kp+i| + ... + |кп| линейно независимых условий (49)(при k = p + 1,..., n; l = 0,..., |к& | — 1). Общее решение задачи (40) определяется по формулам (47), (48).

Литература

1. Мусхелишвили Н.И. Сингулярные интегральные уравнения / М.: ОГИЗ, 1945. - 448 с.

2. Гахов Ф.Д. Краевые задачи / М.:Физматгиз, 1963. - 640 с.

3. Хведелидзе Б.В. О разрывной задаче Римана-Привалова для нескольких функций / Сообщения АН Груз.ССР. - 1956. - 17;№.10. - C.865-872.

4. Привалов И.И. Граничные свойства аналитических функций / М.: ГИТТЛ, 1950. - 338 с.

5. Айрапетян Г.М. Разрывная задача Римана-Привалова со смещением в классе L1 // Известия АН Армении, сер. математика. - 1990. - 25;№.1. - C.3-20.

6. Зорич В.А. Математический анализ, ч.2 / М.:Наука, 1984. - 640 с.

7. Голузин Г.М. Геометрическая теория функций комплексного переменного / М.:Наука. 1966. - 628 с.

8. Гофман К. Банаховы пространства аналитических функций /М.:ИЛ, 1975. - 312 с.

ON THE RIEMANN-HILBERT BOUNDARY VALUE PROBLEM IN THE SPACE OF CONTINUOUS FUNCTIONS

H.M. Hayrapetyan, V.A. Babayan

Yerevan State University,

Alex Manoogian St., 1, Yerevan, 0025, Armenia, e-mail: hhayrapet@gmail.com,

Southern Federal University,

Bolshaya Sadovaya St., 105/42, Rostov-on-Don, 344006, Russia, e-mail: bvazgen@gmail.com

Abstract. The Riemann-Hilbert boundary value problem in the space of continuous functions is investigated. The new formulation of the problem is introduced which allows to solve it when the boundary function is continuous. The conditions of the solvability of inhomogeneous problem and linearly independent solutions of the corresponding homogeneous problem are obtained in explicit form. The solution of the inhomogeneous problem is obtained in explicit form as well.

Key words: Riemann-Hilbert’s problem, approximate identity, boundary value problem, Cauchy’s type integral, continuous functions.