Sobolev inequalities for the Hardy–Schrödinger operator: extremals and critical dimensions

详细信息    查看全文

• 作者：Nassif Ghoussoub ; Frédéric Robert
• 关键词：Hardy–Schrodinger operator ; Boundary singularity ; Sobolev inequalities ; Caffarelli–Kohn–Nirenberg inequalities ; Positive mass theorem
• 刊名：Bulletin of Mathematical Sciences
• 出版年：2016
• 出版时间：April 2016
• 年：2016
• 卷：6
• 期：1
• 页码：89-144
• 全文大小：868 KB
• 刊物主题：Mathematics, general;
• 出版者：Springer Basel
• ISSN：1664-3615

文摘

In this survey paper, we consider variational problems involving the Hardy–Schrödinger operator \(L_\gamma :=-\Delta -\frac{\gamma }{|x|^2}\) on a smooth domain \(\Omega \) of \(\mathbb {R}^n\) with \(0\in \overline{\Omega }\), and illustrate how the location of the singularity 0, be it in the interior of \(\Omega \) or on its boundary, affects its analytical properties. We compare the two settings by considering the optimal Hardy, Sobolev, and the Caffarelli–Kohn–Nirenberg inequalities. The latter can be stated as: $$\begin{aligned} C\left( \int _{\Omega }\frac{u^{2^*(s)}}{|x|^s}dx\right) ^{\frac{2}{2^*(s)}}\le \int _{\Omega } |\nabla u|^2dx-\gamma \int _{\Omega }\frac{u^2}{|x|^2}dx \quad \hbox {for all } u\in H^1_0(\Omega ), \end{aligned}$$where \(\gamma <\frac{n^2}{4},\, s\in [0,2)\) and \(2^\star (s):=\frac{2(n-s)}{n-2}\). We address questions regarding the explicit values of the optimal constant \(C:=\mu _{\gamma , s}(\Omega )\), as well as the existence of non-trivial extremals attached to these inequalities. Scale invariance properties often lead to situations where the best constants \(\mu _{\gamma , s}(\Omega )\) do not depend on the domain, and hence they are not attainable. We consider two different approaches for “breaking the homogeneity” of the problem, and restoring compactness. One approach was initiated by Brezis–Nirenberg, when \(\gamma =0\) and \(s=0\), and by Janelli, when \(\gamma >0\) and \(s=0\). It is suitable for the case where the singularity 0 is in the interior of \(\Omega \), and consists of considering lower order perturbations of the critical nonlinearity. The other approach was initiated by Ghoussoub–Kang for \(\gamma =0,\, s>0\), and by C.S. Lin et al. and Ghoussoub–Robert, when \(\gamma \ne 0, s\ge 0\). It consists of considering domains, where the singularity 0 is on the boundary. Both of these approaches are rich in structure and in challenging problems. If \(0\in \Omega \), then a negative linear perturbation suffices for higher dimensions, while a positive “Hardy-singular interior mass” theorem for the operator \(L_\gamma \) is required in lower dimensions. If the singularity 0 belongs to the boundary \(\partial \Omega \), then the local geometry around 0 (convexity and mean curvature) plays a crucial role in high dimensions, while a positive “Hardy-singular boundary mass” theorem is needed for the lower dimensions. Each case leads to a distinct notion of critical dimension for the operator \(L_\gamma \). Keywords Hardy–Schrodinger operator Boundary singularity Sobolev inequalities Caffarelli–Kohn–Nirenberg inequalities Positive mass theorem Communicated by Neil Trudinger.