Elliptic Carleman Estimates and Applications to Stabilization and Controllability, Volume I

The first three chapters illustrate the derivation of Carleman estimates using pseudo-differential calculus with a large parameter. Continuation issues are then addressed, followed by a proof of the logarithmic stabilization of the damped wave equation by means of two alternative proofs of the resolvent estimate for the generator of a damped wave semigroup. The authors then discuss null-controllability of the heat equation, its equivalence with observability, and how the spectral inequality allows one to either construct a control function orprove the observability inequality. The final part of the book is devoted to the exposition of some necessary background material: the theory of distributions, invariance under change of variables, elliptic operators with Dirichlet data and associated semigroup, and some elements from functional analysis and semigroup theory.