On generalized Wazewski and Lozinskii inequalities for semilinear abstract differential-delay equations (Q1295948)

The author studies the Cauchy problem for a semilinear functional-differential equation in a Banach space and establishes two extensions of well known differential inequalities. From these, a strong stability condition for the zero solution to this Cauchy problem is presented. Namely, the author considers the following Cauchy problem for functional-differential equations in the Banach space \(X\) (with norm \(|\cdot|\)) \[ \begin{aligned} &\overset{\cdot}{x}(t)=A(t) x(t)+F(t,x (h(t)),\quad t\geq 0,\\ & x(t)=\Phi(t),\qquad t\in[-\eta,0],\end{aligned} \tag \(*\) \] where \(\eta\in(0,+\infty)\) is a given positive constant, and (1) \(\{A(t),t\geq 0\}\) is a family of closed strongly continuously differentiable linear operators in \(X\) with common domain \(D(A(t))=D\) dense in \(X\); (2) there exists some sufficiently small \(\delta>0\) such that for every \(t\in\mathbb{R}^+_0=[0,\infty]\), \(I-\delta A(t)\) is invertible, and \[ |(I-\delta A(t))^{-1}|_X\leq 1+a(t)\delta, \quad t\geq 0, \] (\(I\) is the identity operator in \(X\) and \(|\cdot|_X\) is the norm operator in \(X\)) for some bounded measurable function \(a:\mathbb{R}^+_0\to\mathbb{R}\); (1) \(h:\mathbb{R}^+_0\to\mathbb{R}\) is a strictly increasing differentiable real function \ with a zero such that \[ -\eta\leq h(t)\leq t, \quad t\geq 0; \] (3) \(F:\mathbb{R}^+_0\times C([-\eta,0],X)\to X\) is a Carathéodory function, \(C([-\eta,0],X)\) is the space of the continuous functions defined on \([-\eta,0]\) with values in \(X\) endowed with the norm of the uniform convergence \((\|\cdot\|_{C([-\eta,0],X)})\). Furthermore, \(F\) is Lipschitzian for constant functions, i.e., for some \(\mu\in(0,\infty)\) \(|F(t,g)-F(t,h)|\leq\mu|g-h|\), \(t\geq 0\), (it is done the canonical identification of the constant functions \(g,h\in C([-\eta,0],X)\) with their values), and it exists some bounded measurable function \(w:\mathbb{R}^+_0\to \mathbb{R}^+_0\) such that for every constant function (4) \(|F(t,g)|\leq w(t)|g|\), \(t\geq 0 \) (with the beforementioned identification). It is remarked that this last hypothesis (4) may be replaced by the condition \(F(t,0)=0\), \(t\geq 0,\) if the condition (2) holds (5) \(\Phi\in C([-\eta,0],X)\). Under the assumptions on \(A(\cdot)\), let \(U(\cdot,\cdot)\) be its associated evolution operator. Fix \(\Phi\) in \(C([-\eta,0],X)\). A continuous function \(x(\cdot;\Phi):[-\eta,\infty)\to X\) is said a mild solution to the Cauchy problem \((*)\) if it satisfies the initial condition of \((*)\) and it is a solution to the integral equation \[ x(t;\Phi)=U(t,0)\text{ }x(0;\Phi)+\int_0^tU(t,s)F(s,x(h(s); \Phi) ds, \quad t\geq 0 . \] Essentially, the main result of this paper is the existence and uniqueness theorem for \((*)\) and the estimation therein. Theorem. Under the assumptions (1)--(5), the Cauchy problem \((*)\) has a unique mild solution \(x(\cdot;\Phi)\). Moreover, it holds the estimation \[ |x(t;\Phi)|\leq z(t;\Phi)\exp \left(\int_0^ta(\tau) d\tau\right), \quad t\geq h^{-1}(0), \] where \(z(\cdot;\Phi)\) is the solution to the scalar equation \ \[ z(t;\Phi)=k(\Phi)+\int_{h^{-1}(0)}^tq(s) z(h(s);\Phi) ds,\quad t\geq h^{-1}(0)\text{ ,} \] with \[ q(s)=w(s)\exp \left(-\int_{h(s)}^sa(\tau) d\tau\right),\quad s\geq h(0), \] and \(k(\Phi)\) is an adequate positive constant on time (obviously depending on \(\Phi\)). In the sequel, the author introduces a strong definition of stability for the zero solution to \((*)\). The zero solution to \((*)\) (corresponding to \(\Phi=0\)) is said absolutely stable in the class of Carathéodory nonlinearities \(F\) satisfying (3) if there exists some positive number \(N\) such that \[ \sup_{t\geq 0}|x(t;\Phi)|\leq N\|\Phi\|_{C([-\eta,0],X)}, \] where \(x(\cdot;\Phi)\in C(0,\infty,X)\) is the mild solution to the corresponding Cauchy problem \((*)\). Corollary. Let the hypothesis (1)--(5) of the Cauchy problem \((*)\) and let the condition \[ \varlimsup_{t\to\infty} t^{-1} \left(\int_0^ta(\tau) d\tau+\int_0^{h^{-1}(t)}q(\tau) d\tau\right)<+\infty \] be fulfilled. Then the zero solution to \((*)\) is absolutely stable in the class of Carathéodory nonlinearities \(F\) satisfying (3).