量子力学・統計力学・電磁気学・数学が 1 問ずつという構成で、4 問すべてが必答です。第1問と第4問設問1は教科書の定理をその場で組み立て直す論証中心、第2問と第3問は最後まで数を出す計算中心という色分けになっています。手間がかかるのは第2問の後半(スピン自由度とゼーマン分裂を入れた転移温度)と第4問設問2の後半(行列 B=CA の固有値の符号)で、配点もこのあたりに集まっていると見られます。
| 問題 | 分野 | 主題 |
|---|
| 第1問 | 量子力学 | 不確定性関係と最小不確定状態 |
| 第2問 | 統計力学 | 理想ボース気体とボース・アインシュタイン凝縮 |
| 第3問 | 電磁気学 | 誘電体境界での反射・透過と全反射 |
| 第4問 | 複素解析・線形代数 | 主値積分と分散関係、ランク1摂動を受けた行列 |
位置演算子 x^ と運動量演算子 p^ の標準偏差を、与えられた量子状態での期待値 ⟨O^⟩ を使って
ΔxΔp≡⟨(Δx^)2⟩,≡⟨(Δp^)2⟩,Δx^Δp^≡x^−⟨x^⟩,≡p^−⟨p^⟩
と定義します。ℏ はプランク定数を 2π で割った量です。1次元系を考え、位置表示で p^=−iℏd/dx、したがって [x^,p^]=iℏ とします。計算には与えられた公式
∫−∞∞e−αx2dx=απ,∫−∞∞x2e−αx2dx=21α3π(α>0)
を使います。設問2から設問5は、不確定性関係 ΔxΔp≥ℏ/2 の証明と等号成立条件を順に組み立てていく流れです。
対象は
ψ(x)=(πa21)1/4exp(−2a2x2)(a>0)
です。まず規格化を確認します。α=1/a2 として
∫−∞∞∣ψ∣2dx=πa21∫−∞∞e−x2/a2dx=πa21⋅πa2=1
なので ψ は規格化されています。
∣ψ∣2 は偶関数なので ⟨x^⟩=0、また ψ が実関数なので
⟨p^⟩=−iℏ∫−∞∞ψdxdψdx=−2iℏ[ψ2]−∞∞=0
です。したがって Δx^=x^、Δp^=p^ となります。
2次のモーメントは、α=1/a2 に対する第2の積分公式から
⟨x^2⟩=πa21∫−∞∞x2e−x2/a2dx=πa21⋅21πa6=2a2
です。運動量については部分積分して境界項を落とし、dψ/dx=−(x/a2)ψ を使うと
⟨p^2⟩=−ℏ2∫ψdx2d2ψdx=ℏ2∫(dxdψ)2dx=a4ℏ2⟨x^2⟩=2a2ℏ2
となります。よって答えは
Δx=2a,Δp=2aℏ,ΔxΔp=2ℏ
です。Δx は長さ、Δp は運動量の次元を持ち、積は作用(ℏ と同じ)の次元になっています。
物理的な解釈は次の通りです。このガウス波束では位置の広がりが a、運動量の広がりが ℏ/a で、両者は反比例します。a を小さくして粒子を狭い領域に押し込めば運動量の分布は 1/a で広がり、逆に a を大きくすれば運動量は鋭くなるが位置は不確定になる。すなわち a は位置と運動量の「分解能の配分」を決めるだけで、積 ΔxΔp は a に依存しません。しかもその値は設問3で示す下限 ℏ/2 にちょうど等しく、ガウス波束は不確定性関係の等号を実現する状態になっています。
規格化された状態 ∣ψ⟩ をとります。エルミート共役の定義 ⟨ϕ∣O^†χ⟩=⟨O^ϕ∣χ⟩ を ∣ϕ⟩=∣χ⟩=∣ψ⟩ に対して使うと
⟨O^†O^⟩=⟨ψ∣O^†O^∣ψ⟩=⟨O^ψ∣O^ψ⟩=O^∣ψ⟩2≥0
となります。最後の不等号は内積の正定値性そのものです。等号が成り立つのは O^∣ψ⟩=0 のときに限ります。この事実は設問4で使います。
x^,p^ はエルミートで ⟨x^⟩,⟨p^⟩ は実数なので、Δx^,Δp^ もエルミートです。よって t が実数のとき
O^=tΔx^−iΔp^,O^†=tΔx^+iΔp^
です。積を展開すると
O^†O^=t2(Δx^)2+(Δp^)2+it(Δp^Δx^−Δx^Δp^)=t2(Δx^)2+(Δp^)2−it[Δx^,Δp^]
となります。定数(c 数)は交換子に寄与しないので [Δx^,Δp^]=[x^,p^]=iℏ であり、
O^†O^=t2(Δx^)2+(Δp^)2+ℏt
を得ます。設問2の結果より、任意の実数 t に対して
F(t)≡(Δx)2t2+ℏt+(Δp)2≥0
が成り立ちます。
ここで (Δx)2>0 です。実際 (Δx)2=0 なら F(t)=ℏt+(Δp)2 が t の1次関数になり、t を十分負にとれば負になってしまい上の不等式に反します。したがって F(t) は下に凸な2次関数で、それがすべての実数 t で非負であることは判別式が非正であることと同値です。
ℏ2−4(Δx)2(Δp)2≤0
Δx≥0, Δp≥0 なので平方根をとって
ΔxΔp≥2ℏ
が示されました。設問1のガウス波束はこの等号を満たしています。
条件は t<0 です。以下、x0≡⟨x^⟩、p0≡⟨p^⟩ と書きます。
O^ の固有値 0 に属する固有状態を位置表示で求めます。O^ψ=0 は
t(x−x0)ψ−i(−iℏdxdψ−p0ψ)=0⟺ℏdxdψ=[t(x−x0)+ip0]ψ
と書けます。これは1階線形なので一意に積分でき
ψ(x)=Cexp[2ℏt(x−x0)2+ℏip0x]
です。∣ψ∣2=∣C∣2exp[t(x−x0)2/ℏ] が2乗可積分になるのは t<0 のときだけで、t=0 なら平面波、t>0 なら発散するガウス関数になって規格化できません。逆に t<0 ならこの関数は規格化可能で、しかもガウス分布の中心が x0、位相の勾配が p0/ℏ であることから ⟨x^⟩=x0、⟨p^⟩=p0 が自己整合的に成立します。よって O^ が固有値 0 をもつ条件は t<0 です。
次に、その固有状態が不等式の等号を満たすことを示します。O^∣ψ⟩=0 なら ⟨O^†O^⟩=0、すなわち設問3の F(t) について
F(t)=(Δx)2t2+ℏt+(Δp)2=0
が実数解 t をもつことになります。実数解が存在するには判別式が非負でなければならないので
ℏ2−4(Δx)2(Δp)2≥0
です。一方で設問3はこの量が非正であることを示していました。両方が成り立つには等号しかなく
ℏ2=4(Δx)2(Δp)2⟺ΔxΔp=2ℏ
が結論されます。判別式が 0 なので解は重解 t=−ℏ/(2(Δx)2) に決まり、これは確かに負で、前半で得た条件 t<0 と整合します。
設問4の固有関数で t=−ℏ/(2σ2)、σ≡Δx と置き換えると t/(2ℏ)=−1/(4σ2) なので
ψ(x)=Cexp[−4σ2(x−x0)2+ℏip0x]
です。規格化は ∣ψ∣2=∣C∣2e−(x−x0)2/(2σ2) に α=1/(2σ2) の積分公式を使って
1=∣C∣22πσ2⟹∣C∣=(2πσ2)−1/4
と決まります(全体の位相は任意なので C を正の実数にとります)。答えは
ψ(x)=(2πσ2)1/41exp[−4σ2(x−x0)2+ℏip0x],σ=Δx=2∣t∣ℏ
です。x0=⟨x^⟩ と p0=⟨p^⟩ は任意の実定数で、最小不確定状態は「任意の位置・任意の平均運動量を中心とするガウス波束」の一群をなします。t で書けば
ψ(x)=(πℏ∣t∣)1/4exp[−2ℏ∣t∣(x−x0)2+ℏip0x]
です。
検算します。この ψ に対して Δp^ψ=−iℏψ′−p0ψ=2σ2iℏ(x−x0)ψ なので
⟨(Δp^)2⟩=4σ4ℏ2⟨(x−x0)2⟩=4σ4ℏ2⋅σ2=4σ2ℏ2
すなわち Δp=ℏ/(2σ) で、ΔxΔp=ℏ/2 が確認できます。また x0=p0=0、σ=a/2 とすれば 4σ2=2a2、(2πσ2)−1/4=(πa2)−1/4 となり、設問1の波動関数に一致します。
体積 V=L3 の立方体に閉じ込められた、相互作用のない理想ボース気体を考えます。粒子の質量は m、粒子数は N、境界条件は周期境界条件です。一粒子ハミルトニアンは H^=−2mℏ2∇2 で、基底状態のエネルギーを E=0 に選びます。温度を T、化学ポテンシャルを μ (μ≤0)、ボルツマン定数を kB とし、β=1/(kBT) と書きます。設問1から設問7はスピン 0、設問8以降はスピン S の場合です。
固有値問題 −2mℏ2∇2Ψ=EΨ の解を平面波 Ψ∝eik⋅r にとります。周期境界条件 eikxL=eikyL=eikzL=1 から波数が量子化され
k=L2π(nx,ny,nz),nx,ny,nz∈Z
です。規格化 ∫V∣Ψ∣2d3r=1 を課すと固有波動関数は
Ψn(x,y,z)=V1exp[L2πi(nxx+nyy+nzz)]
で、対応する固有エネルギーは
En=2mℏ2k2=mL22π2ℏ2(nx2+ny2+nz2)
です。nx=ny=nz=0 が基底状態で、そのエネルギーは自動的に E=0 となり、問題の設定と整合します。これが求める全ての一粒子固有状態です(同じ nx2+ny2+nz2 を与える整数の組はすべて縮退しています)。
μ≤0≤Ei なので Ei−μ≥0 で、公比 y≡e−β(Ei−μ) は 0<y≤1 です。Ei−μ>0 の場合に等比級数が収束して
Ξi=ni=0∑∞yni=1−y1
となります。大分配関数のもとで状態 i の占有数が ni である確率は
P(ni)=Ξi1e−β(Ei−μ)ni=Ξiyni
です。平均占有数は ∑n≥0nyn=y/(1−y)2 を使って
f(Ei,μ)=ni=0∑∞niP(ni)=Ξi1⋅(1−y)2y=(1−y)⋅(1−y)2y=1−yy=y−1−11
となります。y−1=eβ(Ei−μ) を戻して答えは
f(Ei,μ)=exp[kBTEi−μ]−11
です。同じ結果は f=kBT∂lnΞi/∂μ からも得られます。Ei−μ≫kBT でボルツマン分布 e−β(Ei−μ) に帰着し、Ei−μ→+0 で発散するという振る舞いは、以下の凝縮の議論の要になります。
L が大きいとき k 空間では (2π/L)3 ごとに1状態あるので、状態密度は V/(2π)3 です。∣k∣≤k の状態数は
Ω=(2π)3V⋅34πk3=6π2Vk3
で、E=ℏ2k2/(2m) すなわち k=2mE/ℏ を代入すると
Ω(E)=6π2V(ℏ22mE)3/2
です。微分して
D(E)=dEdΩ=4π2V(ℏ22m)3/2E
を得ます。ℏ2/(2m) は(エネルギー)×(長さ)2 の次元をもつので、V(2m/ℏ2)3/2E は(エネルギー)−1 となり、状態密度として正しい次元です。
μ=0 とおくと
∫0∞f(E,0)D(E)dE=4π2V(ℏ22m)3/2∫0∞eE/kBT−1EdE
です。x=E/(kBT) と変数変換すると EdE=(kBT)3/2xdx なので
∫0∞f(E,0)D(E)dE=4π2V(ℏ22mkBT)3/2∫0∞ex−1xdx
となり、与えられた公式 ∫0∞ex−1xdx=2πζ(3/2) を使えます。(2m/ℏ2)3/2=8π3/2(m/(2πℏ2))3/2 を用いて整理すると
∫0∞f(E,0)D(E)dE=Vζ(23)(2πℏ2mkBT)3/2=λT3Vζ(23)
です。ここで λT=2πℏ2/(mkBT) は熱的ド・ブロイ波長、ζ(3/2)=2.612 です。これが右辺の μ≤0 における最大値で、有限の値にとどまることが要点です。
右辺は μ の単調増加関数なので、温度を下げていくと N を保つために μ は上昇し、μ=0 で上限に達します。式(1)が μ=0 でちょうど N を与える温度が Tc です。設問4の結果を使って
N=Vζ(23)(2πℏ2mkBTc)3/2
これを解いて
Tc=mkB2πℏ2(Vζ(3/2)N)2/3
が答えです。T<Tc では式(1)だけでは N 個の粒子を収容できず、余りが E=0 の一粒子状態に落ちます。ℏ2/(mkB)×(長さ)−2 が温度の次元をもつことから次元も合っています。粒子密度 N/V が大きいほど、また質量が軽いほど Tc が高いという常識的な依存性も見えます。
T<Tc では μ=0 なので、励起状態にある粒子数は設問4の結果そのままで
∫0∞f(E,0)D(E)dE=Vζ(23)(2πℏ2mkBT)3/2=N(TcT)3/2
です(最後の等号で設問5の Tc の定義式を使いました)。N=N0+N(T/Tc)3/2 より
N0=N[1−(TcT)3/2]
が答えです。T=Tc で N0=0、T→0 で N0→N となり、期待される極限を再現します。
T<Tc では μ=0 に固定されます。E=0 の凝縮体はエネルギーを持たないので、全エネルギーは励起状態からの寄与だけです。
Etot=∫0∞Ef(E,0)D(E)dE=4π2V(ℏ22m)3/2∫0∞eE/kBT−1E3/2dE
x=E/(kBT) とすると
Etot=4π2V(ℏ22m)3/2(kBT)5/2∫0∞ex−1x3/2dx
で、残った積分は T に依らない純粋な数(Γ(5/2)ζ(5/2)=43πζ(5/2))です。μ が T に依存しないおかげで温度依存性が T5/2 に純化する点が肝心で
Etot∝T5/2⟹CV=∂T∂EtotN,V=25TEtot∝T3/2
となります。よって答えは γ=3/2 です。
係数まで書くと、Γ(5/2)/Γ(3/2)=3/2 と設問5の Tc の式を使って
Etot=2ζ(3/2)3ζ(5/2)NkBT(TcT)3/2,CV=4ζ(3/2)15ζ(5/2)NkB(TcT)3/2
すなわち a=4ζ(3/2)15ζ(5/2)Tc3/2NkB≃1.93NkBTc−3/2 です。T→0 で CV→0 となり熱力学第三法則を満たします。
スピン S のボース粒子は各運動量状態が mz=−S,…,S の 2S+1 重に縮退します。外部磁場がなければこの縮退はエネルギーを変えないので、状態密度は 2S+1 倍になります。
D(E)=(2S+1)4π2V(ℏ22m)3/2E
転移温度は設問5と同じ手順で
N=(2S+1)Vζ(23)(2πℏ2mkBTc′)3/2
から
Tc′=mkB2πℏ2((2S+1)Vζ(3/2)N)2/3=(2S+1)2/3Tc
です。スピン自由度が増えるほど粒子を収容できる励起状態が増えるので、凝縮の開始温度は下がります。
一粒子エネルギーはゼーマン項を含めて
ε(k,mz)=2mℏ2k2−cmzB,mz=−S,−S+1,…,S
となります。最低エネルギーは k=0, mz=S の状態がもつ −cSB で、凝縮はこの1状態に起こります。ボース分布が正であるためには μ<−cSB が必要で、転移点はその上限 μ=−cSB に達したところです。したがって E=ℏ2k2/(2m) を運動エネルギーとして、Tc′ を決める方程式は「μ=−cSB のとき励起状態の粒子数の総和が N に等しい」という条件
N=4π2V(ℏ22m)3/2mz=−S∑S∫0∞dEexp[kBTc′E+c(S−mz)B]−1E
です。x=E/(kBTc′)、j=S−mz と書き直すと、無次元化した形
N=V(2πℏ2mkBTc′)3/2j=0∑2SG(kBTc′jcB),G(δ)≡π2∫0∞dxex+δ−1x
になります。B=0 では G(0)=ζ(3/2) なので設問8の結果に一致します。以下ではこの Tc′ を B の関数と見て、B=0 での値を Tc′(0)=Tc/(2S+1)2/3 と書きます。
G(δ) は δ の単調減少関数です。したがって T を固定して B を上げると上式の右辺は減り、N を一定に保つには Tc′ が上がらねばなりません。つまり Tc′ は B の単調増加関数です。
cB≫kBTc′ の極限を見ます。j≥1 の項では δ=jcB/(kBTc′)≫1 なので ex+δ≫1 とでき、与えられた公式 π2∫0∞xe−xdx=1 を使って
G(δ)≃π2∫0∞xe−x−δdx=e−δ
と評価できます。よって
N=V(2πℏ2mkBTc′)3/2[ζ(23)+j=1∑2Se−jcB/(kBTc′)]
となり、指数関数的に小さい項を落とせば
N=Vζ(23)(2πℏ2mkBTc′)3/2⟹Tc′→Tc=(2S+1)2/3Tc′(0)
です。すなわち強磁場では Tc′ は飽和し、その値はスピンをもたない気体(設問5)の転移温度 Tc に一致します。物理的には、ゼーマン分裂が熱エネルギーより大きくなると mz=S 以外のスピン成分が熱的に占有されなくなり、気体は実質的に1成分(スピンレス)の気体として振る舞うためです。補正項は正なので、Tc′ は Tc に下から漸近し、その差は e−cB/(kBTc) 程度です。
図示すべき概略は次の通りです。横軸を B (≥0)、縦軸を Tc′ とすると、曲線は B=0 の切片 Tc′(0)=Tc/(2S+1)2/3 から出発し、単調増加で上に凸(増加率が減っていく形)、cB∼kBTc′(0) を境に立ち上がりから飽和へ移り、水平漸近線 Tc′=Tc=(2S+1)2/3Tc′(0) に下から近づきます。飽和値と切片の比は (2S+1)2/3 で、S=0 なら曲線は水平直線になります。なお B→+0 での立ち上がりは G(δ)=ζ(3/2)−2πδ+O(δ) という非解析的な振る舞いのため Tc′−Tc′(0)∝B となり、原点での接線は垂直です。
z<0 と z>0 に誘電率の異なる媒質が詰まっていて、境界は z=0 の平面です。電磁波の速さは z<0 で v、z>0 で 2v、透磁率 μ は両側で等しいとします。Maxwell 方程式は
∇×E=−∂t∂B,∇×(μB)=∂t∂(εE),∇⋅(εE)=0,∇⋅B=0
で、境界面で E と B の接線成分が連続であることを使ってよいとされています(μ が共通なので H の接線成分の連続と B の接線成分の連続は同じことです)。
以下の3つの場面で共通に使う関係を先に用意します。振幅 E の直線偏光平面波 E=(0,Ecos(k⋅r−ωt),0) に対して、∇×E の各成分は
(∇×E)x=−∂zEy=Ekzsin(k⋅r−ωt),(∇×E)z=∂xEy=−Ekxsin(k⋅r−ωt)
(y 成分は 0)なので、B=bcos(k⋅r−ωt) と置いて第1式に代入すると
B=ωk×E=ωE(−kz,0,kx)cos(k⋅r−ωt)
を得ます。接線成分は Bx=−Ekz/ω 倍の波なので、境界条件は「Ey の連続」と「Ekz の連続」の2本に集約されます。
E1=(0,E0cos(kz−ωt),0) は k=(0,0,k) の場合です。上の一般式に kx=0, kz=k を入れ、ω=vk を使うと
B0=ωE0(−k,0,0)=(−vE0,0,0)
が答えです。直接確認すると、∇×E1=(kE0sin(kz−ωt),0,0)、−∂B1/∂t=−ωB0sin(kz−ωt) で、両者が等しいことから B0=−(k/ω)E0x^ が出ます。E×B∝y^×(−x^)=+z^ となって波が +z に進む向きになっており、また ∣B0∣=E0/v は平面波の関係 E=vB を満たします。
媒質中の光速は v=1/εμ です。μ が共通なので
ε1ε2=(v2v1)2=(2vv)2=41
すなわち z>0 の誘電率は z<0 の誘電率の 1/4 倍です。
透過波の波数は k2=ω/(2v)=k/2 で、確かに与えられた E2 の位相 kz/2−ωt と合っています。反射波は k3=(0,0,−k) です。3つの波はいずれも z=0 で位相が −ωt になるので、Ey の連続は
E0+R=T
です。次に B の接線成分。設定で用意した Bx=−Ekz/ω を各波に当てはめると、入射波が −kE0/ω、反射波が +kR/ω(kz=−k)、透過波が −(k/2)T/ω なので
−kE0+kR=−2kT⟺R=E0−2T
です。2式から R を消去して 2E0=23T、したがって
E0T=34
が答えです。このとき R/E0=1/3 です。検算として、屈折率 n=c/v で書いた垂直入射の Fresnel 係数 t=2n1/(n1+n2) に n2=n1/2 を入れると t=4/3、r=(n1−n2)/(n1+n2)=1/3 で一致します。エネルギー保存も ∣r∣2+k1zk2z∣t∣2=91+21⋅916=1 と満たされています。
入射波の波数ベクトルは k1=(q,0,2q)、その大きさは ∣k1∣=5q なので ω=v∣k1∣=5qv です。透過側では ω=2v∣Q∣ なので
∣Q∣=2vω=25q
です。境界面が z=0 の平面で、境界条件がすべての x について同時に成り立つ必要があるため、接線方向(x 方向)の波数は保存します。y 依存性はないので Qy=0、Qx=q です。残りは
Qz=∣Q∣2−q2=45q2−q2=2q
(透過波は +z に進むので正号)。よって
Q=(q,0,2q)
です。sinθ1=q/(5q)=1/5、sinθ2=q/(5q/2)=2/5 で sinθ2/sinθ1=2=v2/v1 となり、Snell の法則と整合します。
電場は y 方向、入射面は xz 面なので、これは電場が入射面に垂直な偏光(s 偏光)です。反射波は k3=(q,0,−2q) として
E3=(0,Rcos(qx−2qz−ωt),0)
と書けます。3つの波は z=0 で共通の位相 qx−ωt をもつので、Ey の連続は E0+R=T です。Bx=−Ekz/ω の連続は
−2qE0+2qR=−2qT⟺R=E0−4T
です。2式から 2E0=45T、よって
E0T=58
が答えです(R/E0=3/5)。この場合 Bz=Ekx/ω の和は q(E0+R)/ω と qT/ω で、Ey の連続式からこれも自動的に連続になり、∇⋅B=0 が要求する法線成分の連続と矛盾しません。エネルギー保存も ∣r∣2+k1zk2z∣t∣2=259+41⋅2564=1 で成立します。垂直入射の設問3の答えより透過振幅が大きくなるのは、s 偏光では cosθ の因子が透過側で相対的に小さくなるためです。
入射波の波数ベクトルは k1=(K,0,K)、∣k1∣=2K、ω=2Kv です。入射角は 45∘、臨界角は sinθc=v1/v2=1/2 から 30∘ なので、たしかに全反射の条件を満たします。
z>0 側では Qx=K が保存され、∣Q∣2=(ω/2v)2=K2/2 なので
Qz2=2K2−K2=−2K2⟹Qz=2iK
(z→+∞ で減衰する解を選びました)。したがって z>0 では eiQzz=e−Kz/2 というエバネッセント波になります。減衰定数は κ=K/2、浸透深さは 1/κ=2/K です。
振幅の絶対値を出すため複素振幅で書きます。z<0 で E~y=[E0eiKz+R~e−iKz]ei(Kx−ωt)、z>0 で E~y=T~e−κzei(Kx−ωt) とします。Ey の連続と、Bx=(i/ω)∂zE~y すなわち ∂zE~y の連続から
E0+R~=T~,iKE0−iKR~=−κT~
が得られます。第2式を iK で割り κ=K/2 を入れると E0−R~=KiκT~=2iT~ です。2式を足して
2E0=T~(1+2i)⟹T~=1+i/22E0=2+i22E0=32E0(2−i2)
となり、∣T~∣=322E0=326E0、argT~=−arctan(1/2) です。よって z>0 での電場は
E2=(0, 326E0e−Kz/2cos(Kx−ωt−ϕ), 0),tanϕ=21
で、求める振幅は
∣E(z)∣=326E0e−Kz/2(z>0)
です。26/3≃1.63 で境界での振幅は入射波より大きくなりますが、Qz が純虚数なので z 方向の時間平均エネルギー流はゼロで、全反射と矛盾しません。実際 R~=T~−E0=E02+i2−i の絶対値は E0 に等しく、反射率は 1 です。位相 ϕ≃35.3∘ のずれが全反射に伴う位相シフトです。
独立な2部構成です。設問1は上半平面で正則な関数に対する主値積分の関係式(分散関係、クラマース・クロニッヒ関係式)を留数計算から導く問題、設問2は単位行列にランク1の項を加えた行列 C=pI−qvvT とその積 B=CA の固有値・行列式・微分方程式の安定性を扱う問題です。
f(z) は実軸を含む複素上半平面で正則、上半平面で ∣z∣→∞ のとき f(z)→0、x0 は実数です。C− は z=x0 を下半平面側に迂回し、C+ は上半平面側に迂回して、z=−∞ から z=+∞ まで実軸に沿って進む経路です。C− 上および C− の上半平面側でも f は正則と仮定されています。
(i) どちらの経路も、半径 ρ の上半平面の大円弧 Γρ で閉じます。Γρ 上では ∣f(z)∣≤maxΓρ∣f∣→0、∣z−x0∣−1∼ρ−1、弧長は πρ なので
∫Γρdzz−x0f(z)≤πρ⋅ρ−∣x0∣maxΓρ∣f∣ρ→∞0
で、大円弧の寄与は消えます。
C− は x0 の下を通るので、C−+Γρ が反時計回りに囲む領域の内部に z=x0 の1位の極があります。仮定より f はその領域で正則なので、留数定理から
I−=2πiResz=x0z−x0f(z)=2πif(x0)
です。一方 C+ は x0 の上を通るので、C++Γρ が囲む領域に特異点はなく
I+=0
です。差 I−−I+=2πif(x0) は、C− から C+ に移る際に x0 を反時計回りに1周する分の留数にちょうど対応しており、整合しています。
(ii) z=x0+aw と置くと dz=adw、z−x0=aw なので a が約せて
∫C12dzz−x0f(z)=∫w1w2dwwf(x0+aw),wn=eiθn
となります。積分路は単位円上の2点 eiθ1,eiθ2 を結ぶ弦です。0<θn<π より ∣θ2−θ1∣<π なので、この弦は原点を通らず、原点からの距離は cos((θ2−θ1)/2)>0 以上です。よって ∫C12∣dw∣/∣w∣ は a に依らず有界で、f の x0 での連続性から
∫w1w2dwwf(x0+aw)−f(x0)a→+00
です。残るのは f(x0)∫w1w2dw/w です。弦は上半平面(Imw>0)にあり、そこで logw=ln∣w∣+iargw は一価正則なので
∫w1w2wdw=[ln∣w∣+iargw]eiθ1eiθ2=(ln1−ln1)+i(θ2−θ1)=i(θ2−θ1)
です。したがって答えは
a→+0lim∫C12dzz−x0f(z)=i(θ2−θ1)f(x0)
です。値は端点の偏角の差だけで決まり、a にも ∣w∣ の詳細にも依りません。
(iii) A=1/π です。
C+ を、実軸上の (−∞,x0−ϵ]、x0 を中心とする半径 ϵ の上半円弧 Aϵ(x0−ϵ から x0+ϵ へ、すなわち偏角 π から 0 へ)、実軸上の [x0+ϵ,∞) の3つに分けます。(ii) の計算は z1,z2 を結ぶ上半平面内の経路であれば弦でも円弧でも同じ結果を与えます(1/w が上半平面で正則なので積分値は端点のみで決まる)。θ1=π, θ2=0 とすれば
ϵ→+0lim∫Aϵdzz−x0f(z)=i(0−π)f(x0)=−iπf(x0)
です。(i) の I+=0 に代入して
0=ϵ→+0lim[∫−∞x0−ϵdxx−x0f(x)+∫x0+ϵ∞dxx−x0f(x)]−iπf(x0)
すなわち主値積分 P を使って
P∫−∞∞dxx−x0f(x)=iπf(x0)
を得ます。I−=2πif(x0) と、下半円弧(偏角 −π から 0 へ、x0 の下を通る)の寄与 i(0−(−π))f(x0)=+iπf(x0) から出発しても同じ式になり、検算になります。
積分変数 x と x−x0 は実なので、上式の実部と虚部は別々に等式になります。f(x)=Ref(x)+iImf(x) として虚部を取り出すと
P∫−∞∞dxx−x0Imf(x)=Im[iπf(x0)]=πRef(x0)
したがって
Ref(x0)=π1ϵ→+0lim[∫−∞x0−ϵdxx−x0Imf(x)+∫x0+ϵ∞dxx−x0Imf(x)]
が示され、A=1/π と決まります。実部を取り出せば対になる関係式 Imf(x0)=−π1P∫dxx−x0Ref(x) が出ます。これらは応答関数の実部と虚部を結ぶクラマース・クロニッヒ関係式そのもので、上半平面での正則性(因果律)だけから従う点が重要です。
n≥2、I は n 次単位行列、v は実単位ベクトル(vTv=1)、p,q は正の実数で
C=pI−qvvT
です。
(i) vTv=1 を使って
Cv=pv−qv(vTv)=(p−q)v
なので、対応する固有値は p−q です。
(ii) vTw=0 なら
Cw=pw−qv(vTw)=pw
なので、対応する固有値は p です。
(iii) v に直交するベクトルの空間は n−1 次元なので、固有値 p の重複度は n−1、固有値 p−q が1個です。C は実対称なので対角化でき、行列式は固有値の積で
detC=(p−q)pn−1
です。q=0 で detC=pn、n=1 の形式的な場合に p−q となることからも符号と冪が確認できます。
(iv) A の固有値に 0 が含まれないので detA=0 です。detB=detCdetA より
detB=0⟺detC=0⟺(p−q)pn−1=0
で、p>0 なので pn−1=0、したがって q=p です。答えは q0=p です。
(v) B は実行列なので、その固有多項式 φ(λ)=det(B−λI) の係数はすべて実数です。β が固有値なら φ(β)=0 で、両辺の複素共役をとると係数が実であることから
0=φ(β)=φ(β∗)
となり、β∗ も固有多項式の根、すなわち B の固有値です。固有ベクトルで言えば、Bu=βu(u=0)の複素共役を取れば Bu∗=β∗u∗ で、u∗=0 なので同じ結論です。
(vi) A の固有値がすべて正なら detA>0 です。q>q0=p より p−q<0、pn−1>0 なので (iii) から detC<0、したがって
detB=detCdetA<0
です。detB は B の固有値 β1,…,βn(重複度込み)の積です。(v) より複素固有値は共役対をなし、その対の寄与 ββ∗=∣β∣2>0 は正です。よって detB の符号は実固有値の符号の積に等しく、それが負であることから、負の実固有値が奇数個(少なくとも1個)存在します。detB=0 なので 0 は固有値ではありません。
その負の実固有値を β<0、対応する実固有ベクトルを u=0 とします(B と β が実なので実ベクトルに取れます)。このとき
g(t)=e−βtu
は dg/dt=−βe−βtu=−Bg を満たすので方程式(1)の解であり
∥g(t)∥=e∣β∣t∥u∥t→∞∞
です。上の議論は v の向きを一切使っていないので、任意の実単位ベクトル v に対して成立します。
(vii) A は実対称なので正規直交固有ベクトル系 u1,…,un と実固有値 α1,…,αn をもちます。負の固有値がちょうど1つなので、番号を付け替えて α1<0、αi>0 (i≥2) とします。そこで
v=u1
と選びます(A の固有ベクトルは規格化してあるので vTv=1 を満たします)。この基底では A=diag(α1,…,αn) であり、(i)(ii) より C=diag(p−q,p,…,p) なので、両者は同時対角化されていて
B=CA=diag((p−q)α1, pα2, …, pαn)
となります。q>q0=p より p−q<0、かつ α1<0 なので β1≡(p−q)α1>0、また βi≡pαi>0 (i≥2) です。つまり B の固有値はすべて正になります。
方程式(1)の一般解はこの固有基底で
g(t)=i=1∑ncie−βitui,ci=uiTg(0)
と書けるので
∥g(t)∥2=i=1∑nci2e−2βit≤e−2βmint∥g(0)∥2t→∞0
(βmin=miniβi>0)となり、初期条件に依らず任意の解が limt→∞∥g(t)∥=0 を満たします。よってそのような v は存在します。
最後の2問を並べると構図がはっきりします。q>p のとき C は v 方向だけを符号反転させる変換で、A の負の固有値の方向にその反転を合わせれば B=CA の固有値の符号をすべて正に揃えられる。逆に A が正定値なら、どの方向に反転を当てても必ず1つ負の固有値が生じてしまう、という対比です。
出典: 東京大学大学院理学系研究科 物理学専攻 令和4年度 修士課程 入学試験問題 専門科目。問題文は要約して引用しています。