A self-adjoint operator and an operator bounded from the domain with the graph norm to another Hilbert space are considered. The admissibility or the exact observability in finite time of the unitary group generated by with respect to the observation operator are characterized by some spectral inequalities on and . E.g. both properties hold if and only if is a norm on equivalent to uniformly with respect to .
This paper generalizes and simplifies some results on the control of unitary groups obtained using these so-called resolvent conditions, also known as Hautus tests. It proves new theorems on the equivalence (with respect to admissibility and observability) between first and second order equations, between groups generated by and for positive and convex , and between a group and its Galerkin approximations. E.g. they apply to the control of linear Schrödinger, wave and plates equations and to the uniform control of their finite element semi-discretization.
Cite this article
Luc Miller, Resolvent conditions for the control of unitary groups and their approximations. J. Spectr. Theory 2 (2012), no. 1, pp. 1–55DOI 10.4171/JST/20