Fixed-point proximity algorithms solving an incomplete Fourier transform model for seismic wavefield modeling

被引:3
|
作者
Wu, Tingting [1 ]
Shen, Lixin [2 ]
Xu, Yuesheng [3 ]
机构
[1] Shandong Normal Univ, Sch Math & Stat, Jinan 250014, Peoples R China
[2] Syracuse Univ, Dept Math, Syracuse, NY 13244 USA
[3] Old Dominion Univ, Dept Math & Stat, Norfolk, VA 23529 USA
基金
美国国家科学基金会;
关键词
Compressed sensing; Seismic wavefield modeling; Incomplete Fourier transform; Proximity algorithms; FINITE-DIFFERENCE SCHEME; HELMHOLTZ-EQUATION; FREQUENCY-SPACE; SIGNAL RECOVERY; OPTIMAL; 9-POINT; SCALAR;
D O I
10.1016/j.cam.2020.113208
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Seismic wavefield modeling is an important tool for the seismic interpretation. We consider modeling the wavefield in the frequency domain. This requires to solve a sequence of Helmholtz equations of wave numbers governed by the Nyquist sampling theorem. Inevitably, we have to solve Helmholtz equations of large wave numbers, which is a challenging task numerically. To address this issue, we develop two methods for modeling the wavefield in the frequency domain to obtain an alias-free result using lower frequencies of a number fewer than typically required by the Nyquist sampling theorem. Specifically, we introduce two l(1) regularization models to deal with incomplete Fourier transforms, which arise from seismic wavefield modeling in the frequency domain, and propose a new sampling technique to avoid solving the Helmholtz equations of large wave numbers. In terms of the fixed-point equation via the proximity operator of the l(1) norm, we characterize solutions of the two l(1) regularization models and develop fixed-point algorithms to solve these two models. Numerical experiments are conducted on seismic data to test the approximation accuracy and the computational efficiency of the proposed methods. Numerical results show that the proposed methods are accurate, robust and efficient in modeling seismic wavefield in the frequency domain with only a few low frequencies. (C) 2020 Elsevier B.V. All rights reserved.
引用
收藏
页数:20
相关论文
共 39 条
  • [31] A fixed-point model and algorithms for simulating urban freight distribution in a multimodal context with crossed congestion
    D'Acierno, L.
    Gallo, M.
    Montella, B.
    URBAN TRANSPORT XIV: URBAN TRANSPORT AND THE ENVIRONMENT IN THE 21ST CENTURY, 2008, 101 : 589 - +
  • [32] HIGH-RESOLUTION IMAGE RECONSTRUCTION: AN envol1/TV MODEL AND A FIXED-POINT PROXIMITY ALGORITHM
    Long, Wenting
    Lu, Yao
    Shen, Lixin
    Xu, Yuesheng
    INTERNATIONAL JOURNAL OF NUMERICAL ANALYSIS AND MODELING, 2017, 14 (02) : 255 - 282
  • [33] Iterative Algorithms for Solving the System of Mixed Equilibrium Problems, Fixed-Point Problems, and Variational Inclusions with Application to Minimization Problem
    Chamnarnpan, Tanom
    Kumam, Poom
    JOURNAL OF APPLIED MATHEMATICS, 2012,
  • [34] A Novel Fixed-Point Iterative Process for Multivalued Mappings Applied in Solving a HIV Model of Fractional Order
    Alqahtani, Rubayyi T.
    Okeke, Godwin Amechi
    Ugwuogor, Cyril Ifeanyichukwu
    MATHEMATICS, 2025, 13 (05)
  • [35] A fixed-point proximity algorithm for recovering low-rank components from incomplete observation data with application to motion capture data refinement
    Hu, Wenyu
    Lu, Yao
    Ren, Jin
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2022, 410
  • [36] SELF-ADAPTIVE ITERATIVE ALGORITHMS FOR SOLVING MULTIPLE-SET SPLIT EQUALITY COMMON FIXED-POINT PROBLEMS OF DEMICONTRACTIVE OPERATORS
    Su, Hongyan
    Zhao, Jing
    JOURNAL OF NONLINEAR FUNCTIONAL ANALYSIS, 2018, 2018
  • [37] Fixed-point and stratified analysis of the fine structure and composition of five gallstones with Fourier transform infrared (FT-IR) specular reflection spectroscopy
    Suo, Tao
    Peng, Pinwei
    Feng, Min
    Liu, Houbao
    Ai, Zhilong
    Tong, Saixiong
    Yang, Xiaoyong
    Qin, Xinyu
    MICROSCOPY RESEARCH AND TECHNIQUE, 2012, 75 (03) : 294 - 299
  • [38] An Iterative Fourier Transform Algorithm for digital hologram generation using phase-only information and its implementation in a fixed-point digital signal processor
    Torii, Yasuhiro
    Balladares-Ocana, Leandro
    Martinez-Castro, J.
    OPTIK, 2013, 124 (22): : 5416 - 5421
  • [39] Bounded Model Checking of State-Space Digital Systems The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling
    Monteiro, Felipe R.
    FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 1151 - 1153