Abstract:In this paper we prove that in a three-manifold with finitely many expansive ends, such that each end has a neighborhood where the curvature is bounded above by a negative constant, the Dirichlet problem at infinity is solvable, and hence that such manifolds posses a wealth of bounded non constant harmonic functions (and thus, Liouville's theorem does not hold). In the case of infinitely many expansive ends, we show that if each end has a neighborhood where the curvature is bounded above by a negative constant, then the Dirichlet problem at infinity is solvable for continuous boundary data at infinity which is uniformly bounded. Our method is based on a result that does not require explicit curvature assumptions, and hence it can be applied to other situations: we present an example of a metric on an end with curvature of indefinite sign (no matter how long we go along the end) for which the Dirichlet Problem at Infinity is solvable with respect to that end. We also present a related result in the case of surfaces with a pole which generalises a celebrated criteria of Milnor.

What problem does this paper attempt to address?

This paper aims to explore and solve the Dirichlet problem at infinity on three - dimensional manifolds with multiple endpoints. Specifically, the authors are concerned with whether the Dirichlet problem at infinity is solvable in three - dimensional manifolds with a finite or infinite number of extended endpoints when the curvature near each endpoint is bounded above by a negative constant. ### Main research questions 1. **Case of a finite number of extended endpoints**: - **Assumptions**: Consider a three - dimensional Riemannian manifold \((M^3, g)\) with a finite number of extended endpoints, where each endpoint has a neighborhood such that the curvature \(K\) in this neighborhood satisfies \(K\leq -a^2\) (\(a\neq0\) is a constant). - **Conclusion**: In this case, the Dirichlet problem at infinity is solvable (Theorem 1). 2. **Case of an infinite number of extended endpoints**: - **Assumptions**: Consider a three - dimensional Riemannian manifold \((M^3, g)\) with an infinite number of extended endpoints, where each endpoint has a neighborhood such that the curvature \(K\) in this neighborhood satisfies \(K\leq -a^2\) (\(a\neq0\) is a constant), and the boundary data \(f_j\) are uniformly bounded. - **Conclusion**: In this case, if the boundary data are uniformly bounded, then the Dirichlet problem at infinity is solvable (Theorem 2). ### Research methods - **Perron method**: By constructing local barrier functions, the solvability of the Dirichlet problem is proved using the Perron method. - **Comparison lemma**: Sturm's comparison lemma is used to handle the technical details under the curvature condition. - **Local barrier functions**: Local barrier functions are constructed, which are zero at the infinity of each endpoint and positive elsewhere. ### Related results - **Two - dimensional case**: The paper also discusses two - dimensional surfaces with poles (Theorem 3) and proves that under certain conditions, the Dirichlet problem at infinity is also solvable. - **Milnor's results**: The results in the paper can be regarded as a generalization of Milnor's criterion for the hyperbolicity of two - dimensional surfaces. ### Conclusions - **Main contributions**: This paper advances the understanding of the Dirichlet problem at infinity on manifolds with multiple endpoints, especially for manifolds with negative curvature. - **Practical applications**: These results are of great significance for understanding the behavior of Brownian motion on manifolds, because the existence of a large number of bounded non - constant harmonic functions means that Liouville's theorem does not hold. In conclusion, through strict mathematical analysis and construction methods, this paper solves the Dirichlet problem at infinity on three - dimensional manifolds with multiple endpoints and provides a theoretical basis for further research in related fields.

On the Dirichlet problem at infinity on three-manifolds of negative curvature

Some Dirichlet Problems Arising from Conformal Geometry

Prescribing Curvature Problems on the Bakry-Emery Ricci Tensor of a Compact Manifold with Boundary

On the geometry at infinity of manifolds with linear volume growth and nonnegative Ricci curvature

A Liouville Theorem on Asymptotically Calabi Spaces

On splitting complete manifolds via infinity harmonic functions

Liouville Theorem for Bounded Harmonic Functions on Manifolds and Graphs Satisfying Non-Negative Curvature Dimension Condition

Existence and obstructions for the curvature on compact manifolds with boundary

Liouville Theorem for Bounded Harmonic Functions on Graphs Satisfying Non-Negative Curvature Dimension Condition

Some Functional Properties on Cartan–Hadamard Manifolds of Very Negative Curvature

Liouville theorem and coupling on negatively curved Riemannian manifolds

Calabi-Yau type theorem for complete manifolds with nonnegative scalar curvature

Lieb–Thirring Inequalities on Manifolds with Constant Negative Curvature

On Compact Riemannian Manifolds with Convex Boundary and Ricci Curvature Bounded from Below

An Extreme Limit with Nonnegative Scalar Curvature

An extreme limit with nonnegative scalar

Liouville Theorems on pseudohermitian manifolds with nonnegative Tanaka-Webster curvature

Complete Kähler manifolds with nonnegative Ricci curvature

The Dirichlet problem for a class of curvature equations in Minkowski space

The Dirichlet Problem of Fully Nonlinear Equations on Hermitian Manifolds

On the Existence of Solutions of the Dirichlet Problem for the -Laplacian on Riemannian Manifolds