馬蹄形写像

馬蹄形写像（ばていけいしゃぞう、テンプレート:Lang-en）とは、伸ばして折り曲げる変形で定義される、2次元上の力学系である。馬蹄形力学系テンプレート:Sfnや馬蹄写像テンプレート:Sfnなどとも呼ぶ。スティーブ・スメールが最初に作った写像で、強制振動型のファン・デル・ポール方程式が示す複雑な振る舞いを考察するために考案した。馬蹄形写像は、非線形力学系におけるカオスが生みだされる一般的なメカニズムを表している。一般的に、写像のサドル点が安定多様体と不安定多様体が横断的に交わるホモクリニック点を持つとき、馬蹄が存在することが知られる。

写像の定義

馬蹄形写像による変形操作。正方形 ABCD が馬蹄 A'B'C'D' に写される。

平面 R² 上で、辺の長さが 1 である正方形を考える。この正方形 S を、横方向に縮め、縦方向に引き伸ばす。出来上がった縦長い長方形を、さらに真ん中で曲げて折り返し、馬蹄（逆U字）のような形にする。そして、S があった元の正方形に覆い被さるように置く。この一連の操作後に S が移った領域を h(S) とするテンプレート:Sfn。横方向の縮小と縦方向の拡大は、元の正方形領域に重ねたときに、横方向ははみ出ない程度に、縦方向は曲線部分が正方形領域に被らない程度に、適当な縮小率 λ と拡大率 μ が与えられれば事足りるテンプレート:Sfn。

馬蹄形写像 h とその逆写像 h⁻¹

馬蹄形写像 h とは、以上のように連続的な変形の操作で定義される、S を像 h(S) へ写す写像であるテンプレート:Sfnテンプレート:Sfnテンプレート:Sfn。馬蹄形写像は、代数的というより、幾何学的に定義される写像であるテンプレート:Sfnテンプレート:Sfn。後述のように構造安定な写像なので、変形自体も多少適当であっても同じ力学系になる。h(S) の縦線が S の縦線とは交わらないことや h(S) が S をきちんと突き抜けていることなどが守られていれば本質的に同じ力学系といえる。h(S) に再度 h を適用すれば、逆U字をさらに伸ばして折り曲げた領域の像 h ²(S) ができあがる。ここで、h ² は写像 h の2回反復合成を意味する。逆写像 h⁻¹ も定義でき、h は時間反転に対称な写像である。h⁻¹ で正方形 S を写すと向きが 90° 変わった馬蹄が出来上がるテンプレート:Sfn。

他の馬蹄形写像の定義としては、S の両側に半円をくっ付けた領域で定義して、正方形外の h(S) の点の挙動を明確にする流儀もあるテンプレート:Sfnテンプレート:Sfn。はみ出た部分を切り取ってしまう（消してしまう）という考え方もある。2次元球面上の微分同相写像への拡張も容易にできるテンプレート:Sfn。

正方形内の不変集合

馬蹄形写像の反復適用の様子

馬蹄形写像を繰り返し適用すると、縦方向の幅はどんどん縮められながら、何重にも折りられ、積み重なった図形となるテンプレート:Sfn。馬蹄形写像でとくに注目するのが、写像の反復を延々と続けても元の正方形領域 S の内に留まり続ける領域であるテンプレート:Sfn。一般に、ある写像 x ↦ f(x) に対して集合 A ∋ x が不変であるとは、任意の n ∈ Z について f ⁿ(x) ∈ A を満たすことをいうテンプレート:Sfn。正方形内に存在する馬蹄形写像の不変集合とは、領域 Λ = { x ∈ S | 全ての整数 n について x ∈ h ⁿ(x) } のことであるテンプレート:Sfn。正の方向の反復と負の方向の反復に分けた方が便利なのでテンプレート:Sfn、

${\mathrm{\Lambda }}_{+}=\{x|h^k(x)\in S,k=0,1,2,\cdots \}$

${\mathrm{\Lambda }}_{-}=\{x|h^k(x)\in S,k=-1,-2,-3,\cdots \}$

$\mathrm{\Lambda }={\mathrm{\Lambda }}_{+}\cap {\mathrm{\Lambda }}_{-}$

のように、Λ を構成するテンプレート:Sfn。ここで、h ⁰ は恒等写像を意味する。

1回反復に S に残る領域

像 h(S) の内の S 上に残っている領域（点の集合）は、h(S) の馬蹄の左側と右側に縦長の長方形として存在する。左側の長方形を h(H₀) とし、右側の長方形を h(H₁) とする。元の S 上では、H₀ は下側に存在する横長の長方形で、H₁ は上側に存在する横長の長方形である。h(H₀) と h(H₁) の横幅は λ であり、H₀ と H₁ の縦幅も λ となるテンプレート:Sfn。

2回反復に S に残る領域

次に、2回反復 h ²(S) が S 内に残る領域は、より細くなった4つの縦長長方形となる。これらの4つの縦長長方形へ写る元の S 上の領域は、1回適用のときと同じく4つの横長長方形が対応するテンプレート:Sfn。左に残る領域には H の下付き文字の右側に0を付け加え、右に残る領域には1を付け加えるとする。すなわち、h ²(S) ∈ S の4本の縦長長方形を、左から h ²(H₀₀), h ²(H₁₀), h ²(H₁₁), h ²(H₀₁) と表す。例えば、H₁₀は、h ¹ で右側へ、h ² で左側へ写ることを意味する。H₀₀ と H₀₁ は H₀ の内に存在し、H₁₀ と H₁₁ は H₁ の内に存在するテンプレート:Sfn。

以上のような具合に h の反復を続けると、k 回反復後に h ^k(S) ∈ S である領域は、幅が λ^k、数が 2^k 本の縦長長方形となる。これらの領域に写る S 上の点の集合 H も、幅が λ^k、数が 2^k 本の横長長方形となる。よって、n → ∞ で、各 H の幅は 0 に収束し、H は長さ 1 の水平な線分の非可算無限個の集まりとなる。H は、その操作から、線分のカントール集合を形成する。この集合が、n → ∞ に関する不変集合 Λ₊ であるテンプレート:Sfn。

不変集合 Λ の構成

負の時間方向へ h⁻¹ を反復した場合も、同様の議論から、n → −∞ に関する不変集合 Λ₋ も線分のカントール集合を形成する。ただし、Λ₋ は垂直な線分の集まりであるテンプレート:Sfn。過去にわたっても未来にわたっても S 上に存在しつづける不変集合は Λ₊ と Λ₋ の積であるから、H と V が重なってできる無数の小さな正方形の中に不変集合が含まれることになるテンプレート:Sfn。Λ は、2つのカントール集合同士の直積集合となるテンプレート:Sfn。

不変集合上の軌道

不変集合 Λ 上の点 p は時間発展（写像の反復）に従ってどのような振る舞いをするのかに注目する。そのために記号力学系を用いるテンプレート:Sfn。H と V の積でできる小さな正方形領域に番号を振っていく。上記で行っていたように、S の左側を 0、右側を 1 で表すとする。S の下側は 0、上側は 1 で表す。例えば、H₀₁₀₁ ∈ S は h ⁰, h ² で左側に写り、h ¹, h ³ で右側に写る点の集合である。V₁₀₀ ∈ S は h⁻¹, h⁻² で下側に写り、h⁻³ で上側に写る点の集合である。反復のたびに H には添え字の右側に値を加えていくが、V には添え字の左側に値を加えていくとする。例えば、H₀₁₀₁ と V₁₀₀ の積でできる領域は、100⋅0101 という番号で表すことができる。ここで、点 ⋅ は初期点を意味する。このような 0 と 1 の番号列で、馬蹄形写像 h による点 p ∈ Λ の時間発展の挙動を表すことができる。この番号列を旅程と呼ぶテンプレート:Sfn。

以上のような番号振りによって、Λ 上の点 p を、その旅程へ対応させる写像

$\rho (p)=(\cdots s_{-2}{s}_{-1}\cdot s_0{s}_1{s}_2\cdots )$

を定義できる。ここで、s_i は 0 または 1 である。ρ は、一対一対応で全ての p を一意な旅程へ対応付けることができるテンプレート:Sfn。 一方、0 と 1 の無限列を要素とし、全ての 0 と 1 の組み合わせから成る集合を Σ で表す。Σ 上の2点（2つの列）a = (...a₋₂a₋₁⋅a₀a₁a₂...) と b = (...b₋₂b₋₁⋅b₀b₁b₂...) の距離を

$d(𝐚,𝐛)=\sum _{i=-\mathrm{\infty }}^{\mathrm{\infty }}\frac{|a_i-b_i|}{2^{\left|i\right|}}$

で定義する。さらに、Σ 空間に作用するシフト写像 σ を

$\sigma (\cdots s_{-2}{s}_{-1}\cdot s_0{s}_1{s}_2\cdots )=(\cdots s_{-2}{s}_{-1}{s}_0\cdot s_1{s}_2\cdots )$

と定義する。すなわち、σ は列の構成要素を一つ左へずらすだけの写像である。距離 d により、σ は Σ 上の同相写像であるテンプレート:Sfn。

以上のように用意された σ を Σ 上の点に反復適用すれば、時間発展に応じて点が移り変わっていく離散力学系の軌道が構成できる。Σ 上の σ は次のような軌道を持つテンプレート:Sfn。

• 可算無限個のあらゆる周期の周期軌道
• 非可算無限個の非周期軌道
• Σ 内を稠密に動き回る軌道

そして、不変集合 Λ へ作用する馬蹄形写像 h は、ρ: Λ → Σ を位相共役写像にして σ: Σ → Σ と位相共役の関係にある。すなわち、h の Λ への制限 h|_Λ: Λ → Λ は、

$\rho \circ h{|}_{\mathrm{\Lambda }}=\sigma \circ \rho$

を満たすテンプレート:Sfn。したがって、σ が持つ上記の性質を h も備えている。Λ 上の任意の点はどんなに小さな近傍上の点とも有限回の反復である距離以上に離れてしまう性質を持ち、h は初期値鋭敏性を持つ閉不変集合上のカオス力学系であるテンプレート:Sfn。さらに、h の全ての周期点は、安定集合と不安定集合を持つサドル点となるテンプレート:Sfn。

不変集合 Λ は非遊走集合でもあるテンプレート:Sfn。ある力学系 f について点 x₀ が非遊走的であるとは、x₀ の適当な近傍 U 上の任意の点 x に写像の反復を繰り返すと、ある有限の反復繰り返し数 k で f ^k(x) が U と含まれることをいう。非遊走的な点とは、その点を含めたある領域に写像の反復を繰り返すと、その領域自身に必ずいつか戻って来るという性質を持つ点だといえるテンプレート:Sfn。非遊走集合とは非遊走的な点の集まりのことでテンプレート:Sfn、ある力学系 f の全ての非遊走的な点を集めた非遊走集合を Ω(f) などと表すテンプレート:Sfn。

安定集合と不安定集合

x₀ ∈ S の安定集合 W^s(x₀) と不安定集合 W^u(x₀) を、

$W^s(x)=\{x||f^n(x)-f^n(x_0)|\to 0(n\to \mathrm{\infty })\}$

$W^u(x)=\{x||f^{-n}(x_0)-f^{-n}(x)|\to 0(n\to \mathrm{\infty })\}$

と定義する。安定集合とは、写像の繰り返し反復によって x₀ の軌道に近づいていく初期点の集まりといえる。不安定集合は、時間をさかのぼる方向へ繰り返し反復させたときに x₀ の軌道に近づいていく初期点の集まりであるテンプレート:Sfn。安定集合と不安定集合が部分多様体であれば、これらを安定多様体と不安定多様体ともいうテンプレート:Sfn。

2回反復時の安定集合の様子。h ²(S) 上で p₀ に近づく青線を元の S へ開くと安定集合の線となる。

常に f(x) = (x) を満たし、写像を適用しても動かないような点を不動点というテンプレート:Sfn。正方形 S 上には、左下と右上に2つの不動点があり、どちらもサドル点であるテンプレート:Sfn。左下の不動点を p₀ とすると、 p₀ を通る水平線上の点は、反復によって p₀ に近づく。したがって、p₀ は安定集合 W^s(p₀) を持ち、 p₀ を通る水平線分 l_s がその一部である。反復によって p₀ に近づく点は他にも存在し、それらはある回数反復したときに l_s 上に写る点の集合である。これらは、反復回数 n = k とすると、S 上の 2^k 個の水平線分になる。図的には、S を 2^k 回通る蛇のように曲がりくねった曲線である。p₀ の不安定集合 W^u(p₀) は、同様に、p₀ を通る垂直線分 l_u を含み、S を垂直に 2^k 回横切る曲がりくねった曲線になるテンプレート:Sfn。n → ∞ でこれらの曲線は、その閉包に不変集合 Λ の全ての点を含むテンプレート:Sfn。

記号力学系の Σ 空間上では、不動点 p₀ は {...000⋅000...} という列に対応する。すなわち、W^s(p₀) は、Σ 空間で、その番号列のどこかの位置から右側が全て 0 となっている番号列

$W^s(p_0)=\{\cdots s_{-2}{s}_{-1}\cdot s_0{s}_1{s}_2\cdots s_{p}000\cdots |s_i\in \{0,1\}\}$

に対応する。一方、W^u(p₀) もどこかの位置から左側が全て 0 となっている番号列

$W^u(p_0)=\{\cdots 000s_q\cdots s_{-2}{s}_{-1}\cdot s_0{s}_1{s}_2\cdots |s_i\in \{0,1\}\}$

に対応するテンプレート:Sfn。

構造安定性

馬蹄形写像は、上記のような非常に複雑な軌道を取ると同時に構造安定である力学系として知られるテンプレート:Sfn。構造安定であるとは、大雑把にいうと、ある力学系が別の力学系に変動したときに、その別の系が元の系にある程度以上近ければ質的に同じ挙動が保たれるという意味であるテンプレート:Sfn。 数学的には、構造安定性は写像同士の近さを示す距離（位相）を導入して定義されるテンプレート:Sfn

まず、馬蹄形写像の非遊走集合 Ω(h) は摂動 φ に対して Ω-安定であるテンプレート:Sfn。元々 R² に局所的に定義されていた馬蹄形写像を、2次元球面上に拡張し、C ^∞級微分同相写像 h: S ² → S ² として再定義するテンプレート:Sfn。C ^r 位相を入れた、S ² の C ^r 級微分同相写像の全体から成る集合 Diff^r(S ²) 上で、h の近傍 U を考える。このときに、ある適当な近傍 U を取れば、近傍内の任意の写像 φ とその非遊走集合 Ω(φ)に対して、h|_Ω(h) と φ|_Ω(φ) が位相共役な関係となるテンプレート:Sfn。

馬蹄形写像はΩ-安定であり、さらに強い安定性すなわち構造安定性も備える。Ω(h) に制限されない S ² 全体で、 h: S ² → S ² と φ: S ² → S ² が位相共役の関係となるテンプレート:Sfnテンプレート:Sfn。すなわち、h のどの軌道も、φ の軌道として向きを保存して現れる。

馬蹄の一般性

馬蹄形写像は「カオス的不変集合を持つ原型的な写像」テンプレート:Sfn、馬蹄は「カオスという不規則な変動を生み出す土台」テンプレート:Sfnや「カオスのホールマーク」テンプレート:Sfnといわれる。馬蹄形写像は、元の領域を引き伸ばして折りたたむというメカニズムが持ち、これはカオスを生む一般的なメカニズムの一つであるテンプレート:Sfn。馬蹄形写像は特殊に定義された力学系のようにみえるが、実際にはカオスを生む力学系全体に普遍的に存在している。

一般に、ある点 p に対する安定多様体 W^s(p) と不安定多様体 W^u(p) を考える。写像（離散力学系）の場合、W^s(p) と W^u(p) が p 以外の場所で交差できるテンプレート:Sfn。この交点を q とする。q はホモクリニック点と呼ばれるテンプレート:Sfn。W^s(p) と W^u(p) が q で 0 でない角度で交差するとき、q を横断的ホモクリニック点というテンプレート:Sfn。W^s(p) と W^u(p) が不変集合としての性質を持っていることから、q が 写像 f によって写される f (q) も W^s(p) と W^u(p) の交点（ホモクリニック点）に写ることになる。q を初期点とする軌道 {..., f ⁻²(q), f ⁻¹(q), q, f(q), f ²(q),...} も全て W^s(p) 上と W^u(p) 上に存在し、ホモクリニック点が無限個存在することになる。結局、横断的ホモクリニック点が1つ存在すれば、 W^s(p) と W^u(p) は互いに無限に交わりながら絡み合うテンプレート:Sfn。このような複雑な幾何学的構造はホモクリニック錯綜と呼ばれテンプレート:Sfn、歴史的にはアンリ・ポアンカレが制限三体問題における不安定周期解の性質を研究する過程でその存在を指摘していた。連続力学系であれば、ポアンカレ写像によって上記の議論がそのまま当てはまるテンプレート:Sfn。

横断的ホモクリニック点と馬蹄。短冊形ABCDが写像の適当な反復によって馬蹄A'B'C'D'に写る。

馬蹄形写像の発案者であるスティーブ・スメールは、ホモクリニック点が持つ位相的性質を馬蹄形写像として解明したテンプレート:Sfn。以上のような錯綜が起こると、馬蹄が存在するようになるテンプレート:Sfn。言い換えれば、写像が横断的ホモクリニック点を持つとき、その力学系は馬蹄形写像を持つテンプレート:Sfn。幾何学的には、以下のような具合である。p と q を含み、W^s(p) を中心線とするような短冊形領域ABCDを考える。ABCDは写像の反復によって p の周りに正方形状に集まる。この正方形状領域は、さらなる反復によってW^u(p) に沿って引き伸ばされる。最終的に、適当な k 回の反復によって写る領域 A'B'C'D' = f ^k(ABCD) は馬蹄形となり、ABCD を突き抜けた格好となるテンプレート:Sfn。この f ^k は馬蹄形写像であるテンプレート:Sfn。平面上の微分同相写像を f とし、横断的ホモクリニック点が存在すれば、f のある反復繰り返しに、上記で定義された馬蹄形写像に座標変換して一致する「馬蹄」が存在することが定理としていえるテンプレート:Sfn。

馬蹄形写像は幾何学的に定義される写像であったが、馬蹄形写像と類似の操作を持ち尚且つ具体的な代数式が与えられている他の2次元上の離散力学系の例としては、エノン写像があるテンプレート:Sfn。不連続変形ではあるが、パイこね変換も馬蹄形写像と類似の操作から成るテンプレート:Sfn。連続力学系（常微分方程式系）でポアンカレ断面上に馬蹄が観察できる例としては、周期外力が加わる減衰付のダフィング振動子テンプレート:Sfnや電気回路のチュア回路テンプレート:Sfnが知られている。

発見史

スティーブ・スメール（2008年）

馬蹄形写像は、アメリカの数学者スティーブ・スメールが考案した。スメールが馬蹄形写像を初めて紹介した論文は、1964年の Diffeomorphisms with many periodic points とされるテンプレート:Sfn。当時の背景として、1940年代から1950年代にかけて、非線形振動の問題が多くの数学者の興味を引き、多くの研究がなされていたテンプレート:Sfn。スメールは、自身の学位論文はトポロジーに関するもので、研究者となった後の主な興味もトポロジーにあったテンプレート:Sfn。シカゴ大学で最初の教職に就いたのちに同僚を通じて徐々に力学系についても理解を深め始め、1958年ごろに知ったテンプレート:仮リンクの構造安定性に関する成果に興味を持ち、この結果を任意次元への拡張することに取り組んだテンプレート:Sfn。

その後、スメールは力学系に関する論文を仕上げて公表した。しかし、その論文では誤った示唆が含まれていたテンプレート:Sfn。

その論文では、後にモース・スメール系と呼ばれるクラスの力学系について論じ、そのクラスの力学系はほとんど全ての常微分方程式であると示唆したテンプレート:Sfn。この示唆に対して、アメリカのテンプレート:仮リンクから反論を含む手紙が届けられた。その手紙には、レビンソンの以前の論文の結果が書かれており、スメールの論文に対する反例が含まれていたテンプレート:Sfn。レビンソンの論文は、1940年代のイギリスのテンプレート:仮リンクとジョン・エデンサー・リトルウッドの研究成果をもとにしていたテンプレート:Sfn。カートライトとリトルウッドの研究は強制振動型のファン・デル・ポール方程式に関するもので、その微分方程式は無限に多くの周期解を持つことを示していたテンプレート:Sfn。

スメールは、レビンソンの論文、カートライトとリトルウッドの方程式について取り組み、レビンソンの結果が正しいことを理解したテンプレート:Sfn。この過程で、以下の強制振動型ファンデルポール方程式が示す複雑な挙動の本質を幾何学的に考察し、スメールは馬蹄形写像のアイデアに至ったテンプレート:Sfn。この複雑な挙動の本質は「引き伸ばし」と「折り曲げ」であると直感し、馬蹄形写像を思いついたというテンプレート:Sfn。

ちなみに、スメールが最初のころに考えた写像の変形は、現在のものとはやや異なる2箇所を折り曲げて畳むような変形で、スメールの図を見たテンプレート:仮リンクからのコメントを経て、今の馬蹄形写像となったテンプレート:Sfn。ただし、この当時にスメールが考えていた2折り変形の写像でも、現在の馬蹄形写像と同等な現象は起き得るテンプレート:Sfn。

参照文献

• テンプレート:Cite book ja-jp
• テンプレート:Cite book ja-jp
• テンプレート:Cite book ja-jp
• テンプレート:Cite book ja-jp
• テンプレート:Cite book ja-jp
• テンプレート:Cite book ja-jp
• テンプレート:Cite book ja-jp
• テンプレート:Cite book ja-jp
• テンプレート:Cite book ja-jp
• テンプレート:Cite book ja-jp
• テンプレート:Cite book ja-jp
• テンプレート:Cite book ja-jp
• テンプレート:Cite journal

外部リンク

• テンプレート:Cite journal
• テンプレート:YouTube　力学系、バタフライ効果、カオス理論に関する一般向けビデオ「CHAOS」より、日本語訳：坪井俊
• テンプレート:Scholarpedia
• テンプレート:MathWorld