連続体のポアッソン括弧式

括弧式の連続体版

連続体への拡張作業は問題なく進んでいる.正準方程式さえも「質点系の解析力学」とほとんど変わらぬ形式でまとまった.ここまで来れば,ポアッソン括弧式にも手を加えて,連続体の体系に合うように取り込みたいところだ.

質点系の議論をした時のポアッソン括弧式の定義は次のようなものだった. 何のためにこんなものを定義したのか思い出せるだろうか.簡単に言えば,時間や位置や運動量の関数になっている物理量を時間微分した結果として出てくる式のごちゃごちゃした部分に正準方程式を代入して変形したらこうなったのである.思い出せない場合は以前の記事を読み直すといいだろう.

連続体の場合にこれと同じ話の流れを作ろうと思ったら,関数やや時間の汎関数になっているような物理量を考えてやるしかないだろう.時間の経過によっては直接にも変化するが,やも変化するから,その影響による変化もあるだろう.その全体の変化の度合いを式で表すと, である.ここで前回の正準方程式を代入してやれば, のようになる.ということは,連続体の場合のポアッソン括弧式としては,次のような定義を採用してやればいいわけだ. そうすれば以前と同じ形の式が成り立つことになる. まぁ,いつか役に立つこともあるのではないだろうか.

正準方程式を対称的にする

せっかく新しい形のポアッソン括弧式が定義できたのだから,ちょっとだけ遊んでみよう.

例えば質点系では,括弧式を使うことで正準方程式を極めて対称的な形で表すことができるのだった. 連続体の場合には次のような形になることを期待したい. まぁ,試しに最初の式に出てくるを計算してみよう. えーっと,まだ計算の途中だが,こんな感じでいいのかな？気に掛かることが二つあるな.とをどう計算したらいいだろう？

関数とはそれぞれ独立だと考えているのだから,を微小変化させたところでに変化はないだろう.だから, の方は簡単に結論できる.しかしの場合のように,同じ関数で汎関数微分を行った場合には結果はどうなるのだろうか.ここで汎関数微分の意味を思い出して,自分が何を計算しようとしているかを考え直さないといけない.の分母のは普通の関数の意味でいいが,分子のは分母のの汎関数なのである.汎関数とは関数の形が決まると,それに応じて一つの値が決まるような関数のことであった.

まぁ,簡単に言ってしまえば次のような状況だ.定数をに代入したというものを考えれば,これはある一つの値が決まる.その値は関数の形によって決まるのだからはの汎関数の一種だと言えるだろう.だから今つまずいている汎関数微分はちゃんと書くなら と表現すべきものである.さて,これをどう計算したらいいかだが,汎関数微分の定義に立ち戻ればいい.今の場合は時間を固定して考えているのでは飾りのようなものだから省いて表すと, というのが汎関数微分の定義である.この形はデルタ関数の有名な性質を表す式でもあるから, だということが結論できるわけだ.

以上のことを踏まえて,もう一度 (1) 式を計算してみよう.括弧式の中に入るのは汎関数であるべきだったわけだ.しかし定数を使うのもカッコ悪いので,とを使って区別することにする. ここでのは計算の過程では定数みたいに考えているのだが,結果が出てしまえば変数のように考えればいい.というわけで,期待した通りの関係が成り立っていると言えるわけである.

正準変数の括弧式

今考えたようなことに注意すれば,次のような量も同じように計算できることになる.先ほどは定数などを使うのはカッコ悪いとか言って避けたが,意味の分かり易さの為に敢えて使うことにしよう. 質点系の場合の同様な関係式と,非常に類似性があるのがよく分かるだろう.関数との同じ位置について計算したときだけ,0 でないという結果になる.

この辺りの関係式は,場の理論で素粒子などを扱うときに特に重要になってくる.

面倒だから省略するが,以前の記事で紹介した,ポアッソン括弧式について成り立つ色々な関係式は今回の場合にも同じように成り立っている.