Loading [MathJax]/jax/output/SVG/fonts/TeX/fontdata.js

大分配関数によるフェルミ粒子とボーズ粒子の分布関数の導出

  • このエントリーをはてなブックマークに追加
  • LINEで送る

[mathjax]

ここでいう分布関数とは、とあるエネルギー準位に入る粒子の量を表すもので、エネルギーと粒子数のグラフで表現される。そして、粒子にはボーズ粒子とフェルミ粒子の2種類存在するが、それぞれの分布関数は異なる。

ボーズ粒子の分布関数のことをボーズ分布関数またはボーズ-アインシュタイン分布、またフェルミ粒子の分布関数のことをフェルミ分布関数またはフェルミ-ディラック分布とよぶ。

この記事では、大分配関数を使って、それぞれの分布関数を導出する。

参考:大分配関数とグランドカノニカル分布の導出

参考:フェルミ粒子とボーズ粒子の波動関数の導出

今回の系の確認

体積Vの立方体の箱に、N個の粒子が入っている。この粒子は箱を出入りせず、Nは一定とする。さらに、粒子がとることができるエネルギー準位の総数をnとする。

このN個の粒子のうち、エネルギー準位εjをとるものがNj個存在するものとする。こうすると、エネルギー準位εjをとる粒子の総エネルギーはεjNjとなる。

したがって、系の総粒子数N

N=nj=1Nj

となる。一方系の総エネルギーEは、あらゆる準位の粒子の総エネルギーの合計になるため、次のようになる。

E=nj=1εjNj

大分配関数の導出

大分配関数は次のように定義される。

Ξσe1kBTEσ+μkBTNσ

参考:大分配関数とグランドカノニカル分布の導出

上の定義式の系の総エネルギーEσと総粒子数Nσに、今回の系のそれぞれの値を代入すればよい。

これ以降、ボーズ粒子とフェルミ粒子のそれぞれの大分配関数を求める。

ボーズ粒子の場合

ボーズ粒子にはパウリの排他律は適応されないため、複数の粒子が同じ量子状態をとることができる。この例として、BCS理論での超電導が挙げられる。電子がクーパー対をつくると、その対全体を1つのボーズ粒子とみなせる。そして、超電導物質が特定の環境下におかれたときに、すべてのボーズ粒子が最低のエネルギー準位に落ち込むことで、超電導が現れる。

ボーズ粒子は同じエネルギー準位にいくつでも入れるため、0粒子系から無限大個の粒子系まで考えることができる。したがって、下の粒子数に関する和Njの範囲は、0からとなる。

Ξσe1kBTEσ+μkBTNσ=N1=0N2=0Nn=0(e1kBT[(ε1N1+ε2N2++εnNn)μ(N1+N2++Nn)])=N1=0N2=0Nn=0[(e1kBT(ε1μ))N1(e1kBT(ε2μ))N2(e1kBT(εnμ))Nn]=Ξ1Ξ2Ξn=j=1Ξj

ここで、j番目のエネルギー準位に関する分配関数をΞjとおいた。

Ξj=Nj=0(e1kBT(εjμ))Nj

このΞjを、無限級数の公式

k=0ark=a1r (|r|<1)

を使って変形させる。

Ξj=11e1kBT(εjμ) (εj>μ)

フェルミ粒子の場合

フェルミ粒子にはパウリの排他律が適応されるため、同じエネルギー準位に複数の粒子は入れない。つまり、1つのエネルギー準位に入る粒子の数は、0か1のどちらかとなる。

Nj=0 or 1

1つのエネルギー準位に1つまでしか粒子が入れないため、今回はn個までの粒子の分布を考えることができる。

この前提で、大分配関数を変形させる。

Ξ=N1=0,1N2=0,1Nn=0,1[(e1kBT[(ε1N1+ε2N2++εnNn)μ(N1+N2++Nn)])]=N1=0,1N2=0,1Nn=0,1[(e1kBT(ε1μ)N1)(e1kBT(ε2μ)N2)(e1kBT(εnμ)Nn)]=N1=0,1(e1kBT(ε1μ)Nj)N2=0,1(e1kBT(ε2μ)Nj)Nn=0,1(e1kBT(εnμ)Nj)=(e1kBT(ε1μ)0+e1kBT(ε1μ)1)(e1kBT(ε2μ)0+e1kBT(ε2μ)1)(e1kBT(εnμ)0+e1kBT(εnμ)1)=(1+e1kBT(ε1μ))(1+e1kBT(ε2μ))(1+e1kBT(εnμ))=Ξ1Ξ2Ξn=j=1Ξj

ここで、j番目のエネルギー準位に関する分配関数をΞjとおいた。

Ξj=1+e1kBT(εjμ)

以上で、ボーズ粒子とフェルミ粒子のそれぞれの場合における大分配関数を求められた。

分布関数の導出

大分配関数と粒子数

今回の最終目標は、大分配関数から、エネルギー準位と粒子数の関係を示す分布関数を求めることであった。そのためには、粒子数Nを、大分配関数Ξで表すことが不可欠である。

大分配関数を逆温度

β1kBT

を使って表すと、次のようになる。

Ξσeβ[EσμNσ]

参考:大分配関数とグランドカノニカル分布の導出

このΞの式を眺めると、粒子数Nσはネイピア数eの乗数に含まれていて、かつμの係数となっていることがわかる。したがって、Nσを取り出すには、Ξの自然対数lnΞμで偏微分すればよさそうだ。

μlnΞ=βμσ[EσμNσ]=βσNσ

よって、j番目のエネルギー準位に入る粒子数の平均<Nj>は、次のようになる。

<Nj>=1βμ(lnΞj)

この<Nj>の式を、そのままエネルギー準位εjに依存する分布関数fβ,μ(εj)として定義する。

fβ,μ(εj)1βμ(lnΞj)

つまり、粒子数の平均<Nj>を計算することと分布関数fβ,μ(εj)を計算することは、完全に同じことである。

ちなみに、系全体の粒子の平均<N>を分布関数を使って表すには、それぞれのエネルギー準位における分布関数fβ,μ(εj)をすべて足せばよい。

<N>=j=1fβ,μ(εj)

ボーズ粒子の場合

ボーズ粒子の大分配関数を、そのまま分布関数の定義式に代入すればよい。

fβ,μ(εj)1βμ(lnΞj)=1βμ[ln(11eβ(εjμ))]=1βμ[ln(1eβ(εjμ))1]=1βμ[ln(1eβ(εjμ))]=1β11eβ(εjμ)μ[1eβ(εjμ)]=1β11eβ(εjμ)βeβ(εjμ)=eβ(εjμ)1eβ(εjμ)=1eβ(εjμ)1

この分布関数をグラフ化する。

このグラフは、εjμが0に近づくにつれて、分布関数も無限大に発散していくことを示す。このことからも、一つのエネルギー準位に複数の粒子が入り得ることが確認できる。さらに、エネルギー準位が小さいほど、多くの粒子が入りやすくなることもわかる。

フェルミ粒子の場合

fβ,μ(εj)1βμ(lnΞj)=1βμ[ln(1+eβ(εjμ))]=1β11+eβ(εjμ)μ[1+eβ(εjμ)]=1β11+eβ(εjμ)βeβ(εjμ)=eβ(εjμ)1+eβ(εjμ)=1eβ(εjμ)+1

この分布関数をグラフ化する。

この分布関数はボーズ粒子のときと違い、決して1を超えない。このことからも、一つのエネルギー準位に複数の粒子が入らないことが確認できる。さらに、エネルギー準位が小さいほど、その準位に粒子が入っている確率が上がる。逆にエネルギーが大きいほど、その準位に粒子が入っている確率が下がる。

以上で、両方の粒子の場合の分布関数が求められた。

フェルミ分布の特徴

β=1kBT

に注意すると、温度Tの絶対零度の極限をとったとき(T0)、逆温度βは無限大に発散する(β)。このことをフェルミ分布

fβ,μ(εj)=1eβ(εjμ)+1

に適用してみる。

εjμ>0の場合

分布関数中のeβ(εjμ)の指数は+に発散する。これによって、分布関数の分母も無限大になるため、fβ,μ(εj)は0に近づく。

fβ,μ(εj)0

εjμ<0の場合

分布関数中のeβ(εjμ)の指数はに発散する。これによって、eβ(εjμ)は0に近づくため、fβ,μ(εj)は1に近づく。

fβ,μ(εj)1

以上を踏まえて分布関数をグラフにすると、下の図の青線のようなステップ関数上になる。

まとめ

ボーズ粒子の分配関数と分布関数

Ξj=11e1kBT(εjμ)
fβ,μ(εj)=1eβ(εjμ)1

フェルミ粒子の分配関数と分布関数

Ξj=1+e1kBT(εjμ)
fβ,μ(εj)=1eβ(εjμ)+1

フェルミ分布関数は、絶対零度の極限において、ステップ関数状になる。

参考文献

・小田垣孝(2003)『統計力学』,裳華房.

・藤井勝彦(1990)『統計力学』,マグロウヒル出版株式会社.

・村上雅人(2017)『なるほど統計力学』,海鳴社.

  • このエントリーをはてなブックマークに追加
  • LINEで送る

SNSでもご購読できます。

コメントを残す

*

CAPTCHA