imported>MBH: замена лоурезного файла анимированным хайрезным

2024-12-22T04:47:31Z

замена лоурезного файла анимированным хайрезным

Новая страница

[[Файл:Julia set (highres 01).jpg|thumb|Множество Жюлиа. Точнее, это не само множество (которое в данном случае состоит из несвязных точек и не может быть нарисовано), а точки из его окрестности. Чем ярче точка, тем ближе она к множеству Жюлиа и тем больше итераций ей нужно, чтобы уйти от нуля на заданное большое расстояние]]
[[Файл:Множество Julia, пример.jpg|мини|Одно из множеств Жюлиа на оси абсцисс.]]
[[Файл:JSr07885.gif|right|Значения c для каждого кадра вычисляются по формуле: c=r*cos(a)+i*r*sin(a), где: a=(0..2*Pi), r=0,7885.]]
'''Множество Жюлиа́''' — множество <math>J(f)</math>, определяемое для рационального отображения <math>f:\Complex P^1\to \Complex P^1</math> как совокупность точек, динамика в окрестности которых в определённом смысле неустойчива по отношению к малым возмущениям начального положения. В случае, если <math>f</math> — многочлен, рассматривают также ''заполненное множество Жюлиа'' — множество точек, не стремящихся к бесконечности. Обычное множество Жюлиа при этом является его [[граница (топология)|границей]].

''Множество Фату'' <math>F(f)</math> — дополнение к множеству Жюлиа. Иными словами, динамика итерирования <math>f</math> на <math>F(f)</math> регулярна, а на <math>J(f)</math> хаотична.

Дополняет [[Теорема Пикара (комплексный анализ)|большую теорему Пикара]] о «поведении аналитической функции в окрестности существенно особой точки».

Эти множества названы по именам французских математиков [[Гастон Жюлиа|Гастона Жюлиа]] и [[Пьер Фату|Пьера Фату]], положивших начало исследованию [[Голоморфная динамика|голоморфной динамики]] в начале XX века.

== Определения ==
Пусть <math>f:\Complex P^1\to \Complex P^1</math> — рациональное отображение. Множество Фату состоит из точек <math>z</math>, таких, что в ограничении на достаточно малую окрестность <math>z</math> последовательность итераций:
: <math>(f^n)_{n\in\mathbb{N}}</math>
образует [[Теорема Монтеля о компактном семействе функций|нормальное семейство в смысле Монтеля]]. Множество Жюлиа — дополнение к множеству Фату.

Это определение допускает следующую эквивалентную переформулировку: множество Фату это множество тех точек, орбиты которых [[устойчивость по Ляпунову|устойчивы по Ляпунову]]. (Эквивалентность переформулировки неочевидна, но она следует из [[Теорема Монтеля о компактном семействе функций|теоремы Монтеля]].)

== Свойства ==
Как следует из определений, множество Жюлиа всегда [[замкнутое множество|замкнуто]], а множество Фату [[открытое множество|открыто]].

Множество Жюлиа для отображения [[степень отображения|степени]], большей 1, всегда непусто (иначе можно было бы выбрать равномерно сходящуюся подпоследовательность из итераций.) В отношении же множества Фату аналогичное утверждение неверно: существуют примеры, в которых множество Жюлиа оказывается всей [[сфера Римана|сферой Римана]]. Такой пример можно построить, взяв отображение <math>z\mapsto 2z (mod\, \Z [i])</math> удвоения на торе <math>\Complex/\Z [i]</math> (динамика которого везде хаотична) и пропустив его через [[p-функция Вейерштрасса|<math>\wp</math>-функцию Вейерштрасса]] <math>\wp: \Complex/\Z [i] \to \Complex P^1 </math>.

Множество Жюлиа является замыканием объединения всех отталкивающих периодических орбит.

Множества Фату и Жюлиа оба полностью инвариантны под действием <math>f</math>, то есть совпадают как со своим образом, так и с полным прообразом:
: <math>f^{-1}(J(f)) = f(J(f)) = J(f)</math>,
: <math>f^{-1}(F(f)) = f(F(f)) = F(f)</math>.

Множество Жюлиа <math>J(F)</math> является границей (полного) [[бассейн притяжения|бассейна притяжения]] любой притягивающей или суперпритягивающей орбиты; частным случаем этого является утверждение, что <math>J(F)</math> это граница заполненного множества Жюлиа (поскольку для полиномиального отображения бесконечность — суперпритягивающая неподвижная точка, а заполненное множество Жюлиа есть дополнение к её бассейну притяжения). Кроме того, взяв полиномиальное отображение с тремя различными притягивающими неподвижными точками, получаем пример трёх открытых (естественно, несвязных) множеств на плоскости с общей границей.

Если открытое множество <math>U</math> пересекает множество Жюлиа, то, начиная с некоторого достаточно большого <math>n</math>, образ <math>f^n(U\cap J) = f^n(U) \cap J</math> совпадает со всем множеством Жюлиа <math>J</math>. Иными словами, итерации растягивают сколь угодно маленькую окрестность в множестве Жюлиа на всё множество Жюлиа. Поскольку такое растяжение чаще всего происходит достаточно быстро, голоморфные отображения [[конформное отображение|конформны]], а множество Жюлиа [[инвариантное множество|инвариантно]] относительно динамики — оно оказывается имеющим [[фрактал|фрактальную структуру]]: его маленькие части похожи на большие.

Если множество Жюлиа отлично от всей [[сфера Римана|сферы Римана]], то оно не имеет [[внутренняя точка|внутренних точек]].

Для всех точек <math>z</math> сферы Римана, кроме, быть может, двух, множество предельных точек последовательности полных прообразов <math>f^{-n}(z)</math> есть множество Жюлиа. Это свойство применяется в компьютерных алгоритмах построения множества Жюлиа.

[[Теорема Салливана об отсутствии блуждающих компонент|Теорема Салливана]] утверждает, что любая [[компонента связности]] множества Фату предпериодична. В свою очередь, теорема о классификации периодических компонент множества Фату утверждает, что периодические компоненты бывают одного из четырёх типов: [[бассейн притяжения]] притягивающей или суперпритягивающей [[неподвижная точка|неподвижной]] или [[периодическая точка|периодической]] точки, [[лепесток Фату]] параболической точки, [[диск Зигеля]] и [[кольцо Эрмана]].

== Связанные понятия ==
Квадратичное отображение <math>z\mapsto P_2(z)</math> заменой координат всегда приводится к виду <math>z\mapsto z^2 +c</math>. Оказывается, что множество Жюлиа будет [[Связное пространство#С|связным]], тогда и только тогда, когда критическая точка ''z=0'' (или, что то же самое, её образ <math>z=c</math>) не уходит на бесконечность. В случае, если итерации 0 стремятся к бесконечности, множество Жюлиа (совпадающее, в этом случае, с заполненным множеством Жюлиа) оказывается гомеоморфным канторову множеству и [[Множество меры ноль|имеет меру ноль]]. В этом случае его называют ''пылью Фату'' (это именно множество Жюлиа — множество хаотической динамики).

Множество параметров <math>c</math>, при которых множество Жюлиа квадратичной динамики связно, называется [[множество Мандельброта|множеством Мандельброта]]. Оно также имеет фрактальную структуру (и является, вероятно, одним из наиболее знаменитых фракталов).

== Численное построение ==

=== Метод сканирования границы (BSM) ===
Если функция <math>f</math> имеет несколько аттракторов (неподвижных или периодических притягивающих точек), множество Жюлиа является границей бассейна притяжения любого из них. На этом свойстве основан алгоритм построения изображения множества Жюлиа, названный «методом сканирования границы» (''BSM'', {{lang-en|boundary scanning method}}): в нём рассматривается сетка из прямоугольных пикселей, чтобы определить, следует ли закрашивать пиксель как принадлежащий множеству Жюлиа, вычисляется образ каждого из его «углов» под действием большого числа итераций <math>f</math>. Если образы далеки друг от друга, значит, углы принадлежат бассейнам разных аттракторов. Из этого следует, что граница между бассейнами проходит через данный пиксель, и он закрашивается. Перебирая все пиксели, получается изображение, приближающее множество Жюлиа.

Этот метод также можно использовать и в случае, когда двух аттракторов нет, но есть [[диск Зигеля|диски Зигеля]], [[кольцо Эрмана|кольца Эрмана]] или параболические бассейны. (Если две близкие точки остаются близкими, значит, их орбиты устойчивы по Ляпунову, и небольшая окрестность этих точек принадлежит области Фату; иначе вблизи них имеются точки множества Жюлиа.) В то же время, данный метод не работает, когда отображение имеет лишь один аттрактор, и почти вся сфера Римана является его бассейном притяжения. (Например, <math>z\mapsto z^2+i</math>.)<ref name="Saupe">{{статья|автор=D. Saupe|заглавие=Efficient computation of Julia sets and their fractal dimension|ссылка=http://www.inf.uni-konstanz.de/cgip/bib/files/Saupe87.pdf|издание=Physica|место=Amsterdam|год=1987|выпуск=28D|страницы=358—370|archiveurl=https://web.archive.org/web/20070611010435/http://www.inf.uni-konstanz.de/cgip/bib/files/Saupe87.pdf|archivedate=2007-06-11}}</ref>

=== Метод вычисления обратных итераций (IIM) ===
Множество Жюлиа является замыканием объединения всех полных прообразов любой отталкивающей неподвижной точки. Таким образом, если имеется эффективный алгоритм вычисления обратного отображения <math>f^{-1}</math>, и известна хотя бы одна отталкивающая неподвижная точка, для построения множества Жюлиа можно последовательно вычислять её обратные образы. На каждом шаге у каждой точки имеется столько же прообразов, какова степень <math>f</math>, поэтому общее число прообразов растет экспоненциально, и хранение их координат требует больших объёмов памяти<ref name="Saupe"/>. На практике также используется следующая модификация: на каждом шаге выбирается один случайный прообраз. При этом, однако, нужно учитывать, что такой алгоритм обходит множество Жюлиа не равномерно: в некоторые области может попасть только за очень большое (практически недостижимое) время, и они не будут изображены на получающемся графике.

== Галерея ==
<gallery mode=packed>
Julia-1.png|Заполненное множество Жюлиа для отображения <math>f(z) = z^2 - 1</math>. Осевая симметрия свидетельствует об отсутствии мнимой составляющей в свободном члене отображения <math>f(z)</math>
Julia0,28+0,0113i.png|Заполненное множество Жюлиа для отображения <math>f(z) = z^2 + 0{,}28 + 0{,}0113 i</math>. Завихрения против часовой стрелки свидетельствуют о положительной мнимой составляющей в свободном члене отображения <math>f(z)</math>
Julia set z5-0,549653+0,003i.png|Заполненное множество Жюлиа для <math>f(z) = z^5 - 0{,}549653+0{,}003 i</math>
Julia set z5-0,549653+0,003i fragment.png|Заполненное множество Жюлиа для <math>f(z) = z^5-{0{,}549653+0{,}003} i</math> (фрагмент)
Julia set cos z.png|Заполненное множество Жюлиа для <math>f(z) = \cos z</math>. Центр изображения — начало координат <math>0 + 0i</math>, горизонтальный период орнамента равен <math>\pi</math>
Julia set sin z.png|Заполненное множество Жюлиа для <math>f(z) = \sin z</math>. Если развернуть изображение на 90°, получится заполненное множество Жюлиа для <math>f(z) = \operatorname{sh} z</math>
</gallery>

== Примечания ==
{{примечания}}

== Ссылки ==
* {{Книга:Милнор, Голоморфная динамика, 2000}}
* [https://web.archive.org/web/20110317020756/http://www.lizardie.com/links/download/fractal-generator Простая программа для генерирования множеств Жюлиа (Windows, 370 кБ)]
* [http://fractalworld.xaoc.ru/Mandelbrot_set_and_Julia_set Множества Мандельброта и Жюлиа на сайте FractalWorld]

{{Фракталы}}

[[Категория:Фракталы]]
[[Категория:Динамические системы]]
[[Категория:Топологическая динамика]]

Множество Жюлиа - История изменений

imported>MBH: замена лоурезного файла анимированным хайрезным