1 Introduction

The problems of stability of solutions of differential equations via Lyapunov functions have been successfully investigated in the past. One type of stability, very useful in real world problems, is the so-called Lipschitz stability. Dannan and Elaydi [1] introduced the notion of Lipschitz stability for ordinary differential equations. As is mentioned in [1] this type of stability is important only for nonlinear problems, since it coincides with uniform stability in linear systems.

There are a few different real life processes and phenomena that are characterized by rapid changes in their state. We will emphasize two main types of such kind of changes:

  • The duration of these changes is relatively short compared to the overall duration of the whole process and the changes turn out to be irrelevant to the development of the studied process. The mathematical models in such cases can be adequately created with the help of impulsive equations (see, for example, [25], the monographs [6, 7] and the references therein).

  • The duration of these changes is not negligible short, i.e. these changes start impulsively at arbitrary fixed points and remain active on finite initially time intervals. The model of this situation is the non-instantaneous impulsive differential equation. Hernandez and O’Regan [8] introduced this new class of differential equations where the impulses are not instantaneous and they investigated the existence of mild and classical solutions. We refer the reader for some recent results such as existence to [9, 10], to stability [1116], to periodic boundary value problems [17, 18].

    Some examples of such processes can be found in physics, biology, population dynamics, ecology, pharmacokinetics, and others.

In this paper Lipschitz stability of solutions of nonlinear non-instantaneous impulsive differential equations is defined and studied. Several sufficient conditions for Lipschitz stability, uniform Lipschitz stability, and global uniform Lipschitz stability are obtained. Some examples illustrating the results are given. Note that non-instantaneous impulsive differential equations are natural generalizations of impulsive differential equations and some of the obtained sufficient conditions are a generalization of some results in [19]. Also, Lipschitz stability of impulsive functional-differential equations is studied in [20].

2 Preliminaries

In this paper we assume two increasing sequences of points \(\{t_{i}\} _{i=1}^{\infty}\) and \(\{s_{i}\}_{i=0}^{\infty}\) are given such that \(0 < s_{0}<t_{i}<s_{i}<t_{i+1}<s_{i+1}\), \(i=1,2, \ldots\) , and \(\lim_{k\rightarrow \infty}t_{k}=\infty\).

Let \(t_{0} \in\bigcup_{k=0}^{\infty}[s_{k},t_{k+1})\) be a given arbitrary point. Without loss of generality we will assume that \(t_{0} \in[0,s_{0})\).

Consider the initial value problem (IVP) for the system of non-instantaneous impulsive differential equation (NIDE)

$$\begin{aligned}& x' =f(t,x)\quad \text{for } t \in\bigcup _{k=0}^{\infty}(t_{k}, s_{k}], \\& x(t)= \Psi_{k}\bigl(t,x(t), x(s_{k}-0)\bigr)\quad \text{for } t \in(s_{k},t_{k+1}], k=0, 1,2, \ldots, \\& x(t_{0})=x_{0}, \end{aligned}$$
(1)

where \(x,x_{0} \in\mathbb{R}^{n}\), \(f:\bigcup_{k=0}^{\infty}[t_{k}, s_{k}]\times \mathbb{R}^{n} \rightarrow\mathbb{R}^{n}\), \(\Psi_{k}:[s_{k},t_{k+1}] \times \mathbb{R}^{n} \times\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}\) (\(k = 1,2,3,\ldots\)).

Remark 1

The functions \(\Psi_{k}\) are called impulsive functions and the intervals \((s_{k},t_{k+1}]\), \(k=0, 1,2,\ldots\) are called intervals of non-instantaneous impulses.

Remark 2

In the partial case \(s_{k}=t_{k+1}\), \(k=0,1,2,\ldots\) each interval of non-instantaneous impulses is reduced to a point, and the problem (1) is reduced to an IVP for an impulsive differential equation with points of jump \(t_{k}\) and impulsive condition \(x(t_{k}+0)=I_{k}(x(t_{k}-0))\equiv\Psi_{k}(t_{k},x(t_{k}-0),x(t_{k}-0))\).

The solution \(x(t;t_{0},x_{0})\) of IVP for NIDE (1) is given by

$$ x(t;t_{0},x_{0}) = \left \{ \textstyle\begin{array}{l@{\quad}l} X_{k}(t) & \text{for }t \in(t_{k},s_{k}], k=0, 1, 2, \ldots, \\ \Psi_{k}(t, x(t;t_{0},x_{0}), X_{k}(s_{k}-0)) & \text{for }t \in(s_{k}, t_{k+1}], k=0, 1, 2, \ldots, \end{array}\displaystyle \right . $$
(2)

where

  • for any \(k=0,1,2,\ldots\) the function \(X_{k}(t)\), \(t\in[t_{k},s_{k}]\) is a solution of the initial value problem for ODE \(x'=f(t,x)\), \(x(t_{k})=x(t_{k};t_{0},x_{0})\), respectively;

  • on any interval \((s_{k},t_{k+1}]\), \(k=0,1,2,\ldots\) the solution \(x(t;t_{0},x_{0})\) satisfies the algebraic equation \(x(t;t_{0},x_{0})=\Psi _{k}(t,x(t;t_{0},x_{0}), X_{k}(t_{1}-0))\).

Let \(J \subset\mathbb{R}^{+}\) be a given interval. Introduce the following classes of functions:

$$\begin{aligned}& NPC(J)=\Biggl\{ u:J \rightarrow\mathbb{R}^{n}: u\in C\Biggl(J\Big/\bigcup _{k=0}^{\infty }\{ s_{k}\}, \mathbb{R}^{n}\Biggr): \\& \hphantom{NPC(J)={}}{}u(s_{k})=u(s_{k}-0)=\lim _{t \uparrow s_{k}}u(t)< \infty, u(s_{k}+0)=\lim _{t \downarrow s_{k}}u(t)< \infty, k: s_{k} \in J\Biggr\} , \\& NPC^{1}(J)=\Biggl\{ u:J \rightarrow\mathbb{R}^{n}: u\in NPC(J), u\in C^{1}\Biggl(J\Big/\bigcup_{k=0}^{\infty} \{s_{k}\},\mathbb{R}^{n}\Biggr): \\& \hphantom{NPC^{1}(J)={}}{}u'(s_{k})=u'(s_{k}-0)= \lim_{t \uparrow s_{k}}u'(t)< \infty, k: s_{k} \in J \Biggr\} . \end{aligned}$$

Remark 3

According to the above description any solution of (1) might have a discontinuity at any point \(s_{k}\), \(k =0, 1,2, \ldots\) .

Now we will illustrate the influence of the impulsive condition on the behavior of the solution.

Example 1

Consider the IVP for the NIDE

$$\begin{aligned}& x'=-x \quad \mbox{for }t\in\bigcup _{k=0}^{\infty}(2k,2k+1], \\& x(t)= \Psi_{k}\bigl(t,x(t), x(2k+1-0)\bigr) \quad \mbox{for }t \in(2k+1,2k+2], k=0,1,2,\ldots, \\& x(0)=x_{0}. \end{aligned}$$
(3)

Case 1. Let \(\Psi_{k}(t,x,y)=2y\). Then the impulsive condition is \(x(t)=2 x(2k+1-0)\) and the solution of (3) is

$$ x(t;0,x_{0}) = \left \{ \textstyle\begin{array}{l@{\quad}l} 2^{k} x_{0}e^{-t+k}& \text{for }t\in(2k,2k+1], k=0,1,2,\ldots, \\ 2^{k} x_{0}e^{-k} & \text{for }t\in(2k-1,2k], k=1,2,\ldots. \end{array}\displaystyle \right . $$
(4)

The graph of the solutions of (3) on \([0,8]\) with various initial values \(x_{0}=0.5\), \(x_{0}=1\), \(x_{0}=1.5\) is given in Figure 1.

Figure 1
figure 1

Graphs of solutions of ( 3 ) for various \(\pmb{x_{0}}\) .

Case 2. Let \(\Psi_{k}(t,x,y)=2x\). Then the impulsive condition is \(x(t)=2x(t)\) for \(t \in(2k-1,2k]\), \(k=1,2,\ldots\) with a solution \(x(t)\equiv0\), \(t \in(2k-1,2k]\), \(k=1,2,\ldots\) . The solution of (3) with the new impulsive condition is

$$ x(t;0,x_{0}) = \left \{ \textstyle\begin{array}{l@{\quad}l} x_{0}e^{-t}& \text{for }t\in(0,1], \\ 0 & \text{for }t\geq1. \end{array}\displaystyle \right . $$
(5)

Case 3. Let \(\Psi_{k}(t,x,y)=t-x\). Then the impulsive condition is \(x(t)=t-x(t)\) for \(t \in(2k-1,2k]\), \(k=1,2,\ldots\) with a solution \(x(t)=0.5 t\), \(t \in(2k-1,2k]\), \(k=1,2,\ldots\) . The solution of (3) with the new impulsive condition is

$$ x(t;0,x_{0}) = \left \{ \textstyle\begin{array}{l@{\quad}l} x_{0}e^{-t}& \text{for }t\in(0,1], \\ 0.5 t & \text{for }t\in(2k-1,2k], k=1,2,\ldots, \\ ke^{-t+2k}& \text{for }t\in(2k,2k+1], k=1,2,\ldots. \end{array}\displaystyle \right . $$
(6)

Therefore, if any impulsive function \(\Psi_{k}(t,x,y)\) do not depend on y the solution does not depend on the initial value \(x_{0}\) for \(t>s_{k}\) (see Cases 2 and 3).

Remark 4

Note in some papers (see, for example [14]) the functions of non-instantaneous impulses are given in the form \(g_{k}(t,x(t))\), i.e. they do not depend on the value of the solution before the jump \(x(s_{k}-0)\). Then the solution will depend on the initial value only on the interval \([t_{0},s_{0}]\). Then the meaning of the stability as well dependence of the solution on the initial value is lost.

Introduce the following condition.

  1. (H1)

    The function \(f \in C(\bigcup_{k=0}^{\infty}[t_{k}, s_{k}]\times\mathbb{R}^{n}, \mathbb{R}^{n})\) and \(f(t,0)\equiv0\).

  2. (H2)

    For any \(k=0,1,2,\ldots\) and any fixed \(t\in [s_{k},t_{k+1}]\) and \(y\in\mathbb{R}^{n}\) the algebraic equation \(x=\Psi _{k}(t,x,y)\) has unique solution \(x=\phi_{k}(t,y)\) with \(\phi_{k} \in C([s_{k},t_{k+1}] \times\mathbb{R}^{n}, \mathbb{R}^{n})\) and \(\phi_{k}(t,0)\equiv0\).

If condition (H2) is satisfied then IVP for NIDE (1) could be written in the form

$$\begin{aligned}& x' =f(t,x) \quad \text{for } t \in\bigcup _{k=0}^{\infty}(t_{k}, s_{k}], \\& x(t)= \phi_{k}\bigl(t,x(t_{k}-0)\bigr) \quad \text{for } t \in(s_{k},t_{k+1}], k=0,1,2, \ldots, \\& x(t_{0})=x_{0}. \end{aligned}$$
(7)

Let \(J\subset\mathbb{R}_{+}\), \(0\in J\), \(\rho>0\). Introduce the following sets:

$$\begin{aligned}& M(J)= \bigl\{ a\in C\bigl[J, \mathbb{R}^{+}\bigr]: a(0)=0, a(r)\text{ is strictly increasing in } J, \mbox{and} \\& \hphantom{M(J)= {}}{}a^{-1}(\alpha r) \leq rq_{a}(\alpha) \mbox{ for some function } q_{a}: q_{a}(\alpha)\geq1, \text{if } \alpha\geq1 \bigr\} , \\& K(J)= \bigl\{ a\in C\bigl[J, \mathbb{R}^{+}\bigr]: a(0)=0, a(r)\text{ is strictly increasing in } J, \mbox{and} \\& \hphantom{K(J)= {}}a(r) \leq K_{a}r \mbox{ for some constant } K_{a}>0 \bigr\} , \\& S_{\rho}= \bigl\{ x\in\mathbb{R}^{n}: \|x\|\leq\rho\bigr\} . \end{aligned}$$

Remark 5

The function \(a(u)=K_{1}u\), \(K_{1}\in(0,1]\) is from the class \(K(\mathbb{R}_{+})\) with \(q(u)\equiv u\). The function \(a(u)=K_{1} u^{2}\), \(K_{1}>0\) is from the class \(M([0,1])\).

We will use the class Λ of Lyapunov-like functions, defined and used for impulsive differential equations in [7].

Definition 1

Let \(J \subset\mathbb{R}_{+}\) be a given interval, and \(\Delta\subset \mathbb{R}^{n} \) be a given set. We will say that the function \(V(t,x):J \times\Delta\rightarrow\mathbb{R}_{+}\), belongs to the class \(\Lambda(J, \Delta)\) if:

  • the function \(V(t,x)\) is a continuous on \(J/\{t_{k} \in J\}\times\Delta\) and it is locally Lipschitz with respect to its second argument;

  • for each \(s_{k} \in J\) and \(x \in\Delta\) there exist finite limits

    $$ V(s_{k},x)=V(s_{k}-0,x)= \lim_{t \uparrow s_{k}}V(t,x) \quad \text{and}\quad V(s_{k}+0,x)= \lim_{t \downarrow s_{k}}V(t,x). $$

For any \(t \in(t_{k}, s_{k})\), \(k=0,1,2,\ldots\) , we define the Dini derivative of the function \(V(t,x)\in\Lambda(J, \Delta)\) by

$$ D_{+}V(t,x)=\lim_{h \to0^{+}}\sup \frac{1}{h}\bigl\{ V(t,x)-V \bigl(t-h,x-hf(t,x)\bigr)\bigr\} , $$

where \(x \in\Delta\), and for any \(t \in(t_{k},s_{k})\) there exists \(h_{t}>0\): \(t-h \in(t_{k},s_{k})\), \(x-hf(t,x) \in\Delta\) for \(0< h< h_{t}\).

3 Main results

We define Lipschitz stability [1] of systems of differential equations with non-instantaneous impulses.

Definition 2

Lipschitz stability

The zero solution of (7) is said to be:

  • Lipschitz stable if there exists \(M \geq1\) and for every \(t_{0} \geq0\) there exists \(\delta=\delta(t_{0})>0\) such that, for any \(x_{0} \in\mathbb{R}^{n}\), the inequality \(|x_{0}|<\delta\) implies \(|x(t;t_{0},x_{0})| \leq M|x_{0}|\) for \(t \geq t_{0}\);

  • uniformly Lipschitz stable if there exist \(M \geq1\) and \(\delta>0\) such that for any \(t_{0}\geq0\) and \(x_{0} \in\mathbb{R}^{n}\) the inequality \(|x_{0}|<\delta\) implies \(|x(t;t_{0},x_{0})| \leq M|x_{0}|\) for \(t \geq t_{0}\);

  • globally uniformly Lipschitz stable if there exists \(M \geq1\) such that for any \(t_{0} \geq0\) and \(x_{0} \in \mathbb{R}^{n}\) the inequality \(|x_{0}|<\infty\) implies \(|x(t;t_{0},x_{0})| \leq M|x_{0}|\) for \(t \geq t_{0}\).

Example 2

Let \(t_{0}\geq0\) be an arbitrary point and without loss of generality we can assume \(0\leq t_{0}< s_{0}\). Consider the IVP for the NIDE

$$\begin{aligned}& x'=\frac{x}{(1+t)^{2}}\quad \mbox{for }t\in\bigcup _{k=0}^{\infty}(t_{k},s_{k}], \\& x(t)=\Psi_{k}\bigl(t,x(t), x(s_{k}-0)\bigr)\quad \mbox{for }t \in(s_{k-1},t_{k}], k=1,2,\ldots, \\& x(0)=x_{0}. \end{aligned}$$
(8)

The solution of ODE \(x'=\frac{x}{(1+t)^{2}}\), \(x(\tau _{0})=x_{0}\) is \(x(t)=x_{0}e^{\frac{1}{1+\tau _{0}}-\frac{1}{1+t}}\), \(t\geq\tau _{0}\). Note, for any finite initial value \(x_{0}\) the inequality \(|x(t)|=x_{0}e^{\frac {1}{1+\tau _{0}}-\frac{1}{1+t}}\leq M|x_{0}|\) for \(t\geq\tau _{0}\) holds with \(M=e\), i.e. the zero solution of ODE is globally Lipschitz stable but not asymptotically stable (see the graphs for \(\tau _{0}=0\), \(x_{0}=0.1,0.5,1,1.5\) in Figure 2).

Figure 2
figure 2

Graphs of solutions of ( 8 ), Case 1, for various \(\pmb{x_{0}}\) .

Case 1. Let \(\Psi_{k}(t,x,y)=xy\), \(k=0,1,2,\ldots\) . Then the impulsive condition is \(x(t)=x(t)x(s_{k}-0)\) which unique solution is \(x(t)=0\) since \(x(s_{k}-0)= x_{0}e^{\frac{1}{1+t_{0}}-\frac{1}{1+s_{0}}}\neq0\) iff \(x_{0}\neq0 \) and \(t_{0}< s_{0}\). Then the solution of NIDE (8) will be

$$ x(t;t_{0},x_{0}) = \left \{ \textstyle\begin{array}{l@{\quad}l} x_{0}e^{\frac{1}{1+t_{0}}-\frac{1}{1+t}}& \text{for }t \in(t_{0},s_{0}], \\ 0& \text{for }t >s_{0}. \end{array}\displaystyle \right . $$
(9)

The zero solution is globally Lipschitz stable, since \(x_{0}e^{\frac {1}{1+t_{0}}-\frac{1}{1+t}}\leq M|x_{0}|\) for \(t\geq t_{0}\) with \(M=e^{\frac {1}{1+t_{0}}-\frac{1}{1+t}}=e>1\). In this case the solution is also asymptotically stable.

Case 2. Let \(\Psi_{k}(t,x,y)=y\), \(k=0,1,2,\ldots\) . Then the impulsive condition is \(x(t)=x(s_{k}-0)\) and the solution of (8) is

$$ x(t;t_{0},x_{0}) = \left \{ \textstyle\begin{array}{l@{\quad}l} x_{0} (\prod_{i=0}^{k-1} e^{\frac{1}{1+t_{i}}-\frac{1}{1+s_{i}}} ) e^{\frac{1}{1+t_{k}}-\frac{1}{1+t}}& \text{for }t \in(t_{k},s_{k}], k=0,1, 2, \ldots, \\ x_{0}\prod_{i=0}^{k-1} e^{\frac{1}{1+t_{i}}-\frac{1}{1+s_{i}}} & \text{for } t \in(s_{k-1},t_{k}] , k=1, 2, \ldots. \end{array}\displaystyle \right . $$
(10)

The solution is a continuous function. The graphs of solutions for \(t_{0}=0\), \(s_{k}=2k-1\), \(t_{k}=2k\), \(k=1,2,\ldots\) and various initial values \(x_{0}\) are given in Figure 3. There exists \(M=e>1\) such that \(x(t)< M|x_{0}|\), \(t\geq t_{0}\) for any finite value of \(x_{0}\). Therefore the zero solution of (8) is globally uniformly Lipschitz stable but not asymptotically stable.

Figure 3
figure 3

Graphs of solutions of ( 8 ), Case 2, for various \(\pmb{x_{0}}\) .

Case 3. Let \(\Psi_{k}(t,x,y)=y-x\), \(k=0,1,2,\ldots\) . Then the impulsive condition is \(x(t)=x(s_{k}-0)-x(t)\) which unique solution is \(x(t)=0.5 x(s_{k}-0)\). The solution of (8) is

$$ x(t;t_{0},x_{0}) = \left \{ \textstyle\begin{array}{l@{\quad}l} x_{0}0.5^{k-1} (\prod_{i=0}^{k-1} e^{\frac{1}{1+t_{i}}-\frac {1}{1+s_{i}}} ) e^{\frac{1}{1+t_{k}}-\frac{1}{1+t}}& \text{for }t \in (t_{k},s_{k}], k=0,1, 2, \ldots, \\ x_{0} 0.5^{k}\prod_{i=0}^{k} e^{\frac{1}{1+t_{i}}-\frac{1}{1+s_{i}}} & \text{for }t \in(s_{k-1},t_{k}] , k=1, 2, \ldots. \end{array}\displaystyle \right . $$
(11)

The graphs of solutions for \(t_{0}=0\), \(s_{k}=2k-1\), \(t_{k}=2k\), \(k=1,2,\ldots\) , and various initial values \(x_{0}\) are given in Figure 4. There exists \(M=e>1\) such that \(x(t)< M|x_{0}|\), \(t\geq t_{0}\) for any finite value of \(x_{0}\). Therefore the zero solution of (8) is globally uniformly Lipschitz stable. Also it is asymptotically stable.

Figure 4
figure 4

Graphs of solutions of ( 8 ), Case 3, for various \(\pmb{x_{0}}\) .

The above example shows the presence of non-instantaneous impulses and the type of impulsive functions that have influence on the behavior of the solution.

We study the Lipschitz stability using the following scalar comparison differential equation with non-instantaneous impulses:

$$\begin{aligned}& u' =g(t,u) \quad \text{for } t \in\bigcup _{k=0}^{\infty}(t_{k}, s_{k}], \\& u(t)= \psi_{k}\bigl(t, u(s_{k}-0)\bigr)\quad \text{for } t \in(s_{k},t_{k+1}], k=0, 1,2, \ldots, \\& u(t_{0})=u_{0}, \end{aligned}$$
(12)

where \(u,u_{0} \in\mathbb{R}\), \(g:\bigcup_{k=0}^{\infty}[t_{k}, s_{k}]\times \mathbb{R} \rightarrow\mathbb{R}\), \(\psi_{k}:[s_{k},t_{k+1}] \times \mathbb {R} \rightarrow\mathbb{R}\) (\(k = 0,1,2,3,\ldots\)).

We introduce the following condition.

  1. (H3)

    The function \(g(t,u) \in C(\bigcup_{k=0}^{\infty }[t_{k},s_{k}] \times\mathbb{R}_{+}, \mathbb{R})\), \(g(t,0)=0\), and for any \(k=0,1,2,\ldots\) the functions \(\psi_{k}:[s_{k},t_{k+1}] \times\mathbb{R}_{+} \rightarrow\mathbb{R}_{+}\) are nondecreasing with respect to their second argument and \(\psi_{k}(t,0)=0\).

In the main study we will use the following result.

Proposition 1

Theorem 3.1.1 [21]

Let the function \(V \in C([t_{0},T]\times\mathbb{R}^{n},\mathbb{R}_{+})\) and \(V(t,x)\) be locally Lipschitz in x and \(D_{+}V(t,x)\leq g(t,V(t,x))\) for \((t,x) \in[t_{0},T]\times\mathbb{R}^{n}\), where \(g\in C([t_{0},T] \times\mathbb{R}_{+},\mathbb{R})\). Let \(\tilde {r}(t)=r(t;t_{0},u_{0})\) be the maximal solution of the scalar differential equation \(u'=g(t,u)\) with initial condition \(u(t_{0})=u_{0}\geq0\), existing on \([t_{0},T]\). If \(x(t)=x(t;t_{0},x_{0})\) is any solution of the IVP for ODE \(x'=f(t,x)\), \(x(t_{0})=x_{0}\) existing on \([t_{0},T]\) such that \(V(t_{0},x_{0})\leq u_{0}\), then the inequality \(V(t,x(t)) \leq \tilde{r}(t)\) for \(t \in[t_{0},T]\) holds.

Lemma 1

Assume the following conditions are satisfied:

  1. 1.

    Conditions (H1), (H2), and (H3) are satisfied.

  2. 2.

    The function \(x^{*}(t)=x(t;t_{0},x_{0}) \in NPC^{1}([t_{0},T], \Delta)\) is a solution of (7), where \(T \geq t_{0}\) is a given constants, \(\Delta\subset\mathbb{R}^{n}\).

  3. 3.

    The function \(V \in\Lambda([t_{0},T], \Delta)\) is such that:

    1. (i)

      the inequality \(D_{+}V(t,x^{*}(t))\leq g(t,V(t,x^{*}(t)))\) for \(t \in[t_{0},T] \cap(\bigcup_{k=0}^{\infty}(t_{k},s_{k})) \) holds;

    2. (ii)

      for all \(k=0, 1, 2,3, \ldots\) the inequality

      $$V\bigl(t, \phi_{k}\bigl(t,x^{*}(s_{k}-0)\bigr)\bigr)\leq \psi_{k}\bigl(t,V\bigl(s_{k}-0,x^{*}(s_{k}-0)\bigr) \bigr)\quad \textit{for } t \in[t_{0},T]\cap(s_{k},t_{k+1}] $$

      holds.

If \(V(t_{0},x_{0})\leq u_{0}\), then the inequality \(V(t,x^{*}(t))\leq r(t)\) for \(t \in[t_{0},T]\) holds, where \(r(t)=r(t;t_{0},u_{0})\) is the maximal solution of (12) with \(u_{0}\geq0\).

Proof

We use induction to prove Lemma 1.

The function \(x^{*}(t) \in C^{1}([t_{0},s_{0}]\cap[t_{0},T],\Delta)\). According to condition 3(i) and Proposition 1 applied to the interval \([t_{0},s_{0}]\cap[t_{0},T]\) the inequality

$$ V\bigl(t,x^{*}(t)\bigr)\leq r(t;t_{0},u_{0}) $$
(13)

holds.

Let \(T>s_{0}\) and \(t \in(s_{0},t_{1}] \cap[t_{0},T]\). From condition 3(ii)

$$ V\bigl(t, \phi_{0}\bigl(t,x^{*}(s_{0}-0)\bigr)\bigr)\leq \psi_{0}\bigl(t,V\bigl(s_{0}-0,x^{*}(s_{0}-0)\bigr) \bigr). $$

From the inequality (13) we get \(V(s_{0}-0,x^{*}(s_{0}-0))\leq r(s_{0}-0;t_{0},u_{0})\) and the monotonicity of \(\psi_{0}\) we get

$$ \psi_{0}\bigl(t,V\bigl(s_{0}-0,x^{*}(s_{0}-0) \bigr)\bigr)\leq\psi_{0}\bigl(t,r(s_{0}-0;t_{0},u_{0}) \bigr)=r(t;t_{0},u_{0}), $$

i.e. \(V(t,x^{*}(t))\leq r(t;t_{0},u_{0})\) for \(t \in(s_{0},t_{1}] \cap [t_{0},T]\).

Let \(T>t_{1}\) and \(t \in(t_{1},s_{1}] \cap[t_{0},T]\). Consider the function \(\overline{x}(t)=x^{*}(t)\) for \(t \in(t_{1},s_{1}]\) and \(\overline {x}(t_{1})=x^{*}(t_{1})=\phi_{0}(t_{1},x^{*}(s_{0}-0))\). Since \(\lim_{t \to t_{1}+0}\overline{x}(t)=\overline{x}(t_{1}+0)=\phi_{0}(t_{1},\overline {x}(s_{1}-0))=\overline{x}(t_{1}+0)\), \(\overline{x}(t) \in C^{1}([t_{1},s_{1}],\Delta)\). From condition \(3(ii)\) for the interval \([t_{1},s_{1}] \cap[t_{0},T]\) and the proof above we obtain

$$\begin{aligned} V\bigl(t_{1},\overline{x}(t_{1})\bigr)&=V \bigl(t_{1},\phi_{0}\bigl(t_{1},x^{*}(s_{0}-0) \bigr)\bigr) \\ &\leq\psi_{0}\bigl(t_{1},V\bigl(s_{0}-0,x^{*}(s_{0}-0) \bigr)\bigr) \\ &\leq\psi _{0}\bigl(t_{1},r(s_{0}-0;t_{0},u_{0}) \bigr) \\ &=r(t_{1};t_{0},u_{0}). \end{aligned}$$

Apply Proposition 1 to the interval \([t_{1},s_{1}] \cap[t_{0},T]\) with the initial value \(u_{0}=r(t_{1};t_{0},u_{0})\) and \(V(t_{1},\overline{x}(t_{1}))\leq r(t_{1};t_{0},u_{0})\) and we obtain \(V(t,\overline{x}(t))\leq r(t)\), \(t\in[t_{1},s_{1}] \cap[t_{0},T]\). Therefore \(V(t,x^{*}(t))\leq r(t;t_{0},u_{0})\), \(t\in(t_{1},s_{1}] \cap[t_{0},T]\).

Let \(T>s_{1}\) and \(t \in(s_{1},t_{2}] \cap[t_{0},T]\). From condition 3(ii)

$$ V\bigl(t, \phi_{1}\bigl(t,x^{*}(s_{1}-0)\bigr)\bigr)\leq \psi_{1}\bigl(t,V\bigl(s_{1}-0,x^{*}(s_{1}-0)\bigr) \bigr). $$

From the proof above and monotonicity of \(\psi_{1}\) we get

$$ \psi_{1}\bigl(t,V\bigl(s_{1}-0,x^{*}(s_{1}-0)\bigr) \bigr)\leq\psi_{1}\bigl(t,r(s_{1}-0;t_{0},u_{0}) \bigr)=r(t;t_{0},u_{0}), $$

i.e. \(V(t,x^{*}(t))\leq r(t;t_{0},u_{0})\) for \(t \in(s_{1},t_{2}] \cap [t_{0},T]\).

Continue this process and an induction argument proves the claim of Lemma 1 is true for \(t \in[t_{0},T]\). □

Remark 6

Proposition 1 and Lemma 1 are true for \(T=\infty\) for the interval \([t_{0},\infty)\).

Theorem 1

Let the following conditions be satisfied:

  1. 1.

    Conditions (H1)-(H3) are fulfilled.

  2. 2.

    There exists a function \(V(t,x) \in\Lambda(\mathbb{R}^{+}, \mathbb{R}^{n})\) with Lipschitz constant L in \(S_{\rho}\), \(V(t,0)=0\), and:

    1. (i)

      the inequality

      $$b\bigl(\Vert x\Vert \bigr)\leq V(t,x), \quad x \in\mathbb{R}^{n}, t \in\mathbb{R}_{+}, $$

      holds, where \(b\in K (\mathbb{R}_{+})\);

    2. (ii)

      the inequality \(D^{+}V(t,x) \leq g(t,V(t,x))\), \(t \in\bigcup_{k=0}^{\infty}(t_{k},s_{k}) \), \(x \in\mathbb{R}^{n}\), holds;

    3. (iii)

      for any \(k=1,2, \ldots\) the inequality

      $$V\bigl(t,\phi_{k}(t,y)\bigr)\leq\psi_{k} \bigl(t,V(s_{k}-0,y)\bigr),\quad t \in(s_{k},t_{k+1}], y \in \mathbb{R}^{n}, $$

      holds.

  3. 3.

    The zero solution of (12) is Lipschitz stable.

Then the zero solution of (7) is Lipschitz stable.

Proof

Let \(t_{0}\geq0\) be an arbitrary. Without loss of generality we assume \(t_{0}\in[0,s_{0})\). From condition 3 there exist \(M\geq1\), \(\delta_{1}=\delta_{1}(t_{0},M)>0\) such that for any \(u_{0}\in\mathbb{R}: |u_{0}|<\delta_{1}\) the inequality

$$ \bigl\vert u(t;t_{0},u_{0})\bigr\vert \leq M \vert u_{0}\vert \quad \text{for }t\geq t_{0} $$
(14)

holds, where \(u(t;t_{0},u_{0})\) is a solution of (12).

Since \(V(t_{0},0)=0\) there exists a \(\delta_{2}=\delta_{2}(t_{0},\delta_{1})>0\) such that \(V(t_{0},x)<\delta_{1}\) for \(\Vert x\Vert <\delta_{2}\). The function \(V(t,x)\) is Lipschitz on \(S_{\rho}\) then \(\|x\|<\rho\) implies \(|V(t,x)|=|V(t,x)-V(t,0)|\leq L\|x\|\).

Let \(\delta=\min \{ \delta_{1},\delta_{2},\rho \} \) and choose \(M_{1}\geq1\) such that \(M_{1}> M L\) and let \(M_{2}=q(M_{1})\). Note since \(M_{1}\geq1\) we have \(M_{2}\geq1\) and δ depends on \(t_{0}\) and M, therefore on \(M_{2}\).

Now let the initial value be such that \(\Vert x_{0}\Vert <\delta\). Consider a solution \(x(t)=x(t;t_{0},x_{0})\) of system (7). Let \(u_{0}^{\ast}=V(t_{0},x_{0})\). Then from the choice of \(x_{0}\) it follows that \(u_{0}^{\ast }=V(t_{0},x_{0})<\delta_{1}\) for \(\Vert x_{0}\Vert <\delta\). Therefore, the function \(u^{\ast}(t)\) satisfies (14) for \(t\geq t_{0}\) with \(u_{0}=u^{*}_{0}\), where \(u^{\ast }(t)=u(t;t_{0},u_{0}^{\ast})\) is a solution of (12).

Using condition 2(ii) and applying Lemma 1 for \(\Delta=\mathbb{R}^{n}\), \(T=\infty\) we get

$$ V\bigl(t, x^{\ast}(t)\bigr)\leq u^{\ast}(t)\quad \text{for }t\geq t_{0} . $$
(15)

From inequalities (14), (15), Lipschitz property of \(V(t,x)\), condition 2(i), and Lemma 1 we obtain, for any \(t\geq t_{0}\),

$$\begin{aligned} b\bigl(\bigl\Vert x^{\ast} ( t )\bigr\Vert \bigr)& \leq V\bigl(t,x^{\ast }(t)\bigr)\leq\bigl\vert u^{\ast}(t)\bigr\vert \leq M \bigl\vert u_{0}^{\ast }\bigr\vert = MV(t_{0},x_{0}) \\ &\leq ML\Vert x_{0}\Vert < M_{1} \Vert x_{0}\Vert . \end{aligned}$$
(16)

From the properties of \(b\in K \) and \(M_{1}>1\) it follows that \(b^{-1}(M_{1}u)< M_{1}q(u)\), and

$$ \bigl\Vert x^{\ast} ( t ) \bigr\Vert \leq b^{-1} \bigl(M_{1} \Vert x_{0}\Vert \bigr)\leq \Vert x_{0}\Vert q(M_{1})=M_{2}\Vert x_{0}\Vert . $$

From \(M_{1}\geq1\) its follows that \(q(M_{1})\geq1\) and therefore

$$ \bigl\Vert x^{*}(t;t_{0},x_{0})\bigr\Vert \leq M_{2}|x_{0}|,\quad t\geq t_{0}. $$

 □

Corollary 1

Let the conditions of Theorem  1 be satisfied with \(b(u)=K_{1} u\), \(K_{1}>0\).

Then the zero solution of (7) is Lipschitz stable.

Proof

The proof is similar to the one of Theorem 1 with \(M_{1}\geq1: M_{1}> M \frac{L}{K_{1}}\) and \(M_{2}=M_{1}\). □

Theorem 2

Let the following conditions be satisfied:

  1. 1.

    Conditions (H1)-(H3) are fulfilled.

  2. 2.

    There exists a function \(V(t,x) \in\Lambda(\mathbb{R}_{+}, \mathbb{R}^{n})\) and:

    1. (i)

      the inequalities

      $$b\bigl(\Vert x\Vert \bigr)\leq V(t,x)\leq a\bigl(\Vert x\Vert \bigr), \quad x \in S_{\rho}, t \in\mathbb{R}_{+} $$

      holds, where \(b\in K ([0,\rho])\), \(a\in M ([0,\rho])\), \(\rho>0\);

    2. (ii)

      the inequality \(D^{+}V(t,x) \leq g(t,V(t,x))\), \(t \in\bigcup_{k=0}^{\infty}(t_{k},s_{k}) \), \(x \in S_{\rho}\) holds;

    3. (iii)

      for any \(k=0,1,2, \ldots\) the inequality

      $$V\bigl(t,\phi_{k}(t,y)\bigr)\leq\psi_{k} \bigl(t,V(s_{k}-0,y)\bigr),\quad t \in(s_{k},t_{k+1}], y \in S_{\rho}, $$

      holds.

  3. 3.

    The zero solution of (12) is uniformly Lipschitz stable (uniformly globally Lipschitz stable).

Then the zero solution of (7) is uniformly Lipschitz stable (uniformly globally Lipschitz stable).

Proof

Let the zero solution of (12) be uniformly Lipschitz stable. Let \(t_{0}\geq0\) be an arbitrary. Without loss of generality we assume \(t_{0}\in[0,s_{0})\). From condition 3 there exist \(M\geq1\), \(\delta _{1}>0\) such that for any \(t_{0} \in\bigcup_{k=0}^{\infty}[s_{k},t_{k+1})\) and any \(u_{0}\in\mathbb{R}: |u_{0}|<\delta_{1}\) the inequality

$$ \bigl\vert u(t;t_{0},u_{0})\bigr\vert \leq M \vert u_{0}\vert \quad \text{for }t\geq t_{0} $$
(17)

holds, where \(u(t;t_{0},u_{0})\) is a solution of (12).

From the inclusions \(b\in K ([0,\rho])\) and \(a\in {M}([0,\rho])\) there exist a function \(q_{b}(u)\) and a positive constant \(K_{a}\). Choose \(M_{1}\geq1\) such that \(M_{1}>q_{b}(M) K_{a}\) and \(\delta_{2}\leq \frac{\rho}{M_{1}}\). Therefore, \(\delta_{2}\leq\rho\).

Let \(\delta=\min \{ \delta_{1},\delta_{2},\frac{\delta _{1}}{K_{a}} \} \). Choose the initial value \(x_{0}\): \(\Vert x_{0}\Vert <\delta\). Therefore, \(\|x_{0}\|<\delta\leq\delta _{2}\leq\rho\), i.e. \(x_{0}\in S_{\rho}\). Consider the solution \(x(t)=x(t;t_{0},x_{0})\) of system (7) for the chosen initial data. Let \(u_{0}^{\ast}=V(t_{0},x_{0})\). From the choice of \(x_{0}\) and the properties of the function \(a(u)\) applying condition 2(i) we get \(u_{0}^{\ast }=V(t_{0},x_{0})\leq a(\|x_{0}\|)\leq K_{a}\|x_{0}\|< K_{a} \delta\leq\delta _{1}\). Therefore, the function \(u^{\ast}(t)\) satisfies (17) for \(t\geq t_{0}\) with \(u_{0}=u^{*}_{0}\), where \(u^{\ast }(t)=u(t;t_{0},u_{0}^{\ast})\) is a solution of (12).

We will prove

$$ \bigl\Vert x(t)\bigr\Vert \leq M_{1}\Vert x_{0}\Vert ,\quad t\geq0. $$
(18)

Assume (18) is not true. Therefore, there exists a point \(T>t_{0}\) such that \(\|x(t)\|\leq M_{1}\|x_{0}\|\) for \(t\in[t_{0},T]\), \(\|x(T)\|= M_{1}\|x_{0}\|\) and \(\|x(t)\|> M_{1}\|x_{0}\|\) for \(t\in(T,T+\epsilon]\), where \(\epsilon>0\) is a small enough number. Then for \(t\in[t_{0},T]\) the inequalities \(\|x(t)\|\leq M_{1}\|x_{0}\|< M_{1}\delta\leq M_{1}\delta_{2} \leq\rho\) hold, i.e. \(x(t)\in S_{\rho}\) for \(t\in[t_{0},T]\).

Using condition 2(ii) and applying Lemma 1 on \([t_{0},T]\) for \(\Delta=S_{\rho}\) we get

$$ V\bigl(t, x^{\ast}(t)\bigr)\leq u^{\ast}(t)\quad \text{for }t\in[t_{0},T] . $$
(19)

From inequality (19) and condition 2(i) we obtain

$$\begin{aligned} M_{1} \Vert x_{0}\Vert &=\bigl\Vert x(T)\bigr\Vert \leq b^{-1}\bigl(V\bigl(T,x(T)\bigr)\bigr)\leq b^{-1}\bigl(\bigl\vert u^{\ast }(T)\bigr\vert \bigr) \\ &\leq b^{-1}\bigl(M \bigl\vert u_{0}^{\ast }\bigr\vert \bigr)= b^{-1}\bigl(M V(t_{0},x_{0})\bigr) \\ &\leq q_{b}(M)V(t_{0},x_{0})\leq q_{b}(M)a\bigl(\Vert x_{0}\Vert \bigr) \\ &\leq q_{b}(M) K_{a}\Vert x_{0}\Vert < M_{1}\Vert x_{0}\Vert . \end{aligned}$$
(20)

The contradiction obtained proves the validity of (18).

The proof of globally uniformly Lipschitz stability is analogous and we omit it. □

Corollary 2

Let (H1)-(H3) and condition 2 of Theorem  2 be satisfied with \(g(t,x)\equiv0\) and \(\psi_{k}(t,x)\equiv x\).

Then the zero solution of (7) is uniformly Lipschitz stable.

Corollary 3

Let (H1), (H2) be satisfied and the inequality

$$xf(t,x) \leq0, \quad t \in\bigcup_{k=0}^{\infty}(t_{k},s_{k}) ,x \in \mathbb{R}^{n}, $$

holds and for any \(k=0,1,2, \ldots\) the inequality

$$\bigl(\phi_{k}(t,y)\bigr)^{2}\leq y^{2},\quad y \in\mathbb{R}^{n}, t \in(s_{k},t_{k+1}], $$

holds.

Then the zero solution of (7) is uniformly Lipschitz stable.

Proof

Consider the quadratic Lyapunov function \(V(t,x)=x^{2}\) for which \(D^{+}V(t,x) =2xf(t,x)\) and condition 2 of Theorem 2 is satisfied with \(K_{1}\leq1\), \(K_{2}\geq1\), \(g(t,x)=0\), and \(\psi_{k}(t,x)\equiv x\). □

Theorem 3

Let the conditions of Theorem  2 be satisfied where 2(i) is replaced by

  1. 2.
    1. (i)

      the inequalities \(\lambda_{1}(t)\|x\|^{2}\leq V(t,x)\leq\lambda _{2}(t)\|x\|^{2}\), \(x \in S_{\rho}\), \(t \in\mathbb{R}^{+} \) holds, where \(\lambda _{1},\lambda_{2}\in C(\mathbb{R}_{+},(0,\infty))\) and there exist positive constants \(A_{1}\), \(A_{2}\): \(A_{1}< A_{2}\) such that \(\lambda_{1}(t)\geq A_{1}\), \(\lambda _{2}(t)\leq A_{2}\) for \(t\geq0\), and \(\rho>0\).

If the zero solution of (12) is uniformly Lipschitz stable (uniformly globally Lipschitz stable) then the zero solution of (7) is uniformly Lipschitz stable(uniformly globally Lipschitz stable).

Proof

The proof is similar to the one of Theorem 2 where \(M_{1}=\sqrt {M\frac{A_{2}}{A_{1}}}\). □

4 Applications

Let two increasing sequences of points \(\{t_{i}\}_{i=1}^{\infty}\) and \(\{ s_{i}\}_{i=0}^{\infty}\) be given such that \(t_{0}=0\), \(0< s_{0}< t_{i}\leq s_{i}< t_{i+1}\), \(i=1,2, \ldots\) , and \(\lim_{k\rightarrow\infty }t_{k}=\infty\). Consider the following single species model exhibiting the so-called Allee effect in which the per-capita growth rate is a quadratic function of the density:

$$ \begin{aligned} &N'(t)=N(t) \bigl(-a-bN(t)+cN^{2}(t) \bigr) \quad \text{for } t \in(t_{k}, s_{k}], k=0,1,2, \ldots, \\ &N(t)= \psi_{k}\bigl(t, N(t_{k}-0)\bigr) \quad \text{for } t \in(s_{k},t_{k+1}], k=0,1,2, \ldots, \end{aligned} $$
(21)

where \(a,c>0\), \(b\in\mathbb{R}\). The impulsive functions \(\psi_{k}(t, x)\leq C_{k}x\), \(k=0,1,2,\ldots\) , where \(C_{k}\in(0,1]\).

Define the function \(V(t,x)=x^{2}\).

Then condition 2(i) of Theorem 3 is satisfied for \(\lambda_{1}(t)=0.5\), \(\lambda_{2}(t)=1.5\).

For any \(x: |x|\leq\rho\), \(\rho=|\frac{b-\sqrt{b^{2}+4 ac}}{2c}|>0\) we have \(D^{+}V(t,x)=2x^{2} (cx^{2}-bx-a ) \leq0\), \(t \in\bigcup_{k=0}^{\infty}(t_{k},s_{k}) \), \(x \in S_{\rho}\). Therefore, condition 2(ii) is satisfied with \(g(t,x)\equiv0\).

The condition 2(ii) is satisfied for \(\psi_{k}(t,x)\equiv C_{k}x\).

Therefore, the comparison equation is

$$ \begin{aligned} &u'(t)=0 \quad \text{for } t \in(t_{k}, s_{k}], k=0,1,2, \ldots, \\ &u(t)= C_{k}u(s_{k}-0)\quad \text{for } t \in(s_{k},t_{k+1}], k=0,1,2, \ldots, \end{aligned} $$
(22)

which solution is \(u(t;t_{0},u_{0}) =u_{0}\prod_{i=1}^{k}C_{i} \), for \(t\in (s_{k}, s_{k+1}]\), \(k=0,1,2,\ldots\) . Therefore, the zero solution of (21) according to Corollary 2 is uniformly Lipschitz stable.