DOI QR코드

DOI QR Code

A Study on Consistency of Numerical Solutions for Wave Equation

파동방정식 수치해의 일관성에 관한 연구

  • Pyun, Sukjoon (Department of Energy Resources Engineering, Inha University) ;
  • Park, Yunhui (Department of Energy Resources Engineering, Inha University)
  • 편석준 (인하대학교 에너지자원공학과) ;
  • 박윤희 (인하대학교 에너지자원공학과)
  • Received : 2016.07.07
  • Accepted : 2016.08.26
  • Published : 2016.08.31

Abstract

Since seismic inversion is based on the wave equation, it is important to calculate the solution of wave equation exactly. In particular, full waveform inversion would produce reliable results only when the forward modeling is accurately performed because it uses full waveform. When we use finite-difference or finite-element method to solve the wave equation, the convergence of numerical scheme should be guaranteed. Although the general proof of convergence is provided theoretically, the consistency and stability of numerical schemes should be verified for practical applications. The implementation of source function is the most crucial factor for the consistency of modeling schemes. While we have to use the sinc function normalized by grid spacing to correctly describe the Dirac delta function in the finite-difference method, we can simply use the value of basis function, regardless of grid spacing, to implement the Dirac delta function in the finite-element method. If we use frequency-domain wave equation, we need to use a conservative criterion to determine both sampling interval and maximum frequency for the source wavelet generation. In addition, the source wavelet should be attenuated before applying it for modeling in order to make it obey damped wave equation in case of using complex angular frequency. With these conditions satisfied, we can develop reliable inversion algorithms.

탄성파 자료의 역산은 파동방정식에 기초하고 있으므로 파동방정식의 해를 정확하게 구하는 것이 가장 중요하다. 특히, 전파형역산은 파동장 전체를 이용하기 때문에 정문제에 해당하는 모델링이 정확하게 이루어져야 신뢰할 수 있는 결과를 얻게 된다. 파동방정식의 수치해를 구하는 대표적인 기법인 유한차분법과 유한요소법은 해의 수렴성을 보장할 수 있어야 하는데, 해의 수렴성은 이론적으로 일반화된 증명이 되어 있으나 실제 문제에 적용할 경우 일관성과 안정성을 분석해야 한다. 모델링 결과의 일관성은 송신원 함수의 구현이 매우 중요한 부분인데, 유한차분법은 디랙 델타 함수(Dirac delta function)를 나타낼 때 격자 간격으로 표준화된 싱크 함수(sinc function)를 사용해야 하는 반면 유한요소법은 격자 간격에 관계없이 기저함수 값을 사용하면 된다. 주파수 영역 파동방정식을 사용할 경우 송신 파형 함수의 스펙트럼을 정확하게 표현하기 위해 샘플링 이론으로 정의되는 시간 간격보다 더 조밀한 샘플링 간격을 사용하고 나이퀴스트(Nyquist) 주파수보다 더 높은 주파수를 최대 주파수로 사용해야 한다. 또한, 복소 각주파수를 사용하는 경우 감쇠 파동방정식을 만족하기 위해서는 송신 파형 함수를 먼저 감쇠한 후 사용해야 한다. 이러한 요건들이 모두 만족되었을 때 신뢰할 수 있는 역산 알고리즘 개발이 가능하다.

Keywords

References

  1. Becker, E. B., Carey, G. F., and Oden, J. T., 1981, Finite Elements, An Introduction: Volume I, PRENTICE-HALL, Inc.
  2. Carcione, J. M., Herman, G. C., and Ten Kroode, A. P. E., 2002, Seismic modeling, Geophysics, 67, 1304-1325. https://doi.org/10.1190/1.1500393
  3. Clayton, R. W., and Engquist, B., 1980, Absorbing boundary conditions for wave-equation migration, Geophysics, 45, 895-904. https://doi.org/10.1190/1.1441094
  4. Douglas, Jr. J., Santos, J. E., Sheen, D., and Bennethum, L. S., 1993, Frequency domain treatment of one-dimensional scalar waves, Mathematical Models and Methods in Applied Sciences, 3, 171-194. https://doi.org/10.1142/S0218202593000102
  5. Douglas, Jr. J., Sheen, D., and Santos, J. E., 1994, Approximation of scalar waves in the space-frequency domain, Mathematical Models and Methods in Applied Sciences, 4, 509-531. https://doi.org/10.1142/S0218202594000297
  6. Hicks, G. J., 2002, Arbitrary source and receiver positioning in finite-difference schemes using Kaiser windowed sinc functions, Geophysics, 67, 156-165. https://doi.org/10.1190/1.1451454
  7. Jeong, W., Pyun, S., Son, W., and Min, D. J., 2013, A numerical study of simultaneous-source full waveform inversion with l1-norm. Geophysical Journal International, 194, 1727-1737. https://doi.org/10.1093/gji/ggt182
  8. Reynolds, A. C., 1978, Boundary conditions for the numerical solution of wave propagation problems, Geophysics, 43, 1099-1110. https://doi.org/10.1190/1.1440881
  9. Robertsson, J. O., Bednar, B., Blanch, J., Kostov, C., and van Manen, D. J., 2007, Introduction to the supplement on seismic modeling with applications to acquisition, processing, and interpretation. Geophysics, 72, SM1-SM4. https://doi.org/10.1190/1.2755959
  10. Strikwerda, J. C., 2004, Finite difference schemes and partial differential equations, SIAM.
  11. Versteeg, R., 1994, The Marmousi experience: Velocity model determination on a synthetic complex data set, The Leading Edge, 13, 927-936. https://doi.org/10.1190/1.1437051
  12. Virieux, J., and Operto, S., 2009, An overview of full-waveform inversion in exploration geophysics, Geophysics, 74, WCC1-WCC26. https://doi.org/10.1190/1.3238367