Содержание к диссертации
Введение 3
0. Определения и предварительные результаты 14
Глава I. Проблемы модуля для двух семейств кривых, заданных в круге.
1. Экстремальные задачи p;(di^z,R) ,/=*.2 » 17
2. Экстремальные задачи G>j(*t>*%,kt <'*i) ,/«u, 22
3. Экстремальные задачи Prfai.tfa, *z, f) , j*^2- » 29
4. Некоторые свойства экстремальных конфигураций задач
Pj и В J 36 .
Глава II. Теоремы покрытия и искажения для некоторых классов функций, заданных в круге и кольце.
1. Теорема покрытия в классе У<4?) 51
2. Оценки модуля функции класса 8Ы>%) 55
3. Оценки модуля производной в классе ?(d) 73
Глава Ш. Теоремы покрытия для функций Бибербаха-Эйлен-берга, заданных в кольце.
1. Оценки модуля функции класса R(f,^) 80
2. О покрытии бтрезков в классе (?Д) 103
3. Оценки коэффициентов почти ограниченных функций. . . . 106
ЛИТЕРАТУРА III
Введение к работе
Геометрическая теория функций получила интенсивное развитие во многом благодаря различным по своей природе методам исследования. Таким как метод площадей, параметрический, вариационный, экстремальных метрик, симметризации и некоторым другим. Решение многих трудных экстремальных задач геометрической теории функций стало возможным в результате сочетания наиболее общих и развитых методов.
В настоящей работе методика исследования базируется на применении метода экстремальных метрик в форме общей проблемы модуля для нескольких семейств кривых на плоскости. При решении основных задач метод экстремальных метрик применяется в сочетании с методом симметризации.
Начало развитию метода экстремальных метрик положили исследования Гретша. Основываясь на результатах Гретша, Тейхмюллер установил тесную связь метода экстремальных метрик с дифференциальной геометрией и впервые указал на ту важную роль, которую играют квадратичные дифференциалы. Так в ряде работ Тейхмюллер высказал принцип, состоящий в утверждении, что решение каждой экстремальной задачи связано с некоторым квадратичным дифференциалом. Именно, если в такой задаче предполагается, что фиксированна некоторая точка и нет других ограничений, то этот дифференциал будет иметь в этой точке простой полюс. Если дополнительно требуется, чтобы функция, рассматриваемая в задаче, имела в этой точке фиксированные значения /г первых производных, то в этой точке квадратичный дифференциал будет иметь полюс порядка п-И. . Однако Тейхмюллер не доказал никакого общего результата, реализующего этот принцип. Конкретное выражение принципа Тейхмюллера для широкого круга экстре-
шальных задач представляет собой "общая теорема о коэффициентах", полученная Дженкинсом [12] . Это один из самых существенных результатов метода экстремальных метрик. Как следствие из "общей теоремы о коэффициентах" Дженкинс и многие другие авторы получили большое количество новых результатов и усилили известные ранее. Однако, имеется широкий круг задач, для которых либо "общая теорема о коэффициентах" неприменима,, либо ее утверждение малосодержательно. Так рассматриваются экстремальные задачи, для которых ассоциированный квадратичный дифференциал не имеет, как это требуется в формулировке "общей теоремы о коэффициентах", ни одного полюса порядка выше первого. В этом случае добавления к "общей теореме о коэффициентах", а также теорема единственности, получены П.М.Тамразовым [30] , Гзі] . Используя эти результаты, а также теорию квадратичных дифференциалов и "общую теорему о коэффициентах" , П.М.Тамразовым [ЗО] , [зі] , [32] получено решение некоторых экстремальных задач теории конформного отображения с полным анализом множества всех экстремальных отображений.
Большое число экстремальных задач сводится к решению проблемы модуля для семейств кривых. В работах .Альфорса и Альфорса и Бейр-линга был введен конформный инвариант, названный экстремальной длиной семейства кривых. Дженкинс [48] впервые доказал существование решения общей проблемы модуля для нескольких семейств кривых на плоскости, а затем и на римановой поверхности ГбО] . Г.В.Кузьминой [is] получено решение экстремально-метрической проблемы для нескольких семейств кривых на плоскости или в односвязной области, дополняющее соответствующий результат Дженкинса [48] . Г.В.Кузьминой [18] доказано, что общая проблема модуля для нескольких се-мейств кривых эквивалентна экстремальной задаче о разбиении плос-
кости или односвязной области на конечное число двусвязных и од-носвязных областей определенного типа. Вопрос о единственности экстремальной метрики в общей проблеме модуля полностью решен П.М.Тамразовым [29] . Решение указанной экстремально-метрической проблемы так же является конкретным выражением принципа Тейхмюл-лера. Б настоящей работе метод экстремальных метрик используется в форме экстремальной задачи о разбиении плоскости или круга на конечное число двусвязных и односвязных областей, которая эквивалентна проблеме модуля Дженкинса-Кузьминой. Общую постановку указанной экстремальной задачи мы приведем ниже.
Важную роль в геометрической теории функций играет метод симметризации. Начало систематическому применению симметризации в теории функций положили работы Пойа и Сеге [27] , Хеймана [зз] , Дженкинса [l2j , [45J . Ими применялись симметризации относительно луча и прямой. Другие виды симметризации использованы в работах Сеге [58] , Ахаронова и Кирвана [34] , Маркуса 54] , [55] , И.П.Митюка [25] . Обобщая принцип симметризации для круга 33 , И.П.Митюк [23J , [24распространил принцип симметризации на классы регулярных функций, заданных в кольце и в произвольной много связной области.
Одним из важных направлений теории конформных отображений является изучение пар функций, отображающих канонические области на взаимно неналегающие. Такие классы пар функций удобнее рассматривать вводя соответствующие классы функций, заданных в круге или кольце, удовлетворяющих некоторому геометрическому или метрическому условию. Это известные классы Бибербаха- Эйленберга [38] , [39] Гельфера [ю] , Дженкинса [і2] , іуцмана [aq] . Перечисленные классы рассматривались для функций, заданных в круге. Власе функций Бибербаха-Эйленберга, заданных в кольце, рассмотрен в работах
[2] , fi8] , fl9] , M , f 57 , 161 . Гиперболический аналог класса Дженкинса рассмотрен в [6 ] . При исследовании указанных классов особенно эффективным оказался метод экстремальных метрик, применяемый в сочетании с методом симметризации. Систематически используя этот прием, Дженкинс решил многие экстремальные задачи. Так им получено решение задачи Гронуола /49] , а так же качественное решение задач о покрытии круга и о максимуме и минимуме модуля функции на окружности в классе функций Бибербаха-Эйленберга, заданных в круге f45] , f46] , /47] . Указанный прием применен Г.В.Кузьминой
[18] в экстремальных задачах на гиперболической плоскости. Для функций Бибербаха-Эйленберга, заданных в кольце, теорему покрытия кольца доказал А.К.Бахтин [2] . Г.Б.Кузьмина /187 получила окончательные результаты в задачах о покрытии для функций Бибербаха-Эйленберга, заданных в круге и кольце. Используя специальную проблему модуля для одного семейства кривых на плоскости и в круге, * Г.В.Кузьмина fl9] нашла область Кебе в классах Бибербаха-Эйленберга.
С помощью своей "общей теоремы о коэффициентах" Дженкинс 112"] исследовал специальный класс однолистных регулярных функций, который непосредственно связан с классом пар функций, отображающих круг на взаимно неналегающие области. Кганау[5і] в этом классе и тем же методом получил теорему покрытия и точные оценки модуля функции.
При решении указанных экстремальных задач и многих других можно использовать решение экстремальной задачи о разбиении плоскости или односвязной области на конечное число двусвязных и одно-связных областей. В общей постановке эта задача решена в f18 7 Следуя /18 ] , введем указанную экстремальную задачу.
Пусть S - вся замкнутая плоскость <С или же одно-
7 связная область на С гиперболического типа. Пусть на S отмечены точки fli.,...,aK и &,...,-&. » а на границе 5у . если S С , - точки CWi,...,3^^. Предполагается, что хотя бы одно из этих множеств не пусто. Пусть *' получается из о удалением первых двух из этих множеств. На ** рассмотрим гомотипи-ческие классы трех типов. К первому типу отнесем классы замкнутых жордановых кривых, отделяющих некоторые из отмеченных точек на о от остальных и от границы о и не гомотопных на S нулю; ко второму типу - классы замкнутых жордановых кривых на jS7 , от-делящих одну из точек /х, ...,-6т от остальных отмеченных на точек и от границы S . Если S * С , то к третьему типу относятся классы дуг на & , соединяющих граничные элементы S и разделяющих некоторые из точек Яи«,..., Я'и.*иі , если последние имеются.
Под свободным семейством гомотопических классов кривых на S понимаем семейство гомотопических классов Hi , г =*,.,., L+^+4 , где Hi , с-1,...,^ , - классы первого типа, Hj+ ,*1>».№, -классы второго типа и Hi+***[> ,/>*i,-. 4- , - классы третьего типа, удовлетворяющие следующим условиям: І) все Ні , і- і>..*> } + v**различны, 2) существуют кривые щЄ пі на лЬ , попарно не имеющие общих точек.
Под допустимым семейством <*J областей, ассоциированных с семейством гомотопических классов Hi , c^ii--jj-*t*4"i , понимаем семейство взаимно неналегакщих областей *Эг на *'С{"&,..., -Ли і , каждая из которых ассоциированна только с одним из классов Hi
Пусть о<і, ..., с*,-+^^4 - положительные числа. Через
hgi («і,-.-,^-^+1) обозначим задачу об отыскании допустимого семейства областей Ю , реализующего максимум суммы
2Z <*: w (). Через m(>c) обозначаем модуль области <>i , ассоциированный с классом Hi , это, соответственно, модуль дву-связной области &L для семейства кривых, разделяющих ее граничные компоненты; приведенный модуль односвязной области )с-относительно точки 4с ; модуль четырехугольника *2)с' для семейства дуг, соединяющих его противоположные стороны, лежащие на границе
Решение экстремальной задачи rg (^1,..^^^+4) в случае, например, S =У. дается в теореме 0.2 из [18] . Существует единственное допустимое семейство областей
< -1 «2)i/._. , реализующее максимум суммы ^__ оі^ипС&і)
U &t ~ZL . При этом области «2)с- являются кольцевыми и круговыми областями для квадратичного дифференциала
Г '" '" . (0.1)
где Pfe) - полином вида Pfyz-B ї](г'^)(1'^^ ' I /^-^/0 В>о , \Є»\4.І , /ф,/»1 , 2ЛЛ+Л4 4 2ь.-ті4їн,-ї . Дифференциал (0.1) будем называть ассоциированным с задачей FL (<*4> ....оЛчаи+4) Этот результат положен в основу метода, применяемого в данной работе.
Переходя к изложению основных результатов диссертации, отметим, что нумерация лемм, теорем, следствий соответствует принятой в тексте диссертации.
В главе I в I, 2, 3 рассмотрены три типа экстремальных задач о разбиении круга на пары областей. Формулируются решения этих экстремальных задач, конкретизирущие, указанный выше, общий ре-
зультат. Структура каждого из первых трех параграфов следующая. Рассматриваются экстремальные задачи в двух семействах пар областей, определенных одним и тем же набором отмеченных точек tfj.,...,(2и, и -^1,...,-6^ , но разными гомотопическими классами. Для первых экстремальных задач формулируются теоремы I.I, 1.2, 1.3 о их решении. Для вторых экстремальных задач устанавливается связь с первыми, это леммы I.I, 1.4, 1.7. Указанная связь позволяет получить решение вторых экстремальных задач. Далее для каждой экстремальной задачи находится множество значений параметров o(L , иг при которых экстремальные области <&L > 4D* не вырождаются. В 1 и 2 получены утверждения о монотонности функции
килу |^/^и( SX) + C^ (&z.)J при изменении одной отмеченной точки (Хк . Отметим, что из решения, рассмотренных в I, 2, 3, экстремальных задач следует решение задачи о множестве значений системы конформных инвариантов {ы (&)х) ^ип (<&*)} в соответствующих семействах пар областей.
Важное место во всей работе занимает 4 главы I. В нем дока-зываются некоторые свойства экстремальных конфигураций задач, рассмотренных в 1 и 2. Основные результаты 4 - теоремы 1.4 и 1.5, которые позволяют в поел едущих главах получить полное решение, рассмотренных там, экстремальных задач. Доказательству теорем 1.4, 1.5 предшествуют несколько лемм. Ключевым моментом доказательства являются утверждения лемм I.II и 1.12. Эти леммы дают определенную геометрическую характеристику экстремальных конфигураций задач параграфов I и 2. Для их доказательства используется прием основанный на изучении множества точек касания двух квадратичных дифференциалов, связанных с рассматриваемой экстремальной задачей. . Результаты главы I дают метод для исследования классов однолистных и регулярных функций, которые рассмотрены в главе II и
главе III.
В главе II изучаются следующие классы функций. Через обозначим класс однолистных и регулярных в кольце
К(i,i) ={z;j><|2|
Сар [4 (K(t ,L)))^d , сі>Л . Здесь cap Є - логарифмическая емкость компакта Г . Через jSYcO обозначим класс однолистных и регулярных в круге Zc = [2sl2l^ij функций M/^-/fe) = ^2-f-<яггг+... , удовлетворяющих условию: Сар
Б 1 главы II решена задача о минимуме расстояния внешней границы образа кольца /\ (%,1) при отображении любой функцией из класса /S (a,f) до начала координат. Эта задача решается в теореме 2.1. В ней приводится аналитическое выражение для экстремальной функции в терминах эллиптических функций. Экстремальная в этой задаче функция 14/=^(2,^,%) конформно и однолистно отображает кольцо K(f,i) па область кольцевую для квадратичного дифференциала
Q<w)dw = - w4w-RXw-t>R*) d" (0.2)
Простой нуль р и полюс R дифференциала (0.2) определяются специальной системой уравнений, причем R и есть искомое рассто-
яние.
В 2 найдены men уп(ч,4) и т<\х/Ч (>tj) в классе $Ы*?) ,
где toCt.f)* ^tt(*)\ , М&4) = ^1^ш^ , f*fc
Теоремы 2.2 и 2.3 дают решение задач об отыскании шеи ні^(/\ и уу\<\* lAce, ) в классе tfctf). Для каждого ъ , ?***х , построены экстремальные функции * (г, о/,?) и ( fe,c(f J ,' отображаю-
щие кольцо Kif.O на области допустимые относительно квадратичного дифференциала (0.2), нуль р и полюс R этого дифференциала находятся из определенной системы уравнений. Экстремальные области этих задач получаются из экстремальных областей задачи, рассмотренной в 1 главы I.
В 3 главы II получены точные оценки \4'te)\ в зависимости от
значения в классе Scd) . При этом использована задача об
экстремальном разбиении плоскости на две односвязные области, которая эквивалентна известной задаче о максимуме произведения сте-пеней конформных радиусов двух неналегащих областей, не содержащих фиксированную точку. Решение такой задачи впервые было получено Л.И.Колбиной fl4] . Построено семейство экстремальных функций, отображающих круг UL на области допустимые относительно квадра-тичного дифференциала QMcl^2= -(t*/~f>)(us-R) и/'Ы^ 2 .
В главе III рассмотрены экстремальные задачи в классах Бибер-
баха-эйленберга. Бибербахом [38] и Эйленбергом/39] введен класс
регулярных в круге U функций bs~- ^(г) = ^г+а2г2+..., удовлетворя
ющих условию: /^і)'+^2г)^і для всех 2Х ,2г из крута U
Такой класс обозначают через R . А.К.Бахтиным [2] и Г.В.Кузьми
ной /18] , /~19] рассмотрен класс Бибербаха-Эйленберга в кольце.
Через R($;h) обозначим класс однолистных и регулярных в кольце
K(f,i) функций и/= , ПереВОДЯЩИХ ОКРУЖНОСТЬ /2:1= f В
M=Af , о*?гі, o
для всех EL , Вг из кольца /С??, i) .
В 1 главы III найдены значения и*Ы и*(ъ,) и ы*-х M(*,t) в классе R(
12
3.2 дают решения задач о ы^'и. №\(ч,+) и и^лх в классе
R Г?,Л) . Найдены экстремальные функции w= ^a(Z,A,f) и vi/ = ^Cz,X,f), f
*_ <>[" JT (z,A,f)] конформно и однолистно отображают кольцо KifiO на двусвязные области допустимые относительно квадратичного дифференциала
где ?=$M =к*»[ж K(kV&}(-<*>), * ? j f к удовлетворяет уравнению -^ Af=-^К&г)[К(«г)]'1, K(") - полный эллиптический интеграл первого рода, йнСЫ,*)- эллиптическая функция Якоби,
р , і и. - решение специальной системы уравнений. Из теорем 3.1 и 3.2 получено следствие 3.1, в котором находятся точные радиусы кругового кольца 4\ ff ,К) < |vtW
В 2 главы III рассмотрен класс /? (f ,А) регулярных функций Бибербаха-Эйленберга, заданных в кольце. С помощью радиально-ус-редняющей симметризации и принципа симметризации для кольца [23] получена теорема 3.3 о покрытии образом кольца К(?Л) при отображении функциями класса R(f^) радиальных отрезков, выходящих из начала координат.
В 3 главы III рассмотрен класс почти ограниченных функций /40] , [56] . Этот класс обобщает класс Бибербаха-Эйленберга и
тесно связанный с ним, класс Гельфера [ю] . Используя симметриза-ционный результат о поведении гармонической меры при круговой сим-
метризации, получены асимптотические оценки тейлоровских коэффициентов почти ограниченных функций, улучшающие аналогичный результат из [ 56] .
Перечислим коротко основные положения диссертации, вынесенные на защиту.
1. Метрические свойства экстремальных конфигураций задач
Pj,(^1,^2,^) и bj(^,<*z,K,cH.) , у = 1,2 , - теоремы 1.4, 1.5.
Теоремы покрытия в классе (d, $) - теоремы 2.1, 2.2, 2.3.
Оценки модуля производной в классе оС^)- теорема 2.4.
Решение задачи о максимуме и минимуме модуля функции на окружности в классе функций Бибербаха-Эйленберга, заданных в кольце-теоремы 3.1, 3.2.
Оценки тейлоровских коэффициентов почти ограниченных функций, заданных в круге - теорема 3.4.'
Основные результаты диссертации опубликованы в работах [4] - [8] . и докладывались на Донецких коллоквиумах по теории квазиконформных отображений и ее обобщениям в 1980 и 1982 годах, на Кубанских школах-конференциях по геометрической теории функций 1979, 1981, 1984 годов, а так же на семинарах Ленинградского отделения Математического института Ж СССР, Института математики .АН УССР, Института прикладной математики и механики АН УССР. Б течении работы над диссертацией, полученные результаты регулярно докладывались на научном семинаре кафедры теории функций Кубанского г о суниверсит е та.
В заключение автор считает своим приятным долгом выразить глубокую благодарность и признательность своему научному руководителю доктору физико-математических наук, профессору И.П.Митюку за постоянное внимание и поддержку в работе.
