物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

熱力学関数(後編)

熱力学がこんなに美しかったなんて。
作成:2004/9/1
更新:2004/9/11

ルジャンドル変換

エンタルピーを表す関数Hについてだが,これは数学的には内部エネルギーの関数Uをルジャンドル変換することで得られる関数であるという関係にある.今まで意識しなかったが実はそうなっているのである.

ルジャンドル変換については解析力学のページで説明したが,別に解析力学が理解できなくても大丈夫な話なのでここでも最初から説明しておこう.熱力学では独立変数は 2 つだけなので,熱力学用に少し簡略化した説明をしておけばいいだろう.

関数f(x,y)があると,その全微分は 数式 と書ける.以後の式変形が見やすいように,この式を簡略化して次のように表現しておこう. 数式 ここで,新たな変数zを導入して,g≡f+xzという関数gを定義しよう.このfからgへの変換をルジャンドル変換と呼ぶのである.すると,gの全微分は次のように計算できるだろう. 数式 ここでもしz=-aだったなら 数式 となり,gyzのみの関数だということになる.だとすると,g(y,z)の全微分は 数式 と書けるはずなのだから,(1) 式と (2) 式の係数を比較してやれば,次の関係が成り立っているはずである. 数式 さて,ここまでの話をa,bを使わないでまとめ直すと次のようになるだろう.

g≡f+xzという形の新しい関数gへの変換を導入した時に,もし 数式 だったなら,これと対称的な形の 数式 が成り立つ.もう一つついでに 数式 も成り立っている,.ルジャンドル変換とはこれだけのことだ.

しかしこれが全てではなく,新しい関数をg≡f-xzと定義しても同じようなことが出来る.この式をfについて解くとf=g+xzであるから,上で説明した場合の逆変換になっている.ここでは念のために結果だけ書いておこう.

もし 数式 だったなら 数式 が成り立つ.もう一つついでに 数式 も成り立っている.

他にもg≡-f+xzg≡-f-xzという式から出発しても同じように話を展開できるが,これらの形式は熱力学では使わないので省略しよう.



再確認

ではHの定義のどこがルジャンドル変換であるか比較して確認してみよう.まず関数U(S,V)を元にして 数式 という新しい関数を定義した.前回確認したことだが,実際に, 数式 という関係が成り立っているのでこれはまさにルジャンドル変換である.つまり,これと対称的な, 数式 という式が成り立っていて,ついでに 数式 という関係も成り立っていると言える.その結果,HpSの関数H(p,S)になっており,その全微分は 数式 と書けるはずだから,上の結果を当てはめて, 数式 という形になっているということだ.もちろんこんな事をしなくても,H=U+pVであるからdH= dU+p dV+V dpであり,これにdU=T dS-p dVを代入すれば同じ結果を得るのだが.つまり,全くルジャンドル変換そのものだということだ.

そう言えば,自由エネルギーFも似たような変形になっていた. 数式 と定義された関数は,前回見たように, 数式 が成り立っているが故にルジャンドル変換であって,同じようにして 数式 ,さらに 数式 が言えることから, 数式 が導かれる.もちろんこちらも,先ほど求めたdF= dU-T dS-S dTdU=T dS-p dVを代入すれば同じ結果を得るのだが.


ギブスの自由エネルギー

ここまで来ると沸々と野望が湧き上がってくる.U(S,V)の独立変数Vpに変更してH(S,p)を作ったのだった.また,U(S,V)の独立変数STに変更してF(T,V)を作ったのだった.では両方の変数を変更して新しい関数G(p,T)なるものを作れないだろうか.やってみよう.

定義の方法は次のどれを使ってもいい. 数式 2 番目を使ってみよう.同じことをやるだけなので詳しくは書かない.簡単な方法を使おう. 数式 これでG(p,T)の全微分の形が求められた.勢いでやってしまったが,一体,どんな物理的意味があるのだろう.

定圧条件でd'Qと同じ意味を持つエンタルピーから,等温条件でd'Qと同じ意味を持つ部分を引いている.つまり,定圧・等温の時にdG=0になるような量だと言えばいいのだろうか.しかしそもそも,定圧・等温では体積も変化しようがないのだから,何も変化しないのは当たり前だ.

いや,定圧・等温の条件下でも体積が変化する可能性があるのを忘れていないだろうか.今まで無視してきたが,化学変化などによってモル数が変化する場合である.dGはその時のエネルギー変化を表しているのである.詳しくは後で議論しよう.まだ内容はよく分からないが,これを「ギブスの自由エネルギー」と呼んでおくことにする.



熱力学関数

ここまで色々な状態量が出てきたが,よく考えればU,H,F,Gは 4 つともエネルギーを表す量である.しかし残りの変数p,V,T,Sはそれぞれ単位が違っている.そこで,このU,H,F,Gの 4 つを「熱力学関数」と呼ぶことで他の 4 つと区別して整理してみよう.

そう分類してみれば,ここまでやってきたことは,p,V,T,Sを独立変数とする形で 4 つの熱力学関数を作ってきたのだと言える.しかし,まだ作っていないのがX(S,T)Y(V,p)という形を持つ関数である.これさえあれば全ての組み合わせが揃うのだ.早速作ってやろう,と言いたいところだが,残念ながら方法が無い.

例えばU(S,V)VTに変更すれば目的のものが出来そうなものだが,X=U+VTなんてものを定義をしたところで,これはエネルギーの意味を持たない.次元が合っていないのだ.無理矢理やろうとしても,・・・.同様にY=U+SPなんてのもよく分からない.

よって,こういう試みは面白そうなのだが,現実的な理由で却下されることになる.諦めて「これで全てが出揃った」と宣言することにしよう. 数式 まだpTの全微分形式が出て来ていないってどうしても欲しければ,この 4 つの式を適当に変形して好きに作って欲しい.もともとSVの全微分の式だってこの一番上の式の変形であってUが含まれていたし,形式的にあまり美しいものではなかったではないか.形式的に美しいのは結局,この 4 つの表現である.これらを変形するだけで好きな関係式が得られるのである.つまり,これがまとめであり,望んでいた全体像とはこのことである.ああ,何と美しいことか.

U(S,V),H(S,p),F(T,V),G(T,p)という形式で書かれた4 つの関数を「特性関数」と呼ぶことがある.これを見るとあたかもUSVの関数でなくてはならないし,HSpの関数でなければならないような印象を受けるかも知れないが,そうやって表現すると全微分が上のように美しく書けるというだけである.実はどれがどの状態量の関数だと考えようとも問題はない.そういう計算例は後で出てくる.

上の 4 つの式のそれぞれの全微分条件を書き出してやると,次の 4 つの関係式が出来上がる. 数式 この一番上の式はすでに前回の終わりの方で出てきたものだ.残りについても同じことをやったわけだ.この 4 つの式は「マクスウェルの関係式」と呼ばれている.あの電磁気学で有名な天才マクスウェルはこんなところにまで首を突っ込んでいたということだ.ここまでやっておいてそれでお終いなんてことはあるはずが無い.彼の名はこの先でもまだ出てくる.

さあ,ここまでで熱力学の基礎的な配役が出揃ったので,次回からは具体的な現象の説明に取り掛かる事にしよう.



趣味の物理学書店

趣味で量子力学2の広告バナー