Open Access

Existence and multiplicity of solutions for a second-order impulsive differential equation via variational methods

Advances in Difference Equations20172017:46

Received: 4 November 2016

Accepted: 4 January 2017

Published: 8 February 2017


In this paper, we study the existence and multiplicity of solutions for an impulsive differential equation via some critical point theory and the variational method. We extend and improve some recent results and reduce conditions.


impulsive differential equation critical point theory variational structure

1 Introduction

As an important research field of study, the impulsive differential equation has been attracting the attention of several mathematicians. In the early years, the main way to resolve this kind of problems is based on the fixed point theory, the theorem of topological degree, the upper and lower solutions method coupled with the monotone iterative technique, and so on; see for example [13]. Recently, many authors have tried to use the variational method and some specific critical point theorems, such as mountain pass lemma, fountain theorem, linking theorem, symmetric mountain pass lemma, and so on, to study the existence (see [49]) and multiplicity (see [1015]) of solutions for some impulsive differential equations.

In [5], authors have shown the variational structure of an impulsive differential equation and proved the existence of a solution by using the mountain pass lemma.

In [10], the authors studied the following equation:
$$\textstyle\begin{cases} -(p(t)u')'(t)+r(t)u'(t)+q(t)u(t)=f(t,u(t)), & \mbox{a.e. } t\in J,\\ -\triangle (p(t)u'(t_{i}))=I_{i}(u(t_{i})), & i=1,2,\ldots,p,\\ u(0)=0,\qquad \alpha_{1}u(t)+u'(1)=0, \end{cases} $$
where \(J=[0,1]\), \(0=t_{0}< t_{1}< t_{2}<\cdots<t_{p}<t_{p+1}= 1\), \(f\in C[J\times R,R]\), \(p\in C[J,R^{+}]\), \(q, r\in C[0,T]\).
Then \(Zhang\) in [11] proved the existence of two solutions and the existence of infinitely many solutions of problem given by
$$\textstyle\begin{cases} -u''(t)+\lambda u(t)=f(t,u(t)), & \mbox{a.e. } t\in [0,T],\\ \triangle u'(t_{i})=I_{i}(u(t_{i})), & i=1,2,\ldots,p,\\ u(0)=u(T)=0. \end{cases} $$
In this paper, we study the existence and multiplicity of solutions for the following nonlinear impulsive problem:
$$ \textstyle\begin{cases} -u''(t)+r(t)u'(t)+\lambda u(t)=f(t,u(t)), & \mbox{a.e. } t\in J,\\ \triangle u'(t_{i})=u'(t_{i}+)-u'(t_{i}-)=I_{i}(u(t_{i})), & i=1,2,\ldots,p,\\ u(0)=u(T)=0, \end{cases} $$
where \(J=[0,T]\), \(0=t_{0}< t_{1}< t_{2}<\cdots<t_{p}<t_{p+1}= T\), \(r\in C[0,T]\), \(I_{i}\in C[R,R]\), λ is a parameter, \(f\in C[J\times R,R] \), with \(F(t,u)=\int_{0}^{u}{f(t,\xi)}\,d\xi \).

We will prove that equation (1) has at least two classical solutions and infinitely many classical solutions under different conditions. Our main results extend the existing result in [5, 10, 11]. We prove the same impulsive problem in [5] cannot only have two solutions but also have infinitely many classical solutions. Compared with [10], we do not require the impulsive functions \(I_{j}\) and F to satisfy the sublinear growth condition and the superlinear growth condition about \(u^{\mu}\), which such that the problem more general. Different from [11] in which F is a negative function, in this paper, our results relax the restriction of F with a wider range of applications.

The rest of the paper is organized as follows: In Section 2, we give the variational structure and several important lemmas. The main theorems are formulated and proved in Section 3.

2 Preliminaries

Let \(R(t)=\int_{0}^{t}{r(s)}\,ds\), \(M=\max_{t\in [0,T]}e^{-R(t)}\), \(m=\min_{t\in [0,T]}e^{-R(t)}\). Multiplying the first equation of (1) by \(e^{-R(t)}\), we obtain
$$ \textstyle\begin{cases} -(e^{-R(t)}u'(t))'+\lambda e^{-R(t)}u(t)=e^{-R(t)}f(t,u(t)), & \mbox{a.e. } t\in J,\\ \triangle u'(t_{i})=I_{i}(u(t_{i})),& i=1,2,\ldots,p,\\ u(0)=u(T)=0. \end{cases} $$
Obviously, the solutions of equation (2) are solutions of equation (1). Consider the Hilbert space \(H_{0}^{1}(0,T)\) with the inner product and norm
$$\begin{aligned} &{(u,v)= \int_{0}^{T}{e^{-R(t)}u'(t)v'(t)} \,dt,} \\ &{\Vert u\Vert =\biggl( \int_{0}^{T}{e^{-R(t)}\bigl(u'(t) \bigr)^{2}}\,dt\biggr)^{1/2}.} \end{aligned}$$
Multiply the first equation of (2) by \(v \in H_{0}^{1}(0,T)\), integrate it on the interval \([0,T]\). It follows from the boundary conditions \(u(0) = 0\), \(u(T) =0\) that
$$\begin{aligned} &{\int_{0}^{T}{e^{-R(t)}u'(t)v'(t)} \,dt+\lambda \int_{0}^{T}{e^{-R(t)}u(t)v(t)}\,dt+\sum _{i=1}^{p} e^{-R(t)}I_{i} \bigl(u(t_{i}) \bigr)v(t_{i})} \\ &{\quad = \int_{0}^{T}{e^{-R(t)}f \bigl(t,u(t) \bigr)v(t)} \,dt.} \end{aligned}$$
Now, define the function \(\varphi:H_{0}^{1}(0,T)\rightarrow R \)
$$\begin{aligned} \varphi(u) =& L(u,u)+\sum_{i=1}^{p} e^{-R(t)}\int_{0}^{u(t_{i})}{I_{i}(s)}\,ds \\ &{} - \int_{0}^{T}{e^{-R(t)}F \bigl(t,u(t) \bigr)} \,dt, \end{aligned}$$
$$L(u,v)=\frac{1}{2} \int_{0}^{T}{e^{-R(t)}u'(t)v'(t)} \,dt+\frac{\lambda}{2} \int_{0}^{T}{e^{-R(t)}u(t)v(t)}\,dt, $$
and for all \(v\in H_{0}^{1}(0,T)\), we have
$$\begin{aligned} \varphi'(u)v =& \int_{0}^{T}{e^{-R(t)}u'(t)v'(t)} \,dt+ \lambda \int_{0}^{T}{e^{-R(t)}u(t)v(t)}\,dt \\ &{}+\sum_{i=1}^{p} e^{-R(t)}I_{i} \bigl(u(t_{i}) \bigr)v(t_{i})- \int_{0}^{T}{e^{-R(t)}f \bigl(t,u(t) \bigr)v(t)}\,dt. \end{aligned}$$

Definition 1

A weak solution of problem (1) is a function \(u \in H_{0}^{1}(0,T) \) such that the integral equation (3) holds for all \(v \in H_{0}^{1}(0,T)\).

Let \(\lambda_{k} ( k=1,2,\ldots ) \) be the eigenvalue of the following Dirichlet problem, where \(\lambda_{1}=\frac{\pi^{2}}{T^{2}}\) is the first eigenvalue:
$$ \textstyle\begin{cases} -u''(t)=\lambda u(t), & t\in[0,T], \\ u(0)=u(T)=0. \end{cases} $$
We assume \(X_{k}\) is the feature space corresponding with \(\lambda_{k}\), then \(H_{0}^{1}(0,T)=\overline{\bigoplus_{i\in N}X_{i}}\).

Lemma 1

There exists a constant \(C>0\), such that \(\Vert u\Vert _{\infty}\leq C\Vert u\Vert \), where \(\Vert u\Vert _{\infty}= \max_{t\in[0,T]}\vert u(t)\vert \).

Lemma 2


If \(\lambda>-\frac{m\lambda_{1}}{M}\), then there exist \(0< a_{1}< a_{2}\), such that
$$a_{1}\Vert u\Vert ^{2}\leq L(u,u)\leq a_{2} \Vert u\Vert ^{2}. $$

Remark 1

If \(\vert \lambda \vert <\frac{m\lambda_{1}}{M}\), then \(0< a_{1}< a_{2}<1\). In fact, if \(\lambda>0\), then let \(a_{1}=\frac{1}{2}\), and by the Poincaré inequality we have
$$\begin{aligned} L(u,u) =&\frac{1}{2} \int_{0}^{T}{e^{-R(t)} \bigl(u'(t) \bigr)^{2}}\,dt+\frac{\lambda}{2} \int_{0}^{T}{e^{-R(t)}u^{2}(t)}\,dt \\ \leq& \frac{1}{2}\Vert u\Vert ^{2}+\frac{\lambda M}{2} \int_{0}^{T}{u^{2}(t)}\,dt \\ \leq&\frac{1}{2}\Vert u\Vert ^{2}+\frac{\lambda M}{2\lambda_{1}} \int_{0}^{T}{ \bigl(u'(t) \bigr)^{2}}\,dt \\ \leq&\frac{1}{2}\Vert u\Vert ^{2}+\frac{\lambda M}{2m\lambda_{1}} \int_{0}^{T}{e^{-R(t)} \bigl(u'(t) \bigr)^{2}}\,dt \\ =& \biggl(\frac{1}{2}+\frac{\lambda M}{2m\lambda_{1}} \biggr)\Vert u\Vert ^{2}. \end{aligned}$$
Then letting \(a_{2}=\frac{1}{2}+\frac{\lambda M}{2m\lambda_{1}}\), we can get the result. Similarly, if \(-\frac{m\lambda_{1}}{M}<\lambda<0\), then let \(a_{2}=\frac{1}{2}\), and by the Poincaré inequality we have
$$\begin{aligned} L(u,u) =&\frac{1}{2} \int_{0}^{T}{e^{-R(t)} \bigl(u'(t) \bigr)^{2}}\,dt+\frac{\lambda}{2} \int_{0}^{T}{e^{-R(t)}u^{2}(t)}\,dt \\ \geq&\frac{1}{2}\Vert u\Vert ^{2}+\frac{\lambda M}{2} \int_{0}^{T}{u^{2}(t)}\,dt \\ \geq&\frac{1}{2}\Vert u\Vert ^{2}+\frac{\lambda M}{2\lambda_{1}} \int_{0}^{T}{ \bigl(u'(t) \bigr)^{2}}\,dt \\ \geq&\frac{1}{2}\Vert u\Vert ^{2}+\frac{\lambda M}{2m\lambda_{1}} \int_{0}^{T}{e^{-R(t)} \bigl(u'(t) \bigr)^{2}}\,dt \\ =& \biggl(\frac{1}{2}+\frac{\lambda M}{2m\lambda_{1}} \biggr)\Vert u\Vert ^{2}. \end{aligned}$$
We can also let \(a_{1}=\frac{1}{2}+\frac{\lambda M}{2m\lambda_{1}}\) to get the result.

Lemma 3


For the function \(F:M\subseteq E\rightarrow R\) with \(M\neq \emptyset\), \(\min_{u\in M}F(u)=\alpha\) has a solution in the case that the following hold:

\((F_{1})\) E is a real reflexive Banach space,

\((F_{2})\) M is bounded and weak sequentially closed,

\((F_{3})\) F is weak sequentially lower semi-continuous on M, i.e., by definition, for each sequence \(\{u_{n}\}\) in M such that \(u_{n}\rightharpoonup u\) as \(n\rightarrow \infty\), we have \(F(u)\leq \liminf_{n\rightarrow \infty}F(u_{n})\).

Lemma 4


Let E be a real Banach space with \(E=V\bigoplus W\), where V is finite-dimensional. Suppose \(\phi\in C'(E,R)\) satisfies \(P.S\). condition, and:

\((\phi_{1})\) there are constants \(\rho, \tau> 0\) such that \(\phi |_{\partial B_{\rho}\cap W}\geq \tau\), and

\((\phi_{2})\) there is \(e\in \partial B_{1}\cap W\) and \(R> \rho\) such that if \(Q=(\overline{B_{R}}\cap V)\oplus\{re|0< r< R\}\), then \(\phi |_{\partial Q}\leq 0\).

Then ϕ possesses a critical value \(c\geq \tau \) which can be characterized as \(c=\inf_{h\in \Gamma}\max_{u\in Q}\phi(h(u))\), where \(\Gamma=\{h\in C(\overline{Q},E) ,h|_{\partial Q}=id\}\).

Lemma 5


Let E be an infinite-dimensional real Banach space and \(\varphi\in C^{1}(E,R)\) be even, satisfying the \(P.S\). condition and \(u(0)=0\). If \(E=V\oplus W\), where V is finite-dimensional, and φ satisfies the following conditions:

\((\varphi_{1})\) there exist constants \(\rho, \tau >0\), such that \(\varphi |_{\partial B_{\rho}\cap W}\geq \tau\),

\((\varphi_{2})\) for each finite-dimensional subspace \(V_{1}\subset E\), there is \(R=R(V_{1})\) such that, for all \(u\in \{u\in V_{1}, \Vert u\Vert \geq R\}\), we have \(\varphi(u)\leq0\).

Then φ has an unbounded sequence of critical values.

3 Main results

In this paper, we assume:

\((H_{1})\) There exists \(\mu> 2\) such that \(\mu F(t,u)\leq uf(t,u)\) and \(I_{i}(u)u\leq\mu\int_{0}^{u}{I_{i}(s)}\,ds<0\).

\((H_{2})\) There exists \(\rho_{0}>0\), \(\delta_{i}>0\) such that \(\int_{0}^{u}{I_{i}(s)}\,ds\geq-\delta_{i}\vert u\vert ^{\mu}\) for all \(\Vert u\Vert \leq \rho_{0}\).

\((H_{3})\) For all \(u\in X_{1}\cup X_{2}\), we have \(\int_{0}^{T}{F(t,u(t))}\,dt\geq\frac{a_{2}\Vert u\Vert ^{2}}{m}\).

The main results are the following theorems.

Theorem 1

Assume \((H_{1})\)-\((H_{3})\) hold and \(\vert \lambda \vert < \frac{m\lambda_{1}}{M}\), then the impulsive problem (1) has at least two weak solutions.

Theorem 2

Suppose that \((H_{1})\)-\((H_{2})\) are satisfied and \(\lambda\geq - \frac{m\lambda_{1}}{M}\). If \(f(t,u)\) and \(I_{i}(u)\) are odd about u, then the problem (1) has infinitely many weak solutions.

Next, we give the main lemma used in this paper.

Lemma 6


Suppose that \((H_{1})\) holds, then for all \(t\in [0,T]\) we can obtain
$$\begin{aligned} &{F(t,u)\leq F \biggl(t,\frac{u}{\vert u\vert } \biggr)\vert u \vert ^{\mu},\quad 0< \vert u\vert \leq1, } \\ \\ &{F(t,u)\geq F \biggl(t,\frac{u}{\vert u\vert } \biggr)\vert u\vert ^{\mu},\quad \vert u\vert \geq1. } \end{aligned}$$

Remark 2

For the convenience of the reader, we denote \(M_{1}=\sup\{F(t,u),t\in [0,T],\vert u\vert =1\}\), \(m_{1}=\inf\{F(t,u),t\in [0,T],\vert u\vert =1\} \).

Lemma 7

Suppose that \((H_{1})\) and \((H_{2})\) hold, then φ satisfies the \(P.S\). condition.


Let \(\{u_{n}\}\in H_{0}^{1}(0,T)\) be such a sequence that \(\{\varphi(u_{n})\}\) is bounded and \(\lim_{n\rightarrow \infty}\varphi'(u_{n})=0\), we will show that \(u_{n}\) has a convergent subsequence. In view of the given condition, there exists \(C_{1}>0\) such that
$$\bigl\vert \varphi(u_{n}) \bigr\vert \leq C_{1},\qquad \bigl\Vert \varphi'(u_{n}) \bigr\Vert \leq C_{1} , $$
for all n. By the definition of φ and (3) we obtain
$$\begin{aligned} &{ \biggl(1-\frac{2}{\mu} \biggr) \biggl( \int_{0}^{T}{e^{-R(t)} \bigl(u'(t) \bigr)^{2}}\,dt+ \int_{0}^{T}{e^{-R(t)}u^{2}(t)}\,dt \biggr)} \\ &{\quad =2\varphi(u)-2\sum_{i=1}^{p} e^{-R(t)} \int_{0}^{u_{n}(t_{i})}{I_{i}(s)}\,ds+2 \int_{0}^{T}{e^{-R(t)}F \bigl(t,u_{n}(t) \bigr)}\,dt} \\ &{\qquad{} -\frac{2}{\mu}\varphi'(u_{n})u_{n}+ \frac{2}{\mu}\sum_{i=1}^{p} e^{-R(t)}I_{i} \bigl(u_{n}(t_{i}) \bigr)u_{n}-\frac{2}{\mu} \int_{0}^{T}{e^{-R(t)}f \bigl(t,u_{n}(t) \bigr)u_{n}(t)}\,dt} \\ &{\quad =2C_{1}+\frac{2}{\mu}C_{1}\Vert u_{n}\Vert +2\sum_{i=1}^{p}e^{-R(t)} \biggl[\frac{1}{\mu}I_{i} \bigl(u_{n}(t_{i}) \bigr)u_{n}- \int_{0}^{u_{n}(t_{i})}{I_{i}(s)}\,ds \biggr]} \\ &{\qquad{} +2 \int_{0}^{T}{e^{-R(t)} \biggl[F \bigl(t,u_{n}(t) \bigr)-\frac{1}{\mu}f \bigl(t,u_{n}(t) \bigr)u_{n}(t) \biggr]}\,dt.} \end{aligned}$$
Combining \((H_{1})\), we have
$$\biggl(1-\frac{2}{\mu} \biggr)2a_{1}\Vert u_{n} \Vert ^{2}\leq2C_{1}+\frac{2}{\mu}C_{1} \Vert u_{n}\Vert . $$
This implies that \(\{u_{n}\}\) is bounded and, if necessary going to a sequence we can suppose that \(u_{n}\rightharpoonup u \in H_{0}^{1}(0,T)\). By (3) and Lemma 2 we have
$$\begin{aligned} \bigl(\varphi'(u_{n})-\varphi'(u) \bigr) (u_{n}-u) =& \int_{0}^{T}{e^{-R(t)} \bigl(u_{n}'(t)-u'(t) \bigr)^{2}}\,dt+\lambda \int_{0}^{T}{e^{-R(t)} \bigl(u_{n}-u_{n}(t) \bigr)^{2}}\,dt \\ &{} +\sum_{i=1}^{p} e^{-R(t)} \bigl[I_{i} \bigl(u_{n}(t_{i}) \bigr)-I_{i} \bigl(u(t_{i}) \bigr) \bigr] \bigl(u_{n}(t)-u(t) \bigr) \\ &{}- \int_{0}^{T}{e^{-R(t)} \bigl[f \bigl(t,u_{n}(t) \bigr)-f \bigl(t,u(t) \bigr) \bigr] \bigl(u_{n}(t)-u(t) \bigr)}\,dt \\ \geq& 2a_{1}\Vert u_{n}-u\Vert ^{2}+\sum _{i=1}^{p} e^{-R(t)} \bigl[I_{i} \bigl(u_{n}(t_{i}) \bigr)-I_{i} \bigl(u(t_{i}) \bigr) \bigr] \bigl(u_{n}(t)-u(t) \bigr) \\ &{}- \int_{0}^{T}{e^{-R(t)} \bigl[f \bigl(t,u_{n}(t) \bigr)-f \bigl(t,u(t) \bigr) \bigr] \bigl(u_{n}(t)-u(t) \bigr)}\,dt. \end{aligned}$$
Hence, \(u_{n}\rightarrow u\) in \(C[0,T]\). Furthermore
$$\begin{aligned} &{\bigl(\varphi'(u_{n})-\varphi'(u) \bigr) (u_{n}-u)\rightarrow 0,} \\ &{\sum_{i=1}^{p} e^{-R(t)} \bigl[I_{i} \bigl(u_{n}(t_{i}) \bigr)-I_{i} \bigl(u(t_{i}) \bigr) \bigr] \bigl(u_{n}(t)-u(t) \bigr)\rightarrow 0,} \\ &{\int_{0}^{T}{e^{-R(t)} \bigl[f \bigl(t,u_{n}(t) \bigr)-f \bigl(t,u(t) \bigr) \bigr] \bigl(u_{n}(t)-u(t) \bigr)}\,dt\rightarrow0. } \end{aligned}$$
Combining with (6), we know \(\Vert u_{n}-u\Vert ^{2}\rightarrow 0\). So, φ satisfies the \(P.S\). condition. □

Proof of Theorem 1

Because \(H_{0}^{1}(0,T)\) is Hilbert space, \(\overline{B_{\rho}}\) is bounded and weak sequentially closed for all \(\rho >0\). We will show φ is weak sequentially lower semi-continuous on \(\overline{B_{\rho}}\). In fact suppose \(u_{n}\rightharpoonup u\) in \(H_{0}^{1}(0,T)\), then \(\Vert u\Vert \leq\liminf_{n\rightarrow\infty} \Vert u_{n}\Vert \), and \(u_{n}\rightarrow u\) in \(C[0,T]\), so
$$\begin{aligned} &{\frac{\lambda}{2} \int_{0}^{T}{e^{-R(t)}u_{n}^{2}(t)} \,dt+\sum_{i=1}^{p} e^{-R(t)} \int_{0}^{u_{n}(t_{i})}{I_{i}(s)}\,ds- \int_{0}^{T}{e^{-R(t)}F \bigl(t,u_{n}(t) \bigr)}\,dt} \\ &{\quad \rightarrow \frac{\lambda}{2} \int_{0}^{T}{e^{-R(t)}u^{2}(t)}\,dt+ \sum_{i=1}^{p} e^{-R(t)} \int_{0}^{u(t_{i})}{I_{i}(s)}\,ds- \int_{0}^{T}{e^{-R(t)}F \bigl(t,u(t) \bigr)} \,dt.} \end{aligned}$$
By the definition of φ, we can obtain \(\varphi(u)\leq\liminf_{n\rightarrow \infty}\varphi(u_{n})\). From Lemma 3, there exists \(u_{0}\) such that \(\varphi(u_{0})=\min\{\varphi(u),u\in \overline{B_{\rho}}\}\). Noting that \(\varphi(0)=0\), so \(\varphi(u_{0})\leq 0\). Combining with Lemma 2, Lemma 6, and \((H_{2})\), there exists a small ρ with \(\rho<\rho_{0}\) such that when \(u(t)\in \partial B_{\rho}\) we have
$$\begin{aligned} \varphi(u) \geq& a_{1}\Vert u\Vert ^{2}+\sum _{i=1}^{p} e^{-R(t)} \int_{0}^{u(t_{i})}{I_{i}(s)}\,ds- \int_{0}^{T}{e^{-R(t)}F \bigl(t,u(t) \bigr)} \,dt \\ \geq& a_{1}\Vert u\Vert ^{2}-\sum _{i=1}^{p} e^{-R(t)}\delta_{i}\vert u\vert ^{\mu}-m_{1} \int_{0}^{T}{e^{-R(t)} \bigl\vert u(t) \bigr\vert ^{\mu}}\,dt \\ \geq& a_{1}\Vert u\Vert ^{2}- \Biggl(\sum _{i=1}^{p}\delta_{i}M+\delta Mm_{1}T \Biggr)C\Vert u\Vert ^{\mu}\\ =&a_{1}\rho^{2}- \Biggl(\sum_{i=1}^{p} \delta_{i}M+\delta Mm_{1}T \Biggr)C\rho^{\mu}= \tau>0. \end{aligned}$$
\(\varphi(u_{0})\leq 0\) implies that φ possesses a critical point \(u_{0}\in B_{\rho}\).
Let \(V=X_{1}\oplus X_{2}, W=\overline{\bigoplus_{i=3}^{\infty}X_{i}}\), then there exists \(\rho, \tau>0\), such that
$$\varphi |_{\partial B_{\rho}\cap W}\geq \tau. $$
Hence φ satisfies the condition \((\phi_{1})\).
Taking \(e\in W\) such that \(\Vert e\Vert =1\). By Lemma 6, we claim that there exist \(C_{2}, M_{2}>0\), such that
$$\begin{aligned} &{\Vert e\Vert \leq C_{2}\vert e\vert _{L^{2}},\qquad \Vert u \Vert \leq C_{2}\vert u\vert _{L^{2}},\quad u\in V, } \\ &{F(t,u)\geq C_{2}^{2}\vert u\vert ^{2}-M_{2},\quad (t,u) \in [0,T]\times R.} \end{aligned}$$
By \((H_{1})\), for all \(r>0\), \(u\in V\), we have
$$\begin{aligned} \varphi(re+u) =&L(re+u,re+u)+\sum_{i=1}^{p} e^{-R(t)} \int_{0}^{re+u}{I_{i}(s)}\,ds- \int_{0}^{T}{e^{-R(t)}F(t,re+u)}\,dt \\ \leq& a_{2}\Vert re+u\Vert ^{2}- \int_{0}^{T}{e^{-R(t)} \bigl(C_{2}^{2} \vert re+u\vert ^{2}-M_{2} \bigr)}\,dt \\ \leq& a_{2}r^{2}+a_{2}\Vert u\Vert ^{2}+2a_{2}r\Vert u\Vert +TM_{2}M-C_{2}^{2} \bigl(\vert re\vert _{L^{2}}^{2}+\vert u\vert _{L^{2}}^{2}-2\vert re\vert _{L^{2}}\vert u\vert _{L^{2}} \bigr) \\ \leq& a_{2}r^{2}+a_{2}\Vert u\Vert ^{2}+2a_{2}r\Vert u\Vert +TM_{2}M-r^{2}- \Vert u\Vert ^{2}+2r\Vert u\Vert \\ =&-(1-a_{2})r^{2}-(1-a_{2})\Vert u\Vert ^{2}+2(a_{2}+1)r\Vert u\Vert +TM_{2}M. \end{aligned}$$
Combining with \(a_{2}<1\), there exists \(R>0\), such that the following conclusions hold:
$$\begin{aligned} &{\mbox{when }\Vert u\Vert \geq R, \varphi(re+u)< 0\quad\mbox{for all }0< r< R;} \\ &{\mbox{when }r\geq R, \varphi(re+u)< 0\quad\mbox{for all }\Vert u\Vert \leq R.} \end{aligned}$$
For any \(u(t)\in V\), \(\Vert u\Vert \leq R\), we can obtain
$$\varphi(u)\leq a_{2}\Vert u\Vert ^{2}-m \int_{0}^{T}{F \bigl(t,u(t) \bigr)}\,dt\leq 0. $$
Let \(\Omega=(\overline{B_{R}}\cap V)\oplus\{re|0< r< R\}\), \(\partial\Omega=\Omega_{1}\cup\Omega_{2}\cup\Omega_{3}\), where
$$\begin{aligned} &{\Omega_{1}= \bigl\{ u\in V,\Vert u\Vert \leq R \bigr\} ,\qquad \Omega_{2}=Re\oplus \bigl\{ u\in V,\Vert u\Vert \leq R \bigr\} ,} \\ &{\Omega_{3}=\{re|0< r< R\}\oplus \bigl\{ u\in V,\Vert u\Vert =R \bigr\} . } \end{aligned}$$
So \(\varphi |_{\partial}Q\leq0\). From Lemma 4 we know that φ has a critical point c with \(c\geq\tau>0\). In other words, there exists \(u_{1}\) such that \(\varphi(u_{1})= c\). Hence \(u_{0}\) and \(u_{1}\) are classical solutions of the impulsive problem (1). □

Proof of Theorem 2

Since \(f(t,u)\) and \(I_{i}\) are odd about u, \(\varphi(u)\) is even and \(\varphi(0)=0\). Lemma 7 shows that φ satisfies the \(P.S\). condition. In the same way as in Theorem 1, we can verify φ satisfies the condition \((\varphi_{1})\) in Lemma 5. Finally we prove that φ also satisfies the condition \((\varphi_{2})\). According to Lemma 6 and \((H_{1})\), for every \(V_{1}\), \(u\in V_{1}\), there exists \(C_{3}, M_{3}>0\) such that
$$\begin{aligned} \varphi(u) \leq& a_{2}\Vert u\Vert ^{2}+\sum _{i=1}^{p} e^{-R(t)} \int_{0}^{u(t_{i})}{I_{i}(s)}\,ds- \int_{0}^{T}{e^{-R(t)}F \bigl(t,u(t) \bigr)} \,dt \\ \leq& a_{2}\Vert u\Vert ^{2}-m \int_{0}^{T}{ \bigl(m_{1} \bigl\vert u(t) \bigr\vert ^{\mu}-C_{3} \bigr)}\,dt \\ \leq& a_{2}\Vert u\Vert ^{2}-M_{3}\Vert u \Vert ^{\mu}+mTC_{3}, \end{aligned}$$
then we can find \(R>0\) such that \(\varphi(u)\leq0\) when \(\Vert u\Vert \geq R\). By Lemma 5, φ possesses infinitely many critical points. Hence, BVP (1) has infinitely many classical solutions. □


Take \(x(t)\in C[0,T]\), \(t_{1}\in (0,T)\) and \(k>0\). Consider the following impulsive problem:
$$ \textstyle\begin{cases} -u''(t)+tu'(t)+\lambda u(t)=e^{-t}x(t)u^{\frac{5}{3}}(t), & t\neq t_{1},\\ \triangle u'(t_{1})=u'(t_{1}+)-u'(t_{1}-)=-ku(t_{1}),\\ u(0)=u(T)=0. \end{cases} $$

Let \(\mu=2.1\), \(\delta_{1}=1\) and \(\rho_{0}=1\), then the differential equation (7) has infinity many weak solutions by Theorem 2.

4 Conclusion

A second-order impulsive differential equation is considered in this paper. Some necessary conditions for the existence and multiplicity of solutions are presented by critical point theories and variational methods. We also proposed a numerical example to show the advantage.



The authors are very grateful to the anonymous referee for his/her valuable comments and suggestions.

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.

Authors’ Affiliations

Southeast University
Qufu Normal University


  1. Lin, Z, Wang, J, Wei, W: Multipoint bvps for generalized impulsive fractional differential equations. Appl. Math. Comput. 258, 608-616 (2015) MathSciNetMATHGoogle Scholar
  2. Fec, M, Zhou, Y, Wang, J, et al.: On the concept and existence of solution for impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 17(7), 3050-3060 (2012) MathSciNetView ArticleMATHGoogle Scholar
  3. Pierri, M, O’Regan, D, Rolnik, V: Existence of solutions for semi-linear abstract differential equations with not instantaneous impulses. Appl. Math. Comput. 219(12), 6743-6749 (2013) MathSciNetMATHGoogle Scholar
  4. Nieto, JJ: Variational formulation of a damped Dirichlet impulsive problem. Appl. Math. Lett. 23(8), 940-942 (2010) MathSciNetView ArticleMATHGoogle Scholar
  5. Xiao, J, Nieto, JJ: Variational approach to some damped Dirichlet nonlinear impulsive differential equations. J. Franklin Inst. 348(2), 369-377 (2011) MathSciNetView ArticleMATHGoogle Scholar
  6. He, X, Wu, X: Periodic solutions for a class of nonautonomous second order Hamiltonian systems. J. Math. Anal. Appl. 341(2), 1354-1364 (2008) MathSciNetView ArticleMATHGoogle Scholar
  7. Zhang, Z, Yuan, R: An application of variational methods to Dirichlet boundary value problem with impulses. Nonlinear Anal., Real World Appl. 11(1), 155-162 (2010) MathSciNetView ArticleMATHGoogle Scholar
  8. Nieto, JJ, O’Regan, D: Variational approach to impulsive differential equations. Nonlinear Anal., Real World Appl. 10(2), 680-690 (2009) MathSciNetView ArticleMATHGoogle Scholar
  9. Luo, Z, Xie, J, Chen, G: Existence of solutions of a second-order impulsive differential equation. Adv. Differ. Equ. 2014(1), 118 (2014) MathSciNetView ArticleMATHGoogle Scholar
  10. Xiao, J, Nieto, JJ, Luo, Z: Multiplicity of solutions for nonlinear second order impulsive differential equations with linear derivative dependence via variational methods. Commun. Nonlinear Sci. Numer. Simul. 17(1), 426-432 (2012) MathSciNetView ArticleMATHGoogle Scholar
  11. Zhang, D: Multiple solutions of nonlinear impulsive differential equations with Dirichlet boundary conditions via variational method. Results Math. 63(1-2), 611-628 (2013) MathSciNetView ArticleMATHGoogle Scholar
  12. Zhou, J, Li, Y: Existence and multiplicity of solutions for some Dirichlet problems with impulsive effects. Nonlinear Anal. 71(7), 2856-2865 (2009) MathSciNetView ArticleMATHGoogle Scholar
  13. Bai, L, Dai, B: Existence and multiplicity of solutions for an impulsive boundary value problem with a parameter via critical point theory. Math. Comput. Model. 53(9), 1844-1855 (2011) MathSciNetView ArticleMATHGoogle Scholar
  14. Bai, L, Dai, B: Three solutions for a p-Laplacian boundary value problem with impulsive effects. Appl. Math. Comput. 217(24), 9895-9904 (2011) MathSciNetMATHGoogle Scholar
  15. Xie, J, Luo, Z: Subharmonic solutions with prescribed minimal period of an impulsive forced pendulum equation. Appl. Math. Lett. 52, 169-175 (2016) MathSciNetView ArticleMATHGoogle Scholar
  16. Zeidler, E: Nonlinear Functional Analysis and Its Applications: III: Variational Methods and Optimization. Springer, Media (2013) Google Scholar
  17. Rabinowitz, PH, et al.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. Am. Math. Soc., Providence (1986) View ArticleMATHGoogle Scholar


© The Author(s) 2017