Prerequisite
この節では熱浴と粒子浴に接した系の確率密度函数を定める.
このような系はグランドポテンシャル
が重要な役割を果たすと予想できる.
熱力学での粒子浴とは着目系と粒子のやりとりをして化学ポテンシャル で一定となるように制御できる系であった.
熱浴は着目する系よりさらに膨大な自由度をもつ系として定義するので,粒子浴は粒子数が非常に大きい系として定義できる.
エネルギーも遥かに大きく,全エネルギーを としたとき, である.
系全体としては孤立系なのでミクロカノニカル分布の議論が適用できる.
つまり等重率の原理を仮定して,確率密度函数は定数
とする.
は系全体の状態数である.
この状態数を着目系と熱浴の部分に分離することを考える.
状態数は定義より
添字 は全系に関する物理量であることを表す.
測度については注意が必要となる.
着目系の粒子数 は確率的には から までを取りうるので,測度の分離も定数因子を として
と足し上げる必要がある.
下付きの添字 は着目系の粒子数が の場合であることを明示している.
今は粒子数の依存性が重要なので を評価しておこう.
Planck定数は には寄与しない.
階乗について左辺の全系の測度には が現れ,右辺には と が現れている.
よってこの差異
が には寄与する.
一方 から を選んで分離するには の重複が存在することに注意する.
この重複と階乗の因子がちょうどキャンセルして が結論される.
この積分のもとでHamiltonianは と分離できる.
ここへ着目系のエネルギーに関するデルタ函数 を挟み込んで
とする.
カノニカル分布のときと同様の変形によって
ここで
はそれぞれ粒子数が ,エネルギーが のときの着目系と熱浴の状態数である.
熱浴の状態数 に近似を施す.
熱浴にとって着目系は小さいのでほとんど孤立系とみなせるとすると,Boltzmannの式が適用できて
が成り立つ.
状態数の対数をとったものをTaylor展開で評価すると
第1項の は定数項.
第2項の
は熱浴の逆温度.
第3項の
は熱浴の化学ポテンシャル.
第4項以降については体積あたりのエネルギー とエントロピー ,密度 を導入すると
なので熱浴の体積 の冪で抑えられる.
よって熱浴の体積が着目系に比べて遥かに大きいならば
が成立する.
よって全状態数の式は
と表すことができる.
ここで .
のデルタ函数によってエネルギーの積分を実行してしまえば,Hamiltonianに置き換わって,
が得られる.
は にも依存しない定数因子.
これは確率密度函数
グランドカノニカル分布
の規格化条件である.
確率度函数 は着目する系の確率分布を与えており,着目系のグランドカノニカル分布 (grand canonical distribution) と呼ばれる.
定数因子は規格化条件から
大分配函数
と求めることができる.
は大分配函数 (grand partition function) といい,カノニカル分布における分配函数に対応する量である.
は非常に大きいので実際の計算では としてしまうことが多い.
物理量 の期待値は
で計算される.
系のエントロピーは一般に であったから,グランドカノニカル分布を代入すると
ここで内部エネルギー ,粒子数 ,温度 .
グランドカノニカル分布から計算される期待値は温度と体積,化学ポテンシャルの函数になっている.
よって と変形すれば,
はグランドポテンシャルと解釈できる.
グランドポテンシャルの微分形式は
だがGibbs–Duhemの関係式 により
となる.
よって積分して
が成立している.
この関係式から直ちに圧力は,
で計算できるとわかる.
この結果からグランドカノニカル分布は系の状態方程式を導出するのに便利である.