Abstract:Based on a novel type of Sobolev-Poincaré inequality (for generalised weakly differentiable functions on varifolds), we establish a finite upper bound of the geodesic diameter of generalised compact connected surfaces-with-boundary of arbitrary dimension in Euclidean space in terms of the mean curvatures of the surface and its boundary. Our varifold setting includes smooth immersions, surfaces with finite Willmore energy, two-convex hypersurfaces in level-set mean curvature flow, integral currents with prescribed mean curvature vector, area minimising integral chains with coefficients in a complete normed commutative group, varifold solutions to Plateau's problem furnished by min-max methods or by Brakke flow, and compact sets solving Plateau problems based on Čech homology. Due to the generally inevitable presence of singularities, path-connectedness was previously known neither for the class of varifolds (even in the absence of boundary) nor for the solutions to the Plateau problems considered.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to establish a finite upper bound for the geodesic diameter of general compact connected surfaces with boundaries in Euclidean space. Specifically, based on a new type of Sobolev - Poincaré inequality (applicable to the variation of generalized weakly differentiable functions), the author establishes the relationship between the geodesic diameter of these surfaces and their mean curvature. This result is applicable not only to smooth immersions, but also to surfaces with finite Willmore energy, two - convex hypersurfaces in the level - set mean curvature flow, integral manifolds with a predetermined mean curvature vector, area - minimizing integral chains with coefficients in a complete normed commutative group, variational solutions of the Plateau problem constructed by the min - max method or Brakke flow, and compact set solutions based on Čech homology. Due to the prevalence of singularities, path - connectivity was previously unknown for variational classes (even in the absence of boundaries) or solutions to the considered Plateau problem.
### Main Objectives
1. **Generalization to the Variational Framework**: The first objective of the paper is to generalize the above - mentioned estimates to a broader variational framework in order to handle surfaces with boundaries.
2. **Handling Surfaces with Boundaries**: The second objective is to introduce new techniques to handle surfaces with boundaries, which has important applications in geometric variational problems.
3. **Application to Geometric Variational Problems**: The third objective is to ensure that these results can be applied to various geometric variational problems, such as different formulations of the Plateau problem.
### Key Results
- **Theorem A**: Gives an a priori estimate of the geodesic diameter of the solution to the Plateau problem, which depends only on the boundary data and the dimension.
- **Theorem B**: Further extends Theorem A by considering the Reifenberg - type Plateau problem and provides an a priori bound on the geodesic diameter.
- **Theorem C**: Proposes a new Sobolev - Poincaré inequality applicable to sub - manifolds with boundaries, laying the foundation for subsequent density and geodesic diameter estimates.
- **Theorem D**: Provides an estimate of the geodesic diameter under the assumption that the variational class is D(U, R) - indecomposable.
- **Theorem E**: Finally gives a global estimate of the geodesic diameter applicable to a broader variational class.
### Challenges and Solutions
1. **Reformulation of the Connectivity Assumption**: The paper introduces D(U, R) - type indecomposability, which is a weaker but still strong enough property compared to traditional indecomposability.
2. **Handling Mean Curvature with Low Integrability**: By utilizing the regularization effect of indecomposability, the challenge brought by the mean curvature with low integrability is solved.
3. **Handling Surfaces with Boundaries**: New techniques are introduced to handle surfaces with boundaries, especially by considering the mean curvature on the boundary.
4. **Formulation of Boundary Conditions**: By using the distributional boundary of the variational class to replace the traditional boundary operator, the problem of formulating boundary conditions is solved.
In conclusion, through the introduction of new mathematical tools and techniques, this paper successfully solves the problem of a priori estimation of the geodesic diameter and applies it to various geometric variational problems, providing an important theoretical basis for research in related fields.