力学系理論におけるポアンカレ写像(ポアンカレしゃぞう、英: Poincaré map)とは、連続力学系を離散力学系に簡約化する方法の一つ[1]。周期軌道やカオス的軌道のような、何度も回り続けるような流れを調べるに効果を発揮する[2]。
アンリ・ポアンカレによって、天体力学の研究の中で導入された[3]。ポアンカレ写像のアイデアは、1881年から1886年にかけて発表された「微分方程式によって定義される曲線について」の中に見られる[4]。
n 次元ユークリッド空間 ℝn 上で、独立変数を t ∈ ℝ 、従属変数を x ∈ ℝn とする次のような自励系常微分方程式(ベクトル場)から生成される流れ φ(t, x) について考える[5]。
ここで、φ(t, x) は点 x が t 時間後に写る点を与える写像である[6]。さらに、ℝn 内でベクトル場 f に横断的な n − 1 次元超曲面 Σ を考える。Σ が f に横断的とは、Σ 上の任意の点 ξ で、ベクトル f (ξ) が
を充たすことをいう[7]。ここで、n(ξ) は ξ における Σ と直交するベクトルを、⋅ はベクトルの内積を表す[7]。
ξ ∈ Σ から出発する軌道が、τ 時間後にまた Σ 上に戻って来ると仮定する。すなわち、 ある τ = τ(ξ) > 0 があって、φ(τ, ξ) ∈ Σ である[5]。Σ 上に戻って来ることは複数ありうるので、それらのうちの最小時間を τ(ξ) とする。このときの写像 Σ ∋ ξ ↦ φ(τ(ξ), ξ) ∈ Σ をポアンカレ写像という[5]。ξ を改めて x で表し、特にポアンカレ写像を
によって定まる写像 P で表す[8][7][9]。一般に、ポアンカレ写像の定義域は Σ 全体ではなく、Σ の真部分集合になる[10]。
ポアンカレ写像 P は帰還写像(英: return map、英: first-return map)とも呼ばれる[5][11][12][13]。横断的な曲面 Σ はポアンカレ断面(英: Poincaré section)[14][8]や切断面(英: cross section)[14][15]、横断面(英: cross section)[9][12]と呼ばれる。流れによってΣ に戻って来る最小時間 τ は帰還時間と呼ばれる[13][8]。
Σ 上から出発して Σ 上に戻って来る軌道があればポアンカレ写像は定義されるが、特に流れが周期軌道(閉曲線となる軌道)を持つときは、その周期軌道の近傍でポアンカレ写像の存在が次のように保証される[16]。
式 (1) で定まる力学系に周期軌道が存在し、その周期軌道を γ とし、γ の周期を T とする。周期軌道上の点 x0 ∈ γ と交わるように n − 1 次元曲面 Σ を取る。Σ は x0 で γ と横断的に交わるように取れば、Σ はベクトル場 f に横断的なポアンカレ断面になる[17]。
x0 から出発する軌道は時間 T 経過後に x0 に戻って来る[15]。また、f (x) が C r 級(r ≥ 1)であれば、φ も C r 級である[7]。よって、x0 に十分近い点 x ∈ Σ から出発する軌道は、x0 の近くに戻って来る[15]。そのため、Σ 上で x0 の近傍 U ⊂ Σ を適当に取れば、U 上の任意の点 x から出発する軌道が Σ と再び交わるようにできる。こうして構成できる U から Σ への写像 P をポアンカレ写像という[15]。
任意の常微分方程式系に対してポアンカレ写像の構成できる一般的な方法は存在しない[18]。ほとんどの場合で、ポアンカレ写像の具体的な形を書き下すのは非常に難しく、普通は不可能といってもよい[19][20]。ポアンカレ写像の構成は、問題に応じて試行錯誤で行う必要がある[18]。しかし、それでも以下のような利点がポアンカレ写像には存在する。
ポアンカレ写像は、微分方程式などによって与えられる連続力学系ないし流れの問題を、次元が1つ低い相空間上の写像の問題に置き換える手法である[21]。扱う問題の次元(変数)を1つ減らせるのはポアンカレ写像を考える第一の利点で、問題の研究を進めやすくする[22][18]。また、微分方程式(流れ)を扱うよりも写像を扱う方が一般的には容易いのも、ポアンカレ写像が有利な点である[22][23]。
ポアンカレ写像では、元の連続力学系の軌道に対し、ポアンカレ断面以外の点は無視する[24]。これにより、処理するデータ量を圧倒的に少なく抑えることができる[22]。このようにポアンカレ写像は元の軌道のごく一部のみを観察する手法であるが、それでもなおポアンカレ写像の振る舞いに元の軌道の特徴(周期性、安定性、カオス性など)を残すことができる[25]。後述のように、特に連続力学系の周期軌道では、その性質の多くをポアンカレ写像によって表現できる[15]。
ポアンカレ写像と同じく連続力学系を離散力学系に縮約する方法として、適当な時間間隔 T で点 x の変化を追う写像が考えられる。このような写像をストロボ写像[26]や時間 T 写像[27]という。ストロボ写像という名は、周期的にストロボを当てるように軌道を見るような方法であることに因む[26]。
力学系自体も周期 T の周期性を持つとき、時間間隔 T のストロボ写像(時間 T 写像)はポアンカレ写像と本質的に同じである[26]。ℝn 上の時間 t を陽に含むような非自励系常微分方程式
において f(t, x) = f(t + T, x) が充たされるとき、この系は時間 t について周期 T の周期性を持つ[28]。流れ φ を、点 x における時刻 t0 も明記して φ(t, t0, x) と書き表すとする。このとき t = T, t0 = 0 として定まる写像 φ(T, 0, x) は、拡大相空間 ℝn × 𝕋, (𝕋 = ℝ/Tℤ) 上で t = 0 ∈ 𝕋 で切断面を取ったポアンカレ写像に相当する[29][30]。