カタストロフィー理論のソースを表示

'''カタストロフィー理論'''（カタストロフィーりろん、'''カタストロフ理論'''、{{lang-en-short|catastrophe theory}}）とは、生物の形態発生や言語の構造などのあらゆる現象のモデルとして、[[力学系]]を土台とした構造安定性とその不連続な[[分岐 (力学系)|分岐]]（これをカタストロフという）を用いることで普遍的な説明を行う理論を言う。[[フランス]]の[[ルネ・トム]]によって提唱された<ref>『構造安定性と形態形成』 {{cite book | author=R.Thom | title=Stabilité Structurelle et Morphogénése: Essai d'une théorie générale des modéles | year=1972 | ref=Thom(1972) }}</ref>。

不連続な現象を説明する画期的な理論として、日本でも一時注目を浴び「[[ニュートン力学|ニュートンの力学]]、ウィーナーの[[サイバネティックス|サイバネティクス]]に比肩しうる革命的理論」と喧伝され<ref>[[#形態と構造|形態と構造]] はしがき</ref>盛んに研究、議論された。

== 概要 ==
1955年、アメリカの数学者[[ハスラー・ホイットニー]]は、論文『平面から平面への写像』<ref>{{citation | author=H.Whitney | title=On Singularities of Mappings of Euclidean Spaces. I. Mappings of the plane into the plane | journal=Ann. of Math. | volume=62 | number=3 | year=1955 | pages=374-410 }}</ref>において、特異点理論が急速に発展する契機となった次の定理を証明した。
;ホイットニーの定理
:曲線から平面への滑らかな写像はすべて、適当に微小な変形をすることによって、その特異点が折り目とひだ（尖点、カスプ）だけになるような写像にすることができる
特異点理論は、数学の抽象的な分野（微分幾何学、代数幾何学、トポロジー、鏡映群論、可換環論、複素空間論など）と応用数学的分野（力学的運動の安定性理論、平衡点の分岐理論、幾何ー波動光学など）との交差点にちょうど位置する<ref>[[#Arnol'd(1981)|Arnol'd(1981)]] pp.2-7</ref>。1970年代はじめにフランスの数学者の[[ルネ・トム]]は、生物学的な形態形成的過程を数学的に正当化するにあたって、特異点理論を中心とするそれら関連領域の総称として[[カタストロフ理論]]（catastrophe theory）という名称を提案した。

== 7つの基本カタストロフ ==
=== 折り目・カタストロフ (Fold catastrophe)===
[[File:fold bifurcation.svg|thumb|right|160px|安定と不安定な極値のペアは、折り目分岐で消滅する]]
:<math>V = x^3 + ax\,</math>

''a''が負の値をとるとき潜在的に2つの極値があり、1つは安定であるがもう1つは不安定である。パラメータ''a''をゆっくりと増加させていくと、系は安定した最小の点に追従することができる。しかし{{nowrap|''a'' {{=}} 0}}では安定の極値と不安定の極値が一緒になり消滅する。ここが分岐点である。{{nowrap|''a'' &gt; 0}}では安定する解は存在しない。物理的な系が折り目分岐を追従した場合、''a''が0に達すると{{nowrap|''a'' &lt; 0}}での解の安定性が突如失われ、系が新しく全く異なる挙動に突然移り変わることがわかる。パラメータ''a''のこの分岐値は「ティッピングポイント」と呼ばれることもある。

{{clear}}

=== カスプ・カタストロフ (Cusp catastrophe) ===

:<math>V = x^4 + ax^2 + bx \,</math>

{| style="float:right; clear:right"
| colspan=2 |
[[File:cusp catastrophe.svg|thumb|upright=1.5|カスプ・カタストロフの図。パラメータ''a''のいくつかの値に対し連続的に変化するパラメータ''b''について描かれたパラメータ(''a'',''b'')で、''dV''/''dx'' = ''0''を満たす''x''の曲線（茶、赤）を示している。分岐点のカスプ軌跡（青）の外側ではパラメータ空間内の各点(''a'',''b'')に対して''x''の極値が1つしかない。カスプの内部では各(''a'',''b'')について''V''(''x'')の極小値を与える2つの異なる''x''の値があり、極大値を与える''x''の値で分けられる。]]
|- valign="top"
| [[File:cusp shape.svg|thumb|upright=0.7|カタストロフ点近くのパラメータ空間(''a'',''b'')におけるカスプの形。1領域から2つの安定した解を分ける折り目分岐の軌跡を示す。]]
| [[File:pitchfork bifurcation left.svg|thumb|upright=0.7|表面{{nowrap|''b'' {{=}} 0}}における{{nowrap|''a'' {{=}} 0}}のときのピッチフォーク分岐]]
|}

カスプ幾何学は、第2のパラメータ''b''が制御空間に追加された場合に折り目分岐に何が起こるかを探る上で非常に一般的なものである。パラメータを変えると安定性が失われた(''a'',''b'')空間に点の「曲線」（青色）が現れ、安定解が突如別の結果にジャンプすることがわかる。

しかしカスプ幾何学では分岐曲線はそれ自体でループし、代替解自体が安定性を失っている第2の分岐を与えることで元の解集合に戻る。''b''を繰り返し増加させその後に減少させることで系が交互に1つの解に追従し、もう1つにジャンプし、そこでの解に追従し、最初の方にジャンプするという[[ヒステリシス]]ループを観測することができる。

但しこれはパラメータ空間{{nowrap|''a'' &lt; 0}}の領域においてのみ可能である。''a''が大きくなるとヒステリシスループは小さくなり、''a''が0以上になると完全に消滅し（カスプ・カタストロフ）1つの安定解しかなくなる。

''b''を一定にし''a''を変えたときに何が起こるかを考えることもできる。{{nowrap|''b'' {{=}} 0}}の対称的な場合、''a''が小さくなると[[ピッチフォーク分岐]]が観測され、物理系がカスプ点(0,0)を通り{{nowrap|''a'' &lt; 0}}になると1つの安定解が突如2つの安定解と1つの不安定解に分割される（[[自発的対称性の破れ]]の例）。カスプ点から離れると物理的な解に突然の変化はない。折り目分岐のカーブを通過するときに起こるのは、代わりの2番目の解が得られることだけである。

提案された有名なものとしてカスプ・カタストロフがストレスを受け、おびえたり怒ったりすることで応答する可能性のある犬の行動をモデル化するために使用できるということがある<ref>[[E.C. Zeeman]], [http://www.gaianxaos.com/pdf/dynamics/zeeman-catastrophe_theory.pdf Catastrophe Theory], ''[[Scientific American]]'', April 1976; pp. 65–70, 75–83</ref>。この提案は適度なストレスでは({{nowrap|''a'' &gt; 0}})、犬はどのように刺激されるかに依存しておびえから怒りという滑らかな反応の移行を示すというものであり、しかし高いストレスレベルは領域移動に対応し({{nowrap|''a'' &lt; 0}})、このとき犬がおびえると「折り目」点に達するまではこれ以上いらいらしてもおびえたままであり、そこに達すると突如不連続的に怒りモードに突入する。一度「怒り」モードに入るとたとえ直接的な刺激パラメータが大きく減少しても怒ったままとなる。

単純な機械系である「ゼーマン・カタストロフ・マシン」はカスプ・カタストロフをうまく説明している。このデバイスではバネの端の位置が滑らかに変化すると、取り付けられたホイールの回転位置が突然変化することがある<ref>Cross, Daniel J., [http://lagrange.physics.drexel.edu/flash/zcm/ Zeeman's Catastrophe Machine in Flash] {{webarchive|url=https://archive.is/20121211093251/http://lagrange.physics.drexel.edu/flash/zcm/ |date=2012-12-11 }}</ref>。

並列冗長を備えた[[複雑系]]のカタストロフィックな失敗は、局所的および外部のストレスの関係に基づいて評価できるところである。[[構造破壊力学]]のモデルはカスプ・カタストロフの挙動に類似している。このモデルは複雑系の備えの能力を予測する。

他の応用には化学系および生物系で頻繁に出会う[[外殻電子移動]]や<ref>{{cite journal|last=Xu|first=F|title=Application of catastrophe theory to the ∆G<sup>≠</sup> to -∆G relationship in electron transfer reactions.| journal=Zeitschrift für Physikalische Chemie Neue Folge | volume=166 | pages=79–91 | date=1990}}</ref>、不動産価格のモデリングがある<ref>{{cite journal|last=Bełej|first=Mirosław|author2=Kulesza, Sławomir|title=Modeling the Real Estate Prices in Olsztyn under Instability Conditions|journal=Folia Oeconomica Stetinensia|date=1 January 2012|volume=11|issue=1|doi=10.2478/v10031-012-0008-7}}</ref>。

折り目分岐とカスプ幾何学はカタストロフィー理論の最も重要な実践的結果である。これらは物理学、工学、数学のモデル化において何度も出てくるパターンである。それらは強力な重力レンズ現象を生み出し、天文学者に対し遠方の[[クエーサー]]の複数の画像を生成する[[重力レンズ]]現象を介した[[ブラックホール]]や[[ダークマター]]を検出するための方法の1つを提供する<ref>A.O. Petters, H. Levine and J. Wambsganss, Singularity Theory and Gravitational Lensing", Birkhäuser Boston (2001)</ref>。

残りの単純なカタストロフ幾何学は比較的特殊化されており、もの珍しい値についてのみ提示されている。

=== ツバメの尾・カタストロフ (swallowtail catastrophe) ===
[[File:Smallow tail.jpg|thumb|right|160px|ツバメの尾・カタストロフ面]]
:<math>V = x^5 + ax^3 + bx^2 + cx \, </math>

この制御パラメータ空間は3次元である。パラメータ空間で設定された分岐は折り目分岐の3つの面で構成されており、それらの面はカスプ分岐の2つの線上で交わり、同様に1つのツバメの尾分岐点で交わっている。

パラメータが折り目分岐の面を通過すると、ポテンシャル関数の1つの最小値と1つの最大値が消える。カスプ分岐では2つの最小値と1つの最大値が1つの最小値にとって代わられ、それらを超え折り目分岐が消える。ツバメの尾点では2つの最小値と2つの最大値はすべて''x''という単一の値になる。ツバメの尾を超え''a>0''の場合、''b'' と ''c''の値に応じて最大最小ペアが1つ存在するか全く存在しないかのどちらかとなる。折り目分岐の2つの面と''a<0''であるために一緒になるカスプ分岐の2本の線はツバメの尾点で消え、残りの折り目分岐の単一表面だけに置き換えられる。[[サルバドール・ダリ]]の最後の絵画''[[:en:The Swallow's Tail|The Swallow's Tail]]''はこのカタストロフを基にしている。

=== 蝶・カタストロフ (butterfly catastrophe) ===
:<math>V = x^6 + ax^4 + bx^3 + cx^2 + dx \, </math>

パラメータの値により、ポテンシャル関数は折り目分岐の軌跡により分けられる3,2,1つの異なる極小値を持つ。蝶ポイントでは折り目分岐の異なる3つの面、カスプ分岐の2面、ツバメの尾分岐線がすべて一緒になり消滅し''a>0''のときの単一カスプ構造が残る。

=== 双曲的臍・カタストロフ (Hyperbolic umbilic catastrophe) === 
:<math>V = x^3 + y^3 + axy + bx +cy \, </math>

=== 楕円的臍・カタストロフ (Elliptic umbilic catastrophe) ===
:<math>V = \frac{x^3}{3} - xy^2 + a(x^2+y^2) + bx + cy \, </math>

=== 放物的臍・カタストロフ (Parabolic umbilic catastrophe) ===
:<math>V = x^2y + y^4 + ax^2 + by^2 + cx + dy \, </math>

==脚注==
<references/>

== 参考文献 ==
* {{cite book | 和書 | title=形態と構造 カタストロフの理論 | author=ルネ・トム, E.C.ジーマン, 宗敷 重広, 佐和 隆光 | year=1977 | publisher=みすず書房 | ref=形態と構造 }}
* {{cite book | 和書 | title=カタストロフ理論 | author=V.I.アーノルド | editor=蟹江 幸博(訳) | publisher=現代数学社 | year=1985 | ref=Arnol'd(1981) }}

== 関連項目 ==
* [[構造安定]] - [[特異点]] - [[分岐 (力学系)]]
* [[ルネ・トム]] - [[ウラジーミル・アーノルド]]
* [[カオス理論]]
* [[尾 (数学)]]
* [[構造主義|フランス構造主義]]
* {{仮リンク|エラー・カタストロフィー|en|Error catastrophe}}

{{analysis-stub}}
{{Normdaten}}
{{DEFAULTSORT:かたすとろふいいりろん}}
[[Category:複雑系]]
[[Category:数学に関する記事]]
[[Category:カオス理論]]
[[Category:特異点論]]
[[Category:分岐理論]]