No label defined (Q4249045)

Whether various regularity properties of a strongly continuous semigroup \( T=(T(t))_{t\geq 0} \) on a Banach space \(X\) are preserved under additive perturbations of its generator by \(B\in L(X) \), is a problem which attracted attention of many researches [see, e.g., \textit{R. S. Phillips}, Trans. Am. Math. Soc. 74, 199-221 (1953; Zbl 0053.08704); \textit{M. Renardy}, Semigroup Forum 51, 343-346 (1995; Zbl 0831.47030) and \textit{B. D. Doytchinov, W. J. Hrusa} and \textit{S. J. Watson}, Semigroup Forum 54, 100-111 (1997; Zbl 0867.47034)]. The paper provides sufficient conditions for several positive answers. They are based on studying convolutions in the space \(X\) of strongly continuous functions from \( \mathbb R_+ \) to \( L(X) \) and the (convolution) Volterra operator \( V \), where \( VF(t)x=\int_0^t T(t-s) BF(s)x ds \), \( F\in X \), \( x\in X \), \( t\geq 0 \). The perturbed semigroup \(S\) is given by the Dyson-Phillips series \( S(t)x=\sum_{k=0}^\infty(V^k T)(t)x \), \( x\in X \). Set \( C((\alpha,\infty))=\{F\in X:t\to F(t) \) is norm continuous for \( t>\alpha\geq 0\} \), \( K((\alpha,\infty))=\{F\in X:F(t) \) is a compact operator on \( X \) for \( t>\alpha\geq 0\} \) and \( C^1([\alpha,\infty))=\{F\in X: t\to F(t) \) is strongly continuously differentiable for \( t\geq\alpha\geq 0\} \). The main results read. If \(T\in C((\alpha,\infty)) \) [resp., \(T\in K((\alpha,\infty)) \) or \(T\in C^1([\alpha,\infty)) \)] and \(\text{Ran } V^n \subseteq C((0,\infty)) \) [resp., \( K((0,\infty)) \) or \( C^1([0,\infty)) \)] for some \( \alpha>0 \) and \( n\in\mathbb N \), then \(S\in C((n\alpha,\infty)) \) [resp., \( K((n\alpha,\infty)) \) or \( C^1([n\alpha,\infty)) \)]. For the entire collection see [Zbl 0911.00033].