My question concerns which electrons in a superconductor form Cooper pairs in the BCS ground state, i.e., all of them or only part of them. I am currently reading about superconductivity from Chap. 10, G. Mahan, Many-Particle Physics, 3rd Ed.
Mahan writes on page 627: "The basic idea of BCS theory is that the electrons in the metal form bound pairs. Not all electrons do this, but only those within a Debye energy of the Fermi surface." Good, this is how I have always understood BCS theory. The BCS ground state is given by \begin{equation} |BCS\rangle = \prod_{\bf k} (u_{\bf k}+v_{\bf k}\hat{c}^{\dagger}_{\bf k,\uparrow}\hat{c}^{\dagger}_{-\bf k,\downarrow})|vac\rangle. \end{equation} This is just the standard Fermi sea, if $u_{\bf k}=0$ and $v_{\bf k}=1$, for $|{\bf k}|<|{\bf k}_F|$, and $u_{\bf k}=1$ and $v_{\bf k}=0$, for $|{\bf k}|>|{\bf k}_F|$. Now put the BCS interaction in. I have always understood Cooper pairs as those electrons for which \begin{equation} u_{\bf k}^2=\frac{1}{2}\left(1 + \frac{\xi_{\bf k}}{\sqrt{\xi_{\bf k}^2+\Delta^2}} \right), \quad v_{\bf k}^2=\frac{1}{2}\left(1 - \frac{\xi_{\bf k}}{\sqrt{\xi_{\bf k}^2+\Delta^2}} \right), \end{equation} where $\xi_{\bf k}=\hbar^2|{\bf k}|^2/2m-\mu$. The gap $\Delta=\Delta_{\bf k}=-\sum_{\bf k'}V_{\bf kk'}u_{\bf k'} v_{\bf k'}$ is non-zero only for states within the Debye energy from $\mu=E_F$ (at $T=0$), since BCS assumes an interaction of the form \begin{equation} V_{\bf kk'}=\left\{ \begin{array}{ll} -V, & \textrm{for } -\hbar \omega_{\rm Debye} < \xi_{\bf k}, \xi_{\bf k'} < \hbar \omega_{\rm Debye} \\ 0, & \textrm{otherwise} \end{array} \right.. \end{equation}
So, I understand the superconducting BCS ground state as describing a state where electrons within the Debye energy of $E_F$ form Cooper pairs, and the rest of the electrons remain unpaired, i.e. do not form a bound Cooper pair. However, the whole system is superconducting as no excitations can be created unless their energy is above the gap. The unpaired particles are not quasiparticles, since the BCS state is a vacuum state for the quasiparticle annihilation operator.
Now, I am not sure if my understanding is actually correct, especially since excitations of the BCS state must be created or destroyed in pairs. That's why the excitation gap is $2\Delta$.
In addition, Mahan writes on page 647: "At zero temperature, all the electrons in the superconductor are in the pair states at the chemical potential." But this clearly contradicts with what he wrote above. Also Ashcroft and Mermin, Solid State Physics writes that in the BCS ground state all of the (conduction) electrons are paired. If all of the electrons are paired, where does the attractive interaction required for forming a Cooper pair emerge for those electrons whose energies are not within $\hbar \omega_{\rm Debye}$ of $E_F$? It is assumed to be zero in the BCS approach.
tl;dr Do all of the electrons in the BCS ground state form Cooper pairs? If yes, where does the attractive interaction come for electrons with $|\xi_{\bf k}|>\hbar \omega_{\rm Debye}$? If not, why do excitations need to created or destroyed in pairs if there are non-Cooper-paired electrons? I am aware that the BCS state is a coherent state, etc., but I would like to have a more physical picture of the ground state.