FractalPark
ЭкзотическиеСложно

McMullen 2–3 Map

Рациональное отображение, в котором возведение в квадрат уводит точки наружу, а обратно-кубический член отправляет их через полюс в начале координат.

Открыть в Обзоре
Бледно-голубой фрактал McMullen, образующий многогранное кольцо из округлых ячеек вокруг большого центрального отверстия
Изображение McMullen 2–3 от FractalPark: вложенные бусиноподобные границы, опоясывающие широкое центральное отверстие.

Обзор

Отображение McMullen 2–3 принадлежит семейству, обычно записываемому как \(f_\lambda(z)=z^n+\lambda/z^d\). FractalPark называет параметр \(c\) и выбирает \(n=2\), \(d=3\). Сначала оно похоже на квадратичное отображение с дополнительным членом. Затем \(z^3\) появляется в знаменателе и меняет правила: начало координат — полюс, а не обычная точка.

Одна формула теперь владеет двумя территориями. Далеко наружу \(z^2\) доминирует и отталкивает большие значения дальше. Вблизи нуля \(c/z^3\) берёт верх и отправляет точки к бесконечности через полюс. Между ними лежит подвижная граница, где ни один член не побеждает окончательно.

Эта граница может сомкнуться в кольца, распасться на округлые ячейки или соединиться в связную сеть. Это зависит от \(c\) и от орбит критических точек. Единого очертания McMullen не существует.

Математика

A quadratic term and a cubic pole

z(n+1) = z(n)^2 + c / z(n)^3

At each step, square the current complex value, then add \(c/z^3\). When \(|z|\) is large, the first term grows roughly like \(|z|^2\), while the reciprocal term fades like \(1/|z|^3\). Near zero the balance flips: the reciprocal term becomes enormous.

The same expression can be written as

$$ f_c(z)=\frac{z^5+c}{z^3}. $$

The map has a pole of order three at \(z=0\), and—when \(c\neq0\)—is a rational map of degree five. The “2–3” names the exponents in the original expression, not the rational-map degree.

In the exact definition, the pole sends zero to infinity on the Riemann sphere. A numerical renderer cannot divide by zero, so FractalPark replaces values extremely close to the origin with a tiny nonzero value and guards the denominator. That is a computational safety rail, not a different definition.

История

The family takes its name from Curtis T. McMullen. In Section 7 of his 1988 paper *Automorphisms of Rational Maps*, McMullen constructed rational maps whose Julia sets break into a Cantor set of Jordan curves—infinitely many disjoint loops arranged with Cantor-set structure. Later authors adopted “McMullen maps” for the family \(z^n+\lambda/z^d\) associated with this construction. McMullen is now Cabot Professor of Mathematics at Harvard, where his personal academic homepage and publication list remain available.

The 2–3 choice is the smallest pair of exponents satisfying the characteristic inequality

$$ \frac{1}{n}+\frac{1}{d}<1, $$

because \(1/2+1/3=5/6\). It also gives the lowest possible degree, \(n+d=5\), in this part of the theory. The inequality alone does not guarantee that every parameter produces circles: the relevant critical orbits must also enter the appropriate escape region.

Work after McMullen mapped out that dependence in much greater detail. Robert Devaney, Daniel Look, and David Uminsky proved an “escape trichotomy” in 2005: when the free critical orbit escapes, the Julia set can be a Cantor set, a Cantor set of circles, or a Sierpiński curve, depending on how it reaches infinity.

Визуальные особенности

One large pale opening anchors the image. An uneven ring of rounded cells circles it; farther out, smaller cells make a fine lace. What looks like a smooth blue band at first resolves into a crowded rim.

The outer edge is gently faceted rather than round, and no two cells quite match. That belongs to this parameter, frame, and colouring—not every McMullen map. The pale palette favours relief and nested boundaries over an escape-speed gradient.

Ремиксы и примеры

Начните с канонического документа

Откройте то же утверждённое состояние формулы, которое используется в этом руководстве, а затем измените вид, раскраску, трансформации или анимацию в интерактивном Обзоре.

Часто задаваемые вопросы

What do 2 and 3 mean in the name?

They name the two powers in \(z^2+c/z^3\): the polynomial side squares \(z\), while the reciprocal side divides by its cube. In the general McMullen family they are \(n\) and \(d\).

Do not read them as “degree two to degree three.” Combine the terms and the map is \((z^5+c)/z^3\), so for nonzero \(c\) its rational-map degree is five.

What happens at z = 0?

The denominator \(z^3\) vanishes, so zero is a pole, not an ordinary starting point. On the extended complex plane it maps to infinity. Nearby points are flung away with strength growing like \(1/|z|^3\).

That pole is not a rendering accident; it is the feature that distinguishes this family from a polynomial such as \(z^2+c\). FractalPark only adds a tiny numerical guard near zero so the shader can represent the same limiting behavior without performing an undefined division.

Ссылки

Разбор исходного кода

  1. frm-v1:37a6c61666fd5bf3e2bdef96849dc27a10bd58d152e6a161005ab6e565f12ce0:init/0

    В mcMullen23, узел инициализации выполняет только: если ismand, то z = 0; иначе z = pixel.

  2. frm-v1:37a6c61666fd5bf3e2bdef96849dc27a10bd58d152e6a161005ab6e565f12ce0:loop/0

    В mcMullen23, этот узел цикла выполняет только: z3 = z ^ 3.

  3. frm-v1:37a6c61666fd5bf3e2bdef96849dc27a10bd58d152e6a161005ab6e565f12ce0:bailout

    В mcMullen23, узел bailout проверяет только: |z| <= 256.

Синтаксические особенности

initialization-flow

В mcMullen23, признак инициализации выделяет единственную начальную операцию если ismand, то z = 0; иначе z = pixel.

iteration-flow

В mcMullen23, признак итерации выделяет единственное присваивание z3 = z ^ 3.

bailout-test

В mcMullen23, признак завершения выделяет сравнение |z| <= 256.

Эксперимент с параметрами

Шаги

  1. Выполните рендер mcMullen23 с закреплённой базой плоскости параметров: центр (0, 0), масштаб 0.25, поворот 0, и 96 итераций.
  2. Не меняя базу, кроме числа итераций, выполните один рендер с 48 итерациями и сравните его с базой в 96 итераций.

Что наблюдать

В mcMullen23, запишите, меняется ли что-либо при сравнении 48 и 96 итераций, и отметьте ограничение исходника |z| <= 256.

Упражнение

В mcMullen23, найдите три аннотации и объясните если ismand, то z = 0; иначе z = pixel, z3 = z ^ 3 и |z| <= 256 и объясните, почему соседние инструкции не относятся к аннотации цикла.

Проверка выполнения

В mcMullen23, вы завершили задание, если перечислили все 3 ключа аннотаций и точно объяснили z3 = z ^ 3 и |z| <= 256.

Источники и права

Происхождение указано в английском фактологическом блоке.

Права указаны в английском фактологическом блоке.

Карточка формулы

mcMullen23

Эта каноническая реализация FractalPark опубликована и готова к запуску.

Детерминированный предпросмотр mcMullen23

Канонический исходный код

Язык
frm-like/1
Стандартная библиотека
1
Режим профиля
parameter-plane
Центр профиля
0, 0
Масштаб профиля
0.25
Итерации профиля
96
Основание профиля
family

Параметры

Объявленных параметров нет

Канонический исходный код

Эта проверенная каноническая ревизия доступна только для чтения. Remix создаёт отдельную редактируемую копию.

Загрузка канонического кода…

Источник и текущая реализация

ID формулы
cc40b50c-d3ff-54f0-b4ea-98bdf0fd0096
Каноническое имя
mcMullen23
Исходное имя
mcMullen23
Исторический источник
FractalPark
Текущая реализация
Собственность проекта

Это собственная реализация проекта FractalPark. Ссылка ведёт на зафиксированный канонический файл Definition.

Есть вопрос о правах или атрибуции?

Отправьте ID формулы и подтверждающие материалы. На время проверки сопровождающий может приостановить или отозвать реализацию. contact@fractalpark.com