Ginzburg–Landau 自由エネルギー

定義 5.1（「超伝導」§5）

$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 対の質量と電荷）。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。