Linear seismic inversion

Last updated

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) [1] 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. [2] 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.

Contents

The method has long been useful for geophysicists and can be categorized into two broad types: [3] 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. [3] Since seismic linear inversion is a deterministic inversion method, the stochastic method will not be discussed beyond this point.

Figure 1: Linear Seismic Inversion Flow Chart Linear Seismic Inversion Flow Chart.jpg
Figure 1: Linear Seismic Inversion Flow Chart

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. [1] According to Wiggins (1972), [4] 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) [5] 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) [6] used the brachistotrone model of John Bernoulli for travel time of a ray along a path. In Cooke and Schneider (1983), [1] 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) [1] 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

  1. where t is ray travel time, x, y, z are depth coordinates and vi is the constant velocity between interfaces i − 1 and i.
  2. where represent bulk modulus, density, the source of acoustic waves, and the pressure variation.

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, [3] 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) [1] 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), [4] Cooke and Schneider (1983). [1]

Consider a set of seismic field observations , for and a set of earth model parameters to be inverted for, for . The field observations can be represented in either or , where and are vectorial representations of model parameters and the field observations as a function of earth parameters. Similarly, for representing guesses of model parameters, is the vector of numerical computed seismic data using the forward model of Sec. 1.3. Taylor's series expansion of about is given below.

  1. On linearization by dropping the non-linear terms (terms with (p⃗ − ⃗q) of order 2 and above), the equation becomes
  2. Considering that has components and and have components, the discrete form of Eqn. 5 results in a system of linear equations in variables whose matrix form is shown below.

is called the difference vector in Cooke and Schneider (1983). [1] It has a size of and its components are the difference between the observed trace and the numerically computed seismic data. is the corrector vector of size , while is called the sensitivity matrix. It has a size of 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

is computed from the forward model, while is the experimental data. Thus, is a known quality. On the other hand, is unknown and is obtained by solution of Eqn. 10. This equation is theoretically solvable only when is invertible, that is, if it is a square matrix so that the number of observations is equal to the number of unknown earth parameters. If this is the case, the unknown corrector vector , 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. , 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. [6] An estimate of the corrector vector is obtained using the least squares procedure to find the corrector vector that minimizes , which is the sum of the squares of the error, . [6]

The error is given by

In the least squares procedure, the corrector vector that minimizes is obtained as below.

Thus,

From the above discussions, the objective function is defined as either the or norm of given by or or of given by or .

The generalized procedure for inverting any experimental seismic data for or , 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.

  1. An initial guess of the model impedance is provided to initiate the inversion process.
  2. A synthetic seismic data is computed by the forward model, using the model impedance above.
  3. The difference vector is computed as the difference between experimental and synthetic seismic data.
  4. The sensitivity matrix is computed at this value of the impedance profile.
  5. Using and the difference vector from 3 above, the corrector vector is calculated. A new impedance profile is obtained as
  6. The or norm of the computed corrector vector is compared with a provided tolerance value. If the computed norm is less than the tolerance, the numerical procedure is concluded and the inverted impedance profile for the earth region is given by from Eqn. 14. On the other hand, if the norm is greater than the tolerance, iterations through steps 2-6 are repeated but with an updated impedance profile as computed from Eqn. 14. Fig. 2 [7] shows a typical example of impedance profile updating during successive iteration process. According to Cooke and Schneider (1983), [1] use of the corrected guess from Eqn. 14 as the new initial guess during iteration reduces the error.

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) [1] 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.

Figure 8:Amplitude Log Amplitude Log.jpg
Figure 8:Amplitude Log
Figure 9a:Impedance Logs Inverted From Amplitude Impedance Logs Inverted From Amplitude.jpg
Figure 9a:Impedance Logs Inverted From Amplitude
Figure 9b: Impedance Well Log Impedance Well Log.jpg
Figure 9b: Impedance Well Log

Inversion examples

Temperature inversion from Marescot (2010)

Source: [8]

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 . Thus, the dimension of is 2 i.e. the number of parameters inverted for is 2.

The objective of this inversion algorithm is to find , which is the value of 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 , the components of the forward model is written as

  1. so that

We present results from Marescot (2010) [8] for the case of for which the observed temperature values at depths were at and at . These experimental data were inverted to obtain earth parameter values of and . 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 and . The figure shows a good match between experimental and numerical data.

Wave travel time inversion from Marescot (2010)

Source: [8]

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), [1] 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.

Related Research Articles

<span class="mw-page-title-main">Pauli matrices</span> Matrices important in quantum mechanics and the study of spin

In mathematical physics and mathematics, the Pauli matrices are a set of three 2 × 2 complex matrices that are traceless, Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma, they are occasionally denoted by tau when used in connection with isospin symmetries.

<span class="mw-page-title-main">Wave equation</span> Differential equation important in physics

The wave equation is a second-order linear partial differential equation for the description of waves or standing wave fields such as mechanical waves or electromagnetic waves. It arises in fields like acoustics, electromagnetism, and fluid dynamics.

<span class="mw-page-title-main">Noether's theorem</span> Statement relating differentiable symmetries to conserved quantities

Noether's theorem states that every continuous symmetry of the action of a physical system with conservative forces has a corresponding conservation law. This is the first of two theorems published by mathematician Emmy Noether in 1918. The action of a physical system is the integral over time of a Lagrangian function, from which the system's behavior can be determined by the principle of least action. This theorem only applies to continuous and smooth symmetries of physical space.

In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols , (where is the nabla operator), or . In a Cartesian coordinate system, the Laplacian is given by the sum of second partial derivatives of the function with respect to each independent variable. In other coordinate systems, such as cylindrical and spherical coordinates, the Laplacian also has a useful form. Informally, the Laplacian Δf (p) of a function f at a point p measures by how much the average value of f over small spheres or balls centered at p deviates from f (p).

<span class="mw-page-title-main">Path integral formulation</span> Formulation of quantum mechanics

The path integral formulation is a description in quantum mechanics that generalizes the stationary action principle of classical mechanics. It replaces the classical notion of a single, unique classical trajectory for a system with a sum, or functional integral, over an infinity of quantum-mechanically possible trajectories to compute a quantum amplitude.

In analytical mechanics, generalized coordinates are a set of parameters used to represent the state of a system in a configuration space. These parameters must uniquely define the configuration of the system relative to a reference state. The generalized velocities are the time derivatives of the generalized coordinates of the system. The adjective "generalized" distinguishes these parameters from the traditional use of the term "coordinate" to refer to Cartesian coordinates.

Sound pressure or acoustic pressure is the local pressure deviation from the ambient atmospheric pressure, caused by a sound wave. In air, sound pressure can be measured using a microphone, and in water with a hydrophone. The SI unit of sound pressure is the pascal (Pa).

Acoustic impedance and specific acoustic impedance are measures of the opposition that a system presents to the acoustic flow resulting from an acoustic pressure applied to the system. The SI unit of acoustic impedance is the pascal-second per cubic metre, or in the MKS system the rayl per square metre (Rayl/m2), while that of specific acoustic impedance is the pascal-second per metre (Pa·s/m), or in the MKS system the rayl (Rayl). There is a close analogy with electrical impedance, which measures the opposition that a system presents to the electric current resulting from a voltage applied to the system.

In Hamiltonian mechanics, a canonical transformation is a change of canonical coordinates (q, p) → that preserves the form of Hamilton's equations. This is sometimes known as form invariance. Although Hamilton's equations are preserved, it need not preserve the explicit form of the Hamiltonian itself. Canonical transformations are useful in their own right, and also form the basis for the Hamilton–Jacobi equations and Liouville's theorem.

In physics, the Hamilton–Jacobi equation, named after William Rowan Hamilton and Carl Gustav Jacob Jacobi, is an alternative formulation of classical mechanics, equivalent to other formulations such as Newton's laws of motion, Lagrangian mechanics and Hamiltonian mechanics.

The Lyapunov equation, named after the Russian mathematician Aleksandr Lyapunov, is a matrix equation used in the stability analysis of linear dynamical systems.

<span class="mw-page-title-main">Gauss–Newton algorithm</span> Mathematical algorithm

The Gauss–Newton algorithm is used to solve non-linear least squares problems, which is equivalent to minimizing a sum of squared function values. It is an extension of Newton's method for finding a minimum of a non-linear function. Since a sum of squares must be nonnegative, the algorithm can be viewed as using Newton's method to iteratively approximate zeroes of the components of the sum, and thus minimizing the sum. In this sense, the algorithm is also an effective method for solving overdetermined systems of equations. It has the advantage that second derivatives, which can be challenging to compute, are not required.

Screw theory is the algebraic calculation of pairs of vectors, also known as dual vectors – such as angular and linear velocity, or forces and moments – that arise in the kinematics and dynamics of rigid bodies.

In differential geometry, the four-gradient is the four-vector analogue of the gradient from vector calculus.

The Richards equation represents the movement of water in unsaturated soils, and is attributed to Lorenzo A. Richards who published the equation in 1931. It is a quasilinear partial differential equation; its analytical solution is often limited to specific initial and boundary conditions. Proof of the existence and uniqueness of solution was given only in 1983 by Alt and Luckhaus. The equation is based on Darcy-Buckingham law representing flow in porous media under variably saturated conditions, which is stated as

In statistics, the generalized linear array model (GLAM) is used for analyzing data sets with array structures. It based on the generalized linear model with the design matrix written as a Kronecker product.

Non-linear least squares is the form of least squares analysis used to fit a set of m observations with a model that is non-linear in n unknown parameters (m ≥ n). It is used in some forms of nonlinear regression. The basis of the method is to approximate the model by a linear one and to refine the parameters by successive iterations. There are many similarities to linear least squares, but also some significant differences. In economic theory, the non-linear least squares method is applied in (i) the probit regression, (ii) threshold regression, (iii) smooth regression, (iv) logistic link regression, (v) Box–Cox transformed regressors ().

<span class="mw-page-title-main">Diffusion</span> Transport of dissolved species from the highest to the lowest concentration region

Diffusion is the net movement of anything generally from a region of higher concentration to a region of lower concentration. Diffusion is driven by a gradient in Gibbs free energy or chemical potential. It is possible to diffuse "uphill" from a region of lower concentration to a region of higher concentration, as in spinodal decomposition. Diffusion is a stochastic process due to the inherent randomness of the diffusing entity and can be used to model many real-life stochastic scenarios. Therefore, diffusion and the corresponding mathematical models are used in several fields beyond physics, such as statistics, probability theory, information theory, neural networks, finance, and marketing.

The transmission-line matrix (TLM) method is a space and time discretising method for computation of electromagnetic fields. It is based on the analogy between the electromagnetic field and a mesh of transmission lines. The TLM method allows the computation of complex three-dimensional electromagnetic structures and has proven to be one of the most powerful time-domain methods along with the finite difference time domain (FDTD) method. The TLM was first explored by British electrical engineer Raymond Beurle while working at English Electric Valve Company in Chelmsford. After he had been appointed professor of electrical engineering at the University of Nottingham in 1963 he jointly authored an article, "Numerical solution of 2-dimensional scattering problems using a transmission-line matrix", with Peter B. Johns in 1971.

<span class="mw-page-title-main">Lagrangian mechanics</span> Formulation of classical mechanics

In physics, Lagrangian mechanics is a formulation of classical mechanics founded on the stationary-action principle. It was introduced by the Italian-French mathematician and astronomer Joseph-Louis Lagrange in his presentation to the Turin Academy of Science in 1760 culminating in his 1788 grand opus, Mécanique analytique.

References

  1. 1 2 3 4 5 6 7 8 9 10 Cooke, D. A.; Schneider W. A. (June 1983). "Generalized linear inversion of reflection seismic data". Geophysics. 48 (6): 665–676. Bibcode:1983Geop...48..665C. doi:10.1190/1.1441497.
  2. Pica, A.; Diet J. P.; Tarantola A. (March 1990). "Nonlinear inversion of seismic reflection data in a laterally invariant medium". Geophysics. 55 (3): 284–292. Bibcode:1990Geop...55..284P. doi:10.1190/1.1442836.
  3. 1 2 3 Francis, A.M. (November 2006). "Understanding Stochastic and Seismic Inversion". First Break. 24 (11). doi:10.3997/1365-2397.2006026.
  4. 1 2 Wiggins, Ralph (February 1972). "The general linear inverse problem: Implication of surface waves and free oscillations for Earth structure". Reviews of Geophysics. 10 (1): 251–285. Bibcode:1972RvGSP..10..251W. doi:10.1029/RG010i001p00251.
  5. Tarantola, A. (1984). "Linearized and inversion of seismic reflection-data". Geophysical Prospecting. 32 (6): 908–1015. doi:10.1111/j.1365-2478.1984.tb00751.x.
  6. 1 2 3 Kanasewich, E. R.; Chiu S. K. L (June 1985). "Least squares inversion of spatial seismic refraction data". Bulletin of the Seismological Society of America. 75 (3): 865–880.
  7. Cooke, D; Cant J. (April 2010). "Model-based seismic inversion: Comparing deterministic and probabilistic approaches". CSEG Recorder.
  8. 1 2 3 Marescot, Laurent. "Introduction to Inversion in Geophysics" . Retrieved 3 May 2013.

Further reading