ハミルトンベクトル場

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

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

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

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

定義[編集]

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

 \mathsf{d}f= \omega(X_{f},\cdot)

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

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

ハミルトンベクトル場\, X_H \,ダルブー座標 (q_{1},\cdots,q_{n},p_{1},\cdots,p_{n})を用いて表すと、

 
X_H = \sum_{i=1}^{n}
\left( \frac{\partial H}{\partial p_{i}} \frac{\partial}{\partial q_{i}}
-\frac{\partial H}{\partial q_{i}} \frac{\partial}{\partial p_{i}} \right)

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

性質[編集]

  • 対応 fXf線型であるので、2つのハミルトン関数の和は対応するハミルトンベクトル場の和へ変換される。
\dot{q}^i = \frac {\partial H}{\partial p_i}
\dot{p}_i = - \frac {\partial H}{\partial q^i}.
  • ハミルトニアン H は積分曲線に沿って定数である。なぜならば、\langle dH, \dot{\gamma}\rangle = \omega(X_H(\gamma),X_H(\gamma)) = 0 だからである。すなわち、H(γ(t)) は実は t とは独立である。この性質は、ハミルトン力学におけるエネルギー保存則と対応する。
  • より一般に、2つの関数 FHポアソンの括弧(下記参照)が 0 であるとき、FH の積分曲線に沿って定数であり、同様に、HF の積分曲線に沿って定数である。この事実はネーターの定理の背後にある抽象的な数学的原理である。

ポアソンの括弧[編集]

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

\{f,g\} = \omega(X_g, X_f)= dg(X_f) = \mathcal{L}_{X_f} g

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

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

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

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

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

参考文献[編集]