パンルヴェ予想

パンルヴェ予想 (パンルヴェよそう, Painlevé's conjecture) とは、四体以上のN体問題には非衝突特異点に至る軌道が存在する、という主張のこと。1895年にポール・パンルヴェによって予想され、1988年に Jeff Xia によって N ≥ 5 の場合が、2014年に Jinxin Xue によって N = 4 の場合が証明された。 ニュートン力学において、互いに重力相互作用する N {\displaystyle N} 個の質点系の運動方程式（ N {\displaystyle N} 体問題）は、 i {\displaystyle i} 番目の質点の質量を i {\displaystyle i} 、座標を r i {\displaystyle \mathbf {r} _{i}} とするとき d 2 r i d t 2 = − ∑ j ≠ i G m j r j − r i | r j − r i | 3 {\displaystyle {\frac {d^{2}\mathbf {r} _{i}}{dt^{2}}}=-\sum _{j\neq i}Gm_{j}{\frac {\mathbf {r} _{j}-\mathbf {r} _{i}}{|\mathbf {r} _{j}-\mathbf {r} _{i}|^{3}}}} により与えられる。その有限時間 t ∈ [ 0 , t ∗ ) {\displaystyle t\in [0,t^{*})} での解 ( r 1 ( t ) , r 2 ( t ) , ⋯ , r N ( t ) ) {\displaystyle \left(\mathbf {r} _{1}(t),\mathbf {r} _{2}(t),\cdots ,\mathbf {r} _{N}(t)\right)} について、それを時刻 t = t ∗ < ∞ {\displaystyle t=t^{*}<\infty } を超えて延長できないとき、その点を特異点 (singularity) と呼ぶ。極限 t → t ∗ {\displaystyle t\to t^{*}} において粒子座標が有限値に収束する場合、これは粒子の衝突を意味するため衝突特異点 (collision singularity) と呼ぶ。一方そうでない場合を非衝突特異点 (non-collision singularity または pseudocollision singularity) と呼ぶ。 ポール・パンルヴェは三体問題に非衝突特異点が存在しないことを証明したものの、その証明を四体以上に拡張することはできなかったことから、四体以上の N {\displaystyle N} 体問題には非衝突特異点が存在すると19世紀末に予想した。その後約90年に渡り多くの数学者がこの予想を証明しようと挑戦し、1988年にJeff Xiaによって N ≥ 5 の場合が証明された。 1895年にポール・パンルヴェはオスカル2世の招聘でストックホルム大学において微分方程式に関する講義を行い、その中で現在パンルヴェ予想と呼ばれるこの予想を公表した。そのノートは1897年に出版されている。その後パンルヴェは政治家としての活動に軸足を移し数学の研究からは遠ざかったものの、同時代の研究者によってパンルヴェ予想の証明へ向けた努力が継続された。当時既に時刻 t ∗ {\displaystyle t^{*}} が特異点であるための必要十分条件が、 r i j = | r i − r j | {\displaystyle r_{ij}=|\mathbf {r} _{i}-\mathbf {r} _{j}|} として lim inf t → t ∗ min i < j r i j = 0 {\displaystyle \liminf _{t\to t^{*}}\min _{i<j}r_{ij}=0} であることが知られていたが、1908年に Edvard Hugo von Zeipel は、特異点 t ∗ {\displaystyle t^{*}} が衝突特異点であるならば慣性モーメント J = ∑ i m i | r i | 2 {\displaystyle J=\sum _{i}m_{i}|\mathbf {r} _{i}|^{2}} は極限 t → t ∗ {\displaystyle t\to t^{*}} で有限値に収束することを証明し、軌道が非有界であることが非衝突特異点の必要条件であることを示した。ただし von Zeipel の結果は広く知られておらず、Jean Chazyは1920年に同じ結果を（von Zeipel の業績を引用せずに）出版した。 1967年に Victor Szebehely らが出版したピタゴラス三体問題の数値解は、三体のうち二体が連星を組み、残りの一体が大きな速度を持って系からエスケープするものであった。この解は N {\displaystyle N} 体問題において一体が大きな速度を持って有限時間で無限遠まで脱出する可能性を示唆した。 1974年に Richard McGehee は同一直線上の五体問題に非衝突特異点が存在することを示唆し、John N. Mather とともにそのような解の存在を（四体問題の場合に）証明した。ただし、これらの解は最終的に非衝突特異点に至るものの、その直前に二体衝突特異点が必要であることが Donald G. Saari によって証明されており、パンルヴェ予想の証明とはなり得なかった。また、Saari は同じ時期に特異点に到達する軌道はルベーグ測度 0 であることを示している。 1984年に Joe Gerver は五体問題において有限時間内に一体が無限遠へエスケープする解を具体的に提案したものの、その存在に関する数学的に厳密な証明は与えなかった。 1988年に Donald Saari のもとで Jeff Xia は五体問題の場合にパンルヴェ予想に証明を与え、その結果は1992年に査読を通過して出版された。Xiaの証明は、五体問題において二組の二体が連星を組み、残りの小さな質量を持つ一体がその連星間を振動する間に振幅が増大し、有限時間のうちに振幅が無限大に発散するような解が存在することを示すものであった。またこの解は N > 5 {\displaystyle N>5} の場合にも拡張できる。 残された N = 4 {\displaystyle N=4} の場合は、Jinxin Xue が2014年に証明を公表し、2019年に査読を通過し2020年に出版された。 ^ a b 岩崎, p. 11 ^ Sigel & Moser, p. 25. ^ a b c d Diacu, p. 177 ^ a b c Diacu, p. 178 ^ P. Painlevé (1897). Lecons sur la théorie analytique des équations différentielles. Hermann  ^ H. von Zeipel (1908). “Sur les singularites du probleme des corps”. ArkivforMat. Astron. Fys. 4: 1-4.  ^ a b c Diacu, p. 179 ^ Chazy, J. (1920). “Sur les singularites impossibles du probleme des n corps”. C.R.Hebdomadaires Seances Acad. Sci. Paris 170: 575-577.  ^ Szebehely, Victor; Peters, C. Frederick (1967). “Complete solution of a general problem of three bodies”. The Astronomical Journal 72: 876. Bibcode: 1967AJ.....72..876S. doi:10.1086/110355.  ^ McGehee, R. (1974). “Triple collision in the collinear three-body problem”. Invent Math 27: 191–227. doi:10.1007/BF01390175.  ^ Mather, J. N.; McGehee, R. (1975). “Solutions of the collinear four body problem which become unbounded in finite time”. Dynamical Systems, Theory and Applications. Lecture Notes in Physics (Springer, Berlin, Heidelberg) 38. doi:10.1007/3-540-07171-7_18.  ^ a b Diacu, p. 181 ^ Saari, D. G. (1973). “Singularities and collisions of Newtonian gravitational systems”. Arch. Rational Mech. Anal. 49: 311–320. doi:10.1007/BF00250511.  ^ Saari, D. G. (1971). “Improbability of collisions in Newtonian gravitational systems”. Trans. Amer. Math. Soc. 162: 267–271. https://www.ams.org/journals/tran/1971-162-00/S0002-9947-1971-0295648-8/S0002-9947-1971-0295648-8.pdf.  ^ Saari, Donald G. (1973). “Improbability of Collisions in Newtonian Gravitational Systems. II”. Transactions of the American Mathematical Society 181: 351-368. https://www.jstor.org/stable/1996638.  ^ Saari, Donald G. (1977). “A global existence theorem for the four-body problem of Newtonian mechanics”. J. Differential Equations 26 (1): 80–111. Bibcode: 1977JDE....26...80S. doi:10.1016/0022-0396(77)90100-0.  ^ Gerver, J. L. (1984). “A possible model for a singularity without collisions in the five-body problem”. J. Diff. Eq. 52 (1): 76–90. Bibcode: 1984JDE....52...76G. doi:10.1016/0022-0396(84)90136-0.  ^ Xia, Zhihong (1992). “The Existence of Noncollision Singularities in Newtonian Systems”. Annals of Mathematics. Second Series 135 (3): 411–468. doi:10.2307/2946572. JSTOR 2946572.  ^ Diacu, p. 182. ^ Diacu, p. 182-183. ^ Diacu, p. 183. ^ arXiv:1409.0048 ^ Xue, Jinxin (2020). “Non-collision singularities in a planar 4-body problem”. Acta Mathematica 224 (2): 253–388. doi:10.4310/ACTA.2020.v224.n2.a2.  Diacu F.N. (2001). Painlevé’s Conjecture. In: Mathematical Conversations. New York, NY.: Springer. doi:10.1007/978-1-4613-0195-0_16. https://doi.org/10.1007/978-1-4613-0195-0_16.  岩崎克則「特殊関数の問題 : パンルヴェ性をめぐって (複素幾何学の諸問題)」『数理解析研究所講究録』第1731巻、京都大学数理解析研究所、2011年3月、1-13頁、CRID 1050001335761901440、hdl:2433/170583、ISSN 1880-2818、2024年1月11日閲覧。  三体問題