Skip to Main content Skip to Navigation
Theses

Mathematical and numerical study of the inverse problem of electro-seismicity in porous media

Abstract : In this thesis, we study the inverse problem of the coupling phenomenon of electromagnetic (EM) and seismic waves. Partial differential equations governing the coupling phenomenon are composed of Maxwell and Biot equations. Since the coupling phenomenon is rather weak, in low frequency we only consider the transformation from EM waves to seismic waves. We use electroseismic model to refer to this transformation. In the model, the electric field becomes the source of Biot equations. A coupling coefficient is used to denote the efficiency of the transformation.Chapter 2, we consider the existence and uniqueness of the forward problem in both frequency domain and time domain. In the frequency domain, we propose the suitable Sobolev space to consider the electrokinetic problem. We prove that the weak formula satisfies a Garding's inequality using Helmohltz decomposition. The Fredholm alternative can be applied, which shows that the existence is equivalent to the uniqueness. In the time domain, the weak solution is defined and the existence and uniqueness of the weak solution is proved.The stability of the inverse problem is considered in Chapter 3. We first prove Carleman estimates for both Biot equations and electroseismic equations. Based on the Carleman estimates for electroseismic equations, we prove a Holder stability to inverse all the parameters in Maxwell equation and the coupling coefficient. To simply the problem, we use electrostatic equations to replace Maxwell equations. The inverse problem is decomposed into two steps: the inverse source problem for Biot equations and the inverse parameter problem for the electrostatic equation. We can prove the stability of the inverse source problem for Biot equations based on the Carleman estimate for Biot equations. Then the conductivity and the coupling coefficient can be reconstructed with the information from the first step.In Chapter 4, we solve the electroseismic equations numerically. The electrostatic equation is solved by the Matlabe PDE toolbox. Biot equations are solved with a staggered finite difference method. To decrease the computation consumption, we only deal with the two dimensional problem. To simulate waves propagating in unbounded domain, we use PML to absorb waves reaching the cut-off boundary.Chapter 5 deals with the numerical inverse source problem for Biot equations. The method we are going to use is a variant of the time reversal method. The first step of the method is to transform the source problem into an initial value problem without any source. Then the application of the time reversal method recovers the initial value. Numerical examples demonstrate that this method works well even for Biot equations with a small damping term. But if the damping term is too large, the inverse process is not symmetric with the forward process and the reconstruction results degenerate.
Complete list of metadatas

Cited literature [59 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01876282
Contributor : Abes Star :  Contact
Submitted on : Tuesday, September 18, 2018 - 12:30:06 PM
Last modification on : Monday, May 18, 2020 - 10:18:11 PM
Document(s) archivé(s) le : Wednesday, December 19, 2018 - 2:29:11 PM

File

XUE_2017_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01876282, version 1

Collections

Citation

Qi Xue. Mathematical and numerical study of the inverse problem of electro-seismicity in porous media. Computer Aided Engineering. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM084⟩. ⟨tel-01876282⟩

Share

Metrics

Record views

254

Files downloads

66