[Paper Review] Splitting theorems, symmetry results and overdetermined problems for Riemannian manifolds

Alberto Farina, Luciano Mari+1 more|arXiv (Cornell University)|Oct 21, 2012

Geometric Analysis and Curvature Flows25 references4 citations

TL;DR

This paper presents a unified framework for studying splitting theorems, symmetry results, and overdetermined elliptic problems on Riemannian manifolds with non-negative Ricci curvature. By analyzing stable solutions to the semilinear equation $-\Delta u = f(u)$, it establishes that such manifolds must split isometrically as $N \times \mathbb{R}$, with the solution depending only on the $\mathbb{R}$-factor, under growth or parabolicity conditions on the gradient of $u$. The key contribution is a refined geometric Poincaré inequality that unifies these three classical problems in a general Riemannian setting.

ABSTRACT

Our work proposes a unified approach to three different topics in a general Riemannian setting: splitting theorems, symmetry results and overdetermined elliptic problems. By the existence of a stable solution to the semilinear equation $-Δu = f(u)$ on a Riemannian manifold with non-negative Ricci curvature, we are able to classify both the solution and the manifold. We also discuss the classification of monotone (with respect to the direction of some Killing vector field) solutions, in the spirit of a conjecture of De Giorgi, and the rigidity features for overdetermined elliptic problems on submanifolds with boundary.

Motivation & Objective

• To unify the study of splitting theorems, symmetry results, and overdetermined elliptic problems in a general Riemannian setting.
• To classify stable, non-constant solutions $u$ of $-\Delta u = f(u)$ on complete, non-compact Riemannian manifolds with $\mathrm{Ric} \geq 0$.
• To establish rigidity conditions under which the manifold splits isometrically as $N \times \mathbb{R}$, with $u$ depending only on the $\mathbb{R}$-factor.
• To extend these results to manifolds with boundary, particularly in the context of overdetermined problems involving Killing vector fields.
• To provide a refined geometric Poincaré inequality as a central tool for unifying these three topics.

Proposed method

• Utilizes a refined geometric Poincaré inequality (Proposition 16) to control the $L^2$-norm of gradients and relate them to volume growth.
• Applies stability of solutions to the semilinear equation $-\Delta u = f(u)$ to deduce structural constraints on the manifold and solution.
• Employs parabolicity conditions and energy growth estimates (e.g., $\int_{B_R} |\nabla u|^2 \, dx = o(R^2 \log R)$) to classify the manifold's splitting structure.
• Uses Killing vector fields to define monotonicity and boundary behavior, particularly in overdetermined problems on manifolds with boundary.
• Applies the maximum principle and strong maximum principle to $w_t = u_t - u_{t+\varepsilon}$ to prove monotonicity of $u$ in the direction of the Killing field.
• Employs a limiting procedure via exhaustion and uniform elliptic estimates to construct a global solution $u$ on $\Omega$ with $0 < u < \lambda$ and $\langle \nabla u, X \rangle > 0$.

Experimental results

Research questions

• RQ1 Under what conditions does a complete, non-compact Riemannian manifold with $\mathrm{Ric} \geq 0$ and a stable solution to $-\Delta u = f(u)$ split as $N \times \mathbb{R}$?
• RQ2 How does the growth of $|\nabla u|$ or the parabolicity of the manifold constrain the splitting and the dependence of $u$ on the $\mathbb{R}$-factor?
• RQ3 What is the role of Killing vector fields in establishing monotonicity and symmetry of solutions in overdetermined problems on manifolds with boundary?
• RQ4 Can the classification of manifolds that admit no stable non-constant solutions be fully characterized via the energy growth condition $\int_{B_R} |\nabla u|^2 \, dx = o(R^2 \log R)$?
• RQ5 To what extent does the refined geometric Poincaré inequality unify results across splitting theorems, symmetry theorems, and overdetermined problems?

Key findings

• If $M$ is parabolic and $\nabla u \in L^\infty(M)$, then $M = N \times \mathbb{R}$ with $\mathrm{Ric}^N \geq 0$ and $u$ depends only on $t \in \mathbb{R}$, satisfying $y'' = -f(y)$.
• If $\int_{B_R} |\nabla u|^2 \, dx = o(R^2 \log R)$, then $\mathrm{vol}(B_R^N) = o(R^2 \log R)$, and $\int_{-R}^R |y'(t)|^2 \, dt = o\left(\frac{R^2 \log R}{\mathrm{vol}(B_R^N)}\right)$.
• For $m=2$, $M \in \mathcal{F}_2$ if and only if $M$ is neither $\mathbb{R}^2$ nor $\mathbb{S}^1 \times \mathbb{R}$ with the flat metric.
• For $m \geq 3$, if $M \not\in \mathcal{F}_2$, then $M$ splits as $N^{m-1} \times \mathbb{R}$ with $N \in \mathcal{F}_2$, and $\mathrm{vol}(B_R^N) = o(R^2 \log R)$.
• In the case of manifolds with boundary, the existence of a good Killing field $X$ ensures that $\langle \nabla u, X \rangle > 0$ on $\Omega$, implying strict monotonicity of $u$ in the direction of $X$.
• The limiting procedure via exhaustion and uniform elliptic estimates yields a global solution $u$ on $\Omega$ with $0 < u < \lambda$, $u = 0$ on $\partial\Omega$, and $\langle \nabla u, X \rangle > 0$ on $\Omega$.