Abstract

In QED, an external electromagnetic field can be accounted for non-perturbatively by replacing the causal propagators used in Feynman diagram calculations with Green’s functions for the Dirac equation under the external field. If the external field destabilises the vacuum, then it is a difficult problem to determine which Green’s function is appropriate, and multiple approaches have been developed in the literature whose equivalence, in many cases, is not clear. In this paper, we demonstrate for a broad class of external fields that includes all that act for a finite time, that four Green’s functions used in the literature are equivalent: Schwinger’s “proper-time” propagator; the “causal propagator” used in the “Bogoliubov transformation” method based on the canonical quantization of the field operator; and two defined using analytic continuation from complexified parameters. To do so, we formulate Schwinger’s “proper-time quantum mechanics" as a Schrödinger wave mechanics, and use this to re-derive Schwinger’s expression for the propagator as a statement relating solutions of the inhomogeneous Dirac equation to those of the inhomogeneous “proper-time Dirac equation”. This is done by constructing direct integral spectral decompositions of the Hamiltonians of both equations, and deriving a form for solutions of the inhomogeneous Dirac equation in terms of these decompositions. We then show that all four propagators return solutions of the inhomogeneous Dirac equation that satisfy the same boundary condition, which under a physically reasonable assumption is sufficient to specify the solution uniquely.