We study an inverse problem associated with an eddy current model. We first address the ill-posedness of the inverse problem by proving the compactness of the forward map with respect to the conductivity and the non-uniqueness of the recovery process. Then by virtue of non-radiating source conceptions, we establish a regularity result for the tangential trace of the true solution on the boundary, which is necessary to justify our subsequent mathematical formulation. After that, we formulate the inverse problem as a constrained optimization problem with an appropriate regularization and prove the existence and stability of the regularized minimizers. To facilitate the numerical solution of the nonlinear non-convex constrained optimization, we introduce a feasible Lagrangian and its discrete variant. Then the gradient of the objective functional is derived using the adjoint technique. By means of the gradient, a nonlinear conjugate gradient method is formulated for solving the optimization system, and a Sobolev gradient is incorporated to accelerate the iterative process. Numerical examples are provided to demonstrate the feasibility of the proposed algorithm.
We derive a mathematical model for eddy currents in two dimensional geometries where the conductors are thin domains. We assume that the current flows in the $x\_3$-direction and the inductors are domains with small diameters of order $O(ε)$. The model is derived by taking the limit $ε\to 0$. A convergence rate of $O(ε^α)$ with $0<α<1/2$ in the $L^2$--norm is shown as well as weak convergence in the $W^{1,p}$ spaces for $1< p <2$.
This paper is concerned with the analysis of a class of optimal control problems governed by a time-harmonic eddy current system with a dipole source, which is taken as the control variable. A mathematical model is set up for the state equation where the dipole source takes the form of a Dirac mass located in the interior of the conducting domain. A non-standard approach featuring the fundamental solution of a $\operatorname{curl} \operatorname{curl} - \operatorname{Id} $ operator is proposed to address the well-posedness of the state problem, leading to a split structure of the state field as…
The goal of this paper is to contribute to the field of nondestructive testing by eddy currents. We provide a mathematical analysis and a numerical framework for simulating the imaging of arbitrarily shaped small volume conductive inclusions from electromagnetic induction data. We derive, with proof, a small-volume expansion of the eddy current data measured away from the conductive inclusion. The formula involves two polarization tensors: one associated with the magnetic contrast and the second with the conductivity of the inclusion. Based on this new formula, we design a location search algo…
The aim of this paper is to provide a solid mathematical discussion of the inverse problem in Magnetorelaxometry Imaging (MRXI), a currently developed technique for quantitative biomedical imaging using magnetic nanoparticles. We provide a detailed discussion of the mathematical modeling of the forward problems including possible ways to activate and measure, leading to a severely ill-posed linear inverse problem. Moreover, we formulate an idealized version of the inverse problem for infinitesimal small activation coils, which allows for a more detailed analysis of uniqueness issues. We propos…
The aim of this paper is to put the problem of vibroacoustic imaging into the mathematical framework of inverse problems (more precisely, coefficient identification in PDEs) and regularization. We present a model in frequency domain, prove uniqueness of recovery of the spatially varying nonlinearity parameter from measurements of the acoustic pressure at multiple frequencies, and derive Newton as well as gradient based reconstruction methods.
The explicit formulation of the general inverse problem on conservation laws is presented for the first time. In this problem one aims to derive the general form of systems of differential equations that admit a prescribed set of conservation laws. The particular cases of the inverse problem on first integrals of ordinary differential equations and on conservation laws for evolution equations are studied. We also solve the inverse problem on conservation laws for differential equations admitting an infinite dimensional space of zeroth-order conservation-law characteristics. This particular cas…
One of the most interesting problems discerned when applying the Black--Scholes model to financial derivatives, is reconciling the deviation between expected and observed values. In our recent work, we derived a new model based on the Black--Scholes model and formulated a new mathematical approach to an inverse problem in financial markets. In this paper, we apply microlocal analysis to prove a uniqueness of the solution to our inverse problem. While microlocal analysis is used for various models in physics and engineering, this is the first attempt to apply it to a model in financial markets.…
This paper provides a theoretical foundation for some common formulations of inverse problems in wave propagation, based on hyperbolic systems of linear integro-differential equations with bounded and measurable coefficients. The coefficients of these time-dependent partial differential equations respresent parametrically the spatially varying mechanical properties of materials. Rocks, manufactured materials, and other wave propagation environments often exhibit spatial heterogeneity in mechanical properties at a wide variety of scales, and coefficient functions representing these properties m…
In two dimensional turbulence, vortex thinning process is one of the attractive mechanism to explain inverse energy cascade in terms of vortex dynamics. By direct numerical simulation to the two-dimensional Navier-Stokes equations with small-scale forcing and large-scale damping, Xiao-Wan-Chen-Eyink (2009) found an evidence that inverse energy cascade may proceed with the vortex thinning mechanism. The aim of this paper is to analyze the vortex-thinning mechanism mathematically (using the incompressible Euler equations), and give a mathematical evidence that large-scale vorticity gains energy …
Fluorescent Optical Tomography (FOT) is a new bio-medical imaging method with wider industrial applications. It is currently intensely researched since it is very precise and with no side effects for humans, as it uses non-ionising red and infrared light. Mathematically, FOT can be modelled as an inverse parameter identification problem, associated with a coupled elliptic system with Robin boundary conditions. Herein we utilise novel methods of Calculus of Variations in $L^\infty$ to lay the mathematical foundations of FOT which we pose as a PDE-constrained minimisation problem in $L^p$ and $L…
This paper reviews recent results on hybrid inverse problems, which are also called coupled-physics inverse problems of multi-wave inverse problems. Inverse problems tend to be most useful in, e.g., medical and geophysical imaging, when they combine high contrast with high resolution. In some settings, a single modality displays either high contrast or high resolution but not both. In favorable situations, physical effects couple one modality with high contrast with another modality with high resolution. The mathematical analysis of such couplings forms the class of hybrid inverse problems. Hy…
In this paper we investigate a mathematical model arising from volcanology describing surface deformation effects generated by a magma chamber embedded into Earth's interior and exerting on it a uniform hydrostatic pressure. The modeling assumptions translate mathematically into a Neumann boundary value problem for the classical Lamé system in a half-space with an embedded pressurized cavity. We establish well-posedness of the problem in suitable weighted Sobolev spaces and analyse the inverse problem of determining the pressurized cavity from partial measurements of the displacement field pro…
We study an inverse problem for Light Sheet Fluorescence Microscopy (LSFM), where the density of fluorescent molecules needs to be reconstructed. Our first step is to present a mathematical model to describe the measurements obtained by an optic camera during an LSFM experiment. Two meaningful stages are considered: excitation and fluorescence. We propose a paraxial model to describe the excitation process which is directly related with the Fermi pencil-beam equation. For the fluorescence stage, we use the transport equation to describe the transport of photons towards the detection camera. Fo…
This paper is a review of recent mathematical and computational advances in optical tomography. We discuss the physical foundations of forward models for light propagation on microscopic, mesoscopic and macroscopic scales. We also consider direct and numerical approaches to the inverse problems that arise at each of these scales. Finally, we outline future directions and open problems in the field.
This survey of recent developments in cloaking and transformation optics is an expanded version of the lecture by Gunther Uhlmann at the 2008 Annual Meeting of the American Mathematical Society.
More than ten years ago Ikehata discovered two mathematical methods for the purpose of extracting information about the location and shape of unknown discontinuity embedded in a known background medium from observation data. The methods are called the probe and enclosure methods. This paper presents their past and recent applications to inverse obstacle scattering problems of acoustic wave.
In this paper we provide a mathematical model for imaging an anisotropic, orthotropic medium with Polarization-Sensitive Optical Coherence Tomography (PS-OCT). The imaging problem is formulated as an inverse scattering problem in three dimensions for reconstructing the electrical susceptibility of the medium using Maxwell's equations. Our reconstruction method is based on the second-order Born-approximation of the electric field.
In this paper, we represent the exact solution of a two phase inverse spherical Stefan problem, where along with unknown temperature functions heat flux function has to be determined. Suggested solution is obtained from new form of integral error function and its properties which are represented in the form of series whose coefficients have to be determined. The model problem can be used for mathematical modeling and investigation of arc phenomena in electrical contacts.
We study the inverse problem of recovering the order and the diffusion coefficient of an elliptic fractional partial differential equation from a finite number of noisy observations of the solution. We work in a Bayesian framework and show conditions under which the posterior distribution is given by a change of measure from the prior. Moreover, we show well-posedness of the inverse problem, in the sense that small perturbations of the observed solution lead to small Hellinger perturbations of the associated posterior measures. We thus provide a mathematical foundation to the Bayesian learning…
