Resolvent conditions for the control of unitary groups and their approximations

  • Luc Miller

    Université Paris-Ouest La Défense, Nanterre, France


A self-adjoint operator A\mathcal A and an operator C\mathcal C bounded from the domain D(A)\mathcal D(\mathcal A) 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 iAi\mathcal A with respect to the observation operator C\mathcal C are characterized by some spectral inequalities on A\mathcal A and C\mathcal C. E.g. both properties hold if and only if x (Aλ)x+Cxx\mapsto\ \|(\mathcal A-\lambda)x \|+\|\mathcal C x \| is a norm on D(A)\mathcal D(\mathcal A) equivalent to x(Aλ)x+xx\mapsto\|(\mathcal A -\lambda)x\|+\|x\| uniformly with respect to λR\lambda\in\mathbb R.
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 iAi\mathcal A and if(A)if(\mathcal A) for positive A\mathcal A and convex ff, 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–55

DOI 10.4171/JST/20