Однолистные отображения
[88/95%]Если целая рациональная функция
однолистна в единичном круге , то .
Если функция однолистно отображает единичный круг на область и однолистна в , то однолистна в .
Пусть функция однолистна в единичном круге и . Тогда функция
(где взята какая-нибудь определенная ветвь квадратного корня) также будет однолистна в . То же самое справедливо для при любом целом положительном .
Функция , определенная в задаче 79, является наиболее общей нечетной функцией, однолистной в единичном круге . Точнее говоря: какова бы ни была нечетная функция , однолистная в , существует такая функция , однолистная в , из которой получается указанным в 79 образом.
Пусть открытый круг взаимно однозначно и конформно отображается на область , и при этом, в частности, содержащийся в концентрический круг отображается на некоторую часть области . Обозначим площади соответствующих областей через , , , . Тогда
Равенство имеет место тогда и только тогда, когда отображение осуществляется с помощью целой линейной функции. [III 124.]
Пусть открытый круг взаимно однозначно и конформно отображается на область , причем центр круга переходит в точку области . Пусть — поверхностное искажение в [III, часть I, стр. 123]. Тогда (в обозначениях задачи 81)
Равенство имеет место тогда и только тогда, когда отображение осуществляется с помощью целой линейной функции. (Предельный случай теоремы 81.)
Пусть открытое круговое кольцо однозначно и конформно отображается на двусвязную область . Обозначим наименьший открытый круг, содержащий , через ; точки этого круга, не принадлежащие , заполняют некоторый замкнутый круг . Аналогично через обозначим наименьшую односвязную область, содержащую , и через — множество точек области , не принадлежащих ( замкнуто). Если окружности кольца , концентрические с и , и кривые области , в которые переходят эти окружности при отображении, обходятся в одинаковом направлении, то для площадей , , и имеет место соотношение
Равенство достигается только тогда, когда отображение осуществляется с помощью целой линейной функции. (Обобщение теоремы 81, но не ее следствие!)
Взаимно однозначное конформное отображение, при котором открытый круг преобразуется сам в себя с сохранением центра, представляет собой поворот около центра.
Пусть два открытых круговых кольца, ограниченных попарно концентрическими окружностями и имеющих общую внешнюю границу, взаимно однозначно и конформно отображаются друг на друга так, что при этом окружности, концентрической с граничной окружностью в одном кольце, соответствует в другом кольце кривая, обходимая в том же направлении. Тогда оба круговых кольца совпадают и конформное отображение представляет поворот около центра.
Не существует двух различных функций , однолистно отображающих единичный круг на заданную область так, что при этом переходит в заданную точку области и .
Единственными функциями, однолистно и конформно отображающими единичный круг сам на себя, являются линейные функции
где вещественно, .
При отображении, осуществляемом с помощью формулы
точке плоскости соответствуют, вообще говоря, две точки плоскости . Какие точки составляют исключение?
, , вещественно, и определено так, что при . Отображение не зависит от (одного и того же в числителе и знаменателе) выбора знака при . По поводу 88—96 см. P. Koebe, J. für Math., т. 145, стр. 177—225, 1915; см. также E. Lindelöf, Quatrième congrès des math. scandinaves à Stockholm, 1916, стр. 59—75, Upsala, Almqvist Wicksells, 1920.
Пусть — односвязная область плоскости , лежащая в круге и содержащая точку . Осуществим отображение задачи 88, принимая за ближайшую к точку на границе области , (если таких точек не одна, то выбираем из них, скажем, точку с наименьшим аргументом, ). Тогда это отображение относит области две области и плоскости , из которых одна, , содержит точку , а другая, , ее не содержит. и не имеют общих точек, хотя и обладают по меньшей мере одной общей граничной точкой; обе они содержатся внутри единичного круга.
Исследовать область Кёбе для области, получаемой из единичного круга посредством удаления отрезка , . Определить, в частности, граничную точку, ближайшую к нулевой.
Исследовать область Кёбе для круга , и определить ближайшую к нулевой и наиболее удаленную от нее граничные точки.
Каждая точка области Кёбе для более удалена от нулевой точки, чем соответствующая ей точка области .
Пусть — область Кёбе для , — область Кёбе для , — для и т. д. Пусть далее — ближайшие к нулевой граничные точки соответственно областей Тогда
(Продолжение.) При помощи отображения Кёбе однозначно и конформно отображается на , — на , — на . Пусть результирующее отображение области на осуществляется посредством аналитической функции ( пробегает точки области ). Имеем
Выразить через .
Показать на основании 94, что для точек задачи 93 имеет место предельное соотношение
(Продолжение задач 93, 94.) В каждой точке области существует
причем во всякой внутренней замкнутой области сходимость равномерна. Предельная функция однолистно отображает область на внутреннюю область единичной окружности.
Вычислить внутренний радиус и внешний радиус окружности , , .
Вычислить внутренний радиус внешней круговой области ( конечно, ), а также .
Вычислить для угла , .
При преобразованиях подобия с отличным от нуля линейным искажением внешний, соотв. внутренний, радиус увеличивается в отношении . Точнее: если область переходит в , конечная точка — в , то между внутренним радиусом области относительно точки и внутренним радиусом области относительно точки имеет место следующее соотношение:
Аналогично для внешнего радиуса.
Внешний радиус отрезка длины дается равенством
Внешний радиус эллипса, оси которого в сумме составляют , дается равенством
Вычислить внутренний радиус открытой полуплоскости относительно содержащейся в ней точки, отстоящей от границы на расстояние .
Пусть — внутренний радиус области плоскости и однолистное отображение
преобразует в некоторую область плоскости . Пусть, далее, — внутренний радиус области относительно точки . Тогда
Аналогичное соотношение имеет место при отображении вида
Вычислить внешний радиус кривой, составленной из окружности и вещественных отрезков
Вычислить внутренний радиус бесконечной параллельной полосы ширины относительно содержащейся в ней точки, кратчайшее расстояние которой до границы полосы равно .
Пусть — любая конечная точка области плоскости . Дробно-линейное преобразование переводит в область , содержащую бесконечно удаленную точку. Показать, что внутренний радиус области относительно равен обратной величине внешнего радиуса области, дополнительной к .
Рассмотрим область , получающуюся при удалении из единичного круга вещественных отрезков , , , . Вычислить внутренний радиус области относительно нулевой точки.
Неравенства
выделяют в плоскости круговой двуугольник ; вершинами его служат и , а стороны составляют между собой угол . Чему равен внешний радиус области ? Рассмотреть случаи
Пусть и — точки области , — нормированная отображающая функция, соответствующая точке . Тогда
Вычислить нормированную отображающую функцию плоскости, разрезанной вдоль прямой , относительно нулевой точки и исследовать изменение внутреннего радиуса , когда пробегает все вещественные значения от до .
Пусть — замкнутая аналитическая кривая. (Следовательно, нормированная отображающая функция, соответствующая произвольной точке внутренней области кривой , продолжаема за и в различных точках принимает различные значения.) Показать, что если точка , заключающаяся во внутренней области кривой , приближается к некоторой точке этой кривой, то внутренний радиус стремится к нулю.
Пусть в точке области внутренний радиус достигает относительного максимума. Показать, что тогда у нормированной отображающей функции
соответствующей точке , коэффициент равен нулю.
Каково геометрическое место тех точек верхней полуплоскости , для которых внутренний радиус этой полуплоскости сохраняет постоянное значение?
Пусть — конечная область плоскости , — произвольная точка этой области и — целое положительное число. Преобразование сопоставляет некоторую область , «-кратно симметричную» относительно нулевой точки. Точка тогда и только тогда принадлежит области , когда есть точка области . Показать, что внутренний радиус области относительно точки и внутренний радиус области относительно точки связаны соотношением
Аналогичное соотношение имеет место для внешнего радиуса при преобразовании , если не содержится в .
Вычислить внутренний радиус плоскости , разрезанной вдоль лучей
К какому пределу стремится , когда приближается к концу соответствующего выреза вдоль отрезка
Вычислить внешний радиус плоскости, разрезанной вдоль отрезков
Пусть — произвольная область плоскости и — некоторая конечная точка этой области. Нормированная отображающая функция , соответствующая точке , и внутренний радиус обладают следующим экстремальным свойством: среди всех функций вида
регулярных в области , обладает наименьшим максимумом модуля в ; этот «minimum maximorum» равен . Точнее говоря: если — верхняя грань модуля в области , то
Равенство достигается только тогда, когда .
В случае, если содержит бесконечно удаленную точку, аналогичным свойством обладают отображающая функция, соответствующая бесконечно удаленной точке, и внешний радиус области, дополнительной к ; отображение на круг выделяется посредством «maximum minimorum».
Пусть — область, симметричная относительно вещественной оси, вещественно. Тогда в разложении по степеням нормированной отображающей функции, соответствующей , все коэффициенты вещественны. Если содержит бесконечно удаленную точку, то аналогичным свойством обладает нормированная отображающая функция, соответствующая бесконечно удаленной точке.
Пусть — область, симметричная относительно нулевой точки. Тогда в степенном ряде для нормированной отображающей функции, соответствующей нулевой точке, содержатся только нечетные степени . Если содержит бесконечно удаленную точку, то аналогичным свойством обладает нормированная отображающая функция, соответствующая бесконечно удаленной точке.
Пусть — правильная часть области , и — внутренние радиусы областей и относительно одной и той же точки , лежащей в . Тогда
Аналогичное неравенство имеет место для внешних радиусов.
Пусть — произвольная область, — некоторая конечная точка этой области и , соответственно , — радиус наибольшей (соответственно наименьшей) окружности с центром в , содержащейся в (соответственно содержащей ). Имеем , , конечно или бесконечно. Далее
причем равенство имеет место только тогда, когда — открытый круг с центром .
Пусть область содержит бесконечно удаленную точку и — точка дополнительной области . Обозначим через , соотв. , радиус наибольшего, соотв. наименьшего, замкнутого круга с центром в , содержащегося в , соотв. содержащего . Имеем , , конечно. Далее
причем равенство имеет место только тогда, когда — замкнутый круг.
Пусть — длина замкнутой простой непрерывной кривой . Показать, что для всякой точки , лежащей во внутренней области кривой ,
Равенство имеет место только для окружностей с центром в . Аналогичное неравенство имеет место для внешнего радиуса.
Пусть — длина периметра эллипса с неравными полуосями и . Дать два различных доказательства (с применением конформного отображения и без него) неравенства
Правая часть дает удобное приближение для , когда и мало отличаются друг от друга.
Пусть — длина периметра эллипса с неравными полуосями и . Дать два различных доказательства (с применением конформного отображения и без него) неравенства
Правая часть дает удобное приближение для , когда и мало отличаются друг от друга.
Пусть область имеет внутреннюю жорданову меру . Показать, что для любой конечной точки , содержащейся в ,
Равенство имеет место лишь для круга .
Пусть дополнение области , содержащей бесконечно удаленную точку, имеет внешнюю жорданову меру . Тогда
Равенство имеет место лишь в том случае, когда — круг.
Пусть замкнутая простая непрерывная кривая имеет внешний радиус и внутренний радиус , где — произвольная точка внутренней области кривой . Тогда
Равенство имеет место тогда и только тогда, когда — окружность и — ее центр.
G. Pólya, Deutsche Math.-Ver., т. 31, стр. 111, сноска, 1922.
Пусть — замкнутая простая непрерывная кривая, охватывающая нулевую точку, — ее внешний радиус и — внутренний радиус относительно нулевой точки. Пусть, далее, — полином с младшим членом и старшим членом :
и — максимум на кривой . Тогда
Равенство имеет место тогда и только тогда, когда — окружность с центром в нулевой точке и полином имеет вид .
Пусть функция регулярна, имеет положительную вещественную часть внутри области, ограниченной замкнутой простой непрерывной кривой , и непрерывна, включая границу. Если вещественная часть функции обращается в нуль на некоторой дуге кривой , то мнимая часть функции монотонно убывает при положительном обходе дуги .
Отобразим полосу на круг таким образом, чтобы при этом точка переходила в центр круга . Чему равна длина дуги окружности , отвечающей при этом отображении вещественной оси ? (При и тривиально.) Как изменяется указанная дуга при возрастании ?
Пусть замкнутые простые непрерывные кривые и имеют конечное число общих дуг и внутренняя область кривой содержится во внутренней области кривой . ( состоит из четного числа дуг, проходящих попеременно внутри и на границе области, ограничиваемой кривой .)
Отобразим внутреннюю область кривой , а затем кривой на одну и ту же внутреннюю круговую область так, чтобы в том и другом случае некоторая точка , принадлежащая внутренней области кривой , переходила в центр круга. Оба отображения сопоставляют дугам кривых и вполне определенные дуги граничной окружности [см. заключительное замечание определительного текста перед задачей 97].
Доказать, что длина дуги круга, соответствующей какой-либо общей дуге кривых и , при отображении меньшей области (ограниченной ) будет меньше, чем при отображении большей (ограниченной ). Пример: 130.
K. Löwner.
Дать электростатическую интерпретацию теоремы 131.
Пусть замкнутые простые непрерывные кривые и имеют лишь конечное число общих точек и ограничиваемые ими области — общую часть . Пусть далее — точка области и — связная часть области , содержащая . Дуги кривых и , лежащие на границе , назовем «видимыми» из , не лежащие же на этой границе — «закрытыми». (Слова «видимые» и «закрытые» имеют обычный смысл, если кривые и звездообразны относительно .)
Отобразим сначала внутреннюю область кривой , а затем кривой на внутреннюю область единичного круга так, чтобы в обоих случаях переходила в центр круга. Тогда образы «видимых» частей кривой займут бо́льшую часть единичной окружности, чем образы «закрытых» частей кривой . (Для большей наглядности представим себе в виде окружности с центром в .)
Пусть — некоторая замкнутая область, — ее внутренняя точка и — совокупность граничных точек области , отстоящих от на расстояние, не превышающее . Пусть дуги окружности радиуса с центром в , не принадлежащие , имеют общую длину .
Пусть, далее, функция регулярна и однозначна внутри и непрерывна на границе области , причем в точках множества имеем , а в остальных граничных точках области , . Тогда
Более точная оценка, чем в III 276.
Пусть односвязная область плоскости удовлетворяет следующим условиям:
-
лежит в круге , ,
-
содержит круг ,
-
содержит дугу единичной окружности
-
дополнительная дуга единичной окружности
принадлежит границе области . Пусть, далее, взаимно однозначно и конформно отображается с помощью функции на единичный круг так, что при этом , .
Если при возрастании «перешеек», соединяющий единичный круг с остальной частью области , все более и более стягивается, т. е. если , то
независимо от того, как ведет себя часть области , лежащая за пределами единичного круга.
Пусть функция
регулярна во внешней круговой области и однолистно отображает эту область на область , содержащую бесконечно удаленную точку. Тогда
В частности, , причем равенство имеет место тогда и только тогда, когда представляет собой плоскость, разрезанную вдоль отрезка длины .
L. Bieberbach, Berl. Ber. 1916, стр. 940—955; G. Faber, Münch. Ber. 1916, стр. 39—42.
(Продолжение.) Во внешней круговой области
Равенство имеет место тогда и только тогда, когда функция имеет вид
, и достигается в точке . Какой вид имеет в этом случае область ?
При отображении, указанном в задаче 136, все кривые плоскости , соответствующие концентрическим окружностям радиуса больше единицы с центром в , — так называемые линии уровня — имеют общий конформный центр тяжести [III 129]. Мы будем называть конформным центром тяжести области .
K. Löwner, Math. Zeitschr., т. 3, стр. 69—72, 1919.
Пусть односвязная область содержит бесконечно удаленную точку и симметрична относительно некоторой точки . Тогда служит конформным центром тяжести области .
(Продолжение задачи 136.) Если область не содержит нулевой точки, то конформный центр тяжести этой области лежит внутри круга радиуса с центром в нулевой точке. Иными словами,
Равенство имеет место тогда и только тогда, когда представляет собой плоскость, разрезанную вдоль отрезка длины , выходящего из нулевой точки.
G. Faber, l. c. 136.
(Продолжение.) Расстояние произвольной граничной точки области от конформного центра тяжести не превосходит двух. Более того, для всех , за исключением особого случая, указанного в конце задачи 136, .
L. Bieberbach, l. c. 136.
(Продолжение.) Максимальное расстояние между граничными точками области (диаметр границы области ) заключается между двумя и четырьмя:
Равенство в нижней оценке имеет место только тогда, когда представляет собой внешнюю область некоторого круга радиуса , а в верхней оценке — когда есть плоскость с вырезом вдоль отрезка длины (см. задачу 136).
См. L. Bieberbach, Math. Ann., т. 77, стр. 153—172, 1916.
Среди всех непрерывных криволинейных дуг, соединяющих две неподвижные точки, наименьший внешний радиус имеет прямолинейный отрезок.
Пусть область задачи 136 имеет конформным центром тяжести . Тогда
Равенство имеет место только для отображения , вещественно.
K. Löwner, l. c. 137, стр. 74—75.
(Продолжение.) При указанном отображении ни одна точка не может сместиться со своего первоначального положения больше чем на . Иными словами,
G. Faber, Münch. Ber. 1920, стр. 49—64.
Исследовать смещение [144] при отображении внешней круговой области на плоскость, разрезанную вдоль подковообразной кривой, состоящей из трех прямолинейных отрезков, последовательно соединяющих точки
Рассмотреть, в частности, случай, когда , , и показать на этом примере, что коэффициент в неравенстве задачи 144 не может быть заменен меньшим.
K. Löwner.
Пусть функция
регулярна и однолистна в единичном круге . Тогда
причем равенство имеет место лишь для функций вида
L. Bieberbach, l. c. 136.
Пусть функция
однолистна в круге . Если область плоскости , на которую отображается этот круг, не содержит бесконечно удаленной точки, то она целиком содержит открытый круг . Иными словами, обозначая через кратчайшее расстояние границы области от точки , имеем . Более того, , если только не представляет собой плоскости, разрезанной вдоль луча , .
G. Faber, l. c. 136, 144; L. Bieberbach, l. c. 136. Теорема содержится, правда, без приведения точных значений постоянных, уже у P. Koebe, Gött. Nachr. 1907, стр. 197—210.
Неравенство задачи 147 можно уточнить следующим образом:
(См. 146.) Равенство достигается для области, указанной в 147.
(Продолжение задачи 147.) Отрезок, соединяющий две граничные точки области и проходящий через нулевую точку, мы будем называть главной хордой области . Всякая главная хорда области имеет длину, не меньшую чем . Указанная нижняя граница достигается лишь в том случае, когда область представляет собой плоскость, разрезанную вдоль обоих лучей , вещественно, . (116.)
См. G. Szegö, Deutsche Math.-Ver., т. 31, стр. 42, 1922; т. 32, стр. 45, 1923.
(Продолжение задачи 146.) В единичном круге выполняется неравенство
Равенство имеет место только тогда, когда область, в которую отображается указанный круг, представляет собой плоскость с прямолинейным вырезом.
См. G. Pick, l. c. 151; далее L. Bieberbach, Math. Zeitschr., т. 4, стр. 295—305, 1919; R. Nevanlinna, Översikt av Finska Vetenskaps-Soc. Förh., т. 62 (A), № 7, 1919—1920.
(Теорема Кёбе о линейном искажении, так называемый Verzerrungssatz.) Пусть функция
регулярна и однолистна в единичном круге и — положительное число, . Тогда в круге имеют место неравенства
Равенство может достигаться только при отображениях вида
По поводу 151, 152, 156, 157 см. P. Koebe, l. c. 147; G. Plemelj, Verhandl. d. deutschen Naturforsch., т. 85, III, стр. 163, 1913; G. Pick, Leipz. Ber., т. 68, стр. 58—64, 1916; G. Faber, L. Bieberbach, l. c. 136; см., кроме того, T. H. Gronwall, C. R., т. 162, стр. 249—252, 1916.
(Продолжение.) В круге имеет место неравенство
Равенства достигаются только при отображениях, указанных в задаче 151.
Неравенство задачи 152 можно уточнить следующим образом: в круге
Равенства достигаются для тех же отображений, что и в 151. (Обобщение теоремы 148.)
T. H. Gronwall, Nat. Acad. Proc., т. 6, стр. 300—302, 1920; R. Nevanlinna, l. c. 161, стр. 17, сноска.
Для нечетных функций неравенство задачи 152 можно уточнить следующим образом:
Равенство достигается только для .
T. Radó, задача; Deutsche Math.-Ver., т. 32, стр. 15, 1923.
(Продолжение.) Имеем
(Продолжение задачи 152.) Пусть — целое положительное число. Существует такая функция , зависящая только от и , , что для каждой функции задачи 151 в круге выполняется неравенство
(Продолжение.) Пусть — целое положительное число, . Существует такая зависящая только от постоянная , что для каждой функции задачи 151 выполняется неравенство
Пусть — наименьшая из этих постоянных. Тогда
\omega _{n} \leqslant \frac{1}{4} \frac{(n+1)^{n+1}}{(n-1)^{n-1}}\footnote{Эта граница $<\frac{e^{2}}{4} n^{2}$.} .L. Bieberbach, Math. Zeitschr., т. 2, стр. 161—162, сноска 5, 1918.
(Продолжение.) Имеем
(Продолжение.) Имеет место следующее уточнение неравенства задачи 157:
J. E. Littlewood. См. Proc. Lond. M. Soc. (2), т. 22, № 4, 1923.
Для функций
в единичном круге однолистных и по модулю меньших, чем , неравенство задачи 146 можно уточнить следующим образом: (равенство только для ) и
Когда достигается равенство?
G. Pick, Wien. Ber., т. 126, стр. 247—263, 1917.
Пусть функция
регулярна в круге и отображает его на область, звездообразную относительно нулевой точки [III 109]. Тогда
Равенство имеет место только для функций вида
R. Nevanlinna, Översikt av Finska Vetenskaps-Soc. Förh., т. 63 (A), № 6, 1920—1921.
Пусть функция
регулярна в единичном круге и отображает его на некоторую выпуклую область [III 108]. Тогда
Равенство имеет место лишь для функций вида
при этом круг переходит в полуплоскость, которая содержит нулевую точку и граничная прямая которой отстоит от этой точки на расстояние .
T. H. Gronwall, l. c. 151; K. Löwner, Leipz. Ber., т. 69, стр. 89—106, 1917.
Если функция регулярна и однолистна в единичном круге , то все круги при отображаются с ее помощью на выпуклые области. Это число — граница выпуклости — не может быть заменено меньшим.
См. E. Study, Vorlesungen über ausgewählte Gegenstände der Geometrie, Heft 2, Leipzig, B. G. Teubner, 1913; R. Nevanlinna, l. c. 161.