ポアソン括弧

ポアソン括弧(ぽあそんかっこ、)とは、ハミルトン形式の解析力学における重要概念の一つ。
定義.
formula_1を正準共役量とするとき、相空間上の可微分な実数値関数 に対し、 のポアソン括弧とは、関数
の事である。formula_3が の関数である事を明記してformula_4とも書く。
またベクトル表記を用れば、
とも書き表せる。
数学的性質.
相空間上の二階微分可能な任意の実数値関数 に対し、ポアソン括弧は以下の性質を満たす：
また、正準変数 に対して以下が成り立つ。ここで formula_11 はクロネッカーのデルタ: formula_12
formula_13、formula_14、formula_15
ポアソン括弧と保存量.
ポアソン括弧は運動の保存量を見つける為に役立つ。実際 を時間不変なハミルトニアンとし、 を に関する正準方程式の解とし、 を（時刻に依存しない）可微分な任意の関数とすれば、
であるので、 が0なら は時刻 によらず不変である。（上で(1)は正準方程式から従う。）
また を が恒等的に0になる関数とすれば、
よって も時刻 によらず不変である。（上で(2)ヤコビの恒等式、(3)は歪対称性と仮定から従う。）
 が運動の保存量である事が分かれば、物体は を満たす相空間の部分集合上で運動する事が分かる。特に保存量が 個見つかれば、物体が運動する場所が1次元空間に限定されるので、物体の軌道が完全に決定できる。多くの系において正準方程式を実際に解いて運動を決定するのは非常に困難である為、ポアソン括弧を使って保存量を見つけて運動の範囲を特定するのはハミルトン力学において重要な手法となる。
シンプレクティック形式による定義.
ポアソン括弧の前述した定義は正準座標 (q,p) に依存しているが、シンプレクティック形式 を使えば座標に依存しない定義を以下のようにして得られる。（よって特に、ポアソン括弧をシンプレクティック多様体上で定義できる。）
関数 に対し、formula_18を
を満たす接ベクトルとするとき、ポアソン括弧 {f,g} は
により定義される。ここで d は外微分である。なお(4)を満たす formula_18 の存在は、シンプレクティック形式が非退化である事と外積代数の一般論から従う。この定義によるポアソン括弧が前述の定義によるそれと一致する事は、シンプレクティック形式をダルブー座標で直接書き表して見る事で簡単に証明できる。
また外積代数の一般論から、ポアソン括弧は以下のようにも書き表す事ができる事が示せる：
リー括弧との関係.
ポアソン括弧とリー括弧
は以下の関係を満たす：
証明.
 を二回微分可能な任意の関数とするとき、(5)より
同様に
よってヤコビの恒等式と(5)より、
 の任意性よりformula_28が証明された。
関連項目.