И окрестность соответствующего параметра в множестве Мандельброта:
Давайте теперь вернёмся к нашему c=1/4 — и посмотрим, что происходит, когда мы двигаем c по вещественной прямой.
Нам пока будет удобно использовать всё ту же координату w=z-1/2. В ней мы итерируем отображение
w->w+w^2+ε,
где ε=с-1/4.
w->w+w^2+ε,
где ε=с-1/4.
Когда ε<0, у этого отображения две неподвижные точки, плюс и минус корень из (-ε); левая из них притягивающая, правая отталкивающая. При ε=0 они сливаются в одну параболическую, и при ε>0 уходят в комплексную область.
Конечно, это означает, что при (вещественном) ε>0 мы не находимся в множестве Жюлиа — но это хороший момент, чтобы показать один важный эффект. Чем ближе ε к нулю, тем больше итераций нужно, чтобы "проскочить" от отрицательных w в положительные. Казалось бы, эффект такого может быть сколь угодно сильным. Но — давайте я покажу один слайд из доклада Mitsuhiro Shishikura,
https://www.math.univ-toulouse.fr/adrien2008/Slides/Shishikura.pdf :
https://www.math.univ-toulouse.fr/adrien2008/Slides/Shishikura.pdf :
То есть — когда мы проходим слева направо, картинка "на выходе" (кривой верблюд справа) действительно получается искажённой. Но — искажение пропорций на ней равномерно ограничено — сколь бы малым ε ни был (хоть число итераций становится всё большим и большим).
Математические байки
Photo
Грубо говоря, причина в том, что хоть композиция получается и очень длинной — большую часть времени она применяется к очень маленькому верблюду. А чем меньше картинка — тем меньше добавляемое за один шаг искажение пропорций. Собственно, дифференцируемое отображение на то и дифференцируемое, чтобы под увеличением быть похожим на линейное — и потому почти не искажать пропорции на маленькой картинке; мы, кстати, это уже обсуждали на примере отображения, применяемого к фотографии Адриана Дуади.
Так что суммарное искажение (если его аккуратно проконтролировать) остаётся равномерно ограниченным — и это частный случай очень часто применяемой (и очень мощной) техники контроля искажения .
Если же мы поднимемся от положительных ε на кардиоиду — то одна из неподвижных точек, вместо того, чтобы отталкивать, начнёт просто "закручивать" (модуль производной в ней станет равен 1 — собственно, так главная кардиода и определяется) — а другая продолжит закручивать и отталкивать. И очень естественно, что множество Жюлиа тоже получится "с закручиванием":
+увеличенная картинка вокруг нижней, отталкивающей+закручивающей, неподвижной точки:
Давайте теперь перейдём к самой левой точке кардиоиды, c=-3/4, для которой неподвижной будет точка z_0=-1/2 с производной (-1). И, опять же, посмотрим, что там происходит.