量子力学の様々な構成方法 第6部 第5章 §6.5.4 ★★ 3次元の調和トラップでは励起状態に入れるボース粒子の数に上限があり、残りが基底状態に集まる。大正準と正準の違いが現れる所でもある
励起状態の上限
3次元の等方的な調和ポテンシャル(角振動数 ω \omega ω )の1粒子準位は ε n = ℏ ω ( n + 3 2 ) \varepsilon _n=\hbar\omega(n+\frac32) ε n = ℏ ω ( n + 2 3 ) 、n = n x + n y + n z n=n_x+n_y+n_z n = n x + n y + n z で、縮退度は n x + n y + n z = n n_x+n_y+n_z=n n x + n y + n z = n の解の数
g n = ( n + 1 ) ( n + 2 ) 2 (6.5.12) g_n=\frac{(n+1)(n+2)}{2}\tag{6.5.12} g n = 2 ( n + 1 ) ( n + 2 ) ( 6.5.12 )
である。ボース粒子では μ < ε 0 = 3 2 ℏ ω \mu<\varepsilon _0=\frac32\hbar\omega μ < ε 0 = 2 3 ℏ ω なので、励起状態(n ≥ 1 n\ge1 n ≥ 1 )に入る粒子の数は、μ \mu μ が ε 0 \varepsilon _0 ε 0 に近づいたときの値を超えられない:
N e x ( μ ) < N e x ( ε 0 ) = ∑ n = 1 ∞ g n e β ℏ ω n − 1 ≕ N c ( T ) . (6.5.13) N_{\mathrm{ex}}(\mu)<N_{\mathrm{ex}}(\varepsilon _0)=\sum_{n=1}^\infty\frac{g_n}{\mathrm{e}^{\beta\hbar\omega n}-1}\eqqcolon N_{\mathrm c}(T).\tag{6.5.13} N ex ( μ ) < N ex ( ε 0 ) = n = 1 ∑ ∞ e β ℏ ω n − 1 g n = : N c ( T ) . ( 6.5.13 )
右辺は n = 0 n=0 n = 0 を含まないので有限である。全体の粒子数 N N N が N c ( T ) N_{\mathrm c}(T) N c ( T ) を超えると、(6.5.10) を満たすには基底状態の占有数N 0 = 1 / ( e β ( ε 0 − μ ) − 1 ) N_0=1/(\mathrm{e}^{\beta(\varepsilon _0-\mu)}-1) N 0 = 1/ ( e β ( ε 0 − μ ) − 1 ) が残り N − N e x N-N_{\mathrm{ex}} N − N ex を引き受けるしかなく、μ \mu μ は ε 0 − k B T / N 0 \varepsilon _0- k_{\mathrm B} T/N_0 ε 0 − k B T / N 0 まで ε 0 \varepsilon _0 ε 0 に近づく。1つのモードに巨視的な数の粒子が入るこの状態を Bose–Einstein 凝縮 と呼ぶ。Bose(1924)が光子の数え方として、Einstein(1924・1925)が原子の気体に広げて予言した(S. N. Bose (1924), Z. Phys. 26 , 178;A. Einstein (1924), Sitzungsber. Preuss. Akad. Wiss., Phys.-math. Kl., 261;同 (1925), 3)。
k B T ≫ ℏ ω k_{\mathrm B} T\gg\hbar\omega k B T ≫ ℏ ω では和を積分に置き換えられる。g n = 1 2 n 2 + 3 2 n + 1 g_n=\frac12n^2+\frac32n+1 g n = 2 1 n 2 + 2 3 n + 1 と分け、∫ 0 ∞ u s − 1 / ( e u − 1 ) d u = Γ ( s ) ζ ( s ) \int_0^\infty u^{s-1}/(\mathrm{e}^u-1)\,\mathrm{d} u=\Gamma(s)\zeta(s) ∫ 0 ∞ u s − 1 / ( e u − 1 ) d u = Γ ( s ) ζ ( s ) を使うと、t ≔ k B T / ℏ ω t\coloneqq k_{\mathrm B} T/\hbar\omega t : = k B T /ℏ ω として
N c ( T ) ≈ ζ ( 3 ) t 3 + 3 2 ζ ( 2 ) t 2 , ζ ( 3 ) = 1.2021 , ζ ( 2 ) = π 2 6 (6.5.14) N_{\mathrm c}(T)\approx\zeta(3)\,t^3+\frac32\zeta(2)\,t^2,\qquad\zeta(3)=1.2021,\quad\zeta(2)=\frac{\pi^2}{6}\tag{6.5.14} N c ( T ) ≈ ζ ( 3 ) t 3 + 2 3 ζ ( 2 ) t 2 , ζ ( 3 ) = 1.2021 , ζ ( 2 ) = 6 π 2 ( 6.5.14 )
になる。第1項は 1 2 Γ ( 3 ) ζ ( 3 ) t 3 \frac12\Gamma(3)\zeta(3)t^3 2 1 Γ ( 3 ) ζ ( 3 ) t 3 、第2項は 3 2 Γ ( 2 ) ζ ( 2 ) t 2 \frac32\Gamma(2)\zeta(2)t^2 2 3 Γ ( 2 ) ζ ( 2 ) t 2 である。主要項だけで N c ( T c ) = N N_{\mathrm c}(T_{\mathrm c})=N N c ( T c ) = N を解くと
k B T c ( 0 ) = ℏ ω ( N ζ ( 3 ) ) 1 / 3 , N 0 N = 1 − ( T T c ( 0 ) ) 3 ( T < T c ( 0 ) ) (6.5.15) k_{\mathrm B} T_{\mathrm c}^{(0)}=\hbar\omega\Bigl(\frac{N}{\zeta(3)}\Bigr)^{1/3},\qquad
\frac{N_0}{N}=1-\Bigl(\frac{T}{T_{\mathrm c}^{(0)}}\Bigr)^3\quad(T<T_{\mathrm c}^{(0)})\tag{6.5.15} k B T c ( 0 ) = ℏ ω ( ζ ( 3 ) N ) 1/3 , N N 0 = 1 − ( T c ( 0 ) T ) 3 ( T < T c ( 0 ) ) ( 6.5.15 )
を得る。第2項を1次まで入れると、t = t 0 ( 1 + δ ) t=t_0(1+\delta) t = t 0 ( 1 + δ ) を N = ζ ( 3 ) t 3 + 3 2 ζ ( 2 ) t 2 N=\zeta(3)t^3+\frac32\zeta(2)t^2 N = ζ ( 3 ) t 3 + 2 3 ζ ( 2 ) t 2 に入れて 3 ζ ( 3 ) t 0 3 δ + 3 2 ζ ( 2 ) t 0 2 = 0 3\zeta(3)t_0^3\delta+\frac32\zeta(2)t_0^2=0 3 ζ ( 3 ) t 0 3 δ + 2 3 ζ ( 2 ) t 0 2 = 0 から
T c − T c ( 0 ) T c ( 0 ) ≈ − ζ ( 2 ) 2 ζ ( 3 ) 2 / 3 N − 1 / 3 = − 0.7275 N − 1 / 3 (6.5.16) \frac{T_{\mathrm c}-T_{\mathrm c}^{(0)}}{T_{\mathrm c}^{(0)}}\approx-\frac{\zeta(2)}{2\zeta(3)^{2/3}}N^{-1/3}=-0.7275\,N^{-1/3}\tag{6.5.16} T c ( 0 ) T c − T c ( 0 ) ≈ − 2 ζ ( 3 ) 2/3 ζ ( 2 ) N − 1/3 = − 0.7275 N − 1/3 ( 6.5.16 )
となり、有限の N N N では転移温度が少し下がる(この補正は S. Grossmann and M. Holthaus (1995), Phys. Lett. A 208 , 188 とW. Ketterle and N. J. van Druten (1996), Phys. Rev. A 54 , 656 が論じた)。
図 6.5.2 3次元の等方的な調和トラップでの凝縮の割合。実線は和を積分に置き換えた近似 (6.5.15) 、点線は N = 1000 N=1000 N = 1000 で (6.5.10) を準位の和のまま数値で解いたもの。有限の N N N では転移がなだらかになり、(6.5.16) のとおり全体が低温側へずれる。座標は verify_ch6-05.py で計算した。
近似の裏付け
型 B(極限) | 小さいもの 準位の間隔と温度の比 ℏ ω / k B T → 0 \hbar\omega/ k_{\mathrm B} T\to0 ℏ ω / k B T → 0 (和を積分に置き換える) | 証明 条件付き(基底状態の項を和から外してから置き換えること。Euler–Maclaurin の和の公式で次の項 3 2 ζ ( 2 ) t 2 \frac32\zeta(2)t^2 2 3 ζ ( 2 ) t 2 まで出し、数値の和と比べて確かめた。級数は漸近級数として扱う) | 行き先 近似の数理 第1章
大正準では凝縮体の数が大きく揺らぐ
例題 6.5.1 の1つのモードの分散を基底状態に当てると、大正準の状態では
V a r ( N ^ 0 ) = N 0 ( N 0 + 1 ) (6.5.17) \mathrm{Var}(\hat N_0)=N_0(N_0+1)\tag{6.5.17} Var ( N ^ 0 ) = N 0 ( N 0 + 1 ) ( 6.5.17 )
で、N 0 N_0 N 0 が数百でも標準偏差が N 0 N_0 N 0 と同じ大きさになる。全体の粒子数 N N N が決まった閉じたトラップでは、基底状態の粒子数がこれほど揺らぐことはない。これは (6.5.3) の P ( N ) ∝ z N Z N P(N)\propto z^NZ_N P ( N ) ∝ z N Z N が凝縮の下で幅の広い分布になるためで、大正準の状態と、粒子数を固定した第2章の正準の状態が、ここでは同じ結果を与えない。平均の量(N 0 / N N_0/N N 0 / N や内部エネルギー)は2つの状態で熱力学極限に一致するが、凝縮体の数の揺らぎを問う問題では正準の計算(置換の和、または循環展開 (6.5.9) から z N z^N z N の係数を取り出す計算)が必要になる。
近似の裏付け
型 B(極限) | 小さいもの N → ∞ N\to\infty N → ∞ (N ω 3 N\omega^3 N ω 3 を一定に保つ熱力学極限)で転移が鋭くなり、大正準と正準が一致する | 証明 条件付き(理想気体では極限を直接計算できる。ただし凝縮体の数の揺らぎでは2つのアンサンブルが一致しない。相互作用のある希薄なトラップ気体の凝縮は Gross–Pitaevskii の極限で E. H. Lieb and R. Seiringer (2002), Phys. Rev. Lett. 88 , 170409 が証明した) | 行き先 近似の数理 第13章
例題 6.5.4 原子 10 5 10^5 1 0 5 個の凝縮温度 ★★
オリジナル N = 10 5 N=10^5 N = 1 0 5 個のボース粒子の原子が、角振動数 ω = 2 π × 100 \omega=2\pi\times100 ω = 2 π × 100 Hz の3次元の等方的な調和ポテンシャルに入っている(相互作用は無視する)。
(1) ℏ ω / k B \hbar\omega/ k_{\mathrm B} ℏ ω / k B と T c ( 0 ) T_{\mathrm c}^{(0)} T c ( 0 ) を求めよ。
(2) (6.5.16) の補正は何%か。
(3) T = T c ( 0 ) / 2 T=T_{\mathrm c}^{(0)}/2 T = T c ( 0 ) /2 での凝縮の割合を連続の近似で求めよ。そのとき励起状態にいる粒子の数と、大正準の状態での N 0 N_0 N 0 の標準偏差を比べよ。
解答 (1) ℏ ω / k B = ( 1.0546 × 10 − 34 ) ( 628.3 ) / ( 1.3806 × 10 − 23 ) = 4.80 × 10 − 9 \hbar\omega/ k_{\mathrm B}=(1.0546\times10^{-34})(628.3)/(1.3806\times10^{-23})=4.80\times10^{-9} ℏ ω / k B = ( 1.0546 × 1 0 − 34 ) ( 628.3 ) / ( 1.3806 × 1 0 − 23 ) = 4.80 × 1 0 − 9 K である。( N / ζ ( 3 ) ) 1 / 3 = ( 10 5 / 1.2021 ) 1 / 3 = 43.65 (N/\zeta(3))^{1/3}=(10^5/1.2021)^{1/3}=43.65 ( N / ζ ( 3 ) ) 1/3 = ( 1 0 5 /1.2021 ) 1/3 = 43.65 なのでT c ( 0 ) = 43.65 × 4.80 T_{\mathrm c}^{(0)}=43.65\times4.80 T c ( 0 ) = 43.65 × 4.80 nK = 209 =209 = 209 nK になる。準位の間隔 ℏ ω \hbar\omega ℏ ω に比べて k B T c k_{\mathrm B} T_{\mathrm c} k B T c は 44 倍大きく、和を積分に置き換える近似の条件を満たしている。
(2) 0.7275 × ( 10 5 ) − 1 / 3 = 0.7275 / 46.4 = 0.0157 0.7275\times(10^5)^{-1/3}=0.7275/46.4=0.0157 0.7275 × ( 1 0 5 ) − 1/3 = 0.7275/46.4 = 0.0157 で、転移温度は 1.6% 下がって約 206 nK になる。
(3) N 0 / N = 1 − 1 8 = 0.875 N_0/N=1-\frac18=0.875 N 0 / N = 1 − 8 1 = 0.875 で、凝縮体に 8.75 × 10 4 8.75\times10^4 8.75 × 1 0 4 個、励起状態に 1.25 × 10 4 1.25\times10^4 1.25 × 1 0 4 個がいる。大正準の状態の標準偏差は (6.5.17) から N 0 ( N 0 + 1 ) ≈ 8.75 × 10 4 \sqrt{N_0(N_0+1)}\approx8.75\times10^4 N 0 ( N 0 + 1 ) ≈ 8.75 × 1 0 4 で、凝縮体の数そのものと同じ大きさになる。全体が 10 5 10^5 1 0 5 個に決まっているトラップで凝縮体がこれほど揺らぐことはないので、この値は大正準の状態を閉じた系に当てはめた誤りである。励起状態の粒子は多数のモードに分かれているので、それぞれは例題 6.5.1 の小さな揺らぎで、こちらは正準でも大正準でもほぼ同じになる。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com