状態数

テンプレート:出典の明記 状態数（じょうたいすう、テンプレート:Lang-en-short）は、統計力学において、系のエネルギーが（マクロにみて）ある値をとるときに、系が取りうる（ミクロな）状態の数である。ミクロカノニカルアンサンブルにおける分布関数の正規化係数として現れる。

定義

系が取り得る全ての状態の集合（標本空間）を テンプレート:Math とする。系のエネルギーがマクロにみて テンプレート:Mvar であるときに系が取り得る状態の集合を テンプレート:Math とするとき、状態数 テンプレート:Math は テンプレート:Indent によって定義される。 ここで テンプレート:Mvar は部分集合 テンプレート:Math の指示関数で、テンプレート:Mvar が テンプレート:Math に属すならば 1 を、さもなくば 0 を返す関数である。 テンプレート:Indent

系がミクロな状態 テンプレート:Mvar をとるときのエネルギーが $ℰ(\omega )$ により与えられるものとする。 系のエネルギーがマクロにみて テンプレート:Mvar であるという条件を、エネルギー幅 テンプレート:Mvar の間に入ることとする。 すなわち、部分集合 テンプレート:Math が テンプレート:Indent で表される。このときディラックのデルタ関数を用いれば指示関数は テンプレート:Indent と書き換えられる。

状態密度

デルタ関数を用いて指示関数で書き換えるとき、マクロなエネルギー テンプレート:Mvar の積分がミクロな状態 テンプレート:Mvar の和と入れ替え可能であると仮定すれば、状態数は テンプレート:Indent と書き換えられる。 ここで被積分関数 テンプレート:Math は テンプレート:Indent であり、状態密度と呼ばれる。エネルギーの幅 テンプレート:Mvar を無限大へと拡張したときの状態数 テンプレート:Math は テンプレート:Indent で定義される。テンプレート:Math は系のエネルギーがマクロにみて テンプレート:Mvar 以下である状態の数である。

量子系においては状態が離散的であり、状態数も離散的な数となる。しかし、通常の統計力学においては非常に膨大な数の状態を扱い、状態数は連続的な関数であるとみなすことができる。

古典系

ミクロな力学系が古典力学で記述される場合を考える。すなわち標本空間 テンプレート:Mvar とは位相空間であり、ミクロな状態は正準変数の組 (テンプレート:Mvar) により指定される。 位相空間の測度は、1対の正準変数 テンプレート:Mvar ごとにプランク定数 テンプレート:Mvar で割る約束で、状態に対する和が テンプレート:Indent で置き換えられる。ここで テンプレート:Mvar は力学的自由度であり、3次元空間の テンプレート:Mvar-粒子系であれば、テンプレート:Math である。

ミクロな状態 (テンプレート:Mvar) に対して、エネルギーはハミルトン関数 $\mathscr{H}(p,q)$ で与えられる。 状態密度は テンプレート:Indent として得られる。

フェルミ分布

ある1粒子系を考えたとき、1粒子状態密度 テンプレート:Math はこの系のエネルギー準位の密度分布を表す。この系をn-粒子系に拡張したときにエネルギー準位の密度分布が変化しないとする。この系がフェルミ系であるとき、状態数 テンプレート:Math が粒子数 テンプレート:Mvar と等しくなるエネルギー テンプレート:Math はフェルミエネルギーと呼ばれる。 テンプレート:Indent フェルミ系において、各エネルギー準位には1つの粒子しか入らない。系が基底状態にあるときには粒子はエネルギーが小さい準位から占有していき、フェルミエネルギーに等しい準位までが占有される。

絶対零度において系は基底状態にある。エネルギー準位によって決まる物理量は テンプレート:Indent となる。絶対零度において、フェルミエネルギーより上の準位には粒子が存在しないので、積分範囲はフェルミエネルギーまでとなる。これをヘヴィサイドの階段関数を用いて テンプレート:Indent と表す。有限温度においては、温度による励起の影響を反映して、階段関数が置き換えられて テンプレート:Indent となる。このときの テンプレート:Math がフェルミ分布関数である。

関連項目

• 統計力学
• 分配関数（状態和）
• 量子力学
• フェルミ・ディラック統計