Множество Мандельброта

Мно́жествоМандельбро́та— множество точекcнакомплексной плоскости, для которыхрекуррентное соотношениеzn+1=zn2+c{\displaystyle z_{n+1}={z_{n}}^{2}+c}приz0=0{\displaystyle z_{0}=0}задаёт ограниченную последовательность. Иными словами, это множество такихc, для которых существует такое действительноеR, что неравенство|zn|<R{\displaystyle |z_{n}|<R}выполняется при всех натуральныхn. Определение и название принадлежат французскому математикуАдриену Дуади, в честь математикаБенуа Мандельброта.
Множество Мандельброта является одним из самых известныхфракталов, в том числе за пределами математики, благодаря своим цветным визуализациям➤. Его фрагменты не строго подобны исходному множеству, но при многократном увеличении определённые части всё больше похожи друг на друга.
Точное значениеплощадимножества Мандельброта неизвестно. На 2012 год она оценивалась как 1,506 591 884 9 ± 2,8×10. Точная координатацентра масс(расположенного на оси абсцисс) тоже неизвестна и оценивается как−0,286 768 420 48 ± 3,35×10.
Вышеуказанная последовательность может быть раскрыта для каждой точкиc{\displaystyle c}на комплексной плоскости следующим образом:
и так далее.
Если переформулировать эти выражения в виде итеративной последовательности значений координат комплексной плоскости(x,y){\displaystyle (x,y)}, то есть заменивzn{\displaystyle z_{n}}наxn+i⋅yn{\displaystyle x_{n}+i\cdot y_{n}}, аc{\displaystyle c}наx0+i⋅y0{\displaystyle x_{0}+i\cdot y_{0}}, мы получим:
Визуально внутри множества Мандельброта можно выделить бесконечное количество элементарных фигур, причём самая большая в центре представляет собойкардиоиду. Также есть набор овалов, касающихся кардиоиды, размер которых постепенно уменьшается, стремясь к нулю. Каждый из этих овалов имеет свой набор меньших овалов, диаметр которых также стремится к нулю и т. д. Этот процесс продолжается бесконечно, образуя фрактал. Также важно, что эти процессы ветвления фигур не исчерпывают полностью множество Мандельброта: если рассмотреть с увеличением дополнительные «ветки», то в них можно увидеть свои кардиоиды и круги, не связанные с главной фигурой. Самая большая фигура (видимая при рассматривании основного множества) из них находится в области от −1,78 до −1,75 на отрицательной оси действительных значений.
Впервые множество Мандельброта было описано в1905 годуПьером Фату(фр.Pierre Fatou), французским математиком, работавшим в области аналитической динамикикомплексных чисел. Фату изучалрекурсивныепроцессы вида
Начав с точкиz0{\displaystyle z_{0}}на комплексной плоскости, можно получить новые точки, последовательно применяя к ним эту формулу. Такая последовательность точек называетсяорбитойz0{\displaystyle z_{0}}при преобразованииz→z2+c{\displaystyle z\to z^{2}+c}.
Фату нашел, что орбита для начального условияz0=0{\displaystyle z_{0}=0}при этом преобразовании показывает достаточно сложное и интересное поведение. Существует бесконечное множество таких преобразований — своё для каждого значенияc. В те времена компьютеров ещё не было, и Фату, конечно, не мог построить орбиты всех точек плоскости, ему приходилось всё делать вручную. Основываясь на своих расчётах, он доказал, что орбита точки, лежащей на расстоянии больше 2 от начала координат, всегда уходит в бесконечность.
Фату никогда не видел изображений, которые мы сейчас знаем как изображения множества Мандельброта, потому что необходимое количество вычислений невозможно провести вручную. ПрофессорБенуа Мандельбротбыл первым, кто использовалкомпьютердля визуализации множества.
Фракталы были описаны Мандельбротом в1975 годув его книге «Les Objets Fractals: Forme, Hasard et Dimension» («Фрактальные объекты: форма, случайность и размерность»). В этой книге Мандельброт впервые использовал термин «фрактал» для обозначения математического феномена, демонстрирующего столь непредсказуемое и удивительное поведение. Эти феномены рождались при использовании рекурсивного алгоритма для получения какой-либо кривой или множества. Множество Мандельброта — один из таких феноменов, названный по имени своего исследователя.
В 1978 году фрактал был определён и нарисован Робертом У. Бруксом и Питером Мательским как часть исследования групп Клейна. 1 марта 1980 года Бенуа Мандельброт первым увидел визуализации множества. Математическое исследование множества Мандельброта началось с работы математиков Адриана Дуади (Adrien Douady) и Джона Х. Хаббарда (John H. Hubbard), которые установили многие из его фундаментальных свойств.
Множество Мандельброта стало известно в середине 1980-х годов при демонстрации компьютерной графики, когда персональные компьютеры стали достаточно мощными, чтобы построить и отобразить множество в высоком разрешении.
Несложно доказать, что как только модульzn{\displaystyle z_{n}}окажется больше 2 (или, в терминах действительной и мнимой частей,xn2+yn2>2{\displaystyle {\sqrt {x_{n}^{2}+y_{n}^{2}}}>2}), все последующие модули последовательности станут стремиться к бесконечности. В случае|c| > 2это можно доказать с помощью методаматематической индукции. При|c| > 2точкаcзаведомо не принадлежит множеству Мандельброта, что можно вывести методомматематической индукции, используя равенствоz0=0{\displaystyle z_{0}=0}(хотя в этом случае может существовать другоеz0{\displaystyle z_{0}}, для которого соответствующая последовательность ограничена по модулю, и при этом для некоторогоnвыполняется неравенство|zn|>2{\displaystyle |z_{n}|>2}).
Сравнение|zn|{\displaystyle |z_{n}|}с этим числом (в англоязычной литературе его называют «bail-out») позволяет выделять точки, не попадающие внутрь множества. Для точек, лежащих внутри множества, последовательность итераций не будет формировать тенденцию расстояния от новой точки до|z0|{\displaystyle |z_{0}|}к бесконечности для любого числа итераций, поэтому после определённого числа итераций расчёт можно завершить. Максимальное число итераций, после которых число считается попавшим внутрь множества, просто задаётся как начальное условие построения.
Изображение, полученное таким способом, является лишь приближением к реальному множеству Мандельброта. Более качественные результаты можно получать, увеличивая максимальное количество итераций, однако при этом пропорционально вырастает и время расчётов.
Строго математически, изображения множеств Мандельброта иЖюлиадолжны быть чёрно-белыми — точка либо принадлежит множеству, либо нет. Но были предложены варианты сделать изображения цветными. Самым распространённым способом является окрашивание точек около внешней границы множества в зависимости от количества итераций, за которое становится очевидным, что точка не принадлежит множеству (за которое начинает выполняться критерий|zn|>2{\displaystyle |z_{n}|>2}).
Порядок определения, принадлежит ли точкаz0{\displaystyle z_{0}}множеству (традиционно закрашиваемого чёрным цветом) или нет (закрашивается цветом, зависящим от «скорости удаления») следующий: на каждой итерации вычисляется текущее расстояние — значение модуля|zn|=xn2+yn2{\displaystyle |z_{n}|={\sqrt {x_{n}^{2}+y_{n}^{2}}}}, которое затем сравнивается с «критерием бесконечности» (обычно берётся значение, равное 2). Значительно уменьшить количество вычислений можно за счёт отказа от вычисления квадратного корня — проверять неxn2+yn2>2{\displaystyle {\sqrt {x_{n}^{2}+y_{n}^{2}}}>2}, аxn2+yn2>4{\displaystyle x_{n}^{2}+y_{n}^{2}>4}.
Таким образом, если|zn|2⩾4{\displaystyle |z_{n}|^{2}\geqslant 4}, то точкаz0{\displaystyle z_{0}}окрашивается в цвет, который предварительно был выбран дляn{\displaystyle n}— номера итерации, на которой выполнился критерий (может служить индексом в таблице цветов или использоваться как параметр в более сложном алгоритме). Если при максимальном для данного построения числе итераций критерий не достигнут, тогда точка считается принадлежащий множеству и её цвет чёрный.
Точкам около границы множества обычно нужно больше итераций для достижения критерия непринадлежности к множеству. Поэтому такие области обрабатываются заметно дольше.
Одним из способов уменьшения объёма вычислений при построении общей картины множества может служить проверка, попадает ли точка в область главнойкардиоиды. Формула кардиоиды вполярных координатахвыглядит следующим образом:
Таким образом, для точки(x,y){\displaystyle (x,y)}необходимо вычислить
Еслиρ⩽ρc{\displaystyle \rho \leqslant \rho _{c}}, то точка(x,y){\displaystyle (x,y)}попадает внутрь множества и закрашивается чёрным цветом, и тогда итеративные вычисления можно не делать.
На практике наибольшее уменьшение объёма вычислений даёт трассировка границы: если есть некоторая замкнутая кривая, не пересекающая ось абсцисс, каждая точка которой уходит за пределbail-outза одинаковое число итераций или, наоборот, принадлежит множеству Мандельброта, то любая точка внутри этой кривой будет обладать тем же свойством, и следовательно вся область внутри границы закрашивается одинаковым цветом.
Множество Мандельброта изначально было построено как каталогмножеств Жюлиа: каждой точке на комплексной плоскости соответствует своё множество Жюлиа. Точки, принадлежащие множеству Мандельброта, соответствуютсвязным множествамЖюлиа, а точки не принадлежащие —несвязным.
Отсюда понятно, что интересные варианты множества Жюлиа соответствуют точкам, лежащим на границе множества Мандельброта. Точки глубоко внутри образуют простые геометрические фигуры, а внешние выглядят как пыль, окружающая цветные пятна. Некоторые программы, например, Fractint, позволяют пользователю прямо на экране указать точку, для которой необходимо построить соответствующее множество Жюлиа, упрощая поиск красивых изображений.
Множество Мандельброта и само содержит структуры, напоминающие множество Жюлиа: для любогоcобласть множества Мандельброта околоcнапоминает центр множества Жюлиа с параметромc. Если сильно увеличить множество Мандельброта в граничной точкеcи то же самое проделать с множеством Жюлиа для этого же значенияcи в этой же точке, то картины будут асимптотически стремиться друг к другу при всё больших увеличениях.
Зачастую под названием «Множество Мандельброта» понимается только множество, описанное выше. Однако любая функция комплексной переменной имеет соответствующее множество Мандельброта, которое также характеризуется наличием или отсутствием связного множества Жюлиа. Например, можно положитьfc(z) =z+c. Тогда для каждого значенияcпроверяется связность множества Жюлиа функцииfcи при наличии связности считается, чтоcпринадлежит множеству Мандельброта. В описанном случае связность можно проверить тем же способом, что и дляfc(z) =z+c.
Эти утверждения можно обобщить и на множества Жюлиа, определяемые больше, чем двумя числами. Например, множество Жюлиа, определяемое тремя действительными числами, имеет соответствующее трёхмерное множество Мандельброта.
Рассматриваются и многомерные вариации множества Мандельброта. Так, трёхмерный аналог получил названиеоболочка Мандельброта, хотя классические аналоги на комплексных числах существуют только в размерности, равной степени 2.
Множество Мандельброта находит применение для анализа возникновения турбулентности в физике плазмы и термодинамике, развития бифуркаций и т. д.
Поиск красивых фрагментов цветных версий множества Мандельброта — интересное хобби для очень многих людей. Они собирают коллекции таких изображений, причём каждое из них может быть описано небольшим количеством параметров, например, просто координатами центра. Элементом творчества является не только поиск координат, но и подбор таблицы цветов, связывание её с количеством выполненных итераций, а также максимальное число выполняемых итераций.
Есть большое количество программ для рисования фракталов, но, несмотря на это, многие люди пишут свои варианты для большей гибкости при экспериментах, например, для создания анимированых изображений.
Дауди и Хаббард доказали, что множество Мандельброта являетсясвязным, хотя в это и трудно поверить, глядя на хитрые системы мостов, соединяющие различные его части. Связность множества Мандельброта следует из того, что оно является пересечением вложенных связных компактных множеств.
Однако неизвестно, является ли онолокально связным. Эта известная гипотеза в комплексной динамике получила название MLC (англ.Mandelbrot locally connected). Многие математики прилагают усилия к её доказательству. Жан-Кристоф Иокко (Jean-Christophe Yoccoz) доказал, что гипотеза верна во всех точках с конечнойренормализацией, затем многие другие математики доказывали справедливость гипотезы во многих отдельных точках множества Мандельброта, но общая гипотеза остается недоказанной.
Мицухиро Шишикура (Mitsuhiro Shishikura) доказал, чторазмерность Хаусдорфаграницы множества Мандельброта равна 2. Но остается неизвестным ответ на вопрос, имеет ли граница множества Мандельброта положительнуюмеру Лебегана плоскости.
Числоитерацийдля любой точки в построении множества очень близко к логарифму электрического потенциала, который возникает, если зарядить множество Мандельброта. Точнее, пределln⁡(ln⁡(|zn|)/2n)+const{\displaystyle \ln {\big (}\ln(|z_{n}|)/2^{n}{\big )}+{\text{const}}}совпадает с этим потенциалом.