統計力学

は、系の微視的な物理法則を基に、巨視的な性質を導き出すための学問である。統計物理学、統計熱力学) とも呼ぶ。歴史的には理想気体の温度や圧力などの熱力学的な性質を気体分子運動論の立場から演繹することを目的としてルートヴィッヒ・ボルツマン、ジェームズ・クラーク・マクスウェル、ウィラード・ギブズらによって始められた。理想気体だけでなく、実在気体や、液体、固体やそれらの状態間の相転移、磁性体、ゴム弾性などの巨視的対象が広く扱われる。
概要.
統計力学では、膨大な数（典型的にはアボガドロ数 程度）の粒子により構成される力学系を対象とする。この力学系の状態を指定するには、系を構成する粒子数に比例したオーダーの膨大な自由度を必要とする。
一方で、この系を熱力学的に取り扱う場合は、系の状態は巨視的な物理量である状態量によって指定される。熱力学的な状態は温度や圧力、エネルギーや物質量などの少ない自由度で指定されることが知られている。
すなわち、熱力学的に状態が指定されたとしても、力学的には状態が完全に指定されることはなく、膨大な状態を取り得る。統計力学の基本的な取り扱いは、熱力学的な条件（巨視的な条件）の下で力学的な状態（微視的な状態）が確率的に出現するものとして考える。
系が取り得る全ての状態の集合（標本空間）を とする。
系が状態 にあるときの物理量は確率変数 として表される。
系が状態 にある確率が で与えられているとき、熱力学的な物理量としての状態量
が期待値
として実現される。特に熱力学における基本的な関数であるエントロピーが
で与えられる。比例係数 はボルツマン定数である。
古典統計と量子統計.
統計力学で対象とする力学系が、古典力学に基づく場合は古典統計力学、量子力学に基づく場合は量子統計力学として大別される。
力学系の状態の集合である標本空間 は、古典論では正準変数により張られる位相空間であり、量子論では状態ベクトルにより張られるヒルベルト空間である。
また、物理量 は古典論では位相空間上の関数であり、量子論では状態ベクトルに作用するエルミート演算子である。
古典論においては位相空間の測度は、1対の正準変数 ごとにプランク定数 で割る約束で、状態に対する和が
で置き換えられる。ここで は力学的自由度であり、3次元空間の -粒子系であれば、 である。
量子論においては、量子数の組 の和
で置き換えられる。
確率分布と統計集団.
力学系がある微視的な状態を取る確率は、系を熱力学的に特徴付ける条件（系のエネルギーや温度、化学ポテンシャルなどの状態変数）によって決まる。巨視的な条件は統計集団（アンサンブル）と呼ばれ、代表的なものとして
が挙げられる。
平衡系の統計力学.
平衡状態の統計力学は、等重率の原理とボルツマンの原理から導かれる。
ボルツマンの原理.
ボルツマンの原理により微視的な確率分布が熱力学的なエントロピーと関係付けられる。
また、確率の規格化定数として現れる分配関数は確率分布の情報をもっており、完全な熱力学関数と関連付けられる。
孤立系.
孤立系の確率集団は で指定される微視的状態が等しい確率をもつミクロカノニカル集団である。これを"等重率の原理"という。
孤立系（エネルギー 、体積 、粒子数 ）のエントロピー を系の微視的状態の数 を用いて定義する。
これをボルツマンの公式という。 はボルツマン定数と呼ばれる。 はエネルギーが の区間に含まれる微視的状態の数であり、 は巨視的に識別不可能である微視的なエネルギー差である。つまり は巨視的にエネルギー を持つと見なせる状態の数である。それは等重率の原理により、
で与えられる。ここで、 はエネルギー における状態密度と呼ばれる量である。このエントロピーを熱力学におけるエントロピーとオーダーで一致させるには、微視的状態を量子力学によって記述する必要がある。その場合の統計力学を量子統計力学といい、古典統計力学は量子統計力学の古典的極限として構築される。
エネルギー の孤立系の物理量 の集団平均 は
で与えられる。
エルゴード理論.
充分多数の 個の粒子から成る古典的な系での任意の物理量 の時間平均値 は
と与えられる。 は系の微視的状態を指定する正準変数である。系が熱力学的平衡状態に達するならばこの値は収束する。このとき長時間平均 は熱力学に現れる巨視的な物理量 に一致しなければならない。系の微視的状態の（任意の）分布 はリウヴィルの定理により時間に関して不変である。
このことから、時間 に依存しない平衡状態において、 で指定される微視的状態がある確率 を持つ確率集団（アンサンブル）を考えると物理量 の集団平均 は
で与えられる。この集団平均 と時間平均 が等しいと仮定することを統計力学の原理とする仮説をエルゴード仮説と呼ぶ。ただし、エルゴード仮説は統計力学の基礎付けと無関係という主張も専門家によってなされている。
非平衡系の統計力学.
非平衡系では、熱平衡からのずれを1次の微小量(摂動)とみなしてよい線形非平衡系と、みなせない非線形非平衡系に分類できる．
場の量子論を用いた統計力学.
平衡系.
場の量子論を用いた統計力学は、松原武生による温度グリーン関数の導入により始まった。