TY - JOUR
T1 - Full Waveform Inversion Using Extended and Simultaneous Sources
AU - Buchatsky, Sagi
AU - Treister, Eran
N1 - Funding Information:
\ast Received by the editors June 30, 2020; accepted for publication (in revised form) June 30, 2021; published electronically September 20, 2021. https://doi.org/10.1137/20M1349412 Funding: This work was partially supported by The Israel Science Foundation (grant 1589/19). \dagger Department of Computer Science, Ben-Gurion University of the Negev, Beer Sheva, 8410501, Israel (sagibu@post.bgu.ac.il). \ddagger Corresponding author. Department of Computer Science, Ben-Gurion University of the Negev, Beer Sheva, 8410501, Israel (erant@cs.bgu.ac.il).
Publisher Copyright:
© 2021 Society for Industrial and Applied Mathematics.
PY - 2021/9/20
Y1 - 2021/9/20
N2 - PDE-constrained optimization problems are often treated using the reduced formulation where the PDE constraints are eliminated. This approach is known to be more computationally feasible than other alternatives at large scales. However, the elimination of the constraints forces the optimization process to fulfill the constraints at all times. In some problems this may lead to a highly nonlinear objective, which is hard to solve. An example of such a problem, which we focus on in this work, is full waveform inversion (FWI), which appears in seismic exploration of oil and gas reservoirs and in medical imaging. In an attempt to relieve the nonlinearity of FWI, several approaches suggested expanding the optimization search space and relaxing the PDE constraints. This comes, however, with severe memory and computational costs, which we aim to reduce. In this work we adopt the expanded search space approach and suggest a new formulation of FWI using extended source functions. To make the source-extended problem more feasible in memory and computations, we couple the source extensions in the form of a low-rank matrix. This way, we have a large-but-manageable additional parameter space, which has a rather low memory footprint and is much more suitable for solving large scale instances of the problem than the full-rank additional space. In addition, we show how our source-extended approach is applied together with the popular simultaneous sources technique---a stochastic optimization technique that significantly reduces the computations needed for FWI inversions. We demonstrate our approaches for solving FWI problems using 2D and 3D models with high-frequency data only.
AB - PDE-constrained optimization problems are often treated using the reduced formulation where the PDE constraints are eliminated. This approach is known to be more computationally feasible than other alternatives at large scales. However, the elimination of the constraints forces the optimization process to fulfill the constraints at all times. In some problems this may lead to a highly nonlinear objective, which is hard to solve. An example of such a problem, which we focus on in this work, is full waveform inversion (FWI), which appears in seismic exploration of oil and gas reservoirs and in medical imaging. In an attempt to relieve the nonlinearity of FWI, several approaches suggested expanding the optimization search space and relaxing the PDE constraints. This comes, however, with severe memory and computational costs, which we aim to reduce. In this work we adopt the expanded search space approach and suggest a new formulation of FWI using extended source functions. To make the source-extended problem more feasible in memory and computations, we couple the source extensions in the form of a low-rank matrix. This way, we have a large-but-manageable additional parameter space, which has a rather low memory footprint and is much more suitable for solving large scale instances of the problem than the full-rank additional space. In addition, we show how our source-extended approach is applied together with the popular simultaneous sources technique---a stochastic optimization technique that significantly reduces the computations needed for FWI inversions. We demonstrate our approaches for solving FWI problems using 2D and 3D models with high-frequency data only.
KW - extended sources
KW - full waveform inversion
KW - inverse problems
KW - low-rank minimization
KW - PDE-constrained optimization
KW - trace estimation
UR - http://www.scopus.com/inward/record.url?scp=85135170506&partnerID=8YFLogxK
U2 - 10.1137/20M1349412
DO - 10.1137/20M1349412
M3 - Article
SN - 1064-8275
VL - 43
SP - S862-S883
JO - SIAM Journal of Scientific Computing
JF - SIAM Journal of Scientific Computing
IS - 5
ER -