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

提供: testwiki
ナビゲーションに移動 検索に移動

ベルトラン・ダルブーの定理（ベルトラン・ダルブーのていり、Bertrand-Darboux theorem）は、古典力学において2自由度の系のハミルトン–ヤコビ方程式の変数分離可能性に関する定理である。この定理によると、系が直交座標、極座標、放物線座標、楕円座標のいずれかで変数分離可能であるとき、またそのときに限り、運動量について2次の運動の積分が存在し求積可能である。

概要

ハミルトン–ヤコビ理論では、n 自由度の自励ハミルトン系において、ある座標変換 (x1,⋯,xn)→(u1,⋯,un) のもとで対応するハミルトン–ヤコビ方程式の完全解を テンプレート:Indent という形に表示できるとき、この座標 (u1,⋯,un) を分離座標と呼び、求積することが可能となる[1]。ここで αi は積分定数であり、自励系では常にそのひとつとしてハミルトニアン（エネルギー）を取ることができる[2]。このような変数分離可能系は可積分系の重要なクラスをなす[3]。

ベルトラン・ダルブーの定理は、ハミルトニアンが H=12(px2+py2)+V(x,y) という形を取る2自由度の系について、以下の3条件が同値であることを主張する[4]。

  1. ハミルトニアンと独立な、運動量について2次の運動の積分が存在する。
  2. ポテンシャル V は方程式
    (−2axy−b′y−bx+c1)(∂2V∂y2−∂2V∂x2)+2(ay2−ax2+by−b′x+c2)∂2V∂x∂y+(6ay+3b)∂V∂x+(−6ax−3b′)∂V∂y=0
    を満足する。ここに a,b,b′,c1,c2 はすべてはゼロでない定数である。
  3. 直交座標、極座標、テンプレート:仮リンク、テンプレート:仮リンクのいずれかで変数分離可能である。

従ってベルトラン・ダルブーの定理は、運動量について2次の積分によって可積分系となる系は常に変数分離可能であること、そしてそのような分離座標はこれら4つのものしかないことを示している[4]。なお、変数分離可能でない可積分系も存在し、そのような系に関してはベルトラン・ダルブーの定理は有用な知見を与えない。例えば戸田格子の非自明な積分は運動量について2次ではないため、ベルトラン・ダルブーの定理は適用できない[5]。

分離座標

本節では4つの分離座標およびそれぞれの場合に変数分離可能なハミルトニアンとその積分について述べる。

直交座標

ポテンシャル V=U1(x)+U2(y) の場合、直交座標により系は変数分離可能であり、ハミルトニアンと独立な運動の積分としては例えば Φ=12px2+U1(x) が取れる[6]。

極座標

極座標 (r,θ) は x=rcos⁡θ, y=rsin⁡θ により定義され、次の形のハミルトニアン テンプレート:Indent の場合に変数分離可能となる。独立な積分は テンプレート:Indent である[7]。

放物線座標

ポテンシャル V が V=1r[U1(r+x2)+U2(r−x2)] という形を取るとき、この系は放物線座標 (ξ,η) により変数分離可能である[8]。この座標は以下のように定義される。 テンプレート:Indent このとき、ハミルトニアンは テンプレート:Indent という形を取り、独立な積分としては テンプレート:Indent が取れる[9]。このような系の例としては、一様な外力場のもとでのケプラー問題がある（対応する量子系はシュタルク効果により知られている）[8]。

楕円座標

Elliptic coordinate system

x 軸上の2点 (±c,0) と任意の点 (x,y) との距離は r1=(x−c)2+y2 および r2=(x+c)2+y2 により与えられる。このとき、ポテンシャル テンプレート:Indent により記述される系は楕円座標 (μ,ν) により変数分離される[10]。その定義は テンプレート:Indent であり、ハミルトニアンは テンプレート:Indent 独立な積分は テンプレート:Indent である[11]。楕円座標を用いて積分される系としては重力2中心問題が知られている[10]。

変数分離可能性の判定

可積分かどうかわからないハミルトニアンに対してベルトラン・ダルブーの定理を適用することにより、その系が変数分離可能であれば運動の積分を求めることができる。例えば4次の同次ポテンシャル テンプレート:Indent の場合、定理の条件2.から ϵ=0,1,3 のときに限って変数分離可能（従って可積分）であることが示される[12]。なお ϵ がそれら以外の値のとき、ベルトラン・ダルブーの定理からは系は変数分離不可能であることが従うが[13]、Ziglin 解析に基づいてその場合の非可積分性が証明できる[14]。また、一般化されたエノン・ハイレス系 テンプレート:Indent の b=−6a の場合もまた同様にベルトラン・ダルブーの定理によって変数分離可能性が証明できる[15] 。

歴史

1846年にジョゼフ・リウヴィルは2次元リーマン多様体上の運動について考察し、ある座標系 (u,v) においてハミルトニアンが テンプレート:Indent という形を取るならば、その系は求積可能であることを示した[16][17]。なお、この場合、同時に計量テンソルは テンプレート:Indent という形を取り、このような系をリウヴィル系として知られている[16]。

1857年にジョゼフ・ベルトランは、ハミルトニアン テンプレート:Indent により記述される2次元系が運動量について2次の積分を持つならば、ポテンシャル V がある一定の条件を満足することを示した[16][18]。ジャン・ガストン・ダルブーは1901年に逆にポテンシャルがベルトランが示した条件を満足するならば第一積分が存在することを証明した[19][20]。

脚注

テンプレート:Reflist

参考文献

関連項目

  1. ↑ 大貫&吉田, pp. 112-114.
  2. ↑ 大貫&吉田, p. 113.
  3. ↑ 大貫&吉田, p. 112.
  4. ↑ 4.0 4.1 大貫&吉田, p. 121.
  5. ↑ 大貫&吉田, pp. 124-125.
  6. ↑ 大貫&吉田, p. 117.
  7. ↑ 大貫&吉田, pp. 117-118.
  8. ↑ 8.0 8.1 大貫&吉田, p. 118.
  9. ↑ 大貫&吉田, pp. 118-119.
  10. ↑ 10.0 10.1 大貫&吉田, p. 120.
  11. ↑ 大貫&吉田, pp. 119-120.
  12. ↑ 大貫&吉田, pp. 122-123.
  13. ↑ 大貫&吉田, p. 123.
  14. ↑ 大貫&吉田, pp. 193-194.
  15. ↑ テンプレート:Cite journal
  16. ↑ 16.0 16.1 16.2 Smirnov, p. 3231.
  17. ↑ J. Liouville, “Sur quelques cas particuliers o`u les équations de mouvement dùn point mat´eriel peuvent s’intégrer,” J. Math. Pure Appl., 11, 345–378 (1846)
  18. ↑ J. M. Bertrand, “Mémoire sur quleuques-unes des forms les plus simples qui puissent présenter les intégrales des équations différentielles du mouvement d'un point matériel,” J. Math. Pure Appl., Sér. II, 2, 113–140 (1857).
  19. ↑ Smirnov, p. 3232.
  20. ↑ G. Darboux, “Sur un probléme de mècanique,” Arch. Néerlandaises Sci., 6, 371–376 (1901).
「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=ベルトラン・ダルブーの定理&oldid=12463」から取得