ベルトラン・ダルブーの定理

ベルトラン・ダルブーの定理（ベルトラン・ダルブーのていり、Bertrand-Darboux theorem）は、古典力学において2自由度の系のハミルトン–ヤコビ方程式の変数分離可能性に関する定理である。この定理によると、系が直交座標、極座標、放物線座標、楕円座標のいずれかで変数分離可能であるとき、またそのときに限り、運動量について2次の運動の積分が存在し求積可能である。
概要.
ハミルトン–ヤコビ理論では、formula_1 自由度の自励ハミルトン系において、ある座標変換 formula_2 のもとで対応するハミルトン–ヤコビ方程式の完全解を
という形に表示できるとき、この座標 formula_3 を分離座標と呼び、求積することが可能となる。ここで formula_4 は積分定数であり、自励系では常にそのひとつとしてハミルトニアン（エネルギー）を取ることができる。このような変数分離可能系は可積分系の重要なクラスをなす。
ベルトラン・ダルブーの定理は、ハミルトニアンが formula_5 という形を取る2自由度の系について、以下の3条件が同値であることを主張する。
従ってベルトラン・ダルブーの定理は、運動量について2次の積分によって可積分系となる系は常に変数分離可能であること、そしてそのような分離座標はこれら4つのものしかないことを示している。なお、変数分離可能でない可積分系も存在し、そのような系に関してはベルトラン・ダルブーの定理は有用な知見を与えない。例えば戸田格子の非自明な積分は運動量について2次ではないため、ベルトラン・ダルブーの定理は適用できない。
分離座標.
本節では4つの分離座標およびそれぞれの場合に変数分離可能なハミルトニアンとその積分について述べる。
直交座標.
ポテンシャル formula_9 の場合、直交座標により系は変数分離可能であり、ハミルトニアンと独立な運動の積分としては例えば formula_10 が取れる。
極座標.
極座標 formula_11 は formula_12, formula_13 により定義され、次の形のハミルトニアン
の場合に変数分離可能となる。独立な積分は
である。
放物線座標.
ポテンシャル formula_6 が formula_15 という形を取るとき、この系は放物線座標 formula_16 により変数分離可能である。この座標は以下のように定義される。
このとき、ハミルトニアンは
という形を取り、独立な積分としては
が取れる。このような系の例としては、一様な外力場のもとでのケプラー問題がある（対応する量子系はシュタルク効果により知られている）。
楕円座標.
formula_17 軸上の2点 formula_18 と任意の点 formula_19 との距離は formula_20 および formula_21 により与えられる。このとき、ポテンシャル
により記述される系は楕円座標 formula_22 により変数分離される。その定義は
であり、ハミルトニアンは
独立な積分は
である。楕円座標を用いて積分される系としては重力2中心問題が知られている。
変数分離可能性の判定.
可積分かどうかわからないハミルトニアンに対してベルトラン・ダルブーの定理を適用することにより、その系が変数分離可能であれば運動の積分を求めることができる。例えば4次の同次ポテンシャル
の場合、定理の条件2.から formula_23 のときに限って変数分離可能（従って可積分）であることが示される。なお formula_24 がそれら以外の値のとき、ベルトラン・ダルブーの定理からは系は変数分離不可能であることが従うが、Ziglin 解析に基づいてその場合の非可積分性が証明できる。また、一般化されたエノン・ハイレス系
の formula_25 の場合もまた同様にベルトラン・ダルブーの定理によって変数分離可能性が証明できる
歴史.
1846年にジョゼフ・リウヴィルは2次元リーマン多様体上の運動について考察し、ある座標系 formula_26 においてハミルトニアンが
という形を取るならば、その系は求積可能であることを示した。なお、この場合、同時に計量テンソルは
という形を取り、このような系をリウヴィル系として知られている。
1857年にジョゼフ・ベルトランは、ハミルトニアン
により記述される2次元系が運動量について2次の積分を持つならば、ポテンシャル formula_6 がある一定の条件を満足することを示した。ジャン・ガストン・ダルブーは1901年に逆にポテンシャルがベルトランが示した条件を満足するならば第一積分が存在することを証明した。