Revisiting an idea of Brézis and Nirenberg (Q990169)

Let \(n\geq 3\) and \(\Omega\) be a \(C^1\) bounded domain in \(\mathbb R^n\) with \(0\in\partial\Omega\). Suppose \(\partial\Omega\) is \(C^2\) at 0 and the mean curvature of \(\partial\Omega\) at 0 is negative, we prove the existence of positive solutions for the equation: \[ \begin{cases} \Delta u+\lambda u^{\frac{n+2}{n-2}}+\frac{u^{2^*(s)-1}}{|x|^s}=0\quad &\text{in }\Omega,\\ u=0 &\text{on }\partial\Omega,\end{cases}\tag{1} \] where \(\lambda>0\), \(0<s<2\), \(2^*(s)=\frac{2(n-s)}{n-2}\) and \(n\geq 4\). For \(n=3\), the existence result holds for \(0<s<1\). Under the same assumption on the domain \(\Omega\), for \(p\leq 2^*(s)-1\), we also prove the existence of a positive solution for the following equation: \[ \begin{cases} \Delta u+\lambda u^p+\frac{u^{2^*(s)-1}}{|x|^s}=0\quad &\text{in }\Omega,\\ u=0 &\text{on }\partial\Omega,\end{cases}\tag{2} \] where \[ \lambda > 0 \text{ and }1\leq p<\tfrac{n}{n-2}. \]