(この記事は数理物理 Advent Calendar 2018 - Adventar 4日目の記事です。)
固定点を持つ剛体の運動を表す方程式(つまり,コマの方程式)はオイラー・ポアソン方程式と呼ばれ*1,以下のように書ける.
本記事の目標はこの方程式がラックス形式で書けることを確認することである.それを通して,リー・ポアソン構造の有用さが分かると思う.
この問題に対する私のモチベーションを少し書く.オイラー・ポアソン方程式の可積分性というのは面白い問題であるが,本来,可積分性はシンプレクティック形式から定まるポアソン括弧で書けるハミルトン系に対する概念である.そこで,オイラー・ポアソン方程式が今のべた意味でのハミルトン系で書けるかというのを調べたいのが私のモチベーションである.
準備
少し長いので簡単な流れを述べておく.
(1)リー代数 があるとき, 上の関数にポアソン構造を入れることができる.これにより 上のハミルトン系が定義できる.
(2)リー代数に非退化な対称双線形形式があるとき,上の関数にポアソン構造を入れることができる.これにより 上のハミルトン系ができる.
(3)さらに,双線形形式がアジョイント不変であれば,上のハミルトン系はラックス形式で書ける.
ポアソン構造
まずリー代数の定義を復習する.係数体を とするベクトル空間 を考える. このベクトル空間に対し演算 が存在し, 以下の性質を満たす.
(1)双線型である.つまり, かつ ;
(2)反対称である.つまり, ;
(3)ヤコビ恒等式が成り立つ.つまり,.
このとき,をリー代数という.演算 はリー括弧と呼ばれる.
次に,ポアソン構造を定義する. 級の実多様体 を考える.多様体上の 級の関数の集合 に対して,演算 があり, リー括弧の性質(1),(2),(3)に加えて,
(4)ライプニッツ則,つまり,
を満たすとき,はポアソン多様体と呼ばれる. 演算 はポアソン括弧と呼ばれる.
ライプニッツ則は ないしが微分であることを表す(微分代数の考え方).
をポアソン多様体とし,関数 を定めると, は 上のベクトル場になっている. これをハミルトンベクトル場という. これにより定まる微分方程式
をハミルトン系という.をハミルトン系のハミルトン関数という. 多様体で定義したため若干説明不足な部分があるが のケースだと単に 次元微分方程式
である. ハミルトン関数 のハミルトン系に対して, が保存量であることは と同値である. それは から自明である. 微分形式に慣れていれば,
からもよくわかる.
特に,ハミルトン関数自身は常に保存量である.また,ヤコビ恒等式より2つの保存量 に対し, も保存量となる.任意の関数 に対して となる関数 をカシミール(Casimir)関数という.つまり,カシミール関数はポアソン括弧によりできる任意のハミルトンベクトル場の保存量である.言い換えると,カシミール関数 に対してハミルトンベクトル場は であるとも言える.
リー・ポアソン構造
リー・ポアソン構造を説明するために,まずリー代数 の双対空間 にポアソン構造が入ることを見る.まず,わかりやすさのために に対し,と書くことにする. 上の関数 に対して, での勾配 はから への線形写像になっているため,であり,との同一視,つまり,
となる元 が存在する.ここで, 上のポアソン括弧を
と定めることができる. このようにできたポアソン括弧をリー・ポアソン括弧という.
上にポアソン構造を定めるためには の非退化な対称双線形形式 が必要である. があれば, に対して,なので
となる が(非退化な条件より)一意に定まる.これにより,上にもポアソン構造が
で定まる.
ラックス形式
ここで,が特殊な場合にはハミルトン系がいわゆるラックス形式でかけることを見る. ここで仮定するのは のアジョイント不変性, つまり,
である.このとき,上の関数 と に対し,
最後に の定義より,
となる.そのそもハミルトンベクトル場 は任意の関数 と点 に対し となるものだったので,であることがわかる.よって,ハミルトン系も
と書ける. これをラックス形式という.
オイラー・ポアソン方程式
以上の準備の下,オイラーポアソン方程式をポアソン構造と見る方法を述べる.まず線形空間 を考え,元を と書く.と も縦ベクトルと見たいので,少し書き方が変であるが,伝わると思うので縦ベクトルと横ベクトルの区別はおおらかにする.
リー括弧を に対して,
で定める.次に非退化な対称双線形形式 を
と定める.を行列 で表現すると
であり(つまり,)非退化で対称なことがすぐに分かる.上の関数を とし,に対して が定まる.計算すると
であり,
なので,任意の で
が成り立つことから,両辺を比較すると,
であることが分かる.具体的には
であることが分かる.
ポアソン括弧からもハミルトンベクトル場を計算できるが,すでにラックス形式で計算できることが分かっているので,
となる.つまり,通常のオイラーポアソン方程式
に一致した.