Higher order isoperimetric inequalities and rigidity for surfaces in Rn
Abstract
We establish a family of sharp higher order isoperimetric type inequalities for smooth compact surfaces in Euclidean spaces of arbitrary codimension. These inequalities involve arbitrarily high derivatives of the boundary curve, together with the mean curvature vector of the surface. For example, the first and second order inequalities yield the sharp two-sided estimate for the isoperimetric deficit: & π/R∫∂ M|x−Rν|2 ds +2π∫M x· H dA ≤ L2−4πA ≤& π/R∫∂ M|x−Rν|2 ds +2π∫M x· H dA +π/3R∫∂ M|x+R2κ|2 ds, where R=L/2π and the origin is chosen to be the centroid of the boundary. For minimal surfaces, equality in the lower bound holds precisely for flat disks, whereas the second inequality admits non-round equality cases. Our results extend that of Carleman, Sachs, Chakerian, and Li-Schoen-Yau. A distinctive feature of our work is the unexpected rigidity structure arising at higher orders. At the first and second orders, equality curves admit decompositions into circular Fourier modes supported in mutually orthogonal planes. Remarkably, this phenomenon fails at higher orders. We establish a multiplicative factorization of the unit tangent map into elementary planar rotations acting on a fixed unit vector, providing a characterization of equality cases at arbitrary order. As a result, we construct a third order equality curve in ℝ3 whose Fourier modes cannot be decomposed into mutually orthogonal circular modes.
Related
- On higher order Morrey's inequalities over CD{\boldmath(K,N)}-spaces
- Matching Higher-Order Oracle Complexity for Smooth Monotone Variational Inequalities
- Inequalities for Higher-Order Logarithmic Differences of Boros--Moll Coefficients
- Isoperimetric Inequalities in the ℓ∞ cube and torus
- Isoperimetric and total curvature inequalities in Cartan-Hadamard manifolds with nullity
BibTeX
@misc{fan2026higher,
title = {{Higher order isoperimetric inequalities and rigidity for surfaces in $\R^n$}},
author = {Xu-Qian Fan and Kwok-Kun Kwong},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.16221},
eprint = {2610.16221},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.16221},
}
RIS
TY - UNPB
TI - Higher order isoperimetric inequalities and rigidity for surfaces in R^n
AU - Xu-Qian Fan
AU - Kwok-Kun Kwong
PY - 2026
DA - 2026/10/12
PB - arXiv
DO - 10.48550/arxiv.2610.16221
UR - https://arxiv.org/abs/2610.16221
AB - We establish a family of sharp higher order isoperimetric type inequalities for smooth compact surfaces in Euclidean spaces of arbitrary codimension. These inequalities involve arbitrarily high derivatives of the boundary curve, together with the mean curvature vector of the surface. For example, the first and second order inequalities yield the sharp two-sided estimate for the isoperimetric deficit: & π/R∫_∂ M|x−Rν|^2 ds +2π∫_M x· H dA ≤ L^2−4πA ≤& π/R∫_∂ M|x−Rν|^2 ds +2π∫_M x· H dA +π/3R∫_∂ M|x+R^2κ|^2 ds, where R=L/2π and the origin is chosen to be the centroid of the boundary. For minimal surfaces, equality in the lower bound holds precisely for flat disks, whereas the second inequality admits non-round equality cases. Our results extend that of Carleman, Sachs, Chakerian, and Li-Schoen-Yau. A distinctive feature of our work is the unexpected rigidity structure arising at higher orders. At the first and second orders, equality curves admit decompositions into circular Fourier modes supported in mutually orthogonal planes. Remarkably, this phenomenon fails at higher orders. We establish a multiplicative factorization of the unit tangent map into elementary planar rotations acting on a fixed unit vector, providing a characterization of equality cases at arbitrary order. As a result, we construct a third order equality curve in ℝ^3 whose Fourier modes cannot be decomposed into mutually orthogonal circular modes.
ER -