Multiplicity of Homoclinic Solutions for Fractional Hamiltonian Systems with Subquadratic Potential

Abstract

In this paper, we study the existence of homoclinic solutions for the fractional Hamiltonian systems with left and right Liouville–Weyl derivatives. We establish some new results concerning the existence and multiplicity of homoclinic solutions for the given system by using Clark’s theorem from critical point theory and fountain theorem.

1. Introduction

In this paper, we consider the following fractional Hamiltonian system

$$\left\{\begin{array}{c}{}_{t}D_{\infty }^{\alpha }({}_{-\infty }D_t^{\alpha }u(t))+L(t)u(t)=\nabla W(t,u(t)),t\in \mathbb{R},\hfill \\ u\in H^{\alpha }(\mathbb{R}),\hfill \end{array}\right.$$

(1)

where ${}_{-\infty }{D}_t^{\alpha }$ and ${}_t{D}_{\infty }^{\alpha }$ are left and right Liouville–Weyl fractional derivatives of order $\alpha \in (\frac{1}{2},1)$ on the whole axis $\mathbb{R}$ respectively, $u\in {\mathbb{R}}^n$, $W(t,u)$ is of indefinite sign and subquadratic as $\left|u\right|\to +\infty$ and $L(t)$ is positive definite symmetric matrix for all $t\in \mathbb{R}$.

As usual, we say that a solution $u(t)$ of (1) is homoclinic (to 0) if $u(t)\to 0$ as $t\to \pm \infty$. In addition, if $u(t)\ne 0$ then $u(t)$ is called a nontrivial homoclinic solution.

In particular, if $\alpha =1$, (1) reduces to the standard second order Hamiltonian system of the following form

$$u^{″}(t)-L(t)u(t)+\nabla W(t,u(t))=0,t\in \mathbb{R}.$$

(2)

The existence of homoclinic solutions for Hamiltonian systems and their importance in the study of behavior of dynamical systems can be recognized from Poincaré [1]. Since then the investigation of existence and multiplicity of homoclinic solutions has become one of most important areas of research in dynamical systems. The existence of homoclinic orbits of (2) has been studied by several researchers by using critical point theory. Examples and details can be found in a series of papers [2,3,4,5,6,7,8,9,10,11,12,13,14] and the references cited therein.

It is important to study the multiplicity of homoclinic solutions for Hamiltonian systems. Moreover, ones can show that Hamiltonian system has rich dynamics, in particular a positive entropy. In [5,15] a more complete description of the dynamics is given. Precisely Séré proved the existence of a class of solutions, called multibump solutions. The existence of such a class of solutions implies that the dynamics of the system is chaotic (in particular that its topological entropy is positive). Such a result has been obtained under a nondegeneracy condition which is verified when the set of homoclinic solutions is countable. Bolle and Buffoni [16] show that the existence of a homoclinic orbit that is the transverse intersection of the stable and unstable manifolds, implies the existence of an infinite number of `multibump’ homoclinic solutions. In particular the topological entropy of the system is positive.

On the other hand, fractional calculus is playing a very important role in various scientific fields in the last years. In fact, fractional calculus has been recognized as an excellent instrument for description of memory and hereditary properties of various physical and engineering processes. Fractional-order models are interesting not only for engineers and physicists, but also for mathematicians. There is an increasing interest in the generalization of the classical concepts of entropy. Tenreiro Machado [17] studied several entropy definitions and types of particle dynamics with fractional behavior where traditional Shannon entropy has presented limitations. These concepts allow a fruitful interplay in the analysis of system dynamics. Indeed, applying fractional calculus theory to entropy theory has become a significant research work [17,18,19,20,21,22,23,24,25,26], since the fractional entropy could be used in the formulation of algorithms for image segmentation and in the analysis of anomalous diffusion processes and fractional diffusion equations [22,23,24,25,26].

It should be noted that critical point theory has become an effective tool in studying the existence of solutions to fractional differential equations by constructing fractional variational structures. Hamiltonian systems driven by fractional Laplacian operators have been considered by Dipierro, Patrizi and Valdinoci in [27]. In such paper, the fractional setting was motivated by problems atom dislocation in crystals, according to the so-called Peierls-Nabarro model. A throughout discussion on this motivation can be found in Section 2 of [28]. In this paper, we instead consider a fractional framework due to memory effect in the time evolution of the system. For the first time, Jiao and Zhou [29,30] showed that the critical point theory is an effective approach to tackle the existence of solutions for the following fractional boundary value problem

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{}_{t}D_T^{\alpha }{(}_0{D}_t^{\alpha }u(t))=\nabla F(t,u(t)),t\in [0,T],\hfill \\ u(0)=u(T)=0.\hfill \end{array}\right.\end{array}$$

(3)

Inspired by this work, Torres [31], Zhang and Yuan [32], Zhou [33], Nyamoradi and Zhou [34], Zhou and Zhang [35] considered the fractional Hamiltonian system (1). The authors [31,32] recently established the following results on the existence of solutions of system (1).

Theorem 1

([31]). Suppose that L and W satisfy the following assumptions:

(L) 

$L(t)$ is a positive definite symmetric matrix for all $t\in \mathbb{R}$ and there exists an $l\in C(\mathbb{R},(0,+\infty ))$ such that $l(t)\to +\infty$ as $\left|t\right|\to +\infty$ and

$$(L(t)u,u)\ge {l(t)\left|u\right|}^2,\mathrm{for} \mathrm{all}t\in \mathbb{R},u\in {\mathbb{R}}^n.$$

(H1) 

$W\in C^1(\mathbb{R}\times {\mathbb{R}}^n,\mathbb{R})$, and there is a constant $\mu >2$ such that

$$0<\mu W(t,u)\le (\nabla W(t,u),u),\forall t\in \mathbb{R},u\in {\mathbb{R}}^n\setminus \left\{0\right\}.$$

(H2) 

$|\nabla W(t,u)|=o(|u|)$ as $\left|u\right|\to 0$ uniformly with respect to $t\in \mathbb{R}$.

(H3) 

There exists $\overline{W}\in C({\mathbb{R}}^n,\mathbb{R})$ such that

$$\left|W(t,u)\right|+|\nabla W(t,u)|\le |\overline{W}(u)|,\forall t\in \mathbb{R},u\in {\mathbb{R}}^n.$$

Then system (1) possesses at least one nontrivial solution.

Theorem 2

([32]). Suppose that (L) is satisfied. Moreover, assume that

(H4) 

$W(t,0)=0$ for $t\in \mathbb{R}$ and $W(t,u)\ge {a(t)\left|u\right|}^{\nu }$, and $|\nabla W(t,u)|\le {b(t)\left|u\right|}^{\nu -1}$ for all $(t,u)\in \mathbb{R}\times {\mathbb{R}}^N$, where $1<\nu <2$ is constant, $a:\mathbb{R}\to {\mathbb{R}}^{+}$ is a bounded continuous function, and $b:\mathbb{R}\to {\mathbb{R}}^{+}$ is a continuous function such that $b\in L^{\frac{2}{2-\nu }}(\mathbb{R},\mathbb{R})$.

(H5) 

There exist constants $1<\sigma \le \nu <2$ such that

$$(\nabla W(t,u),u)\le \sigma W(t,u),\forall t\in \mathbb{R},u\in {\mathbb{R}}^N\setminus \left\{0\right\}.$$

(H6) 

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

Then system (1) has infinitely many nontrivial solutions $\left\{u_j\right\}$ such that

$$\frac{1}{2}{\int }_{\mathbb{R}}\left(|{}_{-\infty }{D}_t^{\alpha }{u}_j{(t)|}^2+(L(t)u_j(t),u_j(t))\right)dt-{\int }_{\mathbb{R}}W(t,u_j(t))dt\to 0^{-}$$

as $j\to +\infty .$

In [31,32], the authors worked on $X^{\alpha }$ which is compactly embedded in $L^q(\mathbb{R},{\mathbb{R}}^n)$ for $q\in [2,+\infty )$. However, in this paper, $X^{\alpha }$ is compactly embedded in $L^q(\mathbb{R},{\mathbb{R}}^n)$ for $1\le q\in (2/(3-\nu ),2)$ or for $\varpi \in [0,\nu )$ and $1\le q\in (2(1+\varpi )/(3-\nu ),2)$, which is the novelty of the present work.

For the statement of our main results, also we suppose the following conditions for $L(t)$ and $W(t,u)$:

(L_ν)

$L(t)$ is $n\times n$ real symmetric positive definite matrix for all $t\in \mathbb{R}$ and there exists a constant $\nu <2$ such that

$$\underset{\left|t\right|\to +\infty }{lim\; inf}\left[{\left|t\right|}^{\nu -2}\underset{\left|\xi \right|=1}{inf}(L(t)\xi ,\xi )\right]>0;$$

(W1)

$W(t,0)=0$ for all $t\in \mathbb{R}$ and there exist constants $max\{1,2/(3-\nu )\}<{\gamma }_i<2$ and $a_i\ge 0$ $(i=1,2,\dots ,m)$ such that

$$\left|W(t,u)\right|\le \sum _{i=1}^m{a}_i{\left|u\right|}^{{\gamma }_i},\forall (t,u)\in \mathbb{R}\times {\mathbb{R}}^n;$$

(W2)

There exists a function $\phi \in C([0,+\infty ),[0,+\infty ))$ such that

$$|\nabla W(t,u)|\le \phi (|u|),\forall (t,u)\in \mathbb{R}\times {\mathbb{R}}^n,$$

where $\phi (x)=O(x^{{\gamma }_{m+1}-1})$ as $x\to 0^{+}$, $max\{1,2/(3-\nu )\}<{\gamma }_{m+1}<2$;

(W3)

There exists a constant ${\delta }_0>0$ such that

$$W(t,u)\ge \sum _{k=1}^l{b}_k{(t)\left|u\right|}^{{\nu }_k},\forall t\in \mathsf{\Omega },u\in {\mathbb{R}}^n,\left|u\right|\le {\delta }_0,$$

for some positive measure subset Ω of $\mathbb{R}$, where $max\{1,2/(3-\nu )\}<{\nu }_k<2$ are constants, $b_k:\mathbb{R}\to {\mathbb{R}}^{+}$ are bounded continuous functions for $k=1,2,\dots ,l$;

(W4)

There exist $t_0\in \mathbb{R}$ and $max\{1,2/(3-\nu )\}<\vartheta <2$ such that

$$\underset{(t,u)\to (t_0,0)}{lim}\frac{W(t,u)}{{\left|u\right|}^{\vartheta }}>0;$$

(W5)

$W(t,-u)=W(t,u)$ for all $t\in \mathbb{R}$ and $u\in {\mathbb{R}}^n$.

Now, we can state our main results.

Theorem 3.

Suppose that L and W satisfy ($L_{\nu }$) and (W1)–(W3). Then, (1) has at least one nontrivial homoclinic solution.

Theorem 4.

Suppose that L and W satisfy ($L_{\nu }$), (W1), (W2), (W4) and (W5). Then, (1) has at least d $(\in \mathbb{N})$ distinct pairs of nontrivial homoclinic solutions.

Next, we replace the conditions (W1)–(W4) with the following conditions:

(W6)

$W(t,0)=0$ for all $t\in \mathbb{R}$, there exist constants ${\varpi }_i\in [0,2-\nu )$, $g_i\ge 0$ and $max\{1,2(1+{\varpi }_i)/(3-\nu )\}<{\tau }_i<2(i=1,2,\dots ,r)$ such that

$$\left|W(t,u)\right|\le \sum _{i=1}^r{g}_i{(1+|t|}^{{\varpi }_i}{)|u|}^{{\tau }_i},\forall (t,u)\in \mathbb{R}\times {\mathbb{R}}^n;$$

(W7)

There exist r functions ${\chi }_i\in C([0,+\infty ),[0,+\infty ))$ such that

$$|\nabla W(t,u)|\le \sum _{i=1}^r{(1+|t|}^{{\varpi }_i}){\chi }_i(|u|),\forall (t,u)\in \mathbb{R}\times {\mathbb{R}}^n,$$

where $\chi (x)=O(x^{{\tau }_{r+i}-1})$ as $x\to 0^{+}$, $max\{1,2(1+{\varpi }_i)/(3-\nu )\}<{\tau }_{r+i}<2(i=1,2,\dots ,r)$;

(W8)

There exists a constant ${\delta }_0^1>0$ such that

$$W(t,u)\ge \sum _{k=1}^l{b}_k^1{(t)\left|u\right|}^{{\nu }_k^1},\forall t\in \mathsf{\Omega },u\in {\mathbb{R}}^n,\left|u\right|\le {\delta }_0^1,$$

for some positive measure subset Ω of $\mathbb{R}$, and where $max\{1,2(1+{\varpi }_i)/(3-\nu )\}<{\nu }_k^1<2$ are constants, $b_k^1:\mathbb{R}\to {\mathbb{R}}^{+}$ are bounded continuous functions for $k=1,2,\dots ,l$;

(W9)

There exist $t_0\in \mathbb{R}$ and $max\{1,2(1+{\varpi }_i)/(3-\nu )\}<\vartheta <2$ such that

$$\underset{(t,u)\to (t_0,0)}{lim}\frac{W(t,u)}{{\left|u\right|}^{\vartheta }}>0.$$

Then, we have the following results.

Theorem 5.

Suppose that L and W satisfy ($L_{\nu }$) and (W6)–(W8). Then, (1) has at least one nontrivial homoclinic solution.

Theorem 6.

Suppose that L and W satisfy ($L_{\nu }$), (W5), (W6), (W7) and (W9). Then, (1) has at least $d(\in \mathbb{N})$ distinct pairs of nontrivial homoclinic solutions.

We will use the following conditions on $W(t,u)$ to fined infinitely many homoclinic solutions:

(W10)

${lim}_{\left|u\right|\to \infty }\frac{W(t,u)}{{\left|u\right|}^2}=+\infty$ uniformly for all $t\in \mathbb{R}$.

(W11)

There exists $\varrho >0$ such that $W(t,u)\ge -{\varrho \left|u\right|}^2$ for all $(t,u)\in \mathbb{R}\times {\mathbb{R}}^n$.

(W12)

$W(t,0)=0$ and there exist $D>0$ and ${\gamma }_j>2(j=1,\dots ,l)$ such that

$$|\nabla W(t,u)|\le D\left(\left|u\right|+\sum _{j=1}^l{\left|u\right|}^{{\gamma }_j-1}\right),\forall (t,u)\in \mathbb{R}\times {\mathbb{R}}^n;$$

(W13)

There exist $\rho >0,p_j,q_j>0,0\le {\sum }_{j=1}^l{q}_j<\frac{\rho -2}{2}$ and $0<{\theta }_j<2(j=1,\dots ,l)$ such that

$$(\nabla W(t,u),u)-\rho W(t,u)\ge -\sum _{j=1}^l\left[p_j{\left|u\right|}^2+q_j(L(t)u,u)+M_j(t){\left|u\right|}^{{\theta }_j}\right],\forall (t,u)\in \mathbb{R}\times {\mathbb{R}}^n,$$

where $M_j\in L^{\frac{2}{2-{\theta }_j}}(\mathbb{R},{\mathbb{R}}^{+})(j=1,\dots ,l)$.

(W14)

There exist $\vartheta \ge {\gamma }_j-1(j=1,\dots ,l),c>0$ and $R_1>0$ such that

$$\begin{array}{c}(\nabla W(t,u),u)-2W(t,u)\ge {c\left|u\right|}^{\vartheta },\forall t\in \mathbb{R},\forall \left|u\right|\ge R_1,\hfill \\ (\nabla W(t,u),u)\ge 2W(t,u),\forall t\in \mathbb{R},\forall \left|u\right|\le R_1.\hfill \end{array}$$

Remark 1.

In view of (W12), we have

$$W(t,u)={\int }_0^1(\nabla W(t,su),u)ds\le D\left(\frac{1}{2}{\left|u\right|}^2+\sum _{j=1}^l\frac{1}{{\gamma }_j}{\left|u\right|}^{{\gamma }_j}\right),\forall (t,u)\in \mathbb{R}\times {\mathbb{R}}^n.$$

Now, we can state our main results.

Theorem 7.

Suppose that L and W satisfy (L), (W5) and (W10)–(W13). Then, system (1) possesses an unbounded sequence of homoclinic solutions.

Theorem 8.

Suppose that L and W satisfy (L), (W5), (W10)–(W12) and (W14). Then, system (1) possesses an unbounded sequence of homoclinic solutions.

The paper is organized as follows. In Section 2, we give preliminary facts and provide some basic properties which are needed later. Section 3 contains our results on existence and multiplicity of homoclinic solutions.

2. Preliminaries

Here we present some basic concepts and lemmas that we need in the sequel.

Definition 1

([36]). The left and right Liouville–Weyl fractional integrals of order $0<\alpha <1$ on the whole axis $\mathbb{R}$ are defined by

$$\begin{array}{ccc}\hfill {}_{-\infty }{I}_x^{\alpha }\varphi (x)& =& \frac{1}{\mathrm{\Gamma }(\alpha )}{\int }_{-\infty }^x{(x-\xi )}^{\alpha -1}\varphi (\xi )d\xi ,\hfill \end{array}$$

(4)

$$\begin{array}{ccc}\hfill {}_x{I}_{\infty }^{\alpha }\varphi (x)& =& \frac{1}{\mathrm{\Gamma }(\alpha )}{\int }_x^{\infty }{(\xi -x)}^{\alpha -1}\varphi (\xi )d\xi ,\hfill \end{array}$$

(5)

respectively, where $x\in \mathbb{R}$.

The left and right Liouville–Weyl fractional derivatives of order $0<\alpha <1$ on the whole axis $\mathbb{R}$ are defined by

$$\begin{array}{ccc}\hfill {}_{-\infty }{D}_x^{\alpha }\varphi (x)& =& \frac{d}{dx}{}_{-\infty }{I}_x^{1-\alpha }\varphi (x),\hfill \end{array}$$

(6)

$$\begin{array}{ccc}\hfill {}_x{D}_{\infty }^{\alpha }\varphi (x)& =& -\frac{d}{dx}{}_x{I}_{\infty }^{1-\alpha }\varphi (x),\hfill \end{array}$$

(7)

respectively, where $x\in \mathbb{R}$.

The Definitions (6) and (7) may be written in an alternative form as follows:

$$\begin{array}{ccc}\hfill {}_{-\infty }{D}_x^{\alpha }\varphi (x)& =& \frac{\alpha }{\mathrm{\Gamma }(1-\alpha )}{\int }_0^{\infty }\frac{\varphi (x)-\varphi (x-\xi )}{{\xi }^{\alpha +1}}d\xi ,\hfill \end{array}$$

(8)

$$\begin{array}{ccc}\hfill {}_x{D}_{\infty }^{\alpha }\varphi (x)& =& \frac{\alpha }{\mathrm{\Gamma }(1-\alpha )}{\int }_0^{\infty }\frac{\varphi (x)-\varphi (x+\xi )}{{\xi }^{\alpha +1}}d\xi .\hfill \end{array}$$

(9)

According to the results in [37,38], we note that solutions of equations with fractional derivatives (differently from the classical setting) can approximate any smooth function.

Also, we define the Fourier transform $\mathcal{F}(u)(\xi )$ of $u(x)$ as

$$\begin{array}{c}\hfill \mathcal{F}(u)(\xi )={\int }_{-\infty }^{\infty }{e}^{-ix·\xi }u(x)dx.\end{array}$$

For any $\alpha >0$, we define the semi-norm and norm respectively as [31]

$$\begin{array}{ccc}\hfill {\left|u\right|}_{I_{-\infty }^{\alpha }}& =& \left|\right|{}_{-\infty }{D}_x^{\alpha }u{\left|\right|}_{L^2},\hfill \\ \hfill {\left|\right|u\left|\right|}_{I_{-\infty }^{\alpha }}& =& {\left({\left|\right|u\left|\right|}_{L^2}^2+{\left|u\right|}_{I_{-\infty }^{\alpha }}^2\right)}^{\frac{1}{2}},\hfill \end{array}$$

(10)

and let the space $I_{-\infty }^{\alpha }(\mathbb{R})$ denote the completion of $C_0^{\infty }(\mathbb{R})$ with respect to the norm $\left|\right|·{\left|\right|}_{I_{-\infty }^{\alpha }}$.

Next, for $0<\alpha <1$, we give the relationship between classical fractional Sobolev space $H^{\alpha }(\mathbb{R})$ and $I_{-\infty }^{\alpha }(\mathbb{R})$, where $H^{\alpha }(\mathbb{R})$ is defined by

$$\begin{array}{c}\hfill H^{\alpha }(\mathbb{R})={\overline{C_0^{\infty }(\mathbb{R})}}^{{\parallel ·\parallel }_{\alpha }},\end{array}$$

with the norm

$$\begin{array}{c}\hfill {\left|\right|u\left|\right|}_{\alpha }={\left({\left|\right|u\left|\right|}_{L^2}^2+{\left|u\right|}_{\alpha }^2\right)}^{\frac{1}{2}},\end{array}$$

(11)

and semi-norm

$$\begin{array}{c}\hfill {\left|u\right|}_{\alpha }={\left|\right|\left|\xi \right|}^{\alpha }\mathcal{F}(u){\left|\right|}_{L^2}.\end{array}$$

Observe that the spaces $H^{\alpha }(\mathbb{R})$ and $I_{-\infty }^{\alpha }(\mathbb{R})$ are isomorphic and have equivalent norms (see [31]).

Therefore, we define

$$\begin{array}{c}\hfill H^{\alpha }(\mathbb{R})=\left\{u\in L^2{(\mathbb{R})\left|\right|\xi |}^{\alpha }\mathcal{F}(u)\in L^2(\mathbb{R})\right\}.\end{array}$$

Now we recall the following results of critical point theory.

Lemma 1

([39]). Let E be a real Banach space and $I\in C^1(E,\mathbb{R})$ satisfy Palais–Smale condition. If I is bounded from below, then $c={inf}_{E}I$ is a critical value of I.

Lemma 2

(Clark Theorem [40]). Let E be a real Banach space and $I\in C^1(E,\mathbb{R})$ with I even, bounded from below, and satisfy Palais–Smale condition. Suppose that $I(0)=0$, there is a set $K\subset E$ such that K is homeomorphic to $S^{d-1}$ (unit sphere) by an odd map, and ${sup}_{K}I<0$. Then I possesses at least d distinct pairs of critical points.

3. Proofs of Theorems

In order to establish our results via variational methods and the critical point theory, we firstly describe some properties of the space on which the variational associated with (1) is defined. Let

$$\begin{array}{c}\hfill X^{\alpha }=\left\{u\in H^{\alpha }(\mathbb{R})|{\int }_{\mathbb{R}}\left(|{}_{-\infty }{D}_t^{\alpha }{u(t)|}^2+(L(t)u(t),u(t))\right)dt<\infty \right\}.\end{array}$$

The space $X^{\alpha }$ is a Hilbert space with the inner product

$$\begin{array}{c}\hfill {⟨u,v⟩}_{X^{\alpha }}={\int }_{\mathbb{R}}\left(({}_{-\infty }{D}_t^{\alpha }u(t),{}_{-\infty }{D}_t^{\alpha }v(t))+(L(t)u(t),v(t))\right)dt,\end{array}$$

and the corresponding norm

$$\begin{array}{c}\hfill {\parallel u\parallel }_{X^{\alpha }}^2={⟨u,u⟩}_{X^{\alpha }}.\end{array}$$

Lemma 3

(See Theorem 2.1 in [31]). Let $\alpha >\frac{1}{2}$, then $H^{\alpha }(\mathbb{R},{\mathbb{R}}^n)\subset C(\mathbb{R},{\mathbb{R}}^n)$ and there is a constant $C=C_{\alpha }$ such that

$$\begin{array}{c}\hfill {\parallel u\parallel }_{\infty }=\underset{x\in \mathbb{R}}{sup}\left|u(x)\right|\le {C\left|\right|u\left|\right|}_{\alpha }.\end{array}$$

(12)

So by Lemma 3, there exists a constant $C_{\alpha }>0$ such that

$$\begin{array}{c}\hfill {\parallel u\parallel }_{\infty }\le C_{\alpha }{\left|\right|u\left|\right|}_{X^{\alpha }}.\end{array}$$

(13)

By (${\mathrm{L}}_{\nu }$), there exist integers $T_0>0$ and $M_0>0$ such that

$${\left|t\right|}^{\nu -2}\underset{\left|\xi \right|=1}{inf}(L(t)\xi ,\xi )\ge M_0,\left|t\right|>T_0,$$

which implies that

$${\left|t\right|}^{\nu -2}(L(t)\xi ,\xi )\ge M_0{\left|\xi \right|}^2,\left|t\right|>T_0,\xi \in {\mathbb{R}}^n.$$

(14)

Lemma 4.

Suppose that L satisfies ($L_{\nu }$). Then, for $1\le q\in (2/(3-\nu ),2)$, $X^{\alpha }$ is compactly embedded in $L^q(\mathbb{R},{\mathbb{R}}^n)$. Moreover

$${\int }_{\left|t\right|>T}{\left|u(t)\right|}^{q}dt\le \frac{\rho (q)}{T^{\frac{(3-\nu )q-2}{2}}}{\parallel u\parallel }_{X^{\alpha }}^q,\forall u\in X^{\alpha },T\ge T_0.$$

(15)

and

$${\parallel u\parallel }_q^q\le \left[{\left({\int }_{\left|t\right|\le T}{[l(t)]}^{\frac{-q}{2-q}}dt\right)}^{1-\frac{q}{2}}+\frac{\rho (q)}{T^{\frac{(3-\nu )q-2}{2}}}\right]{\parallel u\parallel }_{X^{\alpha }}^q,\forall u\in X^{\alpha },T\ge T_0,$$

(16)

where

$$\rho (q)={\left[\frac{2(2-q)}{(3-\nu )q-2}\right]}^{1-\frac{q}{2}}{M}_0^{-\frac{q}{2}},$$

(17)

and

$$l(t)=\underset{x\in {\mathbb{R}}^n,\left|x\right|=1}{inf}(L(t)x,x).$$

(18)

Proof. 

Let $\varsigma =\frac{(3-\nu )q-2}{2-q}$. Then $\varsigma >0$. For $u\in X^{\alpha }$ and $T\ge T_0$, it follows from (14) and (17) together with the Hölder inequality that

$$\begin{array}{ccc}\hfill {\int }_{\left|t\right|>T}{\left|u(t)\right|}^{q}dt& \le & {\left({\int }_{\left|t\right|>T}{\left|t\right|}^{-\frac{(2-\nu )q}{2-q}}dt\right)}^{1-\frac{q}{2}}{\left({\int }_{\left|t\right|>T}{\left|t\right|}^{2-\nu }{\left|u(t)\right|}^{2}dt\right)}^{\frac{q}{2}}\hfill \\ & \le & {\left(\frac{2}{\varsigma T^{\varsigma }}\right)}^{1-\frac{q}{2}}{\left(\frac{1}{M_0}{\int }_{\left|t\right|>T}(L(t)u(t),u(t))dt\right)}^{\frac{q}{2}}\hfill \\ & \le & \frac{2^{\frac{2-q}{2}}}{M_0^{\frac{q}{2}}{\varsigma }^{\frac{2-q}{2}}{T}^{\frac{(3-\nu )q-2}{2}}}{\parallel u\parallel }_{X^{\alpha }}^q\hfill \\ & \le & \frac{\rho (q)}{T^{\frac{(3-\nu )q-2}{2}}}{\parallel u\parallel }_{X^{\alpha }}^q.\hfill \end{array}$$

This shows that (15) holds. Hence, from (15) and (18) and the Hölder inequality, one can get

$$\begin{array}{ccc}\hfill {\parallel u\parallel }_q^q& =& {\int }_{\left|t\right|\le T}{\left|u(t)\right|}^{q}dt+{\int }_{\left|t\right|>T}{\left|u(t)\right|}^{q}dt\hfill \\ & \le & {\left({\int }_{\left|t\right|\le T}{[l(t)]}^{-\frac{q}{2-q}}dt\right)}^{1-\frac{q}{2}}{\left({\int }_{\left|t\right|\le T}l(t){\left|u(t)\right|}^{2}dt\right)}^{\frac{q}{2}}+\frac{\rho (q)}{T^{\frac{(3-\nu )q-2}{2}}}{\parallel u\parallel }_{X^{\alpha }}^q\hfill \\ & \le & {\left({\int }_{\left|t\right|\le T}{[l(t)]}^{-\frac{q}{2-q}}dt\right)}^{1-\frac{q}{2}}{\parallel u\parallel }_{X^{\alpha }}^q+\frac{\rho (q)}{T^{\frac{(3-\nu )q-2}{2}}}{\parallel u\parallel }_{X^{\alpha }}^q.\hfill \end{array}$$

This shows that (16) holds.

Finally, we prove that $X^{\alpha }$ is compactly embedded in $L^q(\mathbb{R},{\mathbb{R}}^n)$. Let $\left\{u_k\right\}\subset X^{\alpha }$ be a bounded sequence. Then by (13), there exists a constant $\mathsf{\Lambda }>0$ such that

$$\begin{array}{c}\hfill \parallel u_k{\parallel }_{\infty }\le C_{\alpha }{\parallel u_k\parallel }_{X^{\alpha }}\le \mathsf{\Lambda },k\in \mathbb{N}.\end{array}$$

(19)

Since $X^{\alpha }$ is reflexive, $\left\{u_k\right\}$ possesses a weakly convergent subsequence in $X^{\alpha }$. Passing to a subsequence if necessary, we may assume that $u_k\rightharpoonup u_0$ weakly in $X^{\alpha }$. It is easy to verify that

$$\underset{k\to \infty }{lim}{u}_k(t)=u_0(t),\forall t\in \mathbb{R}.$$

(20)

For any given number $\epsilon >0$, we can choose $T_{\epsilon }>0$ such that

$$\begin{array}{c}\hfill \frac{2^{q-1}\rho (q)}{T_{\epsilon }^{\frac{(3-\nu )q-2}{2}}}\left[{\left(\frac{\mathsf{\Lambda }}{C_{\alpha }}\right)}^q+{\parallel u_0\parallel }_{X^{\alpha }}^q\right]<\epsilon .\end{array}$$

(21)

It follows from (20) that there exists $k_0\in \mathbb{N}$ such that

$$\begin{array}{c}\hfill {\int }_{\left|t\right|\le T_{\epsilon }}{|u_k(t)-u_0(t)|}^{q}dt<\epsilon ,\forall k\ge k_0.\end{array}$$

(22)

On the other hand, it follows from (15), (19) and (21) that

$$\begin{array}{ccc}\hfill {\int }_{\left|t\right|>T_{\epsilon }}{|u_k(t)-u_0(t)|}^{q}dt& \le & 2^{q-1}{\int }_{\left|t\right|>T_{\epsilon }}\left(|u_k{(t)|}^q+{\left|u_0(t)\right|}^q\right)dt\hfill \\ & \le & \frac{2^{q-1}\rho (q)}{T_{\epsilon }^{\frac{(3-\nu )q-2}{2}}}\left(\parallel u_k{\parallel }_{X^{\alpha }}^q+{\parallel u_0\parallel }_{X^{\alpha }}^q\right)\hfill \\ & \le & \frac{2^{q-1}\rho (q)}{T_{\epsilon }^{\frac{(3-\nu )q-2}{2}}}\left[{\left(\frac{\mathsf{\Lambda }}{C_{\alpha }}\right)}^q+{\parallel u_0\parallel }_{X^{\alpha }}^q\right]<\epsilon ,k\in \mathbb{N}.\hfill \end{array}$$

(23)

Since $\epsilon >0$ is arbitrary, we obtain by (22) and (23) that

$$\begin{array}{c}\hfill \parallel u_k-u_0{\parallel }_q^q={\int }_{\mathbb{R}}{|u_k(t)-u_0(t)|}^{q}dt\to 0,\mathrm{as}k\to +\infty .\end{array}$$

This shows that $\left\{u_k\right\}$ possesses a convergent subsequence in $L^q(\mathbb{R},{\mathbb{R}}^n)$. Therefore, $X^{\alpha }$ is compactly embedded in $L^q(\mathbb{R},{\mathbb{R}}^n)$ for $1\le q\in (2/(3-\nu ),2)$. Therefore, the proof is complete. ☐

Also, by (L), since $l\in C(\mathbb{R},(0,\infty ))$ and l is coercive, then $l_{min}={min}_{t\in \mathbb{R}}l(t)$ exists, then we have

$$(L(t)u(t),u(t))\ge {l(t)\left|u(t)\right|}^2\ge l_{min}{\left|u(t)\right|}^2,\forall t\in \mathbb{R}.$$

(24)

Lemma 5.

Suppose that L satisfies (L). Then for $2\le q<\infty$, $X^{\alpha }$ is compactly embedded in $L^q(\mathbb{R},{\mathbb{R}}^n)$; moreover

$${\int }_{\left|t\right|>T}{\left|u(t)\right|}^{q}dt\le \frac{C_{\alpha }^{q-2}}{{min}_{\left|s\right|\ge T}l(s)}{\parallel u\parallel }_{X^{\alpha }}^q,\forall u\in X^{\alpha },T\ge 1,$$

(25)

and

$${\parallel u\parallel }_{L^q}^q\le l_{min}^{-1}{C}_{\alpha }^{q-2}{\parallel u\parallel }_{X^{\alpha }}^q,\forall u\in X^{\alpha }.$$

(26)

Proof. 

From (13) and (24), one can get

$$\begin{array}{ccc}\hfill {\int }_{\left|t\right|>T}{\left|u(t)\right|}^{q}dt& \le & {\parallel u\parallel }_{\infty }^{q-2}{\int }_{\left|t\right|>T}{\left|u(t)\right|}^{2}dt\hfill \\ & \le & {\parallel u\parallel }_{\infty }^{q-2}{\int }_{\left|t\right|>T}{[l(t)]}^{-1}(L(t)u(t),u(t))dt\hfill \\ & \le & \frac{{\parallel u\parallel }_{\infty }^{q-2}}{{min}_{\left|s\right|\ge T}l(s)}{\parallel u\parallel }_{X^{\alpha }}^2\hfill \\ & \le & \frac{C_{\alpha }^{q-2}}{{min}_{\left|s\right|\ge T}l(s)}{\parallel u\parallel }_{X^{\alpha }}^q,\hfill \end{array}$$

(27)

and

$$\begin{array}{ccc}\hfill {\parallel u\parallel }_{L^q}^q& \le & {\parallel u\parallel }_{\infty }^{q-2}{\int }_{t\in \mathbb{R}}{\left|u(t)\right|}^{2}dt\hfill \\ & \le & l_{min}^{-1}{\parallel u\parallel }_{\infty }^{q-2}{\int }_{t\in \mathbb{R}}(L(t)u(t),u(t))dt\hfill \\ & \le & l_{min}^{-1}{C}_{\alpha }^{q-2}{\parallel u\parallel }_{X^{\alpha }}^q,\hfill \end{array}$$

which, together with (27), shows that (25) and (26) holds.

We now can prove that $X^{\alpha }$ is compactly embedded in $L^q(\mathbb{R},{\mathbb{R}}^n)$ for $2\le q<\infty$ by (L). By Lemma 2.2 in [31], we know that the embedding of $X^{\alpha }$ in $L^2(\mathbb{R},{\mathbb{R}}^n)$ is continuous and compact. On the other hand, from Lemma 3, we know that if $u\in H^{\alpha }$ with $\frac{1}{2}<\alpha <1$, then $u\in L^q(\mathbb{R},{\mathbb{R}}^n)$ for all $q\in [2,+\infty )$, because

$${\int }_{\mathbb{R}}{\left|u(x)\right|}^{q}dx\le {\parallel u\parallel }_{\infty }^{q-2}{\parallel u\parallel }_{L^2}^2.$$

So, it is easy to verify that the embedding of $X^{\alpha }$ in $L^q(\mathbb{R},{\mathbb{R}}^n)$ is also continuous and compact for $2<q<\infty$. Therefore, combining this with Lemma 2.2 in [31], we have the desired conclusion for $2\le q<\infty$. Therefore, the proof is complete. ☐

Now, we establish the corresponding variational framework to obtain solutions of (1). To this end, define the functional $I:X^{\alpha }\to \mathbb{R}$ by

$$\begin{array}{ccc}\hfill I(u)& =& \frac{1}{2}{\int }_{\mathbb{R}}\left(|{}_{-\infty }{D}_t^{\alpha }{u(t)|}^2+(L(t)u(t),u(t))\right)dt-{\int }_{\mathbb{R}}W(t,u(t))dt\hfill \\ & =& \frac{1}{2}{\parallel u\parallel }_{X^{\alpha }}^2-{\int }_{\mathbb{R}}W(t,u(t))dt.\hfill \end{array}$$

(28)

Lemma 6.

Assume that the conditions ($L_{\nu }$), (W1) and (W2) hold. Then the functional I is well defined and of class $C^1(X^{\alpha },\mathbb{R})$ with

$$\begin{array}{ccc}\hfill I^{\prime }(u)v& =& {\int }_{\mathbb{R}}\left(({}_{-\infty }{D}_t^{\alpha }u(t),{}_{-\infty }{D}_t^{\alpha }v(t))+(L(t)u(t),v(t))-(\nabla W(t,u(t)),v(t))\right)dt.\hfill \end{array}$$

(29)

Furthermore, the critical points of I in $X^{\alpha }$ are solutions of (1) with $u(t)\to 0$ as $t\to \pm \infty$.

Proof. 

We firstly show that $I:X^{\alpha }\to \mathbb{R}$. For $T\ge T_0$, in view of (W1) and (26), we have

$$\begin{array}{ccc}\hfill \left|{\int }_{\mathbb{R}}W(t,u(t))dt\right|& \le & \sum _{i=1}^m{a}_i{\int }_{\mathbb{R}}{\left|u(t)\right|}^{{\gamma }_i}dt\hfill \\ & \le & \sum _{i=1}^m{a}_i\left[{\left({\int }_{\left|t\right|\le T}{[l(t)]}^{\frac{-{\gamma }_i}{2-{\gamma }_i}}dt\right)}^{1-\frac{{\gamma }_i}{2}}+\frac{\rho ({\gamma }_i)}{T^{\frac{(3-\nu ){\gamma }_i-2}{2}}}\right]{\parallel u\parallel }_{X^{\alpha }}^{{\gamma }_i}\hfill \\ & \le & \sum _{i=1}^m{\varphi }_i(T){\parallel u\parallel }_{X^{\alpha }}^{{\gamma }_i},\hfill \end{array}$$

(30)

where ${\varphi }_i(T):=a_i\left[{\left({\int }_{\left|t\right|\le T}{[l(t)]}^{\frac{-{\gamma }_i}{2-{\gamma }_i}}dt\right)}^{1-\frac{{\gamma }_i}{2}}+\frac{\rho ({\gamma }_i)}{T^{\frac{(3-\nu ){\gamma }_i-2}{2}}}\right].$ Combining this with (28), it follows that $I:X^{\alpha }\to \mathbb{R}$.

Next, we prove that $I\in C^1(X^{\alpha },\mathbb{R})$. Rewrite I as $I=I_1-I_2,$ where

$$\begin{array}{ccc}\hfill I_1(u)& :=& \frac{1}{2}{\int }_{\mathbb{R}}\left(|{}_{-\infty }{D}_t^{\alpha }{u(t)|}^2+(L(t)u(t),u(t))\right)dt,\hfill \\ \hfill I_2(u)& :=& {\int }_{\mathbb{R}}W(t,u(t))dt.\hfill \end{array}$$

(31)

It is easy to check that $I_1\in C^1(X^{\alpha },\mathbb{R})$, and that

$$\begin{array}{ccc}\hfill I_1^{\prime }(u)v& =& {\int }_{\mathbb{R}}\left(({}_{-\infty }{D}_t^{\alpha }u(t),{}_{-\infty }{D}_t^{\alpha }v(t))+(L(t)u(t),v(t))\right)dt.\hfill \end{array}$$

Then, it is sufficient to show that $I_2\in C^1(X^{\alpha },\mathbb{R})$. So, we have

$$\begin{array}{ccc}\hfill I_2^{\prime }(u)v& =& {\int }_{\mathbb{R}}(\nabla W(t,u(t)),v(t))dt,\forall u,v\in X^{\alpha }.\hfill \end{array}$$

(32)

By (W2), one can choose a constant ${\phi }_0>0$ such that

$$\begin{array}{c}\hfill \phi (|u|)\le {\phi }_0{\left|u\right|}^{{\gamma }_{m+1}-1},\forall u\in {\mathbb{R}}^n,\left|u\right|\le 1.\end{array}$$

(33)

For any $u,v\in X^{\alpha }$, there exists $T_1>0$ such that $|u(t)|+|v(t)|<1$ as $\left|t\right|>T_1$. Then for any function $\theta :\mathbb{R}\to (0,1)$ and any number $h\in (0,1)$, by (W2), (33) and Lemma 4, we have

$$\begin{array}{cc}\hfill {\int }_{\mathbb{R}}& \left|(\nabla W(t,u(t)+\theta (t)hv(t)),v(t))\right|dt\hfill \\ & \le {\int }_{\left|t\right|\le T_1}|(\nabla W(t,u(t)+\theta (t)hv(t))\left|\right|v(t))|dt\hfill \\ & +{\int }_{\left|t\right|>T_1}|(\nabla W(t,u(t)+\theta (t)hv(t))\left|\right|v(t))|dt\hfill \\ & \le {\int }_{\left|t\right|\le T_1}\underset{\left|x\right|\le {\parallel u\parallel }_{\infty }+{\parallel v\parallel }_{\infty }}{max}|(\nabla W(t,x)\left|\right|v(t))|dt+{\phi }_0{\int }_{\left|t\right|>T_1}(|u(t)|+{\left|v(t)\right|)}^{{\gamma }_{m+1}-1}|v(t))|dt\hfill \\ & \le {\int }_{\left|t\right|\le T_1}\underset{\left|x\right|\le {\parallel u\parallel }_{\infty }+{\parallel v\parallel }_{\infty }}{max}|(\nabla W(t,x)\left|\right|v(t))|dt+{\phi }_0{\int }_{\left|t\right|>T_1}{\left|v(t)\right|}^{{\gamma }_{m+1}}dt\hfill \\ & +{\phi }_0{\left({\int }_{\left|t\right|>T_1}{\left|u(t)\right|}^{{\gamma }_{m+1}}dt\right)}^{1-\frac{1}{{\gamma }_{m+1}}}{\left({\int }_{\left|t\right|>T_1}{\left|v(t)\right|}^{{\gamma }_{m+1}}dt\right)}^{\frac{1}{{\gamma }_{m+1}}}\hfill \\ & \le {\int }_{\left|t\right|\le T_1}\underset{\left|x\right|\le {\parallel u\parallel }_{\infty }+{\parallel v\parallel }_{\infty }}{max}|(\nabla W(t,x)\left|\right|v(t))|dt\hfill \\ \mathrm{(34)}& & +{\phi }_0\frac{\rho ({\gamma }_{m+1})}{T^{\frac{(3-\nu ){\gamma }_{m+1}-2}{2}}}{(\parallel u\parallel }_{X^{\alpha }}^{{\gamma }_{m+1}-1}+{\parallel v\parallel }_{X^{\alpha }}^{{\gamma }_{m+1}-1}{)\parallel v\parallel }_{X^{\alpha }}<+\infty .\hfill \end{array}$$

Then by (28) and (34), the mean value theorem and Lebesgue’s dominated convergence theorem, we get

$$\begin{array}{ccc}\hfill I_2^{\prime }(u)v& =& \underset{h\to 0^{+}}{lim}\frac{I_2(u+hv)-I_2(u)}{h}\hfill \\ & =& \underset{h\to 0^{+}}{lim}\left[{\int }_{\mathbb{R}}\frac{W(t,u(t)+hv(t))-W(t,u(t))}{h}dt\right]\hfill \\ & =& \underset{h\to 0^{+}}{lim}\left[{\int }_{\mathbb{R}}(\nabla W(t,u(t)+\theta (t)hv(t)),v(t))dt\right]\hfill \\ & =& {\int }_{\mathbb{R}}(\nabla W(t,u(t)),v(t))dt.\hfill \end{array}$$

This shows that (32) holds.

It remains to prove that $I_2^{\prime }$ is continuous. Suppose that $u_k\to u_0$ in $X^{\alpha }$, then, by the Banach-Steinhaus theorem, there exists a constant $\varrho >0$ such that

$$\begin{array}{c}\hfill \parallel u_0{\parallel }_{X^{\alpha }}\le \frac{1}{C_{\alpha }}\varrho ,\underset{k\in \mathbb{N}}{sup}{\parallel u_k\parallel }_{X^{\alpha }}\le \frac{1}{C_{\alpha }}\varrho .\end{array}$$

(35)

In view of (13), we have

$$\begin{array}{c}\hfill \parallel u_0{\parallel }_{\infty }\le \varrho ,\underset{k\in \mathbb{N}}{sup}{\parallel u_k\parallel }_{\infty }\le \varrho .\end{array}$$

(36)

Now, by (W2), we can choose a constant ${\phi }_1>0$ such that

$$\begin{array}{c}\hfill \phi (|u|)\le {\phi }_1{\left|u\right|}^{{\gamma }_{m+1}-1},\forall u\in {\mathbb{R}}^n,\left|u\right|\le \varrho .\end{array}$$

(37)

Thus by (15), (29), (35)–(37), (W2) and the Hölder inequality, we obtain

$$\begin{array}{ccc}\hfill |I_2^{\prime }(u_k)v-I_2^{\prime }(u_0)v|& =& {\int }_{\mathbb{R}}\left|(\nabla W(t,u_k(t))-\nabla W(t,u_0(t)),v(t))\right|dt\hfill \\ & \le & {\int }_{\left|t\right|\le T}|(\nabla W(t,u_k(t))-\nabla W(t,u_0(t))\left|\right|v(t))|dt\hfill \\ & & +{\int }_{\left|t\right|>T}|(\nabla W(t,u_k(t))-\nabla W(t,u_0(t))\left|\right|v(t))|dt\hfill \\ & \le & o(1)+{\phi }_1{\int }_{\left|t\right|>T_1}\left(|u_k{(t)|}^{{\gamma }_{m+1}-1}+{\left|u_0(t)\right|}^{{\gamma }_{m+1}-1}\right)|v(t))|dt\hfill \\ & \le & o(1)+{\phi }_1{\left({\int }_{\left|t\right|>T}{\left|u_k(t)\right|}^{{\gamma }_{m+1}}dt\right)}^{1-\frac{1}{{\gamma }_{m+1}}}{\left({\int }_{\left|t\right|>T_1}{\left|v(t)\right|}^{{\gamma }_{m+1}}dt\right)}^{\frac{1}{{\gamma }_{m+1}}}\hfill \\ & & +{\phi }_1{\left({\int }_{\left|t\right|>T}{\left|u_0(t)\right|}^{{\gamma }_{m+1}}dt\right)}^{1-\frac{1}{{\gamma }_{m+1}}}{\left({\int }_{\left|t\right|>T_1}{\left|v(t)\right|}^{{\gamma }_{m+1}}dt\right)}^{\frac{1}{{\gamma }_{m+1}}}\hfill \\ & \le & o(1)+{\phi }_1\frac{\rho ({\gamma }_{m+1})}{T^{\frac{(3-\nu ){\gamma }_{m+1}-2}{2}}}(\parallel u_k{\parallel }_{X^{\alpha }}^{{\gamma }_{m+1}-1}+\parallel u_0{\parallel }_{X^{\alpha }}^{{\gamma }_{m+1}-1}{)\parallel v\parallel }_{X^{\alpha }}\hfill \\ & =& o(1),\mathrm{as}k\to +\infty ,T\to +\infty ,\forall v\in X^{\alpha },\hfill \end{array}$$

which shows the continuity of $I_2^{\prime }$.

Finally, by a standard argument, it is easy to show that the critical points of I in $X^{\alpha }$ are solutions of (1) with $u(\pm \infty )=0$. Therefore, the proof is complete. ☐

Proof of Theorem 3.

In view of Lemma 3, $I\in C^1(X^{\alpha },\mathbb{R})$. We show that I satisfies the hypotheses of Lemma 1.

Claim 1.

We first show that I is bounded from below. Selecting $T_2>T_0$, it follows from (30) that

$$\begin{array}{c}\hfill {\int }_{\mathbb{R}}W(t,u(t))dt\le \sum _{i=1}^m{\varphi }_i(T_2){\parallel u\parallel }_{X^{\alpha }}^{{\gamma }_i},\forall u\in X^{\alpha }.\end{array}$$

(38)

From (28) and (38), we get

$$\begin{array}{c}\hfill I(u)=\frac{1}{2}{\parallel u\parallel }_{X^{\alpha }}^2-{\int }_{\mathbb{R}}W(t,u(t))dt\ge \frac{1}{2}{\parallel u\parallel }_{X^{\alpha }}^2-\sum _{i=1}^m{\varphi }_i(T_2){\parallel u\parallel }_{X^{\alpha }}^{{\gamma }_i}.\end{array}$$

(39)

Since $max\{1,2/(3-\nu )\}<{\gamma }_i<2$, (39) implies that $I(u)\to +\infty$ as ${\parallel u\parallel }_{X^{\alpha }}\to +\infty$. Therefore, I is bounded from below.

Claim 2.

We show that I satisfies the Palais–Smale condition. Assume that ${\left\{u_k\right\}}_{k\in \mathbb{N}}\subset X^{\alpha }$ is a sequence such that ${\left\{I(u_k)\right\}}_{k\in \mathbb{N}}$ is bounded and $I^{\prime }(u_k)\to 0$ as $k\to +\infty$. So by (13) and (39), there exists a constant ${\mathsf{\Lambda }}_1>0$ such that

$$\begin{array}{c}\hfill \parallel u_k{\parallel }_{\infty }\le C_{\alpha }{\parallel u_k\parallel }_{X^{\alpha }}\le {\mathsf{\Lambda }}_1,k\in \mathbb{N}.\end{array}$$

(40)

Hence, passing to a subsequence if necessary, one may assume that $u_k\rightharpoonup u$ weakly in $X^{\alpha }$. It is easy to verify that

$$\underset{k\to \infty }{lim}{u}_k(t)=u(t),\forall t\in \mathbb{R}.$$

(41)

So,

$$\begin{array}{c}\hfill (I^{\prime }(u_k)-I^{\prime }(u))(u_k-u)\to 0\mathrm{as}k\to \infty ,\end{array}$$

(42)

it follows from (40) and (41) that

$${\parallel u\parallel }_{X^{\alpha }}\le {\mathsf{\Lambda }}_1.$$

(43)

By (W2), we can choose ${\phi }_2>0$ such that

$$\begin{array}{c}\hfill \phi (|u|)\le {\phi }_2{\left|u\right|}^{{\gamma }_{m+1}-1},\forall u\in {\mathbb{R}}^n,\left|u\right|\le {\mathsf{\Lambda }}_1.\end{array}$$

(44)

For any given number $\epsilon >0$, we can choose $T_3>0$ such that

$$\begin{array}{c}\hfill \frac{\rho ({\gamma }_{m+1})}{T_3^{\frac{(3-\nu ){\gamma }_{m+1}-2}{2}}}\left[{\left(\frac{{\mathsf{\Lambda }}_1}{C_{\alpha }}\right)}^{{\gamma }_{m+1}}+{\parallel u\parallel }_{X^{\alpha }}^{{\gamma }_{m+1}}\right]<\epsilon .\end{array}$$

(45)

It follows from (41) and the continuity of $\nabla W(t,x)$ on x that there exists $k_1\in \mathbb{N}$ such that

$$\begin{array}{c}\hfill {\int }_{\left|t\right|\le T_3}|\nabla W(t,u_k(t))-\nabla W(t,u(t))\left|\right|u_k(t)-u(t)|dt<\epsilon ,\forall k\ge k_1.\end{array}$$

(46)

Therefore, in view of (15), (40), (43)–(45) and (W2), we obtain

$$\begin{array}{cc}\hfill {\int }_{\left|t\right|>T_3}& |\nabla W(t,u_k(t))-\nabla W(t,u(t))\left|\right|u_k(t)-u(t)|dt\hfill \\ & \le {\phi }_2{\int }_{\left|t\right|>T_3}\left(|u_k{(t)|}^{{\gamma }_{m+1}-1}+{\left|u(t)\right|}^{{\gamma }_{m+1}-1}\right)\left(|u_k(t)|+|u(t)|\right)dt\hfill \\ & \le 2{\phi }_2{\int }_{\left|t\right|>T_3}\left(|u_k{(t)|}^{{\gamma }_{m+1}}+{\left|u(t)\right|}^{{\gamma }_{m+1}}\right)dt\hfill \\ & \le 2{\phi }_2\frac{\rho ({\gamma }_{m+1})}{T_3^{\frac{(3-\nu ){\gamma }_{m+1}-2}{2}}}\left[\parallel u_k{\parallel }_{X^{\alpha }}^{{\gamma }_{m+1}}+{\parallel u\parallel }_{X^{\alpha }}^{{\gamma }_{m+1}}\right]\hfill \\ & \le 2{\phi }_2\frac{\rho ({\gamma }_{m+1})}{T_3^{\frac{(3-\nu ){\gamma }_{m+1}-2}{2}}}\left[{\left(\frac{{\mathsf{\Lambda }}_1}{C_{\alpha }}\right)}^{{\gamma }_{m+1}}+{\parallel u\parallel }_{X^{\alpha }}^{{\gamma }_{m+1}}\right]\hfill \\ & <2{\phi }_2\epsilon ,k\in \mathbb{N}.\hfill \end{array}$$

(47)

Since $\epsilon >0$ is arbitrary, so by (46) and (47), we get

$$\begin{array}{c}\hfill {\int }_{\mathbb{R}}(\nabla W(t,u_k(t))-\nabla W(t,u(t)),u_k(t)-u(t))dt\to 0,\mathrm{as}k\to +\infty .\end{array}$$

(48)

On the other hand, we have

$$\begin{array}{c}(I^{\prime }(u_k)-I^{\prime }(u))(u_k-u)\hfill \\ =\parallel u_k{-u\parallel }_{X^{\alpha }}^2-{\int }_{\mathbb{R}}(\nabla W(t,u_k(t))-\nabla W(t,u(t)),u_k(t)-u(t))dt.\hfill \end{array}$$

(49)

Hence, it follows from (42), (48) and (49) that $\parallel u_k{-u\parallel }_{X^{\alpha }}\to 0$ as $k\to +\infty$. Therefore, I satisfies Palais–Smale condition.

Then, by Lemma 1, $c={inf}_{X^{\alpha }}I(u)$ is a critical value of I, that is, there exists a critical point e such that $I(e)=c$.

Finally, we show that $e\ne 0$. Take some $u\in X^{\alpha }$ such that ${\parallel u\parallel }_{X^{\alpha }}=1$. Then there exists a subset Ω of positive measure $\left|\mathsf{\Omega }\right|<\infty$ of $\mathbb{R}$ such that $u(t)\ne 0$ for $t\in \mathsf{\Omega }$. Take $\sigma >0$ small enough so that $\sigma \left|u(t)\right|\le {\delta }_0$ for $t\in \mathsf{\Omega }$. By (W3), there exists a constant $\eta >0$ such that

$$\begin{array}{c}\hfill W(t,u)\ge \eta \sum _{k=1}^l{\left|u\right|}^{{\nu }_k},\forall t\in \mathsf{\Omega },u\in {\mathbb{R}}^n,\left|u\right|\le {\delta }_0.\end{array}$$

(50)

Then by (50), one can get

$$\begin{array}{ccc}\hfill I(\sigma u)& =& \frac{{\sigma }^2}{2}{\parallel u\parallel }_{X^{\alpha }}^2-{\int }_{\mathbb{R}}W(t,\sigma u(t))dt\hfill \\ & \le & \frac{{\sigma }^2}{2}-\eta \sum _{k=1}^l{\sigma }^{{\nu }_k}{\int }_{\mathsf{\Omega }}{\left|u(t)\right|}^{{\nu }_k}dt.\hfill \end{array}$$

(51)

Since $max\{1,2/(3-\nu )\}<{\nu }_k<2(k=1,2,\dots ,l)$ and ${\int }_{\mathsf{\Omega }}{\left|u(t)\right|}^{\mu }dt>0$, (51) implies that $I(\sigma u)<0$ for some $\sigma >0$ with $\sigma \left|u(t)\right|\le {\delta }_0$ for $t\in \mathsf{\Omega }$. Thus, $I(e)=c={inf}_{X^{\alpha }}I(u)<0$, therefore e is a nontrivial critical point of I, and hence $e=e(t)$ is a nontrivial homoclinic solution of system (1). The proof is complete. ☐

Proof of Theorem 4.

In view of Lemma 6 and the Proof of Theorem 3, $I\in C^1(X^{\alpha },\mathbb{R})$ is bounded from below and satisfies the Palais–Smale condition. It is obvious that I is even and $I(0)=0$. In order to apply Lemma 2, we show that there is a set $K\subset X^{\alpha }$ such that K is homeomorphic to $S^{d-1}$ by an odd map, and ${sup}_{K}I<0$.

By (W4), there exist an open set $D\subset \mathbb{R}$ with $t_0\in D$, ${\sigma }_1>0$ and $\eta >0$ such that

$$\begin{array}{c}\hfill W(t,u)\ge {\eta \left|u\right|}^{\vartheta },\forall (t,u)\in D\times {\mathbb{R}}^n,\left|u\right|<{\sigma }_1.\end{array}$$

(52)

For any $d\in \mathbb{N}$, we take d disjoint open sets $D_i$ such that ${\bigcup }_{i=1}^d{D}_i\subset D$. For $i=1,2,\dots ,d$, let $u_i\in \left(H_0^{\alpha }(D_i)\bigcap X^{\alpha }\right)\setminus \left\{0\right\}$ (for detail of $H_0^{\alpha }(D_i)$, see [41]) and $\parallel u_i{\parallel }_{X^{\alpha }}=1$, and

$$\begin{array}{c}\hfill X_d=\mathrm{span}\{u_1,\dots ,u_d\},S_d=\{u\in X_d{:\parallel u\parallel }_{X^{\alpha }}=1\}.\end{array}$$

(53)

For a $u\in X_d$, there exist ${\lambda }_i\in \mathbb{R},i=1,2,\dots ,d$ such that

$$\begin{array}{c}\hfill u(t)=\sum _{i=1}^d{\lambda }_i{u}_i(t)\mathrm{for}t\in \mathbb{R}.\end{array}$$

(54)

So

$$\begin{array}{c}\hfill {\parallel u\parallel }_{\vartheta }={\left({\int }_{\mathbb{R}}{\left|u(t)\right|}^{\vartheta }dt\right)}^{\frac{1}{\vartheta }}={\left(\sum _{i=1}^d|{\lambda }_i{|}^{\vartheta }{\int }_{D_i}{\left|u_i(t)\right|}^{\vartheta }dt\right)}^{\frac{1}{\vartheta }},\end{array}$$

(55)

and

$$\begin{array}{ccc}\hfill {\parallel u\parallel }_{X^{\alpha }}^2& =& {\int }_{\mathbb{R}}\left(|{}_{-\infty }{D}_t^{\alpha }{u(t)|}^2+(L(t)u(t),u(t))\right)dt\hfill \\ & =& \sum _{i=1}^d{\lambda }_i^2{\int }_{D_i}\left(|{}_{-\infty }{D}_t^{\alpha }{u}_i{(t)|}^2+(L(t)u_i(t),u_i(t))\right)dt\hfill \\ & =& \sum _{i=1}^d{\lambda }_i^2{\int }_{\mathbb{R}}\left(|{}_{-\infty }{D}_t^{\alpha }{u}_i{(t)|}^2+(L(t)u_i(t),u_i(t))\right)dt\hfill \\ \mathrm{(56)}& & =& \sum _{i=1}^d{\lambda }_i^2{\parallel u_i\parallel }_{X^{\alpha }}^2=\sum _{i=1}^d{\lambda }_i^2.\hfill \end{array}$$

As all norms of a finite dimensional normed space are equivalent, there is a constant $C^{\prime }>0$ such that

$$\begin{array}{c}\hfill C^{\prime }{\parallel u\parallel }_{X^{\alpha }}\le {\parallel u\parallel }_{L^{\vartheta }}\mathrm{for}u\in X_d.\end{array}$$

(57)

Note that $W(t,0)=0$, and so according to (52), (54), (55)–(57), one can get

$$\begin{array}{ccc}\hfill I(su)& =& \frac{s^2}{2}{\parallel u\parallel }_{X^{\alpha }}^2-{\int }_{\mathbb{R}}W(t,su(t))dt\hfill \\ & =& \frac{s^2}{2}{\parallel u\parallel }^2-\sum _{i=1}^d{\int }_{D_i}W(t,s{\lambda }_i{u}_i(t))\hfill \\ & \le & \frac{s^2}{2}{\parallel u\parallel }_{X^{\alpha }}^2-\eta s^{\vartheta }\sum _{i=1}^d|{\lambda }_i{|}^{\vartheta }{\int }_{D_i}{\left|u_i(t)\right|}^{\vartheta }dt\hfill \\ & \le & \frac{s^2}{2}{\parallel u\parallel }_{X^{\alpha }}^2-\eta s^{\vartheta }{\parallel u\parallel }_{\vartheta }^{\vartheta }\hfill \\ \mathrm{(58)}& & \le & \frac{s^2}{2}{\parallel u\parallel }_{X^{\alpha }}^2-\eta {(C^{\prime }s)}^{\vartheta }{\parallel u\parallel }_{X^{\alpha }}^{\vartheta },\forall u\in S_d,\hfill \end{array}$$

and sufficiently small $s>0$. In this case (52) is applicable, since u is continuous on $\overline{D}$ and so $|s{\lambda }_i{u}_i(t)|\le {\sigma }_1$ for any $t\in D$, $i=1,2,\dots ,d$ can be true for sufficiently small s. Hence, it follows from (58) that there exist $\epsilon >0$ and ${\sigma }_2>0$ such that

$$\begin{array}{c}\hfill I({\sigma }_{2}u)<-\epsilon \forall u\in S_d.\end{array}$$

(59)

Let

$$\begin{array}{c}\hfill S_d^{{\sigma }_2}=\{{\sigma }_{2}u:u\in S_d\},S^{d-1}=\left\{{\left(\frac{{\lambda }_1}{{\sigma }_2},\frac{{\lambda }_2}{{\sigma }_2},\dots ,\frac{{\lambda }_d}{{\sigma }_2}\right)}^T\in {\mathbb{R}}^d:\sum _{i=1}^d\frac{{\lambda }_i^2}{{\sigma }_2^2}=1\right\}.\end{array}$$

Then it follows from (56) that

$$\begin{array}{c}\hfill S_d^{{\sigma }_2}=\left\{\sum _{i=1}^d{\lambda }_i{u}_i:\sum _{i=1}^d{\lambda }_i^2={\sigma }_2^2\right\}.\end{array}$$

By (52), we define a map $\mathsf{\Psi }:S_d^{{\sigma }_2}\to S^{d-1}$ as follows

$$\begin{array}{c}\hfill \mathsf{\Psi }(u)={\sigma }_2^{-1}{\left(\frac{{\lambda }_1}{{\sigma }_2},\frac{{\lambda }_2}{{\sigma }_2},\dots ,\frac{{\lambda }_d}{{\sigma }_2}\right)}^T,\forall u\in S_d^{\sigma }.\end{array}$$

It is easy to verify that $\mathsf{\Psi }:S_d^{{\sigma }_2}\to S^{d-1}$ is an odd homeomorphic map. On the other hand, by (59), we have

$$\begin{array}{c}\hfill I(u)<-\epsilon \forall u\in S_d^{{\sigma }_2},\end{array}$$

and thus ${sup}_{S_d^{{\sigma }_2}}I<-\epsilon <0$. By Lemma 2, I has at least d distinct pairs of critical points, and so system (1) possesses at least d distinct pairs of nontrivial homoclinic solutions. The proof is complete. ☐

Lemma 7.

Suppose that L satisfies ($L_{\nu }$). Then for $\varpi \in [0,\nu )$ and $1\le q\in (2(1+\varpi )/(3-\nu ),2)$, $X^{\alpha }$ is compactly embedded in $L^q(\mathbb{R},{\mathbb{R}}^n)$; moreover

$${\int }_{\left|t\right|>T}{(1+|t|}^{\varpi }{)|u(t)|}^{q}dt\le \frac{\rho (\varpi ,q)}{T^{\frac{(3-\nu )q-2(1+\varpi )}{2}}}{\parallel u\parallel }_{X^{\alpha }}^q,\forall u\in X^{\alpha },T\ge T_0,$$

(60)

and

$$\begin{array}{c}{\int }_{\mathbb{R}}{(1+|t|}^{\varpi }{)|u(t)|}^{q}dt\le \left[{\left({\int }_{\left|t\right|\le T}{(1+|t|}^{\varpi }{)}^{\frac{2}{2-q}}{[l(t)]}^{\frac{-q}{2-q}}dt\right)}^{1-\frac{q}{2}}+\frac{\rho (\varpi ,q)}{T^{\frac{(3-\nu )q-2(1+\varpi )}{2}}}\right]{\parallel u\parallel }_{X^{\alpha }}^q,\hfill \\ \forall u\in X^{\alpha },T\ge T_0,\hfill \end{array}$$

(61)

where

$$\rho (\varpi ,q)=2{\left[\frac{2(2-q)}{(3-\nu )q-2(1+\varpi )}\right]}^{1-\frac{q}{2}}{M}_0^{-\frac{q}{2}},$$

(62)

and $l(t)$ is defined in (18).

Proof. 

Let $\zeta =\frac{(3-\nu )q-2(1+\varpi )}{2-q}$. Then $\zeta >0$. For $u\in X^{\alpha }$ and $T\ge T_0$, it follows from (14) and (62) and the Hölder inequality that

$$\begin{array}{ccc}\hfill {\int }_{\left|t\right|>T}{(1+|t|}^{\varpi }{)|u(t)|}^{q}dt& \le & 2{\left({\int }_{\left|t\right|>T}{\left|t\right|}^{-\frac{(2-\nu )q-2\varpi }{2-q}}dt\right)}^{1-\frac{q}{2}}{\left({\int }_{\left|t\right|>T}{\left|t\right|}^{2-\nu }{\left|u(t)\right|}^{2}dt\right)}^{\frac{q}{2}}\hfill \\ & =& 2{\left({\int }_{\left|t\right|>T}{\left|t\right|}^{-(\zeta +1)}dt\right)}^{1-\frac{q}{2}}{\left({\int }_{\left|t\right|>T}{\left|t\right|}^{2-\nu }{\left|u(t)\right|}^{2}dt\right)}^{\frac{q}{2}}\hfill \\ & \le & 2{\left(\frac{2}{\zeta T^{\zeta }}\right)}^{1-\frac{q}{2}}{\left(\frac{1}{M_0}{\int }_{\left|t\right|>T}(L(t)u(t),u(t))dt\right)}^{\frac{q}{2}}\hfill \\ & \le & \frac{2^{1+\frac{2-q}{2}}}{M_0^{\frac{q}{2}}{\zeta }^{\frac{2-q}{2}}{T}^{\frac{(3-\nu )q-2(1+\varpi )}{2}}}{\parallel u\parallel }_{X^{\alpha }}^q\hfill \\ & =& \frac{\rho (\varpi ,q)}{T^{\frac{(3-\nu )q-2(1+\varpi )}{2}}}{\parallel u\parallel }_{X^{\alpha }}^q.\hfill \end{array}$$

This shows that (60) holds. Hence, from (60) and (18) and the Hölder inequality, one can get

$$\begin{array}{ccc}\hfill {\int }_{\mathbb{R}}{(1+|t|}^{\varpi }{)|u(t)|}^{q}dt& =& {\int }_{\left|t\right|\le T}{(1+|t|}^{\varpi }{)|u(t)|}^{q}dt+{\int }_{\left|t\right|>T}{(1+|t|}^{\varpi }{)|u(t)|}^{q}dt\hfill \\ & \le & {\left({\int }_{\left|t\right|\le T}{(1+|t|}^{\varpi }{)}^{\frac{2}{2-q}}{[l(t)]}^{-\frac{q}{2-q}}dt\right)}^{1-\frac{q}{2}}{\left({\int }_{\left|t\right|\le T}l(t){\left|u(t)\right|}^{2}dt\right)}^{\frac{q}{2}}\hfill \\ & & +\frac{\rho (\varpi ,q)}{T^{\frac{(3-\nu )q-2(1+\varpi )}{2}}}{\parallel u\parallel }_{X^{\alpha }}^q\hfill \\ & \le & {\left({\int }_{\left|t\right|\le T}{(1+|t|}^{\varpi }{)}^{\frac{2}{2-q}}{[l(t)]}^{-\frac{q}{2-q}}dt\right)}^{1-\frac{q}{2}}{\parallel u\parallel }_{X^{\alpha }}^q\hfill \\ & & +\frac{\rho (\varpi ,q)}{T^{\frac{(3-\nu )q-2(1+\varpi )}{2}}}{\parallel u\parallel }_{X^{\alpha }}^q.\hfill \end{array}$$

This shows that (61) holds.

Finally, by similar argument in the proof of Lemma 4, it is easy to show that $X^{\alpha }$ is compactly embedded in $L^q(\mathbb{R},{\mathbb{R}}^n)$. Therefore, the proof is complete. ☐

In this case Lemma 7 holds again with replacing (W1) and (W2) by (W6) and (W7), and in view of (W6) and (61), we have

$$\begin{array}{ccc}\hfill \left|{\int }_{\mathbb{R}}W(t,u(t))dt\right|& \le & \sum _{i=1}^r{g}_i{\int }_{\mathbb{R}}{(1+|t|}^{{\varpi }_i}{)|u(t)|}^{{\tau }_i}dt\hfill \\ & \le & \sum _{i=1}^r{g}_i[{\left({\int }_{\left|t\right|\le T}{(1+|t|}^{{\varpi }_i}{)}^{\frac{2}{2-{\tau }_i}}{[l(t)]}^{\frac{-{\tau }_i}{2-{\tau }_i}}dt\right)}^{1-\frac{{\tau }_i}{2}}\hfill \\ & & +\frac{\rho ({\varpi }_i,{\tau }_i)}{T^{\frac{(3-\nu ){\gamma }_i-2(1+{\varpi }_i)}{2}}}]{\parallel u\parallel }_{X^{\alpha }}^{{\tau }_i}\hfill \\ \mathrm{(63)}& & \le & \sum _{i=1}^r{\mathrm{\Pi }}_i(T){\parallel u\parallel }_{X^{\alpha }}^{{\tau }_i},\hfill \end{array}$$

where ${\mathrm{\Pi }}_i(T):=g_i\left[{\left({\int }_{\left|t\right|\le T}{(1+|t|}^{{\varpi }_i}{)}^{\frac{2}{2-{\tau }_i}}{[l(t)]}^{\frac{-{\tau }_i}{2-{\tau }_i}}dt\right)}^{1-\frac{{\tau }_i}{2}}+\frac{\rho ({\varpi }_i,{\tau }_i)}{T^{\frac{(3-\nu ){\gamma }_i-2(1+{\varpi }_i)}{2}}}\right].$

Therefore, the proof of Theorems 5 and 6 are similar to Theorems 3 and 4, respectively, and are omitted.

Let X be a Banach space with the norm $\parallel ·\parallel$ and $X=\overline{{\oplus }_{j\in \mathbb{N}}{X}_j}$, where $X_j$ are finite-dimensional subspace of X, for each $k\in \mathbb{N}$, assume that $Y_k={\oplus }_{j=0}^k{X}_j$ and $Z_k=\overline{{\oplus }_{j=k}^{\infty }{X}_j}$. The functional Φ is said to satisfy the Palais–Smale condition if any sequence ${\left\{u_j\right\}}_{j\in \mathbb{N}}\subset X$ such that ${\left\{\mathsf{\Phi }(u_j)\right\}}_{n\in \mathbb{N}}$ is bounded and ${\mathsf{\Phi }}^{\prime }(u_j)\to 0$ as $j\to +\infty$ has a convergent subsequence.

Now, let us recall, for the reader’s convenience, a critical point result as follow:

Theorem 9

([42,43]). Suppose that the functional $\mathsf{\Phi }\in C^1(X,\mathbb{R})$ is even. If, for every $k\in \mathbb{N}$, there exist ${\varrho }_k>r_k>0$ such that

(F1) 

$a_k:={max}_{u\in Y_k,\parallel u\parallel ={\varrho }_k}\mathsf{\Phi }(u)\le 0$.

(F2) 

$b_k:={inf}_{u\in Z_k,\parallel u\parallel =r_k}\mathsf{\Phi }(u)\to +\infty$ as $k\to \infty$.

(F3) 

Φ satisfies the Palais–Smale condition.

Then Φ possesses an unbounded sequence of critical values.

Proof of Theorem 7.

Let ${\left\{e_j\right\}}_{j=1}^{\infty }$ be the standard orthogonal basis of $X^{\alpha }$ and define $X_j:=\mathbb{R}{e}_j$, then $Z_k$ and $Y_k$ can be defined as that in Theorem 9. From (29) and (W5), we can obtain that $\mathsf{\Phi }\in C^1(X^{\alpha },\mathbb{R})$ is even. Let us prove that the functionals Φ satisfy the required conditions in Theorem 9.

We firstly verify condition (F2) in Theorem 9. Let

$$\begin{array}{c}{\lambda }_k=\underset{u\in Z_k,{\parallel u\parallel }_{X^{\alpha }}=1}{sup}{\parallel u\parallel }_{L^2},\hfill \\ {\beta }_k^j=\underset{u\in Z_k,{\parallel u\parallel }_{X^{\alpha }}=1}{sup}{\parallel u\parallel }_{L^{{\gamma }_j}},\mathrm{for}\mathrm{any}j=1,\dots ,l,\hfill \end{array}$$

then ${\lambda }_k\to 0$ and ${\beta }_k^j\to 0$ as $k\to +\infty$ for any $j=1,\dots ,l$. Clearly the sequence $\left\{{\lambda }_k\right\}$ is nonnegative and nonincreasing, so we assume that ${\lambda }_k\to \overline{\lambda }\ge 0$, $k\to +\infty$. For every $k\ge 0$, there exists $u_k\in Z_k$ such that $\parallel u_k{\parallel }_{X^{\alpha }}=1$ and $\parallel u_k{\parallel }_{L^2}>\frac{{\lambda }_k}{2}$. Then, up to a subsequence, we may assume that $u_k\rightharpoonup u$ weakly in $X^{\alpha }$. Noticing that $Z_k$ is a closed subspace of $X^{\alpha }$, by Mazur’s theorem, we have $u\in Z_k$, for all $k>\tilde{n}$. Consequently, we get $u\in {\bigcap }_{k=\tilde{n}}^{\infty }{Z}_k=\left\{0\right\}$, which implies $u_k\rightharpoonup 0$ weakly in $X^{\alpha }$. By Lemma 5, we have $u_k\to 0$ in $L^2(\mathbb{R},{\mathbb{R}}^n)$. Thus we have proved that $\overline{\lambda }=0$. Similarly, we can prove that ${\beta }_k^j\to 0$ as $k\to +\infty$ for any $j=1,\dots ,l$. In view of (28) and (W3), one can get

$$\begin{array}{ccc}\hfill \mathsf{\Phi }(u)& =& \frac{1}{2}{\parallel u\parallel }_{X^{\alpha }}^2-{\int }_{\mathbb{R}}W(t,u(t))dt\hfill \\ & \ge & \frac{1}{2}{\parallel u\parallel }_{X^{\alpha }}^2-D\left(\frac{1}{2}{\parallel u\parallel }_{L^2}^2+\sum _{j=1}^l\frac{1}{{\gamma }_j}{\parallel u\parallel }_{L^{{\gamma }_j}}^{{\gamma }_j}\right)\hfill \\ \mathrm{(64)}& & \ge & \frac{1}{2}{\parallel u\parallel }_{X^{\alpha }}^2-\frac{1}{2}D{\lambda }_k^2{\parallel u\parallel }_{X^{\alpha }}^2-D\sum _{j=1}^l\frac{1}{{\gamma }_j}{\beta }_k^{{\gamma }_j}{\parallel u\parallel }_{X^{\alpha }}^{{\gamma }_j}.\hfill \end{array}$$

Since ${\lambda }_k\to 0$ as $k\to +\infty$, there exists a positive constant $N_0$ such that

$$\begin{array}{c}\hfill D{\lambda }_k^2\le \frac{1}{2},\forall k\ge N_0.\end{array}$$

(65)

By (64) and (65), we have

$$\begin{array}{c}\hfill \mathsf{\Phi }(u)\ge \frac{1}{4}{\parallel u\parallel }_{X^{\alpha }}^2-D\sum _{j=1}^l\frac{1}{{\gamma }_j}{\beta }_k^{{\gamma }_j}{\parallel u\parallel }_{X^{\alpha }}^{{\gamma }_j},\forall k\ge N_0.\end{array}$$

(66)

If we choose $r_k=\frac{1}{l}max\left\{{\left(8\frac{D}{{\gamma }_1}{\beta }_k^{{\gamma }_1}\right)}^{\frac{1}{2-{\gamma }_1}},\dots ,{\left(8\frac{D}{{\gamma }_l}{\beta }_k^{{\gamma }_l}\right)}^{\frac{1}{2-{\gamma }_l}}\right\}$, then

$$\begin{array}{c}\hfill b_k=\underset{u\in Z_k,{\parallel u\parallel }_{X^{\alpha }}=r_k}{inf}\mathsf{\Phi }(u)\ge \frac{1}{8}{r}_k^2,\forall k\ge N_0.\end{array}$$

(67)

Since ${\beta }_k\to 0$ as $k\to \infty$ and ${\gamma }_j>2$ for any $j=1,\dots ,l$, we can obtain

$$b_k\to +\infty ,\mathrm{as}k\to \infty .$$

We now verify condition (F1) in Theorem 9. Since $dim{Y}_k<\infty$ and all norms of a finite-dimensional normed space are equivalent, there exists a constant $M_0>0$ such that

$$\begin{array}{c}\hfill {\parallel u\parallel }_{X^{\alpha }}\le M_0{\parallel u\parallel }_{L^2},\forall u\in Y_k.\end{array}$$

(68)

By (W1), for ${\epsilon }_1=\left(1+\varrho l_{min}^{-1}\right)M_0^2$ where ϱ is given in (W2), there exists $\delta =\delta ({\epsilon }_1)>0$ such that

$$\begin{array}{c}\hfill W(t,u)\ge {\epsilon }_1{\left|u\right|}^2,\forall \left|u\right|\ge \delta ,\forall t\in \mathbb{R}.\end{array}$$

(69)

Then, for any $u\in Y_k$, in view of (26), (28) and (69), one has

$$\begin{array}{ccc}\hfill \mathsf{\Phi }(u)& =& \frac{1}{2}{\parallel u\parallel }_{X^{\alpha }}^2-{\int }_{\mathbb{R}}W(t,u(t))dt\hfill \\ & =& \frac{1}{2}{\parallel u\parallel }_{X^{\alpha }}^2-{\int }_{\{t\in \mathbb{R};|u(t)\ge \delta \}}W(t,u(t))dt-{\int }_{\{t\in \mathbb{R};|u(t)<\delta \}}W(t,u(t))dt\hfill \\ & \le & \frac{1}{2}{\parallel u\parallel }_{X^{\alpha }}^2-{\epsilon }_1{\parallel u\parallel }_{L^2}^2+\varrho {\parallel u\parallel }_{L^2}^2\hfill \\ & \le & \frac{1}{2}{\parallel u\parallel }_{X^{\alpha }}^2-\frac{{\epsilon }_1}{M_0^2}{\parallel u\parallel }_{X^{\alpha }}^2+\varrho l_{min}^{-1}{\parallel u\parallel }_{X^{\alpha }}^2\hfill \\ & =& \left(\frac{1}{2}-\frac{{\epsilon }_1}{M_0^2}+\varrho l_{min}^{-1}\right){\parallel u\parallel }_{X^{\alpha }}^2=-\frac{1}{2}{\parallel u\parallel }_{X^{\alpha }}^2.\hfill \end{array}$$

Hence, we can choose ${\parallel u\parallel }_{X^{\alpha }}={\varrho }_k$ large enough $({\varrho }_k>r_k>0)$ such that

$$\begin{array}{c}\hfill a_k=\underset{u\in Y_k,\parallel u\parallel ={\varrho }_k}{max}\mathsf{\Phi }(u)\le 0.\end{array}$$

Finally, We prove that Φ satisfies the Palais–Smale condition. Let ${\left\{u_i\right\}}_{i\in \mathbb{N}}\subset X^{\alpha }$ be a Palais–Smale sequence, that is, ${\left\{\mathsf{\Phi }(u_i)\right\}}_{n\in \mathbb{N}}$ is bounded and ${\mathsf{\Phi }}^{\prime }(u_i)\to 0$ as $i\to +\infty$. Then there exists a constant $M_1>0$ such that

$$|\mathsf{\Phi }(u_i)|\le M_1,{\parallel {\mathsf{\Phi }}^{\prime }(u_i)\parallel }_{{(X^{\alpha })}^{*}}\le M_1$$

(70)

for every $i\in \mathbb{N}$, where ${(X^{\alpha })}^{*}$ is the dual space of $X^{\alpha }$.

We now prove that $\left\{u_i\right\}$ is bounded in $X^{\alpha }$. In fact, if not, we may assume that by contradiction that $\parallel u_i{\parallel }_{X^{\alpha }}\to \infty$ as $i\to +\infty$. Set $v_i=\frac{u_i}{\parallel u_i{\parallel }_{X^{\alpha }}}$. Clearly, $\parallel v_i{\parallel }_{X^{\alpha }}=1$ and there is $v_0\in X^{\alpha }$ such that, up to a subsequence

$$\left\{\begin{array}{cc}{v}_i\rightharpoonup v_0,\hfill & \mathrm{weakly}\mathrm{in}{X}^{\alpha },\hfill \\ v_i\to v_0,\hfill & \mathrm{strongly}\mathrm{in}{L}^q(\mathbb{R},{\mathbb{R}}^n),2\le q<+\infty ,\hfill \end{array}\right.$$

(71)

as $i\to +\infty$. Since $v_i\rightharpoonup v_0$ in $X^{\alpha }$, it is easy to verify that

$$\begin{array}{c}\hfill \underset{i\to +\infty }{lim}{v}_i(t)=v_0(t)\forall t\in \mathbb{R}.\end{array}$$

(72)

Now, we consider the following two cases:

Case 1. $v_0=0$. From (26), (70), (W13) and the Hölder’s inequality, we can obtain

$$\begin{array}{c}\rho M_1+M_1{\parallel u_i\parallel }_{X^{\alpha }}\ge \rho \mathsf{\Phi }(u_i)-{\mathsf{\Phi }}^{\prime }(u_i)u_i\hfill \\ =\left(\frac{\rho }{2}-1\right){\parallel u_i\parallel }_{X^{\alpha }}^2+{\int }_{\mathbb{R}}[(\nabla W(t,u_i(t)),u_i(t))-\rho W(t,u_i(t))]dt\hfill \\ \ge \left(\frac{\rho }{2}-1\right){\parallel u_i\parallel }_{X^{\alpha }}^2-\sum _{j=1}^l{\int }_{\mathbb{R}}\left[p_j|u_i{(t)|}^2+q_j(L(t)u_i(t),u_i(t))+M_j(t){\left|u_i(t)\right|}^{{\theta }_j}\right]dt\hfill \\ \ge \left(\frac{\rho -2}{2}-\sum _{j=1}^l{q}_j\right)\parallel u_i{\parallel }_{X^{\alpha }}^2-\sum _{j=1}^l{p}_j\parallel u_i{\parallel }_{L^2}^2-\sum _{j=1}^l\parallel M_j{\parallel }_{L^{\frac{2}{2-{\theta }_j}}}{\parallel u_i\parallel }_{L^2}^{{\theta }_j}\hfill \\ \mathrm{(73)}& \ge \left(\frac{\rho -2}{2}-\sum _{j=1}^l{q}_j\right)\parallel u_i{\parallel }_{X^{\alpha }}^2-\sum _{j=1}^l{p}_j\parallel u_i{\parallel }_{L^2}^2-\sum _{j=1}^l\parallel M_j{\parallel }_{L^{\frac{2}{2-{\theta }_j}}}{(l_{min}^{-1})}^{\frac{{\theta }_j}{2}}{\parallel u_i\parallel }_{X^{\alpha }}^{{\theta }_j}.\hfill \end{array}$$

Divided by $\parallel u_i{\parallel }_{X^{\alpha }}^2$ on both sides of (73), noting that $0\le {\sum }_{j=1}^l{q}_j<\frac{\rho -2}{2}$ and $0<{\theta }_j<2$$(j=1,\dots ,l)$, one has

$$\begin{array}{c}\hfill \parallel v_i{\parallel }_{L^2}^2\ge \frac{\frac{\rho -2}{2}-{\sum }_{j=1}^l{q}_j}{{\sum }_{j=1}^l{p}_j}>0,\mathrm{as}i\to \infty .\end{array}$$

(74)

It follows from (71) and (74) that $v_0\ne 0$. This is a contradiction.

Case 2. $v_0\ne 0$. Since ${\left\{\mathsf{\Phi }(u_i)\right\}}_{n\in \mathbb{N}}$ is bounded, then by (70), we have

$$\mathsf{\Phi }(u_i)=\frac{1}{2}{\parallel u_i\parallel }_{X^{\alpha }}^2-{\int }_{\mathbb{R}}W(t,u_i(t))dt\ge -M_1.$$

(75)

Divided by $\parallel u_i{\parallel }_{X^{\alpha }}^2$ on both sides of (75), we have

$$\begin{array}{c}\hfill {\int }_{\mathbb{R}}\frac{W(t,u_i(t))}{\parallel u_i{\parallel }_{X^{\alpha }}^2}dt\le \frac{1}{2}+\frac{M_1}{\parallel u_i{\parallel }_{X^{\alpha }}^2}<+\infty .\end{array}$$

(76)

Let $\mathsf{\Lambda }:=\{t\in \mathbb{R}:v_0(t)\ne 0\}$, then $\mathsf{\Lambda }\ne \varnothing$. Hence, by (72), we can obtain

$$\begin{array}{c}\hfill \underset{i\to +\infty }{lim}{u}_i(t)=\underset{i\to +\infty }{lim}{v}_i(t){\parallel u_i\parallel }_{X^{\alpha }}=+\infty \forall t\in \mathsf{\Lambda }.\end{array}$$

Combining (W10) and (W11), one has

$$\begin{array}{c}\hfill \underset{i\to +\infty }{lim}\left(\frac{W(t,u_i(t))}{|u_i{(t)|}^2}+\varrho \right){\left|v_i(t)\right|}^2=+\infty \forall t\in \mathsf{\Lambda }.\end{array}$$

(77)

So, by (W11), (71), (77) and Fatou’s lemma, one can get

$$\begin{array}{ccc}\hfill {\int }_{\mathbb{R}}\frac{W(t,u_i(t))}{\parallel u_i{\parallel }_{X^{\alpha }}^2}dt& =& {\int }_{t\in \mathsf{\Lambda }}\frac{W(t,u_i(t))}{\parallel u_i{\parallel }_{X^{\alpha }}^2}dt+{\int }_{t\in \mathbb{R}\setminus \mathsf{\Lambda }}\frac{W(t,u_i(t))}{\parallel u_i{\parallel }_{X^{\alpha }}^2}dt\hfill \\ & \ge & {\int }_{t\in \mathsf{\Lambda }}\frac{W(t,u_i(t))}{\parallel u_i{\parallel }_{X^{\alpha }}^2}dt-\varrho {\int }_{t\in \mathbb{R}\setminus \mathsf{\Lambda }}{\left|v_i(t)\right|}^{2}dt\hfill \\ & =& {\int }_{t\in \mathsf{\Lambda }}\frac{W(t,u_i(t))+\varrho {\left|u_i(t)\right|}^2}{|u_i{(t)|}^2}|v_i{(t)|}^{2}dt-\varrho {\int }_{\mathbb{R}}{\left|v_i(t)\right|}^{2}dt\to +\infty \hfill \end{array}$$

as $i\to +\infty$. This contradicts (76). Therefore, $\left\{u_i\right\}$ is bounded in $X^{\alpha }$, that is, there exists ${\xi }_1>0$ such that

$$\begin{array}{c}\hfill \parallel u_i{\parallel }_{X^{\alpha }}\le {\xi }_1.\end{array}$$

(78)

Then the sequence $\left\{u_i\right\}$ has a subsequence, again denoted by $\left\{u_i\right\}$, and there exists $u\in X^{\alpha }$ such that $u_i\rightharpoonup u$ in $X^{\alpha }$. Hence we will prove that $u_i\to u$ in $X^{\alpha }$. By (W13), (26) and (78), we have

$$\begin{array}{c}{\int }_{\mathbb{R}}(\nabla W(t,u_i(t))-\nabla W(t,u(t)),u_i(t)-u(t))dt\hfill \\ \le {\int }_{\mathbb{R}}(|\nabla W(t,u_i(t))|+|\nabla W(t,u(t))|)|u_i(t)-u(t)|dt\hfill \\ \le D{\int }_{\mathbb{R}}\left(|u_i(t)|+\sum _{j=1}^l{\left|u_i(t)\right|}^{{\gamma }_j-1}\right)|u_i(t)-u(t)|dt\hfill \\ +D{\int }_{\mathbb{R}}\left((|u(t)|+\sum _{j=1}^l|u(t){|}^{{\gamma }_j-1}\right)|u_i(t)-u(t)|dt\hfill \\ \le D\left(\parallel u_i{\parallel }_{L^2}+\sum _{j=1}^l{\parallel u_i\parallel }_{L^{2({\gamma }_j-1)}}^{{\gamma }_j-1}\right){\parallel u_i-u\parallel }_{L^2}\hfill \\ +D\left({\parallel u\parallel }_{L^2}+\sum _{j=1}^l{\parallel u\parallel }_{L^{2({\gamma }_j-1)}}^{{\gamma }_j-1}\right){\parallel u_i-u\parallel }_{L^2}\hfill \\ \le D\left(\sqrt{l_{min}^{-1}}\parallel u_i{\parallel }_{X^{\alpha }}+\sum _{j=1}^l\sqrt{l_{min}^{-1}}{C}_{\alpha }^{{\gamma }_j-2}{\parallel u_i\parallel }_{X^{\alpha }}^{{\gamma }_j-1}\right){\parallel u_i-u\parallel }_{L^2}\hfill \\ +D\left({\parallel u\parallel }_{L^2}+\sum _{j=1}^l{\parallel u\parallel }_{L^{2({\gamma }_j-1)}}^{{\gamma }_j-1}\right){\parallel u_i-u\parallel }_{L^2}\hfill \\ \mathrm{(79)}& \le D\left(\sqrt{l_{min}^{-1}}{\xi }_1+\sum _{j=1}^l\sqrt{l_{min}^{-1}}{C}_{\alpha }^{{\gamma }_j-2}{\xi }_1^{{\gamma }_j-1}\right){\parallel u_i-u\parallel }_{L^2}\to 0,\mathrm{as}i\to +\infty .\hfill \end{array}$$

It follows from $u_i\rightharpoonup u$ weakly in $X^{\alpha }$ and (79) that

$$({\mathsf{\Phi }}^{\prime }(u_i)-{\mathsf{\Phi }}^{\prime }(u),u_i-u)={\parallel u_i-u\parallel }_{X^{\alpha }}^2-{\int }_{\mathbb{R}}(\nabla W(t,u_i(t))-\nabla W(t,u(t)),u_i(t)-u(t))dt,$$

it is easy to deduce that $\parallel u_i{-u\parallel }_{X^{\alpha }}\to 0$ as $i=+\infty$. Therefore, Φ satisfies the Palais–Smale condition.

Therefore, it follows from Theorem 9 that Φ possesses an unbounded sequence $\left\{d_i\right\}$ of critical values with $d_i=\mathsf{\Phi }(u_i)$, where $u_i$ is such that ${\mathsf{\Phi }}^{\prime }(u_i)=0$ for $i=1,2,\dots$. If $\parallel u_i{\parallel }_{X^{\alpha }}$ is bounded, then there exists $R>0$ such that

$$\begin{array}{c}\hfill \parallel u_i{\parallel }_{X^{\alpha }}\le R,\mathrm{for}i\in \mathbb{N}.\end{array}$$

(80)

Hence, by virtue of (26) and (W12), we have

$$\begin{array}{ccc}\hfill \frac{1}{2}{\parallel u_i\parallel }_{X^{\alpha }}^2& =& d_i+{\int }_{\mathbb{R}}W(t,u_i(t))dt\hfill \\ & \ge & d_i-D{\int }_{\mathbb{R}}\left(\frac{1}{2}|u_i{(t)|}^2+\sum _{j=1}^l\frac{1}{{\gamma }_j}{\left|u_i(t)\right|}^{{\gamma }_j}\right)dt\hfill \\ & \ge & d_i-D\left(\frac{1}{2}{l}_{min}^{-1}\parallel u_i{\parallel }_{X^{\alpha }}^2+\sum _{j=1}^l\frac{1}{{\gamma }_j}{l}_{min}^{-1}{C}_{\alpha }^{{\gamma }_j-2}{\parallel u_i\parallel }_{X^{\alpha }}^{{\gamma }_j}\right)\hfill \end{array}$$

Thus, this follows that

$$\begin{array}{c}\hfill d_i\le \frac{1}{2}{\parallel u_i\parallel }_{X^{\alpha }}^2+D\left(\frac{1}{2}{l}_{min}^{-1}\parallel u_i{\parallel }_{X^{\alpha }}^2+\sum _{j=1}^l\frac{1}{{\gamma }_j}{l}_{min}^{-1}{C}_{\alpha }^{{\gamma }_j-2}{\parallel u_i\parallel }_{X^{\alpha }}^{{\gamma }_j}\right)<+\infty .\end{array}$$

This contradicts the fact that $\left\{d_i\right\}$ is unbounded, and so $\parallel u_i{\parallel }_{X^{\alpha }}$ is unbounded. The proof is completed. ☐

Proof of Theorem 8.

By a similar argument as that in Theorem 4, we can prove Theorem 8. In fact, we only need to prove that Φ satisfies the Palais–Smale condition. Let ${\left\{u_i\right\}}_{i\in \mathbb{N}}\subset X^{\alpha }$ be a Palais–Smale sequence, that is, ${\left\{\mathsf{\Phi }(u_i)\right\}}_{n\in \mathbb{N}}$ is bounded and ${\mathsf{\Phi }}^{\prime }(u_i)\to 0$ as $i\to +\infty$. We now prove that $\left\{u_i\right\}$ is bounded in $X^{\alpha }$. In fact, if not, we may assume that by contradiction that $\parallel u_i{\parallel }_{X^{\alpha }}\to \infty$ as $i\to +\infty$. We take $v_i$ as in the proof of Theorem 4.

Case 1. $v_0=0$. From (W14), one has

$$\begin{array}{c}2\mathsf{\Phi }(u_i)-{\mathsf{\Phi }}^{\prime }(u_i)u_i={\int }_{\mathbb{R}}[(\nabla W(t,u_i(t)),u_i(t))-2W(t,u_i(t))]dt\hfill \\ \ge {\int }_{\{t\in \mathbb{R},|u_i(t)|\ge R_1\}}[(\nabla W(t,u_i(t)),u_i(t))-2W(t,u_i(t))]dt\hfill \\ \mathrm{(81)}& \ge c{\int }_{\{t\in \mathbb{R},|u_i(t)|\ge R_1\}}{\left|u_i(t)\right|}^{\vartheta }dt,\hfill \end{array}$$

which implies that

$$\begin{array}{c}\hfill \frac{{\int }_{t\in \mathbb{R},|u_i(t)|\ge R_1}{\left|u_i(t)\right|}^{\vartheta }dt}{\parallel u_i{\parallel }_{X^{\alpha }}}\to 0,\mathrm{as}i\to \infty .\end{array}$$

(82)

It follows from (13), (W12), (W14) and Remark 1 that

$$\begin{array}{c}{M}_2\ge \mathsf{\Phi }(u_i)=\frac{1}{2}{\parallel u_i\parallel }_{X^{\alpha }}^2-{\int }_{\mathbb{R}}W(t,u_i(t))dt\hfill \\ \ge \frac{1}{2}{\parallel u_i\parallel }_{X^{\alpha }}^2-D{\int }_{\mathbb{R}}\left(\frac{1}{2}|u_i{(t)|}^2+\sum _{j=1}^l\frac{1}{{\gamma }_j}{\left|u_i(t)\right|}^{{\gamma }_j}\right)dt\hfill \\ \ge \frac{1}{2}\parallel u_i{\parallel }_{X^{\alpha }}^2-\frac{1}{2}D\parallel u_i{\parallel }_{L^2}^2-D\sum _{j=1}^l\frac{1}{{\gamma }_j}{\int }_{\{t\in \mathbb{R},|u_i(t)|\ge R_1\}}{\left|u_i(t)\right|}^{{\gamma }_j}dt\hfill \\ -D\sum _{j=1}^l\frac{1}{{\gamma }_j}{\int }_{\{t\in \mathbb{R},|u_i(t)|<R_1\}}{\left|u_i(t)\right|}^{{\gamma }_j}dt\hfill \\ \ge \frac{1}{2}\parallel u_i{\parallel }_{X^{\alpha }}^2-\frac{1}{2}D\parallel u_i{\parallel }_{L^2}^2-D\parallel u_i{\parallel }_{\infty }\sum _{j=1}^l\frac{1}{{\gamma }_j}{\int }_{\{t\in \mathbb{R},|u_i(t)|\ge R_1\}}{\left|u_i(t)\right|}^{{\gamma }_j-1}dt\hfill \\ -D\sum _{j=1}^l\frac{1}{{\gamma }_j}{R}_1^{{\gamma }_j-2}{\int }_{\{t\in \mathbb{R},|u_i(t)|<R_1\}}{\left|u_i(t)\right|}^{2}dt\hfill \\ \ge \frac{1}{2}\parallel u_i{\parallel }_{X^{\alpha }}^2-\frac{1}{2}D\parallel u_i{\parallel }_{L^2}^2-D\parallel u_i{\parallel }_{\infty }\sum _{j=1}^l\frac{1}{{\gamma }_j}{R}_1^{{\gamma }_j-\vartheta -1}{\int }_{\{t\in \mathbb{R},|u_i(t)|\ge R_1\}}{\left|u_i(t)\right|}^{\vartheta }dt\hfill \\ -D\sum _{j=1}^l\frac{1}{{\gamma }_j}{R}_1^{{\gamma }_j-2}{\int }_{\{t\in \mathbb{R},|u_i(t)|<R_1\}}{\left|u_i(t)\right|}^{2}dt\hfill \\ \ge \frac{1}{2}\parallel u_i{\parallel }_{X^{\alpha }}^2-D\left(\frac{1}{2}+\sum _{j=1}^l\frac{1}{{\gamma }_j}{R}_1^{{\gamma }_j-2}\right){\parallel u_i\parallel }_{L^2}^2\hfill \\ \mathrm{(83)}& -D{C}_{\alpha }\parallel u_i{\parallel }_{X^{\alpha }}\sum _{j=1}^l\frac{1}{{\gamma }_j}{R}_1^{{\gamma }_j-\vartheta -1}{\int }_{\{t\in \mathbb{R},|u_i(t)|\ge R_1\}}{\left|u_i(t)\right|}^{\vartheta }dt,\hfill \end{array}$$

for some $M_2>0$. Divided by $\parallel u_i{\parallel }_{X^{\alpha }}^2$ on both sides of (83), noting that (82), we have

$$\begin{array}{c}\hfill \parallel v_i{\parallel }_{L^2}^2\ge \frac{1}{2D\left(\frac{1}{2}+{\sum }_{j=1}^l\frac{1}{{\gamma }_j}{R}_1^{{\gamma }_j-2}\right)}>0,\mathrm{as}i\to \infty .\end{array}$$

(84)

It follows from (71) and (84) that $v_0\ne 0$. This is a contradiction.

Case 2. $v_0\ne 0$. The proof is the same as that in Theorem 4, and we omit it here. Hence, $\left\{u_i\right\}$ is bounded in $X^{\alpha }$. Similar to the proof of Theorem 4, we can prove that $\left\{u_i\right\}$ has a convergent subsequence in $X^{\alpha }$. Hence, Φ satisfies the Palais–Smale condition. The proof is completed. ☐

4. Conclusions

Using variational methods, we have obtained homoclinic solutions for fractional Hamiltonian systems. The fractional component of the equation is due to a memory effect modeled by means of Liouville–Weyl type derivative in time. The introduction provides an overview about the state of the fractional Hamiltonian systems and authors’ motivation. In Section 2, we have recalled some related preliminary concepts for the convenience of the reader. Section 3 contains main theorems, which are proved by applying Clark’s theorem from critical point theory and fountain theorem.