ポアソン括弧のソースを表示

'''ポアソン括弧'''(ぽあそんかっこ、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>が証明された。


 
==関連項目==

* [[解析力学]] - [[ハミルトン力学]]　
* [[量子力学]] - [[正準量子化]]
* [[シメオン・ドニ・ポアソン]]
 
{{DEFAULTSORT:ほあそんかつこ}}
[[Category:力学]]
[[Category:量子力学]]
[[Category:数学に関する記事]]