Some new functionals related to free boundary minimal submanifolds
Tianyu Ma, Vladimir Medvedev
TL;DR
This paper generalizes the variational characterization of metrics induced by free boundary minimal immersions (FBMI) from surfaces to higher-dimensional FBMI in geodesic balls of $\\mathbb{S}^m_+$ and $\\mathbb{H}^m$, via functionals $\\Theta_{r,i}$ and $\\Omega_{r,i}$ defined on metric spaces using Steklov eigenvalues. It introduces two new functionals $\\Xi_{r,i}^+$ and $\\Xi_{r,i}^-$ tied to Laplace eigenvalues with Robin conditions, showing that extremals of $\\Xi_{r,i}^+$ (and not $\\Xi_{r,i}^-$) correspond to FBMI into geodesic balls, and that these functionals are bounded above (with explicit disk bounds) while $\\Xi_{r,i}^-$ lacks extremals. The sphere and hyperbolic analyses establish that extremal metrics lead to FBMI or FBHM via eigenfunction maps, with the spherical-coefficient analysis revealing a unique consistent form across dimensions. The work also proves hyperbolic analogs and provides concrete bounds and canonical maximal metrics for special topologies, thereby widening the variational toolkit for free boundary minimal geometry and its connections to spectral theory.
Abstract
The metrics induced on free boundary minimal surfaces in geodesic balls in the upper unit hemisphere and hyperbolic space can be characterized as critical metrics for the functionals $Θ_{r,i}$ and $Ω_{r,i}$, introduced recently by Lima, Menezes and the second author. In this paper, we generalize this characterization to free boundary minimal submanifolds of higher dimension in the same spaces. We also introduce some functionals of the form different from $Θ_{r,i}$ and show that the critical metrics for them are the metrics induced by free boundary minimal immersions into a geodesic ball in the upper unit hemisphere. In the case of surfaces, these functionals are bounded from above and not bounded from below. Moreover, the canonical metric on a geodesic disk in a 3-ball in the upper unit hemisphere is maximal for this functional on the set of all Riemannian metric of the topological disk.
