統計力学とは (トウケイリキガクとは) [単語記事]

統計力学とは、目に見えないミクロなスケールの物理法則と、我々が目にするようなマクロなスケールで起こる現象との関係を明らかにしようとする、物理学の一分野である。統計物理学とも呼ばれる。

概要

我々の目に見えるようなサイズの物体は莫大な数（10²³個ほど）の分子が集まってできている。このような物体を扱う物理学の体系として熱力学という分野がある。熱力学では温度やエントロピーといった力学には無い概念が出てくる。しかし、マクロな物体も分子から構成されているのだから、熱力学的な物理量や物理法則も、分子の運動と関係しているはずである。例えば、物体の温度が高くなるということは個々の分子の運動が激しくなるとことして理解できる。このように分子についてのミクロな知識と、熱力学で記述されるようなマクロな振る舞いのギャップを埋めようというのが統計力学である。

統計力学はその名の通り確率や統計学によって支えられている。各々の分子に対して確かなことは言えなくても、莫大な数の分子の集まりに対しては確実に予言できることがある。例えばコイン投げで表の出る割合は、投げる回数が少なければばらつくだろうが、投げれば投げるほど一定の値（公平なコインならば1/2）に近づく。分子の数が多いために確実な予言が可能になっているのだ。

歴史的にはルドルフ・クラウジウス、ジェームズ・クラーク・マクスウェルらの気体分子運動論に端を発し、ウィラード・ギブスやルートヴィッヒ・ボルツマンによって熱平衡状態を扱う平衡統計力学の基礎が固められた。非平衡系となると扱う対象が広すぎて一般的な原理はない。状況を限定すれば線形応答理論やボルツマン方程式などが使えたりする。

平衡統計力学の基礎

熱力学によれば、熱平衡状態はわずか数個の変数を指定するだけで決まってしまう。一方、ミクロに見れば、一つの分子の位置や速度でも違えば異なる状態といえる。ミクロに見て区別できる厖大な数の状態が、マクロに見れば一つの熱平衡状態に対応している。

熱平衡状態に対して何らかの物理量を計測してある値を得たとする。統計力学でこれを予言するには、対応するミクロな状態に適当な確率を割り振って、求めたい物理量の期待値を算出すればよい。この物理量のばらつきが小さければ統計力学によって確実な予言ができることになる。

ここで前提となる確率はどう決めればいいのか教えてくれるのが等重率の原理で、それに従って得られる確率分布をミクロカノニカル分布と呼ぶ。

等重率の原理とミクロカノニカル分布

熱平衡状態を記述するマクロな変数の組としてエネルギーE、体積V、分子数Nをとる。ミクロに見てエネルギー、体積、分子数がマクロな変数と同じ値をとる状態を全部持ってくる。このような状態は厖大な数あるわけだが、これら全てに同じ確率を割り振る。この確率分布をミクロカノニカル分布と呼ぶ。

注意点・コメント

全部に同じ確率を割り振るので等重率（または等確率）の原理という。
一般の場合には熱平衡状態を記述するマクロな変数の組としてエネルギーといくつかの相加変数をとってくればよい。
エネルギーには少し幅を持たせる。厖大な数のミクロな状態がないといけないから。
選んできたミクロな状態の中にはマクロに見て熱平衡にない状態も含まれる。しかしそういう状態は全体から見ればごくごく少数なので効いてこない。
古典統計力学の等重率の原理はエルゴード仮説から導かれるという考えがあり、そのような観点から書かれた教科書も多い。ただし最近では、統計力学の基礎付けにエルゴード仮説は不要とする、説得力のある主張がなされている（関連商品の田崎晴明著「統計力学」等）。

ボルツマンの原理

熱力学によれば、熱平衡にある系のマクロな物理量は完全な熱力学関数さえ分かれば求められる。ミクロカノニカル分布の状態の数Wから完全な熱力学関数であるエントロピーSを求めることができる。

S(E,N,V) = k log W

ここでk = 1.38×10⁻²³ J/Kはボルツマン定数である。正確に言えば、この式の熱力学極限（体積を無限大にする極限）をとったものが熱力学のエントロピーである。完全な熱力学関数としてのエントロピーの引数と、ミクロカノニカル分布で相加変数の組で指定される状態を集めたこととが照応していることに注意。上の式はボルツマンの墓にも刻まれている。

カノニカル分布

実際にはマクロな系を記述する変数としては、エネルギーよりも温度をとったほうが便利だ。完全な熱力学関数さえ分かってしまえば、熱力学を使って温度に変数を取り直すことができるが、統計力学から直接求めることもできる。そのために使われるのがカノニカル分布で、事実上ミクロカノニカル分布よりもこっちが統計力学の主役を張っている。

マクロな変数として温度Tおよび体積V、分子数N（一般には温度と、他に必要な相加変数の組）をとる。体積、分子数が同じ値で、エネルギーは任意の値のミクロな状態を持ってくる。エネルギーE_nの状態には確率Z⁻¹e^−E_n/kTを割り振る。ここでZは全確率を1にするための規格化定数で分配関数と呼ばれる。この確率分布をカノニカル分布と呼ぶ。

分配関数Zは次の式で与えられる。

Z = ∑_n e^−E_n/kT

ここでnはとりうるすべての状態を走る添字。ただの規格化定数Zに分配関数などという名前がついているのは、これが完全な熱力学関数のひとつ、ヘルムホルツの自由エネルギーFと関係しているからである。

F(T,N,V) = −kT log Z

マクロな変数の平衡値を求める上ではミクロカノニカル分布を使おうがカノニカル分布を使おうが得られる結果は同じである。

ミクロカノニカル分布、カノニカル分布の他にもグランドカノニカル分布、TP分布などの統計分布（統計集団と呼ばれることも多い）がある。

ここまで熱力学関数が求められるという点を強調してきたが、熱力学で扱わなかったような物理量も統計力学から求められる。例えば、熱平衡状態にある古典的気体分子の速度分布（マクスウェル分布）や、熱平衡状態にある電磁波のエネルギー密度のスペクトル分布（プランクの公式）などがある。他にも物理量のゆらぎや相関関数を論じることができる。