Abstract and Applied Analysis

Volume 2014 (2014), Article ID 143741, 10 pages

http://dx.doi.org/10.1155/2014/143741

Research Article

On the Existence of Solutions for the Critical Fractional Laplacian Equation in

Zifei Shen and Fashun Gao

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.

Abstract.

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.

1. Introduction

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 [1] proved that the critical problem with small linear perturbations can provide positive solutions. In [3], 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 [10] 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. [15] 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 .

It is convenient to define

where will be defined in Section 2 and for any

and will be defined in Section 2 and for any

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 [15], 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 [15].

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 .

Lemma 5. (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 [19].

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 [20].

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

and so

Thus,

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.

We easily see that , with given in Proposition 8. Now, set

where

with in Proposition 9.

In [11, the proof of Theorem  1], Servadei and Valdinoci proved the following result.

Proposition 11. The constant is given in (47) such that

where is given in Proposition 8 and is defined in formula (12).

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.

We have finished the proof of Theorem 1 by Propositions 8, 10, and 12 and the mountain pass theorem.

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.

We easily see that , with given in Proposition 13. Now, set

where

with in Proposition 13.

Proposition 16. The constant is given in (83) such that

where is given in Proposition 13 and is defined in formula (13).

By [6, Theorem  2.2], we have a sequence in such that

as .

Proposition 17. There exists such that, up to a subsequence, as .

We have finished the proof of Theorem 2 by Propositions 13, 15, and 17 and the mountain pass theorem.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The work is supported by the National Nature Science Foundation of China (11271331).

References

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.