量子力学・統計力学・電磁気学が 1 問ずつで、3 問すべてが必答、試験時間は 3 時間です。この年度の 3 問はいずれも同年度の修士課程 専門科目と共通の問題で、修士では加えて数学 1 問(第4問)が出されていました。第1問は不確定性関係の証明を段階に分けて組み立てる論証中心の問題、第2問と第3問は最後まで数を出す計算問題です。分量として重いのは設問が 10 個ある第2問で、特にスピン自由度とゼーマン分裂を入れた後半(設問8から設問10)が山です。第3問は垂直入射・斜入射・全反射の 3 場面を同じ 2 本の境界条件で処理できることに気づけば短時間で通せます。
問題 分野 主題 第1問 量子力学 不確定性関係と最小不確定状態 第2問 統計力学 理想ボース気体とボース・アインシュタイン凝縮 第3問 電磁気学・光学 誘電体境界での反射・透過と全反射
位置演算子 x ^ \hat x x ^ と運動量演算子 p ^ \hat p p ^ の標準偏差を、与えられた量子状態での期待値 ⟨ O ^ ⟩ \langle\hat O\rangle ⟨ O ^ ⟩ を使って
Δ x ≡ ⟨ ( Δ x ^ ) 2 ⟩ , Δ x ^ ≡ x ^ − ⟨ x ^ ⟩ , Δ p ≡ ⟨ ( Δ p ^ ) 2 ⟩ , Δ p ^ ≡ p ^ − ⟨ p ^ ⟩ \begin{aligned}
\Delta x&\equiv\sqrt{\langle(\Delta\hat x)^2\rangle}, & \Delta\hat x&\equiv\hat x-\langle\hat x\rangle,\\
\Delta p&\equiv\sqrt{\langle(\Delta\hat p)^2\rangle}, & \Delta\hat p&\equiv\hat p-\langle\hat p\rangle
\end{aligned} Δ x Δ p ≡ ⟨( Δ x ^ ) 2 ⟩ , ≡ ⟨( Δ p ^ ) 2 ⟩ , Δ x ^ Δ p ^ ≡ x ^ − ⟨ x ^ ⟩ , ≡ p ^ − ⟨ p ^ ⟩
と定義します。ℏ \hbar ℏ はプランク定数を 2 π 2\pi 2 π で割った量です。1次元系を考え、位置表示で p ^ = − i ℏ d / d x \hat p=-i\hbar\,d/dx p ^ = − i ℏ d / d x 、したがって [ x ^ , p ^ ] = i ℏ [\hat x,\hat p]=i\hbar [ x ^ , p ^ ] = i ℏ とします。計算には与えられた公式
∫ − ∞ ∞ e − α x 2 d x = π α , ∫ − ∞ ∞ x 2 e − α x 2 d x = 1 2 π α 3 ( α > 0 ) \int_{-\infty}^{\infty}e^{-\alpha x^2}dx=\sqrt{\frac{\pi}{\alpha}},\qquad
\int_{-\infty}^{\infty}x^2e^{-\alpha x^2}dx=\frac{1}{2}\sqrt{\frac{\pi}{\alpha^3}}\qquad(\alpha>0) ∫ − ∞ ∞ e − α x 2 d x = α π , ∫ − ∞ ∞ x 2 e − α x 2 d x = 2 1 α 3 π ( α > 0 )
を使います。設問2から設問5は、不等式 Δ x Δ p ≥ ℏ / 2 \Delta x\Delta p\ge\hbar/2 Δ x Δ p ≥ ℏ/2 の証明と等号成立条件を順に組み立てていく流れになっています。以下ではこの不等式を「不等式(1)」と呼びます。
この問題は令和4年度 修士課程 専門科目 第1問と同一です。
対象は
ψ ( x ) = ( 1 π a 2 ) 1 / 4 exp ( − x 2 2 a 2 ) ( a > 0 ) \psi(x)=\left(\frac{1}{\pi a^2}\right)^{1/4}\exp\left(-\frac{x^2}{2a^2}\right)\qquad(a>0) ψ ( x ) = ( π a 2 1 ) 1/4 exp ( − 2 a 2 x 2 ) ( a > 0 )
です。まず規格化を確認します。α = 1 / a 2 \alpha=1/a^2 α = 1/ a 2 として
∫ − ∞ ∞ ∣ ψ ∣ 2 d x = 1 π a 2 ∫ − ∞ ∞ e − x 2 / a 2 d x = 1 π a 2 ⋅ π a 2 = 1 \int_{-\infty}^{\infty}|\psi|^2dx=\frac{1}{\sqrt{\pi a^2}}\int_{-\infty}^{\infty}e^{-x^2/a^2}dx=\frac{1}{\sqrt{\pi a^2}}\cdot\sqrt{\pi a^2}=1 ∫ − ∞ ∞ ∣ ψ ∣ 2 d x = π a 2 1 ∫ − ∞ ∞ e − x 2 / a 2 d x = π a 2 1 ⋅ π a 2 = 1
なので ψ \psi ψ は規格化されています。
∣ ψ ∣ 2 |\psi|^2 ∣ ψ ∣ 2 は偶関数なので ⟨ x ^ ⟩ = 0 \langle\hat x\rangle=0 ⟨ x ^ ⟩ = 0 、また ψ \psi ψ が実関数なので
⟨ p ^ ⟩ = − i ℏ ∫ − ∞ ∞ ψ d ψ d x d x = − i ℏ 2 [ ψ 2 ] − ∞ ∞ = 0 \langle\hat p\rangle=-i\hbar\int_{-\infty}^{\infty}\psi\frac{d\psi}{dx}dx=-\frac{i\hbar}{2}\Bigl[\psi^2\Bigr]_{-\infty}^{\infty}=0 ⟨ p ^ ⟩ = − i ℏ ∫ − ∞ ∞ ψ d x d ψ d x = − 2 i ℏ [ ψ 2 ] − ∞ ∞ = 0
です。したがって Δ x ^ = x ^ \Delta\hat x=\hat x Δ x ^ = x ^ 、Δ p ^ = p ^ \Delta\hat p=\hat p Δ p ^ = p ^ となります。
2次のモーメントは、α = 1 / a 2 \alpha=1/a^2 α = 1/ a 2 に対する第2の積分公式から
⟨ x ^ 2 ⟩ = 1 π a 2 ∫ − ∞ ∞ x 2 e − x 2 / a 2 d x = 1 π a 2 ⋅ 1 2 π a 6 = a 2 2 \langle\hat x^2\rangle=\frac{1}{\sqrt{\pi a^2}}\int_{-\infty}^{\infty}x^2e^{-x^2/a^2}dx=\frac{1}{\sqrt{\pi a^2}}\cdot\frac{1}{2}\sqrt{\pi a^6}=\frac{a^2}{2} ⟨ x ^ 2 ⟩ = π a 2 1 ∫ − ∞ ∞ x 2 e − x 2 / a 2 d x = π a 2 1 ⋅ 2 1 π a 6 = 2 a 2
です。運動量については部分積分して境界項を落とし、d ψ / d x = − ( x / a 2 ) ψ d\psi/dx=-(x/a^2)\psi d ψ / d x = − ( x / a 2 ) ψ を使うと
⟨ p ^ 2 ⟩ = − ℏ 2 ∫ ψ d 2 ψ d x 2 d x = ℏ 2 ∫ ( d ψ d x ) 2 d x = ℏ 2 a 4 ⟨ x ^ 2 ⟩ = ℏ 2 2 a 2 \langle\hat p^2\rangle=-\hbar^2\int\psi\frac{d^2\psi}{dx^2}dx=\hbar^2\int\left(\frac{d\psi}{dx}\right)^2dx=\frac{\hbar^2}{a^4}\langle\hat x^2\rangle=\frac{\hbar^2}{2a^2} ⟨ p ^ 2 ⟩ = − ℏ 2 ∫ ψ d x 2 d 2 ψ d x = ℏ 2 ∫ ( d x d ψ ) 2 d x = a 4 ℏ 2 ⟨ x ^ 2 ⟩ = 2 a 2 ℏ 2
となります。よって答えは
Δ x = a 2 , Δ p = ℏ 2 a , Δ x Δ p = ℏ 2 \Delta x=\frac{a}{\sqrt2},\qquad \Delta p=\frac{\hbar}{\sqrt2\,a},\qquad \Delta x\,\Delta p=\frac{\hbar}{2} Δ x = 2 a , Δ p = 2 a ℏ , Δ x Δ p = 2 ℏ
です。Δ x \Delta x Δ x は長さ、Δ p \Delta p Δ p は運動量の次元をもち、積は作用(ℏ \hbar ℏ と同じ)の次元になっています。
物理的な解釈は次の通りです。このガウス波束では位置の広がりが a a a 程度、運動量の広がりが ℏ / a \hbar/a ℏ/ a 程度で、両者は反比例します。a a a を小さくして粒子を狭い領域に押し込めば運動量分布は 1 / a 1/a 1/ a で広がり、逆に a a a を大きくすれば運動量は鋭くなるが位置は不確定になる。すなわち a a a は位置と運動量への分解能の配分を決めるだけで、積 Δ x Δ p \Delta x\Delta p Δ x Δ p は a a a に依存しません。しかもその値は設問3で示す下限 ℏ / 2 \hbar/2 ℏ/2 にちょうど等しく、ガウス波束は不確定性関係の等号を実現する状態になっています。
規格化された状態 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ をとります。エルミート共役の定義 ⟨ ϕ ∣ O ^ † χ ⟩ = ⟨ O ^ ϕ ∣ χ ⟩ \langle\phi|\hat O^\dagger\chi\rangle=\langle\hat O\phi|\chi\rangle ⟨ ϕ ∣ O ^ † χ ⟩ = ⟨ O ^ ϕ ∣ χ ⟩ を ∣ ϕ ⟩ = ∣ χ ⟩ = ∣ ψ ⟩ |\phi\rangle=|\chi\rangle=|\psi\rangle ∣ ϕ ⟩ = ∣ χ ⟩ = ∣ ψ ⟩ に対して使うと
⟨ O ^ † O ^ ⟩ = ⟨ ψ ∣ O ^ † O ^ ∣ ψ ⟩ = ⟨ O ^ ψ ∣ O ^ ψ ⟩ = ∥ O ^ ∣ ψ ⟩ ∥ 2 ≥ 0 \langle\hat O^\dagger\hat O\rangle=\langle\psi|\hat O^\dagger\hat O|\psi\rangle=\langle\hat O\psi|\hat O\psi\rangle=\bigl\|\hat O|\psi\rangle\bigr\|^2\ge0 ⟨ O ^ † O ^ ⟩ = ⟨ ψ ∣ O ^ † O ^ ∣ ψ ⟩ = ⟨ O ^ ψ ∣ O ^ ψ ⟩ = O ^ ∣ ψ ⟩ 2 ≥ 0
となります。最後の不等号は内積の正定値性そのものです。等号が成り立つのは O ^ ∣ ψ ⟩ = 0 \hat O|\psi\rangle=0 O ^ ∣ ψ ⟩ = 0 のときに限ります。この事実は設問4で使います。
x ^ , p ^ \hat x,\hat p x ^ , p ^ はエルミートで ⟨ x ^ ⟩ , ⟨ p ^ ⟩ \langle\hat x\rangle,\langle\hat p\rangle ⟨ x ^ ⟩ , ⟨ p ^ ⟩ は実数なので、Δ x ^ , Δ p ^ \Delta\hat x,\Delta\hat p Δ x ^ , Δ p ^ もエルミートです。よって t t t が実数のとき
O ^ = t Δ x ^ − i Δ p ^ , O ^ † = t Δ x ^ + i Δ p ^ \hat O=t\Delta\hat x-i\Delta\hat p,\qquad \hat O^\dagger=t\Delta\hat x+i\Delta\hat p O ^ = t Δ x ^ − i Δ p ^ , O ^ † = t Δ x ^ + i Δ p ^
です。積を展開すると
O ^ † O ^ = t 2 ( Δ x ^ ) 2 + ( Δ p ^ ) 2 + i t ( Δ p ^ Δ x ^ − Δ x ^ Δ p ^ ) = t 2 ( Δ x ^ ) 2 + ( Δ p ^ ) 2 − i t [ Δ x ^ , Δ p ^ ] \hat O^\dagger\hat O=t^2(\Delta\hat x)^2+(\Delta\hat p)^2+it\bigl(\Delta\hat p\,\Delta\hat x-\Delta\hat x\,\Delta\hat p\bigr)
=t^2(\Delta\hat x)^2+(\Delta\hat p)^2-it[\Delta\hat x,\Delta\hat p] O ^ † O ^ = t 2 ( Δ x ^ ) 2 + ( Δ p ^ ) 2 + i t ( Δ p ^ Δ x ^ − Δ x ^ Δ p ^ ) = t 2 ( Δ x ^ ) 2 + ( Δ p ^ ) 2 − i t [ Δ x ^ , Δ p ^ ]
となります。定数(c 数)は交換子に寄与しないので [ Δ x ^ , Δ p ^ ] = [ x ^ , p ^ ] = i ℏ [\Delta\hat x,\Delta\hat p]=[\hat x,\hat p]=i\hbar [ Δ x ^ , Δ p ^ ] = [ x ^ , p ^ ] = i ℏ であり、
O ^ † O ^ = t 2 ( Δ x ^ ) 2 + ( Δ p ^ ) 2 + ℏ t \hat O^\dagger\hat O=t^2(\Delta\hat x)^2+(\Delta\hat p)^2+\hbar t O ^ † O ^ = t 2 ( Δ x ^ ) 2 + ( Δ p ^ ) 2 + ℏ t
を得ます。設問2の結果より、任意の実数 t t t に対して
F ( t ) ≡ ( Δ x ) 2 t 2 + ℏ t + ( Δ p ) 2 ≥ 0 F(t)\equiv(\Delta x)^2\,t^2+\hbar t+(\Delta p)^2\ge0 F ( t ) ≡ ( Δ x ) 2 t 2 + ℏ t + ( Δ p ) 2 ≥ 0
が成り立ちます。
ここで ( Δ x ) 2 > 0 (\Delta x)^2>0 ( Δ x ) 2 > 0 です。実際 ( Δ x ) 2 = 0 (\Delta x)^2=0 ( Δ x ) 2 = 0 なら F ( t ) = ℏ t + ( Δ p ) 2 F(t)=\hbar t+(\Delta p)^2 F ( t ) = ℏ t + ( Δ p ) 2 が t t t の1次関数になり、t t t を十分負にとれば負になってしまい上の不等式に反します。したがって F ( t ) F(t) F ( t ) は下に凸な2次関数で、それがすべての実数 t t t で非負であることは判別式が非正であることと同値です。
ℏ 2 − 4 ( Δ x ) 2 ( Δ p ) 2 ≤ 0 \hbar^2-4(\Delta x)^2(\Delta p)^2\le0 ℏ 2 − 4 ( Δ x ) 2 ( Δ p ) 2 ≤ 0
Δ x ≥ 0 , Δ p ≥ 0 \Delta x\ge0,\ \Delta p\ge0 Δ x ≥ 0 , Δ p ≥ 0 なので平方根をとって
Δ x Δ p ≥ ℏ 2 \Delta x\,\Delta p\ge\frac{\hbar}{2} Δ x Δ p ≥ 2 ℏ
が示されました。設問1のガウス波束はこの等号を満たしています。
条件は t < 0 t<0 t < 0 です。以下、x 0 ≡ ⟨ x ^ ⟩ x_0\equiv\langle\hat x\rangle x 0 ≡ ⟨ x ^ ⟩ 、p 0 ≡ ⟨ p ^ ⟩ p_0\equiv\langle\hat p\rangle p 0 ≡ ⟨ p ^ ⟩ と書きます。
O ^ \hat O O ^ の固有値 0 に属する固有状態を位置表示で求めます。O ^ ψ = 0 \hat O\psi=0 O ^ ψ = 0 は
t ( x − x 0 ) ψ − i ( − i ℏ d ψ d x − p 0 ψ ) = 0 ⟺ ℏ d ψ d x = [ t ( x − x 0 ) + i p 0 ] ψ t(x-x_0)\psi-i\left(-i\hbar\frac{d\psi}{dx}-p_0\psi\right)=0
\quad\Longleftrightarrow\quad
\hbar\frac{d\psi}{dx}=\bigl[t(x-x_0)+ip_0\bigr]\psi t ( x − x 0 ) ψ − i ( − i ℏ d x d ψ − p 0 ψ ) = 0 ⟺ ℏ d x d ψ = [ t ( x − x 0 ) + i p 0 ] ψ
と書けます。これは1階線形なので一意に積分でき
ψ ( x ) = C exp [ t ( x − x 0 ) 2 2 ℏ + i p 0 x ℏ ] \psi(x)=C\exp\left[\frac{t(x-x_0)^2}{2\hbar}+\frac{ip_0x}{\hbar}\right] ψ ( x ) = C exp [ 2ℏ t ( x − x 0 ) 2 + ℏ i p 0 x ]
です。∣ ψ ∣ 2 = ∣ C ∣ 2 exp [ t ( x − x 0 ) 2 / ℏ ] |\psi|^2=|C|^2\exp\bigl[t(x-x_0)^2/\hbar\bigr] ∣ ψ ∣ 2 = ∣ C ∣ 2 exp [ t ( x − x 0 ) 2 /ℏ ] が2乗可積分になるのは t < 0 t<0 t < 0 のときだけで、t = 0 t=0 t = 0 なら平面波、t > 0 t>0 t > 0 なら発散するガウス関数になって規格化できません。逆に t < 0 t<0 t < 0 ならこの関数は規格化可能で、しかもガウス分布の中心が x 0 x_0 x 0 、位相の勾配が p 0 / ℏ p_0/\hbar p 0 /ℏ であることから ⟨ x ^ ⟩ = x 0 \langle\hat x\rangle=x_0 ⟨ x ^ ⟩ = x 0 、⟨ p ^ ⟩ = p 0 \langle\hat p\rangle=p_0 ⟨ p ^ ⟩ = p 0 が自己整合的に成立します。よって O ^ \hat O O ^ が固有値 0 をもつ条件は t < 0 t<0 t < 0 です。
次に、その固有状態が不等式(1)の等号を満たすことを示します。O ^ ∣ ψ ⟩ = 0 \hat O|\psi\rangle=0 O ^ ∣ ψ ⟩ = 0 なら ⟨ O ^ † O ^ ⟩ = 0 \langle\hat O^\dagger\hat O\rangle=0 ⟨ O ^ † O ^ ⟩ = 0 、すなわち設問3の F ( t ) F(t) F ( t ) について
F ( t ) = ( Δ x ) 2 t 2 + ℏ t + ( Δ p ) 2 = 0 F(t)=(\Delta x)^2t^2+\hbar t+(\Delta p)^2=0 F ( t ) = ( Δ x ) 2 t 2 + ℏ t + ( Δ p ) 2 = 0
が実数解 t t t をもつことになります。実数解が存在するには判別式が非負でなければならないので
ℏ 2 − 4 ( Δ x ) 2 ( Δ p ) 2 ≥ 0 \hbar^2-4(\Delta x)^2(\Delta p)^2\ge0 ℏ 2 − 4 ( Δ x ) 2 ( Δ p ) 2 ≥ 0
です。一方で設問3はこの量が非正であることを示していました。両方が成り立つには等号しかなく
ℏ 2 = 4 ( Δ x ) 2 ( Δ p ) 2 ⟺ Δ x Δ p = ℏ 2 \hbar^2=4(\Delta x)^2(\Delta p)^2\quad\Longleftrightarrow\quad \Delta x\,\Delta p=\frac{\hbar}{2} ℏ 2 = 4 ( Δ x ) 2 ( Δ p ) 2 ⟺ Δ x Δ p = 2 ℏ
が結論されます。判別式が 0 なので解は重解 t = − ℏ / ( 2 ( Δ x ) 2 ) t=-\hbar/\bigl(2(\Delta x)^2\bigr) t = − ℏ/ ( 2 ( Δ x ) 2 ) に決まり、これは確かに負で、前半で得た条件 t < 0 t<0 t < 0 と整合します。
設問4の固有関数で t = − ℏ / ( 2 σ 2 ) t=-\hbar/(2\sigma^2) t = − ℏ/ ( 2 σ 2 ) 、σ ≡ Δ x \sigma\equiv\Delta x σ ≡ Δ x と置き換えると t / ( 2 ℏ ) = − 1 / ( 4 σ 2 ) t/(2\hbar)=-1/(4\sigma^2) t / ( 2ℏ ) = − 1/ ( 4 σ 2 ) なので
ψ ( x ) = C exp [ − ( x − x 0 ) 2 4 σ 2 + i p 0 x ℏ ] \psi(x)=C\exp\left[-\frac{(x-x_0)^2}{4\sigma^2}+\frac{ip_0x}{\hbar}\right] ψ ( x ) = C exp [ − 4 σ 2 ( x − x 0 ) 2 + ℏ i p 0 x ]
です。規格化は ∣ ψ ∣ 2 = ∣ C ∣ 2 e − ( x − x 0 ) 2 / ( 2 σ 2 ) |\psi|^2=|C|^2e^{-(x-x_0)^2/(2\sigma^2)} ∣ ψ ∣ 2 = ∣ C ∣ 2 e − ( x − x 0 ) 2 / ( 2 σ 2 ) に α = 1 / ( 2 σ 2 ) \alpha=1/(2\sigma^2) α = 1/ ( 2 σ 2 ) の積分公式を使って
1 = ∣ C ∣ 2 2 π σ 2 ⟹ ∣ C ∣ = ( 2 π σ 2 ) − 1 / 4 1=|C|^2\sqrt{2\pi\sigma^2}\quad\Longrightarrow\quad |C|=\bigl(2\pi\sigma^2\bigr)^{-1/4} 1 = ∣ C ∣ 2 2 π σ 2 ⟹ ∣ C ∣ = ( 2 π σ 2 ) − 1/4
と決まります(全体の位相は任意なので C C C を正の実数にとります)。答えは
ψ ( x ) = 1 ( 2 π σ 2 ) 1 / 4 exp [ − ( x − x 0 ) 2 4 σ 2 + i p 0 x ℏ ] , σ = Δ x = ℏ 2 ∣ t ∣ \psi(x)=\frac{1}{(2\pi\sigma^2)^{1/4}}\exp\left[-\frac{(x-x_0)^2}{4\sigma^2}+\frac{ip_0x}{\hbar}\right],
\qquad \sigma=\Delta x=\sqrt{\frac{\hbar}{2|t|}} ψ ( x ) = ( 2 π σ 2 ) 1/4 1 exp [ − 4 σ 2 ( x − x 0 ) 2 + ℏ i p 0 x ] , σ = Δ x = 2∣ t ∣ ℏ
です。x 0 = ⟨ x ^ ⟩ x_0=\langle\hat x\rangle x 0 = ⟨ x ^ ⟩ と p 0 = ⟨ p ^ ⟩ p_0=\langle\hat p\rangle p 0 = ⟨ p ^ ⟩ は任意の実定数で、最小不確定状態は任意の位置・任意の平均運動量を中心とするガウス波束の一群をなします。t t t で書けば
ψ ( x ) = ( ∣ t ∣ π ℏ ) 1 / 4 exp [ − ∣ t ∣ ( x − x 0 ) 2 2 ℏ + i p 0 x ℏ ] \psi(x)=\left(\frac{|t|}{\pi\hbar}\right)^{1/4}\exp\left[-\frac{|t|(x-x_0)^2}{2\hbar}+\frac{ip_0x}{\hbar}\right] ψ ( x ) = ( π ℏ ∣ t ∣ ) 1/4 exp [ − 2ℏ ∣ t ∣ ( x − x 0 ) 2 + ℏ i p 0 x ]
です。
検算します。この ψ \psi ψ に対して Δ p ^ ψ = − i ℏ ψ ′ − p 0 ψ = i ℏ ( x − x 0 ) 2 σ 2 ψ \Delta\hat p\,\psi=-i\hbar\psi'-p_0\psi=\dfrac{i\hbar(x-x_0)}{2\sigma^2}\psi Δ p ^ ψ = − i ℏ ψ ′ − p 0 ψ = 2 σ 2 i ℏ ( x − x 0 ) ψ なので
⟨ ( Δ p ^ ) 2 ⟩ = ℏ 2 4 σ 4 ⟨ ( x − x 0 ) 2 ⟩ = ℏ 2 4 σ 4 ⋅ σ 2 = ℏ 2 4 σ 2 \langle(\Delta\hat p)^2\rangle=\frac{\hbar^2}{4\sigma^4}\langle(x-x_0)^2\rangle=\frac{\hbar^2}{4\sigma^4}\cdot\sigma^2=\frac{\hbar^2}{4\sigma^2} ⟨( Δ p ^ ) 2 ⟩ = 4 σ 4 ℏ 2 ⟨( x − x 0 ) 2 ⟩ = 4 σ 4 ℏ 2 ⋅ σ 2 = 4 σ 2 ℏ 2
すなわち Δ p = ℏ / ( 2 σ ) \Delta p=\hbar/(2\sigma) Δ p = ℏ/ ( 2 σ ) で、Δ x Δ p = ℏ / 2 \Delta x\Delta p=\hbar/2 Δ x Δ p = ℏ/2 が確認できます。また x 0 = p 0 = 0 x_0=p_0=0 x 0 = p 0 = 0 、σ = a / 2 \sigma=a/\sqrt2 σ = a / 2 とすれば 4 σ 2 = 2 a 2 4\sigma^2=2a^2 4 σ 2 = 2 a 2 、( 2 π σ 2 ) − 1 / 4 = ( π a 2 ) − 1 / 4 (2\pi\sigma^2)^{-1/4}=(\pi a^2)^{-1/4} ( 2 π σ 2 ) − 1/4 = ( π a 2 ) − 1/4 となり、設問1の波動関数に一致します。
体積 V = L 3 V=L^3 V = L 3 の立方体に閉じ込められた、相互作用のない理想ボース気体を考えます。粒子の質量は m m m 、粒子数は N N N 、境界条件は周期境界条件です。一粒子ハミルトニアンは H ^ = − ℏ 2 2 m ∇ 2 \hat H=-\dfrac{\hbar^2}{2m}\nabla^2 H ^ = − 2 m ℏ 2 ∇ 2 で、基底状態のエネルギーを E = 0 E=0 E = 0 に選びます。温度を T T T 、化学ポテンシャルを μ ( μ ≤ 0 ) \mu\ (\mu\le0) μ ( μ ≤ 0 ) 、ボルツマン定数を k B k_{\mathrm B} k B とし、β = 1 / ( k B T ) \beta=1/(k_{\mathrm B}T) β = 1/ ( k B T ) と書きます。設問1から設問7はスピン 0、設問8以降はスピン S S S の場合です。
この問題は令和4年度 修士課程 専門科目 第2問と同一です。
固有値問題 − ℏ 2 2 m ∇ 2 Ψ = E Ψ -\dfrac{\hbar^2}{2m}\nabla^2\Psi=E\Psi − 2 m ℏ 2 ∇ 2 Ψ = E Ψ の解を平面波 Ψ ∝ e i k ⋅ r \Psi\propto e^{i\boldsymbol k\cdot\boldsymbol r} Ψ ∝ e i k ⋅ r にとります。周期境界条件 e i k x L = e i k y L = e i k z L = 1 e^{ik_xL}=e^{ik_yL}=e^{ik_zL}=1 e i k x L = e i k y L = e i k z L = 1 から波数が量子化され
k = 2 π L ( n x , n y , n z ) , n x , n y , n z ∈ Z \boldsymbol k=\frac{2\pi}{L}(n_x,n_y,n_z),\qquad n_x,n_y,n_z\in\mathbb{Z} k = L 2 π ( n x , n y , n z ) , n x , n y , n z ∈ Z
です。規格化 ∫ V ∣ Ψ ∣ 2 d 3 r = 1 \int_V|\Psi|^2d^3r=1 ∫ V ∣Ψ ∣ 2 d 3 r = 1 を課すと固有波動関数は
Ψ n ( x , y , z ) = 1 V exp [ 2 π i L ( n x x + n y y + n z z ) ] \Psi_{\boldsymbol n}(x,y,z)=\frac{1}{\sqrt{V}}\exp\left[\frac{2\pi i}{L}\left(n_xx+n_yy+n_zz\right)\right] Ψ n ( x , y , z ) = V 1 exp [ L 2 π i ( n x x + n y y + n z z ) ]
で、対応する固有エネルギーは
E n = ℏ 2 k 2 2 m = 2 π 2 ℏ 2 m L 2 ( n x 2 + n y 2 + n z 2 ) E_{\boldsymbol n}=\frac{\hbar^2\boldsymbol k^2}{2m}=\frac{2\pi^2\hbar^2}{mL^2}\left(n_x^2+n_y^2+n_z^2\right) E n = 2 m ℏ 2 k 2 = m L 2 2 π 2 ℏ 2 ( n x 2 + n y 2 + n z 2 )
です。n x = n y = n z = 0 n_x=n_y=n_z=0 n x = n y = n z = 0 が基底状態で、そのエネルギーは自動的に E = 0 E=0 E = 0 となり、問題の設定と整合します。整数の3つ組 ( n x , n y , n z ) (n_x,n_y,n_z) ( n x , n y , n z ) をすべて走らせたものが求める全ての一粒子固有状態で、同じ n x 2 + n y 2 + n z 2 n_x^2+n_y^2+n_z^2 n x 2 + n y 2 + n z 2 を与える組はすべて縮退しています。
μ ≤ 0 ≤ E i \mu\le0\le E_i μ ≤ 0 ≤ E i なので E i − μ ≥ 0 E_i-\mu\ge0 E i − μ ≥ 0 で、公比 y ≡ e − β ( E i − μ ) y\equiv e^{-\beta(E_i-\mu)} y ≡ e − β ( E i − μ ) は 0 < y ≤ 1 0<y\le1 0 < y ≤ 1 です。E i − μ > 0 E_i-\mu>0 E i − μ > 0 の場合に等比級数が収束して
Ξ i = ∑ n i = 0 ∞ y n i = 1 1 − y \Xi_i=\sum_{n_i=0}^{\infty}y^{n_i}=\frac{1}{1-y} Ξ i = n i = 0 ∑ ∞ y n i = 1 − y 1
となります。大分配関数のもとで状態 i i i の占有数が n i n_i n i である確率は
P ( n i ) = 1 Ξ i e − β ( E i − μ ) n i = y n i Ξ i P(n_i)=\frac{1}{\Xi_i}e^{-\beta(E_i-\mu)n_i}=\frac{y^{n_i}}{\Xi_i} P ( n i ) = Ξ i 1 e − β ( E i − μ ) n i = Ξ i y n i
です。平均占有数は ∑ n ≥ 0 n y n = y / ( 1 − y ) 2 \sum_{n\ge0}ny^n=y/(1-y)^2 ∑ n ≥ 0 n y n = y / ( 1 − y ) 2 を使って
f ( E i , μ ) = ∑ n i = 0 ∞ n i P ( n i ) = 1 Ξ i ⋅ y ( 1 − y ) 2 = ( 1 − y ) ⋅ y ( 1 − y ) 2 = y 1 − y = 1 y − 1 − 1 f(E_i,\mu)=\sum_{n_i=0}^{\infty}n_iP(n_i)=\frac{1}{\Xi_i}\cdot\frac{y}{(1-y)^2}=(1-y)\cdot\frac{y}{(1-y)^2}=\frac{y}{1-y}=\frac{1}{y^{-1}-1} f ( E i , μ ) = n i = 0 ∑ ∞ n i P ( n i ) = Ξ i 1 ⋅ ( 1 − y ) 2 y = ( 1 − y ) ⋅ ( 1 − y ) 2 y = 1 − y y = y − 1 − 1 1
となります。y − 1 = e β ( E i − μ ) y^{-1}=e^{\beta(E_i-\mu)} y − 1 = e β ( E i − μ ) を戻して答えは
f ( E i , μ ) = 1 exp [ E i − μ k B T ] − 1 f(E_i,\mu)=\frac{1}{\exp\left[\dfrac{E_i-\mu}{k_{\mathrm B}T}\right]-1} f ( E i , μ ) = exp [ k B T E i − μ ] − 1 1
です。同じ結果は f = k B T ∂ ln Ξ i / ∂ μ f=k_{\mathrm B}T\,\partial\ln\Xi_i/\partial\mu f = k B T ∂ ln Ξ i / ∂ μ からも得られます。E i − μ ≫ k B T E_i-\mu\gg k_{\mathrm B}T E i − μ ≫ k B T でボルツマン分布 e − β ( E i − μ ) e^{-\beta(E_i-\mu)} e − β ( E i − μ ) に帰着し、E i − μ → + 0 E_i-\mu\to+0 E i − μ → + 0 で発散するという振る舞いが、以下の凝縮の議論の要になります。
L L L が大きいとき k \boldsymbol k k 空間では体積 ( 2 π / L ) 3 (2\pi/L)^3 ( 2 π / L ) 3 ごとに1状態あるので、k \boldsymbol k k 空間の状態密度は V / ( 2 π ) 3 V/(2\pi)^3 V / ( 2 π ) 3 です。∣ k ∣ ≤ k |\boldsymbol k|\le k ∣ k ∣ ≤ k の状態数は
Ω = V ( 2 π ) 3 ⋅ 4 π k 3 3 = V k 3 6 π 2 \Omega=\frac{V}{(2\pi)^3}\cdot\frac{4\pi k^3}{3}=\frac{Vk^3}{6\pi^2} Ω = ( 2 π ) 3 V ⋅ 3 4 π k 3 = 6 π 2 V k 3
で、E = ℏ 2 k 2 / ( 2 m ) E=\hbar^2k^2/(2m) E = ℏ 2 k 2 / ( 2 m ) すなわち k = 2 m E / ℏ k=\sqrt{2mE}/\hbar k = 2 m E /ℏ を代入すると
Ω ( E ) = V 6 π 2 ( 2 m E ℏ 2 ) 3 / 2 \Omega(E)=\frac{V}{6\pi^2}\left(\frac{2mE}{\hbar^2}\right)^{3/2} Ω ( E ) = 6 π 2 V ( ℏ 2 2 m E ) 3/2
です。微分して
D ( E ) = d Ω d E = V 4 π 2 ( 2 m ℏ 2 ) 3 / 2 E D(E)=\frac{d\Omega}{dE}=\frac{V}{4\pi^2}\left(\frac{2m}{\hbar^2}\right)^{3/2}\sqrt{E} D ( E ) = d E d Ω = 4 π 2 V ( ℏ 2 2 m ) 3/2 E
を得ます。ℏ 2 / ( 2 m ) \hbar^2/(2m) ℏ 2 / ( 2 m ) は(エネルギー)× \times × (長さ)2 ^2 2 の次元をもつので、V ( 2 m / ℏ 2 ) 3 / 2 E V(2m/\hbar^2)^{3/2}\sqrt E V ( 2 m / ℏ 2 ) 3/2 E は(エネルギー)− 1 ^{-1} − 1 となり、状態密度として正しい次元です。
μ = 0 \mu=0 μ = 0 とおくと
∫ 0 ∞ f ( E , 0 ) D ( E ) d E = V 4 π 2 ( 2 m ℏ 2 ) 3 / 2 ∫ 0 ∞ E e E / k B T − 1 d E \int_0^{\infty}f(E,0)D(E)dE=\frac{V}{4\pi^2}\left(\frac{2m}{\hbar^2}\right)^{3/2}\int_0^{\infty}\frac{\sqrt E}{e^{E/k_{\mathrm B}T}-1}dE ∫ 0 ∞ f ( E , 0 ) D ( E ) d E = 4 π 2 V ( ℏ 2 2 m ) 3/2 ∫ 0 ∞ e E / k B T − 1 E d E
です。x = E / ( k B T ) x=E/(k_{\mathrm B}T) x = E / ( k B T ) と変数変換すると E d E = ( k B T ) 3 / 2 x d x \sqrt E\,dE=(k_{\mathrm B}T)^{3/2}\sqrt x\,dx E d E = ( k B T ) 3/2 x d x なので
∫ 0 ∞ f ( E , 0 ) D ( E ) d E = V 4 π 2 ( 2 m k B T ℏ 2 ) 3 / 2 ∫ 0 ∞ x e x − 1 d x \int_0^{\infty}f(E,0)D(E)dE=\frac{V}{4\pi^2}\left(\frac{2mk_{\mathrm B}T}{\hbar^2}\right)^{3/2}\int_0^{\infty}\frac{\sqrt x}{e^x-1}dx ∫ 0 ∞ f ( E , 0 ) D ( E ) d E = 4 π 2 V ( ℏ 2 2 m k B T ) 3/2 ∫ 0 ∞ e x − 1 x d x
となり、与えられた公式 ∫ 0 ∞ x e x − 1 d x = π 2 ζ ( 3 / 2 ) \displaystyle\int_0^\infty\frac{\sqrt x}{e^x-1}dx=\frac{\sqrt\pi}{2}\zeta(3/2) ∫ 0 ∞ e x − 1 x d x = 2 π ζ ( 3/2 ) を使えます。( 2 m / ℏ 2 ) 3 / 2 = 8 π 3 / 2 ( m / ( 2 π ℏ 2 ) ) 3 / 2 (2m/\hbar^2)^{3/2}=8\pi^{3/2}\bigl(m/(2\pi\hbar^2)\bigr)^{3/2} ( 2 m / ℏ 2 ) 3/2 = 8 π 3/2 ( m / ( 2 π ℏ 2 ) ) 3/2 を用いて整理すると
∫ 0 ∞ f ( E , 0 ) D ( E ) d E = V ζ ( 3 2 ) ( m k B T 2 π ℏ 2 ) 3 / 2 = V λ T 3 ζ ( 3 2 ) \int_0^{\infty}f(E,0)D(E)dE=V\,\zeta\!\left(\frac{3}{2}\right)\left(\frac{mk_{\mathrm B}T}{2\pi\hbar^2}\right)^{3/2}=\frac{V}{\lambda_T^3}\zeta\!\left(\frac{3}{2}\right) ∫ 0 ∞ f ( E , 0 ) D ( E ) d E = V ζ ( 2 3 ) ( 2 π ℏ 2 m k B T ) 3/2 = λ T 3 V ζ ( 2 3 )
です。ここで λ T = 2 π ℏ 2 / ( m k B T ) \lambda_T=\sqrt{2\pi\hbar^2/(mk_{\mathrm B}T)} λ T = 2 π ℏ 2 / ( m k B T ) は熱的ド・ブロイ波長、ζ ( 3 / 2 ) = 2.612 \zeta(3/2)=2.612 ζ ( 3/2 ) = 2.612 です。これが式(1)の右辺が μ ≤ 0 \mu\le0 μ ≤ 0 の範囲でとりうる最大値で、有限の値にとどまることが要点です。
右辺は μ \mu μ の単調増加関数なので、N N N を保ったまま温度を下げていくと μ \mu μ は上昇し、μ = 0 \mu=0 μ = 0 で上限に達します。式(1)が μ = 0 \mu=0 μ = 0 でちょうど N N N を与える温度が T c T_{\mathrm c} T c です。設問4の結果を使って
N = V ζ ( 3 2 ) ( m k B T c 2 π ℏ 2 ) 3 / 2 N=V\zeta\!\left(\frac{3}{2}\right)\left(\frac{mk_{\mathrm B}T_{\mathrm c}}{2\pi\hbar^2}\right)^{3/2} N = V ζ ( 2 3 ) ( 2 π ℏ 2 m k B T c ) 3/2
これを解いて
T c = 2 π ℏ 2 m k B ( N V ζ ( 3 / 2 ) ) 2 / 3 T_{\mathrm c}=\frac{2\pi\hbar^2}{mk_{\mathrm B}}\left(\frac{N}{V\zeta(3/2)}\right)^{2/3} T c = m k B 2 π ℏ 2 ( V ζ ( 3/2 ) N ) 2/3
が答えです。T < T c T<T_{\mathrm c} T < T c では式(1)だけでは N N N 個の粒子を収容できず、余りが E = 0 E=0 E = 0 の一粒子状態に落ちます。ℏ 2 / ( m k B ) \hbar^2/(mk_{\mathrm B}) ℏ 2 / ( m k B ) が温度と面積の積の次元をもち、( N / V ) 2 / 3 (N/V)^{2/3} ( N / V ) 2/3 が面積の逆数の次元をもつので、右辺は確かに温度の次元です。粒子密度 N / V N/V N / V が大きいほど、また質量が軽いほど T c T_{\mathrm c} T c が高いという常識的な依存性も見えます。
T < T c T<T_{\mathrm c} T < T c では μ = 0 \mu=0 μ = 0 なので、励起状態にある粒子数は設問4の結果そのままで
∫ 0 ∞ f ( E , 0 ) D ( E ) d E = V ζ ( 3 2 ) ( m k B T 2 π ℏ 2 ) 3 / 2 = N ( T T c ) 3 / 2 \int_0^{\infty}f(E,0)D(E)dE=V\zeta\!\left(\frac{3}{2}\right)\left(\frac{mk_{\mathrm B}T}{2\pi\hbar^2}\right)^{3/2}=N\left(\frac{T}{T_{\mathrm c}}\right)^{3/2} ∫ 0 ∞ f ( E , 0 ) D ( E ) d E = V ζ ( 2 3 ) ( 2 π ℏ 2 m k B T ) 3/2 = N ( T c T ) 3/2
です(最後の等号で設問5の T c T_{\mathrm c} T c の定義式を使いました)。N = N 0 + N ( T / T c ) 3 / 2 N=N_0+N(T/T_{\mathrm c})^{3/2} N = N 0 + N ( T / T c ) 3/2 より
N 0 = N [ 1 − ( T T c ) 3 / 2 ] N_0=N\left[1-\left(\frac{T}{T_{\mathrm c}}\right)^{3/2}\right] N 0 = N [ 1 − ( T c T ) 3/2 ]
が答えです。T = T c T=T_{\mathrm c} T = T c で N 0 = 0 N_0=0 N 0 = 0 、T → 0 T\to0 T → 0 で N 0 → N N_0\to N N 0 → N となり、期待される極限を再現します。
T < T c T<T_{\mathrm c} T < T c では μ = 0 \mu=0 μ = 0 に固定されます。E = 0 E=0 E = 0 の凝縮体はエネルギーを持たないので、全エネルギーは励起状態からの寄与だけです。
E t o t = ∫ 0 ∞ E f ( E , 0 ) D ( E ) d E = V 4 π 2 ( 2 m ℏ 2 ) 3 / 2 ∫ 0 ∞ E 3 / 2 e E / k B T − 1 d E E_{\mathrm{tot}}=\int_0^{\infty}E\,f(E,0)D(E)dE=\frac{V}{4\pi^2}\left(\frac{2m}{\hbar^2}\right)^{3/2}\int_0^{\infty}\frac{E^{3/2}}{e^{E/k_{\mathrm B}T}-1}dE E tot = ∫ 0 ∞ E f ( E , 0 ) D ( E ) d E = 4 π 2 V ( ℏ 2 2 m ) 3/2 ∫ 0 ∞ e E / k B T − 1 E 3/2 d E
x = E / ( k B T ) x=E/(k_{\mathrm B}T) x = E / ( k B T ) とすると
E t o t = V 4 π 2 ( 2 m ℏ 2 ) 3 / 2 ( k B T ) 5 / 2 ∫ 0 ∞ x 3 / 2 e x − 1 d x E_{\mathrm{tot}}=\frac{V}{4\pi^2}\left(\frac{2m}{\hbar^2}\right)^{3/2}(k_{\mathrm B}T)^{5/2}\int_0^{\infty}\frac{x^{3/2}}{e^x-1}dx E tot = 4 π 2 V ( ℏ 2 2 m ) 3/2 ( k B T ) 5/2 ∫ 0 ∞ e x − 1 x 3/2 d x
で、残った積分は T T T に依らない純粋な数 Γ ( 5 / 2 ) ζ ( 5 / 2 ) = 3 π 4 ζ ( 5 / 2 ) \Gamma(5/2)\zeta(5/2)=\frac{3\sqrt\pi}{4}\zeta(5/2) Γ ( 5/2 ) ζ ( 5/2 ) = 4 3 π ζ ( 5/2 ) です。μ \mu μ が T T T に依存しないおかげで温度依存性が T 5 / 2 T^{5/2} T 5/2 に純化する点が肝心で
E t o t ∝ T 5 / 2 ⟹ C V = ∂ E t o t ∂ T ∣ N , V = 5 2 E t o t T ∝ T 3 / 2 E_{\mathrm{tot}}\propto T^{5/2}\quad\Longrightarrow\quad C_V=\left.\frac{\partial E_{\mathrm{tot}}}{\partial T}\right|_{N,V}=\frac{5}{2}\frac{E_{\mathrm{tot}}}{T}\propto T^{3/2} E tot ∝ T 5/2 ⟹ C V = ∂ T ∂ E tot N , V = 2 5 T E tot ∝ T 3/2
となります。よって答えは γ = 3 / 2 \gamma=3/2 γ = 3/2 です。
係数まで書くと、Γ ( 5 / 2 ) / Γ ( 3 / 2 ) = 3 / 2 \Gamma(5/2)/\Gamma(3/2)=3/2 Γ ( 5/2 ) /Γ ( 3/2 ) = 3/2 と設問5の T c T_{\mathrm c} T c の式を使って
E t o t = 3 ζ ( 5 / 2 ) 2 ζ ( 3 / 2 ) N k B T ( T T c ) 3 / 2 , C V = 15 ζ ( 5 / 2 ) 4 ζ ( 3 / 2 ) N k B ( T T c ) 3 / 2 E_{\mathrm{tot}}=\frac{3\zeta(5/2)}{2\zeta(3/2)}Nk_{\mathrm B}T\left(\frac{T}{T_{\mathrm c}}\right)^{3/2},
\qquad
C_V=\frac{15\zeta(5/2)}{4\zeta(3/2)}Nk_{\mathrm B}\left(\frac{T}{T_{\mathrm c}}\right)^{3/2} E tot = 2 ζ ( 3/2 ) 3 ζ ( 5/2 ) N k B T ( T c T ) 3/2 , C V = 4 ζ ( 3/2 ) 15 ζ ( 5/2 ) N k B ( T c T ) 3/2
すなわち a = 15 ζ ( 5 / 2 ) 4 ζ ( 3 / 2 ) N k B T c 3 / 2 ≃ 1.93 N k B T c − 3 / 2 a=\dfrac{15\zeta(5/2)}{4\zeta(3/2)}\dfrac{Nk_{\mathrm B}}{T_{\mathrm c}^{3/2}}\simeq1.93\,Nk_{\mathrm B}T_{\mathrm c}^{-3/2} a = 4 ζ ( 3/2 ) 15 ζ ( 5/2 ) T c 3/2 N k B ≃ 1.93 N k B T c − 3/2 です。T → 0 T\to0 T → 0 で C V → 0 C_V\to0 C V → 0 となり熱力学第三法則を満たします。
スピン S S S のボース粒子は各運動量状態が m z = − S , … , S m_z=-S,\dots,S m z = − S , … , S の 2 S + 1 2S+1 2 S + 1 重に縮退します。外部磁場がなければこの縮退はエネルギーを変えないので、状態密度は 2 S + 1 2S+1 2 S + 1 倍になります。
D ( E ) = ( 2 S + 1 ) V 4 π 2 ( 2 m ℏ 2 ) 3 / 2 E D(E)=(2S+1)\frac{V}{4\pi^2}\left(\frac{2m}{\hbar^2}\right)^{3/2}\sqrt{E} D ( E ) = ( 2 S + 1 ) 4 π 2 V ( ℏ 2 2 m ) 3/2 E
転移温度は設問5と同じ手順で
N = ( 2 S + 1 ) V ζ ( 3 2 ) ( m k B T c ′ 2 π ℏ 2 ) 3 / 2 N=(2S+1)V\zeta\!\left(\frac{3}{2}\right)\left(\frac{mk_{\mathrm B}T_{\mathrm c}'}{2\pi\hbar^2}\right)^{3/2} N = ( 2 S + 1 ) V ζ ( 2 3 ) ( 2 π ℏ 2 m k B T c ′ ) 3/2
から
T c ′ = 2 π ℏ 2 m k B ( N ( 2 S + 1 ) V ζ ( 3 / 2 ) ) 2 / 3 = T c ( 2 S + 1 ) 2 / 3 T_{\mathrm c}'=\frac{2\pi\hbar^2}{mk_{\mathrm B}}\left(\frac{N}{(2S+1)V\zeta(3/2)}\right)^{2/3}=\frac{T_{\mathrm c}}{(2S+1)^{2/3}} T c ′ = m k B 2 π ℏ 2 ( ( 2 S + 1 ) V ζ ( 3/2 ) N ) 2/3 = ( 2 S + 1 ) 2/3 T c
です。スピン自由度が増えるほど粒子を収容できる励起状態が増えるので、凝縮の開始温度は下がります。
一粒子エネルギーはゼーマン項を含めて
ε ( k , m z ) = ℏ 2 k 2 2 m − c m z B , m z = − S , − S + 1 , … , S \varepsilon(\boldsymbol k,m_z)=\frac{\hbar^2\boldsymbol k^2}{2m}-cm_zB,\qquad m_z=-S,-S+1,\dots,S ε ( k , m z ) = 2 m ℏ 2 k 2 − c m z B , m z = − S , − S + 1 , … , S
となります。最低エネルギーは k = 0 , m z = S \boldsymbol k=0,\ m_z=S k = 0 , m z = S の状態がもつ − c S B -cSB − c S B で、凝縮はこの1状態に起こります。ボース分布関数がすべての状態で正であるためには μ < − c S B \mu<-cSB μ < − c S B が必要で、転移点はその上限 μ = − c S B \mu=-cSB μ = − c S B に達したところです。したがって E = ℏ 2 k 2 / ( 2 m ) E=\hbar^2\boldsymbol k^2/(2m) E = ℏ 2 k 2 / ( 2 m ) を運動エネルギーとして、T c ′ T_{\mathrm c}' T c ′ を決める方程式は、μ = − c S B \mu=-cSB μ = − c S B のとき励起状態の粒子数の総和が N N N に等しいという条件
N = V 4 π 2 ( 2 m ℏ 2 ) 3 / 2 ∑ m z = − S S ∫ 0 ∞ d E E exp [ E + c ( S − m z ) B k B T c ′ ] − 1 N=\frac{V}{4\pi^2}\left(\frac{2m}{\hbar^2}\right)^{3/2}\sum_{m_z=-S}^{S}\int_0^{\infty}dE\,
\frac{\sqrt{E}}{\exp\left[\dfrac{E+c(S-m_z)B}{k_{\mathrm B}T_{\mathrm c}'}\right]-1} N = 4 π 2 V ( ℏ 2 2 m ) 3/2 m z = − S ∑ S ∫ 0 ∞ d E exp [ k B T c ′ E + c ( S − m z ) B ] − 1 E
です。x = E / ( k B T c ′ ) x=E/(k_{\mathrm B}T_{\mathrm c}') x = E / ( k B T c ′ ) 、j = S − m z j=S-m_z j = S − m z と書き直すと、無次元化した形
N = V ( m k B T c ′ 2 π ℏ 2 ) 3 / 2 ∑ j = 0 2 S G ( j c B k B T c ′ ) , G ( δ ) ≡ 2 π ∫ 0 ∞ d x x e x + δ − 1 N=V\left(\frac{mk_{\mathrm B}T_{\mathrm c}'}{2\pi\hbar^2}\right)^{3/2}\sum_{j=0}^{2S}G\!\left(\frac{jcB}{k_{\mathrm B}T_{\mathrm c}'}\right),
\qquad
G(\delta)\equiv\frac{2}{\sqrt\pi}\int_0^{\infty}dx\,\frac{\sqrt x}{e^{x+\delta}-1} N = V ( 2 π ℏ 2 m k B T c ′ ) 3/2 j = 0 ∑ 2 S G ( k B T c ′ j c B ) , G ( δ ) ≡ π 2 ∫ 0 ∞ d x e x + δ − 1 x
になります。B = 0 B=0 B = 0 では G ( 0 ) = ζ ( 3 / 2 ) G(0)=\zeta(3/2) G ( 0 ) = ζ ( 3/2 ) なので設問8の結果に一致します。以下ではこの T c ′ T_{\mathrm c}' T c ′ を B B B の関数と見て、B = 0 B=0 B = 0 での値を T c ′ ( 0 ) = T c / ( 2 S + 1 ) 2 / 3 T_{\mathrm c}'(0)=T_{\mathrm c}/(2S+1)^{2/3} T c ′ ( 0 ) = T c / ( 2 S + 1 ) 2/3 と書きます。
G ( δ ) G(\delta) G ( δ ) は δ \delta δ の単調減少関数です。したがって T T T を固定して B B B を上げると設問9の右辺は減り、N N N を一定に保つには T c ′ T_{\mathrm c}' T c ′ が上がらねばなりません。つまり T c ′ T_{\mathrm c}' T c ′ は B B B の単調増加関数です。
c B ≫ k B T c ′ cB\gg k_{\mathrm B}T_{\mathrm c}' c B ≫ k B T c ′ の極限を見ます。j ≥ 1 j\ge1 j ≥ 1 の項では δ = j c B / ( k B T c ′ ) ≫ 1 \delta=jcB/(k_{\mathrm B}T_{\mathrm c}')\gg1 δ = j c B / ( k B T c ′ ) ≫ 1 なので e x + δ ≫ 1 e^{x+\delta}\gg1 e x + δ ≫ 1 とでき、与えられた公式 2 π ∫ 0 ∞ x e − x d x = 1 \dfrac{2}{\sqrt\pi}\displaystyle\int_0^{\infty}\sqrt x\,e^{-x}dx=1 π 2 ∫ 0 ∞ x e − x d x = 1 を使って
G ( δ ) ≃ 2 π ∫ 0 ∞ x e − x − δ d x = e − δ G(\delta)\simeq\frac{2}{\sqrt\pi}\int_0^{\infty}\sqrt x\,e^{-x-\delta}dx=e^{-\delta} G ( δ ) ≃ π 2 ∫ 0 ∞ x e − x − δ d x = e − δ
と評価できます。よって
N = V ( m k B T c ′ 2 π ℏ 2 ) 3 / 2 [ ζ ( 3 2 ) + ∑ j = 1 2 S e − j c B / ( k B T c ′ ) ] N=V\left(\frac{mk_{\mathrm B}T_{\mathrm c}'}{2\pi\hbar^2}\right)^{3/2}\left[\zeta\!\left(\frac{3}{2}\right)+\sum_{j=1}^{2S}e^{-jcB/(k_{\mathrm B}T_{\mathrm c}')}\right] N = V ( 2 π ℏ 2 m k B T c ′ ) 3/2 [ ζ ( 2 3 ) + j = 1 ∑ 2 S e − j c B / ( k B T c ′ ) ]
となり、指数関数的に小さい項を落とせば
N = V ζ ( 3 2 ) ( m k B T c ′ 2 π ℏ 2 ) 3 / 2 ⟹ T c ′ → T c = ( 2 S + 1 ) 2 / 3 T c ′ ( 0 ) N=V\zeta\!\left(\frac{3}{2}\right)\left(\frac{mk_{\mathrm B}T_{\mathrm c}'}{2\pi\hbar^2}\right)^{3/2}
\quad\Longrightarrow\quad
T_{\mathrm c}'\to T_{\mathrm c}=(2S+1)^{2/3}\,T_{\mathrm c}'(0) N = V ζ ( 2 3 ) ( 2 π ℏ 2 m k B T c ′ ) 3/2 ⟹ T c ′ → T c = ( 2 S + 1 ) 2/3 T c ′ ( 0 )
です。すなわち強磁場では T c ′ T_{\mathrm c}' T c ′ は飽和し、その値はスピンをもたない気体(設問5)の転移温度 T c T_{\mathrm c} T c に一致します。物理的には、ゼーマン分裂が熱エネルギーより大きくなると m z = S m_z=S m z = S 以外のスピン成分が熱的に占有されなくなり、気体は実質的に1成分の気体として振る舞うためです。補正項は正なので、T c ′ T_{\mathrm c}' T c ′ は T c T_{\mathrm c} T c に下から漸近し、その差は相対的に e − c B / ( k B T c ) e^{-cB/(k_{\mathrm B}T_{\mathrm c})} e − c B / ( k B T c ) 程度です。
図示すべき概略は次の通りです。横軸を B ( ≥ 0 ) B\ (\ge0) B ( ≥ 0 ) 、縦軸を T c ′ T_{\mathrm c}' T c ′ とすると、曲線は B = 0 B=0 B = 0 の切片 T c ′ ( 0 ) = T c / ( 2 S + 1 ) 2 / 3 T_{\mathrm c}'(0)=T_{\mathrm c}/(2S+1)^{2/3} T c ′ ( 0 ) = T c / ( 2 S + 1 ) 2/3 から出発し、単調増加で上に凸(増加率が減っていく形)、c B ∼ k B T c ′ ( 0 ) cB\sim k_{\mathrm B}T_{\mathrm c}'(0) c B ∼ k B T c ′ ( 0 ) を境に立ち上がりから飽和へ移り、水平漸近線 T c ′ = T c = ( 2 S + 1 ) 2 / 3 T c ′ ( 0 ) T_{\mathrm c}'=T_{\mathrm c}=(2S+1)^{2/3}T_{\mathrm c}'(0) T c ′ = T c = ( 2 S + 1 ) 2/3 T c ′ ( 0 ) に下から近づきます。飽和値と切片の比は ( 2 S + 1 ) 2 / 3 (2S+1)^{2/3} ( 2 S + 1 ) 2/3 で、S = 0 S=0 S = 0 なら曲線は水平直線になります。なお B → + 0 B\to+0 B → + 0 での立ち上がりは G ( δ ) = ζ ( 3 / 2 ) − 2 π δ + O ( δ ) G(\delta)=\zeta(3/2)-2\sqrt{\pi\delta}+O(\delta) G ( δ ) = ζ ( 3/2 ) − 2 π δ + O ( δ ) という非解析的な振る舞いのため T c ′ − T c ′ ( 0 ) ∝ B T_{\mathrm c}'-T_{\mathrm c}'(0)\propto\sqrt B T c ′ − T c ′ ( 0 ) ∝ B となり、原点での接線は垂直です。
Tc’ Tc Tc’(0) B
z < 0 z<0 z < 0 と z > 0 z>0 z > 0 に誘電率の異なる媒質が詰まっていて、境界は z = 0 z=0 z = 0 の平面です。電磁波の速さは z < 0 z<0 z < 0 で v v v 、z > 0 z>0 z > 0 で 2 v 2v 2 v 、透磁率 μ \mu μ は両側で等しいとします。Maxwell 方程式は
∇ × E = − ∂ B ∂ t , ∇ × ( B μ ) = ∂ ( ε E ) ∂ t , ∇ ⋅ ( ε E ) = 0 , ∇ ⋅ B = 0 \nabla\times\boldsymbol E=-\frac{\partial\boldsymbol B}{\partial t},\qquad
\nabla\times\left(\frac{\boldsymbol B}{\mu}\right)=\frac{\partial(\varepsilon\boldsymbol E)}{\partial t},\qquad
\nabla\cdot(\varepsilon\boldsymbol E)=0,\qquad
\nabla\cdot\boldsymbol B=0 ∇ × E = − ∂ t ∂ B , ∇ × ( μ B ) = ∂ t ∂ ( ε E ) , ∇ ⋅ ( ε E ) = 0 , ∇ ⋅ B = 0
で、境界面で E \boldsymbol E E と B \boldsymbol B B の接線成分が連続であることを使ってよいとされています(μ \mu μ が共通なので H \boldsymbol H H の接線成分の連続と B \boldsymbol B B の接線成分の連続は同じことです)。
この問題は令和4年度 修士課程 専門科目 第3問と同一です。
以下の3つの場面で共通に使う関係を先に用意します。振幅 E E E の直線偏光平面波 E = ( 0 , E cos ( k ⋅ r − ω t ) , 0 ) \boldsymbol E=(0,E\cos(\boldsymbol k\cdot\boldsymbol r-\omega t),0) E = ( 0 , E cos ( k ⋅ r − ω t ) , 0 ) に対して、∇ × E \nabla\times\boldsymbol E ∇ × E の各成分は
( ∇ × E ) x = − ∂ z E y = E k z sin ( k ⋅ r − ω t ) , ( ∇ × E ) z = ∂ x E y = − E k x sin ( k ⋅ r − ω t ) (\nabla\times\boldsymbol E)_x=-\partial_zE_y=Ek_z\sin(\boldsymbol k\cdot\boldsymbol r-\omega t),\qquad
(\nabla\times\boldsymbol E)_z=\partial_xE_y=-Ek_x\sin(\boldsymbol k\cdot\boldsymbol r-\omega t) ( ∇ × E ) x = − ∂ z E y = E k z sin ( k ⋅ r − ω t ) , ( ∇ × E ) z = ∂ x E y = − E k x sin ( k ⋅ r − ω t )
(y y y 成分は 0)なので、B = b cos ( k ⋅ r − ω t ) \boldsymbol B=\boldsymbol b\cos(\boldsymbol k\cdot\boldsymbol r-\omega t) B = b cos ( k ⋅ r − ω t ) と置いて第1式に代入すると
B = k × E ω = E ω ( − k z , 0 , k x ) cos ( k ⋅ r − ω t ) \boldsymbol B=\frac{\boldsymbol k\times\boldsymbol E}{\omega}=\frac{E}{\omega}\left(-k_z,\,0,\,k_x\right)\cos(\boldsymbol k\cdot\boldsymbol r-\omega t) B = ω k × E = ω E ( − k z , 0 , k x ) cos ( k ⋅ r − ω t )
を得ます。接線成分は B x = − E k z / ω B_x=-Ek_z/\omega B x = − E k z / ω を振幅とする波なので、境界条件は E y E_y E y の連続と E k z Ek_z E k z の連続の2本に集約されます。
E 1 = ( 0 , E 0 cos ( k z − ω t ) , 0 ) \boldsymbol E_1=(0,E_0\cos(kz-\omega t),0) E 1 = ( 0 , E 0 cos ( k z − ω t ) , 0 ) は k = ( 0 , 0 , k ) \boldsymbol k=(0,0,k) k = ( 0 , 0 , k ) の場合です。上の一般式に k x = 0 , k z = k k_x=0,\ k_z=k k x = 0 , k z = k を入れ、ω = v k \omega=vk ω = v k を使うと
B 0 = E 0 ω ( − k , 0 , 0 ) = ( − E 0 v , 0 , 0 ) \boldsymbol B_0=\frac{E_0}{\omega}(-k,0,0)=\left(-\frac{E_0}{v},\,0,\,0\right) B 0 = ω E 0 ( − k , 0 , 0 ) = ( − v E 0 , 0 , 0 )
が答えです。直接確認すると、∇ × E 1 = ( k E 0 sin ( k z − ω t ) , 0 , 0 ) \nabla\times\boldsymbol E_1=(kE_0\sin(kz-\omega t),0,0) ∇ × E 1 = ( k E 0 sin ( k z − ω t ) , 0 , 0 ) 、− ∂ B 1 / ∂ t = − ω B 0 sin ( k z − ω t ) -\partial\boldsymbol B_1/\partial t=-\omega\boldsymbol B_0\sin(kz-\omega t) − ∂ B 1 / ∂ t = − ω B 0 sin ( k z − ω t ) で、両者が等しいことから B 0 = − ( k / ω ) E 0 x ^ \boldsymbol B_0=-(k/\omega)E_0\hat x B 0 = − ( k / ω ) E 0 x ^ が出ます。E × B ∝ y ^ × ( − x ^ ) = + z ^ \boldsymbol E\times\boldsymbol B\propto\hat y\times(-\hat x)=+\hat z E × B ∝ y ^ × ( − x ^ ) = + z ^ となって波が + z +z + z に進む向きになっており、また ∣ B 0 ∣ = E 0 / v |B_0|=E_0/v ∣ B 0 ∣ = E 0 / v は平面波の関係 E = v B E=vB E = v B を満たします。
媒質中の光速は v = 1 / ε μ v=1/\sqrt{\varepsilon\mu} v = 1/ ε μ です。μ \mu μ が共通なので
ε 2 ε 1 = ( v 1 v 2 ) 2 = ( v 2 v ) 2 = 1 4 \frac{\varepsilon_2}{\varepsilon_1}=\left(\frac{v_1}{v_2}\right)^2=\left(\frac{v}{2v}\right)^2=\frac{1}{4} ε 1 ε 2 = ( v 2 v 1 ) 2 = ( 2 v v ) 2 = 4 1
すなわち z > 0 z>0 z > 0 の誘電率は z < 0 z<0 z < 0 の誘電率の 1 / 4 1/4 1/4 倍です。
透過波の波数は k 2 = ω / ( 2 v ) = k / 2 k_2=\omega/(2v)=k/2 k 2 = ω / ( 2 v ) = k /2 で、確かに与えられた E 2 \boldsymbol E_2 E 2 の位相 k z / 2 − ω t kz/2-\omega t k z /2 − ω t と合っています。反射波は k 3 = ( 0 , 0 , − k ) \boldsymbol k_3=(0,0,-k) k 3 = ( 0 , 0 , − k ) です。3つの波はいずれも z = 0 z=0 z = 0 で位相が − ω t -\omega t − ω t になるので、E y E_y E y の連続は
E 0 + R = T E_0+R=T E 0 + R = T
です。次に B \boldsymbol B B の接線成分を見ます。設定で用意した B x = − E k z / ω B_x=-Ek_z/\omega B x = − E k z / ω を各波に当てはめると、入射波が − k E 0 / ω -kE_0/\omega − k E 0 / ω 、反射波が + k R / ω +kR/\omega + k R / ω (k z = − k k_z=-k k z = − k )、透過波が − ( k / 2 ) T / ω -(k/2)T/\omega − ( k /2 ) T / ω なので
− k E 0 + k R = − k 2 T ⟺ R = E 0 − T 2 -kE_0+kR=-\frac{k}{2}T\quad\Longleftrightarrow\quad R=E_0-\frac{T}{2} − k E 0 + k R = − 2 k T ⟺ R = E 0 − 2 T
です。2式から R R R を消去して 2 E 0 = 3 2 T 2E_0=\frac{3}{2}T 2 E 0 = 2 3 T 、したがって
T E 0 = 4 3 \frac{T}{E_0}=\frac{4}{3} E 0 T = 3 4
が答えです。このとき R / E 0 = 1 / 3 R/E_0=1/3 R / E 0 = 1/3 です。検算として、屈折率 n = c / v n=c/v n = c / v で書いた垂直入射の Fresnel 係数 t = 2 n 1 / ( n 1 + n 2 ) t=2n_1/(n_1+n_2) t = 2 n 1 / ( n 1 + n 2 ) に n 2 = n 1 / 2 n_2=n_1/2 n 2 = n 1 /2 を入れると t = 4 / 3 t=4/3 t = 4/3 、r = ( n 1 − n 2 ) / ( n 1 + n 2 ) = 1 / 3 r=(n_1-n_2)/(n_1+n_2)=1/3 r = ( n 1 − n 2 ) / ( n 1 + n 2 ) = 1/3 で一致します。エネルギー保存も ∣ r ∣ 2 + k 2 z k 1 z ∣ t ∣ 2 = 1 9 + 1 2 ⋅ 16 9 = 1 |r|^2+\dfrac{k_{2z}}{k_{1z}}|t|^2=\dfrac19+\dfrac12\cdot\dfrac{16}{9}=1 ∣ r ∣ 2 + k 1 z k 2 z ∣ t ∣ 2 = 9 1 + 2 1 ⋅ 9 16 = 1 と満たされています。
入射波の波数ベクトルは k 1 = ( q , 0 , 2 q ) \boldsymbol k_1=(q,0,2q) k 1 = ( q , 0 , 2 q ) 、その大きさは ∣ k 1 ∣ = 5 q |\boldsymbol k_1|=\sqrt5\,q ∣ k 1 ∣ = 5 q なので ω = v ∣ k 1 ∣ = 5 q v \omega=v|\boldsymbol k_1|=\sqrt5\,qv ω = v ∣ k 1 ∣ = 5 q v です。透過側では ω = 2 v ∣ Q ∣ \omega=2v|\boldsymbol Q| ω = 2 v ∣ Q ∣ なので
∣ Q ∣ = ω 2 v = 5 2 q |\boldsymbol Q|=\frac{\omega}{2v}=\frac{\sqrt5}{2}q ∣ Q ∣ = 2 v ω = 2 5 q
です。境界面が z = 0 z=0 z = 0 の平面で、境界条件がすべての x x x について同時に成り立つ必要があるため、接線方向(x x x 方向)の波数は保存します。y y y 依存性はないので Q y = 0 Q_y=0 Q y = 0 、Q x = q Q_x=q Q x = q です。残りは
Q z = ∣ Q ∣ 2 − q 2 = 5 q 2 4 − q 2 = q 2 Q_z=\sqrt{|\boldsymbol Q|^2-q^2}=\sqrt{\frac{5q^2}{4}-q^2}=\frac{q}{2} Q z = ∣ Q ∣ 2 − q 2 = 4 5 q 2 − q 2 = 2 q
(透過波は + z +z + z に進むので正号)。よって
Q = ( q , 0 , q 2 ) \boldsymbol Q=\left(q,\,0,\,\frac{q}{2}\right) Q = ( q , 0 , 2 q )
です。sin θ 1 = q / ( 5 q ) = 1 / 5 \sin\theta_1=q/(\sqrt5q)=1/\sqrt5 sin θ 1 = q / ( 5 q ) = 1/ 5 、sin θ 2 = q / ( 5 q / 2 ) = 2 / 5 \sin\theta_2=q/(\sqrt5q/2)=2/\sqrt5 sin θ 2 = q / ( 5 q /2 ) = 2/ 5 で sin θ 2 / sin θ 1 = 2 = v 2 / v 1 \sin\theta_2/\sin\theta_1=2=v_2/v_1 sin θ 2 / sin θ 1 = 2 = v 2 / v 1 となり、Snell の法則と整合します。
電場は y y y 方向、入射面は x z xz x z 面なので、これは電場が入射面に垂直な偏光(s 偏光)です。反射波は k 3 = ( q , 0 , − 2 q ) \boldsymbol k_3=(q,0,-2q) k 3 = ( q , 0 , − 2 q ) として
E 3 = ( 0 , R cos ( q x − 2 q z − ω t ) , 0 ) \boldsymbol E_3=\bigl(0,\,R\cos(qx-2qz-\omega t),\,0\bigr) E 3 = ( 0 , R cos ( q x − 2 q z − ω t ) , 0 )
と書けます。3つの波は z = 0 z=0 z = 0 で共通の位相 q x − ω t qx-\omega t q x − ω t をもつので、E y E_y E y の連続は E 0 + R = T E_0+R=T E 0 + R = T です。B x = − E k z / ω B_x=-Ek_z/\omega B x = − E k z / ω の連続は
− 2 q E 0 + 2 q R = − q 2 T ⟺ R = E 0 − T 4 -2qE_0+2qR=-\frac{q}{2}T\quad\Longleftrightarrow\quad R=E_0-\frac{T}{4} − 2 q E 0 + 2 q R = − 2 q T ⟺ R = E 0 − 4 T
です。2式から 2 E 0 = 5 4 T 2E_0=\frac54T 2 E 0 = 4 5 T 、よって
T E 0 = 8 5 \frac{T}{E_0}=\frac{8}{5} E 0 T = 5 8
が答えです(R / E 0 = 3 / 5 R/E_0=3/5 R / E 0 = 3/5 )。この場合 B z = E k x / ω B_z=Ek_x/\omega B z = E k x / ω の和は入射側で q ( E 0 + R ) / ω q(E_0+R)/\omega q ( E 0 + R ) / ω 、透過側で q T / ω qT/\omega q T / ω となり、E y E_y E y の連続式からこれも自動的に連続で、∇ ⋅ B = 0 \nabla\cdot\boldsymbol B=0 ∇ ⋅ B = 0 が要求する法線成分の連続と矛盾しません。エネルギー保存も ∣ r ∣ 2 + k 2 z k 1 z ∣ t ∣ 2 = 9 25 + 1 4 ⋅ 64 25 = 1 |r|^2+\dfrac{k_{2z}}{k_{1z}}|t|^2=\dfrac{9}{25}+\dfrac14\cdot\dfrac{64}{25}=1 ∣ r ∣ 2 + k 1 z k 2 z ∣ t ∣ 2 = 25 9 + 4 1 ⋅ 25 64 = 1 で成立します。s 偏光の Fresnel 係数 t = 2 n 1 cos θ 1 n 1 cos θ 1 + n 2 cos θ 2 t=\dfrac{2n_1\cos\theta_1}{n_1\cos\theta_1+n_2\cos\theta_2} t = n 1 cos θ 1 + n 2 cos θ 2 2 n 1 cos θ 1 に n 2 = n 1 / 2 n_2=n_1/2 n 2 = n 1 /2 、cos θ 1 = 2 / 5 \cos\theta_1=2/\sqrt5 cos θ 1 = 2/ 5 、cos θ 2 = 1 / 5 \cos\theta_2=1/\sqrt5 cos θ 2 = 1/ 5 を代入しても t = 8 / 5 t=8/5 t = 8/5 が得られます。
入射波の波数ベクトルは k 1 = ( K , 0 , K ) \boldsymbol k_1=(K,0,K) k 1 = ( K , 0 , K ) 、∣ k 1 ∣ = 2 K |\boldsymbol k_1|=\sqrt2\,K ∣ k 1 ∣ = 2 K 、ω = 2 K v \omega=\sqrt2\,Kv ω = 2 K v です。入射角は 45 ∘ 45^\circ 4 5 ∘ 、臨界角は sin θ c = v 1 / v 2 = 1 / 2 \sin\theta_{\mathrm c}=v_1/v_2=1/2 sin θ c = v 1 / v 2 = 1/2 から 30 ∘ 30^\circ 3 0 ∘ なので、たしかに全反射の条件を満たします。
z > 0 z>0 z > 0 側では Q x = K Q_x=K Q x = K が保存され、∣ Q ∣ 2 = ( ω / 2 v ) 2 = K 2 / 2 |\boldsymbol Q|^2=(\omega/2v)^2=K^2/2 ∣ Q ∣ 2 = ( ω /2 v ) 2 = K 2 /2 なので
Q z 2 = K 2 2 − K 2 = − K 2 2 ⟹ Q z = i K 2 Q_z^2=\frac{K^2}{2}-K^2=-\frac{K^2}{2}\quad\Longrightarrow\quad Q_z=\frac{iK}{\sqrt2} Q z 2 = 2 K 2 − K 2 = − 2 K 2 ⟹ Q z = 2 i K
(z → + ∞ z\to+\infty z → + ∞ で減衰する解を選びました)。したがって z > 0 z>0 z > 0 では e i Q z z = e − K z / 2 e^{iQ_zz}=e^{-Kz/\sqrt2} e i Q z z = e − K z / 2 というエバネッセント波になります。減衰定数は κ = K / 2 \kappa=K/\sqrt2 κ = K / 2 、浸透深さは 1 / κ = 2 / K 1/\kappa=\sqrt2/K 1/ κ = 2 / K です。
振幅の絶対値を出すため複素振幅で書きます。z < 0 z<0 z < 0 で E ~ y = [ E 0 e i K z + R ~ e − i K z ] e i ( K x − ω t ) \tilde E_y=\left[E_0e^{iKz}+\tilde Re^{-iKz}\right]e^{i(Kx-\omega t)} E ~ y = [ E 0 e i K z + R ~ e − i K z ] e i ( K x − ω t ) 、z > 0 z>0 z > 0 で E ~ y = T ~ e − κ z e i ( K x − ω t ) \tilde E_y=\tilde Te^{-\kappa z}e^{i(Kx-\omega t)} E ~ y = T ~ e − κ z e i ( K x − ω t ) とします。E y E_y E y の連続と、B x = ( i / ω ) ∂ z E ~ y B_x=(i/\omega)\partial_z\tilde E_y B x = ( i / ω ) ∂ z E ~ y すなわち ∂ z E ~ y \partial_z\tilde E_y ∂ z E ~ y の連続から
E 0 + R ~ = T ~ , i K E 0 − i K R ~ = − κ T ~ E_0+\tilde R=\tilde T,\qquad iKE_0-iK\tilde R=-\kappa\tilde T E 0 + R ~ = T ~ , i K E 0 − i K R ~ = − κ T ~
が得られます。第2式を i K iK i K で割り κ = K / 2 \kappa=K/\sqrt2 κ = K / 2 を入れると E 0 − R ~ = i κ K T ~ = i 2 T ~ E_0-\tilde R=\dfrac{i\kappa}{K}\tilde T=\dfrac{i}{\sqrt2}\tilde T E 0 − R ~ = K iκ T ~ = 2 i T ~ です。2式を足して
2 E 0 = T ~ ( 1 + i 2 ) ⟹ T ~ = 2 E 0 1 + i / 2 = 2 2 E 0 2 + i = 2 E 0 ( 2 − i 2 ) 3 2E_0=\tilde T\left(1+\frac{i}{\sqrt2}\right)\quad\Longrightarrow\quad
\tilde T=\frac{2E_0}{1+i/\sqrt2}=\frac{2\sqrt2\,E_0}{\sqrt2+i}=\frac{2E_0(2-i\sqrt2)}{3} 2 E 0 = T ~ ( 1 + 2 i ) ⟹ T ~ = 1 + i / 2 2 E 0 = 2 + i 2 2 E 0 = 3 2 E 0 ( 2 − i 2 )
となり、∣ T ~ ∣ = 2 2 3 E 0 = 2 6 3 E 0 |\tilde T|=\dfrac{2\sqrt2}{\sqrt3}E_0=\dfrac{2\sqrt6}{3}E_0 ∣ T ~ ∣ = 3 2 2 E 0 = 3 2 6 E 0 、arg T ~ = − arctan ( 1 / 2 ) \arg\tilde T=-\arctan(1/\sqrt2) arg T ~ = − arctan ( 1/ 2 ) です。よって z > 0 z>0 z > 0 での電場は
E 2 = ( 0 , 2 6 3 E 0 e − K z / 2 cos ( K x − ω t − ϕ ) , 0 ) , tan ϕ = 1 2 \boldsymbol E_2=\left(0,\ \frac{2\sqrt6}{3}E_0\,e^{-Kz/\sqrt2}\cos\left(Kx-\omega t-\phi\right),\ 0\right),\qquad \tan\phi=\frac{1}{\sqrt2} E 2 = ( 0 , 3 2 6 E 0 e − K z / 2 cos ( K x − ω t − ϕ ) , 0 ) , tan ϕ = 2 1
で、求める振幅は
∣ E ( z ) ∣ = 2 6 3 E 0 e − K z / 2 ( z > 0 ) \left|E(z)\right|=\frac{2\sqrt6}{3}E_0\,e^{-Kz/\sqrt2}\qquad(z>0) ∣ E ( z ) ∣ = 3 2 6 E 0 e − K z / 2 ( z > 0 )
です。2 6 / 3 ≃ 1.63 2\sqrt6/3\simeq1.63 2 6 /3 ≃ 1.63 で境界での振幅は入射波より大きくなりますが、Q z Q_z Q z が純虚数なので z z z 方向の時間平均エネルギー流はゼロで、全反射と矛盾しません。実際 R ~ = T ~ − E 0 = E 0 1 − 2 2 i 3 \tilde R=\tilde T-E_0=E_0\dfrac{1-2\sqrt2\,i}{3} R ~ = T ~ − E 0 = E 0 3 1 − 2 2 i の絶対値は E 0 E_0 E 0 に等しく、反射率は 1 です。位相 ϕ ≃ 35.3 ∘ \phi\simeq35.3^\circ ϕ ≃ 35. 3 ∘ のずれが全反射に伴う位相シフトです。
出典: 東京大学大学院理学系研究科 物理学専攻 令和4年度 博士課程 入学試験問題 物理学。問題文は要約して引用しています。
© 2026 夢現技研合同会社 ・Feeding the text to an LLM is welcome. Code samples are MIT licensed.