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 show Carleman estimates, observability inequalities and null controllability results for parabolic equations with non smooth coefficients degenerating at an interior point.
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.
This work is devoted to the strong unique continuation problem for second order parabolic equations with nonsmooth coefficients. Introduction and bibliography have been revised.
In this article, We investigate an inverse problem of determining the time-dependent source factor in parabolic integro-differential equations from boundary data. We establish the uniqueness and the conditional stability estimate of Hölder type for the inverse source problem in a cylindrical shaped domain. Our methodology is based on the Bukhgeim-Klibanov method by means of the Carleman estimate. Here we also derive the "time-like" Carleman estimate for parabolic integro-differential equations.
In this paper we prove a Hölder propagation of smallness for solutions to second order parabolic equations whose general anisotropic leading coefficient has a jump at an interface. We assume that the leading coefficient is Lipschitz continuous with respect to the parabolic distance on both sides of the interface. The main effort consists in proving a local Carleman estimate for this parabolic operator.
We establish Carleman estimates for singular/degenerate parabolic Dirichlet problems with degeneracy and singularity occurring in the interior of the spatial domain. Our results are completely new, since this situation is not covered by previous contributions for degeneracy and singularity on the boundary. In addition, we consider non smooth coefficients, thus preventing the use of standard calculations in this framework.
We consider non smooth general degenerate/singular parabolic equations in non divergence form with degeneracy and singularity occurring in the interior of the spatial domain, in presence of Dirichlet or Neumann boundary conditions. In particular, we consider well posedness of the problem and then we prove Carleman estimates for the associated adjoint problem.
In this paper we investigate on a new strategy combining the logarithmic convexity (or frequency function) and the Carleman commutator to obtain an observation estimate at one time for the heat equation in a bounded domain. We also consider the heat equation with an inverse square potential. Moreover, a spectral inequality for the associated eigenvalue problem is derived.
We consider a parabolic problem with degeneracy in the interior of the spatial domain and Neumann boundary conditions. In particular, we will focus on the well-posedness of the problem and on Carleman estimates for the associated adjoint problem. The novelty of the present paper is that for the first time it is considered a problem with an interior degeneracy and Neumann boundary conditions so that no previous result can be adapted to this situation. As a consequence new observability inequalities are established.
In this paper, we present a new Carleman estimate for the adjoint equations associated to a class of super strong degenerate parabolic linear problems. Our approach considers a standard geometric imposition on the control domain, which can not be removed in the general situations. Additionally, we also apply the aformentioned main inequality in order to investigate the null controllability of two nonlinear parabolic systems. The first application is concerned a global null controllability result obtained for some semilinear equations, relying on a fixed point argument. In the second one, a loc…
In this paper, we study the null controllability of weakly degenerate coupled parabolic systems with two different diffusion coefficients and one control force. To obtain this aim, we develop first new global Carleman estimates for degenerate parabolic equations with weight functions different from the ones in the previous works.
In the discrete setting of one-dimensional finite-differences we prove a Carleman estimate for a semi-discretization of the parabolic operator $\partial_t-\partial_x (c\partial_x)$ where the diffusion coefficient $c$ has a jump. As a consequence of this Carleman estimate, we deduce consistent null-controllability results for classes of semi-linear parabolic equations.
Let $s \in {\mathbb N}$, $T_1,T_2 \in {\mathbb R}$, $T_1<T_2$, and let $Ω, ω$ be bounded domains in ${\mathbb R}^n$, $n \geq 1$ such that $ω\subset Ω$ and the complement $Ω\setminus ω$ have no non-empty compact components in $Ω$. We investigate the problem of approximation of solutions to parabolic Lamé type system from the Lebesgue class $L^2(ω\times (T_1,T_2))$ in a cylinder domain $ω\times (T_1,T_2) \subset {\mathbb R}^{n+1}$ by more regular solutions in a bigger domain $Ω\times (T_1,T_2)$. As an application of the obtained approximation theorems we construct Carleman's formulas for recover…
By using some deep tools from microlocal analysis, J. Le Rousseau and L. Robbiano (Invent. Math., 183 (2011), 245--336) established several Carleman estimates for parabolic operators with isotropic diffusion coefficients which have jumps at interfaces. In this paper, we revisit the same problem but for the general case of anisotropic diffusion coefficients. Our main tools are a pointwise estimate for parabolic operators and a suitable chosen weight function.
We consider a parabolic problem with degeneracy in the interior of the spatial domain, and we focus on controllability results through Carleman estimates for the associated adjoint problem. The novelty of the present paper is that the degeneracy is also in the interior of the control region, so that no previous result can be adapted to this situation.
We consider a fully-discrete approximations of 1-D heat equation with dynamic boundary conditions for which we provide a controllability result. The proof of this result is based on a relaxed observability inequality for the corresponding adjoint system. This is done by using a suitable Carleman estimate for such models where the discrete parameters $h$ and $Δt$ are connected to the one of the large Carleman parameters.
In this paper, we prove a Carleman estimate for fully-discrete approximations of parabolic operators in which the discrete parameters $h$ and $\triangle t$ are connected to the large Carleman parameter. We use this estimate to obtain relaxed observability inequalities which yield, by duality, controllability results for fully-discrete linear and semilinear parabolic equations.
We consider a parabolic equation in a bounded domain $\OOO$ over a time interval $(0,T)$ with the homogeneous Neumann boundary condition. We arbitrarily choose a subboundary $Γ\subset \ppp\OOO$. Then, we discuss an inverse problem of determining a zeroth-order spatially varying coefficient by extra data of solution $u$: $u\vert_{Γ\times (0,T)}$ and $u(\cdot,t_0)$ in $\OOO$ with $t_0=0$ or $t=T$. First we establish a conditional Lipschitz stability estimate as well as the uniqueness for the case $t_0=T.$ Second, under additional condition for $Γ$, we prove the uniqueness for the case $t_0=0$. T…
We consider a $2\times 2$ system of parabolic equations with first and zeroth coupling and establish a Carleman estimate by extra data of only one component without data of initial values. Then we apply the Carleman estimate to inverse problems of determining some or all of the coefficients by observations in an arbitrary subdomain over a time interval of only one component and data of two components at a fixed positive time $θ$ over the whole spatial domain. The main results are Lipschitz stability estimates for the inverse problems. For the Lipschitz stability, we have to assume some non-deg…
In this article, we consider a linearized magnetohydrodynamics system for incompressible flow in a three-dimensional bounded domain. We first prove two kinds of Carleman estimates. This is done by combining the Carleman estimates for the parabolic and the elliptic equations. Then we apply the Carleman estimates to prove Holder type stability results for some inverse source problems.
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.
Consider the initial-boundary value problem for the 2-speed Carleman model of the Boltzmann equation of the kinetic theory of gases set in some bounded interval with boundary conditions prescribing the density of particles entering the interval. Under the usual parabolic scaling, a nonlinear diffusion limit is established for this problem. In fact, the techniques presented here allow treating generalizations of the Carleman system where the collision frequency is proportional to some power of the macroscopic density, with exponent in [-1,1].
We give a new stability estimate for the problem of determining the time-dependent zero order coefficient in a parabolic equation from a partial parabolic Dirichlet-to-Neumann map. The novelty of our result is that, contrary to the previous works, we do not need any measurement on the final time. We also show how this result can be used to establish a stability estimate for the problem of determining the nonlinear term in a semilinear parabolic equation from the corresponding "linearized" Dirichlet-to-Neumann map. The key ingredient in our analysis is a parabolic version of an elliptic Carlema…
The approach to Lipschitz stability for uniformly parabolic equations introduced by Imanuvilov and Yamamoto in 1998, based on Carleman estimates, seems hard to apply to the case of Grushin-type operators of interest to this paper. Indeed, such estimates are still missing for parabolic operators degenerating in the interior of the space domain. Nevertheless, we are able to prove Lipschitz stability results for inverse source problems for such operators, with locally distributed measurements in arbitrary space dimension. For this purpose, we follow a mixed strategy which combines the appraoch du…
In this paper, we prove the small-time global null-controllability of forward (resp. backward) semilinear stochastic parabolic equations with globally Lipschitz nonlinearities in the drift and diffusion terms (resp. in the drift term). In particular, we solve the open question posed by S. Tang and X. Zhang, in 2009. We propose a new twist on a classical strategy for controlling linear stochastic systems. By employing a new refined Carleman estimate, we obtain a controllability result in a weighted space for a linear system with source terms. The main novelty here is that the Carleman parameter…
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 consilidation 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 density by a single measurement of solution over $ω\times (0, T)$, where $T>0$ is a sufficiently large time and a suitable subbdomain $ω$ satisfying $\p …
Via Carleman estimates we prove uniqueness and continuous dependence results for lateral Cauchy problems for linear integro-differential parabolic equations without initial conditions. The additional information supplied prescribes the conormal derivative of the temperature on a relatively open subset of the lateral boundary of the space-time domain.
For the heat equation in a bounded domain we give a stability result for a smooth diffusion coefficient. The key ingredients are a global Carleman-type estimate, a Poincaré-type estimate and an energy estimate with a single observation acting on a part of the boundary.
In this article, for a fourth-order parabolic equation which is closely related for example to the Cahn-Hilliard equation, we study an inverse source problem by interior data and the continuation of solution from lateral Cauchy data. Our method relies on a Carleman estimate and proves conditional stability for both problems.
The approach to Lipschitz stability for uniformly parabolic equations introduced by Imanuvilov and Yamamoto in 1998 based on Carleman estimates, seems hard to apply to the case of Grushin-type operators studied in this paper. Indeed, such estimates are still missing for parabolic operators degenerating in the interior of the space domain. Nevertheless, we are able to prove Lipschitz stability results for inverse coefficient problems for such operators, with locally distributed measurements in arbitrary space dimension. For this purpose, we follow a strategy that combines Fourier decomposition …
We investigate the quantitative uniqueness of solutions to parabolic equations with lower order terms on compact smooth manifolds. Quantitative uniqueness is a quantitative form of strong unique continuation property. We characterize quantitative uniqueness by the rate of vanishing. We can obtain the vanishing order of solutions by $C^{1, 1}$ norm of the potential functions, as well as the $L^\infty$ norm of the coefficient functions. Some quantitative Carleman estimates and three cylinder inequalities are established.
In this paper, we study an inverse problem for linear parabolic system with variable diffusion coefficients subject to dynamic boundary conditions. We prove a global Lipschitz stability for the inverse problem involving a simultaneous recovery of two source terms from a single measurement and interior observations, based on a recent Carleman estimate for such problems.
We obtain sharp maximal vanishing order at a given time level for solutions to parabolic equations with a $C{^1}$ potential $V$. Our main result Theorem 1.1 is a parabolic generalization of a well known result of Donnelly-Fefferman and Bakri. It also sharpens a previous result of Zhu that establishes similar vanishing order estimates which are instead averaged over time. The principal tool in our analysis is a new quantitative version of the well-known Escauriaza-Fernandez-Vessella type Carleman estimate that we establish in our setting.
In this work, we study the stable determination of four space-dependent coefficients appearing in a coupled semilinear parabolic system with variable diffusion matrices subject to dynamic boundary conditions which couple intern-boundary phenomena. We prove a Lipschitz stability result for interior and boundary potentials by means of only one observation component, localized in any arbitrary open subset of the physical domain. The proof mainly relies on some new Carleman estimates for dynamic boundary conditions of surface diffusion type.
In this paper we present a null controllability result for a degenerate semilinear parabolic equation with first order terms. The main result is obtained after the proof of a new Carleman inequality for a degenerate linear parabolic equation with first order terms.
We prove null controllability for linear and semilinear heat equations with dynamic boundary conditions of surface diffusion type. The results are based on a new Carleman estimate for this type of boundary conditions.
In this article we study an inverse problem for the space-time fractional parabolic operator $(\partial_t-Δ)^s+Q$ with $0<s<1$ in any space dimension. We uniquely determine the unknown bounded potential $Q$ from infinitely many exterior Dirichlet-to-Neumann type measurements. This relies on Runge approximation and the dual global weak unique continuation properties of the equation under consideration. In discussing weak unique continuation of our operator, a main feature of our argument relies on a Carleman estimate for the associated fractional parabolic Caffarelli-Silvestre extension. Furthe…
Carleman estimates for backward Cahn-Hilliard-reaction-diffusion problems
University of Pavia（帕维亚大学）；New York University Abu Dhabi（纽约大学阿布扎比分校）；University of Milan（米兰大学）；Istituto di Matematica Applicata e Tecnologie Informatiche “Enrico Magenes”, CNR（恩里科·马格内斯应用数学与信息技术研究所，意大利国家研究委员会）；The University of Tokyo（东京大学）
