- Research
- Open access
- Published:
Mountain pass and linking type sign-changing solutions for nonlinear problems involving the fractional Laplacian
Boundary Value Problems volume 2017, Article number: 108 (2017)
Abstract
In this paper we study the existence of sign-changing solutions for nonlinear problems involving the fractional Laplacian
where \(\Omega\subset\mathbb{R}^{n}\) (\(n\geq2\)) is a bounded smooth domain, \(s\in(0,1)\), \((-\Delta)^{s}\) denotes the fractional Laplacian, λ is a real parameter, the nonlinear term f satisfies superlinear and subcritical growth conditions at zero and at infinity. When \(\lambda\leq0\), we prove the existence of a positive solution, a negative solution and a sign-changing solution by combing minimax method with invariant sets of descending flow. When \(\lambda\geq \lambda_{1}^{s}\) (where \(\lambda_{1}^{s}\) denotes the first eigenvalue of the operator \((-\Delta)^{s}\) in Ω with homogeneous Dirichlet boundary data), we prove the existence of a sign-changing solution by using a variation of linking type theorems.
1 Introduction
This paper is concerned with the existence of sign-changing solutions for nonlinear problems involving the fractional Laplacian
where \(\Omega\subset\mathbb{R}^{n}\) (\(n\geq2\)) is a bounded domain with smooth boundary ∂Ω, f is a Carathéodory function, \(0 < s< 1\), \((-\Delta)^{s}\) is the fractional Laplacian operator. The fractional Laplace \((-\Delta)^{s}\) of a rapidly decaying test function u is defined as
where P.V. denotes the principal value of the singular integral, and
It is possible to prove that \((-\Delta)^{s}\) is a pseudo-differential operator, and more precisely that
where \(\mathscr{F}\) is the Fourier transform.
The fractional Laplacian operator \((-\Delta)^{s}\) arises in many different applications, such as continuum mechanics, phase transition phenomena, population dynamics and game theory, as they are the typical outcome of stochastically stabilization of Lévy processes; see [1] and the references therein.
The problem (1.1) is a nonlinear equation involving the fractional Laplacian which has been studied extensively for many years. Chang and González [2] studied this problem in conformal geometry. Caffarelli et al. [3, 4] investigated free boundary problems of the fractional Laplacian. Silvestre [5] obtained some regularity results of the obstacle problem of the fractional Laplacian.
In the past few years, some existence results on sign-changing solutions of nonlinear elliptic equations have been obtained by combing minimax method with invariant sets of descending flow (see [6, 7]). In this paper, we generalize the method to study the sign-changing solution for the nonlinear equation involving the fractional Laplacian \((-\Delta)^{s}\).
The problem (1.1) has different variational structures when λ take different values. This paper is divided into two parts. In Section 3, we discuss the case \(\lambda\leq0\), a positive and a negative and a sign-changing solution have been found by constructing different invariant sets on which the functional is bounded below; In Section 4, we discuss the case \(\lambda>\lambda_{1}^{s}\) (where \(\lambda_{1}^{s}\) denotes the first eigenvalue of the operator \((-\Delta)^{s}\) in Ω with homogeneous Dirichlet boundary data), by using a variation of the linking theorem.
To state our results, we suppose that the Carathéodory function f: \(\bar{\Omega} \times\mathbb{R}^{n} \to\mathbb{R}\) verifying the following conditions:
- (\(f_{1}\)):
-
\(f(x,0)=0\);
- (\(f_{2}\)):
-
\(|f(x,t)|\leq C(1+|t|^{p-1})\) for some \(C>0\) and \(p\in (2,2^{*}_{s})\), where \(2^{*}_{s}=\frac{2n}{n-2s}\);
- (\(f_{3}\)):
-
there exists a constant \(\mu>2\) such that
$$0 < \mu F(x, t) \leq tf(x, t),\quad \forall x\in\bar{\Omega}, t\in \mathbb{R} \setminus\{0\}, $$where \(F(x,t)=\int_{0}^{t}f(x,\tau)\,d\tau\);
- (\(f_{4}\)):
-
\(\lim_{t\to0}\frac{f(x,t)}{t}=0\), uniformly in \(x\in\bar{\Omega}\);
- (\(f_{5}\)):
-
for every \(x\in\bar{\Omega}\) the function \(t\mapsto \frac{f(x,t)}{|t|}\) is nondecreasing on \(\mathbb{R}\).
Now, we are ready to state the main results of this paper.
Theorem 1.1
Suppose that (\(f_{1}\))-(\(f_{4}\)) and \(\lambda\leq0\) hold. Then
-
(i)
problem (1.1) has at least a positive solution \(u_{+}\) and a negative solution \(u_{-}\);
-
(ii)
problem (1.1) has a sign-changing solution ū. If in addition (\(f_{5}\)) holds then ū is a least energy sign-changing solution with precisely two nodal domains.
Theorem 1.2
Suppose that (\(f_{1}\))-(\(f_{4}\)) and \(\lambda\geq\lambda_{1}^{s}\) hold. Then problem (1.1) has a sign-changing solution.
2 Preliminaries
Recall that the fractional Sobolev space \(H^{s}(\Omega)\) is defined as
endowed with the natural norm
where the term
is the so-called Gagliardo (semi)norm of g. \(H_{0}^{s}(\Omega)\) denotes the closure of \(C_{0}^{\infty}(\Omega)\) in the norm
which is equivalent with the norm defined in (2.1). For the basic properties of fractional Sobolev spaces, we refer the interested reader to [8].
One can also define \((-\Delta)^{s}\) by using the method of bilinear Dirichlet forms, that is, \((-\Delta)^{s}\) is the closed selfadjoint operator on \(L^{2}(\mathbb{R}^{n})\) associated with the bilinear symmetric closed form
in the sense that
and
Remark that there are maybe some distinctions between the fractional Laplacians by different definitions. In this paper, we define it as follows.
Definition 2.1
Let \(e_{i}\), \(\lambda_{i}\) be the eigenfunctions and the eigenvalues of the Laplace operator −Δ in Ω with Dirichlet homogeneous boundary data, \(a_{i}\) represents the projection of u on the direction \(e_{i}\). Then
For the reader’s convenience, we review the main result for the following eigenvalue problem of the Laplace operator \((-\Delta)\) with Dirichlet homogeneous boundary data.
Proposition 2.2
Let Ω be an open smooth bounded set of \(\mathbb{R}^{n}\).
Then,
-
(a)
the set of the eigenvalues of problem (2.2) consists of a sequence \(\{\lambda_{k}\}_{k\in\mathbb{N}}\) with
$$0< \lambda_{1}< \lambda_{2}\leq\cdots\leq \lambda_{k}\leq \lambda_{k+1}\leq\cdots $$and
$$\lambda_{k}\to+\infty \quad\textit{as } k\to+\infty; $$ -
(b)
the sequence \(\{e_{k}\}_{k\in\mathbb{N}}\) of eigenfunctions corresponding to \(\lambda_{k}\) is an orthonormal basis of \(L^{2}(\Omega)\) and an orthogonal basis of \(H_{0}^{s}(\Omega)\), and each eigenvalue \(\lambda_{k}\) has finite multiplicity;
-
(c)
the first eigenvalue \(\lambda_{1}\) is associated with the only positive eigenfunctions \(e_{1}\). The higher eigenvalues \(\{\lambda_{k}\}\) (\(k\geq2\)) are associated with sign-changing eigenfunctions \(\{e_{k}\}\) (\(k\geq2\)).
For the reader’s convenience, we review the main embedding result for fractional Sobolev spaces.
Proposition 2.3
Let \(s\in(0, 1)\) and \(\Omega\subseteq\mathbb{R}^{n}\) be an open set of class \(C^{0,1}\) with bounded boundary. Then the following assertions hold true:
-
(a)
(see [8]) \(H^{s}(\Omega)\) is continuously embedded in \(H^{s}(\mathbb{R}^{n})\), namely for any \(u\in H^{s}(\Omega)\) there exists \(\tilde{u}\in H^{s}(\mathbb{R}^{n})\) such that \(\tilde{u}|_{\Omega}=u\) and
$$\|\tilde{u}\|_{H^{s}(\mathbb{R}^{n})} \leq C_{1} \|u\|_{H^{s}(\Omega)}, $$where \(C_{1} = C(n,s,\Omega)\).
-
(b)
(see [10]) The embedding \(H_{0}^{s}(\Omega )\hookrightarrow L^{r}(\Omega)\) is continuous for any \(r\in[2,2^{*}_{s}]\), and compact for any \(r\in[2,2^{*}_{s})\).
For the proof of Theorem 1.1 and Theorem 1.2, we observe that problem (1.1) has a variational structure, indeed it is the Euler-Lagrange equation of the functional \(I : H_{0}^{s}(\Omega)\to \mathbb{R}\) defined as follows:
Note that the functional I is Fréchet differentiable in \(u\in H_{0}^{s}(\Omega)\) and for any \(\phi\in H_{0}^{s}(\Omega)\)
Thus, critical points of I are weak solutions to problem (1.1). In order to find these critical points, we will make use of the minimax method. For this purpose, we have to check that the functional I satisfies the (PS) condition.
Definition 2.4
see [15]
Let \(c\in\mathbb {R}\) and \(\{u_{j}\}\) be a sequence in \(H_{0}^{s}(\Omega)\) such that
as \(j\to+\infty\), then \(\{u_{j}\}\) is a \((\mathit{PS})_{c}\) sequence. Moreover, if there exists \(u_{0}\in H_{0}^{s}(\Omega)\) such that, up to a subsequence, \(\|u_{j}-u_{0}\| _{H_{0}^{s}(\Omega)}\to0\) as \(j\to+\infty\), we said that I satisfies the (PS) condition.
Lemma 2.5
Let f be a function satisfying conditions (\(f_{1}\))-(\(f_{4}\)). Let \(\{u_{j}\}\) be a \((\mathit{PS})_{c}\) sequence in \(H_{0}^{s}(\Omega)\) such that \(\{ u_{j}\}\) is bounded in \(H_{0}^{s}(\Omega)\). Then I satisfies the (PS) condition.
Proof
Since \(\{u_{j}\}\) is bounded in \(H_{0}^{s}(\Omega)\) and \(H_{0}^{s}(\Omega)\) is a reflexive space (being a Hilbert space), up to a subsequence, still denoted by \(\{u_{j}\}\), there exists \(u_{0}\in H_{0}^{s}(\Omega)\) such that \(u_{j}\rightharpoonup u_{0}\) weakly in \(H_{0}^{s}(\Omega)\), that is,
as \(j\to+\infty\). Moreover, by Proposition 2.3(b), up to a subsequence
as \(j\to+\infty\) and there exists \(h\in L^{r}(\Omega)\) such that
By (\(f_{2}\)), (2.4)-(2.6), the fact that the map \(t\mapsto f(\cdot, t)\) is continuous in \(t\in\mathbb{R}\) and the dominated convergence theorem we get
and
as \(j\to+\infty\). By \(I'(u_{j})\to0\), we have
Moreover, by (2.5)-(2.8), we have
and
Consequently, recalling also (2.4), we deduce that
Finally we have
as \(j\to+\infty\), thanks to (2.4) and (2.9). Then the assertion of Lemma 2.5 is proved. □
We define the operator \(A: H_{0}^{s}(\Omega)\to H_{0}^{s}(\Omega)\) by
where \(h(u)(x):=\lambda u(x)+f(x,u(x))\), \(\forall u\in H_{0}^{s}(\Omega)\), is the corresponding Nemytskii operator. \((-\Delta)^{-s}\) is equal to the inverse of the operator \((-\Delta )^{s}\) (see [7, 10, 16]). \(A(u)\) is uniquely determined by the relation
Lemma 2.6
The operator \(A: H_{0}^{s}(\Omega)\to H_{0}^{s}(\Omega)\) is compact and \(I'(u)=u-A(u)\), \(\forall u\in H_{0}^{s}(\Omega)\).
Proof
The proof is similarly to Lemma 5.1 in [7]. Indeed, together with (\(f_{2}\)) and the compact embedding \(H_{0}^{s}(\Omega )\hookrightarrow L^{r}(\Omega)\) for \(r\in[2,2^{*}_{s})\), it is easy to see that A is compact. Note that
which implies that \(I'(u)=u-A(u)\). □
In order to apply the method of invariant set of descending flow (see [6]), we need the following concepts and conclusions given by Liu and Sun [6].
Let X be a Banach space, f a functional defined on X. Let \(K=\{u: u\in X,f'(u)=0\}\) and \(X_{0}=X\setminus K\).
Definition 2.7
see [6]
A Lipschitz continuous map \(W: X_{0}\rightarrow X\) is called a pseudogradient vector field for f if it satisfies:
-
(i)
\(\langle f'(u),W(u)\rangle\geq\frac{1}{2}\|f'(u)\|^{2}\), for all \(u\in X_{0}\);
-
(ii)
\(\|W(u)\|\leq2\|f'(u)\|\), for all \(u\in X_{0}\).
Let W be a pseudogradient vector field for f and \(u_{0}\in X_{0}\), consider the following initial value problems in \(X_{0}\):
By the theory of ordinary differential equations in Banach spaces, problem (2.10) has a unique solution, denoted by \(\varphi (t, u_{0})\) with maximal interval of existence \([0,\tau(u_{0}))\). By Definition 2.7(i),
which implies that \(I(\varphi(t,u_{0}))\) is strictly decreasing in \([0,\tau(u))\) and therefore \(\varphi(t, u_{0})\) (\(0\leq t<\tau(u)\)) is called a descending flow curve associated with W.
Definition 2.8
see [6]
A nonempty subset M of X is called an invariant set of descending flow for f determined by W if
for all \(u_{0}\in M\setminus K\).
By the definition, it is easy to see that X is an invariant set of descending flow. Let \(M_{1}\) and \(M_{2}\) be the invariant set of descending flow, both \(M_{1}\cap M_{2}\) and \(M_{1}\cup M_{2}\) are invariant sets of descending flow.
Theorem 2.9
see [6]
Assume that M is a closed invariant set of descending flow and f satisfies the (PS) condition on M. If \(\inf_{u\in M}f(u)>-\infty\), then \(\inf_{u\in M}f(u)\) is a critical value of f and f has critical point in M corresponding to this value.
Let M and D be invariant sets of descending flow for f, \(D\subset M\). Denote
If \(D=C_{M}(D)\), then D is called a complete invariant set of descending flow relative to M. Clearly, \(C_{M}(D)\supset D\) and \(C_{M}(D)\) is the maximal subset of M which is retracted by D and \(C_{M}(D)\) is the minimal one of all complete invariant sets of descending flow containing D and contained in M.
Theorem 2.10
see [6]
Assume that M is connected, M is an invariant set of descending flow, D is an open subsets of M, and D is also an invariant set of descending flow. Then
-
(i)
\(C_{M}(D)\) is an open subset of X;
-
(ii)
if \(C_{M}(D)\neq M\) and \(\inf_{u\in\partial_{M} D}f(u)>-\infty\), then \(\inf_{u\in\partial_{M} C_{M}(D)}f(u)\geq \inf_{u\in\partial_{M} D}f(u)\).
Theorem 2.11
see [6]
H denotes a Hilbert space and f a \(C^{1}\) function defined on H. Assume that \(f\in C^{1}(H,\mathbb{R})\) and \(f'(u)=u-A(u)\) for \(u\in H\), \(D_{1}\) and \(D_{2}\) are open convex subset of H with the properties that \(D_{1}\cap D_{2}\neq\varnothing\), \(A(\partial D_{1})\subset D_{1}\) and \(A(\partial D_{2})\subset D_{2}\). Then there is a pseudogradient vector field W for f which enables \(D_{1}\) and \(D_{2}\) to be invariant sets of descending flow, \(C_{H}(D_{1})\supset\partial D_{1}\), and \(C_{H}(D_{2})\supset \partial D_{2}\).
Theorem 2.12
see [6]
Assume that M is connected and is an invariant set of descending flow, D is an open subset of M and is a complete invariant set of descending flow relative to M. If \(D\neq M\), then \(\partial_{M}D\), the boundary of D relative to M, is nonempty and is a complete invariant set relative to M.
3 Proof of Theorem 1.1
The case \(\lambda\leq0\): mountain pass sign-changing solution for problem (1.1). We consider the convex cones
For \(\epsilon>0\), we denote
Clearly, for any \(\epsilon>0\), \(D^{+}_{\epsilon}\) and \(D^{-}_{\epsilon}\) are open convex subsets of \(H_{0}^{s}(\Omega)\) and \(O_{\epsilon}:= D^{+}_{\epsilon}\cap D^{-}_{\epsilon}\neq\varnothing\). Denote \(D_{\epsilon}=\bar{D}^{+}_{\epsilon}\cup\bar{D}^{-}_{\epsilon }\). Then \(D_{\epsilon}\) is a closed and symmetric set in \(H_{0}^{s}(\Omega )\). Moreover, \(H_{0}^{s}(\Omega)\setminus D_{\epsilon}\) contains only sign-changing functions. In the following, K denotes critical point set of I,
Lemma 3.1
Assume that (\(f_{1}\))-(\(f_{4}\)) and \(\lambda\leq0\) hold. Then there exists \(\epsilon_{0}>0\) such that
Moreover, if \(u\in D^{+}_{\epsilon}\) (or \(D^{-}_{\epsilon}\)) is a solution of problem (1.1), then \(u\in P\) (or −P).
Proof
We just prove the case \(A(\partial D^{-}_{\epsilon})\subset D^{-}_{\epsilon}\). The other case can be obtained similarly. We write \(u\in H_{0}^{s}(\Omega)\) as \(u=u^{+}+u^{-}\), where \(u^{+}=\text{max}\{u,0\}\), \(u^{-}=\text{min}\{u,0\}\). For \(u\in\partial D^{+}_{\epsilon}\), denote \(v=A(u)\). Then
By Proposition 2.3(b), for any \(r\in[2,2^{*}_{s})\), it follows that there exists \(C_{r}>0\) such that
By (\(f_{1}\))-(\(f_{4}\)), for any \(\epsilon_{1}>0\), there exists \(C_{\epsilon _{1}}>0\) such that
Using Proposition 2.3, (3.2)-(3.4) and \(\lambda \leq0\) it follows that
where \(C_{i}>0\), \(i=1,2,3,p\) denote the embedding constant.
By (3.5), letting \(\epsilon_{1}=\frac{1}{4C_{1}C_{2}}\), we have
where \(M=C_{3}C_{\epsilon_{1}}C_{p}^{p-1}\). Take \(\epsilon_{0}\in (0,(4M)^{-\frac{1}{p-2}})\). If \(\operatorname{dist}(u,-P)\leq\epsilon\leq\epsilon _{0}\), then
which implies that \(v=A(u)\in D^{-}_{\epsilon}\), i.e., \(A(\partial D^{-}_{\epsilon})\subset D^{-}_{\epsilon}\).
Now if \(u\in D^{-}_{\epsilon}\), \(0<\epsilon\leq\epsilon_{0}\), is a nontrivial solution of problem (1.1), then \(u=A(u)\) and hence by (3.6) if follows that dist\((u,-P)=0\), i.e., \(u\in -P\). In a similar way we see that \(u\in D^{+}_{\epsilon}\cap(K\setminus \{0\})\) implies \(u\in P\). □
Using both Theorem 2.11 and Lemma 3.1, we have the following corollary.
Lemma 3.2
For any \(\epsilon\in(0,\epsilon_{0}]\) and \(u\in D^{\pm }_{\epsilon}\setminus K\), there is a pseudogradient vector field W for I which enables \(D^{+}_{\epsilon}\) and \(D^{-}_{\epsilon}\) to be invariant sets of descending flow. Then \(O_{\epsilon}\) and \(D_{\epsilon}\) are also invariant sets of descending flow. Here \(\epsilon_{0}\) is taken from Lemma 3.1.
In order to apply Theorem 2.9, we have to check the validity of the Palais-Smale condition. Thanks to Lemma 2.5, we only need to verify Lemma 3.3.
Lemma 3.3
Assume that (\(f_{1}\))-(\(f_{4}\)) and \(\lambda\leq0\) hold. Let \(c\in \mathbb{R}\) and let \(\{u_{j}\}\) be \((\mathit{PS})_{c}\) sequence in \(H_{0}^{s}(\Omega )\). Then \(\{u_{j}\}\) is bounded in \(H_{0}^{s}(\Omega)\).
Proof
For any \(j\in\mathbb{N}\) by (2.3) it easily follows that there exists \(\kappa> 0\) such that
By (\(f_{2}\)) and (\(f_{4}\)), we obtain
Let \(\varepsilon= 1\), we have
Also, by \(\lambda\leq0\) and (\(f_{3}\)) and (3.9) we get
As a consequence of (3.7) and (3.10) we obtain
Hence, \(\{u_{j}\}\) is bounded in \(H_{0}^{s}(\Omega)\). □
Lemma 3.4
Assume that (\(f_{1}\))-(\(f_{4}\)) and \(\lambda\leq 0\) hold. For any \(c\in\mathbb{R}\), there exists constant \(\rho _{1}=\rho_{1}(c)>0\) such that
for every \(u\in I^{c}:=\{u\in H^{s}_{0}(\Omega): I(u)\leq c\}\).
Proof
For \(u\in H^{s}_{0}(\Omega)\), by (\(f_{3}\)) and \(\lambda \leq0\) it follows that
If \(u\in I^{c}\), then there exists \(M_{1}>0\) such that
Moreover, for any \(\varepsilon> 0\) the Young inequality gives
Letting \(\varepsilon<\text{min}\{\sqrt{\frac{1}{2}},\sqrt{\frac {2}{M_{1}}}\}\), then
We get some \(M_{2}>0\) such that
which implies that
Then Lemma 3.4 follows by taking \(\rho_{1}=2M_{2}+1\). □
Lemma 3.5
Regularity of solutions
Under the assumptions of Theorem 1.1 or Theorem 1.2, if \(u\in H^{s}_{0}(\Omega)\) is a weak solution of (1.1), then \(u\in C^{\sigma}(\bar{\Omega })\cap C_{0}(\bar{\Omega})\) for some \(\sigma\in(0,1)\). Moreover, if f is a \(C^{1,\sigma}\) function, then \(u\in C^{1,\sigma} (\bar{\Omega})\cap C_{0}(\bar{\Omega})\).
Proof
The proof is similar to Theorem 3.1 in [7] (see also [16]), we omit it. □
Proof of Theorem 1.1 (i)
In what follows, we use Theorem 2.9 to prove our problems.
(Trivial solution) By (3.8) and \(\lambda\leq0\) it follows that
when ε is small enough.
By (3.3), we can see that, if \(u\in\bar{D}^{+}_{\epsilon }\cap\bar{D}^{-}_{\epsilon}\) with \(\epsilon\in [0,\epsilon_{0}]\), where \(\epsilon_{0}\) is taken from Lemma 3.2, then there exists \(C_{p}>0\) such that
Therefore, there exists \(\alpha_{\epsilon}>-\infty\) such that \(\inf_{u\in\bar{D}^{+}_{\epsilon}\cap\bar{D}^{-}_{\epsilon }}I(u)=\alpha_{\epsilon}\). By Lemma 3.2, \(\bar{D}^{+}_{\epsilon}\cap\bar{D}^{-}_{\epsilon}\) is a closed invariant set of descending flow. According to Theorem 2.9, I has a critical point \(u_{0}\in\bar {D}^{+}_{\epsilon}\cap\bar{D}^{-}_{\epsilon}\) with critical value \(\inf_{u\in\bar{D}^{+}_{\epsilon}\cap\bar{D}^{-}_{\epsilon}}I(u)\). It is easy to see that \(D^{+}_{\epsilon}\) and \(D^{-}_{\epsilon}\) are connected open invariant sets of descending flow for I, so \(\partial D^{+}_{\epsilon}\cap K=\varnothing\) and \(D^{-}_{\epsilon}\cap K=\varnothing\). Then we have \(u_{0}\in D^{+}_{\epsilon}\cap D^{-}_{\epsilon}\). By Lemma 3.1, we get \(u_{0}\in P\cap(-P)\equiv0\).
(Positive and negative solutions) By (\(f_{3}\)), there exist \(c_{1}>0\) and \(c_{2}>0\) such that
then, by \(H_{0}^{s}(\Omega)\hookrightarrow L^{2}(\Omega)\),
where \(\tilde{c}>0\) is embedding constant.
Let \(\{e_{k}\}\) be the eigenfunctions of −Δ introduced in Proposition 2.2. Take \(h_{R}(t)=Re_{1}\operatorname{cos}(\pi t)+Re_{2}\operatorname{sin}(\pi t)\) for \(t\in[0,1]\), for some \(R\in\mathbb{R}^{+}\). Then
Since \(\mu>2\), there exists \(R_{\epsilon}>0\) large enough such that \(I(h_{R_{\epsilon}}(t))<\bar{\alpha}:=\inf_{\epsilon\in [0,\epsilon_{0}]}\alpha_{\epsilon}\), and then
By Proposition 2.2 (\(e_{1}\) is positive), we have
Note that \(\bar{D}^{+}_{\epsilon}\cap D^{-}_{\epsilon}\) is an open subsets of \(\bar{D}^{+}_{\epsilon}\) and an invariant set of descending flow. It is easy to see that \(h_{R_{\epsilon}}(0)\in\bar{D}^{+}_{\epsilon}\setminus C_{\bar {D}^{+}_{\epsilon}}(\bar{D}^{+}_{\epsilon}\cap D^{-}_{\epsilon})\). Therefore, \(C_{\bar{D}^{+}_{\epsilon}}(\bar{D}^{+}_{\epsilon}\cap D^{-}_{\epsilon})\neq\bar{D}^{+}_{\epsilon}\), then, by Theorem 2.12, \(\partial_{\bar{D}^{+}_{\epsilon}}C_{\bar{D}^{+}_{\epsilon}}(\bar {D}^{+}_{\epsilon}\cap D^{-}_{\epsilon})\) is nonempty and is a complete set relative to \(\bar{D}^{+}_{\epsilon}\). By Theorem 2.10, \(C_{\bar{D}^{+}_{\epsilon}}(\bar{D}^{+}_{\epsilon}\cap D^{-}_{\epsilon})\) is an open subset of \(\bar{D}^{+}_{\epsilon}\) and
According to Theorem 2.9, I has a critical point \(u_{+}\) in \(\partial _{\bar{D}^{+}_{\epsilon}}C_{\bar{D}^{+}_{\epsilon}}(\bar {D}^{+}_{\epsilon}\cap D^{-}_{\epsilon})\). The facts that \(\partial_{\bar{D}^{+}_{\epsilon}}C_{\bar{D}^{+}_{\epsilon}}(\bar {D}^{+}_{\epsilon}\cap D^{-}_{\epsilon})\subset\bar{D}^{+}_{\epsilon}\) and \(\partial D^{+}_{\epsilon}\cap K=\varnothing\) imply \(u_{+}\in D^{+}_{\epsilon}\), while \(\partial_{\bar{D}^{+}_{\epsilon}}C_{\bar{D}^{+}_{\epsilon}}(\bar {D}^{+}_{\epsilon}\cap D^{-}_{\epsilon})\cap \bar{D}^{+}_{\epsilon}\cap D^{-}_{\epsilon}=\varnothing\) and \(\partial D^{-}_{\epsilon}\cap K=\varnothing\) imply \(u_{+}\notin\bar{D}^{-}_{\epsilon}\). Hence \(u_{+}\in D^{+}_{\epsilon}\setminus\bar{D}^{-}_{\epsilon}\). Similarly, I has a critical point \(u_{-}\in D^{-}_{\epsilon}\setminus \bar{D}^{+}_{\epsilon}\).
By Lemma 3.5, \(u_{+}\in C^{\sigma}(\bar{\Omega})\), \(u_{-}\in C^{\sigma }(\bar{\Omega})\). By Lemma 3.1 in follows that \(u_{+}\geq0\) and \(u_{-}\leq0\). Applying the strong maximum principle (see [17]), we get \(u_{+}>0\) and \(u_{-}<0\) in Ω. □
To estimate the number of nodal domains, we need the following results.
Proposition 3.6
Assume that \(\Omega\subset\mathbb{R}^{n}\) (\(n\geq2\)) is a bounded open set and \(u\in C(\bar{\Omega})\cap H^{s}_{0}(\Omega)\). Choose a subdomain \(\Omega_{1}\) of Ω such that \(u(x)=0\) for \(x\in\partial\Omega_{1}\cap\Omega \). Then the restriction \(u_{\Omega_{1}}\) of u to \(\Omega_{1}\) belongs to \(H_{0}^{s}(\Omega_{1})\). Furthermore, defining
we have \(z\in H^{s}_{0}(\Omega)\).
In what follows, we come to prove the second part of Theorem 1.1.
Proof of Theorem 1.1 (ii)
We introduce a set \(\mathcal{N}\) associated to I as follows:
Obviously the set \(\mathcal{N}\) contains all sign-changing solutions of (1.1). Now set
For \(u\in\mathcal{N}\), we have from \(\lambda\leq0\)
Then, by (\(f_{3}\)), we have
This proves \(\zeta>-\infty\).
Write \(u_{n}=u_{n}^{+}+u_{n}^{-}\), where \(u_{n}^{+}=\max\{u_{n},0\}\) and \(u_{n}^{-}=\{u_{n},0\}\). We claim that
For this purpose we set \(h^{\pm}(t):= I(tu_{n}^{\pm})\) for \(t\geq0\). Then \(h^{\pm}(0)= 0\), and
Hence (\(f_{5}\)) implies that \(t\mapsto\frac{(h^{\pm})'(t)}{t}\) is nonincreasing on \((0,\infty)\), and thus the set \(\Theta:= \{t > 0: (h^{\pm})'(t)= 0\}\) is a closed subinterval of \((0,\infty)\) which contains \(t = 1\) by definition of \(\mathcal{N}\). Moreover, \(h^{\pm}\) is increasing on \((0,\min\Theta)\) and decreasing on \((\max\Theta,\infty)\), hence
This proves (3.12). Setting
(3.12) implies that
Note that, fixing a n, \(u_{n}^{+}\) and \(u_{n}^{-}\) are linearly independent and \(\Pi_{n}\) is a two-dimensional subspace of \(H^{s}_{0}(\Omega)\). Since all norms in a finite dimensional space are equivalent, we have
for all \(u\in\Pi_{n}\). Let
Then by (3.13) and \(\mu>2\), there exists \(R_{n}>0\) such that
Now we define the path
connecting \(h_{n}(0)\in(\Pi_{n}\setminus B_{R_{n}}(0))\cap C_{X}(D^{-}_{\epsilon})\) and \(h_{n}(1)\in(\Pi_{n}\setminus B_{R_{n}}(0))\cap C_{X}(D^{+}_{\epsilon})\) for all \(\epsilon\in(0,\epsilon_{0}]\). Let \(Q:=[0,1]\times[0,1]\), define the homotopy map \(H_{n}: Q\to H^{s}_{0}(\Omega)\) by
Note that \(O_{\epsilon}\) is an open set in \(H^{s}_{0}(\Omega)\), Theorem 2.10(i) implies that \(C_{X}(O_{\epsilon})\) is an open set in \(H^{s}_{0}(\Omega)\), then \(\mathcal{O}_{n}:=H^{-1}_{n}(C_{X}(O_{\epsilon}))\) and \(\mathcal{O}^{\pm}_{n}:=H^{-1}_{n}(C_{X}(D^{\pm}_{\epsilon}))\) are open subsets of Q. By \(H_{n}(t,0)=0\in C_{X}(O_{\epsilon})\) for all \(t\in[0,1]\) it follows that \(\{(t,0):t\in[0,1]\}\subset\mathcal{O}_{n}\). In addition, by (\(f_{3}\)), we have
where \(\gamma_{n}(t):=t\frac{u_{n}^{+}}{\|u_{n}^{+}\|_{H^{s}_{0}(\Omega )}}+(1-t)\frac{u_{n}^{-}}{\|u_{n}^{-}\|_{H^{s}_{0}(\Omega)}}\), it is easily to see that there exists \(R_{0}>0\) such that \(I(H_{n}(t,1))\leq-1\) for all \(t\in[0,1]\) when \(R_{n}\geq R_{0}\). Recall that \(O_{\epsilon}\) is an invariant set of descending flow for I and \(C_{X}(O_{\epsilon})\supset O_{\epsilon}\), we have
Hence,
By Lemma 3.1 in [6], there exists a connected component \(P_{n}\) of \(\partial_{Q}\mathcal{O}_{n}\) intersecting the sets \(\{(0,s):s\in [0,1]\}\subset\mathcal{O}_{n}^{-}\) and \(\{(1,s):s\in[0,1]\}\subset \mathcal{O}_{n}^{+}\).
Furthermore, since
it follows that
By
we may take \((t_{n},s_{n})\in P_{n}\setminus(\mathcal{O}_{n}^{+}\cup\mathcal {O}_{n}^{-})\). Clearly,
Note that \(\partial C_{X}(O_{\epsilon})\) and \(C_{X}(D_{\epsilon}^{\pm})\) are all invariant sets of \(\varphi(t,v^{*}_{n})\), we get
By (3.3), it follows that \(\|u^{\pm}\|_{L^{r}(\Omega)}\leq C_{r}\epsilon_{0}\) for every \(u\in\bar{D}^{+}_{\epsilon}\cap\bar {D}^{-}_{\epsilon}\), where \(2\leq r<2^{*}_{s}\). Together with (\(f_{5}\)), Lemma 3.2 and the above arguments, we have
For \(0< t_{1}< t_{2}<\tau(v^{*}_{n})\), we obtain
Now two cases may occur. If \(\tau(v^{*}_{n})<\infty\), then the previous inequality implies that
for some \(u_{n}^{*}\in H^{s}_{0}(\Omega)\).
If \(\tau(v_{n}^{*})=+\infty\), by (3.15) (\(I(\varphi (t,v^{*}_{n}))\) (\(0\leq t<\tau(v_{n}^{*})\)) is bounded), there is an increasing sequence \(\{t_{n}\}\) with \(t_{n}\to+\infty\) as \(n\in+\infty\) such that
which together with Lemma 3.4 implies that
then \(\varphi(t_{n},v^{*}_{n})\) is bounded. Since A is compact, \(A(\varphi (t_{n},v^{*}_{n}))\) is convergent, which implies that \(\varphi(t_{n},v^{*}_{n})\) is convergent thanks to (3.17). So we find \(u^{*}_{n}\in H^{s}_{0}(\Omega)\) such that (3.16) holds. In view of (3.14) we see that \(u_{n}^{*}\in\mathcal{M}_{\epsilon }\subset\mathcal{N}\) is a sign-changing critical point of I. By (3.12), we have
Thus, \(\{u_{n}^{*}\}\) is a (PS) sequence in \(\mathcal{N}\). Together with Lemma 2.5 and Lemma 3.3, I satisfies the (PS) condition, so we can find a critical point ū of I such that \(\bar{u}\in\mathcal {M}_{\epsilon}\), and ū is a least energy sign-changing solution of (1.1).
Now we assume by contradiction that ū has three nodal domains \(\Omega_{1}\), \(\Omega_{2}\), \(\Omega_{3}\) such that \(\bar{u}>0\) in \(\Omega_{1}\), \(\bar{u}<0\) in \(\Omega_{2}\), \(\bar{u}>0\) in \(\Omega_{3}\). By Proposition 3.6, we have \(\bar{u}_{\chi\Omega_{1}\cup\Omega_{2}}\in\mathcal{N}\) and \(I(\bar {u}_{\chi\Omega_{1}\cup\Omega_{2}})\geq\zeta\). \(\Omega_{3}\) is a nodal domain of ū, hence
which implies that
However, we have
This is a contradiction. □
4 Proof of Theorem 1.2
The case \(\lambda\geq\lambda_{1}^{s}\): Linking type sign-changing solution for problem (1.1). Since \(\lambda\geq\lambda^{s}_{1}\), we can suppose that
where \(\lambda^{s}_{k}\) is the kth eigenvalue of the operator \((-\Delta )^{s}\), as defined in Section 2.
Let \(N_{k}\) denote the eigenspace of \(\lambda^{s}_{k}\). By Proposition 2.2, \(\operatorname{dim}N_{k} < \infty\). We fix k and let
then \(H_{0}^{s}(\Omega)=Y_{k}\oplus Z_{k+1}\).
Now we define a class of contractions of the Hilbert space X as follows.
Definition 4.1
Contractions; see [19]
Let X be a Hilbert space, if the map \(\gamma(\cdot,\cdot)\in C([0,1]\times X,X)\) satisfies:
-
(i)
\(\gamma(0,\cdot)=\mathit{id}\);
-
(ii)
\(\forall t\in[0,1)\), \(\gamma(t,\cdot)\) is a homeomorphism of X onto itself;
-
(iii)
\(\gamma^{-1}(\cdot,\cdot)\) is continuous on \([0,1)\times X\);
-
(iv)
there exists a \(x_{0}\in X\) such that \(\gamma(1,x)=x_{0}\), \(\forall x\in X\) and that \(\gamma(t,x)\to x_{0}\) as \(t\to1\) uniformly on bounded subsets of X,
then the set \(\Gamma:= \{\gamma(\cdot,\cdot)\}\) is a class of contractions of the Hilbert space X.
Obviously, \(\gamma(t, u) = (1-t)u\in\Gamma\).
The following concept of linking was introduced by Schechter and Tintarev [20].
Definition 4.2
Links; see [20]
Let X be a Hilbert space, a subset E of X links a closed subset F of X if \(E \cap F= \varnothing\) and, for every \(\gamma\in\Gamma\), there is a \(t\in[0, 1]\) such that \(\gamma (t, E)\cap F \neq\varnothing\).
In this section, our main tool is the following theorem.
Theorem 4.3
see Theorem B in [21]
Let X be a Hilbert space, assume that a compact subset E of X links a closed subset F which includes only sign-changing elements of X, \(I' = \mathit{Id} -A\), where \(A : X \to X\) is a compact operator, and I satisfies \((C)_{c}\) condition. If
then there is a sign-changing critical point of I with critical value in \([b_{0}-\varepsilon, \sup_{(t,u)\in[0,1]\times E}I((1-t)u)+\varepsilon]\) for all ε small.
Lemma 4.4
Assume that (\(f_{1}\))-(\(f_{4}\)) and \(\lambda_{k}^{s}\leq\lambda<\lambda _{k+1}^{s}\) hold. Then I satisfies the \((\mathit{PS})_{c}\) condition.
Proof
Let \(c\in\mathbb{R}\) and let \(\{u_{j}\}\) be a sequence in \(H_{0}^{s}(\Omega)\) such that
as \(j\to+\infty\). For any \(j\in\mathbb{N}\) by (4.1) it easily follows that there exists \(\kappa> 0\) such that
Let us fix \(\sigma\in(2, \mu)\), where \(\mu> 2\) is given in assumption (\(f_{3}\)). By (\(f_{3}\)), there exist \(r>0\) and \(C>0\) such that
By (\(f_{2}\)) and (\(f_{4}\)), we obtain
Let \(\varepsilon= 1\), we have
so that, using also (4.3) and (4.4),
Moreover, for any \(\varepsilon> 0\) the Young inequality (with conjugate exponents \(\frac{\mu}{2} > 1\) and \(\frac{\mu}{\mu-2}\)) gives
Hence, by (4.5) and (4.6) we deduce that
where \(C_{\varepsilon}=\lambda(\frac{1}{2}-\frac{1}{\sigma})\frac {\mu-2}{\mu}\varepsilon^{-\frac{2}{\mu-2}}|\Omega| +\bar{\kappa}\) is a constant such that \(C_{\varepsilon}\to+\infty\) as \(\varepsilon\to0\), where \(\mu>\sigma>2\).
Now, choosing ε so small that
by (4.7) we get
As a consequence of (4.1), (4.2) and (4.8) we obtain
Hence, \(\{u_{j}\}\) is bounded in \(H_{0}^{s}(\Omega)\). By Lemma 2.5, then there exists \(u_{0}\in H_{0}^{s}(\Omega)\) such that, up to a subsequence, \(\| u_{j}-u_{0}\|_{H_{0}^{s}(\Omega)}\to0\) as \(j\to+\infty\). So the assertion of Lemma 4.4 is proved. □
Lemma 4.5
Assume that (\(f_{1}\))-(\(f_{4}\)) and \(\lambda_{k}^{s}\leq\lambda<\lambda _{k+1}^{s}\) hold. Then \(I(u)\leq0\), \(\forall u\in Y_{k}\).
Proof
Let \(u\in \operatorname{span}\{e_{1}, \ldots, e_{k}\}\), then \(u(x)=\sum_{i=1}^{k}a_{i}e_{i}(x)\), with some \(a_{i}\in\mathbb {R}\), \(i=1,\ldots,k\). Since \(\{e_{1}, \ldots, e_{k}, \ldots\}\) is an orthonormal basis of \(L^{2}(\Omega)\) and an orthogonal one of \(H_{0}^{s}(\Omega)\) by Proposition 2.2(b), we get
and
Moreover, we obtain from (\(f_{3}\))
By Definition 2.1 and \(e_{i}\) being the eigenfunctions of \((-\Delta)\), we have
thanks to the fact that \(\lambda^{s}_{i}\leq\lambda^{s}_{k}\leq\lambda\) for any \(i = 1,\ldots, k\). □
Lemma 4.6
Assume that (\(f_{1}\))-(\(f_{4}\)) and \(\lambda_{k}^{s}\leq\lambda <\lambda^{s}_{k+1}\) hold. Then there exist \(\rho> 0\), \(\beta> 0\) such that
Proof
By \(u\in Z_{k+1}\), we have \(u(x)=\sum _{i=k+1}^{+\infty}a_{i}e_{i}(x)\), with some \(a_{i}\in\mathbb{R}\), \(i=k+1, k+2,\ldots \) . By \(\lambda^{s}_{k+1}\leq\lambda^{s}_{k+2}\leq \cdots\), we have
Hence, by \(\lambda^{s}_{k}\leq\lambda<\lambda^{s}_{k+1}\), we obtain
By (\(f_{2}\)), (\(f_{4}\)), for any \(\varepsilon>0\), there exists a \(C_{\varepsilon}\) such that
and then
thanks to the fact that \(L^{2^{*}_{s}}(\Omega)\hookrightarrow L^{2}(\Omega )\) and \(L^{2^{*}_{s}}(\Omega)\hookrightarrow L^{p}(\Omega)\) continuously (Ω being bounded and max\(\{2, p\} = p <2^{*}_{s}\)). By Proposition 2.3, there exists a C such that
and then
Choosing \(\varepsilon> 0\) such that \(\frac{1}{2}(1-\frac{\lambda }{\lambda_{k+1}})-\varepsilon|\Omega|^{(2^{*}_{s}-2)/2^{*}_{s}}C>0\), by (4.14), we can choose \(\rho> 0\) sufficiently small and \(\beta> 0\) such that \(I(u)\geq\beta\) for \(\|u\|_{H_{0}^{s}(\Omega)}=\rho\), \(u\in Z_{k+1}\). □
Lemma 4.7
Fix a \(z\in Z_{k+1}\) be such that \(\|z\|=\rho\), the space \(Y_{k}\oplus\mathbb{R}z\) is a finite dimensional subspace of \(H_{0}^{s}(\Omega)\), then there exists \(R > \rho\) such that \(I(u)\leq0\) for any \(u\in Y_{k}\oplus\mathbb{R}z\) with \(\|u\|_{H_{0}^{s}(\Omega)} \geq R\), where ρ is given in Lemma 4.6.
Proof
By (\(f_{3}\)), there exist \(C>0\) and \(C_{1}>0\) such that
Let \(u\in Y_{k}\oplus\mathbb{R}z\). Then the non-negativity of λ and (4.15) give
for some positive constant \(C_{2}\), thanks to the fact that in any finite dimensional space all the norms are equivalent.
Hence, if \(\|u\|_{H_{0}^{s}(\Omega)}\to+\infty\), then \(I(u)\to-\infty \), since \(\mu> 2\) by assumption, and so the assertion of Lemma 4.7 follows. □
Proof of Theorem 1.2
By Lemma 4.7, \(z\in Z_{k+1}\setminus\{0\}\), \(\|z\|_{H_{0}^{s}(\Omega )}=\rho\) and \(0 <\rho<R\), define the sets E and F as follows:
then E and F link each other (see [22, 23]) in the sense of Definition 4.2. It is easy to see that \(E \subset H_{0}^{s}(\Omega)\) is a compact set, thanks to the fact that \(Y_{k}\oplus\mathbb{R}z\) is a finite dimensional space. By Proposition 2.2(c), the closed set F includes only sign-changing elements of \(H_{0}^{s}(\Omega)\).
Combining with Lemma 4.5-4.7, we have
then there is a sign-changing critical point of I by using Theorem 4.3. □
5 Conclusions
Sign-changing solutions of nonlinear elliptic equations have attracted much attention in recent years. One reason is that sign-changing solutions arise naturally from mathematical models in biology and physics. Another reason is that there are richer structures of sign-changing solutions than that of negative and positive solutions for generic nonlinear and linear elliptic equations.
In this paper, we study the sign-changing solution for the nonlinear equation involving the fractional Laplacian. This type of operators arises in several areas such as anomalous diffusion, the thin obstacle problem, optimization, finance, phase transitions, stratified materials, crystal dislocation, soft thin films, semipermeable membranes, flame propagation, conservation laws, quasi-geostrophic flows, multiple scattering and materials science. Our problem (1.1) has different variational structures when λ takes different values. When \(\lambda\leq0\), a positive, a negative and a sign-changing solution have been found by constructing different invariant sets on which the functional is bounded below. When \(\lambda >\lambda_{1}^{s}\), by using a variation of the linking theorem, we also obtain a sign-changing solution. Our results are new, and the work established in this article is of quite a general nature and covers a variety of special cases associated with particular values of the parameters involved in the problem.
References
Bertoin, J: Lévy Processes. Cambridge Tracts in Mathematics, vol. 121. Cambridge University Press, Cambridge (1996)
Chang, SYA, González, M: Fractional Laplacian in conformal geometry. Adv. Math. 226, 1410-1432 (2011)
Caffarelli, L, Roquejoffre, JM, Sire, Y: Variational problems for free boundaries for the fractional Laplacian. J. Eur. Math. Soc. 12, 1151-1179 (2010)
Caffarelli, L, Salsa, S, Silvestre, L: Regularity estimates for the solution and the free boundary of the obstacle problem for the fractional Laplacian. Invent. Math. 171, 425-461 (2008)
Silvestre, L: Regularity of the obstacle problem for a fractional power of the Laplace operator. Commun. Pure Appl. Math. 60, 67-112 (2006)
Liu, ZL, Sun, JX: Invariant sets of descending flow in critical point theory with applications to nonlinear differential equations. J. Differ. Equ. 172, 257-299 (2001)
Chang, X, Wang, ZQ: Nodal and multiple solutions of nonlinear problems involving the fractional Laplacian. J. Differ. Equ. 256, 2965-2992 (2014)
Di Nezza, E, Palatucci, G, Valdinoci, E: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521-573 (2012)
Barrios, B, Colorado, E, de Pablo, A, Sánchez, U: On some critical problems for the fractional Laplace operator. J. Differ. Equ. 252, 6133-6162 (2012)
Brändle, C, Colorado, E, de Pablo, A, Sánchez, U: A concave-convex elliptic problem involving the fractional Laplacian. Proc. R. Soc. Edinb. A 143, 39-71 (2013)
Cabré, X, Solà-Morales, J: Layer solutions in a half-space for boundary reactions. Commun. Pure Appl. Math. 58, 1678-1732 (2005)
Cabré, X, Tan, J: Positive solutions of nonlinear problems involving the square root of the Laplacian. Adv. Math. 224, 2052-2093 (2010)
Edmunds, DE, Evans, WD: Spectral Theory and Differential Operators. Clarendon, Oxford (1987)
Bartsch, T, Pankov, A, Wang, ZQ: Nonlinear Schrödinger equations with steep potential well. Commun. Contemp. Math. 4, 549-569 (2001)
Struwe, M: Variational Methods, Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 3. Springer, Berlin (1990)
Felmer, P, Quaas, A, Tan, J: Positive solutions of nonlinear Schrödinger equation with the fractional Laplacian. Proc. R. Soc. Edinb. A 142, 1237-1262 (2012)
Capella, A, Dacila, J, Dupaigne, L, Sire, Y: Regularity of radial extremal solutions for some nonlocal semilinear equations. Commun. Partial Differ. Equ. 36, 1353-1384 (2011)
Heywood, JG, Noussair, ES, Swanson, CA: On the zeros of solutions of elliptic inequalities in bounded domains. J. Differ. Equ. 28, 345-353 (1978)
Schechter, M, Wang, ZQ, Zou, W: New linking theorem and sign-changing solutions. Commun. Partial Differ. Equ. 29, 471-488 (2005)
Schechter, M, Tintarev, K: Pairs of critical points produced by linking subsets with applications to semilinear elliptic problems. Bull. Soc. Math. Belg., Sér. B 44, 249-261 (1994)
Schechter, M, Zou, W: Sign-changing critical points from linking type theorems. Trans. Am. Math. Soc. 358, 5293-5318 (2006)
Schechter, M: Linking Methods in Critical Point Theory. Birkhäuser, Boston (1999)
Schechter, M: Resonance problems with respect to the Fučík spectrum. Trans. Am. Math. Soc. 352, 4195-4205 (2000)
Acknowledgements
This work is supported by National Natural Science Foundation of China (Grant No. 11571370), National Natural Science Foundation of China (Grant No. 11461016) and Natural Science Foundation of Hainan Province (Grant No. 20167246).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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.
About this article
Cite this article
Luo, H., Tang, X. & Li, S. Mountain pass and linking type sign-changing solutions for nonlinear problems involving the fractional Laplacian. Bound Value Probl 2017, 108 (2017). https://doi.org/10.1186/s13661-017-0838-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-017-0838-1