scholarly journals Refraction traveltime tomography using damped monochromatic wavefield

Geophysics ◽  
2005 ◽  
Vol 70 (2) ◽  
pp. U1-U7 ◽  
Author(s):  
Sukjoon Pyun ◽  
Changsoo Shin ◽  
Dong-Joo Min ◽  
Taeyoung Ha

For complicated earth models, wave-equation–based refraction-traveltime tomography is more accurate than ray-based tomography but requires more computational effort. Most of the computational effort in traveltime tomography comes from computing traveltimes and their Fréchet derivatives, which for ray-based methods can be computed directly. However, in most wave-equation traveltime-tomography algorithms, the steepest descent direction of the objective function is computed by the backprojection algorithm, without computing a Fréchet derivative directly. We propose a new wave-based refraction-traveltime–tomography procedure that computes Fréchet derivatives directly and efficiently. Our method involves solving a damped-wave equation using a frequency-domain, finite-element modeling algorithm at a single frequency and invoking the reciprocity theorem. A damping factor, which is commonly used to suppress wraparound effects in frequency-domain modeling, plays the role of suppressing multievent wavefields. By limiting the wavefield to a single first arrival, we are able to extract the first-arrival traveltime from the phase term without applying a time window. Computing the partial derivative of the damped wave-equation solution using the reciprocity theorem enables us to compute the Fréchet derivative of amplitude, as well as that of traveltime, with respect to subsurface parameters. Using the Marmousi-2 model, we demonstrate numerically that refraction traveltime tomography with large-offset data can be used to provide the smooth initial velocity model necessary for prestack depth migration.

Geophysics ◽  
2021 ◽  
pp. 1-91
Author(s):  
Yunhui Park ◽  
Sukjoon Pyun

First-arrival traveltime tomography (FATT) is used to delineate shallow velocity structures to identify static effects in oil exploration as well as to characterize the near surface for geotechnical purposes. Because FATT is generally used for land seismic data processing, it becomes necessary to consider irregular topography especially when performing wave-based tomography. However, the standard Cartesian finite-difference method cannot properly handle irregular topography. Hence, the embedded boundary method (EBM) is incorporated into the frequency-domain damped-wave equation in order to correctly describe irregular topography. The developed modeling algorithm is used to calculate first-arrival traveltimes and to perform FATT. The EBM-based modeling algorithm accurately describes the irregular surfaces of numerical velocity models on a regular mesh by exploiting the mirror image principle. The accuracy of the EBM-based traveltime calculation is validated by using two homogeneous velocity models with dipping and complex surfaces. The validation results demonstrate that the proposed algorithm is unaffected by the staircase approximation. The FATT is then applied to synthetic and real data to demonstrate the applicability of the developed algorithm to velocity models with complex topography. For the real data example, the inverted velocity model is used to apply static corrections. The processing results demonstrate an improvement in the continuity of seismic events, thus confirming the accuracy of the developed FATT method.


Geophysics ◽  
2006 ◽  
Vol 71 (3) ◽  
pp. R21-R30 ◽  
Author(s):  
Dong-Joo Min ◽  
Changsoo Shin

One of the applications of refraction-traveltime tomography is to provide an initial model for waveform inversion and Kirchhoff prestack migration. For such applications, we need a refraction-traveltime tomography method that is robust for complicated and high-velocity-contrast models. Of the many refraction-traveltime tomography methods available, we believe wave-based algorithms to be best suited for dealing with complicated models. We developed a new wave-based, refraction-tomography algorithm using a damped wave equation and a waveform-inversion back-propagation technique. The imaginary part of a complex angular frequency, which is generally introduced in frequency-domain wave modeling, acts as a damping factor. By choosing an optimal damping factor from the numerical-dispersion relation, we can suppress the wavetrains following the first arrival. The objective function of our algorithm consists of residuals between the respective phases of first arrivals in field data and in forward-modeled data. The model-response, first-arrival phases can be obtained by taking the natural logarithm of damped wavefields at a single frequency low enough to yield unwrapped phases, whereas field-data phases are generated by multiplying picked first-arrival traveltimes by the same angular frequency used to compute model-response phases. To compute the steepest-descent direction, we apply a waveform-inversion back-propagation algorithm based on the symmetry of the Green’s function for the wave equation (i.e., the adjoint state of the wave equation), allowing us to avoid directly computing and saving sensitivities (Fréchet derivatives). From numerical examples of a block-anomaly model and the Marmousi-2 model, we confirm that traveltimes computed from a damped monochromatic wavefield are compatible with those picked from synthetic data, and our refraction-tomography method can provide initial models for Kirchhoff prestack depth migration.


Geophysics ◽  
2003 ◽  
Vol 68 (4) ◽  
pp. 1380-1388 ◽  
Author(s):  
Changsoo Shin ◽  
Seungwon Ko ◽  
Wonsik Kim ◽  
Dong‐Joo Min ◽  
Dongwoo Yang ◽  
...  

We present a new, fast 3D traveltime calculation algorithm that employs existing frequency‐domain wave‐equation downward‐continuation software. By modifying such software to solve for a few complex (rather than real) frequencies, we are able to calculate not only the first arrival and the approximately most energetic traveltimes at each depth point but also their corresponding amplitudes. We compute traveltimes by either taking the logarithm of displacements obtained by the one‐way wave equation at a frequency or calculating derivatives of displacements numerically. Amplitudes are estimated from absolute value of the displacement at a frequency. By using the one‐way downgoing wave equation, we also circumvent generating traveltimes corresponding to near‐surface upcoming head waves not often needed in migration. We compare the traveltimes computed by our algorithm with those obtained by picking the most energetic arrivals from finite‐difference solutions of the one‐way wave equation, and show that our traveltime calculation method yields traveltimes comparable to solutions of the one‐way wave equation. We illustrate the accuracy of our traveltime algorithm by migrating the 2D IFP Marmousi and the 3D SEG/EAGE salt models.


2005 ◽  
Vol 48 (2) ◽  
pp. 467-473 ◽  
Author(s):  
Yi-Long QIN ◽  
Zhong-Jie ZHANG ◽  
Changsoo Shin ◽  
Ko Seungwon ◽  
Yun CHEN ◽  
...  

2021 ◽  
Vol 54 (1) ◽  
pp. 245-258
Author(s):  
Younes Bidi ◽  
Abderrahmane Beniani ◽  
Khaled Zennir ◽  
Ahmed Himadan

Abstract We consider strong damped wave equation involving the fractional Laplacian with nonlinear source. The results of global solution under necessary conditions on the critical exponent are established. The existence is proved by using the Galerkin approximations combined with the potential well theory. Moreover, we showed new decay estimates of global solution.


1980 ◽  
Vol 29 (4) ◽  
pp. 399-406
Author(s):  
Peter Dierolf ◽  
Jürgen Voigt

AbstractWe prove a result on compactness properties of Fréchet-derivatives which implies that the Fréchet-derivative of a weakly compact map between Banach spaces is weakly compact. This result is applied to characterize certain weakly compact composition operators on Sobolev spaces which have application in the theory of nonlinear integral equations and in the calculus of variations.


Sign in / Sign up

Export Citation Format

Share Document