Skip to main content

Theory and Modern Applications

Homoclinic solutions for Hamiltonian system with impulsive effects


In this article, we investigate a class of impulsive Hamiltonian systems with a p-Laplacian operator. By establishing a series of new sufficient conditions, the existence of homoclinic solutions to such type of systems is revealed. We show the existence of homoclinic orbit induced by impulses by introducing some conditions. To illustrate the applications of the main results in this article, we create an example.

1 Introduction

The aim of the article is to investigate the impulsive Hamiltonian systems with p-Laplacian operator of the form

$$\begin{aligned}& \bigl(\Phi_{p}\bigl(u'(t)\bigr) \bigr)'-\nabla F\bigl(t,u(t)\bigr)=0, \quad t\neq t_{i},t \in R, \end{aligned}$$
$$\begin{aligned}& -\Delta \bigl(\Phi_{p}\bigl(u'(t_{i}) \bigr)\bigr)=g_{i}\bigl(u(t_{i})\bigr), \quad i\in Z. \end{aligned}$$

Here, we are particularly interested in the existence of homoclinic orbits for such systems. In the system, \(u\in R\), \(\Delta (\Phi_{p}(u'(t _{i})))= \vert u'(t_{i}^{+}) \vert ^{p-2}u'(t_{i}^{+})- \vert u'(t_{i}^{-}) \vert ^{p-2}u'(t _{i}^{-})\) with \(u'(t_{i}^{\pm })=\lim_{t\rightarrow t_{i}^{\pm }} u'(t)\), \(\nabla F(t,u)=\operatorname{grad}_{u}F(t,u)\), \(g_{i}(u)= \operatorname{grad}_{u}G_{i}(u)\), \(G_{i}\in C^{1}({R}^{n},{R}^{n})\) for each \(i\in Z\). There exist an \(m\in N\) and a \(T>0\) such that \(0=t_{0}< t _{1}<\cdots<t_{m}=T\), \(t_{i+m}=t_{i}+T\) and \(g_{i+m}=g_{i}\) for all \(i\in Z\).

The existence and multiplicity of homoclinic orbits attracted the attention of researchers from all over the world and as such have been extensively investigated in the literature [18]. Mathematical techniques such as the dual variational method [9], concentration compactness method and Ekeland variational principle [10, 11], and the approximation method [12] have been used in evaluating the existence of homoclinic orbits for Hamiltonian systems.

Real-world systems display a variety of abrupt changes, and such changes can be modeled using impulsive differential equations. Impulsive effects have been integrated into different types of differential equations to describe the consequences of abrupt changes. Such systems have been investigated in the literature [1324].

A special case of system (1)–(2) where \(p=2\) has been considered by Zhang and Li [20]. The authors get the following result.

Theoerem 1


Assume that, for \(j=1,2,\ldots,m\), \(g_{j}\) is continuous and m-periodic in j, and F and \(g_{j}\) satisfy the following conditions:


\(F:R\times {R}^{N}\rightarrow R\) is continuously differentiable and T-periodic, and there exist positive constants \(r_{1},r_{2}>0\) such that

$$ r_{1} \vert u \vert ^{2}\leq F(t,u)\leq r_{2} \vert u \vert ^{2},\quad \forall (t,u)\in [0,T] \times {R}^{n}; $$

\(F(t,u)\leq (\nabla F(t,u),u)\leq 2F(t,u)\), \(\forall (t,u) \in [0,T]\times {R}^{n}\);


there exists \(\mu >2\) such that

$$ 0< -\mu G_{j}(u)\leq -ug_{j}(u),\quad \textit{for } u\in {R}^{n}\setminus \{0\}, j=1,2,\ldots,m; $$

\(\lim_{ \vert u \vert \rightarrow 0}\frac{g_{j}(u)}{ \vert u \vert }=0\) for \(j=1,2,\ldots,m\).

Then the second order impulsive Hamiltonian system

$$\begin{aligned}& u''(t)-\nabla F\bigl(t,u(t)\bigr)=0, \quad t\neq t_{i}, t\in R, \\& -\Delta u'(t_{i})=g_{i}\bigl(u(t_{i}) \bigr), \quad i\in Z, \end{aligned}$$

has at least one nonzero homoclinic solution generated by impulses.

For the general case of \(p\neq 2\), due to the complex structure of problem (1) and (2), it is challenging to construct an appropriate functional such that the existence of its critical point implies a homoclinic orbit of the system. Since the domain under consideration is unbounded, the Sobolev embedding might not be compact. In order to complete the proof, we show that the homoclinic orbit u is obtained as the limit of \(2kT\)-periodic solutions \(u_{k}\) of (1)–(2) as \(k\rightarrow \infty \). Due to the impulsive perturbation, the velocity is no longer continuous. Besides, if \(p\neq 2\), the Sobolev space \(W_{2kT}^{1,p}\) is not a Hilbert space. When we use the mountain pass theorem to prove the main results of the paper, it is necessary to guarantee that constants ρ and α are required to be independent of k. We also need to show that the approximating solution sequence \(\{u_{k}\}\) has a bound, which is independent of k.

Before introducing the main results, we make the following assumptions.

Theoerem 2

Assume that F, \(g_{i}\) satisfies the following conditions:

  1. (A1)

    \(F\in C^{1}(R\times {R}^{N},R)\), \(F(t,0)\equiv 0\) and F is T-periodic in its first variable;

  2. (A2)

    \(F(t,u)=\frac{1}{p} \vert u \vert ^{p}+H(t,u)\), where \(H\in C^{1}(R\times {R}^{N},R)\);

  3. (A3)

    for every \(t\in R\) and \(u\in {R}^{n}\backslash \{0\}\), there exists \(\mu >p\) such that

    $$ p H(t,u)\geq u\nabla H(t,u)>0; $$
  4. (A4)

    there exists \(\mu >p\), such that \(g_{i}(u)u \leq \mu G_{i}(u) \leq 0\), \(u\in {R}^{n}\setminus \{0\}\), \(i=1,2,\ldots,m\).

Then the system (1)(2) possesses at least one nonzero homoclinic solution generated by impulses.

Here, a solution of problem (1)–(2) is said to be generated from the impulse if this solution emerges when the impulse is not zero, and on the other hand, the solution disappears when the impulse is zero.

The rest of the paper is organized as follows. In Sect. 2, we present some preliminaries and statements, which will be used in proving our main results. The proof of the main results of this article is given in Sect. 3. We then present an example to illustrate the applicability of our results in Sect. 4.

2 Preliminaries and statements

For each \(k\in N\), set

$$ E_{k}=\bigl\{ u:R\rightarrow {R}^{n}\mid u,u' \in L^{p}\bigl([-kT,kT],{R}^{n}\bigr),u(t)=u(t+2kT),t \in R \bigr\} . $$

Thus, \(E_{k}\) is a Hilbert space with the norm defined by

$$ \Vert u \Vert _{E_{k}}= \biggl( \int_{-kT}^{kT}\bigl( \bigl\vert u'(t) \bigr\vert ^{p}+ \bigl\vert u(t) \bigr\vert ^{p}\bigr) \,dt \biggr) ^{\frac{1}{p}}. $$

Let \(L_{2kT}^{p}(R,{R}^{n})\) denote the Hilbert space of \(2kT\)-periodic functions on R with values in \({R}^{n}\) under the norm

$$ \Vert u \Vert _{L_{2kT}^{p}(R,{R}^{n})}= \biggl( \int_{-kT}^{kT} \bigl\vert u(t) \bigr\vert ^{p} \,dt \biggr) ^{\frac{1}{p}}, $$

and \(L_{2kT}^{\infty }(R,{R}^{n})\) be a space of \(2kT\)-periodic essentially bounded measurable functions from R to \({R}^{n}\) under the norm

$$ \Vert u \Vert _{L_{2kT}^{\infty }(R,{R}^{n})}=\operatorname{esssup}\bigl\{ \bigl\vert u(t) \bigr\vert :t\in [-kT,kT] \bigr\} . $$

Set \(\Omega_{k}=\{-km+1,-km+2,\ldots,0,1,2,\ldots,km-1,km\}\) and define

$$\begin{aligned} I_{k}(u) =& \int_{-kT}^{kT}\biggl[\frac{1}{p} \bigl\vert u'(t) \bigr\vert ^{p}+F\bigl(t,u(t)\bigr)\biggr]\,dt+ \sum_{i\in \Omega_{k}}G_{i}\bigl(u(t_{i}) \bigr) \\ =&\frac{1}{p} \Vert u \Vert _{E_{k}}^{p}+ \int_{-kT}^{kT}H\bigl(t,u(t)\bigr)\,dt+ \sum _{i\in \Omega_{k}}G_{i}\bigl(u(t_{i})\bigr). \end{aligned}$$

It follows that \(I_{k}\) is Frechet differentiable at any \(u\in E_{k}\). For any \(u\in E_{k}\), we thus have

$$\begin{aligned} I_{k}'(u)v =& \int_{-kT}^{kT}\bigl[ \bigl\vert u'(t) \bigr\vert ^{p-2}u'(t)v'(t)+\nabla F \bigl(t,u(t)\bigr)v(t)\bigr]\,dt \\ & {} +\sum_{i\in \Omega_{k}}g_{i} \bigl(u(t_{i})\bigr)v(t_{i}). \end{aligned}$$

The above analysis shows that the critical points of the functional \(I_{k}\) are classical \(2kT\)-periodic solutions of system (1)–(2).

Lemma 1


There exists a positive constant C independent of k such that, for each \(k\in N\) and \(u\in E_{k}\), one has

$$\begin{aligned} \Vert u \Vert _{L_{2kT}^{\infty }(R,{R}^{n})}\leq C \Vert u \Vert _{E_{k}}. \end{aligned}$$

Lemma 2


Let \(u:R\rightarrow {R}^{n}\) be a continuous mapping such that \(u'\in L_{\mathrm {loc}}^{p}(R,{R}^{n})\). For every \(t\in R\), the following inequality holds:

$$\begin{aligned} \bigl\vert u(t) \bigr\vert \leq 2^{\frac{p-1}{p}} \biggl( \int_{t-\frac{1}{2}}^{t+\frac{1}{2}}\bigl( \bigl\vert u(s) \bigr\vert ^{p}+ \bigl\vert u'(s) \bigr\vert ^{p} \bigr)\,ds \biggr) ^{\frac{1}{p}}. \end{aligned}$$

Lemma 3


Let X be a real Banach space and \(I\in C'(X,R)\) satisfying the Palais–Smale (PS)-condition. Suppose that I satisfies the following conditions:

  1. (i)


  2. (ii)

    there exist constants \(\rho ,\alpha >0\) such that \(I| _{\partial B_{\rho }(0)}\geq \alpha \);

  3. (iii)

    there exists \(e\in X\backslash \bar{B}_{\rho }(0)\) such that \(I(e)\leq 0\).

Then I possesses a critical value \(c\geq \alpha \) given by

$$ c=\inf_{g\in \Gamma }\max_{s\in [0,1]}I\bigl(g(s)\bigr), $$

where \(B_{\rho }(0)\) is an open ball in X of radius ρ centered at 0, and

$$ \Gamma =\bigl\{ g\in C\bigl([0,1],X\bigr):g(0)=0,g(1)=e\bigr\} . $$

3 Proof of Theorem 2

Before starting the proof of Theorem 2, we recall some properties of the function \(H(t,u)\).

Remark 1

If (A3) holds, then, for every \(t\in [0,T]\), there exist \(a_{1}, a _{2}>0\) such that:

$$\begin{aligned}& H(t,u)\geq a_{1} \vert u \vert ^{p}, \quad \text{if }0< \vert u \vert < 1, \end{aligned}$$
$$\begin{aligned}& H(t,u)\leq a_{2} \vert u \vert ^{p}, \quad \text{if } \vert u \vert \geq 1, \end{aligned}$$

where \(a_{1}=\min_{t\in [0,T], \vert u \vert =1}H(t,u)\), \(a_{2}= \max_{t\in [0,T], \vert u \vert =1}H(t,u)\).


To prove this fact, it suffices to show that, for every \(u\neq 0\) and \(t\in [0,T]\) the function \(\zeta \rightarrow H(t,\zeta ^{-1}u)\zeta^{p}\) (where \(\zeta \in (0,+\infty )\)) is nonincreasing, which is an immediate consequence of (A3). □

Remark 2

Assume that (A4) hold, then there exist \(b_{1}, b_{2}>0\), such that

$$\begin{aligned}& G_{i}(u)\geq -b_{1} \vert u \vert ^{\mu }, \quad \text{if }0< \vert u \vert < 1, \end{aligned}$$
$$\begin{aligned}& G_{i}(u)\leq -b_{2} \vert u \vert ^{\mu }, \quad \text{if } \vert u \vert \geq 1. \end{aligned}$$


Since the proof is similar to that of Fact 2.2 of [11], here it is omitted. □

We divide the proof of Theorem 2 into several lemmas.

Lemma 4

If F, \(g_{i}\) satisfies (A1)(A4), then, for all \(k\in N\), system (1)(2) has a \(2kT\)-periodic solution.


By (A1) and (A4), we get \(I_{k}(0)=0\).

We first show that \(I_{k}\), \(g_{i}\) satisfies the (PS)-condition. Assume that \(\{u_{j}\}_{j\in N}\) in \(E_{k}\) is a sequence such that \(\{I_{k}(u_{j})\}_{j\in N}\) is bounded and \(I_{k}'(u_{j})\rightarrow 0\) as \(j\rightarrow +\infty \). Then, for every \(j\in N\), there is a constant \(C_{k}>0\) such that

$$\begin{aligned}& \bigl\vert I_{k}(u_{j}) \bigr\vert \leq C_{k}, \end{aligned}$$
$$\begin{aligned}& \bigl\Vert I_{k}'(u_{j}) \bigr\Vert _{E_{k}^{*}}\leq C_{k}. \end{aligned}$$

It follows from (4) that

$$\begin{aligned} I_{k}'(u_{j})u_{j} =& \int_{-kT}^{kT}\bigl[ \bigl\vert u_{j}'(t) \bigr\vert ^{p}+\nabla F \bigl(t,u_{j}(t)\bigr)u _{j}(t)\bigr]\,dt+\sum _{i\in \Omega_{k}}g_{i}\bigl(u_{j}(t_{i}) \bigr)u_{j}(t_{i}) \\ =& \int_{-kT}^{kT}\bigl[ \bigl\vert u_{j}'(t) \bigr\vert ^{p}+ \bigl\vert u_{j}(t) \bigr\vert ^{p}\bigr]\,dt+ \int_{-kT}^{kT} \nabla H\bigl(t,u_{j}(t) \bigr)u_{j}(t)\,dt \\ & {} +\sum_{i\in \Omega_{k}}g_{i} \bigl(u_{j}(t_{i})\bigr)u_{j}(t_{i}). \end{aligned}$$

By (A3), (A4), (3), (11), (12) and (13) we have

$$\begin{aligned} 2C_{k} \geq & I_{k}(u_{j})- \frac{1}{\mu }I_{k}'(u_{j})u_{j} \\ =& \int_{-kT}^{kT}\frac{1}{p} \bigl\vert u_{j}'(t) \bigr\vert ^{p}+F \bigl(t,u_{j}(t)\bigr)\,dt+ \sum_{i\in \Omega_{k}}G_{i} \bigl(u(t_{i})\bigr) \\ & {} - \int_{-kT}^{kT}\frac{1}{\mu } \bigl\vert u_{j}'(t) \bigr\vert ^{\mu }-\frac{1}{\mu } \nabla F\bigl(t,u_{j}(t)\bigr)u_{j}(t)\,dt-\sum _{i\in \Omega_{k}}g_{i}\bigl(u_{j}(t _{i}) \bigr)u_{j}(t_{i}) \\ \geq & \int_{-kT}^{kT}\frac{1}{p} \bigl\vert u_{j}'(t) \bigr\vert ^{p}+\frac{1}{p} \bigl\vert u_{j}(t) \bigr\vert ^{p}-\frac{1}{ \mu } \bigl\vert u_{j}'(t) \bigr\vert ^{\mu }- \frac{1}{\mu } \bigl\vert u_{j}(t) \bigr\vert ^{\mu } \,dt \\ & {} + \int_{-kT}^{kT} H\bigl(t,u_{j}(t)\bigr)- \frac{1}{\mu }\nabla H\bigl(t,u_{j}(t)\bigr)u _{j}(t)\,dt \\ \geq & \biggl( \frac{1}{p}-\frac{1}{\mu } \biggr) \Vert u_{j} \Vert _{E_{k}}^{p}+ \int_{-kT}^{kT} H\bigl(t,u_{j}(t)\bigr)- \frac{1}{p}\nabla H\bigl(t,u_{j}(t)\bigr)u_{j}(t)\,dt \\ \geq & \biggl( \frac{1}{p}-\frac{1}{\mu } \biggr) \Vert u_{j} \Vert _{E_{k}}^{p} . \end{aligned}$$

Since \(\mu >p\), we know that \(\{u_{j}\}_{j\in N}\) is bounded in \(E_{k}\). Using the method proposed in [27], we can show that \(\{u_{n}\}\) has a convergent subsequence. It thus follows that \(I_{k}\) satisfies the (PS)-condition.

We now show that the functional \(I_{k}\) satisfies Assumption (ii) in Lemma 3. Choose \(0<\delta <1\) such that

$$\begin{aligned} \min \biggl\{ \frac{1}{p},\frac{1}{p}+a_{1} \biggr\} \frac{\delta^{p}}{C ^{p}}-\frac{b_{1}\delta^{\mu }}{C^{\mu }}>0. \end{aligned}$$

If \(\Vert u \Vert _{E_{k}}=\frac{\delta }{C}:=\rho \), then it follows from (5) that \(\vert u(t) \vert \leq \delta <1\) for \(t\in [-kT,kT]\). From (3), (7) and (9) we have

$$\begin{aligned} I_{k}(u) \geq & \int_{-kT}^{kT}\frac{1}{p} \bigl\vert u_{j}'(t) \bigr\vert ^{p}+\frac{1}{p} \bigl\vert u _{j}(t) \bigr\vert ^{p}\,dt+ \int_{-kT}^{kT}H\bigl(t,u(t)\bigr)\,dt+\sum _{i\in \Omega_{k}}G_{i}\bigl(u(t _{i})\bigr) \\ \geq & \int_{-kT}^{kT}\frac{1}{p} \bigl\vert u_{j}'(t) \bigr\vert ^{p}+\frac{1}{p} \bigl\vert u_{j}(t) \bigr\vert ^{p}+a _{1} \bigl\vert u(t) \bigr\vert ^{p}\,dt-b_{1}\sum _{i\in \Omega_{k}} \vert u \vert ^{\mu } \\ \geq &\min \biggl\{ \frac{1}{p},\frac{1}{p}+a_{1} \biggr\} \Vert u \Vert _{E_{k}} ^{p}-b_{1} \Vert u \Vert _{E_{k}}^{\mu } \\ =&\min \biggl\{ \frac{1}{p},\frac{1}{p}+a_{1} \biggr\} \frac{\delta^{p}}{C ^{p}}-\frac{b_{1}\delta^{\mu }}{C^{\mu }} \\ :=&\alpha >0. \end{aligned}$$

It follows from (15) that \(\Vert u \Vert _{E_{k}}=\frac{\delta }{C}=\rho \), which implies that \(I_{k}(u)\geq \alpha \).

It remains to prove that the functional \(I_{k}\) satisfies Assumption (iii) of Lemma 3. From (3), (8) and (10) we have

$$\begin{aligned} I_{k}(\zeta u) =&\frac{ \vert \zeta \vert ^{p}}{p} \Vert u \Vert _{E_{k}}^{p}+ \int_{-kT} ^{kT}H\bigl(t,\zeta u(t)\bigr)\,dt+\sum _{i\in \Omega_{k}}G_{i}\bigl(\zeta u(t_{i}) \bigr) \\ \leq &\frac{ \vert \zeta \vert ^{p}}{p} \Vert u \Vert _{E_{k}}^{p}+a_{2} \vert \zeta \vert ^{p} \Vert u \Vert _{E_{k}}^{p}-b_{2} \vert \zeta \vert ^{\mu }\sum_{i\in \Omega_{k}} \bigl\vert u(t_{i}) \bigr\vert ^{ \mu }. \end{aligned}$$

Take \(U\in E_{1}\) such that \(U(\pm T)=0\). Since \(\mu >p\) and \(b_{1}>0\), then by (16) there exists \(\xi \in R\backslash \{0\}\) such that \(\Vert \xi U \Vert _{E_{1}}>\rho \) and \(I_{1}(\xi U)<0\). For \(k>1\), set \(e_{1}(t)=\xi U(t)\) and

$$\begin{aligned} e_{k}(t)= \textstyle\begin{cases} e_{1}(t), & \vert t \vert \leq T, \\ 0, & T< \vert t \vert \leq kT. \end{cases}\displaystyle \end{aligned}$$

Then \(e_{k}\in E_{k}\), \(\Vert e_{k} \Vert _{E_{k}}= \Vert e_{1} \Vert _{E_{1}}>\rho \) and \(I_{k}(e_{k})=I_{1}(e_{1})<0\) for every \(k\in N\).

By Lemma 3, \(I_{k}\) possesses a critical value \(c_{k}\geq \alpha >0\). Then, for every \(k\in N\), there exists \(u_{k}\in E_{k}\) satisfying

$$\begin{aligned} I_{k}(u_{k})=c_{k}, \quad\quad I_{k}'(u_{k})=0. \end{aligned}$$

Hence, system (1)–(2) has a nontrivial \(2kT\)-periodic solution \(u_{k}\). □

Lemma 5

Let \(\{u_{k}\}\) be the sequence given by (18). There exist a subsequence \(\{u_{j,j}\}\) of \(\{u_{k}\}\) and a function \(u_{0}\in W_{\mathrm {loc}}^{1,p} \cap L_{\mathrm {loc}}^{\infty }(R,{R}^{n})\) such that \(\{u_{j,j}\}\) converges to \(u_{0}\) weakly in \(W_{\mathrm {loc}}^{1,p}\) and strongly in \(L_{\mathrm {loc}}^{\infty }(R,{R}^{n})\).


Our first step is to show that the sequence \(\{c_{k}\} _{k\in N}\) is bounded. For each \(k\in N\), let \(g_{k}:[0,1]\rightarrow E_{k}\) be a curve given by \(g_{k}(s)=se_{k}\), where \(e_{k}\) is defined by (17). Then \(g_{k}\in \Gamma_{k}\) and \(I_{k}(g_{k}(s))=I_{1}(g_{1}(s))\) for all \(k\in N\) and \(s\in [0,1]\). Therefore, it follows from the mountain pass theorem that

$$\begin{aligned} c_{k}\leq \max_{s\in [0,1]}I_{1} \bigl(g_{1}(s)\bigr)\equiv C_{0}, \end{aligned}$$

which is independent of \(k\in N\). Since \(I_{k}'(u_{k})=0\), from (A3), (A4) and (3) we obtain

$$\begin{aligned} c_{k} =& I_{k}(u_{j})- \frac{1}{\mu }I_{k}'(u_{j})u_{j} \\ =& \int_{-kT}^{kT}\frac{1}{p} \bigl\vert u_{j}'(t) \bigr\vert ^{p}+F \bigl(t,u_{j}(t)\bigr)\,dt+ \sum_{i\in \Omega_{k}}G_{i} \bigl(u(t_{i})\bigr) \\ & {} - \int_{-kT}^{kT}\frac{1}{\mu } \bigl\vert u_{j}'(t) \bigr\vert ^{\mu }-\frac{1}{\mu } \nabla F\bigl(t,u_{j}(t)\bigr)u_{j}(t)\,dt-\sum _{i\in \Omega_{k}}g_{i}\bigl(u_{j}(t _{i}) \bigr)u_{j}(t_{i}) \\ \geq & \int_{-kT}^{kT}\frac{1}{p} \bigl\vert u_{j}'(t) \bigr\vert ^{p}+\frac{1}{p} \bigl\vert u_{j}(t) \bigr\vert ^{p}-\frac{1}{ \mu } \bigl\vert u_{j}'(t) \bigr\vert ^{\mu }- \frac{1}{\mu } \bigl\vert u_{j}(t) \bigr\vert ^{\mu } \,dt \\ & {} + \int_{-kT}^{kT} H\bigl(t,u_{j}(t)\bigr)- \frac{1}{\mu }\nabla H\bigl(t,u_{j}(t)\bigr)u _{j}(t)\,dt \\ \geq & \biggl( \frac{1}{p}-\frac{1}{\mu } \biggr) \Vert u_{j} \Vert _{E_{k}}^{p}+ \int_{-kT}^{kT} H\bigl(t,u_{j}(t)\bigr)- \frac{1}{p}\nabla H\bigl(t,u_{j}(t)\bigr)u_{j}(t)\,dt \\ \geq & \biggl( \frac{1}{p}-\frac{1}{\mu } \biggr) \Vert u_{j} \Vert _{E_{k}}^{p} . \end{aligned}$$

Since \(\mu >p\) and all the constants in (20) are independent of k, then there exists a constant \(L_{1}>0\) independent of k such that

$$\begin{aligned} \Vert u_{k} \Vert _{E_{k}}\leq L_{1}. \end{aligned}$$

The boundedness of \(\Vert u_{k} \Vert _{E_{k}}\) implies the boundedness of the set

$$ \bigl\{ \Vert u_{k} \Vert _{W^{1,p}((-kT,kT),R^{n})}\bigr\} $$

for each positive integer k. In particular, when \(k=1\), since \(\{u_{k}\}\) is a bounded sequence in

$$ W^{1,p}\bigl((-T,T),R^{n}\bigr), $$

we can pick a subsequence \(\{u_{1,k}\}\) such that \(\{u_{1,k}\}\) converges weakly in

$$ W^{1,p}\bigl((-T,T),R^{n}\bigr) $$

and strongly in \(L^{\infty }((-T,T),R^{n})\). For \(k=2\), since \(\{u_{1,k}\}\) is bounded in \(W^{1,p}((-2T,2T),R^{n})\), we can pick a subsequence \(\{u_{2,k}\}\) such that \(\{u_{2,k}\}\) converges weakly in \(W^{1,p}((-2T,2T),R^{n})\) and strongly in \(L^{\infty }((-2T,2T),R^{n})\). We can repeat this process for \(k=3,4,\ldots \) and see that, for any positive integer m, there is a sequence \(\{u_{m,k}\}\) which converges weakly in \(W^{1,p}((-mT,mT),R^{n})\) and strongly in \(L^{\infty }((-mT,mT),R ^{n})\), and

$$\begin{aligned} \{u_{k}\}\supset \{u_{1,k}\}\supset \{u_{2,k}\} \supset \cdots \supset \{u_{m,k}\}\supset \cdots . \end{aligned}$$

It follows that the sequence \(\{u_{k, k}\}\) converges weakly in \(W^{1,p}((-kT, kT),R^{n}) \) and strongly in \(L^{\infty }((-kT,kT),R ^{n})\). Hence, there exists a function

$$ u\in W_{\mathrm {loc}}^{1,p}\bigl(R,R^{n}\bigr)\cap L_{\mathrm {loc}}^{\infty }\bigl(R,R^{n}\bigr) $$

such that the sequence \(\{u_{k,k}\}\) converges weakly in \(W_{\mathrm {loc}}^{1,p}(R,R ^{n})\) and strongly in \(L_{\mathrm {loc}}^{\infty }(R,R^{n})\). □

Lemma 6

The function \(u_{0}\) determined by Lemma 5 is a nonzero homoclinic solution of the system (1)(2).


The proof is divided into four steps.

First we show that \(u_{0}\) is a solution of system (1)–(2). For convenience, we denote \(\{u_{k,k}\}\) by \(\{u_{k}\}\). For any given interval \((a,b)\subset (-kT,kT)\) and any \(v\in W_{0}^{1,p}((a,b),R ^{n})\), define

$$\begin{aligned} v_{1}(t)= \textstyle\begin{cases} v(t), & t\in (a,b), \\ 0, & t\in (-kT,kT)\setminus (a,b). \end{cases}\displaystyle \end{aligned}$$

Then, for any \(v\in W_{0}^{1,p}((a,b),R^{n})\), one has

$$\begin{aligned}& \int_{a}^{b}\bigl(u_{0}'v'- \nabla F(t,u_{0})v\bigr)\,dt+\sum_{t_{i}\in (a,b)}g _{i}\bigl(u_{0}(t_{i})\bigr)v(t_{i}) \\& \quad =\lim_{k\rightarrow +\infty } \biggl[ \int_{a}^{b}\bigl(u_{k}'v'- \nabla F(t,u _{k})v\bigr)\,dt+\sum_{t_{i}\in (a,b)}g_{i} \bigl(u_{k}(t_{i})\bigr)v(t_{i}) \biggr] =0. \end{aligned}$$

Let \(k_{1}\) be a positive integer and set \(a=-k_{1}T\) and \(b=k_{1}T\). By a similar method to the one proposed in [20], using (23), we can show that \(u_{0}| _{(t_{i},t_{i+1})}\) satisfies (1) in classical sense for \(i=-k_{1}m+1,\ldots,k_{1}m\), and \(u_{0}\) satisfies

$$ \bigl\vert u_{0}'\bigl(t_{i}^{+} \bigr) \bigr\vert ^{p-2}u_{0}' \bigl(t_{i}^{+}\bigr)= \bigl\vert u_{0}' \bigl(t_{i}^{-}\bigr) \bigr\vert ^{p-2}u _{0}'\bigl(t_{i}^{-} \bigr)+g_{i}\bigl(u_{0}(t_{i})\bigr), \quad i=-k_{1}m+1,\ldots,k_{1}m-1. $$

Since \(v\in W_{0}^{1,p}((-k_{1}T,k_{1}T),R^{n})\), we cannot show that

$$ \bigl\vert u_{0}'\bigl(t_{k_{1}m}^{+} \bigr) \bigr\vert ^{p-2}u_{0}' \bigl(t_{k_{1}m}^{+}\bigr)= \bigl\vert u_{0}' \bigl(t_{k_{1}m} ^{-}\bigr) \bigr\vert ^{p-2}u_{0}' \bigl(t_{k_{1}m}^{-}\bigr)+g_{k_{1}m}\bigl(u_{0}(t_{k_{1}m}) \bigr) $$

from (23). Therefore, \(u_{0}\) is a solution of (1)–(2) in \((-k_{1}T,k _{1}T)\). Since \(k_{1}\) is arbitrary, \(u_{0}\) is a solution of system (1)–(2) in R.

Next, we prove that \(u_{0}(t)\rightarrow 0\), as \(t\rightarrow \pm \infty \). Since \(\{u_{k}\}\) is weakly continuous, it is weakly lower semicontinuous, and thus we have

$$\begin{aligned} \int_{-\infty }^{+\infty }\bigl( \bigl\vert u_{0}(t) \bigr\vert ^{p}+ \bigl\vert u_{0}'(t) \bigr\vert ^{p}\bigr)\,dt =& \lim_{k\rightarrow +\infty } \int_{-kT}^{kT}\bigl( \bigl\vert u_{0}(t) \bigr\vert ^{p}+ \bigl\vert u_{0}'(t) \bigr\vert ^{p}\bigr)\,dt \\ \leq &\lim_{k\rightarrow +\infty }\lim_{j\rightarrow +\infty }\inf \int_{-kT}^{kT}\bigl( \bigl\vert u_{j}(t) \bigr\vert ^{p}+ \bigl\vert u_{j}'(t) \bigr\vert ^{p}\bigr)\,dt \\ \leq & L_{1}^{p}. \end{aligned}$$


$$\begin{aligned} \int_{ \vert t \vert \geq r}\bigl( \bigl\vert u_{0}(t) \bigr\vert ^{p}+ \bigl\vert u_{0}'(t) \bigr\vert ^{p}\bigr)\,dt\rightarrow 0, \quad \text{as } r\rightarrow +\infty . \end{aligned}$$

By (6) and (24), we get \(u_{0}(t)\rightarrow 0\) as \(t\rightarrow \pm \infty \).

In the third step we show that \(u_{0}'(t^{\pm })\rightarrow 0\), as \(t\rightarrow \pm \infty \). Since \(u_{0}(t)\) is a solution of system (1)–(2), we obtain

$$\begin{aligned} \int_{t_{i-1}}^{t_{i}} \bigl\vert (\Phi_{p} \bigl(u_{0}'(t)\bigr)' \bigr\vert ^{p} \,dt= \int_{t_{i-1}} ^{t_{i}} \bigl\vert \nabla F \bigl(t,u_{0}(t)\bigr) \bigr\vert ^{p}\,dt. \end{aligned}$$

Since \(\nabla F(t,0)=0\) for all \(t\in R\), \(u_{0}(t)\rightarrow 0\) as \(t\rightarrow \pm \infty \), we have

$$ \int_{t_{i-1}}^{t_{i}} \bigl\vert (\Phi_{p} \bigl(u_{0}'(t)\bigr)' \bigr\vert ^{p} \,dt\rightarrow 0 $$

as \(i\rightarrow \pm \infty \). Then, from the definition of \(\Phi_{p}(u)\), there exists \(L_{2}>0\) such that

$$ \int_{t_{i-1}}^{t_{i}} \bigl\vert u_{0}''(t) \bigr\vert ^{p} \,dt< L_{2}. $$

By (6), we obtain

$$\begin{aligned} \bigl\vert u_{0}'(t) \bigr\vert ^{p} \leq & 2^{p-1} \int_{t_{i-1}}^{t_{i}}\bigl( \bigl\vert u_{0}'(t) \bigr\vert ^{p}+ \bigl\vert u _{0}''(t) \bigr\vert ^{p}\bigr) \,dt \\ \leq & 2^{p-1} \int_{t_{i-1}}^{t_{i}}\bigl( \bigl\vert u_{0}(t) \bigr\vert ^{p} + \bigl\vert u_{0}'(t) \bigr\vert ^{p}\bigr)\,dt+2^{p-1} \int_{t_{i-1}}^{t_{i}} \bigl\vert u_{0}''(t) \bigr\vert ^{p}\,dt, \quad t\in (t_{i-1},t_{i}). \end{aligned}$$

Therefore we have \(u_{0}'(t^{\pm })\rightarrow 0\) as \(t\rightarrow \pm \infty \).

Next, we show that \(u_{0}\neq 0\). \(I_{k}'(u_{k})u_{k}=0\) implies

$$\begin{aligned} \int_{-kT}^{kT}\bigl[ \bigl\vert u_{k}'(t) \bigr\vert ^{p}+\nabla F \bigl(t,u_{k}(t)\bigr)u_{k}(t)\bigr]\,dt=- \sum _{i\in \Omega_{k}}g_{i}\bigl(u_{k}(t_{i}) \bigr)u_{k}(t_{i}). \end{aligned}$$

Let \(\underline{\theta }=\min_{i\in Z}\{t_{i}-t_{i-1}\}\) and \(\overline{\theta }=\max_{i\in Z}\{t_{i}-t_{i-1}\}\). Then, by the Hölder inequality and \(u_{k}(t_{i})=u_{k}(\tau )+\int_{\tau }^{t _{i}}u_{k}'(t)\,dt\), \(\tau \in [t_{i-1},t_{i}]\), \(i\in \Omega_{k}\), one has

$$\begin{aligned}& \sum_{i\in \Omega_{k}} \bigl\vert u_{k}(t_{i}) \bigr\vert ^{p} \\& \quad \leq \frac{1}{\underline{\theta }}\sum_{i\in \Omega_{k}} \int_{t _{i-1}}^{t_{i}} \bigl\vert u_{k}(t_{i}) \bigr\vert ^{p} \,d\tau \\& \quad \leq \frac{2^{p-1}}{\underline{\theta }}\sum_{i\in \Omega_{k}} \int_{t_{i-1}}^{t_{i}} \biggl( \bigl\vert u_{k}( \tau ) \bigr\vert ^{p}+ \biggl\vert \int_{\tau }^{t _{i}}u_{k}'(s)\,ds \biggr\vert ^{p} \biggr) \,d\tau \\& \quad \leq \frac{2^{p-1}}{\underline{\theta }} \int_{-kT}^{kT} \bigl\vert u_{k}( \tau ) \bigr\vert ^{p}\,d\tau +\frac{2^{p-1}}{\underline{\theta }} \sum _{i\in \Omega_{k}} \int_{t_{i-1}}^{t_{i}} \biggl[ (t_{i}-\tau ) \int_{\tau }^{t_{i}} \bigl\vert u_{k}'(s) \bigr\vert ^{p}\,ds \biggr] \,d\tau \\& \quad \leq \frac{2^{p-1}}{\underline{\theta }} \Vert u_{k} \Vert _{L_{2kT}^{2}} ^{p}+\frac{2^{p-1}{\overline{\theta }}^{p}}{\underline{\theta }} \bigl\Vert u _{k}' \bigr\Vert _{L_{2kT}^{2}}^{p} \\& \quad \leq \frac{2^{p-1}}{\underline{\theta }}\max \bigl\{ 1,{\overline{\theta }}^{p}\bigr\} \Vert u_{k} \Vert _{E_{k}}^{p}. \end{aligned}$$

Suppose that \(\Vert u_{k} \Vert _{L^{\infty }}\rightarrow 0\), then, when k sufficiently large, by (A4), (9), (25) and (26), we have

$$\begin{aligned} b_{1}\mu \sum_{i\in \Omega_{k}} \bigl\vert u_{k}(t_{i}) \bigr\vert ^{\mu } \geq & - \sum _{i\in \Omega_{k}}g_{i}\bigl(u_{k}(t_{i}) \bigr)u_{k}(t_{i}) \\ =& \int_{-kT}^{kT}\bigl[ \bigl\vert u_{k}'(t) \bigr\vert ^{p}+\nabla F \bigl(t,u_{k}(t)\bigr)u_{k}(t)\bigr]\,dt \\ =& \int_{-kT}^{kT}\bigl[ \bigl\vert u_{k}'(t) \bigr\vert ^{p}+ \bigl\vert u_{k}(t) \bigr\vert ^{p}\bigr]\,dt+ \int_{-kT}^{kT} \nabla H\bigl(t,u_{k}(t) \bigr)u_{k}(t)\,dt \\ \geq & \Vert u_{k} \Vert _{E_{k}}^{p} \\ \geq & \frac{\underline{\theta }}{2^{p-1}\max \{1,{\overline{\theta }}^{p}\}}\sum_{i\in \Omega_{k}} \bigl\vert u_{k}(t_{i}) \bigr\vert ^{p}. \end{aligned}$$

This is impossible when \(\Vert u_{k} \Vert _{L^{\infty }}\rightarrow 0\). Hence, the system (1)–(2) has a nontrivial homoclinic solution. □

Lemma 7

The \(u_{0}\) given in Lemma 6 is generated by impulses.


In order to complete the proof, we only need to show that under the conditions of Theorem 2, the system \((\Phi_{p}(u'(t)))'- \nabla F(t,u(t))=0\) has no nontrivial homoclinic solution.

If u is a homoclinic solution of \((\Phi_{p}(u'(t)))'-\nabla F(t,u(t))=0\), then

$$\begin{aligned}& \lim_{t\rightarrow \rightarrow \pm \infty }u(t)=0, \\& \lim_{t\rightarrow \rightarrow \pm \infty }u'(t)=0. \end{aligned}$$


$$\begin{aligned} 0 =&- \int_{a}^{b} \bigl( \bigl\vert u'(t) \bigr\vert ^{p-2}u'(t)\bigr)'u(t)-\nabla F \bigl(t,u(t)\bigr)u(t)\,dt \\ =& \int_{a}^{b} \bigl\vert u'(t) \bigr\vert ^{p}+\nabla F\bigl(t,u(t)\bigr)u(t)\,dt- \bigl\vert u'(t) \bigr\vert ^{p-2}u'(t)u(t)\bigg| _{a} ^{b} \\ =& \int_{a}^{b} \bigl( \bigl\vert u'(t) \bigr\vert ^{p}+ \bigl\vert u(t) \bigr\vert ^{p} \bigr)\,dt+ \int_{a}^{b}H\bigl(t,u(t)\bigr)u(t)\,dt- \bigl\vert u'(t) \bigr\vert ^{p-2}u'(t)u(t)\bigg| _{a} ^{b}, \end{aligned}$$

we have

$$\begin{aligned}& \int_{a}^{b} \bigl( \bigl\vert u'(t) \bigr\vert ^{p}+ \bigl\vert u(t) \bigr\vert ^{p} \bigr)\,dt+ \int_{a}^{b}H\bigl(t,u(t)\bigr)u(t)\,dt \\& \quad \leq \lim_{a\rightarrow -\infty }\lim_{b\rightarrow \infty } \bigl\vert u'(t) \bigr\vert ^{p-2}u'(t)u(t)\Big| _{a} ^{b}=0. \end{aligned}$$

Moreover, by (A3), we know that

$$\begin{aligned} \int_{a}^{b}H\bigl(t,u(t)\bigr)u(t)\,dt\geq 0. \end{aligned}$$


$$\begin{aligned} \int_{a}^{b} \bigl( \bigl\vert u'(t) \bigr\vert ^{p}+ \bigl\vert u(t) \bigr\vert ^{p} \bigr)\,dt+ \int_{a}^{b}H\bigl(t,u(t)\bigr)u(t)\,dt \geq 0. \end{aligned}$$

Therefore, \(u=0\). It thus follows that the system \((\Phi_{p}(u'(t)))'- \nabla F(t,u(t))=0\) has only a trivial homoclinic solution. □

4 Example

In this section, we present an example to illustrate the application of the main results obtained in precious sections.

Example 1


$$ \begin{aligned} &p=6,\quad\quad H(t,u)=(2+\sin t)u^{2}, \\ &G_{i}\bigl(u(t_{i})\bigr)=- \biggl\vert \cos \frac{t_{i}}{2} \biggr\vert u^{10}(t_{i}),\quad\quad g_{i}\bigl(u(t _{i})\bigr)=-10 \biggl\vert \cos \frac{t_{i}}{2} \biggr\vert u^{9}(t_{i}), \end{aligned} $$

where \(t_{i}=\frac{2\pi i}{m}\), \(i\in Z\).

For \(\mu =7\) and \(p=6\), we have \(F(t,u)=\frac{1}{6} \vert u \vert ^{6}+(2+\sin t)u ^{2}\). It is easy to see that \(F(t,0)=0\). We notice that (A1), (A2) are satisfied.

By \(H(t,u)=(2+\sin t)u^{2}\), one has \(\nabla H(t,u)=2(2+\sin t)u\). Therefore,

$$\begin{aligned} 0< u\nabla H(t,u)=2(2+\sin t)u^{2}< 6(2+\sin t)u^{2}=pH(t,u), \end{aligned}$$

which implies that condition (A3) is satisfied.

By \(G_{i}(u(t_{i}))=- \vert \cos \frac{t_{i}}{2} \vert u^{10}(t_{i})\), \(g_{i}(u(t _{i}))=-10 \vert \cos \frac{t_{i}}{2} \vert u^{9}(t_{i})\), we have

$$\begin{aligned} g_{i}\bigl(u(t_{i})\bigr)u(t_{i})=-10 \biggl\vert \cos \frac{t_{i}}{2} \biggr\vert u^{10}(t_{i})< -7 \biggl\vert \cos \frac{t_{i}}{2} \biggr\vert u^{10}(t_{i})= \mu G_{i}\bigl(u(t_{i})\bigr)< 0. \end{aligned}$$

Thus, condition (A4) is satisfied.

By Theorem 2, system (1)–(2) with F, H, \(G_{i}\) and \(g_{i}\) defined in (27) has a nontrivial homoclinic solution.


  1. Alessio, F., Caldiroli, P., Montecchiari, P.: On the existence of homoclinic orbits the asymptotically periodic Duffing equation. Topol. Methods Nonlinear Anal. 12, 275–292 (1998)

    Article  MathSciNet  Google Scholar 

  2. Lv, X., Lu, S.P.: Homoclinic orbits for a class of second-order Hamiltonian systems without a coercive potential. J. Comput. Appl. Math. 39, 121–130 (2012)

    Article  MathSciNet  Google Scholar 

  3. Makita, P.D.: Homoclinic orbits for second order Hamiltonian equations in R. J. Dyn. Differ. Equ. 24, 857–871 (2012)

    Article  MathSciNet  Google Scholar 

  4. Alves, C.O., Carriao, P.C., Miyagaki, O.H.: Existence of homoclinic orbits for asymptotically periodic systems involving Duffing-like equation. Appl. Math. Lett. 16, 639–642 (2003)

    Article  MathSciNet  Google Scholar 

  5. Ma, M., Guo, Z.: Homoclinic orbits and subharmonics for nonlinear second order difference equations. Nonlinear Anal. 67, 1737–1745 (2007)

    Article  MathSciNet  Google Scholar 

  6. Tang, X.H., Xiao, L.: Homoclinic solutions for ordinary p-Laplacian systems with a coercive potential. Nonlinear Anal. 71, 1124–1132 (2009)

    Article  MathSciNet  Google Scholar 

  7. Zhang, D., Wu, Q., Dai, B.: Existence and multiplicity of periodic solutions generated by impulses for second-order Hamiltonian system. Electron. J. Differ. Equ. 2014, 121 (2014)

    Article  MathSciNet  Google Scholar 

  8. Coti-Zelati, V., Ekeland, I.: A variational approach to homoclinic orbits in Hamiltonian systems. Math. Ann. 288, 133–160 (1990)

    Article  MathSciNet  Google Scholar 

  9. Lions, P.L.: The concentration-compactness principle in the calculus of variations. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1, 109–145 (1984)

    Article  MathSciNet  Google Scholar 

  10. Hofer, H., Wysocki, K.: First order elliptic systems and the existence of homoclinic orbits in Hamiltonian systems. Math. Ann. 288, 483–503 (1990)

    Article  MathSciNet  Google Scholar 

  11. Rabinowitz, P.H.: Homoclinic orbits for a class of Hamiltonian systems. Proc. R. Soc. A, Math. Phys. Eng. Sci. 114, 33–38 (1990)

    MathSciNet  MATH  Google Scholar 

  12. Agarwal, R.P., Franco, D., O’Regan, D.: Singular boundary value problems for first and second order impulsive differential equations. Aequ. Math. 69, 83–96 (2005)

    Article  MathSciNet  Google Scholar 

  13. Nieto, J.J.: Impulsive resonance periodic problems of first order. Appl. Math. Lett. 15, 489–493 (2002)

    Article  MathSciNet  Google Scholar 

  14. Luo, Z.G., Shen, J.H.: Stability and boundedness for impulsive functional differential equations with infinite delays. Nonlinear Anal. 46, 475–493 (2001)

    Article  MathSciNet  Google Scholar 

  15. Yan, L.Z., Liu, J., Luo, Z.G.: Existence and multiplicity of solutions for second-order impulsive differential equations on the half-line. Adv. Differ. Equ. 2013, 293 (2013)

    Article  MathSciNet  Google Scholar 

  16. Bai, L., Dai, B.X.: An application of variational method to a class of Dirichlet boundary value problems with impulsive effects. J. Franklin Inst. Eng. Appl. Math. 348, 2607–2624 (2011)

    Article  MathSciNet  Google Scholar 

  17. Nieto, J.J., Regan, D.O.: Variational approach to impulsive differential equations. Nonlinear Anal. 10, 680–690 (2009)

    Article  MathSciNet  Google Scholar 

  18. Sun, J., Chen, H.: Variational method to the impulsive equation with Neumann boundary conditions. Bound. Value Probl. 17, Article ID 316812 (2009)

    MathSciNet  MATH  Google Scholar 

  19. Zhang, Z., Yuan, R.: An application of variational methods to Dirichlet boundary value problem with impulses. Nonlinear Anal., Real World Appl. 11, 155–162 (2010)

    Article  MathSciNet  Google Scholar 

  20. Zhang, H., Li, Z.X.: Periodic and homoclinic solutions generated by impulses. Nonlinear Anal., Real World Appl. 12, 39–51 (2011)

    Article  MathSciNet  Google Scholar 

  21. Dai, B., Bao, L.: Positive periodic solutions generated by impulses for the delay Nicholson’s blowflies model. Electron. J. Qual. Theory Differ. Equ. 2016, 4 (2016)

    Article  MathSciNet  Google Scholar 

  22. Dai, Z.F., Wen, F.H.: Some improved sparse and stable portfolio optimization problems. Finance Res. Lett. (2018).

    Article  Google Scholar 

  23. Nieto, J.J., Uzal, J.M.: Positive periodic solutions for a first order singular ordinary differential equation generated by impulses. Qual. Theory Dyn. Syst. (2017).

    Article  Google Scholar 

  24. Xiao, J.H., Zhou, M., Wen, F.M., Wen, F.H.: Asymmetric impacts of oil price uncertainty on Chinese stock returns under different market conditions: evidence from oil volatility index. Energy Econ. (2018).

    Article  Google Scholar 

  25. Izydorek, M., Janezewska, J.: Homoclinic solutions for a class of second order Hamiltonian systems. J. Differ. Equ. 219, 375–389 (2005)

    Article  MathSciNet  Google Scholar 

  26. Lu, S.P.: Homoclinic solutions for a nonlinear second order differential system with p-Laplacian operator. Nonlinear Anal., Real World Appl. 12, 525–534 (2011)

    Article  MathSciNet  Google Scholar 

  27. Mawhin, J., Willem, M.: Critical Point Theory and Hamiltonian Systems. Springger, Berlin (1989)

    Book  Google Scholar 

Download references


The authors are grateful to anonymous referees for their constructive comments and suggestions, which have greatly improved this paper.


This work is partially supported by the National Natural Science Foundation of China (No. 71501069, No. 71420107027, No. 71871030), the Hunan Provincial Natural Science Foundation of China (No. 2015JJ3090, No. 2017JJ3330), the China Postdoctoral Science Foundation Funded Project (No. 2016M590742).

Author information

Authors and Affiliations



All authors contributed equally to the manuscript, and read and approved the final manuscript.

Corresponding author

Correspondence to Lizhao Yan.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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

Liu, J., Yan, L., Xu, F. et al. Homoclinic solutions for Hamiltonian system with impulsive effects. Adv Differ Equ 2018, 326 (2018).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: