ルジャンドル変換
唐突な話で申し訳ない.エンタルピーを表す関数についてだが,これは数学的には内部エネルギーの関数
をルジャンドル変換することで得られる関数であるという関係にある.今まで意識しなかったが実はそうなっているのである.
ルジャンドル変換については解析力学のページでも説明してあるが,別に解析力学が理解できなくても大丈夫な話なのでここでも最初から説明しておこう.熱力学では今のところ独立変数は 2 つだけなので,熱力学用に少し簡略化した説明をしておけばいいだろう.
後で物質量の変化が話に加わると変数が増えるのだが,あまり気にしなくても大丈夫である.
関数があると,その全微分は次のように書ける.
以後の式変形が見やすいように,この式を簡略化して次のように表現しておこう.
ここで,新たな変数
を導入して,
という関数
を定義しよう.この
から
への変換をルジャンドル変換と呼ぶのである.すると,
の全微分は次のように計算できるだろう.
ここでもし
だったなら
となり,
は
と
のみの関数だということになる.だとすると,
の全微分は
と書けるはずなのだから,(1) 式と (2) 式の係数を比較してやれば,次の関係が成り立っているはずである.
さて,ここまでの話を
,
を使わないでまとめ直すと次のようになるだろう.
という形の新しい関数
への変換を導入した時に,もし
だったなら,これと対称的な形の
が成り立つ.もう一つついでに
も成り立っている.ルジャンドル変換とはこれだけのことだ.
しかしこの形式が全てではなく,新しい関数をと定義しても同じようなことが出来る.この式を
について解くと
であるから,上で説明した場合の逆変換になっている.ここでは念のために結果だけ書いておこう.
もし
だったなら
が成り立つ.もう一つついでに
も成り立っている.
これらの他にもや
という式から出発しても同じように話を展開できるが,これらの形式は熱力学では使わないので省略しよう.
再確認
ではの定義のどこがルジャンドル変換であるか比較して確認してみよう.まず関数
を元にして
という新しい関数を定義した.前回確認したことだが,実際に,
という関係が成り立っているのでこれはまさにルジャンドル変換である.つまり,これと対称的な,
という式が成り立っていて,ついでに
という関係も成り立っていると言える.最右辺で
に等しいとしてあるのは前回導いた関係を使っている.この結果,
は
と
の関数
になっており,その全微分は
と書けるはずだから,上の結果を当てはめて,
という形になっているということが言える.もちろんこんな事をしなくても,
であるから
であり,これに
を代入すれば同じ結果を得るのである.つまり,全くルジャンドル変換そのものだということだ.
Fもルジャンドル変換である
そう言えば,ヘルムホルツの自由エネルギーも似たような変形になっていた.
と定義された関数は,前回見たように,
が成り立っているが故にルジャンドル変換であって,同じようにして
と,さらに
が言える.最右辺の
は前回導いた関係を使っている.このことから次の式が導かれる.
もちろんこちらも,わざわざルジャンドル変換をしなくても出てくる.
という形に書けるので,そこに
を代入すれば同じ結果を得るのである.
結局ここまでのところ,わざわざルジャンドル変換の話を持ち出した利点はあまり無いと言えるだろう.理論的な状況を整理しておきたかっただけである.ここからが本題だとも言える.
ギブスの自由エネルギー
ここまで来ると沸々と野望が湧き上がってくる.の独立変数
を
に変更して
を作ったのだった.また,
の独立変数
を
に変更して
を作ったのだった.では両方の変数を変更して新しい関数
なるものを作れないだろうか.やってみよう.
定義の方法は次のどれを使ってもいい.
2 番目を使ってみよう.同じことをやるだけなので詳しくは書かない.簡単な方法を使おう.
これで
の全微分の形が求められた.勢いでやってしまったが,一体,どんな物理的意味があるのだろう.
定圧条件でと同じ意味を持つエンタルピーから,等温条件で
と同じ意味を持つ部分を引いている.つまり,定圧・等温の時に
になるような量だと言えばいいのだろうか.しかしそもそも,定圧・等温では体積も変化しようがないのだから,何も変化しないのは当たり前だ.
いや,定圧・等温の条件下でも体積が変化する可能性があるのを忘れていないだろうか.今まで無視してきたが,化学変化などによってモル数が変化する場合である.はその時のエネルギー変化を表しているのである.詳しくは後で議論しよう.まだ内容はよく分からないが,これを「ギブスの自由エネルギー」と呼んでおくことにする.
熱力学関数
ここまで色々な状態量が出てきたが,よく考えれば,
,
,
は 4 つともエネルギーを表す量である.しかし残りの変数
,
,
,
はそれぞれ単位が違っている.そこで,この
,
,
,
の 4 つを「熱力学関数」と呼ぶことで他の 4 つと区別して整理してみよう.
そう分類してみれば,ここまでやってきたことは,,
,
,
を独立変数とする形で 4 つの熱力学関数を作ってきたのだと言える.しかし,まだ作っていないのが
と
という形を持つ関数である.これさえあれば全ての組み合わせが揃うのだ.早速作ってやろう,と言いたいところだが,残念ながら方法が無い.
例えばの
を
に変更すれば目的のものが出来そうなものだが,
なんてものを定義をしたところで,これはエネルギーの意味を持たない.次元が合っていないのだ.無理矢理やろうとしてもうまく行かない.同様に
なんてものもよく分からない.
よって,こういう試みは面白そうなのだが,現実的な理由で却下されることになる.諦めて「これで全てが出揃った!」と宣言することにしよう.
え?まだ
と
の全微分形式が出て来ていないって?どうしても欲しければ,この 4 つの式を適当に変形して好きに作って欲しい.もともと
と
の全微分の式だってこの一番上の式の変形であって
が含まれていたし,形式的にあまり美しいものではなかったではないか.形式的に美しいのは結局,この 4 つの表現である.これらを変形するだけで好きな関係式が得られるのである.つまり,これがまとめであり,望んでいた全体像とはこのことである.ああ,何と美しいことか.
,
,
,
という形式で書かれた4 つの関数を「特性関数」と呼ぶことがある.これを見るとあたかも
は
と
の関数でなくてはならないし,
は
と
の関数でなければならないような印象を受けるかも知れないが,そうやって表現すると全微分が上のように美しく書けるというだけである.実はどれがどの状態量の関数だと考えようとも問題はない.そういう計算例は後で出てくる.
とは言ったものの,特に事情が無ければ出来るだけこの形式のものを使った方が物理的解釈も計算も楽である.←これは事実ではないので訂正する.逆に特性関数の形で表されたものの方が複雑で,物理的解釈が難しいことの方が多い.しかしこの形式で表されたものは「完全な熱力学関数」と呼ばれる性質を備えている.系の持つ全ての情報を含んだ関数になっているということである.この関数ひとつから系の状態を表す式を全て導くことができるという特徴がある.
上の 4 つの式のそれぞれの全微分条件を書き出してやると,次の 4 つの関係式が出来上がる.
この一番上の式はすでに前回の記事の終わりの方でじっくり説明して導いたものだ.残りの 3 つについてもそれと同じことをやったわけだ.この 4 つの式は「マクスウェルの関係式」と呼ばれている.あの電磁気学で有名な天才マクスウェルはこんなところにまで首を突っ込んでいたということだ.ここまでやっておいてそれでお終いなんてことはあるはずが無い.彼の名はこの先でもまだ出てくる.
マクスウェルの関係式の物理的意味を直観的にとらえることはほとんど無理である.それはエントロピーを直接測定するような手段が無いからであり,その変化の具体的なイメージを思い描くのが難しいことに起因している.それでもしっかり成り立っているというところが不思議で面白い.
さあ,ここまでで熱力学の基礎的な配役が出揃ったので,次回からは具体的な現象の説明に取り掛かる事にしよう.
修正履歴
(2004/09/11)
工事中の表示を解除.
(2023/11/27)
曖昧な表現を廃して分かりやすくした.
ヘルムホルツの自由エネルギーFのルジャンドル変換の説明を独立した節として分けた.
マクスウェルの関係式の意味について補足した.
特性関数の変数の選び方について補足コメントとして追記した.
(2023/12/2)
特性関数の変数の選び方についての補足コメントを修正した.