Abstract:A fundamental theorem of Liouville asserts that positive entire harmonic functions in Euclidean spaces must be constant. A remarkable Liouville-type theorem of Caffarelli-Gidas-Spruck states that positive entire solutions of $-\Delta u=u^{ {(n+2)}/{(n-2)} }$, $n\ge 3$, are unique modulo Möbius transformations. Far-reaching extensions were established for general fully nonlinear conformally invariant equations through the works of Chang-Gursky-Yang, Li-Li, Li, and Viaclovsky. In this paper, we derive necessary and sufficient conditions for the validity of such Liouville-type theorems. This leads to necessary and sufficient conditions for local gradient estimates of solutions to hold, assuming a one-sided bound on the solutions, for a wide class of fully nonlinear elliptic equations involving Schouten tensors. A pivotal advancement in proving these Liouville-type theorems is our enhanced understanding of solutions to such equations near isolated singularities. In particular, we utilize earlier results of Caffarelli-Li-Nirenberg on lower- and upper-conical singularities. For general conformally invariant fully nonlinear elliptic equations, we prove that a viscosity super- (sub-)solution can be extended across an isolated singularity if and only if it is a lower- (upper-)conical singularity. We also provide necessary and sufficient conditions for lower- (upper-)conical behavior of a function near isolated singularities in terms of its conformal Hessian. As an application of our Liouville theorems and local gradient estimates, we establish new existence and compactness results for conformal metrics on a closed Riemannian manifold with prescribed symmetric functions of the Schouten (Ricci) tensor, allowing the scalar curvature of the conformal metrics to have varying signs.

Liouville Theorem with Boundary Conditions from Chern--Gauss--Bonnet Formula

Interior Curvature Bounds for A Class of Curvature Equations

Liouville Theorem for $k-$curvature equation with fully nonlinear boundary in half space

Liouville-type Theorems for Subharmonic Functions on Complete Manifolds

Liouville theorems for conformally invariant fully nonlinear equations. I

A Liouville Theorem for Conformal Gaussian Curvature Type Equations in $${{\Mathbb{r}}^2}$$

Liouville equations on complete surfaces with nonnegative Gauss curvature

Liouville Type Theorems Of Semilinear Equations With Square Sum Of Vector Fields

An area growth estimate of the Liouville equation

Liouville Theorems for critical points of the p-Ginzburg-Landau type functional

A Liouville Type Theorem to an Extension Problem Relating to the Heisenberg Group

Liouville Theorem for Bounded Harmonic Functions on Graphs Satisfying Non-Negative Curvature Dimension Condition

Liouville theorem for elliptic equations involving the sum of the function and its gradient in $\mathbb R^n$

Liouville theorems on the upper half space

Liouville Theorem for Bounded Harmonic Functions on Manifolds and Graphs Satisfying Non-Negative Curvature Dimension Condition

Liouville-Type Theorems for Conformal Gaussian Curvature Equations in R 2

A Liouville theorem for an integral equation of the Ginzburg-Landau type

A Liouville Type Theorem for a Variational Problem with Free Boundary in Three Dimensions

Concentration Solutions to the Singularly Prescribed Gaussian and Geodesic Curvatures Problem

Liouville type theorems for elliptic equations with Dirichlet conditions in exterior domains

Liouville type theorem for higher order Hénon equations on a half space