Characterizing \(W^{2,p}\) submanifolds by \(p\)-integrability of global curvatures (Q2376328): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: On the first variation of a varifold / rank
 
Normal rank
Property / cites work
 
Property / cites work: THE ENERGY SPACES OF THE TANGENT POINT ENERGIES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sharp boundedness and regularizing effects of the integral Menger curvature for submanifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the minimum ropelength of knots and links / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2710685 / rank
 
Normal rank
Property / cites work
 
Property / cites work: W<sup>2,p</sup>Regularity for varifolds with mean curvature / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3134551 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5565773 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Sphere-Filling Ropes / rank
 
Normal rank
Property / cites work
 
Property / cites work: What are the longest ropes on the unit sphere? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elliptic partial differential equations of second order / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global curvature, thickness, and the ideal shapes of knots / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global curvature and self-contact of nonlinearly elastic curves and rods / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sobolev spaces on an arbitrary metric space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4819371 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Geometric Sobolev-like embedding using high-dimensional Menger-like curvature / rank
 
Normal rank
Property / cites work
 
Property / cites work: High-dimensional Menger-type curvatures. II: \(d\)-separation and a menagerie of curvatures / rank
 
Normal rank
Property / cites work
 
Property / cites work: High-dimensional Menger-type curvatures. I: Geometric multipoles and multiscale inequalities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Second order rectifiability of integral varifolds of locally bounded first variation / rank
 
Normal rank
Property / cites work
 
Property / cites work: On rectifiable curves with \(L^{p}\)-bounds on global curvature: self-avoidance, regularity, and minimizing knots / rank
 
Normal rank
Property / cites work
 
Property / cites work: Euler-Lagrange equations for nonlinearly elastic rods with self-contact / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global curvature for rectifiable loops / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterization of ideal knots / rank
 
Normal rank
Property / cites work
 
Property / cites work: Regularizing and self-avoidance effects of integral Menger curvature / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5477855 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global curvature for surfaces and area minimization under a thickness constraint / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integral Menger curvature for surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: TANGENT-POINT SELF-AVOIDANCE ENERGIES FOR CURVES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Surfaces with generalized second fundamental form in \(L^ 2\) are Lipschitz manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Geometric conditions and existence of bi-Lipschitz parameterizations / rank
 
Normal rank

Latest revision as of 13:06, 6 July 2024

scientific article
Language Label Description Also known as
English
Characterizing \(W^{2,p}\) submanifolds by \(p\)-integrability of global curvatures
scientific article

    Statements

    Characterizing \(W^{2,p}\) submanifolds by \(p\)-integrability of global curvatures (English)
    0 references
    0 references
    0 references
    0 references
    21 June 2013
    0 references
    The authors show sufficient and necessary (geometric) conditions for a \(C^1\) compact \(m\)-manifold immersed in a Euclidean space \(\Sigma\subset\mathbb{R}^n\), to be an embedded \(C^{1,\tau}\cap W^{2,p}\)-submanifold, where \(p>m\) and \(\tau=1-m/p\). In fact, these conditions apply to a more general family of topological spaces, called \(m\)-fine compact sets. Thus, specialists in geometric measure theory and potential theory should be interested in this paper. The whole work relies on a background of deep results. The first section presents definitions and states sufficient and necessary conditions. First of all, an \(m\)-fine compact set is a set satisfying two conditions: (i) Ahlfors regularity, i.e., the \(m\)-Hausdorff measure of \(\Sigma\) in balls of small radius \(r\) is bounded from below by \(C r^m\), where \(C\) is a constant which only depends on \(\Sigma\); (ii) ``hole-control'' in small scales, i.e., that the bilateral beta numbers \(\theta_\Sigma(x,r)\) are upper controlled by the beta numbers \(\beta_\Sigma(x,r)\) -- these numbers give a notion of what is going on geometrically in small scales \(r>0\) around \(x\in\Sigma\). Let \(\operatorname{conv}(x_0,\dotsc,x_m)\) be the convex hull of \(x_0,\dotsc,x_m\in\mathbb{R}^n\), i.e., the affine simplex with these vertices. For an \(m\)-fine set \(\Sigma\), the global Menger curvature at a point \(x_0\in\Sigma\) is defined as \[ \mathcal{K}_G(x_0)=\sup_{x_1,\dotsc,x_m+1\in\Sigma}\frac{\mathcal{H}^{m+1}(\operatorname{conv}(x_0,x_1,\dotsc,x_{m+1}))}{\max |x_i-x_j|}, \] where \(\mathcal{H}^{m+1}\) is the \((m+1)\)-Hausdorff measure in \(\mathbb{R}^n\). Let \(R_{\mathrm{tp}}:\Sigma\times\Sigma\times G(n,m)\to[0,\infty]\) be the tangent-point radius defined as \[ R_{\mathrm{tp}}(x,y;H)=\frac{|x-y|}{2\operatorname{dist}(y,x + H)}. \] Assuming that \(H:\Sigma\to G(n,m)\) is given, the global tangent-point curvature is defined as \[ \mathcal{K}_{\mathrm{tp}}(x,H)=\sup_{y\in\Sigma}\frac{1}{R_{\mathrm{tp}}(x,y;H(x))}. \] In the case of a \(C^1\)-manifold the obvious choice for \(H\) is the tangent space at the point \(x\). The energy of these curvatures, being finite, leads to the desired conditions. For an \(m\)-fine compact set \(\Sigma\subset \mathbb{R}^n\) and \(p>m\), the following conditions are equivalent: (i) \(\Sigma\) is an embedded \(C^{1,\tau}\cap W^{2,p}\)-manifold without boundary; (ii) \(\mathcal{K}_G\in L^p(\Sigma,\mathcal{H}^m)\); (iii) there is a map \(H:\Sigma\to G(n,m)\) such that \(\mathcal{K}_{tp}(\cdot, H)\in L^p(\Sigma,\mathcal{H}^m)\). The second section is devoted to some geometrical aspects relative to the Grassmanian space \(G(n,m)\), this is by far the simplest section of the paper. This section ends with two key theorems. One of them, due to \textit{P. Hajłasz} [Potential Anal. 5, No. 4, 403--415 (1996; Zbl 0859.46022)] shows that \(f\in L^p(\Omega)\) belongs to \(W^{1,p}\) if and only if there exists \(g\in L^p(\Omega)\) such that \(|f(x)-f(y)|\leq|x-y|(g(x)+g(y))\). This is the tool to improve the class of the Sobolev space. The other one, due to \textit{G. David} et al. [Commun. Pure Appl. Math. 54, No. 4, 385--449 (2001; Zbl 1031.28004)] gives a condition on \(m\)-fine compact sets to be \(C^{1,\tau}\) submanifolds without boundary. This condition will be satisfied when conditions (ii) or (iii) in the main theorem are provided. The third section is the core of the paper where the implications (ii) \(\Rightarrow\) (i) and (iii) \(\Rightarrow\) (i) are shown. The work in this section is highly non-trivial. A lot of estimates are needed in order to have control on all the defined quantities by constants depending only on \(m\) and \(p\), in fact, a deep analysis of Morrey estimates for the energies of Menger and tangent-point curvatures is done. The final section gives the easier reverse implications. Here, the weight of the arguments relay in the expression of beta numbers for \(W^{2,p}\)-graphs. Notice, that the definition of \(W^{2,p}\)-manifolds is given for the first time at this stage (\(\Sigma\) will be \(W^{2,p}\) if it locally is the graph of a \(W^{2,p}\)-function). Remark that \(W^{2,p}\) implies \(C^1\) by the Sobolev embedding theorem. A significative number of estimates come from previous works (see, e.g., [the second and the third author, Math. Z. 257, 107--130 (2007; Zbl 1354.49028); \textit{S. Blatt} and the first author, Adv. Math. 230, No. 3, 839--852 (2012; Zbl 1246.53005)]). An exhaustive list of references can be found in the paper.
    0 references
    Sobolev spaces
    0 references
    global curvature
    0 references
    immersed manifolds
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references