コッホ・スノーフレークの最初の4つの反復
アニメーションの最初の7つの反復
コッホ曲線の頂点を拡大する
頂点ではない点にズームインすると、曲線が回転する場合があります。コッホ・スノーフレーク(コッホ曲線、コッホ・スター、コッホ島とも呼ばれる[ 1 ] [ 2 ])はフラクタル曲線の一種であり、最も古くから記述されているフラクタルの一つである。これは、スウェーデンの数学者ヘルゲ・フォン・コッホが1904年に発表した論文「初等幾何学から構成可能な接線のない連続曲線について」[ 3 ]に登場するコッホ曲線に基づいている。
コッホ雪片は、段階的に繰り返し構築することができます。最初の段階は正三角形で、各段階は前の段階の各辺を外側に曲げることで形成され、より小さな正三角形を形成します。雪片の構築において、各段階によって囲まれる面積は元の三角形の面積の倍に収束しますが、各段階の周囲長は無限に増加します。したがって、雪片は有限の面積を囲みますが、周囲長は無限大です。 
コッホの雪片は、任意の点に接線を引くことが不可能な連続曲線の例として構築されました。ワイエルシュトラス関数の証明が純粋に解析的であったのに対し、コッホの雪片は当時幾何学的に表現可能であったため、この性質は「素朴な直感」によっても理解可能でした。[ 3 ]
起源と歴史
1904年の論文で、フォン・コッホはこの再帰的構成を線分に適用し、コッホ雪片の境界の1/3を形成する曲線を得ました。しかし、完全な雪片は1904年に発表された原著論文[ 3 ]にも、1906年に出版された拡張された回顧録[ 4 ]にも登場しません。そこで、誰が最初に雪片の図形を作成したのかという疑問が生じます。この疑問を調査した結果、雪片曲線はアメリカの数学者エドワード・カスナーによるものであることが示唆されています。[ 5 ] [ 6 ]
工事
コッホ スノーフレークは、正三角形から始めて、各線分を次のように再帰的に変更することで作成できます。
- 線分を等しい長さの 3 つの線分に分割します。
- 手順 1 の中央の線分を底辺として外側を向く正三角形を描きます。
- 手順 2 から三角形の底辺となる線分を削除します。
このプロセスの最初の反復により、六十四卦の輪郭が生成されます。
コッホ・スノーフレークは、上記の手順を無限に繰り返した際に近づく極限です。ヘルゲ・フォン・コッホによって最初に記述されたコッホ曲線は、元の三角形の3辺のうち1辺のみを用いて構成されます。言い換えれば、3つのコッホ曲線がコッホ・スノーフレークを構成します。
コッホ曲線に基づく名目上平坦な表面の表現は、同様に、各線を所定の角度で鋸歯状のセグメントに繰り返し分割することによって作成できます。[ 7 ]
プロパティ
コッホ雪片の周囲
コッホ雪片の弧の長さは無限大です。これを示すために、各反復構成は曲線の多角形近似であることに注目します。したがって、反復の周囲長が無限であることを示すだけで十分です。
反復後の雪片の周囲の長さは、元の三角形の 辺の長さで表すと、


それは無限に発散します。
コッホ雪片の面積
反復後の雪片の総面積は、元の三角形の面積で表すと、等比級数となる。 


が無限大に近づく極限を考えると、コッホの雪片の面積は元の三角形の面積と等しい。元の三角形の辺の長さで表すと、次のようになる。[ 8 ]



革命の固体
コッホ雪片の回転体の体積は、単位辺の開始正三角形の対称軸の周りで[ 9 ]である。
その他の特性
コッホ雪片は、中心にある1つの大きなコピーを6つの小さなコピーが取り囲むように自己複製する。したがって、これは非反復7非反復タイルである(詳細は反復タイルを参照)。
コッホ曲線のハウスドルフ次元は である。これは直線( )のハウスドルフ次元よりも大きいが、ペアノの空間充填曲線( )のハウスドルフ次元よりも小さい。 


コッホ曲線のハウスドルフ測度はを満たすが、その正確な値は不明である。 であると推測される。 [ 10 ]


曲線のどの点にも 接線を引くことは不可能です。
ド・ラーム曲線としての表現
コッホ曲線はド・ラーム曲線の特殊なケースとして現れます。ド・ラーム曲線はカントール空間を平面に写像したもので、通常は連続曲線を形成するように配置されます。連続ド・ラーム曲線上の各点は、単位区間内の実数に対応します。コッホ曲線では、雪片の先端は二項有理数に対応し、それぞれの先端は異なる二項有理数で一意にラベル付けできます。
平面のモザイク化
2つのサイズのコッホ雪片によるモザイク模様2つの異なるサイズのコッホ雪片のコピーを用いて平面をタイル状に敷き詰めることは可能です。しかし、単一サイズの雪片のみを用いたタイル状の敷き詰めは不可能です。タイル状の敷き詰めにおける各コッホ雪片は、2つの異なるサイズの7つの小さな雪片に分割できるため、2つ以上のサイズを同時に用いるタイル状の敷き詰めも可能です。 [ 11 ]同じサイズのコッホ雪片とコッホ反雪片を用いて平面をタイル状に敷き詰めることができます。
トゥー・モース列とタートルグラフィックス
タートルグラフとは、オートマトンにシーケンスをプログラムした場合に生成される曲線です。プログラム状態を選択するために Thue-Morseシーケンスのメンバーを使用する場合、次のようになります。
- の場合、1単位前進し、

- の場合、反時計回りにラジアンまたは60度回転します。


結果として得られる曲線はコッホ雪片に収束します。
リンデンマイヤーシステムとしての表現
コッホ曲線は次の書き換えシステム(リンデンマイヤーシステム)で表すことができます。
- アルファベット :F
- 定数 : +, −
- 公理 :F
- 生成規則 :F → F+F--F+F
ここで、Fは「前方に引く」、-は「右に 60° 回転する」、+ は「左に 60° 回転する」を意味します。
コッホ スノーフレークを作成するには、公理として F--F--F (正三角形) を使用します。
コッホ曲線の変種
フォン・コッホの概念に従って、直角(二次曲線)、他の角度(チェザロ)、円、多面体、およびそれらの高次元への拡張(それぞれ球状フレークとコッホキューブ) を考慮したコッホ曲線のいくつかの変種が設計された。
| バリアント(寸法、角度) | 図 | 工事 |
|---|
| ≤1D、角度60~90° | チェザロフラクタル(85°) | チェザロ・フラクタルは、コッホ曲線の変形であり、角度は60°から90°です。チェザロ・アンチスノーフレークの最初の4つの反復(90°の正方形に配置された4つの60°曲線)  |
| ≈1.46D、90°の角度 | 二次曲線タイプ1 | 最初の2つの反復 |
| 1.5D、90°の角度 | 二次曲線タイプ2 | ミンコフスキーソーセージ[ 12 ] 最初の2回の反復。そのフラクタル次元は1次元と2次元のちょうど中間に位置します。そのため、非整数フラクタル物体の物理的特性を研究する際によく選ばれます。   |
| ≤2D、90°の角度 | 3回目の反復 | ミンコフスキー島 正方形に配置された4つの2次曲線  |
| ≈1.37D、90°の角度 | 二次フレーク | 多角形に配置された4つの二次曲線タイプ1:最初の2回の反復。「ミンコフスキーソーセージ」として知られる[ 13 ] [ 14 ] [ 15 ]フラクタル次元は[ 16 ]である。 |
| ≤2D、90°の角度 | 二次アンチフレーク | 反クロスステッチ曲線、二次フレークタイプ1、曲線が外側ではなく内側を向いている(ヴィチェクフラクタル) |
| ≈1.49D、90°の角度 | 二次交差 | 別のバリエーション。そのフラクタル次元は です。  |
| ≤2D、90°の角度 | 二次島[ 17 ] | 二次曲線、反復0、1、2;次元 |
| ≤2D、60°の角度 | フォン・コッホ面 | 2 次元におけるコッホ曲線の自然拡張の最初の 3 回の反復。 |
| ≤2D、90°の角度 | タイプ1の3Dコッホ二次フラクタルの1回目(青いブロック)、2回目(緑のブロックと)、3回目(黄色のブロックと)、4回目(透明なブロックと)の反復 | 2次曲線タイプ1の拡張。左の図は、2回目の反復後のフラクタルを示しています。アニメーション2次曲面  |
| ≤3D、任意 | 3Dのコッホ曲線 | コッホ曲線から構成される3次元フラクタル。シェルピンスキーのピラミッドとメンガースポンジがシェルピンスキーの三角形とシェルピンスキーカーペットの延長線上にあるのと同様に、この形状も曲線の3次元的な延長線上にあるとみなすことができます。この形状に使用されている曲線は、85°の角度を使用しています。 |
正方形は、同様のフラクタル曲線を生成するために使用できます。単位正方形から始めて、各反復で各辺に、前の反復の正方形の3分の1の大きさの正方形を追加していくと、周囲の長さと総面積の両方が等比数列によって決定されることが示されます。面積の等比数列はに収束しますが、周囲の等比数列は無限大に発散するため、コッホの雪片の場合と同様に、無限のフラクタル曲線で囲まれた有限の面積が得られます。[ 18 ]結果として得られる面積は、元の中心と同じ正方形を埋めますが、面積は2倍になり、ラジアン回転します。周囲は互いに接しますが、重なることはありません。 

番目の反復でカバーされる合計領域は次のとおりです。 

一方、周囲の全長は次のようになります。 これは、増加するにつれて無限大に近づきます。 

機能化
コッホ関数のグラフコッホ曲線を確立したヘルゲ・フォン・コッホの論文では、この曲線に加えて、当時幾何学的に表現可能であった、どこでも連続でありながらどこでも微分可能ではない関数の例として、この曲線のバリエーションが示されている。ABで表される基本直線から、各線分に以下の式を再帰的に適用することで、このグラフを描くことができる。
- 線分 ( XY ) を点Cと点Eで区切って、等しい長さの 3 つの部分に分割します。
- 線分DMを描きます。ここで、MはCEの中点であり、DM はABの最初の底辺に垂直で、長さは です。

- 線CDとDEを描き、線CEとDMを消去します。
ABの各点は単一の高さに収束することが示されます。をその点から最初の底までの距離として定義すると、関数として、はどこでも連続であり、どこでも微分不可能です。[ 3 ]

アプリケーション
コッホの雪片は面積が有限である一方、境界は無限に長いため、限られた空間内で周囲や表面積を最大化する必要がある設計のモデルとして役立ちます。アンテナ工学では、コッホ型フラクタル設計を取り入れることで、電磁放射を送受信する材料の周囲が広がり、限られたスペースや複雑な回路レイアウトに適したコンパクトなアンテナの構築が可能になります。[ 19 ] [ 20 ] [ 21 ]音響工学では、コッホの雪片にヒントを得た音響メタサーフェスが、自動車の車内での広帯域音拡散についてテストされています。[ 22 ]コッホの雪片形状は、二重管熱交換器の熱伝達性能を向上させるためにも応用されています。[ 23 ]
参照
参考文献
- ^アディソン、ポール・S. (1997).フラクタルとカオス:図解講座. 物理学研究所. p. 19. ISBN 0-7503-0400-6。
- ^ローウェリエ、ハンス (1991). 『フラクタル:無限に繰り返される幾何学図形』 ギル=ホフシュテット訳、ソフィア・プリンストン大学出版局. p. 36. ISBN 0-691-02445-6
マンデルブロはこれをコッホ島と呼んだ
。 - ^ a b c dフォン・コッホ、ヘルゲ (1904)。「Sur une courbe continue sans tangente, obtenue par une construction géométrique élémentaire」。Arkiv for matematik, astronomi och fysik (フランス語)。1 : 681–704。JFM 35.0387.02 。
- ^フォン・コッホ、ヘルゲ (1906)。「クールブ平面の理論に関する確かな質問を注ぐ、幾何学的な手法」。Acta Mathematica (フランス語)。30 : 145–174 .土井: 10.1007/BF02418570。ISSN 0001-5962。
- ^デミシェル、ヤン (2024年9月13日). 「フォン・コッホのスノーフレーク曲線を発明したのは誰か?」 .アメリカ数学月刊誌. 131 (8): 662– 668. arXiv : 2308.15093 . doi : 10.1080/00029890.2024.2363737 . ISSN 0002-9890 .
- ^カスナー、エドワード、ニューマン、ジェームズ・R. (2001). 『数学と想像力』 ニューヨーク州ミネオラ: ドーバー出版. ISBN 978-0-486-41703-5。
- ^アロンソ=マロキン、F.ファン、P.ハナオル、D.フローレス・ジョンソン、E.プルースト、G.ガン、Y.シェン、L. (2015)。「剛フラクタル面間の静摩擦」(PDF)。物理的レビュー E . 92 (3) 032405。ビブコード: 2015PhRvE..92c2405A。土井: 10.1103/PhysRevE.92.032405。hdl : 2123/13835。PMID 26465480。 — コッホ曲線を使用したフラクタル面の研究。
- ^「コッホスノーフレーク」ecademy.agnesscott.edu .
- ^マッカートニー、マーク (2020-04-16). 「コッホ曲線の面積、重心、回転体積」 .国際数学教育科学技術ジャーナル. 52 (5): 782– 786. doi : 10.1080/0020739X.2020.1747649 . ISSN 0020-739X . S2CID 218810213 .
- ^ Jia, Baoguo (2007年6月1日). 「コッホ曲線のハウスドルフ測度の境界」.応用数学と計算. 190 (1): 559– 565. doi : 10.1016/j.amc.2007.01.046 .
- ^バーンズ、エイダン (1994). 「フラクタルタイル」. Mathematical Gazette . 78 (482): 193–6 . doi : 10.2307/3618577 . JSTOR 3618577 . S2CID 126185324 . 。
- ^ポール・S・アディソン著『フラクタルとカオス:イラスト講座』p.19、CRC Press、1997年ISBN 0849384435。
- ^ワイスタイン、エリック W. (1999)。 「ミンコフスキー ソーセージ」、 archive.lib.msu.edu。アクセス日: 2019 年 9 月 21 日。
- ^ Pamfilos, パリ. 「ミンコフスキーソーセージ」, user.math.uoc.gr/~pamfilos/ . アクセス日: 2019年9月21日.
- ^ワイスタイン、エリック・W. 「ミンコフスキー・ソーセージ」。マスワールド。2019 年9 月 22 日に取得。
- ^マンデルブロ, BB (1983).『自然のフラクタル幾何学』 p.48. ニューヨーク: WH Freeman. ISBN 9780716711865. Weisstein, Eric W. 「Minkowski Sausage」に引用。MathWorld 。 2019年9月22日閲覧。。
- ^アピニャネージ、リチャード編 (2006).『フラクタル幾何学入門』 Icon. ISBN 978-1840467-13-0。
- ^ 2013年1月27日、KAUST大学で行われた公開講演でジェームズ・マクドナルド氏が実演。 「KAUST | Academics | Winter Enrichment Program」。2013年1月12日時点のオリジナルよりアーカイブ。 2013年1月29日閲覧。2013年1月29日閲覧。
- ^ Choukiker, Yogesh Kumar; Behera, Santanu Kumar (2017). 「広帯域周波数再構成可能コッホスノーフレークフラクタルアンテナ」 . IET Microwaves, Antennas & Propagation . 11 (2): 203– 208. doi : 10.1049/iet-map.2016.0238 . ISSN 1751-8725 .
- ^ Saharsh, SB; Viswasom, Sanoj; Kumar, Santhosh K. (2020). Kochスノーフレークフラクタルアンテナアレイの設計と解析. 第4回I-SMAC国際会議(ソーシャル、モバイル、アナリティクス、クラウドにおけるIoT)(I-SMAC). pp. 194– 197. doi : 10.1109/I-SMAC49090.2020.9243518 .
- ^パラシオス、オーランド、FG;ディアス・バルガス、リカルド・E.ペレス、ホルヘ AH。エラソ、セグンドBC (2016)。CubeSats 用の S バンド コッホ スノーフレーク フラクタル アンテナ。 2016 IEEE アンデスコン。アレキパ、ペルー。 pp. 1–4 . doi : 10.1109/ANDESCON.2016.7836227。
- ^リー、ジーハン;謝龍翔。高、新華社。黄、維春。徐佑忠。ヤン、ジン。ルー・ミンホイ。鍾、徐 (2025-11-14)。「自動車用スピーカー システムにおける広帯域サウンドの拡散のための、コッホのスノーフレークにインスピレーションを得た音響メタサーフェス」。応用物理学ジャーナル。138(18)。土井: 10.1063/5.0277003。ISSN 0021-8979。
- ^ Gomez, Anton (2017). Koch Snowflake Fractal Designを用いた二重管熱交換器の熱性能(修士論文). ジョージア州ステートボロ、アメリカ合衆国:ジョージアサザン大学. 2025年11月18日閲覧。
外部リンク