Surfaces and Hypersurfaces with Prescribed Radial Mean Curvature

Basic Information

• Paper ID: 2510.11669
• Title: Surfaces and Hypersurfaces with Prescribed Radial Mean Curvature
• Authors: Armando M. V. Corro, Marcelo Lopes Ferro (Federal University of Goiás, Brazil)
• Classification: math.DG (Differential Geometry), math.GT (Geometric Topology)
• Publication Date: October 13, 2025
• Paper Link: https://arxiv.org/abs/2510.11669

Abstract

This paper provides local classifications of certain special classes of surfaces through the prescription of radial mean curvature via height and angle functions. Furthermore, it introduces a special class of hypersurfaces and provides local classification for three-dimensional hypersurfaces with vanishing second mean curvature. Finally, it presents a recursive method for constructing such hypersurfaces, extending the same curvature prescription methodology to higher dimensions.

Research Background and Motivation

Core Problem

The core problem addressed in this research is the classification and construction of surfaces and hypersurfaces with special geometric properties in Euclidean space through the prescription of radial mean curvature.

Significance

1. Foundational Problem in Geometric Analysis: The prescription of mean curvature is a classical problem in differential geometry, closely related to minimal surface theory, isoperimetric problems, and related topics
2. Generalization of Classical Results: Extends results from two-dimensional surfaces to higher-dimensional hypersurfaces, filling theoretical gaps
3. Construction Methods: Provides systematic construction methods, offering tools for the study of related geometric objects

Limitations of Existing Methods

• Existing research primarily focuses on specific types of surfaces (e.g., surfaces of revolution, translation surfaces)
• Lacks a unified framework for higher-dimensional generalization
• Relatively limited research on radial mean curvature

Research Motivation

Inspired by classification work on surfaces with constant principal direction (CPD), the authors generalize the concept of CPD surfaces to higher dimensions, introducing the new concept of "rotation-translation hypersurfaces."

Core Contributions

1. Introduction of Rotation-Translation Hypersurfaces: Defines a new family of hypersurfaces that unifies multiple classical surface types
2. Main Classification Theorem: Establishes general relationships for rotation-translation hypersurfaces in arbitrary dimensions (Theorem 2.1)
3. Complete Three-Dimensional Classification: Provides complete local classification of all three-dimensional rotation-translation hypersurfaces (Theorem 6.2)
4. Recursive Construction Method: Establishes a recursive procedure for generating higher-dimensional examples from lower-dimensional ones (Theorem 2.2)
5. Preliminary Classification Results: Provides local classifications for CPD surfaces, translation surfaces, and harmonic graph surfaces

Detailed Methodology

Task Definition

Input:

• Hypersurface M^n ⊂ R^{n+1} of dimension n
• Prescription condition for radial mean curvature: N₁A_X = aX₁ + b

Output:

• Parametric representation of hypersurfaces satisfying the condition
• Geometric classification results

Constraints:

• H_n ≠ 0 on an open set
• Hypersurface is not completely umbilic

Core Concepts

Radial Mean Curvature

For an n-dimensional hypersurface M with principal curvatures κᵢ, define:

• Principal radial curvature: 1/κᵢ
• Radial mean curvature: H_R = (1/n)∑(1/κᵢ)
• A_M = nH_R = n(H_/H_n)

Rotation-Translation Hypersurfaces

Definition 1: A hypersurface M ⊂ R^{n+1} is called a rotation-translation hypersurface if there exist:

• P_{s+1}: A fixed vector subspace of dimension s+1 in R^{n+1}
• V ∈ P_{s+1}: A constant unit vector
• Two hypersurfaces: a directrix surface M₁ ⊂ P_{s+1} and a profile surface M₂ ⊂ P_{t+1}

M is constructed via orthogonal transformations and translations.

Parametric Representation

In an appropriate coordinate system, rotation-translation hypersurfaces can be parametrized as:

X(u,v) = Y(u) + Z₁(v)N^Y(u) + ∑_{r=2}^{t+1} Z_r(v)e_{s+r}

where:

• Y(u): Parametrization of the directrix hypersurface
• Z(v): Parametrization of the profile hypersurface
• N^Y: Gauss map of Y

Technical Innovations

1. Unified Framework

Unifies multiple classical surface types under the rotation-translation hypersurface framework:

• s=1, t=1: CPD surfaces
• s=n-1, t=1: Hypersurfaces with constant principal direction
• M₁=S^s(r): Rotationally invariant hypersurfaces

2. Principal Curvature Relations

Proposition 1: The principal curvatures of rotation-translation hypersurfaces are:

κᵢ = (N₁^Z κᵢ^Y)/(1 - Z₁κᵢ^Y), κ_A = κ_A^Z

3. Radial Mean Curvature Relations

Proposition 2:

A_X = A_Y/N₁^Z - sZ₁/N₁^Z + A_Z

Main Theorems

Theorem 2.1 (Classification for Dimension ≥ 3)

Let M^n be a rotation-translation hypersurface of dimension n≥3 with a curve as profile. Then H_=0 if and only if there exist constants C₁>0, C₂∈R such that:

1. Directrix Surface: Either a hypersurface with H_=0 or an (n-1)-dimensional sphere S^{n-1}(r)
2. Profile Curve: Locally parametrized as

Z(θ) = {
  (C₁sec^{n-1}θ, C₂ + (n-1)C₁∫sec^{n-1}θdθ), if M₁^{n-1} ≠ S^{n-1}(r)
  (-r + C₁sec^{n-1}θ, C₂ + (n-1)C₁∫sec^{n-1}θdθ), if M₁^{n-1} = S^{n-1}(r)
}

where θ ∈ (-π/2, π/2).

Theorem 2.2 (Recursive Construction)

Let M^n be a rotation-translation hypersurface. Then N₁^X A_X = aX₁ + b if and only if there exists a constant C such that:

N₁^Ỹ A_Ỹ = aỸ₁ + b, where Ỹ = Y - C/(s+a)N^Y
N₁^Z A_Z = (a+s)Z₁ + C

Theorem 6.2 (Complete Three-Dimensional Classification)

Let M³ be a rotation-translation hypersurface with a curve as profile. Then H₂=0 if and only if there exist constants C₁>0, C₂∈R such that M³ can be parametrized as:

1. Minimal Surface Case:

X(u,v,θ) = Y(u,v) + C₁sec²θ N^Y(u,v) + (C₂ + 2C₁tanθ)e₄

where Y is a minimal surface.

2. Sphere Case:

X(u,v,θ) = (C₁sec²θ/r)Y(u,v) + (C₂ + 2C₁tanθ)e₄

where Y is a sphere S²(r) of radius r.

Auxiliary Results

Ordinary Differential Equation Lemma

Lemma 1: For the equation

√(1+f'²)(1+f'²)/f'' - ãf - b̃) = C̃

provides explicit parametric representations of solutions, covering different cases of ã.

Complex Analysis Lemma

Lemma 2: For the complex equation

(f')² = (af + b + ic)(f'' - g''/g' f')

gives classification of holomorphic function solutions.

Application Examples

CPD Surface Classification

Theorem 4.1: CPD surfaces satisfy N₁A_M = aX₁ + b if and only if the directrix curve and profile curve have specific parametric representations.

Special case: When a=b=0, we obtain the catenoid, consistent with results of Munteanu-Nistor.

Translation Surface Classification

Theorem 4.2: Complete classification of translation surfaces, including classical examples such as Scherk surfaces and paraboloids.

Harmonic Surface Classification

Theorem 4.3: Classification of graph-type harmonic surfaces, including helicoids.

Recursive Construction Method

Based on Theorem 2.2, one can establish a recursive procedure:

1. Start from a three-dimensional hypersurface X⁽³⁾
2. Apply Theorem 2.1 to construct a four-dimensional hypersurface X⁽⁴⁾
3. Continue recursively to obtain hypersurfaces X⁽ᵐ⁾ of arbitrary dimension

General formula:

X⁽ᵐ⁾ = X⁽ᵐ⁻¹⁾ + C₁sec^{m-1}θ_{m-2} N⁽ᵐ⁻¹⁾ + (m-1)C₁∫sec^{m-1}θ_{m-2}dθ_{m-2} e_{m+1}

Technical Tools

Parallel Hypersurface Theory

Lemma 3: If H_/H_m = C (constant), then there exists a parallel hypersurface such that H̃_ = 0.

Lemma 4: Establishes relationships between radial mean curvatures of the original hypersurface and parallel hypersurfaces.

Geometric Analysis

Prescribes radial mean curvature through height function X₁ = ⟨X,e₁⟩ and angle function N₁ = ⟨N,e₁⟩.

Conclusions and Discussion

Main Conclusions

1. Establishes a complete theoretical framework for rotation-translation hypersurfaces
2. Provides complete classification for the H_=0 case
3. Provides systematic construction methods
4. Unifies multiple classical surface types

Limitations

1. Main results are limited to open sets where H_n ≠ 0
2. Some cases require additional non-degeneracy conditions
3. Geometric intuition for higher-dimensional cases is relatively lacking

Future Directions

1. Generalization to other curvature conditions
2. Study of global properties
3. Applications to physical problems

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete theoretical system from definition through classification to construction
2. Technical Innovation: Cleverly combines differential geometry, complex analysis, and ordinary differential equation theory
3. Unified Framework: Incorporates multiple classical results into a unified framework
4. Construction Methods: Recursive construction methods have strong practical value

Weaknesses

1. Computational Complexity: Some integral expressions are relatively complex
2. Geometric Intuition: Geometric meaning of higher-dimensional cases is not sufficiently intuitive
3. Application Scope: Primarily theoretical classification; practical applications remain to be developed

Impact

1. Academic Contribution: Provides new research directions for the differential geometry field
2. Methodology: Recursive construction methods may inspire research on other geometric objects
3. Reproducibility: Theoretical results are clear and convenient for verification and generalization

Applicable Scenarios

1. Differential geometry theoretical research
2. Minimal surface theory
3. Classification problems in geometric analysis
4. Geometric models in mathematical physics

References

The paper cites important works in the field, including:

• Classical results of Munteanu-Nistor on CPD surfaces
• Work of Garnica et al. on hypersurfaces with constant principal direction
• Related theory on harmonic surfaces and translation surfaces

Overall Assessment: This is a high-quality theoretical differential geometry paper that makes important contributions to surface classification theory. The theoretical system is complete, technical methods are advanced, and it provides a solid foundation for further research in related fields.