 Research
 Open access
 Published:
Infinitely many solutions for fractional Laplacian problems with local growth conditions
Advances in Difference Equations volume 2016, Article number: 244 (2016)
Abstract
In this paper, we deal with the fractional Laplacian equations
where \(0< s<1<p<+\infty\), \(N\in\mathbb{N}, N>2s\), \(\Omega\subset \mathbb{R}^{N}\) is a bounded domain with smooth boundary. Under local growth conditions of \(f(x,t)\), infinitely many solutions for problem (P) are obtained via variational methods.
1 Introduction and main results
In this article we are concerned with the multiplicity of solutions for the following fractional Laplacian equations:
where \(0< s<1<p<+\infty\), \(N>2s\), \(\Omega\subset\mathbb{R}^{N}\) is an open bounded domain with smooth boundary, \(f(x,t)\) is a Carathéodory function defined on \(\Omega\times(\delta,\delta)\) for some \(\delta>0\), and \((\Delta)^{s}\) is known as the fractional Laplacian operator, which (up to normalization factors) may be defined as
The topic of fractional Laplacian operators \((\Delta)^{s}\) and more generally nonlocal operators is a classical one in harmonic analysis and partial differential equations. These operators arise in a quite natural way in many different contexts, such as the thin obstacle problem, optimization, finance, materials science, continuum mechanics, etc. Recently, great attention has been focused on the study of them, both for the pure mathematical research and in view of concrete applications. A series of important research results have been got via various methods. Here we only collect some results got through variational methods and critical point theory. First, for an elementary introduction to the fractional Laplacian operator \((\Delta)^{s}\) and more generally nonlocal operators, please check the cited articles [1, 2] and the references therein. In particular, in [2], the authors define the fractional Sobolev spaces \(W^{s,p}\) via the Gagliardo approach and give some of their basic properties and prove some continuous and compact embedding results. Second, it is well known that similar to the classical elliptic problem
problem (P) also enjoys a variational nature and its solutions can also be constructed as critical points of the associated EulerLagrange functional. A natural question is whether or not the classical topological and variational methods may be adapted to problem (P) and to its generalization in order to extend the classical results known for the classical elliptic problem (P′) to a nonlocal setting. A great attention has been focused on this topic. For example, in [3], based on some analysis of the fractional spaces involved, the authors prove that mountain pass theorem still works for a general integrodifferential operator of fractional type. And one mountain pass solution is got for some nonlocal elliptic operators. In [4], the authors get one critical point for some nonlocal elliptic operators with real parameter by mountain pass theorem and linking theorem, respectively. The fact that saddle point theorem still works for some nonlocal elliptic operators has been proved in [5]. [6] proves that symmetric mountain pass theorem still works for a general integrodifferential operator of fractional type. In [7], Morse theory is applied to study the existence of weak solution for problem (P). The ground state solution is got by the Nehari manifold method for nonlocal elliptic operators involving concaveconvex nonlinearities in [8]. In [9], the existence of multiple nontrivial weak solutions for some parametric nonlocal equations with the nonlinear term having a sublinear growth at infinity is got via Variational methods. The existence or multiplicity of solutions for fractional elliptic problems have also been investigated in [10–14] and the references therein. The issues of regularity and nonexistence of solutions are studied in [15–19]. The corresponding equations in \(\mathbb{R}^{N}\) have also been widely studied, for example [20–26] and the references therein.
In all the works mentioned above, in order to apply Variational methods and Critical point theory, the nonlinearity f is assumed on the whole \(\Omega\times\mathbb{R}\) or \(\mathbb{R}\times \mathbb{R}^{N}\) and has to satisfy various global growth conditions. The purpose of this article is to prove that a new version of Clark’s theorem (see [27]) is still valid for fractional Laplacian problem (P). Furthermore, in our article, the nonlinearity f just needs to satisfy some local normal growth conditions. More precisely we assume f satisfies the following sublinear conditions near the origin and not any condition at all near infinity.
 (f_{1}):

f is a Carathéodory function defined on \(\Omega \times(\delta,\delta)\) for some \(\delta>0\) which can be chosen small;
 (f_{2}):

there exists a positive constant \(q_{1}\in(\frac {4}{2_{s}^{*}},2)\) such that
$$\lim_{t\rightarrow0}\frac{F(x,t)}{t^{q_{1}}}=0, \quad\mbox{uniformly for a.e. } x\in\Omega; $$  (f_{3}):

there exists a positive constant \(q_{2}\in(\frac {4}{2_{s}^{*}},2)\) such that
$$\lim_{t\rightarrow0}\frac{F(x,t)}{t^{q_{2}}}=+\infty,\quad \mbox{uniformly for a.e. } x\in\Omega; $$  (f_{4}):

\(f(x,t)\) is odd in t, for a.e. \(x\in\Omega\), \(t\in (\delta,\delta)\).
Our main result is stated as follows.
Theorem 1.1
Let (f_{1})(f_{4}) hold, then problem (P) enjoys a sequence of nontrivial solutions \(\{u_{m}\}\) with \(u_{m}_{\infty}\rightarrow0\) as \(m\rightarrow\infty\).
Remark 1.1
In this article, the nonlinearity f just satisfies some sublinear growth condition near the origin, While without any assumptions near infinity. In order to prove our results via variational approach, inspired by the methods of [27, 28], first, we need to modify and extend f to an appropriate f̃ and to show for the associated modified functional the existence of solutions. Second, in order to obtain solutions for the original problem (P), some \(L^{\infty}\)estimates for the solutions of the modified problem are absolutely necessary. However, as far as we have known there is few result about the \(L^{p}\)estimate for fractional Laplacian problem as the class Laplacian problem. Similar bounds were obtained before only in some special cases, for a semilinear fractional Laplacian equation with reaction term independent of u, or for the eigenvalue problem of some fractional elliptic operators. Recently, in [29], the authors provided a method to give a priori \(L^{\infty}\) bounds for the weak solutions of problems similar to (P). Inspired by this method, we are able to get a suitable estimate of \(L^{\infty}\) norm of the weak solutions (for more details please check Lemma 3.2 of our article). Finally, by the Sobolev embedding theorem and Lemma 2.2, we can get infinity many solutions for the original problem (P).
Remark 1.2
The key step of our article is to get a suitable estimate of \(L^{\infty}\) norm of the weak solutions. In condition (f_{2}), the assumption \(q_{1}> \frac{4}{2_{s}^{*}}\) will be applied to give a \(L^{\infty}\)estimate for the weak solutions.
Throughout the article, the letter C will denote various positive constants whose values may change from line to line but are not essential to the analysis of the problem. We denote the usual norm of \(L^{q}(\Omega)\) by \(\cdot _{q}\) for \(1\leqslant q\leqslant\infty\). Moreover, let \(0< s<1\) be real numbers, and the fractional critical exponent be defined as \(2_{s}^{*}= \frac{2N}{N2s}\).
The paper is organized as follows. In Section 2, we introduce some preliminary notions and notations and set the functional framework of the our problem. In Section 3, we will prove our main result Theorem 1.1.
2 Preliminary
In this preliminary section, for the reader’s convenience, we collect some basic results that will be used in the forthcoming section.
First, we introduce a variational setting for problem (P). The Gagliardo seminorm is defined for a measurable function \(u:\mathbb {R}^{N}\mapsto\mathbb{R}\) by
The fractional Sobolev space is
endowed with the norm
In this paper, we will work in the closed linear subspace
which can be equivalently renormed by setting \(\\cdot\=[\cdot]_{s,2}\) (see Theorem 7.1 of [2]). It is readily seen that \((X(\Omega ),\\cdot\)\) is a Hilbert space with the inner product
A weak solution of problem (P) is a function \(u\in X(\Omega)\) such that
Definition 2.1
Let E be a Banach space, we say that a functional \(\Phi\in C^{1}(E, \mathbb{R})\) satisfies PalaisSmale condition at the level \(c\in\mathbb{R}\) ((PS)_{ c } in short) if any sequence \(\{u_{n}\}\subset E \) satisfying \(\Phi(u_{n}) \to c, \Phi'(u_{n}) \to0\) as \(n\to\infty\), has a convergent subsequence. Φ satisfies (PS) condition if Φ satisfies (PS)_{ c } condition at any \(c\in\mathbb{R}\).
The following Sobolev type embedding theorem holds.
Lemma 2.1
([2])
The embedding \(X(\Omega)\hookrightarrow L^{q}(\Omega)\) is continuous for all \(q\in [1,2_{s}^{*}]\), and compact for \(q\in[1,2_{s}^{*})\).
We also need the following new version of Clark’s theorem; see Theorem 1.1 in [27].
Lemma 2.2
Assume that X is a Banach space, \(\Phi\in C^{1}(X, \mathbb{R})\) satisfying (PS) condition is bounded from below and even, \(\Phi(0)=0\). If for any \(k\in\mathbb{N}\), there exist a k dimensional subspace \(X^{k}\) and \(\rho_{k}>0\) such that \(\sup_{X^{k}\cap S_{\rho_{k}}}\Phi<0\), where \(S_{\rho_{k}}=\{u\in X: \u\=\rho_{k}\}\), then at least one of the following results holds.

(1)
There exists a sequence of critical points \(\{u_{k}\}\) satisfying \(\Phi(u_{k})<0\) for all k and \(\u_{k}\\rightarrow0\) as \(k\rightarrow\infty\).

(2)
There exists \(r>0\) such that for any \(a\in(0,r)\) there exists a critical point u such that \(\u\=a\) and \(\Phi(u)=0\).
3 Proof of main result
In this section we will prove our main result, Theorem 1.1. Since (f_{1})(f_{4}) describe the behaviors of f just in \(\Omega\times(\delta,\delta)\), the functional \(\int _{\Omega}F(x,u)\,dx\) is not well defined in \(X(\Omega)\). To overcome this difficulty, we need to modify and extend f to an appropriate f̃ in the spirit of the arguments developed by [28]. First of all, it follows from (f_{2}) and (f_{3}) that for small \(t\)
Let \(\rho\in C^{1}(\mathbb{R},[0,1])\) be an even cutoff function verifying \(t\rho'(t)\leqslant0\) and
where \(\tau\in(0,\frac{\delta}{2})\) is chosen such that (3.1) and (3.2) hold for \(t\leqslant2\tau\). Set
It is easy to see that F̃ is even in t and f̃ is a Carathéodory function defined on \(\Omega\times\mathbb{R}\). We then consider the following problem:
and its associated functional
By the definition of F̃, one can see that \(\tilde{\Phi}\in C^{1}(X(\Omega), \mathbb {R})\). It is also easy to see that \(\tilde {f}(x,t)=f(x,t)\) for \((x,t) \in\Omega \times[\tau,\tau]\) and a critical point u of Φ̃ is a solution of the original problem (P) if and only if \(u_{\infty}\leqslant \tau\).
In order to get our main result by Lemma 2.2. First of all, we check that Φ̃ is coercive, i.e. \(\tilde{\Phi}(u)\rightarrow\infty\), as \(\u\\rightarrow\infty\), and Φ̃ satisfies the (PS) condition.
Lemma 3.1
The functional Φ̃ is bounded from below and satisfies (PS) condition.
Proof
By (3.1) and the definition of F̃, we have
where C is a positive constant. Then Lemma 2.1 implies that
Since \(\frac{4}{2_{s}^{*}}< q_{1}< q_{2}<2\), it follows that
Therefore, Φ̃ is coercive and bounded from blow.
Next, we will prove that Φ̃ satisfies (PS) condition. For any \(c\in\mathbb{R}\), let \(\{u_{n}\}\subset X(\Omega)\) be a (PS)_{ c } sequence, then
By (3.4), it follows that \(\{u_{n}\}\) is bounded in \(X(\Omega)\). By Lemma 2.1, we can assume that, up to a subsequence, for some \(u\in X(\Omega)\),
It follows from (3.5) and \(u_{n}\rightharpoonup u\) in \(X(\Omega)\) that
As \(q_{1},q_{2}\in(1,2_{s}^{*})\), by the Hölder inequality and (3.3), we have
Then
Since \(\langle u,u_{n}u\rangle\rightarrow0\), as \(n\rightarrow\infty\),
and the functional Φ̃ satisfies the (PS)_{ c } condition for any \(c\in\mathbb{R}\).
Second, it is easy to see that Φ̃ is even and \(\tilde{\Phi }(0)=0\). Thus, in order to use Lemma 2.2 it suffices to find a subspace \(X^{k}\) and \(\rho_{k}>0\) for any \(k\in\mathbb{N}\) such that
For any \(k\in\mathbb{N}\), we can choose k independent functions \(\varphi_{i}\in X(\Omega)\) for \(i=1,\ldots, k\), and define \(X^{k}:=\overline{\operatorname{span}\{\varphi_{1},\varphi_{2},\ldots,\varphi _{k}\}}\). By (f_{2}), (f_{3}), and the definition of F̃, we have \(\tilde{F}(x,t)\geqslant Ct^{q_{2}}, t\in\mathbb{R}\) for some \(C>0 \). Then by the fact that all norms on \(X^{k}\) are equivalent
for all \(u\in X^{k}\) with \(\u\=\rho_{k}\) for small enough \(\rho_{k}>0\). That is to say, by choosing \(\rho_{k}>0\) small enough we can get
Then all conditions of Lemma 2.2 are verified, we can get a sequence of critical points \(\{u_{m}\}\subseteq X(\Omega)\) for Φ̃ with \(\tilde{\Phi}(u_{m})\leqslant0\) and \(\u_{m}\ \rightarrow0\), as \(m\rightarrow\infty\). □
Finally, in order to get the weak solutions of the original problem (P), we will prove that the above sequence of critical points \(\{u_{m}\}\) for Φ̃ enjoys the following property.
Lemma 3.2
Under the assumptions of Theorem 1.1, the above sequence of critical points \(\{u_{m}\}\) for Φ̃ satisfies
Proof
We modify the proof of Theorem 3.1 of [29]. For the convenience of the reader, here we give a detailed proof. Compare with that result in [29], our result is a little more precise for our case. First of all, by the definition of f̃ and (f_{2}), it is easy to see that there exists \(C>0\) such that
Then all the conditions of Theorem 3.1 of [29] hold. For a weak solution \(u\in X(\Omega)\) of the above problem (P̃) with \(u^{+}\neq0\), we choose \(\rho\geqslant\max\{1,\frac{1}{u_{2}}\}\), set \(v=\frac {u}{\rhou_{2}}\), then \(v\in X(\Omega),v_{2}=\frac{1}{\rho}\), and v is a weak solution of the auxiliary problem
For any \(\tau>0\), we set \(v_{n}=(v\tau+\frac{\tau}{2^{n}})^{+}\) for all \(n\in\mathbb{N}\). It is easy to see that \(v_{n}\in X(\Omega), v_{0}=v^{+}\), and for all \(n\in\mathbb{N}\) we have \(0\leqslant v_{n+1}(x)\leqslant v_{n}(x)\) and \(v_{n}(x)\rightarrow(v(x)\tau)^{+}\), a.e. \(x\in\Omega\) as \(n\rightarrow\infty\). Moreover, the following inclusion holds (up to a Lebesgue null set):
For every \(n\in\mathbb{N}\), we set \(R_{n}=v_{n}_{2}^{2}\), then \(R_{0}=v^{+}_{2}^{2}\leqslant\frac{1}{\rho^{2}}\), and \(R_{n}\in[0,1]\) is nonincreasing in n. We will prove that \(R_{n}\rightarrow0\) as \(n\rightarrow\infty\). By Hölder’s inequality, the fractional Sobolev inequality (see Theorem 6.5 of [2]), (3.6), and the Chebyshev inequality we have, for all \(n\in\mathbb{N}\),
By testing (AP̃) with \(v_{n+1}\), and applying (3.6), we can see that
Combining (3.7) with (3.8), we have
where \(H=2^{3\frac{4}{2_{s}^{*}}}, \beta= \frac{q_{1}}{2}\frac{2}{2_{s}^{*}}\), \(C_{0}(\tau)>1\) is big enough. Similar to [29], provided \(\rho =\max\{(\frac{C^{1+\beta}_{0}(\tau)}{\nu})^{\frac{1}{2\beta}}, \frac {1}{u_{2}}\}\) is big enough, by induction we can also prove that for all \(n\in\mathbb{N}\)
In fact, we already know that \(R_{0}\leqslant\frac{1}{\rho^{2}}\). Assuming that (3.10) holds for some \(n\in\mathbb{N}\), by (3.9) we have
By (3.10), we have \(R_{n}\rightarrow0, n\rightarrow\infty\). This implies that \(v_{n}(x)\rightarrow0\), a.e. \(x\in\Omega\), as \(n\rightarrow\infty\). So \(v(x)\leqslant\tau\), a.e. \(x\in\Omega\). An analogous argument can be applied to −v. Therefore, we have \(v_{\infty}\leqslant\tau\), hence \(u\in L^{\infty}(\Omega)\) and by the fractional Sobolev embedding result
In fact, since the solutions \(\{u_{m}\}\) that we have got above satisfy \(\u_{m}\\rightarrow0\), as \(m\rightarrow\infty\), there exists \(M\in\mathbb{N}\) such that for any \(m>M(\tau)\), \(\rho=\frac {1}{u_{m}_{2}}\), i.e. \(u_{m}_{\infty}\leqslant\tau\) for any \(m>M(\tau)\). That is to say \(u_{m}_{\infty}\rightarrow0\), as \(m\rightarrow \infty\). The proof is complete. □
Therefore, from the above discussion we can see that the original problem (P) also enjoys a sequence of nontrivial solutions \(\{ u_{m}\}\) satisfying \(u_{m}_{\infty}\rightarrow0\), as \(m\rightarrow\infty\). Thus the proof of Theorem 1.1 is complete. □
References
Valdinoci, E: From the long jump random walk to the fractional Laplacian. Bol. Soc. Esp. Mat. Apl. 49, 3344 (2009)
Di Nezza, E, Palatucci, G, Valdinoci, E: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521573 (2012)
Servadei, R, Valdinoci, E: Mountain pass solutions for nonlocal elliptic operators. J. Math. Anal. Appl. 389, 887898 (2012)
Servadei, R, Valdinoci, E: Variational methods for nonlocal operators of elliptic type. Discrete Contin. Dyn. Syst., Ser. B 33, 21052137 (2013)
Fiscella, A: Saddle point solutions for nonlocal elliptic operators. Topol. Methods Nonlinear Anal. 44, 527538 (2014)
Zhang, BL, Bisci, GM, Servadei, R: Superlinear nonlocal fractional problems with infinitely many solutions. Nonlinearity 28, 22472264 (2015)
Ferrara, M, Bisci, GM, Zhang, BL: Existence of weak solutions for nonlocal fractional problems via Morse theory. Discrete Contin. Dyn. Syst., Ser. B 19, 24932499 (2014)
Chen, W, Deng, S: The Nehari manifold for nonlocal elliptic operators involving concaveconvex nonlinearities. Z. Angew. Math. Phys. 66, 13871400 (2015)
Bisci, GM, Rădulescu, VD: Multiplicity results for elliptic fractional equations with subcritical term. Nonlinear Differ. Equ. Appl. 22, 721739 (2015)
Bisci, GM, Pansera, BA: Three weak solutions for nonlocal fractional equations. Adv. Nonlinear Stud. 14, 591601 (2014)
Brändle, C, Colorado, E, de Pablo, A: A concaveconvex elliptic problem involving the fractional Laplacian. Proc. R. Soc. Edinb., Sect. A 143, 3971 (2013)
Fiscella, A, Servadei, R, Valdinoci, E: A resonance problem for nonlocal elliptic operators. Z. Anal. Anwend. 32, 411431 (2013)
Bisci, GM: Fractional equations with bounded primitive. Appl. Math. Lett. 27, 5358 (2014)
Bisci, GM: Sequences of weak solutions for fractional equations. Math. Res. Lett. 21, 113 (2014)
Caffarelli, LA, Silvestre, L: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 32, 12451260 (2007)
RosOton, X, Serra, J: The Dirichlet problem for the fractional Laplacian: regularity up to the boundary. J. Math. Pures Appl. 101, 275302 (2014)
RosOton, X, Serra, J: Fractional Laplacian: Pohozaev identity and nonexistence results. C. R. Math. Acad. Sci. Paris 350, 505508 (2012)
Cabré, X, Sire, Y: Nonlinear equations for fractional Laplacians I: regularity, maximum principles, and Hamiltonian estimates. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 31, 2353 (2014)
RosOton, X, Serra, J: The Pohozaev identity for the fractional Laplacian. Arch. Ration. Mech. Anal. 213, 587628 (2014)
Secchi, S: Ground state solutions for nonlinear fractional Schrödinger equations in \(\mathbb{R}^{N}\). J. Math. Phys. 54, 031501 (2013)
Chang, X, Wang, ZQ: Ground state of scalar field equations involving a fractional Laplacian with general nonlinearity. Nonlinearity 26, 479494 (2013)
Dipierro, S, Palatucci, G, Valdinoci, E: Existence and symmetry results for a Schrödinger type problem involving the fractional Laplacian. Matematiche 1, 201216 (2013)
Autuoria, G, Pucci, P: Elliptic problems involving the fractional Laplacian in \(\mathbb{R}^{N}\). J. Differ. Equ. 255, 23042362 (2013)
Felmer, P, Quaas, A, Tan, JG: Positive solutions of nonlinear Schrödinger equation with the fractional Laplacian. Proc. R. Soc. Edinb., Sect. A 142, 12371262 (2012)
Bisci, GM, Rădulescu, VD: Ground state solutions of scalar field fractional Schrödinger equations. Calc. Var. 54, 29853008 (2015)
Teng, K: Multiple solutions for a class of fractional Schrödinger equations in \(\mathbb{R}^{N}\). Nonlinear Anal., Real World Appl. 21, 7686 (2015)
Liu, ZL, Wang, ZQ: On Clark’s theorem and its applications to partially sublinear problems. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 32, 10151037 (2015)
Wang, ZQ: Nonlinear boundary value problems with concave nonlinearities near the origin. Nonlinear Differ. Equ. Appl. 8, 1533 (2001)
Iannizzotto, A, Liu, SB, Perera, K, Squassina, M: Existence results for fractional pLaplacian problem via Morse theory. Adv. Calc. Var. 9, 101125 (2016)
Acknowledgements
This work was supported by NSFC11526126 and NSFC11571209.
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 to the manuscript and typed, 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.
About this article
Cite this article
Li, A., Wei, C. Infinitely many solutions for fractional Laplacian problems with local growth conditions. Adv Differ Equ 2016, 244 (2016). https://doi.org/10.1186/s1366201609637
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201609637