A Katznelson-Tzafriri theorem for measures (Q2253786)

Let \(X\) be a complex Banach space and \(T_t\) be a bounded asymptotically analytic semigroup with generator \(A\). For a bounded Borel measure \(\mu\) on \(\mathbb{R}_+\), denote \(\hat{\mu}(T)=\int_0^{+\infty}T_t\, d\mu(t)\) and let \((\mathcal F\mu)(s)=\int_{\mathbb R}e^{-ist}\,d\mu(t)\) be a Fourier transform of the measure. Suppose that \(i\sigma(A)\cap\mathbb R\) is of spectral synthesis and let \(\mu\) be a bounded Borel measure on \(\mathbb{R}_+\) such that \((\mathcal F\mu)(s)=0\) for all \(s\in i\sigma(A)\cap\mathbb R\). Then \(\lim_{t\to+\infty}\|T_t\hat{\mu}(T)\|=0\). Assume that \(s\in i'\sigma(A)\cap\mathbb R=\{0\}\). Then \(\lim_{t\to+\infty}\|T_t A R(1,A)\|=0\), where \(R(\lambda,A)=(\lambda-A)^{-1}\) is the resolvent of the generator \(A\). Moreover, for any dominating function \(m\) for the resolvent and any \(\varepsilon\in(0,1)\), \(\|T_t A R(1,A)\|=O(m^{-1}(t^{1-\varepsilon}))\) as \(t\to+\infty\).