Lyapunov pairs in semilinear differential problems with state-dependent impulses (Q2316070)

The authors study the following problem in a Banach space \(E\): \[ y^\prime (t) \in Ay(t) + G(t,y(t)),\,\,t \in [0,a],\,\,t \neq \tau_j(y(t)),\,\,j = 1,\dots,m, \] \[ y(t^+) = y(t) +I_j(y(t)),\quad\quad t\in [0,a],\,t = \tau_j(y(t)),\,\,j = 1,\dots,m, \] \[ y(0) = y_0 \in E, \] where \(A : D(A) \subseteq E \to E\) is a linear operator generating a \(C_0\)-semigroup; the multimap \(G : [0,a] \times E \multimap E\) is (compact convex)-valued, satisfies the upper Carathéodory conditions and \(\chi\)-regularity condition expressed in terms of the Hausdorff measure of noncompactness \(\chi;\) and \(\tau_j : E \to \mathbb{R},\) \, \(I_j : E \to E,\) \,\(j=1,\dots,m,\) are given maps. The existence of a mild solution to this problem is proved. A pair of functions \(V, p : E \to \mathbb{R}\) is called an equi-Lyapunov pair for the above inclusion provided \[ V(y(t)) + \int_\tau^t p(y(s))ds \leq V(\xi),\quad t \in [\tau,a] \] for every mild solution \(y\) with the initial value \(y(\tau) = \xi.\) Sufficient conditions for the existence of equi-Lyapunov pairs are presented and it is demonstrated how the existence of mild solutions for the above impulsive problem may be obtained via equi-Lyapunov pairs.