ドラゴン曲線
ドラゴン曲線(ドラゴンきょくせん、Dragon curve)とは、L-system(リンデンマイヤー・システム)のような再帰法を用いて構成することの出来る、ある自己相似性フラクタルの族に含まれている曲線のことを言う。
ヘイウェイ・ドラゴン(ハーター・ヘイウェイ・ドラゴンあるいはジュラシック・パーク・ドラゴンとも呼ばれる)は、NASAの物理学者のジョン・ヘイウェイ、ブルース・バンクスおよびウィリアム・ハーターによって初めて研究され、1967年、雑誌『サイエンティフィック・アメリカン(Scientific American)』のマーティン・ガードナーによるコラム「数学ゲーム(Mathematical Games」で紹介された。その性質についてはチャンドラー・デイビスとドナルド・クヌースによって初めて出版化された。マイケル・クライトンの小説『ジュラシック・パーク』の節ごとのタイトルページで使用されている。
ヘイウェイ・ドラゴンは、
角度 90°
初期文字列 FX
X \rightarrow X+YF+
Y \rightarrow −FX−Y.
であるようなL-systemにより構成することが出来る。
また、次のような手順で描くことが出来る: 基本となる線分から始めて、各線分を「直角をなすような二つの線分」によって置き換える。ただし置き換える際に線分を回転させる方向は、右、左…と交互になるようにする。
ヘイウェイ・ドラゴンは次のような複素平面における反復関数系の極限集合でもある:
f_1(z)=\frac{ \left(1+i \right)z}{2}
f_2(z)=1-\frac{ \left(1-i \right)z}{2}
ここで、点の初期集合は S_0=\{0,1\} とする。
実数のペアを用いれば、これは次のような二つの関数
f_1(x,y)= \frac{1}{\sqrt{2}\begin{bmatrix} \cos 45^\circ & -\sin 45^\circ \\ \sin 45^\circ & \cos 45^\circ \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix} \equiv \dfrac{1}{2}\begin{bmatrix} 1& -1\\1 & 1\end{bmatrix}\begin{bmatrix} x \\ y \end{bmatrix},
f_2(x,y)= \frac{1}{\sqrt{2}\begin{bmatrix} \cos 135^\circ & -\sin 135^\circ \\ \sin 135^\circ & \cos 135^\circ \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix} + \begin{bmatrix} 1 \\ 0 \end{bmatrix}\equiv \dfrac{1}{2}\begin{bmatrix}-1 & -1 \\ 1 & -1\end{bmatrix}\begin{bmatrix} x \\ y \end{bmatrix}+\begin{bmatrix} 1 \\ 0 \end{bmatrix}
とも等しい。Apophysisのようなソフトウェアでは、こちらの表現の方が一般的に使われている。
その奇妙な外観にかかわらず、ヘイウェイ・ドラゴン曲線の次元は単純なものである。
その表面(surface)も単純である。初期線分が 1 と等しいなら、その表面は \textstyle{\frac{1}{2} と等しくなる。この結果は、曲線が敷き詰められていく性質に起因する。
その境界の長さは無限大である。なぜならば、反復が行われる毎に係数 {\sqrt{2} によって増大していくからである。
ヘイウェイ・ドラゴン曲線は、自分自身とは決して交わらない。
ヘイウェイ・ドラゴン曲線には多くの自己相似性が見られる。もっとも分かりやすいものは、45° の傾きと減少率 \textstyle{\sqrt{2} を伴うパターンの繰り返しである。
そのフラクタル次元は計算によって \textstyle{\frac {\ln 2} {\ln \sqrt{2} = 2} であることが分かる。これにより、ヘイウェイ・ドラゴン曲線は空間充填曲線であることが分かる。
その境界のフラクタル次元の数値的な近似は Chang と Zhang によって得られた。実際、解析的には
\log_2\frac{1+\sqrt[3]{73-6\sqrt{87}+\sqrt[3]{73+6\sqrt{87}}{3}\cong 1.523627086202492.
と得られる。これは方程式 \textstyle{4^x \left(2^x-1 \right)=4 \left(2^x+1 \right)} の根である。
ドラゴン曲線には、平面上にタイル張りする方法が多く存在する。
二つのヘイウェイ・ドラゴンを背中合わせに配置することにより、ツインドラゴン(デイビス-クヌース・ドラゴンとも呼ばれる)を作ることが出来る。それは反復関数系
f_1(z)=\frac{(1+i)z}{2}
f_2(z)=1-\frac{(1+i)z}{2}
の極限集合でもある。ここでの初期形状は集合 S_0 = \{0,1,1-i\} により定義される。
テルドラゴンはL-system
角度 120°
初期文字列 F
F \rightarrow F+F−F.
により書くことが出来る。それは反復関数系
f_1(z)=\lambda z
f_2(z)=\frac{i}{\sqrt{3}z + \lambda
f_3(z)=\lambda z + \lambda^*
の極限集合でもある。ただし \lambda=\frac{1}{2}-\frac{i}{2\sqrt{3} および \lambda^*=\frac{1}{2}+\frac{i}{2\sqrt{3} である。
レヴィC曲線はしばしばレヴィ・ドラゴンとも呼ばれる。
ある微分方程式の解集合が得られたとき、それらの解の線形結合は、重ね合わせの原理により再び元の微分方程式を満たすものとなる。これはすなわち、すでに存在している解の集合に対してある関数を適用することによって、新たな解を導くことが出来るという意味でもある。これは反復関数系を用いてある集合内に新たな点を導出する方法と同様である(ただし、そのような反復関数は線形関数であるとは限らない)。同様な概念により、関数の集合へとそのような反復的な手法を用いることによって、リトルウッド多項式の集合を導くことが出来る。
リトルウッド多項式とは、多項式
p(x) = \sum_{i=0}^n a_i x^i \,
のことである(ここで a_i は 1 か -1 のいずれか)。
|w| < 1 を満たすようなある w に対して、関数系
f_+(z) = 1 + wz
f_-(z) = 1 - wz
を定義する。どのような次数 d のリトルウッド多項式であっても、この関数系の z=0 から始めた d+1 回の反復操作によって導出することが出来る。例えば、f_+(f_-(f_-(0))) = 1 + (1-w)w = 1 + 1w - 1w^2 など。
w = (1+i)/2 である場合、上の関数系はヘイウェイ・ドラゴンの反復関数系と等しいことが分かる。すなわち、ヘイウェイ・ドラゴンは、ある反復操作によって、点 w = (1+i)/2 において評価されるある次数までのすべてのリトルウッド多項式からなる集合を表すものである。実際、リトルウッド多項式の根を十分多くの数プロットしたとき、それらの座標の近くにドラゴン曲線と似た構造が現れることとなる。