Skip to content

令和2年度 東大院 物理学専攻 博士 物理学 解答

Raw

This content is not available in your language yet.

3 時間で 3 問、選択はなく全問必答です。3 問とも同年度の修士課程 物理学の必答問題(第1問から第3問)と同一で、量子力学・統計力学・電磁気学が 1 問ずつ並びます。どれも二状態系の期待値、ガウス積分、円筒座標の Maxwell 方程式という教科書的な入口から始まりますが、設問が進むと第1問は隠れた変数の理論との矛盾、第2問は高温側のグランドカノニカル計算とエントロピーの温度依存性、第3問は特性インピーダンスと群速度という応用側に出ます。手が止まりやすいのは第1問設問8以降の確率の勘定、第2問設問8の熱力学的な組み立て、第3問設問1の完全導体の境界条件の使い方でしょう。

問題分野主題
第1問量子力学二状態系の測定とベルの不等式(Mermin 版)
第2問統計力学・熱力学古典理想気体と自由フェルミ粒子系
第3問電磁気学・波動同軸ケーブルの TEM モードとパルス伝搬

第1問 二状態系の測定とベルの不等式

Section titled “第1問 二状態系の測定とベルの不等式”

観測量は

σz=(1001),σx=(0110),σ(θ)=(cosθ)σz+(sinθ)σx\sigma_z=\begin{pmatrix}1&0\\0&-1\end{pmatrix},\qquad \sigma_x=\begin{pmatrix}0&1\\1&0\end{pmatrix},\qquad \sigma(\theta)=(\cos\theta)\,\sigma_z+(\sin\theta)\,\sigma_x

で与えられ、状態ベクトルは =(1,0)T|\uparrow\rangle=(1,0)^{T}=(0,1)T|\downarrow\rangle=(0,1)^{T} を基底として書きます。σ(θ)\sigma(\theta)zzxx 面内で zz 軸から角 θ\theta の向きのスピン成分にあたる観測量です。

まず固有値を確定させます。σzσx+σxσz=0\sigma_z\sigma_x+\sigma_x\sigma_z=0σz2=σx2=I\sigma_z^2=\sigma_x^2=I から

σ(θ)2=cos2θσz2+sin2θσx2+cosθsinθ(σzσx+σxσz)=I\sigma(\theta)^2=\cos^2\theta\,\sigma_z^2+\sin^2\theta\,\sigma_x^2+\cos\theta\sin\theta\,(\sigma_z\sigma_x+\sigma_x\sigma_z)=I

なので、σ(θ)\sigma(\theta) の固有値は ±1\pm1 です。固有ベクトルは直接確かめられて

θ,+=cosθ2+sinθ2,θ,=sinθ2+cosθ2|\theta,+\rangle=\cos\frac{\theta}{2}|\uparrow\rangle+\sin\frac{\theta}{2}|\downarrow\rangle,\qquad |\theta,-\rangle=-\sin\frac{\theta}{2}|\uparrow\rangle+\cos\frac{\theta}{2}|\downarrow\rangle

が固有値 +1,1+1,-1 に属します。θ=0\theta=0σz\sigma_zθ=π/2\theta=\pi/2σx\sigma_x に戻ります。

後半では二状態系 A,BA,B の複合系を、離れた 2 か所でそれぞれ測定します。用いる状態は一重項

Ψ=12(ABAB)|\Psi\rangle=\frac{1}{\sqrt2}\Big(|\uparrow\rangle_A|\downarrow\rangle_B-|\downarrow\rangle_A|\uparrow\rangle_B\Big)

です。この問題は令和2年度 修士課程 物理学 第1問と同一です。

|\uparrow\rangleσz\sigma_z の固有値 +1+1 の固有状態です。σz\sigma_z の固有値は ±1\pm1 ですが、1-1 が出る確率は 2=0|\langle\downarrow|\uparrow\rangle|^2=0 なので、測定結果は確率 1 で

sz=+1s_z=+1

だけをとります。期待値は σz=σz=+1\langle\sigma_z\rangle=\langle\uparrow|\sigma_z|\uparrow\rangle=+1 です。

σx\sigma_x の固有状態は x,±=(±)/2|x,\pm\rangle=(|\uparrow\rangle\pm|\downarrow\rangle)/\sqrt2 で、=(x,++x,)/2|\uparrow\rangle=(|x,+\rangle+|x,-\rangle)/\sqrt2 と展開できます。したがって測定結果は

sx=+1 (確率 1/2),sx=1 (確率 1/2)s_x=+1\ (\text{確率}\ 1/2),\qquad s_x=-1\ (\text{確率}\ 1/2)

の 2 通りです。期待値は

σx=σx=(1  0)(0110)(10)=0\langle\sigma_x\rangle=\langle\uparrow|\sigma_x|\uparrow\rangle=(1\ \ 0)\begin{pmatrix}0&1\\1&0\end{pmatrix}\begin{pmatrix}1\\0\end{pmatrix}=0

です。答えは sx=±1s_x=\pm1 が等確率、期待値は 00 です。

設定で求めた固有ベクトルを使うと θ,+=cos(θ/2)\langle\theta,+|\uparrow\rangle=\cos(\theta/2)θ,=sin(θ/2)\langle\theta,-|\uparrow\rangle=-\sin(\theta/2) なので、測定結果は

sθ=+1 (確率 cos2θ2),sθ=1 (確率 sin2θ2)s_\theta=+1\ \left(\text{確率}\ \cos^2\frac{\theta}{2}\right),\qquad s_\theta=-1\ \left(\text{確率}\ \sin^2\frac{\theta}{2}\right)

の 2 通りです。期待値は

σ(θ)=cos2θ2sin2θ2=cosθ\langle\sigma(\theta)\rangle=\cos^2\frac{\theta}{2}-\sin^2\frac{\theta}{2}=\cos\theta

で、これは σ(θ)=cosθ\langle\uparrow|\sigma(\theta)|\uparrow\rangle=\cos\theta と直接計算しても一致します。θ=0\theta=0 で設問1 の 11θ=π/2\theta=\pi/2 で設問2 の 00 に戻ることも確認できます。

Ψ|\Psi\rangle には AB|\uparrow\rangle_A|\uparrow\rangle_BAB|\downarrow\rangle_A|\downarrow\rangle_B が含まれていません。AB|\uparrow\rangle_A|\downarrow\rangle_BAB|\downarrow\rangle_A|\uparrow\rangle_BσzAσzB\sigma_z^A\sigma_z^B の同時固有状態なので、取りうる測定結果の組は

(szA,szB)=(+1,1)  または  (1,+1)(s_z^A,s_z^B)=(+1,-1)\ \ \text{または}\ \ (-1,+1)

の 2 通りで、それぞれ確率 1/21/2 です。積は常に 1-1 なので

szAszB=1\langle s_z^A s_z^B\rangle=-1

です。演算子で書けば σzAσzBΨ=Ψ\sigma_z^A\sigma_z^B|\Psi\rangle=-|\Psi\rangle であり、Ψ|\Psi\rangle は積の固有値 1-1 の固有状態です。

σxAσxB\sigma_x^A\sigma_x^BAB|\uparrow\rangle_A|\downarrow\rangle_BAB|\downarrow\rangle_A|\uparrow\rangle_B を入れ替えるので

σxAσxBΨ=12(ABAB)=Ψ\sigma_x^A\sigma_x^B|\Psi\rangle=\frac{1}{\sqrt2}\Big(|\downarrow\rangle_A|\uparrow\rangle_B-|\uparrow\rangle_A|\downarrow\rangle_B\Big)=-|\Psi\rangle

となり、Ψ|\Psi\rangleσxAσxB\sigma_x^A\sigma_x^B の固有値 1-1 の固有状態です。x,±|x,\pm\rangle 基底で書き直すと

Ψ=12(x,+Ax,Bx,Ax,+B)|\Psi\rangle=-\frac{1}{\sqrt2}\Big(|x,+\rangle_A|x,-\rangle_B-|x,-\rangle_A|x,+\rangle_B\Big)

なので、取りうる組は

(sxA,sxB)=(+1,1)  または  (1,+1)(s_x^A,s_x^B)=(+1,-1)\ \ \text{または}\ \ (-1,+1)

の 2 通り(各確率 1/21/2)で、期待値は sxAsxB=1\langle s_x^A s_x^B\rangle=-1 です。zz 方向でも xx 方向でも同じ答えになるのは、一重項が回転不変だからです。

c=cos(θ/2)c=\cos(\theta/2)s=sin(θ/2)s=\sin(\theta/2) と略記し、設定で導いた θ,±|\theta,\pm\rangle を使って =cθ,+sθ,|\uparrow\rangle=c|\theta,+\rangle-s|\theta,-\rangle=sθ,++cθ,|\downarrow\rangle=s|\theta,+\rangle+c|\theta,-\rangle と逆に解きます。これを Ψ|\Psi\rangle に代入すると

AB=cs+++c2+s2+sc,AB=sc++s2++c2+cs\begin{aligned} |\uparrow\rangle_A|\downarrow\rangle_B&=cs\,|{+}{+}\rangle+c^2|{+}{-}\rangle-s^2|{-}{+}\rangle-sc\,|{-}{-}\rangle,\\ |\downarrow\rangle_A|\uparrow\rangle_B&=sc\,|{+}{+}\rangle-s^2|{+}{-}\rangle+c^2|{-}{+}\rangle-cs\,|{-}{-}\rangle \end{aligned}

±±|{\pm}{\pm}\rangleθ,±Aθ,±B|\theta,\pm\rangle_A|\theta,\pm\rangle_B の略記)となり、差をとると ++|{+}{+}\rangle|{-}{-}\rangle が消えて c2+s2=1c^2+s^2=1 が残ります。すなわち

Ψ=12(θ,+Aθ,Bθ,Aθ,+B)|\Psi\rangle=\frac{1}{\sqrt2}\Big(|\theta,+\rangle_A|\theta,-\rangle_B-|\theta,-\rangle_A|\theta,+\rangle_B\Big)

です。θ\theta を回した基底でも一重項の形が保たれるので、θ,+Aθ,+B|\theta,+\rangle_A|\theta,+\rangle_Bθ,Aθ,B|\theta,-\rangle_A|\theta,-\rangle_B の振幅は厳密に 00 です。したがって (sθA,sθB)(s_\theta^A,s_\theta^B)(+1,1)(+1,-1)(1,+1)(-1,+1) のみで、sθA=sθB=±1s_\theta^A=-s_\theta^B=\pm1 が成り立ちます。証明終わりです。

まず期待値を求めます。σA(θ)σB(φ)\sigma^A(\theta)\sigma^B(\varphi) を展開すると 4 項が出ますが、σzAσxBΨ=(AB+AB)/2\sigma_z^A\sigma_x^B|\Psi\rangle=(|\uparrow\rangle_A|\uparrow\rangle_B+|\downarrow\rangle_A|\downarrow\rangle_B)/\sqrt2Ψ|\Psi\rangle と直交するので σzAσxB=0\langle\sigma_z^A\sigma_x^B\rangle=0、同様に σxAσzB=0\langle\sigma_x^A\sigma_z^B\rangle=0 です。残る 2 項は設問4・設問5 の結果を使えて

σA(θ)σB(φ)=cosθcosφsinθsinφ=cos(θφ)\langle\sigma^A(\theta)\sigma^B(\varphi)\rangle=-\cos\theta\cos\varphi-\sin\theta\sin\varphi=-\cos(\theta-\varphi)

となります。つまり sθAsφB=cos(θφ)\langle s_\theta^A s_\varphi^B\rangle=-\cos(\theta-\varphi) です。

取りうる組を出すために、設問6 の表式で BB 側だけ φ\varphi 基底に移します。α(θφ)/2\alpha\equiv(\theta-\varphi)/2 とおくと θ,+=cosαφ,++sinαφ,|\theta,+\rangle=\cos\alpha\,|\varphi,+\rangle+\sin\alpha\,|\varphi,-\rangleθ,=sinαφ,++cosαφ,|\theta,-\rangle=-\sin\alpha\,|\varphi,+\rangle+\cos\alpha\,|\varphi,-\rangle なので

Ψ=12[sinαθ,+Aφ,+B+cosαθ,+Aφ,Bcosαθ,Aφ,+Bsinαθ,Aφ,B]|\Psi\rangle=\frac{1}{\sqrt2}\Big[-\sin\alpha\,|\theta,+\rangle_A|\varphi,+\rangle_B+\cos\alpha\,|\theta,+\rangle_A|\varphi,-\rangle_B-\cos\alpha\,|\theta,-\rangle_A|\varphi,+\rangle_B-\sin\alpha\,|\theta,-\rangle_A|\varphi,-\rangle_B\Big]

です。よって θφ\theta\neq\varphimod 2π\bmod\ 2\pi)のときは 4 通り

(sθA,sφB)=(+1,+1), (+1,1), (1,+1), (1,1)(s_\theta^A,s_\varphi^B)=(+1,+1),\ (+1,-1),\ (-1,+1),\ (-1,-1)

がすべて起こり、確率は同符号が各 12sin2α\tfrac12\sin^2\alpha、異符号が各 12cos2α\tfrac12\cos^2\alpha です。期待値は

sin2αcos2α=cos2α=cos(θφ)\sin^2\alpha-\cos^2\alpha=-\cos2\alpha=-\cos(\theta-\varphi)

で、上の演算子計算と一致します。θ=φ\theta=\varphi とすると同符号の確率が 00 になり、設問6 に戻ります。

θ,φ\theta,\varphi をそれぞれ {0,120,240}\{0^\circ,120^\circ,240^\circ\} から独立に確率 1/31/3 で選びます。θ=φ\theta=\varphi となる 3 通りでは異符号のみですが、θφ\theta\neq\varphi となる 6 通りでは設問7 より 4 通りすべてが起こります。したがって取りうる値は

(sA,sB)=(+1,+1), (+1,1), (1,+1), (1,1)(s^A,s^B)=(+1,+1),\ (+1,-1),\ (-1,+1),\ (-1,-1)

の 4 通りです。

期待値は設問7 の結果を 9 通りについて平均すればよく、θφ\theta-\varphi0,120,2400^\circ,120^\circ,240^\circ をそれぞれ 3 回ずつとるので

sAsB=19θφcos(θφ)=19[3cos0+3cos120+3cos240]=19[33232]=0\langle s^As^B\rangle=-\frac{1}{9}\sum_{\theta}\sum_{\varphi}\cos(\theta-\varphi) =-\frac{1}{9}\Big[3\cos0^\circ+3\cos120^\circ+3\cos240^\circ\Big] =-\frac{1}{9}\left[3-\frac32-\frac32\right]=0

です。見通しよく言えば、cos(θφ)=n(θ)n(φ)\cos(\theta-\varphi)=\boldsymbol{n}(\theta)\cdot\boldsymbol{n}(\varphi)n(θ)=(sinθ,cosθ)\boldsymbol{n}(\theta)=(\sin\theta,\cos\theta))と書けるので

θφn(θ)n(φ)=(θn(θ))(φn(φ))=0\sum_{\theta}\sum_{\varphi}\boldsymbol{n}(\theta)\cdot\boldsymbol{n}(\varphi)=\Big(\sum_\theta\boldsymbol{n}(\theta)\Big)\cdot\Big(\sum_\varphi\boldsymbol{n}(\varphi)\Big)=0

となります。120120^\circ 刻みの 3 本の単位ベクトルの和が零ベクトルになることが本質です。答えは sAsB=0\langle s^As^B\rangle=0 です。

仮説のもとでは、各回の実験の前から (s0A,s120A,s240A)(s_{0^\circ}^A,s_{120^\circ}^A,s_{240^\circ}^A) が決まっており、BB 側は sφB=sφAs_\varphi^B=-s_\varphi^A です。測定角の選択は A,BA,B で独立なので、Σs0A+s120A+s240A\Sigma\equiv s_{0^\circ}^A+s_{120^\circ}^A+s_{240^\circ}^A とおくと

sAsB=19θφsθA(sφA)=19(θsθA)(φsφA)=Σ29\langle s^As^B\rangle=\frac{1}{9}\sum_{\theta}\sum_{\varphi}s_\theta^A\left(-s_\varphi^A\right) =-\frac{1}{9}\Big(\sum_\theta s_\theta^A\Big)\Big(\sum_\varphi s_\varphi^A\Big)=-\frac{\Sigma^2}{9}

が成り立ちます。以下これを使います。

(i) (+1,+1,+1)(+1,+1,+1) のとき Σ=3\Sigma=3 なので sAsB=9/9=1\langle s^As^B\rangle=-9/9=-1 です。実際、AA ではどの角を選んでも sA=+1s^A=+1BB ではどの角を選んでも sB=1s^B=-1 なので積は常に 1-1 です。

(ii) (+1,+1,1)(+1,+1,-1) のとき Σ=1\Sigma=1 なので sAsB=1/9\langle s^As^B\rangle=-1/9 です。sA=1/3\langle s^A\rangle=1/3sB=1/3\langle s^B\rangle=-1/3 で、両者は独立なので積の期待値は 1/9-1/9 となり、同じ答えが得られます。

(iii) Σ\Sigma±1\pm1 を 3 個足した数なので必ず奇数で、Σ0\Sigma\neq0 です。よって Σ21\Sigma^2\ge1、すなわちどの配位でも

sAsB=Σ2919<0\langle s^As^B\rangle=-\frac{\Sigma^2}{9}\le-\frac{1}{9}<0

です。8 通りの配位 cc が確率 pcp_ccpc=1\sum_c p_c=1)で任意に起こる場合も、期待値は各配位の値の平均

sAsB=19cpcΣc219<0\langle s^As^B\rangle=-\frac{1}{9}\sum_c p_c\,\Sigma_c^{\,2}\le-\frac{1}{9}<0

となり、負であることが示されました。値の範囲は 1sAsB1/9-1\le\langle s^As^B\rangle\le-1/9 です。設問8 の量子力学の答え 00 はこの区間に入らないので、両者は両立しません。

第2問 古典理想気体と自由フェルミ粒子系

Section titled “第2問 古典理想気体と自由フェルミ粒子系”

質量 mm の相互作用しない粒子 NN 個が体積 VV に入っており、温度 TT の熱浴と接しています。前半は古典統計で、分配関数は

Z=1h3NN! ⁣ ⁣dp1xdpNzdx1dzN eβH,H=i=1Npi22mZ=\frac{1}{h^{3N}N!}\int\!\cdots\!\int dp_{1x}\cdots dp_{Nz}\,dx_1\cdots dz_N\ e^{-\beta H}, \qquad H=\sum_{i=1}^{N}\frac{p_i^2}{2m}

で与えられます。β=1/(kBT)\beta=1/(k_{\mathrm B}T)h=2πh=2\pi\hbar です。後半は同じ粒子をフェルミ粒子として扱い、化学ポテンシャル μ\mu の粒子浴と接するグランドカノニカル分布で考えます。一辺 LL の立方体(V=L3V=L^3)に周期境界条件を課し、運動エネルギーは εk=2k2/(2m)\varepsilon_k=\hbar^2k^2/(2m)、内部自由度はないものとします。熱力学の関係式 dU=dQPdV+μdNdU=d'Q-PdV+\mu dNdQ=TdSd'Q=TdS(可逆)、F=UTSF=U-TS を使います。この問題は令和2年度 修士課程 物理学 第2問と同一です。

以下、熱的ド・ブロイ波長

λh2πmkBT\lambda\equiv\frac{h}{\sqrt{2\pi mk_{\mathrm B}T}}

を導入すると式が短くなるので、これを使います。

位置積分は各粒子について VV を与え、運動量積分は与えられた公式で a=β/(2m)a=\beta/(2m) として

eβp2/(2m)dp=2πmβ=2πmkBT\int_{-\infty}^{\infty}e^{-\beta p^2/(2m)}dp=\sqrt{\frac{2\pi m}{\beta}}=\sqrt{2\pi mk_{\mathrm B}T}

となります。運動量成分は 3N3N 個あるので

Z(T,V,N)=1h3NN!VN(2πmkBT)3N/2=1N!(Vλ3)NZ(T,V,N)=\frac{1}{h^{3N}N!}V^N\left(2\pi mk_{\mathrm B}T\right)^{3N/2} =\frac{1}{N!}\left(\frac{V}{\lambda^3}\right)^{N}

です。ヘルムホルツの自由エネルギーは lnN!NlnNN\ln N!\approx N\ln N-N を使って

F=kBTlnZ=NkBT[lnVNλ3+1]F=-k_{\mathrm B}T\ln Z=-Nk_{\mathrm B}T\left[\ln\frac{V}{N\lambda^3}+1\right]

となり、λ\lambdaVV に依らないことから

P=(FV)T,N=NkBTVP=-\left(\frac{\partial F}{\partial V}\right)_{T,N}=\frac{Nk_{\mathrm B}T}{V}

です。答えは Z=(V/λ3)N/N!Z=(V/\lambda^3)^N/N!P=NkBT/VP=Nk_{\mathrm B}T/V で、理想気体の状態方程式が再現されます。

満たされなくなるのは示量性(相加性)です。1/N!1/N! を落とすと

F=NkBTlnVλ3F_{\text{誤}}=-Nk_{\mathrm B}T\ln\frac{V}{\lambda^3}

となります。自由エネルギーは示量変数について 1 次の同次関数、すなわち F(T,αV,αN)=αF(T,V,N)F(T,\alpha V,\alpha N)=\alpha F(T,V,N) でなければなりませんが、この式では

F(T,αV,αN)=αF(T,V,N)αNkBTlnαF_{\text{誤}}(T,\alpha V,\alpha N)=\alpha F_{\text{誤}}(T,V,N)-\alpha Nk_{\mathrm B}T\ln\alpha

となって余分な項が残ります。原因は NlnVN\ln V という組み合わせで、示量的であるためには ln(V/N)\ln(V/N) の形、つまり密度の関数になっていなければなりません。1/N!1/N! を入れると ln(V/Nλ3)\ln(V/N\lambda^3) に変わり、示量性が回復します。同じことをエントロピーで言えば、同種気体を仕切りを外して混合したときに架空の混合エントロピーが生じてしまう(ギブスのパラドックス)ことになります。

設問1 の FFTT で微分します。ln(V/Nλ3)=ln(V/N)+32ln(2πmkBT/h2)\ln(V/N\lambda^3)=\ln(V/N)+\tfrac32\ln(2\pi mk_{\mathrm B}T/h^2) なので

S=(FT)V,N=NkB[lnVNλ3+1]+NkBT32TS=-\left(\frac{\partial F}{\partial T}\right)_{V,N} =Nk_{\mathrm B}\left[\ln\frac{V}{N\lambda^3}+1\right]+Nk_{\mathrm B}T\cdot\frac{3}{2T}

となり、

S(T,V,N)=NkB[lnVNλ3+52]=NkB[lnVN+32ln2πmkBTh2+52]S(T,V,N)=Nk_{\mathrm B}\left[\ln\frac{V}{N\lambda^3}+\frac52\right] =Nk_{\mathrm B}\left[\ln\frac{V}{N}+\frac32\ln\frac{2\pi mk_{\mathrm B}T}{h^2}+\frac52\right]

です。これはザッカー・テトロードの式です。

T0T\to0 とすると λT1/2\lambda\propto T^{-1/2}\to\infty なので V/(Nλ3)0V/(N\lambda^3)\to0 となり、ln\ln が発散して SS\to-\infty になります。古典的にはエントロピーが負になり、しかも下に限りなく発散するので、S0S\to0 を要求する熱力学第三法則を破ります。低温では古典近似そのものが破綻していることを意味しており、実際に効いてくるのは λ\lambda が粒子間距離 (V/N)1/3(V/N)^{1/3} 程度になる温度以下です。

内部エネルギーは

U=F+TS=NkBT[lnVNλ3+1]+NkBT[lnVNλ3+52]=32NkBTU=F+TS=-Nk_{\mathrm B}T\left[\ln\frac{V}{N\lambda^3}+1\right]+Nk_{\mathrm B}T\left[\ln\frac{V}{N\lambda^3}+\frac52\right]=\frac32Nk_{\mathrm B}T

なので

CV(T,V,N)=(UT)V,N=32NkBC_V(T,V,N)=\left(\frac{\partial U}{\partial T}\right)_{V,N}=\frac32Nk_{\mathrm B}

です。CV=T(S/T)V=T32NkB/TC_V=T(\partial S/\partial T)_V=T\cdot\tfrac32Nk_{\mathrm B}/T からも同じ値が出ます。1 粒子あたり並進 3 自由度に 12kB\tfrac12k_{\mathrm B} ずつという等分配則の結果で、TT にも VV にも依りません。

一辺 LL の立方体に周期境界条件を課すと、平面波 eikre^{i\boldsymbol{k}\cdot\boldsymbol{r}} に対して eikxL=1e^{ik_xL}=1 などが要求されます。したがって

kx=2πnxL,ky=2πnyL,kz=2πnzL,nx,ny,nzZk_x=\frac{2\pi n_x}{L},\quad k_y=\frac{2\pi n_y}{L},\quad k_z=\frac{2\pi n_z}{L}, \qquad n_x,n_y,n_z\in\mathbb{Z}

です。nn00 と負の整数も含みます。1 状態が占める kk 空間の体積は (2π/L)3=(2π)3/V(2\pi/L)^3=(2\pi)^3/V です。

グランドカノニカル分布では Ξ=状態eβ(EμN)\Xi=\sum_{\text{状態}}e^{-\beta(E-\mu N)} であり、粒子数の期待値は μ\mu についての微分で取り出せます。

N=1Ξ状態Neβ(EμN)=1β(lnΞμ)T,V\overline{N}=\frac{1}{\Xi}\sum_{\text{状態}}N\,e^{-\beta(E-\mu N)} =\frac{1}{\beta}\left(\frac{\partial\ln\Xi}{\partial\mu}\right)_{T,V}

与えられた大分配関数の対数は lnΞ=kln(1+eβ(εkμ))\ln\Xi=\sum_k\ln\left(1+e^{-\beta(\varepsilon_k-\mu)}\right) なので

N=1βkβeβ(εkμ)1+eβ(εkμ)=k1eβ(εkμ)+1=kf(εk)\overline{N}=\frac{1}{\beta}\sum_k\frac{\beta e^{-\beta(\varepsilon_k-\mu)}}{1+e^{-\beta(\varepsilon_k-\mu)}} =\sum_k\frac{1}{e^{\beta(\varepsilon_k-\mu)}+1}=\sum_kf(\varepsilon_k)

となります。示されました。各項は波数 kk の状態の占有数の期待値 nk\langle n_k\rangle にあたり、フェルミ粒子なので 0f10\le f\le1 に収まっています。

LL が十分大きいので設問5 の和を積分に置き換えます。1 状態あたりの kk 空間体積が (2π)3/V(2\pi)^3/V なので

k  V(2π)3d3k\sum_k\ \longrightarrow\ \frac{V}{(2\pi)^3}\int d^3k

です。高温近似 feβ(εkμ)f\approx e^{-\beta(\varepsilon_k-\mu)} を代入すると

N=eβμV(2π)3d3k eβ2k2/(2m)=eβμV(2π)3(2πmkBT2)3/2N=e^{\beta\mu}\frac{V}{(2\pi)^3}\int d^3k\ e^{-\beta\hbar^2k^2/(2m)} =e^{\beta\mu}\frac{V}{(2\pi)^3}\left(\frac{2\pi m k_{\mathrm B}T}{\hbar^2}\right)^{3/2}

となります。ガウス積分は各成分について dkxeβ2kx2/(2m)=2πmkBT/2\int dk_x\,e^{-\beta\hbar^2k_x^2/(2m)}=\sqrt{2\pi mk_{\mathrm B}T/\hbar^2} を使いました。(2π)3(2\pi)^3 を整理すると

N=V(mkBT2π2)3/2eβμ=Vλ3eβμN=V\left(\frac{mk_{\mathrm B}T}{2\pi\hbar^2}\right)^{3/2}e^{\beta\mu}=\frac{V}{\lambda^3}e^{\beta\mu}

です。したがって

μ=kBTlnNλ3V=kBTln[NV(2π2mkBT)3/2]\mu=k_{\mathrm B}T\ln\frac{N\lambda^3}{V} =k_{\mathrm B}T\ln\left[\frac{N}{V}\left(\frac{2\pi\hbar^2}{mk_{\mathrm B}T}\right)^{3/2}\right]

が答えです。高温では Nλ3/V1N\lambda^3/V\ll1 なので対数は大きな負の数になり、μ<0\mu<0 かつ μkBT|\mu|\gg k_{\mathrm B}T という前提と整合しています。

同じ温度領域では eβ(εkμ)eβμ1e^{-\beta(\varepsilon_k-\mu)}\le e^{\beta\mu}\ll1 なので ln(1+x)x\ln(1+x)\approx x が使えて

lnΞ=kln(1+eβ(εkμ))keβ(εkμ)=N\ln\Xi=\sum_k\ln\left(1+e^{-\beta(\varepsilon_k-\mu)}\right)\approx\sum_ke^{-\beta(\varepsilon_k-\mu)}=N

です。グランドポテンシャルは J=kBTlnΞ=NkBTJ=-k_{\mathrm B}T\ln\Xi=-Nk_{\mathrm B}T、すなわち PV=NkBTPV=Nk_{\mathrm B}T で、古典理想気体の状態方程式に戻ります。

内部エネルギーは同じ近似で

U=kεkf(εk)eβμV(2π)3d3k 2k22meβ2k2/(2m)=32NkBTU=\sum_k\varepsilon_kf(\varepsilon_k)\approx e^{\beta\mu}\frac{V}{(2\pi)^3}\int d^3k\ \frac{\hbar^2k^2}{2m}e^{-\beta\hbar^2k^2/(2m)}=\frac32Nk_{\mathrm B}T

となります(ガウス積分の比 k2eak2d3k/eak2d3k=3/(2a)\int k^2e^{-ak^2}d^3k\big/\int e^{-ak^2}d^3k=3/(2a) を使いました)。J=UTSμNJ=U-TS-\mu NSS について解くと

S=UμNJT=32NkBTμN+NkBTT=μTN+52NkBS=\frac{U-\mu N-J}{T}=\frac{\tfrac32Nk_{\mathrm B}T-\mu N+Nk_{\mathrm B}T}{T} =-\frac{\mu}{T}N+\frac52Nk_{\mathrm B}

です。ここで μ/T=μ/TkB-\mu/T=|\mu|/T\gg k_{\mathrm B} という仮定 μkBT|\mu|\gg k_{\mathrm B}T を使うと、第 1 項が第 2 項より圧倒的に大きいので

SμTNS\approx-\frac{\mu}{T}N

が示されました。設問3・設問7 と突き合わせると μN/T=NkBln(V/Nλ3)-\mu N/T=Nk_{\mathrm B}\ln\left(V/N\lambda^3\right) であり、上式はザッカー・テトロードの式から定数項 52NkB\tfrac52Nk_{\mathrm B} を落としたものに一致します。落とせる理由は、対数項が μ/(kBT)1|\mu|/(k_{\mathrm B}T)\gg1 だけ大きいという点にあります。

低温側は CV=γTC_V=\gamma T から

S(T)=0TCV(T)TdT=0TγdT=γTS(T)=\int_0^T\frac{C_V(T')}{T'}dT'=\int_0^T\gamma\,dT'=\gamma T

です。積分定数は第三法則 S(0)=0S(0)=0 で決まります。高温側は設問8 より

SμTN=NkB[lnVN+32ln2πmkBTh2]S\approx-\frac{\mu}{T}N=Nk_{\mathrm B}\left[\ln\frac{V}{N}+\frac32\ln\frac{2\pi mk_{\mathrm B}T}{h^2}\right]

で、32NkBlnT\tfrac32Nk_{\mathrm B}\ln T という対数的な増大です。両者は縮退温度 TFT_{\mathrm F}λ(TF)(V/N)1/3\lambda(T_{\mathrm F})\sim(V/N)^{1/3} で決まる温度、γTFNkB\gamma T_{\mathrm F}\sim Nk_{\mathrm B})付近でつながります。

グラフの特徴を書き出すと次のようになります。横軸を TT、縦軸を SS にとります。フェルミ粒子系の曲線は原点 (0,0)(0,0) を通り、TTFT\ll T_{\mathrm F} では傾き γ\gamma の直線 S=γTS=\gamma T、単調増加です。TTFT\sim T_{\mathrm F}SNkBS\sim Nk_{\mathrm B} のオーダーに達したところで折れ曲がり、TTFT\gg T_{\mathrm F} では上の対数曲線に漸近します。対数曲線なので d2S/dT2<0d^2S/dT^2<0、つまり上に凸で、TT\to\infty で発散はするものの傾きは 00 に近づきます。

設問3 の古典的なエントロピー S古典=NkB[ln(V/Nλ3)+52]S_{\text{古典}}=Nk_{\mathrm B}\left[\ln(V/N\lambda^3)+\tfrac52\right] は、この対数曲線をそのまま低温まで延長したものです。高温では両者は一致します(差は 52NkB\tfrac52Nk_{\mathrm B} で、対数項に比べて無視できます)。低温側では S古典S_{\text{古典}} が下にずれて、V/(Nλ3)=e5/2V/(N\lambda^3)=e^{-5/2} となる温度(TFT_{\mathrm F} と同程度)で S=0S=0 を横切り、T0T\to0-\infty に発散します。フェルミ粒子系の曲線はこの下側への発散を起こさず、原点で 00 に落ち着く点が決定的な違いです。

ST0TFフェルミ粒子系古典(設問3)

第3問 同軸ケーブルの TEM モード

Section titled “第3問 同軸ケーブルの TEM モード”

半径 aa の円柱芯線と内半径 bb の円筒導体からなる同軸ケーブルを考えます。間の空間は誘電率 ϵ\epsilon、透磁率 μ\mu の絶縁体で満たされ、導体の電気抵抗は無視します(完全導体)。外側の円筒の厚さは十分薄く、ケーブルは直線でその長さは半径よりずっと大きいとします。ケーブルの軸を zz 軸とする円筒座標 (r,θ,z)(r,\theta,z) を使います。

考えるのは TEM モード、すなわち

Ez=Bz=0,θ(すべての場)=0E_z=B_z=0,\qquad \frac{\partial}{\partial\theta}(\text{すべての場})=0

を満たす軸対称な伝搬モードです。絶縁体中では

×E=Bt,×B=μϵEt,B=0,E=0\nabla\times\boldsymbol{E}=-\frac{\partial\boldsymbol{B}}{\partial t},\quad \nabla\times\boldsymbol{B}=\mu\epsilon\frac{\partial\boldsymbol{E}}{\partial t},\quad \nabla\cdot\boldsymbol{B}=0,\quad \nabla\cdot\boldsymbol{E}=0

が成り立ち、円筒座標での発散と回転は問題文に与えられた表式を使います。最後の設問ではパルスの伝搬を考え、ϵ,μ\epsilon,\mu が周波数に依存する場合の群速度を扱います。この問題は令和2年度 修士課程 物理学 第3問と同一です。

まず EθE_\theta です。Faraday の法則の zz 成分は、EzE_zθ\theta 微分が消え Bz=0B_z=0 なので

1r[r(rEθ)Erθ]=Bzt=0  r(rEθ)=0\frac{1}{r}\left[\frac{\partial}{\partial r}(rE_\theta)-\frac{\partial E_r}{\partial\theta}\right]=-\frac{\partial B_z}{\partial t}=0 \ \Longrightarrow\ \frac{\partial}{\partial r}(rE_\theta)=0

となり、rEθrE_\thetarr に依りません。rEθ=h(z,t)rE_\theta=h(z,t) と書けます。ところが芯線の表面 r=ar=a は完全導体なので、そこでは電場の接線成分が消え Eθ(a,z,t)=0E_\theta(a,z,t)=0、したがって h(z,t)=0h(z,t)=0 です。arba\le r\le b 全域で

Eθ=0E_\theta=0

が言えました。

次に BrB_r です。B=0\nabla\cdot\boldsymbol{B}=0Bz=0B_z=0θ=0\partial_\theta=0 を入れると

1rr(rBr)=0  rBr=g(z,t)\frac{1}{r}\frac{\partial}{\partial r}(rB_r)=0 \ \Longrightarrow\ rB_r=g(z,t)

で、rBrrB_rrr に依りません。ここに Faraday の法則の rr 成分と Ampère–Maxwell の法則の θ\theta 成分

Eθz=Brt,Brz=μϵEθt-\frac{\partial E_\theta}{\partial z}=-\frac{\partial B_r}{\partial t},\qquad \frac{\partial B_r}{\partial z}=\mu\epsilon\frac{\partial E_\theta}{\partial t}

を使うと、Eθ=0E_\theta=0 から g/t=0\partial g/\partial t=0 かつ g/z=0\partial g/\partial z=0、つまり gg は定数です。残った Br=g/rB_r=g/r は静的な場ですが、完全導体表面では磁束密度の法線成分が消えるので Br(a)=0B_r(a)=0、よって g=0g=0 です。したがって

Br=0B_r=0

です。g0g\neq0 が許されない理由は別の言い方もできます。Br=g/rB_r=g/r は軸を囲む半径 rr、長さ \ell の円筒面から 2πg2\pi\ell g の磁束が湧き出すことを意味し、磁気単極子の不在(B=0\nabla\cdot\boldsymbol{B}=0)と矛盾します。以上で Br=Eθ=0B_r=E_\theta=0 が示され、残るのは ErE_rBθB_\theta の 2 成分だけです。

Faraday の法則の θ\theta 成分と Ampère–Maxwell の法則の rr 成分を、Ez=Bz=0E_z=B_z=0θ=0\partial_\theta=0 のもとで書き下すと

Erz=Bθt,Bθz=μϵErt\frac{\partial E_r}{\partial z}=-\frac{\partial B_\theta}{\partial t},\qquad -\frac{\partial B_\theta}{\partial z}=\mu\epsilon\frac{\partial E_r}{\partial t}

です。前者を zz で微分し、後者を代入して BθB_\theta を消します。

2Erz2=tBθz=t(μϵErt)=μϵ2Ert2\frac{\partial^2E_r}{\partial z^2}=-\frac{\partial}{\partial t}\frac{\partial B_\theta}{\partial z} =-\frac{\partial}{\partial t}\left(-\mu\epsilon\frac{\partial E_r}{\partial t}\right) =\mu\epsilon\frac{\partial^2E_r}{\partial t^2}

したがって求める波動方程式は

2Erz2μϵ2Ert2=0\frac{\partial^2E_r}{\partial z^2}-\mu\epsilon\frac{\partial^2E_r}{\partial t^2}=0

です。rr 微分が現れないのは、E=0\nabla\cdot\boldsymbol{E}=0(rEr)/r=0\partial(rE_r)/\partial r=0、すなわち Er=A(z,t)/rE_r=A(z,t)/r を要求して rr 依存性を先に固定してしまうからです。実際、ベクトル波動方程式の rr 成分に現れる横方向の項は

2Err2+1rErrErr2=A(2r31r31r3)=0\frac{\partial^2E_r}{\partial r^2}+\frac1r\frac{\partial E_r}{\partial r}-\frac{E_r}{r^2} =A\left(\frac{2}{r^3}-\frac{1}{r^3}-\frac{1}{r^3}\right)=0

と恒等的に消え、上の 1 次元波動方程式と矛盾しません。

E=0\nabla\cdot\boldsymbol{E}=0 を複素表示に適用すると

1rddr(rE(r))=0  rE(r)=const\frac{1}{r}\frac{d}{dr}\left(r\mathcal{E}(r)\right)=0 \ \Longrightarrow\ r\mathcal{E}(r)=\text{const}

です。E(a)=E0\mathcal{E}(a)=E_0 という条件で定数が決まり

E(r)=E0ar(arb)\mathcal{E}(r)=E_0\frac{a}{r}\qquad(a\le r\le b)

が答えです。芯線に単位長さあたり Λ\Lambda の線電荷があるとしたときの静電場 Λ/(2πϵr)\Lambda/(2\pi\epsilon r) と同じ形で、TEM モードの横方向の場が 2 次元静電場そのものであることを表しています。

Er=E(r)eikziωtE_r=\mathcal{E}(r)e^{ikz-i\omega t} を設問2 の波動方程式に代入すると k2+μϵω2=0-k^2+\mu\epsilon\omega^2=0、すなわち分散関係は ω=k/μϵ\omega=k/\sqrt{\mu\epsilon} です。位相速度は

vp=ωk=1μϵv_{\mathrm p}=\frac{\omega}{k}=\frac{1}{\sqrt{\mu\epsilon}}

です。これは絶縁体中の光速そのもので、kk に依らないため(ϵ,μ\epsilon,\mu が定数のかぎり)TEM モードには分散がありません。真空なら 1/μ0ϵ0=c1/\sqrt{\mu_0\epsilon_0}=c に戻ります。

まず BθB_\thetaErE_r で表します。設問2 の第 1 式を複素表示にすると ikE=iωBik\mathcal{E}=i\omega\mathcal{B} なので

B(r)=kωE(r)=μϵE0ar\mathcal{B}(r)=\frac{k}{\omega}\mathcal{E}(r)=\sqrt{\mu\epsilon}\,E_0\frac{a}{r}

です。実場は E0E_0 を実数として Er=(E0a/r)cos(kzωt)E_r=(E_0a/r)\cos(kz-\omega t)Bθ=μϵ(E0a/r)cos(kzωt)B_\theta=\sqrt{\mu\epsilon}\,(E_0a/r)\cos(kz-\omega t) です。ポインティングベクトルは er×eθ=ez\boldsymbol{e}_r\times\boldsymbol{e}_\theta=\boldsymbol{e}_z より

Sz=ErBθμ=ϵμ(E0ar)2cos2(kzωt)S_z=\frac{E_rB_\theta}{\mu}=\sqrt{\frac{\epsilon}{\mu}}\left(\frac{E_0a}{r}\right)^2\cos^2(kz-\omega t)

で、断面(arba\le r\le b の円環)で積分すると

P(z,t)=abSz2πrdr=2πϵμE02a2cos2(kzωt)abdrr=2πϵμE02a2lnba cos2(kzωt)P(z,t)=\int_a^bS_z\,2\pi r\,dr =2\pi\sqrt{\frac{\epsilon}{\mu}}\,E_0^2a^2\cos^2(kz-\omega t)\int_a^b\frac{dr}{r} =2\pi\sqrt{\frac{\epsilon}{\mu}}\,E_0^2a^2\ln\frac{b}{a}\ \cos^2(kz-\omega t)

となります。時間平均をとれば

P=πϵμE02a2lnba\overline{P}=\pi\sqrt{\frac{\epsilon}{\mu}}\,E_0^2a^2\ln\frac{b}{a}

です。μ/ϵ\sqrt{\mu/\epsilon} がインピーダンス(単位 Ω\Omega)の次元をもつので、a2E02ϵ/μa^2E_0^2\sqrt{\epsilon/\mu}m2×(V/m)2/Ω=W\mathrm{m^2}\times(\mathrm{V/m})^2/\Omega=\mathrm{W} となり、単位時間あたりのエネルギーとして次元は正しいです。

TEM モードでは Eθ=0E_\theta=0 かつ θ=0\partial_\theta=0 なので (×E)z=0(\nabla\times\boldsymbol{E})_z=0 であり、断面内では電場が 2 次元的にポテンシャルから導かれます。よって芯線から外側導体まで径方向に線積分した量が電位差として意味をもちます。

V(z,t)=abErdr=E0aeikziωtabdrr=E0alnba eikziωtV(z,t)=\int_a^bE_r\,dr=E_0a\,e^{ikz-i\omega t}\int_a^b\frac{dr}{r}=E_0a\ln\frac{b}{a}\ e^{ikz-i\omega t}

実場で書けば

V(z,t)=E0alnba cos(kzωt)V(z,t)=E_0a\ln\frac{b}{a}\ \cos(kz-\omega t)

です。Er>0E_r>0(外向き)のとき芯線が高電位なので、これは円筒状導体に対する芯線の電圧を正としています。

芯線を流れる電流は Ampère–Maxwell の法則の積分形から求めます。半径 rra<r<ba<r<b)の円周に沿って積分すると、Ez=0E_z=0 なので変位電流の寄与がなく

2πrBθ=μI(z,t)  I(z,t)=2πrμμϵE0areikziωt=2πaE0ϵμ eikziωt2\pi rB_\theta=\mu I(z,t) \ \Longrightarrow\ I(z,t)=\frac{2\pi r}{\mu}\sqrt{\mu\epsilon}\,\frac{E_0a}{r}e^{ikz-i\omega t} =2\pi aE_0\sqrt{\frac{\epsilon}{\mu}}\ e^{ikz-i\omega t}

です。rr が消えるので、どの半径で測っても同じ全電流になります。したがって

Z0=V(z,t)I(z,t)=E0aln(b/a)2πaE0ϵ/μ=12πμϵlnbaZ_0=\frac{V(z,t)}{I(z,t)}=\frac{E_0a\ln(b/a)}{2\pi aE_0\sqrt{\epsilon/\mu}} =\frac{1}{2\pi}\sqrt{\frac{\mu}{\epsilon}}\ln\frac{b}{a}

です。z,tz,t に依らない実定数になっているのが特性インピーダンスの名の由来です。検算として VIVI を作ると

VI=2πa2E02ϵμlnba cos2(kzωt)VI=2\pi a^2E_0^2\sqrt{\frac{\epsilon}{\mu}}\ln\frac{b}{a}\ \cos^2(kz-\omega t)

で、設問5 で断面積分したポインティング流と完全に一致します。数値でも、μ0/ϵ0377Ω\sqrt{\mu_0/\epsilon_0}\approx377\,\Omega から Z060ln(b/a)Ω/ϵ/ϵ0Z_0\approx60\ln(b/a)\,\Omega/\sqrt{\epsilon/\epsilon_0} となり、ポリエチレン(比誘電率 2.252.25)で b/a=3.5b/a=3.5 とすると 50Ω50\,\Omega という実際の同軸ケーブルの値が出ます。

ω0ω(k0)\omega_0\equiv\omega(k_0) と書き、近似式を指数の肩に入れて整理します。

ikziω(k)t=ikziω0tiA(kk0)t=ik(zAt)i(ω0Ak0)tikz-i\omega(k)t=ikz-i\omega_0t-iA(k-k_0)t=ik(z-At)-i(\omega_0-Ak_0)t

第 2 項は kk に依らないので積分の外に出せます。

V(z,t)=ei(ω0Ak0)t12πv(k)eik(zAt)dkV(z,t)=e^{-i(\omega_0-Ak_0)t}\cdot\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}v(k)e^{ik(z-At)}dk

ここで F(ζ)12πv(k)eikζdkF(\zeta)\equiv\dfrac{1}{\sqrt{2\pi}}\displaystyle\int_{-\infty}^{\infty}v(k)e^{ik\zeta}dk と定義すると F(ζ)=V(ζ,0)F(\zeta)=V(\zeta,0) であり、

V(z,t)=ei(ω0Ak0)tF(zAt)V(z,t)=e^{-i(\omega_0-Ak_0)t}F(z-At)

と書けます。前の因子は絶対値 1 の位相因子で、しかも zz に依りません。よって

V(z,t)=F(zAt)=V(zAt,0)|V(z,t)|=|F(z-At)|=|V(z-At,\,0)|

となり、振幅の波形は t=0t=0 の波形をそのまま速度 AA で平行移動したものになります。波形を変えずに伝搬することが示されました。A=dω/dkk0A=d\omega/dk|_{k_0} は群速度であり、包絡線が動く速さがこれで与えられます。位相の因子は搬送波の位相が別の速さ(位相速度 ω0/k0\omega_0/k_0)で進むことを表しますが、V|V| には効きません。ω(k)\omega(k) の 2 次以上の項を落としたことが波形不変の条件で、v(k)v(k)k0k_0 の狭い範囲に限られているという仮定がそれを正当化しています。

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

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.