力学の形式

記事で必要になるため、以下の力学の定式化

に関して簡単に記します。もうひとつハミルトン-ヤコビの方法というものもありますが、ここでは触れません。

Notationに関しては以下：

• 位置は$q^i$、速度は$\dot q^i$（ドットは時間微分）、運動量は$p_i$と表す。$i$は空間成分のindexであり、空間次元が$d$なら$i=1,\ldots,d$
• ある項に同じindexが2つ存在するとき（$q^ip_i$など）、そのindexに関して和をとっている。
• 本来indexがついている変数に対しそれを省略したときは、その変数の集合を表す。例えば$q^i$に対し$q$と書いたら$\{q^i\}_{i=1,\ldots}$を表す。

ニュートンの運動方程式

これはいわゆる"$F=ma$"というやつです。
ニュートンの運動方程式は以下のように表されます：

力$F^i$と初期条件を与えてこの微分方程式を解くことで、時刻に依存する位置ベクトル$q^i(t)$が求まります。これは時間に関して局所的な形式です。微小な時間発展の積み重ねで（=運動方程式を積分して）$q^i(t)$を求めます。

ラグランジュ形式

ラグランジュ形式は時間に関して大域的な形式です。運動を空間のみならず時間的に俯瞰します。

作用（action）と呼ばれる$q$の汎関数
$$ S[q]:=\int^{t_2}_{t_1} dt \ L(q(t),\dot q(t)) $$
を考えます。$L(q(t),\dot q(t))$はラグランジアンと呼ばれ、系に特有な量です。これにより運動が特徴づけられます。本来さらに$t$にあらわに依存していてもよいですが、ここでは簡単のためその依存はないものとします。

時刻$t_1$における位置$q_1:=q(t_1)$と$t_2$における位置$q_2:=q(t_2)$の値は固定します。このとき

というのがラグランジュ形式における運動の法則です。すなわち、$t$に依存する微小量$\delta q$による任意の変分の1次が消える条件
$$ \delta S[q]=O((\delta q)^2) $$
を満たす$q$が実際に実現する軌道です。ただし変分は境界でゼロ、すなわち
$$ \delta q(t_1)=\delta q(t_2)=0 $$
となるものを考えます。

以下変分の2次以上は無視することにします。

具体的な軌道の計算は$L$が満たす時間の微分方程式を解いて行います。この微分方程式を求めるため、実際に変分を行うと
$$ \begin{align} \delta S[q]&:=S[q+\delta q]-S[q]\\ &=\int^{t_2}_{t_1} \left( \frac{\partial L}{\partial q^i}\delta q^i+\frac{\partial L}{\partial \dot q^i}\delta \dot q^i \right) \end{align} $$
です。$\delta \dot q=\frac{d}{dt}\delta q$より、最後の行の第2項で部分積分を行うと、境界で$\delta q=0$であることから表面項は消えて
$$ =\int^{t_2}_{t_1}\left( \frac{\partial L}{\partial q^i}-\frac{d}{dt}\left(\frac{\partial L}{\partial \dot q^i}\right) \right)\delta q^i $$
を得ます。変分関数は$i$に関して独立であり、任意の変分に関してこれが消えることから、カッコの中はゼロです。このことから導かれる以下の式がオイラー・ラグランジュ方程式です（Euler-Lagrange equations。私の記事ではE-L eqs.と略します）：

これを初期条件を与え解くことで、$q^i$の時間発展が求まります。

ハミルトン形式

ラグランジュ形式は$q,\dot q$およびラグランジアン$L$を基礎とする形式でした。一方ハミルトン形式（正準形式（canocnical formalism）とも呼ばれる）は位置座標$q$、運動量$p$、およびハミルトニアン$H(q,p)$を基礎とする形式です。

運動量$p_i$は
$$ p_i:=\frac{\partial L}{\partial \dot q^i} \tag{1} $$
で定義されます。
ハミルトニアンは、ラグランジアンから以下のルジャンドル変換を行うことで得られます：
$$ H(q,p):=q^ip_i-L(q,\dot q(q,p)) \tag{1} $$

この形式では$q^i,p_i$は独立とみなすので、運動の決定には（$i$ごとに）2つの方程式が必要です。それが以下の正準方程式（canonical equations）です：

これを解くことで$q^i,p_i$の時間発展が求まります。$(q,p)$の空間を相空間(phase space)と呼びます。位相空間と呼ぶこともあるのですが、数学のtopological spaceとは全くの別物です。