Skip to main content

Theory and Modern Applications

Stable invariant manifolds with impulses and growth rates

Abstract

This paper is devoted to the study of stable and unstable behaviors with growth rates \(e^{c\rho(t)}\) for impulsive differential equations, where \(\rho(t)\) is some increasing continuous function. By the techniques of impulsive analysis, we obtain the existence of stable invariant manifolds for the impulsive perturbed equation provided that the linear equation admits a ρ-nonuniform exponential dichotomy and f, g are sufficiently small Lipschitz perturbation. We also consider the case of exponential contraction and show that the asymptotic stability persists under sufficiently small nonlinear perturbations. In addition, we study how the manifolds vary with the perturbations.

1 Introduction

The theory of impulsive differential equations is attracting much attention in recent years. This is mostly because impulsive differential equations efficiently describe many phenomena arising in engineering, physics, and science as well (see e.g. [1, 2]). We consider the class of impulsive linear equations in \(R^{n}\), given by

$$ \left \{ \textstyle\begin{array}{@{}l} x^{\prime}=A(t)x,\quad t\geq0,t\neq\tau_{i},\\ \triangle x(\tau_{i})=B_{i}x,\quad i=1,2,\ldots, \end{array}\displaystyle \right . $$
(1)

where \(A(t)\) is a \(n\times n\) matrix such that the function \(t\rightarrow A(t)\) has at most discontinuities of the first kind at the points \(\tau_{i}\), \(B_{i}\), \(i=1,2\ldots\) are \(n\times n\) matrices, and the impulsive times \(0<\tau_{1}<\tau_{2}<\cdots\) satisfy \(\lim_{i\rightarrow\infty}\tau_{i}=\infty\), \(\triangle x(\tau_{i})=x(\tau^{+}_{i})-x(\tau^{-}_{i})\), \(x(\tau^{+}_{i})=\lim_{h\rightarrow0^{+}}x(\tau_{i}+h)\), \(x(\tau ^{-}_{i})=\lim_{h\rightarrow0^{-}}x_{i}(\tau_{i}+h)\), \(i=1,2,\ldots\) . By a solution x of (1), we mean a real function on \([0,\infty)\) of class \(C^{1}\) outside the points \(\tau_{i}\) such that x is left-continuous (thus, \(\triangle x(\tau_{i})=x(\tau^{+}_{i})-x(\tau_{i})\)), and x satisfies \(x^{\prime}(t)=A(t)x(t)\) at each point \(t\in[0,\infty)\) with the possible exception of the points \(t=\tau_{i}\) and \(\triangle x(\tau_{i})=B_{i}x\) for \(i=1,2,\ldots\) . We always assume that (1) has a unique solution and all solutions of (1) are global.

It is well known that the notion of exponential dichotomy, going back to Perron in [3], plays an important role in invariant manifolds of differential equation. The theory of the exponential dichotomy and its applications are widely developed. We can refer to the books [46] for details and references. There are a lot of linear differential equations with exponential dichotomy. For example, Sacker and Sell [710] investigated sufficiently conditions for the existence of exponential dichotomy, also in the infinite-dimensional setting. In [11], Barreira and Valls discussed the much weaker notion of a nonuniform exponential dichotomy. In [12], the authors obtained the integral conditions for a nonuniform polynomial dichotomy. This theory of nonuniform hyperbolicity goes back to the landmark works of Oseledets [13]. For detailed expositions of parts of nonuniform hyperbolicity theory, we can refer to [14].

We note that the study of robustness in the case of uniform exponential behavior has a long history. For example, Massera and Schäffer [15] discussed robustness of uniform exponential behavior in Banach spaces. Perron [3], and Dale’ckiĭ and Kreĭn [5] also studied the robust stability of solution of differential equation under uniform behavior. For more recent work we refer to [1618]. In particular, in [16], Barreira and Valls studied the existence of stable invariant manifold for the linear equation under any sufficiently small nonlinear perturbation f.

However, there are few papers that consider the case of nonuniform behavior for impulsive dynamical systems. For instance, we refer the reader to the works of Barreira and Valls. For example, in [19], they studied the existence of nonuniform exponential dichotomy, and obtained sharp lower and upper bound for the regularity coefficient. In [20], the existence of invariant stable manifolds is established under sufficiently small perturbations of a linear equation and they showed that the invariant manifolds are also of class \(C^{1}\) outside the impulsive points. In [21], the authors studied invariant manifolds for impulsive equations under nonuniform polynomial dichotomies. The existence and robustness of nonuniform \((h, k, \mu, \nu )\)-dichotomies for nonautonomous impulsive differential equations are obtained in [22].

In the recent years, general stable and unstable behaviors with growth rates of the form \(e^{c\rho(t)}\) for a function \(\rho(t)\) are exhibited by Barreira and Valls [2325]. This type of behavior is called a ρ-nonuniform exponential dichotomy. A linear equation with this general asymptotic behavior may have all Lyapunov exponents zero or all Lyapunov exponents infinite besides the usual case \(\rho(t)=t\). For example, in [23] the authors showed that for ρ in a large class of rate functions, any linear equation (1) in a finite-dimensional space has a ρ-nonuniform exponential dichotomy. In [25], they showed that a ρ-nonuniform exponential dichotomy is robust under sufficiently small linear perturbations.

Our main aims in the present paper are as follows:

(1) We establish the existence of invariant stable manifolds for the impulsive perturbed equations

$$ \left \{ \textstyle\begin{array}{@{}l} x^{\prime}=A(t)x+f(t,x),\quad t\geq0,t\neq\tau_{i},\\ \triangle x(\tau_{i})=B_{i}x+g_{i}(\tau_{i},x),\quad i=1,2,\ldots, \end{array}\displaystyle \right . $$
(2)

where \(f:R^{+}\times R^{n}\rightarrow R^{n}\) is a piecewise continuous function in \(t\geq0\) at most with discontinuous of the first kind at the time \(\tau_{i}\) satisfying \(f(t,0)=0\) and \(g_{i}:R^{+}\times R^{n}\rightarrow R^{n}\), \(i=1,2,\ldots\) , are continuous functions satisfying \(g_{i}(t,0)=0\). To obtain the desired results, some techniques of impulsive analysis and a careful control of impulsive times over the whole proof are considered because impulses create some technical difficulties.

(2) We study the behavior of the manifolds under the perturbations showing that the manifolds vary with the perturbations f and g.

The organization of this paper is as follows. In Section 2, we show that the asymptotic stability of a ρ-nonuniform exponential contraction persists under sufficiently small nonlinear perturbations. In Section 3, we establish stable manifolds theorem under sufficiently small perturbation of nonuniform exponential dichotomy. We also study the behavior of the manifolds under the perturbations in Section 4, Finally, an example is given to illustrate the applicability of the results in Section 5.

2 Stability for ρ-nonuniform exponential contractions

In this section, we show that the asymptotic stability of a ρ-nonuniform exponential contraction persists under sufficiently small nonlinear perturbations. We recall the notion of a ρ-nonuniform exponential contraction.

Let \(T(t,s)\) be the linear operator satisfying \(x(t)=T(t,s)x(s)\) for any solution of (1) and each \(t,s\geq0\). Consider an increasing function \(\rho:R^{+}\rightarrow R^{+}\) with \(\rho(0)=0\) and \(\rho(t)\rightarrow\infty\) as \(t\rightarrow\infty\), we say that (1) admits a ρ-nonuniform exponential contraction, if for some constants \(\mu<0\), \(a\geq0\), and \(D\geq1\), we have

$$ \bigl\| T(t,s)\bigr\| \leq De^{\mu(\rho(t)-\rho(s))+a\rho(s)},\quad t\geq s\geq0. $$
(3)

We assume that the following conditions hold:

(H1):

there exist functions \(b(t)\geq0\), \(c(t)\geq0\) such that for \(t\geq0\), \(x,y\in R^{n}\),

$$\bigl\| f(t,x)-f(t,y)\bigr\| \leq b(t)\|x-y\| $$

and

$$\bigl\| g_{i}(t,x)-g_{i}(t,y)\bigr\| \leq c(t)\|x-y\|; $$
(H2):

\(0< M= \sup_{s\geq0}\{\int^{\infty}_{s}b(\tau)e^{a \rho(\tau)}\,d\tau\}<\infty\);

(H3):

\(\Upsilon= \sup_{s\geq0}\{\sum_{\tau_{i}\geq s}c(\tau_{i})e^{a\rho(\tau_{i})}\}<\infty\).

For example, taking \(a=1\), \(\rho(t)=t\), \(b(t)=c(t)=\frac {1}{10}e^{-2t}\), \(\tau_{i}=i\), \(i=1,2,\ldots\) , we obtain

$$M= \sup_{s\geq0} \biggl\{ \int^{\infty}_{s}b( \tau)e^{a \rho(\tau)}\,d\tau \biggr\} =\sup_{s\geq0} \biggl\{ \frac{1}{10}\int^{\infty }_{s}e^{-\tau}\,d \tau \biggr\} =\frac{1}{10} $$

and

$$\Upsilon= \sup_{s\geq0} \biggl\{ \sum _{\tau_{i}\geq s}c( \tau_{i})e^{a\rho(\tau_{i})} \biggr\} =\sup _{s\geq0} \biggl\{ \frac {1}{10}\sum _{i\geq s}e^{-i} \biggr\} = \frac{1}{10(e-1)}. $$

Theorem 1

Assume that (1) admits a ρ-nonuniform exponential contraction and (H1)-(H3) hold. If

$$ D(M+\Upsilon)\leq \frac{1}{2}, $$
(4)

then there exists a unique solution \(x(t)\) of (2) with \(x(s)=\xi\in R^{n}\) such that

$$\bigl\| x(t)\bigr\| \leq \frac{D}{1-D(M+\Upsilon)}e^{\mu(\rho(t)-\rho(s))+a\rho (s)}\|\xi\| $$

for \(s\geq0\), \(t\geq s\).

Proof

We consider a complete metric space \(\mathcal{C}\) of functions \(x:[s,+\infty)\rightarrow R^{n}\) such that

  1. (1)

    \(x(s)=\xi\);

  2. (2)

    x is continuous outside of the points \(\tau_{i}\);

  3. (3)

    \(x(t)\) is left-continuous for each \(\tau_{i}\);

  4. (4)

    for \(\forall x_{1}=x_{1}(t), x_{2}=x_{2}(t)\in\mathcal{C}\), the distance \(d(x_{1},x_{2})\) is defined by

    $$ d(x_{1},x_{2})= \sup \biggl\{ \frac{\|x_{1}(t)-x_{2}(t)\|}{\|\xi\| e^{\mu(\rho(t)-\rho(s))+a\rho(s)}}:t\geq s\geq0 \biggr\} . $$
    (5)
  5. (5)

    \(\forall x\in\mathcal{C}\), \(\|x\|^{\prime}=\sup\{\frac{\| x(t)\|}{\|\xi\|e^{\mu(\rho(t)-\rho(s))+a\rho(s)}}:t\geq s\geq0\}\leq2D\).

Set

$$J(x) (t)= T(t,s)\xi+\int^{t}_{s}T(t,\tau)f \bigl( \tau,x(\tau ) \bigr)\,d\tau+\sum_{s\leq\tau_{i}< t}T \bigl(t, \tau^{+}_{i} \bigr) g_{i} \bigl( \tau_{i},x(\tau_{i}) \bigr), $$

for each \(x\in\mathcal{C}\) and \(t\geq s\). Clearly, \((Jx)(s)=\xi\). By (H1), for each \(x_{1},x_{2}\in\mathcal{C}\), we have

$$ \bigl\| f \bigl(\tau,x_{1}(\tau) \bigr)-f \bigl(\tau,x_{2}(\tau) \bigr)\bigr\| \leq b(\tau)e^{\mu(\rho(\tau)-\rho(s))+a\rho(s)}d(x_{1},x_{2}), $$
(6)

and for \(i=1,2,\ldots\)

$$ \bigl\| g_{i} \bigl(\tau_{i},x_{1}( \tau_{i}) \bigr)-g_{i} \bigl(\tau_{i},x_{2}( \tau_{i}) \bigr)\bigr\| \leq c(\tau_{i})e^{\mu(\rho(\tau_{i})-\rho(s))+a\rho(s)}d(x_{1},x_{2}). $$
(7)

Therefore, it follows from (3), (6), (7), (H2), and (H3) that

$$\begin{aligned} & \bigl\| J(x_{1}) (t)-J(x_{2}) (t)\bigr\| \\ &\quad\leq \int^{t}_{s}\bigl\| T(t,\tau)\bigr\| \bigl\| f \bigl( \tau,x_{1}(\tau) \bigr)-f \bigl(\tau ,x_{2}(\tau) \bigr)\bigr\| \,d \tau \\ &\qquad{} + \sum_{s\leq\tau_{i}< t}\bigl\| T \bigl(t,\tau ^{+}_{i} \bigr)\bigr\| \bigl\| g_{i} \bigl( \tau_{i},x_{1}(\tau_{i}) \bigr)-g_{i} \bigl(\tau_{i},x_{2}(\tau_{i}) \bigr)\bigr\| \\ &\quad\leq De^{\mu(\rho(t)-\rho(s))+a\rho(s)}\|\xi\|d(x_{1},x_{2}) \biggl[ \int^{t}_{s}b(\tau)e^{a\rho(\tau)}\,d\tau+\sum _{s\leq\tau _{i}< t}c(\tau_{i})e^{a\rho(\tau_{i})} \biggr] \\ &\quad\leq De^{\mu(\rho(t)-\rho(s))+a\rho(s)}(M+\Upsilon)\|\xi\| d(x_{1},x_{2}). \end{aligned}$$

Thus we have

$$ d \bigl(J(x_{1}) (t),J(x_{2}) (t) \bigr)\leq D(M+ \Upsilon)d(x_{1},x_{2}). $$
(8)

By (4), the operator J becomes a contraction. Furthermore, by (3), we get

$$\begin{aligned} \bigl\| J(x)\bigr\| &\leq \bigl\| T(\cdot,s)\xi\bigr\| +\int^{t}_{s} \bigl\| T(t,\tau)\bigr\| \bigl\| f \bigl(\tau,x(\tau) \bigr)\bigr\| \,d\tau +\sum _{s\leq\tau_{i}< t}\bigl\| T \bigl(t,\tau^{+}_{i} \bigr)\bigr\| \bigl\| g_{i} \bigl(\tau_{i},x(\tau_{i}) \bigr)\bigr\| \\ &\leq De^{\mu(\rho(t)-\rho(s))+a\rho(s)}\|\xi\|+D(M+\Upsilon)e^{\mu(\rho (t)-\rho(s))+a\rho(s)}\|\xi\| d(x,0). \end{aligned}$$
(9)

Thus

$$ \bigl\| J(x)\bigr\| ^{\prime}\leq D+D(M+\Upsilon)\|x\|^{\prime}\leq D+ \frac{1}{2}\|x\|^{\prime}\leq2D, $$
(10)

which shows that \(J(\mathcal{C})\subset\mathcal{C}\). Therefore, there exists a unique function \(x\in\mathcal{C}\) such that \(Jx=x\). By (10), we have \(\|x\|\leq \frac{D}{1-D(M+\Upsilon)}e^{\mu(\rho(t)-\rho (s))+a\rho(s)}\|\xi\|\). This completes the proof of the theorem. □

3 Stable invariant manifolds

This section is devoted to establishing our stable manifolds theorem under a sufficiently small perturbation of nonuniform exponential dichotomy.

We say that (1) admits a ρ-nonuniform exponential dichotomy if there exist projections \(P(t)\) for \(t\geq0\) satisfying

$$P(t)T(t,s)=T(t,s)P(s),\quad t,s\geq0, $$

and there exist constants \(\mu<0\leq\nu\), \(a\geq0\), and \(D\geq1\) such that for each \(t\geq s\geq0\)

$$ \bigl\| T(t,s)P(s)\bigr\| \leq De^{\mu(\rho(t)-\rho(s))+a\rho(s)},\qquad \bigl\| T(t,s)^{-1}Q(t)\bigr\| \leq De^{-\nu(\rho(t)-\rho(s))+a\rho(t)}, $$
(11)

where \(Q(t)=Id-P(t)\). Set the linear subspaces

$$E(t)=P(t) \bigl(R^{n} \bigr) \quad\mbox{and}\quad F(t)=Q(t) \bigl(R^{n} \bigr), $$

and let Φ be the space of functions \(\phi:[0,\infty)\times R^{n}\rightarrow R^{n}\) having at most discontinuities of the first kind in the first variable such that for each \(s\geq0\) and \(x,y\in E(s)\), \(\phi(s,0)=0\), \(\phi(s,E(s))\subset F(s)\) and

$$ \bigl\| \phi(s,\xi)-\phi(s,\overline{\xi})\bigr\| \leq\|\xi-\overline{\xi}\|, \quad\xi ,\overline{ \xi}\in E(s), $$
(12)

with the distance

$$ d(\phi,\varphi)=\sup \bigl\{ \bigl\| \phi(s,\xi)-\psi(s,\xi)\bigr\| /\|\xi\|:s\geq0,\xi\in E(s) \bigr\} . $$
(13)

Obviously, Φ becomes a complete metric space. Given a sequence \(\phi\in\Phi\), we consider the set

$$\mathcal{W}= \bigl\{ \bigl(s,\xi,\phi(s,\xi) \bigr):s\geq0,\xi\in E(s) \bigr\} . $$

Assume that (1) admits a ρ-nonuniform exponential dichotomy, the unique piecewise continuous solution \((x(t),y(t))\in E(t)\times F(t)\) of (2) with initial condition \((\xi,\eta)\in E(s)\times F(s)\) satisfies

$$\begin{aligned} x(t)={}& T(t,s)\xi+\int^{t}_{s}P(t)T(t,\tau)f \bigl( \tau,x(\tau ),y(\tau) \bigr)\,d\tau \\ &{}+\sum_{s\leq\tau_{i}< t} P(t)T \bigl(t,\tau^{+}_{i} \bigr)g_{i} \bigl( \tau_{i},x(\tau_{i}),y(\tau_{i}) \bigr) \end{aligned}$$
(14)

and

$$\begin{aligned} y(t)={}& T(t,s)\eta+\int^{t}_{s}Q(t)T(t,\tau)f \bigl(\tau,x(\tau ),y(\tau) \bigr)\,d\tau \\ &{}+\sum_{s\leq\tau_{i}< t} Q(t)T \bigl(t,\tau^{+}_{i} \bigr)g_{i} \bigl( \tau_{i},x(\tau_{i}),y(\tau_{i}) \bigr). \end{aligned}$$
(15)

We consider the semiflow

$$\Psi_{r}(s,\xi,\eta)= \bigl(s+r,x(s+r),y(s+r) \bigr),\quad r\geq0, $$

which is generated by (2). To obtain the desired results, we also need the following conditions:

(H4):

\(0<\gamma= \sup_{i\geq1}\{\frac{\ln(1+2Dc(\tau _{i})e^{a\rho(\tau_{i})})}{\rho(\tau_{i})-\rho(\tau_{i-1})}\}<\infty\);

(H5):

\(0<\overline{M}= \sup_{s\geq0}\{e^{(a+\nu-\mu)\rho (s)}\int^{\infty}_{s}b(\tau)e^{(\mu-\nu+a+\gamma) \rho(\tau)}\,d\tau\}<\infty\);

(H6):

\(0<\overline{\Upsilon}= \sup_{s\geq0}\{e^{(a+\nu-\mu )\rho(s)}\sum_{\tau_{i}\geq s}c(\tau_{i})e^{(\mu-\nu+a+\gamma)\rho(\tau_{i})}\}<\infty\).

Theorem 2

Assume that (1) admits a ρ-nonuniform exponential dichotomy and (H1)-(H6) hold. If

$$\begin{aligned}& D(M+\Upsilon)\leq \frac{1}{4}, \end{aligned}$$
(16)
$$\begin{aligned}& \mu-\nu+a< 0, \end{aligned}$$
(17)
$$\begin{aligned}& 2D^{2}e^{2DM}(\overline{M}+\overline{\Upsilon}) \leq1, \end{aligned}$$
(18)

and

$$ \biggl[\frac{D^{2}}{1-2D(M+\Upsilon)}+\frac {2D^{2}e^{2DM}(M+\Upsilon)}{1-2D(M+\Upsilon)} \biggr] (\overline{M}+\overline{ \Upsilon})< 1, $$
(19)

then there exists a unique function \(\phi\in\Phi\) such that

$$\Psi_{r} \bigl(s,\xi,\phi(s,\xi) \bigr)\in\mathcal{W} $$

for \(r\geq0\). Furthermore, for every \(s\geq0\), \(\xi,\overline{\xi}\in E(s)\) and \(r=t-s\geq0\)

$$\bigl\| \Psi_{r} \bigl(s,\xi,\phi(s,\xi) \bigr)-\Psi_{r} \bigl(s, \overline{\xi},\phi(s,\overline {\xi}) \bigr)\bigr\| \leq 2De^{2DM}e^{(\mu+\gamma)(\rho(t)-\rho(s))+(a+\gamma)\rho(s)} \|\xi-\overline{\xi}\|. $$

Proof

We replace (14) and (15) by

$$\begin{aligned} x(t)={}& T(t,s)x(s)+\int^{t}_{s}P(t)T(t, \tau)f \bigl(\tau,x(\tau ),\phi \bigl(\tau,x(\tau) \bigr) \bigr)\,d\tau \\ &{} +\sum_{s\leq\tau_{i}< t} P(t)T \bigl(t,\tau^{+}_{i} \bigr)g_{i} \bigl(\tau_{i},x(\tau_{i}),\phi \bigl( \tau_{i},x(\tau_{i}) \bigr) \bigr) \end{aligned}$$
(20)

and

$$ \begin{aligned}[b] \phi \bigl(t,x(t) \bigr)={}& T(t,s)\phi \bigl(s,x(s) \bigr)\xi+ \int^{t}_{s}Q(t)T(t,\tau)f \bigl(\tau,x(\tau),\phi \bigl(\tau,x(\tau) \bigr) \bigr)\,d\tau\\ &{} +\sum_{s\leq\tau_{i}< t} Q(t)T \bigl(t,\tau^{+}_{i} \bigr)g_{i} \bigl(\tau_{i},x(\tau_{i}),\phi \bigl( \tau_{i},x(\tau_{i}) \bigr) \bigr). \end{aligned} $$
(21)

 □

Next, we show some lemmas to finish our proof of the theorem.

Lemma 1

Given \(\xi\in E(s)\), for every \(\phi\in\Phi\), there is a unique piecewise continuous function \(x=x_{\phi}:[s,+\infty)\times E(s)\rightarrow R^{n}\) satisfying (20) and

$$ \bigl\| x_{\phi}(t,\xi)\bigr\| \leq \frac{D}{1-2D(M+\Upsilon)}e^{\mu(\rho(t)-\rho(s))+a\rho (s)}\|\xi\|, $$
(22)

for \(t\geq s\), \(s\geq0\).

Proof

Given \(s\geq0\), \(\xi\in E(s)\), we consider the operator \(\overline{J}\) defined by

$$\begin{aligned} \overline{J}(x) (t,\xi)={}& T(t,s)\xi+\int^{t}_{s}P(t)T(t, \tau )f \bigl(\tau,x(\tau,\xi),\phi \bigl(\tau,x(\tau,\xi) \bigr) \bigr)\,d\tau \\ &{}+\sum_{s\leq\tau_{i}< t} P(t)T \bigl(t,\tau^{+}_{i} \bigr)g_{i} \bigl(\tau_{i},x(\tau_{i},\xi),\phi \bigl(\tau_{i},x(\tau _{i},\xi) \bigr) \bigr) \end{aligned}$$
(23)

in the space \(\mathcal{A}\) of piecewise continuous functions \(x:[s,+\infty)\times E(s)\rightarrow R^{n}\) such that \(x(s,\xi)=\xi\) and \(d(x,0)\leq2D\), where \(d(x_{1},x_{2})\) is given by (5). For every \(x,y\in\mathcal{A}\) and \(t\geq s\), by (H1) and (12), we obtain

$$ \begin{aligned}[b] &\bigl\| f \bigl(\tau,x(\tau,\xi),\phi \bigl(\tau,x(\tau,\xi) \bigr) \bigr) -f \bigl( \tau,y( \tau,\xi),\phi \bigl(\tau,y(\tau,\xi) \bigr) \bigr)\bigr\| \\ &\quad\leq 2b(\tau)e^{\mu (\rho(\tau)-\rho(s))+a\rho(s)}\,d \bigl(x(\tau,\xi),y(\tau,\xi) \bigr), \end{aligned} $$
(24)

and for \(i=1,2,\ldots\)

$$ \begin{aligned}[b] &\bigl\| g_{i} \bigl(\tau_{i},x(\tau_{i},\xi),\phi \bigl(\tau_{i},x(\tau_{i},\xi) \bigr) \bigr) -g \bigl( \tau_{i},y(\tau_{i},\xi),\phi \bigl(\tau_{i},y( \tau_{i},\xi) \bigr) \bigr)\bigr\| \\ &\quad\leq2c(\tau_{i})e^{\mu (\rho(\tau_{i})-\rho(s))+a\rho(s)}\,d \bigl(x(\tau_{i}, \xi),y( \tau_{i},\xi) \bigr). \end{aligned} $$
(25)

By (24), (25), and (11), we have

$$\begin{aligned} & \bigl\| J(x) (t)-J(y) (t)\bigr\| \\ &\quad\leq \int^{t}_{s}\bigl\| P(t)T(t,\tau)\bigr\| \bigl\| f \bigl(\tau,x(\tau,\xi),\phi \bigl(\tau,x(\tau,\xi) \bigr) \bigr) -f \bigl(\tau,y( \tau,\xi),\phi \bigl(\tau,y(\tau,\xi) \bigr) \bigr)\bigr\| \,d\tau \\ &\qquad{} +\sum_{s\leq\tau_{i}< t}\bigl\| T \bigl(t, \tau^{+}_{i} \bigr)\bigr\| \bigl\| g_{i} \bigl( \tau_{i},x(\tau_{i},\xi),\phi \bigl(\tau_{i},x( \tau_{i},\xi) \bigr) \bigr) -g \bigl(\tau_{i},y( \tau_{i},\xi),\phi \bigl(\tau_{i},y(\tau_{i},\xi) \bigr) \bigr)\bigr\| \\ &\quad\leq 2De^{\mu(\rho(t)-\rho(s))+a\rho(s)}\|x-y\|^{\prime} \biggl[\int ^{t}_{s}b(\tau)e^{a\rho(\tau)}\,d\tau+\sum _{s\leq\tau _{i}< t}c(\tau_{i})e^{a\rho(\tau_{i})} \biggr] \\ &\quad\leq 2D(M+\Upsilon)e^{\mu(\rho(t)-\rho(s))+a\rho(s)}d(x,y). \end{aligned}$$

Therefore

$$ d \bigl(J(x),J(y) \bigr)\leq2D(M+\Upsilon)d(x,y). $$
(26)

The rest of the proof is as in Theorem 1, here we omit it. □

Lemma 2

Let \(x:R^{+}\rightarrow R^{+}\) be a piecewise continuous function at most with discontinuities of the first kind at the points \(\tau_{i}\). If

$$x(t)\leq c+\int^{t}_{t_{0}}m(\tau)x(\tau)\,d\tau+ \sum_{t_{0}\leq\tau _{i}< t}d_{i}x(\tau_{i}),\quad t\geq t_{0}, $$

for some constants \(c>0\), \(d_{i}\geq0\) and some function \(m:R^{+}\rightarrow R^{+}\), then

$$x(t)\leq c\prod_{t_{0}\leq\tau_{i}< t}(1+d_{i})\exp\int ^{t}_{t_{0}}m(\tau )\,d\tau,\quad t\geq t_{0}. $$

Lemma 3

For every \(\phi\in\Phi\), and \(\xi,\overline{\xi}\in E(s)\)

$$ \bigl\| x_{\phi}(t,\xi)-x_{\phi}(t,\overline{\xi})\bigr\| \leq D \exp(2DM)e^{(\mu+\gamma)(\rho(t)-\rho(s))+(a+\gamma)\rho(s)}\|\xi -\overline{\xi}\|,\quad t\geq s\geq0. $$
(27)

Proof

Letting \(\|x_{\phi}(t,\xi)-x_{\phi}(t,\overline{\xi})\|^{*} = \frac{\|x_{\phi}(t,\xi)-x_{\phi}(t,\overline{\xi})\| }{e^{\mu(\rho(t)-\rho(s))+a\rho(s)}}\), by (H1) and (12), for \(\tau\geq s\), we have

$$\begin{aligned} q_{1}(\tau)&=\bigl\| f \bigl(\tau,x_{\phi}(\tau,\xi), \phi \bigl(\tau,x_{\phi}(\tau,\xi) \bigr) \bigr) -f \bigl( \tau,x_{\phi}(\tau,\overline{\xi}),\phi \bigl(\tau,x_{\phi}(\tau, \overline {\xi}) \bigr) \bigr)\bigr\| \\ &\leq2 b(\tau)\bigl\| x_{\phi}(\tau,\xi)-x_{\phi}(\tau,\overline{\xi}) \bigr\| \\ &\leq2 b(\tau)e^{\mu(\rho(\tau)-\rho(s))+a\rho((s)}\bigl\| x_{\phi}(\tau,\xi)-x_{\phi }( \tau, \overline{\xi})\bigr\| ^{*}, \end{aligned}$$
(28)

and for \(i=1,2,\ldots\)

$$\begin{aligned} q_{2}(\tau_{i})&=\bigl\| g_{i} \bigl( \tau_{i},x_{\phi}(\tau_{i},\xi),\phi \bigl(\tau _{i},x_{\phi}(\tau_{i},\xi) \bigr) \bigr) -g_{i} \bigl(\tau_{i},x_{\phi}(\tau_{i}, \overline{\xi}),\phi \bigl(\tau_{i},x_{\phi }( \tau_{i},\overline{\xi}) \bigr) \bigr)\bigr\| \\ &\leq2c(\tau_{i}) \bigl\| x_{\phi}(\tau_{i}, \xi)-x_{\phi}(\tau_{i},\overline{\xi})\bigr\| \\ &\leq 2c( \tau_{i})e^{\mu(\rho(\tau_{i})-\rho(s))+a\rho(s)} \bigl\| x_{\phi}(\tau_{i}, \xi)-x_{\phi}(\tau_{i},\overline{\xi})\bigr\| ^{*}. \end{aligned}$$
(29)

By (28), (29), and (11), we have

$$\begin{aligned} &\bigl\| x_{\phi}(\tau,\xi)-x_{\phi}(\tau,\overline{ \xi}) \bigr\| \\ &\quad\leq \bigl\| T(t,s)P(s)\bigr\| \|\xi-\overline{\xi}\| +\int^{t}_{s}\bigl\| T(t,\tau)P(\tau) \bigr\| q_{1}(\tau)\,d\tau +\sum_{s\leq\tau_{i}< t}\bigl\| T \bigl(t, \tau^{+}_{i} \bigr)P \bigl(\tau^{+}_{i} \bigr)\bigr\| q_{2}(\tau_{i}) \\ &\quad\leq De^{\mu(\rho(t)-\rho(s))+a\rho(s)}\|\xi-\overline{\xi}\| \\ &\qquad{}+2De^{\mu(\rho(t)-\rho(s))+a\rho(s)}\int^{t}_{s}b(\tau )e^{a\rho(\tau))} \bigl\| x_{\phi}(\tau,\xi)-x_{\phi}(\tau,\overline{ \xi})\bigr\| ^{*}\,d\tau \\ &\qquad{}+2De^{\mu(\rho(t)-\rho(s))+a\rho(s)}\sum_{s\leq\tau _{i}< t}c( \tau_{i}) e^{a\rho(\tau_{i})}\bigl\| x_{\phi}(\tau_{i}, \xi)-x_{\phi}(\tau_{i},\overline {\xi})\bigr\| ^{*}. \end{aligned}$$
(30)

Thus

$$\begin{aligned} \bigl\| x_{\phi}(\tau,\xi)-x_{\phi}(\tau,\overline{ \xi}) \bigr\| ^{*}\leq{}& D\|\xi-\overline{\xi}\|+2D\int^{t}_{s}b( \tau)e^{a\rho(\tau))} \bigl\| x_{\phi}(\tau,\xi)-x_{\phi}(\tau, \overline{\xi})\bigr\| ^{*}\,d\tau \\ &{}+2D\sum_{s\leq\tau_{i}< t}c(\tau_{i}) e^{a\rho(\tau_{i})}\bigl\| x_{\phi}(\tau_{i},\xi)-x_{\phi}( \tau_{i},\overline {\xi})\bigr\| ^{*}. \end{aligned}$$
(31)

By Lemma 2, we have

$$\begin{aligned} &\bigl\| x_{\phi}(t,\xi)-x_{\phi}(t,\overline{\xi})\bigr\| ^{*} \\ &\quad\leq D\prod_{s\leq\tau_{i}< t} \bigl[1+2Dc(\tau_{i}) e^{a\rho(\tau_{i})} \bigr]\exp \biggl[2D\int^{t}_{s}b( \tau) e^{a\rho(\tau)}\,d\tau \biggr]\|\xi-\overline{\xi}\|. \end{aligned}$$
(32)

Let \(\tau_{i1},\tau_{i2},\ldots,\tau_{il}\) be impulsive points in \([s, t)\). In view of (H4), we have

$$\begin{aligned} &\prod_{s\leq\tau_{i}< t} \bigl[1+2Dc( \tau_{i}) e^{a\rho(\tau_{i})} \bigr] \\ &\quad= \bigl[1+2Dc(\tau_{i1}) e^{a\rho(\tau_{i1})} \bigr] \bigl[1+2Dc(\tau_{i2}) e^{a\rho(\tau_{i2})} \bigr] \cdots \bigl[1+2Dc(\tau_{il}) e^{a\rho(\tau_{il})} \bigr] \\ &\quad\leq e^{\gamma(\rho(\tau_{i1})-\rho(\tau_{i1-1}))}e^{\gamma(\rho(\tau _{i2})-\rho(\tau_{i1}))} \cdots e^{\gamma(\rho(\tau_{il})-\rho(\tau_{i(l-1)}))} \\ &\quad=e^{\gamma(\rho(\overline{\tau}_{il})-\rho(\tau_{i1-1}))}\leq e^{\gamma\rho(t)}, \end{aligned}$$
(33)

where \(t_{i1-1}\) is the first impulsive point before \(t_{i1}\) and satisfies \(t_{i1-1}\leq s\). Thus, it follows that

$$ \bigl\| x_{\phi}(t,\xi)-x_{\phi}(t,\overline{\xi})\bigr\| \leq De^{2DM}e^{(\mu+\gamma)(\rho(t)-\rho(s))+(a+\gamma)\rho(s)}\|\xi -\overline{\xi}\|. $$
(34)

This completes the proof. □

Lemma 4

For every \(\phi,\psi\in\Phi\) and \(\xi\in E(s)\), \(t\geq s\),

$$ \bigl\| x_{\phi}(t,\xi)-x_{\psi}(t,\xi)\bigr\| \leq \frac{De^{2DM}(M+\Upsilon)}{1-2D(M+\Upsilon)} e^{(\mu+\gamma)(\rho(t)-\rho(s))+(a+\gamma)\rho(s)}\|\xi\|d(\phi,\psi). $$
(35)

Proof

Letting \(\|x_{\phi}(t,\xi)-x_{\psi}(t,\xi)\|^{**}= \frac{\|x_{\phi }(t,\xi)-x_{\psi}(t,\xi)\|}{ \|\xi\|e^{\mu(\rho(t)-\rho(s))+a\rho(s)}}\), by (H1), (12), and Lemma 1, for each \(\tau\geq s\), we have

$$ \begin{aligned}[b] q_{3}(\tau)={}&\bigl\| f \bigl(\tau,x_{\phi}(\tau, \xi),\phi \bigl(\tau,x_{\phi}(\tau,\xi) \bigr) \bigr) -f \bigl( \tau,x_{\psi}(\tau,\xi),\psi \bigl(\tau,x_{\psi}(\tau,\xi) \bigr) \bigr)\bigr\| \\ \leq&{} b(\tau)\bigl\| (x_{\phi}(\tau,\xi)-x_{\psi}(\tau,\xi), \phi \bigl(\tau,x_{\phi}(\tau,\xi) \bigr)-\psi \bigl(\tau,x_{\psi}( \tau, \xi) \bigr)\bigr\| \\ \leq{}& b(\tau) \bigl[\bigl\| x_{\phi}(\tau,\xi)-x_{\psi}(\tau,\xi) \bigr\| + \bigl\| \phi \bigl(\tau,x_{\phi}(\tau,\xi) \bigr)-\psi \bigl( \tau,x_{\psi}( \tau,\xi) \bigr)\bigr\| \bigr] \\ \leq{}& b(\tau) \bigl[\bigl\| (x_{\phi}(\tau,\xi)-x_{\psi}(\tau,\xi) \bigr\| + \bigl\| \phi \bigl(\tau,x_{\phi}(\tau,\xi) \bigr)-\psi \bigl( \tau,x_{\phi}(\tau,\xi) \bigr)\bigr\| \\ &{}+\bigl\| \psi \bigl(\tau,x_{\phi}(\tau,\xi) \bigr)-\psi \bigl( \tau,x_{\psi}(\tau,\xi) \bigr)\bigr\| \bigr] \\ \leq{}& b(\tau) \bigl[\bigl\| x_{\phi}(\tau,\xi)\bigr\| d(\phi,\psi)+2 \bigl\| x_{\phi}(\tau,\xi)-x_{\psi}(\tau,\xi)\bigr\| \bigr] \\ \leq{}& \frac{D}{1-2D(M+\Upsilon)}b(\tau)e^{\mu(\rho(\tau )-\rho(s))+a\rho(s)}\|\xi\|d(\phi,\psi) \\ &{}+2b(\tau)e^{\mu(\rho(\tau)-\rho(s))+a\rho(s)}\|\xi\|\bigl\| x_{\phi}(\tau,\xi )-x_{\psi}(\tau,\xi)\bigr\| ^{**}, \end{aligned} $$
(36)

and for \(i=1,2,\ldots\)

$$\begin{aligned} q_{4}(\tau_{i})={}&\bigl\| g_{i} \bigl(x_{\phi}(\tau_{i},\xi),\phi \bigl(\tau_{i},x_{\phi }( \tau_{i},\xi) \bigr) \bigr) -g_{i} \bigl(x_{\psi}( \tau_{i},\xi),\psi \bigl(\tau_{i},x_{\psi}( \tau_{i},\xi) \bigr) \bigr)\bigr\| \\ \leq{}& \frac{D}{1-2D(M+\Upsilon)}c(\tau_{i})e^{\mu(\rho(\tau _{i})-\rho(s))+a\rho(s)}\|\xi\|d(\phi, \psi) \\ &{}+2c(\tau_{i})e^{\mu(\rho(\tau_{i})-\rho(s))+a\rho(s)}\|\xi\|\bigl\| x_{\phi }( \tau_{i},\xi)-x_{\psi}(\tau_{i},\xi) \bigr\| ^{**}. \end{aligned}$$
(37)

By (36), (37), and (11), we obtain

$$\begin{aligned} &\bigl\| x_{\phi}(t,\xi)-x_{\psi}(t,\xi)\bigr\| \\ &\quad\leq \int ^{t}_{s}\bigl\| T(t,\tau)P(\tau)\bigr\| q_{3}( \tau)\,d\tau +\sum_{s\leq\tau_{i}< t}\bigl\| T \bigl(t, \tau^{+}_{i} \bigr)P \bigl(\tau^{+}_{i} \bigr)\bigr\| q_{4}( \tau_{i}) \\ &\quad\leq \frac{D(M+\Upsilon)}{1-2D(M+\Upsilon)}e^{\mu(\rho (t)-\rho(s))+a\rho(s)}\|\xi\|d(\phi,\psi) \\ &\qquad{}+2De^{\mu(\rho(t)-\rho(s))+a\rho(s)}\|\xi\|\int^{t}_{s}b( \tau)e^{a\rho (\tau)} \bigl\| x_{\phi}(\tau,\xi)-x_{\psi}(\tau,\xi) \bigr\| ^{**}\,d\tau \\ &\qquad{} +2De^{\mu(\rho(t)-\rho(s))+a\rho(s)}\|\xi\| \sum_{s\leq\tau_{i}< t}c( \tau_{i})e^{a\rho(\tau_{i})}\bigl\| x_{\phi }(\tau_{i}, \xi)-x_{\psi}(\tau_{i},\xi)\bigr\| ^{**}. \end{aligned}$$
(38)

Then

$$\begin{aligned} \bigl\| x_{\phi}(t,\xi)-x_{\psi}(t,\xi) \bigr\| ^{**}\leq{}& \frac{D(M+\Upsilon)}{1-2D(M+\Upsilon)}d(\phi,\psi) \\ &{} +2D\int^{t}_{s}b(\tau)e^{a\rho(\tau)} \bigl\| x_{\phi}(\tau,\xi)-x_{\psi}(\tau,\xi)\bigr\| ^{**}\,d\tau \\ &{} +2D\sum_{s\leq\tau_{i}< t}c(\tau_{i})e^{a\rho(\tau _{i})} \bigl\| x_{\phi}(\tau_{i},\xi)-x_{\psi}( \tau_{i}, \xi)\bigr\| ^{**}. \end{aligned}$$
(39)

By Lemma 2 and (H4), we have

$$\begin{aligned} \bigl\| x_{\phi}(t,\xi)-x_{\psi}(t,\xi) \bigr\| ^{\prime} \leq{}& \frac {De^{2DM}(M+\Upsilon)}{1-2D(M+\Upsilon)} \prod_{s\leq\tau_{i}< t} \bigl(1+2Dc( \tau_{i})e^{a\rho(\tau_{i})} \bigr)\|\phi -\psi\| \\ \leq{}& \frac{De^{2DM}(M+\Upsilon)}{1-2D(M+\Upsilon)} e^{\gamma\rho(t)}\|\xi\|d(\phi,\psi), \end{aligned}$$
(40)

which implies that inequality (35) holds. □

Lemma 5

Given \(\phi\in\Phi\), the following properties hold:

(1) If for every \(s\geq0\), \(\xi\in E(s)\), \(t\geq s\),

$$\begin{aligned} \phi \bigl(t,x_{\phi}(t,\xi) \bigr)={}& T(t,s)\phi(s, \xi)+ \int^{t}_{s}T(t,\tau)Q(\tau) f \bigl( \tau,x_{\phi}(t,\xi),\phi \bigl(\tau,x_{\phi}(\tau,\xi) \bigr) \bigr)\,d\tau \\ &{}+\sum_{s\leq\tau_{i}< t}T \bigl(t,\tau^{+}_{i} \bigr)Q \bigl(\tau^{+}_{i} \bigr) g_{i} \bigl( \tau_{i},x_{\phi}(\tau_{i},\xi),\phi \bigl( \tau_{i},x_{\phi}(\tau _{i},\xi) \bigr) \bigr) \end{aligned}$$
(41)

then for every \(s\geq0\), \(\xi\in E(s)\),

$$\begin{aligned} \phi(s,\xi)={}& {-}\int^{\infty}_{s}T( \tau,s)^{-1}Q(\tau) f \bigl(\tau,x_{\phi}(t,\xi),\phi \bigl( \tau,x_{\phi}(\tau,\xi) \bigr) \bigr)\,d\tau \\ &{} -\sum_{s\leq\tau_{i}}T \bigl(\tau^{+}_{i},s \bigr)^{-1}Q \bigl(\tau^{+}_{i} \bigr) g_{i} \bigl(\tau_{i},x_{\phi}(\tau_{i}, \xi),\phi \bigl(\tau_{i},x_{\phi}(\tau _{i},\xi) \bigr) \bigr). \end{aligned}$$
(42)

(2) If identity (42) holds for each \(s\geq0\), \(\xi\in E(s)\), then (41) holds for every \(s\geq0\), \(\xi\in E(s)\), and \(t\geq s\).

Proof

By (H1), (12), and Lemma 1, we have

$$\begin{aligned} &\bigl\| f \bigl(\tau,x_{\phi}(t,\xi),\phi \bigl( \tau,x_{\phi}(\tau,\xi) \bigr) \bigr)\bigr\| \\ &\quad\leq 2b(\tau)\bigl\| x_{\phi}(\tau,\xi)\bigr\| \leq \frac{2D}{1-2D(M+\Upsilon)}e^{\mu(\rho(\tau)-\rho(s))+a\rho(s)}b( \tau)\| \xi\|, \end{aligned}$$
(43)

and for \(i=1,2,\ldots\)

$$\begin{aligned} &\bigl\| g_{i} \bigl(\tau_{i},x_{\phi}( \tau_{i},\xi),\phi \bigl(\tau_{i},x_{\phi }( \tau_{i},\xi) \bigr) \bigr)\bigr\| \\ &\quad\leq 2c(\tau_{i})\bigl\| x_{\phi}(\tau_{i},\xi)\bigr\| \leq \frac{2D}{1-2D(M+\Upsilon)}e^{\mu(\rho(\tau_{i})-\rho(s))+a\rho (s)}c(\tau_{i})\|\xi\|. \end{aligned}$$
(44)

Hence, by (H5) and (H6), we see that

$$\begin{aligned} & \int^{\infty}_{s}T( \tau,s)^{-1}Q(\tau) f \bigl(\tau,x_{\phi}(t,\xi),\phi \bigl( \tau,x_{\phi}(\tau,\xi) \bigr) \bigr)\,d\tau \\ &\quad\leq \int^{\infty}_{s}\bigl\| T(\tau,s)^{-1}Q( \tau)\bigr\| \bigl\| f \bigl(\tau,x_{\phi}(t,\xi),\phi \bigl(\tau,x_{\phi}( \tau,\xi) \bigr) \bigr)\bigr\| \,d\tau \\ &\quad\leq \frac{2D^{2}}{1-2D(M+\Upsilon)}\|\xi\|e^{(a-\mu+\nu )\rho(s)} \int^{\infty}_{s}b( \tau)e^{(\mu-\nu+a)\rho(\tau)}\,d\tau< \infty \end{aligned}$$
(45)

and

$$\begin{aligned} &\sum_{s\leq\tau_{i}}T \bigl(\tau ^{+}_{i},s \bigr)^{-1}Q \bigl( \tau^{+}_{i} \bigr) g_{i} \bigl( \tau_{i},x_{\phi}( \tau_{i},\xi),\phi \bigl( \tau_{i},x_{\phi}(\tau _{i},\xi) \bigr) \bigr) \\ &\quad\leq \sum_{s\leq\tau_{i}}\bigl\| T \bigl( \tau^{+}_{i},s \bigr)^{-1}Q \bigl(\tau ^{+}_{i} \bigr)\bigr\| \bigl\| g_{i} \bigl( \tau_{i},x_{\phi}(\tau_{i}, \xi),\phi \bigl( \tau_{i},x_{\phi}(\tau _{i},\xi) \bigr) \bigr)\bigr\| \\ &\quad\leq \frac{2D^{2}}{1-2D(M+\Upsilon)}\|\xi\|e^{(a-\mu+\nu )\rho(s)} \sum _{s\leq\tau_{i}}c(\tau_{i})e^{(\mu-\nu+a)\rho(\tau _{i})}< \infty. \end{aligned}$$
(46)

Therefore, the right-hand side of (42) is well defined. We assume that (41) holds for each \(s\geq0\), \(\xi\in E(s)\), and \(t\geq s\), then it follows that

$$\begin{aligned} \phi(s,\xi)= {}& T(t,s)^{-1}Q(t)\phi \bigl(t,x_{\phi}(t,\xi) \bigr)-\int^{t}_{s}T( \tau,s)^{-1}Q(\tau) f \bigl(\tau,x_{\phi}(\tau,\xi),\phi \bigl( \tau,x_{\phi}(\tau,\xi) \bigr) \bigr)\,d\tau \\ &{}-\sum_{s\leq\tau_{i}< t}T \bigl(\tau^{+}_{i},s \bigr)^{-1}Q \bigl(\tau ^{+}_{i} \bigr) g_{i} \bigl(\tau_{i},x_{\phi}(\tau_{i}, \xi),\phi \bigl(\tau_{i},x_{\phi}(\tau _{i},\xi) \bigr) \bigr). \end{aligned}$$
(47)

By (11), (12), and Lemma 1, we have

$$\begin{aligned} \bigl\| T(t,s)^{-1}Q(t)\phi \bigl(t,x_{\phi}(t,\xi) \bigr)\bigr\| &\leq \frac{D^{2}}{1-2D(M+\Upsilon)}e^{-\nu(\rho(t)-\rho(s))+a\rho(t)} e^{\mu(\rho(t)-\rho(s))+a\rho(s)}\|\xi\| \\ &= \frac{D^{2}}{1-2D(M+\Upsilon)}e^{(\mu-\nu+a)(\rho(t)-\rho (s))+2a\rho(s)}\|\xi\|. \end{aligned}$$
(48)

Letting \(t\rightarrow\infty\) in (47), it follows from (48) and (17) that (42) holds for every \(s\geq0\), \(\xi\in E(s)\), and \(t\geq s\).

If (42) holds for each \(s\geq0\), \(\xi\in E(s)\), and \(t\geq s\), we have

$$\begin{aligned} & T(t,s)Q(s)\phi(s,\xi)+\int^{t}_{s}T(t, \tau)Q(\tau) f \bigl(\tau,x_{\phi}(\tau,\xi),\phi \bigl( \tau,x_{\phi}(\tau,\xi) \bigr) \bigr)\,d\tau \\ &\qquad{} +\sum_{s\leq\tau_{i}< t}T \bigl(t,\tau ^{+}_{i} \bigr)Q \bigl(\tau^{+}_{i} \bigr) g_{i} \bigl(\tau_{i},x_{\phi}( \tau_{i}, \xi),\phi \bigl(\tau_{i},x_{\phi}(\tau _{i},\xi) \bigr) \bigr) \\ &\quad= {-}\int^{\infty}_{t}T(\tau,t)^{-1}Q( \tau) f \bigl(\tau,x_{\phi}(\tau,\xi),\phi \bigl(\tau,x_{\phi}( \tau, \xi) \bigr) \bigr)\,d\tau \\ &\qquad{} -\sum_{t\leq\tau_{i}< \infty}T \bigl(\tau ^{+}_{i},t \bigr)^{-1}Q \bigl( \tau^{+}_{i} \bigr) g_{i} \bigl( \tau_{i},x_{\phi}( \tau_{i},\xi),\phi \bigl( \tau_{i},x_{\phi}(\tau _{i},\xi) \bigr) \bigr). \end{aligned}$$
(49)

Replacing \((s,\xi)\) by \((t,x_{\phi}(\tau,\xi))\) in (36), we have

$$\begin{aligned} \phi \bigl(t,x_{\phi}(\tau,\xi) \bigr)={}& {-}\int ^{\infty}_{t}T(\tau ,t)^{-1}Q(\tau) f \bigl( \tau,x_{\phi}(\tau,\xi),\phi \bigl(\tau,x_{\phi}(\tau,\xi) \bigr) \bigr)\,d\tau \\ &{} -\sum_{t\leq\tau_{i}< \infty}T \bigl(\tau ^{+}_{i},t \bigr)^{-1}Q \bigl(\tau^{+}_{i} \bigr) g_{i} \bigl(\tau_{i},x_{\phi}(\tau_{i}, \xi),\phi \bigl(\tau_{i},x_{\phi}(\tau _{i},\xi) \bigr) \bigr). \end{aligned}$$
(50)

From (49) and (50), we see that (41) holds for \(s\geq0\), \(\xi\in E(s)\). □

Lemma 6

There exists a unique function \(\phi\in\Phi\) such that (42) holds for every \(s\geq0\), \(\xi\in E(s)\).

Proof

We consider the operator \(\widehat{J}\) defined for each \(\phi\in\Phi\) by

$$\begin{aligned} (\widehat{J}\phi) (s,\xi)={}& {-}\int^{\infty}_{s}T( \tau ,s)^{-1}Q(\tau) f \bigl(\tau,x_{\phi}(\tau,\xi),\phi \bigl( \tau,x_{\phi}(\tau,\xi) \bigr) \bigr)\,d\tau \\ &{}-\sum_{s\leq\tau_{i}}T \bigl(\tau^{+}_{i},s \bigr)^{-1}Q \bigl(\tau^{+}_{i} \bigr) g_{i} \bigl(\tau_{i},x_{\phi}(\tau_{i}, \xi),\phi \bigl(\tau_{i},x_{\phi}(\tau _{i},\xi) \bigr) \bigr), \end{aligned}$$
(51)

for each \(s\geq0\), \(\xi\in E(s)\). When \(\xi=0\), we have \(x_{\phi}(\tau,\xi)=0\), then \((\widehat{J}\phi)(s,0)=0\). By (H1) and Lemma 3, we have

$$\begin{aligned} &\bigl\| f \bigl(\tau,x_{\phi}(\tau,\xi),\phi \bigl( \tau,x_{\phi}(\tau,\xi) \bigr) \bigr) -f \bigl(\tau,x_{\phi}(\tau, \overline{\xi}),\phi \bigl(\tau,x_{\phi}(\tau,\overline {\xi}) \bigr) \bigr) \bigr\| \\ &\quad\leq 2De^{2DM}b(\tau)e^{(\mu+\gamma)(\rho(\tau)-\rho(s))+(a+\gamma)\rho(s)}\| \xi-\overline{\xi}\|, \end{aligned}$$
(52)

and for \(i=1,2,\ldots\)

$$ \begin{aligned}[b] &\bigl\| g_{i} \bigl(\tau_{i},x_{\phi}( \tau_{i},\xi),\phi \bigl(\tau_{i},x_{\phi }( \tau_{i},\xi) \bigr) \bigr) -g_{i} \bigl( \tau_{i},x_{\phi}( \tau_{i},\overline{\xi}),\phi \bigl(\tau_{i},x_{\phi }( \tau_{i},\overline{\xi}) \bigr) \bigr)\bigr\| \\ &\quad\leq 2De^{2DM}c(\tau_{i})e^{(\mu+\gamma)(\rho(\tau_{i})-\rho(s))+(a+\gamma )\rho(s)}\|\xi- \overline{\xi}\|. \end{aligned} $$
(53)

By (51)-(53), (11), and (H5)-(H6), for every \(s\geq0\), \(\xi\in E(s)\), we see that

$$\begin{aligned} & \bigl\| (J\phi) (s,\xi)-(J\phi) (s,\overline{\xi})\bigr\| \\ &\quad\leq \int^{\infty}_{s}\bigl\| T(\tau,s)^{-1}Q( \tau)\bigr\| \bigl\| f \bigl(\tau,x_{\phi}(\tau,\xi),\phi \bigl( \tau,x_{\phi}( \tau,\xi) \bigr) \bigr) \\ &\qquad{}-f \bigl(\tau,x_{\phi}( \tau,\overline{\xi}),\phi \bigl(\tau,x_{\phi}(\tau,\overline {\xi}) \bigr) \bigr)\bigr\| \,d\tau \\ &\qquad{} +\sum_{s\leq\tau_{i}}\bigl\| T \bigl( \tau^{+}_{i},s \bigr)^{-1}Q \bigl(\tau ^{+}_{i} \bigr)\bigr\| \bigl\| g_{i} \bigl( \tau_{i},x_{\phi}(\tau_{i}, \xi),\phi \bigl( \tau_{i},x_{\phi}(\tau _{i},\xi) \bigr) \bigr) \\ &\qquad{}-g_{i} \bigl(\tau_{i},x_{\phi}( \tau_{i},\overline{\xi}),\phi \bigl(\tau_{i},x_{\phi }( \tau_{i},\overline{\xi}) \bigr) \bigr)\bigr\| \\ &\quad\leq 2D^{2}e^{2DM}\|\xi-\overline{\xi} \|e^{(a+\nu-\mu)\rho(s)}\int^{\infty}_{s} b( \tau)e^{(\mu-\nu+a+\gamma)\rho(\tau)}\,d\tau \\ &\qquad{}+2D^{2}e^{2DM}\bigl\| \xi-\overline{\xi}\bigr\| e^{(a+\nu-\mu)\rho(s)} \sum _{s\leq\tau_{i}}c(\tau_{i})e^{(\mu-\nu+a+\gamma)\rho(\tau _{i})} \\ &\quad\leq 2D^{2}e^{2DM}(\overline{M}+\overline{\Upsilon})\| \xi-\overline{\xi}\|. \end{aligned}$$
(54)

It follows from (18) that

$$ \bigl\| (J\phi) (s,\xi)-(J\phi) (s,\xi)\bigr\| \leq\|\xi-\overline{\xi}\|, $$
(55)

for every \(s\geq0\), \(\xi\in E(s)\), which implies that \(J(\Phi)\subset\Phi\).

Given \(\phi,\psi\in\Phi\), \(\xi\in E(s)\), by (36), (37), Lemma 1, and Lemma 4, we have

$$\begin{aligned} &\bigl\| (J\phi) (s,\xi)-(J\psi) (s,\xi)\bigr\| \\ &\quad\leq \int^{\infty}_{s}\bigl\| T(\tau,s)^{-1}Q( \tau)\bigr\| \bigl\| f \bigl(\tau,x_{\phi}(\tau,\xi),\phi \bigl( \tau,x_{\phi}( \tau,\xi) \bigr) \bigr) \\ &\qquad{}-f \bigl(\tau,x_{\psi}( \tau,\xi),\psi \bigl( \tau,x_{\psi}(\tau,\xi) \bigr) \bigr)\bigr\| \,d\tau \\ &\qquad{} +\sum_{s\leq\tau_{i}}\bigl\| T \bigl( \tau^{+}_{i},s \bigr)^{-1}Q \bigl(\tau ^{+}_{i} \bigr)\bigr\| \bigl\| g_{i} \bigl( \tau_{i},x_{\phi}(\tau_{i}, \xi),\phi \bigl( \tau_{i},x_{\phi}(\tau _{i},\xi) \bigr) \bigr) \\ &\qquad{}-g_{i} \bigl(\tau_{i},x_{\psi}( \tau_{i},\xi),\psi \bigl(\tau_{i},x_{\psi}(\tau _{i},\xi) \bigr) \bigr)\bigr\| \\ &\quad\leq \biggl[\frac{D^{2}}{1-2D(M+\Upsilon)}+\frac {2D^{2}e^{2DM}(M+\Upsilon)}{1-2D(M+\Upsilon)} \biggr] \|\xi\|d(\phi, \psi)e^{(a+\nu-\mu)\rho(s)} \\ &\qquad{}\times\biggl[\int^{\infty}_{s} e^{(\mu-\nu+a+\gamma)\rho(\tau)}b(\tau)\,d\tau+\sum_{s\leq\tau_{i}}c(\tau_{i})e^{(\mu-\nu +a+\gamma)\rho(\tau_{i})} \biggr] \\ &\quad\leq \biggl[\frac{D^{2}}{1-2D(M+\Upsilon)}+\frac {2D^{2}e^{2DM}(M+\Upsilon)}{1-2D(M+\Upsilon)} \biggr] (\overline{M}+ \overline{\Upsilon}) \|\xi\|d(\phi,\psi). \end{aligned}$$
(56)

Thus, the operator \(J:\Phi\rightarrow\Phi\) becomes a contraction. Therefore, for each \(\xi\in E(s)\), there exists a unique function ϕ satisfying (21). By Lemma 3, we have

$$\begin{aligned} &\bigl\| \Psi_{\epsilon} \bigl(s,\xi,\phi(s,\xi) \bigr)- \Psi_{t} \bigl(s,\overline{\xi },\phi(s,\overline{\xi}) \bigr)\bigr\| \\ &\quad=\bigl\| \bigl(t,x_{\phi}(t,\xi),\phi \bigl(s,x_{\phi}(t,\xi) \bigr) \bigr)- \bigl(t,x_{\phi}(t,\overline {\xi}),\phi \bigl(s,x_{\phi}(t, \overline{\xi}) \bigr) \bigr)\bigr\| \\ &\quad\leq2\bigl\| x_{\phi}(t,\xi)-x_{\phi}(t,\overline{\xi})\bigr\| \leq2De^{2DM}e^{(\mu+\gamma)(\rho(t)-\rho(s))+a\rho(s)} \|\xi-\overline{\xi}\|. \end{aligned}$$
(57)

This completes the proof of Theorem 2. □

4 Stable manifolds under perturbations

This section is to see how the manifolds vary with the perturbations. Let Ω be space of the function \(f:R^{+}\times R^{n}\rightarrow R^{n}\) and \(\overline{\Omega}\) be the space of all sequences of function \(g=g_{i}:R^{+}\times R^{n}\rightarrow R^{n}\). We define a metric by

$$ \|f-\overline{f}\|_{*}= \sup \biggl\{ \frac{\|f(t,x)-\overline {f}(t,x)\|}{\|x\|},t\geq0,x\in R^{n}\setminus\{0\} \biggr\} $$
(58)

and

$$ \|g-\overline{g}\|_{**}= \sup_{i\geq1} \sup \biggl\{ \frac{\|g_{i}(\tau_{i},x)-\overline{g}_{i}(\tau_{i},x)\|}{\|x\| },\tau_{i}\geq0,x\in R^{n}\setminus\{0\} \biggr\} . $$
(59)

We also assume that the following conditions hold:

(H7):

\(0<\widehat{M}= \sup_{s\geq0}\{e^{a+\nu-\mu}\int^{\infty}_{s}e^{(\mu-\nu+a) \rho(\tau)}\,d\tau\}<\infty\);

(H8):

\(0<\widehat{\Upsilon}= \sup_{s\geq0}\{e^{a+\nu-\mu }\sum_{\tau_{i}\geq s}e^{(\mu-\nu+a)\rho(\tau_{i})}\}<\infty\).

Theorem 3

Assume that (1) admits a ρ-nonuniform exponential dichotomy. If (H1)-(H8), (16)-(19) hold, then

$$ \|\varphi-\psi\|\leq D_{1}\|f-\overline{f}\|_{*}+D_{2} \|g-\overline{g}\|_{**} $$
(60)

for every \(f,\overline{f}\in\Omega\) and \(g,\overline{g}\in\overline{\Omega}\), where \(\phi,\psi\in\Phi\) are the functions given by Theorem  2 corresponding to the perturbations f, g and \(\overline{f}\), \(\overline{g}\), \(D_{1}= \frac{2D^{2}\widehat{M}}{[1-2D(M+\Upsilon)]\{ 1-[\frac{D^{2}}{1-2D(M+\Upsilon)} +\frac{2D^{2}e^{2DM}(M+\Upsilon)}{1-2D(M+\Upsilon)}](\overline {M}+\overline{\Upsilon})\}}\), \(D_{2}= \frac{2D^{2}\widehat{\Upsilon}}{[1-2D(M+\Upsilon )]\{1-[\frac{D^{2}}{1-2D(M+\Upsilon)} +\frac{2D^{2}e^{2DM}(M+\Upsilon)}{1-2D(M+\Upsilon)}](\overline {M}+\overline{\Upsilon})\}}\).

Proof

For every \(\xi\in E(s)\), by (36), (37), (58), (59), and Lemma 4, we have

$$\begin{aligned} q_{5}(\tau) =& \bigl\| f \bigl(\tau,x_{\phi}(\tau, \xi),\phi \bigl(\tau,x_{\phi }(\tau,\xi) \bigr) \bigr) -\overline{f} \bigl( \tau,x_{\psi}(\tau,\xi),\psi \bigl(\tau,x_{\psi}(\tau,\xi) \bigr) \bigr)\bigr\| \\ \leq&\bigl\| f \bigl(\tau,x_{\phi}(\tau,\xi),\phi \bigl(\tau,x_{\phi}( \tau,\xi) \bigr) \bigr) -\overline{f} \bigl(\tau,x_{\phi}(\tau,\xi),\phi \bigl(\tau,x_{\phi}(\tau,\xi) \bigr) \bigr)\bigr\| \\ &{}+\bigl\| \overline{f} \bigl(\tau,x_{\phi}(\tau,\xi),\phi \bigl( \tau,x_{\phi}(\tau,\xi) \bigr) \bigr) -\overline{f} \bigl( \tau,x_{\psi}(\tau,\xi),\psi \bigl(\tau,x_{\psi}(\tau,\xi) \bigr) \bigr)\bigr\| \\ \leq& \frac{2D}{1-2D(M+\Upsilon)}e^{\mu(\rho(\tau)-\rho(s))+a\rho(s)} \| f-\overline{f}\|_{*}+ \biggl[\frac{D}{1-2D(M+\Upsilon)} \\ &{}+\frac{2De^{2DM}(M+\Upsilon )}{1-2D(M+\Upsilon)} \biggr] b(\tau)e^{(\mu+\gamma)(\rho(\tau)-\rho(s))+(a+\gamma)\rho(s)}\|\xi\|\| \phi-\psi\|, \end{aligned}$$
(61)

and for \(i=1,2,\ldots\)

$$\begin{aligned} q_{6}(\tau_{i}) =&\bigl\| g_{i} \bigl( \tau_{i},x_{\phi}(\tau_{i},\xi),\phi \bigl(\tau _{i},x_{\phi}(\tau_{i},\xi) \bigr) \bigr) - \overline{g}_{i} \bigl(\tau_{i},x_{\psi}( \tau_{i},\xi),\psi \bigl(\tau_{i},x_{\psi }( \tau_{i},\xi) \bigr) \bigr)\bigr\| \\ \leq& \frac{2D}{1-2D(M+\Upsilon)}e^{\mu(\rho(\tau_{i})-\rho (s))+a\rho(s)}\|g-\overline{g}\|_{**}+ \biggl[\frac{D}{1-2D(M+\Upsilon)} \\ &{} +\frac{2De^{2DM}(M+\Upsilon )}{1-2D(M+\Upsilon)} \biggr] c(\tau_{i})e^{(\mu+\gamma)(\rho(\tau_{i})-\rho(s))+(a+\gamma)\rho(s)}\| \xi\| \| \phi-\psi\|. \end{aligned}$$
(62)

It follows from (11), (42), (61), and (62) that

$$\begin{aligned} &\bigl\| \phi(s,\xi)-\psi(s,\xi)\bigr\| \\ &\quad= \int^{\infty}_{s}\bigl\| T(\tau,s)^{-1}Q( \tau)\bigr\| q_{5}(\tau)\,d\tau+\sum_{s\leq\tau_{i}}\bigl\| T \bigl(\tau^{+}_{i},s \bigr)^{-1}Q \bigl(\tau ^{+}_{i} \bigr)\bigr\| q_{6}(\tau_{i}) \\ &\quad\leq \frac{2D^{2}}{1-2D(M+\Upsilon)}\|f-\overline{f}\| _{*}e^{(a+\nu-\mu)\rho(s)} \int^{\infty}_{s}e^{(\mu-\nu+a)\rho(\tau)}\,d\tau \\ &\qquad{} +\frac{2D^{2}}{1-2D(M+\Upsilon)}\|g-\overline{g}\| _{**}e^{(a+\nu-\mu)\rho(s)} \sum_{s\leq\tau_{i}}e^{(\mu-\nu+a)\rho(\tau_{i})} \\ &\qquad{} + \biggl\{ \biggl[\frac{D^{2}}{1-2D(M+\Upsilon)}+\frac {2D^{2}e^{2DM}(M+\Upsilon)}{1-2D(M+\Upsilon)} \biggr] e^{(a+\nu-\mu)\rho(s)} \int^{\infty}_{s}b( \tau)e^{(\mu-\nu+a+\gamma)\rho(\tau)}\,d\tau \\ &\qquad{} + \biggl[\frac{D^{2}}{1-2D(M+\Upsilon)}+\frac {2D^{2}e^{2DM}(M+\Upsilon)}{1-2D(M+\Upsilon)} \biggr] e^{(a+\nu-\mu)\rho(s)} \\ &\qquad{}\times\sum_{s\leq\tau_{i}} c(\tau_{i})e^{(\mu-\nu+a+\gamma)\rho(\tau_{i})} \biggr\} \|\xi\|\|\phi-\psi\| \\ &\quad\leq \frac{2D^{2}\widehat{M}}{1-2D(M+\Upsilon)}\| f-\overline{f}\|_{*} + \frac{2D^{2}\widehat{\Upsilon}}{1-2D(M+\Upsilon)}\|g-\overline{g}\| _{**} \\ &\qquad{} + \biggl[\frac{D^{2}}{1-2D(M+\Upsilon)}+\frac {2D^{2}e^{2DM}(M+\Upsilon)}{1-2D(M+\Upsilon)} \biggr](\overline{M}+ \overline {\Upsilon}) \|\xi\|\|\phi-\psi\|, \end{aligned}$$
(63)

which implies that (60) holds. □

5 Example

In this section, we provide an example to demonstrate the derived results. Consider the impulsive system

$$ \left \{ \textstyle\begin{array}{@{}l} x^{\prime}=[2\widetilde{\mu} t+\overline{a}t(t^{2}\cos t^{2}-1)]x +b(t)x,\qquad\triangle x|_{t=\tau_{i}}=b_{i}x(\tau_{i})+c(\tau_{i})x(\tau _{i}),\\ y^{\prime}= [2\widetilde{\nu} t+\overline{a}t(t^{2}\cos t^{2}-1)]y+\frac{b(t)y}{1+y^{2}},\qquad\triangle y|_{t=\tau_{i}}= b_{i}y(\tau_{i})+\frac{c(\tau_{i})y(\tau _{i})}{1+y^{2}(\tau_{i})}, \end{array}\displaystyle \right . $$
(64)

where \(\widetilde{\mu}<0\), \(\widetilde{\nu}>0\), \(\overline{a}>0\), \(b_{i}\geq0\) and \(b(t)>0\), \(c(\tau_{i})>0\), \(i=1,2,\ldots\) . Assume that there exists \(\delta>0\) such that \(\frac{\ln(1+b_{i})}{\tau^{2}_{i}-\tau^{2}_{i-1}}\leq \delta\), \(i=1,2,\ldots\) . Setting \(P(t)(x,y)=(x,0)\) and \(Q(t)(x,y)=(0,y)\), we have

$$\begin{aligned}& \bigl\| T(t,s)P(s)\bigr\| \leq e^{\overline{a}}e^{\widetilde{\mu}(t^{2}-s^{2})+as^{2}}\prod _{s\leq\tau_{i}< t}(1+b_{i})\leq e^{\overline{a}}e^{(\widetilde{\mu}+\delta)(t^{2}-s^{2})+(a+\delta )s^{2}}, \\& \bigl\| T(t,s)^{-1}Q(s)\bigr\| \leq e^{\overline{a}}e^{-\widetilde{\nu}(t^{2}-s^{2})+at^{2}}\prod _{s\leq\tau_{i}< t}(1+b_{i})\leq e^{\overline{a}}e^{-\widetilde{\nu}(t^{2}-s^{2})+(a+\delta)t^{2}}. \end{aligned}$$

This shows that the linear part of (64) admits a ρ-nonuniform dichotomy with

$$\rho(t)=t^{2},\qquad \mu=\widetilde{\mu}+\delta,\qquad\nu=\widetilde{ \nu},\qquad a=\overline {a}+\delta,\qquad D=e^{\overline{a}}. $$

We conclude that (64) has a stable invariant manifold provided that (H1)-(H6) and (16)-(19) hold.

References

  1. Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Ordinary Differential Equations. World Scientific, Singapore (1989)

    Book  Google Scholar 

  2. Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations. World Scientific, Singapore (1995)

    Google Scholar 

  3. Perron, O: Die Stabilitätsfrage bei Differentialgleichungen. Math. Z. 32, 703-728 (1930)

    Article  MathSciNet  MATH  Google Scholar 

  4. Massera, J, Schäffer, J: Linear Differential Equations and Function Spaces. Pure Appl. Math., vol. 21. Academic Press, New York (1966)

    MATH  Google Scholar 

  5. Dale’ckiĭ, J, Kreĭn, M: Stability of Solutions of Differential Equations in Banach Space. Trans. Math. Monogr., vol. 43. Am. Math. Soc., Providence (1974)

    Google Scholar 

  6. Coppel, W: Dichotomies in Stability Theory. Lecture Notes in Math., vol. 629. Springer, Berlin (1978)

    MATH  Google Scholar 

  7. Sacker, R, Sell, G: Existence of dichotomies and invariant splittings for linear differential systems. I. J. Differ. Equ. 15, 429-458 (1974)

    Article  MathSciNet  Google Scholar 

  8. Sacker, R, Sell, G: Existence of dichotomies and invariant splittings for linear differential systems. II. J. Differ. Equ. 22, 478-496 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  9. Sacker, R, Sell, G: Existence of dichotomies and invariant splittings for linear differential systems. III. J. Differ. Equ. 22, 497-522 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  10. Sacker, R, Sell, G: Dichotomies for linear evolutionary equations in Banach spaces. J. Differ. Equ. 113, 17-67 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  11. Barreira, L, Valls, C: Stability of Nonautonomous Differential Equations. Lecture Notes in Math., vol. 1926. Springer, Berlin (2008)

    MATH  Google Scholar 

  12. Bento, AJG, Lupa, N, Megan, M, Silva, CM: Integral conditions for nonuniform-dichotomy. arXiv:1405.2946 [math. DS]

  13. Oseledets, V: A multiplicative ergodic theorem. Liapunov characteristic numbers for dynamical systems. Trans. Mosc. Math. Soc. 19, 197-221 (1968)

    MATH  Google Scholar 

  14. Barreira, L, Pesin, Y: Nonuniform Hyperbolicity. Encyclopedia Math. Appl., vol. 115. Cambridge University Press, Cambridge (2007)

    Book  Google Scholar 

  15. Massera, J, Schäffer, J: Linear differential equations and functional analysis. I. Ann. Math. (2) 67, 517-573 (1958)

    Article  MATH  Google Scholar 

  16. Barreira, L, Valls, C: Stable manifolds for nonautonomous equations without exponential dichotomy. J. Differ. Equ. 221, 58-90 (2006)

    Article  MathSciNet  Google Scholar 

  17. Chow, SN, Leiva, H: Existence and roughness of the exponential dichotomy for skew-product semiflow in Banach spaces. J. Differ. Equ. 120, 429-477 (1995)

    Article  MathSciNet  Google Scholar 

  18. Pliss, V, Sell, G: Robustness of exponential dichotomies in infinite-dimensional dynamical systems. J. Dyn. Differ. Equ. 11, 471-513 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  19. Barreira, L, Valls, C: Lyapunov regularity of impulsive differential equations. J. Differ. Equ. 249, 1596-1619 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  20. Barreira, L, Valls, C: Stable manifolds for impulsive equations under nonuniform hyperbolicity. J. Dyn. Differ. Equ. 22, 761-785 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  21. Barreira, L, Fan, M, Valls, C, Zhang, J: Invariant manifolds for impulsive equations and nonuniform polynomial dichotomies. J. Stat. Phys. 141, 179-200 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  22. Zhang, J, Chang, X, Wang, J: Existence and robustness of nonuniform \((h, k, \mu, \nu)\)-dichotomies for nonautonomous impulsive differential equations. J. Math. Anal. Appl. 400, 710-723 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  23. Barreira, L, Valls, C: Growth rates and nonuniform hyperbolicity. Discrete Contin. Dyn. Syst. 22, 509-528 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  24. Barreira, L, Valls, C: Robustness of general dichotomies. J. Funct. Anal. 257, 464-484 (2009)

    Article  MathSciNet  Google Scholar 

  25. Barreira, L, Valls, C: Stable invariant manifolds for parabolic dynamics. J. Funct. Anal. 257, 1018-1029 (2009)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The author would like to thank the referee and the associate editor for their very helpful suggestions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Lijun Pan.

Additional information

Competing interests

The author declares that he has no competing interests.

Author’s contributions

The author contributed to the manuscript. The author read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Pan, L. Stable invariant manifolds with impulses and growth rates. Adv Differ Equ 2015, 221 (2015). https://doi.org/10.1186/s13662-015-0523-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-015-0523-6

MSC

Keywords