高木曲線
高木曲線（たかぎきょくせん）は、中点を再帰的に分割してできるフラクタル曲線の一種である。高木貞治が1903年の論文で、「連続だが至る所で微分不可能な関数」（高木関数）として構成した。海外では、ブラマンジェ曲線（Blancmange curve）とも呼ばれる。ブラマンジェという名前は、同名のプディングとの類似から来ている。また、高木曲線を一般化した高木‐ランズバーグ曲線（Takagi–Landsberg curve）という名前でも知られている。さらに、一般化されたドラム曲線（en:de Rham curve）の一種でもある。
定義
高木関数は、単位区間 [math][0, 1][/math] 上で
- [math]{\rm T}(x) = \sum_{n=0}^\infty {s(2^{n}x)\over 2^n},[/math]
により定義される。ここで、 [math]s(x)[/math] は [math]s(x)=\min_{n\in{\bold Z}}|x-n|[/math] により定義される三角波関数（triangle function）である。すなわち、 [math]s(x)[/math] は x から最も近い整数までの距離を示す。 無限和で定義される [math]{\rm T}(x)[/math] は、すべての x に対し絶対収束する。しかし、結果としてできる曲線はフラクタルとなる。
高木‐ランズバーグ曲線は、高木曲線の簡単な一般化であり、パラメータ w に対して
- [math]T_w(x) = \sum_{n=0}^\infty w^n s(2^{n}x)[/math]
により定義される。すなわち、高木曲線は [math]w=1/2[/math] の場合に相当する。[math]H=-\log_2 w[/math] で定義される値はHurst parameterとして知られている。ここで、 [math]w=1/4[/math] とすると、放物線が得られる。中点を再帰的に分割して放物線を得る方法はアルキメデスにより記述されている。
高木関数はすべての実数上に拡張できる。すなわち、上記の定義を各単位区間 [math][n,\ n+1][/math] 上で繰り返せばよい。
幾何学的構成
前述のように高木曲線は三角波関数の無限和であり、その和の成分である各の三角波はどんどん小さくなるので、簡単に視覚化できる。すなわち、無限和を、最初の数項による有限和で近似すればよい。具体的に示したものが下記の図である。赤色で示されているのこぎり波関数が段階的に小さくなっているが、それを各段階で曲線に加えている。操作的には、図の大きさに応じて変化が見られるうちはこれを繰返し、変化が見られなくなったら止めればよい。
| 192px | 192px | 192px | 192px |
| n = 0 | n ≤ 1 | n ≤ 2 | n ≤ 3 |
関連項目
参考文献
- Teiji Takagi, "A Simple Example of a Continuous Function without Derivative", Proc. Phys. Math. Japan, (1903) Vol. 1, pp. 176-177. JOI:JST.Journalarchive/subutsuhokoku1901/1.F176
- Benoit Mandelbrot, "Fractal Landscapes without creases and with rivers", appearing in The Science of Fractal Images, ed. Heinz-Otto Peitgen, Dietmar Saupe; Springer-Verlag (1988) pp. 243-260.
外部リンク
- “高木関数 (Animation : Takagi functions)”. 2010年8月7日時点のオリジナルよりアーカイブ。. 2018閲覧.
- “いたるところ微分不可能な関数”. 2007年11月7日時点のオリジナルよりアーカイブ。. 2018閲覧.
- Weisstein, Eric W. “Blancmange Function”. MathWorld（英語）. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。
- Vepstas, Linas (2004-10-12) (英語) (PDF), Symmetries of Period-Doubling Maps