# Multiple periodic solutions for second order Josephson-type differential systems

## Abstract

In this paper, some new existence theorems are obtained for multiple periodic solutions of second order Josephson-type differential systems with partially periodic potential by using the minimax methods in critical point theory, which generalize and improve some known results in the literature.

## 1 Introduction

In this paper, we study the second order Josephson-type differential systems

$$\textstyle\begin{cases} \ddot{u}(t)+Au(t)-\nabla F(t,u(t))=h(t), &\mbox{a.e. } t\in [0,T], \\ u(0)-u(T)=\dot{u}(0)-\dot{u}(T)=0, \end{cases}$$
(1.1)

where A is an $$(N\times N)$$-symmetric matrix, $$h(t)\in L^{1}([0,T]; \mathbb{R}^{N})$$, $$T>0$$, $$\nabla F(t,x)$$ denotes its gradient with respect to the second variable, that is,

$$\nabla F(t,x)=\nabla_{x}F(t,x)= ( \partial F/\partial x_{1},\ldots ,\partial F/\partial x_{N} ) ,\qquad x(t)= \bigl(x_{1}(t),\ldots ,x_{N}(t) \bigr),$$

and $$F:[0,T]\times \mathbb{R}^{N}\rightarrow \mathbb{R}$$ satisfies the following assumptions:

(H1):

$$F(t,x)$$ is measurable in t for each $$x\in \mathbb{R}^{N}$$ and continuously differentiable in x for a.e. $$t\in [0,T]$$, and there exist $$a\in C(\mathbb{R}^{+},\mathbb{R}^{+})$$, $$b\in L^{1}([0,T]; \mathbb{R}^{+})$$ such that

$$\bigl\vert F(t,x) \bigr\vert \leq a \bigl(\vert x \vert \bigr)b(t), \qquad \bigl\vert \nabla F(t,x) \bigr\vert \leq a \bigl(\vert x \vert \bigr)b(t)$$

for all $$x\in \mathbb{R}^{N}$$ and a.e. $$t\in [0,T]$$.

(H2):

$$\operatorname{dim} N(A)=m\geq 1$$ and matrix A has no eigenvalue of the form $$k^{2}\upsilon^{2}$$ ($$k\in \mathbb{N}/\{0\}$$), where $$\upsilon =2 \pi /T$$.

(H3):

There exist linearly independent vectors $$e_{j}\in \mathbb{R}^{N}$$ ($$1 \leq j\leq m$$) such that

$$N(A)=\operatorname{span} \{e_{1},e_{2},\ldots ,e_{m}\}$$

and

$$\int_{0}^{T} \bigl(h(t),e_{j} \bigr) \,dt=0.$$

This problem (1.1) occurs in various branches of mathematical physics, for example, when $$A=N^{2}D^{2}$$ and $$-\nabla F(t,u(t))=f(u(t))=(a _{1}\sin u_{1},\ldots ,a_{N}\sin u_{N})$$, problem (1.1) reduces to the nonlinear systems of the form

$$\textstyle\begin{cases} \ddot{u}(t)+N^{2}D^{2}u(t)+f(u(t))=h(t), &\mbox{a.e. }t\in [0,T], \\ u(0)-u(T)=\dot{u}(0)-\dot{u}(T)=0, \end{cases}$$
(1.2)

where D is an $$(N\times N)$$-symmetric matrix. This type of problem can be applied to describe the motion of forced linearly coupled pendulums.

During the past two decades, the existence of periodic solutions for second order differential systems have been studied extensively, and many solvability conditions have been obtained via variational methods and critical point theory. In this direction we mention the papers , and we refer the reader to  for a broad introduction to variational methods and critical point theory. It might be also interesting to study the above mentioned abstract equations with more general potentials, see the paper .

In the classical monograph , Mawhin and Willem proved that problem (1.1) has at least one solution by using the saddle point theorem under the following bounded condition: there exists $$g\in L^{1}([0,T]; \mathbb{R}^{+})$$ such that

$$\bigl\vert F(t,x) \bigr\vert + \bigl\vert \nabla F(t,x) \bigr\vert \leq g(t)$$
(1.3)

for all $$x\in \mathbb{R}^{N}$$ and a.e. $$t\in [0,T]$$. They obtained the following result.

### Theorem A



Suppose that F satisfies (H1)-(H3), (1.3) and

(H4):

there exists $$T_{j}>0$$ such that

$$F ( t,x+T_{j}e_{j} ) =F(t,x), \quad 1\leq j\leq m,$$

for all $$x\in \mathbb{R}^{N}$$ and a.e. $$t\in [0,T]$$. Then Eq. (1.1) has at least one solution in $$H_{T}^{1}$$, where the Sobolev space $$H_{T}^{1}$$ is defined by

\begin{aligned} H_{T}^{1}&= \bigl\{ u:[0,T]\rightarrow \mathbb{R}^{N} \mid \textit{u is absolutely continuous}, \\ &\quad u(0)=u(T) \textit{ and } \dot{u}\in L^{2} \bigl([0,T]; \mathbb{R}^{N} \bigr) \bigr\} \end{aligned}

and $$H_{T}^{1}$$ is a Hilbert space with the norm

$$\Vert u \Vert = \biggl( \int_{0}^{T} \bigl\vert \dot{u}(t) \bigr\vert ^{2}\,dt+ \int_{0}^{T} \bigl\vert u(t) \bigr\vert ^{2}\,dt \biggr) ^{\frac{1}{2}}, \quad u\in H_{T}^{1}.$$

When the nonlinearity $$\nabla F(t,x)$$ is sublinear, that is, there exist $$f,g\in L^{1}([0,T];\mathbb{R}^{+})$$ and $$\alpha \in [0,1)$$ such that

$$\bigl\vert \nabla F(t,x) \bigr\vert \leq f(t)\vert x \vert ^{\alpha }+g(t)$$
(1.4)

for all $$x\in \mathbb{R}^{N}$$ and a.e. $$t\in [0,T]$$, Tang [12, 13] researched the existence of periodic solutions for system (1.1) in the case $$A\equiv 0$$.

Subsequently, Feng and Han  generalized Theorem A to the sublinear case, and they assume that the following assumptions hold:

(H5):

There exist $$T_{j}>0$$, $$1\leq r\leq m$$ such that

$$F ( t,x+T_{j}e_{j} ) =F(t,x), \quad 1\leq j\leq r,$$

for all $$x\in \mathbb{R}^{N}$$ and a.e. $$t\in [0,T]$$.

(H6):

$$\lim_{\Vert x \Vert \rightarrow \infty }\frac{\int_{0}^{T}F(t,x)\,dt}{ \Vert x \Vert ^{2\alpha }}=-\infty , \mbox{as } x\in N(A)\ominus \operatorname{span}\{e_{1},e_{2},\ldots ,e_{r}\}$$.

### Theorem B



Suppose that F satisfies (H1)-(H3), (H5)-(H6) and (1.4). Then Eq. (1.1) has at least $$r+1$$ distinct solutions in $$H_{T}^{1}$$.

In , the author obtained the following result.

### Theorem C



Suppose that F satisfies (H1)-(H3), (H5), (1.4) and the following generalized Ahmad-Lazer-Paul type coercive conditions:

(H7):

$$\lim_{\Vert x \Vert \rightarrow \infty }\frac{\int_{0}^{T}F(t,x)\,dt}{\Vert x \Vert ^{2\alpha }}<-L$$, as $$x\in N(A)\ominus \operatorname{span}\{e_{1},e_{2},\ldots ,e_{r}\}$$, where L is a positive constant. Then Eq. (1.1) has at least $$r+1$$ distinct solutions in $$H_{T}^{1}$$.

In this paper, we use a more general control function instead of $$\vert x \vert ^{\alpha }$$ in (1.4). By using the generalized saddle point theorem due to Liu , we can prove the existence of multiple periodic solutions for the second order Josephson-type differential systems for a new and large range of the nonlinear term.

## 2 Preliminaries

In , Mawhin and Willem established a variational structure which enables us to reduce the existence of solutions for problem (1.1) to the existence of critical points of the following energy functional. Define the energy functional associated with problem (1.1) on $$H_{T}^{1}$$

\begin{aligned} \varphi (u)&=\frac{1}{2} \int_{0}^{T} \bigl\vert \dot{u}(t) \bigr\vert ^{2}\,dt- \frac{1}{2} \int_{0}^{T} \bigl(Au(t),u(t) \bigr)\,dt+ \int_{0}^{T}F \bigl(t,u(t) \bigr)\,dt \\ &\quad {} + \int_{0}^{T} \bigl(h(t),u(t) \bigr)\,dt. \end{aligned}

It follows from assumption (H1) that the functional φ is continuously differentiable. Moreover, one has

\begin{aligned} \bigl\langle \varphi '(u),v \bigr\rangle &= \int_{0}^{T} \bigl(\dot{u}(t),\dot{v}(t) \bigr)\,dt- \int_{0}^{T} \bigl(Au(t),v(t) \bigr)\,dt+ \int_{0}^{T} \bigl(\nabla F \bigl(t,u(t) \bigr),v(t) \bigr)\,dt \\ & \quad{}+ \int_{0}^{T} \bigl(h(t),v(t) \bigr)\,dt,\quad \forall u,v\in H_{T}^{1}. \end{aligned}

Then the solutions of problem (1.1) correspond to the critical points of φ (see ).

Let

$$q(u)= \int_{0}^{T} \bigl[ \bigl\vert \dot{u}(t) \bigr\vert ^{2}- \bigl(Au(t),u(t) \bigr) \bigr]\,dt.$$

Therefore, we can see that

\begin{aligned} q(u)&=\Vert u \Vert ^{2}- \int_{0}^{T} \bigl((A+I)u(t),u(t) \bigr)\,dt \\ & = \bigl\langle (I-K)u,u \bigr\rangle , \end{aligned}

where I denotes the identity operator on $$H_{T}^{1}$$ and $$K:H_{T} ^{1}\rightarrow H_{T}^{1}$$ is the linear self-adjoint operator defined, using Riesz representation theorem, by

$$\int_{0}^{T} \bigl((A+I)u(t),v(t) \bigr)\,dt=(Ku,v), \quad \forall u,v\in H_{T} ^{1}.$$

It is easy to see that K is compact. By classical spectral theory, we can decompose $$H_{T}^{1}$$ into the orthogonal sum of invariant subspaces for $$I-K$$

$$H_{T}^{1}=H^{-}\oplus H^{0}\oplus H^{+},$$

where $$H^{0}=\mathrm{Ker}(I-K)=N(A)$$ and $$\operatorname{dim} H^{-}<+\infty$$, for some $$\delta >0$$, we have

\begin{aligned}& q(u)\leq -\delta \Vert u \Vert ^{2},\quad \forall u\in H^{-}, \end{aligned}
(2.1)
\begin{aligned}& q(u)\geq \delta \Vert u \Vert ^{2},\quad \forall u\in H^{+}. \end{aligned}
(2.2)

### Lemma 2.1



There is a continuous embedding $$H_{T}^{1}\hookrightarrow C([0,T],\mathbb{R}^{N})$$, and the embedding is compact. Then there exists $$C_{0}>0$$ such that

$$\Vert u \Vert _{\infty }:=\max_{0\leq t\leq T} \bigl\vert u(t) \bigr\vert \leq C_{0}\Vert u \Vert ,\quad \forall u\in H_{T}^{1}.$$
(2.3)

Define

$$Y_{0}=\operatorname{span}\{e_{1},e_{2},\ldots ,e_{r}\}, \qquad Y_{1}=N(A)\ominus Y_{0}= \operatorname{span} \{e_{r+1},e_{r+2},\ldots ,e_{m} \},$$

then

$$u(t)=u^{-}(t)+u^{+}(t)+Pu^{0}+Qu^{0},$$

where $$u^{-}\in H^{-}, u^{+}\in H^{+}$$, $$Pu^{0}\in Y_{1}$$ and $$Qu^{0}=\sum_{j=1}^{r}c_{j}e_{j}$$. Let

$$G= \Biggl\{ \sum_{i=1}^{r}k_{i}T_{i}e_{i} \Bigm| k_{i}\in \mathbb{Z},1\leq i\leq r \Biggr\}$$

be a discrete subgroup of $$H_{T}^{1}$$, where $$\mathbb{Z}$$ is the set of all integers, and let $$\pi :H_{T}^{1}\rightarrow H_{T}^{1}/G$$ be the canonical surjection. Let

$$H_{T}^{1}/G=X\times V=(W\oplus Z)\times V,$$

where $$W=H^{+}$$, $$Z=H^{-}\oplus Y_{1}$$, $$V=Y_{0}/G$$, then $$\dim Z<+ \infty$$, $$\dim V<+\infty$$, and V is isomorphic to the torus $$T^{r}$$. The element in V can be represented as

$$Q\hat{u}^{0}=\sum_{j=1}^{r} \hat{c}_{j}e_{j},$$

where $$\hat{c}_{j}=c_{j}-k_{j}T_{j}$$, $$0\leq \hat{c}_{j}< T_{j}$$. Let

$$\hat{u}(t)=u^{-}(t)+u^{+}(t)+Pu^{0}+Q \hat{u}^{0}.$$

By (H3) and (H5), we have

\begin{aligned}& F \bigl(t,u(t) \bigr) = F \Biggl( t,\hat{u}(t)+\sum _{i=1}^{r}k_{i}T_{i}e_{i} \Biggr) =F \bigl(t, \hat{u}(t) \bigr), \\& \nabla F \bigl(t,u(t) \bigr) =\nabla F \Biggl( t,\hat{u}(t)+\sum _{i=1}^{r}k_{i}T_{i}e_{i} \Biggr) =\nabla F \bigl(t,\hat{u}(t) \bigr), \end{aligned}

and

$$\int_{0}^{T} \bigl(h(t),u(t) \bigr)\,dt= \int_{0}^{T} \Biggl( h(t),\hat{u}(t)+ \sum _{i=1}^{r}k_{i}T_{i}e_{i} \Biggr)\,dt= \int_{0}^{T} \bigl(h(t), \hat{u}(t) \bigr)\,dt.$$

Thus, $$\varphi (u)=\varphi (\hat{u})$$, $$\varphi '(u)=\varphi '( \hat{u})$$. Define $$\psi : X\times V\mapsto \mathbb{R}$$: $$\psi (\pi (u))= \varphi (u)$$, then ψ is well defined. Moreover, ψ is continuously differentiable and

$$\psi \bigl(\pi (u) \bigr)=\psi \bigl(\pi (\hat{u}) \bigr),\qquad \psi ' \bigl(\pi (u) \bigr)=\psi ' \bigl(\pi (\hat{u}) \bigr).$$

### Definition 2.1



Suppose that ψ satisfies the (PS) condition, that is, every sequence $$\{x_{n}\}$$ of $$X\times V$$ such that $$\psi \{x_{n}\}$$ is bounded and $$\psi '\{x_{n}\}\rightarrow 0$$ as $$n\rightarrow \infty$$ possesses a convergent subsequence.

### Lemma 2.2

The generalized saddle point theorem 

Let X be a Banach space with a decomposition $$X=Z+W$$, where Z and W are two subspaces of X with $$\dim Z<+\infty$$. Let V be a finite-dimensional, compact $$C^{2}$$-manifold without boundary. Let $$\psi :X\times V\rightarrow \mathbb{R}$$ be a $$C^{1}$$-function satisfying the (PS) condition. Suppose that there exist constants $$\rho >0$$ and $$\gamma <\beta$$ such that

\begin{aligned}& \textup{(a)}\quad \inf_{x\in W\times V}\psi (x)\geq \beta , \\& \textup{(b)} \quad \sup_{x\in S\times V}\psi (x)\leq \gamma , \end{aligned}

where $$S=\partial D$$, $$D=\{z\in Z\mid \vert z \vert \leq \rho \}$$. Then the functional ψ has at least $$\operatorname{cuplength}(V)+1$$ critical points.

## 3 Main results

Here are our main results.

### Theorem 3.1

Suppose that assumptions (H1)-(H3), (H5) hold and there exist constants $$M_{i}>0$$, $$i=0,1,2$$, and a nonnegative function $$\omega \in C([0,\infty ),[0,\infty ))$$ with the properties:

(ω1):

$$\omega (s)\leq \omega (t)$$, $$\forall s\leq t, s,t \in [0,\infty )$$;

(ω2):

$$\omega (s+t)\leq M_{0}(\omega (s)+\omega (t))$$, $$\forall s,t\in [0,\infty )$$;

(ω3):

$$0\leq \omega (s)\leq M_{1}s+M_{2}$$, $$\forall s,t \in [ 0,\infty )$$;

(ω4):

$$\omega (s)\rightarrow +\infty$$ as $$s\rightarrow +\infty$$.

Moreover, there exist constant $$a>3$$ and $$f,g\in L ^{1}([0,T];\mathbb{R}^{+})$$ with

$$\int_{0}^{T}f(t)\,dt< \frac{\delta }{(2+a)M_{0}M_{1}C_{0}^{2}}$$
(3.1)

such that

$$\bigl\vert \nabla F(t,x) \bigr\vert \leq f(t)\omega \bigl(\vert x \vert \bigr)+g(t)$$
(3.2)

for all $$x\in \mathbb{R}^{N}$$ and a.e. $$t\in [0,T]$$, and

$$\limsup_{\vert x \vert \rightarrow \infty }\frac{\int_{0}^{T}F(t,x)\,dt}{ \omega^{2}(\vert x \vert )}< - \biggl( \frac{15}{2} \frac{1}{2a-1}+\frac{3}{2} \biggr) \frac{M_{0}}{M_{1}} \int_{0}^{T}f(t)\,dt$$
(3.3)

as $$x\in N(A)\ominus \operatorname{span}\{e_{1},e_{2},\ldots ,e_{r}\}$$. Then Eq. (1.1) has at least $$r+1$$ distinct solutions in $$H_{T}^{1}$$.

### Theorem 3.2

Suppose that assumptions (H1)-(H3), (H5), (3.1), (3.2) hold and

$$\liminf_{\vert x \vert \rightarrow \infty }\frac{\int_{0}^{T}F(t,x)\,dt}{ \omega^{2}(\vert x \vert )}> \biggl( \frac{15}{2} \frac{1}{2a-1}+\frac{3}{2} \biggr) \frac{M _{0}}{M_{1}} \int_{0}^{T}f(t)\,dt$$

as $$x\in N(A)\ominus \operatorname{span}\{e_{1},e_{2},\ldots ,e_{r}\}$$. Then Eq. (1.1) has at least $$r+1$$ distinct solutions in $$H_{T}^{1}$$.

By Theorems 3.1 and 3.2, it is easy to obtain the following corollary.

### Corollary 3.1

Suppose that assumptions (H1)-(H3), (H5), (3.1), (3.2) hold and

$$\lim_{\vert x \vert \rightarrow \infty }\frac{\int_{0}^{T}F(t,x)\,dt}{ \omega^{2}(\vert x \vert )}=+\infty \quad (\textit{or } {-} \infty )$$

as $$x\in N(A)\ominus \operatorname{span}\{e_{1},e_{2},\ldots ,e_{r}\}$$. Then Eq. (1.1) has at least $$r+1$$ distinct solutions in $$H_{T}^{1}$$.

### Remark 3.1

(i) When $$A\equiv 0$$, assumptions (ω1)-(ω4) and condition (3.2) were introduced in . Comparing with the results in , the periodicity and coercivity conditions in our Theorem 3.1 are only in a part of variables of potentials, and we obtained multiplicity of periodic solutions for problem (1.1).

(ii) To show that our Theorem 3.1 is new, we give an example to illustrate our result. For example, let $$1\leq r\leq m$$, $$x=(x_{1},x _{2},\ldots ,x_{N})^{T}\in \mathbb{R}^{N}$$, and

\begin{aligned} F(t,x)&= \biggl( \frac{2}{5}T-t \biggr) \ln^{2} \Biggl[ 1+ \Biggl( r+1+\sum_{j=1}^{r} \sin^{2}x_{j}+\frac{1}{2}\sum _{j=r+1}^{N}x _{j}^{2} \Biggr) \Biggr] \\ &\quad {}+ \bigl(T^{3}-t \bigr)\ln \Biggl[ 1+ \Biggl( r+1+\sum _{j=1}^{r}\sin ^{2}x_{j}+ \frac{1}{2}\sum_{j=r+1}^{N}x_{j}^{2} \Biggr) \Biggr] , \end{aligned}

let $$\omega (\vert x \vert )=\ln [1+(r+1+\vert x \vert ^{2})]$$. Then F satisfies all the conditions of Theorem 3.1, but not covered by the results of .

For example, let $$x=(x_{1},x_{2},\ldots ,x_{N})^{T}\in \mathbb{R}^{N}$$, $$\omega (\vert x \vert )=\vert x \vert$$ and

\begin{aligned} F(t,x) &= \biggl( \frac{5}{6}T-t \biggr) \Biggl( r+1+\sum _{j=1} ^{r}\sin^{2}x_{j}+ \frac{1}{2}\sum_{j=r+1}^{N}x_{j}^{2} \Biggr) \\ & \quad{}+ \bigl(T^{3}-t \bigr) \Biggl( r+1+\sum _{j=1}^{r}\sin^{2}x _{j}+ \frac{1}{2}\sum_{j=r+1}^{N}x_{j}^{2} \Biggr) ^{ \frac{1}{2}}, \end{aligned}

where $$1\leq r\leq m$$. Then F satisfies all the conditions of Theorem 3.2, but not covered by the results of .

For the sake of convenience, we denote by $$C_{i}$$ ($$i=1,2,3,\ldots ,33$$) various positive constants.

### Proof of Theorem 3.1

First, we prove that ψ satisfies the (PS) condition. Let $$\pi :W_{T}^{1,p(t)}\rightarrow W_{T}^{1,p(t)}/G$$ be the canonical surjection. Define $$\psi : X\times V\mapsto \mathbb{R}$$ by $$\psi ( \pi (u))=\varphi (u)$$. Assume that $$(\pi (u_{n}))$$ is a (PS) sequence for ψ, that is, $$\psi (\pi (u_{n}))$$ is bounded and $$\psi '( \pi (u_{n}))\rightarrow 0$$. Then $$\varphi (u_{n})$$ is bounded and $$\varphi '(u_{n})\rightarrow 0$$.

We can get from (ω1), (ω2), and (ω3) that

\begin{aligned} \omega \bigl( \bigl\vert \hat{u}(t) \bigr\vert \bigr) &=\omega \bigl( \bigl\vert u^{+}(t)+u^{-}(t)+Q\hat{u}^{0}+Pu^{0} \bigr\vert \bigr) \\ &\leq \omega \bigl( \bigl\vert u^{+} \bigr\vert + \bigl\vert u^{-} \bigr\vert + \bigl\vert Q\hat{u}^{0} \bigr\vert + \bigl\vert Pu^{0} \bigr\vert \bigr) \\ &\leq M_{0} \bigl[\omega \bigl( \bigl\vert u^{+} \bigr\vert + \bigl\vert u^{-} \bigr\vert + \bigl\vert Q \hat{u}^{0} \bigr\vert \bigr)+\omega \bigl( \bigl\vert Pu^{0} \bigr\vert \bigr) \bigr] \\ &\leq M_{0} \bigl[M_{1} \bigl( \bigl\vert u^{+} \bigr\vert + \bigl\vert u^{-} \bigr\vert + \bigl\vert Q \hat{u}^{0} \bigr\vert \bigr)+M_{2} \bigr]+M_{0} \omega \bigl( \bigl\vert Pu^{0} \bigr\vert \bigr) \\ &\leq M_{0}M_{1} \bigl( \bigl\Vert u^{+} \bigr\Vert _{\infty }+ \bigl\Vert u^{-} \bigr\Vert _{\infty } \bigr)+M_{0}M_{1} \bigl\vert Q \hat{u}^{0} \bigr\vert +M_{0}M_{2} \\ & \quad {}+M_{0}\omega \bigl( \bigl\vert Pu^{0} \bigr\vert \bigr). \end{aligned}
(3.4)

By (2.3) and the boundedness of $$\vert Q\hat{u}^{0} \vert$$, we have

\begin{aligned}& \biggl\vert \int_{0}^{T} \bigl(\nabla F \bigl(t,\hat{u}(t) \bigr),u^{+}(t) \bigr)\,dt \biggr\vert \\& \quad \leq \int_{0}^{T}f(t)\omega \bigl( \bigl\vert \hat{u}(t) \bigr\vert \bigr) \bigl\vert u^{+}(t) \bigr\vert \,dt+ \int_{0}^{T}g(t) \bigl\vert u^{+}(t) \bigr\vert \,dt \\& \quad \leq M_{0}M_{1} \int_{0}^{T}f(t)\,dt \bigl( \bigl\Vert u^{+} \bigr\Vert ^{2}_{ \infty }+ \bigl\Vert u^{-} \bigr\Vert _{\infty } \bigl\Vert u^{+} \bigr\Vert _{\infty } \bigr) \\& \qquad {}+M_{0} \int_{0}^{T}f(t)\,dt \omega \bigl( \bigl\vert Pu^{0} \bigr\vert \bigr) \bigl\Vert u^{+} \bigr\Vert _{\infty }+C_{1} \bigl\Vert u^{+} \bigr\Vert _{\infty } \\& \quad \leq M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \bigl( \bigl\Vert u^{+} \bigr\Vert ^{2}+ \bigl\Vert u^{-} \bigr\Vert \bigl\Vert u^{+} \bigr\Vert \bigr) \\& \qquad {}+M_{0}C_{0} \int_{0}^{T}f(t)\,dt \omega \bigl( \bigl\vert Pu^{0} \bigr\vert \bigr) \bigl\Vert u^{+} \bigr\Vert +C_{2} \bigl\Vert u^{+} \bigr\Vert \\& \quad \leq M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \biggl( \bigl\Vert u^{+} \bigr\Vert ^{2}+\frac{\Vert u^{-} \Vert ^{2}+\Vert u^{+} \Vert ^{2}}{2} \biggr) \\& \qquad {}+M_{0}C_{0} \int_{0}^{T}f(t)\,dt \frac{\frac{\omega^{2}(\vert Pu^{0} \vert )}{M_{1}C_{0}}+M_{1}C_{0}\Vert u^{+} \Vert ^{2}}{2}+C_{2} \bigl\Vert u^{+} \bigr\Vert \\& \quad =M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \biggl( 2 \bigl\Vert u^{+} \bigr\Vert ^{2}+\frac{1}{2} \bigl\Vert u^{-} \bigr\Vert ^{2} \biggr) \\& \quad \quad {}+\frac{1}{2}\frac{M_{0}}{M_{1}} \int_{0}^{T}f(t)\,dt \omega^{2} \bigl( \bigl\vert Pu^{0} \bigr\vert \bigr)+C_{2} \bigl\Vert u^{+} \bigr\Vert . \end{aligned}
(3.5)

From (H3) and (2.3), we obtain that

\begin{aligned} \biggl\vert \int_{0}^{T} \bigl(h(t),u^{+}(t) \bigr) \,dt \biggr\vert &\leq \bigl\Vert u^{+} \bigr\Vert _{ \infty } \int_{0}^{T} \bigl\vert h(t) \bigr\vert \,dt \\ &\leq C_{0} \bigl\Vert u^{+} \bigr\Vert \int_{0}^{T} \bigl\vert h(t) \bigr\vert \,dt. \end{aligned}
(3.6)

It follows from (2.2), (3.5), and (3.6) that

\begin{aligned} \bigl\Vert u^{+}_{n} \bigr\Vert &\geq \bigl\langle \varphi '(u_{n}),u^{+}_{n} \bigr\rangle \\ &= \bigl\langle \varphi '(\hat{u}_{n}),u^{+}_{n} \bigr\rangle \\ &= \int_{0}^{T} \bigl\vert \dot{u}_{n}^{+}(t) \bigr\vert ^{2}\,dt- \int_{0}^{T} \bigl(Au_{n}(t),u^{+}_{n}(t) \bigr)\,dt \\ & \quad {}+ \int_{0}^{T} \bigl(\nabla F \bigl(t, \hat{u}_{n}(t) \bigr),u^{+}_{n}(t) \bigr)\,dt+ \int_{0}^{T} \bigl(h(t),u^{+}_{n}(t) \bigr)\,dt \\ &\geq \biggl( \delta -2M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \biggr) \bigl\Vert u^{+}_{n} \bigr\Vert ^{2} \\ & \quad {}-\frac{1}{2}M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \bigl\Vert u^{-}_{n} \bigr\Vert ^{2} \\ & \quad {}-\frac{1}{2}\frac{M_{0}}{M_{1}} \int_{0}^{T}f(t)\,dt\omega^{2} \bigl( \bigl\vert Pu^{0}_{n} \bigr\vert \bigr)+C_{3} \bigl\Vert u^{+}_{n} \bigr\Vert \end{aligned}
(3.7)

for large n. So we have

\begin{aligned}& \frac{1}{2}M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \biggl( \bigl\Vert u^{-}_{n} \bigr\Vert ^{2}+\frac{\omega^{2}(\vert Pu^{0}_{n} \vert )}{M_{1}^{2}C_{0}^{2}} \biggr) \\& \quad \geq \biggl( \delta -2M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \biggr) \bigl\Vert u^{+}_{n} \bigr\Vert ^{2}-C_{4} \bigl\Vert u^{+}_{n} \bigr\Vert \\& \quad = \biggl[ \delta -(2+a)M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \biggr] \bigl\Vert u^{+}_{n} \bigr\Vert ^{2} \\& \qquad {} +aM_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \bigl\Vert u^{+}_{n} \bigr\Vert ^{2}-C_{4} \bigl\Vert u^{+}_{n} \bigr\Vert \\& \quad \geq aM_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \bigl\Vert u^{+}_{n} \bigr\Vert ^{2}+C_{5}, \end{aligned}

where $$C_{5}=\min_{s\in [0,+\infty )} \{ [ \delta -(2+a)M _{0}M_{1}C_{0}^{2}\int_{0}^{T}f(t)\,dt ] s^{2}-C_{4}s \}$$.

From (3.1), one has that $$(2+a)M_{0}M_{1}C_{0}^{2}\int_{0}^{T}f(t)\,dt<\delta$$, then $$C_{5}<0$$. Hence

$$\bigl\Vert u^{+}_{n} \bigr\Vert ^{2}\leq \frac{1}{2a} \biggl( \bigl\Vert u^{-}_{n} \bigr\Vert ^{2}+\frac{\omega ^{2}(\vert Pu^{0}_{n} \vert )}{M_{1}^{2}C_{0}^{2}} \biggr) +C_{6}.$$

In a similar way, we have

$$\bigl\Vert u^{-}_{n} \bigr\Vert ^{2}\leq \frac{1}{2a} \biggl( \bigl\Vert u^{+}_{n} \bigr\Vert ^{2}+\frac{\omega ^{2}(\vert Pu^{0}_{n} \vert )}{M_{1}^{2}C_{0}^{2}} \biggr) +C_{7}.$$

Combining the above two inequalities, one has that

\begin{aligned} \bigl\Vert u^{+}_{n} \bigr\Vert ^{2} &\leq \frac{1}{2a} \biggl( \bigl\Vert u^{-}_{n} \bigr\Vert ^{2}+\frac{\omega^{2}(\vert Pu^{0}_{n} \vert )}{M_{1}^{2}C_{0}^{2}} \biggr) +C_{6} \\ &\leq \frac{1}{4a^{2}} \bigl\Vert u^{+}_{n} \bigr\Vert ^{2}+\frac{1}{2a} \biggl( \frac{1}{2a}+1 \biggr) \frac{\omega^{2}(\vert Pu^{0}_{n} \vert )}{M_{1}^{2}C_{0}^{2}}+\frac{C_{7}}{2a}+C_{6}. \end{aligned}

Consequently,

$$\bigl\Vert u^{+}_{n} \bigr\Vert ^{2}\leq \frac{1}{2a-1}\frac{\omega^{2}(\vert Pu^{0}_{n} \vert )}{M _{1}^{2}C_{0}^{2}}+C_{8}.$$
(3.8)

Using similar arguments, we can prove that

$$\bigl\Vert u^{-}_{n} \bigr\Vert ^{2}\leq \frac{1}{2a-1} \frac{\omega^{2}(\vert Pu^{0}_{n} \vert )}{M _{1}^{2}C_{0}^{2}}+C_{9}.$$
(3.9)

By (3.5), (3.6), (3.7), (3.8), and (3.9), we have

\begin{aligned}& \int_{0}^{T} \bigl\vert \dot{u}_{n}^{+}(t) \bigr\vert ^{2} \,dt- \int_{0}^{T} \bigl(Au _{n}(t),u^{+}_{n}(t) \bigr)\,dt \\& \quad \leq \bigl\Vert u^{+}_{n} \bigr\Vert - \int_{0}^{T} \bigl(\nabla F \bigl(t, \hat{u}_{n}(t) \bigr),u ^{+}_{n}(t) \bigr)\,dt \\& \quad \quad {}- \int_{0}^{T} \bigl(h(t),u^{+}_{n}(t) \bigr)\,dt \\& \quad \leq M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \biggl( 2 \biggl\Vert u^{+}_{n} \biggl\Vert ^{2}+\frac{1}{2} \biggr\Vert u^{-}_{n} \biggr\Vert ^{2} \biggr) \\& \quad \quad {} +\frac{1}{2} \frac{M_{0}}{M_{1}} \int_{0}^{T}f(t)\,dt \omega^{2} \bigl( \bigl\vert Pu^{0} \bigr\vert \bigr)+C_{10} \bigl\Vert u^{+}_{n} \bigr\Vert \\& \quad \leq \biggl( \frac{5}{2} \frac{1}{2a-1}+\frac{1}{2} \biggr) \frac{M _{0}}{M_{1}} \int_{0}^{T}f(t)\,dt \omega^{2} \bigl( \bigl\vert Pu^{0}_{n} \bigr\vert \bigr) \\ & \quad \quad {} +C_{11} \omega \bigl( \bigl\vert Pu^{0}_{n} \bigr\vert \bigr)+C_{12}. \end{aligned}
(3.10)

In a similar way, we can obtain

\begin{aligned}& \int_{0}^{T} \bigl\vert \dot{u}_{n}^{-}(t) \bigr\vert ^{2}\,dt- \int_{0}^{T} \bigl(Au_{n}(t),u ^{-}_{n}(t) \bigr)\,dt \\ & \quad \leq \biggl( \frac{5}{2} \frac{1}{2a-1}+\frac{1}{2} \biggr) \frac{M _{0}}{M_{1}} \int_{0}^{T}f(t)\,dt \omega^{2} \bigl( \bigl\vert Pu^{0}_{n} \bigr\vert \bigr) \\ & \qquad {} +C_{13} \omega \bigl( \bigl\vert Pu^{0}_{n} \bigr\vert \bigr)+C_{14}. \end{aligned}
(3.11)

By (3.2) and (ω1), one has

\begin{aligned} & \biggl\vert \int_{0}^{T} F \bigl(t,\hat{u}_{n}(t) \bigr)\,dt- \int_{0}^{T} F \bigl(t,Pu _{n}^{0} \bigr)\,dt \biggr\vert \\ & \quad = \biggl\vert \int_{0}^{T} \int_{0}^{1} \bigl( \nabla F \bigl(t,Pu_{n} ^{0}+s \bigl(Q\hat{u}_{n}^{0}+u_{n}^{+}+u_{n}^{-} \bigr) \bigr),Q\hat{u}_{n}^{0}+u _{n}^{+}+u_{n}^{-} \bigr) \,ds\,dt \biggr\vert \\ & \quad \leq \int_{0}^{T} \int_{0}^{1}f(t) \omega \bigl( \bigl\vert Pu_{n}^{0} \bigr\vert + \bigl\vert Q \hat{u}_{n}^{0} \bigr\vert + \bigl\vert u_{n}^{+} \bigr\vert + \bigl\vert u_{n}^{-} \bigr\vert \bigr) \bigl( \bigl\vert Q\hat{u}_{n}^{0} \bigr\vert + \bigl\vert u_{n}^{+} \bigr\vert + \bigl\vert u_{n}^{-} \bigr\vert \bigr)\,ds\,dt \\ & \quad \quad{}+ \int_{0}^{T} \int_{0}^{1}g(t) \bigl( \bigl\vert Q \hat{u}_{n}^{0} \bigr\vert + \bigl\vert u_{n}^{+} \bigr\vert + \bigl\vert u_{n}^{-} \bigr\vert \bigr)\,ds\,dt. \end{aligned}

From (3.4), (2.3), and the boundedness of $$\vert Q\hat{u}^{0} \vert$$, we have

\begin{aligned} & \biggl\vert \int_{0}^{T} F \bigl(t,\hat{u}_{n}(t) \bigr)\,dt- \int_{0}^{T} F \bigl(t,Pu _{n}^{0} \bigr)\,dt \biggr\vert \\ & \quad \leq \int_{0}^{T}f(t)\,dt M_{0}M_{1} \bigl( \bigl\vert Q\hat{u}_{n}^{0} \bigr\vert + \bigl\Vert u_{n}^{+} \bigr\Vert _{\infty }+ \bigl\Vert u^{-}_{n} \bigr\Vert _{\infty } \bigr)^{2} \\ & \quad \quad {}+ \int_{0}^{T}f(t)\,dt M_{0}M_{2} \bigl( \bigl\vert Q\hat{u}_{n}^{0} \bigr\vert + \bigl\Vert u_{n}^{+} \bigr\Vert _{\infty }+ \bigl\Vert u_{n}^{-} \bigr\Vert _{\infty } \bigr) \\ & \quad \quad {} + \int_{0}^{T}f(t)\,dt M_{0} \omega \bigl( \bigl\vert Pu^{0}_{n} \bigr\vert \bigr) \bigl( \bigl\vert Q\hat{u}_{n}^{0} \bigr\vert + \bigl\Vert u_{n}^{+} \bigr\Vert _{\infty }+ \bigl\Vert u_{n}^{-} \bigr\Vert _{\infty } \bigr) \\ & \quad \quad {}+ \int_{0}^{T}g(t)\,dt \bigl( \bigl\vert Q \hat{u}_{n}^{0} \bigr\vert + \bigl\Vert u_{n}^{+} \bigr\Vert _{\infty }+ \bigl\Vert u_{n}^{-} \bigr\Vert _{\infty } \bigr) \\ & \quad \leq M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \bigl( \bigl\Vert u_{n}^{+} \bigr\Vert + \bigl\Vert u_{n}^{-} \bigr\Vert \bigr) ^{2} \\ & \quad \quad {}+M_{0}C_{0} \int_{0}^{T}f(t)\,dt \omega \bigl( \bigl\vert Pu_{n}^{0} \bigr\vert \bigr) \bigl( \bigl\Vert u_{n}^{+} \bigr\Vert + \bigl\Vert u_{n}^{-} \bigr\Vert \bigr) \\ & \quad \quad {}+C_{17} \bigl( \bigl\Vert u_{n}^{+} \bigr\Vert + \bigl\Vert u_{n}^{-} \bigr\Vert \bigr) +C_{18} \omega \bigl( \bigl\vert Pu_{n}^{0} \bigr\vert \bigr)+C_{19}. \end{aligned}

Hence, we have

\begin{aligned} & \biggl\vert \int_{0}^{T} F \bigl(t,\hat{u}_{n}(t) \bigr)\,dt- \int_{0}^{T} F \bigl(t,Pu _{n}^{0} \bigr)\,dt \biggr\vert \\ & \quad \leq M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt 2 \bigl( \bigl\Vert u_{n}^{+} \bigl\Vert ^{2}+ \bigr\Vert u_{n}^{-} \bigr\Vert ^{2} \bigr) \\ & \quad \quad {} +M_{0}C_{0} \int_{0}^{T}f(t)\,dt \frac{ \frac{1}{M_{1}C_{0}} \omega^{2}(\vert Pu_{n}^{0} \vert )+M_{1}C_{0} \Vert u_{n}^{+} \Vert ^{2}}{2} \\ & \quad \quad {}+M_{0}C_{0} \int_{0}^{T}f(t)\,dt \frac{ \frac{1}{M_{1}C_{0}} \omega^{2}(\vert Pu_{n}^{0} \vert )+M_{1}C_{0} \Vert u_{n}^{-} \Vert ^{2}}{2} \\ & \quad \quad {}+C_{17} \bigl( \bigl\Vert u_{n}^{+} \bigr\Vert + \bigl\Vert u_{n}^{-} \bigr\Vert \bigr) +C_{18} \omega \bigl( \bigl\vert Pu_{n}^{0} \bigr\vert \bigr)+C_{19} \\ & \quad \leq \frac{5}{2} M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \bigl( \bigl\Vert u_{n}^{+} \bigr\Vert ^{2}+ \bigl\Vert u_{n}^{-} \bigr\Vert ^{2} \bigr) \\ & \quad \quad {}+\frac{M_{0}}{M_{1}} \int_{0}^{T}f(t)\,dt \omega^{2} \bigl( \bigl\vert Pu_{n}^{0} \bigr\vert \bigr) \\ & \quad \quad {} +C_{17} \bigl( \bigl\Vert u_{n}^{+} \bigr\Vert + \bigl\Vert u_{n}^{-} \bigr\Vert \bigr)+C_{18} \omega \bigl( \bigl\vert Pu_{n}^{0} \bigr\vert \bigr)+C_{19}. \end{aligned}
(3.12)

By (3.8), (3.9), and (3.12), we have

\begin{aligned} & \biggl\vert \int_{0}^{T} F \bigl(t,\hat{u}_{n}(t) \bigr)\,dt- \int_{0}^{T} F \bigl(t,Pu _{n}^{0} \bigr)\,dt \biggr\vert \\ & \quad \leq \biggl( \frac{5}{2a-1}+1 \biggr) \frac{M_{0}}{M_{1}} \int _{0}^{T}f(t)\,dt \omega^{2} \bigl( \bigl\vert Pu_{n}^{0} \bigr\vert \bigr) \\ & \quad \quad{}+C_{20} \omega \bigl( \bigl\vert Pu_{n}^{0} \bigr\vert \bigr)+C_{21}. \end{aligned}
(3.13)

From (H3), (2.3), (3.8), and (3.9), one has

\begin{aligned} \biggl\vert \int_{0}^{T} \bigl(h(t),\hat{u}_{n}(t) \bigr)\,dt \biggr\vert &\leq \int _{0}^{T} \bigl\vert h(t) \bigr\vert \,dt \bigl( \bigl\Vert u^{+}_{n} \bigr\Vert _{\infty }+ \bigl\Vert u^{-}_{n} \bigr\Vert _{\infty } \bigr) \\ & \leq C_{0} \int_{0}^{T} \bigl\vert h(t) \bigr\vert \,dt \bigl( \bigl\Vert u^{+}_{n} \bigr\Vert + \bigl\Vert u^{-}_{n} \bigr\Vert \bigr) \\ & \leq C_{15} \omega \bigl( \bigl\vert Pu^{0}_{n} \bigr\vert \bigr)+C_{16}. \end{aligned}
(3.14)

It follows from (3.10), (3.11), (3.13), and (3.14) that

\begin{aligned} \begin{aligned} \varphi (u_{n}) &=\varphi (\hat{u}_{n}) \\ &=\frac{1}{2} \biggl[ \int _{0}^{T} \bigl\vert \dot{u}_{n}^{+}(t) \bigr\vert ^{2}\,dt- \int_{0}^{T} \bigl(Au_{n}(t),u^{+}_{n}(t) \bigr)\,dt \biggr] \\ & \quad {}+\frac{1}{2} \biggl[ \int_{0}^{T} \bigl\vert \dot{u}_{n}^{-}(t) \bigr\vert ^{2}\,dt- \int_{0}^{T} \bigl(Au_{n}(t),u^{-}_{n}(t) \bigr)\,dt \biggr] \\ & \quad {}+ \biggl[ \int_{0}^{T}F \bigl(t,\hat{u}_{n}(t) \bigr) \,dt- \int_{0}^{T}F \bigl(t,Pu ^{0}_{n} \bigr)\,dt \biggr] \\ & \quad {}+ \int_{0}^{T}F \bigl(t,Pu^{0}_{n} \bigr)\,dt+ \int_{0}^{T} \bigl(h(t), \hat{u}_{n}(t) \bigr)\,dt \\ &\leq \biggl[ \biggl( \frac{15}{2}\frac{1}{2a-1}+ \frac{3}{2} \biggr) \frac{M_{0}}{M_{1}} \int_{0}^{T}f(t)\,dt+\frac{\int _{0}^{T}F(t,Pu^{0}_{n})\,dt}{\omega^{2}(\vert Pu_{n}^{0} \vert )} \biggr] \omega^{2} \bigl( \bigl\vert Pu_{n}^{0} \bigr\vert \bigr) \\ & \quad {}+C_{22} \omega \bigl( \bigl\vert Pu^{0}_{n} \bigr\vert \bigr)+C_{23}, \end{aligned} \end{aligned}

which implies $$\vert Pu^{0}_{n} \vert$$ is bounded. Otherwise, we assume $$\vert Pu^{0}_{n} \vert \rightarrow \infty$$ as $$n\rightarrow \infty$$. From (ω4), we obtain that

$$\omega \bigl( \bigl\vert Pu^{0}_{n} \bigr\vert \bigr) \rightarrow +\infty \quad \mbox{as } n\rightarrow \infty .$$

By (3.3), we conclude that

$$\varphi (u_{n})\rightarrow -\infty \quad \mbox{as } n\rightarrow \infty ,$$

this contradicts the boundedness of $$\{\varphi (u_{n})\}$$, so $$\vert Pu^{0}_{n} \vert$$ is bounded. Combining (3.8) and (3.9), we obtain that $$\Vert u^{+}_{n} \Vert$$ and $$\Vert u^{-}_{n} \Vert$$ are bounded. Furthermore, $$\vert Q\hat{u}^{0} \vert$$ is bounded, so $$\{\hat{u}_{n}\}$$ is bounded in $$H^{1}_{T}$$. Arguing then as in Proposition 4.1 in , $$\{\hat{u} _{n}\}$$ has a convergent subsequence. By $$\pi (\hat{u}_{n})=\pi (u _{n})$$, we conclude that ψ satisfies the (PS) condition.

Next, we only need to verify the linking conditions of the generalized saddle point theorem:

(a) For $$\pi (u)\in W\times V$$, $$u(t)=u^{+}(t)+Qu^{0}$$. By the proof of (3.12), we have

\begin{aligned}& \biggl\vert \int_{0}^{T}F \bigl(t,u^{+}(t)+Qu^{0} \bigr)\,dt- \int_{0}^{T}F(t,0)\,dt \biggr\vert \\& \quad \leq \frac{5}{2} M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \bigl\Vert u^{+} \bigr\Vert ^{2}+C_{24} \bigl\Vert u^{+} \bigr\Vert +C_{25}. \end{aligned}

Hence

\begin{aligned} \psi \bigl(\pi (u) \bigr) &=\psi \bigl( \pi \bigl( u^{+}+Qu^{0} \bigr) \bigr) \\ &=\varphi \bigl( u^{+}+Qu^{0} \bigr) \\ &=\frac{1}{2} \int_{0}^{T} \bigl\vert \dot{u}^{+}(t) \bigr\vert ^{2}\,dt+\frac{1}{2} \int_{0}^{T} \bigl(Au(t),u^{+}(t) \bigr) \,dt \\ & \quad {}+ \biggl[ \int_{0}^{T}F \bigl(t,u^{+}(t)+Qu^{0} \bigr)\,dt- \int_{0} ^{T}F(t,0)\,dt \biggr] \\ & \quad {}+ \int_{0}^{T} \bigl(h(t),u^{+}(t)+Qu^{0} \bigr)\,dt+ \int_{0}^{T}F(t,0)\,dt \\ &\geq \biggl( \frac{\delta }{2}-\frac{5}{2} M_{0}M_{1}C_{0} ^{2} \int_{0}^{T}f(t)\,dt \biggr) \bigl\Vert u^{+} \bigr\Vert ^{2}-C_{26} \bigl\Vert u^{+} \bigr\Vert -C_{27}. \end{aligned}

Note the boundedness of $$\vert Qu^{0} \vert$$ and (3.1), we obtain that $$\psi (\pi (u))\rightarrow +\infty$$ as $$\Vert u \Vert \rightarrow -\infty$$ for all $$\pi (u)\in W\times V$$, which implies that there exists $$\beta \in \mathbb{R}$$ such that $$\psi (\pi (u))\geq \beta$$ on $$W\times V$$.

(b) In a way similar to the proof of (3.12), we have

\begin{aligned} & \biggl\vert \int_{0}^{T}F \bigl(t,u^{-}+Pu^{0}+Qu^{0} \bigr)\,dt- \int_{0}^{T}F \bigl(t,Pu ^{0} \bigr)\,dt \biggr\vert \\ & \quad \leq \frac{5}{2} M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \bigl\Vert u^{-} \bigr\Vert ^{2}+\frac{M_{0}}{M_{1}} \int_{0}^{T}f(t)\,dt \omega^{2} \bigl( \bigl\vert Pu^{0} \bigr\vert \bigr) \\ & \quad \quad{}+C_{28} \bigl\Vert u^{-} \bigr\Vert +C_{29}\omega \bigl( \bigl\vert Pu^{0} \bigr\vert \bigr)+C_{30}. \end{aligned}

Consequently,

\begin{aligned} \psi \bigl(\pi (u) \bigr) &=\psi \bigl( \pi \bigl(u^{-}+Pu^{0}+Qu^{0} \bigr) \bigr) \\ &=\varphi \bigl( u^{-}+Pu^{0}+Qu^{0} \bigr) \\ &=\frac{1}{2} \int_{0}^{T} \bigl\vert \dot{u}^{-} \bigr\vert ^{2}\,dt+\frac{1}{2} \int_{0}^{T} \bigl(Au,u^{-} \bigr)\,dt+ \int_{0}^{T}F \bigl(t,Pu^{0} \bigr)\,dt \\ & \quad {}+ \biggl[ \int_{0}^{T}F \bigl(t,u^{-}+Pu^{0}+Qu^{0} \bigr)\,dt- \int _{0}^{T}F \bigl(t,Pu^{0} \bigr)\,dt \biggr] \\ & \quad {}+ \int_{0}^{T} \bigl(h(t),u^{-}+Pu^{0}+Qu^{0} \bigr)\,dt \\ & \leq \frac{1}{2} \biggl[ -\delta +5M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t)\,dt \biggr] \bigl\Vert u^{-} \bigr\Vert ^{2}+C_{31} \bigl\Vert u^{-} \bigr\Vert \\ & \quad {}+ \biggl[ \frac{M_{0}}{M_{1}} \int_{0}^{T}f(t)\,dt+\frac{ \int_{0}^{T}F(t,Pu^{0})\,dt}{\omega^{2}(\vert Pu^{0} \vert )} \biggr] \omega ^{2} \bigl( \bigl\vert Pu^{0} \bigr\vert \bigr) \\ & \quad {}+C_{32} \omega \bigl( \bigl\vert Pu^{0} \bigr\vert \bigr)+C_{33}. \end{aligned}

From $$a>3$$ and (3.1), one has that $${-}\delta +5M_{0}M_{1}C_{0}^{2} \int_{0}^{T}f(t) \, dt<0$$.

By (3.3), we deduce that

$$\limsup_{\vert Pu^{0} \vert \rightarrow \infty }\frac{\int_{0}^{T}F(t,Pu ^{0})\,dt}{\omega^{2}(\vert Pu^{0} \vert )}< -\frac{M_{0}}{M_{1}} \int_{0}^{T}f(t)\,dt,$$

so we obtain that $$\psi (\pi (u))\rightarrow +\infty$$ as $$\Vert u \Vert \rightarrow -\infty$$ for all $$\pi (u)\in Z\times V$$, which implies that there exists $$\gamma <\beta$$ such that $$\psi (\pi (u))\leq \gamma$$ on $$Z\times V$$.

The functional ψ satisfies all the assumptions of Lemma 2.2, so it has at least $$\operatorname{cuplength}(V)+1$$ critical points, and since V is the torus $$T^{r}$$, then $$\operatorname{cuplength}(V)=r$$. Hence φ has at least $$r+1$$ critical points. Therefore, problem (1.1) has at least $$r+1$$ distinct solutions in $$H_{T}^{1}$$. The proof of Theorem 3.1 is completed. □

### Proof of Theorem 3.2

The proof of Theorem 3.2 is similar to the proof of Theorem 3.1, so we omit the discussions here. □

### Remark 3.2

Using the parallel arguments with little change as in the proofs of Theorems 3.1 and 3.2, the conclusions of Theorems 3.1 and 3.2 hold if we replace (ω3) with

(ω3)′:

$$0\leq \omega (s)\leq M_{1}s^{\alpha }+M_{2}$$, $$\forall s,t\in [ 0, \infty )$$, where $$0\leq \alpha <1$$.

## References

1. Chang, KQ: On the periodic nonlinearity and the multiplicity of solutions. Nonlinear Anal., Theory Methods Appl. 13, 527-537 (1989)

2. Faraci, F: Multiple periodic solutions for second order systems with changing sign potential. J. Math. Anal. Appl. 319, 567-578 (2006)

3. Feng, JX, Han, ZQ: Periodic solutions to differential systems with unbounded or periodic nonlinearities. J. Math. Anal. Appl. 323, 1264-1278 (2006)

4. Han, ZQ, Wang, SQ: Multiple solutions for nonlinear systems with gyroscopic terms. Nonlinear Anal., Theory Methods Appl. 75, 5756-5764 (2012)

5. Liu, JQ: A generalized saddle point theorem. J. Differ. Equ. 82, 372-385 (1989)

6. Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Springer, New York (1989)

7. Ning, Y, An, TQ: Periodic solutions of a class of nonautonomous second-order Hamiltonian systems with nonsmooth potentials. Bound. Value Probl. 2015, 34 (2015)

8. Pipan, J, Schechter, M: Non-autonomous second order Hamiltonian systems. J. Differ. Equ. 257, 351-373 (2014)

9. Schechter, M: Periodic second order superlinear Hamiltonian systems. J. Math. Anal. Appl. 426, 546-562 (2015)

10. Wang, ZY, Zhang, JH: Periodic solutions of a class of second order non-autonomous Hamiltonian systems. Nonlinear Anal., Theory Methods Appl. 72, 4480-4487 (2010)

11. Xiao, L: Existence of periodic solutions for second order Hamiltonian system. Bull. Malays. Math. Soc. 35, 785-801 (2012)

12. Tang, CL: Periodic solutions of second order nonautonomous systems with sublinear nonlinearity. Proc. Am. Math. Soc. 126, 3263-3270 (1998)

13. Tang, CL: A note on periodic solutions of second order systems. Proc. Am. Math. Soc. 132, 1295-1393 (2003)

14. Zhang, XY, Tang, XH: Periodic solutions for an ordinary p-Laplacian system. Taiwan. J. Math. 12, 1369-1396 (2011)

15. Zhang, SG: Multiple periodic solutions for a class of sublinear nonautonomous second order system. Acta Anal. Funct. Appl. 15, 12-20 (2013)

16. Rabinowitz, PH: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Regional Conference Series in Mathematics, vol. 65. Am. Math. Soc., Providence (1986)

17. Willem, M: Minimax Theorems. Birkhäuser, Boston (1996)

18. Schechter, M: Linking Methods in Critical Point Theory. Birkhäuser, Boston (1999)

19. Bartsch, T: Critical point theory on partially ordered Hilbert spaces. J. Funct. Anal. 186, 117-152 (2001)

20. Shahmurov, R: Solution of the Dirichlet and Neumann problems for a modified Helmholtz equation in Besov spaces on an annulus. J. Differ. Equ. 249, 526-550 (2010)

## Acknowledgements

This work is supported by the National Natural Science Foundation of China (No. 31260098).

## Author information

Authors

### Corresponding author

Correspondence to Shengui Zhang.

### Competing interests

The author declares that they have no competing interests.

### Author’s contributions

The author read and approved the final manuscript.

### Publisher’s Note

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

## Rights and permissions 