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.

Discrete Carleman estimates and three balls inequalities

Discrete Carleman Estimates for Elliptic Operators in Arbitrary Dimension and Applications

Uniqueness properties for discrete equations and Carleman estimates

On Relationship Between Convergence Ball of Euler Iteration in Banach Spaces and Its Dynamical Behavior on Riemann Spheres

Discrete Carleman estimates and application to controllability for a fully-discrete parabolic operator with dynamic boundary conditions

Carleman estimates for space semi-discrete approximations of one-dimensional stochastic parabolic equation and its applications

Carleman estimates and controllability results for fully discrete approximations of 1D parabolic equations

The convergence ball of Newton's method and the uniqueness ball of equations under Hölder-type continuous derivatives

Stability estimate for the discrete Calderon problem from partial data

Carleman estimates for time-discrete parabolic equations and applications to controllability

Semiclassical estimates for the magnetic Schrödinger operator on the line

Bochner-Riesz means for critical magnetic Schrödinger operators in ${\mathbb R^2}$

On eigenvalue inequalities of Schmuckenschlager

Discrete stochastic maximal $ L^p $-regularity and convergence of a spatial semidiscretization for a stochastic parabolic equation

Carleman estimates for Baouendi-Grushin operators with applications to quantitative uniqueness and strong unique continuation

Carleman estimates and controllability for a semi-discrete fourth-order parabolic equation

Discrete logarithmic Sobolev inequalities in Banach spaces

Remarks on eigenvalue estimates and semigroup domination

Convergence analysis of enhanced Phragmén–Lindelöf methods for solving elliptic Dirichlet problems