On stability for impulsive perturbed systems via cone-valued Lyapunov function method (Q1888518)

The paper contains two results regarding the uniform eventual \(\Phi _0\)-stability and respectively the uniform eventual asymptotic \(\Phi _0\)-stability of the null solution of a system of impulsive differential equations. They extend recent theorems of \textit{G. K. Kulev} and \textit{D. D. Bainov} [J. Math. Anal. Appl. 140, 324--340 (1989; Zbl 0681.34042)] and are based on certain cone-valued Lyapunov functions. The system under investigation reads as \[ x^{\prime }=f(t,x)+R(t,y),\quad y^{\prime }=h(t,x,y),\quad t\neq \tau _i(x,y), \] with \[ \Delta x=A_t(x)+B_t(y),\quad \Delta y=C_t(x),\quad t=\tau _i(x,y), \] where \(f\), \(R\), \(h\) and \(\tau _i\) verify a set of technical conditions referred to as (A). The system is regarded as a perturbation of \[ x^{\prime }=f(t,x),\;t\neq \tau _i(x,0),\;\Delta x=A_t(x),\quad t=\tau _i(x,0), \] and the extent of the perturbation is described in property (A). A class \(K\) of monotone functions is introduced and two classes of Lyapunov-like piecewise continuous functions, namely \(V_0\), \(W_0\), are described that pattern according to the work of Kulev and Bainov. Introducing the initial data \(t_0\), \(x_0\), \(y_0\) by requesting that \(x(t_0+0)=x_0\), \(y(t_0+0)=y_0\), the null solution of the system above is uniformly eventually \(\Phi _0\)-stable, where \(\Phi _0\in K_0^{*}\) (the adjoint cone), if for all \(\varepsilon >0\) and all \(t_0\geq 0\) there exists \(\delta >0\) (independent of \(t_0\)) such that for all \(x_0\), \(y_0\) with \(\langle\Phi _0,x_0+y_0\rangle <\delta \) one has \(\langle\Phi _0,x(t)+y(t)\rangle <\varepsilon \), \(t\geq t_0\geq \tau _0\). Theorem 1 reads as: Assume that (A) holds and that there exist functions \(V\in V_0\), \(a\), \(b\in K\) such that \(a(\langle\Phi _0,x+y\rangle )\leq \langle\Phi _0,V(t,x,y)\rangle \leq b(\langle\Phi _0,x+y\rangle )\) for \(t\geq 0\) and \((x,y)\) in a neighbourhood of zero, \(D^{+}V(t,x,y)\) (the upper right Dini derivative) \(\leq G(t,V(t,x,y))\) for all \(t\), \(x\), \(y\) with \(\tau _{k-1}(x,y)<t<\tau _k(x,y)\), \(\int_{t_k}^{t_{k+1}}G(s,V(s,x,y))ds\leq V(t_0,x_0,y_0)\), \(k\geq 0\), where \(G\) is continuous, nonnegative and \(G(t,0)=0\), and \(t_i\) is the only moment when the integral curve \((x(t),y(t))\) meets the hypersurface \(t=\tau _i(x,y)\). Then the null solution of the system is uniformly eventually \(\Phi _0\)-stable. By introducing another Lyapunov-like function \(W\in W_0\), a result regarding the uniform eventual asymptotic \(\Phi _0\)-stability of the null solution is designed (Theorem 2). The proofs are self-contained and detailed. The only minus of this work is its large quantity of misprints.