Resolvent conditions for the control of parabolic equations

Thomas Duyckaerts (1) , Luc Miller (2)

1 LAGA - Laboratoire Analyse, Géométrie et Applications
2 MODAL'X - Modélisation aléatoire de Paris X

Since the seminal work of Russell and Weiss in 1994, resolvent conditions for various notions of admissibility, observability and controllability, and for various notions of linear evolution equations have been investigated intensively, sometimes under the name of infinite-dimensional Hautus test. This paper sets out resolvent conditions for null-controllability in arbitrary time: necessary for general semigroups, sufficient for analytic normal semigroups. For a positive self-adjoint operator A, it gives a sufficient condition for the null-controllability of the semigroup generated by -A which is only logarithmically stronger than the usual condition for the unitary group generated by iA. This condition is sharp when the observation operator is bounded. The proof combines the so-called ''control transmutation method'' and a new version of the ''direct Lebeau-Robbiano strategy''. The improvement of this strategy also yields interior null-controllability of new logarithmic anomalous diffusions.

Mots clés: Null controllability; Hautus test; resolvent estimates; linear parabolic equations.

Mots clés: linear parabolic equations

Domaines: Equations aux dérivées partielles [math.AP]; Optimisation et contrôle [math.OC]

Thomas Duyckaerts, Luc Miller. Resolvent conditions for the control of parabolic equations. Journal of Functional Analysis, 2012, 263 (11), pp.3641-3673. ⟨10.1016/j.jfa.2012.09.003⟩. ⟨hal-00620870v2⟩