The search space of Full Waveform Inversion (FWI) can be extended via a relaxation of the wave equation to increase the linear regime of the inversion. This wave equation relaxation is implemented by solving jointly (in a least-squares sense) the wave equation weighted by a penalty parameter and the observation equation such that the reconstructed wavefields closely match the data, hence preventing cycle skipping at receivers. Then, the subsurface parameters are updated by minimizing the temporal and spatial source extension generated by the wave-equation relaxation to push back the data-assimilated wavefields toward the physics.This extended formulation of FWI has been efficiently implemented in the frequency domain with the augmented Lagrangian method where the overdetermined systems of the data-assimilated wavefields can be solved separately for each frequency with linear algebra methods and the sensitivity of the optimization to the penalty parameter is mitigated through the action of the Lagrange multipliers.Applying this method in the time domain is however hampered by two main issues: the computation of data-assimilated wavefields with explicit time-stepping schemes and the storage of the Lagrange multipliers capturing the history of the source residuals in the state space.These two issues are solved by recognizing that the source residuals on the right-hand side of the extended wave equation, when formulated in a form suitable for explicit time stepping, are related to the extended data residuals through an adjoint equation.This relationship first allows us to relate the extended data residuals to the reduced data residuals through a normal equation in the data space. Once the extended data residuals have been estimated by solving (exactly or approximately) this normal equation, the data-assimilated wavefields are computed with explicit time stepping schemes by cascading an adjoint and a forward simulation.
Extended-space full waveform inversion in the time domain with the augmented Lagrangian method
