ポアソン括弧

ポアソン括弧(ぽあそんかっこ、Poisson Bracket)とは、ハミルトン形式の解析力学における重要概念の一つ。

定義 [編集]

$p=(p_1,\ldots,p_n)$ 、 $q=(q_1,\ldots,q_n)$ を正準共役量とするとき、相空間上の可微分な実数値関数f(p,q)、g(p,q)に対し、f,gのポアソン括弧とは、関数

$\{f,g\} =\sum_{i=1}^n \frac{\partial f}{\partial q_i}\frac{\partial g}{\partial p_i} - \frac{\partial g}{\partial q_i}\frac{\partial f}{\partial p_i}$

の事である。 $\{f,g\}$ が(q,p)の関数である事を明記して $\{f,g\}(q,p)$ とも書く。

またベクトル表記を用れば、

$\{f,g\} =\frac{\partial f}{\partial q}\frac{\partial g}{\partial p} - \frac{\partial g}{\partial q}\frac{\partial f}{\partial p}$

とも書き表せる。

数学的性質 [編集]

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

$\{\cdot,\cdot\}$ は第一成分、第二成分の双方に対して線形である。（双線形性）

$\{f,g\}=-\{g,f\}$ （歪対称性）

$\{\{f,g\},h\}+\{\{h,f\},g\}+\{\{g,h\},f\} = 0$ 　（ヤコビの恒等式）

ポアソン括弧と保存量 [編集]

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

$\frac{d}{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 q}\frac{\partial H}{\partial p} = \{f,H\}(q(t),p(t))$

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

またf、gを{f,H}、{g,H}が恒等的に0になる関数とすれば、

$\{\{f,g\},H\}\underset{(2)}{=} - \{\{H,f\},g\} - \{\{g,H\},f\} \underset{(3)}{=} 0$ 。

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

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