あまりにTeX打つのが面倒でだいぶ間が空いてしまったが、まあ気にせず読み進めていきたい。ここら辺から現実の気体に適用できるということで面白くなってくるのだから。張り切っていこーー。
さて今まで用いてきたφ線だが、分子間相互作用を記述する、Lennard-Jonesポテンシャル*1や、剛体球ポテンシャルにより相互作用する粒子径には用いることができない。これは不便なのでこの点の解決法を見よう。この場合の困難は、
といった積分が発散することにある。実はこの困難は簡単に回避される。すなわち、べき乗に関する和を先に取ってしまえばよいのだ:
この右辺はMayerのf関数と呼ばれるもので、φの定義よりである。expの収束とべき乗の発散の速さは比べるべくもないので、体積積分が発散することはなくなる。
さて、覚えているだろうか。古典気体分子同士の相互作用による理想気体からのずれは、Wという関数により特徴づけられたのだった。今回定義したf関数を用いればWは
と書かれる。ここでは
で定義され、規約クラスター積分(irreducible cluster integral)と呼ばれる。この計算も、クラスターの計算によく似た図形により行われるが、f線は2点間のφ線のすべての本数の和をとったものと同じであるから2点間に現れる線は今回の場合はすべて1本線である。規則の詳細については割愛。
状態方程式
Wが求まれば状態方程式が求まる:
歴史的には不完全気体の状態方程式は
という形に表され、このような形の展開をビリアル展開(virial expansion)という。B2、B3をそれぞれ第二、第三ビリアル係数と呼ぶ。*2
を使う方法
これまで論理の流れとしては、φの体積積分の収束性を仮定したうえで計算をすすめ、積分の前にφのべきにの和をとることによりf関数を得たが、実はを用いることでもっと簡単に計算ができる。はexponentialの1つの文字に関する2次以上の項を無視する関数であり、具体的には、などが成り立つ。
いま、であるから、
となる。6.2節で現れたとよく似ていることに注目。はじっさい通常のexponentialとよく似た計算規則を持つために、計算はほとんど同様に進行する。ただ、異なるのは2次以上の項を落とす演算子をLで表したとき
と置き換える点である。これは、f線が2点間にただ一本しか引かれないということに対応している。従って、φをfで置き換え、すべてのνを1とおくことにより、本節と同等の結果を得ることができる。