Semilinear biharmonic problems with a singular term (Q741517)

The aim of this work is to determine a critical threshold exponent \(p\) to have solvability of the following problem, \[ \begin{cases} \Delta^2u = \lambda\frac{u}{|x|^4}+u^p+cf &\text{in }\Omega, \\ u>0 &\text{in } \Omega,\\ u=-\Delta^2u=0 &\text{on } \partial\Omega,\end{cases}\tag{1} \] where \(p>1, \lambda>0, c>0,\) and \(\Omega\subset \mathbb R^N, N>4,\) is a smooth and bounded domain such that \(0\in\Omega\). We denote \[ \Lambda_N=\Bigl(\frac{N^2(N-4)^2}{16}\Bigr)\,, \] \[ \alpha_\pm(\lambda)=\frac{N-4}{2} \pm \frac{1}{2} \sqrt{(N^2-4N+8)-4\sqrt{(N-2)^2+\lambda} }\,, \] \[ p_\pm(\lambda)=1+\frac{4}{\alpha_\mp}\,. \] The main results of this article are Theorem 4.1. If \(\lambda>\Lambda_N\) and \(p>1\), or \(0<\lambda\leq \Lambda_N\) and \(p\geq p_+(\lambda)\), then the problem (1) has no positive distributional supersolution \(u\) satisfying \(-\Delta u\geq 0\) in the sense of distributions. In case that \(f\equiv 0\), the unique nonnegative distributional supersolution is \(u\equiv 0\). Theorem 5.1. Let \(u_n\in L^1(\Omega)\cap L^p(\Omega)\) be a positive solution to the problem \[ \begin{cases} \Delta^2u_n = \frac{u_n^p}{1+\frac{1}{n} u_n^p}+ \lambda a_n(x)u_n+cf &\text{in }\Omega,\\ u_n=-\Delta u_n=0&\text{on }\partial\Omega,\end{cases}\tag{2} \] with \(f\not= 0\), and \(a_n(x)=\frac{1}{|x|^4+\frac{1}{n}}\). We consider \(\lambda>\Lambda_N\) and \(p>1\), or \(0<\lambda\leq\Lambda_N\) and \(p\geq p_+(\lambda)\). Then \(u_n(x_0)\to \infty\), \(\forall x_0\in \Omega\). A Moreau type decomposition and a Picone inequality are used in the nonexistence proofs. In the last section authors suppose that \(f(x)\leq \frac{c_0}{|x|^4}\) with \(c_0>0\) and sufficiently small and use a comparison principle to prove existence of solutions to problem (1) for \(p<p_+(\lambda)\) as a limit of approximated problems.