タグ
All rights reserved.
資料の原本内容
ルジャンドル変換
熱力学でも同じ手法を良く使う
文句
まず文句を言わせてくれ。 多くの解析力学の教科書では「ルジャンドル変換」の説明が少なすぎる。 ひどい場合、「このラグランジュ形式からハミルトン形式への変換をルジャンドル変換と呼ぶ」という一言で終わっている。 確かにそこでルジャンドル変換を使ったかも知れないが、一体、何を以ってルジャンドル変換と言うのかの説明がない。 これではどんな目的で何をしたのかさっぱり分からない。
まあ気持ちは分からないでもない。 別にわざわざ説明するほど大した話でもないのだ。 しかし誰か説明しなきゃならんだろう。
ルジャンドル変換の意味
例えば、独立変数が x, y, z の関数 f ( x, y, z ) があったとする。 この関数の微小変化 df は独立変数の微小変化を使って、
df = a dx + b dy + c dz
のように表すことが出来る。 この形式を「全微分」と呼ぶ。 ここで a = ∂f/∂x , b = ∂f/∂y , c = ∂f/∂z であるが、今後の議論を分かり易くするために a, b, c を使うことにした。
さて、ここで新しい関数として g = ax - f という関数を定義しよう。 するとこの関数の全微分は
dg = a dx + x da - df
と計算できるわけだが、この df の部分に先ほどの式を代入してやれば、 a dx の項が打ち消しあって、
dg = x da - b dy - c dz
となる事が分かるだろう。 つまり関数 f の独立変数は ( x, y, z ) であったが、関数 g の独立変数は ( a, y, z ) に変わったことになるわけだ。 この関数 f から関数 g への変換を「ルジャンドル変換」と呼ぶ。
このようにルジャンドル変換は関数の独立変数を別のものに変えるために使われる。 ・・・・と、まあ、この程度の説明をよく見かけるわけだが、これだけで納得していてはいけない。
真の目的
この変換は本当に便利なのだろうか？ 独立変数 x の代わりに a を独立変数にすることが出来ると言っても、この a はもともと関数 f の x についての偏微分係数ではないか。 うーむ、どうにも不自由な変換だ。 何か別の利点がなければわざわざこんな変換は使わないだろう。 独立変数を他のものに変えたいだけならば、元の関数 f に x = 3s + 4y + 2 のような適当な式を代入してやるだけでも独立変数は x の代わりに s に出来るではないか。
実はやはり裏があるのだ。 ルジャンドル変換の真の目的は単なる独立変数の入れ替えではなく、
a = ∂f/∂x x = ∂g/∂a
という対称的な関係式を得ることなのである。 これらの関係が成り立っていることについては悩む必要はない。 上に書いた全微分の形式からすでに当然言えていることだ。 分からなければ微積分を５分ほど真剣に復習する必要がある。
この他にも次のような関係式が出来ているのに気付くだろうと思う。
∂f/∂y = - ∂g/∂y
この左辺と右辺のｙによる偏微分は少々意味合いが異なることに注意しておこう。 左辺は x, z を固定して行う y の偏微分であり、右辺は a, z を固定したときの y の偏微分である。 まあ、こういう細かいことはいいか。
上の例では関数 f から関数 g を定義したが、逆も同じように言える。 f = ax - g という関係になっているので同じ計算が出来ることが分かるだろう。 関数 f と g は互いにルジャンドル変換で対称的に結びついているのである。
符号は逆でもいい
上では新しい関数 g を g = ax - f として定義した。 しかし、g = f - ax とおいても符号が変わるだけで同じような議論が出来、これもルジャンドル変換である。
念のためやっておくか。 関数 g の全微分は
dg = df - a dx - x da = - x da + b dy + c dz
であり、やはり g の独立変数は ( a, y, z ) に変わっている。 この時、前ほど対称美を感じないかも知れないが
a = ∂f/∂x x = - ∂g/∂a
という関係になっている。 逆は f = g + ax という関係になっており、熱力学の自由エネルギーの定義などはこの形式だ。 全微分を計算してやると
df = dg + a dx + x da
であるが、dg を代入してやればちゃんと元に戻る。 g の全微分の da の係数の符号を逆にして考えないといけないところが取っ付きにくいかも知れない。
熱力学でもルジャンドル変換が使われて、新しい関係式が次から次へと導かれることになるが、現実に当てはめて使える式はあまり多くないんだよなぁ。（独り言）
複数の変数を入れ替える
ここまでの例では一つの独立変数だけを入れ替えていたが、一度の変換で同時に複数の変数を入れ替えることも出来る。
g = ax + by - f
という変換をしてやれば、独立変数は ( x, y, z ) から ( a, b, z ) になることが分かるだろう。 そして入れ替えた変数の分だけ新しく関係式が作られることになる。 自分で試してみてくれ。
さあ、次回はこの技法を使ってラグランジアンを「ハミルトニアン」に変換してやろう。
資料提供先→ http://homepage2.nifty.com/eman/analytic/legendre.html
