-
Calderón cavities inverse problem as a shape-from-moments problem
Authors:
Alexandre Munnier,
Karim Ramdani
Abstract:
In this paper, we address a particular case of Calderón's (or conductivity) inverse problem in dimension two, namely the case of a homogeneous background containing a finite number of cavities (i.e. heterogeneities of infinitely high conductivities). We aim to recover the location and the shape of the cavities from the knowledge of the Dirichlet-to-Neumann (DtN) map of the problem. The proposed re…
▽ More
In this paper, we address a particular case of Calderón's (or conductivity) inverse problem in dimension two, namely the case of a homogeneous background containing a finite number of cavities (i.e. heterogeneities of infinitely high conductivities). We aim to recover the location and the shape of the cavities from the knowledge of the Dirichlet-to-Neumann (DtN) map of the problem. The proposed reconstruction method is non iterative and uses two main ingredients. First, we show how to compute the so-called generalized Pólia-Szegö tensors (GPST) of the cavities from the DtN of the cavities. Secondly, we show that the obtained shape from GPST inverse problem can be transformed into a shape from moments problem, for some particular configurations. However, numerical results suggest that the reconstruction method is efficient for arbitrary geometries.
△ Less
Submitted 9 March, 2018;
originally announced March 2018.
-
Conformal mapping for cavity inverse problem: an explicit reconstruction formula
Authors:
Alexandre Munnier,
Karim Ramdani
Abstract:
In this paper, we address a classical case of the Calderón (or conductivity) inverse problem in dimension two. We aim to recover the location and the shape of a single cavity $ω$ (with boundary $γ$) contained in a domain $Ω$ (with boundary $Γ$) from the knowledge of the Dirichlet-to-Neumann (DtN) map $Λ_γ: f \longmapsto \partial_n u^f|_Γ$, where $u^f$ is harmonic in $Ω\setminus\overlineω$,…
▽ More
In this paper, we address a classical case of the Calderón (or conductivity) inverse problem in dimension two. We aim to recover the location and the shape of a single cavity $ω$ (with boundary $γ$) contained in a domain $Ω$ (with boundary $Γ$) from the knowledge of the Dirichlet-to-Neumann (DtN) map $Λ_γ: f \longmapsto \partial_n u^f|_Γ$, where $u^f$ is harmonic in $Ω\setminus\overlineω$, $u^f|_Γ=f$ and $u^f|_γ=c^f$, $c^f$ being the constant such that $\int_γ\partial_n u^f\,{\rm d}s=0$. We obtain an explicit formula for the complex coefficients $a_m$ arising in the expression of the Riemann map $z\longmapsto a_1 z + a_0 + \sum_{m\leqslant -1} a_m z^{m}$ that conformally maps the exterior of the unit disk onto the exterior of $ω$. This formula is derived by using two ingredients: a new factorization result of the DtN map and the so-called generalized Pólia-Szegö tensors (GPST) of the cavity. As a byproduct of our analysis, we also prove the analytic dependence of the coefficients $a_m$ with respect to the DtN. Numerical results are provided to illustrate the efficiency and simplicity of the method.
△ Less
Submitted 9 September, 2015;
originally announced September 2015.
-
Asymptotic analysis of a Neumann problem in a domain with cusp. Application to the collision problem of rigid bodies in a perfect fluid
Authors:
Alexandre Munnier,
Karim Ramdani
Abstract:
We study a two dimensional collision problem for a rigid solid immersed in a cavity filled with a perfect fluid. We are led to investigate the asymptotic behavior of the Dirichlet energy associated to the solution of a Laplace Neumann problem as the distance $\varepsilon>0$ between the solid and the cavity's bottom tends to zero. Denoting by $α>0$ the tangency exponent at the contact point, we pro…
▽ More
We study a two dimensional collision problem for a rigid solid immersed in a cavity filled with a perfect fluid. We are led to investigate the asymptotic behavior of the Dirichlet energy associated to the solution of a Laplace Neumann problem as the distance $\varepsilon>0$ between the solid and the cavity's bottom tends to zero. Denoting by $α>0$ the tangency exponent at the contact point, we prove that the solid always reaches the cavity in finite time, but with a non zero velocity for $α<2$ (real shock case), and with null velocity for $α\geqslant 2$ (smooth landing case). Our proof is based on a suitable change of variables sending to infinity the cusp singularity at the contact. More precisely, for every $\varepsilon\geqslant 0$, we transform the Laplace Neumann problem into a generalized Neumann problem set on a domain containing a horizontal strip $]0,\ell_\varepsilon[\times ]0,1[$, where $\ell_\varepsilon\to +\infty$.
△ Less
Submitted 21 May, 2014;
originally announced May 2014.
-
Transparent boundary conditions for locally perturbed infinite hexagonal periodic media
Authors:
Christophe Besse,
Julien Coatleven,
Sonia Fliss,
Ingrid Lacroix-Violet,
Karim Ramdani
Abstract:
In this paper, we propose a strategy to determine the Dirichlet-to-Neumann (DtN) operator for infinite, lossy and locally perturbed hexagonal periodic media. We obtain a factorization of this operator involving two non local operators. The first one is a DtN type operator and corresponds to a half-space problem. The second one is a Dirichlet-to-Dirichlet (DtD) type operator related to the symmetry…
▽ More
In this paper, we propose a strategy to determine the Dirichlet-to-Neumann (DtN) operator for infinite, lossy and locally perturbed hexagonal periodic media. We obtain a factorization of this operator involving two non local operators. The first one is a DtN type operator and corresponds to a half-space problem. The second one is a Dirichlet-to-Dirichlet (DtD) type operator related to the symmetry properties of the problem. The half-space DtN operator is characterized via Floquet-Bloch transform, a family of elementary strip problems and a family of stationary Riccati equations. The DtD operator is the solution of an affine operator valued equation which can be reformulated as a non standard integral equation.
△ Less
Submitted 24 May, 2012;
originally announced May 2012.
-
Reconstructing the potential for the 1D Schrödinger equation from boundary measurements
Authors:
S. A. Avdonin,
V. S. Mikhaylov,
K. Ramdani
Abstract:
We consider the inverse problem of the determining the potential in the dynamical Schrödinger equation on the interval by the measurement on the whole boundary. Provided that source is \emph{generic} using the Boundary Control method we recover the spectrum of the problem from the observation at either left or right end points. Using the specificity of the one-dimensional situation we recover the…
▽ More
We consider the inverse problem of the determining the potential in the dynamical Schrödinger equation on the interval by the measurement on the whole boundary. Provided that source is \emph{generic} using the Boundary Control method we recover the spectrum of the problem from the observation at either left or right end points. Using the specificity of the one-dimensional situation we recover the spectral function, reducing the problem to the classical one which could be treated by known methods. We adapt the algorithm to the situation when only the finite number of eigenvalues are known and provide the result on the convergence of the method.
△ Less
Submitted 10 November, 2011;
originally announced November 2011.
-
Reconstructing initial data using observers : error analysis of the semi-discrete and fully discrete approximations
Authors:
Ghislain Haine,
Karim Ramdani
Abstract:
A new iterative algorithm for solving initial data inverse problems from partial observations has been recently proposed in Ramdani, Tucsnak and Weiss [15]. Based on the concept of observers (also called Luenberger observers), this algorithm covers a large class of abstract evolution PDE's. In this paper, we are concerned with the convergence analysis of this algorithm. More precisely, we provide…
▽ More
A new iterative algorithm for solving initial data inverse problems from partial observations has been recently proposed in Ramdani, Tucsnak and Weiss [15]. Based on the concept of observers (also called Luenberger observers), this algorithm covers a large class of abstract evolution PDE's. In this paper, we are concerned with the convergence analysis of this algorithm. More precisely, we provide a complete numerical analysis for semi-discrete (in space) and fully discrete approximations derived using finite elements in space and finite differences in time. The analysis is carried out for abstract Schrödinger and wave conservative systems with bounded observation (locally distributed).
△ Less
Submitted 27 August, 2010;
originally announced August 2010.
