No label defined (Q4234598)

Let \(\{T(t)\mid t\geq 0\}\) be a \((C_0)\) operator semigroup on a Banach space \(X\), and suppose that \(\{T(t)\mid t\geq 0\}\in G(M,w)\), i.e. there are \(M\geq 1\) and \(w\geq 0\) such that \(\|(A)\|\leq Me^{wt}\) for all \(t\geq 0\). The following theorem is proved: Let \(\{T(t)\mid t\geq 0\}\) be a \((C_0)\) operator semigroup in \(G(M,w)\), then for \(x\in X\) the following conditions are equivalent: i) For each \(\xi>\xi_0\), \[ \Biggl\|E\Biggl[T\Biggl({S_n\over n}\Biggr)\Biggr]x- T(\xi)x\Biggr\|= o_\xi(n^{-1})\quad (n\to\infty); \] ii) \(x\in D(A^2 T(\xi_0))\), and \(A^2 T(\xi_0)x= 0\).