FractalPark
奇异进阶

蜘蛛

一种把 c/z 加进二次轨道的有理映射;零点的极点会拉出细长蛛腿和网状丝线。

在探索器中打开
蜘蛛分形:细长蛛腿与深渊状丝线自暗色核心向外辐射
FractalPark 渲染的蜘蛛分形:细长蛛腿与网状丝线自暗色核心伸展,深渊蓝与黑色调强化纵深质感。

概览

蜘蛛公式把熟悉的平方项 z² 和倒数项 c/z 接在一起,成为二次有理映射。两股力量在拉扯:|z| 很大时,z² 主导,轨道很像标准二次 Mandelbrot 逃逸;|z| 很小时,倒数项接手,指向原点的极点。

向外增长和向内吸引的拉扯不只是改动逃逸阈值;它把参数边界扯成长长的分枝丝线。狭窄中心、辐射的“腿”和深色空隙,正是“蜘蛛”这个名字的来处。

规则里要除以 z,z = 0 因而是奇点。渲染时,极接近零的数值需要数值后备处理。c 也可以为零;这时映射就是 z²,回到普通的二次 Julia 动力学。

数学原理

蜘蛛迭代

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

倒数项会在零点极点附近猛地拽住二次轨道。

先看 c = 0。倒数项消失,映射退化为 z²;这就是标准二次 Julia 映射,单位圆盘内的初值仍可能有界。

再取 c = 1,从 z₀ = (1, 0) 出发。第一步 z₁ = 1² + 1/1 = 2,已经离开原点;第二步 z₂ = 4 + 1/2 = 4.5,轨道很快逃逸。若从极近零处开始,例如 z₀ = (0.01, 0),倒数项 1/0.01 = 100 占主导,轨道立刻被甩远。蛛丝就在这两个极端之间的边界上形成。

视觉特征

细长蛛腿、深色丝线和网状节点从狭窄中心伸出。原点的奇点形成暗核,丝线从那里分枝,越往外越细。

FractalPark 的标准渲染用深蓝和黑色。由于有理项的不对称性,画面并不规整对称,而是带一点扭转。

再创作与示例

从 canonical Document 开始

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

常见问题

z = 0 时会发生什么?

z = 0 处的倒数项要求除以零,这是未定义的。实现会对极接近零的数值使用稳定后备方案:钳制模长,或换成一个很小的常数。可见结构不会因此改变,因为进入近零区域的点通常会在下一步被巨大的倒数值抛远。

蛛腿状丝线从何而来?

蛛腿出现在二次扩张与倒数吸引差不多平衡的地方。轨道会在被拉向零点和被抛向远方之间交替,于是有界与逃逸的边界被拉成细线。原点附近倒数项最大,效应也最强;向外走,z² 重新占主导,丝线便收细。

源码导读

  1. frm-v1:bf1462942af10c52a5adbecf8856b4e34a8a5110637c84fa613728b76a1d6b4a:init/0

    在 spider 中,初始化节点仅执行:ismand 分支把 z 设为 0,否则设为 pixel。

  2. frm-v1:bf1462942af10c52a5adbecf8856b4e34a8a5110637c84fa613728b76a1d6b4a:loop/0

    在 spider 中,此循环节点仅执行:z2 = z * z。

  3. frm-v1:bf1462942af10c52a5adbecf8856b4e34a8a5110637c84fa613728b76a1d6b4a:bailout

    在 spider 中,bailout 节点仅测试:|z| <= 256。

语法特征

initialization-flow

在 spider 中,初始化特征聚焦 ismand 分支把 z 设为 0,否则设为 pixel 这一个起始操作。

iteration-flow

在 spider 中,迭代特征聚焦 z2 = z * z 这一个循环赋值。

bailout-test

在 spider 中,终止特征聚焦比较 |z| <= 256。

参数实验

步骤

  1. 以固定参数平面基线渲染 spider:中心 (0, 0)、缩放 0.25、旋转 0、96 次迭代。
  2. 除迭代次数外保持基线不变,以 48 次迭代再渲染一次,并与 96 次迭代的基线比较。

观察要点

在 spider 中,记录 48 次与 96 次迭代的比较是否出现差异,并标出源代码限制 |z| <= 256。

练习

在 spider 中,找出三个注释:分别说明 ismand 分支把 z 设为 0,否则设为 pixel、z2 = z * z 和 |z| <= 256,并解释为什么相邻语句不属于循环注释。

完成检查

在 spider 中,完成时应列出全部 3 个注释键,并准确说明 z2 = z * z 与 |z| <= 256 的作用。

来源与权利

来源说明见英文事实单元。

权利说明见英文事实单元。

公式档案

spider

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

spider 的确定性预览

规范源码

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

参数

没有声明参数

规范源码

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

正在加载规范源码…

来源与当前实现

公式 ID
a9263b21-23c1-5d94-ba30-f7bef1a66629
规范名称
spider
原始名称
spider
历史来源
FractalPark
当前实现
项目自有

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

对权利或署名有异议?

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