ハミルトン力学
テンプレート:出典の明記 テンプレート:古典力学 ハミルトン力学（ハミルトンりきがく、英語：Hamiltonian mechanics）は、一般化座標と一般化運動量を基本変数として記述された古典力学である。イギリスの物理学者ウィリアム・ローワン・ハミルトンが創始した。ラグランジュ力学と同様にニュートン力学を再公式化した解析力学の一形式。
概要
ハミルトン形式の解析力学はルジャンドル変換によってラグランジュ形式から移行する。 元々はニュートン的な力学の分野において成立したが、ラグランジュ形式と同様に幅広い分野へと応用されている。
特に量子力学においては、正準量子化の手続きによって、ハミルトン形式での物理量を演算子に置き換えることで量子化することが出来る。
また量子多体論において用いられるTDHF近似は、ある変換の下でハミルトン力学と等価である事が知られている。この事は古典力学が単なる量子力学の近似ではなく、この世界における何らかの事実を表しているという期待を持たせる。
ハミルトン形式では一般化座標に加えて一般化運動量によって記述されており、その方程式は対称な形となっている。力学変数が2倍に増えて運動方程式の数は増えるが、二階微分方程式が一階微分方程式となる。
定式化
ハミルトン形式は一般化座標 <math>\boldsymbol{q}(t) = (q_1,\ldots )</math> と一般化運動量 <math>\boldsymbol{p}(t) = (p_1,\ldots )</math> によって記述される。
それぞれの時間微分は テンプレート:Indent で与えられる。ドットは時間微分を表す。この式を正準方程式、或いはハミルトン方程式と呼ばれる。
一般化座標、一般化運動量、および時間の関数 <math>H(\boldsymbol{p},\boldsymbol{q},t)</math> はハミルトニアンと呼ばれる。
ハミルトン形式において物理量は一般化座標、一般化運動量、および時間の関数 <math>A(\boldsymbol{p},\boldsymbol{q},t)</math> として書かれる。物理量の時間微分は テンプレート:Indent となる。特にハミルトニアンの時間微分は テンプレート:Indent である。
ハミルトニアン
ハミルトニアンはラグランジアンから テンプレート:Indent で定義される。
ラグランジアンが テンプレート:Indent の形で書かれていた場合、ハミルトニアンは テンプレート:Indent となり、運動エネルギーとポテンシャルエネルギーの和、すなわち、系の全エネルギーであることが分かる。 ハミルトニアンの時間微分は テンプレート:Indent であり、ハミルトニアンが陽に時間に依存しないときは全エネルギーが保存する。
なお、ハミルトニアンは一般化座標、一般化運動量、および時間の関数として書かれた量であり、引数が違えば大きさが同じであってもハミルトニアンではない。 ハミルトニアンを定義式内の一般化速度は一般化運動量の定義式を逆に解いて一般化座標、一般化運動量、および時間の関数 <math>\dot{q}_i(p,q,t)</math> として書かれている。
正準変換
一般化座標 q、一般化運動量 p から、変換 テンプレート:Indent をしたとき、P,Q と時間の関数として書かれた新たなハミルトニアン H'(P,Q,t) を用いて、 テンプレート:Indent となるとき、この変換を正準変換と言う。 正準変換によって、一般化座標と一般化運動量は相互に混じり合い、両者の区別は曖昧なものとなる。 一般化座標と一般化運動量を総称して正準共役量と呼ぶ。
正準共役量 p,q によって張られる空間は位相空間と呼ばれ、正準変換は二つの位相空間を対応付ける変換である。
ポアソン括弧
ポアソン括弧（ポアソンの括弧式）とは、正準変数と時間の関数として書かれた物理量 A, Bに対して、 テンプレート:Indent で定義される物理量である。
物理量の時間微分はハミルトニアンとのポアソン括弧を用いて テンプレート:Indent となる。物理量が陽に時間に依存しないときは テンプレート:Indent となる。
量子力学ではポアソン括弧は正準量子化の手続きによって、正準交換関係と対応付けられる。
導出
ラグランジアン <math>L(q_i,\dot{q}_i,t)</math> の全微分は テンプレート:Indent である。 一般化運動量は <math>p_i=\frac{\partial L}{\partial\dot{q}_i}</math> で定義され、ラグランジュの運動方程式から <math>\dot{p}_i=\frac{\partial L}{\partial q_i}</math> である。これを用いて先ほどの全微分を書き換えれば、 テンプレート:Indent となる。全微分を移項して テンプレート:Indent となる。ハミルトニアン テンプレート:Indent を定義すれば、 テンプレート:Indent となり、 テンプレート:Indent を得る。
関連記事
脚注
