ポアンカレの回帰定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

ポアンカレの回帰定理(ぽあんかれのかいき、: Poincaré's recurrence theorem)、または単に回帰定理とは、アンリ・ポアンカレ(H.Poincaré,1854-1912)により証明された力学系の定理である[1]ポアンカレの再帰定理[2][3][4]とも呼ばれる。力学系のある状態を出発点としたときに、その時間発展は出発点といくらでも近い状態に無限回戻ってくることを主張する。ポアンカレは天体力学三体問題の研究の中でこの定理に至り、1890年に発表した[5][6]

概要[編集]

解析力学では力学系のひとつの状態相空間(例えば質点の位置と運動量を座標とする空間)上の点で表され、その点の近傍はその状態に近い状態の集まりを表し、回帰定理はこの相空間上の力学系に関する定理である。簡単には、「力学系は、ある種の条件が満たされれば、その任意の初期状態に有限時間内にほぼ回帰する」[6]、「ほとんどすべての軌道が出発点の任意の近傍に無限回もどってくる」[1]、「与えられた初期条件に、いくらでも近づき、かつそれを何回でも繰返すことができる」[3]と表現される。 ここである条件、つまり回帰定理の成り立つ条件とは、広く一般的にいえば力学系が保測的(相空間内の点集合の体積が保存されること)で、その軌道が有限領域に限られていることである[3]。例えばニュートン力学の成り立つ系で等エネルギー面を動く軌道(エネルギーが保存される状態の軌道)では回帰定理が成り立つ[3]。つまり通常現実的に考え得るエネルギーの出入りのない系では回帰定理が成り立つと考えられる。

回帰定理が孤立系の現象の厳密な繰り返しを示したと解釈する人もいる[7]。だがこの解釈には2つの意味での誤解がある。第一に、力学系は初期状態の近傍に戻るだけであり、初期状態そのものに戻るとは限らない。第二に、近傍に戻る時刻(時点)の分布は特別な場合を除けば不規則であり、一定の周期は持たない[1]。ポアンカレが示したように多体問題の解の軌道はカオスになることが多く、その場合は運動が周期的繰り返しにはならないのである。

数学的な表現[編集]

ハミルトン力学による導入[編集]

ポアンカレの回帰定理の主張は、ハミルトン力学における相空間上の点の時間発展を数学的に抽象化した測度空間上の保測変換の満たす性質として、定式化される[2][8][9]。 ハミルトン力学では、一般化座標q=(q_1, \cdots ,q_n)と正準共役な正準運動量q=(q_1, \cdots ,q_n)の組からなる正準変数(q, p)によって、系の状態が記述される。(q, p)で指定される状態は相空間上の点であり、その時間発展は相空間の軌道(q(t), p(t))として、表現される。

(q(t), p(t))の時間発展は、ハミルトンの正準方程式


\frac{dq_i}{dt}=\frac{\partial H}{\partial p_i}

\frac{dp_i}{dt}=-\frac{\partial H}{\partial q_i} \quad(i=1, \cdots \,n)

で記述される。但し、H=H(q,p)は系のハミルトニアンである。 この時間発展によって


T_t:(q(0), p(0)) \rightarrow(q(t), p(t))

を与える写像T_tが定まる。写像T_t は性質

T_t\circ T_s= T_{t+s}
T_t\circ T_{-t}=I

を満たしており、その集合\{T_t \}流れ(flow)と呼ばれる。リュービルの定理によれば、相空間上の体積要素


dq_1 dp_1 \cdots dq_n dp_n

は、\{T_t \}による時間発展に対して、不変である。これは、\{T_t \}が測度を不変に保つ保測変換であることを意味する。

ハミルトニアンH(q,p)が時間に陽に依存しない場合、エネルギーE保存量であり、軌道(q(t), p(t))


 H(q,p)= E =: \operatorname{const.}

で与えられる相空間内の等エネルギー面\Omega_E[10]内に留まることとなる。この等エネルギー面\Omega_E内の領域Aの面積は、


\mu(A)=\int_A \frac{d\sigma}{||\nabla H(q,p)||}

で与えられる。ここで、d\sigma\Omega_Eの面積要素[11]\nabla H(q,p)勾配ベクトルである。すなわち、\Omega_E(とその完全加法族\mathfrak{F})に測度\muが導入される。

ポアンカレの回帰定理では、\Omega_Eの面積が有限であるという仮定


\mu(\Omega_E) < +\infty

が置かれる。これは、一般化座標qや正準運動量pが無限に増大することがないという仮定に相当する。

定理の数学的表現[編集]

集合\Omegaに対し、\mathfrak{F}\Omega上の完全加法族\muを測度とする測度空間(\Omega,\,\mathfrak{F},\, \mu)を考える。ここで\Omegaは有限\mu(\Omega) < +\infty
であると仮定する。また、写像T:\Omega \rightarrow \Omegaを任意のA \in \mathfrak{F}について、\mu(T^{-1}(A))=\mu(A)を満たす保測変換とする。A \in \mathfrak{F}\mu(A)>0であるとすると、ほとんど至るところの\omega \in Aに対し、半軌道\{T^n \omega; n \geq 0 \}は無限回Aに戻ってくる[8][9]。負の方の半軌道\{T^n \omega; n \leq 0 \}についても同様である。

証明の概略[編集]

再帰性の証明

測度が0となる零集合Nを除いて、Aの点\omegaAに再帰することを示す。B \subset A\mu(B)>0であるとする。もし任意の\omega\in Bがすべてのn>0について、T^n \omega \notin Aであるとすると、T^n B \cap B =\emptysetである。任意のm \geq 0T^{n+m} B \cap T^{m}B =\emptysetであるから、\{T^n B \}は互いに交わらない加算無限列である。よって、


\mu \left ( \bigcup_{n=0}^{\infty}T^n B \right ) =\sum_{n=0}^{\infty}\mu(T^n B)

である。\bigcup_{n=0}^{\infty}T^n B \subset \Omega \in \mathfrak{F}より両辺は有限であるが、保測性と\mu(B)>0の仮定により、右辺は有限性に矛盾する。ゆえに測度が0となる集合N \subset Aを除いた\omega \in A \smallsetminus Nに対し、あるn>0が存在し、T^n \omega \in Aとなる。

再帰が無限回であることの証明

前述のAの零集合Nに対し、N_{+}=\bigcup_{n=0}^{\infty}T^n Nと定めると、\mu(N_{+})=0であるから、任意の\omega \in A \smallsetminus N_{+}に対し、あるn>0が存在し、T^n \omega \in A \smallsetminus N_{+}となる。したがって、この論法を繰り返すことができ、\omega \in A \smallsetminus N_{+}に対し、T^n \omegaは無限回A \smallsetminus N_{+}に戻ってくることがわかる。

熱力学との関連[編集]

ボルツマン熱力学第二法則原子論で説明することを試み、H定理を発表した。これに対してエルンスト・ツェルメロ(E.Zermelo)は、1896年にポアンカレの回帰定理を根拠とする、再帰パラドックス(recurrence paradox)を発表して批判した[6]。詳細は不可逆性問題およびH定理を参照のこと。

脚注[編集]

  1. ^ a b c 『岩波理化学辞典-第5版』(1998)
  2. ^ a b 山本、中村 (1998)
  3. ^ a b c d 『物理学辞典-改訂版』培風館(1992/05)
  4. ^ 『現代物理数学ハンドブック』(2005)
  5. ^ H. Poincaré, "Sur le probléme des trois corps et les équations de la dynamique," Acta Mathematica, 13, 1890, 1-270. doi:10.1007/BF02392506
  6. ^ a b c 藤原、兵頭 (1995) 11章
  7. ^ ピーター・コヴニー;ロジャー・ハイフィールド『時間の矢、生命の矢』草思社(1995/03) p19,70
  8. ^ a b 大沢、湯川 (1973)
  9. ^ a b 十時 (1971)
  10. ^ 相空間の2n-1次元の超曲面をなす
  11. ^ 2n-1次元の超曲面\Omega_Eの体積要素である。

参考文献[編集]

日本語の文献では再帰定理となっている場合と回帰定理となっている場合とがあるので注意すること。

  • 新井朝雄『現代物理数学ハンドブック』朝倉書店(2005/06) ISBN 4-25-413093-7
  • 大沢文夫、湯川秀樹『古典物理学II (岩波講座現代物理学の基礎 2)』岩波書店(1973)
  • 十時東生『エルゴード理論入門 (共立講座・現代の数学30)』 共立出版(1971)
  • 長倉三郎、他(編)『岩波理化学辞典-第5版』岩波書店 (1998/02)
  • 藤原邦男、兵頭俊夫『熱学入門―マクロからミクロへ』東京大学出版会 (1995/06) 11章 ISBN 4-13-062601-9
  • 山本義隆、中村孔一『解析力学1-(朝倉物理学大系)』朝倉書店 (1998/09) ISBN 4-25-413671-4

関連項目[編集]