コンテンツにスキップ

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

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

生 Markdown

試験時間は3時間で、3問すべてに解答する形式です。第1問は2次元調和振動子を生成消滅演算子だけで解ききり、エネルギーと角運動量の同時固有状態を右回り・左回りの2モードで組み立てます。第2問はディラック分散をもつ電子系の状態密度から低温比熱までを一直線に計算する問題、第3問は電気双極子と電気四極子の多極子展開です。3問はいずれも同年度の修士課程 専門科目と共通の出題で、個々の手筋は標準的ですが、第1問設問6で β,γ\beta,\gamma を決める条件式の立て方と、第3問設問8で四極子モーメントと場の勾配の縮約を符号まで正しく処理するところが山になります。

問題分野主題
第1問量子力学2次元調和振動子の角運動量とエネルギーの同時固有状態
第2問統計力学・物性物理ディラック電子系の状態密度と低温比熱
第3問電磁気学電気双極子・電気四極子のつくる場と相互作用エネルギー

第1問 2次元調和振動子の角運動量

Section titled “第1問 2次元調和振動子の角運動量”

質量 mm、角振動数 ω\omega の等方な2次元調和振動子

H^=∑k=12(12mP^k2+12mω2X^k2)\hat{H}=\sum_{k=1}^{2}\left(\frac{1}{2m}\hat{P}_{k}^{2}+\frac{1}{2}m\omega^{2}\hat{X}_{k}^{2}\right)

を量子力学的に扱います。正準交換関係は [X^k,X^ℓ]=[P^k,P^ℓ]=0[\hat X_k,\hat X_\ell]=[\hat P_k,\hat P_\ell]=0、[X^k,P^ℓ]=iℏδkℓ[\hat X_k,\hat P_\ell]=i\hbar\delta_{k\ell} です。生成演算子と消滅演算子は

a^k=12ℏmω(mωX^k+iP^k),a^k†=12ℏmω(mωX^k−iP^k)\hat{a}_{k}=\frac{1}{\sqrt{2\hbar m\omega}}\left(m\omega\hat{X}_{k}+i\hat{P}_{k}\right),\qquad \hat{a}_{k}^{\dagger}=\frac{1}{\sqrt{2\hbar m\omega}}\left(m\omega\hat{X}_{k}-i\hat{P}_{k}\right)

で定義され、面に垂直な向きの角運動量演算子は L^=X^1P^2−X^2P^1\hat{L}=\hat{X}_{1}\hat{P}_{2}-\hat{X}_{2}\hat{P}_{1} です。後半では A^±†=βa^1†±γa^2†\hat A_{\pm}^{\dagger}=\beta\hat a_1^\dagger\pm\gamma\hat a_2^\dagger という線形結合を作り、H^\hat H と L^\hat L の同時固有状態を組み立てます。この問題は令和5年度 修士課程 専門科目 第1問と同一です。

定義式を代入して交換子を展開します。X^\hat X 同士、P^\hat P 同士は可換なので、残るのは X^\hat X と P^\hat P の交換子だけです。

[a^k,a^ℓ†]=12ℏmω[mωX^k+iP^k,  mωX^ℓ−iP^ℓ]=12ℏmω(−imω[X^k,P^ℓ]+imω[P^k,X^ℓ])=12ℏmω(−imω⋅iℏδkℓ+imω⋅(−iℏδkℓ))=2ℏmω2ℏmωδkℓ=δkℓ.\begin{aligned} \left[\hat a_k,\hat a_\ell^\dagger\right] &=\frac{1}{2\hbar m\omega}\left[m\omega\hat X_k+i\hat P_k,\; m\omega\hat X_\ell-i\hat P_\ell\right]\\ &=\frac{1}{2\hbar m\omega}\left(-im\omega\left[\hat X_k,\hat P_\ell\right]+im\omega\left[\hat P_k,\hat X_\ell\right]\right)\\ &=\frac{1}{2\hbar m\omega}\left(-im\omega\cdot i\hbar\delta_{k\ell}+im\omega\cdot(-i\hbar\delta_{k\ell})\right) =\frac{2\hbar m\omega}{2\hbar m\omega}\delta_{k\ell}=\delta_{k\ell}. \end{aligned}

答えは [a^k,a^ℓ†]=δkℓ[\hat a_k,\hat a_\ell^\dagger]=\delta_{k\ell} です。同様に [a^k,a^ℓ]=[a^k†,a^ℓ†]=0[\hat a_k,\hat a_\ell]=[\hat a_k^\dagger,\hat a_\ell^\dagger]=0 も確かめられ、k=1,2k=1,2 は独立な2つのボゾンモードとして振る舞います。

各 kk について定義式を掛け合わせると、[X^k,P^k]=iℏ[\hat X_k,\hat P_k]=i\hbar を使って

a^k†a^k=12ℏmω(m2ω2X^k2+P^k2+imω[X^k,P^k])=1ℏω(P^k22m+mω2X^k22)−12\hat a_k^\dagger\hat a_k=\frac{1}{2\hbar m\omega}\left(m^2\omega^2\hat X_k^2+\hat P_k^2+im\omega\left[\hat X_k,\hat P_k\right]\right) =\frac{1}{\hbar\omega}\left(\frac{\hat P_k^2}{2m}+\frac{m\omega^2\hat X_k^2}{2}\right)-\frac12

となります。したがって

H^=ℏω∑k=12(a^k†a^k+12)=ℏω(a^1†a^1+a^2†a^2+1).\hat H=\hbar\omega\sum_{k=1}^{2}\left(\hat a_k^\dagger\hat a_k+\frac12\right) =\hbar\omega\left(\hat a_1^\dagger\hat a_1+\hat a_2^\dagger\hat a_2+1\right).

交換子は設問1の結果から直ちに出ます。[a^ℓ†a^ℓ,a^k]=a^ℓ†[a^ℓ,a^k]+[a^ℓ†,a^k]a^ℓ=−δkℓa^k[\hat a_\ell^\dagger\hat a_\ell,\hat a_k]=\hat a_\ell^\dagger[\hat a_\ell,\hat a_k]+[\hat a_\ell^\dagger,\hat a_k]\hat a_\ell=-\delta_{k\ell}\hat a_k なので

[H^,a^k]=−ℏω a^k,[H^,a^k†]=+ℏω a^k†(k=1,2).\left[\hat H,\hat a_k\right]=-\hbar\omega\,\hat a_k,\qquad \left[\hat H,\hat a_k^\dagger\right]=+\hbar\omega\,\hat a_k^\dagger \qquad(k=1,2).

a^k†\hat a_k^\dagger はエネルギーを ℏω\hbar\omega 上げ、a^k\hat a_k は ℏω\hbar\omega 下げる演算子です。

a^k∣0⟩=0\hat a_k|0\rangle=0 から a^k†a^k∣0⟩=0\hat a_k^\dagger\hat a_k|0\rangle=0 となるので、設問2の表式に代入して

H^∣0⟩=ℏω(0+0+1)∣0⟩=ℏω∣0⟩.\hat H|0\rangle=\hbar\omega\left(0+0+1\right)|0\rangle=\hbar\omega|0\rangle .

答えは E0=ℏωE_0=\hbar\omega です。1次元の零点エネルギー ℏω/2\hbar\omega/2 が2自由度分足し合わされた値になっています。

設問2の交換子から、a^k†\hat a_k^\dagger を1個作用させるとエネルギーが ℏω\hbar\omega 上がります。よって a^1†,a^2†\hat a_1^\dagger,\hat a_2^\dagger を合計 nn 個作用させた状態

(a^1†)n1(a^2†)n2∣0⟩,n1+n2=n,n1,n2≥0\left(\hat a_1^\dagger\right)^{n_1}\left(\hat a_2^\dagger\right)^{n_2}|0\rangle,\qquad n_1+n_2=n,\quad n_1,n_2\ge 0

が H^\hat H の固有状態で、固有値は E0+nℏωE_0+n\hbar\omega です。n=0,1,2,…n=0,1,2,\dots に対してエネルギーは単調に増えるので、低い方から数えた nn 番目の準位がちょうどこの nn に対応し

En=(n+1)ℏω.E_n=(n+1)\hbar\omega .

nn を固定したときの (n1,n2)(n_1,n_2) の組は (0,n),(1,n−1),…,(n,0)(0,n),(1,n-1),\dots,(n,0) の n+1n+1 通りで、これらは互いに直交する独立な状態です。したがって縮退度は n+1n+1 です。

a^k,a^k†\hat a_k,\hat a_k^\dagger の定義を X^k,P^k\hat X_k,\hat P_k について解くと

X^k=ℏ2mω(a^k+a^k†),P^k=−iℏmω2(a^k−a^k†)\hat X_k=\sqrt{\frac{\hbar}{2m\omega}}\left(\hat a_k+\hat a_k^\dagger\right),\qquad \hat P_k=-i\sqrt{\frac{\hbar m\omega}{2}}\left(\hat a_k-\hat a_k^\dagger\right)

です。係数の積は ℏ2mω⋅ℏmω2=ℏ2\sqrt{\dfrac{\hbar}{2m\omega}\cdot\dfrac{\hbar m\omega}{2}}=\dfrac{\hbar}{2} なので

L^=−iℏ2[(a^1+a^1†)(a^2−a^2†)−(a^2+a^2†)(a^1−a^1†)].\hat L=-\frac{i\hbar}{2}\left[\left(\hat a_1+\hat a_1^\dagger\right)\left(\hat a_2-\hat a_2^\dagger\right)-\left(\hat a_2+\hat a_2^\dagger\right)\left(\hat a_1-\hat a_1^\dagger\right)\right].

添字1と2の演算子は互いに可換なので、展開すると a^1a^2\hat a_1\hat a_2 の項と a^1†a^2†\hat a_1^\dagger\hat a_2^\dagger の項が打ち消し合い、残る2種類が2倍になります。

L^=−iℏ(a^1†a^2−a^1a^2†).\hat L=-i\hbar\left(\hat a_1^\dagger\hat a_2-\hat a_1\hat a_2^\dagger\right).

(a^1†a^2)†=a^1a^2†(\hat a_1^\dagger\hat a_2)^\dagger=\hat a_1\hat a_2^\dagger より括弧の中は反エルミートで、−iℏ-i\hbar を掛けた L^\hat L はエルミートです。次に H^\hat H との交換子を計算します。[a^1†a^1,a^1†a^2]=a^1†a^2[\hat a_1^\dagger\hat a_1,\hat a_1^\dagger\hat a_2]=\hat a_1^\dagger\hat a_2、[a^2†a^2,a^1†a^2]=−a^1†a^2[\hat a_2^\dagger\hat a_2,\hat a_1^\dagger\hat a_2]=-\hat a_1^\dagger\hat a_2 なので、全粒子数 N^=a^1†a^1+a^2†a^2\hat N=\hat a_1^\dagger\hat a_1+\hat a_2^\dagger\hat a_2 との交換子は打ち消し合って 0 です。a^1a^2†\hat a_1\hat a_2^\dagger についても同様なので

[H^,L^]=0.\left[\hat H,\hat L\right]=0 .

L^\hat L は自由度1と2の間で量子を1個移すだけで総数を変えないため、エネルギーと同時対角化できます。

まず L^\hat L と生成演算子の交換子を用意します。設問5の表式と [a^k,a^ℓ†]=δkℓ[\hat a_k,\hat a_\ell^\dagger]=\delta_{k\ell} から

[L^,a^1†]=−iℏ(0−a^2†)=iℏ a^2†,[L^,a^2†]=−iℏ(a^1†−0)=−iℏ a^1†\left[\hat L,\hat a_1^\dagger\right]=-i\hbar\left(0-\hat a_2^\dagger\right)=i\hbar\,\hat a_2^\dagger,\qquad \left[\hat L,\hat a_2^\dagger\right]=-i\hbar\left(\hat a_1^\dagger-0\right)=-i\hbar\,\hat a_1^\dagger

です。したがって一般の線形結合について

[L^,  βa^1†+γa^2†]=−iℏγ a^1†+iℏβ a^2†.\left[\hat L,\;\beta\hat a_1^\dagger+\gamma\hat a_2^\dagger\right]=-i\hbar\gamma\,\hat a_1^\dagger+i\hbar\beta\,\hat a_2^\dagger .

これが c(βa^1†+γa^2†)c\left(\beta\hat a_1^\dagger+\gamma\hat a_2^\dagger\right) に等しいという条件は、a^1†\hat a_1^\dagger と a^2†\hat a_2^\dagger が線形独立なので

−iℏγ=cβ,iℏβ=cγ-i\hbar\gamma=c\beta,\qquad i\hbar\beta=c\gamma

の2式です。両辺を掛け合わせると ℏ2βγ=c2βγ\hbar^2\beta\gamma=c^2\beta\gamma となり、βγ≠0\beta\gamma\neq0 のもとで c=±ℏc=\pm\hbar を得ます。c=+ℏc=+\hbar のときは γ=iβ\gamma=i\beta、c=−ℏc=-\hbar のときは γ=−iβ\gamma=-i\beta です。

A^+†=βa^1†+γa^2†\hat A_+^\dagger=\beta\hat a_1^\dagger+\gamma\hat a_2^\dagger と A^−†=βa^1†−γa^2†\hat A_-^\dagger=\beta\hat a_1^\dagger-\gamma\hat a_2^\dagger は係数の組が (β,γ)(\beta,\gamma) と (β,−γ)(\beta,-\gamma) で γ\gamma の符号だけが違います。そこで γ=iβ\gamma=i\beta を選ぶと、A^+†\hat A_+^\dagger の側は c+=+ℏc_+=+\hbar、A^−†\hat A_-^\dagger の側は係数が (β,−iβ)(\beta,-i\beta) すなわち γ′=−iβ′\gamma'=-i\beta' の形なので c−=−ℏc_-=-\hbar になります。これは c+>c−c_+>c_- の指定と合っています(γ=−iβ\gamma=-i\beta を選ぶと大小が逆になるので不可です)。

大きさは規格化 [A^η,A^η′†]=δηη′[\hat A_\eta,\hat A_{\eta'}^\dagger]=\delta_{\eta\eta'} が成り立つように決めるのが自然で、具体例として

β=12,γ=i2,A^±†=12(a^1†±i a^2†)\beta=\frac{1}{\sqrt2},\qquad \gamma=\frac{i}{\sqrt2},\qquad \hat A_{\pm}^\dagger=\frac{1}{\sqrt2}\left(\hat a_1^\dagger\pm i\,\hat a_2^\dagger\right)

が取れます。このとき c+=ℏc_+=\hbar、c−=−ℏc_-=-\hbar です。実際 A^±=12(a^1∓ia^2)\hat A_\pm=\dfrac{1}{\sqrt2}\left(\hat a_1\mp i\hat a_2\right) から [A^+,A^+†]=[A^−,A^−†]=1[\hat A_+,\hat A_+^\dagger]=[\hat A_-,\hat A_-^\dagger]=1、[A^+,A^−†]=12(1−1)=0[\hat A_+,\hat A_-^\dagger]=\frac12(1-1)=0 となり、A^±\hat A_\pm は独立な2つのモードの消滅演算子として振る舞います。c±=±ℏc_\pm=\pm\hbar は角運動量の次元をもち、A^±†\hat A_\pm^\dagger が角運動量を ±ℏ\pm\hbar だけ運ぶことを表しています。

A^±†\hat A_\pm^\dagger は a^k†\hat a_k^\dagger の線形結合なので、設問2の交換子から

[H^,A^±†]=ℏω A^±†\left[\hat H,\hat A_\pm^\dagger\right]=\hbar\omega\,\hat A_\pm^\dagger

です。これと設問6の [L^,A^±†]=c±A^±†[\hat L,\hat A_\pm^\dagger]=c_\pm\hat A_\pm^\dagger を使うと

H^ A^±†∣α⟩=([H^,A^±†]+A^±†H^)∣α⟩=(Eα+ℏω)A^±†∣α⟩,L^ A^±†∣α⟩=([L^,A^±†]+A^±†L^)∣α⟩=(Lα+c±)A^±†∣α⟩\begin{aligned} \hat H\,\hat A_\pm^\dagger|\alpha\rangle&=\left(\left[\hat H,\hat A_\pm^\dagger\right]+\hat A_\pm^\dagger\hat H\right)|\alpha\rangle=\left(E_\alpha+\hbar\omega\right)\hat A_\pm^\dagger|\alpha\rangle,\\ \hat L\,\hat A_\pm^\dagger|\alpha\rangle&=\left(\left[\hat L,\hat A_\pm^\dagger\right]+\hat A_\pm^\dagger\hat L\right)|\alpha\rangle=\left(L_\alpha+c_\pm\right)\hat A_\pm^\dagger|\alpha\rangle \end{aligned}

となります。よって A^+†∣α⟩\hat A_+^\dagger|\alpha\rangle のエネルギー固有値と角運動量固有値は Eα+ℏωE_\alpha+\hbar\omega と Lα+ℏL_\alpha+\hbar、A^−†∣α⟩\hat A_-^\dagger|\alpha\rangle については Eα+ℏωE_\alpha+\hbar\omega と Lα−ℏL_\alpha-\hbar です。エネルギーはどちらも同じだけ上がり、角運動量だけが ±ℏ\pm\hbar に分かれます。

基底状態は a^k∣0⟩=0\hat a_k|0\rangle=0 から a^1†a^2∣0⟩=0\hat a_1^\dagger\hat a_2|0\rangle=0 かつ a^1a^2†∣0⟩=a^2†a^1∣0⟩=0\hat a_1\hat a_2^\dagger|0\rangle=\hat a_2^\dagger\hat a_1|0\rangle=0 となり、L^∣0⟩=0\hat L|0\rangle=0 をみたします。つまり ∣0⟩|0\rangle は (E,L)=(ℏω,0)(E,L)=(\hbar\omega,0) の同時固有状態です。∣n,ℓ⟩|n,\ell\rangle は A^+†\hat A_+^\dagger を ℓ\ell 個、A^−†\hat A_-^\dagger を n−ℓn-\ell 個、合計 nn 個作用させた状態なので、設問7を nn 回繰り返して

En=ℏω+nℏω=(n+1)ℏω,Ln,ℓ=ℏℓ−ℏ(n−ℓ)=(2ℓ−n)ℏ.E_n=\hbar\omega+n\hbar\omega=(n+1)\hbar\omega,\qquad L_{n,\ell}=\hbar\ell-\hbar(n-\ell)=(2\ell-n)\hbar .

nn を固定すると ℓ=0,1,…,n\ell=0,1,\dots,n に対して Ln,ℓL_{n,\ell} は −nℏ-n\hbar から nℏn\hbar まで 2ℏ2\hbar 刻みに並び、状態数は n+1n+1 個です。これは設問4で求めた縮退度と一致します。

図示すると次のようになります。横軸を L/ℏL/\hbar、縦軸を E/(ℏω)E/(\hbar\omega) とすると、点は高さ E=(n+1)ℏωE=(n+1)\hbar\omega の水平な段ごとに並びます。n=0n=0 の段(E=ℏωE=\hbar\omega)には L=0L=0 の1点、n=1n=1 の段(E=2ℏωE=2\hbar\omega)には L=±ℏL=\pm\hbar の2点、n=2n=2 の段(E=3ℏωE=3\hbar\omega)には L=0,±2ℏL=0,\pm2\hbar の3点、n=3n=3 の段(E=4ℏωE=4\hbar\omega)には L=±ℏ,±3ℏL=\pm\hbar,\pm3\hbar の4点があります。合計10点で、全体は下向きの頂点をもつ二等辺三角形状の格子をなし、L=0L=0 の軸に関して左右対称です。nn が偶数の段には L=0L=0 の点があり、奇数の段にはありません。

−3−2−101231234L/ℏE/ℏω

第2問 ディラック電子系の状態密度と低温比熱

Section titled “第2問 ディラック電子系の状態密度と低温比熱”

一辺 LL、体積 V=L3V=L^3 の立方体に周期境界条件を課し、温度 TT、化学ポテンシャル μ\mu の粒子浴に接した相互作用のない電子系をグランドカノニカル分布で考えます。スピン自由度は数えず、代わりに2成分の内部自由度をもつ模型

H(k)=ℏv(kxσx+kyσy+kzσz)H(\boldsymbol k)=\hbar v\left(k_x\sigma_x+k_y\sigma_y+k_z\sigma_z\right)

を採用します。σx,σy,σz\sigma_x,\sigma_y,\sigma_z はパウリ行列、vv は群速度(定数)です。2つの固有値を εk,1≤εk,2\varepsilon_{k,1}\le\varepsilon_{k,2} と書き、波数には ∣k∣≤k0\lvert\boldsymbol k\rvert\le k_0 の上限を課します。ε0≡ℏvk0\varepsilon_0\equiv\hbar vk_0 とおきます。後半はディラック点が化学ポテンシャルに一致する μ=0\mu=0 の場合を扱います。この問題は令和5年度 修士課程 専門科目 第2問と同一です。

周期境界条件 ψ(x,y,z+L)=ψ(x,y,z)\psi(x,y,z+L)=\psi(x,y,z) から eikzL=1e^{ik_zL}=1、すなわち

kz=2πnzL,nz=0,±1,±2,…k_z=\frac{2\pi n_z}{L},\qquad n_z=0,\pm1,\pm2,\dots

です。∣kz∣≤k0\lvert k_z\rvert\le k_0 の制限により ∣nz∣≤Lk0/(2π)\lvert n_z\rvert\le Lk_0/(2\pi) の整数に限られます。

kx=ky=0k_x=k_y=0 では H=ℏvkzσz=diag(ℏvkz, −ℏvkz)H=\hbar vk_z\sigma_z=\mathrm{diag}\left(\hbar vk_z,\,-\hbar vk_z\right) が対角なので、固有値は ±ℏvkz\pm\hbar vk_z です。εk,1≤εk,2\varepsilon_{k,1}\le\varepsilon_{k,2} の約束に従って並べ替えると

εk,1=−ℏv∣kz∣,εk,2=+ℏv∣kz∣.\varepsilon_{k,1}=-\hbar v\lvert k_z\rvert,\qquad \varepsilon_{k,2}=+\hbar v\lvert k_z\rvert .

図は次の通りです。横軸を kzk_z、縦軸を ε\varepsilon とすると、εk,2\varepsilon_{k,2} は原点を頂点として傾き ±ℏv\pm\hbar v で上に開く V 字、εk,1\varepsilon_{k,1} はそれを上下反転した逆 V 字です。定義域は −k0≤kz≤k0-k_0\le k_z\le k_0 で、εk,2\varepsilon_{k,2} の端点は (±k0, ℏvk0)(\pm k_0,\ \hbar vk_0)、εk,1\varepsilon_{k,1} の端点は (±k0, −ℏvk0)(\pm k_0,\ -\hbar vk_0) です。2本は kz=0k_z=0 でのみ接触して ε=0\varepsilon=0 に二重縮退し(ディラック点)、それ以外では εk,2>0>εk,1\varepsilon_{k,2}>0>\varepsilon_{k,1} です。全体としては原点で交わる2直線(傾き +ℏv+\hbar v と −ℏv-\hbar v)の描く X 字形になります。厳密には kzk_z が 2π/L2\pi/L 刻みなので、この2直線上に等間隔に並ぶ点の集まりです。

−k0k0kzℏvk0−ℏvk0εεk,2εk,1

kx=ky=0k_x=k_y=0 の状態のうち、エネルギーが 00 と ε>0\varepsilon>0 の間にあるのは上のバンド εk,2=ℏv∣kz∣\varepsilon_{k,2}=\hbar v\lvert k_z\rvert だけです。下のバンドは kz≠0k_z\neq0 では負のエネルギーをもち、この範囲に入りません。条件は

ℏv∣kz∣≤ε⟺∣kz∣≤εℏv\hbar v\lvert k_z\rvert\le\varepsilon \quad\Longleftrightarrow\quad \lvert k_z\rvert\le \frac{\varepsilon}{\hbar v}

で、以下 ε≤ε0\varepsilon\le\varepsilon_0 とします。kzk_z の刻み幅は 2π/L2\pi/L なので、許される区間の長さを刻み幅で割って

Ω0(ε)=2ε/(ℏv)2π/L=Lεπℏv.\Omega_0(\varepsilon)=\frac{2\varepsilon/(\hbar v)}{2\pi/L}=\frac{L\varepsilon}{\pi\hbar v}.

系が十分大きいときは端点における ±1\pm1 程度のずれと kz=0k_z=0 の縮退分は無視できます。ℏv\hbar v はエネルギー×長さの次元をもつので Lε/(ℏv)L\varepsilon/(\hbar v) は無次元となり、状態数として正しい次元です。

H(k)=ℏv k⋅σH(\boldsymbol k)=\hbar v\,\boldsymbol k\cdot\boldsymbol\sigma について、パウリ行列の反交換関係 σiσj+σjσi=2δij\sigma_i\sigma_j+\sigma_j\sigma_i=2\delta_{ij} から

(k⋅σ)2=∣k∣2 I\left(\boldsymbol k\cdot\boldsymbol\sigma\right)^2=\lvert\boldsymbol k\rvert^2\,\mathbb{I}

が成り立ちます。また Tr⁡H(k)=0\operatorname{Tr}H(\boldsymbol k)=0 です。前者から固有値の2乗が (ℏv)2∣k∣2(\hbar v)^2\lvert\boldsymbol k\rvert^2 に等しく、後者から2つの固有値の和が 0 なので、両者は絶対値が等しく符号が逆です。k≡∣k∣k\equiv\lvert\boldsymbol k\rvert とおくと

εk,1=−ℏvk,εk,2=+ℏvk.\varepsilon_{k,1}=-\hbar vk,\qquad \varepsilon_{k,2}=+\hbar vk .

kx=ky=0k_x=k_y=0 とすれば設問1の結果に戻ります。

0<ε≤ε00<\varepsilon\le\varepsilon_0 に対して、エネルギーが 00 から ε\varepsilon の間にある状態は上のバンドで k≤ε/(ℏv)k\le\varepsilon/(\hbar v) をみたすものです。波数空間の状態密度は周期境界条件から V/(2π)3V/(2\pi)^3 なので、半径 ε/(ℏv)\varepsilon/(\hbar v) の球の体積を掛けて

Ω(ε)=V(2π)3⋅4π3(εℏv)3=Vε36π2ℏ3v3.\Omega(\varepsilon)=\frac{V}{(2\pi)^3}\cdot\frac{4\pi}{3}\left(\frac{\varepsilon}{\hbar v}\right)^3=\frac{V\varepsilon^3}{6\pi^2\hbar^3v^3}.

微分すると

D(ε)=dΩ(ε)dε=Vε22π2ℏ3v3.D(\varepsilon)=\frac{d\Omega(\varepsilon)}{d\varepsilon}=\frac{V\varepsilon^2}{2\pi^2\hbar^3v^3}.

状態密度がエネルギーの2乗に比例し ε→0\varepsilon\to0 で消えるのが、3次元線形分散の特徴です。Vε3/(ℏv)3V\varepsilon^3/(\hbar v)^3 は無次元なので Ω\Omega は状態数、DD はエネルギーの逆数の次元をもち、次元は合っています。スペクトルが上下対称なので、下のバンドについても ∣ε∣\lvert\varepsilon\rvert を変数にとれば同じ D(∣ε∣)D(\lvert\varepsilon\rvert) が使えます。

μ=0\mu=0 のフェルミ分布に対して、大分配関数の対数は各1粒子状態の寄与の和になります。

log⁡Ξ=∑k∑a=12log⁡(1+e−βεk,a)\log\Xi=\sum_{\boldsymbol k}\sum_{a=1}^{2}\log\left(1+e^{-\beta\varepsilon_{k,a}}\right)

上のバンド(0≤ε≤ε00\le\varepsilon\le\varepsilon_0)の和は状態密度 D(ε)D(\varepsilon) による積分に置き換わります。下のバンドは εk,1=−ℏvk\varepsilon_{k,1}=-\hbar vk なので、正の変数 ε=ℏvk\varepsilon=\hbar vk に書き換えると同じ kk 空間の測度をもち、やはり D(ε)D(\varepsilon) で積分できて log⁡(1+e+βε)\log\left(1+e^{+\beta\varepsilon}\right) が現れます。合わせて

log⁡Ξ=∫0ε0D(ε)[log⁡(1+e−βε)+log⁡(1+eβε)]dε.\log\Xi=\int_0^{\varepsilon_0}D(\varepsilon)\left[\log\left(1+e^{-\beta\varepsilon}\right)+\log\left(1+e^{\beta\varepsilon}\right)\right]d\varepsilon .

したがって

F(ε)=D(ε)[log⁡(1+e−βε)+log⁡(1+eβε)]=D(ε)[βε+2log⁡(1+e−βε)]F(\varepsilon)=D(\varepsilon)\left[\log\left(1+e^{-\beta\varepsilon}\right)+\log\left(1+e^{\beta\varepsilon}\right)\right] =D(\varepsilon)\left[\beta\varepsilon+2\log\left(1+e^{-\beta\varepsilon}\right)\right]

です。2つ目の表式では log⁡(1+eβε)=βε+log⁡(1+e−βε)\log\left(1+e^{\beta\varepsilon}\right)=\beta\varepsilon+\log\left(1+e^{-\beta\varepsilon}\right) を使いました。第1項は絶対零度で満たされた下のバンドからの寄与、第2項が熱励起の寄与にあたります。

A≡V/(2π2ℏ3v3)A\equiv V/(2\pi^2\hbar^3v^3) とおくと D(ε)=Aε2D(\varepsilon)=A\varepsilon^2 で

log⁡Ξ=Aβ∫0ε0ε3 dε+2A∫0ε0ε2log⁡(1+e−βε)dε.\log\Xi=A\beta\int_0^{\varepsilon_0}\varepsilon^3\,d\varepsilon+2A\int_0^{\varepsilon_0}\varepsilon^2\log\left(1+e^{-\beta\varepsilon}\right)d\varepsilon .

第1項は Aβε04/4A\beta\varepsilon_0^4/4 で、ε0\varepsilon_0 の4次の多項式です。第2項の被積分関数は ε≳kBT\varepsilon\gtrsim k_{\mathrm B}T で指数的に小さくなるので、ε0≫kBT\varepsilon_0\gg k_{\mathrm B}T のもとでは積分の上限を ∞\infty に置き換えられます。そのときの差

G(ε0)=−2A∫ε0∞ε2log⁡(1+e−βε)dεG(\varepsilon_0)=-2A\int_{\varepsilon_0}^{\infty}\varepsilon^2\log\left(1+e^{-\beta\varepsilon}\right)d\varepsilon

が ε0→∞\varepsilon_0\to\infty で 0 になる項で、これを無視します。x=βεx=\beta\varepsilon と置いて部分積分すると

∫0∞ε2log⁡(1+e−βε)dε=1β3∫0∞x2log⁡(1+e−x)dx=13β3∫0∞x3ex+1dx=7π4360β3\int_0^{\infty}\varepsilon^2\log\left(1+e^{-\beta\varepsilon}\right)d\varepsilon =\frac{1}{\beta^3}\int_0^{\infty}x^2\log\left(1+e^{-x}\right)dx =\frac{1}{3\beta^3}\int_0^{\infty}\frac{x^3}{e^{x}+1}dx=\frac{7\pi^4}{360\beta^3}

です。部分積分の表面項 [x3log⁡(1+e−x)/3]0∞\left[x^3\log\left(1+e^{-x}\right)/3\right]_0^\infty は両端で消えます。以上より

log⁡Ξ≃Aβε044+7π4A180β3=Vε048π2ℏ3v3 kBT+7π2360V(kBT)3ℏ3v3.\log\Xi\simeq\frac{A\beta\varepsilon_0^4}{4}+\frac{7\pi^4A}{180\beta^3} =\frac{V\varepsilon_0^{4}}{8\pi^2\hbar^3v^3\,k_{\mathrm B}T}+\frac{7\pi^2}{360}\frac{V\left(k_{\mathrm B}T\right)^3}{\hbar^3v^3}.

問題文の「ε0\varepsilon_0 の有限次の多項式」は、第1項(4次)と第2項(ε0\varepsilon_0 を含まない0次)の和に対応します。

μ=0\mu=0 なので E=−∂log⁡Ξ/∂βE=-\partial\log\Xi/\partial\beta です。設問6の結果を β\beta で微分して

E=−∂∂β(Aβε044+7π4A180β3)=−Aε044+7π4A60β4,E=-\frac{\partial}{\partial\beta}\left(\frac{A\beta\varepsilon_0^4}{4}+\frac{7\pi^4A}{180\beta^3}\right) =-\frac{A\varepsilon_0^4}{4}+\frac{7\pi^4A}{60\beta^4},

すなわち

E=−Vε048π2ℏ3v3+7π2120V(kBT)4ℏ3v3.E=-\frac{V\varepsilon_0^{4}}{8\pi^2\hbar^3v^3}+\frac{7\pi^2}{120}\frac{V\left(k_{\mathrm B}T\right)^4}{\hbar^3v^3}.

第1項は温度によらない負の定数で、絶対零度で下のバンドがすべて占有されているときのエネルギー −∫0ε0εD(ε) dε=−Aε04/4-\int_0^{\varepsilon_0}\varepsilon D(\varepsilon)\,d\varepsilon=-A\varepsilon_0^4/4 に一致します。比熱には効きません。TT で微分して

C=∂E∂T=7π230VkB4T3ℏ3v3=7π230VkB(kBTℏv)3.C=\frac{\partial E}{\partial T}=\frac{7\pi^2}{30}\frac{Vk_{\mathrm B}^4T^3}{\hbar^3v^3} =\frac{7\pi^2}{30}Vk_{\mathrm B}\left(\frac{k_{\mathrm B}T}{\hbar v}\right)^3 .

kBT/(ℏv)k_{\mathrm B}T/(\hbar v) は長さの逆数なので、その3乗に VV を掛けると無次元となり、CC は kBk_{\mathrm B} の次元をもちます。また熱励起部分の係数は、2つの偏光をもつ光子気体のエネルギー密度 π2(kBT)4/(15(ℏc)3)\pi^2(k_{\mathrm B}T)^4/\left(15(\hbar c)^3\right) にフェルミ統計の因子 7/87/8 を掛けた 7π2(kBT)4/(120(ℏv)3)7\pi^2(k_{\mathrm B}T)^4/\left(120(\hbar v)^3\right) と一致しており、独立な検算になります。

通常の金属では化学ポテンシャルがバンドの途中にあってフェルミ面が存在し、フェルミ準位の状態密度 D(εF)D(\varepsilon_{\mathrm F}) が有限の値をとります。温度 TT で熱的に励起できるのはフェルミ準位から幅 ∼kBT\sim k_{\mathrm B}T の範囲にある電子だけで、その数は ∼D(εF)kBT\sim D(\varepsilon_{\mathrm F})k_{\mathrm B}T、1個あたりのエネルギー増加は ∼kBT\sim k_{\mathrm B}T です。したがって内部エネルギーの温度依存部分は ∼D(εF)(kBT)2\sim D(\varepsilon_{\mathrm F})\left(k_{\mathrm B}T\right)^2 となり、比熱は C∼kB2D(εF)TC\sim k_{\mathrm B}^2D(\varepsilon_{\mathrm F})T、つまり温度に比例します。

設問7の系では化学ポテンシャルが2つのバンドの接点(ディラック点)にあり、状態密度が D(ε)∝ε2D(\varepsilon)\propto\varepsilon^2 でフェルミ準位においてちょうど 0 になります。そのため励起に使える状態数そのものが温度とともに増えていき、熱励起される電子・正孔の数は ∼D(kBT) kBT∝T3\sim D(k_{\mathrm B}T)\,k_{\mathrm B}T\propto T^3、エネルギーは ∝T4\propto T^4 になります。比熱はその微分で C∝T3C\propto T^3 となり、線形項が現れません。低温での比熱が通常の金属と定性的に異なるのは、フェルミ準位の状態密度が消えていることが原因です。

電気定数を ε0\varepsilon_0、観測点を r=(x,y,z)\boldsymbol r=(x,y,z)、r=∣r∣r=\lvert\boldsymbol r\rvert とします。図はすべて xyxy 平面(z=0z=0)内の配置です。

図1(a) では正電荷 ee を (0,d/2,0)(0,d/2,0)、負電荷 −e-e を (0,−d/2,0)(0,-d/2,0) に置きます。これを負電荷から正電荷に向く矢印(図1(b))で表し、図1(c) では +y+y 方向を向いた電気双極子を原点に、xx 軸の正方向から測った角度 θ\theta の向きの電気双極子を (0,a,0)(0,a,0) に置きます。設問2から5では d≪r,ad\ll r,a とし、最も支配的な項だけを残します。

図2(a) では原点に 2e2e、(0,±d/2,0)(0,\pm d/2,0) に −e-e を置いて電気四極子をつくります。設問6から8では与えられた多極子展開

φ(r)≃14πε0(qr+∑i=13xipir3+∑i=13∑j=13xixjQijr5)\varphi(\boldsymbol r)\simeq\frac{1}{4\pi\varepsilon_0}\left(\frac{q}{r}+\sum_{i=1}^{3}\frac{x_ip_i}{r^3}+\sum_{i=1}^{3}\sum_{j=1}^{3}\frac{x_ix_jQ_{ij}}{r^5}\right)

と、q=∫ρ d3r′q=\int\rho\,d^3r'、pi=∫xi′ρ d3r′p_i=\int x_i'\rho\,d^3r'、Qij=12∫(3xi′xj′−(r′)2δij)ρ d3r′Q_{ij}=\frac12\int\left(3x_i'x_j'-(r')^2\delta_{ij}\right)\rho\,d^3r' を使います。この問題は令和5年度 修士課程 専門科目 第3問と同一です。

∣r−r0∣2=r2−2r⋅r0+r02\lvert\boldsymbol r-\boldsymbol r_0\rvert^2=r^2-2\boldsymbol r\cdot\boldsymbol r_0+r_0^2 なので

∣r−r0∣=r1−2r⋅r0r2+r02r2.\lvert\boldsymbol r-\boldsymbol r_0\rvert=r\sqrt{1-\frac{2\boldsymbol r\cdot\boldsymbol r_0}{r^2}+\frac{r_0^2}{r^2}} .

r0/r≪1r_0/r\ll1 として平方根を展開すると、r0/rr_0/r の1次までは根号内の第3項が2次なので落ちて

∣r−r0∣≃r(1−r⋅r0r2)=r−r⋅r0r.\lvert\boldsymbol r-\boldsymbol r_0\rvert\simeq r\left(1-\frac{\boldsymbol r\cdot\boldsymbol r_0}{r^2}\right)=r-\frac{\boldsymbol r\cdot\boldsymbol r_0}{r} .

これは r\boldsymbol r 方向の単位ベクトル r^=r/r\hat{\boldsymbol r}=\boldsymbol r/r を使えば r−r^⋅r0r-\hat{\boldsymbol r}\cdot\boldsymbol r_0 です。あとで使う形として、逆数も同じ精度で

1∣r−r0∣≃1r(1+r⋅r0r2)\frac{1}{\lvert\boldsymbol r-\boldsymbol r_0\rvert}\simeq\frac{1}{r}\left(1+\frac{\boldsymbol r\cdot\boldsymbol r_0}{r^2}\right)

となります。

r±=(0,±d/2,0)\boldsymbol r_\pm=(0,\pm d/2,0) に ±e\pm e が置かれているので

φ(r)=14πε0(e∣r−r+∣−e∣r−r−∣).\varphi(\boldsymbol r)=\frac{1}{4\pi\varepsilon_0}\left(\frac{e}{\lvert\boldsymbol r-\boldsymbol r_+\rvert}-\frac{e}{\lvert\boldsymbol r-\boldsymbol r_-\rvert}\right).

設問1の逆数の展開で r⋅r±=±yd/2\boldsymbol r\cdot\boldsymbol r_\pm=\pm yd/2 を代入すると

φ(r)≃e4πε0r[(1+yd2r2)−(1−yd2r2)]=ed4πε0yr3.\varphi(\boldsymbol r)\simeq\frac{e}{4\pi\varepsilon_0 r}\left[\left(1+\frac{yd}{2r^2}\right)-\left(1-\frac{yd}{2r^2}\right)\right] =\frac{ed}{4\pi\varepsilon_0}\frac{y}{r^3}.

(d/r)0(d/r)^0 の項は全電荷が 0 なので打ち消し、最低次は d/rd/r の1次です。答えは

φ(r)=ed4πε0yr3\varphi(\boldsymbol r)=\frac{ed}{4\pi\varepsilon_0}\frac{y}{r^3}

で、p=ed e^y\boldsymbol p=ed\,\hat{\boldsymbol e}_y とおけば標準的な双極子ポテンシャル p⋅r/(4πε0r3)\boldsymbol p\cdot\boldsymbol r/(4\pi\varepsilon_0r^3) に一致します。無限遠で 0 になっており、境界条件をみたします。

p≡edp\equiv ed とおき、E=−∇φ\boldsymbol E=-\nabla\varphi を計算します。∂r/∂xi=xi/r\partial r/\partial x_i=x_i/r を使って

∂∂xyr3=−3xyr5,∂∂yyr3=1r3−3y2r5,∂∂zyr3=−3yzr5\frac{\partial}{\partial x}\frac{y}{r^3}=-\frac{3xy}{r^5},\qquad \frac{\partial}{\partial y}\frac{y}{r^3}=\frac{1}{r^3}-\frac{3y^2}{r^5},\qquad \frac{\partial}{\partial z}\frac{y}{r^3}=-\frac{3yz}{r^5}

なので

Ex=p4πε03xyr5,Ey=p4πε0(3y2r5−1r3),Ez=p4πε03yzr5E_x=\frac{p}{4\pi\varepsilon_0}\frac{3xy}{r^5},\qquad E_y=\frac{p}{4\pi\varepsilon_0}\left(\frac{3y^2}{r^5}-\frac{1}{r^3}\right),\qquad E_z=\frac{p}{4\pi\varepsilon_0}\frac{3yz}{r^5}

です(p=edp=ed)。まとめると E=[3(p⋅r^)r^−p]/(4πε0r3)\boldsymbol E=\left[3(\boldsymbol p\cdot\hat{\boldsymbol r})\hat{\boldsymbol r}-\boldsymbol p\right]/(4\pi\varepsilon_0r^3) という双極子場の標準形になっています。yy 軸上(x=z=0x=z=0)では E\boldsymbol E は +y+y 向きで大きさ 2p/(4πε0r3)2p/(4\pi\varepsilon_0r^3)、xx 軸上では −y-y 向きで大きさ p/(4πε0r3)p/(4\pi\varepsilon_0r^3) という、双極子場の見慣れた値を再現します。

原点の双極子は p1=p e^y\boldsymbol p_1=p\,\hat{\boldsymbol e}_y、(0,a,0)(0,a,0) の双極子は図1(c) より xx 軸正方向から角度 θ\theta をなすので

p2=p(cos⁡θ, sin⁡θ, 0),p=ed.\boldsymbol p_2=p\left(\cos\theta,\ \sin\theta,\ 0\right),\qquad p=ed .

p1\boldsymbol p_1 がつくる場を設問3の式で (x,y,z)=(0,a,0)(x,y,z)=(0,a,0)、r=ar=a として評価すると

Ex=0,Ey=p4πε0(3a2a5−1a3)=2p4πε0a3,Ez=0.E_x=0,\qquad E_y=\frac{p}{4\pi\varepsilon_0}\left(\frac{3a^2}{a^5}-\frac{1}{a^3}\right)=\frac{2p}{4\pi\varepsilon_0a^3},\qquad E_z=0 .

したがって

U=−p2⋅E(0,a,0)=−psin⁡θ⋅2p4πε0a3=−e2d2sin⁡θ2πε0a3.U=-\boldsymbol p_2\cdot\boldsymbol E(0,a,0)=-p\sin\theta\cdot\frac{2p}{4\pi\varepsilon_0a^3} =-\frac{e^2d^2\sin\theta}{2\pi\varepsilon_0a^3}.

答えは U=−e2d2sin⁡θ2πε0a3U=-\dfrac{e^2d^2\sin\theta}{2\pi\varepsilon_0a^3} です。実際の点電荷4個のクーロン相互作用エネルギーを d/a≪1d/a\ll1 で展開しても同じ式が得られます。

UU は sin⁡θ\sin\theta に負の係数で比例するので、sin⁡θ=1\sin\theta=1 すなわち

θ=π2\theta=\frac{\pi}{2}

のとき最小になり、最小値は U=−e2d2/(2πε0a3)U=-e^2d^2/(2\pi\varepsilon_0a^3) です。このとき2つの双極子はどちらも +y+y 向き、つまり両者を結ぶ直線に沿って頭と尾をそろえた配置で、双極子どうしがもっとも強く引き合う向きです。

図2(a) の電荷分布は原点の 2e2e と (0,±d/2,0)(0,\pm d/2,0) の −e-e です。全電荷は

q=2e−e−e=0.q=2e-e-e=0 .

双極子モーメントは、x′=z′=0x'=z'=0 なので p1=p3=0p_1=p_3=0 であり、yy 成分も

p2=2e⋅0+(−e)d2+(−e)(−d2)=0p_2=2e\cdot0+(-e)\frac d2+(-e)\left(-\frac d2\right)=0

と消えます。すべての ii について pi=0p_i=0 です。四極子モーメントは、原点の電荷が r′=0r'=0 で寄与しないので (0,±d/2,0)(0,\pm d/2,0) の2個だけを足します。この2点では x1′=x3′=0x_1'=x_3'=0、x2′=±d/2x_2'=\pm d/2、(r′)2=d2/4(r')^2=d^2/4 なので、i≠ji\neq j の成分はすべて 0 で、対角成分は

Q11=12⋅2⋅(−e)(0−d24)=ed24,Q22=12⋅2⋅(−e)(3⋅d24−d24)=−ed22,Q33=Q11=ed24.\begin{aligned} Q_{11}&=\frac12\cdot2\cdot(-e)\left(0-\frac{d^2}{4}\right)=\frac{ed^2}{4},\\ Q_{22}&=\frac12\cdot2\cdot(-e)\left(3\cdot\frac{d^2}{4}-\frac{d^2}{4}\right)=-\frac{ed^2}{2},\\ Q_{33}&=Q_{11}=\frac{ed^2}{4}. \end{aligned}

まとめると

q=0,pi=0,Qij=ed24(1000−20001)ij.q=0,\qquad p_i=0,\qquad Q_{ij}=\frac{ed^2}{4}\begin{pmatrix}1&0&0\\0&-2&0\\0&0&1\end{pmatrix}_{ij}.

トレースが Q11+Q22+Q33=0Q_{11}+Q_{22}+Q_{33}=0 となっており、定義から要求される無跡性をみたしています。

q=pi=0q=p_i=0 なので、多極子展開の第3項だけが残ります。

φ(r)≃14πε0r5(Q11x2+Q22y2+Q33z2)=ed216πε0x2−2y2+z2r5.\varphi(\boldsymbol r)\simeq\frac{1}{4\pi\varepsilon_0r^5}\left(Q_{11}x^2+Q_{22}y^2+Q_{33}z^2\right) =\frac{ed^2}{16\pi\varepsilon_0}\frac{x^2-2y^2+z^2}{r^5}.

x2+z2=r2−y2x^2+z^2=r^2-y^2 を使えば x2−2y2+z2=r2−3y2x^2-2y^2+z^2=r^2-3y^2 なので、K≡ed2/(16πε0)K\equiv ed^2/(16\pi\varepsilon_0) とおいて

φ(r)=K(1r3−3y2r5).\varphi(\boldsymbol r)=K\left(\frac{1}{r^3}-\frac{3y^2}{r^5}\right).

E=−∇φ\boldsymbol E=-\nabla\varphi を成分ごとに計算すると

Ex=K(3xr5−15xy2r7),Ey=K(9yr5−15y3r7),Ez=K(3zr5−15y2zr7)E_x=K\left(\frac{3x}{r^5}-\frac{15xy^2}{r^7}\right),\qquad E_y=K\left(\frac{9y}{r^5}-\frac{15y^3}{r^7}\right),\qquad E_z=K\left(\frac{3z}{r^5}-\frac{15y^2z}{r^7}\right)

となります(K=ed2/(16πε0)K=ed^2/(16\pi\varepsilon_0))。検算として、yy 軸上では φ=−2K/∣y∣3\varphi=-2K/\lvert y\rvert^3、xx 軸上では φ=K/∣x∣3\varphi=K/\lvert x\rvert^3 となり、これは3個の点電荷のクーロンポテンシャルを dd の2次まで展開した値と一致します。また ∇⋅E\nabla\cdot\boldsymbol E を計算すると、1/r51/r^5、y2/r7y^2/r^7、y4/r9y^4/r^9 の各係数がそれぞれ打ち消してゼロになり、電荷のない領域でのラプラス方程式をみたしています。

原点の四極子は yy 軸に沿った向きなので、設問6の

Qij(y)=ed24 diag(1,−2,1)Q^{(y)}_{ij}=\frac{ed^2}{4}\,\mathrm{diag}(1,-2,1)

をもち、その場は設問7で求めたものです。(0,a,0)(0,a,0) に置く四極子は、yy 軸に沿う場合が Q(y)Q^{(y)}、xx 軸に沿う場合は xx と yy の役割を入れ替えて

Qij(x)=ed24 diag(−2,1,1)Q^{(x)}_{ij}=\frac{ed^2}{4}\,\mathrm{diag}(-2,1,1)

です。まず場の勾配を (0,a,0)(0,a,0) で評価します。設問7の EiE_i を微分して x=z=0x=z=0、y=r=ay=r=a を代入すると、非対角成分は消えて

∂Ex∂x=−12Ka5,∂Ey∂y=24Ka5,∂Ez∂z=−12Ka5\frac{\partial E_x}{\partial x}=-\frac{12K}{a^5},\qquad \frac{\partial E_y}{\partial y}=\frac{24K}{a^5},\qquad \frac{\partial E_z}{\partial z}=-\frac{12K}{a^5}

となります。3つの和が 0 で、∇⋅E=0\nabla\cdot\boldsymbol E=0 と整合しています。与えられた公式 U=−13∑i,jQij∂Ej/∂xiU=-\frac13\sum_{i,j}Q_{ij}\partial E_j/\partial x_i は、QQ と勾配がともに対角なので3項の和になります。

図2(c1) では Qij=Qij(y)Q_{ij}=Q^{(y)}_{ij} なので

Uc1=−13⋅ed2K4a5[1⋅(−12)+(−2)⋅24+1⋅(−12)]=−13⋅ed2K4a5(−72)=6ed2Ka5.U_{\mathrm{c1}}=-\frac13\cdot\frac{ed^2K}{4a^5}\left[1\cdot(-12)+(-2)\cdot24+1\cdot(-12)\right] =-\frac13\cdot\frac{ed^2K}{4a^5}\left(-72\right)=\frac{6ed^2K}{a^5}.

K=ed2/(16πε0)K=ed^2/(16\pi\varepsilon_0) を戻して

Uc1=3e2d48πε0a5 (>0).U_{\mathrm{c1}}=\frac{3e^2d^4}{8\pi\varepsilon_0a^5}\ (>0).

図2(c2) では Qij=Qij(x)Q_{ij}=Q^{(x)}_{ij} なので

Uc2=−13⋅ed2K4a5[(−2)⋅(−12)+1⋅24+1⋅(−12)]=−13⋅ed2K4a5⋅36=−3ed2Ka5,U_{\mathrm{c2}}=-\frac13\cdot\frac{ed^2K}{4a^5}\left[(-2)\cdot(-12)+1\cdot24+1\cdot(-12)\right] =-\frac13\cdot\frac{ed^2K}{4a^5}\cdot36=-\frac{3ed^2K}{a^5},

すなわち

Uc2=−3e2d416πε0a5 (<0).U_{\mathrm{c2}}=-\frac{3e^2d^4}{16\pi\varepsilon_0a^5}\ (<0).

Uc1=−2Uc2>0>Uc2U_{\mathrm{c1}}=-2U_{\mathrm{c2}}>0>U_{\mathrm{c2}} なので、静電エネルギーが小さいのは図2(c2) の系、つまり2つの四極子の向きが直交している配置です。検算として、点電荷6個のクーロンエネルギーを直接 d/ad/a で展開すると、(d/a)0(d/a)^0 から (d/a)3(d/a)^3 までの項がすべて打ち消し、(c1) では +e24πε03d42a5+\dfrac{e^2}{4\pi\varepsilon_0}\dfrac{3d^4}{2a^5}、(c2) では −e24πε03d44a5-\dfrac{e^2}{4\pi\varepsilon_0}\dfrac{3d^4}{4a^5} が残って上の2式に一致します。

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

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

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

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