Сложная динамика

Отделение математики

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

Динамика в комплексном измерении 1

Простой пример, показывающий некоторые основные проблемы сложной динамики, — это отображение комплексных чисел C в себя. Полезно рассматривать это как отображение комплексной проективной линии в себя путем добавления точки к комплексным числам. ( имеет преимущество компактности . ) Основной вопрос: для данной точки в , как ее орбита (или передняя орбита ) ${\displaystyle f(z)=z^{2}}$ ${\displaystyle \mathbf {CP} ^{1}}$ ${\displaystyle \infty }$ ${\displaystyle \mathbf {CP} ^{1}}$ ${\displaystyle z}$ ${\displaystyle \mathbf {CP} ^{1}}$

${\displaystyle z,\;f(z)=z^{2},\;f(f(z))=z^{4},f(f(f(z)))=z^{8},\;\ldots }$

вести себя качественно? Ответ: если абсолютное значение | г | меньше 1, то орбита сходится к 0, причем более чем экспоненциально быстро. Если | г | больше 1, то орбита сходится к точке в снова более чем экспоненциально быстро. (Здесь 0 и являются суперпритягивающими фиксированными точками f , что означает, что производная f равна нулю в этих точках. Притягивающая фиксированная точка означает точку , в которой производная f имеет абсолютное значение меньше 1.) ${\displaystyle \infty }$ ${\displaystyle \mathbf {CP} ^{1}}$ ${\displaystyle \infty }$

С другой стороны, предположим , что это означает, что z находится на единичной окружности в C . В этих точках динамика f по-разному хаотична. Например, почти для всех точек z на окружности с точки зрения теории меры прямая орбита z плотна в окружности и фактически равномерно распределена по окружности. На окружности также бесконечно много периодических точек , то есть точек с некоторым положительным целым числом r . (Здесь имеется в виду результат применения f к z r раз, .) Даже в периодических точках z на окружности динамику f можно считать хаотичной, поскольку точки вблизи z экспоненциально быстро расходятся от z при итерации f . (Периодические точки f на единичном круге отталкиваются : если производная в точке z имеет абсолютное значение больше 1.) ${\displaystyle |z|=1}$ ${\displaystyle f^{r}(z)=z}$ ${\displaystyle f^{r}(z)}$ ${\displaystyle f(f(\cdots (f(z))\cdots ))}$ ${\displaystyle f^{r}(z)=z}$ ${\displaystyle f^{r}}$

Пьер Фату и Гастон Жюли показали в конце 1910-х годов, что большая часть этой истории распространяется на любое комплексное алгебраическое отображение из себя степени больше 1. (Такое отображение может быть задано многочленом с комплексными коэффициентами или, в более общем смысле, рациональным функция.) А именно, всегда существует компактное подмножество , множество Жюлиа , на котором динамика f хаотична. Для отображения множество Жюлиа представляет собой единичный круг. Для других полиномиальных отображений множество Жюлиа часто бывает очень нерегулярным, например, фракталом в том смысле, что его хаусдорфова размерность не является целым числом. Это происходит даже для таких простых отображений, как константа . Множество Мандельброта — это набор комплексных чисел c таких , что множество Жюлиа связно . ${\displaystyle \mathbf {CP} ^{1}}$ ${\displaystyle f(z)}$ ${\displaystyle \mathbf {CP} ^{1}}$ ${\displaystyle f(z)=z^{2}}$ ${\displaystyle f(z)=z^{2}+c}$ ${\displaystyle c\in \mathbf {C} }$ ${\displaystyle f(z)=z^{2}+c}$

Множество Жюлиа многочлена с . ${\displaystyle f(z)=z^{2}+az}$ ${\displaystyle a\doteq -0.5+0.866i}$

Множество Жюлиа многочлена с . Это множество Кантора . ${\displaystyle f(z)=z^{2}+c}$ ${\displaystyle c\doteq 0.383-0.0745i}$

Существует довольно полная классификация возможной динамики рациональной функции в множестве Фату , дополнении множества Жюлиа, где динамика «ручная». А именно, Деннис Салливан показал, что каждый связный компонент U множества Фату является предпериодическим, а это означает, что существуют натуральные числа такие, что . Поэтому для анализа динамики на компоненте U можно после замены f на итерацию предположить, что . Тогда либо (1) U содержит притягивающую неподвижную точку для f ; (2) U является параболическим в том смысле, что все точки U приближаются к фиксированной точке на границе U ; (3) U — диск Зигеля , что означает, что действие f на U сопряжено иррациональному вращению открытого единичного диска; или (4) U — кольцо Германа , что означает, что действие f на U сопряжено иррациональному вращению открытого кольца . ^[1] (Обратите внимание, что «обратная орбита» точки z в U , набор точек в этом отображении на z при некоторой итерации f , не обязательно должна содержаться в U. ) ${\displaystyle f\colon \mathbf {CP} ^{1}\to \mathbf {CP} ^{1}}$ ${\displaystyle a<b}$ ${\displaystyle f^{a}(U)=f^{b}(U)}$ ${\displaystyle f(U)=U}$ ${\displaystyle \mathbf {CP} ^{1}}$

Равновесная мера эндоморфизма

Сложная динамика эффективно развита в любом измерении. В этом разделе основное внимание уделяется отображениям комплексного проективного пространства в себя, что является богатейшим источником примеров. Основные результаты были распространены на класс рациональных отображений любого проективного многообразия в себя. ^[2] Однако обратите внимание, что многие разновидности не имеют интересных автокарт. ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle \mathbf {CP} ^{n}}$

Пусть f будет эндоморфизмом , то есть морфизмом алгебраических многообразий из себя, для положительного целого числа n . Такое отображение задается в однородных координатах формулой ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle \mathbf {CP} ^{n}}$

${\displaystyle f([z_{0},\ldots ,z_{n}])=[f_{0}(z_{0},\ldots ,z_{n}),\ldots ,f_{n}(z_{0},\ldots ,z_{n})]}$

для некоторых однородных многочленов одной и той же степени d , не имеющих общих нулей в . (По теореме Чоу это то же самое, что голоморфное отображение из в себя.) Предположим, что d больше 1; тогда степень отображения f равна , что также больше 1. ${\displaystyle f_{0},\ldots ,f_{n}}$ ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle d^{n}}$

Тогда существует единственная вероятностная мера на , равновесная мера f , которая описывает наиболее хаотичную часть динамики f . (Ее также называли мерой Грина или мерой максимальной энтропии .) Эта мера была определена Гансом Бролином (1965) для полиномов от одной переменной, Александром Фрейре, Артуром Лопесом , Рикардо Манье и Михаилом Любичем для (около 1983 года) и Джона Хаббарда , Питера Пападопола, Джона Форнесса и Нессима Сибони в любом измерении (около 1994 г.). ^[3] Малое множество Жюлиа является носителем равновесной меры в ; это просто набор Джулии, когда . ${\displaystyle \mu _{f}}$ ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle n=1}$ ${\displaystyle J^{*}(f)}$ ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle n=1}$

Примеры

• Для отображения на равновесной мерой является мера Хаара (стандартная мера, масштабированная до полной меры 1) на единичной окружности . ${\displaystyle f(z)=z^{2}}$ ${\displaystyle \mathbf {CP} ^{1}}$ ${\displaystyle \mu _{f}}$ ${\displaystyle |z|=1}$
• В более общем смысле, для целого числа пусть будет отображение ${\displaystyle d>1}$ ${\displaystyle f\colon \mathbf {CP} ^{n}\to \mathbf {CP} ^{n}}$

${\displaystyle f([z_{0},\ldots ,z_{n}])=[z_{0}^{d},\ldots ,z_{n}^{d}].}$

Тогда равновесная мера — это мера Хаара на n -мерном торе. Для более общих голоморфных отображений из в себя равновесная мера может быть гораздо более сложной, как это видно уже в комплексной размерности 1 из изображений множеств Жюлиа. ${\displaystyle \mu _{f}}$ ${\displaystyle \{[1,z_{1},\ldots ,z_{n}]:|z_{1}|=\cdots =|z_{n}|=1\}.}$ ${\displaystyle \mathbf {CP} ^{n}}$

Характеристики равновесной меры

Основное свойство равновесной меры состоит в том, что она инвариантна относительно f в том смысле, что мера прямого действия равна . Поскольку f — конечный морфизм , мера обратного образа также определена и полностью инвариантна в том смысле, что . ${\displaystyle f_{*}\mu _{f}}$ ${\displaystyle \mu _{f}}$ ${\displaystyle f^{*}\mu _{f}}$ ${\displaystyle \mu _{f}}$ ${\displaystyle f^{*}\mu _{f}=\deg(f)\mu _{f}}$

Одной из поразительных характеристик равновесной меры является то, что она описывает асимптотику почти каждой точки, если следовать назад во времени Жан-Ивом Брианом, Жюльеном Дювалем, Тьен-Куонг Динь и Сибони. А именно, для точки z in и положительного целого числа r рассмотрим вероятностную меру , которая равномерно распределена в точках w с . Тогда существует замкнутое по Зарискому подмножество такое, что для всех точек z, не принадлежащих E , только что определенные меры слабо сходятся к равновесной мере при стремлении r к бесконечности. Более подробно: только конечное число замкнутых комплексных подпространств полностью инвариантно относительно f ( это означает, что ), и можно взять исключительное множество E в качестве единственного наибольшего полностью инвариантного замкнутого комплексного подпространства, не равного . ^[4] ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle (1/d^{rn})(f^{r})^{*}(\delta _{z})}$ ${\displaystyle d^{rn}}$ ${\displaystyle f^{r}(w)=z}$ ${\displaystyle E\subsetneq \mathbf {CP} ^{n}}$ ${\displaystyle \mu _{f}}$ ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle f^{-1}(S)=S}$ ${\displaystyle \mathbf {CP} ^{n}}$

Другая характеристика равновесной меры (по Брину и Дювалю) состоит в следующем. Для каждого положительного целого числа r количество периодических точек периода r (это означает, что ), подсчитанное с кратностью, равно , что примерно равно . Рассмотрим вероятностную меру, которая равномерно распределена в точках периода r . Тогда эти меры также сходятся к равновесной мере при стремлении r к бесконечности. Более того, большинство периодических точек отталкиваются и лежат в , поэтому ту же предельную меру можно получить, усредняя только по отталкивающим периодическим точкам в . ^[5] Снаружи также могут существовать отталкивающие периодические точки . ^[6] ${\displaystyle f^{r}(z)=z}$ ${\displaystyle (d^{r(n+1)}-1)/(d^{r}-1)}$ ${\displaystyle d^{rn}}$ ${\displaystyle \mu _{f}}$ ${\displaystyle J^{*}(f)}$ ${\displaystyle J^{*}(f)}$ ${\displaystyle J^{*}(f)}$

Равновесная мера придает нулевую массу любому замкнутому комплексному подпространству, которое не является всем пространством. ^[7] Поскольку периодические точки в плотны в , отсюда следует, что периодические точки f плотны по Зарисскому в . Более алгебраическое доказательство этой плотности Зарисского было дано Наджмуддином Фахруддином. ^[8] Другим следствием присвоения нулевой массы замкнутым комплексным подпространствам, не равным, является то, что каждая точка имеет нулевую массу. В результате носитель не имеет изолированных точек и поэтому представляет собой совершенное множество . ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle J^{*}(f)}$ ${\displaystyle J^{*}(f)}$ ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle \mu _{f}}$ ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle J^{*}(f)}$ ${\displaystyle \mu _{f}}$

Носитель равновесной меры не слишком мал в том смысле, что ее хаусдорфова размерность всегда больше нуля. ^[7] В этом смысле эндоморфизм комплексного проективного пространства степени больше 1 всегда ведет себя хаотично, по крайней мере, на части пространства. (Есть примеры, где все из . ^[9] ) Другой способ уточнить, что f имеет некоторое хаотическое поведение, состоит в том, что топологическая энтропия f всегда больше нуля, фактически равна , по Михаилу Громову , Михаилу Мисюревичу и Феликс Пшитицкий. ^[10] ${\displaystyle J^{*}(f)}$ ${\displaystyle J^{*}(f)}$ ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle n\log d}$

Для любого непрерывного эндоморфизма f компактного метрического пространства X топологическая энтропия f равна максимуму теоретико-мерной энтропии (или «метрической энтропии») всех f -инвариантных мер на X . Для голоморфного эндоморфизма f из равновесная мера является единственной инвариантной мерой максимальной энтропии по Брину и Дювалю. ^[3] Это еще один способ сказать, что наиболее хаотичное поведение f сосредоточено на поддержке равновесной меры. ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle \mu _{f}}$

Наконец, можно сказать больше о динамике f на носителе равновесной меры: f является эргодичным и, в более сильной степени, перемешивающим относительно этой меры, согласно Форнессу и Сибони. ^[11] Отсюда следует, например, что почти для каждой точки относительно , ​​ее прямая орбита равномерно распределена относительно . ${\displaystyle \mu _{f}}$ ${\displaystyle \mu _{f}}$

Карты латте

Отображение Латтеса — это эндоморфизм f , полученный из эндоморфизма абелева многообразия делением на конечную группу . В этом случае равновесная мера f абсолютно непрерывна относительно меры Лебега на . И наоборот, согласно Анне Здуник , Франсуа Бертело и Кристофу Дюпону, единственные эндоморфизмы, равновесная мера которых абсолютно непрерывна относительно меры Лебега, - это примеры Латте. ^[12] То есть для всех эндоморфизмов, не относящихся к Латтесу, присваивает свою полную массу 1 некоторому борелевскому множеству меры Лебега 0. ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle \mu _{f}}$

Случайная выборка из равновесной меры карты Латтеса . В наборе Джулии все . ${\displaystyle f(z)=(z-2)^{2}/z^{2}}$ ${\displaystyle \mathbf {CP} ^{1}}$

Случайная выборка из равновесной меры карты не-Латтеса . Множество Жюлиа состоит из , ^[13], но равновесная мера весьма нерегулярна. ${\displaystyle f(z)=(z-2)^{4}/z^{4}}$ ${\displaystyle \mathbf {CP} ^{1}}$

В измерении 1 больше известно о «нерегулярности» равновесной меры. А именно, определите хаусдорфову размерность вероятностной меры на (или, в более общем смысле, на гладком многообразии) формулой ${\displaystyle \mu }$ ${\displaystyle \mathbf {CP} ^{1}}$

${\displaystyle \dim(\mu )=\inf\{\dim _{H}(Y):\mu (Y)=1\},}$

где обозначает хаусдорфову размерность борелевского множества Y . Для эндоморфизма f степени больше 1 Здуник показал, что размерность равна хаусдорфовой размерности его носителя (множества Жюлиа) тогда и только тогда, когда f сопряжено с отображением Латте, полиномом Чебышева (с точностью до знака ) или карта мощности с . ^[14] (В последних случаях множество Жюлиа целиком состоит из , замкнутого интервала или круга соответственно. ^[15] ) Таким образом, за пределами этих особых случаев равновесная мера является крайне нерегулярной, приписывая положительную массу некоторым замкнутым подмножества множества Жюлиа с меньшей размерностью Хаусдорфа, чем все множество Жюлиа. ${\displaystyle \dim _{H}(Y)}$ ${\displaystyle \mathbf {CP} ^{1}}$ ${\displaystyle \mu _{f}}$ ${\displaystyle f(z)=z^{\pm d}}$ ${\displaystyle d\geq 2}$ ${\displaystyle \mathbf {CP} ^{1}}$

Автоморфизмы проективных многообразий

В более общем смысле, сложная динамика стремится описать поведение рациональных карт при итерации. Один случай, который был изучен с некоторым успехом, - это случай автоморфизмов гладкого комплексного проективного многообразия X , то есть изоморфизмов f из X в себя. Основной интерес представляет случай, когда f действует нетривиально на сингулярных когомологиях . ${\displaystyle H^{*}(X,\mathbf {Z} )}$

Громов и Йосеф Йомдин показали, что топологическая энтропия эндоморфизма (например, автоморфизма) гладкого комплексного проективного многообразия определяется его действием на когомологии. ^[16] Явно, для X комплексной размерности n и пусть будет спектральным радиусом f , действующим путем обратного образа на группе когомологий Ходжа . Тогда топологическая энтропия f равна ${\displaystyle 0\leq p\leq n}$ ${\displaystyle d_{p}}$ ${\displaystyle H^{p,p}(X)\subset H^{2p}(X,\mathbf {C} )}$

${\displaystyle h(f)=\max _{p}\log d_{p}.}$

(Топологическая энтропия f также является логарифмом спектрального радиуса f на всех когомологиях .) Таким образом, f имеет некоторое хаотическое поведение в том смысле, что ее топологическая энтропия больше нуля тогда и только тогда, когда она действует на некоторых когомологиях. группа с собственным значением по модулю больше 1. Многие проективные многообразия не имеют таких автоморфизмов, но (например) многие рациональные поверхности и поверхности K3 имеют такие автоморфизмы. ^[17] ${\displaystyle H^{*}(X,\mathbf {C} )}$

Пусть X — компактное кэлерово многообразие , включающее случай гладкого комплексного проективного многообразия. Скажем, что автоморфизм f из X имеет простое действие на когомологии, если: существует только одно число p такое, которое принимает свое максимальное значение, действие f on имеет только одно собственное значение с абсолютным значением , и это простое собственное значение . Например, Серж Канта показал, что каждый автоморфизм компактной кэлеровой поверхности с положительной топологической энтропией имеет простое действие на когомологии. ^[18] (Здесь «автоморфизм» является комплексно-аналитическим, но не предполагается, что он сохраняет кэлерову метрику на X . Фактически, каждый автоморфизм, сохраняющий метрику, имеет нулевую топологическую энтропию.) ${\displaystyle d_{p}}$ ${\displaystyle H^{p,p}(X)}$ ${\displaystyle d_{p}}$

Для автоморфизма f с простым действием на когомологии были достигнуты некоторые цели сложной динамики. Динь, Сибони и Анри де Телен показали, что существует уникальная инвариантная вероятностная мера максимальной энтропии для f , называемая равновесной мерой (или мерой Грина , или мерой максимальной энтропии ). ^[19] (В частности, имеет энтропию относительно f .) Носитель называется малым множеством Жюлиа . Неформально: f имеет некоторое хаотическое поведение, причем наиболее хаотичное поведение сосредоточено на небольшом множестве Жюлиа. По крайней мере, когда X проективно, оно имеет положительную размерность Хаусдорфа. (Точнее, присваивает нулевую массу всем множествам достаточно малой хаусдорфовой размерности.) ^[20] ${\displaystyle \mu _{f}}$ ${\displaystyle \mu _{f}}$ ${\displaystyle \log d_{p}}$ ${\displaystyle \mu _{f}}$ ${\displaystyle J^{*}(f)}$ ${\displaystyle J^{*}(f)}$ ${\displaystyle \mu _{f}}$

Автоморфизмы Куммера

Некоторые абелевы многообразия обладают автоморфизмом положительной энтропии. Например, пусть E — комплексная эллиптическая кривая , а X — абелева поверхность . Тогда на X действует группа обратимых целочисленных матриц . Любой групповой элемент f , след которого имеет абсолютное значение больше 2, например , имеет спектральный радиус больше 1, и поэтому он дает автоморфизм X с положительной энтропией . Равновесной мерой f является мера Хаара (стандартная мера Лебега) на X . ^[21] ${\displaystyle E\times E}$ ${\displaystyle GL(2,\mathbf {Z} )}$ ${\displaystyle 2\times 2}$ ${\displaystyle {\begin{pmatrix}2&1\\1&1\end{pmatrix}}}$

Автоморфизмы Куммера определяются путем взятия фактор-пространства по конечной группе абелевой поверхности с автоморфизмом и последующего раздутия , чтобы сделать поверхность гладкой. Полученные поверхности включают некоторые специальные поверхности К3 и рациональные поверхности. Для автоморфизмов Куммера равновесная мера имеет носитель, равный X , и гладкая вне конечного числа кривых. И наоборот, Канта и Дюпон показали, что для всех поверхностных автоморфизмов с положительной энтропией, за исключением примеров Куммера, равновесная мера не является абсолютно непрерывной относительно меры Лебега. ^[22] В этом смысле равновесная мера автоморфизма обычно бывает несколько нерегулярной.

Седловые периодические точки

Периодическая точка z функции f называется седловой периодической точкой, если для такого положительного целого числа r , что хотя бы одно собственное значение производной на касательном пространстве в точке z имеет абсолютное значение меньше 1, хотя бы одно имеет абсолютное значение больше чем 1, и ни один из них не имеет абсолютного значения, равного 1. (Таким образом, f расширяется в некоторых направлениях и сжимается в других вблизи z .) Для автоморфизма f с простым действием на когомологии седловые периодические точки плотны в носителе равновесная мера . ^[20] С другой стороны, мера обращается в нуль на замкнутых комплексных подпространствах, не равных X . ^[20] Отсюда следует, что периодические точки f (или даже просто седловые периодические точки, содержащиеся в носителе ) плотны по Зарисскому в X . ${\displaystyle f^{r}(z)=z}$ ${\displaystyle f^{r}}$ ${\displaystyle J^{*}(f)}$ ${\displaystyle \mu _{f}}$ ${\displaystyle \mu _{f}}$ ${\displaystyle \mu _{f}}$

Для автоморфизма f с простым действием на когомологии f и его обратное отображение являются эргодическими и, в более сильной степени, перемешивающими относительно равновесной меры . ^[23] Отсюда следует, что почти для каждой точки z относительно , ​​прямая и обратная орбиты z равномерно распределены относительно . ${\displaystyle \mu _{f}}$ ${\displaystyle \mu _{f}}$ ${\displaystyle \mu _{f}}$

Заметное отличие от случая эндоморфизмов состоит в том, что для автоморфизма f с простым действием на когомологии может существовать непустое открытое подмножество X , на котором ни прямая, ни обратная орбиты не приближаются к носителю равновесной меры. Например, Эрик Бедфорд, Кёнхи Ким и Кертис МакМаллен построили автоморфизмы f гладкой проективной рациональной поверхности с положительной топологической энтропией (следовательно, простое действие на когомологии) такие, что f имеет диск Зигеля, на котором действие f сопряжено с нерациональное вращение. ^[24] Точки в этом открытом множестве никогда не сближаются под действием f или обратного ей действия. ${\displaystyle \mathbf {CP} ^{n}}$ ${\displaystyle J^{*}(f)}$ ${\displaystyle J^{*}(f)}$

По крайней мере, в комплексном измерении 2 равновесная мера f описывает распределение изолированных периодических точек f . (Могут также существовать комплексные кривые, зафиксированные с помощью f или итерации, которые здесь игнорируются.) А именно, пусть f — автоморфизм компактной кэлеровой поверхности X с положительной топологической энтропией . Рассмотрим вероятностную меру, которая равномерно распределена по изолированным периодическим точкам периода r (имеется в виду ). Затем эта мера слабо сходится к значению r , стремящемуся к бесконечности, согласно Эрику Бедфорду, Любичу и Джону Смилли . ^[25] То же самое справедливо и для подмножества седловых периодических точек, поскольку оба набора периодических точек растут со скоростью . ${\displaystyle h(f)=\log d_{1}}$ ${\displaystyle f^{r}(z)=z}$ ${\displaystyle \mu _{f}}$ ${\displaystyle (d_{1})^{r}}$

Смотрите также

• Динамика в комплексном измерении 1
  • Комплексный анализ
  • Комплексный квадратичный полином
  • Бесконечные композиции аналитических функций
  • Теорема Монтеля
  • Метрика Пуанкаре
  • Лемма Шварца
  • Теорема Римана об отображении
  • Теорема Каратеодори (конформное отображение)
  • Уравнение Бетчера
  • Орбитальные портреты
  • пазлы Йоккоз

• Связанные области динамики
  • Арифметическая динамика
  • Теория хаоса
  • Символическая динамика

Примечания

1. Милнор (2006), раздел 13.
2. Гедж (2010), Теорема B.
3. Динь и Сибони (2010), «Динамика ...», Теорема 1.7.11.
4. Динь и Сибони (2010), «Динамика ...», Теорема 1.4.1.
5. Динь и Сибони (2010), «Динамика ...», Теорема 1.4.13.
6. Форнэсс и Сибони (2001), Теорема 4.3.
7. Динь и Сибони (2010), «Динамика ...», Предложение 1.2.3.
8. Фахруддин (2003), Следствие 5.3.
9. Милнор (2006), Теорема 5.2 и проблема 14-2; Форнэсс (1996), Глава 3.
10. Динь и Сибони (2010), «Динамика ...», Теорема 1.7.1.
11. Динь и Сибони (2010), «Динамика ...», Теорема 1.6.3.
12. Berteloot & Dupont (2005), Теорема 1.
13. Милнор (2006), проблема 14-2.
14. Здуник (1990), Теорема 2; Berteloot & Dupont (2005), введение.
15. Милнор (2006), задача 5-3.
16. Кантат (2000), Теорема 2.2.
17. Кантат (2010), разделы с 7 по 9.
18. Кантат (2014), раздел 2.4.3.
19. Де Телин и Динь (2012), Теорема 1.2.
20. Dinh & Sibony (2010), «Суперпотенциалы ...», раздел 4.4.
21. Кантат и Дюпон (2020), раздел 1.2.1.
22. Кантат и Дюпон (2020), Основная теорема.
23. Динь и Сибони (2010), «Суперпотенциалы ...», Теорема 4.4.2.
24. Кантат (2010), Теорема 9.8.
25. Кантат (2014), Теорема 8.2.

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

• Александр, Дэниел (1994), История сложной динамики: от Шредера до Фату и Джулии , Vieweg Verlag , doi : 10.1007/978-3-663-09197-4, ISBN 3-528-06520-6, МР  1260930
• Бердон, Алан (1991), Итерация рациональных функций: сложные аналитические динамические системы, Springer-Verlag , ISBN 0-387-97589-6, МР  1128089
• Бертелот, Франсуа; Дюпон, Кристоф (2005), «Une caractérisation des эндоморфизмов de Lattes par leur mesure de Green», Commentarii Mathematici Helvetici , 80 (2): 433–454, arXiv : math/0501034 , doi : 10.4171/CMH/21, MR  2142250
• Бонифант, Арасели; Любич, Михаил ; Сазерленд, Скотт, ред. (2014), Границы в сложной динамике: в честь 80-летия Джона Милнора , Princeton University Press , doi : 10.1515/9781400851317, ISBN 978-0-691-15929-4, МР  3289442
• Кантат, Серж (2010), «Quelquesspectes des systèmes dynamicquespolynomiaux: существование, примеры, жесткость», Quelquesspectes des systèmes dynamicquespolynomiaux, Société Mathématique de France , стр. 13–95, ISBN 978-2-85629-338-6, МР  2932433
• Кантат, Серж (2014), «Динамика автоморфизмов компактных комплексных поверхностей», Границы в комплексной динамике (Банфф, 2011) , Princeton University Press , стр. 463–514, ISBN 978-0-691-15929-4, МР  3289919
• Кантат, Серж ; Дюпон, Кристоф (2020), «Автоморфизмы поверхностей: жесткость Куммера и мера максимальной энтропии», Журнал Европейского математического общества , 22 (4): 1289–1351, arXiv : 1410.1202 , doi : 10.4171/JEMS/946, MR  4071328
• Карлесон, Леннарт ; Гамелен, Теодор (1993), Сложная динамика , Springer-Verlag , doi : 10.1007/978-1-4612-4364-9, ISBN 0-387-97942-5, МР  1230383
• де Телен, Генри; Динь, Тьен-Куонг (2012), «Динамика автоморфизмов на компактных кэлеровых многообразиях», Успехи в математике , 229 (5): 2640–2655, arXiv : 1009.5796 , doi : 10.1016/j.aim.2012.01.014, MR  2889139
• Динь, Тьен-Куонг ; Сибони, Нессим (2010), «Динамика нескольких комплексных переменных: эндоморфизмы проективных пространств и полиномиальноподобные отображения», Голоморфные динамические системы , Конспекты лекций по математике, том. 1998, Springer-Verlag , стр. 165–294, arXiv : 0810.0811 , doi : 10.1007/978-3-642-13171-4_4, ISBN 978-3-642-13170-7, МР  2648690
• Динь, Тьен-Куонг ; Сибони, Нессим (2010), «Суперпотенциалы токов на компактных кэлеровых многообразиях и динамика автоморфизмов», Журнал алгебраической геометрии , 19 (3): 473–529, arXiv : 0804.0860 , doi : 10.1090/S1056-3911-10 -00549-7, МР  2629598
• Фахруддин, Наджмуддин (2003), «Вопросы о самоотображениях алгебраических многообразий», Журнал Математического общества Рамануджана , 18 (2): 109–122, arXiv : math/0212208 , MR  1995861
• Форнэсс, Джон Эрик (1996), Динамика нескольких комплексных переменных , Американское математическое общество , ISBN 978-0-8218-0317-2, МР  1363948
• Форнэсс, Джон Эрик ; Сибони, Нессим (2001), «Динамика (примеры)», Расслоения и слоения в динамике, геометрии и топологии (Стоуни Брук, 1998) , Американское математическое общество , стр. 47–85, doi : 10.1090/conm/269/04329 , ISBN ${\displaystyle \mathbf {P} ^{2}}$ 978-0-8218-1985-2, МР  1810536
• Гедж, Винсент (2010), «Propriétés ergodiques des rationnelles», Quelquesspectes des systèmes dynamicques Polynomiaux, Société Mathématique de France , стр. 97–202, arXiv : math/0611302 , ISBN 978-2-85629-338-6, МР  2932434
• Милнор, Джон (2006), Динамика одной комплексной переменной (3-е изд.), Princeton University Press , arXiv : math/9201272 , doi : 10.1515/9781400835539, ISBN 0-691-12488-4, МР  2193309
• Моросава, Сюнсуке; Нисимура, Ясуитиро; Танигучу, Масахико; Уэда, Тецуо (2000), Голоморфная динамика , Издательство Кембриджского университета , ISBN 0-521-66258-3, МР  1747010
• Тан, Лей, изд. (2000), Множество Мандельброта, тема и вариации , Серия лекций Лондонского математического общества, том. 274, Издательство Кембриджского университета , ISBN 0-521-77476-4, МР  1765080
• Здуник, Анна (1990), «Параболические орбифолды и размерность максимальной меры для рациональных отображений», Inventiones Mathematicae , 99 (3): 627–649, doi : 10.1007/BF01234434, MR  1032883

Внешние ссылки

• Галерея динамики (Кёртис МакМаллен)
• Исследования в динамических системах