- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2014 (2014), Article ID 143741, 10 pages
On the Existence of Solutions for the Critical Fractional Laplacian Equation in
Department of Mathematics, Zhejiang Normal University, Jinhua 321004, China
Received 5 May 2013; Accepted 10 December 2013; Published 12 January 2014
Academic Editor: Wenming Zou
Copyright © 2014 Zifei Shen and Fashun Gao. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We study existence of solutions for the fractional Laplacian equation in , , with critical exponent , , , where has a potential well and is a lower order perturbation of the critical power . By employing the variational method, we prove the existence of nontrivial solutions for the equation.
In the last 20 years, the classical nonlinear Schrödinger equation has been extensively studied by many authors [1–10] and the references therein. We just mention some earlier work about it. Brézis and Nirenberg  proved that the critical problem with small linear perturbations can provide positive solutions. In , Rabinowitz proved the existence of standing wave solutions of nonlinear Schrödinger equations. Making a standing wave ansatz reduces the problem to that of studying a class of semilinear elliptic equations. Floer and Weinstein  proved that Schrödinger equation with potential and cubic nonlinearity has standing wave solutions concentrated near each nondegenerate critical point of .
However, a great attention has been focused on the study of problems involving the fractional Laplacian recently. This type of operator seems to have a prevalent role in physical situations such as combustion and dislocations in mechanical systems or in crystals. In addition, these operators arise in modelling diffusion and transport in a highly heterogeneous medium. This type of problems has been studied by many authors [11–18] and the references therein.
Servadei and Valdinoci [11–14] studied the problem where , is an open bounded set of , , with Lipschitz boundary, is a real parameter, and is a fractional critical Sobolev exponent. is defined as follows: Here is a function such that there exists such that and for any . They proved that problem (1) admits a nontrivial solution for any . They also studied the case and , respectively.
Felmer et al.  studied the following nonlinear Schrödinger equation with fractional Laplacian: where , , and is superlinear and has subcritical growth with respect to . The fractional Laplacian can be characterized as , where is the Fourier transform. They gave the proof of existence of positive solutions and further analyzed regularity, decay, and symmetry properties of these solutions.
In this paper, we consider the following problem: with critical exponent , , , where has a potential well, where is the fractional Laplace operator, which may be defined as is the usual fractional Sobolev space.
is a lower order perturbation of the critical power . Now we give our main assumptions. In order to find weak solutions of (5), we will assume the following general hypotheses: is a continuous nonnegative function on and satisfying is a Carathéodory function; uniformly in ;there exist , and , , such that sup for any ;there exists such that, for all and , where .
The aim of this paper is to find solutions for (5) by variational methods. For this, we give the weak formulation of (5) by the following problem: This problem represents the Euler-Lagrange equation of the function defined as where is defined as in . Critical points of are weak solutions of (5). We will prove the existence of the critical points of the functional .
Now, we give our results as follows.
Theorem 1. Let , , , and satisfy and ()–(), respectively. Then, (5) possesses at least one nontrivial solution.
We prove Theorem 1 applying the mountain pass theorem to the functional . Although the Palais-Smale sequences might lose compactness in the whole space , we cannot apply the mountain pass theorem directly. In , they used a comparison argument to over this difficulty. But we will use allow it to us to over this problem related to the lack of compactness and to show that the Palais-Smale condition holds true in a suitable range related to .
Theorem 2. Let , , , and satisfy ()–(). Then, (5) possesses at least one nontrivial radial symmetric solution.
For the case , the proof of the existence of solutions is similar to the proof of Theorem 1. To prove symmetry of solutions, we consider the subspace of . consists of radial symmetric functions of .
This paper is organized as follows. In Section 2, we give some preliminary results. In Section 3, we prove the geometry and Palais-Smale condition of the functional and finish the proof of Theorem 1. In Section 4, we finish the proof of Theorem 2.
2. Preliminary Results
We consider the fractional Sobolev space equipped with norm We denote a subspace of the fractional Sobolev space by . This subspace is defined as the completion of with respect to the norm
Obviously, is a Hilbert space, with scalar product and is continuously embedded in .
On the other hand, we also consider the subspace of . consists of radial symmetric functions of and has the same norm with , and its norm is denoted by . is continuously embedded in .
The following two lemmas about the fractional Sobolev space are proved in .
Lemma 3. Let ; then one has Consequently, the embedding and are continuous. If further and is a bounded domain, then the bound sequence has a convergent subsequence in .
Thanks to Lemma 3, we can define the constants and and get that and .
Lemma 4. Let . Assume that is bounded in and it satisfies where . Then in for .
(a) If holds true, then the embedding is compact for any .
(b) The embedding is compact for any .
Proof. (a) We give the proof as in .
Case . We will show that strongly in , whenever weakly in . Indeed, let be such that . Given , pick such that for all and denote by the ball of radius in . Then we have that weakly in . The compact embedding implies that for some natural number , On the other hand, by our choice of , we have Combining (22) and (23), we obtain that for all .
Case . Using Lemma 3, together with the interpolation inequality (where ), and by the fact that the embedding is compact, we can obtain that the embedding is also compact.
(b) We give the proof as in Corollary 4.7.2 of .
For all , for all , let be the largest number of disjoint balls with radius and the centers lie on the same sphere with radius centered at . It is easily seen that as . By definition, for all and for all , If is a bounded sequence in , for all , , we have We may assume that weakly in ; then, by Lemma 3, after a subsequence , it follows that
By (26), (27), and Lemma 4, we have for .
In [11, Lemma 6], Servadei and Valdinoci proved the following result.
Lemma 6. Assume that satisfies ()–(). Then, for any , there exists such that a.e. , and for any and so, as a consequence, where is defined as in () and .
In [17, Lemma 4], Servadei and Valdinoci proved the following result.
Lemma 7. Assume that satisfies ()–(). Then, there exist two positive measurable functions and such that a.e. , and for any , where is defined as in (), , and , .
3. The Proof of Theorem 1
In this section we study the mountain pass geometry and Palais-Smale condition in a suitable energy range and finish the proof of Theorem 1. We consider the functional where is defined as in ().
Then and critical points of are solutions of The Fréchet derivative of is
Proposition 8. Let , , , and satisfy and ()–(), respectively. Then, there exist and such that for any with it results that .
Proof. Let be a function in . By Lemma 3 and (30), we get that, for any ,
Choosing such that , by (35), it easily follows that for suitable positive constants , , and .
Now, let be such that . Since , we can choose sufficiently small, so that
Hence, Proposition 8 is proved.
Proposition 9. There exists with a.e. in , such that
Proof. By definition of , we have that there exists such that
for any . We have a.e. in , or else we can take . Indeed, by triangle inequality, a.e. , ,
It follows that there exists such that
thanks to (39). Since , so we can choose such that
Hence, Proposition 9 is proved.
Proposition 10. Let , , , and satisfy and ()–(), respectively. Then, there exists such that a.e. in , , and , where and are given in Proposition 8.
In particular, we can construct as follows: with as in (38) and large enough.
Proof. We fix such that . By (31), we get
where , are constant. Since and , passing to the limit as , we get that , so that the assertion follows taking , with sufficiently large.
In particular, we can take , then with large enough.
In [11, the proof of Theorem 1], Servadei and Valdinoci proved the following result.
By [6, Theorem 2.2], we have a sequence in such that as .
Proposition 12. There exists such that, up to a subsequence, as .
Proof. We proceed by steps.
Step 1. The sequence is bounded in .
Proof. For any by (50) and (51) it easily follows that there exists such that As a consequence of (52), we have By and , we have and We obtain that is bounded in by , (53), and (54).
Step 2. Problem (10) admits a solution .
Proof. By Step 1 and since is a reflexive space, up to a subsequence, still denoted by , there exists such that weakly in ; that is, as . By , (53), and (54), we have that is bounded in . Since is a reflexive space, up to a subsequence, as , while by Lemma 5(a), up to a subsequence, as , for any . By (56) and since is bounded in , we have as . By the proof of Lemma 6 [11, Lemma 6], we get
Moreover, we have, by taking , By (61), being bounded in , and Lemma 5(a), we obtain Since is a reflexive space, we get as . It is easily seen that as and so, in particular, as . Since (51) holds true, for any ,
Passing to the limit in this expression as and taking into account (55), (57), (59), and (65), we get for any ; that is, is a solution of problem (10).
Step 3. The following equality holds true:
Proof. By Step 2, taking as a test function in (10), we have so that The last inequality follows from assumption .
Now, we conclude the proof of Proposition 12.
We write ; then, weakly in . Moreover, since (58) holds true, by the Brézis-Lieb Lemma, we get Then,
By and , we get By the definition of , we have and so . Either or . If , the proof is complete. Assuming that , we obtain, from (49), (68), and (72), which is a contradiction. Thus and as . This ends the proof of Proposition 12.
4. The Proof of Theorem 2
In this section we consider the case , study the mountain pass geometry and Palais-Smale condition in a suitable energy range, and finish the proof of Theorem 2. We consider the functional where is defined as in . Then and critical points of are solutions of The Fréchet derivative of is for any .
Similar to the proof of Theorem 1, we have the following conclusions.
Proposition 13. Let , , and satisfy ()–(). Then, there exist and such that for any with it results that .
Proposition 14. There exists with a.e. in , such that
Proposition 15. Let , , and satisfy ()–(). Then, there exists such that a.e. in , , and , where and are given in Proposition 13.
In particular, we can construct as follows: with as in (81) and large enough.
By [6, Theorem 2.2], we have a sequence in such that as .
Proposition 17. There exists such that, up to a subsequence, as .
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The work is supported by the National Nature Science Foundation of China (11271331).
- H. Brézis and L. Nirenberg, “Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents,” Communications on Pure and Applied Mathematics, vol. 36, no. 4, pp. 437–477, 1983.
- M. Clapp and Y. Ding, “Positive solutions of a Schrödinger equation with critical nonlinearity,” Zeitschrift fur Angewandte Mathematik und Physik, vol. 55, no. 4, pp. 592–605, 2004.
- P. H. Rabinowitz, “On a class of nonliear Schrödinger equations,” Zeitschrift für Angewandte Mathematik und Physik, vol. 43, no. 2, pp. 270–291, 1992.
- M. B. Yang and Y. H. Ding, “Existence of solutions for singularly perturbed Schrödinger equations with nonlocal part,” Communications on Pure and Applied Analysis, vol. 12, no. 2, pp. 771–783, 2013.
- M. B. Yang, “Existence of solutions for a quasilinear Schrödinger equation with subcritical nonlinearities,” Nonlinear Analysis: Theory, Methods & Applications, vol. 75, no. 13, pp. 5362–5373, 2012.
- H. Brézis and L. Nirenberg, “Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents,” Communications on Pure and Applied Analysis, vol. 36, no. 4, pp. 437–477, 1983.
- W. A. Strauss, “Existence of solitary waves in higher dimensions,” Communications in Mathematical Physics, vol. 55, no. 2, pp. 149–162, 1977.
- J. Chabrowski and J. Yang, “Existence theorems for the Schrödinger equation involving a critical Sobolev exponent,” Zeitschrift fur Angewandte Mathematik und Physik, vol. 49, no. 2, pp. 276–293, 1998.
- V. Benci and G. Cerami, “Existence of positive solutions of the equation in ,” Journal of Functional Analysis, vol. 88, no. 1, pp. 90–117, 1990.
- A. Floer and A. Weinstein, “Nonspreading wave packets for the cubic Schrödinger equation with a bounded potential,” Journal of Functional Analysis, vol. 69, no. 3, pp. 397–408, 1986.
- R. Servadei and E. Valdinoci, “The Brezis-Nirenberg result for the fractional Laplacian,” Transactions of the American Mathematical Society. In press.
- R. Servadei and E. Valdinoci, “Fractional Laplacian equations with critical sobolev exponent,” 2012, http://www.ma.utexas.edu/mp-arc-bin/mpa_yn=12-58.
- R. Servadei, “The Yamabe equation in a non-local setting,” Advances in Nonlinear Analysis, vol. 2, no. 3, pp. 235–270, 2013.
- R. Servadei and A. Brézis-Nirenberg, “A Brezis-Nirenberg result for non-local critical equations in low dimension,” Communications on Pure and Applied Analysis, vol. 12, no. 6, pp. 2445–2464, 2013.
- P. Felmer, A. Quaas, and J. G. Tan, “Positive solutions of nonlinear Schrödinger equation with fractional Laplacian,” Proceedings of the Royal Society of Edinburgh, vol. 142, no. 6, pp. 1237–1262, 2012.
- E. Di Nezza, G. Palatucci, and E. Valdinoci, “Hitchhiker's guide to the fractional Sobolev spaces,” Bulletin des Sciences Mathematiques, vol. 136, no. 5, pp. 521–573, 2012.
- R. Servadei and E. Valdinoci, “Mountain Pass solutions for non-local elliptic operators,” Journal of Mathematical Analysis and Applications, vol. 389, no. 2, pp. 887–898, 2012.
- S. Palatucci, G. Dipierro, and E. Valdinoci, “Existence and symmetry results for a Schrödinger type problem involving the fractional Laplacian,” Le Matematiche, vol. 68, no. 1, pp. 201–216, 2013.
- D. G. Costa, “On a class of elliptic systems in ,” Electronic Journal of Differential Equations, vol. 1994, no. 7, pp. 1–14, 1994.
- K. C. Chang, Methods in Nonlinear Analysis, Springer, Berlin, Germany, 2005.