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

Gang-Ling Hou; Bin Ge

doi:10.1186/s13661-016-0619-2

Research
Open Access
Published: 06 June 2016

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

Gang-Ling Hou¹ &
Bin Ge²

Boundary Value Problems volume 2016, Article number: 109 (2016) Cite this article

958 Accesses
Metrics details

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).

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):

(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}$.
(ii)
$\lim_{ t \rightarrow0}\frac{f(x,t)}{t}=0$ uniformly with respect to $x\in\mathbb{R}^{N}$.
(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

(h₁):: 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].

(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:

(h₂):: 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.

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. $$

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).

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)
2.
Samko, S, Kilbas, A, Marichev, O: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, London (1993)
- Google Scholar
3.
Shlesinger, MF, West, BJ, Klafter, J: Lévy dynamics of enhanced diffusion: application to turbulence. Phys. Rev. Lett. 58, 1100-1103 (1987)
4.
Sokolov, IM, Klafter, J, Blumen, A: Fractional kinetics. Phys. Today 55, 48-54 (2002)
- Article
- Google Scholar
5.
Meerschaert, MM, Tadjeran, C: Finite difference approximations for fractional advection-dispersion flow equations. J. Comput. Appl. Math. 172, 65-77 (2004)
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)
7.
Bhrawy, AH: A Jacobi spectral collocation method for solving multi-dimensional nonlinear fractional sub-diffusion equations. Numer. Algorithms (2015). doi: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)
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)
11.
Liu, ZL, Wang, ZQ: On the Ambrosetti-Rabinowitz superlinear condition. Adv. Nonlinear Stud. 4, 561-572 (2004)
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)
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)
14.
Liu, SB, Li, SJ: Infinitely many solutions for a superlinear elliptic equation. Acta Math. Sin. 46, 625-630 (2003) (in Chinese)
15.
Jeanjean, L, Tanaka, K: Singularly perturbed elliptic problems with superlinear or asymptotically linear nonlinearities. Calc. Var. Partial Differ. Equ. 21, 287-318 (2004)
16.
Ambrosetti, A, Rabinowitz, PH: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14, 349-381 (1973)
17.
Willem, M: Minimax Theorems. Birkhäuser, Boston (1996)
- Google 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)
- MATH
- Google Scholar
19.
Ekeland, I: Convexity Methods in Hamiltonian Mechanics. Springer, Berlin (1990)
- Google Scholar

Download references

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).

Author information

Affiliations

College of Aerospace and Civil Engineering, Harbin Engineering University, Harbin, 150001, P.R. China
- Gang-Ling Hou
Department of Applied Mathematics, Harbin Engineering University, Harbin, 150001, P.R. China
- Bin Ge

Authors

Gang-Ling Hou
View author publications
You can also search for this author in
- PubMed
- Google Scholar
Bin Ge
View author publications
You can also search for this author in
- PubMed
- Google Scholar

Corresponding author

Correspondence to Bin Ge.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors contributed equally to this paper. All authors read and approved the final manuscript.

Rights and permissions

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.

Reprints and Permissions

About this article

Cite this article

Hou, G., Ge, B. On superlinear fractional advection dispersion equation in $\mathbb{R}^{N}$ . Bound Value Probl 2016, 109 (2016). https://doi.org/10.1186/s13661-016-0619-2

Download citation

Received: 07 March 2016
Accepted: 01 June 2016
Published: 06 June 2016
DOI: https://doi.org/10.1186/s13661-016-0619-2

MSC

45B05
26A33

Keywords

fractional advection dispersion equation
symmetric
superlinear problems

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