解析力学/ハミルトニアン のバックアップ差分(No.8)

更新


  • 追加された行はこの色です。
  • 削除された行はこの色です。
>>> [[解析力学]] へ戻る

* 目次 [#ace312d0]

#contents

&katex();

* ハミルトン力学 [#c0dc4ccc]

ラグランジアンによる力学では、座標 $q_k$ と速度 $\dot q_k$ を変数としてラグランジアンにより運動を記述した。
ラグランジアンによる力学では、座標 $q_i$ と速度 $\dot q_i$ を変数としてラグランジアンにより運動を記述した。

同じ運動を、座標 $q_k$ と運動量 $p_k$ を変数としてハミルトニアンにより運動を記述しようというのがハミルトン力学である。
同じ運動を、座標 $q_i$ と運動量 $p_i$ を変数としてハミルトニアンにより運動を記述しようというのがハミルトン力学である。

ハミルトン力学はラグランジュ力学よりも多様な変数変換に対して共変となるため有用である。

** ルジャンドル変換 [#id8f8179]

物理学系がある特性関数(ここではラグランジアン)によって記述されるとする。これは、その特性関数のみの情報から物理学系の運動が完全に決定される、という意味である。

この特性関数をある変数(ここでは $\dot q_k$)で偏微分した値(ここでは $p_k=\partial L/\partial\dot q_k$)を新たな変数とし、元の変数($\dot q_k$)を消去して新たな特性関数を得る変換はルジャンドル変換と呼ばれ、ラグランジアンからハミルトニアンを得る際や、熱力学における各種の特性関数を得る際などに用いられる。
この特性関数をある変数(ここでは $\dot q_i$)で偏微分した値(ここでは $p_i=\partial L/\partial\dot q_i$)を新たな変数とし、元の変数($\dot q_i$)を消去して新たな特性関数を得る変換はルジャンドル変換と呼ばれ、ラグランジアンからハミルトニアンを得る際や、熱力学における各種の特性関数を得る際などに用いられる。

特性関数を $f(v)$ として $p=\frac{\partial f}{\partial v}$ とすると、
特性関数を変数 $v$ の関数 $f(v)$ として $p=\frac{\partial f}{\partial v}$ とすると、

$$
df=p\,dv
$$

であるが、新たな関数 $g(p)$ を、

$$
g(p)=pv-f(v)
$$

と定義すれば、

$$
dg=p\,dv+v\,dp-df=v\,dp
$$

が得られ、すなわち

$$
\frac{\partial g}{\partial p}=v
$$

となる。このとき $f(v)$ の持っていた物理系の情報はすべて $g(p)$ に含まれているため、$g(p)$ を新たな特性関数として利用できる。この $f(v)$ から $g(p)$ への変換がルジャンドル変換である。

ルジャンドル変換が有効なのは元の変数 $v$ と新たな変数 $p$ との間で1対1の相互変換が可能な場合に限られる。これは $v$ に対して $p=\partial f/\partial v$ が単調増加あるいは単調減少することと同義であり、$f(v)$ が定義域全域にわたり上に凸あるいは下に凸であることと同義である。
ルジャンドル変換が有効なのは元の変数 $v$ と新たな変数 $p$ との間で1対1の相互変換が可能な場合に限られる。これは $v$ に対して $p=\partial f/\partial v$ が単調増加あるいは単調減少すること($\partial p/\partial v=\partial^2f/\partial v^2>0$ または $\partial p/\partial v=\partial^2f/\partial v^2<0$)と同義であり、$f(v)$ が定義域全域にわたり上に凸あるいは下に凸であることと同義である。

** ハミルトニアン [#ife36e14]

ラグランジアンに対して $\dot q_k$ から $p_k$ へのルジャンドル変換を施した、
ラグランジアンに対して $\dot q_i$ から $p_i$ へのルジャンドル変換を施した、

$$
H(q_1,q_2,\dots,q_n,p_1,p_2,\dots,p_n)=\sum_{k=1}^n p_k\dot q_k-L(q_1,q_2,\dots,q_n,\dot q_1,\dot q_2,\dots,\dot q_n)
H(q_1,q_2,\dots,q_n,p_1,p_2,\dots,p_n)=\sum_{i=1}^n p_i\dot q_i-L(q_1,q_2,\dots,q_n,\dot q_1,\dot q_2,\dots,\dot q_n)
$$

をハミルトニアンと呼ぶ。
ラグランジアンが $q_i,\dot q_i$ の関数であるのに対して、
ハミルトニアンが $q_i,p_i$ の関数となっていることに注目せよ。

先に見たように $L=T-U$ と表されるときハミルトニアンは系のエネルギーに相当するため、
「系のエネルギーを座標と運動量で表したものがハミルトニアンである」と言って良い。
ただしここでの「座標」、「運動量」は「一般座標」、「一般運動量」である。

ハミルトニアンの全微分は

$$
\begin{aligned}
dH
&=\sum_{k=1}^n\big(\dot q_k\,dp_k+\cancel{p_k\,d\dot q_k}\big)-\underbrace{\sum_{k=1}^n\big(\cancel{p_k\,d\dot q_k}+\dot p_k\,d q_k\big)}_{=\,dL}\\
&=\sum_{k=1}^n\big(\dot q_k\,dp_k-\dot p_k\,d q_k\big)\\
&=\sum_{i=1}^n\big(\dot q_i\,dp_i+\cancel{p_i\,d\dot q_i}\big)-\underbrace{\sum_{i=1}^n\big(\cancel{p_i\,d\dot q_i}+\dot p_i\,d q_i\big)}_{=\,dL}\\
&=\sum_{i=1}^n\big(\dot q_i\,dp_i-\dot p_i\,d q_i\big)\\
\end{aligned}
$$

となり、

$$
\dot q_k=\frac{\partial H}{\partial p_k}
\dot q_i=\frac{\partial H}{\partial p_i}
$$

$$
\dot p_k=-\frac{\partial H}{\partial q_k}
\dot p_i=-\frac{\partial H}{\partial q_i}
$$

が成り立つことが分かる。この方程式はハミルトンの正準方程式と呼ばれる。

ラグランジュの運動方程式に現れた $\partial/\partial q_i$ が $\dot q_i$ を固定した偏微分だったのに対して、ハミルトンの運動方程式(正準方程式)に現れる $\partial/\partial q_i$ が $p_i$ を固定した偏微分になっていることに注意せよ。偏微分を扱う際には、何で微分するかと同じくらい、何を固定した微分であるかに注意を払わなければならない。

上記の計算を逆にたどればラグランジアンの運動方程式 $\dot p_i=\partial L/\partial \dot q_i$ が得られるため、この正準方程式はラグランジアンの運動方程式と同値であり、やはり系の運動方程式を与える。

** 例 [#veca20ae]

実際に上の振り子の例で試すと、

$$L=\frac12 mr^2\dot\theta^2-mgr(1-\cos\theta)$$

$$
p_\theta=\frac{\partial L}{\partial \dot \theta}=mr^2\dot\theta
$$

より、

$$
\begin{aligned}
H
&=p_\theta\dot\theta-L\\
&=p_\theta\dot\theta-\big[\frac12 mr^2\dot\theta^2-mgr(1-\cos\theta)\big]\\
&=p_\theta\dot\theta-\big[\frac12 p_\theta\dot\theta-mgr(1-\cos\theta)\big]\\
&=\frac12p_\theta\dot\theta+mgr(1-\cos\theta)\\
&=T+U\\
&=\frac1{2mr^2}p_\theta^2+mgr(1-\cos\theta)\\
\end{aligned}
$$

となり、ハミルトニアンが運動エネルギーとポテンシャルエネルギーの和、すなわち系のエネルギーそのものを表すこと、そして、$p_\theta$ が $\dot\theta$ を含むため、これで $\dot\theta$ を消去して $\theta,p_\theta$ のみの関数として表せること、を確かめられる。

そしてハミルトンの正準方程式は、

$$
\dot \theta=\frac{\partial H}{\partial p_k}=\frac1{mr^2}p_\theta\ \ \ \to\ \ \ p_\theta=mr^2\dot\theta
$$

$$
\dot p_k=-\frac{\partial H}{\partial q_k}=-mgr\sin\theta
$$

となり、第1式から運動量の定義が、第2式から運動方程式が出る。


* ハミルトニアンと最小作用の法則 [#z00c243b]

ラグランジアンによる最小作用の法則では作用を $q_i(t)$ の汎関数とみなして最小値を探した。
$\dot q_i(t)$ はそれに伴い従属的に変化した。

これに対して、~
ハミルトニアンによる最小作用の法則は関数 $q_i(t), p_i(t)$ を独立関数とみなし、$q_i(t), p_i(t)$ の両方を自由に動かして最小値を探す問題として定式化される。

このことを以下に見よう。$p_i(t_1),p_i(t_2)$ を固定した上で $p_i(t),q_i(t)$ を自由に選べると考えれば、
このことを以下に見よう。$\delta p_i(t_1)=\delta p_i(t_2)=0$ を固定した上で $\delta p_i(t),\delta q_i(t)$ を自由に選べるとすれば、

$$
\begin{aligned}
\delta S&=S[q_i+\delta q_i, p_i+\delta p_i]-S[q_i, p_i]\\
&=\delta\int_{t_1}^{t_2}\Big[\sum_{i=1}^np_i\dot q_i-H\Big]dt\\
&=\sum_{i=1}^n\int_{t_1}^{t_2} \Big[\delta p_i\dot q_i+p_i \delta\dot q_i-\frac{\partial H}{\partial q_i}\delta q_i-\frac{\partial H}{\partial p_i}\delta p_i\bigg]dt\\
&=\cancel{\sum_{i=1}^n\big[p_i\delta q_i\big]_{t_1}^{t_2}}+\sum_{i=1}^n\int_{t_1}^{t_2} \Big[\delta p_i\dot q_i-\dot p_i \delta q_i-\frac{\partial H}{\partial q_i}\delta q_i-\frac{\partial H}{\partial p_i}\delta p_i\bigg]dt\\
&=\sum_{i=1}^n\int_{t_1}^{t_2} \Big[\underbrace{\Big(\dot q_i-\frac{\partial H}{\partial p_i}\Big)}_{\delta S/\delta p_i}\delta p_i\underbrace{-\Big(\dot p_i +\frac{\partial H}{\partial q_i}\Big)}_{\delta S/\delta q_i}\delta q_i\bigg]dt\\
\end{aligned}
$$

となる。したがって、作用が極小値を取る条件 $\delta S/\delta q_i=0, \delta S/\delta p_i=0$ は、

$$
\dot q_i=\frac{\partial H}{\partial p_i}
$$

$$
\dot p_i =-\frac{\partial H}{\partial q_i}
$$

を与え、これはハミルトンの正準方程式に他ならない。

~

>>> [[解析力学]] へ戻る

* 質問・コメント [#e1828918]

#article_kcaptcha


Counter: 29430 (from 2010/06/03), today: 3, yesterday: 0