Coercive quadratic converse ISS Lyapunov theorems for linear analytic systems

We derive converse Lyapunov theorems for input-to-state stability (ISS) of linear infinite-dimensional analytic systems. We show that input-to-state stability of a linear system does not imply existence of a coercive quadratic ISS Lyapunov function, even if the input operator is bounded. If, however, the semigroup is similar to a contraction semigroup on a Hilbert space, then a quadratic ISS Lyapunov function always exists for any input operator that is bounded, or more generally, $p$-admissible with $p