Skip to content

令和4年度 東大院 物理学専攻 修士 物理学 解答

Raw

This content is not available in your language yet.

量子力学・統計力学・電磁気学・数学が 1 問ずつという構成で、4 問すべてが必答です。第1問と第4問設問1は教科書の定理をその場で組み立て直す論証中心、第2問と第3問は最後まで数を出す計算中心という色分けになっています。手間がかかるのは第2問の後半(スピン自由度とゼーマン分裂を入れた転移温度)と第4問設問2の後半(行列 B=CAB=CA の固有値の符号)で、配点もこのあたりに集まっていると見られます。

問題分野主題
第1問量子力学不確定性関係と最小不確定状態
第2問統計力学理想ボース気体とボース・アインシュタイン凝縮
第3問電磁気学誘電体境界での反射・透過と全反射
第4問複素解析・線形代数主値積分と分散関係、ランク1摂動を受けた行列

第1問 不確定性関係と最小不確定状態

Section titled “第1問 不確定性関係と最小不確定状態”

位置演算子 x^\hat x と運動量演算子 p^\hat p の標準偏差を、与えられた量子状態での期待値 O^\langle\hat O\rangle を使って

Δ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}

と定義します。\hbar はプランク定数を 2π2\pi で割った量です。1次元系を考え、位置表示で p^=id/dx\hat p=-i\hbar\,d/dx、したがって [x^,p^]=i[\hat x,\hat p]=i\hbar とします。計算には与えられた公式

eαx2dx=πα,x2eαx2dx=12πα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)

を使います。設問2から設問5は、不確定性関係 ΔxΔp/2\Delta x\Delta p\ge\hbar/2 の証明と等号成立条件を順に組み立てていく流れです。

対象は

ψ(x)=(1πa2)1/4exp(x22a2)(a>0)\psi(x)=\left(\frac{1}{\pi a^2}\right)^{1/4}\exp\left(-\frac{x^2}{2a^2}\right)\qquad(a>0)

です。まず規格化を確認します。α=1/a2\alpha=1/a^2 として

ψ2dx=1πa2ex2/a2dx=1πa2πa2=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

なので ψ\psi は規格化されています。

ψ2|\psi|^2 は偶関数なので x^=0\langle\hat x\rangle=0、また ψ\psi が実関数なので

p^=iψdψdxdx=i2[ψ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

です。したがって Δx^=x^\Delta\hat x=\hat xΔp^=p^\Delta\hat p=\hat p となります。

2次のモーメントは、α=1/a2\alpha=1/a^2 に対する第2の積分公式から

x^2=1πa2x2ex2/a2dx=1πa212πa6=a22\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}

です。運動量については部分積分して境界項を落とし、dψ/dx=(x/a2)ψd\psi/dx=-(x/a^2)\psi を使うと

p^2=2ψd2ψdx2dx=2(dψdx)2dx=2a4x^2=22a2\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}

となります。よって答えは

Δx=a2,Δp=2a,ΔxΔp=2\Delta x=\frac{a}{\sqrt2},\qquad \Delta p=\frac{\hbar}{\sqrt2\,a},\qquad \Delta x\,\Delta p=\frac{\hbar}{2}

です。Δx\Delta x は長さ、Δp\Delta p は運動量の次元を持ち、積は作用(\hbar と同じ)の次元になっています。

物理的な解釈は次の通りです。このガウス波束では位置の広がりが aa、運動量の広がりが /a\hbar/a で、両者は反比例します。aa を小さくして粒子を狭い領域に押し込めば運動量の分布は 1/a1/a で広がり、逆に aa を大きくすれば運動量は鋭くなるが位置は不確定になる。すなわち aa は位置と運動量の「分解能の配分」を決めるだけで、積 ΔxΔp\Delta x\Delta paa に依存しません。しかもその値は設問3で示す下限 /2\hbar/2 にちょうど等しく、ガウス波束は不確定性関係の等号を実現する状態になっています。

規格化された状態 ψ|\psi\rangle をとります。エルミート共役の定義 ϕO^χ=O^ϕχ\langle\phi|\hat O^\dagger\chi\rangle=\langle\hat O\phi|\chi\rangleϕ=χ=ψ|\phi\rangle=|\chi\rangle=|\psi\rangle に対して使うと

O^O^=ψO^O^ψ=O^ψO^ψ=O^ψ20\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^ψ=0\hat O|\psi\rangle=0 のときに限ります。この事実は設問4で使います。

x^,p^\hat x,\hat p はエルミートで x^,p^\langle\hat x\rangle,\langle\hat p\rangle は実数なので、Δx^,Δp^\Delta\hat x,\Delta\hat p もエルミートです。よって tt が実数のとき

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^O^=t2(Δx^)2+(Δp^)2+it(Δp^Δx^Δx^Δp^)=t2(Δx^)2+(Δp^)2it[Δ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]

となります。定数(c 数)は交換子に寄与しないので [Δx^,Δp^]=[x^,p^]=i[\Delta\hat x,\Delta\hat p]=[\hat x,\hat p]=i\hbar であり、

O^O^=t2(Δx^)2+(Δp^)2+t\hat O^\dagger\hat O=t^2(\Delta\hat x)^2+(\Delta\hat p)^2+\hbar t

を得ます。設問2の結果より、任意の実数 tt に対して

F(t)(Δx)2t2+t+(Δp)20F(t)\equiv(\Delta x)^2\,t^2+\hbar t+(\Delta p)^2\ge0

が成り立ちます。

ここで (Δx)2>0(\Delta x)^2>0 です。実際 (Δx)2=0(\Delta x)^2=0 なら F(t)=t+(Δp)2F(t)=\hbar t+(\Delta p)^2tt の1次関数になり、tt を十分負にとれば負になってしまい上の不等式に反します。したがって F(t)F(t) は下に凸な2次関数で、それがすべての実数 tt で非負であることは判別式が非正であることと同値です。

24(Δx)2(Δp)20\hbar^2-4(\Delta x)^2(\Delta p)^2\le0

Δx0, Δp0\Delta x\ge0,\ \Delta p\ge0 なので平方根をとって

ΔxΔp2\Delta x\,\Delta p\ge\frac{\hbar}{2}

が示されました。設問1のガウス波束はこの等号を満たしています。

条件は t<0t<0 です。以下、x0x^x_0\equiv\langle\hat x\ranglep0p^p_0\equiv\langle\hat p\rangle と書きます。

O^\hat O の固有値 0 に属する固有状態を位置表示で求めます。O^ψ=0\hat O\psi=0

t(xx0)ψi(idψdxp0ψ)=0dψdx=[t(xx0)+ip0]ψ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

と書けます。これは1階線形なので一意に積分でき

ψ(x)=Cexp[t(xx0)22+ip0x]\psi(x)=C\exp\left[\frac{t(x-x_0)^2}{2\hbar}+\frac{ip_0x}{\hbar}\right]

です。ψ2=C2exp[t(xx0)2/]|\psi|^2=|C|^2\exp\bigl[t(x-x_0)^2/\hbar\bigr] が2乗可積分になるのは t<0t<0 のときだけで、t=0t=0 なら平面波、t>0t>0 なら発散するガウス関数になって規格化できません。逆に t<0t<0 ならこの関数は規格化可能で、しかもガウス分布の中心が x0x_0、位相の勾配が p0/p_0/\hbar であることから x^=x0\langle\hat x\rangle=x_0p^=p0\langle\hat p\rangle=p_0 が自己整合的に成立します。よって O^\hat O が固有値 0 をもつ条件は t<0t<0 です。

次に、その固有状態が不等式の等号を満たすことを示します。O^ψ=0\hat O|\psi\rangle=0 なら O^O^=0\langle\hat O^\dagger\hat O\rangle=0、すなわち設問3の F(t)F(t) について

F(t)=(Δx)2t2+t+(Δp)2=0F(t)=(\Delta x)^2t^2+\hbar t+(\Delta p)^2=0

が実数解 tt をもつことになります。実数解が存在するには判別式が非負でなければならないので

24(Δx)2(Δp)20\hbar^2-4(\Delta x)^2(\Delta p)^2\ge0

です。一方で設問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}

が結論されます。判別式が 0 なので解は重解 t=/(2(Δx)2)t=-\hbar/\bigl(2(\Delta x)^2\bigr) に決まり、これは確かに負で、前半で得た条件 t<0t<0 と整合します。

設問4の固有関数で t=/(2σ2)t=-\hbar/(2\sigma^2)σΔx\sigma\equiv\Delta x と置き換えると t/(2)=1/(4σ2)t/(2\hbar)=-1/(4\sigma^2) なので

ψ(x)=Cexp[(xx0)24σ2+ip0x]\psi(x)=C\exp\left[-\frac{(x-x_0)^2}{4\sigma^2}+\frac{ip_0x}{\hbar}\right]

です。規格化は ψ2=C2e(xx0)2/(2σ2)|\psi|^2=|C|^2e^{-(x-x_0)^2/(2\sigma^2)}α=1/(2σ2)\alpha=1/(2\sigma^2) の積分公式を使って

1=C22πσ2C=(2πσ2)1/41=|C|^2\sqrt{2\pi\sigma^2}\quad\Longrightarrow\quad |C|=\bigl(2\pi\sigma^2\bigr)^{-1/4}

と決まります(全体の位相は任意なので CC を正の実数にとります)。答えは

ψ(x)=1(2πσ2)1/4exp[(xx0)24σ2+ip0x],σ=Δx=2t\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|}}

です。x0=x^x_0=\langle\hat x\ranglep0=p^p_0=\langle\hat p\rangle は任意の実定数で、最小不確定状態は「任意の位置・任意の平均運動量を中心とするガウス波束」の一群をなします。tt で書けば

ψ(x)=(tπ)1/4exp[t(xx0)22+ip0x]\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]

です。

検算します。この ψ\psi に対して Δp^ψ=iψp0ψ=i(xx0)2σ2ψ\Delta\hat p\,\psi=-i\hbar\psi'-p_0\psi=\dfrac{i\hbar(x-x_0)}{2\sigma^2}\psi なので

(Δp^)2=24σ4(xx0)2=24σ4σ2=24σ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σ)\Delta p=\hbar/(2\sigma) で、ΔxΔp=/2\Delta x\Delta p=\hbar/2 が確認できます。また x0=p0=0x_0=p_0=0σ=a/2\sigma=a/\sqrt2 とすれば 4σ2=2a24\sigma^2=2a^2(2πσ2)1/4=(πa2)1/4(2\pi\sigma^2)^{-1/4}=(\pi a^2)^{-1/4} となり、設問1の波動関数に一致します。

第2問 理想ボース気体とボース・アインシュタイン凝縮

Section titled “第2問 理想ボース気体とボース・アインシュタイン凝縮”

体積 V=L3V=L^3 の立方体に閉じ込められた、相互作用のない理想ボース気体を考えます。粒子の質量は mm、粒子数は NN、境界条件は周期境界条件です。一粒子ハミルトニアンは H^=22m2\hat H=-\dfrac{\hbar^2}{2m}\nabla^2 で、基底状態のエネルギーを E=0E=0 に選びます。温度を TT、化学ポテンシャルを μ (μ0)\mu\ (\mu\le0)、ボルツマン定数を kBk_{\mathrm B} とし、β=1/(kBT)\beta=1/(k_{\mathrm B}T) と書きます。設問1から設問7はスピン 0、設問8以降はスピン SS の場合です。

固有値問題 22m2Ψ=EΨ-\dfrac{\hbar^2}{2m}\nabla^2\Psi=E\Psi の解を平面波 Ψeikr\Psi\propto e^{i\boldsymbol k\cdot\boldsymbol r} にとります。周期境界条件 eikxL=eikyL=eikzL=1e^{ik_xL}=e^{ik_yL}=e^{ik_zL}=1 から波数が量子化され

k=2πL(nx,ny,nz),nx,ny,nzZ\boldsymbol k=\frac{2\pi}{L}(n_x,n_y,n_z),\qquad n_x,n_y,n_z\in\mathbb{Z}

です。規格化 VΨ2d3r=1\int_V|\Psi|^2d^3r=1 を課すと固有波動関数は

Ψn(x,y,z)=1Vexp[2πiL(nxx+nyy+nzz)]\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]

で、対応する固有エネルギーは

En=2k22m=2π22mL2(nx2+ny2+nz2)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)

です。nx=ny=nz=0n_x=n_y=n_z=0 が基底状態で、そのエネルギーは自動的に E=0E=0 となり、問題の設定と整合します。これが求める全ての一粒子固有状態です(同じ nx2+ny2+nz2n_x^2+n_y^2+n_z^2 を与える整数の組はすべて縮退しています)。

μ0Ei\mu\le0\le E_i なので Eiμ0E_i-\mu\ge0 で、公比 yeβ(Eiμ)y\equiv e^{-\beta(E_i-\mu)}0<y10<y\le1 です。Eiμ>0E_i-\mu>0 の場合に等比級数が収束して

Ξi=ni=0yni=11y\Xi_i=\sum_{n_i=0}^{\infty}y^{n_i}=\frac{1}{1-y}

となります。大分配関数のもとで状態 ii の占有数が nin_i である確率は

P(ni)=1Ξieβ(Eiμ)ni=yniΞiP(n_i)=\frac{1}{\Xi_i}e^{-\beta(E_i-\mu)n_i}=\frac{y^{n_i}}{\Xi_i}

です。平均占有数は n0nyn=y/(1y)2\sum_{n\ge0}ny^n=y/(1-y)^2 を使って

f(Ei,μ)=ni=0niP(ni)=1Ξiy(1y)2=(1y)y(1y)2=y1y=1y11f(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}

となります。y1=eβ(Eiμ)y^{-1}=e^{\beta(E_i-\mu)} を戻して答えは

f(Ei,μ)=1exp[EiμkBT]1f(E_i,\mu)=\frac{1}{\exp\left[\dfrac{E_i-\mu}{k_{\mathrm B}T}\right]-1}

です。同じ結果は f=kBTlnΞi/μf=k_{\mathrm B}T\,\partial\ln\Xi_i/\partial\mu からも得られます。EiμkBTE_i-\mu\gg k_{\mathrm B}T でボルツマン分布 eβ(Eiμ)e^{-\beta(E_i-\mu)} に帰着し、Eiμ+0E_i-\mu\to+0 で発散するという振る舞いは、以下の凝縮の議論の要になります。

LL が大きいとき k\boldsymbol k 空間では (2π/L)3(2\pi/L)^3 ごとに1状態あるので、状態密度は V/(2π)3V/(2\pi)^3 です。kk|\boldsymbol k|\le k の状態数は

Ω=V(2π)34πk33=Vk36π2\Omega=\frac{V}{(2\pi)^3}\cdot\frac{4\pi k^3}{3}=\frac{Vk^3}{6\pi^2}

で、E=2k2/(2m)E=\hbar^2k^2/(2m) すなわち k=2mE/k=\sqrt{2mE}/\hbar を代入すると

Ω(E)=V6π2(2mE2)3/2\Omega(E)=\frac{V}{6\pi^2}\left(\frac{2mE}{\hbar^2}\right)^{3/2}

です。微分して

D(E)=dΩdE=V4π2(2m2)3/2ED(E)=\frac{d\Omega}{dE}=\frac{V}{4\pi^2}\left(\frac{2m}{\hbar^2}\right)^{3/2}\sqrt{E}

を得ます。2/(2m)\hbar^2/(2m) は(エネルギー)×\times(長さ)2^2 の次元をもつので、V(2m/2)3/2EV(2m/\hbar^2)^{3/2}\sqrt E は(エネルギー)1^{-1} となり、状態密度として正しい次元です。

μ=0\mu=0 とおくと

0f(E,0)D(E)dE=V4π2(2m2)3/20EeE/kBT1dE\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

です。x=E/(kBT)x=E/(k_{\mathrm B}T) と変数変換すると EdE=(kBT)3/2xdx\sqrt E\,dE=(k_{\mathrm B}T)^{3/2}\sqrt x\,dx なので

0f(E,0)D(E)dE=V4π2(2mkBT2)3/20xex1dx\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

となり、与えられた公式 0xex1dx=π2ζ(3/2)\displaystyle\int_0^\infty\frac{\sqrt x}{e^x-1}dx=\frac{\sqrt\pi}{2}\zeta(3/2) を使えます。(2m/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} を用いて整理すると

0f(E,0)D(E)dE=Vζ ⁣(32)(mkBT2π2)3/2=VλT3ζ ⁣(32)\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)

です。ここで λT=2π2/(mkBT)\lambda_T=\sqrt{2\pi\hbar^2/(mk_{\mathrm B}T)} は熱的ド・ブロイ波長、ζ(3/2)=2.612\zeta(3/2)=2.612 です。これが右辺の μ0\mu\le0 における最大値で、有限の値にとどまることが要点です。

右辺は μ\mu の単調増加関数なので、温度を下げていくと NN を保つために μ\mu は上昇し、μ=0\mu=0 で上限に達します。式(1)が μ=0\mu=0 でちょうど NN を与える温度が TcT_{\mathrm c} です。設問4の結果を使って

N=Vζ ⁣(32)(mkBTc2π2)3/2N=V\zeta\!\left(\frac{3}{2}\right)\left(\frac{mk_{\mathrm B}T_{\mathrm c}}{2\pi\hbar^2}\right)^{3/2}

これを解いて

Tc=2π2mkB(NVζ(3/2))2/3T_{\mathrm c}=\frac{2\pi\hbar^2}{mk_{\mathrm B}}\left(\frac{N}{V\zeta(3/2)}\right)^{2/3}

が答えです。T<TcT<T_{\mathrm c} では式(1)だけでは NN 個の粒子を収容できず、余りが E=0E=0 の一粒子状態に落ちます。2/(mkB)×(長さ)2\hbar^2/(mk_{\mathrm B})\times(\text{長さ})^{-2} が温度の次元をもつことから次元も合っています。粒子密度 N/VN/V が大きいほど、また質量が軽いほど TcT_{\mathrm c} が高いという常識的な依存性も見えます。

T<TcT<T_{\mathrm c} では μ=0\mu=0 なので、励起状態にある粒子数は設問4の結果そのままで

0f(E,0)D(E)dE=Vζ ⁣(32)(mkBT2π2)3/2=N(TTc)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}

です(最後の等号で設問5の TcT_{\mathrm c} の定義式を使いました)。N=N0+N(T/Tc)3/2N=N_0+N(T/T_{\mathrm c})^{3/2} より

N0=N[1(TTc)3/2]N_0=N\left[1-\left(\frac{T}{T_{\mathrm c}}\right)^{3/2}\right]

が答えです。T=TcT=T_{\mathrm c}N0=0N_0=0T0T\to0N0NN_0\to N となり、期待される極限を再現します。

T<TcT<T_{\mathrm c} では μ=0\mu=0 に固定されます。E=0E=0 の凝縮体はエネルギーを持たないので、全エネルギーは励起状態からの寄与だけです。

Etot=0Ef(E,0)D(E)dE=V4π2(2m2)3/20E3/2eE/kBT1dEE_{\text{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

x=E/(kBT)x=E/(k_{\mathrm B}T) とすると

Etot=V4π2(2m2)3/2(kBT)5/20x3/2ex1dxE_{\text{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

で、残った積分は TT に依らない純粋な数(Γ(5/2)ζ(5/2)=3π4ζ(5/2)\Gamma(5/2)\zeta(5/2)=\frac{3\sqrt\pi}{4}\zeta(5/2))です。μ\muTT に依存しないおかげで温度依存性が T5/2T^{5/2} に純化する点が肝心で

EtotT5/2CV=EtotTN,V=52EtotTT3/2E_{\text{tot}}\propto T^{5/2}\quad\Longrightarrow\quad C_V=\left.\frac{\partial E_{\text{tot}}}{\partial T}\right|_{N,V}=\frac{5}{2}\frac{E_{\text{tot}}}{T}\propto T^{3/2}

となります。よって答えは γ=3/2\gamma=3/2 です。

係数まで書くと、Γ(5/2)/Γ(3/2)=3/2\Gamma(5/2)/\Gamma(3/2)=3/2 と設問5の TcT_{\mathrm c} の式を使って

Etot=3ζ(5/2)2ζ(3/2)NkBT(TTc)3/2,CV=15ζ(5/2)4ζ(3/2)NkB(TTc)3/2E_{\text{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}

すなわち a=15ζ(5/2)4ζ(3/2)NkBTc3/21.93NkBTc3/2a=\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} です。T0T\to0CV0C_V\to0 となり熱力学第三法則を満たします。

スピン SS のボース粒子は各運動量状態が mz=S,,Sm_z=-S,\dots,S2S+12S+1 重に縮退します。外部磁場がなければこの縮退はエネルギーを変えないので、状態密度は 2S+12S+1 倍になります。

D(E)=(2S+1)V4π2(2m2)3/2ED(E)=(2S+1)\frac{V}{4\pi^2}\left(\frac{2m}{\hbar^2}\right)^{3/2}\sqrt{E}

転移温度は設問5と同じ手順で

N=(2S+1)Vζ ⁣(32)(mkBTc2π2)3/2N=(2S+1)V\zeta\!\left(\frac{3}{2}\right)\left(\frac{mk_{\mathrm B}T_{\mathrm c}'}{2\pi\hbar^2}\right)^{3/2}

から

Tc=2π2mkB(N(2S+1)Vζ(3/2))2/3=Tc(2S+1)2/3T_{\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}}

です。スピン自由度が増えるほど粒子を収容できる励起状態が増えるので、凝縮の開始温度は下がります。

一粒子エネルギーはゼーマン項を含めて

ε(k,mz)=2k22mcmzB,mz=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=0, mz=S\boldsymbol k=0,\ m_z=S の状態がもつ cSB-cSB で、凝縮はこの1状態に起こります。ボース分布が正であるためには μ<cSB\mu<-cSB が必要で、転移点はその上限 μ=cSB\mu=-cSB に達したところです。したがって E=2k2/(2m)E=\hbar^2k^2/(2m) を運動エネルギーとして、TcT_{\mathrm c}' を決める方程式は「μ=cSB\mu=-cSB のとき励起状態の粒子数の総和が NN に等しい」という条件

N=V4π2(2m2)3/2mz=SS0dEEexp[E+c(Smz)BkBTc]1N=\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}

です。x=E/(kBTc)x=E/(k_{\mathrm B}T_{\mathrm c}')j=Smzj=S-m_z と書き直すと、無次元化した形

N=V(mkBTc2π2)3/2j=02SG ⁣(jcBkBTc),G(δ)2π0dxxex+δ1N=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}

になります。B=0B=0 では G(0)=ζ(3/2)G(0)=\zeta(3/2) なので設問8の結果に一致します。以下ではこの TcT_{\mathrm c}'BB の関数と見て、B=0B=0 での値を Tc(0)=Tc/(2S+1)2/3T_{\mathrm c}'(0)=T_{\mathrm c}/(2S+1)^{2/3} と書きます。

G(δ)G(\delta)δ\delta の単調減少関数です。したがって TT を固定して BB を上げると上式の右辺は減り、NN を一定に保つには TcT_{\mathrm c}' が上がらねばなりません。つまり TcT_{\mathrm c}'BB の単調増加関数です。

cBkBTccB\gg k_{\mathrm B}T_{\mathrm c}' の極限を見ます。j1j\ge1 の項では δ=jcB/(kBTc)1\delta=jcB/(k_{\mathrm B}T_{\mathrm c}')\gg1 なので ex+δ1e^{x+\delta}\gg1 とでき、与えられた公式 2π0xexdx=1\dfrac{2}{\sqrt\pi}\displaystyle\int_0^{\infty}\sqrt x\,e^{-x}dx=1 を使って

G(δ)2π0xexδdx=eδG(\delta)\simeq\frac{2}{\sqrt\pi}\int_0^{\infty}\sqrt x\,e^{-x-\delta}dx=e^{-\delta}

と評価できます。よって

N=V(mkBTc2π2)3/2[ζ ⁣(32)+j=12SejcB/(kBTc)]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ζ ⁣(32)(mkBTc2π2)3/2TcTc=(2S+1)2/3Tc(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)

です。すなわち強磁場では TcT_{\mathrm c}' は飽和し、その値はスピンをもたない気体(設問5)の転移温度 TcT_{\mathrm c} に一致します。物理的には、ゼーマン分裂が熱エネルギーより大きくなると mz=Sm_z=S 以外のスピン成分が熱的に占有されなくなり、気体は実質的に1成分(スピンレス)の気体として振る舞うためです。補正項は正なので、TcT_{\mathrm c}'TcT_{\mathrm c} に下から漸近し、その差は ecB/(kBTc)e^{-cB/(k_{\mathrm B}T_{\mathrm c})} 程度です。

図示すべき概略は次の通りです。横軸を B (0)B\ (\ge0)、縦軸を TcT_{\mathrm c}' とすると、曲線は B=0B=0 の切片 Tc(0)=Tc/(2S+1)2/3T_{\mathrm c}'(0)=T_{\mathrm c}/(2S+1)^{2/3} から出発し、単調増加で上に凸(増加率が減っていく形)、cBkBTc(0)cB\sim k_{\mathrm B}T_{\mathrm c}'(0) を境に立ち上がりから飽和へ移り、水平漸近線 Tc=Tc=(2S+1)2/3Tc(0)T_{\mathrm c}'=T_{\mathrm c}=(2S+1)^{2/3}T_{\mathrm c}'(0) に下から近づきます。飽和値と切片の比は (2S+1)2/3(2S+1)^{2/3} で、S=0S=0 なら曲線は水平直線になります。なお B+0B\to+0 での立ち上がりは G(δ)=ζ(3/2)2πδ+O(δ)G(\delta)=\zeta(3/2)-2\sqrt{\pi\delta}+O(\delta) という非解析的な振る舞いのため TcTc(0)BT_{\mathrm c}'-T_{\mathrm c}'(0)\propto\sqrt B となり、原点での接線は垂直です。

Tc’TcTc’(0)B

第3問 誘電体境界での電磁波の反射と透過

Section titled “第3問 誘電体境界での電磁波の反射と透過”

z<0z<0z>0z>0 に誘電率の異なる媒質が詰まっていて、境界は z=0z=0 の平面です。電磁波の速さは z<0z<0vvz>0z>02v2v、透磁率 μ\mu は両側で等しいとします。Maxwell 方程式は

×E=Bt,×(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\boldsymbol EB\boldsymbol B の接線成分が連続であることを使ってよいとされています(μ\mu が共通なので H\boldsymbol H の接線成分の連続と B\boldsymbol B の接線成分の連続は同じことです)。

以下の3つの場面で共通に使う関係を先に用意します。振幅 EE の直線偏光平面波 E=(0,Ecos(krωt),0)\boldsymbol E=(0,E\cos(\boldsymbol k\cdot\boldsymbol r-\omega t),0) に対して、×E\nabla\times\boldsymbol E の各成分は

(×E)x=zEy=Ekzsin(krωt),(×E)z=xEy=Ekxsin(krω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)

yy 成分は 0)なので、B=bcos(krωt)\boldsymbol B=\boldsymbol b\cos(\boldsymbol k\cdot\boldsymbol r-\omega t) と置いて第1式に代入すると

B=k×Eω=Eω(kz,0,kx)cos(krω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)

を得ます。接線成分は Bx=Ekz/ωB_x=-Ek_z/\omega 倍の波なので、境界条件は「EyE_y の連続」と「EkzEk_z の連続」の2本に集約されます。

E1=(0,E0cos(kzωt),0)\boldsymbol E_1=(0,E_0\cos(kz-\omega t),0)k=(0,0,k)\boldsymbol k=(0,0,k) の場合です。上の一般式に kx=0, kz=kk_x=0,\ k_z=k を入れ、ω=vk\omega=vk を使うと

B0=E0ω(k,0,0)=(E0v,0,0)\boldsymbol B_0=\frac{E_0}{\omega}(-k,0,0)=\left(-\frac{E_0}{v},\,0,\,0\right)

が答えです。直接確認すると、×E1=(kE0sin(kzωt),0,0)\nabla\times\boldsymbol E_1=(kE_0\sin(kz-\omega t),0,0)B1/t=ωB0sin(kzωt)-\partial\boldsymbol B_1/\partial t=-\omega\boldsymbol B_0\sin(kz-\omega t) で、両者が等しいことから B0=(k/ω)E0x^\boldsymbol B_0=-(k/\omega)E_0\hat x が出ます。E×By^×(x^)=+z^\boldsymbol E\times\boldsymbol B\propto\hat y\times(-\hat x)=+\hat z となって波が +z+z に進む向きになっており、また B0=E0/v|B_0|=E_0/v は平面波の関係 E=vBE=vB を満たします。

媒質中の光速は v=1/εμv=1/\sqrt{\varepsilon\mu} です。μ\mu が共通なので

ε2ε1=(v1v2)2=(v2v)2=14\frac{\varepsilon_2}{\varepsilon_1}=\left(\frac{v_1}{v_2}\right)^2=\left(\frac{v}{2v}\right)^2=\frac{1}{4}

すなわち z>0z>0 の誘電率は z<0z<0 の誘電率の 1/41/4 倍です。

透過波の波数は k2=ω/(2v)=k/2k_2=\omega/(2v)=k/2 で、確かに与えられた E2E_2 の位相 kz/2ωtkz/2-\omega t と合っています。反射波は k3=(0,0,k)\boldsymbol k_3=(0,0,-k) です。3つの波はいずれも z=0z=0 で位相が ωt-\omega t になるので、EyE_y の連続は

E0+R=TE_0+R=T

です。次に BB の接線成分。設定で用意した Bx=Ekz/ωB_x=-Ek_z/\omega を各波に当てはめると、入射波が kE0/ω-kE_0/\omega、反射波が +kR/ω+kR/\omegakz=kk_z=-k)、透過波が (k/2)T/ω-(k/2)T/\omega なので

kE0+kR=k2TR=E0T2-kE_0+kR=-\frac{k}{2}T\quad\Longleftrightarrow\quad R=E_0-\frac{T}{2}

です。2式から RR を消去して 2E0=32T2E_0=\frac{3}{2}T、したがって

TE0=43\frac{T}{E_0}=\frac{4}{3}

が答えです。このとき R/E0=1/3R/E_0=1/3 です。検算として、屈折率 n=c/vn=c/v で書いた垂直入射の Fresnel 係数 t=2n1/(n1+n2)t=2n_1/(n_1+n_2)n2=n1/2n_2=n_1/2 を入れると t=4/3t=4/3r=(n1n2)/(n1+n2)=1/3r=(n_1-n_2)/(n_1+n_2)=1/3 で一致します。エネルギー保存も r2+k2zk1zt2=19+12169=1|r|^2+\dfrac{k_{2z}}{k_{1z}}|t|^2=\dfrac19+\dfrac12\cdot\dfrac{16}{9}=1 と満たされています。

入射波の波数ベクトルは k1=(q,0,2q)\boldsymbol k_1=(q,0,2q)、その大きさは k1=5q|\boldsymbol k_1|=\sqrt5\,q なので ω=vk1=5qv\omega=v|\boldsymbol k_1|=\sqrt5\,qv です。透過側では ω=2vQ\omega=2v|\boldsymbol Q| なので

Q=ω2v=52q|\boldsymbol Q|=\frac{\omega}{2v}=\frac{\sqrt5}{2}q

です。境界面が z=0z=0 の平面で、境界条件がすべての xx について同時に成り立つ必要があるため、接線方向(xx 方向)の波数は保存します。yy 依存性はないので Qy=0Q_y=0Qx=qQ_x=q です。残りは

Qz=Q2q2=5q24q2=q2Q_z=\sqrt{|\boldsymbol Q|^2-q^2}=\sqrt{\frac{5q^2}{4}-q^2}=\frac{q}{2}

(透過波は +z+z に進むので正号)。よって

Q=(q,0,q2)\boldsymbol Q=\left(q,\,0,\,\frac{q}{2}\right)

です。sinθ1=q/(5q)=1/5\sin\theta_1=q/(\sqrt5q)=1/\sqrt5sinθ2=q/(5q/2)=2/5\sin\theta_2=q/(\sqrt5q/2)=2/\sqrt5sinθ2/sinθ1=2=v2/v1\sin\theta_2/\sin\theta_1=2=v_2/v_1 となり、Snell の法則と整合します。

電場は yy 方向、入射面は xzxz 面なので、これは電場が入射面に垂直な偏光(s 偏光)です。反射波は k3=(q,0,2q)\boldsymbol k_3=(q,0,-2q) として

E3=(0,Rcos(qx2qzωt),0)\boldsymbol E_3=\bigl(0,\,R\cos(qx-2qz-\omega t),\,0\bigr)

と書けます。3つの波は z=0z=0 で共通の位相 qxωtqx-\omega t をもつので、EyE_y の連続は E0+R=TE_0+R=T です。Bx=Ekz/ωB_x=-Ek_z/\omega の連続は

2qE0+2qR=q2TR=E0T4-2qE_0+2qR=-\frac{q}{2}T\quad\Longleftrightarrow\quad R=E_0-\frac{T}{4}

です。2式から 2E0=54T2E_0=\frac54T、よって

TE0=85\frac{T}{E_0}=\frac{8}{5}

が答えです(R/E0=3/5R/E_0=3/5)。この場合 Bz=Ekx/ωB_z=Ek_x/\omega の和は q(E0+R)/ωq(E_0+R)/\omegaqT/ωqT/\omega で、EyE_y の連続式からこれも自動的に連続になり、B=0\nabla\cdot\boldsymbol B=0 が要求する法線成分の連続と矛盾しません。エネルギー保存も r2+k2zk1zt2=925+146425=1|r|^2+\dfrac{k_{2z}}{k_{1z}}|t|^2=\dfrac{9}{25}+\dfrac14\cdot\dfrac{64}{25}=1 で成立します。垂直入射の設問3の答えより透過振幅が大きくなるのは、s 偏光では cosθ\cos\theta の因子が透過側で相対的に小さくなるためです。

入射波の波数ベクトルは k1=(K,0,K)\boldsymbol k_1=(K,0,K)k1=2K|\boldsymbol k_1|=\sqrt2\,Kω=2Kv\omega=\sqrt2\,Kv です。入射角は 4545^\circ、臨界角は sinθc=v1/v2=1/2\sin\theta_{\mathrm c}=v_1/v_2=1/2 から 3030^\circ なので、たしかに全反射の条件を満たします。

z>0z>0 側では Qx=KQ_x=K が保存され、Q2=(ω/2v)2=K2/2|\boldsymbol Q|^2=(\omega/2v)^2=K^2/2 なので

Qz2=K22K2=K22Qz=iK2Q_z^2=\frac{K^2}{2}-K^2=-\frac{K^2}{2}\quad\Longrightarrow\quad Q_z=\frac{iK}{\sqrt2}

z+z\to+\infty で減衰する解を選びました)。したがって z>0z>0 では eiQzz=eKz/2e^{iQ_zz}=e^{-Kz/\sqrt2} というエバネッセント波になります。減衰定数は κ=K/2\kappa=K/\sqrt2、浸透深さは 1/κ=2/K1/\kappa=\sqrt2/K です。

振幅の絶対値を出すため複素振幅で書きます。z<0z<0E~y=[E0eiKz+R~eiKz]ei(Kxωt)\tilde E_y=\left[E_0e^{iKz}+\tilde Re^{-iKz}\right]e^{i(Kx-\omega t)}z>0z>0E~y=T~eκzei(Kxωt)\tilde E_y=\tilde Te^{-\kappa z}e^{i(Kx-\omega t)} とします。EyE_y の連続と、Bx=(i/ω)zE~yB_x=(i/\omega)\partial_z\tilde E_y すなわち zE~y\partial_z\tilde E_y の連続から

E0+R~=T~,iKE0iKR~=κT~E_0+\tilde R=\tilde T,\qquad iKE_0-iK\tilde R=-\kappa\tilde T

が得られます。第2式を iKiK で割り κ=K/2\kappa=K/\sqrt2 を入れると E0R~=iκKT~=i2T~E_0-\tilde R=\dfrac{i\kappa}{K}\tilde T=\dfrac{i}{\sqrt2}\tilde T です。2式を足して

2E0=T~(1+i2)T~=2E01+i/2=22E02+i=2E0(2i2)32E_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}

となり、T~=223E0=263E0|\tilde T|=\dfrac{2\sqrt2}{\sqrt3}E_0=\dfrac{2\sqrt6}{3}E_0argT~=arctan(1/2)\arg\tilde T=-\arctan(1/\sqrt2) です。よって z>0z>0 での電場は

E2=(0, 263E0eKz/2cos(Kxωtϕ), 0),tanϕ=12\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(z)=263E0eKz/2(z>0)\left|E(z)\right|=\frac{2\sqrt6}{3}E_0\,e^{-Kz/\sqrt2}\qquad(z>0)

です。26/31.632\sqrt6/3\simeq1.63 で境界での振幅は入射波より大きくなりますが、QzQ_z が純虚数なので zz 方向の時間平均エネルギー流はゼロで、全反射と矛盾しません。実際 R~=T~E0=E02i2+i\tilde R=\tilde T-E_0=E_0\dfrac{\sqrt2-i}{\sqrt2+i} の絶対値は E0E_0 に等しく、反射率は 1 です。位相 ϕ35.3\phi\simeq35.3^\circ のずれが全反射に伴う位相シフトです。

独立な2部構成です。設問1は上半平面で正則な関数に対する主値積分の関係式(分散関係、クラマース・クロニッヒ関係式)を留数計算から導く問題、設問2は単位行列にランク1の項を加えた行列 C=pIqvvTC=pI-q\vec v\vec v^T とその積 B=CAB=CA の固有値・行列式・微分方程式の安定性を扱う問題です。

f(z)f(z) は実軸を含む複素上半平面で正則、上半平面で z|z|\to\infty のとき f(z)0f(z)\to0x0x_0 は実数です。CC_-z=x0z=x_0 を下半平面側に迂回し、C+C_+ は上半平面側に迂回して、z=z=-\infty から z=+z=+\infty まで実軸に沿って進む経路です。CC_- 上および CC_- の上半平面側でも ff は正則と仮定されています。

(i) どちらの経路も、半径 ρ\rho の上半平面の大円弧 Γρ\Gamma_\rho で閉じます。Γρ\Gamma_\rho 上では f(z)maxΓρf0|f(z)|\le\max_{\Gamma_\rho}|f|\to0zx01ρ1|z-x_0|^{-1}\sim\rho^{-1}、弧長は πρ\pi\rho なので

Γρdzf(z)zx0πρmaxΓρfρx0ρ0\left|\int_{\Gamma_\rho}dz\,\frac{f(z)}{z-x_0}\right|\le\pi\rho\cdot\frac{\max_{\Gamma_\rho}|f|}{\rho-|x_0|}\xrightarrow[\rho\to\infty]{}0

で、大円弧の寄与は消えます。

CC_-x0x_0 の下を通るので、C+ΓρC_-+\Gamma_\rho が反時計回りに囲む領域の内部に z=x0z=x_0 の1位の極があります。仮定より ff はその領域で正則なので、留数定理から

I=2πiResz=x0f(z)zx0=2πif(x0)I_-=2\pi i\,\mathrm{Res}_{z=x_0}\frac{f(z)}{z-x_0}=2\pi i\,f(x_0)

です。一方 C+C_+x0x_0 の上を通るので、C++ΓρC_++\Gamma_\rho が囲む領域に特異点はなく

I+=0I_+=0

です。差 II+=2πif(x0)I_--I_+=2\pi if(x_0) は、CC_- から C+C_+ に移る際に x0x_0 を反時計回りに1周する分の留数にちょうど対応しており、整合しています。

(ii) z=x0+awz=x_0+aw と置くと dz=adwdz=a\,dwzx0=awz-x_0=aw なので aa が約せて

C12dzf(z)zx0=w1w2dwf(x0+aw)w,wn=eiθn\int_{C_{12}}dz\,\frac{f(z)}{z-x_0}=\int_{w_1}^{w_2}dw\,\frac{f(x_0+aw)}{w},\qquad w_n=e^{i\theta_n}

となります。積分路は単位円上の2点 eiθ1,eiθ2e^{i\theta_1},e^{i\theta_2} を結ぶ弦です。0<θn<π0<\theta_n<\pi より θ2θ1<π|\theta_2-\theta_1|<\pi なので、この弦は原点を通らず、原点からの距離は cos((θ2θ1)/2)>0\cos\bigl((\theta_2-\theta_1)/2\bigr)>0 以上です。よって C12dw/w\int_{C_{12}}|dw|/|w|aa に依らず有界で、ffx0x_0 での連続性から

w1w2dwf(x0+aw)f(x0)wa+00\int_{w_1}^{w_2}dw\,\frac{f(x_0+aw)-f(x_0)}{w}\xrightarrow[a\to+0]{}0

です。残るのは f(x0)w1w2dw/wf(x_0)\int_{w_1}^{w_2}dw/w です。弦は上半平面(Imw>0\mathrm{Im}\,w>0)にあり、そこで logw=lnw+iargw\log w=\ln|w|+i\arg w は一価正則なので

w1w2dww=[lnw+iargw]eiθ1eiθ2=(ln1ln1)+i(θ2θ1)=i(θ2θ1)\int_{w_1}^{w_2}\frac{dw}{w}=\Bigl[\ln|w|+i\arg w\Bigr]_{e^{i\theta_1}}^{e^{i\theta_2}}=(\ln1-\ln1)+i(\theta_2-\theta_1)=i(\theta_2-\theta_1)

です。したがって答えは

lima+0C12dzf(z)zx0=i(θ2θ1)f(x0)\lim_{a\to+0}\int_{C_{12}}dz\,\frac{f(z)}{z-x_0}=i(\theta_2-\theta_1)f(x_0)

です。値は端点の偏角の差だけで決まり、aa にも w|w| の詳細にも依りません。

(iii) A=1/πA=1/\pi です。

C+C_+ を、実軸上の (,x0ϵ](-\infty,x_0-\epsilon]x0x_0 を中心とする半径 ϵ\epsilon の上半円弧 AϵA_\epsilonx0ϵx_0-\epsilon から x0+ϵx_0+\epsilon へ、すなわち偏角 π\pi から 00 へ)、実軸上の [x0+ϵ,)[x_0+\epsilon,\infty) の3つに分けます。(ii) の計算は z1,z2z_1,z_2 を結ぶ上半平面内の経路であれば弦でも円弧でも同じ結果を与えます(1/w1/w が上半平面で正則なので積分値は端点のみで決まる)。θ1=π, θ2=0\theta_1=\pi,\ \theta_2=0 とすれば

limϵ+0Aϵdzf(z)zx0=i(0π)f(x0)=iπf(x0)\lim_{\epsilon\to+0}\int_{A_\epsilon}dz\,\frac{f(z)}{z-x_0}=i(0-\pi)f(x_0)=-i\pi f(x_0)

です。(i) の I+=0I_+=0 に代入して

0=limϵ+0[x0ϵdxf(x)xx0+x0+ϵdxf(x)xx0]iπf(x0)0=\lim_{\epsilon\to+0}\left[\int_{-\infty}^{x_0-\epsilon}dx\,\frac{f(x)}{x-x_0}+\int_{x_0+\epsilon}^{\infty}dx\,\frac{f(x)}{x-x_0}\right]-i\pi f(x_0)

すなわち主値積分 P\mathrm{P} を使って

Pdxf(x)xx0=iπf(x0)\mathrm{P}\int_{-\infty}^{\infty}dx\,\frac{f(x)}{x-x_0}=i\pi f(x_0)

を得ます。I=2πif(x0)I_-=2\pi if(x_0) と、下半円弧(偏角 π-\pi から 00 へ、x0x_0 の下を通る)の寄与 i(0(π))f(x0)=+iπf(x0)i\bigl(0-(-\pi)\bigr)f(x_0)=+i\pi f(x_0) から出発しても同じ式になり、検算になります。

積分変数 xxxx0x-x_0 は実なので、上式の実部と虚部は別々に等式になります。f(x)=Ref(x)+iImf(x)f(x)=\mathrm{Re}f(x)+i\,\mathrm{Im}f(x) として虚部を取り出すと

PdxImf(x)xx0=Im[iπf(x0)]=πRef(x0)\mathrm{P}\int_{-\infty}^{\infty}dx\,\frac{\mathrm{Im}f(x)}{x-x_0}=\mathrm{Im}\bigl[i\pi f(x_0)\bigr]=\pi\,\mathrm{Re}f(x_0)

したがって

Ref(x0)=1πlimϵ+0[x0ϵdxImf(x)xx0+x0+ϵdxImf(x)xx0]\mathrm{Re}f(x_0)=\frac{1}{\pi}\lim_{\epsilon\to+0}\left[\int_{-\infty}^{x_0-\epsilon}dx\,\frac{\mathrm{Im}f(x)}{x-x_0}+\int_{x_0+\epsilon}^{\infty}dx\,\frac{\mathrm{Im}f(x)}{x-x_0}\right]

が示され、A=1/πA=1/\pi と決まります。実部を取り出せば対になる関係式 Imf(x0)=1πPdxRef(x)xx0\mathrm{Im}f(x_0)=-\dfrac1\pi\mathrm{P}\displaystyle\int dx\,\dfrac{\mathrm{Re}f(x)}{x-x_0} が出ます。これらは応答関数の実部と虚部を結ぶクラマース・クロニッヒ関係式そのもので、上半平面での正則性(因果律)だけから従う点が重要です。

n2n\ge2IInn 次単位行列、v\vec v は実単位ベクトル(vTv=1\vec v^T\vec v=1)、p,qp,q は正の実数で

C=pIqvvTC=pI-q\vec v\vec v^{\,T}

です。

(i) vTv=1\vec v^T\vec v=1 を使って

Cv=pvqv(vTv)=(pq)vC\vec v=p\vec v-q\vec v\,(\vec v^{\,T}\vec v)=(p-q)\vec v

なので、対応する固有値は pqp-q です。

(ii) vTw=0\vec v^{\,T}\vec w=0 なら

Cw=pwqv(vTw)=pwC\vec w=p\vec w-q\vec v\,(\vec v^{\,T}\vec w)=p\vec w

なので、対応する固有値は pp です。

(iii) v\vec v に直交するベクトルの空間は n1n-1 次元なので、固有値 pp の重複度は n1n-1、固有値 pqp-q が1個です。CC は実対称なので対角化でき、行列式は固有値の積で

detC=(pq)pn1\det C=(p-q)\,p^{\,n-1}

です。q=0q=0detC=pn\det C=p^nn=1n=1 の形式的な場合に pqp-q となることからも符号と冪が確認できます。

(iv) AA の固有値に 0 が含まれないので detA0\det A\ne0 です。detB=detCdetA\det B=\det C\det A より

detB=0    detC=0    (pq)pn1=0\det B=0\iff\det C=0\iff(p-q)p^{\,n-1}=0

で、p>0p>0 なので pn10p^{n-1}\ne0、したがって q=pq=p です。答えは q0=pq_0=p です。

(v) BB は実行列なので、その固有多項式 φ(λ)=det(BλI)\varphi(\lambda)=\det(B-\lambda I) の係数はすべて実数です。β\beta が固有値なら φ(β)=0\varphi(\beta)=0 で、両辺の複素共役をとると係数が実であることから

0=φ(β)=φ(β)0=\overline{\varphi(\beta)}=\varphi(\beta^*)

となり、β\beta^* も固有多項式の根、すなわち BB の固有値です。固有ベクトルで言えば、Bu=βuB\vec u=\beta\vec uu0\vec u\ne0)の複素共役を取れば Bu=βuB\vec u^{\,*}=\beta^*\vec u^{\,*} で、u0\vec u^{\,*}\ne0 なので同じ結論です。

(vi) AA の固有値がすべて正なら detA>0\det A>0 です。q>q0=pq>q_0=p より pq<0p-q<0pn1>0p^{n-1}>0 なので (iii) から detC<0\det C<0、したがって

detB=detCdetA<0\det B=\det C\det A<0

です。detB\det BBB の固有値 β1,,βn\beta_1,\dots,\beta_n(重複度込み)の積です。(v) より複素固有値は共役対をなし、その対の寄与 ββ=β2>0\beta\beta^*=|\beta|^2>0 は正です。よって detB\det B の符号は実固有値の符号の積に等しく、それが負であることから、負の実固有値が奇数個(少なくとも1個)存在します。detB0\det B\ne0 なので 0 は固有値ではありません。

その負の実固有値を β<0\beta<0、対応する実固有ベクトルを u0\vec u\ne\vec 0 とします(BBβ\beta が実なので実ベクトルに取れます)。このとき

g(t)=eβtu\vec g(t)=e^{-\beta t}\vec u

dg/dt=βeβtu=Bgd\vec g/dt=-\beta e^{-\beta t}\vec u=-B\vec g を満たすので方程式(1)の解であり

g(t)=eβtut\|\vec g(t)\|=e^{|\beta|t}\|\vec u\|\xrightarrow[t\to\infty]{}\infty

です。上の議論は v\vec v の向きを一切使っていないので、任意の実単位ベクトル v\vec v に対して成立します。

(vii) AA は実対称なので正規直交固有ベクトル系 u1,,un\vec u_1,\dots,\vec u_n と実固有値 α1,,αn\alpha_1,\dots,\alpha_n をもちます。負の固有値がちょうど1つなので、番号を付け替えて α1<0\alpha_1<0αi>0 (i2)\alpha_i>0\ (i\ge2) とします。そこで

v=u1\vec v=\vec u_1

と選びます(AA の固有ベクトルは規格化してあるので vTv=1\vec v^T\vec v=1 を満たします)。この基底では A=diag(α1,,αn)A=\mathrm{diag}(\alpha_1,\dots,\alpha_n) であり、(i)(ii) より C=diag(pq,p,,p)C=\mathrm{diag}(p-q,p,\dots,p) なので、両者は同時対角化されていて

B=CA=diag((pq)α1, pα2, , pαn)B=CA=\mathrm{diag}\bigl((p-q)\alpha_1,\ p\alpha_2,\ \dots,\ p\alpha_n\bigr)

となります。q>q0=pq>q_0=p より pq<0p-q<0、かつ α1<0\alpha_1<0 なので β1(pq)α1>0\beta_1\equiv(p-q)\alpha_1>0、また βipαi>0 (i2)\beta_i\equiv p\alpha_i>0\ (i\ge2) です。つまり BB の固有値はすべて正になります。

方程式(1)の一般解はこの固有基底で

g(t)=i=1ncieβitui,ci=uiTg(0)\vec g(t)=\sum_{i=1}^{n}c_i\,e^{-\beta_it}\,\vec u_i,\qquad c_i=\vec u_i^{\,T}\vec g(0)

と書けるので

g(t)2=i=1nci2e2βite2βmintg(0)2t0\|\vec g(t)\|^2=\sum_{i=1}^{n}c_i^2e^{-2\beta_it}\le e^{-2\beta_{\min}t}\|\vec g(0)\|^2\xrightarrow[t\to\infty]{}0

βmin=miniβi>0\beta_{\min}=\min_i\beta_i>0)となり、初期条件に依らず任意の解が limtg(t)=0\lim_{t\to\infty}\|\vec g(t)\|=0 を満たします。よってそのような v\vec v は存在します。

最後の2問を並べると構図がはっきりします。q>pq>p のとき CCv\vec v 方向だけを符号反転させる変換で、AA の負の固有値の方向にその反転を合わせれば B=CAB=CA の固有値の符号をすべて正に揃えられる。逆に AA が正定値なら、どの方向に反転を当てても必ず1つ負の固有値が生じてしまう、という対比です。

出典: 東京大学大学院理学系研究科 物理学専攻 令和4年度 修士課程 入学試験問題 専門科目。問題文は要約して引用しています。

Report an error in this article ・Operated by: Mugen Giken LLCPricingTermsLegal notice

© 2026 夢現技研合同会社 ・Feeding the text to an LLM is welcome. Code samples are MIT licensed.