The Hardy-Schrödinger operator with interior singularity: The remaining cases

Abstract

We consider the remaining unsettled cases in the problem of existence of energy minimizing solutions for the Dirichlet value problem $L_γu-λu=\frac{u^{2^*(s)-1}}{|x|^s}$ on a smooth bounded domain $Ω$ in $\mathbb{R}^n$ ($n\geq 3$) having the singularity $0$ in its interior. Here $γ<\frac{(n-2)^2}{4}$, $0\leq s <2$, $2^*(s):=\frac{2(n-s)}{n-2}$ and $0\leq λ<λ_1(L_γ)$, the latter being the first eigenvalue of the Hardy-Schrödinger operator $L_γ:=-Δ-\fracγ{|x|^2}$. There is a threshold $λ^*(γ, Ω) \geq 0$ beyond which the minimal energy is achieved, but below which, it is not. It is well known that $λ^*(Ω) = 0$ in higher dimensions, for example if $0\leq γ\leq \frac{(n-2)^2}{4}-1$. Our main objective in this paper is to show that this threshold is strictly positive in "lower dimensions" such as when $ \frac{(n-2)^2}{4}-1<γ<\frac{(n-2)^2}{4}$, to identify the critical dimensions (i.e., when the situation changes), and to characterize it in terms of $Ω$ and $γ$. If either $s>0$ or if $γ> 0$, i.e., in {\it the truly singular case}, we show that in low dimensions, a solution is guaranteed by the positivity of the "Hardy-singular internal mass" of $Ω$, a notion that we introduce herein. On the other hand, and just like the case wnen $γ=s=0$ studied by Brezis-Nirenberg and completed by Druet, $n=3$ is the critical dimension, and the classical positive mass theorem is sufficient for the {\it merely singular case}, that is when $s=0$, $γ\leq 0$.