Множество Жюлиа
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/28/Fractal_julia.png/220px-Fractal_julia.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/17/Julia_set_%28highres_01%29.jpg/220px-Julia_set_%28highres_01%29.jpg)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4f/Julia-1.png/220px-Julia-1.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c0/Julia0%2C28%2B0%2C0113i.png/220px-Julia0%2C28%2B0%2C0113i.png)
В голоморфной динамике, мно́жество Жюлиа́ рационального отображения — множество точек, динамика в окрестности которых в определённом смысле неустойчива по отношению к малым возмущениям начального положения. В случае, если f — полином, рассматривают также заполненное множество Жюлиа — множество точек, не стремящихся к бесконечности. Обычное множество Жюлиа при этом является его границей.
Множество Фату — дополнение к множеству Жюлиа. Иными словами, динамика итерирования f на регулярна, а на хаотична.
Дополняет большую теорему Пикара о «поведении аналитической функции в окрестности существенно особой точки».
Эти множества названы по именам французских математиков Гастона Жюлиа и Пьера Фату, положивших начало исследованию голоморфной динамики в начале XX века.
Определения
Пусть — рациональное отображение. Множество Фату состоит из точек z, таких, что в ограничении на достаточно малую окрестность z последовательность итераций
образует нормальное семейство в смысле Монтеля. Множество Жюлиа — дополнение к множеству Фату.
Это определение допускает следующую эквивалентную переформулировку: множество Фату это множество тех точек, орбиты которых устойчивы по Ляпунову. (Эквивалентность переформулировки неочевидна, но она следует из теоремы Монтеля.)
Свойства
- Как следует из определений, множество Жюлиа всегда замкнуто, а множество Фату открыто.
- Множество Жюлиа для отображения степени, большей 1, всегда непусто (иначе можно было бы выбрать равномерно сходящуюся подпоследовательность из итераций.) В отношении же множества Фату аналогичное утверждение неверно: существуют примеры, в которых множество Жюлиа оказывается всей сферой Римана. Такой пример можно построить, взяв отображение удвоения на торе (динамика которого, везде хаотична) и пропустив его через -функцию Вейерштрасса .
- Множество Жюлиа является замыканием объединения всех отталкивающих периодических орбит.
- Множества Фату и Жюлиа оба полностью инвариантны под действием f, то есть совпадают как со своим образом, так и с полным прообразом:
- Множество Жюлиа J(F) является границей (полного) бассейна притяжения любой притягивающей или суперпритягивающей орбиты; частным случаем этого является утверждение, что J(F) это граница заполненного множества Жюлиа (поскольку для полиномиального отображения бесконечность — суперпритягивающая неподвижная точка, а заполненное множество Жюлиа есть дополнение к её бассейну притяжения). Кроме того, взяв полиномиальное отображение с тремя различными притягивающими неподвижными точками, получаем пример трёх открытых (естественно, несвязных) множеств на плоскости с общей границей.
- Если открытое множество пересекает множество Жюлиа, то, начиная с некоторого достаточно большого n, образ совпадает со всем множеством Жюлиа . Иными словами, итерации растягивают сколь угодно маленькую окрестность в множестве Жюлиа на всё множество Жюлиа.
- Поскольку указанное выше растяжение чаще всего происходит достаточно быстро, голоморфные отображения конформны, а множество Жюлиа инвариантно относительно динамики — оно оказывается имеющим фрактальную структуру: его маленькие части похожи на большие.
- Если множество Жюлиа отлично от всей сферы Римана, то оно не имеет внутренних точек.
- Для всех точек z сферы Римана, кроме, быть может, двух, множество предельных точек последовательности полных прообразов есть множество Жюлиа. Это свойство применяется в компьютерных алгоритмах построения множества Жюлиа.
- Теорема Салливана утверждает, что любая компонента связности множества Фату предпериодична. В свою очередь, теорема о классификации периодических компонент множества Фату утверждает, что периодические компоненты бывают одного из четырёх типов: бассейн притяжения притягивающей или суперпритягивающей неподвижной или периодической точки, лепесток Фату параболической точки, диск Зигеля и кольцо Эрмана.
Связанные понятия
Квадратичное отображение заменой координат всегда приводится к виду . Оказывается, что множество Жюлиа будет связным, тогда и только тогда, когда критическая точка z=0 (или, что то же самое, её образ z=c) не уходит на бесконечность. В случае, если итерации 0 стремятся к бесконечности, множество Жюлиа (совпадающее, в этом случае, с заполненным множеством Жюлиа) оказывается гомеоморфным канторову множеству и имеет меру ноль. В этом случае его называют пылью Фату (несмотря на сбивающее с толку название, это именно множество Жюлиа — множество хаотической динамики!).
Множество параметров c, при которых множество Жюлиа квадратичной динамики связно, называется множеством Мандельброта. Оно также имеет фрактальную структуру (и является, вероятно, одним из наиболее знаменитых фракталов).
Численное построение
Метод сканирования границы (BSM)
Если функция f имеет несколько аттракторов (неподвижных или периодических притягивающих точек), множество Жюлиа является границей бассейна притяжения любого из них. На этом свойстве основан алгоритм построения изображения множества Жюлиа, названный «методом сканирования границы» (boundary scanning method, BSM). Он состоит в следующем. Рассмотрим сетку из прямоугольных пикселей. Чтобы определить, следует ли закрашивать пиксель как принадлежащий множеству Жюлиа, вычисляется образ каждого из его «углов» под действием большого числа итераций f. Если образы далеки друг от друга, значит, углы принадлежат бассейнам разных аттракторов. Из этого следует, что граница между бассейнами проходит через данный пиксель, и он закрашивается. Перебирая все пиксели, получаем изображение, приближающее множество Жюлиа.
Этот метод также можно использовать и в случае, когда двух аттракторов нет, но есть диски Зигеля, кольца Эрмана или параболические бассейны. (Если две близкие точки остаются близкими, значит, их орбиты устойчивы по Ляпунову, и небольшая окрестность этих точек принадлежит области Фату; иначе вблизи них имеются точки множества Жюлиа.) В то же время, данный метод не работает, когда отображение имеет лишь один аттрактор, и почти вся сфера Римана является его бассейном притяжения. (Например, .)[1]
Метод вычисления обратных итераций (IIM)
![Значения c для каждого кадра вычисляются по формуле: c=r*cos(a)+i*r*sin(a), где: a=(0..2*Pi), r=0,7885.](http://upload.wikimedia.org/wikipedia/commons/d/d5/JSr07885.gif)
Множество Жюлиа является замыканием объединения всех полных прообразов любой отталкивающей неподвижной точки. Таким образом, если имеется эффективный алгоритм вычисления обратного отображения , и известна хотя бы одна отталкивающая неподвижная точка, для построения множества Жюлиа можно последовательно вычислять её обратные образы. На каждом шаге у каждой точки имеется столько же прообразов, какова степень f, поэтому общее число прообразов растет экспоненциально, и хранение их координат требует больших объёмов памяти.[1] На практике также используется следующая модификация: на каждом шаге выбирается один случайный прообраз. При этом, однако, нужно учитывать, что такой алгоритм обходит множество Жюлиа не равномерно: в некоторые области может попасть только за очень большое (практически недостижимое) время, и они не будут изображены на получающемся графике.
Интересные факты
Математики доказали, что произвольная замкнутая фигура на плоскости может быть сколь угодно близко приближена множеством Жюлиа для подходящего многочлена. Среди прочего, в качестве демонстрации собственной техники, ученым удалось построить достаточно хорошее приближение силуэта кота. По словам ученых, их пример наглядно демонстрирует, что динамика полиномиальных (то есть задаваемых многочленами) динамических систем может быть устроена максимально разнообразно. Они говорят, что предложенный ими пример будет полезен в теории таких систем[2]
Ссылки
- Милнор, Дж. Голоморфная динамика. Вводные лекции. = Dynamics in One Complex Variable. Introductory Lectures. — Ижевск: НИЦ «Регулярная и хаотическая динамика», 2000. — 320 с. — ISBN 5-93972-006-4.
- Простая программа для генерирования множеств Жюлиа (Windows, 370 кБ)
- Множества Мандельброта и Жюлиа на сайте FractalWorld
Примечания
- ↑ 1 2 D. Saupe. Efficient computation of Julia sets and their fractal dimension // Physica. — Amsterdam, 1987. — Вып. 28D. — С. 358-370. Архивировано 11 июня 2007 года.
- ↑ Математики приблизили кота множествами Жюлиа