カノニカル分布の導出

目次†

「$\Delta E$ が小さい」の意味†

「 が小さい」という上記の条件を物理学的な言葉で記述するなら、「系が熱浴とエネルギーをやりとりしても熱浴の温度が変化しない」という条件に読み替えられるため、系が熱浴に対して小さい限り一般に、

　

や、

　

が成り立つことになります。

一方、「系が熱浴とエネルギーをやりとりしても熱浴の温度が変化しない」の数学的意味は、

　

の右辺の が定数ということなので、 「熱浴の状態密度が の近傍 でエネルギーとともにほぼ指数関数的に増加する」 であると理解できます。

熱平衡に於いて系全体で温度が等しくなる理由†

注目する系 のエネルギーが の範囲に入るとき、 熱浴 はエネルギー の範囲に入るから、そのような巨視的状態を実現する系全体の状態数は の状態数を掛け合わせて、

　

と表せます。

等確率の原理により、熱平衡に於いてはこの状態数を最大化するように系のエネルギー が分配されます。すなわち に対する微係数はゼロで、

　

　

　

　

両辺に をかけて逆数を取れば、

　

が熱平衡の条件であることが分かります。

同様の議論を、全系を の三つに分けて行えば、 を変数として

　

を最大化する条件から、

　

が得られ、系の各部がすべて同じ温度を持つことが熱平衡の条件であることが分かります。

すなわち、温度は示強性の状態変数です。

カノニカル分布はどこから出てきたか†

上記の議論を見返すと、冒頭の前提条件のうち 1., 2. についてはそれぞれ、 「エントロピー」、「温度」の用語を定義しているに過ぎず、 物理的な「原理」を表すものではありません。

すると、「実現確率は状態密度に比例する」 「熱平衡において巨視的状態の持つ微視的状態数は最大化される」なども含めて、 すべての源流は「等確率の原理」であることに気づきます。

話の流れは、

「等確率の原理」
　　↓
「実現確率は状態密度に比例する」
　　↓
「熱平衡において巨視的状態の持つ微視的状態数は最大化される」
　　↓
「熱平衡において系の各部は同じ『温度』を持つ」
　　↓
「温度は示強性の状態変数である」
　　↓
「温度とエントロピーの定義から『熱力学の等式』は自明」
　　↓
「カノニカル分布が導かれる」

となっていることを読み取れるはずです。

無数の調和振動子からなる系†

https://twitter.com/kikumaco/status/879971741845434368

を参考にして、同じ固有振動数 を持つ 個の調和振動子からなる熱浴を考える。

全エネルギーを とすると、それぞれの調和振動子へエネルギーを分配する方法の数は 個の玉の間に 本の区切りを入れる方法の数と等しいため（正確には 本であるが なので同一視する）、

　

この状態数が 毎に存在するため、状態密度は

　 ただし

「エネルギーが ただし の範囲にある」という状態を巨視的状態とすると、対応するボルツマンのエントロピーは、 スターリングの公式を使って

　

温度は、

　

この熱浴と相互作用する相対的に小さな系が熱浴からエネルギー ただし だけ奪うと、

　

となるが、両辺の対数を取ると、

　

　

　

となって、 の条件は、エントロピーの増加が線形と見なせる範囲であるという条件、 また、 を と同一視できるという条件、となっていることが分かる。

納得のいかない点†

完全に離散的なままだと「エネルギーによる微分」が扱えないので、 離散的な状態を微分可能な程度にならした「状態密度」を導入して議論したのですが、 このような議論だと巨視的状態には よりずっと大きい のエネルギー幅を持たせなければならなくなってしまい、

注目する系 がある正確なエネルギー を取る確率、

を議論できません。

離散的記述の中に「状態密度」あるいは「エントロピー」がエネルギーで微分可能であることをどううまく入れ込むべきか、まだ完全には納得がいっていません。

２種類の調和振動子からなる系†

以下はなるべく離散的なままで考える。

固有振動数 の調和振動子が 個からなる系 、
固有振動数 の調和振動子が 個からなる系 、
を合わせた熱浴 を考える。

全体のエネルギーを のうち が &math(R_1) に、 が に分配された巨視的状態のもつ状態数は、

　

である。ただし、 , 。

さらに と書けば より 。

したがって、 と書けば であり、 熱浴がエネルギー を持つ巨視的状態の状態数は、

　

と書ける。

が奇数の時は

　

であるが、 にあたる第２項の寄与はほぼ無視できる。

一方、 が偶数の時は

　

となり、結局どちらの場合も結果は一致する。 を使えば

　

と書けるが、 は が大きいとき、 に対して非常に鋭いピークを持ち、ピーク以外の部分の寄与はほとんど無視できる。 これが、 が奇数の時に の項を無視して良い理由であった。

ピーク部分では、 に対する差分がゼロになるから、

　

すなわち、

　

が成り立つ。

　

　

すなわち、

　

より、

　

が、平衡状態の条件となる。

温度の定義にはやはり「状態密度」すなわち や が出てくることに注意せよ。

ピークを取る の値 も上の関係式から計算できるが、以下では使わない。

がピークの位置でのみ非常に大きな値を取ると考えれば、

　

両辺の対数を取れば、

　

右辺は温度の定義による。

つまり、

　

となって、系全体で離散的に考えた温度が系 の温度と一致することが分かり、 この熱浴と相互作用する系に対して、

　

ただし、 が成り立つことが分かる。