ポアソン括弧

**ポアソン括弧**(ぽあそんかっこ、)とは、ハミルトン形式の解析力学における重要概念の一つ。ポアソン括弧の名はフランスの物理学者シメオン・ドニ・ポアソンに因む。ポアソンは1809年の力学に関する論文の中でポアソン括弧を導入した。

## 定義
ハミルトニアン形式の力学において、物体の運動は一般化座標 と一般化運動量 の組からなる正準変数で記述される。正準変数をとする相空間において、 を可微分な実数値関数とする。 の**ポアソン括弧**とは、関数

:
\{f,g\}
:=\sum_{i=1}^n \Big(\frac{\partial f}{\partial q_i}\frac{\partial g}{\partial p_i}
 - \frac{\partial g}{\partial q_i}\frac{\partial f}{\partial p_i}\Big)

の事である。が  の関数である事を明記して、または添え字の表記でとも書く。

またベクトル表記を用れば、
: 
\{f,g\}
=\frac{\partial f}{\partial q}\frac{\partial g}{\partial p}
 - \frac{\partial g}{\partial q}\frac{\partial f}{\partial p}

とも書き表せる。

ハミルトニアンを とすると、運動方程式による正準変数の時間発展 はハミルトンの正準方程式

:\dot{q}_i(t) = \frac{\partial H}{\partial p_i}
:\dot{p}_i (t)= -\frac{\partial H}{\partial q_i}

で与えられる。但し、ドット記号は時間についての微分を表す。一般に正準方程式の解 と時間に依存する関数 の時間変化は

:
\frac{d}{dt}F(q(t),p(t),t)
=\frac{ \partial }{\partial t}F(q(t),p(t),t)
+\sum_{i=1}^n\Big( \frac{\partial F}{\partial q_i}\dot{q}_i
+\frac{\partial F}{\partial p_i} \dot{p}_i \Big)
=\frac{ \partial }{\partial t}F(q(t),p(t),t)
+\sum_{i=1}^n \Big(\frac{\partial F}{\partial q_i}\frac{\partial H}{\partial p_i}
 - \frac{\partial F}{\partial q_i}\frac{\partial H}{\partial p_i}\Big)
=\frac{ \partial }{\partial t}F(q(t),p(t),t) +\{ F, H\}


とハミルトニアン とのポアソン括弧で表現できる。
関数 に対し、

:\frac{d}{dt}F(q(t),p(t),t)=\frac{ \partial }{\partial t}F(q(t),p(t),t) +\{ F, H\}

は の運動方程式であり、特に正準変数についての正準方程式は

:\dot{q}_i(t) = \{ q_i, H\}
:\dot{p}_i(t) = \{ p_i, H\}

とポアソン括弧で表せる。

## 数学的性質
### 性質
相空間上の二階微分可能な任意の実数値関数  と実数に対し、ポアソン括弧は以下の性質を満たす：

;双線形性
ポアソン括弧は双線形である。すなわちは第一成分、第二成分の双方に対して線形である。
:\{\lambda f+ \mu g, h\} = \lambda \{f, h\} + \mu \{g, h\}
:\{f, \lambda g+\mu h\} = \lambda \{f, g\} + \mu \{f, h\}

;歪対称性
ポアソン括弧は歪対称性を満たす。
:\{f, g\} =-\{g, f\}
歪対称性から
:\{f, f\} =0
が成り立つ。

;ヤコビの恒等式
ポアソン括弧はヤコビの恒等式を満たす。
:\{\{f, g\}, h\} + \{\{h, f\}, g\} +\{\{g, h\}, f\} = 0

;ライプニッツ・ルール
ポアソン括弧はライプニッツ・ルールを満たす。
:\{fg, h\} = \{f, h\}g + f\{g, h\}
:\{f, gh\} = \{f, g\}h + g\{f, h\}

これらの性質から相空間における滑らかな関数のなす集合はポアソン括弧で積演算を定めるとリー代数となる。

### 時間による全微分
ポアソン括弧の時間による全微分は次式を満たす。
:\frac{d}{dt}\{f,g\} = \bigl \{\frac{d}{dt}f,g \bigr \} + \bigl \{f,\frac{d}{dt}g \bigr \}

この関係式とヤコビの恒等式から**ポアソンの定理**と呼ばれる次の性質が成り立つ。
: \frac{d}{dt}f = \frac{d}{dt}g = 0 \Rightarrow \frac{d}{dt}\{f,g\} = 0

相空間上の時間に陽に依存しない力学量が時間に対して不変であるとき、 は保存量、または第一積分であるという。
ポアソンの定理より、相空間における第一積分のなす集合は滑らかな関数のなすリー代数の部分リー代数になる。

### 基本ポアソン括弧
正準変数  に対して、正準変数同士のポアソン括弧を**基本ポアソン括弧**という。基本ポアソン括弧は次のようになる。

\{ p_i, p_j \} = \{ q_i, q_j \} =0、\{ q_i, p_j \} =\delta_{ij}

ここで  は
:\delta_{ij}:=\begin{cases}
1, & i=j,\\
0, & i\neq j.
\end{cases}
で与えられるクロネッカーのデルタである。また、次の関係式が成り立つ。

:\{ f , q_i \} = -\frac{\partial f}{\partial p_i},\quad \{ f , p_i \} = \frac{\partial f}{\partial q_i}

## ポアソン括弧と保存量
ポアソン括弧は運動の保存量を見つける為に役立つ。実際  を時間不変なハミルトニアンとし、 を  に関する正準方程式の解とし、 を（時刻に依存しない）可微分な任意の関数とすれば、

: \frac{\mathrm d}{\mathrm dt}f(q(t),p(t))
= \frac{\partial f}{\partial q}\dot{q} + \frac{\partial f}{\partial p}\dot{p}
\underset{(1)}{=} 
  \frac{\partial f}{\partial q}\frac{\partial H}{\partial p}
 - \frac{\partial f}{\partial p}\frac{\partial H}{\partial q}
 = \{f,H\}(q(t),p(t))


であるので、  が0なら  は時刻  によらず不変である。（上で(1)は正準方程式から従う。）

また  を が恒等的に0になる関数とすれば、

:\{\{f,g\},H\}\underset{(2)}{=} - \{\{H,f\},g\} - \{\{g,H\},f\}
\underset{(3)}{=} 0.


よって  も時刻  によらず不変である。（上で(2)ヤコビの恒等式、(3)は歪対称性と仮定から従う。）

 が運動の保存量である事が分かれば、物体は  を満たす相空間の部分集合上で運動する事が分かる。特に保存量が  個見つかれば、物体が運動する場所が1次元空間に限定されるので、物体の軌道が完全に決定できる。多くの系において正準方程式を実際に解いて運動を決定するのは非常に困難である為、ポアソン括弧を使って保存量を見つけて運動の範囲を特定するのはハミルトン力学において重要な手法となる。

## シンプレクティック形式による定義

ポアソン括弧の前述した定義は正準座標 (q,p) に依存しているが、シンプレクティック形式  を使えば座標に依存しない定義を以下のようにして得られる。（よって特に、ポアソン括弧をシンプレクティック多様体上で定義できる。）

関数  に対し、X_fを

: \mathrm{d}f(\cdot)=\omega(X_f,\cdot) ...(4)

を満たす接ベクトルとするとき、**ポアソン括弧** {f,g} は

: \{f,g\}=\omega(X_f,X_g)

により定義される。ここで d は外微分である。なお(4)を満たす X_f の存在は、シンプレクティック形式が非退化である事と外積代数の一般論から従う。この定義によるポアソン括弧が前述の定義によるそれと一致する事は、シンプレクティック形式をダルブー座標で直接書き表して見る事で簡単に証明できる。

また外積代数の一般論から、ポアソン括弧は以下のようにも書き表す事ができる事が示せる：

:\{f,g\}=\mathrm{d}f(X_g)=-\mathrm{d}g(X_f)=X_g(f)=-X_f(g) ...(5)

## リー括弧との関係

ポアソン括弧とリー括弧

: [A,B]=AB-BA

は以下の関係を満たす：

:X_{\{f,g\}}=-[X_f,X_g].
### 証明

 を二回微分可能な任意の関数とするとき、(5)より

:X_fX_g(h) = X_f(\{h,g\}) = \{\{h,g\},f\}.

同様に

:X_gX_f(h) = \{\{h,f\},g\}.

よってヤコビの恒等式と(5)より、

:[X_f,X_g](h)=(X_fX_g-X_gX_f)(h) = \{\{h,g\},f\} - \{\{h,f\},g\}
 = \{\{f,g\},h\} = -X_{\{f,g\}}(h).

 の任意性より[X_f,X_g]=-X_{\{f,g\}}が証明された。

## 脚注
### 出典

## 参考文献
### 論文
*
*

### 書籍
*
*
*
*
*

## 関連項目
* 解析力学 - ハミルトン力学　
* 量子力学 - 正準量子化
* シメオン・ドニ・ポアソン
*