• Research
• Open Access

# Periodic solution of second-order impulsive delay differential system via generalized mountain pass theorem

Boundary Value Problems20142014:234

https://doi.org/10.1186/s13661-014-0234-z

• Accepted: 16 October 2014
• Published:

The Erratum to this article has been published in Boundary Value Problems 2015 2015:80

## Abstract

In this paper we use variational methods and generalized mountain pass theorem to investigate the existence of periodic solutions for some second-order delay differential systems with impulsive effects. To the authors’ knowledge, there is no paper about periodic solution of impulses delay differential systems via critical point theory. Our results are completely new.

## Keywords

• impulse
• delay
• variational methods
• periodic solution

## 1 Introduction

In this paper, we study the following second-order delay differential systems with impulsive conditions:
where $k\in \mathbb{Z}$, $u\in {\mathbb{R}}^{n}$, $\mathrm{\Delta }\stackrel{˙}{u}\left({t}_{k}\right)=\stackrel{˙}{u}\left({t}_{k}^{+}\right)-\stackrel{˙}{u}\left({t}_{k}^{-}\right)$ with $\stackrel{˙}{u}\left({t}_{k}^{±}\right)={lim}_{t\to {t}_{k}^{±}}\stackrel{˙}{u}\left(t\right)$. ${g}_{k}\left(u\right)={grad}_{u}{G}_{k}\left(u\right)$, ${G}_{k}\in {C}^{1}\left({\mathbb{R}}^{n},\mathbb{R}\right)$ for each $k\in \mathbb{Z}$; there exists an $m\in \mathbb{N}$ such that $0={t}_{0}<{t}_{1}<\cdots <{t}_{m}<{t}_{m+1}=\pi$, ${t}_{k+m+1}={t}_{k}+\pi$ and ${g}_{k+m+1}={g}_{k}$ for all $k\in \mathbb{Z}$; $f\left(t,u\right)$ is π-periodic in t and $f\left(t,u\right)={grad}_{u}F\left(t,u\right)$ satisfies the following assumption:
1. (A)
$F\left(t,x\right)$ is measurable in t for $x\in {\mathbb{R}}^{n}$ and continuously differentiable in x for a.e. $t\in \left[0,2\pi \right]$, and there exist $a\in C\left({\mathbb{R}}^{+},{\mathbb{R}}^{+}\right)$, $b\in {L}^{1}\left(0,2\pi ;{\mathbb{R}}^{+}\right)$ such that
$|F\left(t,x\right)|+|f\left(t,x\right)|\le a\left(|x|\right)b\left(t\right)$

for all $x\in {\mathbb{R}}^{n}$ and a.e. $t\in \left[0,2\pi \right]$. For convenience, we denote (1a)-(1c) as problem (IP).

Impulsive effects are important problems in the world due to the fact that some dynamics of processes will experience sudden changes depending on their states or at certain moments of time. For a second-order differential equation $\stackrel{¨}{u}=f\left(t,\stackrel{˙}{u}\left(t\right),u\right)$, one usually considers impulses in the position u and the velocity $\stackrel{˙}{u}$. However, for the motion of spacecraft one has to consider instantaneous impulses depending on the position, that result in jump discontinuities in velocity but with no change in position [1], [2]. Impulses only in the velocity occur also in impulsive mechanics [3]. Such impulsive problems with impulses in the derivative only have been considered in many literatures; see, for instance [4]–[11].

In recent years, impulsive and periodic boundary value problems have been studied by numerous mathematicians; see, for instance, [4], [12]–[15] and the references therein. Some classical tools such as fixed point theory, topological degree theory, the comparison method, the upper and lower solutions method and the monotone iterative method have been used to get the solutions of impulsive differential equations; we refer the reader to [5], [16]–[19] and the references therein.

Recently, some authors studied boundary value problems for second-order impulsive differential equations via variational methods (see [6]–[9], [20]–[26]).

On the other hand, in the past two decades, a wide variety of techniques, especially critical point theorem, have been developed to investigate the existence of the periodic solutions to the functional differential equations by several authors (see [10], [27], [28]). In 2009, by applying the critical theory and ${S}^{1}$-index theory, Guo and Guo [28] obtained some results on the existence and multiplicity of periodic solutions for the delay differential equations
$\stackrel{¨}{u}\left(t\right)=-f\left(u\left(t-\tau \right)\right).$
In [10], the non-autonomous second-order delay differential systems
$\stackrel{¨}{u}\left(t\right)+\lambda u\left(t-\tau \right)=\mathrm{\nabla }F\left(t,u\left(t-\tau \right)\right)$

were studied by a new critical point theorem.

Motivated by the above work, in this paper our main purpose is to apply the critical point directly to study problem (IP). To the best of our knowledge, there is no paper studying this delay differential systems under impulsive conditions via variational methods.

The rest of the paper is organized as follows: in Section 2, some preliminaries are given; in Section 3, the main result of this paper is stated, and finally we will give the proof of it.

## 2 Preliminaries

In this section, we recall some basic facts which will be used in the proofs of our main results. In order to apply the critical point theory, we construct a variational structure. With this variational structure, we can reduce the problem of finding solutions of (IP) to that of seeking the critical points of a corresponding functional.

Denote . Let
${H}^{1}=\left\{u\in AC:\stackrel{˙}{u}\left(t\right)\in {L}^{2}\left(0,2\pi ;{\mathbb{R}}^{n}\right)\right\}$
with the inner product
$〈u,v〉={\int }_{0}^{2\pi }\left(u\left(t\right)v\left(t\right)+\stackrel{˙}{u}\left(t\right)\stackrel{˙}{v}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt,\phantom{\rule{1em}{0ex}}\mathrm{\forall }u,v\in {H}^{1}.$
The corresponding norm is defined by
$\parallel u\parallel ={\left({\int }_{0}^{2\pi }\left({|u\left(t\right)|}^{2}+{|\stackrel{˙}{u}\left(t\right)|}^{2}\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{2}},\phantom{\rule{1em}{0ex}}\mathrm{\forall }u\in {H}^{1}.$
The space ${H}^{1}$ has some important properties: there are constants c such that
${\parallel u\parallel }_{{L}^{p}}\le c\parallel u\parallel$
(2)

for all $u\in {H}^{1}$.

Let ${H}^{2}\left(a,b\right)=\left\{u\in {C}^{1}\left(a,b\right):\stackrel{¨}{u}\in {L}^{2}\left(a,b\right)\right\}$.

### Definition 2.1

A function $u\in \left\{x\in {H}^{1}:x\left(t\right)\in {H}^{2}\left({t}_{k},{t}_{k+1}\right),k\in K\equiv \left\{0,1,\dots ,2m+1\right\}\right\}$ is said to be a classic periodic solution of (IP), if u satisfies equation in (1a) for all $t\in \left[0,2\pi \right]\setminus \left\{{t}_{1},{t}_{2},\dots ,{t}_{2m+1}\right\}$ and (1b), (1c) hold.

Taking $v\in {H}^{1}$ and multiplying the two sides of the equality
$\stackrel{¨}{u}\left(t+\pi \right)-u\left(t+\pi \right)=-f\left(t,u\left(t\right)\right)$
by v and integrating between 0 and 2π, we have
${\int }_{0}^{2\pi }\left[\stackrel{¨}{u}\left(t+\pi \right)-u\left(t+\pi \right)+f\left(t,u\left(t\right)\right)\right]v\left(t\right)\phantom{\rule{0.2em}{0ex}}dt=0.$
Thus consider a functional ϕ defined on ${H}^{1}$, given by
$\varphi \left(u\right)=\frac{1}{2}{\int }_{0}^{2\pi }\left[\stackrel{˙}{u}\left(t+\pi \right)\stackrel{˙}{u}\left(t\right)+u\left(t+\pi \right)u\left(t\right)\right]\phantom{\rule{0.2em}{0ex}}dt-{\int }_{0}^{2\pi }F\left(t,u\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+\sum _{k=1}^{2m+1}{G}_{k}\left(u\left({t}_{k}\right)\right).$
Let ${L}^{2}\left[0,2\pi \right]$ be the space of square integrable 2π periodic vector-valued functions with dimension n, and ${C}^{\mathrm{\infty }}\left[0,2\pi \right]$ be the space of 2π-periodic vector-valued functions with dimension n. For any $u\in {C}^{\mathrm{\infty }}\left[0,2\pi \right]$, it has the following Fourier expansion in the sense that it is convergent in the space ${L}^{2}\left[0,2\pi \right]$:
$u\left(t\right)=\frac{{a}_{0}}{\sqrt{2\pi }}+\frac{1}{\sqrt{\pi }}\sum _{j=1}^{+\mathrm{\infty }}\left({a}_{j}cosjt+{b}_{j}sinjt\right),$
where ${a}_{0},{a}_{j},{b}_{j}\in {\mathbb{R}}^{n}$. Moreover, we infer from the above decomposition of ${H}^{1}$ that the norm can be written as
$\parallel u\parallel ={\left[{|{a}_{0}|}^{2}+\sum _{j=1}^{+\mathrm{\infty }}\left(1+{j}^{2}\right)\left({|{a}_{j}|}^{2}+{|{b}_{j}|}^{2}\right)\right]}^{\frac{1}{2}}.$
It is well known that ${H}^{1}$ is compactly embedded in $C\left[0,2\pi \right]$. Let L be an operator from ${H}^{1}$ to ${H}^{1}$ defined by the following form:
$\left(Lu\right)\left(v\right)={\int }_{0}^{2\pi }\left[\stackrel{˙}{u}\left(t+\pi \right)\stackrel{˙}{v}\left(t\right)+u\left(t+\pi \right)v\left(t\right)\right]\phantom{\rule{0.2em}{0ex}}dt.$
(3)
By the Riesz representation theorem, Lu can also be viewed as an element belonging to ${H}^{1}$ such that $〈Lu,v〉=\left(Lu\right)v$ for any $u,v\in {H}^{1}$. It is easy to see that L is a bounded linear operator on ${H}^{1}$. Set
$\psi \left(u\right)=-{\int }_{0}^{2\pi }F\left(t,u\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+\sum _{k=1}^{2m+1}{G}_{k}\left(u\left({t}_{k}\right)\right),$
then $\varphi \left(u\right)$ can be rewritten as
$\varphi \left(u\right)=\frac{1}{2}〈Lu,u〉+\psi \left(u\right).$
(4)

### Lemma 2.1

L is selfadjoint on${H}^{1}$.

### Proof

For any $u,v\in {H}^{1}$, we have
$\begin{array}{rcl}〈Lu,v〉& =& \left(Lu\right)\left(v\right)={\int }_{0}^{2\pi }\left[\stackrel{˙}{u}\left(t+\pi \right)\stackrel{˙}{v}\left(t\right)+u\left(t+\pi \right)v\left(t\right)\right]\phantom{\rule{0.2em}{0ex}}dt\\ =& {\int }_{0}^{2\pi }\left[\stackrel{˙}{u}\left(t\right)\stackrel{˙}{v}\left(t-\pi \right)+u\left(t\right)v\left(t-\pi \right)\right]\phantom{\rule{0.2em}{0ex}}dt\\ =& {\int }_{0}^{2\pi }\left[\stackrel{˙}{v}\left(t+\pi \right)\stackrel{˙}{u}\left(t\right)+v\left(t+\pi \right)u\left(t\right)\right]\phantom{\rule{0.2em}{0ex}}dt=〈u,Lv〉.\end{array}$

The proof is completed. □

### Remark 2.1

It follows from assumption (A) and the continuity of ${g}_{k}$, by a standard argument as in [29], that ϕ is continuously differentiable and weakly lower semi-continuous on ${H}^{1}$. Moreover, we have
$\begin{array}{rcl}〈\stackrel{˙}{\varphi }\left(u\right),v〉& =& {\int }_{0}^{2\pi }\left[\stackrel{˙}{u}\left(t+\pi \right)\stackrel{˙}{v}\left(t\right)+u\left(t+\pi \right)v\left(t\right)\right]\phantom{\rule{0.2em}{0ex}}dt\\ -{\int }_{0}^{2\pi }f\left(t,u\left(t\right)\right)v\left(t\right)\phantom{\rule{0.2em}{0ex}}dt+\sum _{k=1}^{2m+1}{g}_{k}\left(u\left({t}_{k}\right)\right)v\left({t}_{k}\right)\\ =& 〈Lu,v〉+〈\stackrel{˙}{\psi }\left(u\right),v〉\end{array}$
for $u,v\in {H}^{1}$ and $\stackrel{˙}{\varphi }$ is weakly continuous. Moreover, $\stackrel{˙}{\psi }:{H}^{1}\to {H}^{1}$ is a compact operator defined by
$〈\stackrel{˙}{\psi }\left(u\right),v〉=-{\int }_{0}^{2\pi }f\left(t,u\left(t\right)\right)v\left(t\right)\phantom{\rule{0.2em}{0ex}}dt+\sum _{k=1}^{2m+1}{g}_{k}\left(u\left({t}_{k}\right)\right)v\left({t}_{k}\right).$

Similarly to [8], we introduce the following concept for the solution of problem (IP).

### Definition 2.2

We say that a function $u\in {H}^{1}$ is a weak solution of problem (IP) if the identity
$〈\stackrel{˙}{\varphi }\left(u\right),v〉=0$

holds for any $v\in {H}^{1}$.

Since we have the following result, Definition 2.2 is suitable.

### Lemma 2.2

If$u\in {H}^{1}$is a weak solution of (IP), then u is a classical solution of (IP).

### Proof

If u is a weak solution of (IP), then for any $v\in {H}^{1}$
$\begin{array}{rcl}〈\stackrel{˙}{\varphi }\left(u\right),v〉& =& {\int }_{0}^{2\pi }\left[\stackrel{˙}{u}\left(t+\pi \right)\stackrel{˙}{v}\left(t\right)+u\left(t+\pi \right)v\left(t\right)\right]\phantom{\rule{0.2em}{0ex}}dt\\ -{\int }_{0}^{2\pi }f\left(t,u\left(t\right)\right)v\left(t\right)\phantom{\rule{0.2em}{0ex}}dt+\sum _{k=1}^{2m+1}{g}_{k}\left(u\left({t}_{k}\right)\right)v\left({t}_{k}\right)=0.\end{array}$
(5)
For any $j\in K$ and $v\in {H}^{1}$ such that $v\left(t\right)=0$ if $t\in \left[{t}_{k},{t}_{k+1}\right]$ for $k\in K\setminus \left\{j\right\}$, (5) implies
${\int }_{{t}_{j}}^{{t}_{j+1}}\left[\stackrel{˙}{u}\left(t+\pi \right)\stackrel{˙}{v}\left(t\right)+u\left(t+\pi \right)v\left(t\right)\right]\phantom{\rule{0.2em}{0ex}}dt-{\int }_{{t}_{j}}^{{t}_{j+1}}f\left(t,u\left(t\right)\right)v\left(t\right)\phantom{\rule{0.2em}{0ex}}dt=0.$
By the definition of weak derivative, the above equality implies
Since $f\left(t,u\right)$ is π-periodic in t and ${t}_{j}+\pi ={t}_{m+j+1}$, one has
(6)
Hence $u\in {H}^{2}\left({t}_{j},{t}_{j+1}\right)$. A classical regularity argument shows that u is a classical solution of (6), which implies that $\stackrel{¨}{u}\left(t\right)$ is bounded for $t\in \left({t}_{j},{t}_{j+1}\right)$, and this implies that ${lim}_{t\to {t}_{j}^{+}}\stackrel{˙}{u}\left(t\right)$ and ${lim}_{t\to {t}_{j+1}^{-}}\stackrel{˙}{u}\left(t\right)$ exist. Thus we obtain
${\int }_{{t}_{j}}^{{t}_{j+1}}\left(\stackrel{¨}{u}v+\stackrel{˙}{u}\stackrel{˙}{v}\right)\phantom{\rule{0.2em}{0ex}}dt=\left(\stackrel{˙}{u}v\right){|}_{{t}_{j}}^{{t}_{j+1}},$
(7)
where $\stackrel{˙}{u}v{|}_{{t}_{j}}^{{t}_{j+1}}=\stackrel{˙}{u}\left({t}_{j+1}^{-}\right)v\left({t}_{j+1}\right)-\stackrel{˙}{u}\left({t}_{j}^{+}\right)v\left({t}_{j}\right)$. Since j is arbitrary in K and ${t}_{j}+\pi ={t}_{j+m+1}$, (7) and (5) imply that
$\begin{array}{r}{\int }_{0}^{2\pi }\left[\stackrel{¨}{u}\left(t+\pi \right)-u\left(t+\pi \right)+f\left(t,u\left(t\right)\right)\right]v\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\\ \phantom{\rule{1em}{0ex}}=\sum _{k=0}^{2m+1}\stackrel{˙}{u}\left(t+\pi \right)v\left(t\right){|}_{{t}_{k}}^{{t}_{k+1}}+\sum _{k=1}^{2m+1}{g}_{k}\left(u\left({t}_{k}\right)\right)v\left({t}_{k}\right).\end{array}$
(8)
Therefore
${\int }_{0}^{2\pi }\left[\stackrel{¨}{u}\left(t+\pi \right)-u\left(t+\pi \right)+f\left(t,u\left(t\right)\right)\right]v\left(t\right)\phantom{\rule{0.2em}{0ex}}dt=0$
(9)
for all $v\in {H}^{1}$ with $v\left({t}_{k}\right)=0$ for $k\in K$. Since ${C}_{0}^{\mathrm{\infty }}\left(\left({t}_{k},{t}_{k+1}\right),{\mathbb{R}}^{n}\right)$ is dense in ${L}^{2}\left(\left({t}_{k},{t}_{k+1}\right),{\mathbb{R}}^{n}\right)$, (9) holds for all $v\in {H}^{1}$. Thus from (8) and (9), we have
$\begin{array}{rl}0& =\sum _{k=1}^{2m+1}{g}_{k}\left(u\left({t}_{k}\right)\right)v\left({t}_{k}\right)+\sum _{k=1}^{2m+2}\left[\stackrel{˙}{u}\left({t}_{k}^{-}+\pi \right)v\left({t}_{k}\right)-\stackrel{˙}{u}\left({t}_{k-1}^{+}+\pi \right)v\left({t}_{k-1}\right)\right]\\ =\sum _{k=1}^{2m+1}\left[\stackrel{˙}{u}\left({t}_{k}^{-}+\pi \right)-\stackrel{˙}{u}\left({t}_{k}^{+}+\pi \right)+{g}_{k}\left(u\left({t}_{k}\right)\right)\right]v\left({t}_{k}\right)+\left[\stackrel{˙}{u}\left(3\pi \right)v\left(2\pi \right)-\stackrel{˙}{u}\left(\pi \right)v\left(0\right)\right],\end{array}$
which implies
$\stackrel{˙}{u}\left({t}_{k}^{+}+\pi \right)-\stackrel{˙}{u}\left({t}_{k}^{-}+\pi \right)={g}_{k}\left(u\left({t}_{k}\right)\right)$
(10)

for any $k\in \left\{1,2,\dots ,2m+1\right\}$, since v is arbitrary in ${H}^{1}$. By (10), $\stackrel{˙}{u}\left({t}_{k}^{+}\right)-\stackrel{˙}{u}\left({t}_{k}^{-}\right)={g}_{k}\left(u\left({t}_{k}-\pi \right)\right)$. Therefore u is a classical solution of (IP). The proof is completed. □

### Definition 2.3

([29])

Let E be a real Banach space and $\varphi \in {C}^{1}\left(E,\mathbb{R}\right)$. ϕ is said to satisfy the (PS) condition on E if any sequence $\left\{{u}_{n}\right\}\subseteq E$ for which $\left\{\varphi \left({u}_{n}\right)\right\}$ is bounded and $\stackrel{˙}{\varphi }\left({u}_{n}\right)\to 0$ as $n\to \mathrm{\infty }$ possesses a convergent subsequence in E.

Let E be a Hilbert space with $E={E}_{1}\oplus {E}_{2}$. Let ${P}_{1}$, ${P}_{2}$ be the projections of E onto ${E}_{1}$ and ${E}_{2}$, respectively. Set
$\mathrm{\Lambda }\equiv \left\{\phi \in C\left(\left[0,2\pi \right]×E,E\right)|\phi \left(0,u\right)=u,{P}_{2}\phi \left(t,u\right)={P}_{2}u-\mathrm{\Phi }\left(t,u\right)\right\},$
(11)

where $\mathrm{\Phi }:C\left[0,2\pi \right]×E\to {E}_{2}$ is compact.

### Definition 2.4

Let $S,Q\subset E$, and Q be boundary. We call S and ∂Q link if whenever $\phi \in \mathrm{\Lambda }$ and $\phi \left(t,\partial Q\right)\cap S=\mathrm{\varnothing }$ for all t, then $\phi \left(t,Q\right)\cap S\ne \mathrm{\varnothing }$ for all t.

Then [30] Theorem 5.29 can be stated as follows.

### Theorem A

Let E be a real Hilbert space with$E={E}_{1}\oplus {E}_{2}$, ${E}_{2}={E}_{1}^{\mathrm{\perp }}$and inner product$〈\cdot ,\cdot 〉$. Suppose$\varphi \in {C}^{1}\left(E,\mathbb{R}\right)$satisfies (PS) condition, and

(I1): $\varphi \left(u\right)=\frac{1}{2}〈Lu,u〉+\psi \left(u\right)$, where$Lu={L}_{1}{P}_{1}u+{L}_{2}{P}_{2}u$and${L}_{i}:{E}_{i}\to {E}_{i}$is bounded and selfadjoint ($i=1,2$), where${P}_{1}$, ${P}_{2}$be the projections of E onto${E}_{1}$and${E}_{2}$, respectively,

(I2): $\stackrel{˙}{\psi }\left(u\right)$is compact, and

(I3): there exist a subspace$\stackrel{˜}{E}\subset E$, sets$S\subset E$, $Q\subset \stackrel{˜}{E}$and constants$\tau >\omega$such that
1. (i)

$S\subset {E}_{1}$ and $\varphi {|}_{S}\ge \tau$,

2. (ii)

Q is bounded and $\varphi {|}_{\partial Q}\le \omega$,

3. (iii)

Then ϕ possesses a critical value$c\ge \tau$.

## 3 Main results

In order to state our main results, we have to further assume the following hypotheses.

(H1): ${g}_{k}$ ($k=1,2,\dots ,2m+1$) satisfy
$2{G}_{k}\left(u\right)-{g}_{k}\left(u\right)u\ge 0,\phantom{\rule{2em}{0ex}}{G}_{k}\left(u\right)\ge 0$

for all $u\in {\mathbb{R}}^{n}$.

(H2): For any $k\in \left\{1,2,\dots ,2m+1\right\}$, there exist numbers $a>0$ and $\gamma \in \left[0,1\right)$ such that
$|{g}_{k}\left(u\right)|\le a{|u|}^{\gamma }$

for all $u\in {\mathbb{R}}^{n}$.

(H3): There are constants $\beta >1$, $1, $\theta >0$, and $L>0$ such that
$uf\left(t,u\right)-2F\left(t,u\right)\ge \theta {|u|}^{\beta },\phantom{\rule{2em}{0ex}}|f\left(t,u\right)|\le \theta {|u|}^{d}$

for all $t\in \left[0,2\pi \right]$ and $u\in {\mathbb{R}}^{n}$ with $|u|\ge L$.

(H4): $\frac{|F\left(t,u\right)|}{{|u|}^{2}}\to +\mathrm{\infty }$ as $|u|\to \mathrm{\infty }$ and $\frac{|F\left(t,u\right)|}{{|u|}^{2}}\to 0$ as $|u|\to 0$ uniformly for all t.

(H5): $F\left(t,u\right)\ge 0$ for all $\left(t,u\right)\in \left[0,2\pi \right]×{\mathbb{R}}^{n}$.

### Theorem 3.1

Assume that (H1)-(H5) hold. Then problem (IP) has at least one periodic solution.

### Example

There are many examples which satisfy (H1)-(H5). For example,
$F\left(t,x\right)={|x|}^{2}ln\left(1+2{|x|}^{4}\right)$

and ${G}_{k}\left(x\right)=|x|$, for $k=1,2,\dots ,2m+1$.

Obviously, ${G}_{k}\left(u\right)$ satisfy (H1)-(H2) and $F\left(t,u\right)$ satisfies (H4)-(H5). Note that
$\begin{array}{c}u{F}_{u}\left(t,u\right)-2F\left(t,u\right)=\frac{8{|u|}^{6}}{1+2{|u|}^{4}}\ge c{|u|}^{2},\phantom{\rule{1em}{0ex}}\mathrm{\forall }u\ge L,\hfill \\ |{F}_{u}\left(t,u\right)|\le 2|u|ln\left(1+2{|u|}^{4}\right)+{|u|}^{2}\frac{8{|u|}^{3}}{1+2{|u|}^{4}}\le c{|u|}^{\frac{5}{4}},\phantom{\rule{1em}{0ex}}\mathrm{\forall }u\ge L,\hfill \end{array}$

for L being large enough. This implies (H3).

We will use Theorem A to prove Theorem 3.1.

Set ${E}_{1}=\left\{u\in {H}^{1}:u\left(t+\pi \right)=u\left(t\right)\right\}$ and ${E}_{2}=\left\{u\in {H}^{1}:u\left(t+\pi \right)=-u\left(t\right)\right\}$.

### Lemma 3.1

${H}^{1}={E}_{1}\oplus {E}_{2}$and${E}_{2}={E}_{1}^{\mathrm{\perp }}$.

### Proof

For any $v\in {E}_{1}$ and $w\in {E}_{2}$, we have
$\begin{array}{rcl}〈v,w〉& =& {\int }_{0}^{2\pi }v\left(t\right)w\left(t\right)\phantom{\rule{0.2em}{0ex}}dt+{\int }_{0}^{2\pi }\stackrel{˙}{v}\left(t\right)\stackrel{˙}{w}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\\ =& {\int }_{0}^{2\pi }v\left(t+\pi \right)w\left(t+\pi \right)\phantom{\rule{0.2em}{0ex}}dt+{\int }_{0}^{2\pi }\stackrel{˙}{v}\left(t+\pi \right)\stackrel{˙}{w}\left(t+\pi \right)\phantom{\rule{0.2em}{0ex}}dt\\ =& {\int }_{0}^{2\pi }v\left(t\right)\left(-w\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+{\int }_{0}^{2\pi }\stackrel{˙}{v}\left(t\right)\left(-\stackrel{˙}{w}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt\\ =& -〈v,w〉,\end{array}$

which implies that $〈v,w〉=0$, that is, ${E}_{2}\mathrm{\perp }{E}_{1}$.

For every $u\in {H}^{1}$, set
${u}^{+}\left(t\right)=\frac{1}{2}\left(u\left(t\right)+u\left(t+\pi \right)\right),\phantom{\rule{2em}{0ex}}{u}^{-}\left(t\right)=\frac{1}{2}\left(u\left(t\right)-u\left(t+\pi \right)\right).$

Then a simple calculation shows that ${u}^{+}\in {E}_{1}$ and ${u}^{-}\in {E}_{2}$ and $u\left(t\right)={u}^{+}\left(t\right)+{u}^{-}\left(t\right)$. Then ${H}^{1}={E}_{1}+{E}_{2}$. Combining with ${E}_{2}\mathrm{\perp }{E}_{1}$, one has ${H}^{1}={E}_{1}\oplus {E}_{2}$ and ${E}_{2}={E}_{1}^{\mathrm{\perp }}$. □

### Remark 3.1

Lemma 3.1 is a new orthogonal decomposition different from the one in [10]. We will show that it is a useful result.

By (4) and Lemma 3.1, we have
$\begin{array}{rcl}\varphi \left(u\right)& =& \frac{1}{2}〈Lu,u〉+\psi \left(u\right)\\ =& \frac{1}{2}{\int }_{0}^{2\pi }\left[\stackrel{˙}{u}\left(t+\pi \right)\stackrel{˙}{u}\left(t\right)+u\left(t+\pi \right)u\left(t\right)\right]\phantom{\rule{0.2em}{0ex}}dt+\psi \left(u\right)\\ =& \frac{1}{2}{\int }_{0}^{2\pi }\left[\left({\stackrel{˙}{u}}^{+}\left(t+\pi \right)+{\stackrel{˙}{u}}^{-}\left(t+\pi \right)\right)\left({\stackrel{˙}{u}}^{+}\left(t\right)+{\stackrel{˙}{u}}^{-}\left(t\right)\right)\\ +\left({u}^{+}\left(t+\pi \right)+{u}^{-}\left(t+\pi \right)\right)\left({u}^{+}\left(t\right)+{u}^{-}\left(t\right)\right)\right]\phantom{\rule{0.2em}{0ex}}dt+\psi \left(u\right)\\ =& \frac{1}{2}{\int }_{0}^{2\pi }\left[\left({\stackrel{˙}{u}}^{+}\left(t\right)-{\stackrel{˙}{u}}^{-}\left(t\right)\right)\left({\stackrel{˙}{u}}^{+}\left(t\right)+{\stackrel{˙}{u}}^{-}\left(t\right)\right)+\left({u}^{+}\left(t\right)-{u}^{-}\left(t\right)\right)\left({u}^{+}\left(t\right)+{u}^{-}\left(t\right)\right)\right]\phantom{\rule{0.2em}{0ex}}dt\\ +\psi \left(u\right)\\ =& \frac{1}{2}{\parallel {u}^{+}\parallel }^{2}-\frac{1}{2}{\parallel {u}^{-}\parallel }^{2}+\psi \left(u\right)\end{array}$

for every $u={u}^{+}+{u}^{-}$, where ${u}^{+}\in {E}_{1}$, ${u}^{-}\in {E}_{2}$. Combining this with Remark 2.1 and Lemma 3.1, (I1) and (I2) of Theorem A hold for ϕ.

Now we prove that ϕ satisfies (PS) condition.

### Lemma 3.2

Under the assumptions of Theorem  3.1, ϕ satisfies (PS) condition.

### Proof

Suppose $\left\{{u}_{n}\right\}\subset {H}^{1}$ is such a sequence that $\left\{\varphi \left({u}_{n}\right)\right\}$ is bounded and ${lim}_{n\to \mathrm{\infty }}\stackrel{˙}{\varphi }\left({u}_{n}\right)=0$. We shall prove that $\left\{{u}_{n}\right\}$ has a convergent subsequence. We now prove that $\left\{{u}_{n}\right\}$ is bounded in ${H}^{1}$. If $\left\{{u}_{n}\right\}$ is unbounded, we may assume that, going to a subsequence if necessary, $\parallel {u}_{n}\parallel \to \mathrm{\infty }$ as $n\to \mathrm{\infty }$. In view of (H3), there exists ${c}_{1}>0$ such that
$uf\left(t,u\right)-2F\left(t,u\right)\ge \theta {|u|}^{\beta }-{c}_{1}$
for all $\left(t,u\right)\in \left[0,2\pi \right]×{\mathbb{R}}^{n}$, and combing (H1), we have
$\begin{array}{rcl}2\varphi \left({u}_{n}\right)-〈\stackrel{˙}{\varphi }\left({u}_{n}\right),{u}_{n}〉& =& \sum _{k=1}^{2m+1}\left[2{G}_{k}\left({u}_{n}\left({t}_{k}\right)\right)-{g}_{k}\left({u}_{n}\left({t}_{k}\right)\right){u}_{n}\left({t}_{k}\right)\right]\\ +{\int }_{0}^{2\pi }\left(f\left(t,{u}_{n}\right){u}_{n}-2F\left(t,{u}_{n}\right)\right)\phantom{\rule{0.2em}{0ex}}dt\\ \ge & {\int }_{0}^{2\pi }\left(\theta {|{u}_{n}|}^{\beta }-{c}_{1}\right)\phantom{\rule{0.2em}{0ex}}dt\\ =& \theta {\int }_{0}^{2\pi }{|{u}_{n}|}^{\beta }\phantom{\rule{0.2em}{0ex}}dt-2\pi {c}_{1}.\end{array}$
This implies
(12)
Let $\alpha =\frac{\beta -1}{\beta \left(d-1\right)}$, then
$\alpha >1,\phantom{\rule{2em}{0ex}}\alpha d-1=\alpha -\frac{1}{\beta }.$
(13)
By (H3), there exists ${c}_{2}>0$ such that
${|f\left(t,u\right)|}^{\alpha }\le {\theta }^{\alpha }{|u|}^{\alpha d}+{c}_{2}$
(14)
for $\left(t,u\right)\in \left[0,2\pi \right]×{\mathbb{R}}^{n}$. Define ${u}_{n}={u}_{n}^{+}+{u}_{n}^{-}\in {E}_{1}\oplus {E}_{2}$. We have
$\begin{array}{rcl}〈\stackrel{˙}{\varphi }\left({u}_{n}\right),{u}_{n}^{+}〉& =& 〈L{u}_{n}^{+},{u}_{n}^{+}〉+\sum _{k=1}^{2m+1}{g}_{k}\left({u}_{n}\left({t}_{k}\right)\right){u}_{n}^{+}\left({t}_{k}\right)-{\int }_{0}^{2\pi }f\left(t,{u}_{n}\right){u}_{n}^{+}\phantom{\rule{0.2em}{0ex}}dt\\ \ge & {\parallel {u}_{n}^{+}\parallel }^{2}-\left(2m+1\right){c}^{\gamma +1}a{\parallel {u}_{n}\parallel }^{\gamma }\parallel {u}_{n}^{+}\parallel -{c}_{\alpha }{\left({\int }_{0}^{2\pi }{|f\left(t,{u}_{n}\right)|}^{\alpha }\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{\alpha }}\parallel {u}_{n}^{+}\parallel ,\end{array}$
(15)
where c, ${c}_{\alpha }$ are constants independent of n. By (14) we have
$\begin{array}{rcl}{\int }_{0}^{2\pi }{|f\left(t,{u}_{n}\right)|}^{\alpha }\phantom{\rule{0.2em}{0ex}}dt& \le & {\int }_{0}^{2\pi }\left({\theta }^{\alpha }{|{u}_{n}|}^{\alpha d}+{c}_{2}\right)\phantom{\rule{0.2em}{0ex}}dt\\ \le & {c}_{3}{\left({\int }_{0}^{2\pi }{|{u}_{n}|}^{\beta }\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{\beta }}{\left({\int }_{0}^{2\pi }{|{u}_{n}|}^{\frac{\beta \left(\alpha d-1\right)}{\beta -1}}\phantom{\rule{0.2em}{0ex}}dt\right)}^{1-\frac{1}{\beta }}+2\pi {c}_{2}\\ \le & {c}_{3}{\left({\int }_{0}^{2\pi }{|{u}_{n}|}^{\beta }\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{\beta }}{\parallel {u}_{n}\parallel }^{\alpha d-1}+2\pi {c}_{2}.\end{array}$
Combining this inequality with (12) and (13) yields
$\frac{{\left({\int }_{0}^{2\pi }{|f\left(t,{u}_{n}\right)|}^{\alpha }\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{\alpha }}}{\parallel {u}_{n}\parallel }\le {\left[\frac{{c}_{3}{\left({\int }_{0}^{2\pi }{|{u}_{n}|}^{\beta }\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{\beta }}}{{\parallel {u}_{n}\parallel }^{\frac{1}{\beta }}}\frac{{\parallel {u}_{n}\parallel }^{\alpha d-1}}{{\parallel {u}_{n}\parallel }^{\alpha -\frac{1}{\beta }}}+\frac{2\pi {c}_{2}}{{\parallel {u}_{n}\parallel }^{\alpha }}\right]}^{\frac{1}{\alpha }}\to 0$
as $n\to \mathrm{\infty }$. Since $\gamma <1$, by (15), we have
$\begin{array}{rcl}\frac{{\parallel {u}_{n}^{+}\parallel }^{2}}{\parallel {u}_{n}^{+}\parallel \parallel {u}_{n}\parallel }& \le & \frac{〈{\varphi }^{\prime }\left({u}_{n}\right),{u}_{n}^{+}〉}{\parallel {u}_{n}^{+}\parallel \parallel {u}_{n}\parallel }+\frac{\left(2m+1\right){c}^{\gamma +1}a{\parallel {u}_{n}\parallel }^{\gamma }\parallel {u}_{n}^{+}\parallel }{\parallel {u}_{n}^{+}\parallel \parallel {u}_{n}\parallel }\\ +\frac{{c}_{\alpha }{\left({\int }_{0}^{2\pi }{|f\left(t,{u}_{n}\right)|}^{\alpha }\phantom{\rule{0.2em}{0ex}}dt\right)}^{\frac{1}{\alpha }}\parallel {u}_{n}^{+}\parallel }{\parallel {u}_{n}^{+}\parallel \parallel {u}_{n}\parallel }\to 0\end{array}$
as $n\to \mathrm{\infty }$. This implies
(16)
Similarly, we have
(17)
Therefore, combining (16) and (17), we have

which gives a contradiction. Therefore, $\left\{{u}_{n}\right\}$ is bounded in ${H}^{1}$ and, going if necessary to a subsequence, we can assume that ${u}_{n}⇀u$ in ${H}^{1}$ and ${u}_{n}\left(t\right)\to u\left(t\right)$ in $C\left[0,2\pi \right]$. Write ${u}_{n}={u}_{n}^{+}+{u}_{n}^{-}$ and $u={u}^{+}+{u}^{-}$, then ${u}_{n}^{±}⇀{u}^{±}$ in ${H}^{1}$, and ${u}_{n}^{±}\to {u}^{±}$ in $C\left[0,2\pi \right]$.

By (4), we have
$\begin{array}{r}〈\stackrel{˙}{\varphi }\left({u}_{n}\right)-\stackrel{˙}{\varphi }\left(u\right),{u}_{n}^{+}-{u}^{+}〉\\ \phantom{\rule{1em}{0ex}}=〈L\left({u}_{n}^{+}-{u}^{+}\right),{u}_{n}^{+}-{u}^{+}〉-{\int }_{0}^{2\pi }\left[f\left(t,{u}_{n}\right)-f\left(t,u\right)\right]\left({u}_{n}^{+}-{u}^{+}\right)\phantom{\rule{0.2em}{0ex}}dt\\ \phantom{\rule{2em}{0ex}}+\sum _{k=1}^{2m+1}\left[{g}_{k}\left({u}_{n}\left({t}_{k}\right)\right)-{g}_{k}\left(u\left({t}_{k}\right)\right)\right]\left({u}_{n}^{+}-{u}^{+}\right)\\ \phantom{\rule{1em}{0ex}}\ge {\parallel {u}_{n}^{+}-{u}^{+}\parallel }^{2}-{\int }_{0}^{2\pi }\left[f\left(t,{u}_{n}\right)-f\left(t,u\right)\right]\left({u}_{n}^{+}-{u}^{+}\right)\phantom{\rule{0.2em}{0ex}}dt\\ \phantom{\rule{2em}{0ex}}+\sum _{k=1}^{2m+1}\left[{g}_{k}\left({u}_{n}\left({t}_{k}\right)\right)-{g}_{k}\left(u\left({t}_{k}\right)\right)\right]\left({u}_{n}^{+}-{u}^{+}\right).\end{array}$
(18)
Since ${u}_{n}^{+}\to {u}^{+}$ in $C\left[0,2\pi \right]$, it is then easy to verify
${\int }_{0}^{2\pi }\left[f\left(t,{u}_{n}\right)-f\left(t,u\right)\right]\left({u}_{n}^{+}-{u}^{+}\right)\phantom{\rule{0.2em}{0ex}}dt\to 0\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\left[{g}_{k}\left({u}_{n}\left({t}_{k}\right)\right)-{g}_{k}\left(u\left({t}_{k}\right)\right)\right]\left({u}_{n}^{+}-{u}^{+}\right)\to 0.$

Combining this with $〈\stackrel{˙}{\varphi }\left({u}_{n}\right)-\stackrel{˙}{\varphi }\left(u\right),{u}_{n}^{+}-{u}^{+}〉\to 0$, as $n\to \mathrm{\infty }$ and (18), we have ${u}_{n}^{+}\to {u}^{+}$ in ${H}^{1}$. Similarly, ${u}_{n}^{-}\to {u}^{-}$ in ${H}^{1}$ and hence ${u}_{n}\to u$ in ${H}^{1}$, that is, ϕ satisfies the (PS) condition. □

### Proof of Theorem 3.1

We prove that ϕ satisfies the other conditions of Theorem A.

Step 1: By (H3) and (H4), we have
$F\left(t,u\right)\le {a}_{1}+{a}_{2}{|u|}^{d+1}.$
By (H4), for any $\epsilon >0$, there exists $\delta >0$ such that
$F\left(t,u\right)\le \epsilon {|u|}^{2},\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\in \left[0,2\pi \right],|u|<\delta .$
Therefore, there exists $M=M\left(\epsilon \right)>0$ such that
$F\left(t,u\right)\le \epsilon {|u|}^{2}+M{|u|}^{d+1},\phantom{\rule{1em}{0ex}}\mathrm{\forall }\left(t,u\right)\in \left[0,2\pi \right]×{\mathbb{R}}^{n}.$
Combining this with (2), we have
${\int }_{0}^{2\pi }F\left(t,u\right)\phantom{\rule{0.2em}{0ex}}dt\le \epsilon {\parallel u\parallel }_{{L}^{2}}^{2}+M{\parallel u\parallel }_{{L}^{d+1}}^{d+1}\le \left(\epsilon {a}_{3}+{a}_{4}M{\parallel u\parallel }^{d-1}\right){\parallel u\parallel }^{2}.$
Consequently, by (H1), for $u\in {E}_{1}$,
$\varphi \left(u\right)\ge \frac{1}{2}{\parallel u\parallel }^{2}-\left(\epsilon {a}_{3}+{a}_{4}M{\parallel u\parallel }^{d-1}\right){\parallel u\parallel }^{2}.$
Choose $\epsilon ={\left(6{a}_{3}\right)}^{-1}$ and ρ such that $6M{a}_{4}{\rho }^{d-1}=1$. Then for any $u\in \partial {B}_{\rho }\cap {E}_{1}$,
$\varphi \left(u\right)\ge \frac{1}{6}{\rho }^{2}.$
(19)

Thus ϕ satisfies (i) of (I3) with $S=\partial {B}_{\rho }\cap {E}_{1}$ and $\tau =\frac{1}{6}{\rho }^{2}$.

Step 2: Let $e\in {E}_{1}$ with $\parallel e\parallel =1$ and $\stackrel{˜}{E}={E}_{2}\oplus span\left\{e\right\}$. We denote
$J=\left\{u\in \stackrel{˜}{E}:\parallel u\parallel =1\right\}.$
For $u\in J$, we write $u={u}^{+}+{u}^{-}$, where ${u}^{+}\in span\left\{e\right\}$, ${u}^{-}\in {E}_{2}$.
1. (i)
If $\parallel {u}^{-}\parallel \ge 2\parallel {u}^{+}\parallel$, one has ${\parallel {u}^{-}\parallel }^{2}\le {\parallel u\parallel }^{2}=1\le \frac{5}{4}{\parallel {u}^{-}\parallel }^{2}$. By (H2) and (H5) there exists ${r}_{1}>0$, for any $r>{r}_{1}$,
$\begin{array}{rcl}\varphi \left(ru\right)& =& \frac{1}{2}{r}^{2}{\parallel {u}^{+}\parallel }^{2}-\frac{1}{2}{r}^{2}{\parallel {u}^{-}\parallel }^{2}-{\int }_{0}^{2\pi }F\left(t,ru\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+\sum _{k=1}^{2m+1}{G}_{k}\left(ru\left({t}_{k}\right)\right)\\ \le & -\frac{3}{10}{r}^{2}{\parallel u\parallel }^{2}+{a}_{5}{r}^{\gamma +1}{\parallel u\parallel }^{\gamma +1}\\ =& -\frac{3}{10}{r}^{2}+{a}_{5}{r}^{\gamma +1}\le 0.\end{array}$

1. (ii)
If $\parallel {u}^{-}\parallel \le 2\parallel {u}^{+}\parallel$, one has ${\parallel u\parallel }^{2}=1={\parallel {u}^{-}\parallel }^{2}+{\parallel {u}^{+}\parallel }^{2}\le 5{\parallel {u}^{+}\parallel }^{2}$, which implies that
${\parallel {u}^{+}\parallel }^{2}\ge \frac{1}{5}>0.$
(20)

Denote $\stackrel{˜}{J}=\left\{u\in J:\parallel {u}^{-}\parallel \le 2\parallel {u}^{+}\parallel \right\}$.

Claim: There exists ${\epsilon }_{1}>0$ such that, $\mathrm{\forall }u\in \stackrel{˜}{J}$,
$meas\left\{t\in \left[0,2\pi \right]:|u\left(t\right)|\ge {\epsilon }_{1}\right\}\ge {\epsilon }_{1}.$
(21)
For otherwise, $\mathrm{\forall }j>0$, $\mathrm{\exists }{u}_{j}\in \stackrel{˜}{J}$ such that
$meas\left\{t\in \left[0,2\pi \right]:|u\left(t\right)|\ge \frac{1}{j}\right\}<\frac{1}{j}.$
(22)
Write ${u}_{j}={u}_{j}^{+}+{u}_{j}^{-}\in \stackrel{˜}{E}$. Notice that $dim\left(span\left\{e\right\}\right)<+\mathrm{\infty }$ and $\parallel {u}_{j}^{+}\parallel \le 1$. In the sense of subsequence, we have
Then (20) implies that
${\parallel {u}_{0}^{+}\parallel }^{2}\ge \frac{1}{5}>0.$
(23)
Note that $\parallel {u}_{j}^{-}\parallel \le 1$, in the sense of subsequence ${u}_{j}^{-}⇀{u}_{0}^{-}\in {E}_{2}$ as $j\to \mathrm{\infty }$. Thus in the sense of subsequences,
This means that ${u}_{j}\to {u}_{0}$ in ${L}^{2}$, i.e.,
(24)
By (23) we know that $\parallel {u}_{0}\parallel >0$. Therefore, ${\int }_{0}^{2\pi }{|{u}_{0}|}^{2}\phantom{\rule{0.2em}{0ex}}dt>0$. Then there exist ${\delta }_{1}>0$, ${\delta }_{2}>0$ such that
$meas\left\{t\in \left[0,2\pi \right]:|{u}_{0}\left(t\right)|\ge {\delta }_{1}\right\}\ge {\delta }_{2}.$
(25)
Otherwise, for all $n>0$, we must have
$meas\left\{t\in \left[0,2\pi \right]:|{u}_{0}\left(t\right)|\ge \frac{1}{n}\right\}=0,$
i.e.,
$meas\left\{t\in \left[0,2\pi \right]:|{u}_{0}\left(t\right)|<\frac{1}{n}\right\}=2\pi .$
We have
We get a contradiction. Thus (25) holds. Let ${\mathrm{\Omega }}_{0}=\left\{t\in \left[0,2\pi \right]:|{u}_{0}\left(t\right)|\ge {\delta }_{1}\right\}$, ${\mathrm{\Omega }}_{j}=\left\{t\in \left[0,2\pi \right]:|{u}_{j}\left(t\right)|<\frac{1}{j}\right\}$, and ${\mathrm{\Omega }}_{j}^{\perp }=\left[0,2\pi \right]\setminus {\mathrm{\Omega }}_{j}$. By (22), we have
$meas\left({\mathrm{\Omega }}_{j}\cap {\mathrm{\Omega }}_{0}\right)=meas\left({\mathrm{\Omega }}_{0}-{\mathrm{\Omega }}_{0}\cap {\mathrm{\Omega }}_{j}^{\perp }\right)\ge meas\left({\mathrm{\Omega }}_{0}\right)-meas\left({\mathrm{\Omega }}_{0}\cap {\mathrm{\Omega }}_{j}^{\perp }\right)\ge {\delta }_{2}-\frac{1}{j}.$
Let j be large enough such that ${\delta }_{2}-\frac{1}{j}>\frac{{\delta }_{2}}{2}$ and ${\delta }_{1}-\frac{1}{j}>\frac{{\delta }_{1}}{2}$. Then we have
${|{u}_{j}\left(t\right)-{u}_{0}\left(t\right)|}^{2}\ge {\left({\delta }_{1}-\frac{1}{j}\right)}^{2}\ge {\left(\frac{{\delta }_{1}}{2}\right)}^{2},\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\in {\mathrm{\Omega }}_{j}\cap {\mathrm{\Omega }}_{0}.$
This implies that
$\begin{array}{rcl}{\int }_{0}^{2\pi }{|{u}_{j}-{u}_{0}|}^{2}\phantom{\rule{0.2em}{0ex}}dt& \ge & {\int }_{{\mathrm{\Omega }}_{j}\cap {\mathrm{\Omega }}_{0}}{|{u}_{j}-{u}_{0}|}^{2}\phantom{\rule{0.2em}{0ex}}dt\ge {\left(\frac{{\delta }_{1}}{2}\right)}^{2}\cdot meas\left({\mathrm{\Omega }}_{j}\cap {\mathrm{\Omega }}_{0}\right)\\ \ge & {\left(\frac{{\delta }_{1}}{2}\right)}^{2}\cdot \left({\delta }_{2}-\frac{1}{j}\right)\ge {\left(\frac{{\delta }_{1}}{2}\right)}^{2}\frac{{\delta }_{2}}{2}>0.\end{array}$
This is a contradiction to (24). Therefore the claim is true and (21) holds. For $u={u}^{+}+{u}^{-}\in \stackrel{˜}{J}$, let ${\mathrm{\Omega }}_{u}=\left\{t\in \left[0,2\pi \right]:|u\left(t\right)|\ge {\epsilon }_{1}\right\}$. By (H4), for ${a}_{6}=\frac{1}{{\epsilon }_{1}^{3}}>0$, there exists ${L}_{1}>0$ such that
Choose ${r}_{2}\ge \frac{{L}_{1}}{{\epsilon }_{1}}$. For $r\ge {r}_{2}$,
$F\left(t,ru\left(t\right)\right)\ge {a}_{6}{|ru\left(t\right)|}^{2}\ge {a}_{6}{r}^{2}{\epsilon }_{1}^{2},\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\in {\mathrm{\Omega }}_{u}.$
By (H5), for $r>{r}_{2}$,
$\begin{array}{rcl}\varphi \left(ru\right)& =& \frac{1}{2}{\parallel r{u}^{+}\parallel }^{2}-\frac{1}{2}{\parallel r{u}^{-}\parallel }^{2}-{\int }_{0}^{2\pi }F\left(t,u\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt+\sum _{k=1}^{2m+1}{G}_{k}\left(u\left({t}_{k}\right)\right)\\ \le & \frac{1}{2}{r}^{2}-{\int }_{{\mathrm{\Omega }}_{u}}F\left(t,ru\right)\phantom{\rule{0.2em}{0ex}}dt+\sum _{k=1}^{2m+1}a{|ru|}^{\gamma +1}\\ \le & \frac{1}{2}{r}^{2}-{a}_{6}{\epsilon }_{1}^{3}{r}^{2}+{a}_{7}{r}^{\gamma +1}\\ =& -\frac{1}{2}{r}^{2}+{a}_{7}{r}^{\gamma +1},\end{array}$
which implies that there exists ${r}_{3}>{r}_{2}$ such that for $r>{r}_{3}$
$\varphi \left(ru\right)\le 0\phantom{\rule{1em}{0ex}}\mathrm{\forall }u\in \stackrel{˜}{J}.$
Setting ${r}_{4}=max\left\{{r}_{1},{r}_{3}\right\}$, we have proved that for any $u\in J$ and $r\ge {r}_{4}$
$\varphi \left(ru\right)\le 0.$
(26)

Let $Q=\left\{re:0\le r\le 2{r}_{4}\right\}\oplus \left\{u\in {E}_{2}:\parallel u\parallel \le 2{r}_{4}\right\}$. By (26) we have $\varphi {|}_{\partial Q}\le 0$, i.e., ϕ satisfies (ii) of (I3) in Theorem A.

Finally, by Lemma 3.2, ϕ satisfies the (PS) condition. Similar to the proof of [30], we prove that S and ∂Q link. By Theorem A, there exists a critical point $u\in {H}^{1}$ of ϕ such that $\varphi \left(u\right)\ge \stackrel{˜}{a}>0$. Moreover, u is a classical solution of (IP) and u is nonconstant by (H5). The proof is completed. □

### Remark 3.2

In order to seek 2T-periodic solutions of more general systems
where f and impulsive effects are T-periodic in t, we make the substitution: $s=\frac{\pi }{T}t$ and $\lambda =\frac{T}{\pi }$. Thus the above systems transforms to

This implies that a 2π-periodic solution of the second systems corresponds to a 2T-periodic solution of the first one. Hence we will only look for the 2π-periodic solutions in the sequel.

## Declarations

### Acknowledgements

This research was supported by the National Natural Science Foundation of China (11271371, 51479215) and the Postgraduate research and innovation project of Hunan Province (CX2011B078).

## Authors’ Affiliations

(1)
School of Mathematics and Statistics, Central South University, Changsha, 410083, Hunan, P.R. China

## References

1. Carter TE: Necessary and sufficient conditions for optional impulsive rendezvous with linear equations of motions. Dyn. Control 2000, 10: 219-227. 10.1023/A:1008376427023
2. Liu X, Willms AR: Impulsive controllability of linear dynamical systems with applications to maneuvers of spacecraft. Math. Probl. Eng. 1996, 2: 277-299. 10.1155/S1024123X9600035X
3. Prado AFBA: Bi-impulsive control to build a satellite constellation. Nonlinear Dyn. Syst. Theory 2005, 5: 169-175.
4. Chen L, Sun J: Nonlinear boundary value problem for first order impulsive functional differential equations. J. Math. Anal. Appl. 2006, 318: 726-741. 10.1016/j.jmaa.2005.08.012
5. Yao M, Zhao A, Yan J: Periodic boundary value problems of second-order impulsive differential equations. Nonlinear Anal. TMA 2009, 70: 262-273. 10.1016/j.na.2007.11.050
6. Bai L, Dai B: Solvability of second-order Hamiltonian systems with impulses via variational method. Appl. Math. Comput. 2013, 219: 7542-7555. 10.1016/j.amc.2013.01.041
7. Nieto JJ, O’Regan D: Variational approach to impulsive differential equations. Nonlinear Anal., Real World Appl. 2009, 10: 680-690. 10.1016/j.nonrwa.2007.10.022
8. Sun J, Chen H, Nieto JJ, Otero-Novoa M: The multiplicity of solutions for perturbed second-order Hamiltonian systems with impulsive effects. Nonlinear Anal. 2010, 72: 4575-4586. 10.1016/j.na.2010.02.034
9. Sun J, Chu J: Periodic solution generated by impulses for singular differential equations. J. Math. Anal. Appl. 2013, 404: 562-569. 10.1016/j.jmaa.2013.03.036
10. 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. 2011, 53: 1844-1855. 10.1016/j.mcm.2011.01.006
11. Zhou J, Li Y: Existence of solutions for a class of second-order Hamiltonian systems with impulsive effect. Nonlinear Anal. 2010, 72: 1594-1603. 10.1016/j.na.2009.08.041
12. Samoilenko AM, Perestyuk NA: Impulsive Differential Equations. World Scientific, Singapore; 1995.Google Scholar
13. Haddad WM, Chellaboina C, Nersesov SG, Sergey G: Impulsive and Hybrid Dynamical Systems. Stability, Dissipativity, and Control. Princeton University Press, Princeton; 2006.Google Scholar
14. Zavalishchin ST, Sesekin AN: Dynamic Impulse System. Theory and Applications. Kluwer Academic, Dordrecht; 1997.
15. Chen D, Dai B: Periodic solutions of some impulsive Hamiltonian systems with convexity potentials. Abstr. Appl. Anal. 2012., 2012:Google Scholar
16. Lakshmikantham V, Bainov DD, Simeonov PS: Theory of Impulsive Differential Equations. World Scientific, Singapore; 1989.
17. Benchohra M, Henderson J, Ntouyas SK: Impulsive Differential Equations and Inclusions. Hindawi Publishing Corporation, New York; 2006.
18. Nieto JJ, Rodríguez-López R: Periodic boundary value problem for non-Lipschitzian impulsive functional differential equations. J. Math. Anal. Appl. 2006, 318: 593-610. 10.1016/j.jmaa.2005.06.014
19. Qian D, Li X: Periodic solutions for ordinary differential equations with sublinear impulsive effects. J. Math. Anal. Appl. 2005, 303: 288-303. 10.1016/j.jmaa.2004.08.034
20. Sun J, Chen H: The existence and multiplicity of solutions for an impulsive differential equation with two parameters via a variational method. Nonlinear Anal. TMA 2010, 73: 440-449. 10.1016/j.na.2010.03.035
21. Chen P, Tang X: Existence and multiplicity of solutions for second-order impulsive differential equations with Dirichlet problems. Appl. Math. Comput. 2012, 218: 11775-11789. 10.1016/j.amc.2012.05.027
22. Dai B, Zhang D: The existence and multiplicity of solutions for second-order impulsive differential equations on the half-line. Results Math. 2013, 63: 135-149. 10.1007/s00025-011-0178-x
23. Dai B, Guo J: Solvability of a second-order Hamiltonian system with impulsive effects. Bound. Value Probl. 2013., 2013: 10.1186/1687-2770-2013-151Google Scholar
24. He C, Liao Y: Existence and multiplicity of solutions to a boundary value problem for impulsive differential equations. J. Appl. Math. 2013., 2013:Google Scholar
25. Teng K, Zhang C: Existence of solution to boundary value problem for impulsive differential equations. Nonlinear Anal., Real World Appl. 2010, 11: 4431-4441. 10.1016/j.nonrwa.2010.05.026
26. Zhang H, Li Z: Variational approach to impulsive differential equations with periodic boundary conditions. Nonlinear Anal., Real World Appl. 2010, 11: 67-78. 10.1016/j.nonrwa.2008.10.016
27. Cheng R: The existence of periodic solutions for non-autonomous differential delay equations via minimax methods. Adv. Differ. Equ. 2009., 2009:Google Scholar
28. Guo C, Guo Z: Existence of multiple periodic solutions for a class of second-order delay differential equations. Nonlinear Anal., Real World Appl. 2009, 10: 3285-3297. 10.1016/j.nonrwa.2008.10.023
29. Mawhin J, Willem M: Critical Point Theory and Hamiltonian Systems. Springer, Berlin; 1989.
30. Rabinowitz PH: Minimax Methods in Critical Point Theory with Applications to Differential Equations. Am. Math. Soc., Providence; 1986.Google Scholar