Abstract:In this paper, we are concerned with the critical order Hénon-Lane-Emden type equations with Navier boundary condition on a half space $\mathbb{R}^n_+$: \begin{equation}\label{NPDE0}\\\begin{cases} (-\Delta)^{\frac{n}{2}} u(x)=f(x,u(x)),\ u(x)\geq0,\ x\in\mathbb{R}^{n}_+, \\ u=(-\Delta)u = \cdots = (-\Delta)^{\frac{n}{2}-1}u = 0,\ x\in\partial\mathbb{R}^{n}_+, \end{cases}\end{equation} where $u\in C^{n}(\mathbb{R}^{n}_+)\cap C^{n-2}(\overline{\mathbb{R}^{n}_+})$ and $n\geq2$ is even. We first consider the typical case $f(x,u)=|x|^{a}u^{p}$ with $0\leq a<\infty$ and $1<p<\infty$. We prove the super poly-harmonic properties and establish the equivalence between (0.1) and the corresponding integral equations \begin{equation}\label{IE0} u(x)=\int_{\mathbb{R}^{n}_+}G(x,y)f(y,u(y))dy, \end{equation} where $G(x,y)$ denotes the Green's function for $(-\Delta)^{\frac{n}{2}}$ on $\mathbb{R}^n_+$ with Navier boundary conditions. Then, we establish Liouville theorem for (0.2) via ``the method of scaling spheres" developed initially in \cite{DQ0} by Dai and Qin, and hence we obtain the Liouville theorem for (0.1) on $\mathbb{R}^n_+$. As an application of the Liouville theorem on $\mathbb{R}^n_+$ (Theorem 1.6) and Liouville theorems in $\mathbb{R}^{n}$ established in Chen, Dai and Qin [4] for $n\geq4$ and Bidaut-Véron and Giacomini [1] for $n=2$, we derive a priori estimates and existence of positive solutions to critical order Lane-Emden equations in bounded domains for all $n\geq2$ and $1<p<\infty$. Extensions to IEs and PDEs with general nonlinearities $f(x,u)$ are also included.

LIOUVILLE-TYPE THEOREM FOR HIGH ORDER DEGENERATE LANE-EMDEN SYSTEM

A Liouville theorem for high order degenerate elliptic equations

Liouville-type Theorems for Higher-Order Lane–Emden System in Exterior Domains

Liouville-type Theorems for Subharmonic Functions on Complete Manifolds

Non-degeneracy of solution for critical Lane-Emden systems with linear perturbation

Liouville type theorem for critical order Hénon-Lane-Emden type equations on a half space and its applications

A LIOUVILLE THEOREM FOR THE SUBCRITICAL LANE-EMDEN SYSTEM

Liouville Theorems for Integral Systems Related to Fractional Lane-Emden Systems in R N + ∗

Liouville Theorems for Integral Systems Related to Fractional Lane-Emden Systems in $\Mathbb{r}^n_+$

Liouville type theorems involving fractional order systems

Liouville theorems for the sub-linear Lane–Emden equation on the half space

Liouville theorems of solutions to mixed order Hénon-Hardy type system with exponential nonlinearity

A Liouville Theorem of Degenerate Elliptic Equation and Its Application

Liouville Type Theorems for Positive Solutions of Elliptic System in ℝN

Sharp criteria of Liouville type for some nonlinear systems

Non-degeneracy of solution for critical Lane–Emden systems with linear perturbation

Liouville type theorems for subelliptic systems on the Heisenberg group with general nonlinearity

Sharp estimates, uniqueness and nondegeneracy of positive solutions of the Lane-Emden system in planar domains

Liouville type theorem for a system of elliptic inequalities on weighted graphs without ( p 0 )-condition

Lyapunov-type Inequalities for Even Order Differential Equations

A Liouville theorem for subcritical Lane-Emden system