ABSTRACT. The stability of the uniform correctness of the Cauchy problem u"(t) + ~u'(t) = Au(t), t > 0, u(0) = u0, u'(0) = O, for k > 0 with respect to perturbations of the operator A is studied.KEY WORDS: abstract Cauchy problem, uniform correctness, perturbation theory, stability.Let A be an operator with nonempty resolvent set p(A) in a Banach space E (hence, A is closed and the domain D(A) is dense in E). For k > 0, we consider the abstract Cauchy problemDefinition 1. A 8olutioa of Eq. (1) is a function u(t) twice strongly differentiable for t > 0, ranging in D(A), and satisfying the equation.Definition 2. Problem (1), (2) is said to be uniformly correct if there exists an operator function Yk(t, A) on E that commutes with A and numbers M > 1 and w > 0 such that for each u0 E D(A) the function Yk(t, A)u0 is the unique solution of (1), (2), and moreover,
IIYk(t, A)II < Mexp(~t).
(3)The function Yt(t, A) will be referred to as an operator Beasel function; the set of operators for which problem (1), (2) is uniformly correct will be denoted by Gt.If A is the generator of the operator cosine function C(t, A) (see the terminology in [1]), that is, A e Go, then A E Gt for each k > 0 [2]. Note that the embedding Go C Gk is proper (in [3] one can find an example of an operator A(k) E Gt \ Co).In the present paper we study the inclusion A + B E Gk for the perturbed operator under the condition A E Gt. The theory of generators of semigroups and cosine functions can be found, e.g., in [1,4].If Al, A2 E Go, then, in general, the operator A1 + A2 (or its closure) does not belong to Go even if C(t, A1) commutes with C(t, A2) (see [1]). However, the following assertion is valid.