力学系理論におけるポアンカレ写像（ポアンカレしゃぞう、）とは、連続力学系を次元が1つ低い離散力学系に簡約化する方法である。特に周期軌道やカオス軌道のような、何度も回り続けるような軌道を調べる際にポアンカレ写像は効果を発揮する。
連続力学系の相空間内にポアンカレ断面や切断面と呼ばれる次元が1つ低い超曲面（例えば相空間が3次元のときは曲面、相空間が2次元のときは曲線）を考える。連続力学系の軌道がポアンカレ断面を繰り返し横切るとき、ポアンカレ断面上では点が移っていくような写像を定義できる。これをポアンカレ写像という。周期的な非自律系ではその周期間隔で軌道を記録する手法もあり、これを非自律系のポアンカレ写像やストロボ写像という。
ポアンカレ写像は、アンリ・ポアンカレによって天体力学の研究の中で導入された。ポアンカレ写像の概念は、1881年から1886年にかけて発表されたポアンカレの論文「微分方程式によって定義される曲線について」（Mémoire sur les courbes définies par une équation différentielle および Sur les courbes définies par les équations différentielles）の中に見られる。
趣旨、および利点と限界
力学系とは、簡単に言うと、状態が時間とともに変化するシステムで、その変化の法則が決定論的な形で与えられているものである。力学系には、実数 の連続的な時間に従う変化を記述するものがあり、これは連続力学系や流れと呼ばれる。通常、連続力学系は微分方程式ないしベクトル場の形で与えられる。連続力学系の例として、独立変数を 、従属変数を とする次のような常微分方程式を考える。
従属変数 を1つの列ベクトルと見なし、この式を次のようにも表す。
上記の微分方程式に対し、従属変数 を座標軸とする3次元空間を考えることができ、これを相空間と呼ぶ。微分方程式の一つの解は相空間内の一つの曲線として表され、この曲線は連続力学系の軌道と呼ばれる。
一方で、相空間が3次元あるいはそれ以上の次元になると、軌道の追跡やアトラクターの構造解明には困難が伴い、軌道を描くことも難しくなる。アンリ・ポアンカレは、このような連続力学系の軌道を見るための単純化の手法を発見した。3次元相空間の中にとある2次元平面を考え、その平面を軌道が通過する点（平面と軌道の交点）を記録する。これらの平面上の点には、元の連続力学系の軌道の多くの情報が含まれており、元の軌道全体を調べる代替となりうる。点 で軌道が平面を通過した後に、点 で同じ向きに平面を通過するとすれば、点 を点 へ写す写像 が定義できる。このような写像 をポアンカレ写像と呼ぶ。軌道が通過する平面は、ポアンカレ断面などと呼ばれる。
力学系には、連続力学系のほかに整数 や自然数 の離散的な時間に従う変化を記述するものもあり、これは離散力学系と呼ばれる。一般的に、離散力学系は差分方程式
ないし、相空間 から への写像
の形で与えられる。連続力学系の軌道が点の連続な変化であるのに対し、離散力学系の軌道は や という集合で与えられる飛び飛びの点となる。ここで は の 回反復合成を表す。
微分方程式の軌道とポアンカレ断面の交点を時間の順序で並べて と表すと、ポアンカレ写像 によって
という離散力学系を定めることができる。すなわち、ポアンカレ断面上の交点 が、ポアンカレ写像によって定義される離散力学系の軌道となる。
以上のようなポアンカレ写像の導入によって、連続力学系の問題を、次元が1つ低い離散力学系の問題へと置き換えることができる。扱う問題の次元（変数）を1つ減らせるのはポアンカレ写像を考える第一の利点で、問題の研究を進めやすくしてくれる。また、微分方程式を扱うよりも写像を扱う方が一般的には容易いのも、ポアンカレ写像の有利な点である。
また、ポアンカレ写像では、元の連続力学系の軌道に対し、ポアンカレ断面以外の点は無視する。これにより、処理するデータ量を圧倒的に少なく抑えることができる。このようにポアンカレ写像は元の軌道のごく一部のみを観察する手法であるが、それでもなおポアンカレ写像の振る舞いには、元の軌道の周期性や安定性といった特徴が残される。ポアンカレ断面に、元の軌道の本質的な特徴をより認識しやすい形で示すことができる。特に連続力学系の周期軌道では、その性質の多くをポアンカレ写像によって表現できる。カオスを調べるときも、多くをポアンカレ写像の利用がとても有効である
しかし、任意の微分方程式に対してポアンカレ写像の構成できる一般的な方法は存在しない。ほとんどの場合で、ポアンカレ写像の具体的な形を書き下すのは非常に難しく、普通は不可能といってもよい。ポアンカレ写像の構成は、問題に応じて試行錯誤する必要がある。実際にポアンカレ断面上の軌道を得るには、往々にして数値計算に頼らざるを得ない。
定式化 一般の場合 独立変数を 、従属変数を とする自律系常微分方程式
の解 が、 全体で一意に存在すると仮定する。この解から、相空間を とする流れ が定まる。流れ とは点 が 時間後に写る点を与える写像 を意味し、連続力学系を与える。
さらに、 内でベクトル場 に横断的な 次元超曲面 を考える。ここで、 が に横断的であるとは、 上の任意の点 で、ベクトル が
を充たすことをいう。ただし、 は における と直交するベクトルを、 はベクトルの内積を表す。
そして、 から出発する軌道が、 時間後にまた 上に戻って来ると仮定する。すなわち、 ある があって、 である。 上に戻って来ることは複数ありうるので、それらのうちの最小時間を とする。このときの写像 がポアンカレ写像である。特に、 を改めて と表し、
によって定まる写像 をポアンカレ写像と呼ぶ。
ポアンカレ写像 は帰還写像（、）とも呼ばれる。横断的な曲面 はポアンカレ断面（）や切断面（）、横断面（）と呼ばれる。流れによって に戻って来る最小時間 は帰還時間と呼ばれる。
微分方程式全般で考えると、ポアンカレ写像が存在しない（定義できない）ことも多い。存在する場合も、ポアンカレ写像の定義域は 全体ではなく、 の真部分集合 となるのが一般である。ポアンカレ写像を繰り返し施すと途中から像が定義域 を出る可能性もある。
周期軌道の場合
微分方程式全般ではポアンカレ写像がうまく定義できるかは非自明だが、流れが周期軌道（閉曲線となる軌道）を持つときは、その周期軌道の近傍でポアンカレ写像の存在が次のように保証される。
自律系常微分方程式より定まる力学系に周期軌道が存在し、その周期軌道を とし、 の周期を とする。周期軌道上の点 と交わるように 次元曲面 を取る。 は で と横断的に交わるように取れば、 はベクトル場 に横断的なポアンカレ断面になる。
から出発する軌道は時間 経過後に に戻って来る。また、 が 級（）であれば、 も 級である。よって、 に十分近い点 から出発する軌道は、 の近くに戻って来る。そのため、 上で の近傍 を適当に取れば、 上の任意の点 から出発する軌道が と再び交わるようにできる。こうして構成できる から への写像 がポアンカレ写像である。
周期的な非自律系の場合（ストロボ写像）
常微分方程式には、次のように、時間 を陽に含む非自律系でなおかつ について時間 の周期性を持つ場合がある。
この微分方程式の流れ を、点 における時刻 も明記して と書き表すとする。時間 に周期的な非自律系の特性として、 が成り立つ。
という写像 を定義すると、 であるので、 の 時間後の位置は
と表すことができる。ここで、 は を満たす整数である。
また、1次元トーラス を周期 によって剰余群 で定義する。 は整数全体の集合である。時間 に周期的な非自律系の拡大相空間 は、 と同一視できる。拡大相空間 の中で軌道を考えると、 は でポアンカレ断面を取って得られるポアンカレ写像 に相当する。
元の微分方程式に戻って言うと、このポアンカレ写像は、微分方程式の解 を 時間ごとに観察することに相当する。このような手法による非自律系のポアンカレ写像をストロボ写像や時間 写像とも呼ぶ。周期的にストロボを当てるように軌道を見る手法であることからストロボ写像と呼ばれる。
初等函数で表される例 微分方程式が求積可能であれば、ポアンカレ写像を初等函数で厳密に書き下すことができる。例として、極座標 の2次元自律系
について考える。この解は、
と得ることができる。ここで および は初期値、 は定数である。ポアンカレ断面を すなわち を通る 軸に設定する。 から出発した軌道が に戻る帰還時間は なので、この場合のポアンカレ写像は
である。
周期的な非自律系の場合は、例として、 および を定数とする次のような系を考える。
この解は、
と得ることができる。ここで は初期値、 および は および によって決まる定数である。 という変数を導入すると、円筒 を系の拡大相空間と見なすことができる。これに対してポアンカレ断面を と取ると、 から出発した軌道が に戻る帰還時間は であるから、この場合のポアンカレ写像は
である。
性質 基本的性質 微分方程式の解の一意性より、それに対するポアンカレ写像も1対1対応が成立する。微分方程式が定める流れ が 級であれば、定義よりポアンカレ写像 も 級で、 の逆写像も 級でもある。よって、 級流れに対するポアンカレ写像は 級微分同相写像である。さらに、帰還時間 も 級函数である。
ある周期軌道に対して異なるポアンカレ断面 と を取ったとする。 と 上に定義されるポアンカレ写像を と と表す。このとき、 と は 共役の関係にある。すなわち
を満たす 級微分同相写像 が存在する。したがって、周期軌道の充分近い範囲で考える限りは、どこにポアンカレ断面を取ってもポアンカレ写像の性質は変わらないことがいえる。
もしポアンカレ写像がその断面上でアトラクターを持つ場合、元の流れのアトラクターもそこを通過する。ポアンカレ断面上のアトラクターを とし、それに対応する流れのアトラクターを とし、 を通過する流れの軌道を と表すと、
である。 と のハウスドルフ次元の関係には、 が成立する。この関係から、アトラクター全体ではなくポアンカレ断面を利用したアトラクターの次元の計算が可能になる。
流れの周期軌道の特徴付け
流れによる周期軌道の安定性の問題は、ポアンカレ写像の不動点の安定性の問題に帰着でき、周期軌道の安定性は、ポアンカレ写像の固有値で特徴付けできる。一般に、連続力学系において点 を通る流れ ないし軌道 が安定（リアプノフ安定）であるとは、任意の に対してある が存在し、 ならば任意の で となることをいう。ここで はノルムを表す。流れ が不安定であるとは、 が安定でないことをいう。安定の条件を満たし、なおかつ、ある が存在して ならば で であるとき、 を通る流れ ないし軌道 は漸近安定または吸引的であるという。他方、離散力学系における写像の不動点の安定性も同様に定義できる。
内における流れによる周期軌道を とし、その周期を とする。周期軌道上の点 に交わるようにポアンカレ断面を取ると、 はポアンカレ写像 の不動点でもある。 から 後の状態を与える流れ の微分 は、 を必ず固有値として持つ。 の 以外の固有値を とする。すると、 におけるポアンカレ写像 の微分 は、同じ固有値 を持つ。そして次のように安定性が判別できる。 の絶対値が全て より小さければ、離散力学系の定義の意味で の不動点 は漸近安定（吸引的）で、連続力学系の定義の意味で軌道 も漸近安定（吸引的）である。 の絶対値が一つでも より大きければ、離散力学系の定義の意味で の不動点 は不安定で、連続力学系の定義の意味で軌道 も不安定である。
流れの周期軌道の分岐の分類も、ポアンカレ写像の不動点の分岐に帰着して理解することができる。流れが周期的な非自律系の場合でも、同様にストロボ写像に帰着させることができる。例えばサドルノード分岐とは、安定な不動点と不安定な不動点が衝突し、不動点が消滅するという現象が起きるだが、ポアンカレ写像の不動点がサドルノード分岐を起こすとき、対応する流れの周期軌道でも不安定な周期軌道と安定な周期軌道が衝突し、周期軌道が消滅する現象が起きる。分岐の向きが逆の場合も同様に、ポアンカレ写像の分岐と流れの周期軌道の分岐が対応付く。
ほかの離散力学系の分岐現象であるトランスクリティカル分岐、ピッチフォーク分岐、周期倍分岐、ネイマルク・サッカー分岐も、流れの周期軌道の分岐現象と対応付けできる。流れの周期軌道が周期倍分岐を起こすと、安定な周期軌道が不安定化し、その周囲に2巻きの安定周期軌道が発生する。2巻きの安定周期軌道の周期は、元の1巻き安定周期軌道のおよそ2倍となる。ポアンカレ写像では、安定な不動点が不安定化し、その周囲に安定な2周期点が発生する現象となる。
懸垂 ある離散力学系が与えられたときに、それをポアンカレ写像として持つ1次元高い連続力学系を作ることもでき、このような手法は懸垂と呼ばれる。ただし、作られる連続力学系の相空間は一般にユークリッド空間ではなく、一意でもない。
離散力学系が多様体 からそれ自身への微分同相写像 で与えられるとする。 と単位区間 との積空間 に対して という同値関係を考えることで、商空間 を新しい相空間として導入する。 をガウス記号とすると、空間 上に
で定まる流れが、離散力学系 の懸垂である。
ポアンカレ写像による観察例 相空間が のときは、連続力学系（流れ）による軌道の種類に応じ、それに対するポアンカレ写像の軌道はおおまかに以下のような様相となる。 元の軌道が周期軌道であれば、それが通過するポアンカレ断面上の点列は有限個の点となる。それらの点はポアンカレ写像にとっての不動点または周期点となる。 元の軌道が準周期軌道であれば、それが通過するポアンカレ断面上の点列は1つの閉曲線を稠密に埋めつくす。 元の軌道がストレンジアトラクター上の軌道であれば、それが通過するポアンカレ断面上の点列はランダムのように飛び飛びだが、なんらかの幾何的構造を持つ。 元の軌道が保存系のカオスであれば、それが通過するポアンカレ断面上の点列はカオスの海と呼ばれる有限の領域を占める点群となる。
周期軌道およびリミットサイクルの例
連続力学系の漸近安定な周期軌道はリミットサイクルとも呼ばれる。安定なリミットサイクルの周りの軌道は、回転しながらリミットサイクルへ近づいていく。次のファン・デル・ポル方程式は周期軌道ならびにリミットサイクルを持つ非線形微分方程式の基本的な系として知られる。
上式の 相平面には唯一の周期軌道が存在し、なおかつ原点以外の全ての点から出発する軌道はこの周期軌道に吸引される。原点を端点とする半直線 をポアンカレ断面として設定してヌルクラインなどを交えて考察すると、ポアンカレ写像 は全単射になっており、さらに は 上に唯一の不動点 を持ち、これがファン・デル・ポル方程式の周期軌道に対応していることが分かる。さらに、任意のポアンカレ断面上の点 は、 で であることが証明できる。ファン・デル・ポル方程式を含んだより広いクラスのリエナール方程式がリミットサイクルを持つこともまた、ポアンカレ写像を利用して証明できる。
2巻きして軌道が閉じるような周期軌道に対してポアンカレ断面を取ると、同じ向きに横切るという制約のもとで周期軌道とポアンカレ断面は2点で交わる。3次元の系であるローレンツ方程式
では、パラメータ（定数）が のとき、 相空間内に2巻きの周期軌道が存在する。このパラメータの周期軌道は漸近安定である。この周期軌道を横断するポアンカレ断面を取り、断面上の交点2つを と とすれば、ポアンカレ写像の軌道が という2周期点から成る周期軌道であることが見て取れる。
ストレンジアトラクターの例
周辺の軌道を引き付ける相空間内の不変集合はアトラクターと呼ばれ、漸近安定な周期軌道もアトラクターの一種である。アトラクター上で軌道がカオス的振る舞いを示すものはストレンジアトラクターと呼ばれ、上記のローレンツ方程式で発生するストレンジアトラクターはその典型例である。パラメータ で現れるストレンジアトラクターは穴の開いた少し曲がった円板を2枚貼り合わせたような形をしており、ローレンツアトラクターという呼び名でも知られる。このパラメータでは2つの不安定平衡点が存在し、ローレンツアトラクター上の軌道はこれら平衡点の周りを不規則に行ったり来たりしながら周回する。
2つの不安定平衡点の 座標はともに なので、 を通る 平面をポアンカレ断面として取ったポアンカレ写像を考える。この断面を通過する点をプロットすると、2本の線分のような構造が現れる。これは、3次元で見たローレンツアトラクターが2次元に近い（平面プラス）構造であることに対応する。実際にフラクタル次元を計算すると、元のローレンツアトラクターは と2次元に近く、ポアンカレ断面では と1次元に近いことが確かめられる。
周期的な非自律系におけるストレンジアトラクターの一つの例は、減衰のある単振り子に周期的な駆動力が働く場合である。この系は、次のような運動方程式で表すことができる。
変数 と は振り子の角度と角速度を意味する。第二式の が周期駆動力で。パラメータ と は周期的駆動力の振幅と角速度を意味し、 は減衰の強さを意味する。
例として および に固定し、 を増加させていくと、周期的およびカオス的な軌道が生まれる。しかし、これらの軌道を を座標とする図でそのまま表示しても複雑で、特徴が把握しづらい。 一方、前述のストロボ写像の考えを利用し、 が 増すごとに 平面（＝ポアンカレ断面）上の点を取って観察するとアトラクターの構造が明瞭となる。ポアンカレ断面上に表示されたストレンジアトラクターの一部を拡大すると、自己相似な入れ子構造すなわちフラクタル構造になっていることが観察できる。例えば のとき、ポアンカレ断面上のストレンジアトラクターのフラクタル次元は である。
保存系のトーラスおよびカオスの例
保存系とは相空間の体積要素が時間発展でも一定に保たれる力学系のクラスで、ハミルトン系がその典型例である。簡単な保存系の例は減衰の無い単振り子に周期的な駆動力が働く系で、次のような運動方程式で表すことができる。
この式では周期駆動力は sin としている。
この系の軌道を を座標とする3次元拡大相空間で考え、 座標上で ごとにポアンカレ断面を取り、拡大相空間上の軌道との交点を観察する。外力が小さいケースとして についてポアンカレ写像で軌道を観察すると、3次元拡大相空間上でトーラスを成す準周期軌道の切り口として楕円状の点列、3次元拡大相空間上の非周期軌道の切り口として多数の点が帯状に集まった点列が観察される。前者は（トーラスの）島などと呼ばれ、後者は保存系のカオスが占める有限領域でカオスの海などと呼ばれる。このようなトーラスの島とカオスの海からなる相空間構造は、特に可積分系に摂動を加えた近可積分ハミルトン系の典型的な様相である。
数値計算 解析的に解けないような常微分方程式が与えられた場合は、ルンゲ・クッタ法などの数値計算で1つの初期値に対する解の軌道を近似的に得ることができる。ポアンカレ写像も大抵の場合は数値計算によってのみ得られる。
ポアンカレ写像を計算する場合、設定したポアンカレ断面を軌道がまたぐかどうかの判定を行う。例えば 相平面の系でポアンカレ断面を とすると、 の数値が負から正に変わり、なおかつそのときに ならば を上向きに通過する。このときの交点 を記録することでポアンカレ写像が得られる。一般的なポアンカレ断面 であれば、 の数値の符号に着目する。
ルンゲ・クッタ法などの数値計算で得た解は、設定した時間刻み ごとの離散的な数値として得られる。得られた離散的な解の数値を とし、 と のあいだでポアンカレ断面 との交差が起きているとき、理想的にはちょうど 上の の数値を知りたい。このような改善として、ほぼ となるように、内挿や数値積分などによって から を計算する時間刻み を調整する手法が考えられている。
周期的な非自律系でストロボ写像を得る場合も同様に、周期を とすると、 から までの数値計算によって時間 写像が得られる。総時間 まで計算するとしたら、 から までの計算が 回繰り返されるようにして までの解を得ることが有効である
出典
参照文献
外部リンク
Poincaré return map - Encyclopedia of Mathematics Poincaré Map - MathWorld