Abstract
We give sufficient and necessary geometric conditions, guaranteeing that an immersed compact closed manifold \({\Sigma^m \subset \mathbb{R}^n}\) of class C 1 and of arbitrary dimension and codimension (or, more generally, an Ahlfors-regular compact set Σ satisfying a mild general condition relating the size of holes in Σ to the flatness of Σ measured in terms of beta numbers) is in fact an embedded manifold of class \({C^{1,\tau} \cap W^{2,p}}\), where p > m and τ = 1 − m/p. The results are based on a careful analysis of Morrey estimates for integral curvature–like energies, with integrands expressed geometrically, in terms of functions that are designed to measure either (a) the shape of simplices with vertices on Σ or (b) the size of spheres tangent to Σ at one point and passing through another point of Σ. Appropriately defined maximal functions of such integrands turn out to be of class L p(Σ) for p > m if and only if the local graph representations of Σ have second order derivatives in L p and Σ is embedded. There are two ingredients behind this result. One of them is an equivalent definition of Sobolev spaces, widely used nowadays in analysis on metric spaces. The second one is a careful analysis of local Reifenberg flatness (and of the decay of functions measuring that flatness) for sets with finite curvature energies. In addition, for the geometric curvature energy involving tangent spheres we provide a nontrivial lower bound that is attained if and only if the admissible set Σ is a round sphere.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
W.K. Allard. On the first variation of a varifold. Annals of Mathematics, (2)95 (1972), 417–491.
S. Blatt. The energy spaces of the tangent–point energies (2011, preprint).
S. Blatt and S. Kolasiński. Sharp boundedness and regularizing effects of the integral Menger curvature for submanifolds. Advances in Mathematics, (3)230 (2012), 839–852.
J. Cantarella, R.B. Kusner, and J.M. Sullivan. On the minimum ropelength of knots and links. Inventiones Mathematicae, (2)150 (2002), 257–286.
G. David, C. Kenig, and T. Toro. Asymptotically optimally doubling measures and Reifenberg flat sets with vanishing constant. Communications on Pure and Applied Mathematics, (4)54 (2001), 385–449.
J.P. Duggan. W 2,p regularity for varifolds with mean curvature. Communications in Partial Differential Equations, (9)11 (1986), 903–926.
L.C. Evans and R.F. Gariepy. Measure theory and fine properties of functions. In: Studies in Advanced Mathematics. CRC Press, Boca Raton, FL (1992).
H. Federer. Geometric measure theory. In: Die Grundlehren der mathematischen Wissenschaften Band 153. Springer-Verlag New York Inc., New York (1969).
H. Gerlach and H. von der Mosel. On sphere-filling ropes. The American Mathematical Monthly, (10)118 (2011), 863–876.
H. Gerlach and H. von der Mosel. What are the longest ropes on the unit sphere?. Archive for Rational Mechanics and Analysis, (1)201 (2011), 303–342.
D. Gilbarg and N.S. Trudinger. Elliptic partial differential equations of second order. In: Classics in Mathematics. Springer, Berlin (2001). Reprint of the 1998 edition.
O. Gonzalez and J.H. Maddocks. Global curvature, thickness, and the ideal shapes of knots. Proceedings of the National Academy of Sciences, (9)96 (1999), 4769–4773. (electronic).
O. Gonzalez, J.H. Maddocks, F. Schuricht, and H. von der Mosel. Global curvature and self-contact of nonlinearly elastic curves and rods. Calculus of Variations and Partial Differential Equations, (1)14 (2002), 29–68.
P. Hajłasz. Sobolev spaces on an arbitrary metric space. Potential Analysis, (4)5 (1996), 403–415.
Hatcher A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
S. Kolasiński. Integral Menger curvature for sets of arbitrary dimension and codimension. Ph.D. thesis, Institute of Mathematics, University of Warsaw (2011). arXiv:1011.2008v4.
S. Kolasiński. Geometric Sobolev-like embedding using high-dimensional Menger-like curvature. Transaction of the American Mathematical Society, (2012), arXiv:1205.4112, accepted.
G. Lerman and J.T. Whitehouse. High-dimensional Menger-type curvatures. II. d-separation and a menagerie of curvatures. Constructive Approximation, (3)30 (2009), 325–360.
G. Lerman and J.T. Whitehouse. High-dimensional Menger-type curvatures. Part I: Geometric multipoles and multiscale inequalities. The Revista Matematica Iberoamericana, (2)27 (2011), 493–555.
U. Menne. Second order rectifiability of integral varifolds of locally bounded first variation. Journal of Geometric Analysis, 23 (2013), 709–763. doi:10.1007/s12220-011-9261-5.
S. Scholtes. For which positive p is the integral Menger curvature \({\mathcal{M}_p}\) finite for all simple polygons? (2011) arXiv:1202.0504v1.
F. Schuricht and H. von der Mosel. Euler-Lagrange equations for nonlinearly elastic rods with self-contact. Archive for Rational Mechanics and Analysis, (1)168 (2003), 35–82.
F. Schuricht and H. von der Mosel. Global curvature for rectifiable loops. Mathematische Zeitschrift, (1)243 (2003), 37–77.
F. Schuricht and H. von der Mosel. Characterization of ideal knots. Calculus of Variations and Partial Differential Equations, (3)19 (2004), 281–305.
P. Strzelecki, M. Szumańska, and H. von der Mosel. Regularizing and self-avoidance effects of integral Menger curvature. Annali della Scuola Normale Superiore di Pisa Classe di Scienze, (1)(5)9 (2010), 145–187.
P. Strzelecki and H. von der Mosel. On a mathematical model for thick surfaces. In: Physical and numerical models in knot theory, Ser. Knots Everything, Vol. 36. World Scientific Publishing, Singapore (2005), pp. 547–564.
P. Strzelecki and H. von der Mosel. Global curvature for surfaces and area minimization under a thickness constraint. Calculus of Variations and Partial Differential Equations, (4)25 (2006), 431–467.
Strzelecki P., von der Mosel H.: On rectifiable curves with L p-bounds on global curvature: Self-avoidance, regularity, and minimizing knots. Mathematische Zeitschrift 257, 107–130 (2007)
Strzelecki P., von der Mosel H.: Integral Menger curvature for surfaces. Advances in Mathematics 226, 2233–2304 (2011)
P. Strzelecki and H. von der Mosel. Tangent-point repulsive potentials for a class of non-smooth m-dimensional sets in \({\mathbb{R}^n}\). Part I: Smoothing and self-avoidance effects, 2011, arXiv:1102.3642; Journal of Geometric Analysis, accepted. doi:10.1007/s12220-011-9275-z.
P. Strzelecki and H. von der Mosel. Tangent-point self-avoidance energies for curves. Journal of Knot Theory Ramifications, (5)21 (2012), 28 pages.
T. Toro. Surfaces with generalized second fundamental form in L 2 are Lipschitz manifolds. Journal of Differential Geometry, (1)39 (1994), 65–101.
T. Toro. Geometric conditions and existence of bi-Lipschitz parameterizations. Duke Mathematical Journal, (1)77 (1995), 193–227.
Author information
Authors and Affiliations
Corresponding author
Additional information
Sławomir Kolasiński partially supported by the MNiSzW Research project N N201 611140. Paweł Strzelecki partially supported by the MNiSzW Research project N N201 397737. Heiko von der Mosel partially supported by the DFG–MNiSzW research project Geometric curvature energies (Mo966/4-1).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Kolasiński, S., Strzelecki, P. & von der Mosel, H. Characterizing W 2,p Submanifolds by p -Integrability of Global Curvatures. Geom. Funct. Anal. 23, 937–984 (2013). https://doi.org/10.1007/s00039-013-0222-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039-013-0222-y