Dynamics of the current-driven Josephson junction

The irreversible macroscopic dynamics of the Josephson junction coupled to external wires acting as a current source is derived rigorously from the underlying microscopic Hamiltonian quantum mechanics. The external systems are treated in the singular coupling limit. The use of this limit is explicitly justified via an interpretation of the singular coupling limit in terms of the relative magnitudes of system, reservoir, and coupling energies. The qualitative behavior of the macroscopic dynamical equations is shown to depend sensitively and crucially on the interaction between the wires and the superconductors and on the size of the wires: the dc Josephson effect only happens when one lets Cooper pairs be driven into the junction by collective (i.e., small) reservoirs.