Spectral characterizations of stable operator semigroups
We introduce the notion of local pseudofunction spectrum $\sigma_{PF}(A)$ for the infinitesimal generator $A$ of a bounded $C_0$-semigroup $\mathcal{T} = (T(t))_{t \geq 0}$ on a Banach space $X$ and show it is the right spectral concept to deliver a full characterization of the strong stability of $\mathcal{T}$: $$ \forall x \in X : ~ \lim_{t \to \infty} \| T(t) x \|_X = 0 \quad \Longleftrightarrow \quad \sigma_{PF}(A) = \varnothing. $$ We demonstrate how this yields a quick proof of the well-known Arendt-Batty-Lyubich-V\~u theorem and establish novel stability results through local range density conditions for semigroups whose local pseudofunction spectra are a null subset of the imaginary axis. We also obtain similar stability characterization theorems for individual orbits and for semi-uniform stability. As an application of our results, we provide spectral characterizations of almost periodic $C_0$-semigroups with countable spectrum. In addition, we prove optimal Tauberian theorems of Katznelson-Tzafriri type and discuss connections with Wiener kernels.