Аппроксимация голоморфных однолистных функций композициями канонических отображений

Кузнецов, Александр Александрович

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

Кузнецов, Александр Александрович АВТОР

кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ

Саратов МЕСТО ЗАЩИТЫ

2005 ГОД ЗАЩИТЫ

01.01.01 КОД ВАК РФ

Диссертация по математике на тему «Аппроксимация голоморфных однолистных функций композициями канонических отображений»

Автореферат диссертации на тему "Аппроксимация голоморфных однолистных функций композициями канонических отображений"

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

УДК 517.54

Александр Александрович Кузнецов

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

Специальность 01 01 01 - Математический анализ

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

Саратов - 2005

Работа выполнена на кафедре математического анализа Саратовского государственного университета им. Н Г Чернышевского

Научный руководитель - доктор физико-математических наук

профессор Прохоров Дмитрий Валентинович

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

профессор Авхадиев Фарит Габидинович

- кандидат физико-математических наук, Григорьева Елена Валерьевна

Ведущая организация - Инстит} г прикладной математики

ДВО РАН

Зашита состоится ШММ2005 г в часов на заседании диссертационного совета К 212 243.02 при Саратовском государственном университете по адресу 410012, Саратов, ул Астраханст-ская. 83 Саратовский государственный университет, механико-математический факультет.

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

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

Ученый секретарь диссертационного совета

Корнев В В

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

Наиболее простым классом, обладающим полугрупповым свойством относительно операции композиции, является класс М голоморфных однолистных функций в единичном круге О = {г : \г\ < 1}, отображающих В в себя и нормированных условием /'(0) > 0, /(0) = 0. Единицей в данной полугруппе служит тождественное отображение.

Класс М имеет тесную связь с наиболее известным и хорошо изученным классом 5 однолистных функций в В, с нормировкой /'(0) = 1,/(0) = 0. Из условий нормировки следует, что если д(г) е М, то д(г)/д'(0) € 5. Кроме того, функции д(г)/д'(0) образуют плотное подмножество класса 5, когда функция д(г) пробегает весь класс М,.

Используя групповую структуру класса /А, Лёвнеру удалось получить представление всюду плотного подкласса класса <5 с помощью дифференциального уравнения. Это уравнение было обобщено П П. Куфаревым и в дальнейшем В.Я. Гутлянским показано, что в его терминах описывается весь класс 5.

ный круг в себя и имеющих граничную нормировку. Аналогичное представление для функций, отображающих полуплоскость и полосу. а также имеющих гидродинамическую нормировку, было получено в работах В.В. Горяйнова, П.П. Куфарева, Н.В. Поповой.

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

а^... апр%\ °Ра2°-..р1"п,а3 > 1,7; еК,^ = 1 (1)

где функция

Р1(г) -г/а + а2г2 + ...

отображает © на единичный круг с радиальным разрезом с концевой точкой в е'7, образуют всюду плотный подкласс класса 5.

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

1 Получение условий, необходимых и достаточных для плотности композиций из заданного семейства в классе М

2 Получение оценок скорости аппроксимации однолистных функ-

ций композициями канонических отображений как и по полу-

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

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

4. Получение условий сходимости к постоянной функции итеративных последовательностей.

5. Оценка времени существования решения в задаче Хеле-Шоу.

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

Научная новизна работы заключается в следующем: получено достаточное геометрическое условие плотности композиций функций заданного семейства в классе Л4, получен критерий плотности композиций функций заданного семейства в классе М в терминах параметрического метода представления однолистных функций. Найдена оценка скорости аппроксимации функций из класса 5 с помощью композиций функций Пика по полунормам ||.||г и ||.||;. Задача о приближении функций, представимых с помощью уравнения Лёвнера, сведена к задаче приближения в линейном пространстве. Получены условия, достаточные для сходимости итеративных последовательностей к постоянной функции. Найдена оценка времени существования решения в задаче Хеле-Шоу о течении вязкой жидкости.

Теоретическое значение и практическая ценность.

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

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

Апробация работы. Результаты докладывалась на международной конференции "Complex Analysis and Potential Theory"(Киев. 2001 г). 11-й и 12-й Саратовских зимних школах "Современные проблемы теории функций и их приложения" (Саратов, 2002 г., 2004 г), международной школе-конференции "Геометрический анализ и его приложения "(Волгоград, 2004 г.).

Публикации. Основное содержание диссертационной работы и результаты исследований опубликовании в 7 научных работах.

Структура и объем работы. Диссертация состоит из введения, трех глав, и списка используемой литературы. Работа состоит из 104 страниц машинописного текста. Список используемой литературы включает в себя 66 наименований. В работе используется следующая нумерация- теоремы, леммы и предложения имеют сквозную нумерацию, параграфы и формулы - нумерацию по главам.

СОДЕРЖАНИЕ РАБОТЫ

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

Предпосылкой для результатов первой главы послужили работы Д.В. Прохорова, Я. Шинала, М. Михайски, К. Поммеренке, Д Михии. Они посвящены представлению функций специального вида в виде:

/(*)=*£ оА^о... оВД, (2)

где

кЦг) = е'7А;а(е-*7г), 0 < а < 1,7 б К

2 аг

ка(г) =---, г£0.

Функция ^а(г) отображает Р на гиперболический двуугольник.

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

Теорема 1 Пусть дано семейство функций гд, /? 6 К из класса Л4, удовлетворяющее следующим двум условиям:

(г). г0 = г, г'01(О) > г^(0) при А <

(и). Пусть для любого а £ [0; 1] существует /3 такое, что ка <грф. г.

Тогда композиции функций — е'7гд(е_,7г); 7 £ К плотны в классе М..

Нотация / -< д означает, что функция / подчинена функции д. В случае однолистности подчинение / -< д эквивалентно включению /(©) С д(Ш).

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

Второй параграф первой главы посвящен условию на семейство функций гр, ¡3 € К из класса М необходимому и достаточному для того, чтобы композиции функций г~р{г) = е,7г^(е~'7г), 7 Е 1 были плотны в классе Л4. Данное условие выражено в терминах параметрического метода представления однолистных функций. Хотя

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

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

Заметим, что наиболее простое семейство функций, композиции которых плотны в классе S, составляют функции вида (1). Поэтому в качестве приближающих функций выбраны именно они. Так как класс S является подмножеством пространства всех аналитических функций в D. естественно рассматривать приближения именно в этом пространстве, где топология задана с помощью полунорм

||/(z)||r = max|/(z)|,0<r<l. (3)

Во второй главе так же рассмотрена скорость приближения но полунормам вида

Н/||, = 1*(/)|. (4)

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

max Ле[/(/)], описываются опорные точки класса S. В первом пара-f€S

графе второй главы сформулированы следующие теоремы, составляющие основной результат второй главы.

Теорема 3 Для любой функции f € S и любых двух натуральных чисел п, тп, существуют а}, "f},j = 1,2,..., пт, такие, что

Ц/ ~aia2...anmpl\ ор% о .. llr 11 г2 log 7i 15г2 1 2 г2 1 (5)

^ (1-г)6 п + (l-r)5m+ (l-r)<n' 0<г<1'

Теорема 4 Для любого линейного функционала 1(.) существует константа такая, что для любой функции / <Е 5 и любого натурального п > 1 существуют = 1,...,4п, такие, что справедливо неравенство

||/ - а102... сьр* ор£ о.. .р* ||{ <

Для доказательства данных теорем была выработана следующая схема построения приближения. Сначала функция / € 5 аппроксимируется функцией /м € 5м, /м(г)/М € М. Затем используя полугрупповую структуру класса М представляем функцию /м(г)/М как композицию функций из окрестности тождественного отображения. Оказывается, данную окрестность можно рассматривать как "почти линейное"пространство с "почти линей-ной"онерацией композиции, что дает возможность использовать линейный аппарат приближения.

С помощью данной схемы хорошо удается объяснить роль каждого слагаемого в правой части (5). Так, первое слагаемое отражает нелинейность операции композиции в окрестности тождественного отображения, второе отвечает за погрешность линейного приближения, а последнее связано с аппроксимацией функции / € Т функцией ¡м € 5м, /м(г)/М в М. Отличие полунорм ||.||; от ||.||г заключается в том, что составляющая в оценке скорости аппроксимации, связанная с применением линейного аппарата, обращается в нуль. Поэюму две другие составляющие были объединены и оценка для полунорм ||.||( содержит только одну составляющую.

окрестности тождественного отображения, причем для обоих видов полунорм вычисления будут проводиться параллельно, показывая, таким образом, общие места и различия в схеме аппроксимации. В пятом параграфе, комбинируя результаты двух предыдущих, будут даны оценки скорости приближения по полунормам ||.||г и ||.||/, причем рассмотрение будет вестись опять же параллельно, насколько это возможно. Важно отметить, что по полунормам ||.||; порядок приближения лучше, чем по полунормам вида |1.[|г.

Последний параграф второй главы посвящен приближению специального Еида функций, а именно - представимых с помощью уравнения Лёвнера В частности, к таким функциям относятся все функции, отображающие О на плоскость с одним или несколькими разрезами по жордановым дугам. Данные функции обычно возникают в экстремальных задачах, связанных с оценками коэффициентов однолистных функций. Хотя данный результат и использует рассуждения предыдущих параграфов, он имеет несколько отличную и более простую структуру и позволит применить теорию аппроксимации в линейных пространствах для получения оценок на скорость аппроксимации для функций представимых с помощью уравнения Лёвнера.

В третьей главе рассматриваются две задачи, напрямую не относящиеся к первым двум главам. Связующим звеном, объединяющим работу в единое целое, является параметрический метод представления однолистных функций. В первом параграфе третьей главы он служит методом решения задачи. Во втором параграфе рассматривается задача математической физики, описываемая уравнением того же типа, что и уравнение Лёвнера-Куфарева. Перейдем к более подробной формулировке результатов третьей главы.

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

щен первый параграф третьей главы.

Пусть дана гиперболическая область Б комплексной плоскости С и семейство Т функций /:£>->■ Б. Назовем итеративной последовательностью для семейства Т, если существует последовательность функций /„€■?" такая, что Рп = /х о ... о /п. Нас будет интересовать следующая проблема: При каких условиях на семейство Т и область Б последовательность Рп сходится к постоянной функции внутри области Б ?

Данная проблема имеет достаточно длинную историю. Так, классический результат Данжуа-Вольфа, полученный в первой четверти двадцатого века, утверждает: если семейство Т состоит из одной функции и Б совпадет с единичным кругом В = {г : \г\ < 1}. то последовательность сходится к постоянной функции, чье значение лежит в В. В дальнейшем вопрос о сходимости последовательности Рп при различных условиях на семейство Т и область Б изучался в работах А Ф. Бирдона, И. Бейкера, П. Риппонна, Л. Лоренц и других математиков.

Например в работе А.Ф. Бирдона отмечена тесная связь сходимости последовательности Рп и структуры полугруппы У-а, образованной из всевозможных композиций функций, принадлежащих семейству Т. Так, в ней было показано, что если Тъ не содержит постоянных функций со значениями, принадлежащими дБ, и тождественного отображения, то последовательность сходится к постоянной функции, чье значение лежит в Б. Это является распространением аналогичного результата, полученного в работе И. Бейкера и П. Риппона для случая в котором Б совпадает с единичным кругом В = {г : \г\ < 1}.

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

Для того, чтобы сформулировать следующий результат, нам понадобится характеристика /+(г) функции /(г) в точке л, опреде-

ленная следующим образом- пусть 22) - гиперболическое рас-

стояние в области В между точками гь 22 € V. Тогда положим

/+(г) - 1т

1трШШм

¿г, е о.

Сформулируем результат первого параграфа в следующей теореме:

Теорема 6 Если не содержит постоянных функций, чье значение лежит в дБ и точка га £ Б, тогда для того, чтобы последовательность Рп сходилась к постоянной функции, необходимо и достаточно, чтобы ряд

П=1

расходился к бесконечности или хотя бы одна из /п была константой.

Последний параграф третьей главы посвящен задаче о течении вязкой жидкости в ячейке Хеле-Шоу. Математическая модель этого явления имеет следующий вид- рассматривается двумерное потенциальное течение жидкости, описываемое с помощью поля скоростей V — («х, %) Потенциальность течения выражается тем, что скорость пропорциональна градиенту давления:

за исключением особенностей поля скоростей.

Рассмотрим плоскую односвязную область Д>, заполненную жидкостью со стоком мощности С}. Не уменьшая общности можно считать, что область £>о содержит нуль, являющийся стоком мощности <5 = 1. Нас будет интересовать поведение области с жидкостью во времени:

(6)

у —

Используя несжимаемость жидкости, получаем, что с1т у = О или Ар = О,

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

f(z,t),f{0,t) >0,/(0,i) = 0

отображает единичный круг D на область D(t). В случае, когда можно пренебречь поверхностным натяжением, функция f(z,t). как было показано в работах JI.A. Галина и П.Я. Полубариновой-Кочиной, будет удовлетворять следующему граничному условию:

и- m

Данное граничное условие может быть сведено к уравнению того же типа, что и уравнение Лёвнера-Куфарева.

О трудности данной задачи говорит отсутствие до недавнего времени работ, посвященных оценкам времени существования решения в зависимости от начальных условий. Лишь недавно, в работе А. Ю. Васильева, Б Густафсона и Д. В. Прохорова было получено доказательство бесконечно долгого существования решения в случае источника и звездообразной начальной области с аналитической границей. Последний параграф третьей главы тоже посвящен нахождению оценок на время существования решения краевой задачи (7), в нем рассматривается случай стока и начальной области, заданной с помощью полиномиальной функции

дг,0) =

к=1

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

Определяющим для получения результата на оценку времени существования является сохранение во времени степени полиномиальной функции, описывающей изменение области 0{1).

Для формулировки результата введем в рассмотрение следующие величины:

max [/¿(г)| = M, max |l//g(z)| = 1/m. W=1 |2| = 1

Пусть

^ _ Mm + 2nNM m m2

C-M(N I ^2(m + M)y

V m2 m3 /

Справедлива следующая

Теорема 7 ¿?сли начальное условие задано с помощью полиномиальной функции степени N, то решение краевой задачи (7) существует для всех t € [0,

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

1 Kuznetsov A. Representation of univalent functions as infinite compositions// International Conference on Complex Analysis and Potential Theory: Abstracts. Kiev: Institute of Mathematics NAS of Ukraine, 2001, 30-31

2. Кузнецов А.А. Представления однолистных функций в виде бесконечных композиций// Известия вузов. Математика, 10, 2002, 53-63

3. Кузнецов А.А. Представления однолистных функций в виде бесконечных композиций// Тезисы докладов 11 Саратовской зимней школы по теории функций и приближений. Саратов, 2002, 108-109

4. Kuznetsov A. Approximation of univalent functions by { compositions// Computational Methods and Function Theory. Heldermann Verlag. V.3,^2, 2003, 485-499

Кузнецов А А Аппроксимация однолистных функций композициями/ / Тез докл междун. Шк-конф Геометрический анализ и его приложения. Волгоград 24-30 мая 2004, 103-104

и Кузнецов А А Аппроксимация однолистных функций композициями/ / Современные проблемы теории функций и их приложения Тезисы докладов. Издательство ГосУНЦ "Колледж", 2004, 110-111

' Кузнецов А А Приближение однолистных функций композициями по полунормам, заданными линейными функционалами/ / Математика Механика. Т.6. Саратов: Издательство Саратовского университета. 2004, 73-77

р 4 ? Я

РНБ Русский фонд

2006-4 8324

Подписано в печать 13 05.2005 Формат 60x84 1/16. Бумага офсетная. Гарнитура Times Печать RISO Объем 1,0печл Тираж! 00 экч Заказ №402.

Отпечатано с готового оригинал-макета Центр полиграфических и копировальных услуг Предприниматель Серман Ю Б Свидетельство № 304645506500043 410600, Саратов, ул Московская, д 152, офис 19

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

Введение

1 Представление однолистных функций с помощью композиций

1.1 Параметрический метод представления однолистных функций.

1.2 Геометрическое условие плотности композиций.

1.3 Необходимое и достаточное условие плотности композиции

2 Аппроксимация однолистных функций с помощью композиций

2.1 Формулировка основного результата второй главы

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

2.3 Аппроксимация функции из класса S функцией из класса SM.

2.4 Аппроксимация в окрестности единицы.

2.5 Оценка скорости аппроксимации по полунормам

2.6 Оценка скорости аппроксимации для фуикций, пред-ставимых с помощью уравнения Лёвнера.

3 Смежные вопросы

3.1 Сходимости итеративных последовательностей

3.2 Оценка времени существования решения в задаче Хеле-Шоу.

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

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

Наиболее простым классом, обладающим полугрупповым свойством относительно операции композиции, является класс М. голоморфных однолистных функций в единичном круге D = {z : \z\ < 1}, отображающих Р в себя и нормированных условием /'(0) > 0, /(0) = 0. Единицей в данной полугруппе служит тождественное отображение.

Класс М. имеет тесную связь с наиболее известным и хорошо изученным классом S однолистных функций в D, с нормировкой /'(О) = 1, /(0) = 0. Из условий нормировки следует, что если g(z) £ Л4, то g(z)/g'(0) 6 S. Кроме того, функции g(z)/g'(Qi) образуют плотное подмножество класса <S, когда функция g{z) пробегает весь класс Л4.

Используя групповую структуру класса Л4, Лёвнеру [54] удалось получить представление всюду плотного подкласса класса S с помощью дифференциального уравнения. Это уравнение было обобщено П.П. Куфаревым [18] и в дальнейшем В.Я. Гутлянским показано [11], что в его терминах описывается весь класс S.

Так же с успехом удалось применить групповой подход для получения параметрических представлений других классов голоморфных однолистных функций, имеющих более сложную структуру и нормировку. Так, в работах Г.М. Голузина [9] и Комацу [48] получено представление функций однолистных в кольце. Работы В.В. Го-ряйнова [6, 7] посвящены представлению функций, отображающих единичный круг в себя и имеющих граничную нормировку. Аналогичное представление для функций, отображающих полуплоскость и полосу, а также имеющих гидродинамическую нормировку, было получено в работах В.В. Горяйнова [6], П.П. Куфарева [21], Н.В. Поповой [23, 24].

Важно отметить, что параметрический метод позволил решить ряд классических задач теории конформных отображений, в частности, на нем основано доказательство де Брапжа [36] знаменитой гипотезы Бибербаха. Параметрический метод дал возможность использовать классическую схему оптимального управления для решения ряда экстремальных задач геометрической теории функций [26, 27, 60], он так же имеет ряд приложений в математической физике [65, 42, 45] и теории вероятностей [8]. Вполне объективное представление о применении данного метода дают монографии А.И. Александрова [1],Г.М. Голузина [10], Дюрена [38], Поммеренке [59], Д. В. Прохорова [60].

Дискретным аналогом представления однолистных функций при помощи дифференциальных уравнений является представление с помощью композиций. Одной из первых работ, где на это было обращено внимание, является статья В.В. Горяйнова [5], в которой показано, что функции вида aia2 . anpl\ орЦо. pj», aj > 1,7j GR,j = 1,n, (1) где функция pl(z) = z/a + a2z2 + . отображает D на единичный круг с радиальным разрезом с концевой точкой в е*7, образуют всюду плотный подкласс класса <S.

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

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

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

Предпосылкой для результатов первой главы послужили работы [12, 56, 58]. Работа [56] посвящена представлениям функций, отображающих D на гиперболически выпуклые треугольники с внутренними углами, равными 7г/2п,п £ N в виде: m = kiioki:-\o.oki\(z),

2) где кЦг) = ei/yka(e~ijz), 0<a<l)7eR и kQ(z) =

2az l-z+ y/(l - z)2 + 4a2z' ze P.

Функция ka(z) отображает Ю) на гиперболический двуугольник. В работе [58] получено представление для функций класса Шотки, подобное (2), однако использующее бесконечное число функций в композиции. В работе [12] рассмотрено представление для функций, отображающих Р на гиперболически выпуклый многоугольник со внутренними углами вида так же для логарифмической функции и эллиптических интегралов первого рода, но уже с помощью композиций функции квадратного корня и дробно-линейного отображения.

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

Теорема 1. Пусть дано семейство функций 6 К из класса ЬЛ, удовлетворяющее следующим двум условиям:

И). Пусть для любого а Е [0; 1] существует /3 такое, что ка -< i). r0 ЕЕ 7^(0) > Гр2 (0) при 01 <02. г/3 ф z.

Тогда композиции функций rj(z) = enrp(e nz), 7 Е К плотны в классе Л4.

Нотация f ■< g означает, что функция / подчинена функции д. В случае однолистности подчинение / -< д эквивалентно включению /(В) С д(Щ.

Второй параграф первой главы посвящен условию на семейство функций rp,/3 Е К из класса М. необходимому и достаточному для того, чтобы композиции функций Tp(z) = ellrp(e~llz), 7 G Е были плотны в классе М. Данное условие выражено в терминах параметрического метода представления однолистных функций. Хотя оно и сложноирименимо на практике, однако методика получения данного результата служит идеологической основой для результатов второй главы и в некоторой степени затрагивает методы, используемые в третьей главе.

Результаты, полученные в первой главе, вместе с работами В.В. Го-ряйнова [4, 6] послужили отправной точкой для исследований, носящих уже количественный характер, проводимых во второй главе.

Заметим, что наиболее простое семейство функций, композиции которых плотны в классе S, составляют функции вида (1). Поэтому в качестве приближающих функций выбраны именно они. Так как класс S является подмножеством пространства всех аналитических функций в В, естественно рассматривать приближения именно в этом пространстве, где топология задана с помощью полунорм z)||r = max|/(z)|,0<r< 1. (3)

МО

Во второй главе так же рассмотрена скорость приближения по полунормам вида К(/)Ь (4) где /(.) - линейный функционал на пространстве всех аналитических функций в В. Приближения по данным полунормам представляют особенный интерес, так как с помощью линейных функционалов в качестве решения экстремальной задачи вида maxRe[l(f)], описываются опорные точки класса S (см., например, /6<S

35, 34, 38, 55, 57]). В первом параграфе второй главы сформулированы следующие теоремы, составляющие основной результат второй главы.

Теорема 3. Для любой функции f G S и любых двух натуральных чисел п, т, существуют aj, = 1, 2,., пт, такие, что f-aia2. anmpl\ орЦо. pi™ | |r < 11 г2 log fi 15r2 1 2r2 1 (5) (1 -rf n + (l-r)5m + (l-r)4n' 0<r< •

Теорема 4. Для любого линейного функционала /(.) существует константа Ci такая, что для любой функции f Е <S и любого натурального п > 1 существуют = 1,.,4п, такие, что справедливо неравенство

II/ - aif*2 . • • сад* о рц О . а1^.

IЬ

Для доказательства данных теорем была выработана следующая схема построения приближения. Сначала функция / £ S аппроксимируется функцией /м £ SM, /м(г)/М £ М. Затем используя полугрупповую структуру класса М представляем функцию fm(z)/M как композицию функций из окрестности тождественного отображения. Оказывается, данную окрестность можно рассматривать как "почти линейное"пространство с "почти линейной"операцией композиции, что дает возможность использовать линейный аппарат приближения.

С помощью дайной схемы хорошо удается объяснить роль каждого слагаемого в правой части (5). Так, первое слагаемое отражает нелинейность операции композиции в окрестности тождественного отображения, второе отвечает за погрешность линейного приближения, а последнее связано с аппроксимацией функции / (Е S функцией /м £ SM, fM{z)/M £ М. Отличие полунорм ||.||/ от ||.||г заключается в том, что составляющая в оценке скорости аппроксимации, связанная с применением линейного аппарата, обращается в нуль. Поэтому две другие составляющие были объединены и оценка для полунорм ||.||/ содержит только одну составляющую.

Данная схема навязывает структуру второй главе. Второй параграф второй главы посвящен формулировке и доказательству вспомогательных результатов, носящих технический характер. Решение вынести их в отдельный параграф было принято с целью уменьшить различие в получении оценок скорости аппроксимации для полунорм ||.||г и ||.||г. Третий параграф второй главы посвящен приближению функций / £ S функциями из класса в нем получена оценка для полунорм ||.||г, и, как следствие из нее, оценка для ||.||/. В четвертом параграфе рассматривается приближение в окрестности тождественного отображения, причем для обоих видов полунорм вычисления будут проводиться параллельно, показывая, таким образом, общие места и различия в схеме аппроксимации. В пятом параграфе, комбинируя результаты двух предыдущих, будут даны оценки скорости приближения по полунормам ||.||г и ||.||j, причем рассмотрение будет вестись опять же параллельно, насколько это возможно. Важно отметить, что по полунормам ||.||; порядок приближения лучше, чем по полунормам вида ||.||г.

Последний параграф второй главы посвящен приближению специального вида функций, а именно - представимых с помощью уравнения Лёвнера. В частности, к таким функциям относятся все функции, отображающие D на плоскость с одним или несколькими разрезами по жордановым дугам. Данные функции обычно возникают в экстремальных задачах, связанных с оценками коэффициентов однолистных функций [47, 46, 63, 64]. Хотя данный результат и использует рассуждения предыдущих параграфов, он имеет несколько отличную и более простую структуру и позволит применить теорию аппроксимации в линейных пространствах для получения оценок на скорость аппроксимации для функций, представимых с помощью уравнения Лёвнера.

Пусть дана гиперболическая область D комплексной плоскости С и семейство Т функций / : D D. Назовем Fn итеративной последовательностью для семейства Тесли существует последовательность функций fntzT такая, что Fn = /1 о . о /п. Нас будет интересовать следующая проблема: При каких условиях на семейство Т и область D последовательность Fn сходится к постоянной функции внутри области D?

Данная проблема имеет достаточно длинную историю. Так, классический результат Данжуа-Вольфа [39, 66], полученный в первой четверти двадцатого века, утверждает: если семейство Т состоит из одной функции и D совпадет с единичным кругом D = {z : \z\ < 1}, то последовательность Fn сходится к постоянной функции, чье значение лежит в D. В дальнейшем вопрос о сходимости последовательности Fn при различных условиях на семейство Т и область D изучался в работах [29, 30, 31, 32, 33, 40, 49, 52, 53, 62].

Например в работе [31] отмечена тесная связь сходимости последовательности Fn и структуры полугруппы JFq, образованной из всевозможных композиций функций, принадлежащих семейству Т. Так, в ней было показано, что если не содержит постоянных функций со значениями, принадлежащими 3D, и тождественного отображения, то последовательность Fn сходится к постоянной функции, чье значение лежит в D. Это является распространением аналогичного результата, полученного в работе [29] для случая в котором D совпадает с единичным кругом D = {z : \z\ < 1}.

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

Для того, чтобы сформулировать следующий результат, нам понадобится характеристика f+(z) функции f(z) в точке определенная следующим образом: пусть pd{zi, z-i) - гиперболическое расстояние в области D между точками zi, Z2 £ D. Тогда положим f+{z) = lim рАШШ, ZiXieD.

Сформулируем результат первого параграфа в следующей теореме:

Теорема 6. Если не содержит постоянных функций, чье значение лежит в dD и точка zq G D, тогда для того, чтобы последовательность Fn сходилась к постоянной функции, необходимо и достаточно, чтобы ряд оо

1 - Sr.ТЫ) (6) п=1 расходился к бесконечности или хотя бы одна из fn была константой.

Данная теорема позволяет полностью исследовать случай, когда существует компактное множество Q С D, такое, что для любой функции / G Т справедливо f(Q) С Q. Данное следствие имеет тесную связь с работами [33, 40, 49, 52], в которых проводилось исследование: при каких условиях на область Do С D, такой, что f(D) С Do, f € T, гарантируется, что последовательность Fn имеет среди своих предельных точек только постоянные функции. Наиболее общее условие на область Do, известное в настоящее время, заключается в том, что она не должна содержать гиперболических кругов со сколь угодно большим радиусом.

Последний параграф третьей главы посвящен задаче о течении вязкой жидкости в ячейке Хеле-Шоу. Математическая модель этого явления имеет следующий вид: рассматривается двумерное потенциальное течение жидкости, описываемое с помощью поля скоростей v = (vx, Vy). Потенциальность течения выражается тем, что скорость пропорциональна градиенту давления: v = — Vp.

Используя несжимаемость жидкости, получаем, что div v = 0 или Ар = О, за исключением особенностей поля скоростей.

Рассмотрим плоскую односвязную область Do, заполненную жидкостью со стоком мощности Q. Не уменьшая общности можно считать, что область Do содержит нуль, являющийся стоком мощности Q = 1. Нас будет интересовать поведение области с жидкостью во времени:

D(t),D(0) = D0itZ 0.

Одним из удобных средств описания данного процесса являются конформные отображения. Пусть голоморфная функция f(z,t),f'(0,t)>0J(0,t) = 0 отображает единичный круг В на область D(t). В случае, когда можно пренебречь поверхностным натяжением, функция f(z, t), как т было показано в работах [3, 25], будет удовлетворять следующему граничному условию:

Же

1 djdj .z dt dz. -1, \z\ = 1. (7)

Данное граничное условие может быть сведено к уравнению того же типа, что и уравнение Лёвнера-Куфарева.

О трудности данной задачи говорит отсутствие до недавнего времени работ, посвященных оценкам времени существования решения в зависимости от начальных условий. Лишь недавно, в работе [42] было получено доказательство бесконечно долгого существования решения в случае источника и звездообразной начальной области с аналитической границей. Последний параграф третьей главы тоже посвящен нахождению оценок на время существования решения краевой задачи (7), в нем рассматривается случай стока и начальной области, заданной с помощью полиномиальной функции n fc=i

Несмотря на сложность исследуемой задачи, для нее известен целый ряд законов сохранения [20, 41, 61]. Также имеется целый ряд работ, посвященных сохранению и изменению различных геометрических характеристик области D{t) [28, 43, 44, 45].

Определяющим для получения результата на оценку времени существования является сохранение во времени степени полиномиальной функции, описывающей изменение области D(t).

Для формулировки результата введем в рассмотрение следующие величины: max\fl(z)\ = М, шах |1//q(z)\ = 1 /т. z|=i |z|=i Щ

Пусть

К =

Мт + 2ttNM т т2 и

N 2тrN2(m + M) т2 т?

Справедлива следующая

Теорема 7. Если начальное условие задано с помощью полиномиальной функции степени N, то решение краевой задачи (7) суще

Основные положения, выносимые на защиту:

1. Достаточное геометрическое условие плотности композиций из заданного семейства в классе Л4.

2. Критерий плотности композиций из заданного семейства в классе Л4 в терминах параметрического метода представления однолистных функций.

3. Приближение функций из класса S с помощью композиций функций Пика по полунормам ||.||г и |[.||/.

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

5. Задача о сходимости итеративных последовательностей.

6. Оценка времени существования решеиия в задаче Хеле-Шоу о течении вязкой жидкости.

Результаты диссертации являются новыми и получены полностью самостоятельно. Они были опубликованы в работах [13, 14, 15, 16, 17, 50, 51] и доложены на международной конференции "Complex ствует для всех t £ [0, 4кс

Analysis and Potential Theory"(Киев, 2001 г.), 11-й и 12-й Саратовских зимних школах "Современные проблемы теории функций и их приложения"(Саратов, 2002 г., 2004 г.), международной школе-конференции "Геометрический анализ и его приложения"(Волгоград, 2004 г.).

Данная работа, в ходе которой получены результаты диссертации, была поддержана следующими грантами: грант INTAS - проект 99-00089; гранты РФФИ - проекты 01-01-00123 и 04-01-00083, грант федерального агентства министерства образования РФ - проект А04-2.8-386.

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

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

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

1. Александров И.А. Параметрические продолжения в теории однолистных функций. - М.: Наука, 1976.

2. Виноградов Ю. П., Куфарев П. П. Об одной здаче фильтрации/ /Прикл. матем. и мех. 1948 - т. 12 (1948) С.181-198

3. Галин JI. А. Неустановившаяся фильтрация со свободной по-рверхпостью//ДАН СССР 1945 - t.XLVII,№ 4 С. 250-253

4. Горяйнов В. В. О сходимости однопараметрических семейств аналитических функций.//Вопросы метрической теории отображений и её применение. Киев.-"Наукова думка",1978,с.13-24

5. Горяйнов В. В. К параметрическому представлению однолистных функий. //ДАН СССР. 1979. т.245 №5, с.1038-1041

6. Горяйнов В. В. Полугруппы конформных отображений.//Мат. сб. 1986. т.129(171) JVM, с.451-472

7. Горяйнов В. В. Дробные итерации аналитических функций в единичном круге с заданными неподвижными точками. //Мат. сб. 1991. т. 182 №, с.1281-1299

8. Горяйнов В. В. Дробное итерирование вероятностных производящих функций и вложение дискретных ветвящихся процессов в непрерывные.//Мат. сб. 1986. т.184 №5, с.55-72

9. Голузин Г. М. О параметрическом представлении функций, однолистных в кольце//Мат. сб. 1951. т.29(71) №2, с.469-476

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

11. Гутлянский В. Я. Параметрическое представление однолистных функций//ДАН СССР, 1970,т. 194, в. 4, с. 750-753.

12. Кузнецов А. А., Гуменюк П. А. Представление аналитических функций в ввиде бесконечных композиций//Материалы XXXVIII международной научной студенческой конференции "Студент и научно-технический прогресс". Математика часть 1. стр. 38. Новосибирск. 2000.

13. Кузнецов А. А. Представления однолистных функций в виде бесконечных композиций//Тезисы докладов 11 Саратовской зимней школы по теории функций и приближений. Саратов, 2002, 108-109

14. Кузнецов А. А. Представления однолистных функций в виде бесконечных композиций//Известия вузов. Математика, № 10, 2002, 53-63.

15. Кузнецов А. А. Аппроксимация однолистных функций композициями // Современные проблемы теории функций и их приложения. Тезисы докладов. Издательство ГосУНЦ "Колледж", 2004, 110-111

16. Кузнецов А. А. Аппроксимация однолистных функций композициями/ /Тез.докл. междун. шк.-конф Геометрический анализ и его приложения. Волгоград. 24-30 мая 2004, 103-104

17. Кузнецов А. А. Приближение однолистных функций композициями по полунормам, заданными линейными функционалами/ /Математика. Механика. Т.6. Саратов: Издательство Саратовского университета, 2004, 73-7718