ポアソン括弧

出典: フリー百科事典『ウィキペディア（Wikipedia）』
移動先: 案内、 検索

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

定義

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

<math>

\{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}

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

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

<math>

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

- \frac{\partial g}{\partial q}\frac{\partial f}{\partial p}

</math> とも書き表せる。


数学的性質

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

<math>\{\cdot,\cdot\}</math>は第一成分、第二成分の双方に対して線形である。（双線形性）
<math>\{f,g\}=-\{g,f\}</math> （歪対称性）
<math>\{\{f,g\},h\}+\{\{h,f\},g\}+\{\{g,h\},f\} = 0</math>　（ヤコビの恒等式）
<math>\{fg,h\}=\{f,h\}g+f\{g,h\}</math>、<math>\{f,gh\}=\{f,g\}h+g\{f,h\}</math> （ライプニッツ・ルール）


また、正準変数 p, q に対して以下が成り立つ。ここで<math>\delta_{ij}</math>はクロネッカーのデルタ。

<math>\{ p_i, p_j \} = \{ q_i, q_j \} =0</math>、<math>\{ p_i, q_j \} =\delta_{ij}</math>、<math>\{ p_i, f \} = \frac{\partial f}{\partial q_i}</math>


ポアソン括弧と保存量

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

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

</math>

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

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

<math>\{\{f,g\},H\}\underset{(2)}{=} - \{\{H,f\},g\} - \{\{g,H\},f\}

\underset{(3)}{=} 0 </math>。

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

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

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

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

関数fに対し、<math>X_f</math>を

<math>\mathrm{d}f(\cdot)=\omega(X_f,\cdot)</math> ...(4)

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

<math>\{f,g\}=\omega(X_f,X_g)</math>

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

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

<math>\{f,g\}=\mathrm{d}f(X_g)=-\mathrm{d}g(X_f)=X_g(f)=-X_f(g)</math> ...(5)

リー括弧との関係

ポアソン括弧とリー括弧

<math>[A,B]=AB-BA</math>

は以下の関係を満たす：

<math>X_{\{f,g\}}=-[X_f,X_g]</math>。


証明

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

<math>X_fX_g(h) = X_f(\{h,g\}) = \{\{h,g\},f\}</math>。

同様に

<math>X_gX_f(h) = \{\{h,f\},g\}</math>。

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

<math>[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)</math>。

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


関連項目

「http://wikippe.e-do-match.com/index.php?title=ポアソン括弧&oldid=30263」から取得