tecktom.com

この章のまとめ

2026年10月17日10分で読めますAI生成教科書『虎の巻』第6部 第5章 熱平衡と占有数:Bose 分布と Fermi 分布

AI 生成・木下が未勉強

量子力学の様々な構成方法 第6部 第5章 §6.5.7 ★★ 大正準の状態は Fock 空間の上で初めて書け、自由な場合はモードの積に分かれて Bose・Fermi 分布を与える。粒子数で切れば基準の正準の状態に戻る

この章では、熱平衡の状態を Fock 空間の上の大正準の状態 ρ^G=e−β(H^−μN^)/Ξ\hat\rho_{\mathrm G}=\mathrm{e}^{-\beta(\hat H-\mu\hat N)}/\Xi として置いた。粒子数の違う状態を混ぜるので Fock 空間が必要で、Gibbs の変分原理で Ω[ρ^]\Omega[\hat\rho] を最小にするただ1つの状態として選ばれる(6.5.1 節)。相互作用が無いときは、Fock 空間の指数法則によって ρ^G\hat\rho_{\mathrm G} がモードごとの積に分かれ、Bose 分布と Fermi 分布が1行で出た。ln⁡Ξ\ln\Xi を逃散能で展開すると長さ ℓ\ell の輪の和になり、第2章の置換の和を回収した(6.5.2 節)。μ\mu は保存する粒子数の Lagrange 乗数で、フォノン・光子では μ=0\mu=0 となって共通例題①の Planck 分布に戻る(6.5.3 節)。3次元の調和トラップでは励起状態の粒子数に上限があり、kBTc=ℏω(N/ζ(3))1/3k_{\mathrm B} T_{\mathrm c}=\hbar\omega(N/\zeta(3))^{1/3} 以下で基底状態に凝縮する。凝縮体の数の揺らぎは大正準と正準で一致しない(6.5.4 節)。自由な熱平衡の状態は1粒子密度行列だけで決まり、2粒子の相関にボースの束とフェルミの反束が現れる。1粒子密度行列は共通例題③の伝播関数を虚時間で読んだものの和である(6.5.5 節)。橋の節では、大正準の状態を粒子数で切ると基準の NN 粒子の正準の状態になること、正準の状態を重みで足すと大正準に戻ることを両向きに示し、同じ分布を第4部・経路積分・KMS 条件から出す道と並べた(6.5.6 節)。

要点

  • 大正準の状態 e−β(H^−μN^)/Ξ\mathrm{e}^{-\beta(\hat H-\mu\hat N)}/\Xi は Fock 空間の上の状態で、Ξ=∑NzNZN\Xi=\sum_Nz^NZ_N、Var(N^)=kBT ∂⟨N^⟩/∂μ\mathrm{Var}(\hat N)= k_{\mathrm B} T\,\partial\langle \hat N \rangle /\partial\mu。
  • 自由な場合は Ξ=∏α(1∓e−β(εα−μ))∓1\Xi=\prod_\alpha(1\mp\mathrm{e}^{-\beta(\varepsilon _\alpha-\mu)})^{\mp1}、nˉα=1/(eβ(εα−μ)∓1)\bar n_\alpha=1/(\mathrm{e}^{\beta(\varepsilon _\alpha-\mu)}\mp1)。分母の ∓1\mp1 は交換か反交換かの違いである。
  • ln⁡Ξ=∑ℓ(±1)ℓ+1zℓZ1(ℓβ)/ℓ\ln\Xi=\sum_\ell(\pm1)^{\ell+1}z^\ell Z_1(\ell\beta)/\ell。z2z^2 の係数が第2章の Z2±Z_2^\pm になる。
  • 粒子数が保存しない量子では μ=0\mu=0。1つのモードで共通例題①の Z=1/(2sinh⁡(βℏω/2))Z=1/(2\sinh(\beta\hbar\omega/2))、⟨n⟩=1/(eβℏω−1)\langle n \rangle =1/(\mathrm{e}^{\beta\hbar\omega}-1)。
  • 2粒子の相関は nn′±∣g1∣2n n'\pm\lvert g_1\rvert ^2。g1g_1 は虚時間の自由粒子の伝播関数(共通例題③)の輪の和。
  • 大正準の状態を NN で切ると基準の正準の状態、逆に重み zNZN/Ξz^NZ_N/\Xi で足すと大正準の状態。

総合問題 3次元の調和トラップの同種粒子 ★★★

オリジナル3次元の等方的な調和ポテンシャル(角振動数 ω\omega、1粒子準位 εn=ℏω(n+32)\varepsilon _n=\hbar\omega(n+\frac32)、縮退度 gn=(n+1)(n+2)/2g_n=(n+1)(n+2)/2)に、相互作用の無い同種粒子が入っている。

  1. (1) 1粒子の分配関数 Z1(β)=∑ngne−βεnZ_1(\beta)=\sum_ng_n\mathrm{e}^{-\beta\varepsilon _n} が共通例題①の答えの3乗 [2sinh⁡(βℏω/2)]−3[2\sinh(\beta\hbar\omega/2)]^{-3} に等しいことを示し、βℏω=1\beta\hbar\omega=1 での値を出せ。(使う道具:第4部第4章の共通例題①、6.5.2 節)
  2. (2) βℏω=1\beta\hbar\omega=1 で、循環展開から2粒子の正準の分配関数 Z2±Z_2^\pm を求めよ。(使う道具:6.5.2 節の命題 6.5.4、第6部第2章の置換の和)
  3. (3) スピンをそろえたフェルミ粒子で、T=0T=0 に下から n=0,…,9n=0,\dots,9 の殻(エネルギーの等しい準位の組)をちょうど埋めると何個か。そのときの一番上の殻のエネルギーと全エネルギーを求め、大きな NN の近似 εF≈(6N)1/3ℏω\varepsilon _{\mathrm F}\approx(6N)^{1/3}\hbar\omega と比べよ。(使う道具:6.5.3 節)
  4. (4) ボース粒子 N=1000N=1000 個で、kBTc(0)/ℏωk_{\mathrm B} T_{\mathrm c}^{(0)}/\hbar\omega と、有限の NN の補正を入れた値を求めよ。(使う道具:6.5.4 節)
  5. (5) KMS の関係 (6.5.23) だけから基底状態の占有数 N0N_0 の分布を Bose 分布と決め、さらに T<TcT<T_{\mathrm c} で大正準の状態の N0N_0 の相対的な揺らぎが 1 に近いことを示せ。このことは粒子数の決まったトラップに大正準の状態を当てることについて何を意味するか。(使う道具:6.5.6 節・第8部第4章の KMS 条件、6.5.1 節の揺らぎ、命題 6.5.6)
解答

(1) 3次元の調和振動子のハミルトニアンは3方向の振動子の和なので、1粒子の状態空間はテンソル積で、e−βh^\mathrm{e}^{-\beta\hat h} のトレースは各方向のトレースの積になる。各方向は共通例題①の ∑nxe−βℏω(nx+1/2)=1/(2sinh⁡(βℏω/2))\sum_{n_x}\mathrm{e}^{-\beta\hbar\omega(n_x+1/2)}=1/(2\sinh(\beta\hbar\omega/2)) なので、Z1(β)=[2sinh⁡(βℏω/2)]−3Z_1(\beta)=[2\sinh(\beta\hbar\omega/2)]^{-3} である。縮退度で書いた ∑ngne−βεn\sum_ng_n\mathrm{e}^{-\beta\varepsilon _n} は同じ和を n=nx+ny+nzn=n_x+n_y+n_z ごとにまとめたものにすぎない。βℏω=1\beta\hbar\omega=1 では 0.95953=0.88340.9595^3=0.8834 である。

(2) 同じく Z1(2β)=[2sinh⁡1]−3=0.42553=0.07701Z_1(2\beta)=[2\sinh1]^{-3}=0.4255^3=0.07701 で、

Z2±=12[Z1(β)2±Z1(2β)]=12[0.7804±0.0770]=0.4287 (ボース),0.3517 (フェルミ)Z_2^\pm=\frac12\bigl[Z_1(\beta)^2\pm Z_1(2\beta)\bigr]=\frac12\bigl[0.7804\pm0.0770\bigr]=0.4287\ (\text{ボース}),\quad0.3517\ (\text{フェルミ})

である。1次元の例題 6.5.6 より交換の項 Z1(2β)Z_1(2\beta) の比重が小さい(0.077/0.780=0.100.077/0.780=0.10 と 0.4255/0.9206=0.460.4255/0.9206=0.46)。3次元では準位の数が多く、2粒子が同じ準位に重なる割合が下がるためである。数値はモードの対を直接数えて verify_ch6-05.py で確かめた。

(3) 殻 nn には gng_n 個の準位があるので、n=0,…,9n=0,\dots,9 を埋めると ∑n=09gn=10⋅11⋅126=220\sum_{n=0}^9g_n=\frac{10\cdot11\cdot12}{6}=220 個である。一番上の殻のエネルギーは ℏω(9+32)=10.5ℏω\hbar\omega(9+\frac32)=10.5\hbar\omega、全エネルギーは ∑n=09gnℏω(n+32)=1815ℏω\sum_{n=0}^9g_n\hbar\omega(n+\frac32)=1815\hbar\omega になる。大きな NN では ∑n<Mgn≈M3/6=N\sum_{n<M}g_n\approx M^3/6=N から εF≈Mℏω=(6N)1/3ℏω=10.97ℏω\varepsilon _{\mathrm F}\approx M\hbar\omega=(6N)^{1/3}\hbar\omega=10.97\hbar\omega、全エネルギー ≈34NεF=1810ℏω\approx\frac34N\varepsilon _{\mathrm F}=1810\hbar\omega で、220 個でも誤差は 5% 以内(全エネルギーでは 0.3%)である。差の主な原因は殻の零点 32ℏω\frac32\hbar\omega と、gng_n の n2/2n^2/2 以外の項である。

(4) (1000/1.2021)1/3=9.405(1000/1.2021)^{1/3}=9.405 なので kBTc(0)=9.405ℏωk_{\mathrm B} T_{\mathrm c}^{(0)}=9.405\hbar\omega である。(6.5.16) の補正は −0.7275×1000−1/3=−0.0728-0.7275\times1000^{-1/3}=-0.0728 で、kBTc≈8.72ℏωk_{\mathrm B} T_{\mathrm c}\approx8.72\hbar\omega になる。Nc(T)=NN_{\mathrm c}(T)=N を準位の和 (6.5.13) のまま数値で解くと 8.71ℏω8.71\hbar\omega で、1次の補正でほぼ合う。図 6.5.2 の点線が低温側へずれているのはこのためである。

(5) 基底状態のモードの消滅演算子を a^0\hat a_0 とすると、H^−μN^\hat H-\mu\hat N による時間発展は αt(a^0)=e−i(ε0−μ)t/ℏa^0\alpha_t(\hat a_0)=\mathrm{e}^{-\mathrm{i}(\varepsilon _0-\mu)t/\hbar}\hat a_0 で、KMS の関係はeβ(ε0−μ)⟨a^0†a^0⟩=⟨a^0a^0†⟩=1+⟨a^0†a^0⟩\mathrm{e}^{\beta(\varepsilon _0-\mu)}\langle \hat a_0^\dagger\hat a_0 \rangle =\langle \hat a_0\hat a_0^\dagger \rangle =1+\langle \hat a_0^\dagger\hat a_0 \rangle になる。これを解くと N0=1/(eβ(ε0−μ)−1)N_0=1/(\mathrm{e}^{\beta(\varepsilon _0-\mu)}-1) で Bose 分布である。同じ大正準の状態の中で、基底状態のモードは他のモードと独立な1つのモードの熱平衡にあるので(定理 6.5.3)、その占有数は幾何分布に従い、例題 6.5.1 からVar(N^0)=N0(N0+1)\mathrm{Var}(\hat N_0)=N_0(N_0+1) である。T<TcT<T_{\mathrm c} では N0N_0 が巨視的なので、相対的な揺らぎ N0(N0+1)/N0≈1\sqrt{N_0(N_0+1)}/N_0\approx1 になる。たとえば N=1000N=1000、T=Tc(0)/2T=T_{\mathrm c}^{(0)}/2 では準位の和から N0=814N_0=814 で、標準偏差も約 815 である。命題 6.5.6 によれば大正準の状態は正準の状態を P(N)P(N) で混ぜたものなので、この大きな揺らぎは粒子数 NN そのものが大きく揺らいでいることを意味する。粒子数の決まったトラップでは NN が揺らがないので、凝縮体の数の揺らぎは命題の (i) で NN を固定した正準の状態(第6部第2章)で計算しなければならない。平均の N0/NN_0/N を出すだけなら大正準で差し支えないが、揺らぎを問うときは2つの状態が別の答えを与える。

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com

← AI生成教科書『虎の巻』の記事一覧へ