# 超伝導：London 方程式・Cooper 不安定性・BCS 理論・Ginzburg–Landau 理論

> Meissner 効果と London 方程式、フェルミ海の Cooper 不安定性、BCS 状態の変分とギャップ方程式、転移温度 T_c の公式と Δ(0)/k_BT_c = 1.76、Ginzburg–Landau 方程式と磁束量子化を証明する。
> https://rikai.mugen-giken.com/physics/condensed-matter/superconductivity

## 0. この記事の要点

ある種の金属は、十分に冷やすと電気抵抗がぴたりと 0 になり、さらに磁石を近づけても内部に磁場を入れなくなります。電子どうしは反発し合うはずなのに、なぜそんなことが起こるのでしょうか。この記事では、磁場が入れない深さの見積もり、電子が 2 個ずつ組になる理由、その組が作るエネルギーの隙間（ギャップ）の大きさ、そして磁束が飛び飛びの値しかとれないことを、順に式で確かめます。読み終えると、超伝導の主な性質がどの仮定からどの式で出てくるかをたどれるようになります。

- 超伝導体は電気抵抗が 0 であるだけでなく、内部から磁場を**排除**します（Meissner 効果）。London の理論は、超伝導電流が $\boldsymbol{j}_s=-(n_se^2/m)\boldsymbol{A}$ を満たすと仮定するだけで、磁場が表面から**侵入長** $\lambda_L=\sqrt{m/\mu_0n_se^2}$ のところまでしか入れないことを導きます。
- **Cooper 不安定性**：フェルミ海の上の 2 個の電子の間に、どんなに弱くても引力があれば、束縛状態ができます。フェルミ面の[状態密度](/physics/condensed-matter/free-electrons#def-dos)が有限であることが決定的です。したがってフェルミ海は不安定で、電子が対を作る新しい基底状態に移ります。
- **BCS 理論**：対状態の積 $\prod_k(u_k+v_kc_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger)|0\rangle$ を変分状態として、ギャップ方程式 $1=N(0)V_0\int_0^{\hbar\omega_D}d\xi/\sqrt{\xi^2+\Delta^2}$ を導きます。解は $\Delta_0=\hbar\omega_D/\sinh(1/N(0)V_0)\simeq2\hbar\omega_De^{-1/N(0)V_0}$ で、**結合定数について摂動展開できない**形です。
- 有限温度のギャップ方程式から転移温度 $k_BT_c=\frac{2e^\gamma}\pi\hbar\omega_De^{-1/N(0)V_0}$ が出て、比 $2\Delta_0/k_BT_c=2\pi/e^\gamma=3.53$ が物質の詳細によらない普遍定数になります。$T_c\propto\omega_D\propto M^{-1/2}$ から同位体効果も導かれます。
- **Ginzburg–Landau 理論**は、複素秩序パラメータ $\psi$（超伝導の度合いを表す複素数）の自由エネルギーで超伝導を記述する現象論です。Euler–Lagrange 方程式から、侵入長 $\lambda$ と**コヒーレンス長** $\xi$、熱力学的臨界磁場が出て、$\psi$ の位相の一価性から**磁束量子** $\Phi_0=h/2e$ が導かれます。

<Aside type="tip" title="この記事で使う事前知識">

- **状態密度**: エネルギーのある範囲に、電子の状態がいくつあるかを数えたもの。→ [状態密度](/physics/condensed-matter/free-electrons#def-dos)
- **フェルミ面とフェルミ海**: 絶対零度で電子が下から順に詰まったとき、占有された状態の集まりがフェルミ海、その境目がフェルミ面。→ [自由電子気体](/physics/condensed-matter/free-electrons#def-free-electron)
- **フェルミ分布**: 温度 $T$ で、エネルギー $E$ の状態を電子が占有する確率を与える分布。→ [量子統計](/physics/thermodynamics/quantum-statistics)
- **ベクトルポテンシャル**: $\boldsymbol{B}=\nabla\times\boldsymbol{A}$ となるベクトル場 $\boldsymbol{A}$。→ [ベクトルポテンシャル](/physics/electromagnetism/magnetostatics#def-vector-potential)
- **ハミルトニアン**: 系のエネルギーを表す演算子。

</Aside>

## 1. 動機：電気抵抗が消える

1911 年に Kamerlingh Onnes は、水銀の電気抵抗が $4.2\ \mathrm{K}$ で突然ゼロになることを発見しました。その後、鉛・スズ・アルミニウム・ニオブなど多くの金属が $10\ \mathrm{K}$ 以下で超伝導になることが分かりました。電流は抵抗なしで流れ続け、実験室では超伝導リングの電流が 1 年以上減衰しなかったという報告もあります。

1933 年には Meissner と Ochsenfeld が決定的な事実を見つけました。超伝導体は単に理想的な導体（抵抗がゼロの導体）ではありません。理想導体なら、磁場の中で冷やしても内部の磁場は保たれるはずです。ところが実際の超伝導体は、冷やして超伝導になると**内部の磁場を排除**します。この完全反磁性が、超伝導を独立の熱力学的な相にしています。

電子は互いに反発する（Coulomb 力）はずなのに、なぜ電子系が巨視的に秩序を持つのか。1950 年の同位体効果（転移温度が同位体の質量の $-1/2$ 乗に比例）は、格子の振動（フォノン）がかかわることを示唆しました。1957 年に Bardeen, Cooper, Schrieffer が、**フォノンを介した電子間の弱い引力が、電子を対にして凝縮させる**ことを示しました（BCS 理論、1972 年ノーベル賞）。この記事ではこの理論の骨格を、定義と証明で組み立てます。前提は[自由電子気体](/physics/condensed-matter/free-electrons)（フェルミ面・状態密度）と[Bloch の定理とバンド理論](/physics/condensed-matter/band-theory)、[量子統計](/physics/thermodynamics/quantum-statistics)（フェルミ分布）です。

## 2. Meissner 効果と London 方程式

超伝導電子（密度 $n_s$）の電流が、[ベクトルポテンシャル](/physics/electromagnetism/magnetostatics#def-vector-potential) $\boldsymbol{A}$ に**局所的に比例**して生じるとする、という大胆な仮定が London 兄弟（1935）の理論です。

<Definition id="def-london" title="London 方程式">
超伝導電流密度 $\boldsymbol{j}_s$ は、London ゲージ（$\nabla\cdot\boldsymbol{A}=0$ かつ超伝導体の表面で $\boldsymbol{A}\cdot\hat{\boldsymbol{n}}=0$）で

$$
\boldsymbol{j}_s=-\frac{n_se^2}{m}\boldsymbol{A}
$$

を満たす。両辺の回転をとると、磁束密度 $\boldsymbol{B}=\nabla\times\boldsymbol{A}$ について $\nabla\times\boldsymbol{j}_s=-\dfrac{n_se^2}{m}\boldsymbol{B}$ である。
</Definition>

この式は、自由電子に対する次の議論の延長です。電子が電場だけを感じて加速されるなら $m\dot{\boldsymbol{v}}=-e\boldsymbol{E}$、$\boldsymbol{E}=-\partial_t\boldsymbol{A}$ から $\boldsymbol{v}=\frac em\boldsymbol{A}+$ 定数、$\boldsymbol{j}=-n_se\boldsymbol{v}=-\frac{n_se^2}m\boldsymbol{A}$（積分定数は 0 とした）となります。「電場が電流を加速し続ける」だけを残し、衝突（抵抗）を捨てたものです。

<Theorem id="thm-meissner" title="Meissner 効果（London の理論）">
静磁場の下で、London 方程式と Ampère の法則 $\nabla\times\boldsymbol{B}=\mu_0\boldsymbol{j}_s$ から

$$
\nabla^2\boldsymbol{B}=\frac{\boldsymbol{B}}{\lambda_L^2},\qquad\lambda_L=\sqrt{\frac{m}{\mu_0n_se^2}}
$$

が成り立つ。超伝導体が $x>0$ を占める半無限で、表面（$x=0$）に平行な磁場 $B_0\hat{z}$ がかかっているとき、内部の磁場は $B_z(x)=B_0e^{-x/\lambda_L}$ である。
</Theorem>

<Proof of="thm-meissner">
Ampère の法則の回転をとると $\nabla\times(\nabla\times\boldsymbol{B})=\mu_0\nabla\times\boldsymbol{j}_s=-\mu_0\frac{n_se^2}m\boldsymbol{B}=-\boldsymbol{B}/\lambda_L^2$。左辺を回転の回転の公式（<Ref to="physics/electromagnetism/maxwell-equations#lem-curl-curl" />）で $\nabla(\nabla\cdot\boldsymbol{B})-\nabla^2\boldsymbol{B}=-\nabla^2\boldsymbol{B}$（$\nabla\cdot\boldsymbol{B}=0$）と書き直せば $\nabla^2\boldsymbol{B}=\boldsymbol{B}/\lambda_L^2$ を得ます。

半無限の問題では $B_z=B_z(x)$ だけに依存し、$B_z''=B_z/\lambda_L^2$ の解は $Ce^{-x/\lambda_L}+C'e^{x/\lambda_L}$。$x\to\infty$ で有界なのは $C'=0$、$x=0$ で連続（表面に平行な磁場の連続性）から $C=B_0$。
</Proof>

物理的な意味は明快です。表面近くに生じる遮蔽電流（$\nabla\times\boldsymbol{B}=\mu_0\boldsymbol{j}_s$ により $j_y=-\partial_xB_z/\mu_0=\frac{B_0}{\mu_0\lambda_L}e^{-x/\lambda_L}$）が、外部の磁場を内部で打ち消します。磁場は侵入長 $\lambda_L$ の内側にしか入れません。

<Example id="ex-london-al" title="アルミニウムの London 侵入長">
アルミニウムでは 1 原子あたり 3 個の価電子があり、超伝導電子の密度を全伝導電子の密度 $n=1.81\times10^{29}\ \mathrm{m^{-3}}$ と見なします（$T\to0$）。<Ref to="thm-meissner" /> から

$$
\lambda_L=\sqrt{\frac{9.11\times10^{-31}}{(1.257\times10^{-6})(1.81\times10^{29})(1.60\times10^{-19})^2}}=1.2\times10^{-8}\ \mathrm{m}=12\ \mathrm{nm}
$$

で、実測は約 $16\ \mathrm{nm}$。桁と傾向は合います。侵入長が $\sim10$–$100\ \mathrm{nm}$ と原子スケールの数十倍しかないので、巨視的な超伝導体では磁場は事実上完全に排除されます。
</Example>

## 3. Cooper 不安定性

### 3.1. 設定

Cooper（1956）は、電子系の絶対零度の基底状態、フェルミ海 $|\boldsymbol{k}|<k_F$ を考え、この上にもう 2 個だけ電子を加えたらどうなるか、という簡単な問題を解きました。フェルミ海の電子は相互作用しない不活性な背景として扱い、2 個の電子の運動だけを考えます。ただし 2 個は Pauli 原理のため、$|\boldsymbol{k}|<k_F$ の状態に入れません（これが重要です）。

2 個の電子は全運動量が 0（$\boldsymbol{k}$ と $-\boldsymbol{k}$）で、スピン一重項とします。この状態の空間部分は

$$
\Psi(\boldsymbol{r}_1,\boldsymbol{r}_2)=\sum_{|\boldsymbol{k}|>k_F}g(\boldsymbol{k})\,e^{i\boldsymbol{k}\cdot(\boldsymbol{r}_1-\boldsymbol{r}_2)}
$$

です。引力は、フェルミ面を中心とする殻（$0<\xi_k<\hbar\omega_D$、$\xi_k=\varepsilon_k-\varepsilon_F$）の中の状態の間でだけ働くと仮定します（フォノンを介した引力のエネルギー幅は Debye エネルギー $\hbar\omega_D$（格子振動のエネルギーの上限の目安）程度）。

<Definition id="def-cooper-model" title="Cooper の模型">
体積 $\mathcal{V}$ の系で、波数 $\boldsymbol{k},\boldsymbol{k}'$ の対状態の間の行列要素を

$$
V_{\boldsymbol{k}\boldsymbol{k}'}=\begin{cases}-V_0/\mathcal{V}&(0<\xi_{\boldsymbol{k}},\xi_{\boldsymbol{k}'}<\hbar\omega_D)\\0&\text{それ以外}\end{cases}\qquad(V_0>0)
$$

とする。$N(0)$ をフェルミ面での**スピンあたりの状態密度**（単位体積・単位エネルギーあたり、<Ref to="physics/condensed-matter/free-electrons#thm-dos" /> の $D_3(\varepsilon_F)/(2\mathcal{V})$）とし、無次元結合定数を $g=N(0)V_0$ とおく。
</Definition>

### 3.2. 束縛状態の存在

<Theorem id="thm-cooper" title="Cooper 不安定性">
Cooper の模型で、$V_0>0$ がどれほど小さくても、フェルミ海の上の 2 電子系には、エネルギー $E=2\varepsilon_F-B$ の束縛状態（$B>0$）が存在し、

$$
B=\frac{2\hbar\omega_D}{e^{2/g}-1}\ \simeq\ 2\hbar\omega_De^{-2/g}\qquad(g\ll1)
$$

である。
</Theorem>

次の証明のねらいは、2 電子の波動関数を平面波で展開し、エネルギー $E$ を決める条件を 1 本の方程式にまとめて、その方程式が $V_0$ の大きさによらず解を持つことを示すことです。鍵になるのは、フェルミ面の近くに状態が密に並んでいるため、方程式の右辺が $B\to0$ でいくらでも大きくなれる点です。

<Proof of="thm-cooper">
Schrödinger 方程式 $H\Psi=E\Psi$ を平面波の係数で書くと、運動エネルギーは 2 個の電子で $2\varepsilon_{\boldsymbol{k}}$、相互作用は $\sum_{\boldsymbol{k}'}V_{\boldsymbol{k}\boldsymbol{k}'}g(\boldsymbol{k}')$ なので

$$
(2\varepsilon_{\boldsymbol{k}}-E)\,g(\boldsymbol{k})+\sum_{\boldsymbol{k}'}V_{\boldsymbol{k}\boldsymbol{k}'}g(\boldsymbol{k}')=0 .
$$

殻の中では $\sum_{\boldsymbol{k}'}V_{\boldsymbol{k}\boldsymbol{k}'}g(\boldsymbol{k}')=-\frac{V_0}{\mathcal{V}}C$、$C=\sum_{\text{殻}}g(\boldsymbol{k}')$ なので $g(\boldsymbol{k})=\dfrac{V_0C/\mathcal{V}}{2\varepsilon_{\boldsymbol{k}}-E}$（殻の外では $g=0$）。両辺を殻で和をとって $C$ で割ると（$C\ne0$）、

$$
1=\frac{V_0}{\mathcal{V}}\sum_{\text{殻}}\frac1{2\varepsilon_{\boldsymbol{k}}-E}.
$$

$\mathcal{V}\to\infty$ で和を積分に置き換えます（$\sum_{\boldsymbol{k}}\to\mathcal{V}N(0)\int d\xi$）。$E=2\varepsilon_F-B$、$\varepsilon_{\boldsymbol{k}}=\varepsilon_F+\xi$ とすると $2\varepsilon_{\boldsymbol{k}}-E=2\xi+B$ で、

$$
1=N(0)V_0\int_0^{\hbar\omega_D}\frac{d\xi}{2\xi+B}=\frac g2\ln\frac{2\hbar\omega_D+B}{B}.
$$

右辺 $F(B)=\frac g2\ln\frac{2\hbar\omega_D+B}B$ は $B\in(0,\infty)$ で狭義単調減少、$B\to0^+$ で $+\infty$、$B\to\infty$ で $0$ なので、$F(B)=1$ を満たす $B>0$ がちょうど 1 つあり、どんな $g>0$ でも存在します。解くと $\frac{2\hbar\omega_D+B}{B}=e^{2/g}$、$B=2\hbar\omega_D/(e^{2/g}-1)$。
</Proof>

この結果の意味は重大です。真空中の 2 粒子の問題では、3 次元で引力が弱いと束縛状態はできません（有限の強さのしきい値がある）。ところがフェルミ海の上では、Pauli 原理で低エネルギーの状態が使えず、**最低エネルギー状態がフェルミ面にそろって並ぶ**ので、状態密度が定数の殻（実質 1 次元的な構造）の問題になり、対数発散 $\int d\xi/\xi$ のおかげで引力が弱くても束縛状態ができます。2 個の電子の束縛エネルギー $B$ は結合定数について $e^{-2/g}$ という**非解析的**な形をしており、摂動展開では決して得られません。

したがって、フェルミ海は引力があれば不安定で、電子は対を作る方向に変化し続けます。電子が全部が対を作った状態の記述が BCS 理論です。

<Figure caption="左：Cooper の問題。灰色の球がフェルミ海、色つきの殻が引力の働くエネルギー範囲（幅 ħω_D）。全運動量 0 の電子対は (k↑, −k↓)。右：BCS 状態の占有確率 v_k²（実線）。破線の階段（絶対零度の自由フェルミ気体）がフェルミ面のまわりで滑らかになる。">
<svg viewBox="0 0 640 300" width="100%" role="img" aria-label="Cooper 問題。左：k 空間のフェルミ海（灰）と、引力が働く殻（色つき、厚さ ħω_D）。大きさが同じで逆向きの波数 k と −k の電子が対を作る。右：BCS 状態での占有確率 v_k² がフェルミ面のまわりで丸まる様子">
  <circle cx="170" cy="150" r="117" fill="var(--sl-color-accent)" fill-opacity="0.22" stroke="var(--sl-color-accent)" stroke-width="2" />
  <circle cx="170" cy="150" r="95" fill="currentColor" fill-opacity="0.18" stroke="currentColor" stroke-width="2" />
  <g stroke="currentColor" stroke-width="1.4" fill="none">
    <path d="M 20 150 H 320" />
    <path d="M 170 20 V 285" />
  </g>
  <g fill="var(--sl-color-accent)">
    <circle cx="251.2" cy="81.9" r="6" />
    <circle cx="88.8" cy="218.1" r="6" />
  </g>
  <path d="M 251.2 81.9 L 88.8 218.1" stroke="var(--sl-color-accent)" stroke-width="1.4" stroke-dasharray="5 4" fill="none" />
  <g fill="currentColor" font-size="13">
    <text x="108" y="188">フェルミ海</text>
    <text x="261.2" y="77.9" fill="var(--sl-color-accent)">k↑</text>
    <text x="54.8" y="236.1" fill="var(--sl-color-accent)">−k↓</text>
    <text x="293" y="144">引力の殻</text>
    <text x="293" y="162">（厚さ ħω_D）</text>
    <text x="30" y="292">全運動量 0 の対 (k↑, −k↓)</text>
  </g>
  <g stroke="currentColor" stroke-width="1.5" fill="none">
    <path d="M 400 230 H 620.0" />
    <path d="M 510.0 234 V 68.0" />
  </g>
  <path d="M 400.0 80.0 H 510.0 V 230.0 H 620.0" stroke="currentColor" stroke-width="1.6" stroke-dasharray="5 4" fill="none" opacity="0.7" />
  <path d="M 400.0 82.5 L 400.9 82.6 L 401.8 82.6 L 402.8 82.7 L 403.7 82.7 L 404.6 82.7 L 405.5 82.8 L 406.4 82.8 L 407.3 82.9 L 408.2 82.9 L 409.2 83.0 L 410.1 83.0 L 411.0 83.1 L 411.9 83.1 L 412.8 83.2 L 413.8 83.3 L 414.7 83.3 L 415.6 83.4 L 416.5 83.4 L 417.4 83.5 L 418.3 83.6 L 419.2 83.6 L 420.2 83.7 L 421.1 83.8 L 422.0 83.8 L 422.9 83.9 L 423.8 84.0 L 424.8 84.1 L 425.7 84.2 L 426.6 84.2 L 427.5 84.3 L 428.4 84.4 L 429.3 84.5 L 430.2 84.6 L 431.2 84.7 L 432.1 84.8 L 433.0 84.9 L 433.9 85.0 L 434.8 85.1 L 435.8 85.2 L 436.7 85.4 L 437.6 85.5 L 438.5 85.6 L 439.4 85.7 L 440.3 85.9 L 441.2 86.0 L 442.2 86.2 L 443.1 86.3 L 444.0 86.5 L 444.9 86.6 L 445.8 86.8 L 446.8 87.0 L 447.7 87.1 L 448.6 87.3 L 449.5 87.5 L 450.4 87.7 L 451.3 87.9 L 452.2 88.1 L 453.2 88.4 L 454.1 88.6 L 455.0 88.8 L 455.9 89.1 L 456.8 89.3 L 457.8 89.6 L 458.7 89.9 L 459.6 90.2 L 460.5 90.5 L 461.4 90.8 L 462.3 91.1 L 463.2 91.5 L 464.2 91.8 L 465.1 92.2 L 466.0 92.6 L 466.9 93.0 L 467.8 93.4 L 468.8 93.9 L 469.7 94.3 L 470.6 94.8 L 471.5 95.3 L 472.4 95.9 L 473.3 96.4 L 474.2 97.0 L 475.2 97.6 L 476.1 98.3 L 477.0 98.9 L 477.9 99.6 L 478.8 100.4 L 479.8 101.2 L 480.7 102.0 L 481.6 102.8 L 482.5 103.7 L 483.4 104.6 L 484.3 105.6 L 485.2 106.6 L 486.2 107.7 L 487.1 108.8 L 488.0 110.0 L 488.9 111.2 L 489.8 112.5 L 490.8 113.9 L 491.7 115.3 L 492.6 116.7 L 493.5 118.2 L 494.4 119.8 L 495.3 121.5 L 496.2 123.2 L 497.2 124.9 L 498.1 126.8 L 499.0 128.7 L 499.9 130.6 L 500.8 132.6 L 501.8 134.7 L 502.7 136.8 L 503.6 139.0 L 504.5 141.2 L 505.4 143.4 L 506.3 145.7 L 507.2 148.0 L 508.2 150.3 L 509.1 152.7 L 510.0 155.0 L 510.9 157.3 L 511.8 159.7 L 512.8 162.0 L 513.7 164.3 L 514.6 166.6 L 515.5 168.8 L 516.4 171.0 L 517.3 173.2 L 518.2 175.3 L 519.2 177.4 L 520.1 179.4 L 521.0 181.3 L 521.9 183.2 L 522.8 185.1 L 523.8 186.8 L 524.7 188.5 L 525.6 190.2 L 526.5 191.8 L 527.4 193.3 L 528.3 194.7 L 529.2 196.1 L 530.2 197.5 L 531.1 198.8 L 532.0 200.0 L 532.9 201.2 L 533.8 202.3 L 534.8 203.4 L 535.7 204.4 L 536.6 205.4 L 537.5 206.3 L 538.4 207.2 L 539.3 208.0 L 540.2 208.8 L 541.2 209.6 L 542.1 210.4 L 543.0 211.1 L 543.9 211.7 L 544.8 212.4 L 545.8 213.0 L 546.7 213.6 L 547.6 214.1 L 548.5 214.7 L 549.4 215.2 L 550.3 215.7 L 551.2 216.1 L 552.2 216.6 L 553.1 217.0 L 554.0 217.4 L 554.9 217.8 L 555.8 218.2 L 556.8 218.5 L 557.7 218.9 L 558.6 219.2 L 559.5 219.5 L 560.4 219.8 L 561.3 220.1 L 562.2 220.4 L 563.2 220.7 L 564.1 220.9 L 565.0 221.2 L 565.9 221.4 L 566.8 221.6 L 567.8 221.9 L 568.7 222.1 L 569.6 222.3 L 570.5 222.5 L 571.4 222.7 L 572.3 222.9 L 573.2 223.0 L 574.2 223.2 L 575.1 223.4 L 576.0 223.5 L 576.9 223.7 L 577.8 223.8 L 578.8 224.0 L 579.7 224.1 L 580.6 224.3 L 581.5 224.4 L 582.4 224.5 L 583.3 224.6 L 584.2 224.8 L 585.2 224.9 L 586.1 225.0 L 587.0 225.1 L 587.9 225.2 L 588.8 225.3 L 589.8 225.4 L 590.7 225.5 L 591.6 225.6 L 592.5 225.7 L 593.4 225.8 L 594.3 225.8 L 595.2 225.9 L 596.2 226.0 L 597.1 226.1 L 598.0 226.2 L 598.9 226.2 L 599.8 226.3 L 600.8 226.4 L 601.7 226.4 L 602.6 226.5 L 603.5 226.6 L 604.4 226.6 L 605.3 226.7 L 606.2 226.7 L 607.2 226.8 L 608.1 226.9 L 609.0 226.9 L 609.9 227.0 L 610.8 227.0 L 611.8 227.1 L 612.7 227.1 L 613.6 227.2 L 614.5 227.2 L 615.4 227.3 L 616.3 227.3 L 617.2 227.3 L 618.2 227.4 L 619.1 227.4 L 620.0 227.5" stroke="var(--sl-color-accent)" stroke-width="2.8" fill="none" />
  <g fill="currentColor" font-size="13">
    <text x="392" y="84.0">1</text>
    <text x="392" y="159.0">½</text>
    <text x="504.0" y="252">0</text>
    <text x="520.0" y="252">ξ_k = ε_k − ε_F</text>
    <text x="370" y="56.0">占有確率 v_k²（破線：階段）</text>
  </g>
</svg>
</Figure>

## 4. BCS 理論

### 4.1. BCS ハミルトニアンと変分状態

すべての電子が対を作る状況を、次の簡約ハミルトニアンで記述します。

<Definition id="def-bcs-hamiltonian" title="簡約 BCS ハミルトニアン">
$$
H=\sum_{\boldsymbol{k},\sigma}\xi_{\boldsymbol{k}}\,c_{\boldsymbol{k}\sigma}^\dagger c_{\boldsymbol{k}\sigma}-\frac{V_0}{\mathcal{V}}\sum_{\boldsymbol{k},\boldsymbol{k}'}{}^{'}c_{\boldsymbol{k}\uparrow}^\dagger c_{-\boldsymbol{k}\downarrow}^\dagger c_{-\boldsymbol{k}'\downarrow}c_{\boldsymbol{k}'\uparrow}
$$

$\xi_{\boldsymbol{k}}=\varepsilon_{\boldsymbol{k}}-\mu$。相互作用の和 $\sum'$ は $|\xi_{\boldsymbol{k}}|,|\xi_{\boldsymbol{k}'}|<\hbar\omega_D$ の範囲に限る。相互作用は全運動量 0 の対 $(\boldsymbol{k}\uparrow,-\boldsymbol{k}\downarrow)$ を別の対に散乱する項だけを残している。
</Definition>

ここでの方針は、対を作った状態のあたりをつけた形（変分状態）を先に用意し、それに含まれる係数をエネルギーが最も低くなるように選ぶことです。電子は $(\boldsymbol{k}\uparrow,-\boldsymbol{k}\downarrow)$ の 2 個が必ず一緒に動くので、その 2 個を 1 組の入れ物と見なし、組ごとに「空である」か「2 個とも入っている」かを確率的に重ね合わせます。

試行状態として、各対軌道 $(\boldsymbol{k}\uparrow,-\boldsymbol{k}\downarrow)$ が「空」か「占有」の重ね合わせであるような積状態を取ります。

$$
|\Psi_{\mathrm{BCS}}\rangle=\prod_{\boldsymbol{k}}\left(u_{\boldsymbol{k}}+v_{\boldsymbol{k}}c_{\boldsymbol{k}\uparrow}^\dagger c_{-\boldsymbol{k}\downarrow}^\dagger\right)|0\rangle,\qquad u_{\boldsymbol{k}}=\cos\theta_{\boldsymbol{k}},\ v_{\boldsymbol{k}}=\sin\theta_{\boldsymbol{k}}\ (\text{実}) .
$$

$v_{\boldsymbol{k}}^2$ が対軌道の占有確率です。粒子数は確定しておらず、期待値のまわりで揺らぎます。これは超伝導の特徴である「位相の確定」と「粒子数の不確定」を反映した状態です。

<Theorem id="thm-bcs-gap" title="BCS 基底状態とギャップ方程式">
$\xi_{\boldsymbol{k}}=\xi_{-\boldsymbol{k}}$ とする。$\langle\Psi_{\mathrm{BCS}}|H|\Psi_{\mathrm{BCS}}\rangle$ を $\theta_{\boldsymbol{k}}$ について停留させる条件は、殻の中の $\boldsymbol{k}$ について

$$
v_{\boldsymbol{k}}^2=\frac12\left(1-\frac{\xi_{\boldsymbol{k}}}{E_{\boldsymbol{k}}}\right),\quad u_{\boldsymbol{k}}^2=\frac12\left(1+\frac{\xi_{\boldsymbol{k}}}{E_{\boldsymbol{k}}}\right),\quad u_{\boldsymbol{k}}v_{\boldsymbol{k}}=\frac{\Delta}{2E_{\boldsymbol{k}}},\qquad E_{\boldsymbol{k}}=\sqrt{\xi_{\boldsymbol{k}}^2+\Delta^2}
$$

（殻の外では $v_{\boldsymbol{k}}^2=\Theta(-\xi_{\boldsymbol{k}})$）であり、**ギャップ** $\Delta=\frac{V_0}{\mathcal{V}}\sum'_{\boldsymbol{k}}u_{\boldsymbol{k}}v_{\boldsymbol{k}}$ は**ギャップ方程式**

$$
1=\frac{V_0}{\mathcal{V}}\sum_{\boldsymbol{k}}{}^{'}\frac1{2E_{\boldsymbol{k}}}\ \ \Longleftrightarrow\ \ 1=N(0)V_0\int_0^{\hbar\omega_D}\frac{d\xi}{\sqrt{\xi^2+\Delta^2}}
$$

を満たす（$\Delta\ne0$ の解について）。この方程式は $\Delta=\Delta_0$ に唯一の解をもち、

$$
\Delta_0=\frac{\hbar\omega_D}{\sinh(1/g)}\ \simeq\ 2\hbar\omega_De^{-1/g}\qquad(g=N(0)V_0\ll1)
$$

である。
</Theorem>

証明の流れは次のとおりです。まず積状態でのハミルトニアンの期待値を $\theta_{\boldsymbol{k}}$ の式で書き、次にそれを $\theta_{\boldsymbol{k}}$ で微分して 0 とおき、最後に出てきた量 $\Delta$ が満たす自己無撞着な方程式（ギャップ方程式）を積分に直して解きます。

<Proof of="thm-bcs-gap">
$\boldsymbol{k}\uparrow$ と $-\boldsymbol{k}\downarrow$ は同じ対軌道に属し、$\langle n_{\boldsymbol{k}\uparrow}\rangle=\langle n_{-\boldsymbol{k}\downarrow}\rangle=v_{\boldsymbol{k}}^2$ です。異なる対軌道 $\boldsymbol{k}\ne\boldsymbol{k}'$ では、積状態の期待値は因子化して $\langle c_{\boldsymbol{k}\uparrow}^\dagger c_{-\boldsymbol{k}\downarrow}^\dagger c_{-\boldsymbol{k}'\downarrow}c_{\boldsymbol{k}'\uparrow}\rangle=u_{\boldsymbol{k}}v_{\boldsymbol{k}}u_{\boldsymbol{k}'}v_{\boldsymbol{k}'}$ です（$\boldsymbol{k}=\boldsymbol{k}'$ の項は全体で $O(1)$ で、$N$ に比例する他の項に比べて無視できる）。したがって

$$
\langle H\rangle=2\sum_{\boldsymbol{k}}\xi_{\boldsymbol{k}}\sin^2\theta_{\boldsymbol{k}}-\frac{V_0}{\mathcal{V}}\Bigl(\sum_{\boldsymbol{k}}{}^{'}\tfrac12\sin2\theta_{\boldsymbol{k}}\Bigr)^2 .
$$

$\theta_{\boldsymbol{k}}$ で微分すると、$\partial_\theta\sin^2\theta=\sin2\theta$、$\partial_\theta(\tfrac12\sin2\theta)=\cos2\theta$ より、殻の中で

$$
2\xi_{\boldsymbol{k}}\sin2\theta_{\boldsymbol{k}}-2\Delta\cos2\theta_{\boldsymbol{k}}=0,\qquad\Delta:=\frac{V_0}{\mathcal{V}}\sum_{\boldsymbol{k}'}{}^{'}\tfrac12\sin2\theta_{\boldsymbol{k}'}=\frac{V_0}{\mathcal{V}}\sum_{\boldsymbol{k}'}{}^{'}u_{\boldsymbol{k}'}v_{\boldsymbol{k}'} .
$$

すなわち $\tan2\theta_{\boldsymbol{k}}=\Delta/\xi_{\boldsymbol{k}}$ です。$\Delta>0$ とすると $\sin2\theta_{\boldsymbol{k}}=\pm\Delta/E_{\boldsymbol{k}}$、$\cos2\theta_{\boldsymbol{k}}=\pm\xi_{\boldsymbol{k}}/E_{\boldsymbol{k}}$（同符号）のうち、エネルギーが小さい（$\Delta$ の定義と整合し、$\xi\to-\infty$ で $v^2\to1$ となる）のは上の符号の枝で、$v^2=(1-\cos2\theta)/2=\frac12(1-\xi/E)$。$u^2=\frac12(1+\xi/E)$、$uv=\frac12\sin2\theta=\Delta/2E$。これを $\Delta$ の定義に入れると $\Delta=\frac{V_0}{\mathcal{V}}\sum'\frac{\Delta}{2E_{\boldsymbol{k}}}$、$\Delta\ne0$ で割ってギャップ方程式の第 1 形を得ます。殻の外では相互作用がないので $\xi$ に関して基底状態の配置（$\xi<0$ を満たす）が最適です。

和を積分にします。殻には $\xi\in(-\hbar\omega_D,\hbar\omega_D)$ の両側が含まれ、状態密度 $N(0)$ は一定として $\frac1{\mathcal{V}}\sum'\to N(0)\int_{-\hbar\omega_D}^{\hbar\omega_D}d\xi$。被積分関数が $\xi$ の偶関数なので $1=N(0)V_0\int_0^{\hbar\omega_D}d\xi/E$。$\int_0^{x}d\xi/\sqrt{\xi^2+\Delta^2}=\operatorname{arcsinh}(x/\Delta)$ より $\operatorname{arcsinh}(\hbar\omega_D/\Delta)=1/g$、$\Delta_0=\hbar\omega_D/\sinh(1/g)$。$g\ll1$ では $\sinh(1/g)\simeq\frac12e^{1/g}$ で近似式です。左辺は $\Delta$ について狭義単調減少（$\Delta\to0^+$ で $+\infty$）なので解は唯一です。
</Proof>

Cooper の束縛エネルギー $B\sim e^{-2/g}$ と比べると、BCS のギャップは $e^{-1/g}$ で、指数が半分です。これは、フェルミ海の全電子が協力して対を作る多体効果で、束縛エネルギーが 1 対の場合より大きく（$e^{-1/g}\gg e^{-2/g}$）なっていることを表します。

### 4.2. 準粒子励起と凝縮エネルギー

基底状態からの励起を調べます。簡単のため、ギャップ $\Delta$ を実数の定数とみなす平均場ハミルトニアン（Bogoliubov の平均場近似）を用います。平均場近似とは、相互作用の項を、他の粒子が作る平均的な場の中を 1 個の粒子が動く形に置き換える近似のことです。

$$
H_{\mathrm{MF}}=\sum_{\boldsymbol{k}}\xi_{\boldsymbol{k}}\left(n_{\boldsymbol{k}\uparrow}+n_{-\boldsymbol{k}\downarrow}\right)-\Delta\sum_{\boldsymbol{k}}\left(c_{\boldsymbol{k}\uparrow}^\dagger c_{-\boldsymbol{k}\downarrow}^\dagger+c_{-\boldsymbol{k}\downarrow}c_{\boldsymbol{k}\uparrow}\right)+\frac{\mathcal{V}\Delta^2}{V_0}
$$

（相互作用項を $\Delta=\frac{V_0}{\mathcal{V}}\sum\langle c_{-\boldsymbol{k}\downarrow}c_{\boldsymbol{k}\uparrow}\rangle$ とおいて平均場で分解したもの）。

<Theorem id="thm-bcs-excitation" title="Bogoliubov 準粒子">
$H_{\mathrm{MF}}$ は、準粒子演算子 $\gamma_{\boldsymbol{k}0}=u_{\boldsymbol{k}}c_{\boldsymbol{k}\uparrow}-v_{\boldsymbol{k}}c_{-\boldsymbol{k}\downarrow}^\dagger$、$\gamma_{\boldsymbol{k}1}=u_{\boldsymbol{k}}c_{-\boldsymbol{k}\downarrow}+v_{\boldsymbol{k}}c_{\boldsymbol{k}\uparrow}^\dagger$（$u,v$ は <Ref to="thm-bcs-gap" /> の係数）で

$$
H_{\mathrm{MF}}=\sum_{\boldsymbol{k}}E_{\boldsymbol{k}}\left(\gamma_{\boldsymbol{k}0}^\dagger\gamma_{\boldsymbol{k}0}+\gamma_{\boldsymbol{k}1}^\dagger\gamma_{\boldsymbol{k}1}\right)+\sum_{\boldsymbol{k}}\left(\xi_{\boldsymbol{k}}-E_{\boldsymbol{k}}\right)+\frac{\mathcal{V}\Delta^2}{V_0}
$$

と対角化される。$\gamma$ はフェルミオンの反交換関係を満たす。準粒子のエネルギーは $E_{\boldsymbol{k}}=\sqrt{\xi_{\boldsymbol{k}}^2+\Delta^2}\ge\Delta$ で、フェルミ面（$\xi=0$）でも $\Delta$ だけのエネルギーが必要である。
</Theorem>

この証明のねらいは、$H_{\mathrm{MF}}$ に含まれる $c^\dagger c^\dagger$ の項（電子を 2 個作る項）を消して、数を数えるだけの形に直すことです。電子の生成と、反対向きスピンの電子の消滅を 1 つのスピノルにまとめると、各 $\boldsymbol{k}$ で $2\times2$ 行列の対角化に帰着します。

<Proof of="thm-bcs-excitation">
スピノル $\Psi_{\boldsymbol{k}}=(c_{\boldsymbol{k}\uparrow},c_{-\boldsymbol{k}\downarrow}^\dagger)^{\mathsf T}$ を導入すると、$n_{-\boldsymbol{k}\downarrow}=1-c_{-\boldsymbol{k}\downarrow}c_{-\boldsymbol{k}\downarrow}^\dagger$ より

$$
\xi\left(n_{\boldsymbol{k}\uparrow}+n_{-\boldsymbol{k}\downarrow}\right)-\Delta\left(c_{\boldsymbol{k}\uparrow}^\dagger c_{-\boldsymbol{k}\downarrow}^\dagger+c_{-\boldsymbol{k}\downarrow}c_{\boldsymbol{k}\uparrow}\right)=\Psi_{\boldsymbol{k}}^\dagger\begin{pmatrix}\xi&-\Delta\\-\Delta&-\xi\end{pmatrix}\Psi_{\boldsymbol{k}}+\xi .
$$

$2\times2$ 行列の固有値は $\pm E$、$E=\sqrt{\xi^2+\Delta^2}$。固有値 $+E$ の固有ベクトルは $(u,-v)$：$\xi u+\Delta v=Eu$ から $v/u=(E-\xi)/\Delta$、$u^2+v^2=1$ と $(E-\xi)(E+\xi)=\Delta^2$ により $u^2=\frac12(1+\xi/E)$、$v^2=\frac12(1-\xi/E)$ で、<Ref to="thm-bcs-gap" /> の係数と一致します。固有値 $-E$ のほうは $(v,u)$。直交行列 $\begin{pmatrix}u&v\\-v&u\end{pmatrix}$ による変換 $\Psi=(\gamma_{0},\gamma_{1}^\dagger)$ 型の展開 $c_{\boldsymbol{k}\uparrow}=u\gamma_0+v\gamma_1^\dagger$、$c_{-\boldsymbol{k}\downarrow}^\dagger=-v\gamma_0+u\gamma_1^\dagger$ は、$u^2+v^2=1$ により反交換関係 $\{\gamma_i,\gamma_j^\dagger\}=\delta_{ij}$ を保ち、$\Psi^\dagger h\Psi=E\gamma_0^\dagger\gamma_0-E\gamma_1\gamma_1^\dagger=E(\gamma_0^\dagger\gamma_0+\gamma_1^\dagger\gamma_1)-E$ となります。これで主張を得ます。
</Proof>

これで、超伝導の最も重要な性質の一つ、**励起スペクトルにギャップがある**ことが示されました。電子を 1 個励起する（準粒子を作る）には最低 $\Delta$、対を壊して 2 個の準粒子を作るには $2\Delta$ が必要です。ギャップがあるので、低温では熱励起が $e^{-\Delta/k_BT}$ と指数関数的に抑制され、比熱も $e^{-\Delta/k_BT}$ に従います（常伝導の $\gamma T$ と対照的）。また電流が準粒子に散乱されても、$\hbar v_s$ が臨界値（$\sim\Delta/\hbar k_F$）より小さければ励起が起こらないので、電流は減衰しません（抵抗ゼロの Landau の臨界速度の議論。流れの速さがある値より小さいと、励起を作るエネルギーを供給できない、という考え方）。

<Figure caption="BCS 超伝導体の準粒子のエネルギー E_k = √(ξ_k² + Δ²)。常伝導の |ξ_k|（破線）はフェルミ面でゼロになるが、超伝導ではフェルミ面でも Δ のエネルギーギャップが残る。">
<svg viewBox="0 0 640 290" width="100%" role="img" aria-label="BCS 超伝導体の準粒子エネルギー E_k = √(ξ² + Δ²)。常伝導の |ξ|（破線）と違い、フェルミ面でも Δ だけエネルギーが残る">
  <g stroke="currentColor" stroke-width="1.5" fill="none">
    <path d="M 90 240 H 550.0" />
    <path d="M 320.0 244 V 50.0" />
  </g>
  <path d="M 90.0 90.0 L 320.0 240.0 L 550.0 90.0" stroke="currentColor" stroke-width="1.6" stroke-dasharray="5 4" fill="none" opacity="0.7" />
  <path d="M 90.0 81.9 L 91.9 83.1 L 93.8 84.3 L 95.8 85.4 L 97.7 86.6 L 99.6 87.8 L 101.5 89.0 L 103.4 90.2 L 105.3 91.3 L 107.2 92.5 L 109.2 93.7 L 111.1 94.9 L 113.0 96.0 L 114.9 97.2 L 116.8 98.4 L 118.8 99.5 L 120.7 100.7 L 122.6 101.9 L 124.5 103.0 L 126.4 104.2 L 128.3 105.4 L 130.2 106.5 L 132.2 107.7 L 134.1 108.8 L 136.0 110.0 L 137.9 111.2 L 139.8 112.3 L 141.8 113.5 L 143.7 114.6 L 145.6 115.7 L 147.5 116.9 L 149.4 118.0 L 151.3 119.2 L 153.2 120.3 L 155.2 121.4 L 157.1 122.6 L 159.0 123.7 L 160.9 124.8 L 162.8 126.0 L 164.8 127.1 L 166.7 128.2 L 168.6 129.3 L 170.5 130.4 L 172.4 131.5 L 174.3 132.6 L 176.2 133.8 L 178.2 134.9 L 180.1 135.9 L 182.0 137.0 L 183.9 138.1 L 185.8 139.2 L 187.8 140.3 L 189.7 141.4 L 191.6 142.5 L 193.5 143.5 L 195.4 144.6 L 197.3 145.7 L 199.2 146.7 L 201.2 147.8 L 203.1 148.8 L 205.0 149.9 L 206.9 150.9 L 208.8 151.9 L 210.8 153.0 L 212.7 154.0 L 214.6 155.0 L 216.5 156.0 L 218.4 157.0 L 220.3 158.0 L 222.2 159.0 L 224.2 160.0 L 226.1 160.9 L 228.0 161.9 L 229.9 162.9 L 231.8 163.8 L 233.8 164.7 L 235.7 165.7 L 237.6 166.6 L 239.5 167.5 L 241.4 168.4 L 243.3 169.3 L 245.2 170.2 L 247.2 171.0 L 249.1 171.9 L 251.0 172.7 L 252.9 173.6 L 254.8 174.4 L 256.8 175.2 L 258.7 176.0 L 260.6 176.7 L 262.5 177.5 L 264.4 178.2 L 266.3 179.0 L 268.2 179.7 L 270.2 180.4 L 272.1 181.0 L 274.0 181.7 L 275.9 182.3 L 277.8 182.9 L 279.8 183.5 L 281.7 184.1 L 283.6 184.6 L 285.5 185.2 L 287.4 185.7 L 289.3 186.1 L 291.2 186.6 L 293.2 187.0 L 295.1 187.4 L 297.0 187.8 L 298.9 188.1 L 300.8 188.5 L 302.8 188.8 L 304.7 189.0 L 306.6 189.2 L 308.5 189.4 L 310.4 189.6 L 312.3 189.8 L 314.2 189.9 L 316.2 189.9 L 318.1 190.0 L 320.0 190.0 L 321.9 190.0 L 323.8 189.9 L 325.8 189.9 L 327.7 189.8 L 329.6 189.6 L 331.5 189.4 L 333.4 189.2 L 335.3 189.0 L 337.2 188.8 L 339.2 188.5 L 341.1 188.1 L 343.0 187.8 L 344.9 187.4 L 346.8 187.0 L 348.8 186.6 L 350.7 186.1 L 352.6 185.7 L 354.5 185.2 L 356.4 184.6 L 358.3 184.1 L 360.2 183.5 L 362.2 182.9 L 364.1 182.3 L 366.0 181.7 L 367.9 181.0 L 369.8 180.4 L 371.8 179.7 L 373.7 179.0 L 375.6 178.2 L 377.5 177.5 L 379.4 176.7 L 381.3 176.0 L 383.2 175.2 L 385.2 174.4 L 387.1 173.6 L 389.0 172.7 L 390.9 171.9 L 392.8 171.0 L 394.8 170.2 L 396.7 169.3 L 398.6 168.4 L 400.5 167.5 L 402.4 166.6 L 404.3 165.7 L 406.2 164.7 L 408.2 163.8 L 410.1 162.9 L 412.0 161.9 L 413.9 160.9 L 415.8 160.0 L 417.8 159.0 L 419.7 158.0 L 421.6 157.0 L 423.5 156.0 L 425.4 155.0 L 427.3 154.0 L 429.2 153.0 L 431.2 151.9 L 433.1 150.9 L 435.0 149.9 L 436.9 148.8 L 438.8 147.8 L 440.8 146.7 L 442.7 145.7 L 444.6 144.6 L 446.5 143.5 L 448.4 142.5 L 450.3 141.4 L 452.2 140.3 L 454.2 139.2 L 456.1 138.1 L 458.0 137.0 L 459.9 135.9 L 461.8 134.9 L 463.8 133.8 L 465.7 132.6 L 467.6 131.5 L 469.5 130.4 L 471.4 129.3 L 473.3 128.2 L 475.2 127.1 L 477.2 126.0 L 479.1 124.8 L 481.0 123.7 L 482.9 122.6 L 484.8 121.4 L 486.8 120.3 L 488.7 119.2 L 490.6 118.0 L 492.5 116.9 L 494.4 115.7 L 496.3 114.6 L 498.2 113.5 L 500.2 112.3 L 502.1 111.2 L 504.0 110.0 L 505.9 108.8 L 507.8 107.7 L 509.8 106.5 L 511.7 105.4 L 513.6 104.2 L 515.5 103.0 L 517.4 101.9 L 519.3 100.7 L 521.2 99.5 L 523.2 98.4 L 525.1 97.2 L 527.0 96.0 L 528.9 94.9 L 530.8 93.7 L 532.8 92.5 L 534.7 91.3 L 536.6 90.2 L 538.5 89.0 L 540.4 87.8 L 542.3 86.6 L 544.2 85.4 L 546.2 84.3 L 548.1 83.1 L 550.0 81.9" stroke="var(--sl-color-accent)" stroke-width="2.8" fill="none" />
  <path d="M 212.7 190.0 H 427.3" stroke="currentColor" stroke-width="1" stroke-dasharray="3 3" fill="none" opacity="0.6" />
  <path d="M 350.0 239.0 V 191.0" stroke="currentColor" stroke-width="1.4" fill="none" />
  <g fill="currentColor" font-size="14">
    <text x="356.0" y="220.0">Δ</text>
    <text x="328.0" y="262">0</text>
    <text x="520.0" y="262">ξ_k</text>
    <text x="38" y="155.0">E_k</text>
    <text x="97.7" y="212.5" fill="var(--sl-color-accent)">実線：E_k = √(ξ_k² + Δ²)</text>
    <text x="97.7" y="230.0" opacity="0.8">破線：常伝導の |ξ_k|</text>
    <text x="350.7" y="75.0">励起には少なくとも Δ、</text>
    <text x="350.7" y="95.0">対を壊すには 2Δ が必要</text>
  </g>
</svg>
</Figure>

<Proposition id="prop-condensation" title="凝縮エネルギー">
BCS 基底状態の（体積あたりの）エネルギーは、常伝導のフェルミ海より

$$
\Delta w=w_s-w_n=-N(0)\,\hbar\omega_D\left(\sqrt{(\hbar\omega_D)^2+\Delta_0^2}-\hbar\omega_D\right)\ \simeq\ -\frac12N(0)\Delta_0^2
$$

だけ低い（$\hbar\omega_D\gg\Delta_0$）。
</Proposition>

<Proof of="prop-condensation">
殻の中のエネルギーを比べれば十分です。$\hbar\omega_D=:\varepsilon_c$ とおく。BCS 状態のエネルギー（体積あたり）は、<Ref to="thm-bcs-gap" /> の証明の $\langle H\rangle$ より、運動項 $2N(0)\int_{-\varepsilon_c}^{\varepsilon_c}\xi v^2d\xi$ と相互作用項 $-\Delta^2/V_0$（$\Delta=(V_0/\mathcal{V})\sum uv$ より $(V_0/\mathcal{V}^2)(\sum uv)^2=\Delta^2/V_0$）の和です。$v^2=\frac12(1-\xi/E)$ を使うと、奇関数の積分が消えて運動項は $-2N(0)\int_0^{\varepsilon_c}\xi^2/E\,d\xi$。$\int_0^{\varepsilon_c}\frac{\xi^2}{\sqrt{\xi^2+\Delta^2}}d\xi=\frac12\left[\varepsilon_c\sqrt{\varepsilon_c^2+\Delta^2}-\Delta^2\operatorname{arcsinh}\frac{\varepsilon_c}\Delta\right]$ （右辺を微分して確かめる）。常伝導状態は運動項 $2N(0)\int_{-\varepsilon_c}^0\xi\,d\xi=-N(0)\varepsilon_c^2$ です。ギャップ方程式から $\operatorname{arcsinh}(\varepsilon_c/\Delta)=1/g$、したがって $\Delta^2/V_0=N(0)\Delta^2\operatorname{arcsinh}(\varepsilon_c/\Delta)$。まとめると

$$
\Delta w=-N(0)\varepsilon_c\sqrt{\varepsilon_c^2+\Delta^2}+N(0)\Delta^2\operatorname{arcsinh}\tfrac{\varepsilon_c}{\Delta}-N(0)\Delta^2\operatorname{arcsinh}\tfrac{\varepsilon_c}\Delta+N(0)\varepsilon_c^2 ,
$$

中間の 2 項が打ち消し合って主張の第 1 式。$\sqrt{\varepsilon_c^2+\Delta^2}-\varepsilon_c=\Delta^2/(\sqrt{\varepsilon_c^2+\Delta^2}+\varepsilon_c)\simeq\Delta^2/2\varepsilon_c$ より第 2 式を得ます。
</Proof>

<Example id="ex-al-condensation" title="アルミニウムの凝縮エネルギーと臨界磁場">
アルミニウムでは $N(0)=D_3(\varepsilon_F)/(2\mathcal{V})=\frac{3n}{4\varepsilon_F}=\frac{3\times1.81\times10^{29}}{4\times1.87\times10^{-18}}=7.3\times10^{46}\ \mathrm{J^{-1}m^{-3}}$、ギャップ $\Delta_0=0.18\ \mathrm{meV}=2.9\times10^{-23}\ \mathrm{J}$ です。<Ref to="prop-condensation" /> より $\frac12N(0)\Delta_0^2=\frac12(7.3\times10^{46})(8.3\times10^{-46})=30\ \mathrm{J/m^3}$。超伝導状態を磁場で壊すには、凝縮エネルギーに等しい磁場のエネルギー $B_c^2/2\mu_0$ が必要なので $B_c=\sqrt{2\mu_0\cdot30}=8.7\ \mathrm{mT}$（熱力学的臨界磁場）。実測値は $10.5\ \mathrm{mT}$ で、自由電子的な見積もりとして納得できる一致です。
</Example>

### 4.3. 有限温度と転移温度

有限温度でも平均場ハミルトニアン $H_{\mathrm{MF}}$ を使い、準粒子 $\gamma$ は温度 $T$ のフェルミ分布 $f(E)=[e^{E/k_BT}+1]^{-1}$ に従います。

<Theorem id="thm-bcs-tc" title="有限温度のギャップ方程式と転移温度">
熱平衡状態で $\Delta=\frac{V_0}{\mathcal{V}}\sum'\langle c_{-\boldsymbol{k}\downarrow}c_{\boldsymbol{k}\uparrow}\rangle$ が自己無撞着に満たす方程式は

$$
1=N(0)V_0\int_0^{\hbar\omega_D}d\xi\,\frac{\tanh\left(E/2k_BT\right)}{E},\qquad E=\sqrt{\xi^2+\Delta(T)^2}
$$

である。$\Delta\to0$ となる温度 $T_c$ は、$k_BT_c\ll\hbar\omega_D$ のとき

$$
k_BT_c=\frac{2e^\gamma}{\pi}\,\hbar\omega_D\,e^{-1/g}\ \simeq\ 1.13\,\hbar\omega_De^{-1/g}
$$

で与えられる（$\gamma=0.5772\ldots$ は Euler 定数）。したがって弱結合の極限で

$$
\frac{2\Delta_0}{k_BT_c}=\frac{2\pi}{e^\gamma}=3.53 .
$$
</Theorem>

この定理の証明に、1 つ補題が必要です。$T_c$ を決める式には $\int\tanh x/x\,dx$ という積分が現れ、上端を大きくしたときの増え方（$\ln X$ に定数が加わる形）が分かれば $T_c$ の公式が出ます。補題はその定数を求めるもので、$\tanh$ を和の形に展開して項別に積分し、和を調和数 $H_n$ の漸近形に結びつける、という順で進みます。

<Lemma id="lem-tanh-integral" title="tanh x / x の積分の漸近形">
$$
\lim_{X\to\infty}\left[\int_0^X\frac{\tanh x}{x}dx-\ln X\right]=\ln\frac{4e^\gamma}{\pi} .
$$
</Lemma>

<Proof of="lem-tanh-integral">
**部分分数展開。** $\cot$ の部分分数展開（<Ref to="mathematics/complex-analysis/entire-functions-gamma#prop-cot" />）を $w=z+\frac12$ に適用し、$\cot(\pi z+\frac\pi2)=-\tan\pi z$ を使うと $\pi\tan\pi z=-\pi\cot\pi w=-\lim_N\sum_{|n|\le N}\frac1{w-n}$。整数 $n$ を $m=-n$ から並べ直し、$m\ge0$ と $-m-1$ の対を組むと $\pi\tan\pi z=\sum_{m\ge0}\left[\frac1{m+\frac12-z}-\frac1{m+\frac12+z}\right]=\sum_{m\ge0}\frac{2z}{(m+\frac12)^2-z^2}$。$z=ix/\pi$ とおくと $\tan(ix)=i\tanh x$ なので、$a_m=(m+\frac12)\pi$ として

$$
\tanh x=\sum_{m\ge0}\frac{2x}{a_m^2+x^2} .
$$

**積分。** 各項は正で、項別積分（単調収束）により $\int_0^X\frac{\tanh x}{x}dx=\sum_{m\ge0}\frac2{a_m}\arctan\frac X{a_m}$。

**分割。** $N=\lceil X/\pi\rceil$ とし、$\arctan\frac X{a}=\frac\pi2-\arctan\frac aX$ を $m<N$ に使うと、右辺は $A-B+C$：

$$
A=\sum_{m<N}\frac\pi{a_m}=\sum_{m<N}\frac1{m+\frac12},\quad B=\sum_{m<N}\frac2{a_m}\arctan\frac{a_m}X,\quad C=\sum_{m\ge N}\frac2{a_m}\arctan\frac X{a_m} .
$$

$A=2\sum_{m<N}\frac1{2m+1}=2H_{2N}-H_N$（$H_n=\sum_{j\le n}1/j$）。$H_n=\ln n+\gamma+o(1)$（Euler 定数の定義）より $A=2\ln(2N)-\ln N+\gamma+o(1)=\ln(4N)+\gamma+o(1)$。

$t_m=a_m/X$ は間隔 $\pi/X$ の等間隔点（区間 $[m\pi/X,(m+1)\pi/X]$ の中点）で、$\varphi(t)=\arctan t/t$、$\psi(t)=\arctan(1/t)/t$ とおくと $B=\frac2\pi\sum_{m<N}\varphi(t_m)\frac\pi X$、$C=\frac2\pi\sum_{m\ge N}\psi(t_m)\frac\pi X$。$\varphi$ は $[0,\infty)$ で連続（$\varphi(0)=1$）、$\psi$ は $[1/2,\infty)$ で連続かつ減少して可積分なので、中点則の Riemann 和は $X\to\infty$ で積分に収束します：$B\to\frac2\pi\int_0^1\varphi\,dt$、$C\to\frac2\pi\int_1^\infty\psi\,dt$（$N\pi/X\to1$ より）。$s=1/t$ の置換で $\int_1^\infty\psi(t)dt=\int_0^1\frac{\arctan s}sds=\int_0^1\varphi$ だから、$B-C\to0$。結局 $\int_0^X\frac{\tanh x}xdx=\ln(4N)+\gamma+o(1)$ で、$N=X/\pi+O(1)$ より $=\ln X+\ln\frac{4}{\pi}+\gamma+o(1)$。
</Proof>

<Proof of="thm-bcs-tc">
§4.2 の $\gamma$ で表した $H_{\mathrm{MF}}$ から、$c_{-\boldsymbol{k}\downarrow}c_{\boldsymbol{k}\uparrow}=\Psi_2^\dagger\Psi_1$（$\Psi=(c_{\boldsymbol{k}\uparrow},c_{-\boldsymbol{k}\downarrow}^\dagger)$）を $\gamma$ で展開すると $-uv\,\gamma_0^\dagger\gamma_0+uv\,\gamma_1\gamma_1^\dagger+$（$\gamma\gamma$ や $\gamma^\dagger\gamma^\dagger$ の項）。熱平衡では後者の期待値は 0、$\langle\gamma^\dagger\gamma\rangle=f(E)$ なので

$$
\langle c_{-\boldsymbol{k}\downarrow}c_{\boldsymbol{k}\uparrow}\rangle=uv\left(1-2f(E)\right)=\frac\Delta{2E}\tanh\frac E{2k_BT}
$$

（$uv=\Delta/2E$、$1-2f(E)=\tanh(E/2k_BT)$）。これを $\Delta$ の定義に代入して $\Delta\neq0$ で割り、和を $\mathcal{V}N(0)\int_{-\hbar\omega_D}^{\hbar\omega_D}d\xi$ に置き換えれば、偶関数なので主張のギャップ方程式を得ます。$T=0$ では $\tanh\to1$ で <Ref to="thm-bcs-gap" /> に一致。

$T_c$ は $\Delta\to0$ の極限で、$E\to|\xi|$ なので $1=g\int_0^{\hbar\omega_D}\frac{\tanh(\xi/2k_BT_c)}\xi d\xi$。$x=\xi/2k_BT_c$ と置換すると $=g\int_0^{X}\frac{\tanh x}xdx$、$X=\hbar\omega_D/2k_BT_c$。$k_BT_c\ll\hbar\omega_D$ なら $X\gg1$ で <Ref to="lem-tanh-integral" /> が使え、$\frac1g=\ln X+\ln\frac{4e^\gamma}\pi=\ln\frac{2e^\gamma\hbar\omega_D}{\pi k_BT_c}$、よって $k_BT_c=\frac{2e^\gamma}\pi\hbar\omega_De^{-1/g}$（$2e^\gamma/\pi=1.134$）。最後に <Ref to="thm-bcs-gap" /> の $\Delta_0\simeq2\hbar\omega_De^{-1/g}$ を $k_BT_c$ で割ると $\frac{\Delta_0}{k_BT_c}=\frac{2\hbar\omega_De^{-1/g}}{(2e^\gamma/\pi)\hbar\omega_De^{-1/g}}=\frac\pi{e^\gamma}=1.764$、したがって $2\Delta_0/k_BT_c=3.53$。
</Proof>

結果の重要な含意を整理します。第 1 に $T_c\propto\hbar\omega_D\propto M^{-1/2}$（Debye 振動数は同位体の質量 $M$ の平方根に反比例、<Ref to="physics/condensed-matter/crystals-phonons#def-debye" />）で、1950 年の**同位体効果**を説明します。第 2 に、$T_c$ は結合定数 $g$ について $e^{-1/g}$ という**非解析的**な形をしており、摂動論で決して得られません。第 3 に、比 $2\Delta_0/k_BT_c=3.53$ は、$\omega_D$ や $g$ に依存しない普遍定数で、実験（Al 3.4、Sn 3.5、Pb 4.3 など）が弱結合の物質でよく合います。強結合の物質（Pb, Hg）では 3.53 からのずれがあり、Eliashberg 理論（フォノンによる引力を、時間の遅れも含めて詳しく扱う理論）が必要です。

<Example id="ex-al-tc" title="アルミニウムの結合定数">
アルミニウムは $\theta_D=428\ \mathrm{K}$（$\hbar\omega_D\approx k_B\theta_D=36.9\ \mathrm{meV}$）、$T_c=1.18\ \mathrm{K}$（$k_BT_c=0.102\ \mathrm{meV}$）。<Ref to="thm-bcs-tc" /> より $e^{-1/g}=\frac{k_BT_c}{1.134\,\hbar\omega_D}=\frac{0.102}{1.134\times36.9}=2.4\times10^{-3}$、$1/g=6.0$、$g=N(0)V_0\approx0.17$。確かに $g\ll1$ の弱結合です。ギャップは $\Delta_0=1.764\,k_BT_c=0.18\ \mathrm{meV}$ で、これは先の例で用いた値です。
</Example>

## 5. Ginzburg–Landau 理論

BCS 理論は微視的ですが、磁場の下や不均一な系の扱いは複雑です。そこで以下では、微視的な中身には立ち入らず、「超伝導の度合い」を表す 1 つの複素数 $\psi$ を場として導入します。このような、秩序のある相で 0 でない値をとり、秩序のない相で 0 になる量を秩序パラメータといいます。Landau の二次相転移の理論（1937）を超伝導に拡張した Ginzburg–Landau 理論（1950）は、**複素秩序パラメータ** $\psi(\boldsymbol{r})$（$|\psi|^2$ は超伝導電子密度に比例）の自由エネルギー汎関数だけで現象を記述します。

<Definition id="def-gl" title="Ginzburg–Landau 自由エネルギー">
$T_c$ 近傍で、ゲージ場 $\boldsymbol{A}$ のもとでの自由エネルギー汎関数を

$$
F[\psi,\boldsymbol{A}]=\int d^3r\left[\alpha|\psi|^2+\frac\beta2|\psi|^4+\frac1{2m^*}\left|\left(-i\hbar\nabla-e^*\boldsymbol{A}\right)\psi\right|^2+\frac{|\nabla\times\boldsymbol{A}|^2}{2\mu_0}\right]
$$

とする（常伝導状態の基準値は除いた）。$\alpha=\alpha_0(T-T_c)$（$\alpha_0>0$）、$\beta>0$、$e^*=2e$、$m^*=2m$（電荷 $2e$ の Cooper 対の質量と電荷）。
</Definition>

$T>T_c$ では $\alpha>0$ で $\psi=0$ が最小、$T<T_c$ では $\alpha<0$ で、$\psi=0$ が不安定な二重井戸の形になり（下の図左）、$|\psi|\ne0$ の超伝導状態が最小になります。

<Theorem id="thm-gl-equations" title="Ginzburg–Landau 方程式">
$F$ を $\psi^*$ と $\boldsymbol{A}$ について停留させる条件は

$$
\alpha\psi+\beta|\psi|^2\psi+\frac1{2m^*}\left(-i\hbar\nabla-e^*\boldsymbol{A}\right)^2\psi=0,
\qquad
\nabla\times\boldsymbol{B}=\mu_0\boldsymbol{j}_s,\quad\boldsymbol{j}_s=\frac{e^*}{2m^*}\left[\psi^*\left(-i\hbar\nabla-e^*\boldsymbol{A}\right)\psi+\text{c.c.}\right]
$$

である。$\psi=|\psi|e^{i\theta}$ と書くと、超伝導電流は $\boldsymbol{j}_s=\dfrac{e^*\hbar}{m^*}|\psi|^2\left(\nabla\theta-\dfrac{e^*}\hbar\boldsymbol{A}\right)$ である。
</Theorem>

<Proof of="thm-gl-equations">
$\psi$ と $\psi^*$ を独立変数として、$\psi^*$ を $\psi^*+\delta\psi^*$ と変分します。第 1・第 2 項の変分は $(\alpha\psi+\beta|\psi|^2\psi)\delta\psi^*$。運動項は $\frac1{2m^*}\left[(-i\hbar\nabla-e^*\boldsymbol{A})\psi\right]^*\cdot\left[(-i\hbar\nabla-e^*\boldsymbol{A})\psi\right]$ で、$\delta\psi^*$ を含む部分 $\frac1{2m^*}(i\hbar\nabla\delta\psi^*-e^*\boldsymbol{A}\delta\psi^*)\cdot(-i\hbar\nabla-e^*\boldsymbol{A})\psi$ を部分積分して（境界項は無視）$\delta\psi^*\cdot\frac1{2m^*}(-i\hbar\nabla-e^*\boldsymbol{A})^2\psi$。$\delta\psi^*$ が任意なので第 1 方程式。

$\boldsymbol{A}\to\boldsymbol{A}+\delta\boldsymbol{A}$ の変分：運動項は $\delta\left|\left(-i\hbar\nabla-e^*\boldsymbol{A}\right)\psi\right|^2=-e^*\delta\boldsymbol{A}\cdot\left[\psi^*(-i\hbar\nabla-e^*\boldsymbol{A})\psi+\text{c.c.}\right]$ より、運動項から $-\boldsymbol{j}_s\cdot\delta\boldsymbol{A}$（$\boldsymbol{j}_s$ は主張の定義）。磁場の項は $\frac1{\mu_0}\boldsymbol{B}\cdot(\nabla\times\delta\boldsymbol{A})$ で、部分積分して $\frac1{\mu_0}(\nabla\times\boldsymbol{B})\cdot\delta\boldsymbol{A}$（回転の部分積分 $\int\boldsymbol{B}\cdot\nabla\times\delta\boldsymbol{A}=\int\nabla\times\boldsymbol{B}\cdot\delta\boldsymbol{A}$）。したがって $-\boldsymbol{j}_s+\frac1{\mu_0}\nabla\times\boldsymbol{B}=0$、これが第 2 方程式。$\psi=|\psi|e^{i\theta}$ では $\psi^*(-i\hbar\nabla-e^*\boldsymbol{A})\psi=|\psi|^2(\hbar\nabla\theta-e^*\boldsymbol{A})-i\hbar|\psi|\nabla|\psi|$。実部の 2 倍をとれば $\boldsymbol{j}_s$ の形（虚部は c.c. で消える）。
</Proof>

### 5.1. 一様解・侵入長・コヒーレンス長

<Proposition id="prop-gl-uniform" title="一様な超伝導状態と二つの長さ">
$T<T_c$（$\alpha<0$）で、磁場がなく一様な解は $|\psi|^2=\psi_\infty^2=-\alpha/\beta$ で、凝縮エネルギー密度は $-\alpha^2/2\beta=-B_c^2/2\mu_0$ （$B_c$ は熱力学的臨界磁場）である。さらに、次の 2 つの長さが現れる。

- **コヒーレンス長** $\xi=\hbar/\sqrt{2m^*|\alpha|}$。$\psi$ が変化できる最小の長さで、磁場のない 1 次元の方程式の解 $\psi(x)=\psi_\infty\tanh\left(x/\sqrt2\xi\right)$ が表面から内部へ $\sim\xi$ で回復する。
- **磁場侵入長** $\lambda=\sqrt{m^*/(\mu_0e^{*2}\psi_\infty^2)}$。$|\psi|=\psi_\infty$ と一定なら $\boldsymbol{j}_s=-\frac{e^{*2}\psi_\infty^2}{m^*}\boldsymbol{A}$ （London ゲージ）で London 方程式に一致し、$\lambda=\lambda_L$（$n_s=2\psi_\infty^2$）。

比 $\kappa=\lambda/\xi$ を **GL パラメータ**という。
</Proposition>

<Proof of="prop-gl-uniform">
磁場なし・一様では $F/\text{体積}=\alpha|\psi|^2+\frac\beta2|\psi|^4$ で、$|\psi|^2=-\alpha/\beta$ で停留し、その値は $-\alpha^2/\beta+\alpha^2/2\beta=-\alpha^2/2\beta$。外部磁場 $B_c$ を超伝導体から排除するエネルギー $B_c^2/2\mu_0$ が凝縮エネルギーに等しくなる磁場が $B_c$ の定義です。

コヒーレンス長：$\psi=\psi_\infty f(x)$（実）、$\boldsymbol{A}=0$ を第 1 方程式に入れると $\alpha\psi_\infty f+\beta\psi_\infty^3f^3-\frac{\hbar^2}{2m^*}\psi_\infty f''=0$。$\beta\psi_\infty^2=-\alpha$ を使うと $\alpha(f-f^3)=\frac{\hbar^2}{2m^*}f''$、すなわち $f''=\frac{2m^*\alpha}{\hbar^2}(f-f^3)=-\frac1{\xi^2}(f-f^3)$（$\alpha<0$）。$f=\tanh u$、$u=x/\sqrt2\xi$ とすると $f'=\operatorname{sech}^2u/(\sqrt2\xi)$、$f''=-\frac{1}{\xi^2}\operatorname{sech}^2u\tanh u=-\frac1{\xi^2}f(1-f^2)=-\frac1{\xi^2}(f-f^3)$ で方程式を満たします。$f(0)=0$（表面で $\psi=0$）、$f(\infty)=1$ という境界条件を満たす解です。

侵入長：$|\psi|=\psi_\infty$ 一定で位相 $\theta$ も一定なら <Ref to="thm-gl-equations" /> の $\boldsymbol{j}_s=-\frac{e^{*2}}{m^*}\psi_\infty^2\boldsymbol{A}$。これを <Ref to="def-london" /> と比べて $\frac{n_se^2}{m}=\frac{e^{*2}\psi_\infty^2}{m^*}=\frac{2e^2\psi_\infty^2}{m}$、$n_s=2\psi_\infty^2$。<Ref to="thm-meissner" /> を使えば $\lambda=\sqrt{m^*/\mu_0e^{*2}\psi_\infty^2}$ が侵入長です。
</Proof>

<Figure caption="Ginzburg–Landau 理論。左：自由エネルギー密度の ψ 依存。T が T_c より上では ψ = 0 が最小（黒）、下では二重井戸で ψ ≠ 0 が最小（色つき）。右：超伝導体の表面から内部へ、磁場 B は侵入長 λ で指数関数的に減衰し（色つき）、秩序パラメータ |ψ| は表面でゼロから出発して、コヒーレンス長 ξ で一様な値に回復する（黒）。">
<svg viewBox="0 0 640 300" width="100%" role="img" aria-label="Ginzburg–Landau 理論。左：自由エネルギーの ψ 依存。T が T_c より高いと ψ = 0 が最小、低いと二重井戸になり ψ ≠ 0 が最小。右：超伝導体の表面から内部への磁場の侵入（長さ λ）と秩序パラメータの回復（長さ ξ）">
  <g stroke="currentColor" stroke-width="1.5" fill="none">
    <path d="M 60 180 H 290.0" />
    <path d="M 175.0 184 V 30" />
  </g>
  <path d="M 98.8 30.7 L 100.2 37.4 L 101.7 43.9 L 103.1 50.0 L 104.6 55.9 L 106.0 61.5 L 107.4 66.8 L 108.9 71.9 L 110.3 76.7 L 111.8 81.3 L 113.2 85.7 L 114.6 89.8 L 116.1 93.8 L 117.5 97.5 L 118.9 101.1 L 120.4 104.4 L 121.8 107.6 L 123.2 110.6 L 124.7 113.5 L 126.1 116.2 L 127.6 118.7 L 129.0 121.1 L 130.4 123.4 L 131.9 125.5 L 133.3 127.5 L 134.8 129.4 L 136.2 131.2 L 137.6 132.8 L 139.1 134.4 L 140.5 135.8 L 141.9 137.2 L 143.4 138.4 L 144.8 139.6 L 146.2 140.7 L 147.7 141.7 L 149.1 142.7 L 150.6 143.6 L 152.0 144.4 L 153.4 145.1 L 154.9 145.8 L 156.3 146.4 L 157.8 147.0 L 159.2 147.5 L 160.6 147.9 L 162.1 148.3 L 163.5 148.7 L 164.9 149.0 L 166.4 149.3 L 167.8 149.5 L 169.2 149.7 L 170.7 149.8 L 172.1 149.9 L 173.6 150.0 L 175.0 150.0 L 176.4 150.0 L 177.9 149.9 L 179.3 149.8 L 180.8 149.7 L 182.2 149.5 L 183.6 149.3 L 185.1 149.0 L 186.5 148.7 L 187.9 148.3 L 189.4 147.9 L 190.8 147.5 L 192.2 147.0 L 193.7 146.4 L 195.1 145.8 L 196.6 145.1 L 198.0 144.4 L 199.4 143.6 L 200.9 142.7 L 202.3 141.7 L 203.8 140.7 L 205.2 139.6 L 206.6 138.4 L 208.1 137.2 L 209.5 135.8 L 210.9 134.4 L 212.4 132.8 L 213.8 131.2 L 215.2 129.4 L 216.7 127.5 L 218.1 125.5 L 219.6 123.4 L 221.0 121.1 L 222.4 118.7 L 223.9 116.2 L 225.3 113.5 L 226.8 110.6 L 228.2 107.6 L 229.6 104.4 L 231.1 101.1 L 232.5 97.5 L 233.9 93.8 L 235.4 89.8 L 236.8 85.7 L 238.2 81.3 L 239.7 76.7 L 241.1 71.9 L 242.6 66.8 L 244.0 61.5 L 245.4 55.9 L 246.9 50.0 L 248.3 43.9 L 249.8 37.4 L 251.2 30.7" stroke="currentColor" stroke-width="2.2" fill="none" />
  <path d="M 62.9 24.2 L 64.3 34.8 L 65.8 44.8 L 67.2 54.4 L 68.6 63.4 L 70.1 72.0 L 71.5 80.2 L 72.9 87.9 L 74.4 95.1 L 75.8 102.0 L 77.2 108.4 L 78.7 114.5 L 80.1 120.2 L 81.6 125.5 L 83.0 130.5 L 84.4 135.1 L 85.9 139.4 L 87.3 143.4 L 88.8 147.1 L 90.2 150.5 L 91.6 153.7 L 93.1 156.5 L 94.5 159.1 L 95.9 161.5 L 97.4 163.6 L 98.8 165.5 L 100.2 167.2 L 101.7 168.7 L 103.1 170.0 L 104.6 171.1 L 106.0 172.0 L 107.4 172.8 L 108.9 173.4 L 110.3 173.9 L 111.8 174.2 L 113.2 174.4 L 114.6 174.5 L 116.1 174.5 L 117.5 174.3 L 118.9 174.1 L 120.4 173.8 L 121.8 173.3 L 123.2 172.9 L 124.7 172.3 L 126.1 171.7 L 127.6 171.0 L 129.0 170.3 L 130.4 169.5 L 131.9 168.7 L 133.3 167.9 L 134.8 167.0 L 136.2 166.2 L 137.6 165.3 L 139.1 164.4 L 140.5 163.5 L 141.9 162.6 L 143.4 161.7 L 144.8 160.8 L 146.2 159.9 L 147.7 159.1 L 149.1 158.2 L 150.6 157.4 L 152.0 156.6 L 153.4 155.9 L 154.9 155.2 L 156.3 154.5 L 157.8 153.9 L 159.2 153.3 L 160.6 152.7 L 162.1 152.2 L 163.5 151.8 L 164.9 151.4 L 166.4 151.0 L 167.8 150.7 L 169.2 150.4 L 170.7 150.3 L 172.1 150.1 L 173.6 150.0 L 175.0 150.0 L 176.4 150.0 L 177.9 150.1 L 179.3 150.3 L 180.8 150.4 L 182.2 150.7 L 183.6 151.0 L 185.1 151.4 L 186.5 151.8 L 187.9 152.2 L 189.4 152.7 L 190.8 153.3 L 192.2 153.9 L 193.7 154.5 L 195.1 155.2 L 196.6 155.9 L 198.0 156.6 L 199.4 157.4 L 200.9 158.2 L 202.3 159.1 L 203.8 159.9 L 205.2 160.8 L 206.6 161.7 L 208.1 162.6 L 209.5 163.5 L 210.9 164.4 L 212.4 165.3 L 213.8 166.2 L 215.2 167.0 L 216.7 167.9 L 218.1 168.7 L 219.6 169.5 L 221.0 170.3 L 222.4 171.0 L 223.9 171.7 L 225.3 172.3 L 226.8 172.9 L 228.2 173.3 L 229.6 173.8 L 231.1 174.1 L 232.5 174.3 L 233.9 174.5 L 235.4 174.5 L 236.8 174.4 L 238.2 174.2 L 239.7 173.9 L 241.1 173.4 L 242.6 172.8 L 244.0 172.0 L 245.4 171.1 L 246.9 170.0 L 248.3 168.7 L 249.8 167.2 L 251.2 165.5 L 252.6 163.6 L 254.1 161.5 L 255.5 159.1 L 256.9 156.5 L 258.4 153.7 L 259.8 150.5 L 261.2 147.1 L 262.7 143.4 L 264.1 139.4 L 265.6 135.1 L 267.0 130.5 L 268.4 125.5 L 269.9 120.2 L 271.3 114.5 L 272.8 108.4 L 274.2 102.0 L 275.6 95.1 L 277.1 87.9 L 278.5 80.2 L 279.9 72.0 L 281.4 63.4 L 282.8 54.4 L 284.2 44.8 L 285.7 34.8 L 287.1 24.2" stroke="var(--sl-color-accent)" stroke-width="2.8" fill="none" />
  <g fill="currentColor" font-size="13">
    <text x="161.0" y="202">0</text>
    <text x="270.0" y="202">ψ</text>
    <text x="56" y="16">自由エネルギー密度</text>
    <text x="214.5" y="70">T が T_c より上（黒）</text>
    <text x="113.9" y="228.0" fill="var(--sl-color-accent)">T が T_c より下（二重井戸）</text>
  </g>
  <g stroke="currentColor" stroke-width="1.5" fill="none">
    <path d="M 380 230 H 610.0" />
    <path d="M 380 234 V 40" />
  </g>
  <path d="M 380.0 70.0 L 382.3 73.9 L 384.6 77.6 L 386.9 81.3 L 389.2 84.9 L 391.5 88.4 L 393.8 91.8 L 396.1 95.2 L 398.4 98.4 L 400.7 101.6 L 403.0 104.7 L 405.3 107.7 L 407.6 110.7 L 409.9 113.6 L 412.2 116.4 L 414.5 119.1 L 416.8 121.8 L 419.1 124.4 L 421.4 127.0 L 423.7 129.4 L 426.0 131.9 L 428.3 134.2 L 430.6 136.6 L 432.9 138.8 L 435.2 141.0 L 437.5 143.2 L 439.8 145.3 L 442.1 147.3 L 444.4 149.3 L 446.7 151.2 L 449.0 153.2 L 451.3 155.0 L 453.6 156.8 L 455.9 158.6 L 458.2 160.3 L 460.5 162.0 L 462.8 163.6 L 465.1 165.2 L 467.4 166.8 L 469.7 168.3 L 472.0 169.8 L 474.3 171.3 L 476.6 172.7 L 478.9 174.1 L 481.2 175.4 L 483.5 176.7 L 485.8 178.0 L 488.1 179.3 L 490.4 180.5 L 492.7 181.7 L 495.0 182.9 L 497.3 184.0 L 499.6 185.1 L 501.9 186.2 L 504.2 187.3 L 506.5 188.3 L 508.8 189.3 L 511.1 190.3 L 513.4 191.2 L 515.7 192.2 L 518.0 193.1 L 520.3 194.0 L 522.6 194.9 L 524.9 195.7 L 527.2 196.5 L 529.5 197.3 L 531.8 198.1 L 534.1 198.9 L 536.4 199.6 L 538.7 200.4 L 541.0 201.1 L 543.3 201.8 L 545.6 202.5 L 547.9 203.1 L 550.2 203.8 L 552.5 204.4 L 554.8 205.0 L 557.1 205.6 L 559.4 206.2 L 561.7 206.8 L 564.0 207.4 L 566.3 207.9 L 568.6 208.4 L 570.9 209.0 L 573.2 209.5 L 575.5 210.0 L 577.8 210.5 L 580.1 210.9 L 582.4 211.4 L 584.7 211.8 L 587.0 212.3 L 589.3 212.7 L 591.6 213.1 L 593.9 213.5 L 596.2 213.9 L 598.5 214.3 L 600.8 214.7 L 603.1 215.1 L 605.4 215.4 L 607.7 215.8 L 610.0 216.1" stroke="var(--sl-color-accent)" stroke-width="2.8" fill="none" />
  <path d="M 380.0 230.0 L 382.3 222.9 L 384.6 215.8 L 386.9 208.8 L 389.2 201.9 L 391.5 195.0 L 393.8 188.3 L 396.1 181.8 L 398.4 175.4 L 400.7 169.2 L 403.0 163.2 L 405.3 157.5 L 407.6 151.9 L 409.9 146.6 L 412.2 141.6 L 414.5 136.8 L 416.8 132.2 L 419.1 127.8 L 421.4 123.8 L 423.7 119.9 L 426.0 116.3 L 428.3 112.9 L 430.6 109.7 L 432.9 106.7 L 435.2 103.9 L 437.5 101.3 L 439.8 98.9 L 442.1 96.6 L 444.4 94.5 L 446.7 92.6 L 449.0 90.8 L 451.3 89.1 L 453.6 87.6 L 455.9 86.2 L 458.2 84.9 L 460.5 83.6 L 462.8 82.5 L 465.1 81.5 L 467.4 80.6 L 469.7 79.7 L 472.0 78.9 L 474.3 78.1 L 476.6 77.5 L 478.9 76.9 L 481.2 76.3 L 483.5 75.8 L 485.8 75.3 L 488.1 74.8 L 490.4 74.4 L 492.7 74.1 L 495.0 73.7 L 497.3 73.4 L 499.6 73.1 L 501.9 72.9 L 504.2 72.6 L 506.5 72.4 L 508.8 72.2 L 511.1 72.0 L 513.4 71.8 L 515.7 71.7 L 518.0 71.5 L 520.3 71.4 L 522.6 71.3 L 524.9 71.2 L 527.2 71.1 L 529.5 71.0 L 531.8 70.9 L 534.1 70.8 L 536.4 70.8 L 538.7 70.7 L 541.0 70.6 L 543.3 70.6 L 545.6 70.5 L 547.9 70.5 L 550.2 70.4 L 552.5 70.4 L 554.8 70.4 L 557.1 70.3 L 559.4 70.3 L 561.7 70.3 L 564.0 70.3 L 566.3 70.2 L 568.6 70.2 L 570.9 70.2 L 573.2 70.2 L 575.5 70.2 L 577.8 70.2 L 580.1 70.1 L 582.4 70.1 L 584.7 70.1 L 587.0 70.1 L 589.3 70.1 L 591.6 70.1 L 593.9 70.1 L 596.2 70.1 L 598.5 70.1 L 600.8 70.1 L 603.1 70.1 L 605.4 70.1 L 607.7 70.0 L 610.0 70.0" stroke="currentColor" stroke-width="2.4" fill="none" />
  <path d="M 474.1 234 V 171.1" stroke="var(--sl-color-accent)" stroke-width="1.2" stroke-dasharray="4 3" fill="none" />
  <path d="M 431.7 234 V 108.1" stroke="currentColor" stroke-width="1.2" stroke-dasharray="4 3" fill="none" />
  <g fill="currentColor" font-size="13">
    <text x="540.0" y="252">表面からの深さ x</text>
    <text x="470.1" y="252" fill="var(--sl-color-accent)">λ</text>
    <text x="425.7" y="252">ξ</text>
    <text x="499.6" y="142.0" fill="var(--sl-color-accent)">B(x) = B₀ e^(−x/λ)</text>
    <text x="449.0" y="62.0">|ψ|/ψ∞ = tanh(x/√2ξ)</text>
    <text x="384" y="34">B と |ψ|（規格化）</text>
  </g>
</svg>
</Figure>

比 $\kappa$ は超伝導体の型を決めます。Abrikosov（1957）は、$\kappa<1/\sqrt2$ の**第 1 種**超伝導体は $B_c$ で一斉に超伝導が壊れる一方、$\kappa>1/\sqrt2$ の**第 2 種**超伝導体は、2 つの臨界磁場 $B_{c1}<B_c<B_{c2}$ の間で磁束が量子化された渦糸として侵入する混合状態をとることを示しました。純粋な金属（Al, Sn, Pb）の多くは第 1 種、合金・酸化物・高温超伝導体のほとんどは第 2 種です。第 2 種の混合状態は、強磁場の超伝導磁石に使われます。

### 5.2. 磁束量子化

<Theorem id="thm-flux-quantization" title="磁束量子化">
超伝導体の内部に穴（リング）があり、リングの内部深くの閉曲線 $C$ の上で超伝導電流 $\boldsymbol{j}_s=0$ （Meissner 効果で侵入長より深いところ）とする。このとき $C$ を貫く磁束 $\Phi=\oint_C\boldsymbol{A}\cdot d\boldsymbol{l}$ は

$$
\Phi=n\,\Phi_0,\qquad\Phi_0=\frac{h}{e^*}=\frac h{2e}=2.07\times10^{-15}\ \mathrm{Wb},\quad n\in\mathbb{Z}
$$

に量子化される。
</Theorem>

証明の考え方は、リングの内部では電流が流れないので、$\psi$ の位相の変化率と $\boldsymbol{A}$ が釣り合う、という点にあります。それを閉曲線に沿って 1 周積分すると、左辺は位相が 1 周で変わる量、右辺は磁束になります。位相は $2\pi$ の整数倍しか変われないので、磁束が飛び飛びの値になります。

<Proof of="thm-flux-quantization">
$C$ 上で $|\psi|=\psi_\infty\ne0$ とすれば、<Ref to="thm-gl-equations" /> の $\boldsymbol{j}_s=\frac{e^*\hbar}{m^*}|\psi|^2\left(\nabla\theta-\frac{e^*}\hbar\boldsymbol{A}\right)=0$ から $\hbar\nabla\theta=e^*\boldsymbol{A}$。$C$ に沿って 1 周積分すると $\hbar\oint_C\nabla\theta\cdot d\boldsymbol{l}=e^*\oint_C\boldsymbol{A}\cdot d\boldsymbol{l}=e^*\Phi$（Stokes の定理で $\oint\boldsymbol{A}\cdot d\boldsymbol{l}=\int\boldsymbol{B}\cdot d\boldsymbol{S}$）。一方、$\psi$ は一価関数なので、1 周して戻ると位相 $\theta$ は $2\pi$ の整数倍だけ変わり得る： $\oint_C\nabla\theta\cdot d\boldsymbol{l}=2\pi n$。よって $\Phi=2\pi n\hbar/e^*=nh/e^*$。$e^*=2e$ を代入。
</Proof>

<Figure caption="磁束量子化の模式図。左：超伝導リング（灰）と、穴を貫く磁束 Φ。破線の閉曲線 C はリングの内部深くを通る。右：C に沿って 1 周するときの位相 θ。位相は一周で 2πn だけ増え、ψ = |ψ|e^{iθ} は元の値に戻る（図は n = 1）。">
<svg viewBox="0 0 640 260" width="100%" role="img" aria-label="磁束量子化。左：超伝導リングの穴を磁束 Φ が貫き、リング内部の閉曲線 C に沿って位相が変化する。右：C に沿った 1 周で位相 θ が 2π n だけ増える">
  <circle cx="170" cy="130" r="100" fill="currentColor" fill-opacity="0.18" stroke="currentColor" stroke-width="2" />
  <circle cx="170" cy="130" r="40" fill="var(--sl-color-bg)" stroke="currentColor" stroke-width="2" />
  <circle cx="170" cy="130" r="70" fill="none" stroke="var(--sl-color-accent)" stroke-width="2.4" stroke-dasharray="6 4" />
  <polygon points="170,60 160,53 160,67" fill="var(--sl-color-accent)" />
  <g fill="currentColor" font-size="14">
    <text x="160" y="136">Φ</text>
    <text x="244" y="108" fill="var(--sl-color-accent)">C</text>
    <text x="110" y="246">超伝導リングの断面</text>
  </g>
  <g stroke="currentColor" stroke-width="1.5" fill="none">
    <path d="M 400 210 H 610" />
    <path d="M 400 214 V 40" />
  </g>
  <path d="M 400 210 L 560 70" stroke="var(--sl-color-accent)" stroke-width="2.8" fill="none" />
  <path d="M 560 214 V 70 H 396" stroke="currentColor" stroke-width="1.2" stroke-dasharray="4 3" fill="none" opacity="0.7" />
  <g fill="currentColor" font-size="14">
    <text x="394" y="230">0</text>
    <text x="548" y="230">一周</text>
    <text x="360" y="74">2πn</text>
    <text x="404" y="34">位相 θ</text>
    <text x="520" y="246">C に沿った位置</text>
  </g>
</svg>
</Figure>

実験的には、1961 年に Deaver–Fairbank と Doll–Näbauer が、超伝導リングを貫く磁束が $h/2e$ の整数倍であることを測り、**電荷の担い手が $2e$ をもつこと**（電子の対）を確認しました。これは BCS 理論の最も直接的な裏付けの一つです。

## 6. 演習

<Exercise id="exr-london-film" difficulty="標準">
厚さ $2d$ の超伝導薄膜（$-d<x<d$）に表面に平行な磁場 $B_0\hat{z}$ をかける。London 方程式の解 $B_z(x)$ を求め、$d\ll\lambda_L$ の極限で膜の内部の磁場がほぼ $B_0$ のままであることを示せ。
<Solution>
$B_z''=B_z/\lambda_L^2$、境界条件 $B_z(\pm d)=B_0$、対称性から偶関数なので $B_z(x)=B_0\dfrac{\cosh(x/\lambda_L)}{\cosh(d/\lambda_L)}$。$d\ll\lambda_L$ では $\cosh(x/\lambda_L)\simeq1+x^2/2\lambda_L^2\simeq1$ で、$B_z\simeq B_0$。薄い膜は磁場を排除できません（実際、薄膜の臨界磁場は厚い試料より高い）。
</Solution>
</Exercise>

<Exercise id="exr-cooper-weak" difficulty="易">
<Ref to="thm-cooper" /> の束縛エネルギーが $g\ll1$ で $B\simeq2\hbar\omega_De^{-2/g}$ となることを確かめ、$g=0.2$、$\hbar\omega_D=30\ \mathrm{meV}$ の場合に数値を求めよ。BCS のギャップ $\Delta_0$ と比べるとどうなるか。
<Solution>
$e^{2/g}\gg1$ なので $e^{2/g}-1\simeq e^{2/g}$ から $B\simeq2\hbar\omega_De^{-2/g}$。$g=0.2$ では $e^{-10}=4.5\times10^{-5}$ で $B=2\times30\times4.5\times10^{-5}=2.7\times10^{-3}\ \mathrm{meV}$。BCS のギャップは $\Delta_0\simeq2\hbar\omega_De^{-1/g}=60\times e^{-5}=60\times6.7\times10^{-3}=0.40\ \mathrm{meV}$ で、2 桁近く大きいです（$\Delta_0/B\approx e^{1/g}=150$）。多体の協力効果で対の安定性が大きく増すことを表します。
</Solution>
</Exercise>

<Exercise id="exr-bcs-ground-energy-check" difficulty="標準">
BCS のギャップ方程式の $T=0$ の形から、$N(0)V_0\int_0^{\hbar\omega_D}d\xi/\sqrt{\xi^2+\Delta^2}=1$ を $\Delta\to0$ の極限で調べると、右辺はどうなるか。これが、常伝導状態が不安定である（$\Delta=0$ は自己無撞着方程式の自明な解だが、エネルギーが最小ではない）ことと、どのように関係するか。
<Solution>
$\Delta\to0$ で $\int_0^{\hbar\omega_D}d\xi/\sqrt{\xi^2+\Delta^2}=\operatorname{arcsinh}(\hbar\omega_D/\Delta)\simeq\ln(2\hbar\omega_D/\Delta)\to\infty$。左辺 $g\ln(2\hbar\omega_D/\Delta)$ は $\Delta\to0$ で任意に大きくなるので、必ず 1 に等しくなる $\Delta>0$ があります（<Ref to="thm-bcs-gap" /> の一意解）。これは Cooper 不安定性（<Ref to="thm-cooper" />）と同じ対数発散で、フェルミ面の状態密度が有限であることから、弱い引力でも常に $\Delta\ne0$ の解が存在することを意味します。<Ref to="prop-condensation" /> より、その解は常伝導よりエネルギーが低いです。
</Solution>
</Exercise>

<Exercise id="exr-flux-quantum" difficulty="易">
直径 $1\ \mu\mathrm{m}$ の超伝導リングに磁束量子 $1$ 個分の磁束が通るために必要な磁束密度（リング内部で一様と仮定）はいくらか。
<Solution>
面積 $\pi(0.5\ \mu\mathrm{m})^2=7.85\times10^{-13}\ \mathrm{m^2}$。$B=\Phi_0/S=2.07\times10^{-15}/7.85\times10^{-13}=2.6\times10^{-3}\ \mathrm{T}$、約 $2.6\ \mathrm{mT}$ です。地磁気（$\sim50\ \mu\mathrm{T}$）の約 50 倍。SQUID はこの磁束量子の 1 万分の 1 以下の磁束変化を検出して、極めて微弱な磁場を測ります。
</Solution>
</Exercise>

## 参考文献

- J. Bardeen, L. N. Cooper and J. R. Schrieffer, "Theory of Superconductivity", *Physical Review* 108 (1957), 1175–1204.
- L. N. Cooper, "Bound Electron Pairs in a Degenerate Fermi Gas", *Physical Review* 104 (1956), 1189–1190.
- M. Tinkham, *Introduction to Superconductivity*, 2nd ed., McGraw-Hill, 1996 — Chapters 1–3 (London, GL, BCS).
- 恒藤敏彦『超伝導・超流動』（岩波書店）など、日本語の超伝導の標準的な教科書。
- V. L. Ginzburg and L. D. Landau, "On the Theory of Superconductivity", *Zhurnal Eksperimental'noi i Teoreticheskoi Fiziki* 20 (1950), 1064–1082.
