In this section, we discuss important elements about discretizing Maxwell’s equations in the time-domain with the convolution term shown in eq. (9), to simulate IP effects in time-domain EM data. Appendix A.1 illustrates how convolutionary time-domain Maxwell’s equations can be discretized. Appendix A.2 describes how the singularity of SE conductivity function at t=0 is handled. Most of key challenges about this discretization are tackled in Marchant (2015) (see page 21), and we have extended his work, applied for Cole-Cole conductivity, to SE conductivity.
However, when cse=1, △σ(t=0) is singular and hence it requires special numerical treatment; this is described in Appendix A.2.
For the discretization, we use a staggered mimetic finite volume approach Hyman et al. (2002). Here, boldface with uppercase and lowercase indicate matrices and column vectors, respectively. Further details about the discretization can be found in Haber (2014) (see page 31). Discretizing eqs. (5), (6), and (9) yields
Here, C is the discrete edge-curl operator; Me and Mf are the edge and face inner-product matrices, respectively. For an inner-product matrix, the subscript indicates corresponding physical property (e.g. Mμ−1f: the face inner-product matrix for μ−1).
Rearranging the above equations to solve for e yields:
where P is an interpolation matrix, which projects db/dt fields, defined in a 3D domain, to a receiver location, and samples those fields at the measured time channels. For discretization of eqs. ( 17) to ( 19) we use, SimPEG’s mesh toolbox. The developed code is open-source as a SimPEG-EMIP package (https://github.com/sgkang/simpegEMIP)
The SE conductivity, σse(t) at t=0, is singular, whereas its integral is well-defined, as shown in eq. (6). When discretizing eq. (3), this singularity will be problematic. In particular, the issue occurs at the last time segment (k=n) of the convolution term in eq. (8), which can be written in continuous form:
This problem also occurs when the Cole-Cole function is used. Marchant (2015) (see page 31) tackled this issue by approximating e at this time segment as a linear function:
To obtain γ(△t(n)) and κ(△t(n)), we use the same trick. Integration of △σ(t) is not possible, so by Taylor expanding, we obtain an approximate form of △σ(t) which is valid for small t:
To test the developed SimPEG-EMIP code, we compare our numerical solution with an analytic solution. A halfspace earth is assumed. The conductivity of the halfspace is 0.05 S/m and its SE parameters are: ηse=0.7, τse=4ms, cse=0.6. Corresponding Cole-Cole parameters are: ηcc=0.8, τcc=0.005s, ccc=0.6. For the spatial discretization, a 2D cylindrically symmetric mesh is used; the smallest cell size is 6.5m × 5m. A horizontal source loop is located 30m above the surface. A step-off waveform is used for the input current and a horizontal receiver loop measuring the voltage (equivalent to -dbz/dt) is coincident with the source loop. Data are measured in the off-time over the time-range: 10-2-10 ms. Fig. 2 shows comparison between analytic and numerical solutions; they match well except for a small shift in the time of the zero-crossing, the two solutions are in good agreement.
Marchant, D. (2015). Induced polarization effects in inductive source electromagnetic data [Phdthesis, University of British Columbia]. http://dx.doi.org/10.14288/1.0135704
Hyman, J., Morel, J., Shashkov, M., & Steinberg, S. (2002). Mimetic Finite Difference Methods for Diffusion Equations. Computational Geosciences, 6(3), 333–352. 10.1023/A:1021282912658
Haber, E. (2014). Computational Methods in Geophysical Electromagnetics. Society for Industrial.