ハミルトンベクトル場

数学および物理学において、シンプレクティック多様体上のハミルトンベクトル場(ハミルトンベクトルば、: Hamiltonian vector field)は、任意のエネルギー関数あるいはハミルトニアンに対して定義されるベクトル場である。名前は物理学者・数学者のウィリアム・ローワン・ハミルトンに因む。

ハミルトンベクトル場は系の時間発展に幾何学的な解釈を与える:相空間上の系の時間発展は、ハミルトンベクトル場のフローに一致する。すなわち、H をハミルトニアンとし、(q(t), p(t)) を H に関する正準方程式の解とするとき、(q(t), p(t)) はハミルトンベクトル場の XH の積分曲線 に一致する。

ハミルトンベクトル場はより一般に任意のポアソン多様体上定義できる。多様体上の関数 f, g に対応する2つのハミルトンベクトル場のリー括弧英語版はそれ自身ハミルトンベクトル場であり、そのハミルトニアンは fgポアソン括弧により与えられる。

定義編集

(M, ω) をシンプレクティック多様体とする。M 上の滑らかな関数   に対して、

 

を満たす M 上のベクトル場 Xf が唯一つ定まる。(Xf の存在性はシンプレクティック形式 ω が非退化である事と外積代数の一般論から従う。)

Hハミルトニアンとするとき、ベクトル場 XHH から定まるハミルトンベクトル場という。

ハミルトンベクトル場 XHダルブー座標   を用いて表すと、

 

と書ける。ここで、M の次元は 2n であるとした。

性質編集

  • 対応 fXf線型であるので、2つのハミルトン関数の和は対応するハミルトンベクトル場の和へ変換される。
  • (q1, ..., qn, p1, ..., pn) を M 上の正準座標とする(上記参照)。すると、曲線 γ(t) = (q(t), p(t)) がハミルトンベクトル場 XH積分曲線であることと、この曲線が次のハミルトン方程式英語版の解であることは、同値である。
 
 
  • ハミルトニアン H は積分曲線に沿って定数である。なぜならば、  だからである。すなわち、H(γ(t)) は実は t とは独立である。この性質は、ハミルトン力学におけるエネルギー保存則と対応する。
  • より一般に、2つの関数 FHポアソン括弧(下記参照)が 0 であるとき、FH の積分曲線に沿って定数であり、同様に、HF の積分曲線に沿って定数である。この事実はネーターの定理の背後にある抽象的な数学的原理である。

ポアソンの括弧編集

ハミルトンベクトル場の考え方は、シンプレクティック多様体 M 上の微分可能な関数上の歪対称な双線型作用素であるポアソン括弧を導く。それは

 

で定義される。ここに、  はベクトル場 X に沿ったリー微分を表す。さらに、次の等式が成り立つ。

 

ここに右辺はハミルトニアン fg を持つハミルトンベクトル場のリー括弧を表す。したがって(ポアソン括弧の証明より)、ポアソン括弧はヤコビ恒等式

 

を満たす。これは以下のことを意味する。M 上の可微分関数全体のなすベクトル空間にポアソン括弧を与えると R 上のリー環の構造を持ち、対応 fXfリー環準同型であり、そのは局所定数関数(M が連結ならば定数関数)からなる。

参考文献編集

  • Abraham, Ralph; Marsden, Jerrold E. (1978). Foundations of Mechanics. London: Benjamin-Cummings. ISBN 9780805301021 See section 3.2.
  • Arnol'd, V.I. (1997). Mathematical Methods of Classical Mechanics. Berlin etc: Springer. ISBN 0-387-96890-3 
  • Frankel, Theodore (1997). The Geometry of Physics. Cambridge: Cambridge University Press. ISBN 0-521-38753-1 
  • McDuff, Dusa; Salamon, D. (1998). Introduction to Symplectic Topology. Oxford Mathematical Monographs. ISBN 0-19-850451-9