Inverse problems with partial data for a Dirac system: A Carleman estimate approach

We prove that the material parameters in a Dirac system with magnetic and electric potentials are uniquely determined by measurements made on a possibly small subset of the boundary. The proof is based on a combination of Carleman estimates for first and second order systems, and involves a reduction of the boundary measurements to the second order case. For this reduction a certain amount of decoupling is required. To effectively make use of the decoupling, the Carleman estimates are established for coefficients which may become singular in the asymptotic limit.     

Carleman estimates for the regularization of ill-posed Cauchy problems

This work is a survey of results for ill-posed Cauchy problems for PDEs of the author with co-authors starting from 1991. A universal method of the regularization of these problems is presented here. Even though the idea of this method was previously discussed for specific problems, a universal approach of this paper was not discussed, at least in detail. This approach consists in constructing of such Tikhonov functionals which are generated by unbounded linear operators of those PDEs. The approach is quite general one, since it is applicable to all PDE operators for which Carleman estimates are valid. Three main types of operators of the second order are among them: elliptic, parabolic and hyperbolic ones. The key idea is that convergence rates of minimizers are established using Carleman estimates. Generalizations to nonlinear inverse problems, such as problems of reconstructions of obstacles and coefficient inverse problems are also feasible.     

Global uniqueness in an inverse problem for time fractional diffusion equations

Given $(M,g)$, a compact connected Riemannian manifold of dimension $d?2$, with boundary ?M, we consider an initial boundary value problem for a fractional diffusion equation on $(0,T)\times M$, $T>0$, with time-fractional Caputo derivative of order $\alpha \in (0,1)\cup (1,2)$. We prove uniqueness in the inverse problem of determining the smooth manifold $(M,g)$ (up to an isometry), and various time-independent smooth coefficients appearing in this equation, from measurements of the solutions on a subset of ?M at fixed time. In the “flat” case where M is a compact subset of ${\mathbb{R}}^d$, two out the three coefficients ρ (density), a (conductivity) and q (potential) appearing in the equation $\rho {?}_t^{\alpha }u?\mathrm{div}\left(a\mathrm{?}u\right)+qu=0$ on $(0,T)\times M$ are recovered simultaneously.     

Inverse Boundary Value Problem for Maxwell Equations with Local Data

We prove a uniqueness theorem for an inverse boundary value problem for the Maxwell system with boundary data assumed known only in part of the boundary. We assume that the inaccessible part of the boundary is either part of a plane, or part of a sphere. This work generalizes the results obtained by Isakov [4 Isakov , V. ( 2007 ). On uniqueness in the inverse conductivity problem with local data . Inverse Probl. Imaging 1 : 95 – 105 .[Crossref], [Web of Science ®] , [Google Scholar]] for the Schrödinger equation to Maxwell equations.     

Carleman estimate for Biot consolidation system in poro‐elasticity and application to inverse problems

In this paper, we consider a coupled system of mixed hyperbolic–parabolic type, which describes the Biot consolidation model in poro‐elasticity. We establish a local Carleman estimate for Biot consolidation system. Using this estimate, we prove the uniqueness and a Hölder stability in determining on the one hand a physical parameter arising in connection with secondary consolidation effects λ^? and on the other hand the two spatially varying densities by a single measurement of solution over ω × (0,T), where T > 0 is a sufficiently large time and a suitable subdomain ω satisfying ?ω??Ω. Copyright © 2016 John Wiley & Sons, Ltd.     

Implicit a posteriori error estimates for the Maxwell equations

An implicit a posteriori error estimation technique is presented and analyzed for the numerical solution of the time-harmonic Maxwell equations using Nédélec edge elements. For this purpose we define a weak formulation for the error on each element and provide an efficient and accurate numerical solution technique to solve the error equations locally. We investigate the well-posedness of the error equations and also consider the related eigenvalue problem for cubic elements. Numerical results for both smooth and non-smooth problems, including a problem with reentrant corners, show that an accurate prediction is obtained for the local error, and in particular the error distribution, which provides essential information to control an adaptation process. The error estimation technique is also compared with existing methods and provides significantly sharper estimates for a number of reported test cases.

     

Some remarks on a class of inverse problems related to the parabolic approximation to the Maxwell equations: a controllability approach

We consider a class of inverse source problems for the parabolic approximation to the Maxwell equations.We relate this to an exact controllability problem; the regularisation of the considered source problems is studied with an optimal control method. Copyright © 2014 John Wiley & Sons, Ltd.     

An inverse source problem for Maxwell's equations in anisotropic media

In this article, we consider nonstationary Maxwell's equations in an anisotropic medium in the (x ₁,?x ₂,?x ₃)-space, where equations of the divergences of electric and magnetic flux densities are also unknown. Then we discuss an inverse problem of determining the x ₃-independent components of the electric current density from observations on the plane x ₃?=?0 over a time interval. Our main aim is, study conditional stability in the inverse problem provided the permittivity and the permeability are independent of x ₃. The main tool is a new Carleman estimate.     

Carleman estimates for stochastic parabolic equations with Neumann boundary conditions and applications

By a dual method, two Carleman estimates for forward and backward stochastic parabolic equations with Neumann boundary conditions are established. Then they are used to study a null controllability problem and a state observation problem for some stochastic forward parabolic equations with Neumann boundary conditions.     

A posteriori error estimates for Maxwell equations

Maxwell equations are posed as variational boundary value problems in the function space and are discretized by Nédélec finite elements. In Beck et al., 2000, a residual type a posteriori error estimator was proposed and analyzed under certain conditions onto the domain. In the present paper, we prove the reliability of that error estimator on Lipschitz domains. The key is to establish new error estimates for the commuting quasi-interpolation operators recently introduced in J. Schöberl, Commuting quasi-interpolation operators for mixed finite elements. Similar estimates are required for additive Schwarz preconditioning. To incorporate boundary conditions, we establish a new extension result.

     

Carleman estimates and unique continuation property for the anisotropic differential-operator equations

The unique continuation theorems for the anisotropic partial differential-operator equations with variable coeffcients in Banach-valued Lp-spaces are studied.To obtain the uniform maximal regularity and the Carleman type estimates for parameter depended differential-operator equations,the suffcient conditions are founded.By using these facts,the unique continuation properties are established.In the application part,the unique continuation properties and Carleman estimates for finite or infinite systems of quasielliptic partial differential equations are studied.     

A Carleman estimate for the linear magnetoelastic waves system and an inverse source problem in a bounded conductive medium

ABSTRACT

In this paper, we consider an inverse problem for the simultaneous diffusion process of elastic and electromagnetic waves in an isotropic heterogeneous elastic body which is identified with an open bounded domain. From the mathematical point of view, the system under consideration can be viewed as the coupling between the hyperbolic system of elastic waves and a parabolic system for the magnetic field. We study an inverse problem of determining the external source terms by observations data in a neighborhood of the boundary and we prove the Hölder stability. For the proof, we show a Carleman estimate for the displacement and the magnetic field of the magnetoelastic system.     

Marching schemes for inverse acoustic scattering problems

Summary For the numerical solution of inverse Helmholtz problems the boundary value problem for a Helmholtz equation with spatially variable wave number has to be solved repeatedly. For large wave numbers this is a challenge. In the paper we reformulate the inverse problem as an initial value problem, and describe a marching scheme for the numerical computation that needs only n² log n operations on an n × n grid. We derive stability and error estimates for the marching scheme. We show that the marching solution is close to the low-pass filtered true solution. We present numerical examples that demonstrate the efficacy of the marching scheme.     

Marcinkiewicz estimates for solutions of some elliptic problems with nonregular data

The method introduced by Ennio De Giorgi and Guido Stampacchia for the study of the regularity (L ^p , Marcinkiewicz or C ^0,α ) of the weak solutions of Dirichlet problems hinges on the handle of inequalities concerning the integral of on the subsets where |u(x)| is greater than k. In this framework, here we give a contribution with the study of the Marcinkiewicz regularity of the gradient of infinite energy solutions of Dirichlet problems with nonregular data. Dedicated to Juan Luis Vazquez for his 60th birthday (“El verano del Patriarca”, see [19]).     

Uniqueness for an inverse problem for a nonlinear parabolic system with an integral term by one-point Dirichlet data

We consider an inverse problem arising in laser-induced thermotherapy, a minimally invasive method for cancer treatment, in which cancer tissues is destroyed by coagulation. For the dosage planning quantitatively reliable numerical simulation are indispensable. To this end the identification of the thermal growth kinetics of the coagulated zone is of crucial importance. Mathematically, this problem is a nonlinear and nonlocal parabolic inverse heat source problem. We show in this paper that the temperature dependent thermal growth parameter can be identified uniquely from a one-point measurement.     

Uniqueness in inverse obstacle scattering with conductive boundary conditions

We consider the uniqueness of the inverse obstacle scattering with conductive boundary conditions. This work is based on the original idea of Isakov for transmission boundary conditions, which utilize the solvability of the direct problem, orthogonality relations, approximations to solution of the direct problem and singular solutions. The methodology used is constructive and allows an extension to more general conditions and numerical methods.     

A priori estimates for solutions to anisotropic elliptic problems via symmetrization

We obtain a comparison result for solutions to nonlinear fully anisotropic elliptic problems by means of anisotropic symmetrization. As consequence we deduce a priori estimates for norms of the relevant solutions.     

Global weighted estimates for the gradient of solutions to nonlinear elliptic equations

We consider nonlinear elliptic equations of p  -Laplacian type that are not necessarily of variation form when the nonlinearity is allowed to be discontinuous and the boundary of the domain can go beyond the Lipschitz category. Under smallness in the BMO nonlinearity and sufficient flatness of the Reifenberg domain, we obtain the global weighted L^q$L^q$ estimates with q∈(p,∞)$q\in (p,\infty )$ for the gradient of weak solutions.