This disclosure relates generally to the field of geophysical prospecting for, or production of, hydrocarbons and, more particularly, to seismic data processing. Specifically, the disclosure relates to a basically time-domain method for inverting seismic data, e.g. full wavefield inversion (FWI), to infer a subsurface model of a physical property such as velocity, where however at least one quantity required for the inversion, such as the Hessian of the cost function, is computed in the frequency domain. Seismic data inversion is used for exploring for hydrocarbon reservoirs and for developing and producing them.
Full wavefield inversion, a process for determining subsurface properties by iteratively constructing models such that wavefields calculated with those models match measured data, is well known to be a computationally intense task. Each iteration, of which there may be tens to hundreds, requires the solution of the wave equation for each source location, often for multiple times at each iteration to adequately compute the model updates.
The computations required to perform FWI can be carried out in either the time or frequency domain. Each domain has advantages and disadvantages relative to the other. For instance, forward modeling in the time domain (TD) naturally produces the entire time series from each shot containing entire source bandwidth with less computational memory requirement, but is computationally expensive. This computation needs to be repeated as many times as the number of shots in seismic survey, drastically increasing the computational cost of the method.
On the other hand, frequency domain (FD) modeling computes one frequency component at a time with relatively low computational cost, but requires very large computational memory depending upon the method used. Frequency domain methods have additional advantage that the computations may be repeated at many shot locations with very minor added cost, if a matrix factorization approach is used for solution of the Helmholtz equation.
The large memory requirement of the FD FWI has led to the adoption of the TD FWI as the algorithm of choice for most workers. It has been proposed that the time-domain simulation method be used even when FD FWI is desired in order to reduce the memory requirement. This is done by applying discrete Fourier transform to the seismic data simulated by time-domain numerical methods [3].
One of the disadvantages of the time-domain approaches is the difficulty in computing the diagonal of the Hessian matrix. The diagonal of the Hessian matrix contains information on the source and receiver illumination, and can be used to improve the convergence of the inversion.
Each iteration of FWI proceeds by perturbing the previously computed model in a direction designed to decrease the misfit E (often called the objective function or the cost function) between the computed and measured data. The direction used is usually the negative of the gradient vector, which is the derivative of the misfit with respect to the model parameters (e.g., velocity νp, density ρ, or attenuation Q). Thus the model parameter m(x) is updated by using the equation
where α is the step length, which may be optimized with a line-search method.
Often, the iterations can be made to converge faster by preconditioning the search direction (gradient) with the inverse of the matrix of second derivatives of the misfit function, known as the Hessian matrix. This tends to equalize the contributions of model variations at different locations; that is, it may be looked at as undoing the effects of varying illumination in the subsurface. In this case the model update becomes
where β is again a step length that can be optimized; if the misfit function is nearly quadratic, β should be close to one.
However, computing the Hessian, even approximately, is extremely costly using TD methods. Therefore, one often resorts to using simple heuristic approximations such as rescaling the gradient by depth, or one can use some quickly computable semi-analytic approximation to the Hessian operator. Such approximations usually consider only the variation of source illumination, and ignore or approximate the effect of the receiver illumination. Consequently, they may ignore important variations caused by heterogeneity in the model parameters [1, 2].
Another important problem in TD FWI is its application to multi-parameter inversion. For example, one may wish to invert for both νp and Qp, or νp and the VTI anisotropy parameters ε and δ. It is known that the separation of the effects of these parameters is difficult, with the result that inversion will mix the effects of the parameters with each other (known as the cross-talk effect). For instance, applying FWI to update a model having a perfect νp but an incorrect ε, for example, will result in an update on both parameters. In addition, the parameters enter the wave equation with very different numerical scales. Their units are quite different and simply inverting for them simultaneously without rescaling leaves the inversion insensitive to the parameters with small scales.
Application of the inverse Hessian to the search directions (gradients) for multi-parameter FWI can help address these issues. First, the inverse Hessian has the effect of rescaling the equations such that all parameters contribute on an equal basis. In addition, this rescaling is done in a spatially varying way that accounts for variations in parameter value and illumination. Second, if one uses the cross terms of the Hessian
some of the issues with cross talk can be improved.
However, computation of the TD Hessian, particularly in the multi-parameter case, adds significantly to the cost of FWI. In addition, for the case of Q inversion simply computing the gradient with respect to Q is expensive, since one must employ on the order of three or more memory variables, in addition to the usual stresses and velocities, in order to account for the viscoacoustic (or viscoelastic) nature of the wave propagation. Computation of the components of the Hessian involving Q will then be proportionately more expensive.
In one embodiment, the invention is a method for inferring a model of velocity or other physical property by iteratively inverting measured seismic data, comprising the following steps, with (a) and (b) performed in either order:
(a) computing, using a computer, a cost function measuring misfit between the measured seismic data and simulated seismic data, and computing a gradient of the cost function with respect to parameters of the model;
(b) computing a Hessian of the cost function;
(c) computing an inverse of the Hessian and multiplying it times the gradient, thereby generating a conditioned gradient; and
(d) using the conditioned gradient to determine an update to the model;
wherein at least one of (a) and (b) is performed in frequency domain, but all other steps are performed in time domain.
For example, where the Hessian is computed in the frequency domain, it may be computed at one or more selected discrete frequencies, preferably two or more frequencies with a weighted average being used for the ensuing time-domain steps.
The present invention and its advantages will be better understood by referring to the following detailed description and the attached drawings in which:
The invention will be described in connection with example embodiments. However, to the extent that the following detailed description is specific to a particular embodiment or a particular use of the invention, this is intended to be illustrative only, and is not to be construed as limiting the scope of the invention. On the contrary, it is intended to cover all alternatives, modifications and equivalents that may be included within the scope of the invention, as defined by the appended claims.
The issues outlined in the Background section show that reductions in the cost of computing Hessian operators for TD FWI could lead to performance and convergence improvements for FWI. The present invention addresses this computing cost problem by using a hybrid approach in which these operators are computed using a frequency domain method, where they can be computed more rapidly while avoiding approximations that ignore parameter variations. The computations can potentially be performed using a coarser grid than that employed for the TD simulations, since the preconditioning operator does not need to be defined with the same detail as the model updates in order to provide improvement in convergence. The FD computations can be performed at a frequency or frequencies selected by the user, which do not need to be as high as those used for the TD inversion. In the simplest application of the method, only the diagonal of the Hessian is computed, so that application of its inverse to the gradient simply requires dividing the gradient values by the Hessian values.
The following description of example embodiments of the invention will refer to using a matrix-factorization-based solver for the finite-differenced Helmholtz equation to perform the FD gradient and Hessian computations. However, other approaches could be used, for example the Helmholtz equation could be solved using finite element (FE) or discontinuous Galerkin (DG) methods, or a one-way wave-equation method could be used to compute the Hessian, or a frequency-wavenumber method could be applied with a layer cake approximation to the velocity model. The invention is not limited to a particular type of FD algorithm.
The computation of the diagonal of the (Gauss-Newton) Hessian is straightforward in the frequency domain, consisting of the following sums over source xs and receiver xr locations (specifying here the velocity νp as the model parameter):
where C(x) is the coefficient term in the Helmholtz equation, f is the frequency, and G is the Green's function in the frequency domain. Using the factorization method (see Reference 4, which is incorporated by reference herein in all jurisdictions that allow it), once the Helmholtz operator for the given model has been factorized, computation of the Green's function at each source or receiver location is very rapid and the Hessian can be computed quickly.
Explicitly, the Helmholtz equation for pressure p(x) is given by
∇2p(x)+C2p(x)=−s(x,ω)), (4)
where the coefficient term C(x) is given by ω/c(x), where c(x) is the phase velocity, which, depending upon the physical parameters included in the model, is a function of some or all of P-wave propagation velocity νp, absorption Q, and anisotropy parameters, and where ω=2πf. The term s(x, ω) models the insertion of a source.
An advantageous method for solving the Helmholtz equation involves, as mentioned above, discretizing equation 4 on a grid, factorizing the resulting matrix operator using, for example, an LU algorithm, and storing the resulting factors. Once these are available, equation 4 can be solved very efficiently for any source location, given a fast algorithm for Green's function and Hessian computations in the frequency domain (see Reference 4). That is, Eqn. 4 may be written as
Ap=−s,
where A is the matrix given by discretizing the left hand side of equation 4, and here p is a vector containing the pressure at each grid point. Well-known linear algebra algorithms are used to factor A as A=LU, where L and U are, respectively, lower and upper triangular matrices. This special form allows for rapid solution of the discretized Helmholtz equation. Again, see reference 4 for more detail.
The computation of the diagonal of the Hessian is, using Eq. 3 and Parseval's identity,
where g is the Green's function in the time domain. Eqn. 5 is specialized, without loss of generality, to acoustic propagation where c(x)=νp(x). The frequency domain formulation in Eqn. 3 shows that, while the Hessian for a single frequency component may be computed efficiently using the factorization, accurate Hessian computation requires the computation of the Hessian over the entire frequency band. On the other hand, the time-domain formulation in Eq. 5 shows that, while time domain methods do not require frequency by frequency computation, the Green's function needs to be computed from all the sources and the receivers to each subsurface location x and then needs to be convolved with each other in the time domain.
In the present invention, it is recognized that the frequency-domain Hessian Eq. 3 contains only the magnitude of the Green's function, and so is a slowly varying function of frequency. Therefore, Eq. 3 can be approximated as a discrete sum over a few selected frequencies instead of the frequency integral over the entire frequency band. This computation may then be further approximated using only the low frequency components. Since only a few discrete low frequency components are used in computation, one can now drastically increase the size of the finite difference grids in the frequency domain, and so reduce the memory requirement accordingly. This approximate frequency domain Hessian can then be used to precondition the gradients computed in the time domain using Eq. 2. The approximation could be avoided by transforming the frequency-domain Hessian back to time domain, but at great computational expense. In preferred embodiments of the invention, an average of the frequency-domain Hessians is used. In more preferred embodiments, the average is a weighted average. In even more preferred embodiments, the weighting is by the shape of the spectrum of the time-domain data.
In the next section, results are shown for a TD inversion performed using an FD preconditioner computed as shown here. A constant-density acoustic FWI case is assumed, where the inversion variable is the acoustic velocity νp. The method, however, is not limited to the inversion of the velocity, but is generally applicable in multi-parameter inversion where the inversion variables include density, shear velocity, attenuation coefficients, or anisotropy parameters. The method should be particularly suitable for inversion of attenuation and anisotropy parameters, since their spatial frequency of variation is low, and so do not require high resolution in space.
A synthetic example is now presented of preconditioning the time-domain FWI gradient using the frequency-domain Hessian matrix in the Marmousi model (see Ref 5). The application of the present inventive method to this test example may be explained in conjunction with the flow chart of
For the present test exercise, the preconditioned gradient from the present inventive method (step 67) is compared against the preconditioned gradient formed using the conventional semi-analytic time-domain diagonal Hessian that ignores the receiver illumination. The receiver illumination is ignored in the semi-analytic preconditioner due to prohibitive computational cost in time-domain solvers.
Comparison of the preconditioned gradients in
In summary, key aspects of the invention include the following:
(1) A frequency domain method is used, potentially on a relatively coarse grid, to compute quantities that may be used to reduce computation time and/or improve quality of a time-domain inversion.
(2) A particular quantity advantageously computed in the frequency domain in this manner is the second-derivative matrix (Hessian), which may be used to precondition time domain FWI, improving convergence and accuracy.
(3) Another quantity advantageously computed in the frequency domain in this manner is the gradient vector (of the misfit), which may be used to give the search direction for time-domain FWI, particularly for slowly varying parameters like Q or (ε, δ) in a multi-parameter TD FWI.
(4) The FD computations may be performed by a number of different methods, among them solution of the FD Helmholtz equation by factorization or iterative methods, use of f-x domain one-way solvers, or wavenumber solutions for layered media.
The foregoing description is directed to particular embodiments of the present invention for the purpose of illustrating it. It will be apparent, however, to one skilled in the art, that many modifications and variations to the embodiments described herein are possible. All such modifications and variations are intended to be within the scope of the present invention, as defined by the appended claims.
This application claims the benefit of U.S. Provisional Patent Application 61/977,406, filed Apr. 9, 2014, entitled FREQUENCY-DOMAIN AUGMENTED TIME-DOMAIN FULL WAVEFIELD INVERSION, the entirety of which is incorporated by reference herein.
Number | Date | Country | |
---|---|---|---|
61977406 | Apr 2014 | US |