Boundary Value Problems

Impact Factor 0.819

Boundary Value Problems Cover Image
Research
Open Access

On superlinear fractional advection dispersion equation in \(\mathbb{R}^{N}\)

Boundary Value Problems20162016:109

https://doi.org/10.1186/s13661-016-0619-2

©  Hou and Ge 2016

Received: 7 March 2016

Accepted: 1 June 2016

Published: 6 June 2016

Abstract

We consider the fractional advection dispersion equation in \(\mathbb {R}^{N}\). The nonlinearity is superlinear but does not satisfy the Ambrosetti-Rabinowitz type condition. We obtain the existence of nontrivial solutions of the equations, improving a recent result of Zhang-Sun-Li (Appl. Math. Model. 38:4062-4075, 2014).

Keywords

fractional advection dispersion equation symmetric superlinear problems

MSC

45B05 26A33

1 Introduction and main results

In this paper we are concerned with the following fractional advection dispersion equation:
$$ - \int_{|\theta|=1}D_{\theta}D_{\theta}^{\beta}uM(d \theta)+V(x)u =f(x,u) \quad \mbox{in } \mathbb{R}^{N}, $$
(P)
where \(N>1\), \(\beta\in(0,1)\), \(\alpha=\frac{\beta+1}{2}\), \(M(d\theta)\) is a Borel probability measure on the unit sphere in \(\mathbb{R}^{N}\), \(D_{\theta}^{\beta}\) denotes directional fractional derivative of order β in the direction of the unit vector θ. We recall that the theory of fractional operators has gained a lot of attention in a large scientific community including pure mathematicians, applied scientists, and numerical analysts: see [1–10] and the references therein. Now, we make the following assumptions on the functions M, V, and f.
(H M ): 

There is a constant \(c_{M}>0\) such that \(\int_{|\theta|=1}|\xi \cdot\theta|^{2\alpha}M(d\theta)\geq c_{M}\) for \(\xi\in\mathbb {S}^{N-1}\), where \(\mathbb{S}^{N-1}=\{x\in\mathbb{R}^{N}: |x|=1\}\).

(H V ): 

\(V\in C(\mathbb{R}^{N})\), V is 1-periodic in \(x_{1}, x_{2},\ldots , x_{N}\) and \(0< V_{0}\leq V(x)\leq V_{1}<+\infty\).

(H f ): 
  1. (i)
    \(f\in C(\mathbb{R}^{N}\times\mathbb{R})\) is 1-periodic in \(x_{1},x_{2},\ldots, x_{N}\), and
    $$ \lim_{|t|\rightarrow+\infty}\frac{f(x,t)}{|t|^{2_{\alpha}^{*}-1}}=0,\qquad \lim _{|t|\rightarrow+\infty}\frac {F(x,t)}{|t|^{2}}=+\infty $$
    (1)
    uniformly in \(x\in\mathbb{R}^{N}\), where \(F(x,t)=\int_{0}^{t} f(x,s)\,ds\) and \(2_{\alpha}^{*}=\frac{2N}{N-2\alpha}\).
     
  2. (ii)

    \(\lim_{ t \rightarrow0}\frac{f(x,t)}{t}=0\) uniformly with respect to \(x\in\mathbb{R}^{N}\).

     
  3. (iii)

    There exists \(\vartheta\geq1\) such that \(\vartheta G(x,t)\geq G(x,st)\) for \((x,t)\in\mathbb{R}^{N}\times\mathbb{R}\) and \(s\in [0,1]\), where \(G(x,t)=f(x,t)t-2F(x,t)\).

     
Note that if the nonlinearity is subcritical and superlinear, that is, for some positive constants \(c_{1}>0\) and \(p\in[2,2_{\alpha}^{*}-1)\),
$$ \bigl\vert f(x,t)\bigr\vert \leq c_{1}\bigl(1+\vert t\vert ^{p}\bigr),\qquad \lim_{\vert t\vert \rightarrow+\infty } \frac{f(x,t)t}{\vert t\vert ^{2}}=+\infty, $$
(2)
then (1) is satisfied. Our condition (1) is slightly weaker. The condition (1) was first introduced by Liu and Wang [11] and then was used in [12]. The condition (H f )(iii) is originally due to Jeanjean [13] for semilinear problem in \(\mathbb{R}^{N}\). It is known that (H f )(iii) is weaker than the condition that
(h1): 

for each \(x\in\mathbb{R}^{N}\), \(\frac{f(x,t)}{|t|}\) is an increasing function of t in \(\mathbb{R}\backslash\{0\}\),

see Proposition 2.3 in [14] for a proof; see also Lemma 2.1 in [15]. Moreover, when dealing with superlinear problem, one usually needs a growth condition together with the following classical condition which was introduced by Ambrosetti and Rabinowitz in [16].
  1. (AR)
    There exist \(\mu>2\) such that
    $$0< \mu F(x,t)\leq tf(x,t),\quad \forall x\in\mathbb{R}^{N}, t\neq0. $$
     
It is well known that the condition (AR) is crucial in verifying the boundedness of the family of the corresponding functionals \((\mathit{PS})_{c}\), \(c\in\mathbb{R}\). This is very crucial in applying the critical point theory. However, there are many functions which are superlinear at infinity, but do not satisfy the condition (AR) for any \(\mu>2\). In fact, the condition (AR) implies that \(F(x,t)\geq C|t|^{\mu}\) for some \(C>0\). Thus, for example the superlinear function \(f(x,t)=t\log(1+|t|)\) does not satisfy the condition (AR). However, it satisfies our condition (H f ). From the above we can see the (AR) condition is stronger than (H f ).
We look for solution of (P) in the space
$$E= \biggl\{ u\in J_{M}^{\alpha}\bigl(\mathbb{R}^{N} \bigr): \int_{\vert \theta \vert =1} \int _{\mathbb{R}^{N}}\bigl\vert D_{\theta}^{\alpha}u\bigr\vert ^{2}\, dx M(d\theta)+ \int_{\mathbb {R}^{N}}V(x)\vert u\vert ^{2}\, dx< +\infty \biggr\} $$
endowed with the norm
$$\|u\|= \biggl( \int_{\vert \theta \vert =1} \int_{\mathbb{R}^{N}}\bigl\vert D_{\theta}^{\alpha}u\bigr\vert ^{2}\, dxM(d\theta)+ \int_{\mathbb{R}^{N}}V(x)\vert u\vert ^{2}\, dx \biggr)^{\frac{1}{2}}. $$
The fractional Sobolev space \(J_{M}^{\alpha}(\mathbb{R}^{N})\) is defined as the completion of \(C_{0}^{\infty}(\mathbb{R}^{N})\) with respect to the norm
$$\|u\|_{M}= \biggl( \int_{\vert \theta \vert =1} \int_{\mathbb{R}^{N}}\bigl\vert D_{\theta}^{\alpha}u\bigr\vert ^{2}\, dxM(d\theta)+ \int_{\mathbb{R}^{N}}\vert u\vert ^{2}\, dx \biggr)^{\frac{1}{2}}. $$
From Lemma 2.6 in [1], we have \(E\subset J_{M}^{\alpha}(\mathbb {R}^{N})\hookrightarrow L^{p}(\mathbb{R}^{N})\), \(2\leq p\leq2_{\alpha}^{*}\). By conditions (H f )(i) and (H f )(ii), there exists a constant \(C> 0\) such that
$$F(x,t)\leq C\bigl(|t|^{2}+|t|^{2_{\alpha}^{*}}\bigr),\quad \forall(x,t) \in\mathbb {R}^{N}\times\mathbb{R}. $$
Hence the energy functional \(\varphi: E\rightarrow\mathbb{R}\) given by
$$ \varphi(u)=-\frac{1}{2} \int_{|\theta|=1}\bigl(D_{\theta}^{\alpha}u, D_{-\theta}^{\alpha}u\bigr)M(d\theta)+\frac{1}{2} \int_{\mathbb {R}^{N}}V(x)u^{2}\, dx- \int_{\mathbb{R}^{N}}F(x,u)\, dx $$
(3)
is well defined and of class \(C^{1}\). The derivative of φ is given by
$$ \varphi'(u)v=- \int_{|\theta|=1}\bigl(D_{\theta}^{\alpha}u, D_{-\theta }^{\alpha}v\bigr)M(d\theta)+ \int_{\mathbb{R}^{N}}V(x)uv\, dx- \int_{\mathbb {R}^{N}}f(x,u)v\, dx $$
(4)
for \(v\in C_{0}^{\infty}(\mathbb{R}^{N})\), where \((\cdot, \cdot)\) denotes the inner product in \(L^{2}(\mathbb{R}^{N})\). Therefore, the critical points of φ are weak solutions of (P). We are now in the position to state our main results.

Theorem 1

Suppose the measure M is symmetric and satisfies (H M ). If (H V ) and (H f ) hold, then problem (P) has at least one nontrivial solution.

Corollary 1

Suppose the measure M is symmetric and satisfies (H M ). If \(V(x)=V_{0}\), \(f(x,u)=f(u)\) and (H f ) are satisfied, then problem (P) has at least one nontrivial solution.

This corollary improves a recent result of Zhang-Sun-Li [1], Theorem 3.1. In the some paper [1], in order to get the existence of a nontrivial solution, by substituting the condition (H M ), Zhang-Sun-Li assumed in addition to (H f )(ii), (AR), and the well-known subcritical growth condition, that is:
(h2): 
there are positive constants c and \(p\in[2,\frac{N+2\alpha }{N-2\alpha})\) such that
$$\bigl\vert f(x,u)\bigr\vert \leq c\bigl(1+\vert u\vert ^{p} \bigr), \quad x\in\mathbb{R}^{N}, u\in\mathbb{R}. $$
In Corollary 1, the condition (AR) is completely removed, and our assumption (H f )(ii)-(iii) is weaker than (AR) condition.

In this paper, we consider problem (P) in the case when the nonlinear term \(f(x, t)\) is superlinear at infinity but does not satisfy the (AR) type condition. Thus, the variational functional φ may possess unbounded \((\mathit{PS})\) sequences. To overcome this difficulty, the Cerami sequences are employed (see Lemma 5).

The rest of this paper is organized as follows. In Section 2, we state some preliminary results that will be used later. We will finish the proof of our main result (Theorem 1) in Section 3.

2 Preliminaries

In this section, we introduce some basic definitions and properties of the fractional calculus which are used further in this paper. For the proofs, which are omitted, we refer the reader to [1] or other texts on basic fractional calculus.

Definition 1

Let \(u:\mathbb{R}^{N}\rightarrow\mathbb{R}\), \(\alpha>0\), θ be a unit vector in \(\mathbb{R}^{N}\). The αth order fractional integral in the direction of θ of u is given by
$$D_{\theta}^{-\alpha}u(x)=\frac{1}{\Gamma(\alpha)} \int_{0}^{+\infty }\xi^{\alpha-1}u(x-\xi\theta)\, d\xi $$
and the αth order directional derivative in the direction of θ is defined by
$$D_{\theta}^{\alpha}u(x)= (\nabla\cdot\theta)^{n}D_{\theta}^{\alpha-n}u(x), $$
where n denotes the smallest integer greater than or equal to α.

Definition 2

Let \(u:\mathbb{R}^{N}\rightarrow\mathbb{R}\), \(\alpha>0\) (or \(\alpha <0\)) be given. Then the αth order fractional integral (derivative) with respect to the measure M is defined as
$$D_{M}^{\alpha}u(x)= \int_{|\theta|=1}D_{\theta}^{\alpha}u(x)M(d\theta), $$
where \(M(d\theta)\) is a Borel probability measure on the unit sphere in \(\mathbb{R}^{N}\).

Definition 3

Let \(\alpha=\frac{1+\beta}{2}\), a function \(u\in J_{M}^{\alpha}(\mathbb {R}^{N})\) is called of (P) if
$$- \int_{|\theta|=1}\bigl(D_{\theta}^{\alpha}u,D_{-\theta}^{\alpha }v \bigr)M(d\theta)+ \int_{\mathbb{R}^{N}}V(x)uv\, dx= \int_{\mathbb {R}^{N}}f(x,u)v\, dx $$
for all \(v\in C_{0}^{\infty}(\mathbb{R}^{N})\).

Lemma 1

If \(\alpha\in(0,1)\), then for \(u\in C_{0}^{\infty}(\mathbb{R}^{N})\), we have the following Fourier transform property:
$$\mathcal{F}\bigl(D_{\theta}^{-\alpha} u\bigr) (\xi)=(i\xi\cdot\theta )^{-\alpha}\mathcal{F}(u) (\xi) \quad \textit{and}\quad \mathcal{F} \bigl(D_{\theta}^{\alpha} u\bigr) (\xi)=(i\xi\cdot \theta)^{\alpha }\mathcal{F}(u) (\xi), $$
where \(\mathcal{F}(u)(\xi)=\frac{1}{(2\pi)^{\frac{N}{2}}}\int _{\mathbb{R}^{N}}e^{-i\xi\cdot x}u(x)\, dx\).

Lemma 2

Assume that the measure M is symmetric. Let \(\alpha>0\), \(u,v\in J_{M}^{\alpha}(\mathbb{R}^{N})\). Then, for M-a.e. \(\theta\in S^{N-1}\), we have
$$\bigl(D_{\theta}^{\alpha}u,D_{-\theta}^{\alpha}v\bigr)+ \bigl(D_{\theta}^{\alpha }v,D_{-\theta}^{\alpha}u\bigr)=2 \cos(\pi\alpha) \bigl(D_{\theta}^{\alpha }u,D_{\theta}^{\alpha}v \bigr), $$
especially
$$\bigl(D_{\theta}^{\alpha}u,D_{-\theta}^{\alpha}u\bigr)= \cos(\pi\alpha ) \bigl(D_{\theta}^{\alpha}u,D_{\theta}^{\alpha}u \bigr). $$
Throughout this paper, we will use the norm \(\|\cdot\|\) in E. As usual, for \(1\leq\nu<\infty\), we let
$$\vert u\vert _{\nu}= \biggl( \int_{\mathbb{R}^{N}}\bigl\vert u(x)\bigr\vert ^{\nu}\, dx \biggr)^{\frac{1}{\nu }}, \quad u\in L^{\mu}\bigl(\mathbb{R}^{N} \bigr). $$
For the reader’s convenience, we review the main embedding result for this class of fractional Sobolev spaces.

Lemma 3

([1], Lemma 2.6)

E continuously embedded into \(L^{p}(\mathbb{R}^{N})\) for \(p\in[2,2_{\alpha}^{*}]\), and compactly embedded into \(L_{\mathrm{loc}}^{p}(\mathbb{R}^{N})\) for \(p\in[2,2_{\alpha}^{*})\).

In order to prove Theorem 1, we need the following lemma whose proof is analogous to that of Lemma 1.21 in [17] (see also [18]).

Lemma 4

Let \(r>0\) and \(2\leq p<2_{\alpha}^{*}\). If \(\{u_{n}\}\) is bounded in \(J_{M}^{\alpha}(\mathbb{R}^{N})\) and if
$$\sup_{y\in\mathbb{R}^{N}} \int_{B_{r}(y)}|u_{n}|^{p}\, dx\rightarrow 0,\quad \textit{as } n\rightarrow+\infty, $$
where \(B_{r}(y)=\{x\in\mathbb{R}^{N}: |x-y|< r\}\), then \(u_{n}\rightarrow0\) in \(L^{s}(\mathbb{R}^{N})\) for \(s\in(2,2_{\alpha}^{*})\).

In order to ensure the existence of solutions for the problem (P), our main tool will be the mountain pass theorem [19], p.140, Theorem 6, which will be used in our proof.

Lemma 5

Let X be a Banach space and \(I: X\rightarrow\mathbb{R}\) a continuous, Gâteaux-differentiable function, such that \(I': X\rightarrow X\) is continuous from the norm topology of X to the weak ∗ topology of \(X^{*}\). Take two points \((z_{0}, z_{1})\) in X and consider the set Γ of all continuous paths from \(z_{0}\) to \(z_{l}\):
$$\Gamma=\bigl\{ \gamma\in C\bigl([0,1],X\bigr):\gamma(0)=z_{0}, \gamma(1)=z_{1}\bigr\} . $$
Define a number c by \(c=\inf_{\gamma\in\Gamma}\max_{t\in[0,1]}I(\gamma(t))\). Assume there is a closed subset Θ of X such that \(\Theta\cap I^{c}\) separates \(z_{0}\) and \(z_{1}\) with \(I^{c}=\{x\in X: I(x)\geq c\}\). Then there is a sequence \(\{x_{n}\}\) in X such that
$$\delta(x_{n},\Theta)\rightarrow0, \qquad I(x_{n})\rightarrow c \quad \textit{and} \quad \bigl(1+\Vert x_{n}\Vert _{X} \bigr)\bigl\Vert I'(x_{n})\bigr\Vert _{X^{*}} \rightarrow0. $$

3 Proof of Theorem 1

In this section, for the notation in Lemma 5, the space \(X=E\), and related functional on E is \(I=\varphi\). Recall that a sequence \(\{u_{n}\}\subset E\) is called a Palais-Smale sequence of φ the level c, a \((\mathit{PS})_{c}\) sequence for short, if \(\varphi (u_{n})\rightarrow c\) and \(\varphi'(u_{n})\rightarrow0\). A sequence \(\{u_{n}\}\subset E\) is called a Cerami sequence ϕ at the level c, a \((C)_{c}\) sequence for short, if
$$\varphi(u_{n})\rightarrow c\quad \mbox{and} \quad \bigl(1+\Vert u_{n}\Vert \bigr)\varphi '(u_{n}) \rightarrow0. $$
We deduce from (H f )(iii) that
$$f(x,t)t-2F(x,t)\geq0, \quad \forall(x,t)\in\mathbb{R}^{N}\times \mathbb{R}. $$
Let \(t>0\). For \(x\in\mathbb{R}^{N}\), by direct computations we have
$$ \frac{\partial}{\partial t}\biggl(\frac{F(x,t)}{t^{2}}\biggr)= \frac {t^{2}f(x,t)-2tF(x,t)}{t^{4}}\geq0. $$
(5)
Taking into account hypothesis (H f )(ii) we deduce
$$ \lim_{t\rightarrow0^{+}} \frac{F(x,t)}{t^{2}}=0. $$
(6)
So it follows from (5) and (6) that \(F(x,t)\geq0\) for all \(x\in\mathbb{R}^{N}\) and \(t\geq0\). Arguing similarly for the case \(t\leq0\), eventually we obtain
$$ F(x,t)\geq0, \quad \forall(x,t)\in\mathbb{R}^{N}\times \mathbb{R}. $$
(7)

Lemma 6

There exists \(r>0\) and \(\eta_{0}\in E\) such that \(\|\eta_{0}\|>r\) and
$$\inf_{\|u\|=r}\varphi(u)>\varphi(0)=0\geq\varphi( \eta_{0}). $$

Proof

First of all, from (H f )(i) and (H f )(ii) it follows that, for all given \(\varepsilon>0\), there exists \(c_{\varepsilon}>0\) such that
$$F(x,t)\leq\varepsilon|t|^{2}+c_{\varepsilon}|t|^{2_{\alpha}^{*}},\quad \forall(x,t)\in\mathbb{R}^{N}\times\mathbb{R}. $$
Consequently, using Lemma 2, we have
$$\begin{aligned} \varphi(u) =&-\frac{1}{2} \int_{\vert \theta \vert =1}\bigl(D_{\theta}^{\alpha}u, D_{-\theta}^{\alpha}u\bigr)M(d\theta)+\frac{1}{2} \int_{\mathbb {R}^{N}}V(x)u^{2}\,dx- \int_{\mathbb{R}^{N}}F(x,u)\,dx \\ =&-\frac{\cos(\pi\alpha)}{2} \int_{\vert \theta \vert =1}\bigl\vert D_{\theta}^{\alpha}u\bigr\vert _{2}^{2}M(d\theta)+\frac{1}{2} \int_{\mathbb{R}^{N}}V(x)u^{2}\,dx- \int _{\mathbb{R}^{N}}F(x,u)\,dx \\ \geq&-\frac{\cos(\pi\alpha)}{2} \biggl[ \int_{\vert \theta \vert =1}\bigl\vert D_{\theta}^{\alpha}u\bigr\vert _{2}^{2}M(d\theta)+ \int_{\mathbb{R}^{N}}V(x)u^{2}\,dx \biggr]-\varepsilon \int_{\mathbb{R}^{N}}\vert u\vert ^{2}\,dx \\ &{}-c_{\varepsilon}\int _{\mathbb{R}^{N}}\vert u\vert ^{2_{\alpha}^{*}}\,dx. \end{aligned}$$
Since \(E\hookrightarrow L^{p}(\mathbb{R}^{N})\), \(2\leq p\leq2_{\alpha}^{*}\), we know there exists a constant \(C>0\) such that \(|u|_{p}\leq C\|u\|\). So
$$ \varphi(u) \geq-\frac{\cos(\pi\alpha)}{2}\|u\|^{2}-\varepsilon C^{2}\|u\|^{2} -c_{\varepsilon}C^{2_{\alpha}^{*}}\|u \|^{2_{\alpha}^{*}}. $$
By choosing \(\varepsilon>0\) such that \(-\frac{\cos(\pi\alpha )}{2}-\varepsilon C^{2}\geq-\frac{\cos(\pi\alpha)}{4}\), we obtain
$$ \varphi(u) \geq-\frac{\cos(\pi\alpha)}{4}\|u\|^{2}-c_{\varepsilon}C^{2_{\alpha}^{*}}\|u\|^{2_{\alpha}^{*}}, \quad \forall u\in E. $$
That is, there exist \(r>0\) and \(\rho>0\), such that
$$ \varphi(u) \geq \rho>0,\qquad \|u\|=r. $$
Using (1), it is easy to see that for any \(u\neq0\), we have \(\varphi(tu)\rightarrow-\infty\) as \(t\rightarrow+\infty\). Hence, there is a point \(\eta_{0}\in E\backslash\overline{B}_{r}\) such that \(\varphi(\eta_{0})\leq0\). □
By Lemma 6 we see that φ has a mountain pass geometry: that is, setting
$$\Gamma=\bigl\{ \gamma\in C\bigl([0,1],E\bigr):\gamma(0)=0,\varphi\bigl(\gamma(1) \bigr)< 0\bigr\} , $$
we have \(\Gamma\neq\emptyset\). Moreover, it is easy to see that
$$ c=\inf_{\gamma\in\Gamma}\max_{t\in [0,1]}\varphi \bigl(\gamma(t)\bigr)>0. $$
(8)
Take \(F =E\) in Lemma 5. Equation (8) implies that \(\varphi ^{c}\) separates \(\gamma(0)=0\) and \(\gamma(1)=\eta_{0}\), and there exists a \((C)_{c}\) sequence \(\{u_{n}\}\) for φ.

Claim

The sequence \(\{u_{n}\}\) is bounded.

If \(\{u_{n}\}\) is unbounded, up to a subsequence we may assume that
$$\varphi(u_{n})\rightarrow c, \qquad \Vert u_{n}\Vert \rightarrow+\infty, \qquad \bigl\Vert \varphi'(u_{n}) \bigr\Vert \Vert u_{n}\Vert \rightarrow0. $$
In particular,
$$ \lim_{n\rightarrow\infty} \int_{\mathbb{R}^{N}} \biggl(\frac {1}{2}f(x,u_{n})u_{n}-F(x,u_{n}) \biggr)\, dx= \lim_{n\rightarrow\infty} \biggl(\varphi(u_{n})- \frac {1}{2}\varphi'(u_{n})u_{n} \biggr)=c. $$
(9)
Let \(w_{n}=\frac{u_{n}}{\|u_{n}\|}\), then \(\{w_{n}\}\) is bounded in E. We claim that
$$ \lim_{n\rightarrow\infty}\sup_{y\in\mathbb {R}^{N}} \int_{B_{2}(y)}|w_{n}|^{2}\, dx=0. $$
(10)
Otherwise, for some \(\delta>0\), up to a subsequence we have
$$ \sup_{y\in\mathbb{R}^{N}} \int_{B_{2}(y)}|w_{n}|^{2}\, dx\geq\delta>0. $$
So we can choose \(\{y_{n}\} \subset\mathbb{R}^{N}\) such that
$$ \sup_{y\in\mathbb{R}^{N}} \int_{B_{2}(y_{n})}|w_{n}|^{2}\, dx\geq \frac {\delta}{2}. $$
It is easy to see that the number of points in \(Z^{N}\cap B_{2}(y_{n})\) is less than \(4^{N}\); there exists \(z_{n}\in B_{2}(y_{n})\) such that
$$ \int_{B_{2}(z_{n})}|w_{n}|^{2}\, dx\geq \frac{\delta}{2^{2N+1}}. $$
(11)
Let \(\overline{w}_{n}(x) = w_{n}(x+z_{n})\). Then \(\{\overline{w}_{n}\}\) is also bounded in E. Passing to a subsequence we have
$$\overline{w}_{n}\rightarrow\overline{w} \quad \mbox{in } L^{2}_{\mathrm{loc}}\bigl(\mathbb{R}^{N}\bigr) \quad \mbox{and} \quad \overline{w}_{n}(x)\rightarrow \overline{w}(x) \quad \mbox{a.e. } x\in\mathbb{R}^{N}. $$
Remark that
$$ \int_{B_{2}(0)}|\overline{w}_{n}|^{2}\, dx= \int_{B_{2}(z_{n})}|w_{n}|^{2}\, dx $$
(12)
and so \(\overline{w}\neq0\). Let \(\overline{u}_{n}=\|u_{n}\|\overline {w}_{n}\). It is easy to see that \(\overline{u}_{n}(x)\rightarrow+\infty\) as \(n\rightarrow+\infty\). Using (1) we have
$$ \lim_{n\rightarrow+\infty}\frac{F(x,\overline {u}_{n}(x))}{|\overline{u}_{n}(x)|^{2}}\bigl\vert \overline{w}_{n}(x)\bigr\vert ^{2}=+\infty. $$
(13)
Recall that \(f(x, u)\) is 1-periodic with respect to x. Using this fact, we obtain
$$ \int_{\mathbb{R}^{N}}F(x,u_{n})\, dx= \int_{\mathbb{R}^{N}}F(x,\overline{u}_{n})\, dx. $$
Since the set \(\Omega_{0}= \{x\in\mathbb{R}^{N}:\overline{w}(x)\neq0\} \) has positive Lebesgue measure, using (13) we have
$$\begin{aligned} \frac{1}{2} =& \frac{1}{2\|u_{n}\|^{2}} \int_{\mathbb{R}^{N}} \int_{|\theta |=1} \int_{\mathbb{R}^{N}}\bigl\vert D_{\theta}^{\alpha}u_{n}\bigr\vert ^{2}\, dxM(d\theta)+ \int _{\mathbb{R}^{N}}V(x)|u_{n}|^{2}\,dx \\ =& \frac{1}{\|u_{n}\|^{2}} \biggl(\varphi(u_{n})+ \int_{\mathbb{R}^{N}} F(x,u_{n})\,dx \biggr) \\ \geq& \frac{1}{\|u_{n}\|^{2}} \int_{\mathbb{R}^{N}} F(x,u_{n})\,dx-1 \\ =&\frac{1}{\|u_{n}\|^{2}} \int_{\mathbb{R}^{N}} F(x,\overline{u}_{n})\,dx-1 \\ \geq& \int_{\overline{w}\neq0} \frac{F(x,\overline {u}_{n}(x))}{|\overline{u}_{n}(x)| ^{2}}\bigl\vert \overline{w}_{n}(x) \bigr\vert ^{2}\,dx-1\rightarrow+\infty. \end{aligned}$$
This is impossible. Therefore we have proved (10). Hence, using Lemma 4 and (10), we obtain
$$ w_{n}\rightarrow0 \quad \mbox{in } L^{s}\bigl( \mathbb{R}^{N}\bigr), s\in\bigl(2,2_{\alpha}^{*}\bigr). $$
(14)
Next, we shall derive a contradiction as follows. Given a real number \(R >0\), by (H f )(i) and (H f )(ii), for any \(\varepsilon>0\), there exists \(c_{\varepsilon}>0\) such that
$$ F(x,Rt)\leq\varepsilon\bigl(|t|^{2}+|t|^{2_{\alpha}^{*}} \bigr)+c_{\varepsilon}|t|^{s}. $$
(15)
Note that \(\|w_{m}\|=1\). So from (14), (15), and the continuity of the embedding \(E\hookrightarrow L^{p}(\mathbb{R}^{N})\) (since \(p\in[2,2_{\alpha}^{*}]\)), we obtain
$$\begin{aligned} \limsup_{n\rightarrow\infty} \int_{\mathbb {R}^{N}}F(x,Rw_{n})\, dx \leq&\limsup _{n\rightarrow\infty} \bigl[\varepsilon C^{2}\|w_{n} \|^{2}+\varepsilon C^{2_{\alpha}^{*}}\|w_{n} \|^{2_{\alpha}^{*}}+c_{\varepsilon}|w_{n}|_{s}^{s} \bigr] \\ \leq&\varepsilon\bigl(C^{2}+C^{2_{\alpha}^{*}}\bigr). \end{aligned}$$
Now let \(\varepsilon\rightarrow0\), we obtain
$$ \lim_{n\rightarrow\infty} \int_{\mathbb{R}^{N}}F(x,Rw_{n})\, dx=0. $$
(16)
Let \(t_{n}\in[0, 1]\) such that \(\varphi(t_{n}u_{n})=\max_{t\in [0,1]}\varphi(tu_{n})\). Given \(m>0\). Since for n large enough we have \((-\frac{4m}{\cos (\pi\alpha)} )^{\frac{1}{2}}\|u_{n}\|^{-1}\in(0,1)\), using (16) with \(R= (-\frac{4m}{\cos(\pi\alpha)} )^{\frac{1}{2}}\), we have
$$\begin{aligned} \varphi(t_{n}u_{n}) \geq& \varphi \biggl( \biggl(- \frac{4m}{\cos(\pi\alpha )} \biggr)^{\frac{1}{2}}\|u_{n}\|^{-1} u_{n} \biggr)=\varphi \biggl( \biggl(-\frac{4m}{\cos(\pi\alpha)} \biggr)^{\frac{1}{2}}w_{n} \biggr) \\ =&2m \int_{\vert \theta \vert =1}\bigl\vert D_{\theta}^{\alpha}w_{n}\bigr\vert _{2}^{2}M(d\theta)- \frac {2m}{\cos(\pi\alpha)} \int_{\mathbb{R}^{N}}V(x)w_{n}^{2}\,dx \\ &{}- \int _{\mathbb{R}^{N}}F \biggl(x, \biggl(-\frac{4m}{\cos(\pi\alpha)} \biggr)^{\frac{1}{2}}w_{n} \biggr)\,dx \\ \geq&2m \int_{\vert \theta \vert =1}\bigl\vert D_{\theta}^{\alpha}w_{n}\bigr\vert _{2}^{2}M(d\theta)+2m \int _{\mathbb{R}^{N}}V(x)w_{n}^{2}\,dx \\ &{}- \int_{\mathbb{R}^{N}}F \biggl(x, \biggl(-\frac{4m}{\cos(\pi\alpha)} \biggr)^{\frac{1}{2}}w_{n} \biggr)\,dx \\ \geq& m. \end{aligned}$$
That is, \(\varphi(t_{n}u_{n})\rightarrow+\infty\). But \(\varphi(0)=0\), \(\varphi(u_{n})\rightarrow c\), we see that \(t_{n}\in(0, 1)\), and
$$ \varphi'(t_{n}u_{n})t_{n}u_{n}=t_{n} \frac{d}{dt} \bigg|_{t=t_{n}}\varphi(tu_{n})=0. $$
Because of hypothesis (H f )(iii),
$$\begin{aligned} \int_{\mathbb{R}^{N}} \biggl(\frac{1}{2}f(x,u_{n})u_{n}-F(x,u_{n}) \biggr)\,dx \geq& \frac{1}{\vartheta} \int_{\mathbb{R}^{N}} \biggl(\frac {1}{2}f(x,t_{n}u_{n})t_{n}u_{n}-F(x,t_{n}u_{n}) \biggr)\,dx \\ =&\frac{1}{\vartheta} \biggl[\varphi(t_{n}u_{n})- \frac{1}{2}\varphi '(t_{n}u_{n})t_{n}u_{n} \biggr] \\ =&\frac{1}{\vartheta}\varphi(t_{n}u_{n})\rightarrow+\infty. \end{aligned}$$
This contradicts (9) and consequently we have proved that \(\{ u_{n}\}\) is bounded.
Let
$$\tau:=\lim_{n\rightarrow\infty}\sup_{y\in\mathbb {R}^{N}} \int_{B_{2}(y)}|u_{n}|^{2}\, dx. $$
If \(\tau= 0\), using Lemma 4, similarly to (16) we have
$$ \lim_{n\rightarrow\infty} \int_{\mathbb{R}^{N}}F(x,u_{n})\, dx=0 \quad \mbox{and} \quad \lim _{n\rightarrow\infty} \int_{\mathbb {R}^{N}}f(x,u_{n})u_{n}\, dx=0. $$
(17)
Hence using (9) we have \(c= 0\), a contradiction. Therefore \(\tau>0\). Similarly to (12), we can choose a sequence \(\{z_{n}\} \subset Z^{N}\) such that setting \(\overline{u}_{n}(x)=u_{n}(x+z_{n})\), we have
$$ \int_{B_{2}(0)}|\overline{u}_{n}|^{2}\, dx= \int_{B_{2}(z_{n})}|u_{n}|^{2}\, dx\geq \frac {\tau}{2^{2N+1}}. $$
(18)
Note that \(\|\overline{u}_{n}\|=\|u_{n}\|\), we see that \(\{\overline {u}_{n}\}\) is bounded. Going if necessary to a subsequence, we obtain
$$\overline{u}_{n}\rightharpoonup\overline{u} \quad \mbox{in } E \quad \mbox{and} \quad \overline{u}_{n}\rightarrow\overline{u}\quad \mbox{in } L^{2}_{\mathrm{loc}}\bigl(\mathbb{R}^{N}\bigr). $$
Returning to (18), we see that \(\overline{u}\neq0\). Moreover, by the \(Z^{N}\) invariance of the problem, \(\{\overline{u}_{n}\}\) is also a \((C)_{c}\) sequence of φ. Thus for every \(v\in C_{0}^{\infty}(\mathbb{R}^{N})\), we have
$$\varphi'(\overline{u})v=\lim_{n\rightarrow\infty}\varphi '(\overline{u}_{n})v=0. $$
So \(\varphi'(\overline{u})= 0\) and u̅ is a nontrivial solution of (P).

Declarations

Acknowledgements

This work is supported by the National Natural Science Foundation of China (No. 11201095), the Youth Scholar Backbone Supporting Plan Project of Harbin Engineering University (No. 307201411008), the Fundamental Research Funds for the Central Universities (No. 2016), Heilong Jiang Postdoctoral Funds for scientific research initiation (No. LBH-Q14044), the Science Research Funds for Overseas Returned Chinese Scholars of Heilongjiang Province (No. LC201502).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
College of Aerospace and Civil Engineering, Harbin Engineering University
(2)
Department of Applied Mathematics, Harbin Engineering University

References

  1. Zhang, QG, Sun, HR, Li, YN: Existence of solution for a fractional advection dispersion equation in \(\mathbb{R}^{N}\). Appl. Math. Model. 38, 4062-4075 (2014) View ArticleMathSciNetGoogle Scholar
  2. Samko, S, Kilbas, A, Marichev, O: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, London (1993) MATHGoogle Scholar
  3. Shlesinger, MF, West, BJ, Klafter, J: Lévy dynamics of enhanced diffusion: application to turbulence. Phys. Rev. Lett. 58, 1100-1103 (1987) View ArticleMathSciNetGoogle Scholar
  4. Sokolov, IM, Klafter, J, Blumen, A: Fractional kinetics. Phys. Today 55, 48-54 (2002) View ArticleGoogle Scholar
  5. Meerschaert, MM, Tadjeran, C: Finite difference approximations for fractional advection-dispersion flow equations. J. Comput. Appl. Math. 172, 65-77 (2004) View ArticleMATHMathSciNetGoogle Scholar
  6. Donatelli, M, Mazza, M, Serra-Capizzano, S: Spectral analysis and structure preserving preconditioners for fractional diffusion equations. J. Comput. Phys. 307, 262-279 (2016) View ArticleMathSciNetGoogle Scholar
  7. Bhrawy, AH: A Jacobi spectral collocation method for solving multi-dimensional nonlinear fractional sub-diffusion equations. Numer. Algorithms (2015). doi:https://doi.org/10.1007/s11075-015-0087-2 Google Scholar
  8. Bhrawy, AH: A space-time collocation scheme for modified anomalous subdiffusion and nonlinear superdiffusion equations. Eur. Phys. J. Plus 131, 1-20 (2016) View ArticleMathSciNetGoogle Scholar
  9. Bhrawy, AH: A new spectral algorithm for a time-space fractional partial differential equations with subdiffusion and superdiffusion. Proc. Rom. Acad., Ser. A 17, 39-46 (2016) Google Scholar
  10. Bhrawy, AH: A space-time Legendre spectral tau method for the two-sided space-time Caputo fractional diffusion-wave equation. Numer. Algorithms 71, 151-180 (2016) View ArticleMATHMathSciNetGoogle Scholar
  11. Liu, ZL, Wang, ZQ: On the Ambrosetti-Rabinowitz superlinear condition. Adv. Nonlinear Stud. 4, 561-572 (2004) View ArticleMATHMathSciNetGoogle Scholar
  12. Li, YQ, Wang, ZQ, Zeng, J: Ground states of nonlinear Schrödinger equations with potentials. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 23, 829-837 (2006) View ArticleMATHMathSciNetGoogle Scholar
  13. Jeanjean, L: On the existence of bounded Palais-Smale sequences and application to a Landesman-Lazer type problem set on \(\mathbb{R}^{N}\). Proc. R. Soc. Edinb. 129, 787-809 (1999) View ArticleMATHMathSciNetGoogle Scholar
  14. Liu, SB, Li, SJ: Infinitely many solutions for a superlinear elliptic equation. Acta Math. Sin. 46, 625-630 (2003) (in Chinese) MATHMathSciNetGoogle Scholar
  15. Jeanjean, L, Tanaka, K: Singularly perturbed elliptic problems with superlinear or asymptotically linear nonlinearities. Calc. Var. Partial Differ. Equ. 21, 287-318 (2004) View ArticleMATHMathSciNetGoogle Scholar
  16. Ambrosetti, A, Rabinowitz, PH: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14, 349-381 (1973) View ArticleMATHMathSciNetGoogle Scholar
  17. Willem, M: Minimax Theorems. Birkhäuser, Boston (1996) View ArticleMATHGoogle Scholar
  18. Lions, PL: The concentration compactness principle in the calculus of variations, the locally compact case, part 2. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1, 223-283 (1984) MATHGoogle Scholar
  19. Ekeland, I: Convexity Methods in Hamiltonian Mechanics. Springer, Berlin (1990) View ArticleMATHGoogle Scholar

Copyright

© Hou and Ge 2016