Searcharxiv⌕ Search

arXiv subjects

Michael V. Klibanov

Publications and source records attributed to Michael V. Klibanov.

At least 55 records · Page 3Linked to original sources

Convexification-based globally convergent numerical method for a 1D coefficient inverse problem with experimental data

To compute the spatially distributed dielectric constant from the backscattering data, we study a coefficient inverse problem for a 1D hyperbolic equation. To solve the inverse problem, we establish a new version of Carleman estimate and then employ this estimate to construct a cost functional which is strictly convex on a convex bounded set with an arbitrary diameter in a Hilbert space. The strict convexity property is rigorously proved. This result is called the convexification theorem and is considered as the central analytical result of this paper. Minimizing this convex functional by the gradient descent method, we obtain the desired numerical solution to the coefficient inverse problems. We prove that the gradient descent method generates a sequence converging to the minimizer and we also establish a theorem confirming that the minimizer converges to the true solution as the noise in the measured data and the regularization parameter tend to zero. Unlike the methods that are based on optimization, our convexification method converges globally in the sense that it delivers a good approximation of the exact solution without requiring any initial guess. Results of numerical studies of both computationally simulated and experimental data are presented.

math.NA↗

Can a single PDE govern well the propagation of the electric wave field in a heterogeneous medium in 3D?

It is demonstrated in this paper that the propagation of the electric wave field in a heterogeneous medium in 3D can sometimes be governed well by a single PDE, which is derived from the Maxwell's equations. The corresponding component of the electric field dominates two other components. This justifies some past results of the second author with coauthors about numerical solutions of coefficient inverse problems with experimental electromagnetic data. In addition, since it is simpler to work in applications with a single PDE rather than with the complete Maxwell's system, then the result of this paper might be useful to researchers working on applied issues of the propagation of electromagnetic waves in inhomogeneous media.

physics.class-ph↗

Linear Lavrent'ev Integral Equation for the Numerical Solution of a Nonlinear Coefficient Inverse Problem

For the first time, we develop a convergent numerical method for the llinear integral equation derived by M.M. Lavrent'ev in 1964 with the goal to solve a coefficient inverse problem for a wave-like equation in 3D. The data are non overdetermined. Convergence analysis is presented along with the numerical results. An intriguing feature of the Lavrent'ev equation is that, without any linearization, it reduces a highly nonlinear coefficient inverse problem to a linear integral equation of the first kind. Nevertheless, numerical results for that equation, which use the data generated for that coefficient inverse problem, show a good reconstruction accuracy. This is similar with the classical Gelfand-Levitan equation derived in 1951, which is valid in the 1D case.

math.NA↗

A convergent numerical method for a multi-frequency inverse source problem in inhomogenous media

A new numerical method to solve an inverse source problem for the Helmholtz equation in inhomogenous media is proposed. This method reduces the original inverse problem to a boundary value problem for a coupled system of elliptic PDEs, in which the unknown source function is not involved. The Dirichlet boundary condition is given on the entire boundary of the domain of interest and the Neumann boundary condition is given on a part of this boundary. To solve this problem, the quasi-reversibility method is applied. Uniqueness and existence of the minimizer are proven. A new Carleman estimate is established. Next, the convergence of those minimizers to the exact solution is proven using that Carleman estimate. Results of numerical tests are presented.

math.AP↗

Through-the-Wall Nonlinear SAR Imaging

An inverse scattering problem for SAR data in application to through-the-wall imaging is addressed. In contrast with the conventional algorithms of SAR imaging, that work with the linearized mathematical model based on the Born approximation, the fully nonlinear case is considered here. To avoid the local minima problem, the so-called "convexification" globally convergent inversion scheme is applied to approximate the distribution of the slant range (SR) dielectric constant in the 3-D domain. The benchmark scene of this paper comprises a homogeneous dielectric wall and different dielectric targets hidden behind it. The results comprise two dimensional images of the SR dielectric constant of the scene of interest. Numerical results are obtained by the proposed inversion method for both the computationally simulated and experimental data. Our results show that the values, cross-range sizes and locations of SR dielectric constants for targets hidden behind the wall are close to those of real targets. Numerical comparison with the solution of the linearized inverse scattering problem provided by the Born approximation, commonly used in conventional SAR imaging, shows a significantly better accuracy of our results.

math.NA↗

Convexification for a 1D Hyperbolic Coefficient Inverse Problem with Single Measurement Data

A version of the convexification numerical method for a Coefficient Inverse Problem for a 1D hyperbolic PDE is presented. The data for this problem are generated by a single measurement event. This method converges globally. The most important element of the construction is the presence of the Carleman Weight Function in a weighted Tikhonov-like functional. This functional is strictly convex on a certain bounded set in a Hilbert space, and the diameter of this set is an arbitrary positive number. The global convergence of the gradient projection method is established. Computational results demonstrate a good performance of the numerical method for noisy data.

math.NA↗

An inverse problem of a simultaneous reconstruction of the dielectric constant and conductivity from experimental backscattering data

This report extends our recent progress in tackling a challenging 3D inverse scattering problem governed by the Helmholtz equation. Our target application is to reconstruct dielectric constants, electric conductivities and shapes of front surfaces of objects buried very closely under the ground. These objects mimic explosives, like, e.g., antipersonnel land mines and improvised explosive devices. We solve a coefficient inverse problem with the backscattering data generated by a moving source at a fixed frequency. This scenario has been studied so far by our newly developed convexification method that consists in a new derivation of a boundary value problem for a coupled quasilinear elliptic system. However, in our previous work only the unknown dielectric constants of objects and shapes of their front surfaces were calculated. Unlike this, in the current work performance of our numerical convexification algorithm is verified for the case when the dielectric constants, the electric conductivities and those shapes of objects are unknown. By running several tests with experimentally collected backscattering data, we find that we can accurately image both the dielectric constants and shapes of targets of interests including a challenging case of targets with voids. The computed electrical conductivity serves for reliably distinguishing conductive and non-conductive objects. The global convergence of our numerical procedure is shortly revisited.

math.NA↗

Convexification and experimental data for a 3D inverse scattering problem with the moving point source

Inverse scattering problems of the reconstructions of physical properties of a medium from boundary measurements are substantially challenging ones. This work aims to verify the performance on experimental data of a newly developed convexification method for a 3D coefficient inverse problem for the case of objects buried in a sandbox a fixed frequency and the point source moving along an interval of a straight line. Using a special Fourier basis, the method of this work strongly relies on a new derivation of a boundary value problem for a system of coupled quasilinear elliptic equations. This problem, in turn, is solved via the minimization of a Tikhonov-like functional weighted by a Carleman Weight Function. The global convergence of the numerical procedure is established analytically. The numerical verification is performed using experimental data, which are raw backscatter data of the electric field. These data were collected using a microwave scattering facility at The University of North Carolina at Charlotte.

math.NA↗

Convexification for an Inverse Parabolic Problem

A convexification-based numerical method for a Coefficient Inverse Problem for a parabolic PDE is presented. The key element of this method is the presence of the so-called Carleman Weight Function in the numerical scheme. Convergence analysis ensures the global convergence of this method, as opposed to the local convergence of the conventional least squares minimization techniques. Numerical results demonstrate a good performance.

math.NA↗

Convergent numerical method for a linearized travel time tomography problem with incomplete data

We propose a new numerical method to solve the linearized problem of travel time tomography with incomplete data. Our method is based on the technique of the truncation of the Fourier series with respect to a special basis of L2. This way we derive a boundary value problem for a system of coupled partial diffeerential equations (PDEs) of the first order. This system is solved by the quasi-reversibility method. Hence, the spatially dependent Fourier coefficients of the solution to the linearized Eikonal equation are obtained. The convergence of this method is established. Numerical results for highly noisy data are presented.

math.NA↗

On the travel time tomography problem in 3D

Numerical issues for the 3D travel time tomography problem with non-overdetemined data are considered. Truncated Fourier series with respect to a special orthonormal basis of functions depending on the source position is used. In addition, truncated trigonometric Fourier series with respect to two out of three spatial variables is used. First, the Lipschitz stability estimate is obtained. Next, a globally convergent numerical method is constructed using a Carleman estimate for an integral operator.

math.NA↗

Travel time tomography with formally determined incomplete data in 3D

For the first time, a globally convergent numerical method is developed and Lipschitz stability estimate is obtained for the challenging problem of travel time tomography in 3D for formally determined incomplete data. The semidiscrete case is considered meaning that finite differences are involved with respect to two out of three variables. First, Lipschitz stability estimate is derived, which implies uniqueness. Next, a weighted globally strictly convex Tikhonov-like functional is constructed using a Carleman-like weight function for a Volterra integral operator. The gradient projection method is constructed to minimize this functional. It is proven that this method converges globally to the exact solution if the noise in the data tends to zero.

math.NA↗

On an inverse source problem for the full radiative transfer equation with incomplete data

A new numerical method to solve an inverse source problem for the radiative transfer equation involving the absorption and scattering terms, with incomplete data, is proposed. No restrictive assumption on those absorption and scattering coefficients is imposed. The original inverse source problem is reduced to boundary value problem for a system of coupled partial differential equations of the first order. The unknown source function is not a part of this system. Next, we write this system in the fully discrete form of finite differences. That discrete problem is solved via the quasi-reversibility method. We prove the existence and uniqueness of the regularized solution. Especially, we prove the convergence of regularized solutions to the exact one as the noise level in the data tends to zero via a new discrete Carleman estimate. Numerical simulations demonstrate good performance of this method even when the data is highly noisy.

math.NA↗

Convergent numerical methods for parabolic equations with reversed time via a new Carleman estimate

The key tool of this paper is a new Carleman estimate for an arbitrary parabolic operator of the second order for the case of reversed time data. This estimate works on an arbitrary time interval. On the other hand, the previously known Carleman estimate for the reversed time case works only on a sufficiently small time interval. First, a stability estimate is proven. Next, the quasi-reversibility numerical method is proposed for an arbitrary time interval for the linear case. This is unlike a sufficiently small time interval in the previous work. The convergence rate for the quasi-reversibility method is established. Finally, the quasilinear parabolic equation with reversed time is considered. A weighted globally strictly convex Tikhonov-like functional is constructed. The weight is the Carleman Weight Function which is involved in that Carleman estimate. The global convergence of the gradient projection method to the exact solution is proved for this functional.

math.AP↗

Solving a 1-D inverse medium scattering problem using a new multi-frequency globally strictly convex objective functional

We propose a new approach to constructing globally strictly convex objective functional in a 1-D inverse medium scattering problem using multi-frequency backscattering data. The global convexity of the proposed objective functional is proved using a Carleman estimate. Due to its convexity, no good first guess is required in minimizing this objective functional. We also prove the global convergence of the gradient projection algorithm and derive an error estimate for the reconstructed coefficient. Numerical results show reasonable reconstruction accuracy for simulated data.

math.NA↗

Convexification for the inversion of a time dependent wave front in a heterogeneous medium

An inverse scattering problem for the 3D acoustic equation in time domain is considered. The unknown spatially distributed speed of sound is the subject of the solution of this problem. A single location of the point source is used. Using a Carleman Weight Function, a globally strictly convex cost functional is constructed. A new Carleman estimate is proven. Global convergence of the gradient projection method is proven. Numerical experiments are conducted.

math-ph↗

PDE-based numerical method for a limited angle X-ray tomography

A new numerical method for X-ray tomography for a specific case of incomplete Radon data is proposed. Potential applications are in checking out bulky luggage in airports. This method is based on the analysis of the transport PDE governing the X-ray tomography rather than on the conventional integral formulation. The quasi-reversibility method is applied. Convergence analysis is performed using a new Carleman estimate. Numerical results are presented and compared with the inversion of the Radon transform using the well-known filtered back projection algorithm. In addition, it is shown how to use our method to study the inversion of the attenuated X-ray transform for the same case of incomplete data.

math.NA↗

Convexification method for a coefficient inverse problem and its performance for experimental backscatter data for buried targets

We present in this paper a novel numerical reconstruction method for solving a 3D coefficient inverse problem with scattering data generated by a single direction of the incident plane wave. This inverse problem is well-known to be a highly nonlinear and ill-posed problem. Therefore, optimization-based reconstruction methods for solving this problem would typically suffer from the local-minima trapping and require strong a priori information of the solution. To avoid these problems, in our numerical method, we aim to construct a cost functional with a globally strictly convex property, whose minimizer can provide a good approximation for the exact solution of the inverse problem. The key ingredients for the construction of such functional are an integro-differential formulation of the inverse problem and a Carleman weight function. Under a (partial) finite difference approximation, the global strict convexity is proven using the tool of Carleman estimates. The global convergence of the gradient projection method to the exact solution is proven as well. We demonstrate the efficiency of our reconstruction method via a numerical study of experimental backscatter data for buried objects.

math.NA↗