Proof of the Hénon-Lane-Emden conjecture in \(\mathbb{R}^3\) (Q1993963)

This paper deals with the Hénon-Lane-Emden conjecture \(C\) for the semilinear elliptic system \[ \begin{aligned} -\Delta u &=|x|^a v^p,\\ -\Delta v &=|x|^b u^q,\end{aligned}\quad x\in\mathbb{R}^N,\tag{1} \] \(N\geq 2\), \(p,q>0\), \(a,b\in\mathbb{R}\). The pair \((p,q)\) is called subcritical if \(\frac{N+a}{p+1}+\frac{N+b}{q+1}>N-2\). \(C\) claims that the system (1) has no positive classical solutions \(u\), \(v\), i.e., \(u>0\), \(v>0\) in \(\mathbb{R}^N\setminus 0\) for subcritical \((p,q)\). In Theorem 1.1. this conjecture is completely solved for \(N=3\). As a corollary the scalar equation \(-\Delta u=|x|u^p\) has no positive classical solutions for \(N=3\) when \(p\) lies below the Hardy-Sobolev exponent. This way the conjecture of Phan-Souplet is proved in \(\mathbb{R}^3\). We note that in the previous results no growth or decay conditions are imposed on the solutions.