Classification results of Liouville equations and rigidity of Riemannian surfaces

Abstract: We study the Liouville equation $\triangle u+e^{2u} =0$ in a Riemannian surface $(M, g)$ with nonnegative $Ricci$ curvature. Under some asymptotic lower bound assumptions, we classify all the solutions to this equation, meanwhile we obtain the rigidity results for the ambient manifold. Note that our assumptions are optimal in some sense and differ from the classical assumption of finite total curvature.

• The paper establishes that any C^3 solution to the Liouville equation under explicit growth bounds must conform to classical Chen–Li solutions.
• Using the P-function technique, the study derives sharp pointwise lower bounds that enforce global geometric rigidity on noncompact surfaces.
• The results exclude non-standard geometries, proving that surfaces satisfying the decay conditions are either isometric or conformal to the Euclidean plane.

Classification of Liouville Equations and Rigidity on Riemannian Surfaces

Introduction and Background

This paper investigates the classification of $C^3$ solutions to the Liouville equation

$\triangle u + e^{2u} = 0$

on complete, connected, non-compact, boundaryless 2-dimensional Riemannian manifolds $(M, g)$ with nonnegative Ricci curvature. While classical results such as those by Chen and Li require the finite total curvature assumption ($\int_{\mathbb{R}^2} e^{2u} < \infty$), this work focuses on classifying solutions in the absence of this constraint by imposing explicit pointwise lower bounds on the solution's growth at infinity.

The study further establishes rigidity results for the underlying geometry of the manifold, showing that certain classifying conditions on $u$ tightly constrain the topology and geometry of $M$. This approach leverages sharp asymptotic lower bounds on $u$ rather than integrability conditions.

Main Results

The core contributions consist of two classification theorems:

• Theorem 1: If $u\in C^3(M)$ satisfies

$u(x) \geq -2 \ln\left( r(x) F^\alpha(r(x)) \right)$

for $r(x) > c$ (the geodesic distance from a fixed point, with $\triangle u + e^{2u} = 0$0 satisfying a technical divergence condition, and $\triangle u + e^{2u} = 0$1 arbitrary), then $\triangle u + e^{2u} = 0$2 must be isometric to $\triangle u + e^{2u} = 0$3 and $\triangle u + e^{2u} = 0$4 coincides with the classical solutions classified by Chen and Li, i.e.,

$\triangle u + e^{2u} = 0$5

with $\triangle u + e^{2u} = 0$6.

• Theorem 2: If for some arbitrary $\triangle u + e^{2u} = 0$7,

$\triangle u + e^{2u} = 0$8

for $\triangle u + e^{2u} = 0$9, then $(M, g)$0 is necessarily conformal to the Euclidean plane $(M, g)$1.

Both results are proven to be sharp, as the bounds cannot be relaxed without loss of the aforementioned rigidity and classification properties. Explicit counterexamples from the literature demonstrate the optimality.

Methodology and Analytical Framework

The proof strategy employs the $(M, g)$2-function technique, focusing on the auxiliary function $(M, g)$3, for which the Liouville equation transforms into

$(M, g)$4

and $(M, g)$5 is constructed.

A pivotal technical lemma establishes that

$(M, g)$6

with $(M, g)$7 a symmetric, trace-free matrix encoding the deviation of the Hessian of $(M, g)$8 from its mean curvature. Under nonnegative Ricci curvature, and leveraging Bishop-Gromov comparison for volume growth estimates, integral inequalities are derived for $(M, g)$9 and $\int_{\mathbb{R}^2} e^{2u} < \infty$0 over geodesic balls.

The analysis is anchored to a generalized Liouville-type theorem for subharmonic functions: whenever $\int_{\mathbb{R}^2} e^{2u} < \infty$1 is a positive nonconstant solution with $\int_{\mathbb{R}^2} e^{2u} < \infty$2 (thanks to the established lemma and Ricci $\int_{\mathbb{R}^2} e^{2u} < \infty$3), severe restrictions on the growth of $\int_{\mathbb{R}^2} e^{2u} < \infty$4 and thus $\int_{\mathbb{R}^2} e^{2u} < \infty$5 and $\int_{\mathbb{R}^2} e^{2u} < \infty$6 acquire. The approach allows the deduction of global geometric rigidity or, alternatively, constrains the conformal class of the manifold.

A critical element in the proof of Theorem 2 is the exclusion of the flat cylinder—for which volume growth is linear—by showing that the imposed lower bound on $\int_{\mathbb{R}^2} e^{2u} < \infty$7 precludes such geometry, forcing $\int_{\mathbb{R}^2} e^{2u} < \infty$8 to be conformal to the plane.

Numerical and Structural Significance

The results tightly control the structure of solutions at infinity. Notably:

• The coefficient $\int_{\mathbb{R}^2} e^{2u} < \infty$9 in the lower bound for $u$0 is proven optimal.
• Any solution exceeding the pointwise decay threshold in Theorem 1 must reduce to the classical family described above.
• The weakened bound ($u$1 with $u$2) allows only manifolds conformal to the plane, excluding more restrictive isometric rigidity but still enforcing strong structural constraints.

These findings are corroborated by explicit examples and counterexamples from the contemporary literature, specifically those in [CL2024] and related works.

Theoretical and Practical Implications

The analytic techniques extend classification paradigms for semilinear geometric PDEs, particularly in the absence of integrability conditions on the nonlinearity. The rigidity results emphasize the close interplay between the behavior of solutions to geometric PDEs and the global geometry of the ambient manifold.

On a broader level, the methodology and results inform:

• Uniqueness and structure of conformal metrics with prescribed curvature, linking analytic growth conditions to geometric rigidity.
• Extensions to higher dimensional analogs or more general nonlinear equations, where similar $u$3-function methods may yield new classification or rigidity theorems (see, e.g., higher Yamabe-type or quasilinear equations).
• Further investigations in geometric analysis where pointwise (rather than integral) control on solutions can enforce sharp global geometric properties.

Future Directions

Possible avenues for extension include:

• Studying Liouville-type equations on higher-dimensional manifolds or those with weaker curvature constraints.
• Considering asymptotic conditions on $u$4 that interpolate between the optimal bounds in Theorems 1 and 2.
• Applying $u$5-function techniques to analyze critical points and nodal sets in the context of geometric flows related to conformal deformation or mean curvature.

Progress in these directions may further clarify the landscape of solution spaces for geometric semilinear PDEs, and reinforce the deep interdependence between analysis and geometry in global surface theory.

Conclusion

This work establishes optimal classification and rigidity results for the Liouville equation on non-compact Riemannian surfaces with nonnegative Ricci curvature, under sharp asymptotic lower bounds. The analytical framework based on $u$6-function methods proves highly effective, yielding both precise structural constraints on solutions and significant geometric rigidity of the underlying surface. The results open routes for analogous analyses in other geometric PDEs and for exploring the threshold phenomena between classification, rigidity, and the geometry of the ambient manifold.