УДК 512.562
Г. Л. Луканкин, И. Г. Табакова
ОБ ОДНОЙ ПРОСТРАНСТВЕННОЙ ЗАДАЧЕ ЛИНЕЙНОГО СОПРЯЖЕНИЯ
Исследована задача линейного сопряжения голоморфных функций двух комплексных переменных для единичного шара. Показано, что поставленная задача существенно отличается от случая функции одной переменной.
Теория краевых задач для голоморфных функций возникла в трудах классиков математики Б. Римана, Д. Гильберта, А. Пуанкаре. Она была существенно продвинута работами Ф. Нетера, Т. Карлемана, Племела. Дальнейшее развитие этой теории в основном связано с именами российских математиков И.Н.Векуа[1], Ф.Д.Гахова [4], И.И.Привалова, И.И. Векуа, Г.Л. Луканкина [7, 8], С.Ю. Колягина.
Большой интерес к этим задачам объясняется тем, что их изучение, кроме определенного самостоятельного интереса, имеет важное значение для других разделов математики. К ним приводятся многие плоские задачи механики и математической физики. Сингулярные интегральные уравнения с ядрами Коши также тесно связаны с краевыми задачами для голоморфных функций.
В настоящей статье исследуется задача линейного сопряжения для единичного шара.
Новизна данной работы состоит в том, что задача линейного сопряжения поставлена и решена для голоморфных функций двух комплексных переменных. Краевое условие задачи задается на всей топологической (трехмерной) границе. Для решения задачи был использован метод И.Н. Векуа, который позволил свести задачу линейного сопряжения к двум задачам Дирихле в классе действительных частей голоморфных функций двух комплексных переменных. Показано, что эта задача существенно отличается от задачи для случая функции одной комплексной переменной.
Постановка и решение задачи линейного сопряжения. Рассматривается область О в пространстве С2 двух комплексных переменных т,г, и на ее топологической трехмерной границе дО задаются три вещественные непрерывные функции а, в, 7. Требуется отыскать функцию f (т, г) = и+гь, голоморфную внутри О, которая на границе дО удовлетворяла бы условию
Яе [А/| = аи + рь = 7, А = а + гв (на дБ). (1)
Покажем на примере единичного шара
Б = ) : И2 + И2 < 1} ,
что задача (1) по своему характеру существенно отличается от классического случая задачи для одной комплексной переменной.
Введем на трехмерной сфере
дБ = {(т, п) : |т|2 + |п|2 = 1} систему координат (<^, ф, 9), положив
т = еоэ9 в*, п = Й1П9вг'ф, 0 < < 2п, 0 < 9 <-. (2)
2
Внутренние точки параллелепипеда
П: 0 < < 2п, 0 < 9 < П
посредством формул (2) взаимно-однозначно отображаются на некоторое подмножество полной меры на единичной трехмерной сфере дБ.
Будем рассматриваемые ниже функции, заданные на сфере дБ, выражать как функции параметров ф, 9.
Как и в случае одного комплексного переменного, будем предполагать, что непрерывная функция Л = а + %в не обращается в нуль ни в одной точке сферы дБ. Тогда можно считать, что всюду на дБ |Л| = 1. Функция £ = Л осуществляет непрерывное отображение трехмерной сферы дБ в окружность, и поскольку группа п3 тривиальна, то функцию Л можно представить в виде Л = вш, где ш — однозначная и непрерывная на дБ функция.
Как было показано И.Н. Векуа [1], задача (1) в случае одной комплексной переменной эквивалентна последовательному решению двух задач Дирихле для гармонических функций. В рассматриваемом случае этот факт тоже имеет место, однако задача Дирихле ставится на этот раз в классе вещественных частей голоморфных функций двух комплексных переменных (такие функции называют плюригармони-ческими, а в случае двух действительных переменных — бигармони-ческими), непрерывных в замкнутой области Б + дБ.
В самом деле, предположим, что П (ад, г) = ш\ +%ш2 — голоморфная функция внутри единичного шара Б, удовлетворяющая условию
Яе П = ш (на границе дБ). (3)
Тогда условие (1) можно переписать в виде
Re [л/] = Re [е-гшf = Re je^+^e-"1 f = 7,
откуда следует, что для новой, голоморфной в этой же области, функции ^ = f ехр {—гП} достаточно решить еще одну задачу Дирихле
в классе бигармонических функций. После этого решение задачи (1) представляется формулой
Отсюда, в частности, следует, что однородная задача (1) (при 7 = 0) имеет над полем вещественных чисел одно линейное независимое решение f = г ехр {гП} .
Класс бигармонических функций в пространстве четырех вещественных переменных уже класса гармонических функций от тех же переменных. Поэтому, в отличие от задачи Дирихле для уравнения Лапласа, задача (3), вообще говоря, неразрешима.
Чтобы выяснить необходимые и достаточные условия разрешимости задачи вида (3), воспользуемся разложением П (т,г) в степенной ряд и разложением функции ш в ряд Фурье.
Предположим, что при каждом фиксированном в функцию ш можно разложить в равномерно сходящийся ряд Фурье:
ReF = еШ17 = 71 (на dD)
(4)
/ = F exp {Ш} .
те
w(^,0,0) = ^^ Amn amn(0)cosm^cosn0+emn(0)sinm^sinn0+
+ 7mn(0)sin m^ cos n0 + £mn (0) sin n0 cos m^ , (5)
где
1/4 при m = n = 0,
1/2 при m = 0,n > 0 или n = 0,m > 0, 1 при m > 0, n > 0,
1
2п 2п
П2
1
amn(0) = — / ш(р,ф,0) cos mp cos иф0,рё,ф,
0 0
2п 2п
П2
1
ßmn(O) = —2 ш(р,ф, 0) sin mp sin ифйуйф,
00 2п 2п
П2
1
Ymri (0) = —2 ш(р,ф,0)sin mp cos иф0,рё,ф,
00 2п 2п
П2
3mn(0) = —2 ш(р,ф, 0) sinиф cos трйрйф.
00
Для этого достаточными условиями являются, например, следующие: функции ш, ш^, Шф — однозначны и непрерывны на сфере, а смешанная производная ш^ф (шу,^) существует (в обобщенном смысле) и равномерна по 9:
2п 2п
|2 ¿рё,ф < Ж>.
(7)
00
Выражая коэффициенты Фурье ш через коэффициенты Фурье функции ш^ф путем интегрирования по частям формул (6) и учитывая соотношение (7), получим (равномерно по 9)
те
^ т2и2(\атп(9)\2 + |втп(9)|2 + |7тп(9)|2 + |£тп(9)|2) < го. (7')
т,п=0
Предположим теперь, что задача (3) имеет решение П (ы, г). Функцию П (ы, г), голоморфную в области Б, можно разложить в двойной степенной ряд
m,n=0
fi(w,z)= £ A/(m + U + 1)!CmnWmZn =
min!
V Л (m + U + 1)! CmnRm+n cosm 0 sinn 0 e¿(8) m! и!
m,n=0
где w = R cos 0 егф, z = R sin 9 é^, 0 < R < 1, а числа Cmn = amn-ib. во всяком случае удовлетворяют условию
те
^ ^ 1 Cmn \
<.
m,n=0
Отсюда получаем
Re^(w, z) = ^^ [amn cos(m^ + n') + bmn sin(m^ + n')] x
m,n=0
X
(m + n + 1)! Rm+n
m!n!
Rm+n cosm 0 sinn 0. (9)
Сравнивая теперь разложения (5) и (9) на границе dD, имеем
Amn (0) = -втп (0) , Ymn (0) = ¿mn (0) , ГДе m, n =1, 2, . . . , (10)
1
1
1
000 = 7«00, Vm + 1ßm,0 cosm 0=-0^,0, Vm+1bm,0 cosm 0=-Ym,0,
4
2
Vn + 1ß0,n sinn 0 = 2«0,n, Vn + 1b0,n sinn 0 = 2¿0,n,
(m + n +1)! m! n!
(m + n + 1)!.
amn cos 0 sin 0 amn ^mn,
m! n!
bmn cos 0 sin 0 Ymn ¿mn.
(11)
Умножая последние два равенства из соотношений (11) на С08т+1 в 81Пп+1 в, интегрируя от 0 до п/2 и учитывая, что
cos2m+1 0 sin2n+1 0d0 = ^
1 m! n!
2 (m + n + 1)!'
получим
amn 2
(m + n + 1)! m! n!
amn(0) cosm+1 0 sinn+1 0d0,
amn = -^/(m + n +1)V ^mn(0)cosm+1 0 sinn+1 0 d0,
m! n!
0
b =2
mn
b =2
mn
(m + n +1)!
m! n!
(m + n +1)! m! n!
Ymn(0) cosm+1 0 sinn+1 0d0,
¿mn(0)cosm+1 0 sinn+1 0d0.
(12)
2
2
2
2
2
Аналогично найдем
п/2
а°° = ö ao,o(#)cos в sin QdQ,
2
п/2
am,0 = /m+l ат,0(в) cosm+1(e) sin в de,
о
п/2
bm,o = /m+1 Ym,o (e)cosm+1 в sin в de,
0
n/2
a0,n = Vn + 1 а0,п(в) cos в sinn+1 в de,
o
n/2
(12')
b0,n = /n+1 ¿0,n (в) cos в sinn+1 вdв.
Учитывая соотношения (10), (11), (12), (12'), найдем, что для разрешимости задачи (3) необходимо и достаточно выполнение следующих условий:
1
п/2
~а0,0 = а0,0(в^т в cos вdв,
0
п/2
1 amn = (m + n + 1)! cosm в sinn в I атп(в) cosm+1 в sinn+1 в dB,
2
m!n!
0
n/2
1 втп = (m + П I 1)! COSm в Sin" в f вшп(9) COSm+1 в sin"+1 в dB,
2 m!n! j
0
n/2
1 Ymn = (m + П + 1)! COSm в Sin" в f Ymn(в) COS™+1 в sin"+1 в dB,
2 m!n! j
0
n/2
1 (m + n + 1)! /"
-bmn = ( + , + )! COSm в Sinn в 8тп(в) COSm+1 в Sinn+1 в dв.
2 m!n! j
0
(13)
Равенства (10) с учетом соотношений (6) и (13) можно переписать в виде
f 2п 2п
ш(ф, ф, в) COSm+1 в Sinn+1 вei(m^-n^)dpdфdв = 0. (14)
ООО
Заметим, что условия (13) также могут быть записаны в виде условий (14), выражающих ортогональность функции и некоторому бесконечному (счетному) множеству элементарных функций. С этой целью вместо равенств функций, присутствующих в формулах (13), следует записать равенства их коэффициентов Фурье относительно произвольной тригонометрической системы функций, полной на сегменте [0, п/2]. Выбирая в качестве такой системы функции {соэ4кв, зт4кв}, запишем условия (13) в соответствующих обозначениях в виде
11 /ш^^вК^^Т^(в)^^в = 0,
0 0 0
| 2п 2п
ш^^ву^^т^ (в)^#^в = о, (15)
000
где
Т^ nk = cos 4k0 - 2(m +n+1)! Amnk cosm+1 0 sinn+1 0,
Tmnk = sin4k0 - 2
m! n!
(m + n + 1)!
m! n!
Bmnk cosm+1 0 sinn+1 0,
Атпк, Втпк — коэффициенты Фурье функции соэт+1 в этп+1 в. Подставляя найденные коэффициенты в ряд (3) и учитывая, что
те
£
m,n=0
(m + n +1)! m n
1
m! n!
(1 - x - y)2
(16)
при условии
|x|2 + |y|2 < 1,
получим
n(w, z) =
n/2 2n 2n
1
= I I /ш(^,,0,,0')cos 0' sin 0'
^ ^ (m + n + 1)! 1 + 2 --——- x
0 0 0
m,n=0
m! n!
x (д cos 0' cos 0 e^-^)m(R sin0' sin0 ei(^'))n
d0 d^ d' — ib0 0 =
п/2 2п 2п
2п2
0 0 0
X
(1 - R cos в' cos - R sin 0' sin в e^-^)2
- 1
X
х cos в' sin - ibo,o. (17)
Интегральное представление (17) перепишем в виде
q(w, z)
(2пг)2
d cos2 в J w(t, n) Д|т |,И
(1 — wt - zn)2
dT dn — Л—+«во, t n
(17')
где ш(т, n) = ш(ф, 0,0), b0,0 = —во = const.
Эта формула представляет собой аналог интеграла Шварца.
Покажем теперь достаточность условий (14), (15). Для этого нам нужно доказать, что интеграл (17') или, что то же самое, ряд (16) дает решение краевой задачи (3), то есть функция Q(w, z) голоморфна внутри шара, непрерывна в замкнутом шаре и удовлетворяет краевому условию ReQ = ш на границе dD. Голоморфность функции Q(w,z) очевидна.
Ряд (16) представляет собой непрерывную функцию в замкнутой области D + dD. Действительно, оценивая остаток ряда (16), получим
1
2
2
1
2
1
(w,z)| < V (m + n +1)! Rm+n cosm в sinn вх m!n!
m,n=N
n/2
_,m+1 £){„;„
X у | («mn - втп) - i(Ymn + ¿mn) | cosm+1 в(sin в)П+1 dв < 0
У (m + П + 1)!R2(m+n) cos2m в sin2n в У 4m2n2х
z—/ m2n2 m!n! ^—'
< > 4.....-^R2(m+n) cos2m в sin2n в > 4m2n2'
m2n2 m!n!
m,n=N m,n=N
n/2
f f\ |2 , I |2ч л • flj/)(m + П + 1)!
X / (|«mn| + | Ymn | )cos в sin вdв-—-X
j m!n!
0
n/2
х^ (cos в)2m+1(sin в)2n+1dв < 0
^ - R2(m+n) (m + и +1)! / m \ m ( и \ n < ^ m2n2 m!n! \m + и J \m + и J
m,n+N 4 7 4 7
oo
n/2
x ^^ 2m2u2 (|amn|2 + |ßmn|2) cos 0 sin 0d0,
m,n=N 0
mn
= max cos2m 0 sin2n 0.
где . , , , , ,
m + и J \m + и J 0<0<n/2
В силу условий (7')
п/2
тете л
У 2m2n2 (\amn\2 + \втП\2) cos 9 sin 9d9 < M = const < го. Далее, пользуясь формулой Стирлинга, получим
— m + и + 1 T,2(m+n) mmur
■х
|Пп (w,z)|< М £ R2(m+n) * ( m+ "
m2u2 (m + u)m+n
m,n=N
' i \ m+n Q-,
m + u\ 10/Q1,
/ i \ • г—-r ( m + и\
^J2n(m + u) ( —e— )
e 12(m+n)
X _¡m\m ¡и\n _Q3 <
'mu[—J J e 12m e i2n
< Mi V m + J1 + \ m±^R2(m+n) <
m2u2 V mu
m,n=N
< Mi У m + 2u + 1 R2(m+n) <
m2u2 vm + и
m,n=N
— R2(m+n)
< 2Mi y (vm+vu+ 1) —^ =
z—/ m2u2
m,n=N
2m Vi 1 i 1 i 1 )
R2(m+n)
1 1 1
т3/2п2 т2п3/2 т2п2 /
Так как последняя сумма представляет собой остаток ряда вида
д2(ш+п)
£
meup
m,n=N
где I > 1, р > 1, который равномерно и абсолютно сходится при Я < 1, то функция П^(у,г) по абсолютной величине может быть сделана меньше любого наперед заданного положительного числа при достаточно большом N.
Далее, переходя к пределу в ряде (16) при Я ^ 1 и учитывая формулы (14), (15), получим, что Яе П = ш на границе дБ.
Теорема 1. Для разрешимости задачи Дирихле в классе бигармони-ческих функций внутри единичного шара Б = {(у, г) : |у|2 + |г|2 < 1} по краевому условию (3), заданному на всей топологической трехмерной границе дD, необходимо и достаточно, чтобы правая часть ш условия (3) удовлетворяла условиям (14), (15) (или (10), (13)).
Условия теоремы 1 означают ортогональность правой части ш граничного соотношения (3) бесконечному (счетному) числу элементарных функций. Пользуясь терминологией, установившейся в теории краевых задач, мы можем сказать, что рассматриваемая задача Дирихле имеет дефективные числа £ = 0, £' = го, индекс х = —го.
Заметим, что от предположений гладкости функции ш легко избавиться. Действительно, равномерно приближая непрерывную функцию ш на границе дБ некоторой последовательностью функций с указанными свойствами гладкости и используя принцип максимума модуля для функции П (у, г), получим, что интеграл (17') дает решение задачи (3), если функция ш только непрерывна и удовлетворяет условиям (14), (15).
Аналогично вторая задача Дирихле (4) разрешима тогда и только тогда, когда функция 71 = 7 вШ1 удовлетворяет условиям
п/2 2п 2п
///
Y (<р, ф, в)еШ1(^-0) (cos в)т+1 (sin в)п+1 dßdipd-ф = 0,
000
п/2 2п 2п
///
jewiei(m^±n^)T'mnk (в) dedpd-ф = 0,
(18)
0 0 0
п/2 2п 2п
///
jewiei(m^±n^)T'r'nnk (в) ded= 0,
0 0 0
причем решение ее представлено в виде
F (w,z) =
4n2
n/2
f d cos2 0 /71 -2-2 - 1 — Л — + гв,
J J (1 - wf - zn)2 т n
О Д|г|,|п|
(19)
где F (w, z) = f exp {—гП}, y1 = Ye^1, = Jm П.
Учитывая ранее сказанное, результаты анализа задач (3), (4), получаем теорему.
Теорема 2. Пусть функция ш из представления Л = егш удовлетворяет условиям (14) и (15). Тогда, сформулированная однородная задача линейного сопряжения (1) (при y = 0) имеет одно линейно независимое (над полем вещественных чисел) решение, которое может быть представлено по формуле
f = i exp {Ш} .
(20)
Неоднородная задача имеет решение тогда и только тогда, когда правая часть краевого условия ортогональна счетному числу элементарных функций и это решение представимо в виде
f = (21)
где функции П и F представляются соответственно по формулам (17) и (19). Число £ < 1, индекс х = —го.
Таким образом, на примере единичного шара мы установили, что рассматриваемая задача линейного сопряжения в пространстве С2 двух комплексных переменных имеет бесконечный индекс. Этот факт является следствием того, что система Коши-Римана в рассматриваемом случае — переопределенная. Поэтому задание краевых условий на всей топологической границе и могло привести к бесконечному индексу.
СПИСОК ЛИТЕРАТУРЫ
1. В е к у а И. Н. Об одной линейной граничной задаче Римана / Труды Тбилисск. матем. ин-та АН ГССР. - 1942. - Т. 11, вып. 2. - С. 109-139.
2. В е к у а И. Н. Обобщенные аналитические функции. - М.: Наука, 1998. -265 с.
3.Виноградова И. Н. О решении некоторых краевых задач / Сб. трудов "Теория функций, функциональный анализ и их приложения" - М.: Изд-во МОПИ им. Н.К. Крупской. - 1973. - Вып. 15. - С. 198-216.
4. В л а д и м и р о в В. С. Методы теории функций многих комплексных переменных. - М.: Наука, 1964. - 365 с.
5. Г а х о в Ф. Д. Краевые задачи. - М.: Физматгиз, 1963. - 543 с.
6. Д з е б и с о в Х. П. Интегральные представления аналитических функций в неограниченных областях с определяющими многообразиями // Владикавказ. мат. журн. - 2003. - Т. 5, вып. 2. - С. 10-17.
7. Л а т ы ш е в А. В., Л у к а н к и н Г. Л. Краевые задачи теории функций комплексного переменного. - М.: МГОУ, 2003. - 102 с.
8. Луканкин Г. Л. О некоторых краевых задачах для функций двух комплексных переменных // Ученые записки МОПИ. - М.: Изд-во МОПИ им. Н.К. Крупской. - 1970. - Т. 269, вып. 14. - С. 23-48.
9. Луканкин Г. Л. Пространственная задача линейного сопряжения // Вестник МАН ВШ. - 1999. - № 4, вып. 6. - С. 82-89.
10. Н е л а е в А. В., Якшина А. С. О неоднородной краевой задаче Римана для функций многих комплексных переменных, голоморфных в кратнокруго-вых областях // Сб. науч. трудов "Математика. Компьютер". - M.: Прогресс-Традиция. - 2001. - Вып. 8. - Ч. 2. - С. 415-423.
11. Фукс Б. А. Введение в теорию аналитических функций многих комплексных переменных. - М.: Физматгиз, 1962. - 472 с.
12. Ш а б а т Б. В. Введение в комплексный анализ. Ч. 2. - М.: Наука, 1976. -263 с.
13. R i z z a G. B. Dirichlet problem for n-harmonic functions an related geometrical properties / Math. Ann. - 1955. - V. 130, № 3. - P. 99-107.
Статья поступила в редакцию 30.11.2005
Геннадий Лаврович Луканкин родился в 1937 г., окончил МОПИ им. Н.К. Крупской в 1959 г. Канд. физ.-мат. наук, д-р пед. наук, проф., чл.-кор. РАО, зав. кафедрой мат. анализа МГОУ. Автор более 300 научных работ в области комплексного анализа и методики преподавания математики, а также учебников для средней и высшей школ.
G.L. Lukankin (b. 1937) graduated from the Moscow Regional Pedagogical Institute n.a.N.K. Krupskaya in 1959. Ph. D. (Phys.-Math.), D. Sc. (Pedagogy), professor, corresponding member of the Russian Academy of Education, head of the mathematical analysis department of the Moscow State Open University. Author of more than 300 publications in the field of analysis of complex-valued variables and methodology of teaching mathematics, including textbooks for secondary and higher schools.
Ирина Геннадьевна Табакова родилась в 1982 г., окончила МПГУ в 2004 г. Аспирантка кафедры "Математический анализ" МГОУ. Автор 4 научных работ в области комплексного анализа.
I.G. Tabakova (b. 1982) graduated from the Moscow State Pedagogical University in 2004. Post-graduate of "Mathematical Analysis" department of the Moscow State Open University. Author of 3 publications in the field of analysis of complex-valued variables.