Uniqueness for a seismic inverse source problem modeling a subsonic rupture

We consider an inverse source problem for an inhomogeneous wave equation with discrete-in-time sources, modeling a seismic rupture. The inverse source problem, with an arbitrary source term on the right-hand side of the wave equation, is not uniquely solvable. Here we formulate conditions on the source term that allow us to show uniqueness and that provide a reasonable model for the application of interest. We assume that the source term is supported on a finite set of times and that the support in space moves with subsonic velocity. Moreover, we assume that the spatial part of the source is singular on a hypersurface, an application being a seismic rupture along a fault plane. Given data collected over time on a detection surface that encloses the spatial projection of the support of the source, we show how to recover the times and locations of sources microlocally and then reconstruct the smooth part of the source assuming that it is the same at each source location.