パンルヴェ予想

ニュートン力学において、互いに重力相互作用する ${\displaystyle N}$ 個の質点系の運動方程式（${\displaystyle N}$ 体問題）は、${\displaystyle i}$ 番目の質点の質量を ${\displaystyle i}$、座標を ${\displaystyle \mathbf {r} _{i}}$ とするとき

${\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}}}}$

により与えられる。その有限時間 ${\displaystyle t\in [0,t^{*})}$ での解 ${\displaystyle \left(\mathbf {r} _{1}(t),\mathbf {r} _{2}(t),\cdots ,\mathbf {r} _{N}(t)\right)}$ について、それを時刻 ${\displaystyle t=t^{*}<\infty }$ を超えて延長できないとき、その点を特異点 (singularity) と呼ぶ。極限 ${\displaystyle t\to t^{*}}$ において粒子座標が有限値に収束する場合、これは粒子の衝突を意味する[2]ため衝突特異点 (collision singularity) と呼ぶ[3]。一方そうでない場合を非衝突特異点 (non-collision singularity または pseudocollision singularity) と呼ぶ[3]。

ポール・パンルヴェは三体問題に非衝突特異点が存在しないことを証明したものの、その証明を四体以上に拡張することはできなかったことから、四体以上の ${\displaystyle N}$ 体問題には非衝突特異点が存在すると19世紀末に予想した[4]。その後約90年に渡り多くの数学者がこの予想を証明しようと挑戦し、1988年にJeff Xiaによって N ≥ 5 の場合が証明された[1]。

1895年にポール・パンルヴェはオスカル2世の招聘でストックホルム大学において微分方程式に関する講義を行い、その中で現在パンルヴェ予想と呼ばれるこの予想を公表した[3]。そのノートは1897年に出版されている[5][3]。その後パンルヴェは政治家としての活動に軸足を移し数学の研究からは遠ざかったものの、同時代の研究者によってパンルヴェ予想の証明へ向けた努力が継続された[4]。当時既に時刻 ${\displaystyle t^{*}}$ が特異点であるための必要十分条件が、${\displaystyle r_{ij}=|\mathbf {r} _{i}-\mathbf {r} _{j}|}$ として

${\displaystyle \liminf _{t\to t^{*}}\min _{i<j}r_{ij}=0}$

であることが知られていたが[4]、1908年に Edvard Hugo von Zeipel は、特異点 ${\displaystyle t^{*}}$ が衝突特異点であるならば慣性モーメント

${\displaystyle J=\sum _{i}m_{i}|\mathbf {r} _{i}|^{2}}$

は極限 ${\displaystyle t\to t^{*}}$ で有限値に収束することを証明し、軌道が非有界であることが非衝突特異点の必要条件であることを示した[6][7]。ただし von Zeipel の結果は広く知られておらず、Jean Chazyは1920年に同じ結果を（von Zeipel の業績を引用せずに）出版した[7][8]。

1967年に Victor Szebehely らが出版したピタゴラス三体問題の数値解は、三体のうち二体が連星を組み、残りの一体が大きな速度を持って系からエスケープするものであった[9]。この解は ${\displaystyle N}$ 体問題において一体が大きな速度を持って有限時間で無限遠まで脱出する可能性を示唆した[7]。

1974年に Richard McGehee は同一直線上の五体問題に非衝突特異点が存在することを示唆し[10]、John N. Mather とともにそのような解の存在を（四体問題の場合に）証明した[11][12]。ただし、これらの解は最終的に非衝突特異点に至るものの、その直前に二体衝突特異点が必要であることが Donald G. Saari によって証明されており[13]、パンルヴェ予想の証明とはなり得なかった[12]。また、Saari は同じ時期に特異点に到達する軌道はルベーグ測度 0 であることを示している[14][15][16]。

1984年に Joe Gerver は五体問題において有限時間内に一体が無限遠へエスケープする解を具体的に提案したものの、その存在に関する数学的に厳密な証明は与えなかった[17]。

Jeff Xia の解における五体の配位。

1988年に Donald Saari のもとで Jeff Xia は五体問題の場合にパンルヴェ予想に証明を与え、その結果は1992年に査読を通過して出版された[18][19]。Xiaの証明は、五体問題において二組の二体が連星を組み、残りの小さな質量を持つ一体がその連星間を振動する間に振幅が増大し、有限時間のうちに振幅が無限大に発散するような解が存在することを示すものであった[20]。またこの解は ${\displaystyle N>5}$ の場合にも拡張できる[21]。

残された ${\displaystyle N=4}$ の場合は、Jinxin Xue が2014年に証明を公表し[22]、2019年に査読を通過し2020年に出版された[23]。

• 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日閲覧。

• 三体問題