Homoclinic orbits for damped vibration systems with asymptotically quadratic or subquadratic potentials

Abstract

In this paper, we study a class of damped vibration systems,

$$ \ddot{u}(t)+B\dot{u}(t)-L(t)u(t)+\nabla W\bigl(t,u(t)\bigr)=0, \quad \forall t \in \mathbb{R}, $$

where $W(t,u)$ is of indefinite sign. By using a critical point theorem of Ding, we establish a new criterion to guarantee that the above system has infinitely many nontrivial homoclinic orbits under the assumption that $W(t,u)$ is asymptotically quadratic or subquadratic as $|u|\rightarrow\infty$. Recent results in the literature are generalized and significantly improved.

Introduction

In this paper, we consider the following damped vibration system:

$$ \ddot{u}(t)+B\dot{u}(t)-L(t)u(t)+\nabla W\bigl(t,u(t)\bigr)=0, \quad \forall t\in \mathbb{R}, $$

(1.1)

where $u\in\mathbb{R}^{N}$, B is an antisymmetric $N\times N$ constant matrix, $L\in C(\mathbb{R},\mathbb{R}^{N\times N})$ is a symmetric matrix-valued function, and $W\in C^{1}(\mathbb{R}\times \mathbb{R}^{N},\mathbb{R})$. As usual, we say that a solution u of system (1.1) is homoclinic to zero if $u\in C^{2}(\mathbb {R},\mathbb{R}^{N})$, $u(t)\rightarrow0$, and $\dot{u}(t)\rightarrow 0$ as $|t|\rightarrow\infty$. In addition, if $u(t)\not\equiv0$, then $u(t)$ is called a nontrivial homoclinic solution.

Homoclinic orbits have been found in various models of continuous dynamical systems and play an important role in the study of the behavior of dynamical systems; see [1]. Thus, the study of homoclinic orbits has become one of the most important directions in the research of dynamical systems.

When $B=0$, system (1.1) reduces to the following second order Hamiltonian system:

$$ \ddot{u}(t)-L(t)u(t)+\nabla W\bigl(t,u(t)\bigr)=0,\quad \forall t \in\mathbb{R}. $$

(1.2)

As a special case of dynamical systems, Hamiltonian systems play an important role in practical problems concerning relativistic mechanics, gas dynamics, nuclear physics, fluid mechanics. With the aids of the variational methods, the existence and multiplicity of homoclinic orbits for (1.2) have been extensively investigated in many recent papers; see [2–24].

Compared with the case where $B=0$, the case where $B\neq0$ is more difficult. The study of homoclinic orbits for system (1.1) has attracted a lot of attention by many researchers; see [25–33]. This work is mainly based on variational methods. Some of the authors considered the superquadratic case [27, 29, 30, 32, 33]; the authors of [25, 28, 31] considered the subquadratic case; for the asymptotically quadratic case, except for [26], few researchers have investigated this case. More precisely, in [25], Chen studied system (1.1) under the assumption that $W(t,u)$ is subquadratic as $|u|\rightarrow\infty$. In detail, he obtained the following result.

Theorem 1.1

([25])

Assume that the following conditions hold.

(L₁):

There exists a constant $\upsilon>1$ such that

$$\operatorname{meas}\bigl\{ t\in\mathbb{R}:|t|^{-\upsilon}L(t)< TI_{N} \bigr\} ,\quad \forall T>0, $$

where $I_{N}$ denotes the $N\times N$ identity matrix.

(L₂):

There exists a constant $\beta\geq0$ such that

$$l(t):=\inf_{|u|=1}\bigl(L(t)u,u\bigr)\geq-\beta, \quad t\in \mathbb{R}. $$

(H₁):

$W(t,u)\geq0$, $\forall(t,u)\in\mathbb{R}\times \mathbb{R}^{N}$, and there exist constants $\kappa\in(0,2)$ and $R_{0}>0$ such that

$$\bigl(\nabla W(t,u),u\bigr)\leq\kappa W(t,u),\quad \forall t\in\mathbb{R} \textit{ and } |u|\geq R_{0} $$

and

$$\bigl(\nabla W(t,u),u\bigr)\leq2 W(t,u), \quad \forall t\in\mathbb{R} \textit{ and } |u|\leq R_{0}. $$

(H₂):

There exists $a>0$ such that

$$W(t,u)\leq a|u|, \quad \forall t\in\mathbb{R} \textit{ and } |u|\leq R_{0}. $$

(H₃):

$\liminf_{|u|\rightarrow\infty}\frac {W(t,u)}{|u|}\geq b$ uniformly in $t\in\mathbb{R}$, where $b>0$ is a constant.

(H₄):

$\lim_{|u|\rightarrow0}\frac {W(t,u)}{|u|^{2}}=+\infty$ uniformly in $t\in\mathbb{R}$.

(H₅):

$W(t,-u)=W(t,u)$, $\forall(t,u)\in\mathbb{R}\times \mathbb{R}^{N}$.

Then system (1.1) has infinitely many nontrivial homoclinic orbits.

In [26], $W(t,u)$ being asymptotically quadratic as $|u|\rightarrow\infty$, by using the variant fountain theorem, Chen obtained the following result.

Theorem 1.2

([26])

Assume that (L₁), (L₂), and (H₅) hold. Moreover, we assume that the following conditions are satisfied:

(H₆):

$\widetilde{W}(t,u)=W(t,u)-(1/2)(\nabla W(t,u),u)\rightarrow+\infty$ as $|u|\rightarrow\infty$ uniformly in $t\in\mathbb{R}$.

(H₇):

There are constants $\tau\in(1,2)$ and $a_{1},a_{2},a_{2}>0$ such that

$$a_{3}|u|^{\tau}\leq W(t,u)\leq a_{1}|u|,\quad \forall t\in\mathbb{R} \textit{ and } |u|\leq a_{2}. $$

(H₈):

$\limsup_{|u|\rightarrow0}\frac{|\nabla W(t,u)|^{\tau/(\tau-1)}}{\widetilde{W}(t,u)}=P(t)$ uniformly in t, $|P(t)|<\infty$.

(H₉):

$W(t,u)\geq(1/2)(\nabla W(t,u),u)\geq0$, $\forall(t,u)\in\mathbb{R}\times\mathbb{R}^{N}$.

(H₁₀):

$\lim_{|u|\rightarrow\infty}\frac {W(t,u)}{|u|^{2}}=f(t)$ uniformly in t, where $\inf_{t\in\mathbb {R}}f(t)\leq\sup_{t\in\mathbb{R}}f(t)<+\infty$.

Then system (1.1) has infinitely many nontrivial homoclinic orbits.

Motivated by the above facts, in this paper, our aim is to generalize some results in [25, 26]. Moreover, our approach is different from [25, 26].

We will use the following conditions:

(W₁):

$\nabla W(t,u)=S(t)u+\nabla G(t,u)$, where $S:\mathbb {R}\rightarrow\mathbb{R}^{N\times N}$ is bounded symmetric $N\times N$ matrix-valued function.

(W₂):

$W(t,0)=G(t,0)=0$ and there exist $\bar{a},\bar {b}>0$ and $0<\nu<1$ such that

$$\bigl\vert \nabla G(t,u)\bigr\vert \leq\bar{a}+\bar{b}\vert u\vert ^{\nu}, \quad \forall(t,u)\in \mathbb{R}\times\mathbb{R}^{N}. $$

(W₃):

$\widetilde{W}(n,u)\geq0$, $\forall(t,u)\in \mathbb{R}\times\mathbb{R}^{N}$.

Now, we state our main result.

Theorem 1.3

Assume that (L₁), (L₂), (H₄)-(H₆), (W₁)-(W₃) hold. Then system (1.1) has infinitely many nontrivial homoclinic orbits.

Remark 1.1

When $S\not\equiv0$, Theorem 1.3 generalizes Theorem 1.2. First of all, we remove conditions (H₈) and $W(t,u)\geq0$ for any $(t,u)\in\mathbb {R}\times\mathbb{R}^{N}$. Second, condition (H₄) is weaker than (H₇). In fact, condition (H₇) implies (H₄). Third, it is clear that condition (W₃) is weaker than (H₉). Furthermore, there are many functions satisfying our Theorem 1.3 and not satisfying Theorem 1.2. For example, let $W(t,u)=g(t)|u|^{2}+|u|$ for all $(t,u)\in\mathbb {R}\times\mathbb{R}^{N}$, where $g:\mathbb{R}\rightarrow\mathbb{R}$ is bounded continuous function such that $g\not\equiv0$. It is easy to check that $W(t,u)$ satisfies all conditions of Theorem 1.3, but it does not satisfy condition (H₈) of Theorem 1.2.

Remark 1.2

When $S\equiv0$, Theorem 1.3 generalizes Theorem 1.1. First, conditions (H₁) and (H₃) imply conditions (H₆) and (W₃). Second, conditions (H₁) and (H₂) imply (W₂). Third, we remove conditions (H₃) and $W(t,u)\geq 0$ for any $(t,u)\in\mathbb{R}\times\mathbb{R}^{N}$. Furthermore, there are many functions $W(t,u)$ satisfying our Theorem 1.3 and not satisfying Theorem 1.1. For example, set

$$ W(t,u)=\left \{ \textstyle\begin{array}{l@{\quad}l} \frac{3}{2}|u|-|u|^{\frac{3}{2}}, & |u|< 1, \\ \frac{u^{2}}{2(|u|+\ln|u|)}, & |u|\geq1 \end{array}\displaystyle \right . $$

for all $(t,u)\in\mathbb{R}\times\mathbb{R}^{N}$. It is easy to check that $W(t,u)$ satisfies all conditions of Theorem 1.3, but it does not satisfy condition (H₁) of Theorem 1.1. Set

$$ W(t,u)=\left \{ \textstyle\begin{array}{l@{\quad}l} \frac{1}{4}|u|, & |u|< 1, \\ \frac{1}{2}|u|-\frac{u^{2}}{2(|u|+\ln|u|_{1})}, & |u|\geq1 \end{array}\displaystyle \right . $$

for all $(t,u)\in\mathbb{R}\times\mathbb{R}^{N}$. It is easy to check that $W(t,u)$ satisfies all conditions of Theorem 1.3, but it does not satisfy condition (H₃) of Theorem 1.1.

The remainder of this paper is organized as follows. In Section 2, some preliminary results are presented. In Section 3, we give the proof of Theorem 1.3.

Preliminaries

In this section, we give the variational setting for (1.1) and some related preliminary lemmas. Let $X:= H^{1}(\mathbb{R},\mathbb{R}^{N})$ be a Hilbert space with the inner product and the norm given, respectively, by

$$\langle u,v\rangle_{X}= \int_{\mathbb{R}} \bigl[\bigl(\dot{u}(t),\dot {v}(t)\bigr)+ \bigl(u(t),v(t)\bigr) \bigr]\, dt \quad \mbox{and} \quad \|u\|_{X}= \langle u,u\rangle _{X}^{\frac{1}{2}},\quad \forall u,v\in X. $$

We define an operator $K:X\rightarrow X$ by

$$(Ku,v)= \int_{\mathbb{R}}\bigl(Bu(t),\dot{v}(t)\bigr)\, dt,\quad \forall u,v\in X. $$

Since B is an antisymmetric $N\times N$ constant matrix, K is self-adjoint on X. Moreover, we denote by J the self-adjoint extension of the operator $-\frac{d^{2}}{dt^{2}}+L(t)+K$ with the domain $D(J)\subset L^{2}(\mathbb{R},\mathbb{R}^{N})$.

Let $E:=D(|J|^{\frac{1}{2}})$ be the domain of $|J|^{\frac{1}{2}}$, which is a Hilbert space equipped with the inner product and norm given by

$$\begin{aligned}& \langle u,v\rangle_{E}=\bigl(|J|^{\frac{1}{2}}u,|J|^{\frac{1}{2}}v \bigr)_{2}+(u,v)_{2}, \\& \|u\|_{E}=\langle u,u\rangle_{E}^{\frac{1}{2}} \end{aligned}$$

for $u,v\in E$, where $(\cdot,\cdot)_{2}$ denotes the inner product in $L^{2}(\mathbb{R},\mathbb{R}^{N})$. Let $\|\cdot\|_{p}$ denote the usual norm on $L^{p}(\mathbb{R},\mathbb{R}^{N})$ ($p\in[1,\infty]$).

Lemma 2.1

([29])

Assume that L satisfies (L₁) and (L₂). Then E is compactly embedded in $L^{p}(\mathbb{R},\mathbb{R}^{N})$ for any $1\leq p\leq\infty$.

By Lemma 2.1, the spectrum $\sigma(J)$ consists of eigenvalues numbered by $\eta_{1}\leq\eta_{2}\leq\cdots\leq\eta _{k}\leq\cdots\rightarrow\infty$ (counted in their multiplicities) and a corresponding system of eigenfunctions $\{e_{k}\}$ ($Je_{k}=\eta _{k}e_{k}$) which forms an orthogonal basis in $L^{2}(\mathbb{R},\mathbb{R}^{N})$.

Set

$$n^{-}=\sharp\{i|\eta_{i}< 0\}, \qquad n^{0}=\sharp\{i| \eta_{i}=0\}, \qquad n^{+}=n^{-}+n^{0}, $$

and

$$E^{-}=\operatorname{span}\{e_{1},\ldots,e_{n^{-}}\}, \qquad E^{0}=\operatorname{span}\{ e_{n^{-}+1},\ldots,e_{n^{0}}\}, \qquad E^{+}=\operatorname{cl}_{E} \bigl(\operatorname{span}\{ e_{n^{+}+1},\ldots\} \bigr). $$

Thus, we have the orthogonal decomposition

$$ E=E^{-}\oplus E^{0}\oplus E^{+} $$

with respect to the inner product $\langle\cdot,\cdot\rangle_{E}$. Now we introduce on E the following inner product:

$$ \langle u,v\rangle=\bigl(|J|^{\frac{1}{2}}u,|J|^{\frac{1}{2}}v \bigr)_{2}+\bigl(u^{0},v^{0}\bigr)_{2} $$

(2.1)

and the norm

$$ \|u\|=\langle u,u\rangle^{\frac{1}{2}}, $$

(2.2)

where $u,v\in E$ with $u=u^{-}+u^{0}+u^{+}$ and $v=v^{-}+v^{0}+v^{+}$. It is easy to verify that $\|\cdot\|_{E}$ and $\|\cdot\|$ are equivalent; see [8]. Evidently, the aforementioned decomposition is also orthogonal with respect to both inner products $(\cdot,\cdot)_{2}$ and $\langle\cdot,\cdot\rangle$.

Define the functional Ψ on E by

$$\begin{aligned} \Psi(u) =& \int_{\mathbb{R}} \biggl[\frac{1}{2}\bigl\vert \dot{u}(t)\bigr\vert ^{2}+\frac {1}{2}\bigl(Bu(t),\dot{u}(t)\bigr)+ \frac{1}{2}\bigl(L(t)u(t),u(t)\bigr)-W\bigl(t,u(t)\bigr) \biggr]\, dt \\ =&\frac{1}{2}\bigl\Vert u^{+}\bigr\Vert ^{2}- \frac{1}{2}\bigl\Vert u^{-}\bigr\Vert ^{2}- \int_{\mathbb {R}}W\bigl(t,u(t)\bigr)\,dt,\quad \forall u\in E. \end{aligned}$$

(2.3)

It follows from the assumptions that Ψ is defined on E and belongs to $C^{1}(E,\mathbb{R})$, and one can easily check that

$$ \Psi^{\prime}(u)v=\bigl\langle u^{+},v^{+}\bigr\rangle -\bigl\langle u^{-},v^{-}\bigr\rangle - \int _{\mathbb{R}}\bigl(\nabla W\bigl(t,u(t)\bigr),v(t)\bigr)\, dt $$

(2.4)

for any $u,v\in E$ with $u=u^{-}+u^{0}+u^{+}$ and $v=v^{-}+v^{0}+v^{+}$. Furthermore, it is routine to verify that any critical point of Ψ in E is a solution of system (1.1) with $u(\pm\infty )=0=\dot{u}(\pm\infty)$ (see [20, 21]). In view of Lemma 2.1, there exists $D_{p}>0$ such that

$$ \|u\|_{p}\leq D_{p}\|u\|, \quad \forall u\in E, $$

(2.5)

where $p\in[1,+\infty]$.

Define $E_{j}=\mathbb{R}e_{j}$,

$$ Y_{k}=\bigoplus_{j=0}^{k}E_{j}, \qquad Z_{k}=\overline{\bigoplus_{j=k}^{\infty}E_{j}}, \quad k\in\mathbb{N}. $$

(2.6)

Lemma 2.2

Under assumptions (L₁) and (L₂), for $\varsigma\in[1,+\infty]$,

$$ \beta_{k}(\tau)=\sup_{u\in Z_{k},\|u\|=1}\|u \|_{\varsigma}\rightarrow0 \quad \textit{as } k\rightarrow\infty. $$

(2.7)

Proof

It is clear that $0<\beta_{k+1}(\varsigma)\leq \beta_{k}(\varsigma)$, so that $\beta_{k}(\varsigma)\rightarrow\tilde {\beta}(\varsigma)$, $k\rightarrow\infty$. For every $k\geq0$, there exists $u_{k}\in Z_{k}$ such that $\|u_{k}\|=1$ and $\|u_{k}\|_{\varsigma}>\frac{\beta_{k}}{2}$. For any $v\in X$, let $v=\sum_{i=1}^{\infty}\bar {b}_{i}e_{i}$, by the Cauchy-Schwartz inequality, one has

$$\begin{aligned} \begin{aligned} \bigl\vert \langle u_{k},v\rangle\bigr\vert &=\Biggl\vert \Biggl\langle u_{k},\sum_{i=1}^{\infty}\bar {b}_{i}e_{i}\Biggr\rangle _{0}\Biggr\vert = \Biggl\vert \Biggl\langle u_{k},\sum_{i=k}^{\infty}\bar {b_{i}}e_{i}\Biggr\rangle \Biggr\vert \\ &\leq\|u_{k}\|\Biggl\| \sum_{i=k}^{\infty}\bar{b}_{i}e_{i}\Biggr\| =\sum_{i=k}^{\infty}\| \bar{b}_{i}e_{i}\|\rightarrow0 \quad \mbox{as } k \rightarrow\infty, \end{aligned} \end{aligned}$$

which implies that $u_{k}\rightharpoonup0$. It follows from Lemma 2.1 that $u_{k}\rightarrow0$ in $L^{q}(\mathbb{R},\mathbb {R}^{N})$. Thus we have proved that $\tilde{\beta}(\varsigma)=0$. □

By Lemma 2.2, we can choose a positive integer $k_{0}\geq n^{+}+1$ such that

$$ \|u\|_{2}^{2}\leq\frac{1}{4m_{0}}\|u \|^{2}, $$

(2.8)

where $m_{0}=\sup_{t\in\mathbb{R}}[\sup_{x\in\mathbb{R}^{N},|x|=1}(S(t)x,x)]$.

In order to prove our main result, we need the following lemma.

Lemma 2.3

([8])

Let E be an infinite dimensional Banach space and $\Phi\in C^{1}(E,\mathbb{R})$ be even, satisfy the $(PS)$ condition, and $\Psi(0)=0$. If $X=Y\oplus Z$, where Y is finite dimensional, and Ψ satisfies

(S₁):

Ψ is bounded from below on Z;

(S₂):

for each finite dimensional subspace $\widetilde {E}\subset E$, there are positive constants $\rho=\rho(\widetilde {E})$ and $\alpha=\alpha(\widetilde{E})$ such that $\Psi|_{B_{\rho}\cap\widetilde{E}}\leq0$ and $\Psi|_{\partial B_{\rho}\cap \widetilde{E}}\leq-\alpha$, where $B_{\rho}=\{x\in E:\|x\|\leq\rho\}$.

Then Ψ possesses infinitely many nontrivial critical points.

Remark 2.1

As shown in [34], a deformation lemma can be proved with condition $(C)$ replacing $(PS)$ condition, and it turns out that Lemma 2.3 holds true under condition $(C)$. We say that Ψ satisfies condition $(C)$, i.e. for any $\{u_{n}\}\subset E$, $\{u_{n}\}$ has a convergent subsequence if $\Psi(u_{n})$ is bounded and $(1+\|u_{n}\|)\|\Psi^{\prime}(u_{n})\| \rightarrow0$ as $n \rightarrow\infty$.

Proof of Theorem 1.3

Set $Y=Y_{k_{0}}$, $Z=Z_{k_{0}}$.

Lemma 3.1

Suppose that (W₁) and (W₂) are satisfied. Then Ψ is bounded from below on Z.

Proof

By virtue of (W₁), (W₂), (2.3), (2.5), and (2.8), we have

$$\begin{aligned} \Psi(u) =&\frac{1}{2}\bigl\Vert u^{+}\bigr\Vert ^{2}-\frac{1}{2}\bigl\Vert u^{-}\bigr\Vert ^{2}-\sum _{n\in \mathbb{Z}}W\bigl(n,u(n)\bigr) \\ =&\frac{1}{2}\Vert u\Vert ^{2}-\sum _{n\in\mathbb{Z}}W\bigl(n,u(n)\bigr) \\ \geq&\frac{1}{2}\Vert u\Vert ^{2}-m_{0}\Vert u \Vert _{2}^{2}-\bar{a}\Vert u\Vert _{1}- \bar{b}\Vert u\Vert _{\nu+1}^{\nu+1} \\ \geq&\frac{1}{4}\Vert u\Vert ^{2}-\bar{a}D_{1} \Vert u\Vert -\bar{b} D_{\nu+1}^{\nu +1}\Vert u\Vert ^{\nu+1}\rightarrow+\infty \end{aligned}$$

(3.1)

as $\|u\|\rightarrow\infty$ and $u\in Z_{k_{0}}$. The proof is completed. □

Lemma 3.2

Assume that (H₄) holds. Then for each finite dimensional subspace $\widetilde{E}\subset E$, there are positive constants $\rho=\rho(\widetilde{E})$ and $\alpha=\alpha(\widetilde{E})$ such that $\Psi|_{B_{\rho}\cap \widetilde{E}}\leq0$ and $\Psi|_{\partial B_{\rho}\cap\widetilde {E}}\leq-\alpha$, where $B_{\rho}=\{x\in E:\|x\|\leq\rho\}$.

Proof

Let $\widetilde{E}\subset E$ be any finite dimensional subspace. Then there exists $M_{0}>0$ such that

$$ \|u\|^{2}\leq M_{0}\|u\|_{2}^{2}, \quad \forall u\in\widetilde{E}. $$

(3.2)

By virtue of (H₄), for $M_{0}$ given above, there exists a constant $\sigma>0$,

$$ W(t,u)\geq M_{0}|u|^{2}, \quad \forall t\in \mathbb{R} \mbox{ and } |u|\leq \sigma. $$

(3.3)

In view of (2.8), for any $u\in\widetilde{E}$ with $\| u\|\leq\frac{\sigma}{D_{\infty}}$, we have

$$ \|u\|_{\infty}\leq\sigma. $$

(3.4)

By (3.2)-(3.4), we have

$$\begin{aligned} \Psi(u) =&\frac{1}{2}\bigl\Vert u^{+}\bigr\Vert ^{2}-\frac{1}{2}\bigl\Vert u^{-}\bigr\Vert ^{2}+ \int_{\mathbb {R}}W\bigl(t,u(t)\bigr)\,dt \\ \leq&\frac{1}{2}\bigl\Vert u^{+}\bigr\Vert ^{2}- \int_{\mathbb{R}}W\bigl(t,u(t)\bigr)\,dt \\ \leq&\frac{1}{2}\bigl\Vert u^{+}\bigr\Vert ^{2}-M_{0} \Vert u\Vert _{2}^{2} \\ \leq&-\frac{1}{2}\Vert u\Vert ^{2} \end{aligned}$$

(3.5)

for any $u=u^{-}+u^{0}+u^{+}\in\widetilde{E}$ with $\|u\|\leq\frac{\sigma }{D_{\infty}}$. Then there exist $\rho=\rho(\widetilde{E})>0$ and $\alpha=\alpha(\widetilde{E})>0$ such that

$$ \Psi(u)\leq0,\quad \forall u\in B_{\rho}\cap\widetilde{E}; \qquad \Psi (u)\leq-\alpha, \quad \forall u\in\partial B_{\rho}\cap\widetilde{E}. $$

The proof is completed. □

Lemma 3.3

Under the assumptions of Theorem  1.3, Ψ satisfies condition $(C)$.

Proof

Let $\{u_{n}\}\subset E$ is a $(C)$ sequence of Ψ, that is, $\{\Psi(u_{n})\}$ is bounded and

$$ \bigl(1+\Vert u_{n}\Vert \bigr)\bigl\Vert \Psi^{\prime}(u_{n})\bigr\Vert \rightarrow0 \quad \mbox{as } n \rightarrow\infty, $$

(3.6)

then there exists a constant $M_{1}>0$ such that

$$ \bigl\vert \Phi(u_{m})\bigr\vert \leq M_{1}, \qquad \bigl(1+\Vert u_{n}\Vert \bigr)\bigl\Vert \Psi^{\prime}(u_{n})\bigr\Vert \leq M_{1} $$

(3.7)

for every $n\in\mathbb{N}$. We choose $k\geq n^{+}+1$ large enough such that

$$ \|u\|^{2}\geq2m_{0}\|u\|_{2}^{2}, \quad \forall u\in Z_{k}, $$

(3.8)

where $m_{0}=\sup_{t\in\mathbb{R}}[\sup_{x\in\mathbb {R}^{N},|x|=1}(S(t)x,x)]$. We now prove that $\{u_{n}\}$ is bounded in E. In fact, if not, we may assume by contradiction that $\|u_{n}\| \rightarrow\infty$ as $n\rightarrow\infty$. Let $u_{n}=\tilde {w}_{n}+\tilde{v}_{n}$, $z_{n}=\frac{u_{n}}{\|u_{n}\|}$, then $\|z_{n}\|=1$, $z_{n}=w_{n}+v_{n}\in E$, where $w_{n}=\frac{\tilde{w}_{n}}{\|u_{n}\|}$, $v_{n}=\frac{\tilde{v}_{n}}{\|u_{n}\|}$, $\tilde{w}_{n}\in Y_{k}$, $\tilde {v}_{n}\in Z_{k}$. After passing to a subsequence, we have $z_{n}\rightharpoonup z$, $w_{n}\rightarrow w$, and $\gamma=\lim_{n\rightarrow\infty}\|v_{n}\|$ exists.

Case 1. $\gamma=0$. Since $\dim Y_{k}<\infty$, we obtain $\| w_{n}\|\rightarrow\|w\|=1$. It follows from (3.7) that

$$ \frac{3}{2}M_{1}\geq\Psi(u_{n})- \frac{1}{2}\Psi^{\prime}(u_{n})u_{n} \geq \int_{\mathbb{R}} \biggl(W\bigl(t,u_{n}(t)\bigr)- \frac{1}{2}\bigl(\nabla W\bigl(t,u_{n}(t)\bigr),u_{n}(t) \bigr) \biggr)\, dt. $$

(3.9)

By virtue of (H₆), for any $\eta>0$, there exists $M_{2}>0$ such that

$$ \widetilde{W}(t,u)=W(t,u)-\frac{1}{2}\bigl(\nabla W(t,u),u \bigr)\geq\eta, \quad \forall t\in\mathbb{R}, |u|\geq M_{2}. $$

(3.10)

For any $\varepsilon>0$, define $\Lambda_{\varepsilon}:=\{t\in\mathbb {R}:|w(t)|\geq\varepsilon\}$ and $\Lambda_{n\varepsilon}:=\{t\in \mathbb{R}:|v_{n}(t)|\geq\frac{\varepsilon}{2}\}$. First, we claim that there exists $\varepsilon_{0}>0$ such that

$$ \operatorname{meas}\bigl\{ t\in\mathbb{R}:\bigl|u(t)\bigr|\geq\varepsilon_{0} \bigr\} \geq \varepsilon_{0}, \quad \forall u\in Y_{k} \mbox{ with } \|u\|=1. $$

Otherwise, for any positive integer m, there exists $w_{m}\in Y_{k}$ with $\|w_{m}\|=1$ such that

$$ \operatorname{meas} \biggl\{ t\in\mathbb{R}:\bigl|w_{m}(t)\bigr| \geq\frac{1}{m} \biggr\} < \frac{1}{m}. $$

(3.11)

Passing to a subsequence if necessary, we may assume $w_{m}\rightarrow w_{0}$ in E for some $w_{0}\in Y_{k}$ since $\dim Y_{k}<\infty$. Evidently, $\|w_{0}\|=1$. By the equivalence of the norms on the finite dimensional space $Y_{k}$, we have

$$ \int_{\mathbb{R}}\bigl\vert w_{m}(t)-w_{0}(t) \bigr\vert ^{2}\, dt\rightarrow0\quad \mbox{as } m\rightarrow\infty. $$

(3.12)

Thus there exists $\varepsilon_{1}>0$ such that

$$ \operatorname{meas} \bigl\{ t\in\mathbb{R}:\bigl\vert w_{0}(t)\bigr\vert \geq\varepsilon_{1} \bigr\} \geq \varepsilon_{1}. $$

(3.13)

In fact, if not, then, for all positive integers m, we have

$$ \operatorname{meas} \biggl\{ t\in\mathbb{R}:\bigl\vert w_{0}(t)\bigr\vert \geq\frac{1}{m} \biggr\} =0. $$

(3.14)

It implies that

$$ 0\leq \int_{\mathbb{R}}\bigl\vert w_{0}(t)\bigr\vert ^{4}\, dt< \frac{1}{m^{2}}\|w_{0}\| _{2}^{2} \rightarrow0 \quad \mbox{as } m\rightarrow\infty. $$

Hence $w_{0}=0$, which contradicts that $\|w_{0}\|_{0}=1$. Thus, (3.13) holds.

Now set

$$ \Upsilon_{0}= \bigl\{ t\in\mathbb{R}:\bigl\vert w_{0}(t) \bigr\vert \geq\varepsilon_{1} \bigr\} , \qquad \Upsilon_{m}= \biggl\{ t\in\mathbb{R}:\bigl\vert w_{m}(t)\bigr\vert < \frac{1}{m} \biggr\} , $$

and $\Upsilon_{m}^{c}=\mathbb{R}\setminus\Upsilon_{m}=\{t\in\mathbb {R}:|w_{m}(t)|\geq\frac{1}{m}\}$. By virtue of (3.11) and (3.13), we obtain

$$\begin{aligned} \begin{aligned} \operatorname{meas}(\Upsilon_{m}\cap\Upsilon_{0})&= \operatorname{meas}\bigl(\Upsilon _{0}\setminus\Upsilon_{m}^{c} \cap\Upsilon_{0}\bigr) \\ &\geq\operatorname{meas}(\Upsilon_{0})-\operatorname{meas}\bigl( \Upsilon_{m}^{c}\cap\Upsilon _{0}\bigr) \\ &\geq\varepsilon_{1}-\frac{1}{m} \end{aligned} \end{aligned}$$

for all positive integers m. Let m be large enough such that $\frac {1}{2}\varepsilon_{1}-\frac{1}{m}>\frac{1}{4}\varepsilon_{1}$. Thus, for m large enough,

$$\begin{aligned} \int_{\mathbb{R}}\bigl\vert w_{m}(t)-w_{0}(t) \bigr\vert ^{2}\, dt \geq& \int_{t\in\Upsilon _{0}\cap\Upsilon_{m}}\bigl\vert w_{m}(t)-w_{0}(t) \bigr\vert ^{2}\, dt \\ \geq&\frac{1}{2} \int_{t\in\Upsilon_{0}\cap\Upsilon _{m}}\bigl\vert w_{0}(t)\bigr\vert ^{2}\, dt- \int_{t\in\Upsilon_{0}\cap\Upsilon_{m}}\bigl\vert w_{m}(t)\bigr\vert ^{2}\, dt \\ \geq& \biggl(\frac{1}{2}\varepsilon_{1}-\frac{1}{m} \biggr) \operatorname{meas}(\Upsilon_{m}\cap\Upsilon_{0}) \\ \geq&\frac{\varepsilon_{1}^{2}}{16}>0, \end{aligned}$$

which is a contradiction to (3.12). Thus, there exists $\varepsilon>0$ such that $\operatorname{meas}(\Lambda_{\varepsilon})\geq \varepsilon$.

In view of (2.5), we obtain

$$ \operatorname{meas}(\Lambda_{n\varepsilon})\leq\frac{4}{\varepsilon^{2}} \int _{\mathbb{R}}\bigl\vert v_{n}(t)\bigr\vert ^{2}\, dt \leq\frac{4D_{2}^{2}}{\varepsilon^{2}}\|v_{n}\|^{2} \rightarrow0\quad \mbox{as } n\rightarrow\infty. $$

Then we have $\operatorname{meas}(\Lambda_{\varepsilon}\setminus\Lambda _{n\varepsilon})\rightarrow\operatorname{meas}(\Lambda_{\varepsilon})$ as $n\rightarrow\infty$. Therefore, there exists $N_{0}>0$ such that $|z_{n}(t)|\geq\frac{\varepsilon}{3}$, $\forall t\in\Lambda _{\varepsilon}\setminus\Lambda_{n\varepsilon}$ and $n\geq N_{0}$, then we have $|u_{n}(t)|\geq\frac{\varepsilon}{3}\|u_{n}\|$, $\forall t\in \Lambda_{\varepsilon}\setminus\Lambda_{n\varepsilon}$ and $n\geq N_{0}$. By (W₃), (3.9), and (3.10), there exists $N_{1}>0$ such that

$$ \frac{3}{2}M_{1}\geq \int_{\mathbb{R}}\widetilde{W}\bigl(t,u_{n}(t)\bigr)\, dt \geq \int_{t\in\Lambda_{\varepsilon}\setminus\Lambda_{n\varepsilon }}\eta \, dt\geq\eta\operatorname{meas}( \Lambda_{\varepsilon}\setminus\Lambda _{n\varepsilon}), \quad \forall n\geq N_{1}, $$

which gives a contradiction due to the arbitrariness of η.

Case 2. $\gamma>0$. In view of (W₁), (W₂), (2.5), (3.7), (3.8), and Hölder’s inequality, we get

$$\begin{aligned} M_{1} \geq&\Psi^{\prime}(u_{n}) \tilde{v}_{n}=\|\tilde{v}_{n}\|^{2}- \int _{\mathbb{R}}\bigl(\nabla W\bigl(t,u_{n}(t)\bigr), \tilde{v}_{n}(t)\bigr)\,dt \\ \geq&\|\tilde{v}_{n}\|^{2}- \int_{\mathbb{R}} \bigl[\bigl(S(t)u_{n}(t), \tilde{v}_{n}(t)\bigr) + \bigl(\bar{a}+\bar{b}\bigl\vert u_{n}(t)\bigr\vert ^{\nu} \bigr)\bigl\vert \bar{v}_{n}(t)\bigr\vert \bigr]\,dt \\ \geq&\|\tilde{v}_{n}\|^{2}-m_{0}\| \tilde{v}_{n}\|_{2}^{2}-\bar{a}\|\tilde {v}_{n}\|_{1} -\bar{b}\|u_{n} \|_{2\nu}^{\nu}\|\tilde{v}_{n}\|_{2} \\ \geq&\frac{1}{2}\|\tilde{v}_{n}\|^{2}- \bar{a}D_{1}\|\tilde{v}_{n}\|- \bar{b} D_{2}D_{2\nu}^{\nu} \|u_{n}\|^{\nu}\|\tilde{v}_{n}\| \\ \geq&\frac{1}{2}\|\tilde{v}_{n}\|^{2}- \bar{a}D_{1}\|u_{n}\|- \bar{b} D_{2}D_{2\nu}^{\nu} \|u_{n}\|^{\nu+1}. \end{aligned}$$

(3.15)

Dividing by $\|u_{n}\|^{2}$ on both sides of (3.15), we obtain

$$ 0\geq\frac{\gamma^{2}}{2}>0, $$

which gives a contradiction.

Thus, $\{u_{n}\}$ is bounded. Next, we show that $\{u_{n}\}$ has a convergent subsequence. In view of the boundedness of $\{u_{n}\}$, without loss of generality, we may assume that

$$ u_{n}\rightharpoonup u,\qquad u_{n}^{+} \rightharpoonup u^{+}, \qquad u_{n}^{-}\rightarrow u^{-},\qquad u_{n}^{0}\rightarrow u^{0}. $$

(3.16)

It follows from (2.4) that

$$\begin{aligned} \bigl\Vert u_{n}^{+}-u^{+}\bigr\Vert ^{2} =& \bigl(\Psi^{\prime}(u_{n})-\Psi^{\prime}(u)\bigr) \bigl(u_{n}^{+}-u^{+}\bigr) \\ &{}+ \int_{\mathbb{R}}\bigl(\nabla W(t,u_{n})-\nabla W(t,u),u_{n}^{+}-u^{+}\bigr)\, dt. \end{aligned}$$

(3.17)

It is clear that

$$ \bigl(\Psi^{\prime}(u_{n})-\Psi^{\prime}(u) \bigr) \bigl(u_{n}^{+}-u^{+}\bigr)\rightarrow0 \quad \mbox{as } n \rightarrow\infty. $$

(3.18)

By (2.5), Lemma 2.1, (W₁), (W₂), and Hölder’s inequality, we have

$$\begin{aligned}& \int_{\mathbb{R}}\bigl(\nabla W(t,u_{n})-\nabla W(t,u),u_{n}^{+}-u^{+}\bigr)\, dt \\& \quad \leq \bar{a}\bigl\Vert u_{n}^{+}-u^{+}\bigr\Vert _{1}+ \bigl(m_{0}\Vert u_{n}\Vert _{2}+\bar{b}\Vert u_{n}\Vert _{2\nu}^{\nu} \bigr)\bigl\Vert u_{n}^{+}-u^{+}\bigr\Vert _{2} \\& \qquad {}+\bar{a}\bigl\Vert u_{n}^{+}-u^{+}\bigr\Vert _{1}+ \bigl(m_{0}\Vert u\Vert _{2}+\bar{b}\Vert u\Vert _{2\nu }^{\nu} \bigr)\bigl\Vert u_{n}^{+}-u^{+}\bigr\Vert _{2} \\& \quad \leq 2\bar{a}\bigl\Vert u_{n}^{+}-u^{+}\bigr\Vert _{1}+ \bigl(m_{0}D_{2}\Vert u_{n} \Vert +\bar{b}D_{2\nu }^{\nu} \Vert u_{n}\Vert ^{\nu} \bigr)\bigl\Vert u_{n}^{+}-u^{+}\bigr\Vert _{2} \\& \qquad {}+ \bigl(m_{0}D_{2}\Vert u\Vert + \bar{b}D_{2\nu}^{\nu} \Vert u\Vert ^{\nu} \bigr)\bigl\Vert u_{n}^{+}-u^{+}\bigr\Vert _{2}\rightarrow0 \end{aligned}$$

(3.19)

as $n\rightarrow\infty$. Therefore, by (3.17)-(3.19), we get $\|u_{m}^{+}-u^{+}\|\rightarrow0$ as $n\rightarrow \infty$. Consequently, $u_{n}\rightarrow u$. The proof is completed. □

Proof of Theorem 1.3

Obviously, $\Psi\in C^{1}(X,\mathbb{R})$ is even and $\Phi(0)=0$. It follows from Lemmas 3.1-3.3 that all conditions of Lemma 2.3 are satisfied. By Lemma 2.3, we see that Ψ possesses infinitely many nontrivial critical points, that is, system (1.1) possesses infinitely many nontrivial homoclinic orbits. □