A Carleman function is a special fundamental solution with a large parameter for the Laplace operator and gives a formula to calculate the value of the solution of the Cauchy problem in a domain for the Laplace equation. The probe method applied to an inverse boundary value problem for the Laplace equation in a bounded domain is based on the existence of a special sequence of harmonic functions which is called a {\it needle sequence}. The needle sequence blows up on a special curve which connects a given point inside the domain with a point on the boundary of the domain and is convergent locally outside the curve. The sequence yields a reconstruction formula of unknown discontinuity, such as cavity, inclusion in a given medium from the Dirichlet-to-Neumann map. In this paper, an explicit needle sequence in {\it three dimensions} is given in a closed form. It is an application of a Carleman function introduced by Yarmukhamedov. Furthermore, an explicit needle sequence in the probe method applied to the reduction of inverse obstacle scattering problems with an {\it arbitrary} fixed wave number to inverse boundary value problems for the Helmholtz equation is also given.
An overdetermination is introduced in an initial condition for the second order mean field games system (MFGS). This makes the resulting problem close to the classical ill-posed Cauchy problems for PDEs. Indeed, in such a problem and overdetermination in boundary conditions usually takes place. A Lipschitz stability estimate is obtained. This estimate implies uniqueness. A new Carleman estimate is derived. The second estimate the author calls "quasi-Carleman estimate", since it contains two test functions rather than a single one in conventional Carleman estimates. These two estimates play the…
In a series of publications of the second author, including some with coauthors, globally strictly convex Tikhonov-like functionals were constructed for some nonlinear ill-posed problems. The main element of such a functional is the presence of the Carleman Weight Function. Compared with previous publications, the main novelty of this paper is that the existence of the regularized solution (i.e. the minimizer) is proved rather than assumed. The method works for both ill-posed Cauchy problems for some quasilinear PDEs of the second order and for some Coefficient Inverse Problems. However, to si…
For an initial-boundary value problem for a parabolic equation in the spatial variable $x=(x_1,.., x_n)$ and time $t$, we consider an inverse problem of determining a coefficient which is independent of one spatial component $x_n$ by extra lateral boundary data. We apply a Carleman estimate to prove a conditional stability estimate for the inverse problem. Also we prove similar results for the corresponding inverse source problem.
We consider the Kelvin-Voigt model for the viscoelasticity, and prove a Carleman estimate for functions without compact supports. Then we apply the Carleman estimate to prove the Lipschitz stability in determining a spatial varying function in an external source term of Kelvin-Voigt model by a single measurement. Finally as a related system, we consider an isothermal compressible fluid system and apply the Carleman estimate to establish the Lipschitz stability for an inverse source problem for the compressible fluid system.
We prove a Carleman estimate for elliptic second order partial differential operators with Lipschitz continuous coefficients. The Carleman estimate is valid for any complex-valued function $u\in W^{2,2}$ with support in a punctured ball of arbitrary radius. The novelty of this Carleman estimate is that we establish an explicit dependence on the Lipschitz and ellipticity constants, the dimension of the space and the radius of the ball. In particular we provide a uniform and quantitative bound on the weight function for a class of elliptic operators given explicitly in terms of ellipticity and L…
In this work, we prove a Carleman estimate for a parabolic problem which has a dissipative degenerate term. The prove relies on choose a suitable weight function that change of sign inside the control domain.
We consider a second-order selfadjoint elliptic operator with an anisotropic diffusion matrix having a jump across a smooth hypersurface. We prove the existence of a weight-function such that a Carleman estimate holds true. We moreover prove that the conditions imposed on the weight function are necessary.
We construct an explicit Green's function for the conjugated Laplacian $e^{-ω\cdot x/h}Δe^{-ω\cdot x/h}$, which let us control our solutions on roughly half of the boundary. We apply the Green's function to solve a partial data inverse problem for the Schrödinger equation with potential $q \in L^{n/2}$. We also use this Green's function to derive $L^p$ Carleman estimates similar to the ones in Kenig-Ruiz-Sogge \cite{krs}, but for functions with support up to part of the boundary.
The Carleman convexification method for Hamilton-Jacobi equations on the whole space
Faculty of Mathematics and Computer Science, University of Science, Vietnam National University（越南国立大学科学大学数学与计算机科学系）；Department of Mathematics and Statistics, University of North Carolina at Charlotte（北卡罗来纳大学夏洛特分校数学与统计学系）
Based on a fundamental identity for stochastic hyperbolic-like operators, we derive in this paper a global Carleman estimate (with singular weight function) for stochastic wave equations. This leads to an observability estimate for stochastic wave equations with non-smooth lower order terms. Moreover, the observability constant is estimated by an explicit function of the norm of the involved coefficients in the equation.
We consider the nonstationary linearized Navier-Stokes equations in a bounded domain and first we prove a Carleman estimate with a regular weight function. Second we apply the Carleman estimate to a lateral Cauchy problem for the Navier-Stokes equations and prove the Hölder stability in determining the velocity and pressure field in an interior domain.
In this paper, we consider Carleman estimates and inverse problems for the coupled quantitative thermoacoustic equations. In Part I, we establish Carleman estimates for the coupled quantitative thermoacoustic equations by assuming that the coefficients satisfy suitable conditions and taking the usual weight function $φ(x,t)={\rm e}^{λψ(x,t)}$, $ψ(x,t)=\left|x-x_{0}\right|^{2}-β\left(t-t_0\right)^{2}+βt_0^{2}$ for $x$ in a bounded domain in $\mathbb{R}^{n}$ with $C^{3}$-boundary and $t\in(0, T)$, where $t_0=T/2$. We will discuss applications of the Carleman estimates to some inverse problems fo…
We deal with a degenerate model describing the dynamics of a population depending on time, on age and on space. We assume that the degeneracy can occur at the boundary or in the interior of the space domain and we focus on null controllability problem. To this aim, we prove first Carleman estimates for the associated adjoint problem, then, via cut off functions, we prove the existence of a null control function localized in the interior of the space domain.
For linearized Navier-Stokes equations, we first derive a Carleman estimate with a regular weight function. Then we apply it to establish conditional stability for the lateral Cauchy problem and finally we prove conditional stability estimates for inverse source problem of determining a spatially varying divergence-free factor of a source term.
In this work, we develop Fourier Analysis for a family of classes of ultradifferentiable functions of Romieu type on the torus, usually known as Denjoy-Carleman classes. Then we are able to apply our results in order to generalize some results whose proofs rely almost exclusively on Fourier Series, such as the Greenfield-Wallach Theorem.
We consider the transport equation $\ppp_tu(x,t) + (H(x)\cdot \nabla u(x,t)) + p(x)u(x,t) = 0$ in $\OOO \times (0,T)$ where $\OOO \subset \R^n$ is a bounded domain, and discuss two inverse problems which consist of determining a vector-valued function $H(x)$ or a real-valued function $p(x)$ by initial values and data on a subboundary of $\OOO$. Our results are conditional stability of Hölder type in a subdomain $D$ provided that the outward normal component of $H(x)$ is positive on $\ppp D \cap \ppp\OOO$. The proofs are based on a Carleman estimate where the weight function depends on $H$.
In this article, we provide a modified argument for proving conditional stability for inverse problems of determining spatially varying functions in evolution equations by Carleman estimates. Our method needs not any cut-off procedures and can simplify the existing proofs. We establish the conditional stability for inverse source problems for a hyperbolic equation and a parabolic equation, and our method is widely applicable to various evolution equations.
In this article we consider a control problem of a linear Euler-Bernoulli damped beam equation with potential in dimension one with periodic boundary conditions. We derive a new Carleman estimate for an adjoint of the equation under consideration. Then using a well known duality argument we obtain explicitly the control function which can be used to drive the solution trajectory of the control problem to zero state.
The subject of the present paper is the phenomenon of vanishing of the Green function of the operator $-Δ+ V$ on $\mathbb R^3$ at the points where a potential $V$ has positive critical singularities. More precisely, imposing minimal assumptions on $V$ (i.e. the form-boundedness), we obtain an upper bound on the order of vanishing of the Green function. As a by-product of our proof, we improve the existing results on the strong unique continuation for eigenfunctions of $-Δ+ V$ in dimension $d=3$.
Inspired by some iterative algorithms useful for proving the real analyticity (or the Gevrey regularity) of a solution of a linear partial differential equation with real-analytic coefficients, we consider the following question. Given a smooth function defined on $[a,b]\subset\mathbb{R}$ and given an increasing divergent sequence $d_n$ of positive integers such that the derivative of order $d_n$ of $f$ has a growth of the type $M_{d_n}$, when can we deduce that $f$ is a function in the Denjoy-Carleman class $C^M([a,b])$? We provide a positive result, and we show that a suitable condition on t…
Variable order space-fractional diffusion equation derived as an important model to describe complex anomalous diffusion phenomenon. In this article, well-posedness theory has been constructed for equations with the "Dirichlet" or the "Neumann" type volume-constrained conditions by using the technique of the nonlocal vector calculus. Then some regularity properties have been obtained under the variable-order Sobolev space framework. By choosing a space-independent weight function and using the technique of the nonlocal vector calculus, a Carleman type estimate has been obtained. At last, the C…
We consider elliptic transmission problems with complex coefficients across an interface. Under proper transmission conditions, that extend known conditions for well-posedness, and sub-ellipticity we derive microlocal and local Carleman estimates near the interface. Carleman estimates are weighted a priori estimates of the solutions of the elliptic transmission problem. The weight is of exponential form, exp($tau$ ϕ) where $tau$ can be taken as large as desired. Such estimates have numerous applications in unique continuation, inverse problems, and control theory. The proof relies on microloca…
In this article, we extensively develop Carleman estimates for the wave equation and give some applications. We focus on the case of an observation of the flux on a part of the boundary satisfying the Gamma conditions of Lions. We will then consider two applications. The first one deals with the exact controllability problem for the wave equation with potential. Following the duality method proposed by Fursikov and Imanuvilov in the context of parabolic equations, we propose a constructive method to derive controls that weakly depend on the potentials. The second application concerns an invers…
We consider inverse problems of determining coefficients or time independent factors of source terms in radiative transport equations by means of Carleman estimate. We establish global Lipschitz stability results with an additional condition which requires some strict positivity for initial value or given factor of source, but we need not any extra conditions on domains of velocities, which is the main achievement of this article compared with the existing work by Machida and Yamamoto ({\it Inverse Problems} {\bf 30} 035010, 2014). The proof relies on a Carleman estimate with a piecewise linea…
Motivared by Carleman's proof of the isoperimetric inequality in the plane, we study some sharp integral inequalities for harmonic functions on the upper halfspace. We also derive the regularity for nonnegative solutions of the associated integral system and some Liouville type theorems.
