コンテンツにスキップ

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

対象読者: 修士課程までの物理(量子力学、統計力学、電磁気学、解析力学)を学び、東大物理学専攻の博士課程入試の問題を自分で解いた、または解こうとしている人。問題文は載せていないので、出典の問題を手元に置いて読みます。

生 Markdown

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=(100−1),σ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) は zz–xx 面内で 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=cos⁡2θ σz2+sin⁡2θ σ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(∣↑⟩A∣↓⟩B−∣↓⟩A∣↑⟩B)|\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 (確率 cos⁡2θ2),sθ=−1 (確率 sin⁡2θ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 通りです。期待値は

⟨σ(θ)⟩=cos⁡2θ2−sin⁡2θ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 には ∣↑⟩A∣↑⟩B|\uparrow\rangle_A|\uparrow\rangle_B と ∣↓⟩A∣↓⟩B|\downarrow\rangle_A|\downarrow\rangle_B が含まれていません。∣↑⟩A∣↓⟩B|\uparrow\rangle_A|\downarrow\rangle_B と ∣↓⟩A∣↑⟩B|\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^B は ∣↑⟩A∣↓⟩B|\uparrow\rangle_A|\downarrow\rangle_B と ∣↓⟩A∣↑⟩B|\downarrow\rangle_A|\uparrow\rangle_B を入れ替えるので

σxAσxB∣Ψ⟩=12(∣↓⟩A∣↑⟩B−∣↑⟩A∣↓⟩B)=−∣Ψ⟩\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,+⟩A∣x,−⟩B−∣x,−⟩A∣x,+⟩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 に代入すると

∣↑⟩A∣↓⟩B=cs ∣++⟩+c2∣+−⟩−s2∣−+⟩−sc ∣−−⟩,∣↓⟩A∣↑⟩B=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∣Ψ⟩=(∣↑⟩A∣↑⟩B+∣↓⟩A∣↓⟩B)/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∣φ,−⟩B−cos⁡α ∣θ,−⟩A∣φ,+⟩B−sin⁡α ∣θ,−⟩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-\varphi が 00 とも π\pi とも( mod  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)

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

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

で、上の演算子計算と一致します。θ=φ\theta=\varphi とすると sin⁡α=0\sin\alpha=0 で同符号の確率が 00 になり、設問6 に戻ります。逆に θ−φ=π\theta-\varphi=\pi のときは cos⁡α=0\cos\alpha=0 となって異符号の確率が 00 になり、(+1,+1)(+1,+1) と (−1,−1)(-1,-1) の 2 通りだけが各確率 1/21/2 で起こります(期待値は +1+1)。

θ,φ\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-\varphi は 0∘,120∘,240∘0^\circ,120^\circ,240^\circ をそれぞれ 3 回ずつとるので

⟨sAsB⟩=−19∑θ∑φcos⁡(θ−φ)=−19[3cos⁡0∘+3cos⁡120∘+3cos⁡240∘]=−19[3−32−32]=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

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

仮説のもとでは、各回の実験の前から (s0∘A,s120∘A,s240∘A)(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 で独立なので、Σ≡s0∘A+s120∘A+s240∘A\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=+1、BB ではどの角を選んでも 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/3、⟨sB⟩=−1/3\langle s^B\rangle=-1/3 で、両者は独立なので積の期待値は −1/9-1/9 となり、同じ答えが得られます。

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

⟨sAsB⟩=−Σ29≤−19<0\langle s^As^B\rangle=-\frac{\Sigma^2}{9}\le-\frac{1}{9}<0

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

⟨sAsB⟩=−19∑cpc Σc 2≤−19<0\langle s^As^B\rangle=-\frac{1}{9}\sum_c p_c\,\Sigma_c^{\,2}\le-\frac{1}{9}<0

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

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

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

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

Z=1h3NN!∫ ⁣⋯ ⁣∫dp1x⋯dpNz dx1⋯dzN 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=d′Q−PdV+μdNdU=d'Q-PdV+\mu dN、d′Q=TdSd'Q=TdS(可逆)、F=U−TSF=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}

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

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

となり、λ\lambda が VV に依らないことから

P=−(∂F∂V)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誤=−NkBTln⁡Vλ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

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

設問1 の FF を TT で微分します。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=−(∂F∂T)V,N=NkB[ln⁡VNλ3+1]+NkBT⋅32TS=-\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[ln⁡VNλ3+52]=NkB[ln⁡VN+32ln⁡2π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]

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

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

内部エネルギーは

U=F+TS=−NkBT[ln⁡VNλ3+1]+NkBT[ln⁡VNλ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)=(∂U∂T)V,N=32NkBC_V(T,V,N)=\left(\frac{\partial U}{\partial T}\right)_{V,N}=\frac32Nk_{\mathrm B}

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

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

kx=2πnxL,ky=2πnyL,kz=2πnzL,nx,ny,nz∈Zk_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}

です。nn は 00 と負の整数も含みます。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Ξ∑状態N e−β(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 にあたり、フェルミ粒子なので 0≤f≤10\le f\le1 に収まっています。

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

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

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

N=eβμV(2π)3∫d3k e−βℏ2k2/(2m)=eβμV(2π)3(2πmkBTℏ2)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}

となります。ガウス積分は各成分について ∫dkx e−βℏ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}

です。したがって

μ=kBTln⁡Nλ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/V≪1N\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π)3∫d3k ℏ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

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

S=U−μN−JT=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=∣μ∣/T≫kB-\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′)T′dT′=∫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[ln⁡VN+32ln⁡2π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]

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

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

設問3 の古典的なエントロピー S古典=NkB[ln⁡(V/Nλ3)+52]S_{\text{古典}}=Nk_{\mathrm B}\left[\ln(V/N\lambda^3)+\tfrac52\right] は、この対数曲線をそのまま低温まで延長したものです。高温ではフェルミ縮退の効果が消えて両者は一致します(フェルミ粒子系の高温極限はザッカー・テトロードの式そのものです。設問8 の近似式 −μN/T-\mu N/T は定数項 52NkB\tfrac52Nk_{\mathrm B} を落としているので、近似式と比べたときのずれは 52NkB\tfrac52Nk_{\mathrm B} で、対数項に比べて無視できます)。低温側では S古典S_{\text{古典}} が下にずれて、V/(Nλ3)=e−5/2V/(N\lambda^3)=e^{-5/2} となる温度(TFT_{\mathrm F} と同程度)で S=0S=0 を横切り、T→0T\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=−∂B∂t,∇×B=μϵ∂E∂t,∇⋅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∂θ]=−∂Bz∂t=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_\theta は rr に依りません。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 です。a≤r≤ba\le r\le b 全域で

Eθ=0E_\theta=0

が言えました。

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

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

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

−∂Eθ∂z=−∂Br∂t,∂Br∂z=μϵ∂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

です。g≠0g\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_r と BθB_\theta の 2 成分だけです。

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

∂Er∂z=−∂Bθ∂t,−∂Bθ∂z=μϵ∂Er∂t\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 を消します。

∂2Er∂z2=−∂∂t∂Bθ∂z=−∂∂t(−μϵ∂Er∂t)=μϵ∂2Er∂t2\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}

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

∂2Er∂z2−μϵ∂2Er∂t2=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 成分に現れる横方向の項は

∂2Er∂r2+1r∂Er∂r−Err2=A(2r3−1r3−1r3)=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(a≤r≤b)\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)eikz−iω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_\theta を ErE_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)2cos⁡2(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)

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

P(z,t)=∫abSz 2πr dr=2πϵμ E02a2cos⁡2(kz−ωt)∫abdrr=2πϵμ E02a2ln⁡ba cos⁡2(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‾=πϵμ E02a2ln⁡ba\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)=∫abEr dr=E0a eikz−iωt∫abdrr=E0aln⁡ba eikz−iω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)=E0aln⁡ba cos⁡(kz−ωt)V(z,t)=E_0a\ln\frac{b}{a}\ \cos(kz-\omega t)

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

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

2πrBθ=μI(z,t) ⟹ I(z,t)=2πrμμϵ E0areikz−iωt=2πaE0ϵμ eikz−iω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πμϵln⁡baZ_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ϵμln⁡ba cos⁡2(kz−ωt)VI=2\pi a^2E_0^2\sqrt{\frac{\epsilon}{\mu}}\ln\frac{b}{a}\ \cos^2(kz-\omega t)

で、設問5 で断面積分したポインティング流と完全に一致します。数値でも、μ0/ϵ0≈377 Ω\sqrt{\mu_0/\epsilon_0}\approx377\,\Omega から Z0≈60ln⁡(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) と書き、近似式を指数の肩に入れて整理します。

ikz−iω(k)t=ikz−iω0t−iA(k−k0)t=ik(z−At)−i(ω0−Ak0)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)=e−i(ω0−Ak0)t⋅12π∫−∞∞v(k)eik(z−At)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)=e−i(ω0−Ak0)tF(z−At)V(z,t)=e^{-i(\omega_0-Ak_0)t}F(z-At)

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

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

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

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

執筆: Claude Code(Sonnet 5.5)・監査 3 回(Claude Code)・最終 2026-10-12

この記事の誤りを報告する ・運営: 夢現技研合同会社 ・料金 ・利用条件 ・特定商取引法に基づく表記

© 2026 夢現技研合同会社 ・コード例は MIT ライセンスです。