FractalPark
经典入门

四次 Julia

一种四次 Julia 映射:每步把 z 提到四次方,再加上固定的 c,四向分枝便开始生长。

在探索器中打开
四次 Julia 集:象牙色细丝勾勒四重对称的分枝花饰
FractalPark 渲染的四次 Julia:象牙色细丝追随四重对称的分枝花饰与丝线。

概览

从熟悉的 Julia 配方出发,把力度加一档:固定复常数 c 后,反复计算 z → z⁴ + c。每次四次方都会把辐角放大四倍;二次情形里只分成两路的方向,到这里可能张成四路。四向分枝便从这里长出来。

同一个 c 下,高次 Julia 集通常比二次版本挤进更多转折。填充 Julia 集会不会连成一体,仍取决于 c,也仍在 Fatou–Julia 理论推广到高次多项式后的框架内。沿着临界轨道看——对 z⁴ + c 而言,临界点包括 z = 0 及导数的零点——就能找到连通性的线索。

画面里,它不像一团云,倒像压出的纹章:细密印章纹、花饰和丝线按四重对称排开。更高的次数把细节挤得更密,角向布局却依旧规整。

数学原理

四次迭代

z(n+1) = z(n)^4 + c

一次迭代有四次平方的效果:辐角放大四倍,边界附近的点便可能朝四个方向分开。试试 c = 0,递推就成了 zₙ₊₁ = zₙ⁴,只是一张四次幂地图。从 z₀ = 0.5 + 0i 出发,数值缩向零,轨道保持有界;从 z₀ = 1.5 + 0i 出发,数值很快增大并逃逸。和二次情形一样,|zₙ| 是逃逸的信号:一旦超过固定阈值(此处约为 2),轨道必然发散。四次幂加快轨道向外逃逸,也加快造就四重形态的角度分裂。

FractalPark 把 c 固定在整张图上,让初值 z₀ 随像素变化;这正是 Julia 族的画法。

历史

理论早已存在。Pierre Fatou 与 Gaston Julia 在 1917–1918 年建立了有理函数迭代的经典框架,它适用于任意次数的多项式;四次 Julia 集的连通性和动力学分类也沿用同样的原理。20 世纪 80–90 年代,分形渲染软件不再局限于二次情形,高次 Julia 集的计算机探索逐渐常见。作为命名变体,四次 Julia 集属于这条脉络,没有单一的发现者。

FractalPark 采用标准四次递推,并以固定参数的 Julia 族公式渲染。

视觉特征

辐角乘上四,画面便留下印记:精细印章、分枝花饰和按四重对称排开的丝线。同样大小的区域里,四次 Julia 集比二次版本细节更密,组织却更齐整;围着显眼点转过九十度,许多特征又会出现。标准渲染图以象牙色细丝挑出这些边界。

再创作与示例

从 canonical Document 开始

打开本指南使用的同一份已审定公式状态,再在交互式探索器中调整视图、着色、变换或动画。

常见问题

为什么称为四次 Julia?

迭代用的是 z 的四次方,因此它是四次(quartic)多项式。名字直接点出次数,用来同标准二次 Julia 集和其他高次变体区分。

常数 c 会改变什么?

固定复常数 c 决定填充 Julia 集是否连通,也塑造细部几何。轻轻改动 c,四向分枝会重新排布,印章和丝线会挪位,连通集甚至会散成不连续的点集。

参考资料

源码导读

  1. frm-v1:d8e2c1950f3a30b27d380c3132e6a62ebe287cd26cd24c3dbc28dfd47ad784ed:init/0

    初始化节点执行: `if ismand`

  2. frm-v1:d8e2c1950f3a30b27d380c3132e6a62ebe287cd26cd24c3dbc28dfd47ad784ed:loop/0

    循环节点执行: `z2 = z * z`

  3. frm-v1:d8e2c1950f3a30b27d380c3132e6a62ebe287cd26cd24c3dbc28dfd47ad784ed:bailout

    终止测试为: `|z| <= 256`

语法特征

source-sequence

此结构把所引用的源代码步骤组织为一个可检查的顺序。 1768f194-bdc1-5881-b269-a58730967c2c:d8e2c1950f3a30b27d380c3132e6a62ebe287cd26cd24c3dbc28dfd47ad784ed:init, 1768f194-bdc1-5881-b269-a58730967c2c:d8e2c1950f3a30b27d380c3132e6a62ebe287cd26cd24c3dbc28dfd47ad784ed:loop, 1768f194-bdc1-5881-b269-a58730967c2c:d8e2c1950f3a30b27d380c3132e6a62ebe287cd26cd24c3dbc28dfd47ad784ed:bailout

参数实验

步骤

  1. 使用固定配置:mode parameter-plane; center (-0.5, 0); zoom 0.4; rotation 0; iterations 96。运行一次并记录结果;再以同一配置重复运行。

观察要点

比较两次运行,记录在`z2 = z * z`之后执行`z = z2 * z2 + c`时,可见结果和迭代行为是否一致。

练习

找出包含`if ismand`、`z2 = z * z; z = z2 * z2 + c`和`|z| <= 256`的源注释,并说明它们的顺序。

完成检查

完成时列出所引用的三个注释键,并按`if ismand`、`z2 = z * z; z = z2 * z2 + c`、`|z| <= 256`的源顺序排列。

来源与权利

来源:

权利:

公式档案

quarticMandelbrot

该 FractalPark 规范实现已发布并可运行。

quarticMandelbrot 的确定性预览

规范源码

语言
frm-like/1
标准库
1
Profile 模式
parameter-plane
Profile 中心
-0.5, 0
Profile 缩放
0.4
Profile 迭代次数
96
Profile 证据等级
mechanical

参数

没有声明参数

规范源码

这是经过验证的只读规范版本。Remix 会创建一份独立的可编辑分支。

正在加载规范源码…

来源与当前实现

公式 ID
1768f194-bdc1-5881-b269-a58730967c2c
规范名称
quarticMandelbrot
原始名称
quarticMandelbrot
历史来源
FractalPark
当前实现
项目自有

这是 FractalPark 项目自有实现。所链接文件是固定版本的规范 Definition。

对权利或署名有异议?

请附上公式 ID 和支持证据。维护者可在复核期间暂缓或撤下该实现。 contact@fractalpark.com