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.

Nonlinear Dirac Equations, Monotonicity Formulas and Liouville Theorems

A class of fully nonlinear equations arising from conformal geometry

Nonlinear Dirac equations on Riemann surfaces

Hermitian Harmonic Maps and Non-Degenerate Curvatures

Quantization for a Nonlinear Dirac Equation

Liouville theorems for conformally invariant fully nonlinear equations. I

Liouville Theorems for Dirac-Harmonic Maps

Mathematik in den Naturwissenschaften Leipzig Dirac-Harmonic Maps

On a Nonlinear Equation Related to the Geometry of the Diffeomorphism Group

Nonlinear Dirichlet forms, energy spaces, and calculus rules

Nonlinear Dirac equations with Coulomb-type potentials and nonlinearities resonating at essential spectrums

The Dirichlet Problem of Fully Nonlinear Equations on Hermitian Manifolds

Some aspects of Dirac-harmonic maps with curvature term

Admissible Solutions for Dirac Equations with Singular and Non-Monotone Nonlinearity

Gradient Bounds and Liouville theorems for Quasi-linear equations on compact Manifolds with nonnegative Ricci curvature

Nonlinear Dirac equations and nonlinear gauge transformations

Stationary Solutions for A Superlinear Dirac Equation

An integrable evolution equation in geometry

Existence and Nonexistence Results for Quasilinear Schrödinger Equations with a General Nonlinear Term

From Harmonic Maps to the Nonlinear Supersymmetric Sigma Model of Quantum Field Theory: at the Interface of Theoretical Physics, Riemannian Geometry, and Nonlinear Analysis

Energy methods for Dirac-type equations in two-dimensional Minkowski space