z³ − 1 牛顿分形

这个公式把熟悉的求根算法变成复平面的地图。它不像曼德布罗特集那样问轨道是否逃逸，而是问每个初值会被牛顿法带到 z³ − 1 的哪个根。三个单位立方根（1、e^{2πi/3}、e^{4πi/3}）各有一个吸引盆：所有最后收敛到该根的初值。

三个盆地一眼能分开，共用边界却不简单。恰好落在边界上的点不会收敛到任何根，而会沿混沌、非重复的轨道走下去。这条边界就是牛顿映射——有理函数 N(z) = z − (z³ − 1)/(3z²)——的 Julia 集；放大后，新的细节还会继续冒出来。

这是收敛分形的经典例子：日常数值算法里，藏着一条不安分的边界。Arthur Cayley 在 1879 年提出牛顿盆地的一般分类问题，二次情形他解开了，三次情形却“似乎存在相当大的困难”。Fatou 与 Julia 的复动力系统理论让问题渐渐可说清，第一批计算机图像则到 20 世纪 80 年代初才出现。

本页公式的核心迭代是牛顿法，由 Isaac Newton 于 1669 年发现，后由 Joseph Raphson 于 1690 年独立改进。对实函数而言它是实用的求根工具；对复多项式而言，它揭示了当时无人能预见的分形盆地。

对这些盆地的数学研究始于 1879 年 Arthur Cayley 的论文"The Newton–Fourier imaginary problem"（《American Journal of Mathematics》，第 2 卷，第 97 页）。对于复二次多项式，Cayley 证明吸引盆就是两个根连线的中垂线划分出的两个半平面。可当他转向三次多项式时，却发现该问题"似乎存在相当大的困难"。他未能将简洁的二次结论推广到三次情形，这一遗留问题后被称为 Cayley 问题。

1918 年前后，Pierre Fatou 与 Gaston Julia 发展出的复动力系统理论提供了描述盆地及其无限复杂边界所需的数学语言。但这些边界的第一批实际图像——z³ − 1 牛顿分形的图像——要等到 20 世纪 80 年代初计算机图形技术的出现。

Heinz-Otto Peitgen 与 Peter H. Richter 在 1986 年出版的《The Beauty of Fractals: Images of Complex Dynamical Systems》中收入专章"Newton's Method for Complex Polynomials: Cayley's Problem"（第 6 章，第 93–106 页）。它收录了其中最早一批公开发表的计算机渲染图，为广泛读者展示了隐藏在牛顿法中的分形结构。

三个大盆地各对应一个单位立方根，占据画面。它们沿中心放射的轮辐线相接，形成三分对称。盆地内部颜色平滑，收敛又快又稳。

任意两盆地的边界，尤其中心三岔处，挤满嵌套螺旋、三个盆地的微型副本和树突般细丝。沿螺旋往里看，三盆地结构会在更小尺度重现，只是被局部动力学拉扯变形。大块平静，边缘却一直不安。