WikiDer > Теорема Данжуа – Вольфа

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

Заявление

Теорема. Позволять D быть открытым единичным диском в C и разреши ж - отображение голоморфной функции D в D который не является автоморфизмом D (т.е. Преобразование Мёбиуса). Тогда есть единственная точка z в закрытии D так что итерации ж как правило z равномерно на компактных подмножествах D. Если z лежит в D, это единственная неподвижная точка ж. Отображение ж оставляет неизменным гиперболические диски сосредоточен на z, если z лежит в D, а касательные к единичной окружности в точках z, если z лежит на границе D.

Когда фиксированная точка находится в z = 0 гиперболические диски с центром z - это просто евклидовы диски с центром 0. В противном случае ж можно сопрягать преобразованием Мёбиуса так, чтобы неподвижная точка была равна нулю. Ниже приводится элементарное доказательство теоремы, взятое из Шапиро (1993) и Буркель (1981). Два других коротких доказательства можно найти в Карлесон и Гамлен (1993).

Доказательство теоремы

Неподвижная точка на диске

Если ж имеет фиксированную точку z в D то после сопряжения преобразованием Мёбиуса можно считать, что z = 0. Пусть M(р) - максимальный модуль ж на | z | = р <1. По Лемма Шварца^[1]

${ Displaystyle | е (г) | leq дельта (г) | г |,}$

для |z| ≤ р, куда

${ Displaystyle дельта (г) = {М (г) над г} <1.}$

Путем итерации следует, что

${ Displaystyle | е ^ {п} (г) | Leq дельта (г) ^ {п}}$

для |z| ≤ р. Эти два неравенства и означают результат в данном случае.

Нет фиксированных точек

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

Возьмите последовательность ${ displaystyle r_ {k}}$ увеличивая до 1 и установите^[2][3]

${ displaystyle f_ {k} (z) = r_ {k} f (z).}$

Применяя Теорема Руше к ${ displaystyle f_ {k} (z) -z}$ и ${ Displaystyle г (г) = г}$, ${ displaystyle f_ {k}}$ имеет ровно один ноль ${ displaystyle z_ {k}}$ в D. Переходя при необходимости к подпоследовательности, можно считать, что ${ displaystyle z_ {k} rightarrow z.}$ Смысл z не может лежать в D, потому что, переходя к пределу, z должна быть фиксированной точкой. Результат для случая неподвижных точек означает, что отображения ${ displaystyle f_ {k}}$ оставить инвариантными все евклидовы диски, гиперболический центр которых расположен в ${ displaystyle z_ {k}}$. Явные вычисления показывают, что при k возрастает, можно выбрать такие диски так, чтобы они стремились к любому данному диску, касающемуся границы в точке z. По преемственности, ж оставляет каждый такой диск Δ инвариантным.

Чтобы увидеть это ${ displaystyle f ^ {n}}$ сходится равномерно на компактах к постоянной z, достаточно показать, что то же самое верно для любой подпоследовательности ${ displaystyle f ^ {n_ {k}}}$, сходящаяся в том же смысле к грамм, сказать. Такие ограничения существуют Теорема Монтеля, и еслиграмм непостоянна, можно также считать, что ${ displaystyle f ^ {n_ {k + 1} -n_ {k}}}$ имеет предел, час сказать. Но потом

${ Displaystyle ч (г (ш)) = г (ш),}$

за ш в D.

С час голоморфен и грамм(D) открыто,

${ Displaystyle ч (ш) = ш}$

для всех ш.

Параметр ${ displaystyle m_ {k} = n_ {k + 1} -n_ {k}}$, можно также считать, что ${ displaystyle f ^ {m_ {k} -1}}$ сходится к F сказать.

Но потом ж(F(ш)) = ш = ж(F(ш)), что противоречит тому, что ж не является автоморфизмом.

Следовательно, каждая подпоследовательность стремится к некоторой константе равномерно на компактах в D.

Инвариантность Δ означает, что каждая такая постоянная лежит в замыкании каждого диска Δ и, следовательно, их пересечения, единственной точки z. По теореме Монтеля следует, что ${ displaystyle f ^ {n}}$ сходится равномерно на компактах к постоянной z.

Примечания

Рекомендации

• Бирдон, А. Ф. (1990), "Итерация сжатий и аналитических отображений", J. London Math. Soc., 41: 141–150
• Буркель, Р. Б. (1981), "Итерационные аналитические отображения дисков в себя", Амер. Математика. Ежемесячно, 88: 396–407, Дои:10.2307/2321822
• Карлесон, Л .; Гамелин, Т. Д. У. (1993), Сложная динамика, Universitext: Tracts in Mathematics, Springer-Verlag, ISBN 0-387-97942-5
• Denjoy, A. (1926), "Sur l'itération des fonctions analytiques", C. R. Acad. Sci., 182: 255–257
• Шапиро, Дж. Х. (1993), Операторы композиции и классическая теория функций, Universitext: Tracts in Mathematics, Springer-Verlag, ISBN 0-387-94067-7
• Шойхет, Д. (2001), Полугруппы в геометрической теории функций, Kluwer Academic Publishers, ISBN 0-7923-7111-9
• Стейнмец, Норберт (1993), Рациональная итерация. Сложные аналитические динамические системы, Исследования де Грюйтера по математике, 16, Вальтер де Грюйтер и Ко, ISBN 3-11-013765-8
• Вольф, Дж. (1926), "Sur l'itération des fonctions holomorphes dans une région, et dont les valeurs appartiennent a cette région", C. R. Acad. Sci., 182: 42–43
• Вольф, Дж. (1926), "Sur l'itération des fonctionsbornées", C. R. Acad. Sci., 182: 200–201
• Вольф, Дж. (1926), "Sur une généralisation d'un théorème de Schwarz", C. R. Acad. Sci., 182: 918–920