Asymptotic Theory Diffusive Electromagnetic Imaging: Jean Virieux,' Carlos Flores-Luna1,2 and Dominique Gibert3 '
Asymptotic Theory Diffusive Electromagnetic Imaging: Jean Virieux,' Carlos Flores-Luna1,2 and Dominique Gibert3 '
Asymptotic Theory Diffusive Electromagnetic Imaging: Jean Virieux,' Carlos Flores-Luna1,2 and Dominique Gibert3 '
Accepted 1994 June 6. Received 1994 June 6; in original form 1993 August 4
INTRODUCTION
Recovering conductivity information in the Earth is a
difficult task because the electromagnetic response is mainly
controlled by a diffusion process broadening the signal.
Many attempts have encountered limited success (Weidelt
1972, 1975; Barnett 1984; 'IXpp, Hohmann & Swift 1984;
Smith 1988; Tarits 1989) associated with the difficult task of
locating the conductivity anomaly responsible for the
electromagnetic signal observed at the free surface. In many
papers (Zhdanov & Frenkel 1983; Zhdanov 1988; Zhdanov
& Booker 1993; Zhdanov & Keller 1994), Zhdanov and his
coworkers have proposed a 'reverse' continuation of the
field in a manner similar to seismic-wave migration. Lee,
McMechan & Aiken (1987) and Levy, Oldenburg & Wang
(1988) have applied seismic techniques for layered media
with complex matrices for propagator leading to the
difficulty of strong variations of the amplitudes. In both
cases, the complete Green function is used and one may
think that the success of many seismic migration techniques
based on the separation of traveltime fitting and amplitude
adjustment has not yet been exploited.
Does a way exist to construct an asymptotic solution for
the diffusion electromagnetic problem which will be helpful
in an 'electromagnetic' imaging? It will be a more direct way
than to convert electromagnetic data into pseudo-seismic
data in order to use standard techniques of seismic imaging.
Recent papers by Lee, Liu & Morrison (1989), Gilbert &
Virieux (1991) and Lee & Xie (1993) have suggested this
_
aH --LVxE,
at
Po
aE
u~,E+ E - =
at
V x H,
857
Downloaded from http://gji.oxfordjournals.org/ at Texas A&M University Evans Library on June 4, 2014
SUMMARY
W e propose an asymptotic theory for diffusive electromagnetic imaging. Three steps
are required t o perform this imaging. (1) A high-frequency solution is first
constructed which mimics the one usually found in wave-propagation phenomena.
(2) This solution, valid for a smooth continuous description of the resistivity in the
medium, is used in a first-order Born approximation leading to a linear relation
between the resistivity perturbation of the subsurface and the perturbation of the
electric signal obtained at the free surface. (3) This linear relation is asymptotically
inverted by using an iterative quasi-Newtonian inversion based on a least-squares
criterion developed by Jin et al. (1992). Although the extension to smooth
heterogeneous reference medium is possible, we have only tested the inversion
scheme for homogeneous reference media as Zhdanov & Frenkel (1983) previously
did with another method.
858
J . Virieux et al.
(3)
which might be considered as an extension of the wave
equation with the extra diffusive term u,,aE,ldt. Although
transformation exists to convert diffusion into propagation
(Levy et al. 1988; Lee et al. 1989; Gibert & Virieux 1991),
deep differences arising from the diffusive extra term are
found which prevent a straightforward parallelism between
techniques used in propagation and in diffusion.
The separation between the T E mode and the TM mode
is not more valid at interfaces of zeroth-order discontinuity
for the conductivity (Wait 1981). Boundary conditions have
to be applied which couple the TM and TE modes. We do
not consider interfaces in the following and we shall
consider only a smooth continuous medium necessary for
our asymptotic imaging.
Going to the Fourier domain with the following sign
convention given by
(4)
and keeping the same notation for the Fourier transform of
the function E,, we deduce the Helmholtz equation:
where r is the distance between the line source (0,O) and the
receiver (x, z ) and H ( t ) is the Heaviside function. The time
4
the
at which the solution is maximum is t = ~ o u , , r 2 /while
mean square distance of the diffusion from the source at
time t is 4t/p,uo (Carslaw & Jaeger 1978, p. 256). In
practical applications, the penetration depth of diffusive
electromagnetic signal from the surface of the Earth ranges
from a few kilometres up to many hundreds of kilometres
for commonly used frequencies (Cagniard 1953).
The solution (8) must be analysed carefully when
compared with the exact solution (7). We must underline
that we have only constructed an approximate asymptotic
solution in the 2-D homogeneous case. Moreover a
frequency-dependent scaling factor 11appears in
the solution. This factor came for the spatial extension of
the source. One can find that a similar factor 1 1 6 appears
in the 2-D asymptotic solution of the wave propagation
corresponding to the Hilbert transform. As for the wave
propagation, this factor will be retained during our
construction of an asymptotic solution for a smoothly
varying medium. Then, it will be introduced at the end of
the procedure in the final solution to take into account the
geometry of the problem as done for wave propagation
(Bleistein 1984).
Obviously, this solution has a specific damping and
oscillating factor we hope to observe for a smooth
inhomogeneous medium. Following the basic idea leading to
the high-frequency approximation for the wave-equation
solution (Aki & Richards 1980), we are going to construct
an asymptotic solution for the diffusion equation.
We must underline that similar exact solutions can be
constructed for 1-D and 3-D geometries. These solutions in
the Fourier domain display the same specific damping and
oscillating factor without any approximation which was not
the case for 2-D geometry. Consequently, the asymptotic
solution we are going to construct is the exact solution for
the homogeneous 1-D and 3-D cases, while it is only an
approximation for the homogeneous 2-D cases. This means
that the 2-D geometry is the worst situation to be considered
for asymptotic diffraction tomographic reconstruction. The
reconstruction method we propose will use exact Green
functions when the 1-D or 3-D background media are
homogeneous. This validates the use of the asymptotic
Downloaded from http://gji.oxfordjournals.org/ at Texas A&M University Evans Library on June 4, 2014
I,\
(Vr)' = u(x)p,
+ 2VA, - V Z = 0
VZAk-,- AkVZr+ 2VAk
-(lek)
(10)
V r = 0 k > = 1.
WAVE
lD
Impulsive source
rJ Heaviside step
[Hilbert function
Downloaded from http://gji.oxfordjournals.org/ at Texas A&M University Evans Library on June 4, 2014
This ansatz for the solution is the one used in the ray theory
except that the io term for wave propagation has been
replaced by -Gfor diffusive transport. It has been
previously proposed by Tikhonov (1965) on a purely
theoretical basis. This term has no obvious property in the
Fourier domain as the translation property of the
exponential terms. Nevertheless, we have already constructed an analytical solution in the previous section with
this factor. The function 7 will be called the pseudo-phase
function following previous works on the link between
diffusion and propagation equations (Lee et al. 1989; Gibert
& Virieux 1991). The dimension of the pseudo-phase is the
square root of time.
For the wave-propagation equation, many other ansatz
have been suggested to take into account specific
geometries: ray theory singularities at caustics (Ludwig
1966), evanescent waves (Choudhary & Felsen 1973). A
seismological classification has been given by Chapman
(1985), while a review of different ansatz has been given by
Borovikov & Kinber (1974). These different ansatz show the
interest in developing specific asymptotic solutions for each
problem at hand.
Inserting the ansatz (9) in eq. (6) which is still valid for a
continuous inhomogeneous conductivity u ( x ) , we deduce
series of equations in powers of G:
A,V27
859
860
J. Virieux et al.
DIFFUSION
1D
BORN APPROXIMATION
u(x)iwp,,E,,(r,
r,)
+ VZE,,(r,r,) = -4zS(r
r,)
(16)
is expanded into
The transport equation which is the second one we are
interested in gives the evolution of the amplitude term as we
move along the ray. One finds an estimation of the
amplitude at s from s
(17)
AE,(r, r5, w )
where J is the Jacobian used in the definition of an
elementary surface perpendicular to the ray parameterized
by two coordinates y , and y z associated with the curvilinear
coordinate s.
The electrical field will be in the frequency domain
r, x , w ) Au(x)Ey(x,r,, w ) dx2,
where the domain of integration A is over diffracting points
x. The first-order Born approximation is obtained by
replacing E, with E; in the integral, leading to a linear
functional between Au and AE,,:
AE,(r, rs, 0)
(19)
where we have again introduced the specific frequencydependent factor for the 2-D geometry already mentioned in
the previous paragraph.
AEy(r, rs, 0)
Downloaded from http://gji.oxfordjournals.org/ at Texas A&M University Evans Library on June 4, 2014
861
where
T(r, y
5 rS)2
-1
2
e-r(r.x.rs)2/41
H ( t ) dx.
(23)
-3
180
5
u
;a -5
Q)
g o
a
a
-6
0
&
-7
-8
- 11
3
L
log(frequency)
-180
-1
,i/
2
log(frequency)
I
5
Figure 3. Comparison between the exact solution (solid line) and the asymptotic Born approximation (dashed line) for a line diffractor. The
difference arises essentially from the asymptotic approximation. Both amplitude and phases are plotted.
Downloaded from http://gji.oxfordjournals.org/ at Texas A&M University Evans Library on June 4, 2014
862
J . Virieux et al.
(4
180
Slm
-1
----
I
I
2
log(frequency)
-1
2
log(frequency)
(bl
180
/'
50 m
--
d)
z
s
-5
-1
2
log(frequency)
-180
-1
2
log(frequency)
Figure 4. (a) 'Comparison between the exact solution and the Born approximation for a cylinder diffractor of radius 20m. Notice the
disagreement introduced by the Born approximation when the contrast of conductivity increases. For clarity, only the phase response for the
0.1 S m-' case is included. (b) Comparison between the exact solution and the Born approximation for a cylinder diffractor of conductivity
0.1 S m-'. Notice the disagreement introduced by the Born approximation when the size of the cylinder increases. For clarity, only the phase
response for the 50 m radius case is included.
Downloaded from http://gji.oxfordjournals.org/ at Texas A&M University Evans Library on June 4, 2014
a
-180
-5
-1
863
(AE, 1 AE:)y =
dw AE,*(r,ra, w )
rp,r
AWr, rs, 0 )
0)
(25)
ASYMPTOTIC I N V E R S I O N
AEy = G Au
(24)
Source
Free Surface
Receiver
(Au I Au)A=
\ /
Diffractor poin
(28)
where AE; are the observed data and GAu are the
synthetic ones estimated through eq. (24). We formulate the
inverse problem as
find A c : min [~(Au)],
ACT
(29)
GG A u = Gi AE,
Figure 5. Geometry of pseudo-rays around the diffractor point.
(30)
Downloaded from http://gji.oxfordjournals.org/ at Texas A&M University Evans Library on June 4, 2014
J . Virieux et al.
864
(AE, G Acr),/
= (Gt A E v
1 ACT),#,
(31)
Yt(r, x, r,, w )
-1
2
G*r('.'Js)
(33)
which reduces to
Am(%)
= H-'(xo, x ) Y " ( x ) ,
(34)
where
rs, w )
(35)
lp(,.,x,
),
112
-*
r(r.x.rs)
AE;"(r,
ra,w )
(36)
(37)
We have used the complex conjugate operation giving
6*
= fi and the transformation of w into w ' = - 0 . By
doing so, we are able to write the gradient as a single
integral in the time domain
dofie-
x {cos
[mp
\/?;r(r.XO.rs'e-~~'(~-~))
( x - X")]
- sin -\/;siz p (x - % ) I }
H ( x , %) - H(x0, X
0 ) W - %),
(42)
We shall
(43)
Downloaded from http://gji.oxfordjournals.org/ at Texas A&M University Evans Library on June 4, 2014
M%)
= 1/H(%, xg)
Yo(%).
(45)
+K ' y "
(46)
(47)
which shows that the iterative method corrects for any bias
in the Hessian estimation.
A self-consistent test
Before performing an inversion for a complete solution, we
want to test the internal coherence of the linear inversion we
propose. We have computed the Born approximation for a
cylinder of radius 20 m at a depth of 100 m. The conductivity
-200 m
200 m
Om
200 m
Figure 6. Conductivity contrast recovered after 50 iterations for one source at the free surface above the cylinder. Inverted data are the Born
solution.
Downloaded from http://gji.oxfordjournals.org/ at Texas A&M University Evans Library on June 4, 2014
865
866
J. Virieux et al.
-200 m
200 m
Om
Figure 7. Conductivity contrast recovered after 50 iterations for five sources distributed at the free surface on both sides of the cylinder.
Inverted data are the Born solution.
-200 m
200 m
Om
200 m
Figure 8. Conductivity contrast recovered after 50 iterations for-onesource at the free surface above the cylinder. Inverted solution is the exact
analytical solution.
Downloaded from http://gji.oxfordjournals.org/ at Texas A&M University Evans Library on June 4, 2014
200 m
861
z
1.0 -
0.5 -
0.0000
0.0001
0.0002
0.0003
Time (sec)
Figure 9. Synthetic electric signal (triangles) recorded at the receiver above the cylinder as well as the predicted signal (circles) computed for
the cylinder image. The residual is also shown (diamonds), as well as the synthetic Born solution used in the forward modelling (dots).
which are simply not focused back into the medium when
incoherent as already shown for seismic data (Lambar6 et al.
1992).
The use of the Born approximation has limitations when
we try to recover a spatially extended object on a
homogeneous background. The possible extension to a
smooth inhomogeneous reference medium will improve the
position of heterogeneities by requiring only a fit of the
relatively high-frequency part of the electric signal when the
smooth background velocity has already been obtained. In
-200 m
200 m
Om
200 m
Figure 10. Conductivity contrast recovered after 50 iterations for five sources distributed at the free surface on both sides of the cylinder. The
inverted solution is the exact analytical solution.
Downloaded from http://gji.oxfordjournals.org/ at Texas A&M University Evans Library on June 4, 2014
-0.5
868
J. Virieux et al.
ACKNOWLEDGMENTS
This work was partly supported by the CNRS-INSU through
the Tomographic group and MEN-DRED through Jeune
Equipe RuaDE. We thank two anonymous reviewers for
their helpful comments.
REFERENCES
Downloaded from http://gji.oxfordjournals.org/ at Texas A&M University Evans Library on June 4, 2014