Concave Barrier Functions in Riemannian Geometry

• Concave barrier functions are defined via Busemann functions on geodesic lines in complete Riemannian manifolds, ensuring a quantitative obstruction near boundary points.
• They exhibit local semi-concavity with linear modulus, leading to almost everywhere twice differentiability and robust control over singular structures.
• These functions are pivotal in classifying geodesics, organizing manifold foliations, and linking geometric analysis with dynamical systems and Hamilton–Jacobi theory.

A concave barrier function is a mathematical construct that “enforces” an obstruction by growing rapidly—often diverging—as its argument approaches the boundary of a designated set. Such functions are widely used in Riemannian geometry, optimization, control theory, statistical inference, and nonsmooth analysis, typically to ensure safety, regularity, or tractable control over dynamical or geometric processes. In the context of non-compact, complete, boundaryless, connected Riemannian manifolds, concave barrier functions emerge naturally as sums of Busemann functions associated with lines (geodesics) in the manifold. These functions adopt local and sometimes global concavity properties, which enable rigorous classification, regularity, and structure in geometric and dynamical settings.

1. Construction via Busemann Functions and Lines

Given a complete, non-compact, boundaryless, connected Riemannian manifold (M, g), a line is defined as a geodesic $y: \mathbb{R} \to M$ such that $d(y(t_1), y(t_2)) = |t_2 - t_1|$ for any $t_1, t_2 \in \mathbb{R}$. Associated to each line are two rays:

• $y^+ \equiv y|_{[0, +\infty)}$ (“forward” ray)
• $y^- \equiv y|_{(-\infty, 0]}$ (“backward” ray)

The Busemann function $b_y$ corresponding to a given ray $y$ is defined by

$b_y(x) = \lim_{t \to +\infty} [d(x, y(t)) - t]$

for $x \in M$. For each line $y$, let $d(y(t_1), y(t_2)) = |t_2 - t_1|$0 and $d(y(t_1), y(t_2)) = |t_2 - t_1|$1 denote the Busemann functions for $d(y(t_1), y(t_2)) = |t_2 - t_1|$2 and $d(y(t_1), y(t_2)) = |t_2 - t_1|$3, respectively.

Barrier Function:

The barrier function associated to $d(y(t_1), y(t_2)) = |t_2 - t_1|$4 is then

$d(y(t_1), y(t_2)) = |t_2 - t_1|$5

which serves as a quantitative obstruction to approaching both asymptotic directions of the line. The construction is deeply tied to the geodesic structure of the manifold, and $d(y(t_1), y(t_2)) = |t_2 - t_1|$6 acts as a “barrier” in both forward and backward senses.

2. Regularity and Semi-Concavity

A principal result is that each Busemann function $d(y(t_1), y(t_2)) = |t_2 - t_1|$7 is a viscosity solution of the Hamilton–Jacobi equation defined by the metric:

$d(y(t_1), y(t_2)) = |t_2 - t_1|$8

Consequently, by the main theorem, $d(y(t_1), y(t_2)) = |t_2 - t_1|$9 are locally semi-concave with linear modulus. Explicitly, for any open set $t_1, t_2 \in \mathbb{R}$0 and relatively compact convex subset $t_1, t_2 \in \mathbb{R}$1, there exists $t_1, t_2 \in \mathbb{R}$2 so that

$t_1, t_2 \in \mathbb{R}$3

is concave on $t_1, t_2 \in \mathbb{R}$4. Since the sum of two locally semi-concave functions (with linear modulus) is also locally semi-concave with the same modulus, the barrier function $t_1, t_2 \in \mathbb{R}$5 inherits this property. By Alexandroff’s theorem, $t_1, t_2 \in \mathbb{R}$6 is almost everywhere twice differentiable.

Function type	Concavity property	Regularity
Busemann	Locally semi-concave	Viscosity solution, locally Lipschitz
Barrier ($t_1, t_2 \in \mathbb{R}$7)	Semi-concave with linear modulus	Twice differentiable a.e.

This semi-concavity ensures powerful control over singularity structures and invariance properties, facilitating analysis and computations.

3. Invariance, Nonnegativity, and Boundary Behavior

Barrier functions constructed in this way enjoy two critical invariance properties:

• Time translation invariance: For $t_1, t_2 \in \mathbb{R}$8, $t_1, t_2 \in \mathbb{R}$9 for all $y^+ \equiv y|_{[0, +\infty)}$0.
• Nonnegativity: $y^+ \equiv y|_{[0, +\infty)}$1 for all $y^+ \equiv y|_{[0, +\infty)}$2, with $y^+ \equiv y|_{[0, +\infty)}$3 precisely on a distinguished set $y^+ \equiv y|_{[0, +\infty)}$4.

For $y^+ \equiv y|_{[0, +\infty)}$5, there exists a unique line through $y^+ \equiv y|_{[0, +\infty)}$6 such that its forward and backward rays are corays of $y^+ \equiv y|_{[0, +\infty)}$7 and $y^+ \equiv y|_{[0, +\infty)}$8, respectively. The structure of $y^+ \equiv y|_{[0, +\infty)}$9 leads to a lamination or foliation of the manifold by lines aligned with $y^- \equiv y|_{(-\infty, 0]}$0.

Additionally, on any compact subset $y^- \equiv y|_{(-\infty, 0]}$1, there exists $y^- \equiv y|_{(-\infty, 0]}$2 so that

$y^- \equiv y|_{(-\infty, 0]}$3

which is a sharp quadratic control property common to semi-concave barrier functions.

4. Concavity and Geometric Implications

In classical settings with nonnegative sectional curvature, each Busemann function is concave along geodesics, so their sum $y^- \equiv y|_{(-\infty, 0]}$4 is strictly concave—making $y^- \equiv y|_{(-\infty, 0]}$5 a genuine concave barrier function. However, the general formulation admits only local semi-concavity unless further geometric restrictions are imposed. This generalized notion is analogously related to Mather’s barrier functions in weak KAM theory, enabling classification and geometric analysis even without global curvature assumptions.

The interpretation of $y^- \equiv y|_{(-\infty, 0]}$6 as a concave barrier arises naturally in dynamical systems and Riemannian rigidity phenomena, especially as a tool to classify lines and to define relations (e.g., an order $y^- \equiv y|_{(-\infty, 0]}$7 and equivalence $y^- \equiv y|_{(-\infty, 0]}$8) between them, based on their asymptotic boundary behavior.

5. Role in the Hamilton–Jacobi Equation and Viscosity Solutions

Since each $y^- \equiv y|_{(-\infty, 0]}$9 is a global viscosity solution of $b_y$0, the barrier function $b_y$1 inherits key stability and regularity properties of such solutions under operational limits. At differentiable points,

$b_y$2

holds for each Busemann function, and thus

$b_y$3

links the geometric flows on $b_y$4 to analytic properties governed by Hamilton–Jacobi theory. These connections bring methods from nonsmooth analysis and weak KAM theory into Riemannian geometry, providing tools for studying singularities, boundaries at infinity (ideal boundaries), and global geometric structure.

6. Applications: Classification, Foliation, and Boundary Structure

Barrier functions are pivotal in the following areas:

• Classification of lines: Relations derived from the barrier function ($b_y$5, $b_y$6) organize the lines in $b_y$7, grouping lines that “connect” the same pair of ideal boundary elements.
• Lamination/foliation: The set $b_y$8 (where $b_y$9) is foliated by lines functionally determined by the barrier function, enabling a geometric decomposition of the manifold.
• Connections to ideal boundaries: Through barrier and Busemann functions, one can define an ideal boundary of $y$0, related to geodesic rays and horofunctions, giving mathematical structure to “points at infinity” and facilitating classification of infinite geodesic behavior.
• Rigidity and dynamical systems: Barrier functions are robustly motivated by Lagrangian dynamical systems and Mather theory, useful for connecting orbits and analyzing rigidity conjectures involving geodesic uniqueness and completeness.

7. Summary of Key Formulas

• Busemann function for a ray $y$1:

$y$2

• Barrier function for a line $y$3:

$y$4

• Viscosity solution of the Hamilton–Jacobi equation:

$y$5

• Local semi‐concavity with linear modulus:

$y$6

Conclusion

Concave barrier functions on Riemannian manifolds, as constructed from Busemann functions of geodesic lines, form a mathematically rigorous class of objects—locally semi-concave with linear modulus, almost everywhere twice differentiable, and intimately connected to the Hamilton–Jacobi equation and weak KAM theory. Their invariance properties, connections to ideal boundary constructions, classification of geodesics, and analytic regularity underpin their utility in Riemannian geometry, dynamical systems, and geometric analysis. In curvature-constrained settings, these barrier functions are strictly concave, but in more general situations they retain all the desirable local properties necessary for advanced mathematical and analytic applications.