Discrete Carleman Estimates for Elliptic Operators in Arbitrary Dimension and Applications
Franck Boyer,Florence Hubert,Jérôme Le Rousseau
DOI: https://doi.org/10.1137/100784278
IF: 2.2
2010-01-01
SIAM Journal on Control and Optimization
Abstract:In arbitrary dimension, we consider the semidiscrete elliptic operator $-\partial_t^2+\mathcal{A}^{\scriptscriptstyle\mathfrak{M}}$, where $\mathcal{A}^{\scriptscriptstyle\mathfrak{M}}$ is a finite-difference approximation of the operator $-\nabla_x(\Gamma(x)\nabla_x)$. For this operator we derive a global Carleman estimate, in which the usual large parameter is connected to the discretization step-size. We address discretizations on some families of smoothly varying meshes. We present consequences of this estimate, such as a partial spectral inequality of the form of that proven by G. Lebeau and L. Robbiano for $\mathcal{A}^{\scriptscriptstyle\mathfrak{M}}$ and a null-controllability result for the parabolic operator $\partial_t+\mathcal{A}^{\scriptscriptstyle\mathfrak{M}}$ for the lower part of the spectrum of $\mathcal{A}^{\scriptscriptstyle\mathfrak{M}}$. With the control function that we construct (whose norm is uniformly bounded) we prove that the $L^2$-norm of the final state converges to zero exponentially, as the step-size of the discretization goes to zero. A relaxed observability estimate is then deduced.
mathematics, applied,automation & control systems