Let be the Radon transform
Taking the large-radius limit in the Kirchhoff formula, with fixed for the outgoing limit and fixed for the incoming limit, gives the radiation fields
Indeed, the expanding spheres converge after multiplication by to the planes and , respectively.
The Radon transforms of smooth compactly supported functions are smooth. If the data are supported in a ball of radius , these transforms vanish for . Hence both radiation fields are well-defined smooth functions of compact support in the null-time variable.