ハミルトンベクトル場

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

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

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

定義

(M, ω) をシンプレクティック多様体とする。M 上の滑らかな関数 $f\in C^{\mathrm{\infty }}(M)$ に対して、

$𝖽f=\omega (X_f,\cdot )$

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

H をハミルトニアンとするとき、ベクトル場 Xテンプレート:Sub を H から定まるハミルトンベクトル場という。

ハミルトンベクトル場 Xテンプレート:Sub をダルブー座標 $(q_1,\cdots ,q_n,p_1,\cdots ,p_n)$ を用いて表すと、

$X_H=\sum _{i=1}^n(\frac{\partial H}{\partial p_i}\frac{\partial }{\partial q_i}-\frac{\partial H}{\partial q_i}\frac{\partial }{\partial p_i})$

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

性質

• 対応 f ↦ X_f は線型であるので、2つのハミルトン関数の和は対応するハミルトンベクトル場の和へ変換される。

• (q¹, ..., qⁿ, p₁, ..., p_n) を M 上の正準座標とする（上記参照）。すると、曲線 γ(t) = (q(t), p(t)) がハミルトンベクトル場 X_H の積分曲線であることと、この曲線が次のテンプレート:仮リンクの解であることは、同値である。

${\dot{q}}^i=\frac{\partial H}{\partial p_i}$

${\dot{p}}_i=-\frac{\partial H}{\partial q^i}.$

• ハミルトニアン H は積分曲線に沿って定数である。なぜならば、$⟨dH,\dot{\gamma }⟩=\omega (X_H(\gamma ),X_H(\gamma ))=0$ だからである。すなわち、H(γ(t)) は実は t とは独立である。この性質は、ハミルトン力学におけるエネルギー保存則と対応する。

• より一般に、2つの関数 F と H のポアソン括弧（下記参照）が 0 であるとき、F は H の積分曲線に沿って定数であり、同様に、H は F の積分曲線に沿って定数である。この事実はネーターの定理の背後にある抽象的な数学的原理である。

• シンプレクティック形式 ω はハミルトンフローにより保存される。同じことであるが、リー微分は ${ℒ}_{X_H}\omega =0$ である。

ポアソンの括弧

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

$\{f,g\}=\omega (X_g,X_f)=dg(X_f)={ℒ}_{X_f}g$

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

$X_{\{f,g\}}=[X_f,X_g].$

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

$\{\{f,g\},h\}+\{\{g,h\},f\}+\{\{h,f\},g\}=0$

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

参考文献

• テンプレート:Cite bookSee section 3.2.
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book