
5 The Structure of Low-Energy States 65
5.1 A lower bound for the BCS functional . . . . . . . . . . . . . . . . . . . . . 67
5.2 ProofofTheorem5.1............................... 69
6 The Lower Bound on (1.22) and Proof of Theorem 2 (b) 69
6.1 The BCS energy of low-energy states . . . . . . . . . . . . . . . . . . . . . . 69
6.2 Estimate on the relative entropy . . . . . . . . . . . . . . . . . . . . . . . . 70
6.3 Conclusion .................................... 70
6.4 Proof of the equivalent of [16, Lemma 6.2] in our setting . . . . . . . . . . . 70
A Gauge-Invariant Perturbation Theory for KTc,A−V71
A.1 Preparatorylemmas ............................... 72
A.2 Proof of Proposition A.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
1 Introduction and Main Results
1.1 Introduction
Ginzburg–Landau (GL) theory has been introduced as the first macroscopic and phe-
nomenlogical description of superconductivity in 1950 [29]. The theory comprises a sys-
tem of partial differential equations for a complex-valued function, the order parameter,
and an effective magnetic field. Ginzburg–Landau theory has been highly influencial and
investigated in numerous works, among which are [7, 8, 46, 45, 10, 11, 13, 12, 1] and
references therein.
Bardeen–Cooper–Schrieffer (BCS) theory of superconductivity is the first commonly
accepted and Nobel prize awarded microscopic theory of superconductivity [2]. As a major
breakthrough, the theory features a pairing mechanism between the electrons below a
certain critical temperature, which causes the electrical resistance in the system to drop
to zero in the superconducting phase. This effect is due to an effective attraction between
the electrons, which arises as a consequence of the phonon vibrations of the lattice ions in
the superconductor.
One way to formulate BCS theory mathematically is via the BCS free energy func-
tional or BCS functional for short. As Leggett pointed out in [38], the BCS functional can
be obtained from a full quantum mechanical description of the system by restricting at-
tention to quasi-free states, see also [28]. Such states are determined by their one-particle
density matrix and the Cooper pair wave function. The BCS functional has been studied
intensively from a mathematical point of view in the absence of external fields in [32, 20,
34, 35, 26, 4, 23, 15] and in the presence of external fields in [36, 5, 24, 14, 6]. The BCS
gap equation arises as the Euler–Lagrange equation of the BCS functional and its solution
is used to compute the spectral gap of an effective Hamiltonian, which is open in the
superconducting phase. BCS theory from the point of view of its gap equation is studied
in [43, 3, 50, 51, 41, 52].
The present article continues a series of works, in which the macroscopic GL theory is
derived from the microscopic BCS theory in a regime close to the critical temperature and
for weak external fields. This endeavor has been initiated by Gor’kov in 1959 [30]. The
first mathematically rigorous derivation of the GL functional from the BCS functional has
been provided by Frank, Hainzl, Seiringer, and Solovej for periodic external electric and
magnetic fields in 2012 in [21]. An important assumption of this work is that the flux
of the external magnetic field through the unit cell of periodicity of the system vanishes.
This excludes for example a homogeneous magnetic field. The techniques from this GL
February 14, 2023 2 Deuchert, Hainzl, Maier