固体物理学および物性物理学において、系の状態密度（じょうたいみつど、, DOS）とは、微小なエネルギー区間内に存在する、系の占有しうる状態数を各エネルギーごとに記述する物理量である。気相中の原子や分子のようなとは異なり、密度分布はスペクトル密度のような離散分布ではなく連続分布となる。あるエネルギー準位において DOS が高いことは、そこに占有しうる状態が多いことを意味する。DOS がゼロとなることは、系がそのエネルギー準位を占有しえないことを意味する。一般的に DOS とは、空間的および時間的に平均されたものを言う。局所的な変動は局所状態密度 (LDOS) と呼ばれ区別される。

概要 
量子系において、波もしくは波動的粒子は系によって定まる波長と伝播方向をもつモードもしくは状態を占める。特定の状態のみが許容されることも多く、系によっては物質の原子間距離と原子核電荷により特定の波長の電子のみが存在を許容される場合もある。また、物質の結晶構造により波が一方向にのみ伝播を許容され、別の方向への伝播が抑制されるような系もある。したがって、特定の波長においては多くの状態が許容され、別のエネルギー準位には全く許容される状態が存在しないということがありうる。量子系により、電子や光子、フォノンの状態密度をエネルギーもしくは波数ベクトル  の関数として計算することができる。DOS を表わす記号としては、 などが用いられる。エネルギーの関数としての DOS と波数ベクトルの関数としての DOS の間の変換は、系ごとに決まる  と  との間の分散関係が分かっていれば行うことができる。

たとえば、半導体中の電子の状態密度は伝導帯端においては低く、電子の占有できる状態は少ない。電子のエネルギーが増えるにつれて状態密度も増加し、占有できる状態が増える。しかし、バンドギャップ中には電子の占有できる状態は存在しないため、伝導帯端の電子は別のモードへと遷移するために少くとも  だけのエネルギーを失う必要がある。

一般的に、系の位相幾何学的性質が状態密度の主な性質を決定する。中性子星中のニュートロニウムや金属中の自由電子ガス（縮退物質とフェルミ気体の例）のような最も良く知られた系では、3次元ユークリッド空間の位相構造を持つ。より知られていない系としては、グラファイト層中の二次元電子ガスや MOSFET 型素子中の量子ホール効果系は二次元ユークリッド空間の位相構造を持つ。さらに知られていないものとしては、カーボンナノチューブや、朝永・ラッティンジャー液体などは1次元位相幾何を持つ。1D および 2D 位相幾何を持つ系は、ナノテクノロジーと物質科学の進展につれてよりよく知られるようになると考えられる。

定義 
系が状態 i をとるときの系のエネルギーが  で与えられるとき、状態密度は

で定義される。

系の状態が連続パラメータ  で指定される場合の定義は

である。ここで  はパラメータ  の張る状態空間の体積を与える測度である。

古典系の状態は正準変数の組  で指定され、系のエネルギーはハミルトン関数で与えられる。正準変数の張る位相空間の体積は、一対の  ごとにプランク定数  で割る約束で、自由度が  での状態密度は

となる。

状態密度をエネルギー  まで積分すれば

として、系のエネルギーが  である状態の数を与える。状態数が微分可能である場合には、状態密度は

で与えられる。エネルギーが E である状態の縮退度は

で与えられる。ここで最後の等式は、積分の平均値の定理が妥当なときのみ成り立つ。

対称性と状態密度 

DOS 計算の行える系は多種多様である。凝縮系において重要な性質は系の微視的構造のもつ対称性である。 流体、ガラス、アモルファス固体は回転対称性のある分散関係を持つ。球対称な系では、たとえば関数の積分などは一次元となる。なぜなら、計算が分散関係の動径パラメータにのみ依存するからである。

例えば単結晶からなる系などの非等方な系においては、状態密度がある結晶学的方位と別の方位とでは異るので、角度に依存する計算および計測が必要となる。非等方な問題は計算が難しくなり、また非等方な状態密度は可視化するのも難しくなる。そのため、ある特定の点のみを計算したり、射影状態密度 (PDOS) を計算したりといった手法がよく用いられる。

粉末試料や多結晶試料に対する測定には、系の分散関係の定義域（一つのブリュアンゾーンとすることが多い）全体にわたる積分が必要となる。系の対称性が高い場合、系の分散関係を表わす関数の形は分散関係の定義域全体にわたって何度も繰り返し表われる。このような場合、DOS の計算は還元ゾーンのみについての計算に帰着し、相当に省力化できる。面心立方格子のブリュアンゾーンは点群 Oh の、完全をもつ48重対称性を持つ。よって、ブリュアンゾーン全体にわたる積分をその48分の1の部分領域にわたる積分に帰着することができる。に示される通り、面心立方格子をとる元素はダイヤモンド、シリコン、白金など多く、これらのブリュアンゾーンおよび分散関係は48重対称性を持つ。

良く知られている結晶構造として、体心立方格子と六方最密充填格子の二つが挙げられる。体心立方格子は点群 Th の24重を持つ。六方最密充填格子は点群 D3h の12重を持つ。点群の対称性の特性の網羅的リストについては、を参照のこと。

一般に、対称性が高く位相的次元の低い系ほど DOS の計算は容易である。回転対称性のある分散関係の状態密度は解析的に計算可能であることが多い。鋼やシリコンなど、実用上の興味の対象となる物質は高い対称性を持っていることが多いので、このことは幸運である。

波数空間の位相幾何 

状態密度は対象の次元に依存する。次元の果たす役割は、DOS の単位 (Energy−1Volume−1) からも明らかである。系が二次元的になる極限において体積は面積となり、一次元的となる極限においては長さとなる。ここでいう体積とは波数空間上の、分散関係から導かれるで囲われる領域の体積であることに注意が必要である。固体中の電子の分散関係はバンド構造を成している。三次元的波数空間の例を図1に示す。系の次元そのものが系内の粒子の運動量を規定することが見てとれる。

波数ベクトル状態密度（球） 
DOS を計算するにはまずある  に対して波数空間上の領域  内に含まれる状態数  を数える必要がある。これは、ある  に対する  次元波数空間全体の体積  を  で微分することで得られる。三次元、二次元、一次元波数空間の体積、面積、長さは次のように表わされる。
 
ここで、  は波数空間の次元  に依存して位相幾何学的に定まる定数で、一次元、二次元、三次元ユークリッド波数空間に対してはそれぞれ以下のように定まる。
 

この式によれば、波数ベクトル状態密度  は  を  で微分することにより次のように得られる。
 
これを一次元、二次元、三次元の場合に明示的に書き下すと次のようになる。
 
 
 
一つの状態は波長 J の粒子を含むことができる程度に大きい。波長と波数  との間の関係式は以下のようになる。
 
長さ  の量子系は粒子を閉じ込める系の大きさ  に依存する。最後に、状態密度  に係数  をかける。ここで、 はスピンや偏極などの物理現象に起因する内部自由度である。このような物理現象が無い場合は  となる。 は波数空間上の、ある  よりも小さい波数ベクトルを全て含む体積である。

エネルギー状態密度 
DOS の計算の最後として、あるエネルギー  に対して 定まる区間  に含まれる体積あたりの状態数を計算する。一般的な系の DOS は次のような形式となる。
 
ここまでの式は、分散関係が単調増加する球対称な系に対してのみ成り立つ。 一般に、分散関係  は球対称ではなく、単調増加でもないことが多い。 を  の関数として分散関係  の逆関数を用いてここまでの式中に現われていた  の関数  をエネルギーの関数  に置き換える必要がある。これは分散関係が球対称でなかったり単調増加しなかったりする場合は容易ではなく、ほとんどの場合において DOS は数値的に計算される。より詳細な導出もある。

分散関係 
粒子の運動エネルギーは波数ベクトル  の大きさと向きに依存する。たとえばフェルミ気体中の電子の運動エネルギーは以下のように得られる。
 
ここで  は電子質量である。この分散関係は球対称かつ単調増加であるから、DOS を容易に計算することができる。

原子鎖の縦モードフォノンの分散関係は、図2に示すような 1 次元  空間上の運動エネルギーについての関数となり、数式で表わすと以下のようになる。
 
ここで  は振動子周波数、 は原子の質量、 は原子間に働く力の力定数、 は原子間距離である。力定数が小さく、 が満たされるような値である場合は分散関係は線形となる。
 
 の場合は以下のようになる。
 
変数変換  を施して  が小さくなるとき、分散関係は以下のように書ける。

等方的分散関係 
ここで言及した二つの例は次のように書ける。
 
この種の分散関係はエネルギーが波数ベクトルの長さのみに依存し、向きに依存しないため等方的な分散関係といえる。このとき逆に、波数ベクトルの大きさはエネルギーを用いて以下のように書ける。
 
また、 よりも小さい波数ベクトルを含む  次元  空間上の体積は次のように書ける。
 
したがって、等方的分散関係から、被占有状態の体積は以下のように書ける。
 
この体積をエネルギーで微分すれば等方的分散関係に対する DOS を得ることができる。

放物線分散関係 

フェルミ気体中の自由電子などのように分散関係が放物線を描く 場合、 次元系における状態密度  は以下のようになる。
 

 

 
ここで  とし、 と  の場合はする。

1 次元系では DOS は  が  に落ちる際に発散する。2 次元系では  に依存しなくなる。3 次元系では状態密度はエネルギーの平方根に比例して増加する。

係数部分を全て書き下すと、3 次元系における DOS は以下のように書ける。
 
ここで  は総体積であり、 には2重のスピン縮退を含む。

線形分散関係 
光子や音響フォノン、特定の固体中の電子バンドのように分散関係が線形 のとき、1、2、3 次元系におけるエネルギーに対する DOS はそれぞれ以下のようになる。

状態密度と分布関数 
状態密度は固体中の運動エネルギー理論において重要な役割を果たす。状態密度と確率密度分布との積は熱平衡状態にある系について、あるエネルギーにおける単位体積あたりの被占有状態数を与える。この値は物質の様々な物性を調べる際に広く用いられている。ここで、確率密度分布と状態密度からどのように物性を得るかの例をいくつか挙げる。

フェルミ・ディラック統計: 図4に示すフェルミ・ディラック分布は、熱平衡状態においてフェルミオンが特定の量子状態を占有する確率を与える。フェルミオンはパウリの排他律に従う粒子であり、例えば電子、陽子、中性子などが挙げられる。この分布関数は次のように書ける。
 
 は化学ポテンシャル（の場合フェルミ準位と呼び   と書く）、 はボルツマン定数、 は温度である。図4に示す、フェルミ・ディラック分布関数と3次元半導体の状態密度の積がキャリア密度やエネルギーバンドギャップなどの物性についての知識を得るために用いられる。

ボース・アインシュタイン統計: ボース・アインシュタイン分布関数は熱平衡にある系においてボソンがある量子状態を占有する確率を表わす。ボソンはパウリの排他律に従わない粒子で、例えばフォノンや光子が挙げられる。この分布関数は以下のように書ける。
 
これら二つの分布関数から、内部エネルギー 、粒子数 、比熱容量 、熱伝導率   を計算することができる。 これらの物性値と、密度関数と分布関数との関係式は、状態密度を  ではなく  と書くと、以下のようになる。
 
 
 
 
 は次元数、 は音速、 は平均自由行程である。

応用 
状態密度は物理学の多くの分野で登場し、量子力学的現象の説明の助けとなる。

量子化 
微視的構造に対して状態密度を計算すると、次元が減るにつれて電子の分布が変化することがわかる。特定のエネルギー領域においての DOS は、バルク半導体の DOS に比べて実際に高くなり、量子ドットの DOS は特定のエネルギーに量子化される。

フォトニック結晶 
光の波長スケールの繰り返し構造を用いると光子の状態密度を操作することができる。構造によっては特定の色（エネルギー）の光を完全に禁止し、DOS がゼロとなるエネルギー領域、フォトニックバンドギャップを作り出すことができる。また、別種の構造ではある方向にのみ光の伝搬を抑制し、鏡、導波管、発振器を構成することもできる。このような繰り返し構造をフォトニック結晶と呼ぶ。ナノ構造を施した媒質では状態密度よりも場所ごとに異なる局所状態密度 (LDOS) の考え方のほうがより適している。

状態密度の計算 
化合物や生体分子、高分子など、興味の対象となる系は一般的に複雑である。これらの系は解析的に状態密度を計算するには複雑すぎ、ほとんどの場合それは不可能である。高精度の状態密度をコンピュータシミュレーションにより計算するアルゴリズムがいくつか知られている。その一つとしてワン・ランダウのアルゴリズムが挙げられる。

ワン・ランダウ法の枠組みの中では、状態密度に関する事前知識は一切必要がない。まず系のコスト関数（たとえばエネルギー）を離散化し、階級  に到達するごとに状態密度のヒストグラム  を次のように更新する。
 
ここで  は修正因子である。この階級に特定の回数 だけ到達するごとに修正因子は何らかの基準により減少させる。例えば以下のように処理する。
 
ここで  は更新が  回目であることを示す。特定の閾値に修正因子が到達したとき、たとえば  となったときにシミュレーションを終了する。

ワン・ランダウ法はマルチカノニカル法やレプリカ交換法などに比べていくつかの利点を持っている。たとえば、状態密度がシミュレーションの主目的として算出される。また、ワン・ランダウ法は完全に温度非依存である。この性質により、タンパク質のような非常にでこぼこしたエネルギー地形を持つ系に対しても状態密度を計算することができる。

数学的には、状態密度は被覆写像を用いて形式化することができる。