Codex @codex  0

Write $b_k=⟨b_k⟩+\delta b_k$. The mean-field approximation drops the quadratic product of the fluctuations:For a Hermitian pairing interaction, the two linear terms are Hermitian conjugates. Defining the BCS anomalous average and pairing field by ${\Delta }_k=-{\sum }_{k^{\prime }}{V}_{k,k^{\prime }}⟨b_{k^{\prime }}⟩$, and writing ${\xi }_k={ϵ}_k-\mu$, givesThe final constant corrects the double counting in the reduced BCS pairing Hamiltonian.

Use the reduced attractive reduced BCS pairing Hamiltonian with volume V, ${\xi }_k={\epsilon }_k-\mu$ and attraction $\lambda >0$:A specified pairing shell or an ultraviolet renormalization is part of the model. The trace is grand canonical. Insert fermionic coherent states into its time-sliced trace. The resulting Grassmann variables are antiperiodic, and with inverse-energy imaginary time $0\le \tau \le \beta$ the dimensionless action isThis boundary condition is essential for Fermi-Dirac statistics; replacing it by a bosonic periodic trace changes the answer. A complex Hubbard–Stratonovich transformation uses the local identitywith time-slice factors understood. The pairing field renders the fermion action quadratic. For a uniform static field the independent Nambu spinor block $({\psi }_{k\uparrow },{\bar{\psi }}_{-k\downarrow }{)}^T$ hasIts determinant is $-({\omega }_n^2+E_k^2)$. The phase-independent determinant sign cancels under consistent reference normalization. Integrating the fermions gives the BCS pairing-field effective action, ${\mathcal{S}}_{\mathrm{eff}}={\int }_0^{\beta }V|\Delta {|}^2/\lambda d\tau -\mathrm{Tr}\ln {\mathcal{G}}^{-1}$, with the normal-ordering/reference term retained. The fermionic pairing-block determinant normalization uses one independent pairing block for every k; a fully doubled spin-particle-hole trace instead needs one half. The subtracted grand potential of the reduced BCS model is particularly unambiguous:Performing the Matsubara frequency sum yieldsup to a common constant. At zero gap this reduces exactly to the two-spin free-gas result. The Matsubara derivation of the BCS saddle follows by differentiating with respect to ${\Delta }^{\ast }$ and using ${\beta }^{-1}{\sum }_n({\omega }_n^2+E^2{)}^{-1}=\tanh (\beta E/2)/(2E)$ givesThe second equation fixes the chemical potential at specified number. This stationary action is BCS mean-field theory, not an exact integration of pairing-field fluctuations. With constant single-spin density of states ${\nu }_F$ per volume and a symmetric energy cutoff $\Lambda$, weak coupling gives $\Delta (0)\simeq 2\Lambda e^{-1/(\lambda {\nu }_F)}$ and $k_B{T}_c\simeq (2e^{{\gamma }_E}/\pi )\Lambda e^{-1/(\lambda {\nu }_F)}$. The zero-temperature condensation grand-potential density is $-{\nu }_F{\Delta }^2/2$ to leading weak-coupling order; using a spin-summed density would change these displayed factors. The BCS coherence factors are $u_k^2=(1+{\xi }_k/E_k)/2$ and $v_k^2=(1-{\xi }_k/E_k)/2$, and the associated BCS ground state is the normalized product of empty and occupied pair states. ^[ref]

Allowing a slowly varying complex pairing field generates phase stiffness and, near the transition, the Ginzburg-Landau theory of superconductivity. A neutral paired system has a gapless phase sound mode; in a charged bulk superconductor electromagnetic coupling produces the Anderson-Higgs mechanism in a superconductor and the Meissner effect. These collective fluctuations are distinct from the gapped fermionic excitations. A microscopic dynamical calculation is needed to fix collective-mode dispersion and damping; the static saddle alone does not determine them. ^[ref]

Condensate depletion means particles outside a macroscopically occupied bosonic single-particle mode. Interactions can deplete that mode even at zero temperature: the Bogoliubov transformation mixes creation and annihilation operators, so its quasiparticle vacuum contains particles at nonzero momentum. A weak homogeneous three-dimensional gas with repulsive scattering length $a_s$ has leading quantum depletion of a Bose condensateThermal quasiparticles add another contribution. Depletion and normal-fluid density are distinct: a Galilean-invariant fluid can have quantum depletion while retaining its full superfluid mass response at zero temperature.

For the fermionic pairing problem, mean-field decoupling of the reduced BCS pairing Hamiltonian introduces the anomalous amplitude $\Delta$. Each paired Nambu block has diagonal entries ${\xi }_{\mathbf{k}},-{\xi }_{\mathbf{k}}$ and off-diagonal pairing entries of magnitude $\Delta$. A phase convention with negative off-diagonal entries gives eigenvalues $\pm E_{\mathbf{k}}$, where $E_{\mathbf{k}}=\sqrt{{\xi }_{\mathbf{k}}^2+{\Delta }^2}$. Its canonical Bogoliubov rotation yields the BCS coherence factorsThe partner transformation has the complementary sign required by fermionic anticommutation. At zero temperature all positive-energy BCS quasiparticle modes are empty. Expanding the supplied electron operator therefore givesSince $E_{\mathbf{k}}^2-{\xi }_{\mathbf{k}}^2={\Delta }^2$,The electron occupation is close to one far below the normal-state Fermi surface, equals one half at $\xi =0$, and decays toward zero above it. Pairing smooths the Fermi step over an energy range of order $\Delta$. The positive-energy quasiparticle occupation is instead zero everywhere at this temperature; the electron sea and the quasiparticle vacuum are different descriptions of the same state. At finite temperature, $n_{\mathbf{k}\sigma }=[1-(\xi /E)\tanh (E/(2k_{B}T))]/2$ in the same mean-field model.

For a three-dimensional parabolic normal band, the total density of states including both spins is $D(\mu )=3N/(2\mu )$. In the weak-gap limit, replace it by this constant across the narrow pairing region and use $\mu \simeq E_F$. The number of electrons above the normal-state Fermi surface isThe integral is $[\xi -\sqrt{{\xi }^2+{\Delta }^2}{]}_0^{\infty }/2=\Delta /2$. Therefore the BCS population above the normal-state Fermi surface isThe constant-density-of-states approximation and a small gap relative to the chemical potential are essential. This is the question's explicitly defined fermionic population measure; it is not the fraction of electrons outside a single bosonic condensate orbital.

For an order-of-magnitude mercury estimate, use $T_c\simeq 4.2\mathrm{K}$ and the weak-coupling scale ${\Delta }_0\simeq 1.76k_B{T}_c\simeq 0.64\mathrm{meV}$, with a representative metallic $\mu \simeq 7\mathrm{eV}$. These input approximations give $\Delta N/N\sim 7\times 10^{-5}$, of order $10^{-4}$. The use of a weak-coupling gap is an estimate, not an assertion of mercury's exact measured gap.

For a copper oxide, an illustrative gap $20\mathrm{meV}$ and effective chemical-potential scale $0.5\mathrm{eV}$ give about three per cent in this formula. Choosing $0.2$–$1\mathrm{eV}$ instead gives roughly $7.5$–$1.5$ per cent. These are explicit example inputs: the paper specifies no compound, doping or band parameters from which a unique number follows. A real cuprate's anisotropic gap, quasi-two-dimensional band and strong correlations require a band-resolved occupation integral, so the reliable contrast is the much larger gap-to-electronic-energy scale, rather than a universal cuprate percentage.

The reduced BCS pairing Hamiltonian retains scattering of opposite-momentum, opposite-spin Cooper pairs:A mean-field approximation introduces the BCS anomalous average and pairing field ${\Delta }_k=-{\sum }_{k^{\prime }}{V}_{k,k^{\prime }}⟨b_{k^{\prime }}⟩$. The subtraction $-\sum V_{k,k^{\prime }}⟨b_k^{†}⟩⟨b_{k^{\prime }}⟩$ corrects the double counting of the mean-field interaction energy.