どうも(^^)/
前回ルジャンドル変換を勉強して自分なりにまとめました。
なんかもっと解析力学で出てくるような問題を扱うにあたって実用的なである方が良いと思ったので、表にまとめてみました。
表の中身の導出は次回にするとして、結果だけまとめて頭に入れておきたいところです(^^)
ルジャンドル変換:表にまとめた
\(\{a_{i}\}\)、\(\{b_{i}\}\)、\(\{c_{i}\}\)は互いに独立な変数たちとします。
ある関数\(f(\{c_{i}\},\{a_{i}\})\)から別の変数を持った関数\(g(\{c_{i}\},\{b_{i}\})\)に変換する。
※変数の集合\({c_{i}}\)は共通
↑これがルジャンドル変換です。
表にまとめましょう(^^)/
関数 | \(f\) | \(g\) |
互いに独立な変数 | \(f\)の変数 ※\(a_{i}=\frac{\partial g}{\partial b_{i}}\) | \(g\)の変数 ※\(b_{i}=\frac{\partial f}{\partial a_{i}}\) |
共通の変数 | \(\{c_{i}\}\) | |
ルジャンドル変換 | \(g(\{c_{i}\},\{b_{i}\})=\sum_{i}a_{i}b_{i}-f(\{a_{i}\},\{b_{i}\})\) 「別の関数」=「共通していない変数同士の積の和」ー「元の関数」 | |
ルジャンドル変換からの産物 | \(\frac{\partial f}{\partial c_{i}}=-\frac{\partial f}{\partial c_{i}}\) 「元の関数の\(c_{i}\)の偏微分」=-「別の関数の\(c_{i}\)の偏微分」 |
解析力学へ適用
上の表を解析力学に適用してみます。
「ラグランジアン\(L\)は一般座標\(q_{i}\)と一般速度\(\dot{q_{i}}\)の変数」
↓
「ハミルトン\(H\):一般座標\(q_{i}\)と一般運動量\(\dot{q_{i}}\)の変数」に変換
上述の表に対してこのような対応付けで見てみましょう♪
関数
\(f\)→\(L\)
\(g\)→\(H\)
変数
\(a_{i}\)→\(\dot{q_{i}}\):一般速度
\(b_{i}\)→\(p_{i}\):一般運動量
\(c_{i}\)→\(q_{i}\):一般座標(\(L\)と\(H\)で共通の変数)
そうすると下記のような表になります。
関数 | \(L\) | \(H\) |
互いに独立な変数 | \(L\)の変数 ※\(\dot{q_{i}}=\frac{\partial H}{\partial p_{i}}\)・・・① | \(H\)の変数 ※\(p_{i}=\frac{\partial L}{\partial \dot{q_{i}}}\)・・・② |
共通の変数 | \(\{q_{i}\}\) | |
ルジャンドル変換 | \(H(\{q_{i}\},\{p_{i}\})=\sum_{i}p_{i}\dot{q_{i}}-L(\{q_{i}\},\{\dot{q_{i}}\})\) 「別の関数」=「共通していない変数同士の積の和」ー「元の関数」 | |
ルジャンドル変換からの産物 | \(\frac{\partial L}{\partial q_{i}}=-\frac{\partial H}{\partial q_{i}}\)・・・④ 「元の関数の\(q_{i}\)の偏微分」=-「別の関数の\(q_{i}\)の偏微分」 |
さらに解析力学の場合は、ラグランジュ方程式もあります。
ルジャンドル変換からハミルトンの正準方程式へ
さて、道具がそろったような気持ちでいます。
上述の表(ルジャンドル変換)とラグランジュ方程式を使ってハミルトンの正準方程式を導きます。
ハミルトンの正準方程式
ハミルトニアン\(H(\{q_{i}\},\{p_{i}\})\)に対して
\begin{align*}\frac{dq_{i}}{dt}=\frac{\partial H}{\partial p_{i}}\cdot\cdot\cdot (6)\end{align*}
\begin{align*}\frac{dp_{i}}{dt}=-\frac{\partial H}{\partial q_{i}}\cdot\cdot\cdot (7)\end{align*}
が成立する。
このようなとても対称性の良い方程式がハミルトンの正準方程式です。
では、(6)(7)式を導出しましょう(^^)/
とっても簡単です(笑)
(6)式について
(6)式は(1)式でそのまま成り立っていますね(^^)
\frac{d q_{i}}{dt}=\frac{\partial H}{\partial p_{i}}\cdot\cdot\cdot (6)\end{align*}
(7)式について
まず、(4)式
の左辺に対して(5)式(ラグランジュ方程式)を適用します。
すると、
となります。
そしたらこの左辺に②式を適用させましょう。
まとめ
お気づきのことでしょう。
(3)式で下記のようにラグランジアン\(L(\{q_{i}\},\{\dot{q_{i}}\})\)をハミルトニアン\(H(\{q_{i}\},\{\dot{p_{i}}\})\)へ変換しましたね。
その時に、
が成り立つものとしていました。
そして、上記の式とラグランジュ方程式を使って、ハミルトンの正準方程式⑥⑦式を導出しました。
ということは、
「ラグランジュ方程式」と「ハミルトンの正準方程式」は等価なものと言えます。
一般座標と一般速度を用いた際に、ラグランジアン\(L\)さえ決まれば、ラグランジュ方程式から運動方程式が導けました。
それと同じでハミルトニアンさえわかっていれば、ハミルトンの正準方程式から運動方程式がわかると言えます。
しかもとっても対称性の良い!!
たぶんもっとこのハミルトンの正準方程式の形にする旨みがあるはずです(僕の勉強不足か・・・)
きっと正準変換とか勉強すれば、もう少し見通しがよくなることでしょう(笑)
次回
この記事でいきなりルジャンドル変換を表にまとめたりしました(笑)
せめて、
の導出はしておきたいです(‘;’)