A SEMISMOOTH NEWTON-CG METHOD FOR CONSTRAINED PARAMETER IDENTIFICATION IN SEISMIC TOMOGRAPHY

被引:26
|
作者
Boehm, Christian [1 ]
Ulbrich, Michael [2 ]
机构
[1] ETH, Inst Geophys, CH-8092 Zurich, Switzerland
[2] Tech Univ Munich, Dept Math, Chair Math Optimizat, D-85748 Garching, Germany
来源
SIAM JOURNAL ON SCIENTIFIC COMPUTING | 2015年 / 37卷 / 05期
基金
奥地利科学基金会;
关键词
seismic tomography; full-waveform inversion; elastic wave equation; semismooth Newton; Moreau-Yosida regularization; WAVE-FORM INVERSION; PATH-FOLLOWING METHODS; SPECTRAL-ELEMENT; ADJOINT METHODS; PROPAGATION; MINIMIZATION; EQUATION; MISFIT;
D O I
10.1137/140968331
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Seismic tomography is a technique to determine the material properties of the Earth's subsurface based on the observation of seismograms. This can be stated as a PDE-constrained optimization problem governed by the elastic wave equation. We present a semismooth Newton-PCG method with a trust-region globalization for full-waveform seismic inversion that uses a Moreau-Yosida regularization to handle additional constraints on the material parameters. We establish results on the differentiability of the parameter-to-state operator and analyze the proposed optimization method in a function space setting. The elastic wave equation is discretized by a high-order continuous Galerkin method in space and an explicit Newmark time-stepping scheme. The matrix-free implementation relies on the adjoint-based computation of the gradient and Hessian-vector products and on an MPI-based parallelization. Numerical results are shown for an application in geophysical exploration at reservoir scale.
引用
收藏
页码:S334 / S364
页数:31
相关论文
共 50 条
  • [1] A primal majorized semismooth Newton-CG augmented Lagrangian method for large-scale linearly constrained convex programming
    Chengjing Wang
    Peipei Tang
    [J]. Computational Optimization and Applications, 2017, 68 : 503 - 532
  • [2] A primal majorized semismooth Newton-CG augmented Lagrangian method for large-scale linearly constrained convex programming
    Wang, Chengjing
    Tang, Peipei
    [J]. COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, 2017, 68 (03) : 503 - 532
  • [3] SDPNAL+: a majorized semismooth Newton-CG augmented Lagrangian method for semidefinite programming with nonnegative constraints
    Yang, Liuqin
    Sun, Defeng
    Toh, Kim-Chuan
    [J]. MATHEMATICAL PROGRAMMING COMPUTATION, 2015, 7 (03) : 331 - 366
  • [4] A semismooth Newton-CG based dual PPA for matrix spectral norm approximation problems
    Chen, Caihua
    Liu, Yong-Jin
    Sun, Defeng
    Toh, Kim-Chuan
    [J]. MATHEMATICAL PROGRAMMING, 2016, 155 (1-2) : 435 - 470
  • [5] A semismooth Newton-CG based dual PPA for matrix spectral norm approximation problems
    Caihua Chen
    Yong-Jin Liu
    Defeng Sun
    Kim-Chuan Toh
    [J]. Mathematical Programming, 2016, 155 : 435 - 470
  • [6] A log-barrier Newton-CG method for bound constrained optimization with complexity guarantees
    O'Neill, Michael
    Wright, Stephen J.
    [J]. IMA JOURNAL OF NUMERICAL ANALYSIS, 2021, 41 (01) : 84 - 121
  • [7] A Newton-CG Augmented Lagrangian Method for Convex Quadratically Constrained Quadratic Semidefinite Programs
    Zhao, Xin-Yuan
    Cai, Tao
    Xu, Dachuan
    [J]. ADVANCES IN GLOBAL OPTIMIZATION, 2015, 95 : 337 - 345
  • [8] A NEWTON-CG AUGMENTED LAGRANGIAN METHOD FOR SEMIDEFINITE PROGRAMMING
    Zhao, Xin-Yuan
    Sun, Defeng
    Toh, Kim-Chuan
    [J]. SIAM JOURNAL ON OPTIMIZATION, 2010, 20 (04) : 1737 - 1765
  • [9] Complexity of a projected Newton-CG method for optimization with bounds
    Xie, Yue
    Wright, Stephen J.
    [J]. MATHEMATICAL PROGRAMMING, 2024, 207 (1-2) : 107 - 144
  • [10] A Semismooth Newton Method for Nonlinear Parameter Identification Problems with Impulsive Noise
    Clason, Christian
    Jin, Bangti
    [J]. SIAM JOURNAL ON IMAGING SCIENCES, 2012, 5 (02): : 505 - U295