Abstract:Let $\Sigma$ be a complete Riemannian manifold of nonnegative Ricci curvature. We prove a Liouville-type theorem: every smooth solution $u$ to minimal hypersurface equation on $\Sigma$ is a constant provided $u$ has sublinear growth for its negative part. Here, the sublinear growth condition is sharp. Our proof relies on a gradient estimate for minimal graphs over $\Sigma$ with small linear growth of the negative parts of graphic functions via iteration.
What problem does this paper attempt to address?
This paper aims to solve the problem regarding the Liouville - type theorem for minimal graphs on manifolds with non - negative Ricci curvature. Specifically, the author attempts to prove that on such manifolds, if a smooth solution \(u\) satisfies the sub - linear growth condition for its negative part, then \(u\) must be a constant.
### Background and Motivation
1. **Minimal Hypersurface Equation**:
- The paper studies the minimal hypersurface equation on a complete non - compact Riemannian manifold \(\Sigma\):
\[
\text{div}_\Sigma \left( \frac{Du}{\sqrt{1 + |Du|^2}} \right) = 0
\]
- This equation describes a minimal graph \(M=\{(x, u(x))\in\Sigma\times\mathbb{R}\mid x\in\Sigma\}\), where \(u\) is the height function.
2. **Existing Results**:
- When \(\Sigma\) is the Euclidean space \(\mathbb{R}^n\), many mathematicians have successfully studied this problem. For example, Bombieri - De Giorgi - Miranda proved that if the negative part of a minimal graph function \(u\) satisfies the sub - linear growth condition, then \(u\) is a constant.
- For manifolds with non - negative Ricci curvature, there are also similar results, but usually stronger conditions such as non - negativity or certain growth conditions are required.
### Main Contributions
1. **New Liouville - type Theorem**:
- The author proves a more general Liouville - type theorem, that is, on a manifold \(\Sigma\) with non - negative Ricci curvature, if the negative part of a minimal graph function \(u\) satisfies the sub - linear growth condition:
\[
\limsup_{\Sigma\ni x\rightarrow\infty}\frac{\max\{-u(x), 0\}}{d(x, p)} = 0
\]
then \(u\) must be a constant.
2. **Gradient Estimate**:
- In order to prove the above theorem, the author also proves a stronger result: for a minimal graph function \(u\) satisfying certain conditions, a gradient estimate can be obtained:
\[
\sup_{x\in\Sigma}|Du|(x)\leq c\limsup_{x\rightarrow\infty}\frac{\max\{-u(x), 0\}}{d(x, p)}
\]
- where \(c\) is a constant depending only on the dimension \(n\).
### Methods and Techniques
- **Integral Estimation**:
- Through integral estimation on geodesic balls, the author obtains integral estimates of powers of the volume function \(v = \sqrt{1+|Du|^2}\).
- **Sobolev Inequality**:
- Using the Sobolev inequality, the author conducts De Giorgi - Nash - Moser iteration to obtain the mean value inequality of the volume function \(v\).
- **Gradient Estimation**:
- By combining the above integral estimation and mean value inequality, the author finally obtains the required gradient estimate.
### Conclusion
- The main conclusion of this paper is that on a manifold with non - negative Ricci curvature, if the negative part of a minimal graph function satisfies the sub - linear growth condition, then the function must be a constant. This result further extends the existing Liouville - type theorems and provides new tools and methods for studying minimal graphs.