コンテンツにスキップ

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

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

生 Markdown

この年度は4問すべてが必答で、試験時間は4時間です。第1問は逆さ調和振動子という一見奇妙な系を古典・量子の両側から見て、古典的作用関数とスクイーズド状態の波動関数の位相が同じ q2/2q^2/2 に落ち着くことを見せる構成になっています。第2問と第3問は、理想気体からラングミュア吸着へ、双極子放射から光ピンセットへ、と定番の題材を二段構えにした問題で、計算量はあるものの方針で迷う箇所は少ないです。第4問は留数計算とたたみ込み定理、3次行列の固有値という基礎問題ですが、設問2(d) の対角化可能性と設問2(e) の半正定値性の扱いで差がつきます。

問題分野主題
第1問解析力学・量子光学逆さ調和振動子とスクイーズド状態
第2問統計力学理想気体とラングミュア吸着
第3問電磁気学レイリー散乱と光ピンセット
第4問複素解析・線形代数フーリエ変換と3次行列の固有値

第1問 逆さ調和振動子とスクイーズド状態

Section titled “第1問 逆さ調和振動子とスクイーズド状態”

一般化座標 qq とその共役運動量 pp について、ハミルトニアン(エネルギーを q,pq,p で表した関数)が

H=12p2+V(q),V(q)=−12q2H=\frac{1}{2}p^{2}+V(q),\qquad V(q)=-\frac{1}{2}q^{2}

で与えられる系を考えます。質量と振動数を 1 とした逆さ調和振動子(不安定な放物型ポテンシャル)です。前半は古典論、後半は正準量子化した系を扱います。量子化では p,qp,q を演算子 p^,q^\hat p,\hat q とし、[q^,p^]=iℏ[\hat q,\hat p]=i\hbar を課します。

生成消滅演算子は

a^=12ℏ(q^+ip^),a^†=12ℏ(q^−ip^)\hat a=\frac{1}{\sqrt{2\hbar}}(\hat q+i\hat p),\qquad \hat a^{\dagger}=\frac{1}{\sqrt{2\hbar}}(\hat q-i\hat p)

で定義され、実数 r,ϕr,\phi を引数とするスクイーズ演算子

S^(r,ϕ)=exp⁡ ⁣[r2(a^2e−2iϕ−(a^†)2e2iϕ)]\hat S(r,\phi)=\exp\!\left[\frac{r}{2}\left(\hat a^{2}e^{-2i\phi}-(\hat a^{\dagger})^{2}e^{2i\phi}\right)\right]

については

S^†(r,ϕ) a^ S^(r,ϕ)=a^cosh⁡r−a^†e2iϕsinh⁡r,S^†(r,ϕ) a^† S^(r,ϕ)=a^†cosh⁡r−a^ e−2iϕsinh⁡r,S^†(r,ϕ) S^(r,ϕ)=1\begin{aligned} \hat S^{\dagger}(r,\phi)\,\hat a\,\hat S(r,\phi)&=\hat a\cosh r-\hat a^{\dagger}e^{2i\phi}\sinh r,\\ \hat S^{\dagger}(r,\phi)\,\hat a^{\dagger}\,\hat S(r,\phi)&=\hat a^{\dagger}\cosh r-\hat a\,e^{-2i\phi}\sinh r,\\ \hat S^{\dagger}(r,\phi)\,\hat S(r,\phi)&=1 \end{aligned}

が与えられています。a^∣0⟩=0\hat a|0\rangle=0 で定まる真空 ∣0⟩|0\rangle から ∣(r,ϕ)⟩=S^(r,ϕ)∣0⟩|(r,\phi)\rangle=\hat S(r,\phi)|0\rangle をスクイーズド状態(真空をスクイーズ演算子で変形した状態のこと)と呼びます。

ハミルトンの運動方程式は

q˙=∂H∂p=p,p˙=−∂H∂q=−V′(q)=q\dot q=\frac{\partial H}{\partial p}=p,\qquad \dot p=-\frac{\partial H}{\partial q}=-V'(q)=q

です。和と差をとると変数が分離します。

ddt(p+q)=p+q,ddt(p−q)=−(p−q)\frac{d}{dt}(p+q)=p+q,\qquad \frac{d}{dt}(p-q)=-(p-q)

したがって

(p+q)(t)=(p+q)(0) et,(p−q)(t)=(p−q)(0) e−t(p+q)(t)=(p+q)(0)\,e^{t},\qquad (p-q)(t)=(p-q)(0)\,e^{-t}

です。答えは、p+qp+q と p−qp-q が互いに独立な指数関数として振る舞い、p+qp+q は時定数 1 で指数関数的に増大し、p−qp-q は同じ時定数で指数関数的に減衰する、というものです。p+qp+q の初期値がゼロでないという仮定のもとで、p+qp+q は決してゼロにならず、増大する方が必ず生き残ります。位相空間で言えば、直線 p=qp=q が不安定方向、直線 p=−qp=-q が安定方向であり、双曲線的な流れになっています。

設問1 より p−q=(p−q)(0)e−t→0p-q=(p-q)(0)e^{-t}\to 0 なので、十分時間が経つと p→qp\to q となります。すなわち軌道は不安定方向 p=qp=q に漸近し、qq の関数として p(q)≃qp(q)\simeq q と書けます。これを作用関数に代入すると

S(q)=∫qp(q′) dq′≃∫qq′ dq′=q22+const.S(q)=\int^{q}p(q')\,dq'\simeq\int^{q}q'\,dq'=\frac{q^{2}}{2}+\text{const.}

答えは、S(q)S(q) が qq の 2 次関数 S(q)→q2/2S(q)\to q^{2}/2(積分定数を除く)に漸近する、というものです。p=∂S/∂q=qp=\partial S/\partial q=q が設問1 の漸近関係を再現していることが整合性の確認になります。

定義を代入して展開します。一般に [A+iB, A−iB]=−2i[A,B][A+iB,\,A-iB]=-2i[A,B] なので、

[a^,a^†]=12ℏ [q^+ip^, q^−ip^]=−2i2ℏ[q^,p^]=−2i2ℏ⋅iℏ=1[\hat a,\hat a^{\dagger}]=\frac{1}{2\hbar}\,[\hat q+i\hat p,\ \hat q-i\hat p]=\frac{-2i}{2\hbar}[\hat q,\hat p]=\frac{-2i}{2\hbar}\cdot i\hbar=1

答えは [a^,a^†]=1[\hat a,\hat a^{\dagger}]=1 です。ℏ\hbar の因子が定義の 1/2ℏ1/\sqrt{2\hbar} とちょうど打ち消し、無次元の標準形になります。

定義式を逆に解くと

q^=ℏ2 (a^+a^†),p^=−iℏ2 (a^−a^†)\hat q=\sqrt{\frac{\hbar}{2}}\,(\hat a+\hat a^{\dagger}),\qquad \hat p=-i\sqrt{\frac{\hbar}{2}}\,(\hat a-\hat a^{\dagger})

です。これを代入して交差項の様子を見ます。

p^2=−ℏ2(a^2+(a^†)2−a^a^†−a^†a^),q^2=  ℏ2(a^2+(a^†)2+a^a^†+a^†a^)\begin{aligned} \hat p^{2}&=-\frac{\hbar}{2}\left(\hat a^{2}+(\hat a^{\dagger})^{2}-\hat a\hat a^{\dagger}-\hat a^{\dagger}\hat a\right),\\ \hat q^{2}&=\ \ \frac{\hbar}{2}\left(\hat a^{2}+(\hat a^{\dagger})^{2}+\hat a\hat a^{\dagger}+\hat a^{\dagger}\hat a\right) \end{aligned}

差をとると a^a^†+a^†a^\hat a\hat a^{\dagger}+\hat a^{\dagger}\hat a の項が消え、

H^=12p^2−12q^2=−ℏ2(a^2+(a^†)2)\hat H=\frac{1}{2}\hat p^{2}-\frac{1}{2}\hat q^{2}=-\frac{\hbar}{2}\left(\hat a^{2}+(\hat a^{\dagger})^{2}\right)

が答えです。検算として a^2+(a^†)2=(q^2−p^2)/ℏ\hat a^{2}+(\hat a^{\dagger})^{2}=(\hat q^{2}-\hat p^{2})/\hbar を直接計算すると、上式が確かに (p^2−q^2)/2(\hat p^{2}-\hat q^{2})/2 に戻ります。通常の調和振動子と違い、零点エネルギーに相当する定数項が現れないことが特徴です。

真空の時間発展は ∣ψ(t)⟩=e−iH^t/ℏ∣0⟩|\psi(t)\rangle=e^{-i\hat Ht/\hbar}|0\rangle です。設問4 の結果を使うと

e−iH^t/ℏ=exp⁡ ⁣[−itℏ⋅(−ℏ2)(a^2+(a^†)2)]=exp⁡ ⁣[it2(a^2+(a^†)2)]e^{-i\hat Ht/\hbar}=\exp\!\left[-\frac{it}{\hbar}\cdot\left(-\frac{\hbar}{2}\right)\left(\hat a^{2}+(\hat a^{\dagger})^{2}\right)\right]=\exp\!\left[\frac{it}{2}\left(\hat a^{2}+(\hat a^{\dagger})^{2}\right)\right]

となります。一方、スクイーズ演算子の定義で r=tr=t、ϕ=−π/4\phi=-\pi/4 とすると e−2iϕ=eiπ/2=ie^{-2i\phi}=e^{i\pi/2}=i、e2iϕ=e−iπ/2=−ie^{2i\phi}=e^{-i\pi/2}=-i なので

S^ ⁣(t,−π4)=exp⁡ ⁣[t2(i a^2−(−i)(a^†)2)]=exp⁡ ⁣[it2(a^2+(a^†)2)]\hat S\!\left(t,-\frac{\pi}{4}\right)=\exp\!\left[\frac{t}{2}\left(i\,\hat a^{2}-(-i)(\hat a^{\dagger})^{2}\right)\right]=\exp\!\left[\frac{it}{2}\left(\hat a^{2}+(\hat a^{\dagger})^{2}\right)\right]

です。二つの指数演算子は指数の中身まで完全に一致します。したがって

∣ψ(t)⟩=e−iH^t/ℏ∣0⟩=S^ ⁣(t,−π4)∣0⟩=∣(t,−π4)⟩|\psi(t)\rangle=e^{-i\hat Ht/\hbar}|0\rangle=\hat S\!\left(t,-\frac{\pi}{4}\right)|0\rangle=\left|\left(t,-\frac{\pi}{4}\right)\right\rangle

が示されました。スクイーズパラメータ rr が時間そのものになっている点が、この系の特徴です。

q^,p^\hat q,\hat p を a^,a^†\hat a,\hat a^{\dagger} で書いた設問4 の表式に、与えられた変換公式を適用します。表記を簡単にするため引数 (r,ϕ)(r,\phi) を省き、c=cosh⁡rc=\cosh r、s=sinh⁡rs=\sinh r と置きます。

S^†q^ S^=ℏ2(S^†a^S^+S^†a^†S^)=ℏ2[a^(c−e−2iϕs)+a^†(c−e2iϕs)],S^†p^ S^=−iℏ2(S^†a^S^−S^†a^†S^)=−iℏ2[a^(c+e−2iϕs)−a^†(c+e2iϕs)]\begin{aligned} \hat S^{\dagger}\hat q\,\hat S&=\sqrt{\frac{\hbar}{2}}\left(\hat S^{\dagger}\hat a\hat S+\hat S^{\dagger}\hat a^{\dagger}\hat S\right) =\sqrt{\frac{\hbar}{2}}\left[\hat a\left(c-e^{-2i\phi}s\right)+\hat a^{\dagger}\left(c-e^{2i\phi}s\right)\right],\\ \hat S^{\dagger}\hat p\,\hat S&=-i\sqrt{\frac{\hbar}{2}}\left(\hat S^{\dagger}\hat a\hat S-\hat S^{\dagger}\hat a^{\dagger}\hat S\right) =-i\sqrt{\frac{\hbar}{2}}\left[\hat a\left(c+e^{-2i\phi}s\right)-\hat a^{\dagger}\left(c+e^{2i\phi}s\right)\right] \end{aligned}

これを真空に作用させます。a^∣0⟩=0\hat a|0\rangle=0 なので a^\hat a の項が落ちて

S^†q^ S^∣0⟩=ℏ2(c−e2iϕs)a^†∣0⟩,S^†p^ S^∣0⟩=iℏ2(c+e2iϕs)a^†∣0⟩\hat S^{\dagger}\hat q\,\hat S|0\rangle=\sqrt{\frac{\hbar}{2}}\left(c-e^{2i\phi}s\right)\hat a^{\dagger}|0\rangle,\qquad \hat S^{\dagger}\hat p\,\hat S|0\rangle=i\sqrt{\frac{\hbar}{2}}\left(c+e^{2i\phi}s\right)\hat a^{\dagger}|0\rangle

となります。両者は同じベクトル a^†∣0⟩\hat a^{\dagger}|0\rangle の定数倍なので、c−e2iϕs≠0c-e^{2i\phi}s\neq0 のもとで比をとることができ、

S^†p^ S^∣0⟩=i cosh⁡r+e2iϕsinh⁡rcosh⁡r−e2iϕsinh⁡r S^†q^ S^∣0⟩=α(r,ϕ) S^†q^ S^∣0⟩\hat S^{\dagger}\hat p\,\hat S|0\rangle=i\,\frac{\cosh r+e^{2i\phi}\sinh r}{\cosh r-e^{2i\phi}\sinh r}\ \hat S^{\dagger}\hat q\,\hat S|0\rangle=\alpha(r,\phi)\,\hat S^{\dagger}\hat q\,\hat S|0\rangle

が得られます。S^\hat S は反エルミートな演算子の指数なのでユニタリ(ベクトルの長さと内積を変えない変換)であり、S^S^†=S^†S^=1\hat S\hat S^{\dagger}=\hat S^{\dagger}\hat S=1 が成り立ちます。そこで両辺に左から S^\hat S を掛けると

p^ S^∣0⟩=α(r,ϕ) q^ S^∣0⟩⟺p^ ∣(r,ϕ)⟩=α(r,ϕ) q^ ∣(r,ϕ)⟩\hat p\,\hat S|0\rangle=\alpha(r,\phi)\,\hat q\,\hat S|0\rangle \quad\Longleftrightarrow\quad \hat p\,|(r,\phi)\rangle=\alpha(r,\phi)\,\hat q\,|(r,\phi)\rangle

となり、示すべき等式が得られました。使った仮定は、与えられた公式 (5)(6)(7)、a^∣0⟩=0\hat a|0\rangle=0、および分母 cosh⁡r−e2iϕsinh⁡r≠0\cosh r-e^{2i\phi}\sinh r\neq0 です。最後の条件は e2iϕ=coth⁡re^{2i\phi}=\coth r となる場合を除くという意味で、∣coth⁡r∣>1|\coth r|>1 なので有限の rr では常に満たされます。

設問5 より ∣ψ(t)⟩|\psi(t)\rangle は r=tr=t、ϕ=−π/4\phi=-\pi/4 のスクイーズド状態です。e2iϕ=−ie^{2i\phi}=-i を代入すると

α ⁣(t,−π4)=i cosh⁡t−isinh⁡tcosh⁡t+isinh⁡t=i (cosh⁡t−isinh⁡t)2cosh⁡2t+sinh⁡2t=i 1−isinh⁡2tcosh⁡2t=tanh⁡2t+icosh⁡2t\alpha\!\left(t,-\frac{\pi}{4}\right)=i\,\frac{\cosh t-i\sinh t}{\cosh t+i\sinh t} =i\,\frac{(\cosh t-i\sinh t)^{2}}{\cosh^{2}t+\sinh^{2}t} =i\,\frac{1-i\sinh 2t}{\cosh 2t} =\tanh 2t+\frac{i}{\cosh 2t}

となります(cosh⁡2t−sinh⁡2t=1\cosh^{2}t-\sinh^{2}t=1、2cosh⁡tsinh⁡t=sinh⁡2t2\cosh t\sinh t=\sinh 2t、cosh⁡2t+sinh⁡2t=cosh⁡2t\cosh^{2}t+\sinh^{2}t=\cosh 2t を使いました)。座標表示では q^→q\hat q\to q、p^→−iℏ d/dq\hat p\to-i\hbar\,d/dq なので、設問6 の等式は 1 階の常微分方程式

−iℏdψdq=α q ψ⟺1ψdψdq=iαℏ q-i\hbar\frac{d\psi}{dq}=\alpha\,q\,\psi \qquad\Longleftrightarrow\qquad \frac{1}{\psi}\frac{d\psi}{dq}=\frac{i\alpha}{\hbar}\,q

になります。積分して

ψ(q,t)=N(t)exp⁡ ⁣[iα(t)2ℏq2],α(t)=tanh⁡2t+icosh⁡2t\psi(q,t)=N(t)\exp\!\left[\frac{i\alpha(t)}{2\hbar}q^{2}\right],\qquad \alpha(t)=\tanh 2t+\frac{i}{\cosh 2t}

です。iα=−1/cosh⁡2t+itanh⁡2ti\alpha=-1/\cosh 2t+i\tanh 2t なので、実部と虚部を分けると

ψ(q,t)=N(t) exp⁡ ⁣[−q22ℏcosh⁡2t]exp⁡ ⁣[i q2tanh⁡2t2ℏ]\psi(q,t)=N(t)\,\exp\!\left[-\frac{q^{2}}{2\hbar\cosh 2t}\right]\exp\!\left[\frac{i\,q^{2}\tanh 2t}{2\hbar}\right]

が答えです(N(t)N(t) は規格化定数で、指示により計算しません)。ガウス因子の指数の実部は cosh⁡2t>0\cosh 2t>0 より常に負で、波動関数は規格化可能です。t=0t=0 とすると α=i\alpha=i から ψ∝e−q2/2ℏ\psi\propto e^{-q^{2}/2\hbar} となり、a^∣0⟩=0\hat a|0\rangle=0 すなわち (q+ℏ d/dq)ψ=0(q+\hbar\, d/dq)\psi=0 の解である真空の波動関数に一致します。

得られた波動関数は、実のガウス包絡線と 2 次の位相の積です。位相の部分を t→∞t\to\infty で見ると tanh⁡2t→1\tanh 2t\to1 より

q2tanh⁡2t2ℏ ⟶ 1ℏ⋅q22=S(q)ℏ\frac{q^{2}\tanh 2t}{2\hbar}\ \longrightarrow\ \frac{1}{\hbar}\cdot\frac{q^{2}}{2}=\frac{S(q)}{\hbar}

となり、設問2 で求めた古典的作用関数 S(q)→q2/2S(q)\to q^{2}/2 がそのまま量子的位相として現れます。つまり ψ≃A(q,t) eiS(q)/ℏ\psi\simeq A(q,t)\,e^{iS(q)/\hbar}(AA は qq についてゆるやかに変わるガウス振幅)という半古典(WKB。波動関数の位相を古典的な作用で書く近似)形になり、局所的な運動量は p^ψ≃(∂S/∂q)ψ=qψ\hat p\psi\simeq(\partial S/\partial q)\psi=q\psi、すなわち古典軌道 p=qp=q の上に乗ります。スクイーズド状態は、不安定方向へ張り付いた古典軌道を再現する状態だということです。

一方、包絡線 exp⁡[−q2/(2ℏcosh⁡2t)]\exp[-q^{2}/(2\hbar\cosh 2t)] の幅は cosh⁡2t\sqrt{\cosh 2t} に比例して広がり、tt が大きいところでは ete^{t} で増大します。実際、上の波動関数から

⟨q2⟩=⟨p2⟩=ℏ2cosh⁡2t,12⟨q^p^+p^q^⟩=ℏ2sinh⁡2t\langle q^{2}\rangle=\langle p^{2}\rangle=\frac{\hbar}{2}\cosh 2t,\qquad \frac{1}{2}\langle \hat q\hat p+\hat p\hat q\rangle=\frac{\hbar}{2}\sinh 2t

が得られ、45∘45^{\circ} 回転した直交する組み合わせの分散は

⟨(p^+q^2)2⟩=ℏ2e2t,⟨(p^−q^2)2⟩=ℏ2e−2t\left\langle\left(\frac{\hat p+\hat q}{\sqrt2}\right)^{2}\right\rangle=\frac{\hbar}{2}e^{2t},\qquad \left\langle\left(\frac{\hat p-\hat q}{\sqrt2}\right)^{2}\right\rangle=\frac{\hbar}{2}e^{-2t}

となります。積は (ℏ/2)2(\hbar/2)^{2} で時間に依存せず、最小不確定性を保ったままです。

以上をまとめると、スクイーズド状態は次の性質を持ちます。位相空間上の最小不確定性ガウス分布であって、その誤差楕円が不安定方向 p+qp+q には ete^{t} で伸び、安定方向 p−qp-q には e−te^{-t} で縮む、という変形(スクイーズ)を受けます。これは設問1 で見た古典的な指数増大・指数減衰とまったく同じ振る舞いです。座標分布が指数関数的に広がるため位置は次々に不確定になりますが、そのぶん p−qp-q 方向は鋭く決まり、波動関数の位相は古典的作用関数に収束していきます。

第2問 理想気体とラングミュア吸着

Section titled “第2問 理想気体とラングミュア吸着”

ピストン付きの容器に、質量 mm の同種単原子分子 N (≫1)N\ (\gg1) 個からなる理想気体が入っています。分子は互いに区別できません。古典統計力学で扱い、プランク定数を hh、ボルツマン定数を kk とします。ガウス積分 ∫−∞∞e−ax2dx=π/a\int_{-\infty}^{\infty}e^{-ax^{2}}dx=\sqrt{\pi/a} とスターリングの公式 log⁡N!≃Nlog⁡N−N\log N!\simeq N\log N-N、および略記

α=(2πmh2)3/2\alpha=\left(\frac{2\pi m}{h^{2}}\right)^{3/2}

を使います。前半は温度 TT と体積 VV を保った平衡状態、次に温度 TT と圧力 pp を保った状態を扱い、最後に容器底面の MM 個の吸着サイト(N≫M≫1N\gg M\gg1)を考えます。1 サイトは高々 1 分子を吸着し、吸着時のエネルギーは −ϵ (ϵ>0)-\epsilon\ (\epsilon>0)、非吸着時は 00 で、各サイトは独立です。以下 β=1/kT\beta=1/kT と書きます。

1 分子の分配関数は位相空間積分を h3h^{3} で割ったものです。

z1(T,V)=1h3∫Vd3r∫d3p exp⁡ ⁣(−p22mkT)=Vh3(2πmkT)3=αV(kT)3/2z_{1}(T,V)=\frac{1}{h^{3}}\int_{V}d^{3}r\int d^{3}p\ \exp\!\left(-\frac{\boldsymbol{p}^{2}}{2mkT}\right) =\frac{V}{h^{3}}\left(\sqrt{2\pi mkT}\right)^{3} =\alpha V (kT)^{3/2}

運動量積分は 3 方向それぞれにガウス積分 ∫−∞∞e−p2/(2mkT) dp=2πmkT\int_{-\infty}^{\infty} e^{-p^{2}/(2mkT)}\,dp=\sqrt{2\pi mkT} を使いました。答えは z1(T,V)=αV(kT)3/2z_{1}(T,V)=\alpha V(kT)^{3/2} です。NN 個の分子は相互作用せず、かつ互いに区別できないので、同じ配置を N!N! 通り重複して数えた分を割ります。

Z(T,V,N)=1N! z1(T,V)NZ(T,V,N)=\frac{1}{N!}\,z_{1}(T,V)^{N}

F=−kTlog⁡ZF=-kT\log Z にスターリングの公式を使います。

F=−kT(Nlog⁡z1−log⁡N!)≃−kT(Nlog⁡z1−Nlog⁡N+N)F=-kT\left(N\log z_{1}-\log N!\right)\simeq-kT\left(N\log z_{1}-N\log N+N\right)

整理すると

F(T,V,N)=−NkT[log⁡αV(kT)3/2N+1]F(T,V,N)=-NkT\left[\log\frac{\alpha V (kT)^{3/2}}{N}+1\right]

が答えです。

示量性とは、TT を固定して V→λVV\to\lambda V、N→λNN\to\lambda N としたとき F→λFF\to\lambda F となることです。設問2 の FF では VV と NN が比 V/NV/N の形でしか現れていない点が鍵で、

F(T,λV,λN)=−λNkT[log⁡α(λV)(kT)3/2λN+1]=λ⋅(−NkT[log⁡αV(kT)3/2N+1])=λF(T,V,N)F(T,\lambda V,\lambda N)=-\lambda NkT\left[\log\frac{\alpha (\lambda V)(kT)^{3/2}}{\lambda N}+1\right] =\lambda\cdot\left(-NkT\left[\log\frac{\alpha V(kT)^{3/2}}{N}+1\right]\right)=\lambda F(T,V,N)

となります。よって FF は (V,N)(V,N) について 1 次の同次関数であり、示量的です。log⁡\log の中の λ\lambda が分子と分母で相殺したことが本質で、これは設問1 で分配関数に 1/N!1/N! を入れたおかげです。1/N!1/N! を落として Z=z1NZ=z_{1}^{N} とすると F=−NkTlog⁡(αV(kT)3/2)F=-NkT\log(\alpha V(kT)^{3/2}) となり、log⁡V\log V の項が示量性を破ります(ギブスのパラドックス)。

log⁡Z=Nlog⁡z1−log⁡N!\log Z=N\log z_{1}-\log N! で、z1∝β−3/2z_{1}\propto\beta^{-3/2} より log⁡z1=log⁡(αV)−32log⁡β\log z_{1}=\log(\alpha V)-\tfrac32\log\beta です。エネルギーの期待値は

⟨E⟩=−∂log⁡Z∂β=3N2β=32NkT\langle E\rangle=-\frac{\partial \log Z}{\partial\beta}=\frac{3N}{2\beta}=\frac{3}{2}NkT

となり、単原子理想気体のエネルギー等分配則を再現します。ゆらぎは log⁡Z\log Z の 2 階微分です。

⟨(E−⟨E⟩)2⟩=∂2log⁡Z∂β2=3N2β2=32N(kT)2\langle (E-\langle E\rangle)^{2}\rangle=\frac{\partial^{2}\log Z}{\partial\beta^{2}}=\frac{3N}{2\beta^{2}}=\frac{3}{2}N(kT)^{2}

これは kT2CV=kT2⋅32NkkT^{2}C_{V}=kT^{2}\cdot\tfrac32Nk と一致します。比をとると

⟨(E−⟨E⟩)2⟩⟨E⟩2=32N(kT)2(32NkT)2=23N\frac{\langle (E-\langle E\rangle)^{2}\rangle}{\langle E\rangle^{2}}=\frac{\tfrac32 N(kT)^{2}}{\left(\tfrac32NkT\right)^{2}}=\frac{2}{3N}

答えは 2/(3N)2/(3N) で、N−1N^{-1} のオーダーです。相対的なゆらぎの大きさ自体は 2/3N∼N−1/2\sqrt{2/3N}\sim N^{-1/2} で、N≫1N\gg1 では無視できます。これがカノニカル分布とミクロカノニカル分布が熱力学的極限で等価になる理由です。

S=−(∂F/∂T)V,NS=-(\partial F/\partial T)_{V,N} を計算します。F=−NkT[log⁡(αV/N)+32log⁡(kT)+1]F=-NkT\left[\log(\alpha V/N)+\tfrac32\log(kT)+1\right] と書き直すと

∂F∂T=−Nk[log⁡αV(kT)3/2N+1]−NkT⋅32T\frac{\partial F}{\partial T}=-Nk\left[\log\frac{\alpha V(kT)^{3/2}}{N}+1\right]-NkT\cdot\frac{3}{2T}

なので

S=Nk[log⁡αV(kT)3/2N+52]=Nk[log⁡{VN(2πmkTh2)3/2}+52]S=Nk\left[\log\frac{\alpha V(kT)^{3/2}}{N}+\frac{5}{2}\right] =Nk\left[\log\left\{\frac{V}{N}\left(\frac{2\pi mkT}{h^{2}}\right)^{3/2}\right\}+\frac{5}{2}\right]

が答えです。これはザックール・テトロードの式です。検算として S=(⟨E⟩−F)/TS=(\langle E\rangle-F)/T を使うと、32Nk+Nk[log⁡(z1/N)+1]=Nk[log⁡(z1/N)+52]\tfrac32Nk+Nk[\log(z_1/N)+1]=Nk[\log(z_1/N)+\tfrac52] となり一致します。

圧力は p=−(∂F/∂V)T,Np=-(\partial F/\partial V)_{T,N} です。設問2 の FF で VV 依存性は −NkTlog⁡V-NkT\log V の項だけなので

p=−∂F∂V=NkTV⟹V=NkTpp=-\frac{\partial F}{\partial V}=\frac{NkT}{V} \qquad\Longrightarrow\qquad V=\frac{NkT}{p}

が答えです。理想気体の状態方程式そのものです。

化学ポテンシャルは μ=(∂F/∂N)T,V\mu=(\partial F/\partial N)_{T,V} です。F=−NkT[log⁡(αV(kT)3/2)−log⁡N+1]F=-NkT\left[\log(\alpha V(kT)^{3/2})-\log N+1\right] を NN で微分すると、−log⁡N-\log N の微分から +kT+kT が出て括弧内の +1+1 を打ち消します。

μ=−kT[log⁡αV(kT)3/2N+1]+kT=−kTlog⁡αV(kT)3/2N\mu=-kT\left[\log\frac{\alpha V(kT)^{3/2}}{N}+1\right]+kT=-kT\log\frac{\alpha V(kT)^{3/2}}{N}

ここに設問6 の V/N=kT/pV/N=kT/p を代入すると

μ(T,p)=−kTlog⁡α(kT)5/2p=kTlog⁡pα(kT)5/2\mu(T,p)=-kT\log\frac{\alpha (kT)^{5/2}}{p}=kT\log\frac{p}{\alpha (kT)^{5/2}}

が答えです。検算を二つ挙げます。ギブスの自由エネルギーが G=F+pV=NμG=F+pV=N\mu を満たすことは (F+pV)/N=−kT[log⁡(αV(kT)3/2/N)+1]+kT(F+pV)/N=-kT[\log(\alpha V(kT)^{3/2}/N)+1]+kT から直ちに確認できます。次元も合っています。熱的ドブロイ波長 λT=h/2πmkT\lambda_{T}=h/\sqrt{2\pi mkT} を使うと α(kT)3/2=λT−3\alpha(kT)^{3/2}=\lambda_{T}^{-3}、α(kT)5/2=kT/λT3\alpha(kT)^{5/2}=kT/\lambda_{T}^{3} なので α(kT)5/2\alpha(kT)^{5/2} は圧力の次元を持ち、log⁡\log の引数は無次元です。すなわち μ=kTlog⁡(pλT3/kT)\mu=kT\log(p\lambda_{T}^{3}/kT) と書けます。

吸着サイト 1 個の状態は「空(エネルギー 00、粒子数 00)」と「占有(エネルギー −ϵ-\epsilon、粒子数 11)」の 2 通りだけです。グランドカノニカルの重み e−β(E−μn)e^{-\beta(E-\mu n)} はそれぞれ 11 と eβ(μ+ϵ)e^{\beta(\mu+\epsilon)} なので、1 サイトの大分配関数(粒子数も変わりうる状態の重みを足し合わせたもの)は ξ=1+eβ(μ+ϵ)\xi=1+e^{\beta(\mu+\epsilon)} です。各サイトは独立なので

Ξ(T,μ,M)=[1+e(μ+ϵ)/kT]M\Xi(T,\mu,M)=\left[1+e^{(\mu+\epsilon)/kT}\right]^{M}

が答えです。

1 サイトあたりの平均粒子数がそのまま占有率 θ\theta です。

θ=kTM∂log⁡Ξ∂μ=eβ(μ+ϵ)1+eβ(μ+ϵ)=1e−(μ+ϵ)/kT+1\theta=\frac{kT}{M}\frac{\partial\log\Xi}{\partial\mu} =\frac{e^{\beta(\mu+\epsilon)}}{1+e^{\beta(\mu+\epsilon)}} =\frac{1}{e^{-(\mu+\epsilon)/kT}+1}

答えは θ(T,μ)=[e−(μ+ϵ)/kT+1]−1\theta(T,\mu)=\left[e^{-(\mu+\epsilon)/kT}+1\right]^{-1} です。占有数が 00 か 11 に限られるため、−ϵ-\epsilon を 1 粒子エネルギーとするフェルミ分布の形になります。μ→−∞\mu\to-\infty で θ→0\theta\to0、μ→+∞\mu\to+\infty で θ→1\theta\to1、μ=−ϵ\mu=-\epsilon で θ=1/2\theta=1/2 です。

気体と吸着サイトは平衡にあるので化学ポテンシャルが共通です。設問7 より eβμ=p/[α(kT)5/2]e^{\beta\mu}=p/\left[\alpha(kT)^{5/2}\right] なので、これを設問9 に代入します。

θ=eβμeβϵ1+eβμeβϵ=pp0(T)+p,p0(T)=α(kT)5/2e−ϵ/kT\theta=\frac{e^{\beta\mu}e^{\beta\epsilon}}{1+e^{\beta\mu}e^{\beta\epsilon}} =\frac{p}{p_{0}(T)+p},\qquad p_{0}(T)=\alpha (kT)^{5/2}e^{-\epsilon/kT}

これがラングミュアの吸着等温式です。p0p_{0} は圧力の次元を持つ温度だけの量です。TT 一定でのグラフの特徴を確定させます。

原点を通ります(θ(0)=0\theta(0)=0)。原点での傾きは θ′(0)=1/p0\theta'(0)=1/p_{0} で有限、p≪p0p\ll p_{0} では θ≃p/p0\theta\simeq p/p_{0} と圧力に比例します。導関数は θ′(p)=p0/(p0+p)2>0\theta'(p)=p_{0}/(p_{0}+p)^{2}>0 なので単調増加、2 階導関数は θ′′(p)=−2p0/(p0+p)3<0\theta''(p)=-2p_{0}/(p_{0}+p)^{3}<0 なので p≥0p\ge0 の全域で上に凸(凹関数)です。p=p0p=p_{0} で θ=1/2\theta=1/2 を通ります。p→∞p\to\infty で θ→1\theta\to1 に下から漸近し、θ=1\theta=1 が水平漸近線です。θ\theta が 11 を超えないのは 1 サイトに 1 分子までという制約の直接の帰結で、高圧側では飽和します。

pθ11/2Op₀

第3問 レイリー散乱と光ピンセット

Section titled “第3問 レイリー散乱と光ピンセット”

荷電粒子や微小誘電体は xx 軸上のみを運動し、xx 軸上の電場は E=(E(x,t),0,0)\boldsymbol{E}=(E(x,t),0,0) と表されるものとします。粒子の速さは光速に比べて十分小さく、磁場の影響は無視します。粒子の大きさは電磁波の波長より十分小さいものとします。

前半では、質量 mm、電荷 qq の荷電粒子に、電場による力と原点からの変位に比例する復元力 −kx-kx(k>0k>0)がはたらく場合のレイリー散乱を扱います。後半では、位置 xx にある微小誘電体に電気双極子モーメント p=αE(x,t)p=\alpha E(x,t)(α>0\alpha>0)が誘起される場合の光ピンセットを扱います。

xx 軸方向にはたらく力は、電場による力 qE(x,t)qE(x,t) と復元力 −kx-kx です。減衰項は無視するので、ニュートンの運動方程式は

md2xdt2=qE(x,t)−kxm\frac{d^{2}x}{dt^{2}}=qE(x,t)-kx

です。粒子の大きさおよび振動振幅が波長より十分小さいので、EE は粒子の位置における値として評価してよく、実質的に時間だけの関数として扱えます。

粒子の位置で E=E0sin⁡(ωt)E=E_{0}\sin(\omega t) なので、運動方程式は強制振動の式

mx¨+kx=qE0sin⁡(ωt)m\ddot x+kx=qE_{0}\sin(\omega t)

になります。角周波数 ω\omega で振動する解を x(t)=Asin⁡(ωt)x(t)=A\sin(\omega t) と置いて代入すると (−mω2+k)A=qE0(-m\omega^{2}+k)A=qE_{0} となり、ω02=k/m\omega_{0}^{2}=k/m と書けば

x(t)=qE0m(ω02−ω2)sin⁡(ωt),ω0=kmx(t)=\frac{qE_{0}}{m\left(\omega_{0}^{2}-\omega^{2}\right)}\sin(\omega t), \qquad \omega_{0}=\sqrt{\frac{k}{m}}

が答えです。ω→ω0\omega\to\omega_{0} で振幅が発散するので、共振の角周波数は ω0=k/m\omega_{0}=\sqrt{k/m} です。ω≪ω0\omega\ll\omega_{0} では x≃(qE0/k)sin⁡ωtx\simeq(qE_{0}/k)\sin\omega t と静的な釣り合いに近づき、ω≫ω0\omega\gg\omega_{0} では振幅が ω−2\omega^{-2} で小さくなり、電場と逆位相になります。

加速度は上の解を 2 回微分して

a=x¨ e^x=−ω2x e^x=−qE0 ω2m(ω02−ω2)sin⁡(ωt) e^x\boldsymbol{a}=\ddot x\,\hat{\boldsymbol{e}}_{x}=-\omega^{2}x\,\hat{\boldsymbol{e}}_{x} =-\frac{q E_{0}\,\omega^{2}}{m\left(\omega_{0}^{2}-\omega^{2}\right)}\sin(\omega t)\,\hat{\boldsymbol{e}}_{x}

です。散乱断面積(入射光の強さに対する散乱光の強さを面積で表したもの)は ∣n×(n×a)∣2|\boldsymbol{n}\times(\boldsymbol{n}\times\boldsymbol{a})|^{2} に比例し、入射強度は E02E_{0}^{2} に比例するので、断面積の ω\omega 依存性は

σ ∝ ∣a∣2E02 ∝ ω4(ω02−ω2)2 → ω≪ω0  ω4ω04\sigma\ \propto\ \frac{|\boldsymbol{a}|^{2}}{E_{0}^{2}}\ \propto\ \frac{\omega^{4}}{\left(\omega_{0}^{2}-\omega^{2}\right)^{2}} \ \xrightarrow[\ \omega\ll\omega_{0}\ ]{}\ \frac{\omega^{4}}{\omega_{0}^{4}}

となります。すなわち σ∝ω4∝λ−4\sigma\propto\omega^{4}\propto\lambda^{-4} で、これがレイリー散乱の λ−4\lambda^{-4} 則です。青い光は赤い光より角周波数が大きいので、青い光のほうが散乱されやすいです。波長を赤 700 nm700\,\mathrm{nm}、青 450 nm450\,\mathrm{nm} とすると比は (700/450)4≈6(700/450)^{4}\approx6 倍程度になります。空が青いのはこの効果です。

方向依存性は幾何因子で決まります。a\boldsymbol{a} が xx 軸方向を向いていることを使うと、n\boldsymbol{n} と xx 軸のなす角を Θ\Theta として

∣n×(n×a)∣2=∣a∣2−(n⋅a)2=∣a∣2sin⁡2Θ|\boldsymbol{n}\times(\boldsymbol{n}\times\boldsymbol{a})|^{2}=|\boldsymbol{a}|^{2}-(\boldsymbol{n}\cdot\boldsymbol{a})^{2}=|\boldsymbol{a}|^{2}\sin^{2}\Theta

です。xx 軸方向(Θ=0\Theta=0)では n∥a\boldsymbol{n}\parallel\boldsymbol{a} なので外積が消えて放射はゼロ、zz 軸方向(Θ=π/2\Theta=\pi/2)では n⊥a\boldsymbol{n}\perp\boldsymbol{a} で sin⁡2Θ=1\sin^{2}\Theta=1 となり最大です。したがって zz 軸方向のほうが散乱されやすいです。理由は、双極子放射の振幅が加速度の視線に垂直な成分だけで決まるためで、振動方向(ここでは xx 軸)に沿った方向には輻射が出ません。散乱光が振動方向に垂直な面内で強くなり、しかも直線偏光しているという、青空の偏光の起源でもあります。

E(x,t)=E0exp⁡(−x2/σ2)sin⁡(ωt)E(x,t)=E_{0}\exp(-x^{2}/\sigma^{2})\sin(\omega t) を x=bx=b のまわりで 1 次まで展開します。振幅部分の微分は

ddxE0e−x2/σ2∣x=b=−2bσ2E0e−b2/σ2\frac{d}{dx}E_{0}e^{-x^{2}/\sigma^{2}}\bigg|_{x=b}=-\frac{2b}{\sigma^{2}}E_{0}e^{-b^{2}/\sigma^{2}}

なので

E(x,t)≃E0e−b2/σ2{1−2bσ2(x−b)}sin⁡(ωt)E(x,t)\simeq E_{0}e^{-b^{2}/\sigma^{2}}\left\{1-\frac{2b}{\sigma^{2}}(x-b)\right\}\sin(\omega t)

となります。与えられた形と比べて

E1=E0exp⁡ ⁣(−b2σ2),β=−2bσ2E_{1}=E_{0}\exp\!\left(-\frac{b^{2}}{\sigma^{2}}\right),\qquad \beta=-\frac{2b}{\sigma^{2}}

が答えです。β\beta は長さの逆数の次元を持ち、相対的な電場勾配 E′/EE'/E を x=bx=b で評価したものです。b>0b>0 なら β<0\beta<0、b<0b<0 なら β>0\beta>0 で、β\beta の符号は常に「中心軸に向かう側で電場が強くなる」向きを示しています。

電荷 +q+q は x=b+d/2x=b+d/2、電荷 −q-q は x=b−d/2x=b-d/2 にあります。それぞれに式 (2) の電場による力が独立にはたらくとすると、和は

F=qE ⁣(b+d2,t)+(−q)E ⁣(b−d2,t)=qE1{1+βd2}sin⁡(ωt)−qE1{1−βd2}sin⁡(ωt)\begin{aligned} F&=qE\!\left(b+\frac{d}{2},t\right)+(-q)E\!\left(b-\frac{d}{2},t\right)\\ &=qE_{1}\left\{1+\beta\frac{d}{2}\right\}\sin(\omega t)-qE_{1}\left\{1-\beta\frac{d}{2}\right\}\sin(\omega t) \end{aligned}

です。11 の項が打ち消し、勾配の項だけが 2 倍で残ります。

F=q d β E1sin⁡(ωt)F=q\,d\,\beta\,E_{1}\sin(\omega t)

が答えです。一様電場の部分は正負の電荷に逆向きに同じ大きさではたらくので消え、電場勾配 β\beta に比例した力だけが生き残ります。

∣βd∣≪1|\beta d|\ll1 とすると双極子の内部では電場をほぼ一定とみなせるので、誘起される双極子モーメントは双極子中心 x=bx=b での電場で決まり、qd=p=αE(b,t)=αE1sin⁡(ωt)q d=p=\alpha E(b,t)=\alpha E_{1}\sin(\omega t) です。これを設問5 に代入します。

F=βE1sin⁡(ωt)⋅αE1sin⁡(ωt)=αβE12sin⁡2(ωt)=αβE122{1−cos⁡(2ωt)}F=\beta E_{1}\sin(\omega t)\cdot\alpha E_{1}\sin(\omega t)=\alpha\beta E_{1}^{2}\sin^{2}(\omega t) =\frac{\alpha\beta E_{1}^{2}}{2}\left\{1-\cos(2\omega t)\right\}

が答えです。この力が電場について 2 次であることが決定的です。sin⁡2(ωt)≥0\sin^{2}(\omega t)\ge0 なので、力の符号は αβ\alpha\beta の符号だけで決まり、1 周期のあいだ向きを変えません。したがって時間平均は残ります。

⟨F⟩=αβE122=−αbσ2E02exp⁡ ⁣(−2b2σ2)\langle F\rangle=\frac{\alpha\beta E_{1}^{2}}{2} =-\frac{\alpha b}{\sigma^{2}}E_{0}^{2}\exp\!\left(-\frac{2b^{2}}{\sigma^{2}}\right)

α>0\alpha>0 なので、b>0b>0 では ⟨F⟩<0\langle F\rangle<0、b<0b<0 では ⟨F⟩>0\langle F\rangle>0 となり、力は常に x=0x=0 を向きます。∣b∣≪σ|b|\ll\sigma では ⟨F⟩≃−(αE02/σ2) b\langle F\rangle\simeq-(\alpha E_{0}^{2}/\sigma^{2})\,b とばね定数 αE02/σ2\alpha E_{0}^{2}/\sigma^{2} の復元力になり、中心軸は安定な釣り合い点です。これが誘電体がレーザー光の中心軸付近に引き込まれ、そこにトラップされる理由です。誘電体が中心軸から外れると、軸に近い側の電場のほうが強いため、そちら側に引く力が勝つ、と言い換えることもできます。

分極率 α\alpha の微小誘電体を電場 EE の中に置くと、双極子 p=αEp=\alpha E が誘起され、系のエネルギーは

U=−12pE=−12αE2U=-\frac{1}{2}pE=-\frac{1}{2}\alpha E^{2}

だけ下がります。係数 1/21/2 は、双極子が外から与えられたものではなく電場自身によって誘起されるため、分極させる仕事の分だけ利得が半分になることによります。α>0\alpha>0 なので U<0U<0、つまり誘電体を電場の強い領域に置くほど系のエネルギーは低くなります。時間平均をとると ⟨sin⁡2ωt⟩=1/2\langle\sin^{2}\omega t\rangle=1/2 より

⟨U(x)⟩=−α4E02exp⁡ ⁣(−2x2σ2)\langle U(x)\rangle=-\frac{\alpha}{4}E_{0}^{2}\exp\!\left(-\frac{2x^{2}}{\sigma^{2}}\right)

で、これは x=0x=0 を最小点とするポテンシャル井戸です。レーザー光の強度は中心軸上で最大なので、誘電体はエネルギーを最も下げられる位置、すなわち中心軸上に落ち込みます。これが光ピンセットの機構です。実際 −d⟨U⟩/dx-d\langle U\rangle/dx を計算すると −(αx/σ2)E02e−2x2/σ2-(\alpha x/\sigma^{2})E_{0}^{2}e^{-2x^{2}/\sigma^{2}} となり、x=bx=b とおけば設問6 の時間平均した力に一致します。

第4問 フーリエ変換と3次行列の固有値

Section titled “第4問 フーリエ変換と3次行列の固有値”

前半はローレンツ型関数のフーリエ変換を留数計算で求め、たたみ込み定理を使って積分方程式を解く問題です。フーリエ変換は

f^(ω)=∫−∞∞e−iωxf(x) dx\hat f(\omega)=\int_{-\infty}^{\infty}e^{-i\omega x}f(x)\,dx

で定義され、α>0\alpha>0 に対して gα(x)=1παx2+α2g_{\alpha}(x)=\dfrac{1}{\pi}\dfrac{\alpha}{x^{2}+\alpha^{2}} を扱います。後半は z≠0z\neq0、0≤arg⁡z<π/20\le\arg z<\pi/2 を満たす複素数 zz をパラメータとする 3 次正方行列

A(z)=(z1010101z−1)A(z)=\begin{pmatrix} z & 1 & 0 \\ 1 & 0 & 1 \\ 0 & 1 & z^{-1}\end{pmatrix}

の固有値問題です。

gα(x)g_{\alpha}(x) は実関数で、かつ xx について偶関数です。したがって

g^α(ω)=∫−∞∞(cos⁡ωx−isin⁡ωx)gα(x) dx=∫−∞∞cos⁡(ωx) gα(x) dx\hat g_{\alpha}(\omega)=\int_{-\infty}^{\infty}\left(\cos\omega x-i\sin\omega x\right)g_{\alpha}(x)\,dx=\int_{-\infty}^{\infty}\cos(\omega x)\,g_{\alpha}(x)\,dx

となります(sin⁡(ωx)gα(x)\sin(\omega x)g_{\alpha}(x) は xx の奇関数なので積分がゼロ)。残った積分は実数で、ω→−ω\omega\to-\omega で不変です。答えは、g^α(ω)\hat g_{\alpha}(\omega) は ω\omega の実関数であって偶関数です。

e−iωze^{-i\omega z} は全平面で正則なので、極は gα(z)g_{\alpha}(z) の極だけです。

gα(z)=απ1z2+α2=απ1(z−iα)(z+iα)g_{\alpha}(z)=\frac{\alpha}{\pi}\frac{1}{z^{2}+\alpha^{2}}=\frac{\alpha}{\pi}\frac{1}{(z-i\alpha)(z+i\alpha)}

答えは z=iαz=i\alpha と z=−iαz=-i\alpha の 2 個で、α>0\alpha>0 よりこれらは異なる点であり、どちらも 1 位の極です。

CRC_{R} は実軸上を z=−Rz=-R から z=Rz=R へ進み、続いて上半平面の半円周を通って z=−Rz=-R に戻る閉曲線です。したがって向きは反時計回りで、図の矢印もそうなっています。R>αR>\alpha とすると、内部に含まれる極は z=iαz=i\alpha のみです。z=−iαz=-i\alpha は下半平面にあるので入りません。留数は

Res⁡z=iαe−iωzgα(z)=e−iω(iα)⋅απ⋅12iα=eαω2πi\operatorname*{Res}_{z=i\alpha}e^{-i\omega z}g_{\alpha}(z) =e^{-i\omega(i\alpha)}\cdot\frac{\alpha}{\pi}\cdot\frac{1}{2i\alpha} =\frac{e^{\alpha\omega}}{2\pi i}

です。留数定理(閉曲線の内側にある極の留数の和の 2πi2\pi i 倍が、その曲線に沿った積分に等しい)より

∫CRe−iωzgα(z) dz=2πi⋅eαω2πi=eαω\int_{C_{R}}e^{-i\omega z}g_{\alpha}(z)\,dz=2\pi i\cdot\frac{e^{\alpha\omega}}{2\pi i}=e^{\alpha\omega}

となり、これは RR に依らないので R→∞R\to\infty の極限もこの値です。よって ω≤0\omega\le0 に対して g^α(ω)=eαω\hat g_{\alpha}(\omega)=e^{\alpha\omega} です。

なお、g^α(ω)\hat g_{\alpha}(\omega) が CRC_{R} 上の積分の極限に等しいのは、半円周の寄与が消えるからです。z=x+iyz=x+iy とすると ∣e−iωz∣=eωy|e^{-i\omega z}|=e^{\omega y} で、上半平面 y≥0y\ge0 かつ ω≤0\omega\le0 では eωy≤1e^{\omega y}\le1 と有界です。半円周上では ∣gα(z)∣≤(α/π)/(R2−α2)|g_{\alpha}(z)|\le(\alpha/\pi)/(R^{2}-\alpha^{2})、経路長は πR\pi R なので、寄与の絶対値は πR⋅(α/π)/(R2−α2)→0\pi R\cdot(\alpha/\pi)/(R^{2}-\alpha^{2})\to0 となります。ここで ω≤0\omega\le0 という条件が使われていて、ω>0\omega>0 なら上半平面で eωye^{\omega y} が発散するため下半平面に閉じる必要があります。

設問1(a) の偶関数性を使って ω>0\omega>0 に拡張すると

g^α(ω)=e−α∣ω∣\hat g_{\alpha}(\omega)=e^{-\alpha|\omega|}

が答えです。検算として g^α(0)=1\hat g_{\alpha}(0)=1 は ∫gα(x)dx=1\int g_{\alpha}(x)dx=1(規格化されたローレンツ関数)と一致します。また α→0\alpha\to0 で g^α→1\hat g_{\alpha}\to1 となり、δ(x)\delta(x) のフーリエ変換が 11 であることと整合します。

成り立つ関係は

g1∗f^(ω)=g^1(ω) f^(ω)\widehat{g_{1}*f}(\omega)=\hat g_{1}(\omega)\,\hat f(\omega)

です。理由は次のとおりです。定義に従って書き、積分順序を交換します。

g1∗f^(ω)=∫−∞∞dx e−iωx∫−∞∞dy g1(x−y)f(y)=∫−∞∞dy f(y)∫−∞∞dx e−iωxg1(x−y)\widehat{g_{1}*f}(\omega)=\int_{-\infty}^{\infty}dx\,e^{-i\omega x}\int_{-\infty}^{\infty}dy\,g_{1}(x-y)f(y) =\int_{-\infty}^{\infty}dy\,f(y)\int_{-\infty}^{\infty}dx\,e^{-i\omega x}g_{1}(x-y)

内側の積分で u=x−yu=x-y と置換すると e−iωx=e−iωue−iωye^{-i\omega x}=e^{-i\omega u}e^{-i\omega y} と分離するので

=∫−∞∞dy f(y)e−iωy∫−∞∞du e−iωug1(u)=f^(ω) g^1(ω)=\int_{-\infty}^{\infty}dy\,f(y)e^{-i\omega y}\int_{-\infty}^{\infty}du\,e^{-i\omega u}g_{1}(u)=\hat f(\omega)\,\hat g_{1}(\omega)

となります。使った仮定は、二重積分が絶対収束して積分順序の交換(フビニの定理)が許されることと、平行移動の不変性です。たたみ込みがフーリエ変換で単なる積になる、というこの性質が次の設問の鍵になります。

積分方程式 f=g1∗f+δ−g2f=g_{1}*f+\delta-g_{2} の両辺をフーリエ変換します。設問1(d) と δ^(ω)=∫e−iωxδ(x)dx=1\hat\delta(\omega)=\int e^{-i\omega x}\delta(x)dx=1、および設問1(c) の g^1(ω)=e−∣ω∣\hat g_{1}(\omega)=e^{-|\omega|}、g^2(ω)=e−2∣ω∣\hat g_{2}(\omega)=e^{-2|\omega|} を使うと

f^(ω)=e−∣ω∣f^(ω)+1−e−2∣ω∣\hat f(\omega)=e^{-|\omega|}\hat f(\omega)+1-e^{-2|\omega|}

すなわち

(1−e−∣ω∣)f^(ω)=1−e−2∣ω∣=(1−e−∣ω∣)(1+e−∣ω∣)\left(1-e^{-|\omega|}\right)\hat f(\omega)=1-e^{-2|\omega|}=\left(1-e^{-|\omega|}\right)\left(1+e^{-|\omega|}\right)

です。ω≠0\omega\neq0 では 1−e−∣ω∣≠01-e^{-|\omega|}\neq0 なので割ることができ、f^(ω)=1+e−∣ω∣\hat f(\omega)=1+e^{-|\omega|} を得ます。右辺は ω=0\omega=0 で連続なので、f^(0)=2\hat f(0)=2 と定めます。11 の逆変換が δ(x)\delta(x)、e−∣ω∣=g^1(ω)e^{-|\omega|}=\hat g_{1}(\omega) の逆変換が g1(x)g_{1}(x) なので

f(x)=δ(x)+g1(x)=δ(x)+1π1x2+1f(x)=\delta(x)+g_{1}(x)=\delta(x)+\frac{1}{\pi}\frac{1}{x^{2}+1}

が答えです。元の方程式に直接代入して検算します。g1∗δ=g1g_{1}*\delta=g_{1}、また g1∗g1g_{1}*g_{1} のフーリエ変換は e−∣ω∣⋅e−∣ω∣=e−2∣ω∣=g^2e^{-|\omega|}\cdot e^{-|\omega|}=e^{-2|\omega|}=\hat g_{2} なので g1∗g1=g2g_{1}*g_{1}=g_{2} です。よって

g1∗f+δ−g2=(g1+g1∗g1)+δ−g2=g1+g2+δ−g2=δ+g1=fg_{1}*f+\delta-g_{2}=\left(g_{1}+g_{1}*g_{1}\right)+\delta-g_{2}=g_{1}+g_{2}+\delta-g_{2}=\delta+g_{1}=f

となり、確かに解です。なお ω=0\omega=0 での不定性は定数の自由度に対応し、任意の定数 cc を加えた f+cf+c も方程式を満たします(g1∗c=c∫g1=cg_{1}*c=c\int g_{1}=c だからです)。ここでは無限遠で消える解を採りました。

トレースは対角成分の和です。

tr⁡A(z)=z+0+z−1=z+1z\operatorname{tr}A(z)=z+0+z^{-1}=z+\frac{1}{z}

行列式は第 1 行で余因子展開します。

det⁡A(z)=z(0⋅z−1−1⋅1)−1(1⋅z−1−1⋅0)+0=−z−1z\det A(z)=z\left(0\cdot z^{-1}-1\cdot1\right)-1\left(1\cdot z^{-1}-1\cdot0\right)+0=-z-\frac{1}{z}

答えは tr⁡A(z)=z+z−1\operatorname{tr}A(z)=z+z^{-1}、det⁡A(z)=−(z+z−1)\det A(z)=-\left(z+z^{-1}\right) です。両者が符号だけ違うのは偶然ではなく、設問2(c) で固有値が 1,−1,z+z−11,-1,z+z^{-1} となることの反映です。det⁡A(z)=−(z2+1)/z\det A(z)=-(z^{2}+1)/z なので、z=±iz=\pm i でのみ特異ですが、これらは 0≤arg⁡z<π/20\le\arg z<\pi/2 の範囲外です。したがって与えられた範囲で A(z)A(z) は常に正則です。

余因子行列を作って転置し、行列式で割ります。結果を zz 倍して分母を整理すると

A(z)−1=1z2+1(z1−z1−zz2−zz2z)A(z)^{-1}=\frac{1}{z^{2}+1} \begin{pmatrix} z & 1 & -z\\ 1 & -z & z^{2}\\ -z & z^{2} & z \end{pmatrix}

が答えです。設問2(a) で見たように、0≤arg⁡z<π/20\le\arg z<\pi/2 では z2+1≠0z^{2}+1\neq0 なので分母は消えません。検算として A(z)A(z)−1A(z)A(z)^{-1} を計算すると、対角成分はいずれも (z2+1)/(z2+1)=1(z^{2}+1)/(z^{2}+1)=1、非対角成分はたとえば第 1 行と第 2 列で z⋅1+1⋅(−z)+0⋅z2=0z\cdot1+1\cdot(-z)+0\cdot z^{2}=0、第 3 行と第 1 列で 0⋅z+1⋅1+z−1(−z)=00\cdot z+1\cdot1+z^{-1}(-z)=0 のように、すべてゼロになります。A(z)A(z) が対称行列なので A(z)−1A(z)^{-1} も対称になっていることも確認できます。

固有方程式を作ります。

det⁡(A(z)−λI)=(z−λ)(λ2−λz−1)−(1z−λ)\det\left(A(z)-\lambda I\right) =(z-\lambda)\left(\lambda^{2}-\frac{\lambda}{z}-1\right)-\left(\frac{1}{z}-\lambda\right)

展開して t≡z+z−1t\equiv z+z^{-1} と置くと

det⁡(A(z)−λI)=−λ3+tλ2+λ−t=−(λ−t)(λ2−1)\det\left(A(z)-\lambda I\right)=-\lambda^{3}+t\lambda^{2}+\lambda-t=-\left(\lambda-t\right)\left(\lambda^{2}-1\right)

と因数分解できます(λ3−tλ2−λ+t=λ2(λ−t)−(λ−t)\lambda^{3}-t\lambda^{2}-\lambda+t=\lambda^{2}(\lambda-t)-(\lambda-t) と見るのが早いです)。したがって固有値は

λ=1,λ=−1,λ=z+1z\lambda=1,\qquad \lambda=-1,\qquad \lambda=z+\frac{1}{z}

の 3 つです。和が tt、積が −t-t となって設問2(a) と合っています。

これらがすべて実数になる条件は z+z−1∈Rz+z^{-1}\in\mathbb{R} です。z=x+iyz=x+iy と書くと z−1=zˉ/∣z∣2z^{-1}=\bar z/|z|^{2} なので

z+1z=x(1+1∣z∣2)+iy(1−1∣z∣2)z+\frac{1}{z}=x\left(1+\frac{1}{|z|^{2}}\right)+iy\left(1-\frac{1}{|z|^{2}}\right)

で、虚部がゼロになる条件は y(1−∣z∣−2)=0y\left(1-|z|^{-2}\right)=0、すなわち y=0y=0 または ∣z∣=1|z|=1 です。

与えられた領域 z≠0z\neq0、0≤arg⁡z<π/20\le\arg z<\pi/2 は複素平面の第 1 象限のうち x>0x>0、y≥0y\ge0 の部分(正の虚軸と原点は除く)です。この中で条件を書き下すと、y=0y=0 は正の実軸 {z=x:x>0}\{z=x:x>0\}、∣z∣=1|z|=1 は単位円の第 1 象限側の四分円弧 {eiθ:0≤θ<π/2}\{e^{i\theta}:0\le\theta<\pi/2\} です。z=iz=i は arg⁡z=π/2\arg z=\pi/2 なので除かれます。答えは、正の実半直線と、z=1z=1 を含み z=iz=i を含まない単位円上の四分円弧との和集合です。両者は z=1z=1 で交わります。

Re zIm zO1i

太線が求める範囲で、z=iz=i を表す白丸はその点が除かれることを示しています。

固有値 11 と −1-1 は常に異なるので、重複が起きるのは z+z−1=1z+z^{-1}=1 または z+z−1=−1z+z^{-1}=-1 のときだけです。

z+z−1=1z+z^{-1}=1 は z2−z+1=0z^{2}-z+1=0 すなわち z=1±i32=e±iπ/3z=\dfrac{1\pm i\sqrt3}{2}=e^{\pm i\pi/3} です。このうち 0≤arg⁡z<π/20\le\arg z<\pi/2 を満たすのは arg⁡z=π/3\arg z=\pi/3 の方だけです。z+z−1=−1z+z^{-1}=-1 は z2+z+1=0z^{2}+z+1=0 すなわち z=e±2πi/3z=e^{\pm2\pi i/3} で、arg⁡z=2π/3\arg z=2\pi/3 も arg⁡z=4π/3\arg z=4\pi/3 も範囲外です。したがって

z=eiπ/3=1+i32z=e^{i\pi/3}=\frac{1+i\sqrt3}{2}

が答えで、このとき固有値は 11(重複度 2)と −1-1 です。実際 eiπ/3+e−iπ/3=2cos⁡(π/3)=1e^{i\pi/3}+e^{-i\pi/3}=2\cos(\pi/3)=1 です。

このとき A(z)A(z) は対角化できません。理由を述べます。特性多項式は −(λ−1)2(λ+1)-(\lambda-1)^{2}(\lambda+1) で、λ=1\lambda=1 の代数的重複度は 2 です。一方 z=eiπ/3z=e^{i\pi/3} では z−1=e2πi/3z-1=e^{2\pi i/3}、z−1−1=e−2πi/3z^{-1}-1=e^{-2\pi i/3} なので

A(z)−I=(e2πi/3101−1101e−2πi/3)A(z)-I=\begin{pmatrix} e^{2\pi i/3} & 1 & 0\\ 1 & -1 & 1\\ 0 & 1 & e^{-2\pi i/3}\end{pmatrix}

です。第 1 行と第 2 行は、第 3 成分がそれぞれ 00 と 11 なので明らかに 1 次独立であり、階数は 2 以上です。他方 λ=1\lambda=1 は固有値なので det⁡(A−I)=0\det(A-I)=0 から階数は 2 以下です。よって rank⁡(A−I)=2\operatorname{rank}(A-I)=2、固有空間の次元は 3−2=13-2=1 となり、幾何的重複度 1 が代数的重複度 2 より小さくなります。固有ベクトルが 2 本とれないので対角化不可能で、ジョルダン標準形(対角化できない行列でも、対角線のすぐ上に 1 が入る程度まで簡単にした形)は λ=1\lambda=1 に対する 2 次のジョルダン細胞と λ=−1\lambda=-1 の 1 次細胞からなります。念のため固有空間を具体的に求めると、(A−I)v=0(A-I)\boldsymbol{v}=0 の第 1 行と第 2 行から v2=−e2πi/3v1v_{2}=-e^{2\pi i/3}v_{1}、v3=v2−v1=−(1+e2πi/3)v1=−eiπ/3v1v_{3}=v_{2}-v_{1}=-\left(1+e^{2\pi i/3}\right)v_{1}=-e^{i\pi/3}v_{1} となり、第 3 行の条件は v2+e−2πi/3v3=−(e2πi/3+e−iπ/3)v1=0v_{2}+e^{-2\pi i/3}v_{3}=-\left(e^{2\pi i/3}+e^{-i\pi/3}\right)v_{1}=0(e−iπ/3=−e2πi/3e^{-i\pi/3}=-e^{2\pi i/3} より)と自動的に満たされます。固有ベクトルは v∝(1, −e2πi/3, −eiπ/3)T\boldsymbol{v}\propto\left(1,\,-e^{2\pi i/3},\,-e^{i\pi/3}\right)^{\mathrm{T}} の 1 方向だけです。

z=1z=1 は arg⁡z=0\arg z=0 なので許される値です。設問2(c) の結果に t=1+1=2t=1+1=2 を入れると A(1)A(1) の固有値は 2, 1, −12,\,1,\,-1 で、

A(1)+I=(210111012)A(1)+I=\begin{pmatrix} 2 & 1 & 0\\ 1 & 1 & 1\\ 0 & 1 & 2\end{pmatrix}

の固有値は 3, 2, 03,\,2,\,0 となり、いずれも 00 以上です。したがって A(1)+IA(1)+I は半正定値です。これを固有値を使わずに示すこともできます。実列ベクトル x⃗=(x1,x2,x3)T\vec x=(x_{1},x_{2},x_{3})^{\mathrm{T}} に対し

x⃗T(A(1)+I)x⃗=2x12+x22+2x32+2x1x2+2x2x3=(x1+x2+x3)2+(x1−x3)2 ≥ 0\vec x^{\mathrm{T}}\left(A(1)+I\right)\vec x=2x_{1}^{2}+x_{2}^{2}+2x_{3}^{2}+2x_{1}x_{2}+2x_{2}x_{3} =\left(x_{1}+x_{2}+x_{3}\right)^{2}+\left(x_{1}-x_{3}\right)^{2}\ \ge\ 0

と平方の和に書けます(右辺を展開すれば左辺に戻ります)。等号は x1=x3x_{1}=x_{3} かつ x1+x2+x3=0x_{1}+x_{2}+x_{3}=0、すなわち x⃗∝(1,−2,1)T\vec x\propto(1,-2,1)^{\mathrm{T}} のときで、これが固有値 00 の固有ベクトルです。

また v⃗ v⃗T\vec v\,\vec v^{\mathrm{T}} については

x⃗T(v⃗ v⃗T)x⃗=(v⃗Tx⃗)2 ≥ 0\vec x^{\mathrm{T}}\left(\vec v\,\vec v^{\mathrm{T}}\right)\vec x=\left(\vec v^{\mathrm{T}}\vec x\right)^{2}\ \ge\ 0

なので、これも半正定値です。A(1)A(1)、II、v⃗ v⃗T\vec v\,\vec v^{\mathrm{T}} はすべて実対称なので B=A(1)+I+v⃗ v⃗TB=A(1)+I+\vec v\,\vec v^{\mathrm{T}} も実対称で、固有値は実数です。実対称行列の最小固有値はレイリー商(x⃗TBx⃗\vec x^{\mathrm{T}}B\vec x を x⃗Tx⃗\vec x^{\mathrm{T}}\vec x で割った値)の最小値として与えられるので、

λmin⁡(B)=min⁡x⃗≠0x⃗TBx⃗x⃗Tx⃗=min⁡x⃗≠0(x1+x2+x3)2+(x1−x3)2+(v⃗Tx⃗)2x⃗Tx⃗ ≥ 0\lambda_{\min}(B)=\min_{\vec x\neq0}\frac{\vec x^{\mathrm{T}}B\vec x}{\vec x^{\mathrm{T}}\vec x} =\min_{\vec x\neq0}\frac{\left(x_{1}+x_{2}+x_{3}\right)^{2}+\left(x_{1}-x_{3}\right)^{2}+\left(\vec v^{\mathrm{T}}\vec x\right)^{2}}{\vec x^{\mathrm{T}}\vec x}\ \ge\ 0

となります。よって BB の最小固有値は 00 以上です。使った仮定は v⃗\vec v が実ベクトルであることだけで、v⃗\vec v の値には依りません。なお等号が成り立つのは v⃗T(1,−2,1)T=v1−2v2+v3=0\vec v^{\mathrm{T}}(1,-2,1)^{\mathrm{T}}=v_{1}-2v_{2}+v_{3}=0 のときで、そうでなければ BB は正定値になります。

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

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

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

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