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 transport equation $\ppp_t u(x,t) + H(t)\cdot \nabla u(x,t) = 0$ in $\OOO\times(0,T),$ where $T>0$ and $\OOO\subset \R^d $ is a bounded domain with smooth boundary $\ppp\OOO$. First, we prove a Carleman estimate for solutions of finite energy with piecewise continuous weight functions. Then, under a further condition which guarantees that the orbits of $H$ intersect $\ppp\OOO$, we prove an energy estimate which in turn yields an observability inequality. Our results are motivated by applications to inverse problems.
We establish new Carleman estimates for the wave equation, which we then apply to derive novel observability inequalities for a general class of linear wave equations. The main features of these inequalities are that (a) they apply to a fully general class of time-dependent domains, with timelike moving boundaries, (b) they apply to linear wave equations in any spatial dimension and with general time-dependent lower-order coefficients, and (c) they allow for significantly smaller time-dependent regions of observations than allowed from existing Carleman estimate methods. As a standard applicat…
In this article, we present a novel Carleman estimate for ultrahyperbolic operators, in $ \mathbb{R}^m_t \times \mathbb{R}^n_x $. Then, we use a special case of this estimate to obtain improved observability results for wave equations with time-dependent lower order terms. The key improvements are: (1) we obtain smaller observation regions compared to standard Carleman estimate results, and (2) we also prove observability when the observation point lies inside the domain. Finally, as a corollary of the observability result, we obtain improved interior controllability for the wave equation.
We establish a new family of Carleman inequalities for wave operators on cylindrical spacetime domains containing a potential that is critically singular, diverging as an inverse square on all the boundary of the domain. These estimates are sharp in the sense that they capture both the natural boundary conditions and the natural $H^1$-energy. The proof is based around three key ingredients: the choice of a novel Carleman weight with rather singular derivatives on the boundary, a generalization of the classical Morawetz inequality that allows for inverse-square singularities, and the systematic…
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.
In this paper we prove an observability inequality for a degenerate transport equation. First we introduce a local in time Carleman estimate for the degenerate equation, then we apply it to obtain a global in time observability inequality by using also an energy estimate.
This paper is devoted to a study of observability estimate for the wave equation with variable coefficients $(h^{jk}(x))_{n\times n}$ ($n\in\mathbb{N})$. We consider both the observation point lies outside the domain and the observation point lies inside the domain. Based on a Carleman estimate for the ultra-hyperbolic operator and a delicate treatment of observation region, we obtain two observability estimates with explicit observability constants. The key improvements are: (1) we improve the requirement of waiting time $T$; (2) we improve the size of the observation region (see Fingure 1 an…
Carleman estimate for full-discrete approximations of the complex Ginzburg-Landau equation with dynamic boundary conditions and applications to controllability
In the paper, we show a global Carleman estimate for the non-local heat equation. To be more precise, let $Ω\subset\RR^d$ be a bounded domain and $\CO\subsetΩ$ an open subdomain, $s\in(0,1)$. We show that there exist constants $C_1,C_2,r_0, T_0>0$ and a weight function $α:Ω\to(0,\infty)$ such that any solution $u$ of %consider the following system % \begin{eqnarray}\label{oben1} \left\{ \begin{array}{rcl} \timed u(x,t)+(-\De)^s u (x,t) &=&f(x,t) \quad\mbox{for}\quad (x,t)\in \Om \times (0,\infty), \\ u(x,t) &=& 0 \quad\mbox{for}\quad(x,t)\in \partial \Om \times (0,\infty), \end{array}\right. \…
This paper is devoted to the observability of a class of two-dimensional Kolmogorov-type equations presenting a quadratic degeneracy. We give lower and upper bounds for the critical time. These bounds coincide in symmetric settings, giving a sharp result in these cases. The proof is based on Carleman estimates and on the spectral properties of a family of non-selfadjoint Schrödinger operators, in particular the localization of the first eigenvalue and Agmon type estimates for the corresponding eigenfunctions.
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 study some controllability and observability properties for a coupled system of time-discrete fourth- and second-order parabolic equations. This system can be regarded as a simplification of the well-known stabilized Kumamoto-Sivashinsky equation. Unlike the continuous case, we can prove only a relaxed observability inequality which yields a $ϕ(\triangle t)$-controllability result. This result tells that we cannot reach exactly zero but rather a small target whose size goes to 0 as the discretization parameter $\triangle t$ goes to 0. The proof relies on a known Carleman esti…
We obtain a novel interior control result for wave equations on time dependent domains. This is done by deriving a suitable Carleman estimate and proving the corresponding observability inequality. We consider the wave equation with time dependent lower order coefficients, without any time analyticity assumptions. Moreover, we obtain improved control regions when compared with standard Carleman methods.
We are mainly interested in extending the known results on ob-servability inequalities and stabilization for the Schr{ö}dinger equation to the magnetic Schr{ö}dinger equation. That is in presence of a magnetic potential. We establish observability inequalities and exponential stabilization by extending the usual multiplier method, under the same geometric condition to that needed for the Schr{ö}dinger equation. We also prove, with the help of elliptic Carleman inequalities, logarithmic stabilization results through a resolvent estimate. Although the approach is classical, these results on loga…
We consider an anisotropic hyperbolic equation with memory term: $$ \partial_t^2 u(x,t) = \sum_{i,j=1}^n \partial_i(a_{ij}(x)\partial_ju) + \int^t_0 \sum_{| α| \le 2} b_α(x,t,η)\partial_x^αu(x,η) dη+ F(x,t) $$ for $x \in Ω$ and $t\in (0,T)$ or $\in (-T,T)$, which is a model equation for viscoelasticity. First we establish a Carleman estimate for this equation with overdetermining boundary data on a suitable lateral subboundary $Γ\times (-T,T)$. Second we apply the Carleman estimate to establish a both-sided estimate of $| u(\cdot,0)|_{H^3(Ω)}$ by $\partial_νu|_{Γ\times (0,T)}$ under the assump…
This article is concerned in the first place with the short-time observability constant of the heat equation from a subdomain $ω$ of a bounded domain $M$. The constant is of the form $e^{\frac{K}{T}}$, where $K$ depends only on the geometry of $M$ and $ω$. Luc Miller (JDE, 2004) conjectured that $K$ is (universally) proportional to the square of the maximal distance from $ω$ to a point of $M$. We show in particular geometries that $K$ may blow up like $|\log(r)|^2$ when $ω$ is a ball of radius $r$, hence disproving the conjecture. We then prove in the general case the associated upper bound on…
We investigate observability and Lipschitz stability for the Heisenberg heat equation on the rectangular domain $$Ω= (-1,1)\times\mathbb{T}\times\mathbb{T}$$ taking as observation regions slices of the form $ω=(a,b) \times \mathbb{T} \times \mathbb{T}$ or tubes $ω= (a,b) \times ω_y \times \mathbb{T}$, with $-1<a<b<1$. We prove that observability fails for an arbitrary time $T>0$ but both observability and Lipschitz stability hold true after a positive minimal time, which depends on the distance between $ω$ and the boundary of $Ω$: $$T_{\min} \geqslant \frac{1}{8} \min\{(1+a)^2,(1-b)^2\}.$$ Our…
In this paper, we establish a globally quantitative estimate of unique continuation at one time point for solutions of parabolic equations with Neumann boundary conditions in bounded domains. Our proof is mainly based on Carleman commutator estimates and a global frequency function argument, which is motivated from a recent work [5]. As an application, we obtain an observability inequality from measurable sets in time for all solutions of the above equations.
In this paper, we derive a local unique continuation property for stochastic hyperbolic equations without boundary conditions. This result is proved by a global Carleman estimate.
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…
We establish a strong unique continuation property for stochastic parabolic equations. Our method is based on a suitable stochastic version of Carleman estimate. As far as we know, this is the first result for strong unique continuation property of stochastic partial differential equations.
This paper is concerned with the inverse scattering problem involving the time-domain elastic wave equations in a bounded $d$-dimensional domain. First, an explicit reconstruction formula for the density is established by means of the Dirichlet-to-Neumann operator. The reconstruction is mainly based on the modified boundary control method and complex geometric optics solutions for the elastic wave. Next, the stable observability is obtained by a Carleman estimate. Finally, the stability for the density is presented by the connect operator.
The goal of this paper is to analyze control properties of the parabolic equation with variable coefficients in the principal part and with a singular inverse-square potential:\,$\partial_tu(x,t)-{\rm div}(p(x)\nabla u(x,t))-(μ/{|x|^2})u(x,t)=f(x,t).$ Here $μ$ is a real constant . It was proved in the paper of Goldstein and Zhang (2003) that the equation is well-posedness when $0\leq{μ\leq p_1(n-2)^2/4}$, and in this paper, we mainly consider the case $0\leqμ<({ p_1^2}/{ p_2})(n-2)^2/4$ , where $ p_1,p_2$ are two positive constants which satisfy:\, $ 0< p_1\leq p(x)\leq p_2 , \forall x\in\over…
This paper is concerned with the stability of the inverse source problem for the damped biharmonic plate equation in three dimensions. The stability estimate consists of the Lipschitz type data discrepancy and the high frequency tail of the source function, where the latter decreases as the upper bound of the frequency increases. The stability also shows exponential dependence on the constant damping coefficient. The analysis employs Carleman estimates and time decay estimates for the damped plate wave equation to obtain an exact observability bound and depends on the study of the resonance-fr…
