Liouville-type theorems for the fourth order nonlinear elliptic equation (Q2437983)

The goal of this work focuses on Liouville theorem for both a class of stable solutions and a class of finite Morse index solutions. Precisely, the author considers the nonlinear equation \[ (*): \Delta^2u=|x|^a|u|^{p-1}u,\text{ for }x\in\Omega \] an unbounded set of \(\mathbb R^n\), such that \(a\) is a positive number, \(p>1\), \(n\geq 5\). The author shows that if \(u\) is a smooth stable solution of \((*)\) in \(\mathbb R^n\) for \(p<p_a(n)\) (this upper bound of \(p\) is given in terms of the largest root of an explicit cubic equation), then \(u\) vanishes. Regarding the proof, the author shows that a smooth stable solution \(u\) vanishes in the following three cases. 1) The subcritical case, specially when \(1<p<\frac{n+4+2a}{n-4}\), the author uses the third inequality of Lemma 2.2, which states that, \(\varphi(x):=\int_{B_R(x)}\big(|\Delta u|^2+|y|^a|u|^{p+1}\big)dy\) goes to zero for a large radius \(R\) of the ball centered at \(x\), \(B_R(x)\). 2) The critical case \(p=\frac{n+4+2a}{n-4}\), the author uses the second inequality of the Lemma 2.2 and shows that \(\varphi(x)\) vanishes. 3) The supercritical case \(\frac{n+4+2a}{n-4}<p<p_a(n)\), the author sets up a non-decreasing energy function -- given explicitly --, see Theorem 2.1, and later the author shows that (on \(B_R(x)\setminus\{0\}\)) \(u\) is homogeneous of degree \(-\frac{4+a}{p-1}\). Subsequently, the author applies Theorem 3.1 which copes with a non-existence result of homogeneous stable solution associated to \((*)\). Then, the author substitutes smooth stable solutions by smooth solutions with a finite Morse index and obtains both a null solution of \((*)\) for \(p\neq\frac{n+4+2a}{n-4}\) and a solution of \((*)\) with a finite energy for the case \(p=\frac{n+4+2a}{n-4}\), this by using a Pohozaev-type identity.