On the Hautus test for exact observability of normal semigroups
Let $T$ be an exponentially stable strongly continuous semigroup on a Hilbert space $X$, $A$ its generator, $X_1$ the domain of $A$ with the norm $\|v\|_1 := \|Av\|$, and $C$ an admissible observation operator taking values in a Hilbert space $Y$. Russell and Weiss conjectured that if $(A,C)$ satisfies the infinite-dim...