Linear seismic inversion

Inverse modeling is a mathematical technique where the objective is to determine the physical properties of the subsurface of an earth region that has produced a given seismogram. Cooke and Schneider (1983) defined it as calculation of the earth's structure and physical parameters from some set of observed seismic data. The underlying assumption in this method is that the collected seismic data are from an earth structure that matches the cross-section computed from the inversion algorithm. Some common earth properties that are inverted for include acoustic velocity, formation and fluid densities, acoustic impedance, Poisson's ratio, formation compressibility, shear rigidity, porosity, and fluid saturation.
The method has long been useful for geophysicists and can be categorized into two broad types: Deterministic and stochastic inversion. Deterministic inversion methods are based on comparison of the output from an earth model with the observed field data and continuously updating the earth model parameters to minimize a function, which is usually some form of difference between model output and field observation. As such, this method of inversion to which linear inversion falls under is posed as an minimization problem and the accepted earth model is the set of model parameters that minimizes the objective function in producing a numerical seismogram which best compares with collected field seismic data.
On the other hand, stochastic inversion methods are used to generate constrained models as used in reservoir flow simulation, using geostatistical tools like kriging. As opposed to deterministic inversion methods which produce a single set of model parameters, stochastic methods generate a suite of alternate earth model parameters which all obey the model constraint. However, the two methods are related as the results of deterministic models is the average of all the possible non-unique solutions of stochastic methods. Since seismic linear inversion is a deterministic inversion method, the stochastic method will not be discussed beyond this point.
Linear inversion.
The deterministic nature of linear inversion requires a functional relationship which models, in terms of the earth model parameters, the seismic variable to be inverted. This functional relationship is some mathematical model derived from the fundamental laws of physics and is more often called a forward model. The aim of the technique is to minimize a function which is dependent on the difference between the convolution of the forward model with a source wavelet and the field collected seismic trace. As in the field of optimization, this function to be minimized is called the objective function and in convectional inverse modeling, is simply the difference between the convolved forward model and the seismic trace. As earlier mentioned, different types of variables can be inverted for but for clarity, these variables will be referred to as the impedance series of the earth model. In the following subsections we will describe in more detail, in the context of linear inversion as a minimization problem, the different components that are necessary to invert seismic data.
Forward model.
The centerpiece of seismic linear inversion is the forward model which models the generation of the experimental data collected. According to Wiggins (1972), it provides a functional (computational) relationship between the model parameters and calculated values for the observed traces. Depending on the seismic data collected, this model may vary from the classical wave equations for predicting particle displacement or fluid pressure for sound wave propagation through rock or fluids, to some variants of these classical equations. For example, the forward model in Tarantola (1984) is the wave equation for pressure variation in a liquid media during seismic wave propagation while by assuming constant velocity layers with plane interfaces, Kanasewich and Chiu (1985) used the brachistotrone model of John Bernoulli for travel time of a ray along a path. In Cooke and Schneider (1983), the model is a synthetic trace generation algorithm expressed as in Eqn. 3, where R(t) is generated in the Z-domain by recursive formula. In whatever form the forward model appears, it is important that it not only predicts the collected field data, but also models how the data is generated. Thus, the forward model by Cooke and Schneider (1983) can only be used to invert CMP data since the model invariably assumes no spreading loss by mimicking the response of a laterally homogeneous earth to a plane-wave source
where "s"("t") = synthetic trace, "w"("t") = source wavelet, and "R"("t") = reflectivity function.
Objective function.
An important numerical process in inverse modeling is to minimize the objective function, which is a function defined in terms of the difference between the collected field seismic data and the numerically computed seismic data. Classical objective functions include the sum of squared deviations between experimental and numerical data, as in the least squares methods, the sum of the magnitude of the difference between field and numerical data, or some variant of these definitions. Irrespective of the definition used, numerical solution of the inverse problem is obtained as earth model that minimize the objective function.
In addition to the objective function, other constraints like known model parameters and known layer interfaces in some regions of the earth are also incorporated in the inverse modeling procedure. These constraints, according to Francis 2006, help to reduce non-uniqueness of the inversion solution by providing a priori information that is not contained in the inverted data while Cooke and Schneider (1983) reports their useful in controlling noise and when working in a geophysically well-known area.
Mathematical analysis of generalized linear inversion procedure.
The objective of mathematical analysis of inverse modeling is to cast the generalized linear inverse problem into a simple matrix algebra by considering all the components described in previous sections. viz; forward model, objective function etc. Generally, the numerically generated seismic data are non-linear functions of the earth model parameters. To remove the non-linearity and create a platform for application of linear algebra concepts, the forward model is linearized by expansion using a Taylor series as carried out below. For more details see Wiggins (1972), Cooke and Schneider (1983).
Consider a set of formula_1 seismic field observations formula_2, for formula_3 and a set of formula_4 earth model parameters formula_5 to be inverted for, for formula_6. The field observations can be represented in either formula_7 or formula_8, where formula_9 and formula_7 are vectorial representations of model parameters and the field observations as a function of earth parameters. Similarly, for formula_11 representing guesses of model parameters, formula_12 is the vector of numerical computed seismic data using the forward model of Sec. 1.3. Taylor's series expansion of formula_7 about formula_14 is given below.
formula_15 is called the difference vector in Cooke and Schneider (1983). It has a size of formula_16 and its components are the difference between the observed trace and the numerically computed seismic data. formula_17 is the corrector vector of size formula_18, while formula_19 is called the sensitivity matrix. It has a size of formula_20 and its comments are such that each column is the partial derivative of a component of the forward function with respect to one of the unknown earth model parameters. Similarly, each row is the partial derivative of a component of the numerically computed seismic trace with respect to all unknown model parameters.
Solution algorithm.
formula_12 is computed from the forward model, while formula_7 is the experimental data. Thus,formula_15 is a known quality. On the other hand, formula_17 is unknown and is obtained by solution of Eqn. 10. This equation is theoretically solvable only when formula_19 is invertible, that is, if it is a square matrix so that the number of observations formula_1 is equal to the number formula_4 of unknown earth parameters. If this is the case, the unknown corrector vector formula_17, is solved for as shown below, using any of the classical direct or iterative solvers for solution of a set of linear equations.
In most seismic inversion applications, there are more observations than the number of earth parameters to be inverted for, i.e. formula_29, leading to a system of equations that is mathematically over-determined. As a result, Eqn. 10 is not theoretically solvable and an exact solution is not obtainable. An estimate of the corrector vector is obtained using the least squares procedure to find the corrector vector formula_30 that minimizes formula_31, which is the sum of the squares of the error, formula_32.
The errorformula_32 is given by
In the least squares procedure, the corrector vector that minimizes formula_34 is obtained as below.
Thus,
From the above discussions, the objective function is defined as either the formula_35 or formula_36 norm of formula_30 given by
formula_38 or formula_39 or of formula_15 given by formula_41 or formula_42.
The generalized procedure for inverting any experimental seismic data for formula_43 or formula_44, using the mathematical theory for inverse modeling, as described above, is shown in Fig. 1 and described as follows.
An initial guess of the model impedance is provided to initiate the inversion process. The forward model uses this initial guess to compute a synthetic seismic data which is subtracted from the observed seismic data to calculate the difference vector.
Parameterization of the earth model space.
Irrespective of the variable to be inverted for, the earth's impedance is a continuous function of depth (or time in seismic data) and for numerical linear inversion technique to be applicable for this continuous physical model, the continuous properties have to be discretized and/or sampled at discrete intervals along the depth of the earth model. Thus, the total depth over which model properties are to be determined is a necessary starting point for the discretization. Commonly, as shown in Fig. 3, this properties are sampled at close discrete intervals over this depth to ensure high resolution of impedance variation along the earth's depth. The impedance values inverted from the algorithm represents the average value in the discrete interval.
Considering that inverse modeling problem is only theoretically solvable when the number of discrete intervals for sampling the properties is equal to the number of observation in the trace to be inverted, a high-resolution sampling will lead to a large matrix which will be very expensive to invert. Furthermore, the matrix may be singular for dependent equations, the inversion can be unstable in the presence of noise and the system may be under-constrained if parameters other than the primary variables inverted for, are desired. In relation to parameters desired, other than impedance, Cooke and Schneider (1983) gives them to include source wavelet and scale factor.
Finally, by treating constraints as known impedance values in some layers or discrete intervals, the number of unknown impedance values to be solved for are reduced, leading to greater accuracy in the results of the inversion algorithm.
Inversion examples.
Temperature inversion from Marescot (2010).
We start with an example to invert for earth parameter values from temperature depth distribution in a given earth region. Although this example does not directly relate to seismic inversion since no traveling acoustic waves are involved, it nonetheless introduces practical application of the inversion technique in a manner easy to comprehend, before moving on to seismic applications. In this example, the temperature of the earth is measured at discrete locations in a well bore by placing temperature sensors in the target depths. By assuming a forward model of linear distribution of temperature with depth, two parameters are inverted for from the temperature depth measurements.
The forward model is given by
where formula_54. Thus, the dimension of formula_14 is 2 i.e. the number of parameters inverted for is 2.
The objective of this inversion algorithm is to find formula_9, which is the value of formula_57 that minimizes the difference between the observed temperature distribution and those obtained using the forward model of Eqn. 15. Considering the dimension of the forward model or the number of temperature observations to be formula_4, the components of the forward model is written as
We present results from Marescot (2010) for the case of formula_59 for which the observed temperature values at depths were formula_60 at formula_61 and formula_62 at formula_63. These experimental data were inverted to obtain earth parameter values of formula_64 and formula_65. For a more general case with large number of temperature observations, Fig. 4 shows the final linear forward model obtained from using the inverted values of formula_66 and formula_67. The figure shows a good match between experimental and numerical data.
Wave travel time inversion from Marescot (2010).
This examples inverts for earth layer velocity from recorded seismic wave travel times. Fig. 5 shows the initial velocity guesses and the travel times recorded from the field, while Fig. 6a shows the inverted heterogeneous velocity model, which is the solution of the inversion algorithm obtained after 30 iterations. As seen in Fig. 6b, there is good comparison between the final travel times obtained from the forward model using the inverted velocity and the field record travel times. Using these solutions, the ray path was reconstructed and is shown to be highly tortuous through the earth model as shown in Fig. 7.
Seismic trace inversion from Cooke and Schneider (1983).
This example, taken from Cooke and Schneider (1983), shows inversion of a CMP seismic trace for earth model impedance (product of density and velocity) profile. The seismic trace inverted is shown in Fig. 8 while Fig. 9a shows the inverted impedance profile with the input initial impedance used for the inversion algorithm. Also recorded alongside the seismic trace is an impedance log of the earth region as shown in Fig. 9b. The figures show good comparison between the recorded impedance log and the numerical inverted impedance from the seismic trace.