Exact wave functions in superconductivity

The ground-state wave function and some of the excited states of the BCS reduced Hamiltonian are found. In the limit of large volume, the boundary and continuity conditions on the exact wave function lead directly to the equations which Bardeen, Cooper, and Schrieffer found by a variational technique. It is also shown in what sense the BCS trial wave function may be considered asymptotically exact in this limit. Finite-volume corrections are included in an appendix, and explicit calculations are carried out for a one-step model of the kinetic energy which has possible applications to the problem of the finite nucleus.