[Paper Review] An Extension of Barta's Theorem and Geometric Applications

G. Pacelli Bessa, J. Fábio Montenegro|ArXiv.org|Aug 11, 2003

Geometric Analysis and Curvature Flows13 references4 citations

TL;DR

This paper extends Barta's theorem to Riemannian manifolds with weakly differentiable vector fields, establishing a new lower bound for the fundamental tone $\lambda^*(M)$ in terms of the infimum of $\text{Div}\,X - |X|^2$ over $\mathcal{W}^{1,1}$ vector fields. The key contribution is a generalized eigenvalue comparison principle that extends Cheng's and Cheng-Li-Yau's results to geodesic balls with null cut locus measure and provides a converse stability theorem for minimal hypersurfaces in Euclidean space.

ABSTRACT

We prove an extension of a theorem of Barta then we make few geometric applications. We extend Cheng's lower eigenvalue estimates of normal geodesic balls. We generalize Cheng-Li-Yau eigenvalue estimates of minimal submanifolds of the space forms. We prove an stability theorem for minimal hypersurfaces of the Euclidean space, giving a converse statement of a result of Schoen. Finally we prove a generalization of a result of Kazdan-Kramer about existence of solutions of certain quasi-linear elliptic equations.

Motivation & Objective

• To generalize Barta's theorem beyond smooth vector fields to weakly differentiable ones in $\mathcal{W}^{1,1}(M)$, enabling broader geometric applications.
• To extend Cheng’s eigenvalue comparison theorem for geodesic balls in Riemannian manifolds to cases where the cut locus has zero $(n-1)$-Hausdorff measure.
• To establish a converse stability result for minimal hypersurfaces in $\mathbb{R}^n$, complementing Schoen’s theorem.
• To generalize Kazdan-Kramer’s existence results for quasi-linear elliptic equations via a transformation to the $\triangle u - |\text{grad}\,u|^2 = F$ form.
• To unify and strengthen spectral comparison theorems using weak divergence and Sobolev space techniques in Riemannian geometry.

Proposed method

• Define weak divergence $\text{Div}\,X$ for $X \in L^1_{\text{loc}}(M)$ via integration by parts against $C^\infty_0(M)$ test functions.
• Introduce the space $\mathcal{W}^{1,1}(M)$ of vector fields with weak divergence and derive the identity $\text{Div}(fX) = \langle \text{grad}\,f, X \rangle + f\,\text{Div}\,X$ for $f \in C^1(M)$.
• Derive the main inequality $\lambda^*(M) \geq \sup_{\mathcal{W}^{1,1}} \left\{ \inf_M (\text{Div}\,X - |X|^2) \right\}$ using variational principles and test functions.
• Apply the extended Barta-type inequality to geodesic balls by constructing suitable vector fields related to radial vector fields and cut locus measure conditions.
• Transform the eigenvalue problem $\triangle f + Ff = 0$ into $\triangle u - |\text{grad}\,u|^2 = F$ via $u = -\log f$, enabling application to quasi-linear PDEs.
• Use spectral theory and Green's identity to analyze existence and non-existence of solutions to $\triangle u - |\text{grad}\,u|^2 = F$ with infinite boundary data.

Experimental results

Research questions

• RQ1 Can Barta’s theorem be extended to vector fields with only weak differentiability, beyond $C^1$?
• RQ2 Under what geometric conditions does Cheng’s eigenvalue comparison for geodesic balls hold when the cut locus has positive measure?
• RQ3 Is there a converse to Schoen’s stability result for minimal hypersurfaces in $\mathbb{R}^n$?
• RQ4 What conditions ensure existence of solutions to the quasi-linear PDE $\triangle u - |\text{grad}\,u|^2 = F$ with infinite boundary data?
• RQ5 How does the generalized Barta inequality refine eigenvalue estimates in minimal submanifolds of space forms?

Key findings

• The fundamental tone $\lambda^*(M)$ satisfies $\lambda^*(M) \geq \sup_{\mathcal{W}^{1,1}} \left\{ \inf_M (\text{Div}\,X - |X|^2) \right\}$, extending Barta’s theorem to weak vector fields.
• For geodesic balls $B_N(p,r)$ with $\mathcal{H}^{n-1}(\text{Cut}(p) \cap B_N(p,r)) = 0$, the inequality $\lambda^*(B_N(p,r)) \geq \lambda_1(B_{\mathbb{N}^n(c)}(r))$ holds, generalizing Cheng’s result.
• Equality in the eigenvalue comparison occurs if and only if $B_N(p,r)$ and $B_{\mathbb{N}^n(c)}(r)$ are isometric.
• A stability theorem for minimal hypersurfaces in $\mathbb{R}^n$ is proven: if the first eigenvalue of the stability operator is positive, then the hypersurface is stable, providing a converse to Schoen’s result.
• For the quasi-linear PDE $\triangle u - |\text{grad}\,u|^2 = F$ with $u = +\infty$ on $\partial M$, a solution exists only if $\inf_M F \leq \lambda_1(M) \leq \sup_M F$, with equality only if $F$ is constant and equal to $\lambda_1(M)$.
• For the PDE $\triangle u - |\text{grad}\,u|^2 = F$ with $u = \psi$ on $\partial M$, a solution exists if $\sup_M F < \lambda_1(M)$, and if a solution exists, then $\inf_M F < \lambda_1(M)$.