Gravitational-wave lensing beyond the diffraction integral: proper-time methods and the bound lens

Abstract

Gravitational waves (GWs) can have wavelengths comparable to the Schwarzschild radius of their lenses, and detectors record their phase, so lensing requires wave optics. Its standard tool, the diffraction integral, follows from the particle path integral of a scalar wave on a static weak field, under the eikonal (one-way) and paraxial approximations, plus the thin-lens limit. We give a self-contained account of how the proper-time (worldline) representation overcomes these steps. An auxiliary proper time makes the wave equation exactly first order, with frequency as $1/\hbar$, so geometric optics and, for paraxial thin-lens paths, the diffraction integral follow from stationarity of an exact integral. For a point mass, the Duru-Kleinert (DK) gauge and Kustaanheimo-Stiefel map give the exact propagator; for a distant observer the DK time and fibre angle become the radius and azimuth of a lens plane, the result is the point-lens amplification factor with the offset set by the excess path, and geometric optics requires $w\gg1$ and $wy\gg1$. This agreement reflects the Coulomb potential, not the approximations: the exact eikonal condition, $\varepsilon_E\simeq\barλ/d+GM/c^2d+\mathcal O(\sin^2θ/2)$, fails near the lens and at large angles, and the one-way step is a non-relativistic limit. We then treat the bound lens, a GW source orbiting its lens, which emits a backscattered echo and moves during the lensing delays. Its exact time-domain signal gives each worldline its own retarded time and Doppler factor, so no single amplification factor describes it. In the diffraction regime the Shapiro phase alone misses all lensing beyond it, geometric optics misses 46-100% of it near conjunction at $w=0.3$, the paraxial geometry fails on the far side, and the static amplification factor along the orbit errs by $\approx(1-2)\,wM/R$ near conjunction and by the echo amplitude elsewhere.