On the decay of bounded semigroup on the domain of its generator (Q2351168)

The present paper considers the relation between two results dealing with bounded strongly continuous semigroups \(S(t)\) in a Banach space \(E\). The first (I) is due to \textit{Yu. I. Lyubich} and \textit{Vu Quôc Phóng} [Stud. Math. 88, No.~1, 37--42 (1988; Zbl 0639.34050)] and says that, if the intersection of the spectrum \(\sigma(A)\) of the infinitesimal generator \(A\) with the imaginary axis is (at most) countable, then \(\lim_{t \to +\infty} \|S(t)y\| = 0\) for all \(y \in E\) if and only if \(A^*\) has no pure imaginary eigenvalues. The second (II) says that the intersection of \(\sigma(A)\) with the imaginary axis is empty if and only if \[ \|S(t)(A - \lambda I)^{-1}\| \to 0 \;\;\text{as} \;\;t \to +\infty \] for any \(\lambda \notin \sigma(A)\), and is due to \textit{C. J. K. Batty} and \textit{T. Duyckaerts} [J. Evol. Equ. 8, No. 4, 765--780 (2008; Zbl 1185.47043)]. The object of the present paper is to show that (I) \(\Rightarrow\) (II) by applying the first result to a special semigroup in a subspace of the space of bounded linear operators \({\mathcal L}(E, E)\). As a bonus, the ``only if'' part of (II) does not use the boundedness of \(S(t)\). The author announces further work on this topic in a forthcoming paper.