ハミルトニアン

テンプレート:出典の明記 ハミルトニアン（テンプレート:Lang-en-short）あるいはハミルトン関数、特性関数（とくせいかんすう）は、物理学におけるエネルギーに対応する物理量である。各物理系の持つ多くの性質は、ハミルトニアンによって特徴づけられる。名称はイギリスの物理学者ウィリアム・ローワン・ハミルトンに因む。

ここでは、古典力学（解析力学）と量子力学の2つの体系に分けて説明するが、量子力学が古典力学から発展した経緯から、両者は密接に関連する。ハミルトニアンはそれぞれの体系に応じて関数または演算子もしくは行列の形式をとる。例えば、古典力学においてはハミルトニアンは正準変数の関数であり、量子力学では正準変数を量子化した演算子（もしくは行列）の形をとる。

解析力学（古典力学）

解析力学または古典力学においてハミルトニアン テンプレート:Mvar とは、テンプレート:Mvar を運動エネルギー、テンプレート:Mvar をポテンシャルエネルギーとして、全エネルギー を

$H=H(q,p;t)=T+V$

のように一般化座標 テンプレート:Mvar 、一般化運動量 テンプレート:Mvar によって表した関数のことである。ただし テンプレート:Mvar は時間とする。

構成方法

ハミルトニアンは、ラグランジュ形式の解析力学におけるラグランジアンをルジャンドル変換することで構成される。その具体的な方法は次のとおりである。 まず、対象とする系に対してラグランジアン テンプレート:Math を構成する。次に正準運動量を

$p_i=\frac{\partial L}{\partial {\dot{q}}_i}$

で定義する。この正準運動量を用いて、ラグランジアンに対して、変数の組 テンプレート:Math から テンプレート:Math へのルジャンドル変換を行う。その結果、ハミルトニアン

$H(\{q_i\},\{p_i\};t)=\sum _i{p}_i{\dot{q}}_i-L(\left\{q_i\right\},\left\{{\dot{q}}_i\right\};t)$

が得られる。ここで、右辺に現れる テンプレート:Math} は正準運動量の定義式を通じて、テンプレート:Math} で書き直し、ハミルトニアンを テンプレート:Math の関数として表す必要がある。 なお、ラグランジアンの全微分が、

$dL=\sum _i\{p_{i}d{\dot{q}}_i+{\dot{p}}_{i}d{q}_i\}$

となることに着目すると

$dH=\sum _i\{d{p}_i\cdot {\dot{q}}_i+p_{i}d{\dot{q}}_i\}-dL=\sum _i\{{\dot{q}}_{i}d{p}_i-{\dot{p}}_{i}d{q}_i\}$

であり、この表式からハミルトンの正準方程式が導かれる。

対象とする系に対し、いろいろな座標系の取り方が可能である。例を挙げると、中心力場の問題では、極座標系で記述されることが多い。これはその方が問題を解く上で通常の直交座標系を使うより便利なためである。扱う系により、扱うのに適した座標系はまちまちとなる。

量子力学

量子力学においてもハミルトニアンは、系の全エネルギーを表す。ただし量子力学では、正準量子化に従って位置と運動量を演算子で表す。従って、位置と運動量の関数であるハミルトニアンは演算子としての性質を持つ。また、両側を基底関数で挟むことによって無限次元の行列としても表現される。この表現の異なり方をシュレーディンガーの波動方程式とハイゼンベルクの行列力学が争ったが最終的には等価であることが証明された。すなわち解く状況に応じて都合のいいように取ればよいのである。

具体例として時間に依存しない場合のシュレーディンガー方程式を扱う。時間に依存しない場合のシュレーディンガー方程式は固有関数または固有状態を テンプレート:Mvar、エネルギー固有値を テンプレート:Mvar とする固有値問題の形をとる。

$\hat{H}\mathrm{\Psi }=E\mathrm{\Psi }$

行列 テンプレート:Mvar に対角化を行うと、上記方程式を解くことができる。現実に解く場合は、無限次元行列を有限な行列に変換して解く。固有値 テンプレート:Mvar が実際に観測される量であるためには、テンプレート:Mvar はエルミート（行列）である必要がある。

ハミルトニアンのスペクトルは、系の全エネルギーを測定したときの可能な測定値の組となる。系の時間発展に密接に関連するため、量子論の定式化の多く部分で重要な働きをする。 テンプレート:Sectstub

ハミルトニアンの代表例

自由粒子系

相互作用のない自由粒子系を考える。3次元空間を運動する1粒子の場合、運動エネルギーは以下で与えられる。

$T=\frac{m}{2}({\dot{x}}^2+{\dot{y}}^2+{\dot{z}}^2)=\frac{1}{2m}(p_x^2+p_y^2+p_z^2)$

ただし、正準運動量 テンプレート:Math は

$p_x=\frac{\partial T}{\partial \dot{x}}=m\dot{x}$

であり、テンプレート:Math も同様に与えられるものとする。ポテンシャル テンプレート:Mvar は、ゼロであることから、ハミルトニアンは

$H=\frac{1}{2m}(p_x^2+p_y^2+p_z^2)$

となる。テンプレート:Mvar 粒子系であれば、

$H=\sum _{i=1}^N\frac{1}{2m}(p_{xi}^2+p_{yi}^2+p_{zi}^2)$

である。テンプレート:Mvar は時間 テンプレート:Mvar に対して不変である。

保存力が存在する場合

3次元空間の1質点系で、ポテンシャル場 テンプレート:Mvar による保存力が作用する場合を考える。このとき、ハミルトニアンは

$H=\frac{1}{2m}({p_x}^2+{p_y}^2+{p_z}^2)+U(x,y,z)$

となる。テンプレート:Mvar は時間 テンプレート:Mvar に依存しないので、テンプレート:Mvar も テンプレート:Mvar に対して不変である。極座標 テンプレート:Math による表示を行えば

$\begin{array}{cc}& T=\frac{m}{2}({\dot{r}}^2+r^2{\dot{\theta }}^2+r^2{\sin }^2\theta {\dot{\varphi }}^2),\\ & p_r=\frac{\partial T}{\partial \dot{r}}=m\dot{r},p_{\theta }=\frac{\partial T}{\partial \dot{\theta }}=m{r}^2\dot{\theta },p_{\varphi }=\frac{\partial T}{\partial \dot{\varphi }}=m{r}^2{\sin }^2\theta \dot{\varphi }\end{array}$

より、

$H=\frac{1}{2m}(p_r^2+\frac{1}{r^2}{p}_{\theta }^2+\frac{1}{r^2{\sin }^2\theta }{p}_{\varphi }^2)+U(r,\theta ,\varphi )$

となる。また、正準量子化すると

$\hat{H}=-\frac{{\hslash }^2}{2m}(\frac{{\partial }^2}{\partial x^2}+\frac{{\partial }^2}{\partial y^2}+\frac{{\partial }^2}{\partial z^2})+U(x,y,z)$

となる。

関連項目

• ハミルトン力学
• ラグランジアン