Journal of Function Spaces

Volume 2019, Article ID 1093804, 4 pages

https://doi.org/10.1155/2019/1093804

## Effect of the Domain Geometry on the Solutions to Fractional Brezis-Nirenberg Problem

School of Mathematics and Computer, Northwest Minzu University, Lanzhou, Gansu 730000, China

Correspondence should be addressed to Qiaoyu Tian; moc.361@4002uyoaiqnait

Received 30 April 2019; Revised 7 July 2019; Accepted 7 July 2019; Published 18 July 2019

Academic Editor: Yuri Latushkin

Copyright © 2019 Qiaoyu Tian and Yonglin Xu. 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

In this paper, we consider the Brezis-Nirenberg problem for the nonlocal fractional elliptic equation , , , , , , where is fixed, , is a small parameter, and is a bounded smooth domain of . denotes the fractional Laplace operator defined through the spectral decomposition. Under some geometry hypothesis on the domain , we show that all solutions to this problem are least energy solutions.

#### 1. Introduction and Main Results

In the famous paper of Brezis and Nirenberg [1], they studied the following nonlinear critical elliptic partial differential equation:where is a bounded domain in . They proved that problem (1) has a positive nontrivial solution provided and , where is the first eigenvalue of in . This result was extended by Capozzi et al. [2] for every parameter . Rey [3] and Han [4] established the asymptotic behavior of positive solutions to problem (1) by different methods independently.

In this paper, we study the following nonlocal Brezis-Nirenberg problem:where and , , is a bounded smooth domain of , and is the spectral fractional Laplacian defined in terms of the spectra of the in ; for more details see Section 2.

The qualitative properties of solutions to problem (2), such as existence, nonexistence, and multiplicity results, were widely studied; see [5–11] and references therein. It is well-known that [5] problem (2) has at least one positive solution for each small . On the other hand, when is a domain, by the Pohozaev identity [12, 13], we know that problem (2) does not have any solutions in a star-shaped domain when . Consequently, the solutions to problem (2) blow up at some points as . Therefore, as , there exist subsequences , , and a point , such that and as . In the following, we mainly consider the solution .

Based on fractional harmonic extension formula of Caffarelli and Silvestre [14] (see Cabré and Tan [15] also), Choi et al. [9] studied the asymptotic behavior of least energy solutions to problem (2); that is, satisfieswhere is the best constant in fractional Sobolev inequality. For some other related results, see [6, 8, 16] and references therein.

The main goal of this paper is to show that, under some hypothesis on the domain , all solutions to problem (2) automatically satisfy (3); that is, all solutions are least energy solutions.

Our main result is the following.

Theorem 1. *Let be a smooth bounded domain of , which is symmetric with respect to the coordinate hyperplanes and convex in the directions for . Then all solutions to problem (2) are least energy solutions.*

*Remark 2. *According to Theorem 1.3 in [9], we know that there exist a point and a family of solutions to (2), which blow up and concentrate at the point as . Without loss of generality we assume that in this paper.

*Remark 3. *This results are motivated by the work of Cerqueti and Grossi [17] about the classical Brezis-Nirenberg problem In [17], they obtained the asymptotical behavior of any solution to the above equation in a neighborhood of the origin. Furthermore, uniqueness and nondegeneracy result for the solutions also obtained.

The paper is organized as follows. Section 2 contains some notations and definitions. Section 3 is concerned with the proof of Theorem 1.

#### 2. Useful Definitions

First of all, in this section we recall some basic properties of the spectral fractional Laplacian.

In this paper, the letter will denote a positive constant, not necessarily the same everywhere. Let be a smooth bounded domain of . , are the eigenvalues of the Dirichlet Laplacian on , and are the corresponding normalized eigenfunctions; namely, Define the fractional Laplacian aswhere fractional Sobolev space is defined as

It is interesting to note that another very popular “integral” fractional Laplacian is defined asup to a normalization constant which will be omitted for brevity. For differences between the spectral fractional Laplacian (6) and the fractional Laplacian (8), see [18–20].

In this paper, we mainly consider some properties of isolated blow-up point.

*Definition 4. *Suppose that is a solution to problem (2). The point is called a blow-up point of , if there exists a sequence of point , such that and .

The concept of an isolated blow-up point was first introduced by Schoen; for more details of the definition of isolated blow-up point, see [17, 21].

*Definition 5. *Let be a solution to problem (2). A point is an isolated blow-up point of if there exist , and a sequence , such that is a local maximum point of , , and for any

#### 3. Proof of Theorem 1

In this section, we give the proof of Theorem 1, which will be divided into three lemmas.

Firstly, according to Remark 2, we know that is the blow-up point; in view of Definition 4, there exists a sequence of point and , such that and . In the following, the index is omitted for the sake of simplicity. The following lemma shows that is an isolated blow-up point.

Lemma 6. *Let be a solution to problem (2). Then there exists a constant such that*

*Proof. *Suppose, on the contrary, there exists a , such thatAccording to Lemma 3.1 in [9], there is a constant such that , where This fact implies that . Define By Lemma 3.3 in [9], we know that, up to a subsequence, converges to the function uniformly on any compact set, where Obviously, ; then for fixed , , which implies that . Note that in for and is the extreme point of . Then there exists a sequence of points , such that . Taking into account Remark 2, we find This fact, together with (11), implies that which contradicts the fact that . This proves the validity of this lemma.

Lemma 7. *Let be a solution of problem (2). Then there exist two positive constants and , such that*

*Remark 8. *It can be easily seen that uniformly for .

*Proof. *Analysis similar to that in the proof of Proposition 4.9 in [21] shows that there exists a positive constant such that, for any , This fact implies that there exist and such that for any Particularly, Now we argue by contradiction to show (17) holds. Suppose that there exists a point , say the maximum point of in , such that It can be easily seen that . Thus . Consequently, ; this contradicts the fact that .

*Remark 9. *It is worth pointing out that, in [21], Jin et al. consider the integral fractional Laplacian, but the arguments of Propositions 4.4 and 4.9 in [21] still hold for spectral fractional Laplacian.

Lemma 10. *Let be a solution to problem (2). Then*

*Proof. *Decompose as , where and ; is the constant which appears in Lemma 7; we get By (17), it is obvious that . On the other hand, for any , define By a similar argument as Proposition 4.4 in [21], we derive that in . Therefore, by the dominated convergence theorem, we find This finishes the proof of (22).

*Proof of Theorem 1. *Since is the solution to problem (2), thereforeAccording to the Hölder inequality, we findThus, taking into account (26) and (27), we obtainThis fact, combined with (22), shows that (3) holds. This completes the proof of Theorem 1.

#### Data Availability

No data were used to support this study.

#### Conflicts of Interest

The authors declare that they have no conflicts of interest.

#### Authors’ Contributions

All the authors equally contributed in this work.

#### Acknowledgments

This work is partially supported by the National Science Foundation of China (No. 11761059), General Topics of National Education and Scientific Research (No. ZXYB18019), Fundamental Research Funds for the Central Universities (No. 31920170001), and Key Subject of Gansu Province.

#### References

- H. Brezis 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. View at Publisher · View at Google Scholar · View at MathSciNet - A. Capozzi, D. Fortunato, and G. Palmieri, “An existence result for nonlinear elliptic problems involving critical Sobolev exponent,”
*Annales de l'Institut Henri Poincaré (C) Analyse Non Linéaire*, vol. 2, no. 6, pp. 463–470, 1985. View at Publisher · View at Google Scholar - O. Rey, “The role of the Green's function in a nonlinear elliptic equation involving the critical Sobolev exponent,”
*Journal of Functional Analysis*, vol. 89, no. 1, pp. 1–52, 1990. View at Publisher · View at Google Scholar · View at MathSciNet - Z. Han, “Asymptotic approach to singular solutions for nonlinear elliptic equations involving critical Sobolev exponent,”
*Annales de l'Institut Henri Poincaré (C) Analyse Non Linéaire*, vol. 8, no. 2, pp. 159–174, 1991. View at Publisher · View at Google Scholar - B. Barrios, E. Colorado, A. de Pablo, and U. Sánchez, “On some critical problems for the fractional Laplacian operator,”
*Journal of Differential Equations*, vol. 252, no. 11, pp. 6133–6162, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - M. Bhakta and D. Mukherjee, “Nonlocal scalar field equations: Qualitative properties, asymptotic profiles and local uniqueness of solutions,”
*Journal of Differential Equations*, vol. 266, no. 11, pp. 6985–7037, 2019. View at Publisher · View at Google Scholar - C. Bucur and M. Medina, “A fractional elliptic problem in RN with critical growth and convex nonlinearities,”
*Manuscripta Mathematica*, vol. 158, no. 3-4, pp. 371–400, 2019. View at Publisher · View at Google Scholar · View at MathSciNet - W. Choi and S. Kim, “Classification of finite energy solutions to the fractional Lane–Emden–Fowler equations with slightly subcritical exponents,”
*Annali di Matematica Pura ed Applicata*, vol. 196, no. 1, pp. 269–308, 2017. View at Publisher · View at Google Scholar - W. Choi, S. Kim, and K. Lee, “Asymptotic behavior of solutions for nonlinear elliptic problems with the fractional Laplacian,”
*Journal of Functional Analysis*, vol. 266, no. 11, pp. 6531–6598, 2014. View at Publisher · View at Google Scholar - S. Huang and Q. Tian, “Marcinkiewicz estimates for solution to fractional elliptic Laplacian equation,”
*Computers & Mathematics with Applications*, 2019. View at Publisher · View at Google Scholar - R. Servadei and E. Valdinoci, “The Brezis-Nirenberg result for the fractional Laplacian,”
*Transactions of the American Mathematical Society*, vol. 367, no. 1, pp. 67–102, 2015. View at Publisher · View at Google Scholar · View at MathSciNet - C. Brändle, E. Colorado, A. de Pablo, and U. Sánchez, “A concave—convex elliptic problem involving the fractional Laplacian,”
*Proceedings of the Royal Society of Edinburgh, Section: A Mathematics*, vol. 143, no. 1, pp. 39–71, 2013. View at Publisher · View at Google Scholar - S. Yan, J. Yang, and X. Yu, “Equations involving fractional laplacian operator: compactness and application,”
*Journal of Functional Analysis*, vol. 269, no. 1, pp. 47–79, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - L. A. Caffarelli and L. Silvestre, “An extension problem related to the fractional Laplacian,”
*Communications in Partial Differential Equations*, vol. 32, no. 7–9, pp. 1245–1260, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - X. Cabré and J. Tan, “Positive solutions of nonlinear problems involving the square root of the Laplacian,”
*Advances in Mathematics*, vol. 224, no. 5, pp. 2052–2093, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - M. Bhakta, D. Mukherjee, and S. Santra, “Profile of solutions for nonlocal equations with critical and supercritical nonlinearities,”
*Communications in Contemporary Mathematics*, vol. 21, no. 01, Article ID 1750099, 2019. View at Publisher · View at Google Scholar - K. Cerqueti and M. Grossi, “Local estimates for a semilinear elliptic equation with Sobolev critical exponent and application to a uniqueness result,”
*Nonlinear Differential Equations and Applications NoDEA*, vol. 8, no. 3, pp. 251–283, 2001. View at Publisher · View at Google Scholar - N. Abatangelo and E. Valdinoci, “Getting acquainted with the fractional laplacian, contemporary research in elliptic PDEs and related topics,” vol. 33 of
*Springer INdAM Ser*, Springer, Cham, Switzerland, 2019. View at Google Scholar - R. Musina and A. I. Nazarov, “On fractional laplacians,”
*Communications in Partial Differential Equations*, vol. 39, no. 9, pp. 1780–1790, 2014. View at Publisher · View at Google Scholar - R. Servadei and E. Valdinoci, “On the spectrum of two different fractional operators,”
*Proceedings of the Royal Society of Edinburgh, Section: A Mathematics*, vol. 144, no. 4, pp. 831–855, 2014. View at Publisher · View at Google Scholar · View at MathSciNet - T. Jin, Y. Li, and J. Xiong, “On a fractional Nirenberg problem, part I: blow up analysis and compactness of solutions,”
*Journal of the European Mathematical Society*, vol. 16, no. 6, pp. 1111–1171, 2014. View at Publisher · View at Google Scholar