Multiplicity of Solutions for Fractional Hamiltonian Systems under Local Conditions

Lili Wan

School of Science, Southwest University of Science and Technology, Mianyang, China.

DOI: 10.4236/jamp.2020.88113                

Abstract

Under some local superquadratic conditions on W (t, u) with respect to u, the existence of infinitely many solutions is obtained for the nonperiodic fractional Hamiltonian systems, where L (t) is unnecessarily coercive.

Keywords

Fractional Hamiltonian Systems, Local Conditions, Variational Methods

1. Introduction

In this paper, we consider the fractional Hamiltonian system

${}_{t}D{}_{\infty }^{\alpha }\left({}_{-\infty }D{}_t^{\alpha }u\left(t\right)\right)+L\left(t\right)u\left(t\right)=\nabla W\left(t\mathrm{,}u\left(t\right)\right)\mathrm{,}u\in H^{\alpha }\left(ℝ\mathrm{,}{ℝ}^N\right)\mathrm{,}$ (1)

where $\alpha \in \left(1/2\mathrm{,1}\right)$ , $t\in ℝ$ , $L\in C\left(ℝ\mathrm{,}{ℝ}^{N^2}\right)$ is a symmetric and positive definite matrix for all $t\in ℝ$ , $W\in C^1\left(ℝ\times {ℝ}^N\mathrm{,}ℝ\right)$ and $\nabla W\left(t\mathrm{,}u\right)$ is the gradient of $W\left(t\mathrm{,}u\right)$ at u. In the following, $\left(\cdot \mathrm{,}\cdot \right)\mathrm{<mo>\; :\; </mo>}{ℝ}^N\times {ℝ}^N\mapsto ℝ$ denotes the standard inner product in ${ℝ}^N$ and $\left|\cdot \right|$ is the induced norm.

Fractional calculus has received increased popularity and importance in the past decade, which is mainly due to its extensive applications in many engineering and scientific disciplines such as physics, chemistry, biology, economics, control theory, signal and image processing, biophysics, blood flow phenomena, aerodynamics, etc. (see [1] - [6] ). Models containing left and right fractional differential operators have been recognized as best tools to describe long-memory processes and hereditary properties. However, compared with classical theories for integer-order differential equations, researches on fractional differential equations are only on their initial stage of development.

Recently, the critical point theory and variational methods have become effective tools in studying the existence of solutions to fractional differential equations with variational structures. In [7] , for the first time, Jiao and Zhou used the critical point theory to tackle the existence of solutions to the following fractional boundary value problem

${}_{t}D{}_T^{\alpha }\left({}_{0}D{}_t^{\alpha }u\left(t\right)\right)=\nabla F\left(t,u\left(t\right)\right),\text{a}\text{.e}.t\in \left[0,T\right],u\left(0\right)=u\left(T\right)=0.$

Jiao and Zhou studied the problem by establishing corresponding variational structure in some suitable fractional space and applying the least action principle and Mountain Pass theorem. Then in [8] , Torres proved the existence of solutions for the fractional Hamiltonian system (1) by using the Mountain Pass theorem. The author showed that (1) possesses at least one nontrivial solution by assuming that W satisfies the (AR) condition and L satisfies the following coercive condition:

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

$\left(L\left(t\right)x\mathrm{,}x\right)\ge l\left(t\right){\left|x\right|}^2\mathrm{,}\forall t\in ℝ\mathrm{,}\forall x\in {ℝ}^N\mathrm{.}$

Subsequently, the existence and multiplicity of solutions for the fractional Hamiltonian system (1) have been extensively investigated in many papers; see [9] - [15] and the references therein. However, it is worth noting that in most of these papers, L is required to satisfy the coercivity condition (L). Recently, the authors in [16] proved the existence of one nontrivial solution for (1), where L does not necessarily satisfy the condition (L) and W satisfies some kind of local superquadratic condition:

(W) There exist $b_1,b_2\in ℝ\left(b_1<b_2\right)$ such that ${\lim }_{\left|x\right|\to \infty }\left|W\left(t,x\right)\right|/{\left|x\right|}^2=\infty$ uniformly with respect to $t\in \left(b_1\mathrm{,}{b}_2\right)$ .

Here W is only required to be superquadratic at infinitely with respect to x when the first variable t belongs to some finite interval.

Motivated by the above papers, in this note, we will consider the multiplicity of solutions for the fractional Hamiltonian system (1), where L is not necessarily coercive and W satisfies some local growth condition. The exact assumptions on L and W are as follows:

Theorem 1. Assume the following conditions hold:

(L₁) There exists $l_1>0$ such that

$l\left(t\right)\ge l_1\mathrm{,}\forall t\in ℝ\mathrm{,}$

and

${\displaystyle {\int }_{ℝ}}{\left(l\left(t\right)\right)}^{-1}\text{d}t<\infty \mathrm{,}$

where $l\left(t\right)=in{f}_{x\in {ℝ}^N\mathrm{,}\left|x\right|=1}\left(L\left(t\right)x\mathrm{,}x\right)$ is the smallest eigenvalue of $L\left(t\right)$ ;

(W₁) $W\in C^1\left(ℝ\times B_{\delta }\left(0\right)\mathrm{,}ℝ\right)$ is even in x and $W\left(t\mathrm{,0}\right)=0$ , where $B_{\delta }\left(0\right)$ denotes the ball in ${ℝ}^N$ centered at 0 with radius $\delta >0$ ;

(W₂) There are constants $c_1>0$ and $0<\theta <1$ such that

$\left|\nabla W\left(t\mathrm{,}x\right)\right|\le c_1{\left|x\right|}^{\theta }\mathrm{,}\forall \left(t\mathrm{,}x\right)\in ℝ\times B_{\delta }\left(0\right)\mathrm{<mo>\; ;\; </mo>}$

(W₃) There exists a constant $p>2$ such that

$\underset{\left|x\right|\to 0}{\lim }\frac{W\left(t\mathrm{,}x\right)}{{\left|x\right|}^p}=0\text{uniformly}\text{for}t\in ℝ\mathrm{<mo>\; ;\; </mo>}$

(W₄) $2W\left(t,x\right)-\left(\nabla W\left(t,x\right),x\right)<0$ for all $t\in ℝ$ and $x\in {ℝ}^N\backslash \left\{0\right\}$ ;

(W₅) There exists a constant $\mu >2$ such that

$\underset{\left|x\right|\to 0}{\lim }\frac{W\left(t\mathrm{,}x\right)}{{\left|x\right|}^{\mu }}=\infty \text{uniformly}\text{for}t\in ℝ\mathrm{.}$

Then problem (1) has a sequence of solutions $\left\{u_k\right\}$ such that $ma{x}_{t\in ℝ}\left|u_k\left(t\right)\right|\to 0$ as $k\to \infty$ .

Remark 1. There exist L and W that satisfy all assumptions in Theorem 1. For example, let

$L\left(t\right)=(\begin{array}{l}\left[{\left(n^2+1\right)}^2\left(t-n\right)+c\right]I_N,n\le t<n+\frac{1}{n^2+1},\\ \left[{\left(n^2+1\right)}^2+c\right]I_N,n+\frac{1}{n^2+1}\le t<n+\frac{n^2}{n^2+1},\\ \left[{\left(n^2+1\right)}^2\left(n+1-t\right)+c\right]I_N,n+\frac{n^2}{n^2+1}\le t<n+1,\end{array}$

and

$W\left(t,x\right)={\left|x\right|}^4\text{for}\left|x\right|<1$

with $\theta =1/2,p=3,\mu =5$ . Note that W is superquadratic near the origin and there are no conditions assumed on W for $\left|x\right|$ large. As far as the authors know, there is little research concerning the multiplicity of solutions for problem (1) simultaneously under local conditions and non-coercivity conditions, so our result is different from the previous results in the literature.

The proof is motivated by the argument in [17] . We will modify and extend W to an appropriate $\tilde{W}$ and show for the associated modified functional I the existence of a sequence of solutions converging to zero in $L^{\infty }$ norm, therefore to obtain infinitely many solutions for the original problem.

2. Preliminary Results

In this section, for the reader’s convenience, we introduce some basic definitions of fractional calculus. The left and right Liouville-Weyl fractional integrals of order $0<\alpha <1$ on the whole axis $ℝ$ are defined as

${}_{-\infty }I{}_x^{\alpha }u\left(x\right)=\frac{1}{\Gamma \left(\alpha \right)}{\displaystyle {\int }_{-\infty }^x}{\left(x-\xi \right)}^{\alpha -1}u\left(\xi \right)\text{d}\xi \mathrm{,}$

${}_{x}I{}_{\infty }^{\alpha }u\left(x\right)=\frac{1}{\Gamma \left(\alpha \right)}{\displaystyle {\int }_x^{\infty }}{\left(\xi -x\right)}^{\alpha -1}u\left(\xi \right)\text{d}\xi \mathrm{.}$

The left and right Liouville-Weyl fractional derivatives of order $0<\alpha <1$ on the whole axis $ℝ$ are defined as

${}_{-\infty }D{}_x^{\alpha }u\left(x\right)=\frac{\text{d}}{\text{d}x}{\displaystyle {\int }_{-\infty }{I}_x^{1-\alpha }u}\left(x\right)\mathrm{,}$ (2)

${}_{x}D{}_{\infty }^{\alpha }u\left(x\right)=-\frac{\text{d}}{\text{d}x}{\displaystyle {\int }_x{I}_{\infty }^{1-\alpha }u}\left(x\right)\mathrm{.}$ (3)

The definitions of (2) and (3) may be written in an alternative form as follows:

${}_{-\infty }D{}_x^{\alpha }u\left(x\right)=\frac{\alpha }{\Gamma \left(1-\alpha \right)}{\displaystyle {\int }_0^{\infty }}\frac{u\left(x\right)-u\left(x-\xi \right)}{{\xi }^{\alpha +1}}\text{d}\xi \mathrm{,}$

${}_{x}D{}_{\infty }^{\alpha }u\left(x\right)=\frac{\alpha }{\Gamma \left(1-\alpha \right)}{\displaystyle {\int }_0^{\infty }}\frac{u\left(x\right)-u\left(x+\xi \right)}{{\xi }^{\alpha +1}}\text{d}\xi \mathrm{.}$

Moreover, recall that the Fourier transform $\hat{u}\left(w\right)$ of $u\left(x\right)$ is defined by

$\hat{u}\left(w\right)={\displaystyle {\int }_{-\infty }^{\infty }}{\text{e}}^{-iwx}u\left(x\right)\text{d}x\mathrm{.}$

To establish the variational structure which enables us to reduce the existence of solutions of (1), it is necessary to construct appropriate function spaces. In what follows, we introduce some fractional spaces, for more details see [8] and [18] . Denote by $L^p\equiv L^p\left(ℝ\mathrm{,}{ℝ}^N\right)$ ( $1\le p<\infty$ ) the Banach spaces of functions on $ℝ$ with values in ${ℝ}^N$ under the norms

${\Vert u\Vert }_{L^p}={\left({\displaystyle {\int }_{ℝ}}{\left|u\left(t\right)\right|}^p\text{d}t\right)}^{1/p}\mathrm{,}$

and $L^{\infty }\left(ℝ\mathrm{,}{ℝ}^N\right)$ is the Banach space of essentially bounded functions from $ℝ$ into ${ℝ}^N$ equipped with the norm

${\Vert u\Vert }_{\infty }=\text{esssup}\left\{\left|u\left(t\right)\right|\mathrm{<mo>\; :\; </mo>}t\in ℝ\right\}\mathrm{.}$

For $\alpha >0$ , define the semi-norm

${\left|u\right|}_{I_{-\infty }^{\alpha }}={\Vert {}_{-\infty }D{}_x^{\alpha }u\Vert }_{L^2},$

and the norm

${\Vert u\Vert }_{I_{-\infty }^{\alpha }}={\left({\Vert u\Vert }_{L^2}^2+{\left|u\right|}_{I_{-\infty }^{\alpha }}^2\right)}^{1/2}.$

Let

$I_{-\infty }^{\alpha }={\overline{C_0^{\infty }\left(ℝ\mathrm{,}{ℝ}^N\right)}}^{{\Vert \cdot \Vert }_{I_{-\infty }^{\alpha }}}\mathrm{,}$

where $C_0^{\infty }\left(ℝ\mathrm{,}{ℝ}^N\right)$ denotes the space of infinitely differentiable functions from $ℝ$ into ${ℝ}^N$ with vanishing property at infinity.

Now we can define the fractional Sobolev space $H^{\alpha }\left(ℝ\mathrm{,}{ℝ}^N\right)$ in terms of the Fourier transform. Choose $0<\alpha <1$ , define the semi-norm

${\left|u\right|}_{\alpha }={\Vert {\left|w\right|}^{\alpha }\hat{u}\Vert }_{L^2}\mathrm{,}$

and the norm

${\Vert u\Vert }_{\alpha }={\left({\Vert u\Vert }_{L^2}^2+{\left|u\right|}_{\alpha }^2\right)}^{1/2}\mathrm{.}$

Set

$H^{\alpha }={\overline{C_0^{\infty }\left(ℝ,{ℝ}^N\right)}}^{{\Vert \cdot \Vert }_{\alpha }}.$

Moreover, we note that a function $u\in L^2\left(ℝ\mathrm{,}{ℝ}^N\right)$ belongs to $I_{-\infty }^{\alpha }$ if and only if

${\left|w\right|}^{\alpha }\hat{u}\in L^2\left(ℝ\mathrm{,}{ℝ}^N\right)\mathrm{.}$

Especially, we have

${\left|u\right|}_{I_{-\infty }^{\alpha }}={\Vert {\left|w\right|}^{\alpha }\hat{u}\Vert }_{L^2}\mathrm{.}$

Therefore, $I_{-\infty }^{\alpha }$ and $H^{\alpha }$ are equivalent with equivalent semi-norm and norm. Analogous to $I_{-\infty }^{\alpha }$ , we introduce $I_{\infty }^{\alpha }$ . Define the semi-norm

${\left|u\right|}_{I_{\infty }^{\alpha }}={\Vert {}_{x}D{}_{\infty }^{\alpha }u\Vert }_{L^2}\mathrm{,}$

and the norm

${\Vert u\Vert }_{I_{\infty }^{\alpha }}={\left({\Vert u\Vert }_{L^2}^2+{\left|u\right|}_{I_{\infty }^{\alpha }}^2\right)}^{1/2}.$

Let

$I_{\infty }^{\alpha }={\overline{C_0^{\infty }\left(ℝ\mathrm{,}{ℝ}^N\right)}}^{{\Vert \cdot \Vert }_{I_{\infty }^{\alpha }}}\mathrm{.}$

Then $I_{-\infty }^{\alpha }$ and $I_{\infty }^{\alpha }$ are equivalent with equivalent semi-norm and norm (see [18] ).

Let $C\left(ℝ\mathrm{,}{ℝ}^N\right)$ denote the space of continuous functions from $ℝ$ into ${ℝ}^N$ . Then we obtain the following lemma.

Lemma 1. ( [8] , Theorem 2.1) If $\alpha >1/2$ , then $H^{\alpha }\subset C\left(ℝ\mathrm{,}{ℝ}^N\right)$ and there is a constant $C=C_{\alpha }$ such that

${\Vert u\Vert }_{\infty }=\underset{x\in ℝ}{sup}\left|u\left(x\right)\right|\le C{\Vert u\Vert }_{\alpha }\mathrm{.}$

Remark 2. From Lemma 1, we know that if $u\in H^{\alpha }$ with $1/2<\alpha <1$ , then $u\in L^p$ for all $p\in \left[\mathrm{2,}\infty \right)$ , since

${\displaystyle {\int }_{ℝ}}{\left|u\left(x\right)\right|}^p\text{d}x\le {\Vert u\Vert }_{\infty }^{p-2}{\Vert u\Vert }_{L^2}^2\mathrm{.}$

In what follows, we introduce the fractional space in which we will construct the variational framework of (1). Let

$X^{\alpha }=\left\{u\in H^{\alpha }\mathrm{<mo>\; :\; </mo>}{\displaystyle {\int }_{ℝ}}\left({\left|{}_{-\infty }D{}_t^{\alpha }u\left(t\right)\right|}^2+\left(L\left(t\right)u\left(t\right)\mathrm{,}u\left(t\right)\right)\right)\text{d}t<\infty \right\}\mathrm{,}$

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

${\langle u\mathrm{,}v\rangle }_{X^{\alpha }}={\displaystyle {\int }_{ℝ}}\left(\left({}_{-\infty }D{}_t^{\alpha }u\left(t\right)\mathrm{,}{}_{-\infty }D{}_t^{\alpha }v\left(t\right)\right)+\left(L\left(t\right)u\left(t\right)\mathrm{,}v\left(t\right)\right)\right)\text{d}t\mathrm{,}$

and the corresponding norm is

${\Vert u\Vert }_{X^{\alpha }}^2={\langle u\mathrm{,}u\rangle }_{X^{\alpha }}\mathrm{.}$

Lemma 2. If $L\left(t\right)$ satisfies (L₁), then $X^{\alpha }$ is continuously embedded in $H^{\alpha }$ .

Proof. By (L₁) we have

$\left(L\left(t\right)u\mathrm{,}u\right)\ge l\left(t\right){\left|u\right|}^2\ge l_1{\left|u\right|}^2\mathrm{,}\forall t\in ℝ\mathrm{.}$

Then

$\begin{array}{c}{l}_1{\Vert u\Vert }_{\alpha }^2=l_1\left({\displaystyle {\int }_{ℝ}}\left({\left|{}_{-\infty }D{}_t^{\alpha }u\left(t\right)\right|}^2+{\left|u\left(t\right)\right|}^2\right)\text{d}t\right)\\ \le l_1{\displaystyle {\int }_{ℝ}}{\left|{}_{-\infty }D{}_t^{\alpha }u\left(t\right)\right|}^2\text{d}t+{\displaystyle {\int }_{ℝ}}\left(L\left(t\right)u\mathrm{,}u\right)\text{d}t\mathrm{.}\end{array}$

It implies that

${\Vert u\Vert }_{\alpha }^2\le K{\Vert u\Vert }_{X^{\alpha }}^2\mathrm{,}$

where $K=\max \left\{1,1/l_1\right\}$ . □

Lemma 3. If $L\left(t\right)$ satisfies (L₁), then $X^{\alpha }$ is compactly embedded in $L^q$ for $1\le q<\infty$ .

Proof. First, by (L₁) and the Hölder inequality, one has

$\begin{array}{c}{\displaystyle {\int }_{ℝ}}\left|u\right|\text{d}t={\displaystyle {\int }_{ℝ}}\left|{\left(L\left(t\right)\right)}^{-1/2}{\left(L\left(t\right)\right)}^{1/2}u\right|\text{d}t\\ \le {\displaystyle {\int }_{ℝ}}{\left(l\left(t\right)\right)}^{-1/2}\left|{\left(L\left(t\right)\right)}^{1/2}u\right|\text{d}t\\ \le {\left({\displaystyle {\int }_{ℝ}}{\left(l\left(t\right)\right)}^{-1}\right)}^{1/2}{\left({\displaystyle {\int }_{ℝ}}\left(L\left(t\right)u\mathrm{,}u\right)\text{d}t\right)}^{1/2}\\ \le {\left({\displaystyle {\int }_{ℝ}}{\left(l\left(t\right)\right)}^{-1}\text{d}t\right)}^{1/2}{\Vert u\Vert }_{X^{\alpha }}\mathrm{,}\forall u\in E\mathrm{.}\end{array}$

This implies that $X^{\alpha }$ is continuously embedded into $L^1$ .

Next, we prove that $X^{\alpha }$ is compactly embedded into $L^1$ . Let $\left\{u_n\right\}$ be a bounded sequence such that $u_n\rightharpoonup u$ in $X^{\alpha }$ . We will show that $u_n\to u$ in $L^1$ . Obviously, there exists a constant $d_1>0$ such that

${\Vert u_n\Vert }_{X^{\alpha }}\le d_1\mathrm{,}\forall n\in N\mathrm{.}$ (4)

By (L₁), for any $\epsilon >0$ there exists $T_{\epsilon }$ such that

${\left({\displaystyle {\int }_{\left|t\right|\mathrm{<mo>\; >\; </mo>}{T}_{\epsilon }}}{\left(l\left(t\right)\right)}^{-1}\text{d}t\right)}^{1/2}\mathrm{<mo>\; <\; </mo>}\frac{\epsilon }{2\left(d_1+{\Vert u\Vert }_{X^{\alpha }}\right)}\mathrm{.}$ (5)

Since by Lemma 2 $X^{\alpha }$ is continuously embedded into $H^{\alpha }$ , the Sobolev embedding theorem implies $u_n\to u$ in $L_{\text{loc}}^2\left(ℝ\mathrm{,}{ℝ}^N\right)$ . Then for the $T_{\epsilon }$ above, there exists $N_{\epsilon }\in N$ such that

${\left({\displaystyle {\int }_{-T_{\epsilon }}^{T_{\epsilon }}}{\left|u_n-u\right|}^2\text{d}t\right)}^{1/2}<\frac{\epsilon }{4T_{\epsilon }},\forall n\ge N_{\epsilon }.$ (6)

Combining (4)-(6) and the Hölder inequality, for each $n\ge N_{\epsilon }$ , we have

$\begin{array}{c}{\displaystyle {\int }_{ℝ}}\left|u_n-u\right|\text{d}t={\displaystyle {\int }_{-T_{\epsilon }}^{T_{\epsilon }}}\left|u_n-u\right|\text{d}t+{\displaystyle {\int }_{\left|t\right|>T_{\epsilon }}}\left|u_n-u\right|\text{d}t\\ \le 2T_{\epsilon }{\left({\displaystyle {\int }_{-T_{\epsilon }}^{T_{\epsilon }}}{\left|u_n-u\right|}^2\text{d}t\right)}^{1/2}+{\displaystyle {\int }_{\left|t\right|>T_{\epsilon }}}\left|{\left(L\left(t\right)\right)}^{-1/2}{\left(L\left(t\right)\right)}^{1/2}\left(u_n-u\right)\right|\text{d}t\\ \le \frac{\epsilon }{2}+{\displaystyle {\int }_{\left|t\right|>T_{\epsilon }}}{\left(l\left(t\right)\right)}^{-1/2}\left|{\left(L\left(t\right)\right)}^{1/2}\left(u_n-u\right)\right|\text{d}t\\ \le \frac{\epsilon }{2}+{\left({\displaystyle {\int }_{\left|t\right|>T_{\epsilon }}}{\left(l\left(t\right)\right)}^{-1}\text{d}t\right)}^{1/2}{\left({\displaystyle {\int }_{\left|t\right|>T_{\epsilon }}}\left(L\left(t\right)\left(u_n-u\right),u_n-u\right)\text{d}t\right)}^{1/2}\\ \le \frac{\epsilon }{2}+\frac{\epsilon }{2\left(d_1+{\Vert u\Vert }_{X^{\alpha }}\right)}{\Vert u_n-u\Vert }_{X^{\alpha }}\le \epsilon .\end{array}$

This means that $u_n\to u$ in $L^1$ and hence $X^{\alpha }$ is compactly embedded into $L^1$ .

Last, since for $1<q<\infty$ one has

${\displaystyle {\int }_{ℝ}}{\left|u\right|}^q\text{d}t\le {\Vert u\Vert }_{\infty }^{q-1}{\Vert u\Vert }_{L^1}\mathrm{,}$

it is easy to verify that the embedding of $X^{\alpha }$ in $L^q$ is also continuous and compact for $q\in \left(\mathrm{1,}\infty \right)$ . The proof is completed. □

Remark 3. By Lemma 1 - 3 we see that there exists a constant ${\gamma }_q>0$ such that

${\Vert u\Vert }_{L^q}\le {\gamma }_q{\Vert u\Vert }_{X^{\alpha }}\mathrm{,}\forall u\in X^{\alpha }\mathrm{,}\forall q\in \left[\mathrm{1,}\infty \right]\mathrm{.}$ (7)

Lemma 4. Assume that (W₁)-(W₄) are satisfied. There is $0<r<\frac{\delta }{2}$ and $\tilde{W}\in C^1\left(ℝ\mathrm{,}{ℝ}^N\right)$ such that

i)

$\left|\nabla \tilde{W}\left(t\mathrm{,}x\right)\right|\le c_2\left({\left|x\right|}^{\theta }+{\left|x\right|}^{p-1}\right)\mathrm{,}\forall \left(t\mathrm{,}x\right)\in ℝ\times {ℝ}^N\mathrm{,}$ (8)

where $c_2$ is a constant;

ii)

$\hat{W}\left(t\mathrm{,}x\right)\mathrm{<mo>\; :\; </mo>}=2\tilde{W}\left(t\mathrm{,}x\right)-\left(\nabla \tilde{W}\left(t\mathrm{,}x\right)\mathrm{,}x\right)\le \mathrm{0,}\forall \left(t\mathrm{,}x\right)\in ℝ\times {ℝ}^N$ (9)

and

$\hat{W}\left(t,x\right)=0\text{iff}\left|x\right|=0.$ (10)

Proof. By (W₁) and (W₂) one has

$\left|W\left(t\mathrm{,}x\right)\right|\le c_1{\left|x\right|}^{\theta +1}\mathrm{,}\forall \left(t\mathrm{,}x\right)\in ℝ\times B_{\delta }\left(0\right)\mathrm{.}$ (11)

Next we modify $W\left(t\mathrm{,}x\right)$ for x outside a neighborhood of the origin 0. Choose

$0<\beta <\frac{1}{4{\gamma }_p^p},$

where ${\gamma }_p$ is the constant given in (7). By (W₃), there is a constant $r\in \left(\mathrm{0,}\frac{\delta }{2}\right)$ such that

$W\left(t\mathrm{,}x\right)\le \beta {\left|x\right|}^p\mathrm{,}\forall t\in ℝ\text{and}\left|x\right|\le 2r\mathrm{.}$ (12)

Define a cut-off function $\rho \in C^1\left(ℝ\mathrm{,}ℝ\right)$ satisfying

$\rho \left(t\right)=\{\begin{array}{l}\text{}\text{}1,0\le t\le r,\\ \text{}\text{}0,t\ge 2r,\end{array}$

and $-\frac{2}{r}\le {\rho }^{\prime }\left(t\right)<0$ for $r<t<2r$ . Using $\rho$ , we define

$\tilde{W}\left(t,x\right):=\rho \left(\left|x\right|\right)W\left(t,x\right)+\left(1-\rho \left(\left|x\right|\right)\right)W_{\infty }\left(x\right),\forall \left(t,x\right)\in ℝ\times {ℝ}^N,$ (13)

where $W_{\infty }\left(x\right)=\beta {\left|x\right|}^p\mathrm{,}\forall x\in {ℝ}^N$ . Then by direct computation we get

$\begin{array}{c}\nabla \tilde{W}\left(t\mathrm{,}x\right)=\rho \left(\left|x\right|\right)\nabla W\left(t\mathrm{,}x\right)+{\rho }^{\prime }\left(\left|x\right|\right)W\left(t\mathrm{,}x\right)\\ +\left(1-\rho \left(\left|x\right|\right)\right){W^{\prime }}_{\infty }\left(x\right)-{\rho }^{\prime }\left(\left|x\right|\right)W_{\infty }\left(x\right)\mathrm{,}\end{array}$ (14)

$\begin{array}{c}\hat{W}\left(t\mathrm{,}x\right)=\rho \left(\left|x\right|\right)\left(2W\left(t\mathrm{,}x\right)-\left(\nabla W\left(t\mathrm{,}x\right)\mathrm{,}x\right)\right)+\left(2-p\right)\left(1-\rho \left(\left|x\right|\right)\right)W_{\infty }\left(x\right)\\ -{\rho }^{\prime }\left(\left|x\right|\right)\left(W\left(t\mathrm{,}x\right)-W_{\infty }\left(x\right)\right)\left|x\right|\end{array}$ (15)

for $\left(t\mathrm{,}x\right)\in ℝ\times {ℝ}^N$ . It follows from (W₁) and (W₂) that

$\nabla \tilde{W}\left(t,0\right)=\hat{W}\left(t,0\right)=0,\forall t\in ℝ.$ (16)

Then by (11), (14), (W₂) and the choice of the cut-off function $\rho$ , we have

$\left|\nabla \tilde{W}\left(t\mathrm{,}x\right)\right|\le \beta p{\left|x\right|}^{p-1}\mathrm{,}\forall t\in ℝ\mathrm{,}\left|x\right|\ge 2r\mathrm{,}$

and

$\begin{array}{c}\left|\nabla \tilde{W}\left(t\mathrm{,}x\right)\right|\le \left|\nabla W\left(t\mathrm{,}x\right)\right|+\frac{2}{r}\left|W\left(t\mathrm{,}x\right)\right|+{W^{\prime }}_{\infty }\left(x\right)+\frac{2}{r}{W}_{\infty }\left(x\right)\\ \le c_1{\left|x\right|}^{\theta }+4c_1{\left|x\right|}^{\theta }+\beta p{\left|x\right|}^{p-1}+4\beta {\left|x\right|}^{p-1}\\ =5c_1{\left|x\right|}^{\theta }+\left(4+p\right)\beta {\left|x\right|}^{p-1}\mathrm{,}\forall t\in ℝ\mathrm{,}\left|x\right|<2r\mathrm{.}\end{array}$

Therefore, (8) is satisfied if $c_2=\max \left\{5c_1,\left(4+p\right)\beta \right\}$ .

Finally, we prove (9) and (10). On one hand, using (16) we know that $\hat{W}\left(t,x\right)=0$ whenever $x=0$ . On the other hand, assume that $r<\left|x\right|<2r$ . By (12), (15), (W₄) and the choice of the cut-off function $\rho$ , we obtain

$\rho \left(\left|x\right|\right)\left(2W\left(t,x\right)-\left(\nabla W\left(t,x\right),x\right)\right)<0,$

$\left(2-p\right)\left(1-\rho \left(\left|x\right|\right)\right)W_{\infty }\left(x\right)\le \mathrm{0,}$

and

$-{\rho }^{\prime }\left(\left|x\right|\right)\left(W\left(t\mathrm{,}x\right)-W_{\infty }\left(x\right)\right)\left|x\right|\le 0.$

The above estimates imply that $\hat{W}\left(t,x\right)<0$ if $r<\left|x\right|<2r$ . Besides, when $\left|x\right|\ge 2r$ , by (15) we have

$\hat{W}\left(t,x\right)=\left(2-p\right)W_{\infty }\left(x\right)<0.$

when $0<\left|x\right|\le r$ , by (W₄) we get

$\hat{W}\left(t,x\right)=2W\left(t,x\right)-\left(\nabla W\left(t,x\right),x\right)<0.$

Thus (9) and (10) are verified. The proof is completed. □

We now consider the modified problem

${}_{t}D{}_{\infty }^{\alpha }\left({}_{-\infty }D{}_t^{\alpha }u\left(t\right)\right)+L\left(t\right)u\left(t\right)=\nabla \tilde{W}\left(t\mathrm{,}u\left(t\right)\right)\mathrm{,}$ (17)

whose solutions correspond to critical points of the functional

$\begin{array}{c}I\left(u\right)=\frac{1}{2}{\displaystyle {\int }_{ℝ}}\left({\left|{}_{-\infty }D{}_t^{\alpha }u\left(t\right)\right|}^2+\left(L\left(t\right)u,u\right)\right)\text{d}t-{\displaystyle {\int }_{ℝ}}\tilde{W}\left(t,u\right)\text{d}t\\ =\frac{1}{2}{\Vert u\Vert }_{X^{\alpha }}^2-{\displaystyle {\int }_{ℝ}}\tilde{W}\left(t,u\right)\text{d}t\end{array}$

for all $u\in X^{\alpha }$ . By (11) and (13) we have

$\left|\tilde{W}\left(t\mathrm{,}u\right)\right|\le c_1{\left|u\right|}^{\theta +1}+\beta {\left|u\right|}^p\mathrm{,}\forall \left(t\mathrm{,}u\right)\in ℝ\times {ℝ}^N\mathrm{.}$ (18)

Thus, I is well defined.

Rewrite I as follows:

$I=I_1-I_2,$

where

$I_1=\frac{1}{2}{\displaystyle {\int }_{ℝ}}\left({\left|{}_{-\infty }D{}_t^{\alpha }u\left(t\right)\right|}^2+\left(L\left(t\right)u\mathrm{,}u\right)\right)\text{d}t\text{and}{I}_2={\displaystyle {\int }_{ℝ}}\tilde{W}\left(t\mathrm{,}u\right)\text{d}t\mathrm{.}$

In the following, c will be used to denote various positive constants where the exact values are different.

Lemma 5. Let (L₁), (W₁) and (W₂) be satisfied. Then $I\in C^1\left(X^{\alpha }\mathrm{,}ℝ\right)$ and ${I^{\prime }}_2$ is compact with

$\langle {I^{\prime }}_2\left(u\right)\mathrm{,}v\rangle ={\displaystyle {\int }_{ℝ}}\left(\nabla \tilde{W}\left(t\mathrm{,}u\right)\mathrm{,}v\right)\text{d}t$

$\langle I^{\prime }\left(u\right)\mathrm{,}v\rangle ={\displaystyle {\int }_{ℝ}}\left(\left({}_{-\infty }D{}_t^{\alpha }u\left(t\right)\mathrm{,}{}_{-\infty }D{}_t^{\alpha }v\left(t\right)\right)+\left(L\left(t\right)u\mathrm{,}v\right)-\left(\nabla \tilde{W}\left(t\mathrm{,}u\right)\mathrm{,}v\right)\right)\text{d}t$

for $u\mathrm{,}v\in X^{\alpha }$ . Moreover, nontrivial critical points of I in $X^{\alpha }$ are solutions of problem (17).

Proof. It is easy to check that $I_1\in C^1\left(X^{\alpha }\mathrm{,}ℝ\right)$ and

$\langle {I^{\prime }}_1\left(u\right)\mathrm{,}v\rangle ={\displaystyle {\int }_{ℝ}}\left(\left({}_{-\infty }D{}_t^{\alpha }u\left(t\right)\mathrm{,}{}_{-\infty }D{}_t^{\alpha }v\left(t\right)\right)+\left(L\left(t\right)u\mathrm{,}v\right)\right)\text{d}t\mathrm{.}$

For any $\eta \in \left[\mathrm{0,1}\right]\mathrm{,}u\mathrm{,}h\in X^{\alpha }$ , by (8) we have

$\left|\left(\nabla \tilde{W}\left(t\mathrm{,}u+\eta h\right)\mathrm{,}h\right)\right|\le c\left({\left|u\right|}^{\theta }\left|h\right|+{\left|h\right|}^{\theta +1}+{\left|u\right|}^{p-1}\left|h\right|+{\left|h\right|}^p\right)\mathrm{,}$

where c is independent of $\eta$ . Hence, for any $u\mathrm{,}h\in X^{\alpha }$ , by the mean value theorem and Lebesgue’s dominated convergence theorem, we get

$\begin{array}{c}\underset{s\to 0}{lim}\frac{I_2\left(u+sh\right)-I_2\left(h\right)}{s}=\underset{s\to 0}{lim}{\displaystyle {\int }_{ℝ}}\left(\nabla \tilde{W}\left(t\mathrm{,}u+\tau \left(t\right)sh\right)\mathrm{,}h\right)\text{d}t\\ ={\displaystyle {\int }_{ℝ}}\left(\nabla \tilde{W}\left(t\mathrm{,}u\right)\mathrm{,}h\right)\text{d}t\mathrm{<mo>\; :\; </mo>}=W_0\left(u\mathrm{,}h\right)\mathrm{,}\end{array}$

where $\tau \left(t\right)\in \left[\mathrm{0,1}\right]$ depends on $u\mathrm{,}h\mathrm{,}s$ . Moreover, it follows from (8) and (9) that

$\begin{array}{c}\left|W_0\left(u,h\right)\right|\le {\displaystyle {\int }_{ℝ}}\left|\left(\nabla \tilde{W}\left(t,u\right),h\right)\right|\text{d}t\\ \le c\left({\Vert u\Vert }_{L^{\theta +1}}^{\theta }{\Vert h\Vert }_{L^{\theta +1}}+{\Vert u\Vert }_{L^p}^{p-1}{\Vert h\Vert }_{L^p}\right)\\ \le c\left({\Vert u\Vert }_{X^{\alpha }}^{\theta }+{\Vert u\Vert }_{X^{\alpha }}^{p-1}\right){\Vert h\Vert }_{X^{\alpha }}.\end{array}$

Therefore, $W_0\left(u\mathrm{,}\cdot \right)$ is linear and bounded in h, and ${I^{\prime }}_2\left(u\right)=W_0\left(u\mathrm{,}\cdot \right)$ is the Gateaux derivative of $I_2$ at u.

Next we prove that ${I^{\prime }}_2$ is weakly continuous. Set $Bu:=\nabla \tilde{W}\left(t,u\right)$ . There exist $B_1\mathrm{,}{B}_2$ such that $B=B_1+B_2$ , where $B_1$ is bounded and continuous from $L^{\theta +1}$ to $L^{\frac{\theta +1}{\theta }}$ and $B_2$ is bounded and continuous from $L^p$ to $L^{\frac{p}{p-1}}$ . For any $v\mathrm{,}h\in X^{\alpha }$ ,

$\begin{array}{c}\left|\langle {I^{\prime }}_2\left(u\right)-{I^{\prime }}_2\left(v\right)\mathrm{,}h\rangle \right|=\left|{\displaystyle {\int }_{ℝ}}\left(Bu-Bv\mathrm{,}h\right)\text{d}t\right|\\ =\left|{\displaystyle {\int }_{ℝ}}\left(B_{1}u+B_{2}u-B_{1}v-B_{2}v\mathrm{,}h\right)\text{d}t\right|\\ \le {\displaystyle {\int }_{ℝ}}\left|B_{1}u-B_{1}v\right|\left|h\right|\text{d}t+{\displaystyle {\int }_{ℝ}}\left|B_{2}u-B_{2}v\right|\left|h\right|\text{d}t\\ \le c{\Vert B_{1}u-B_{1}v\Vert }_{L^{\frac{\theta +1}{\theta }}}{\Vert h\Vert }_{X^{\alpha }}+c{\Vert B_{2}u-B_{2}v\Vert }_{L^{\frac{p}{p-1}}}{\Vert h\Vert }_{X^{\alpha }}\mathrm{,}\end{array}$

which implies that

$\underset{{\Vert h\Vert }_{X^{\alpha }}=1}{\sup }\left|{I^{\prime }}_2\left(u\right)-{I^{\prime }}_2\left(v\right)\right|\le c{\Vert B_{1}u-B_{1}v\Vert }_{L^{\frac{\theta +1}{\theta }}}+c{\Vert B_{2}u-B_{2}v\Vert }_{L^{\frac{p}{p-1}}}.$

Now suppose $u\rightharpoonup v$ in $X^{\alpha }$ , then by Lemma 3, $u\to v$ in $L^{\theta +1}$ and $L^p$ . Combining the above arguments, we have that ${I^{\prime }}_2$ is weakly continuous. Therefore, ${I^{\prime }}_2$ is compact and $I\in C^1\left(X^{\alpha }\mathrm{,}ℝ\right)$ .

Finally, by a standard argument, it is easy to show that the critical points of I in $X^{\alpha }$ are solutions of problem (18) with $u\left(\pm \infty \right)=0$ . The proof is completed. □

Lemma 6. Assume that (L₁), (W₁)-(W₄) are satisfied. Then 0 is the only critical point of I such that $I\left(u\right)=0$ .

Proof. By (W₁), (W₂) and Lemma 5, we know that 0 is a critical point of I with $I\left(0\right)=0$ . Now let $u\in X^{\alpha }$ be a critical point of I with $I\left(u\right)=0$ . Then we have

$0=2I\left(u\right)-\langle I^{\prime }\left(u\right)\mathrm{,}u\rangle =-{\displaystyle {\int }_{ℝ}}\hat{W}\left(t\mathrm{,}u\right)\text{d}t\mathrm{,}$

where $\hat{W}$ is defined in (9). This together with (ii) of Lemma 4 implies that $\left|u\left(t\right)\right|=0$ for all $t\in ℝ$ . The proof is completed. □

3. Proof of Theorem 1

The following lemma is due to Bartsch and Willem [19] .

Lemma 7. Let E be a Banach space with the norm $\Vert \cdot \Vert$ and $E=\overline{{\oplus }_{j\in N}E\left(j\right)}$ , where $E\left(j\right)$ are all finite dimensional subspaces of E. Let $I\in C^1\left(E\mathrm{,}ℝ\right)$ be an even functional and satisfy

(F₁) For every $k\ge k_0$ , there exists $R_k>0$ such that $I\left(u\right)\ge 0$ for every $u\in E_k\mathrm{<mo>\; :\; </mo>}\overline{{\oplus }_{j=k}^{\infty }E\left(j\right)}$ with $\Vert u\Vert =R_k$ , and $b_k:={\inf }_{u\in B_k}I\left(u\right)\to 0$ as $k\to \infty$ . Here $B_k\mathrm{<mo>\; :\; </mo>}=\left\{u\in E_k\mathrm{<mo>\; |\; </mo>}\Vert u\Vert \le R_k\right\}$ ;

(F₂) For every $k\in N$ , there exist $r_k\in \left(\mathrm{0,}{R}_k\right)$ and $d_k<0$ such that $I\left(u\right)\le d_k$ for every $u\in E^k:={\oplus }_{j=1}^{k}E\left(j\right)$ with $\Vert u\Vert =r_k$ ;

(F₃) I satisfies ${\left(PS\right)}^{\mathrm{<mo>\; *\; </mo>}}$ condition with respect to $\left\{E^m\mathrm{<mo>\; |\; </mo>}m\in N\right\}$ , i.e. every sequence $u_m\in E^m$ with $I\left(u_m\right)<0$ bounded and ${\left({I|}_{E^m}\right)}^{\prime }\left(u_m\right)\to 0$ as $m\to \infty$ has a subsequence which converges to a critical point of I.

Then for each $k\ge k_0$ , I has a critical value ${\xi }_k\in \left[b_k\mathrm{,}{d}_k\right]$ , hence ${\xi }_k<0$ and ${\xi }_k\to 0$ as $k\to \infty$ .

Let ${\left\{e_j\right\}}_{j=1}^{\infty }$ be the standard orthogonal basis of $X^{\alpha }$ and define $E\left(j\right)=ℝe_j$ for each $j\in N$ . Now we show that the functional I has the geometric property of Lemma 7 under the conditions of Theorem 1.

Lemma 8. Assume that (L₁), (W₁) and (W₂) hold. Then there exist a positive integer $k_0$ and a sequence $R_k\to 0^{+}$ as $k\to \infty$ such that

$\underset{u\in E_k,{\Vert u\Vert }_{X^{\alpha }}=R_k}{inf}I\left(u\right)\ge \mathrm{0,}\forall k\ge k_0$

and

$b_k:=\underset{u\in B_k}{\inf }I\left(u\right)\to 0\text{as}k\to \infty ,$

where $E_k:=\overline{{\oplus }_{j=k}^{\infty }E\left(j\right)}$ and $B_k:=\left\{u\in E_k|{\Vert u\Vert }_{X^{\alpha }}\le R_k\right\}$ for all $k\in N$ .

Proof. By (18) we obtain

$\begin{array}{c}I\left(u\right)=\frac{1}{2}{\Vert u\Vert }_{X^{\alpha }}^2-{\displaystyle {\int }_R}\tilde{W}\left(t,u\right)\text{d}t\\ \ge \frac{1}{2}{\Vert u\Vert }_{X^{\alpha }}^2-c_1{\Vert u\Vert }_{L^{\theta +1}}^{\theta +1}-\beta {\Vert u\Vert }_{L^p}^p,\forall u\in E_k.\end{array}$ (19)

Set

$l_k=\underset{u\in E_k,{\Vert u\Vert }_{X^{\alpha }}=1}{\sup }{\Vert u\Vert }_{L^{\theta +1}},\forall k\in N.$ (20)

Since $X^{\alpha }$ is compactly embedded into $L^{\theta +1}$ , there holds (see [20] )

$l_k\to 0^{+}\text{as}k\to \infty \mathrm{.}$ (21)

For each $k\in N$ , it follows from (7), (19), (20) and the choice of $\beta$ that

$\begin{array}{c}I\left(u\right)\ge \frac{1}{2}{\Vert u\Vert }_{X^{\alpha }}^2-c_1{l}_k^{\theta +1}{\Vert u\Vert }_{X^{\alpha }}^{\theta +1}-\beta {\gamma }_p^p{\Vert u\Vert }_{X^{\alpha }}^p\\ \ge \frac{1}{2}{\Vert u\Vert }_{X^{\alpha }}^2-c_1{l}_k^{\theta +1}{\Vert u\Vert }_{X^{\alpha }}^{\theta +1}-\frac{1}{4}{\Vert u\Vert }_{X^{\alpha }}^p,\forall u\in E_k.\end{array}$ (22)

For each $k\in N$ , choose

$R_k=4c_1{l}_k^{\theta +1},$ (23)

then by (20) one has

$R_k\to 0^{+}\text{as}k\to \infty \mathrm{,}$ (24)

and hence there exists a positive integer $k_0$ such that

$R_k<1,\forall k\ge k_0.$ (25)

Now by (22), (23) and (25), we have

$\underset{u\in E_k,{\Vert u\Vert }_{X^{\alpha }}=R_k}{inf}I\left(u\right)\ge \frac{1}{2}{R}_k^2-\frac{1}{4}{R}_k^{\theta +2}-\frac{1}{4}{R}_k^p\ge \mathrm{0,}\forall k\ge k_0\mathrm{.}$

Noting that $I\left(0\right)=0$ and

$I\left(u\right)\ge -c_1{l}_k^{\theta +1}{\Vert u\Vert }_{X^{\alpha }}^{\theta +1}-\frac{1}{4}{\Vert u\Vert }_{X^{\alpha }}^p\mathrm{,}\forall k\in N\mathrm{,}u\in E_k\mathrm{,}$

we have

$0\ge \underset{u\in B_k}{inf}I\left(u\right)\ge -c_1{l}_k^{\theta +1}{R}_k^{\theta +1}-\frac{1}{4}{R}_k^p\mathrm{,}\forall k\in N\mathrm{,}$

which combined with (21) and (24) implies that

$b_k:=\underset{u\in B_k}{\inf }I\left(u\right)\to 0\text{as}k\to \infty .$

The proof is completed. □

Lemma 9. Assume that (L₁), (W₁) and (W₅) hold. Then for every $k\in N$ , there exist $r_k\in \left(\mathrm{0,}{R}_k\right)$ and $d_k<0$ such that $I\left(u\right)\le d_k$ for every $u\in E^k:={\oplus }_{j=1}^{k}E\left(j\right)$ with ${\Vert u\Vert }_{X^{\alpha }}=r_k$ .

Proof. For a fixed $k\in N$ , since $E^k$ is finitely-dimensional, there is a constant $C_k>0$ such that

$C_k{\Vert u\Vert }_{X^{\alpha }}^{\mu }\le {\Vert u\Vert }_{L^{\mu }}^{\mu },\forall u\in E^k.$ (26)

Set $p_k=\min \left\{R_k,\frac{w_k}{{\gamma }_{\infty }}\right\}$ . Then by (W₅), there exists a constant $0<w_k<r$ such that

$\tilde{W}\left(t,u\right)=W\left(t,u\right)\ge m_k{\left|u\right|}^{\mu },\forall t\in ℝ\text{and}\left|u\right|\le w_k,$ (27)

where $m_k=\frac{1}{p_k^{\mu -2}{C}_k}$ . Now by (7), (26), (27) and Lemma 3, for $u\in E^k$ with ${\Vert u\Vert }_{X^{\alpha }}\le \frac{w_k}{{\gamma }_{\infty }}$ , we get

$\begin{array}{c}I\left(u\right)=\frac{1}{2}{\Vert u\Vert }_{X^{\alpha }}^2-{\displaystyle {\int }_{ℝ}}\tilde{W}\left(t,u\right)\text{d}t\\ \le \frac{1}{2}{\Vert u\Vert }_{X^{\alpha }}^2-m_k{\Vert u\Vert }_{L^{\mu }}^{\mu }\\ \le \frac{1}{2}{\Vert u\Vert }_{X^{\alpha }}^2-m_k{C}_k{\Vert u\Vert }_{X^{\alpha }}^{\mu }\\ =\frac{1}{2}{\Vert u\Vert }_{X^{\alpha }}^2\left(1-\frac{2}{p_k^{\mu -2}}{\Vert u\Vert }_{X^{\alpha }}^{\mu -2}\right).\end{array}$

Choose

$0<r_k={\left(\frac{2}{3}\right)}^{\frac{1}{\mu -2}}{p}_k<p_k,$

and let

$d_k=-\frac{r_k^2}{6}<0.$

If $u\in E^k$ with ${\Vert u\Vert }_{X^{\alpha }}=r_k$ , we have

$I\left(u\right)\le d_k\mathrm{.}$

The proof is completed. □

Lemma 10. Assume that (L₁), (W₁), (W₂) and (W₄) hold. Then I satisfies ${\left(PS\right)}^{\mathrm{<mo>\; *\; </mo>}}$ condition with respect to $\left\{E^m\mathrm{<mo>\; |\; </mo>}m\in N\right\}$ .

Proof. Let $u_m\in E^m$ be a ${\left(PS\right)}^{\mathrm{<mo>\; *\; </mo>}}$ sequence, that is,

$I\left(u_m\right)\text{is}\text{bounded}\text{and}{\left({I|}_{E^m}\right)}^{\prime }\left(u_m\right)\to 0\text{as}m\to \infty \mathrm{.}$ (28)

Then we claim that $\left\{u_m\right\}$ is bounded. If not, passing to a subsequence if necessary, we may assume that

${\Vert u_m\Vert }_{X^{\alpha }}\to \infty \text{as}m\to \infty \mathrm{.}$ (29)

From (13), (14), (15), we have

$\begin{array}{l}2I\left(u_m\right)-\langle {\left({I|}_{E^m}\right)}^{\prime }\left(u_m\right),u_m\rangle \\ ={\displaystyle {\int }_{ℝ}}\left[\left(\nabla \tilde{W}\left(t,u_m\right),u_m\right)-2\tilde{W}\left(t,u_m\right)\right]\text{d}t\\ \ge \left(p-2\right)\beta {\displaystyle {\int }_{\left\{t\in ℝ|\left|u_m\left(t\right)\right|\ge 2r\right\}}}{\left|u_m\right|}^p\text{d}t\end{array}$ (30)

for all $m\in N$ . From (28), (29) and (30), it follows that

$\frac{{\displaystyle {\int }_{\left\{t\in ℝ|\left|u_m\left(t\right)\right|\ge 2r\right\}}}{\left|u_m\right|}^p\text{d}t}{{\Vert u_m\Vert }_{X^{\alpha }}}\to 0$ (31)

as $m\to \infty$ . By (8) we get

$\left|\nabla \tilde{W}\left(t\mathrm{,}x\right)\right|\le c\left(1+{\left|x\right|}^{p-1}\right)\mathrm{,}\forall \left(t\mathrm{,}x\right)\in ℝ\times {ℝ}^N\mathrm{,}$

which combined with (7) implies that

$\begin{array}{l}\langle {\left({I|}_{E^m}\right)}^{\prime }\left(u_m\right),u_m\rangle \\ \ge {\Vert u_m\Vert }_{X^{\alpha }}^2-{\displaystyle {\int }_{ℝ}}\left|\nabla \tilde{W}\left(t\mathrm{,}{u}_m\right)\right|\left|u_m\right|\text{d}t\\ \ge {\Vert u_m\Vert }_{X^{\alpha }}^2-c{\displaystyle {\int }_{ℝ}}{\left|u_m\right|}^p\text{d}t-c{\displaystyle {\int }_{ℝ}}\left|u_m\right|\text{d}t\\ \ge {\Vert u_m\Vert }_{X^{\alpha }}^2-c{\Vert u_m\Vert }_{\infty }{\displaystyle {\int }_{\left\{t\in ℝ|\left|u_m\left(t\right)\right|\ge 2r\right\}}}{\left|u_m\right|}^{p-1}\text{d}t\\ -c{\left(2r\right)}^{p-1}{\displaystyle {\int }_{\left\{t\in ℝ|\left|u_m\left(t\right)\right|<2r\right\}}}\left|u_m\right|\text{d}t-c{\Vert u_m\Vert }_{L^1}\end{array}$

$\begin{array}{c}\ge {\Vert u_m\Vert }_{X^{\alpha }}^2-c{\Vert u_m\Vert }_{\infty }{\left(2r\right)}^{-1}{\displaystyle {\int }_{\left\{t\in ℝ|\left|u_m\left(t\right)\right|\ge 2r\right\}}}{\left|u_m\right|}^p\text{d}t\\ -c{\left(2r\right)}^{p-1}{\Vert u_m\Vert }_{L^1}-c{\Vert u_m\Vert }_{L^1}\\ \ge {\Vert u_m\Vert }_{X^{\alpha }}^2-c{\gamma }_{\infty }{\Vert u_m\Vert }_{X^{\alpha }}{\left(2r\right)}^{-1}{\displaystyle {\int }_{\left\{t\in ℝ|\left|u_m\left(t\right)\right|\ge 2r\right\}}}{\left|u_m\right|}^p\text{d}t\\ -c{\left(2r\right)}^{p-1}{\gamma }_1{\Vert u_m\Vert }_{X^{\alpha }}-c{\gamma }_1{\Vert u_m\Vert }_{X^{\alpha }}\mathrm{.}\end{array}$

From this and (31) it follows that

$1=\frac{{\Vert u_m\Vert }_{X^{\alpha }}}{{\Vert u_m\Vert }_{X^{\alpha }}}\to 0\text{as}m\to \infty ,$

which is a contradiction. Hence $\left\{u_m\right\}$ is bounded. Noting that by Lemma 5 $\left\{u_m\right\}$ has a subsequence converging to a critical point of I (see [21] ). Hence, I satisfies the ${\left(PS\right)}^{\mathrm{<mo>\; *\; </mo>}}$ condition. The proof is completed. □

Proof of Theorem 1. It follows from Lemma 8 - 10 that the functional I satisfies the conditions (F₁)-(F₃) of Lemma 7. Therefore, by Lemma 7, there exists a sequence of critical values ${\xi }_k<0$ with ${\xi }_k\to 0$ as $k\to \infty$ . Let $\left\{u_k\right\}$ be a sequence of critical points of I corresponding to these critical values, i.e. $I\left(u_k\right)={\xi }_k$ and $I^{\prime }\left(u_k\right)=0$ for all k. Then by Lemma 5, $\left\{u_k\right\}$ is a sequence of solutions of problem (17). By Lemma 10 and Remark 3.19 in [20] , I satisfies ${\left(PS\right)}^{\mathrm{<mo>\; *\; </mo>}}$ condition and hence we may assume without loss of generality that $u_k\to u$ in $X^{\alpha }$ as $k\to \infty$ . Evidently, u is a critical point of I with $I\left(u\right)=0$ . Then by Lemma 6, u must be 0. Thus $u_k\to 0$ in $X^{\alpha }$ as $k\to \infty$ . By (7), we further have $u_k\to 0$ in $L^{\infty }\left(ℝ\mathrm{,}{ℝ}^N\right)$ as $k\to \infty$ . Therefore, for k large enough, they are solutions of problem (1). The proof is completed. $\square$

4. Conclusions and Remarks

Let us conclude this paper with some open questions whose answers might largely improve the applicability of the results in this present paper.

Question. Whether or not can we improve the non-coercivity condition (L₁): There is $l_1>0$ such that $l\left(t\right)\ge l_1\mathrm{,}\forall t\in ℝ$ and ${\displaystyle {\int }_{ℝ}}{\left(l\left(t\right)\right)}^{-1}\text{d}t<\infty$ , in order to obtain similar results?

Availability of Data and Material

Not applicable.

Funding

Not applicable.

Author’s Contributions

The authors read and approved the final manuscript.

Acknowledgements

The authors would like to thank the referees for their pertinent comments and valuable suggestions.

Conflicts of Interest

The author declares that there is no conflict of interests regarding the publication of this paper.

References

[1]	Agrawal, O., Sabatier, J. and Tenreiro Machado, J. (2004) Fractional Derivatives and Their Application: Nonlinear Dynamics. Springer-Verlag, Berlin.
[2]	Hilfer, R. (2000) Applications of Fractional Calculus in Physics. World Science, Singapore. https://doi.org/10.1142/3779
[3]	Kilbas, A., Srivastava, H. and Trujillo, J. (2006) Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies, Vol. 204, Singapore.
[4]	Miller, K. and Ross, B. (1993) An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley and Sons, New York.
[5]	Podlubny, I. (1999) Fractional Differential Equations. Academic Press, New York.
[6]	Zaslavsky, G.M. (2005) Hamiltonian Chaos and Fractional Dynamics. Oxford University Press, Oxford.
[7]	Jiao, F. and Zhou, Y. (2012) Existence Results for Fractional Boundary Value Problem via Critical Point Theory. International Journal of Bifurcation and Chaos, 22, 1-17. https://doi.org/10.1142/S0218127412500861
[8]	Torres, C. (2013) Existence of Solution for a Class of Fractional Hamiltonian Systems. Electronic Journal of Differential Equations, 2013, 1-12.
[9]	Chen, P., He, X.F. and Tang, X.H. (2016) Infinitely Many Solutions for a Class of Fractional Hamiltonian Systems via Critical Point Theory. Mathematical Methods in the Applied Sciences, 39, 1005-1019. https://doi.org/10.1002/mma.3537
[10]	Nyamoradi, N. and Zhou, Y. (2017) Homoclinic Orbits for a Class of Fractional Hamiltonian Systems via Variational Methods. Journal of Optimization Theory and Applications, 74, 210-222. https://doi.org/10.1007/s10957-016-0864-7
[11]	Nyamoradi, N. and Rodríguez-López, R. (2017) Multiplicity of Solutions to Fractional Hamiltonian Systems with Impulsive Effects. Chaos, Solitons and Fractals, 102, 254-263. https://doi.org/10.1016/j.chaos.2017.05.020
[12]	Nyamoradi, Ahmad, B., Alsaedi, A. and Zhou, Y. (2017) Variational Approach to Homoclinic Solutions for Fractional Hamiltonian Systems. Journal of Optimization Theory and Applications, 74, 223-237. https://doi.org/10.1007/s10957-017-1086-3
[13]	Zhang, Z. and Yuan, R. (2016) Existence of Solutions to Fractional Hamiltonian Systems with Combined Nonlinearities. Electronic Journal of Differential Equations, 2016, 1-13.
[14]	Zhang, Z. and Yuan, R. (2014) Solutions for Subquadratic Fractional Hamiltonian Systems without Coercive Conditions. Mathematical Methods in the Applied Sciences, 37, 2934-2945. https://doi.org/10.1002/mma.3031
[15]	Zhou, Y. and Zhang, L. (2017) Existence and Multiplicity Results of Homoclinic Solutions for Fractional Hamiltonian Systems. Computers & Mathematics with Applications, 73, 1325-1345. https://doi.org/10.1016/j.camwa.2016.04.041
[16]	Guo, Z.J. and Zhang, Q.Y. (2020) Existence of Solutions to Fractional Hamiltonian Systems with Local Superquadratic Conditions. Electronic Journal of Differential Equations, 2020, 1-12. https://doi.org/10.1186/s13662-019-2438-0
[17]	Zhang, Q.Y. (2015) Homoclinic Solutions for a Class of Second Hamiltonian Systems. Mathematische Nachrichten, 288, 1073-1081. https://doi.org/10.1002/mana.201200293
[18]	Ervin, V. and Roop, J. (2006) Variational Formulation for the Stationary Fractional Advection Dispersion Equation. Numerical Methods for Partial Differential Equations, 22, 58-76. https://doi.org/10.1002/num.20112
[19]	Bartsch, T. and Willem, M. (1995) On an Elliptic Equation with Concave and Convex Nonlinearities. Proceedings of the American Mathematical Society, 123, 3555-3561. https://doi.org/10.1090/S0002-9939-1995-1301008-2
[20]	Willem, M. (1996) Minimax Theorems. Birkhäser, Boston. https://doi.org/10.1007/978-1-4612-4146-1
[21]	Mawhin, J. and Willem, M. (1989) Critical Point Theory and Hamiltonian Systems. Springer, New York. https://doi.org/10.1007/978-1-4757-2061-7