Abstract:We propose a sparse regularization model for inversion of incomplete Fourier transforms and apply it to seismic wavefield modeling. The objective function of the proposed model employs the Moreau envelope of the $\ell_0$ norm under a tight framelet system as a regularization to promote sparsity. This model leads to a non-smooth, non-convex optimization problem for which traditional iteration schemes are inefficient or even divergent. By exploiting special structures of the $\ell_0$ norm, we identify a local minimizer of the proposed non-convex optimization problem with a global minimizer of a convex optimization problem, which provides us insights for the development of efficient and convergence guaranteed algorithms to solve it. We characterize the solution of the regularization model in terms of a fixed-point of a map defined by the proximity operator of the $\ell_0$ norm and develop a fixed-point iteration algorithm to solve it. By connecting the map with an $\alpha$-averaged nonexpansive operator, we prove that the sequence generated by the proposed fixed-point proximity algorithm converges to a local minimizer of the proposed model. Our numerical examples confirm that the proposed model outperforms significantly the existing model based on the $\ell_1$-norm. The seismic wavefield modeling in the frequency domain requires solving a series of the Helmholtz equation with large wave numbers, which is a computationally intensive task. Applying the proposed sparse regularization model to the seismic wavefield modeling requires data of only a few low frequencies, avoiding solving the Helmholtz equation with large wave numbers. Numerical results show that the proposed method performs better than the existing method based on the $\ell_1$ norm in terms of the SNR values and visual quality of the restored synthetic seismograms.

Fourier truncation regularization method for simultaneous inversion in parabolic equations with convective term

Tikhonov regularization for simultaneous inversion of initial value and source term of a time‐fractional Black‐Scholes equation

SIMULTANEOUS INVERSION OF THE SOURCE TERM AND INITIAL VALUE OF THE TIME FRACTIONAL DIFFUSION EQUATION

Landweber Iterative Method for an Inverse Source Problem of Time-Space Fractional Diffusion-Wave Equation

An efficient iterative quasi-reversibility method for the inverse source problem of time-fractional diffusion equations

On backward problem for a time-fractional fourth order parabolic equation

Inverting Incomplete Fourier Transforms by a Sparse Regularization Model and Applications in Seismic Wavefield Modeling

Study of Travel Time Tomography by Iterative Tikhonov Regularization Inversion

On an inverse problem in the parabolic equation arising from groundwater pollution problem

A hybrid regularization method for identifying the source term and the initial value simultaneously for fractional pseudo-parabolic equation with involution

A regularization strategy to a backward problem for general nonlinear parabolic equations in Sobolev spaces

Regularization with two differential operators and its application to inverse problems

Well-posedness and Tikhonov regularization of an inverse source problem for a parabolic equation with an integral constraint

Sine Transform Based Preconditioning for an Inverse Source Problem of Time-Space Fractional Diffusion Equations

Regularization method with sparsity constraints for seismic waveform inversion

A Regularization Homotopy Method for the Inverse Problem of 2-D Wave Equation and Well Log Constraint Inversion

A Tikhonov-type regularization method for identifying the unknown source in the modified Helmholtz equation

The Carleman-Newton method to globally reconstruct a source term for nonlinear parabolic equation

Simultaneous numerical inversion of space-dependent initial condition and source term in multi-order time-fractional diffusion models

A Modified Iteration Method for an Inverse Problem of Diffusion Equation with Laplace and Riesz-Feller Space Fractional Operators

An Inverse Source Problem for Parabolic Equations with Local Measurements