![b255e8ca5b96d4724ffb303e17990c8c.png](https://i-blog.csdnimg.cn/blog_migrate/c7bf19fbbe0004ac29468f43127fdc49.png)
本文主要是对经典分形中Koch曲线和Koch雪花作简单的介绍,给出分形的生成规则,并对其几何性质进行分析。另外,讨论Koch曲线的推广形式。
1. 原始Koch曲线
Koch曲线是早期被描述的一种分形曲线。它由瑞典数学家Helge von Koch在1904年发表的一篇题为“从初等几何构造的一条没有切线的连续曲线”的论文中提出。虽然这条曲线处处连续,但处处不光滑,处处不可微。构造这类曲线是从初始元出发,如取一条线段或一个多边形。原则上是按一定的规则变线段为折线,形成生成元,分形的结构也就确定了。
设初始元是[0,1],根据下列规则构造一个Koch曲线:
① 三等分一条线段;
② 用一个等边三角形两条边替代第①步划分三等分的中间部分;
③ 在每一条直线上,重复第②步。
Koch曲线是以上步骤地无限重复的极限结果,这就是Koch本人的原始构造(图1、2)。
![2d161f30968796726e68d1e188a0e6df.png](https://i-blog.csdnimg.cn/blog_migrate/f50777862c3363ab707f65869e457736.png)
![e1401dc33110d2b4186169d17481581a.png](https://i-blog.csdnimg.cn/blog_migrate/a86facb379bf5f1baecc6533b47cbb0e.png)
为讨论方便,设Koch曲线初始元的边长为
①边长
②边数
③长度
由上面的计算,Koch曲线的长度是无穷大。另外,可证明在曲线的任一点都没有切线,即处处不可微。显然Koch曲线是自相似的且无自重叠,那么其分形维数可用相似维数来表示,我们先叙述一下相似维数的定义。
![79659ab3b8947bacfc09b05d96f76780.png](https://i-blog.csdnimg.cn/blog_migrate/b67274d51c94b000830ee8f86ca7c79a.jpeg)
由上述定义,因为Koch曲线可由4个非重叠且全等的部分组成,即
另外,Koch曲线可由很简单的L系统代码生成,如下:
- 角度:δ=60°
- 初始元:F
- 生成元:F→F+F--F+F
有兴趣的读者,请参考Lindenmayer系统(简称为L系统)的相关资料。
IFS算法如下:
![d6f56aed18b9dac12c5105aa113f23da.png](https://i-blog.csdnimg.cn/blog_migrate/c7b8a2fe8e2d888816f99713e90d1893.jpeg)
通过化简后,有
![6d2a847bf4b634c53808f089b0fab2d5.png](https://i-blog.csdnimg.cn/blog_migrate/bac77fb9f7effa4424fa90df7dee16b8.png)
2. Koch曲线的Cesàro构造
Koch曲线的另一种构造是由意大利数学家蔡查罗(Ernesto Cesàro,1859—1906)创造,图6中是Cesàro构造的第1级到第4级。生成元是夹角为120°等长线段,其中红色细线是上一级的构造,黑色粗线是本级的构造。每一条红色线和两条黑色线组成一个等腰三角形,这样最终的Koch曲线总是包含在全部等腰三角组成的区域之中。
原始Koch曲线的构造只是Cesàro构造的子序列,相当于取n=2,4,6,8,…,时的Cesàro构造。
![8b70ae29bd2b0716ab7d64ffb29ef618.png](https://i-blog.csdnimg.cn/blog_migrate/6ed9cbb9e2ec4935a07e4ab2cda9475d.png)
设初始元的边长为
①边长
②边数
③长度
Cesàro构造的L系统代码生成,如下:
- 角度:δ=30°
- 初始元:L
- 左生成元:L→+R--R+
- 右生成元:R→-L++L-
3. Koch雪花
Koch雪花(也称为Koch岛)是由三个全等的Koch曲线组成的封闭曲线(图7),同样是处处连续,处处不可微的自回避曲线。
![2078fe248665ac9736e2eae7d93fd2ae.png](https://i-blog.csdnimg.cn/blog_migrate/5df5a0e1e1a7aa341e09d70ded96f9ff.png)
设初始三角形
①边长
②边数
③周长
④面积
因
Koch雪花的面积:
Koch雪花是周长无穷大,而面积有限的图形。并且可平面密铺(至少需要两种不同比例),图8中由6小1大Koch雪花组成一个更大的Koch雪花,长度比例是
等价于生成元由7部分组成,相似比
这里不做过多介绍,后面会在Peano曲线的文中会有详细叙述。
![b34991f3460f1bdb549b1f1bf7d3e4e2.png](https://i-blog.csdnimg.cn/blog_migrate/eb67dc6a1faec786027415538afe343a.jpeg)
Koch雪花的L系统代码生成,如下:
- 角度:δ=60°
- 初始元:F++F++F
- 生成元:F→F+F--F+F
4. 改变生成元线段的角度
通过改变Koch曲线的Cesàro构造二条线段的角度
![dda13ac072eb025af92f2beca01eeefb.png](https://i-blog.csdnimg.cn/blog_migrate/014275a4b87f010d246ffc5d42bca32c.png)
特别的,当
![40ff5552fa343619c3368d363ac21981.png](https://i-blog.csdnimg.cn/blog_migrate/0d6e693f4e38173272e910a8668172d6.jpeg)
![0b8b2cf66f22befa12a842d62e8d7b48.png](https://i-blog.csdnimg.cn/blog_migrate/6d24653baddaab2a7689b91d0149bfec.jpeg)
L系统代码生成,如下:
- 角度:δ=43°
- 初始元:L
- 左生成元:L→+R--R+
- 右生成元:R→-L++L-
IFS算法如下:
![6f07dc7858e0f461b9ea12c55ef1a035.png](https://i-blog.csdnimg.cn/blog_migrate/3a38546ad8c65d0a9d3e107c833d2416.jpeg)
5. 改变相似比
改变原始Koch曲线的相似比(图12),变成有两种相似比的四线段生成元,第1相似比
![1e9592a4dda4c10fdbb15364cadc1ec0.png](https://i-blog.csdnimg.cn/blog_migrate/de8ecd2b6107a52a34044e2f5fa2e015.png)
- 当
时,分形是自回避的(图13中
);
- 当
时,有
,分形是恰接触的(图14、15);
- 当
时,分形是自回避的(图16中
)。
图14的维数方程
分形维数
![88e08e3cbe4d4d705060eae3d1fa823a.png](https://i-blog.csdnimg.cn/blog_migrate/280b796b14d81abd8e1b45a8d383d0eb.png)
![526df0ce52f75b28fa4d0806d2b4b6eb.png](https://i-blog.csdnimg.cn/blog_migrate/5a8ff9c6fa1be191fb1288b4abb65fd2.jpeg)
![262a70165f761152440ab5b0fcab04d6.png](https://i-blog.csdnimg.cn/blog_migrate/8018a1b5a99b208d6d558f9639ec77f9.jpeg)
![dc58992501cac811c8f567eca309da50.png](https://i-blog.csdnimg.cn/blog_migrate/3f562fbc23e546de8b3f9e550a6c56e3.jpeg)
另外,分形和0轴围的面积公式:
这里简单说一下,推导过程。定义一个序列
面积系数
面积
当
当
![80e8ffea08cf9c2ab27f643ab1e0b37b.png](https://i-blog.csdnimg.cn/blog_migrate/2031267114b7c510a2e17d4cd8864106.png)
IFS算法如下:
![8488ce2a1a1151631c7523fb38d9305b.png](https://i-blog.csdnimg.cn/blog_migrate/335beddcc6372494ebea0ce333bc44a7.jpeg)
图14中四线段分形的外边界同样是分形(图18),生成元是由7条线段组成,相似比
维数方程
分形维数
![11c11ba9a2c8fe0d0d34e93df839c655.png](https://i-blog.csdnimg.cn/blog_migrate/7a42cbd1623a1cf26522707a98c61eb1.png)