Задачи об экстремальном разбиении и смежные вопросы геометрической теории функций тема автореферата и диссертации по математике, 01.01.01 ВАК РФ

Кириллова, Дина Александровна АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Биробиджан МЕСТО ЗАЩИТЫ
2010 ГОД ЗАЩИТЫ
   
01.01.01 КОД ВАК РФ
Диссертация по математике на тему «Задачи об экстремальном разбиении и смежные вопросы геометрической теории функций»
 
Автореферат диссертации на тему "Задачи об экстремальном разбиении и смежные вопросы геометрической теории функций"

На правах рукописи

Кириллова Дина Александровна

Задачи об экстремальном разбиении и смежные вопросы геометрической теории функций

01.01.01 - вещественный, комплексный и функциональный анализ

Автореферат

диссертации на соискание ученой степени кандидата физико-математических наук

2 5 НОЯ 2010

Биробиджан - 2010

004613612

Работа выполнена на кафедре высшей математики и методики обучения математике ГОУ ВПО "Дальневосточная государственная социально-гуманитарная академия"

Научный руководитель: член-корреспондент РАН,

профессор Дубинин В.Н.

Официальные оппоненты: доктор физико-математических наук,

профессор Шлык В.А.

кандидат физико-математических наук, старший научный сотрудник Бахтин АЛ

Ведущая организация: Кубанский государственный

Защита состоится 9 декабря 2010 года в 10.00 на заседании диссертационного совета ДМ 212.056.11 при Дальневосточном государственном университете по адресу: г. Владивосток, ул. Октябрьская, 27, к. 343.

С диссертацией можно ознакомиться в библиотеке Дальневосточного государственного университета.

университет

Автореферат разослан

октября 2010 г.

Ученый секретарь диссертационного совета доктор физико-математических н профессор

Общая характеристика работы

Актуальность темы. В настоящее время задачи об экстремальном разбиении занимают значительное место в геометрической теории функций и имеют богатую историю. Впервые экстремальные разбиения рассматривались при получении оценок произведения степеней конформных радиусов неналегающих областей. Эта тематика восходит к знаменитой статье М.А. Лаврентьева 1934 года и впоследствии была развита в работах П.П. Куфарева, Г.М. Голузина, 3. Нехари, Ю.Е. Аленицына, H.A. Лебедева, Дж. Дженкинса, Г.В. Кузьминой, И.П. Митюка и других математиков. Современные задачи об экстремальном разбиении включают в себя различные типы модулей и приведенных модулей непересекающихся областей. Значительные результаты в решении такого рода задач установлены в работах Г.В. Кузьминой, П. Дюрена и М. Шиф-фера, А.К. Бахтина, С.И. Федорова, Е.Г. Емельянова, А.Ю. Солынина, А.Ю. Васильева и многих других. Основными методами при решении этих задач являлись: вариационный метод, метод экстремальных метрик и метод площадей. В последние десятилетия ряд задач об экстремальном разбиении был решен В.Н. Дубининым и его учениками Е.Г. Прилепки-ной, Л.В. Ковалевым, Е.В. Костюченко и Н.В. Эйрих с помощью свойств емкостей обобщенных конденсаторов и симметризации. Развитие методов симметризации в задачах геометрической теории функций связано с именами В.К. Хеймана, Дж. Дженкинса, И.П. Митюка, П.М. Тамразова, М. Маркуса, Д. Ахаронова, А. Бернстайна, В.А. Шлыка, В.Н. Дубинина, А.Ю. Солынина и других авторов.

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

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

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

Цель работы.

1. Развить технику емкостей конденсаторов и симметризации в решении задач об экстремальном разбиении.

2. Дать новые приложения экстремальных разбиений в традиционных разделах геометрической теории функций комплексного переменного.

Методы исследования. В работе используются общие методы теории функций и математического анализа, метод вариаций, а также специальные методы теории потенциала: симметризация, диссимметриза-ция и разделяющее преобразование конденсаторов.

Научная новизна.

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

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

3. Доказаны новые теоремы для семейств мероморфных функций без общих значений, включающие производные Шварца этих функций.

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

Теоретическая и практическая значимость. Диссертация имеет теоретический характер. Полученные в ней результаты могут быть использованы в Казанском, Кубанском, Новосибирском, Дальневосточном государственных университетах, а также в ПОМИ РАН, ИМ СО РАН и ИПМ ДВО РАН при решении экстремальных задач теории функций.

Публикации. По теме диссертации опубликовано 4 научные работы и 6 тезисов докладов. Две работы выполнены в соавторстве, где В.Н. Дубинину принадлежит постановка задач и общее руководство.

Апробация результатов. Результаты диссертации по мере их получения докладывались на Дальневосточных математических школах -семинарах им. академика Е.В. Золотова (Владивосток, 2006, 2007, 2008, 2009, 2010), на Дальневосточной конференции студентов, аспирантов и молодых ученых по теоретической и прикладной математике (Владивосток, 2009), на семинарах по геометрической теории функций ИПМ ДВО РАН и ДВГУ (руководители профессор В.Н. Дубинин и профессор H.H. Фролов).

Структура и объем работы. Диссертация состоит из введения, трех глав и списка литературы. Компьютерный набор выполнен с использованием пакета М^Х. Общий объем диссертации 135 страниц. Библиография содержит 114 наименований работ отечественных и зарубежных авторов.

Содержание работы

Перейдем к детальной характеристике диссертационной работы, сохраняя при этом нумерацию разделов, формул и утверждений, принятую в тексте.

Во введении проводится обзор литературы и описывается состояние проблемы на сегодняшний день. Излагается актуальность темы, формулируется цель работы, описываются основные результаты исследования.

Первая глава диссертации носит вспомогательный характер. В параграфе 1.1. дается определение обобщенного конденсатора и формулируются необходимые свойства емкости конденсатора: монотонность, принцип симметрии, принципы композиции. Параграф 1.2. содержит асимптотические формулы для емкостей конденсаторов, в одной из которых участвуют, так называемые, радиусы Робена. Пусть область D С С ограничена конечным числом аналитических жордановых кривых, Г - непустое замкнутое подмножество 3D, состоящее из конечного числа невырожденных жордановых дуг, и пусть а - конечная точка области D. Функция Робена др(х,а, Г) определяется как вещественная непрерывная функция на D \ {а} (D означает компактификацию D посредством простых концов Каратеодори, граница dD - совокупность простых концов), непрерывно дифференцируемая на D \ (Г U {а}), гармоническая в D \ {а} и удовлетворяющая следующим условиям:

5ö(z,a, Г) = 0 при л £ Г, —gD{z,a,T)=Q при zedD\T,

go{z, а, Г) + log \z — a| - гармоническая функция в окрестности точки а (д/дп означает дифференцирование вдоль нормали к 8D). В случае, когда D - произвольная конечносвязная. область комплексной сферыС без изолированных граничных точек, а Г - непустое замкнутое граничное подмножество 3D, состоящее из конечного числа невырожденных связных компонент, функция Робена определяется с помощью конформного отображения.

Радиусом Робена области D относительно точки а и множества Г назовем величину

r(D, Г, а) = exp lim (sd(z, а, Г) + log\z - a|).

z—ю.

Если множество Г = 8D, то функция Робена равна функции Грина, а радиус Робена r(D, Г, а) совпадает с внутренним радиусом r(D, a).

В параграфе 1.3. даны краткие сведения из теории квадратичных дифференциалов на комплексной сфере.

Во второй главе изучаются задачи об экстремальном разбиении в классических и новых постановках. В параграфе 2.1. показано применение простейших вариаций для получения условий, которым необходимо должны удовлетворять экстремальные наборы областей и точек в некоторых задачах о неналегающих областях. В частности, рассмотрена следующая экстремальная задача для радиусов Робена "со свободными полюсами":

п

J]V(At,rb afc)(l - Ы2) sup, (2.1.16)

к=1

где верхняя грань ищется по всевозможным точкам ак, областям Dk и множествам Г^, удовлетворяющим условиям: а,к € Dk С U = {z : \z\ < 1}, (5Д0 П U С Гк С dDk, Dk П Di = 0, к ф I, к, I = 1,... ,п, п > 2.

Теорема 2.4. Если верхняя грань в (2.1.16) достигается для точек

п

a£,|a£|<l,fc = 1,... ,п, то необходимо выполняется равенство =

*=1

Параграф 2.2. посвящен изучению задач об экстремальном разбиении с фиксированными полюсами. Например, получен аналог известного неравенства П.П. Куфарева, где внутренние радиусы заменены на радиусы Робена r{Dk,Tk,ak), к = 1,2.

Теорема 2.5. Для любых областей Dk, множеств Г* и точек ак, удовлетворяющих условиям

Di П D2 = 0, akeDk С U, {dDk) П {/ С Г* С 8Dk, k = 1,2,

справедливо неравенство

r(Du Гь ax)r(D2, Г2, a2) < |a2 - <ц|2 [l - |(a2 - ai)/(l - оГоа)!2].-1,

где равенство для любых фиксированных точек ai и а2 круга U достигается в том случае, если общая граница областей D\ и Дг совпадает с Г1 = Гг и является неевклидовой прямой, ортогональной отрезку неевклидовой прямой, соединяющему точки ai и а2, и делящей этот отрезок попалам.

Обозначим через K(t), 0 < t < 1, круговое кольцо t < \z\ < 1, и пусть функция Т конформно и однолистно отображает кольцо K(t) на кольцо Тейхмюллера - плоскость с разрезами по некоторому отрезку [Т(1), —1], Т( 1) < —1, и по неотрицательной части вещественной оси.

Теорема 2.6. Для любых областей Dмножеств Гд; и точек ак, удовлетворяющих условиям

Di П D2 = 0, ak€Dk С K{t), (dDk) П K{t) С Тк С dDk, к = 1,2,

справедливо неравенство

гт.гь-мъгм

Равенство в (2.2.19) достигается в случае, когда ai <0, a2 > 0, a общая граница областей D\ и Z32 совпадает с

Г, = Г2 = {z G : |Г(*) - T(ai)| = |T(z) - Г(а2)|}.

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

Теорема 2.8. Пусть точки ак, к = 1,... ,п, п ^ 2, принадлежат окружности \z\ = р, 0 < i < р < 1; области Dак £ Dk С K(t); к = 1,... ,п, односвязные и попарно непересекающиеся; и пусть замкнутые множества Г*, Г* С <9Дь, к — 1,..., п, такие, что для каждого к множество (dDk) \ Гк либо пусто, либо представляет собой дугу окружности \z\ = 1, к = 1,... ,п. Тогда справедливо неравенство

ГИад,«*) < Пг(вдх) = (iM^)",

где а*к = рехр(2тк/п), D*k = {z е K(t) : | argz - 2жк/п\ < 7г/п}, Т*к = {z Е dDk : |z| ^ 1}, к = 1,... ,п, а функция Тп определяется как функция Т, но с заменой параметра t на tn.

Теорема 2.12. Пусть точки k = l,...,n, (n Jí 3) таковы, что ai = —On = 1, — 1 < aic < 1, k = 2, ...,n — 1; области Dk, o-k £ D¡c С С, k = 1,... ,n, попарно не пересекаются. Тогда справедливо неравенство

Равенство достигается для областей Dk, на которые плоскость С разбивается кривыми z = cos ™2п-2 + *s*n "гп-г^М' * е °°> +°°]> ' I = 1,..., п — 1, и точек а* = cos ^rj^, fc = 1,..., п.

Обозначим регулярную часть функции Грина области D через ho{z, Q = go(z, С) + log - Тогда для точек а е D logr(D,a) = ho{a.,a). Рассмотрим симметрическую разность

Я(Д С) = hD(z, z) + Лв(С, С) - 2hD(z, С),

а также предел

K(D,a,ip) :=™lim H(D,a - pei,fi,a + ре^)/р\ <р € R.

47Г р—>0

Теорема 2.13. Для любых точек ак, к = 1,... ,п, принадлежащих интервалу (—1,1), любых попарно неналегающих односвязных областей Dk, ак 6 Dk С С\ {—1, 1}, к = 1,... ,п, справедливо неравенство:

¿(a-ai)^,^^)^ 2„Ч1).

Равенство достигается для областей Dk, на которые плоскость С разбивается кривыми z = cos + г sin t € [—oo,+oo], 1 = 1,..., n + 1, и точек ak = cos ■ ^ = 1> • • • >n-

В параграфах 2.4. и 2.5. изучаются величины, инвариантные относительно группы дробно-линейных автоморфизмов комплексной сферы. Пусть В - открытое множество комплексной сферы С, и пусть А = {afc}*!=i ~ совокупность различных точек множества В. Положим по определению

М(В,А) = 1

2тгп2

log г (В, ak) + ^ ^ gB{ak, a¡)

k=i к=i ¡=i, 1фк

где г(В, а.к) означает внутренний радиус связной компоненты множества В, содержащей точку a¡¡, относительно этой точки, а дв{z, С) - функция Грина связной компоненты В, содержащей точку с полюсом в этой точке. Как обычно считаем дв{%, С) = 0 вне указанной компоненты. Рассмотрим следующие мебиусовы инварианты

i

/(В,А)=ехр{2™2Л/(3,Л)} Д k-a»|2/(1-n),

J(B,A) = ехр{2тгп2М(В, Л)}

где штрих у произведения означает, что если одна из точек а^ является оо, то под соответствующим сомножителем понимается единица. При п = 2 и п = 3 данные величины совпадают. В случае, когда множество В является объединением попарно непересекающихся областей ак € Dk, к — 1,..., п, инвариант

1(В,А) = 1п = (П r(Dk,ak)) Ц \ак - аг|2/(1"п)

/ Ык<Кп

изучался многими авторами. Инвариант J{B,A), п ^ 4, отличается от I(B, Á) на произведение степеней модулей ангармонических отношений точек из совокупности А и ранее не встречался.

Условимся говорить, что открытое множество В отделяет точку ак € А от точки а/ G А, если указанные точки принадлежат различным связным компонентам множества В. Следующая теорема дополняет результат Г.В. Кузьминой об оценке инварианта 1ц.

Теорема 2.16. Пусть А = - совокупность различных точек

комплексной сферы С, и пусть множество В отделяет точки a i, аг от точек аз и а4. Тогда

1(В,А) < |(а1,аз,а4,а2)|8/3|(аз>а4,а1,а2)|4/3, (2.4.35)

где (•, •, •, •) - ангармоническое отношение четырех точек. Равенство в (2.4.35) достигается в случае, когда множество В ограничено кривыми, заданными уравнением

|(г - ai)(¿ - а2)| = \{z - аз)(2 - а4)|-

~ п '

J3 |а* -

Л=1

<Wi = аь 71 ^ 2,

Следствие 2.2. Пусть точки совокупности А = расположе-

ны на единичной окружности \z\ = 1 в положительном направлении обхода в порядке возрастания индекса, и пусть множество В отделяет точки ai, аз от точек а,2 и а4. Тогда справедливы неравенства

1(В, А) < 4-4/3, J{B,A)^ 1/4.

Равенство в каждом случае достигается при аk = ехр(г(в+ттк/2)), к = 1,..., 4, и В = {z 6 С \ {0} : arg zA ф 40 + 7г}, где 9 - произвольная вещественная постоянная. Ввиду неравенства Шура

П к-а,|2/Ч44/з.

Поэтому первое неравенство следствия 2.2. является усилением теоремы Г.П. Бахтиной.

В случае, когда множество В является объединением попарно непересекающихся областей Dk, ак 6 Dk> к = 1,... ,4, оценка следствия 2.2. для инварианта J4 верна для любых различных точек плоскости С, а именно справедлива теорема.

Теорема 2.19. Пусть односвязные области Dk С С, к = 1,..., 4, такие, что Dkf]Di = 0 для всех к ф I, к,1 = 1, ...,4; точки ак € Dk, к = 1,... ,4. Тогда справедливо неравенство

4 ■ Г4' И'1

Y[r{Dk,ak) J]|at-at+i| <1/4.

к=1 U=1

Равенство достигается только в том случае, когда, с точностью до дробно-линейного преобразования, ak = exp(i7rfc/2) и Dk = {z ] | argz — 7r(fc — l)/2] < тг/4}, fc = l,...,4.

Теорема 2.17. Пусть А = {ai}|=1 - совокупность различных точек сферы С, и пусть множество В является объединением попарно неналегающих областей Dk,ak £ Dk, k = 1,..., 5, таких, что области Di и 1)5 расположены по разные стороны от прямой или окружности, проходящей через точки ai,a,2 и Тогда

1(В, А) = 411/3 • З-3/4 ■ 5~25/6.

Равенство имеет место в том случае, когда А = {1, е-2"1/3, 0, е2,г'/3, оо}, а областями Dk, k = 1,... ,5, служат круговые области квадратичного

дифференциала

Q(z)dz2 = -Z\+7/^dz2.

- l)2

Каждая другая экстремальная конфигурация теоремы2.П. получается из указанной при дробно-линейном автоморфизме С.

Оценка сверху инварианта /5 была получена Г.В. Кузьминой и В.Н. Дубининым при дополнительном предположении, что совокупность точек {afc}jt=1 симметрична относительно некоторой окружности или прямой.

Теорема 2.18. Пусть точки совокупности А — {а*}®=1 расположены на окружности \z\ = 1 в положительном направлении обхода в порядке возрастания индекса, и пусть множество В отделяет точку ak от точки a/t+i, k = 1,..., 6 (<27 = ai). Тогда справедливо неравенство

J(£,ÄK (2/3)6.

Равенство достигается в случае, когда А = {ехр(г(# + 7гА;/3))}®=1 и В = {z £ С \ {0} : arg л6 ф 6в + 7г}, где в - произвольная вещественная постоянная.

Третья глава посвящена некоторым приложениям экстремальных разбиений в геометрической теории функций комплексного переменного. В параграфе 2.1. доказываются новые теоремы для семейств {Д}£=1, мероморфных в круге \z\ < 1 функций Д, попарно не принимающих в этом круге общих значений. В частности, из теоремы 2.12. получаем

Следствие 3.2. Пусть функции Д, k = 1,... , n, (n ^ 3) мероморф-ны в круге U и попарно не принимают в нем одинаковых значений, причем /i(0) = -/„(0) = 1, -1 < Д(0) <1, k = 2,...,n- 1. Тогда справедливо неравенство

1Л(о)|1/4|/;(о)|1/4П-JfL < ± (-

n-l

iwi- (Л(0))2 " V2 \п-1,

С равенством в случае, когда функции Д, k = 1, ...,п, отображают круг JJ на области, ограничение кривыми {w = (£ + 1/0/2 : С2"~2 6 [—1,0]}, при этом Д(0) = cos ^^гр, k = 1,..., п.

Далее.будем обозначать через S}{z) = f"'{z)/f'{z) -3/2 {f\z)/J\z)f - производную Шварца функции / в точке z. Из теоремы 2.13. получаем-Следствие 3.3. Пусть функции Д, к = 1,...,п, конформно и однолистно отображают единичный круг JJZ на попарно неналегающие области Д С С,\ {— 1, 1}, к = 1,...,п, так, что Д(0) = а^ £

(-1, 1), к = 1,...,п. Тогда 1

£

к=1

(1-4)

_ 1 Sfk( 0)

1Л(0)|2 + б е(Гк(0)У

+ ■

^(2п2 + 1).

'k^J I u UjfeWr/ 4(1_afc).

Равенство достигается в случае, когда ak = cos , k = 1,..., п, и

области Dk ограничены кривыми {w = (С + 1/С)/2 : С2п 6 [0,1]}.

Теорема 3.1. Если функции fk, k = 1,... ,п, п ^ 1, мероморфны и однолистны в единичном круге U, попарно не принимают в этом круге общих значений, и точка z — 0 является точкой регулярности этих функций, то для любых комплексных постоянныхk = 1, ...,п, справедливо неравенство

¿-J ^ I

7*7;

п

k

Ы2

til Л(°)Г

^ 6 (/¿(0))' ^(Л(О)-ЖО))2

1фк

где в случае п = 1 вторая сумма под знаком модуля обращается в нуль.

Экстремальные разбиения "со свободными полюсами на окружности" приводят к следующему результату.

Теорема 3.3. Для любых мероморфных и однолистных в круге II функций }к, отображающих этот круг на попарно неналегающие области таким образом, что |Д(0)| = 1, к = 1,... ,п, справедливо неравенство

к=1

-¿(2|eiK)l4 + №t)l2) +

к—1

n(n2-l)(n2 + ll) 120

(3.1.9)

где дк = Д"1, ш* = /к{0), к = 1,... ,п. Равенство в (3.1.9) достигается для функций /£(г) = ехр(27гг(/с — 1)/п)[(1 + г)/(1 — г)]2/", к = 1,... ,п.

В параграфе 3.2. доказывается ряд новых теорем искажения для мероморфных и однолистных функций. В качестве примера приведем следующее утверждение.

Теорема 3.6. Пусть функция / мероморфна и однолистна в круге11. Предположим, что в точках= tg(7г/4 — 7г(2& — 1)/(4гг.)), к = 1,... ,п (п ^ 1), функция принимает значения, лежащие на интервале(—1, 1), и / ф ±1 в круге и. Тогда

п

№)1

. . ___ с ТТ I 1 + sin

тг(2fc - 1) 2 п

Равенство имеет место для функции /*(г) = 2г/(1 + г2).

В теории функций хорошо известен класс 9Я(Я) - совокупность функций и] = /(г), мероморфных и однолистных в кольце К = К(Я) = {г : 1 < |г| < Я}, Я < оо, для которых множество /(К) значений /(г) в К лежит в области > 1 и которые отображают окружность \г\ = 1 в окружность |ш| = 1. Каждая функция / класса Ш(Я) допускает аналитическое продолжение в кольцо 1/Я < |г| < Я по принципу симметрии Римана-Шварца. Будем обозначать это продолжение той же буквой /. Классу 9Я(Д) принадлежит функция Гретшаш = С(г) = 0(г\ Я), которая конформно и однолистно отображает кольцо К на внешность круга |ш| > 1 с разрезом по вещественной положительной полуоси от некоторой точки Р(Я) до оо так, что (3(Д; Я) = Р{Я)- Введем экстремальную гг-кратно симметричную функцию Гретша равенством

0(г\ п, Я) = (л/Т=1)

Функция й{г\п, Я) также принадлежит классу Т1(Я) и отображает кольцо К на область |ш| > 1 с разрезами по лучам а^ги" = 0, |шп| ^ Р(Я)-Следующее утверждение дополняет результат, полученный А.Ю. Со-лыниным.

Теорема 3.9. Для любой функции / класса Ш(Я) и любого вещественного числа в справедливы неравенства

4

п А**)

к=1

ПК*)

4

к=1

(С'С-!;/?4))4

¿=1

гк = ехр(г(в + тг{к - 1)/2)), к = 1,2,3,4, б

Пт)

к=1

¿=1

г* = ехр(г(в + 7Г(к — 1)/3)), к = 1,...,6. Равенство в первых двух неравенствах достигается для функции С(г;4, Я) при в = 7г/4, а в третьем - для С?(.г; 6, Я) при в = 7г/6.

В ряде случаев задачи об экстремальном разбиении приводят к оценкам некоторых комбинаций коэффициентов однолистных функций. Параграф 3.3. посвящен доказательству таких оценок. Следующий результат является новым.

оо

Теорема 3.11. Если функция /(г) = г + ^ акг~к мероморфна (с

к=о

полюсом е оо) и однолистна в |г| > 1, то справедливо неравенство

|а? + 2а3| < 1.

Равенство достигается в случае /(г) — г + г~1.

Ранее Г.М. Голузиным было установлено более сильное, чем в теореме 3.11., неравенство, справедливое только для функций / класса ^ таких, что множество Сш \ /({г : \г\ > 1}) звездообразно относительно начала координат.

В параграфе 3.4. теорема об экстремальном разбиении конденсаторов применяется к неравенствам для алгебраических полиномов. Хорошо известно, что для полиномов Р с нулями в круге \г\ < 1 справедливо неравенство

„ гР'(г) п . , ,

Ке"Ж > 2 • ^ = Ь

В дополнение к этому неравенству получаем следующее утверждение.

Теорема 3.13. Пусть Р - полином степени п с нулями, расположенными в круге |г| < 1. Тогда для любых точек гк, к = 1,2,3, единичной окружности |г| = 1, отличных от нулей полинома Р, справедливо неравенство

4=1 ч РЫ 2/ 6\/3

Р{гк) Р{гм)

где полагаем г4 — г\. Равенство достигается для полиномов Р(г) = а^г + ачг1 + ... + апгп, все ненулевые корни которых расположены на единичной окружности.

Автор выражает глубокую благодарность научному руководителю профессору В.Н. Дубинину за постоянное внимание к работе и всестороннюю поддержку.

Публикации по теме диссертации

1. Дубинин В.Н., Кириллова Д.А. К задачам об экстремальном разбиении // Зап. науч. семин. ПОМИ. 2008. Т.357. С. 54-74.

2. Дубинин В.Н., Кириллова Д.А. Некоторые применения экстремальных разбиений в геометрической теории функций// Дальневост. мат.

. журн. 2010. Т. 10. №2. С. 130-152.

3. Кириллова Д.А. Об однолистных функциях без общих значений // Изв. вузов. Математика. 2010. №9. С. 86-89.

4. Кириллова Д.А. О максимуме' мебиусова инварианта в задаче с четырьмя неналегающими областями // Дальневост. мат. журн. 2010. Т.10. №1. С. 41-49.

5. Кириллова Д.А. Трехточечная теорема искажения для регулярных функций // Тез. докл. XXXI Дальневост. мат. шк.-семинара им. акад. Е.В. Золотова. Владивосток: Дальнаука. 2006. С. 14-15.

6. Кириллова Д.А. Простейшие вариации конформных радиусов в задачах о неналегающих областях // Тез. докл. XXXII Дальневост. мат. шк.-семинара им. акад. Е.В. Золотова. Владивосток: Дальнаука. 2007. С. 20-21.

7. Кириллова Д.А. О максимуме двух мебиусовых инвариантов // Тез. докл. XXXIII Дальневост. мат. шк.-семинара им. акад. Е.В. Золотова. Владивосток: Дальнаука. 2008. С. 130-131.

8. Кириллова Д.А. Задачи об экстремальном разбиении со свободными полюсами на отрезке // Тез. докл. XXXIV Дальневост. мат. шк.-семинара им. акад. Е.В. Золотова. Хабаровск: Изд-во ТОГУ. 2009. С. 36-38.

9. Кириллова Д.А. К задачам об экстремальном разбиении и неравенства с участием производной Шварца // Материалы Дальневост. конф. студентов, аспирантов и молодых ученых по теоретической и прикладной математике. Владивосток: Изд-во ДВГУ. 2009. С. 11-12.

10. Дубинин В.Н., Кириллова Д.А. Применение экстремальных разбиений для получения теорем искажения и оценок коэффициентов однолистных функций // Сб. докл. XXXV Дальневост. мат. шк.-семинара им. акад. Е.В. Золотова [Электронный ресурс]. Владивосток: ИАПУ ДВО РАН. 2010. С. 75-77. 1 опт. компакт-диск (CD-ROM).

9

Ч-/

Кириллова Дина Александровна

Задачи об экстремальном разбиении II смежные вопросы геометрической теории функций

Специальность 01.01.01-Вещественный, комплексный и функциональный анализ Автореферат

Лицензия № 020096 от 22.09.97 г. Тираж 100 экз. Усл.печл. 1,0 Заказ №33/2010

— Отпечатано в типографии

Дальневосточной государственной социально-гуманитарной академии по адресу: 679015, г. Биробиджан, ул. Широкая, 70а

 
Содержание диссертации автор исследовательской работы: кандидата физико-математических наук, Кириллова, Дина Александровна

Введение

1. Емкости конденсаторов и квадратичные дифференциалы

1.1. Обобщенные конденсаторы.

1.2. Асимптотические формулы.

1.3. Квадратичные дифференциалы.

2. Экстремальные разбиения

2.1. Необходимые условия.

2.2. Фиксированные полюса.

2.3. Свободные полюса.

2.4. Мебиусовы инварианты.

2.5. Задача о четырех неналегающих областях.

 
Введение диссертация по математике, на тему "Задачи об экстремальном разбиении и смежные вопросы геометрической теории функций"

В настоящее время задачи об экстремальном разбиении занимают значительное место в геометрической теории функций и имеют богатую историю (см. монографии [17, 39], а также обзоры [32, 72, 73]). Впервые экстремальные разбиения рассматривались при получении оценок произведения степеней конформных радиусов неналегающих областей. Эта тематика восходит к знаменитой статье М.А. Лаврентьева 1934 года [85] и впоследствии была развита в работах П.П. Куфарева [84], Г.М. Голузина [24, 25], 3. Нехари [107], Ю.Е. Аленицына [1], Н.А. Лебедева [86], Дж. Дженкинса [28], Г.В. Кузьминой [69]—[71], [74], И.П. Митюка [87, 88] и других математиков. Современные задачи об экстремальном разбиении включают в себя различные типы модулей и приведенных модулей непересекающихся областей. Значительные результаты в решении такого рода задач установлены в работах Г.В. Кузьминой [75]—[82], П. Дюрена и М. Шиффера [97, 100, 110], А.К. Бахтина и его учеников [5] - [15], [18, 19, 91], С.И. Федорова [92], Е.Г. Емельянова [49]-[54], А.Ю. Солынина [90], А.Ю. Васильева [114] и многих других. Основными методами при решении этих задач являлись: вариационный метод, метод экстремальных метрик и метод площадей. В последние десятилетия ряд задач об экстремальном разбиении был решен В.Н. Дубининым и его учениками Е.Г. Прилепкиной, Л.В. Ковалевым, Е.В. Костюченко и Н.В. Эйрих с помощью свойств емкостей обобщенных конденсаторов и симметризации [30]—[37], [43]—[45], [48], [63]-[65], [68]. Развитие методов симметризации в задачах геометрической теории функций связано с именами В.К. Хеймана, Дж. Дженкинса, И.П. Митюка, П.М. Тамразова, М. Маркуса, Д. Ахаронова, А. Бернстайна, В.А. Шлыка,

В.Н. Дубинина, А.Ю. Солынина и других авторов.

Вместе с тем, многие задачи об экстремальном разбиении, в особенности со свободными полюсами, остаются нерешенными. В частности, неизвестно насколько в традиционных задачах о неналегающих областях внутренние радиусы можно заменить на радиусы Робена (о емкости Робена, функции и радиусе Робена см. [29, 36, 37, 94, 96, 98, 99, 102, 113]); как выглядят экстремальные разбиения, если на экстремум исследовать функционалы, зависящие от последующих коэффициентов в разложении функции Грина (функции Робена); каковы экстремальные разбиения в случае свободных полюсов на отрезке, на луче и других подмножествах комплексной сферы; каковы экстремальные разбиения для мебиусовых инвариантов, связанных с неналегающими областями.

Хорошо известно, что к задачам об экстремальном разбиении сводятся многие другие вопросы геометрической теории функций (см. [25, 39], а также обзоры [32, 72, 73]). Таким образом, от решения этих задач во многом зависит прогресс в исследовании смежных проблем: оценок коэффициентов, доказательств теорем покрытия и теорем искажения для однолистных и многолистных функций, получение метрических свойств подмножеств комплексной сферы и так далее.

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

Первая глава диссертации носит вспомогательный характер. В параграфе 1.1. дается определение обобщенного конденсатора и формулируются необходимые свойства емкости конденсатора: монотонность, принцип симметрии, принципы композиции. Параграф 1.2. содержит асимптотические формулы для емкостей конденсаторов, в одной из которых участвуют, так называемые, радиусы Робена. Пусть область D С С ограничена конечным числом аналитических жордановых кривых, Г - непустое замкнутое подмножество 3D, состоящее из конечного числа невырожденных жордановых дуг, и пусть а - конечная точка области D. Функция Робена а, Г) определяется как вещественная непрерывная функция на D \ {а} (D означает компактификацию D посредством простых концов Каратеодори, граница 3D - совокупность простых концов), непрерывно дифференцируемая на D \ (Г U {а}), гармоническая в D \ {а} и удовлетворяющая следующим условиям: gD(z,a,T)=0 при z £ Г,

9D(z,a, Г) = 0 при zedD\ Г, go{z, а, Г) 4- loglz — а\ - гармоническая функция в окрестности точки а (д/дп означает дифференцирование вдоль нормали к 3D). В случае, когда D - произвольная конечносвязная область комплексной сферы С без изолированных граничных точек, а Г - непустое замкнутое граничное подмножество сШ, состоящее из конечного числа невырожденных связных компонент, функция Робена определяется с помощью конформного отображения.

Радиусом Робена области D относительно точки а и множества Г назовем величину r(D, Г, а) = exp lim (go(.z, а, Г) + log \z — а\). z—*a

Если множество Г = 3D, то функция Робена равна функции Грина, а радиус Робена r(D, Г, а) совпадает с внутренним радиусом r(D, а).

В параграфе 1.3. даны краткие сведения из теории квадратичных дифференциалов на комплексной сфере.

Во второй главе изучаются задачи об экстремальном разбиении в классических и новых постановках. В параграфе 2.1. показано применение простейших вариаций для получения условий, которым необходимо должны удовлетворять экстремальные наборы областей и точек в некоторых задачах о неналегающих областях. В частности, рассмотрена следующая экстремальная задача для радиусов Робена "со свободными полюсами": п

Пг(Дь,Гк|аО(1 - \ак\2) -> вир, (2.1.16) к=1 где верхняя грань ищется по всевозможным точкам ак, областям Бк и множествам Г^, удовлетворяющим условиям: ак £ Ик С С/ = {г : \г\ < 1}, (<ЭД0 пи сГкс дВк, ВкП Д = 0, к ф I, к,1 = 1,.,п, п > 2. С применением дробно-линейной вариации вида

2 гр^ тч>(*) = ! = 2 + - е*> + г - °> г Е (0,1), у? € К, доказана

Теорема 2.4. Если верхняя грань в (2.1.16) достигается для точек п а*к, |а£| < 1, к = 1,. ,п, то необходимо выполняется равенство У2ак = ®к=1

Параграф 2.2. посвящен изучению задач об экстремальном разбиении с фиксированными полюсами. Например, получен аналог известного неравенства П.П. Куфарева, где внутренние радиусы заменены на радиусы Робена г(Ок,Гк,ак), к = 1,2.

Теорема 2.5. Для любых областей Д, мнооюеств и точек ак, удовлетворяющих условиям

ДПД = 0, акеИкси, (дБк)Г\и с^сая к = 1,2, справедливо неравенство r(Du Гь ai)r(£>2, Г2, а2) ^ |а2 - ах|2 [1 - |(а2 - ai)/(l - Ща2)|2], где равенство для любых фиксированных точек а\ и а2 круга U достигается в том случае, если общая граница областей D\ и D2 совпадает с Г*1 = Г2 и является неевклидовой прямой, ортогональной отрезку неевклидовой прямой, соединяющему точки а\ и а2, и делящей этот отрезок попалам.

Обозначим через K(t), 0 < t < 1, круговое кольцо t < \z\ < 1, и пусть функция Т конформно и однолистно отображает кольцо K(t) на кольцо Тейхмюллера - плоскость с разрезами по некоторому отрезку [Т(1),—1], Т( 1) < —1, и по неотрицательной части вещественной оси.

Теорема 2.6. Для любых областей Dk, множеств Гк и точек ак, удовлетворяющих условиям i П Д> = 0, akeDk с K(t), (dDk) П K(t) СГ^С dDkl k = 1,2, справедливо неравенство rin г „ып г л к |Г(Ы)-Г(-Ы)Г ,99im

Равенство в (2.2.19) достигается в случае, когда а\ <0, а2 > 0, а общая граница областей D\ и D2 совпадает с

Гг=Т2 = {ге K(t) : \T(z) - Т(аг)\ = \T{z) - Т(а2)\} .

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

Теорема 2.8. Пусть точки dk, к — l,.,n, п ^ 2, принадлежат окружности \z\ = р, 0 < t < р < 1; области Dk, G Dk С к =

1 односвязные и попарно непересекающиеся; и пусть замкнутые множества Гд, Г& С dDk, к = 1,. ,п, такие, что для каждого к множество (dDk) \ Tfc либо пусто, либо представляет собой дугу окружности \z\ = 1, к = 1,. ,п. Тогда справедливо неравенство

Цг(ок,ы < ПКВДХ) = (п^й')"' к—1 /с—X где а% = pexp(2irik/n), D*k — {z G K(t) : |arg£ — 2ттк/п\ < тг/п], Г*к = {z Е dD^ : \z\ ф 1}, к — 1,. , п, а функция Тп определяется как функция Т, но с заменой параметра t на tn.

Теорема 2.12. Пусть точки аk, k = l,.,n, (n ^ 3) таковы, что di — —ап = 1, —1 < Oft < 1, /г = 2,., п — 1; области Dk, öfc G -D^ С С, А; = 1,., п, попарно не пересекаются. Тогда справедливо неравенство

Равенство достигается для областей Dk, на которые плоскость С разбивается кривыми z = cos^Üf^ch(t) + г sin sh(t), t G [—oo,+oo], l = 1,., n — 1, и точек = cos ' А; = 1,., n.

Обозначим регулярную часть функции Грина области Z) через ho(z, С) = С) +log \z — С|. Тогда для точек a € D logr(Z), а) = hr>(a, а). Рассмотрим симметрическую разность

H(D, z, С) = Ы*. *) + MC, С) " 2hD(z, С), а также предел

K{D, а, (р):=~ lim H{D, а - pei<p, а + ре^)/р2, <р £ R. 47Г р->0

Теорема 2.13. Для любых точек а^, к = 1 , .,п, принадлежащих интервалу (—1,1), любых попарно неналегающих односвязных областей Dk, dk € Dk С С \ {—1, 1}, к = 1,. ,п, справедливо неравенство: ((1 - а\)К (D* ак, + > ^ + 1). fc—1

Равенство достигается для областей -D&, на которые плоскость С разбивается кривыми z = cos^—■ ch(¿) -f- i sin ^"^sh(t), t G [—oo, +oo], l = 1,., n + 1, и точек аь = cos , к = 1,., п.

В параграфах 2.4. и 2.5. изучаются величины, инвариантные относительно группы дробно-линейных автоморфизмов комплексной сферы. Пусть В - открытое множество комплексной сферы С, и пусть А — {afc}£=1 - совокупность различных точек множества В. В работах В.Н. Дубинина и его учеников были введены и изучены различные модификации приведенного модуля М(В,А, А, Ф) множества В относительно совокупности А и некоторых наборов параметров АиФ [32, 33, 43, 47]. Если дополнение множества В имеет положительную гармоническую меру, то справедлива формула:

М(Б, А) = М(В, А, {1,., 1}, {г,., г}) = п

27Ш2 ) + 2евЫ,01)}, к=1 к=1 1=1, { 1фк где г(В, ак) означает внутренний радиус связной компоненты множества В, содержащей точку а^, относительно этой точки, а дв{%, С) - функция Грина связной компоненты В, содержащей точку С, с полюсом в этой точке. Как обычно считаем = 0 вне указанной компоненты. 1

АВ,А) = ехр{2ттп2М(В,А)} ап+1 = аь п ^ 2 п '

П I ак - 0>к+1| где штрих у произведения означает, что если одна из точек аявляется оо, то под соответствующим сомножителем понимается единица. При п = 2 и п = 3 данные величины совпадают. В случае, когда множество В является объединением попарно непересекающихся областей И к, а,к £ к = 1,., п, инвариант изучался многими авторами (см. монографии [17, 39], обзоры [32, 72, 73], а также работы [20, 69, 92]). Инвариант п ^ 4, отличается от 1(В, А) на произведение степеней модулей ангармонических отношений точек из совокупности А и ранее не встречался.

Условимся говорить, что открытое множество В отделяет точку а^ Е А от точки щ £ А, если указанные точки принадлежат различным связным компонентам множества В. Следующая теорема дополняет результат Г.В. Кузьминой об оценке инварианта /4 [69] (см. также [73, с. 25]).

Теорема 2.16. Пусть А — {ад;}|=1 - совокупность различных точек комплексной сферы С, и пусть множество В отделяет точки а\, а2 от точек аз и а^. Тогда

1(В,А) = 1п= г(Дь,а*) П

1{В,А) < |(а1,аз,а4,а2)|8/3Каз,а4,а1,а2)|4/3, (2.4.35) где (•,•,•,•) - ангармоническое отношение четырех точек. Равенство в (2.4.35) достигается в случае, когда множество В ограничено кривыми, заданными уравнением г - а\){г - а2)\ = \(г - о3)(^ - а4)\.

Следствие 2.2. Пусть точки совокупности А = {ад;}|=1 расположены на единичной окружности \г\ = 1 в положительном направлении обхода в порядке возрастания индекса, и пусть множество В отделяет точки а1,аз от точек а2 и 04. Тогда справедливы неравенства

Б,А) < 4"4/3,

Равенство в каждом случае достигается при а& = ехр(г(# + 7гА;/2)), к = 1,. ,4, и В = {г £ С \ {0} : а^г4 ф 49 + 7г}; где в - произвольная вещественная постоянная. Ввиду неравенства Шура

П к-а,р/3<4</3.

Поэтому первое неравенство следствия 2.2. является усилением теоремы Г.П. Бахтиной (см. теорему 2.17 работы [32] в случае п — 4 и комментарии к ней).

В случае, когда множество В является объединением попарно непересекающихся областей Иь, а^ £ к = 1,. ,4, оценка следствия 2.2. для инварианта верна для любых различных точек плоскости С, а именно справедлива теорема.

Теорема 2.19. Пусть односвязные области С С, к = 1,.,4, такие, что Дь П Dl = 0 для всех к ф I, к, I = 1,., 4; точки аь £ к —

1,. ,4. Тогда справедливо неравенство 4 п г(Бк,ак) -77-< 1/4. п \ак ~ ак+1\ к=1

Равенство достигается только в том случае, когда, с точностью до дробно-линейного преобразования, ак — ехр(г7г/с/2) и Ик = {г | — п(к — 1)/2| < тг/4>, к = 1,.,4.

Теорема 2.17. Пусть А = совокупность различных точек сферы С, и пусть множество В является объединением попарно ненале-гающих областей Ик, ак Е Ок, к — 1,., 5, таких, что области и Д расположены по разные стороны от прямой или окружности, проходящей через точки а\,а2 и аз. Тогда

1(В, А) = ^ 411/3 • З-3/4 • 5-25/6.

Равенство имеет место в том случае, когда А = {1, е-27™/3, 0, е27П/3, оо}; а областями Ок,к — 1,., 5, служат круговые области квадратичного дифференциала

ЯШг2 = -\ч1г

Каждая другая экстремальная конфигурация теоремы 2.17. получается из указанной при дробно-линейном автоморфизме С.

До настоящего времени известны только две оценки сверху инварианта /5. Первая была получена Г.В. Кузьминой и В.Н. Дубининым при дополнительном предположении, что совокупность точек {а&}|=1 симметрична относительно некоторой окружности или прямой (см. [73, 39]). Другая оценка величины /5 сверху дана Г.В. Кузьминой для точек, расположенных на одной окружности [81].

Теорема 2.18. Пусть точки совокупности А = расположены на окружности \z\ = 1 в положительном направлении обхода в порядке возрастания индекса, и пусть множество В отделяет точку ак от точки ßfc+i, k = 1,., 6 (ü7 = ai). Тогда справедливо неравенство

Равенство достигается в случае, когда А = {ехр(г(# + 7Г&/3))}®=1 и В = {z Е С \ {0} : arg z6 ^ 69 + 7г}; где в - произвольная вещественная постоянная.

Третья глава посвящена некоторым приложениям экстремальных разбиений в геометрической теории функций комплексного переменного. В параграфе 2.1. доказываются новые теоремы для семейств {fk}k=n меР°~ морфных в круге \z\ < 1 функций fk, попарно не принимающих в этом круге общих значений. В частности, из теоремы 2.12. получаем

Следствие 3.2. Пусть функции fk, k = 1,. , те, (те ^ 3) мероморфны в круге U и попарно не принимают в нем одинаковых значений, причем Д(0) = —/п(0) = 1, —1 < jfife(O) <1, к — 2,.,те — 1. Тогда справедливо неравенство

С равенством в случае, когда функции fk, k = 1,., те, отображают круг U на области, ограничение кривыми {w = (С + 1/0/2 : Q2n~2 £ [—1,0]}, при этом fk(0) = cos , k = 1,., те.

Далее будем обозначать через Sf{z) = f"'{z)/f'{z) - 3/2 (f'{z)/f(z))2 - производную Шварца функции / в точке z.

Из теоремы 2.13. получаем

Следствие 3.3. Пусть функции Д, к — 1 ,.,п, конформно и однолистно отображают единичный круг 11г на попарно неналегающие области С Си, \ {—1, 1}, к = 1,., п, так, что 0) = Е (—1, 1), к = 1,., п. Тогда Е к=1

1 -Ие- ' лт2 6 (Гк(0))У 4(1 -а*)

71 — + 1).

Равенство достигается в случае, когда ак — соб ^^ ^, А; = 1, .,п; и области ограничены кривыми {ш = (£ + 1/С)/2 : С2" £ [0,1]}.

Теорема 3.1. функции /к, А; = 1, .,п, п ^ 1, мероморфны и однолистны в единичном круге II, попарно не принимают в этом круге общих значений, и точка г = 0 является точкой регулярности этих функций, то для любых комплексных постоянных к = 1,. ,п, справедливо неравенство п п

1кЦ л(О) V V

1фк п

Ы5 где е случае п = 1 вторая сумма под знаком модуля обращается в нуль.

Экстремальные разбиения "со свободными полюсами на окружности" приводят к следующему результату (ср. [48, теорема 8]).

Теорема 3.3. Для любых мероморфных и однолистных в круге и функций /к, отображающих этот круг на попарно неналегающие области таким образом, что |Д(0)| = 1 к = 1,. ,п, справедливо неравенство к=1

- ± (2КЫ14 + 1ЙЫ12) + та(Уг2"11)2(0п2 + 11), (3.1.9) к=1 где ^ = /¿Г1, Шк = 0),- /с = 1,. ,п. Равенство в (3.1.9) достигается для функций = ехр(2т(к - 1)/п)[(1 + ¿)/{1 — г)]2/п, к = 1,. ,п.

В параграфе 3.2. доказывается ряд новых теорем искажения для меро-морфных и однолистных функций. В качестве примера приведем следующее утверждение.

Теорема 3.6. Пусть функция / мероморфна и однолистна в круге и. Предполоэюим, что в точках гь = tg(•7г/4 — тг(2к — 1)/(4п)), к = 1,.,п (п ^ 1), функция принимает значения, лежащие на интервале (—1, 1), и / ±1 в круге и. Тогда

Равенство имеет место для функции /*(г) = 2^/(1 + г2).

В теории функций хорошо известен класс 9Я(Я) - совокупность функций т — /(-г), мероморфных и однолистных в кольце К = К (Я) — {г : 1 < \г\ < Я}, Я < оо, для которых множество /(К) значений /(г) в К лежит в области |ги| > 1 и которые отображают окружность \г\ = 1 в окружность |гу| = 1. Каждая функция / класса 9Л(Я) допускает аналитическое продолжение в кольцо 1/Я < \г\ < Я по принципу симметрии Римана-Шварца. Будем обозначать это продолжение той же буквой /. Классу 9Л(Я) принадлежит функция Гретша т = С (г) = С?(;г; Я), которая конформно и' однолистно отображает кольцо К на внешность круга |ги| > 1 с разрезом по вещественной положительной полуоси от некоторой точки Р(Я) до оо так, что Я) = Р(Я)-- Введем экстремальную п-кратно симметричную функцию Гретша равенством

Функция С(г\ п, К) также принадлежит классу ЯЯ(Л) и отображает кольцо К на область |ги| > 1 с разрезами по лучам = 0, \иип\ ^ Р{Щ

Следующее утверждение дополняет результат, полученный А.Ю. Солы-ниным [89, неравенство (4.12)].

Теорема 3.9. Для любой функции / класса ШТ(Л) и любого вещественного числа в справедливы неравенства к=1 4

1№) к=1 п I/Ы - Д^+ОГ1 < 4-1 Я4))4, к= 1

2* = ехр(^(0 + 7г(/с - 1)/2)), к = 1,2,3,4,

Г№ гк = ехр(г(# + 7г(А; — 1)/3)), к = 1,., 6. Равенство в первых двух неравенствах достигается для функции С(-г;;4, К) при в = 7г/4; а в третьем - для б, Я) тгри 9 = 7Т/6.

В ряде случаев задачи об экстремальном разбиении приводят к оценкам некоторых комбинаций коэффициентов однолистных функций. Параграф 3.3. посвящен доказательству таких оценок. Следующий результат является новым. оо

Теорема 3.11. Если функция /(г) = г + -Х) ак%~ мероморфна (с пок=о люсом в оо) и однолистна в \г\ > 1, то справедливо неравенство а\ + 2а3| ^ 1.

Равенство достигается в случае /(г) = г + г-1.

Ранее Г.М. Голузиным было установлено более сильное, чем в теореме 3.11., неравенство, справедливое только для функций / класса ^ таких, что множество С^ \ : \г\ > 1}) звездообразно относительно начала координат.

В параграфе 3.4. теорема об экстремальном разбиении конденсаторов применяется к неравенствам для алгебраических полиномов. Хорошо известно, что для полиномов Р с нулями в круге ^ 1 справедливо неравенство

И"1' см., например, [95]). В дополнение к этому неравенству получаем следующее утверждение.

Теорема 3.13. Пусть Р - полином степени п с нулями, расположенными в круге \г\ ^ 1. Тогда для любых точек к = 1,2,3, единичной окружности \г\ = 1, отличных от нулей полинома Р, справедливо неравенство

Р{гк) Р(гк+1) где полагаем = Равенство достигается для полиномов Р(г) = а\х + а^ + . -\-апгп, все ненулевые корни которых расположены на единичной окружности.

Перечислим основные результаты диссертационной работы:

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

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

3. Доказаны новые теоремы для семейств мероморфных функций без общих значений, включающие производные Шварца этих функций.

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

По теме диссертации опубликовано 4 научные работы [40], [41], [61], [62].

Результаты диссертации по мере их получения докладывались на Дальневосточных математических школах - семинарах им. академика Е.В. Зо-лотова (Владивосток, 2006, 2007, 2008, 2009, 2010), на Дальневосточной конференции студентов, аспирантов и молодых ученых по теоретической и прикладной математике (Владивосток, 2009), на семинарах по геометрической теории функций ИПМ ДВО РАН и ДВГУ (руководители профессор В.Н. Дубинин и профессор H.H. Фролов). Опубликовано 6 тезисов докладов [42], [56]-[60].

 
Список источников диссертации и автореферата по математике, кандидата физико-математических наук, Кириллова, Дина Александровна, Биробиджан

1. Аленицын Ю.Е. Об однолистных функциях без общих значений в многосвязной области // Труды мат. ин-та им. В.А. Стеклова. 1968. Т. 94. С. 4-18.

2. Аленицын Ю.Е. О функциях без общих значений и внешней границе области значений функции // Мат. сборник. 1988. Т. 46. № 4. С. 373388.

3. Андреев В.А. Некоторые задачи о неналегающих областях // Сиб. мат. журн. 1976. Т. 17. №3. С. 483-498.

4. Андреев В.А. Экстремальные задачи для одного класса регулярных и ограниченных в круге функций // Докл. АН СССР. 1976. Т. 228. № 4. С. 769-771.

5. Бахтин А.К. О коэффициентах однолистных функций // Вопросы теории аппроксимации функций: Сб. науч. трудов. Киев: Наук, думка. 1980. С. 3-14.

6. Бахтин А.К. О произведении внутренних радиусов симметричных неналегающих областей // Укр. мат. журнал. 1997. Т. 49. №11. С. 14541464.

7. Бахтин А.К. Некоторые задачи в теории неналегающих областей // Укр. мат. журнал. 1999. Т. 51. №6. С. 723-731.

8. Бахтин А.К. Экстремальные задачи о неналегающих областях со свободными полюсами на окружности // Доп. НАН Укра'ши, 2004. №8. С. 7-15.

9. Бахтин A.K. Кусочно-разделяющее преобразование и экстремальные задачи со свободными полюсами на лучах // Доп. HAH Укра'ши, 2004. №12. С. 7-13.

10. Бахтин А.К. Кусочно-разделяющее преобразование и экстремальные задачи со свободными полюсами // Докл. РАН. 2005. Т. 405. № 2. С. 151-153.

11. Бахтин А.К. Оценки некоторых функционалов для открытых множеств // Нелинейные уравнения. 2005. Т. 8. №2. С. 147-153.

12. Бахтин А.К. Экстремальные задачи о неналегающих областях со свободными полюсами на двух окружностях // Доп. HAH Укра'ши, 2005.т. с. 12-16.

13. Бахтин А.К. Экстремальные задачи о неналегающих областях со свободными полюсами на окружности // Укр. мат. журнал. 2006. Т. 58. Ш. С. 867-886.

14. Бахтин А.К. Неравенства для внутренних радиусов взаимно не пересекающихся областей и открытых множеств // Труды мат. ин-та им.B.А. Стеклова. 2008. Т. 261. С. 37-46.

15. Бахтин А.К. Неравенства для внутренних радиусов неналегающих областей и открытых множеств // Укр. мат. журнал. 2009. Т. 61. №5.C. 596-610.

16. Бахтин А.К., Бахтина Г.П. Экстремальные задачи о неналегающих областях и квадратичные дифференциалы // Доп. HAH Укра'ши, 2005. №8. С. 13-15.

17. Бахтин А.К., Бахтина Г.П., Зелинский Ю.Б. Тополого-алгебраические структуры и геометрические методы в комплексном анализе. Khib: 1н-т математики НАН Укра'ши, 2008. Т. 73. 308 с.

18. Бахтин А.К., Вьюн В.Е. Применение разделяющего преобразования к оценкам внутренних радиусов открытых множеств // Укр. мат. журн. 2007. Т. 59. №10. С. 1314-1322.

19. Бахтин А.К., Таргонский A.JI. Экстремальные задачи и квадратичные дифференциалы // НелшШш коливання. 2005. Т. 8. №3. С. 298-303.

20. Бахтина Г.П. Вариационные методы и квадратичные дифференциалы в задачах о нена легающих областях. Автореф. дис. канд. физ.-мат. наук. Киев, 1975. И с.

21. Бахтина Г.П. Метод граничных вариаций в задачах о неналегающих областях. Препринт. Киев: АН УССР. Ин-т математики, 1975. №2.

22. Бахтина Г.П. О конформных радиусах симметричных неналегающих областей // Современные вопросы вещественного и комплексного анализа. Киев: Ин-т математики АН УССР. 1984. С. 21-27.

23. Голузин Г.М. Некоторые оценки коэффициентов однолистных функций // Мат. сборник. 1938. Т. 3. С. 321-330.

24. Голузин Г.М. Метод вариаций в конформном отображении I, II, III, IV // Мат. сборник. 1946. Т. 19. №2. С. 203-236; 1947. Т. 21. №1. С. 83-117; 1947. Т. 21. №1. С. 119-132; 1951. Т. 29. №2. С. 455-468.

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

26. Голузина Е.Г. Об одной теореме искажения в классе типично вещественных функций // Зап. науч. семин. ПОМИ. 2008. Т. 357. С. 33-45.

27. Голузина Е.Г. К теоремам искажения для типично вещественных функций // Зап. науч. семин. ПОМИ. 2009. Т. 371. С. 171-175.

28. Дженкинс Дж. Однолистные функции и конформные отображения. М.: Изд-во иностр. лит., 1962. 268 с.

29. Диттмар Б., Солынин А.Ю. Искажение гиперболической емкости Робина при конформном отображении и экстремальные конфигурации // Зап. науч. семин. ПОМИ. 2000. Т. 263. С. 49-69.

30. Дубинин В.Н. Метод симметризации в задачах о неналегающих областях // Мат. сборник. 1985. Т. 128. №1. С. 110-123.

31. Дубинин В.Н. Разделяющее преобразование областей и задачи об экстремальном разбиении // Зап. науч. семин. ЛОМИ. 1988. Т. 168. С. 4866.

32. Дубинин В.Н. Симметризация в геометрической теории функций комплексного переменного // Успехи мат. наук. 1994. Т. 49. Вып. 1. С. 3-76.

33. Дубинин В.Н. Асимптотика модуля вырождающегося конденсатора и некоторые ее применения // Зап. науч. семин. ПОМИ. 1997. Т. 237. С. 56-73.

34. Дубинин В.Н. Конформные отображения и неравенства для алгебраических полиномов // Алгебра и анализ. 2001. Т. 13. №5. С. 16-43.

35. Дубинин В.Н. К неравенству Шварца на границе для регулярных в круге функций // Зап. науч. семин. ПОМИ. 2002. Т. 286. С. 74-84.

36. Дубинин В.Н. Обобщенные конденсаторы и асимптотика их емкостей при вырождении некоторых пластин // Зап. науч. семин. ПОМИ. 2003. Т. 302. С. 38-51.

37. Дубинин В.Н. Емкости конденсаторов, обобщения лемм Гретша и симметризация // Зап. науч. семин. ПОМИ. 2006. Т. 337. С. 73-100.

38. Дубинин В.Н. О квадратичных формах, порожденных функциями Грина и Робена // Мат. сборник. 2009. Т. 200. №10. С. 25-38.

39. Дубинин В.Н. Емкости конденсаторов и симметризация в геометрической теории функций комплексного переменного. Владивосток: Даль-наука, 2009. 401 с.

40. Дубинин В.Н., Кириллова Д.А. К задачам об экстремальном разбиении // Зап. науч. семин. ПОМИ. 2008. Т. 357. С. 54-74.

41. Дубинин В.Н., Кириллова Д.А. Некоторые применения экстремальных разбиений в геометрической теории функций // Дальневост. мат. журн. 2010. Т.10. №2. С. 130-152.

42. Дубинин В.Н., Ковалев JI.B. Приведенный модуль комплексной сферы // Зап. науч. семин. ПОМИ. 1998. Т. 254. С. 76-94.

43. Дубинин В.Н., Костюченко E.B. Экстремальные задачи теории функций, связанные с n-кратной симметрией // Зап. науч. семин. ПОМИ. 2001. Т. 276. С. 83-111.

44. Дубинин В.Н., Прилепкина Е.Г. Об экстремальном разбиении пространственных областей // Зап. науч. семин. ПОМИ. 1998. Т. 254. С. 95-107.

45. Дубинин В.Н., Прилепкина Е.Г. Теоремы искажения для функций, ме-роморфных и однолистных в круговом кольце // Сиб. мат. журн. 2010. Т. 51. т. С. 285-302.Т. 51. №2. С. 285-302.

46. Дубинин В.Н., Эйрих Н.В. Обобщенный приведенный модуль // Даль-невост. мат. журн. 2002. Т. 3. №2. С. 150-164.

47. Дубинин В.Н., Эйрих Н.В. Некоторые применения обобщенных конденсаторов в теории аналитических функций // Зап. науч. семин. ПОМИ. 2004. Т. 314. С. 52-75.

48. Емельянов Е.Г. Применения метода экстремальных метрик к задачам о неналегающих областях. Дис. на соиск. учен, степени канд. физ.-мат. наук. Л., 1985.

49. Емельянов Е.Г. К задачам об экстремальном разбиении // Зап. науч. семин. ЛОМИ. 1986. Т. 154. С. 76-89.

50. Емельянов Е.Г. О связи двух задач об экстремальном разбиении // Зап. науч. семин. ЛОМИ. 1987. Т. 160. С. 91-98.

51. Емельянов Е.Г. К задаче о максимуме произведения степеней конформных радиусов неналегающих областей // Зап. науч. семин. ПОМИ. 2002. Т. 286. С. 103-114.

52. Емельянов Е.Г. О квадратичных дифференциалах в многосвязных областях, являющихся полными квадратами // Зап. науч. семин. ПОМИ. 2006. Т. 337. С. 113-133.

53. Емельянов Е.Г. О квадратичных дифференциалах в многосвязных областях, являющихся полными квадратами II // Зап. науч. семин. ПОМИ. 2007. Т. 350. С. 40-51.

54. Емельянов Е.Г., Кузьмина Г.В. Теоремы об экстремальном разбиении в семействах систем областей различных типов // Зап. науч. семин. ПОМИ. 1997. Т. 237. С. 74-104.

55. Кириллова Д.А. Трехточечная теорема искажения для регулярных функций // Тез. докл. XXXI Дальневосточной математической школы семинара имени академика Е.В. Золотова. Владивосток: Дальнаука. 2006. С. 14-15.

56. Кириллова Д.А. Простейшие вариации конформных радиусов в задачах о неналегающих областях // Тез. докл. XXXII Дальневосточной математической школы семинара имени академика Е.В. Золотова. Владивосток: Дальнаука. 2007. С. 20-21.

57. Кириллова Д.А. О максимуме двух мебиусовых инвариантов // Тез. докл. XXXIII Дальневосточной математической школы семинара имени академика Е.В. Золотова. Владивосток: Дальнаука. 2008. С. 130-131.

58. Кириллова Д.А. Задачи об экстремальном разбиении со свободными полюсами на отрезке // Тез. докл. XXXIV Дальневосточной математической школы семинара имени академика Е.В. Золотова. Хабаровск: Изд-во ТОГУ. 2009. С. 36-38.

59. Кириллова Д.А. Об однолистных функциях без общих значений // Изв. вузов. Математика. 2010. №9. С. 86-89.

60. Кириллова Д.А. О максимуме мебиусова инварианта в задаче с четырьмя неналегающими областями // Дальневост. мат. журн. 2010. Т.10. №1. С. 41-49.

61. Ковалев JI.B. О трех непересекающихся областях // Дальневост. мат. журн. 2000. К°-1. С. 3-7.

62. Ковалев J1.B. О внутренних радиусах симметричных неналегающих областей // Изв. вузов. Математика. 2000. №6. С. 80-81.

63. Ковалев JI.B. Монотонность обобщенного приведенного модуля // Зап. науч. семин. ПОМИ. 2001. Т. 276. С. 219-236.

64. Колбина Л.И. Некоторые экстремальные задачи в конформном отображении // ДАН СССР. 1952. Т. 84. №5. С. 865-868.

65. Колбина Л.И. Конформное отображение единичного круга на ненале-гающие области // Вестник Ленинградского ун-та. 1955. Т. 5. С. 37-43.

66. Костюченко Е.В. Решение одной задачи об экстремальном разбиении // Дальневост. мат. журн. 2001. Т.2. №1. С. 3-15.

67. Кузьмина Г.В. К задаче о максимуме произведения конформных радиусов неналегающих областей // Зап. науч. семин. ЛОМИ. 1980. Т. 100. С. 131-145.

68. Кузьмина Г.В. Модули семейств кривых и квадратичные дифференциалы // Труды мат. ин-та им. В.А. Стеклова. 1980. Т. 139. 240 с.

69. Кузьмина Г.В. К вопросу об экстремальном разбиении римановой сферы // Зап. науч. семин. ЛОМИ. 1990. Т. 185. С. 72-95.

70. Кузьмина Г.В. Методы геометрической теории функций I // Алгебра и анализ. 1997. Т. 9. № 3. С. 41-103.

71. Кузьмина Г.В. Методы геометрической теории функций II // Алгебра и анализ. 1997. Т. 9. №5. С. 1-50.

72. Кузьмина Г.В. О связи различных задач об экстремальном разбиении // Зап. науч. семин. ПОМИ. 1998. Т. 254. С. 116-131.

73. Кузьмина Г.В. К задачам об экстремальном разбиении в семействах систем областей общего вида // Зап. науч. семин. ПОМИ. 2000. Т. 263. С. 157-186.

74. Кузьмина Г.В. Задачи об экстремальном разбиении римановой сферы II // Зап. науч. семин. ПОМИ. 2002. Т. 286. С. 126-147.

75. Кузьмина Г.В. Метод экстремальной метрики в задачах о максимуме призведения степеней конформных радиусов неналегающих областейпри наличии свободных параметров // Зап. науч. семин. ПОМИ. 2003. Т. 302. С. 52-67.

76. Кузьмина Г.В. Задачи об экстремальном разбиении римановой сферы III // Зап. науч. семин. ПОМИ. 2004. Т. 314. С. 124-141.

77. Кузьмина Г.В. Об одном экстремально-метрическом подходе к задачам об экстремальном разбиении // Зап. науч. семин. ПОМИ. 2006. Т. 337. С. 191-211.

78. Кузьмина Г.В. О симметричных конфигурациях в задачах об экстремальном разбиении // Зап. науч. семин. ПОМИ. 2007. Т. 350. С. 160172.

79. Кузьмина Г.В. О симметричных конфигурациях в задачах об экстремальном разбиении II // Зап. науч. семин. ПОМИ. 2008. Т. 357. С. 158179.

80. Кузьмина Г.В. О симметричных конфигурациях в задачах об экстремальном разбиении III // Зап. науч. семин. ПОМИ. 2009. Т. 371. С. 117136.

81. Курант Р. Принцип Дирихле, конформные отображения и минимальные поверхности. М.: Изд-во иностр. лит., 1953. 310 с.

82. Куфарев П.П. К вопросу о конформных отображениях дополнительных областей // Докл. АН СССР. 1950. Т. 73. С. 881-884.

83. Лаврентьев М.А. К теории конформных отображений // Труды физ. мат. ин-та им. В.А. Стеклова. 1934. Т. 5. С. 159-245.

84. Лебедев H.A. Принцип площадей в теории однолистных функций. М.: Наука, 1975. 336 с.

85. Митюк И.П. Симметризационные методы и их применение в геометрической теории функций. Введение в симметризационные методы. Краснодар: Кубанский гос. ун-т, 1980.

86. Митюк И.П. Оценки внутреннего радиуса (емкости) некоторой области (кондкнсатора) // Изв. Северо-Кавказского науч. центра высшю школы. 1983. т. С. 36-38.

87. Солынин А.Ю. Граничное искажение и экстремальные задачи в некот-рых классах однолистных функций // Зап. науч. семин. ПОМИ. 1993. Т. 204. С. 115-142.

88. Солынин А.Ю. Модули и экстремально-метрические проблемы // Алгебра и анализ. 1999. Т. И. №1. С. 3-86.

89. Таргонский А.Л. Экстремальные задачи о частично неналегающих областях на римановой сфере // Докл. HAH Украины. 2008. №9. С. 31-36.

90. Федоров С.И. О максимуме одного конформного инварианта в задаче о неналегающих областях // Зап. науч. семин. ЛОМИ. 1981. Т. 112. С. 172-183.

91. Ahlfors L.V. Conformai invariants: topics in geometric function theory. New York: McGraw-Hill Book Co., 1973.

92. Bergman S., Schiffer M. Kernel functions and elliptic differential equations in mathematical physics. New York: Academic Press, 1953.

93. Borwein P., Erdelyi T. Polinomials and polinomial inequalities. New York: Springer-Verlag, 1995.

94. Dubinin V.N., Vuorinen M. Robin functions and distortion theorems for regular mappings. Prepeint. Finland: Departament of Mathematics and Statistics. Universiti of Htlsinki, 2007. 21 p.

95. Düren P. Univalent Functions. Haidelberg and New York: Springer-Verlag, 1983.

96. Düren P. Robin capacity // Computational methods and function theory (CMFT'97) N. Papamichael, St.Ruscheweyh and E.B.Saff (Eds.) World scientific Publishing Co. 1999. P. 177-190.

97. Düren P., PfaltzgrafF J. Robin capacity and extremal length //J. Math. Analysis Appl. 1993. V. 179. №1. P. 110-119.

98. Düren P., Schiffer M.M. Conformai mappings onto nonoverlapping regions // Complex analysis. Basel: Birkhauser Verlag. 1988. P. 27-39.

99. Düren P., Schiffer M.M. Robin functions and energy functionals of multiplay connected domains // Pacific J. Math. 1991. V. 148. P. 251273.

100. Düren P., Schiffer M.M. Robin functions and distortion of capacity under conformai mapping // Complex Variables. 1993. V. 21. P. 189-196.

101. Hayman W.K. Multivalent functions. Cambridge: Cambridge Univ. Press, 1994.

102. Jenkins J.A. On two-point distortion theorems for bounded univalent regular functions // Kodai. Math. J. 2001. V. 24. №3. P. 329-338.

103. Kim S., Minda D. Two-point distortion theorems for univalent functions // Pacific J. Math. 1994. V. 163. №1. P. 137-157.

104. Kraus D. and Roth O. Weighted distortion in conformal mapping in euclidean, hiperbolic and elliptic geometry // Ann. Acad. Sei. Fenn. Math. 2006. V. 31. P. 111-130.

105. Nehari Z. Some inequalities in the theory of functions // Trans. Amer. Math. Soc. 1953. V. 75. №2. P. 256-286.

106. Pfluger A. Extremallängen und Kapazität // Comment. Math. Helv. 1955. V. 29. P. 120-131.

107. Pommerenke Ch. Univalent functions. Göttingen: Vandenhoeck & Ruprecht, 1975. 376 p.

108. Schiffer M. A method of variation within the family of simple functions // Proc. Lond. Math. Soc. 1938. V. 44. P. 432-449.

109. Schippers E. Distortion theorems for higher-order Schwarzian derivatives of univalent functions // Proc. Amer. Math. Soc. 2000. V. 128. №11. P. 3241-3249.

110. Schippers E. Conformal invariants and higher-order Schwarz lemmas // J. Anal. Math. 2003. V. 90. P. 217-241.

111. Stiemer M. Representation formula for the Robin function // Complex Variables. 2003. V. 48. № 5. P. 417-427.

112. Vasil'ev A.Yu. Moduli of families of curves for conformal and quasiconformal mapping: Lecture Notes in Math. 1788. Berlin: Springer, 2002. 211 p.