Tangent-point repulsive potentials for a class of non-smooth \(m\)-dimensional sets in \(\mathbb R^n\). I: smoothing and self-avoidance effects (Q363200): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Heiko von der Mosel / rank | |||
Property / author | |||
Property / author: Heiko von der Mosel / rank | |||
Normal rank | |||
Property / review text | |||
The authors study the energy functional \[ \mathcal{E}_q(\Sigma)=\int_\Sigma \int_\Sigma{{1}\over {R^q_{\mathrm{tp}}(x,y)}}d\mathcal{H}^m(x)d\mathcal{H}^m(y), \] defined for a class \(\mathcal{A}\) of admissible \(m\)-dimensional sets in \(\mathbb{R}^n\). For each \(\Sigma \in \mathcal{A}\) a weak counterpart of the classic tangent plane is defined almost everywhere with respect to the \(m\)-dimensional Hausdorff measure \(\mathcal{H}^m\) on \(\Sigma\). In the case of \(\mathcal{H}\), i.e., for almost each \(x\in \Sigma\) there is an \(m\)-plane \(H_x\), such that the portion of \(\Sigma \) near the point \(x\) is close to the affine plane \(x+H_x\subset \mathbb{R}^n\). The quantity \[ R_{\mathrm{tp}}(x,y)= {{|y-x|^2}\over {2\;\mathrm{dist}\;(y,x+H_x)}} \] denotes the radius of the smallest sphere tangent to the affine plane \(x+H_x\) and passing trough \(y\). The authors show that for the infinite range of exponents \( q>2m\), the finiteness of \(\mathcal{E}_q(\Sigma)\) has three sorts of consequences for any admissible set \(\Sigma \in \mathcal{A}\): measure-theoretic, topological and analytical. They present some examples of such admissible surfaces. Theorem 1.2 (uniform Ahlfors regularity): Assume that \(\Sigma \in \mathcal{A}\) is an admissible \(m\)-dimensional surface in \(\mathbb{R}^n\) with \(\mathcal{E}_q(\Sigma)\leq E,\;q>2m\). Then there exists a constant \(a_1=a_1(q,n,m)>0\), depending only on \(q,n\) and \(m\), such that \[ \mathcal{H}^m(\Sigma \cap B(x,r))\geq (1/2)\omega(m)r^m, \] for all \(x\in \Sigma\) and all radii \[ 0<r,R_l=R_l(q,n,m,E)=a_1/E^{1/(q-2m)}. \] Theorem 1.3 (uniform decay of \(\beta\)-numbers): Let \(\Sigma \in \mathcal{A}\) be an admissible \(m\)-dimensional surface in \(\mathbb{R}^n\) with \(\mathcal{E}_q(\Sigma )<E\) for some \(q>2m\). Then there exist two constants \(a_2(q,n,m)>0\) and \(A_2(q,n,m)<\infty\), both depending on \(n,m, q\), such that whenever the radius \[ d\leq R_2=R_2(q,n,m,E)=a_2(q,n,m)/E^{1/(q-2m)} \] and the bound \(\varepsilon > 0\) satisfy the balance condition \[ \varepsilon^{4m+q}d^{2m-q}\geq A_2(q,n,m)E, \] then we have \[ \beta_{\Sigma}(x,d)= \inf_{P\in G(n,m)}\biggl(\sup_ {y\in B(x,d)\cap \Sigma}\frac{\text{dist}(y,x+P)}{d}\biggr)\leq \varepsilon, \,\, x\in \Sigma, \] where \(G(n,m)\) denotes the Grassmannian of all \(m\)-dimensional subspaces in \(\mathbb{R}^n\). Theorem 1.4 (geometric Sobolev-Morrey embedding): Let \(\Sigma \in \mathcal{A}\) and \(\mathcal{E}_q(\Sigma)< \infty\) for some \(q>2m\). Then \(\Sigma\) is an embedded submanifold of class \(C^{1,\mu}\), where \(\mu =1-2m/q\). The authors obtain the values of the constants \(a_3\) and \(A_3\) assuring the validity of this theorem. Some comments and conjectures are presented. | |||
Property / review text: The authors study the energy functional \[ \mathcal{E}_q(\Sigma)=\int_\Sigma \int_\Sigma{{1}\over {R^q_{\mathrm{tp}}(x,y)}}d\mathcal{H}^m(x)d\mathcal{H}^m(y), \] defined for a class \(\mathcal{A}\) of admissible \(m\)-dimensional sets in \(\mathbb{R}^n\). For each \(\Sigma \in \mathcal{A}\) a weak counterpart of the classic tangent plane is defined almost everywhere with respect to the \(m\)-dimensional Hausdorff measure \(\mathcal{H}^m\) on \(\Sigma\). In the case of \(\mathcal{H}\), i.e., for almost each \(x\in \Sigma\) there is an \(m\)-plane \(H_x\), such that the portion of \(\Sigma \) near the point \(x\) is close to the affine plane \(x+H_x\subset \mathbb{R}^n\). The quantity \[ R_{\mathrm{tp}}(x,y)= {{|y-x|^2}\over {2\;\mathrm{dist}\;(y,x+H_x)}} \] denotes the radius of the smallest sphere tangent to the affine plane \(x+H_x\) and passing trough \(y\). The authors show that for the infinite range of exponents \( q>2m\), the finiteness of \(\mathcal{E}_q(\Sigma)\) has three sorts of consequences for any admissible set \(\Sigma \in \mathcal{A}\): measure-theoretic, topological and analytical. They present some examples of such admissible surfaces. Theorem 1.2 (uniform Ahlfors regularity): Assume that \(\Sigma \in \mathcal{A}\) is an admissible \(m\)-dimensional surface in \(\mathbb{R}^n\) with \(\mathcal{E}_q(\Sigma)\leq E,\;q>2m\). Then there exists a constant \(a_1=a_1(q,n,m)>0\), depending only on \(q,n\) and \(m\), such that \[ \mathcal{H}^m(\Sigma \cap B(x,r))\geq (1/2)\omega(m)r^m, \] for all \(x\in \Sigma\) and all radii \[ 0<r,R_l=R_l(q,n,m,E)=a_1/E^{1/(q-2m)}. \] Theorem 1.3 (uniform decay of \(\beta\)-numbers): Let \(\Sigma \in \mathcal{A}\) be an admissible \(m\)-dimensional surface in \(\mathbb{R}^n\) with \(\mathcal{E}_q(\Sigma )<E\) for some \(q>2m\). Then there exist two constants \(a_2(q,n,m)>0\) and \(A_2(q,n,m)<\infty\), both depending on \(n,m, q\), such that whenever the radius \[ d\leq R_2=R_2(q,n,m,E)=a_2(q,n,m)/E^{1/(q-2m)} \] and the bound \(\varepsilon > 0\) satisfy the balance condition \[ \varepsilon^{4m+q}d^{2m-q}\geq A_2(q,n,m)E, \] then we have \[ \beta_{\Sigma}(x,d)= \inf_{P\in G(n,m)}\biggl(\sup_ {y\in B(x,d)\cap \Sigma}\frac{\text{dist}(y,x+P)}{d}\biggr)\leq \varepsilon, \,\, x\in \Sigma, \] where \(G(n,m)\) denotes the Grassmannian of all \(m\)-dimensional subspaces in \(\mathbb{R}^n\). Theorem 1.4 (geometric Sobolev-Morrey embedding): Let \(\Sigma \in \mathcal{A}\) and \(\mathcal{E}_q(\Sigma)< \infty\) for some \(q>2m\). Then \(\Sigma\) is an embedded submanifold of class \(C^{1,\mu}\), where \(\mu =1-2m/q\). The authors obtain the values of the constants \(a_3\) and \(A_3\) assuring the validity of this theorem. Some comments and conjectures are presented. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Vasile Oproiu / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53A07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A75 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46E35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 49Q10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 49Q20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6203565 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
non-smooth sets | |||
Property / zbMATH Keywords: non-smooth sets / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
repulsive potentials | |||
Property / zbMATH Keywords: repulsive potentials / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
curvature energies | |||
Property / zbMATH Keywords: curvature energies / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
geometric Sobolev-Morrey theorem | |||
Property / zbMATH Keywords: geometric Sobolev-Morrey theorem / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2102905331 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1102.3642 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the first variation of a varifold / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Self-interactions of strands and sheets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Chord-arc constants for submanifolds of arbitrary codimension / 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: Analytic capacity, Calderón-Zygmund operators, and rectifiability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2710685 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4278678 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Möbius energy of knots and unknots / 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: On Sphere-Filling Ropes / 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: Q4487956 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differential Topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Menger curvature and rectifiability / 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: High-dimensional Menger-type curvatures. II: \(d\)-separation and a menagerie of curvatures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rectifiability, analytic capacity, and singular integrals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5707687 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4369389 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the smoothness of Hölder doubling measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Regularity theory for the Möbius energy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Repulsive knot energies and pseudodifferential calculus for O’Hara’s knot energy family <i>E</i> <sup>(α)</sup> , α ∈ [2, 3) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Global curvature for rectifiable loops / 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: Characterization of ideal knots / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existence of surfaces minimizing the Willmore functional / 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: Tangent-point repulsive potentials for a class of non-smooth \(m\)-dimensional sets in \(\mathbb R^n\). I: smoothing and self-avoidance effects / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5490961 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mean curvature flow and geometric inequalities / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:17, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tangent-point repulsive potentials for a class of non-smooth \(m\)-dimensional sets in \(\mathbb R^n\). I: smoothing and self-avoidance effects |
scientific article |
Statements
Tangent-point repulsive potentials for a class of non-smooth \(m\)-dimensional sets in \(\mathbb R^n\). I: smoothing and self-avoidance effects (English)
0 references
2 September 2013
0 references
The authors study the energy functional \[ \mathcal{E}_q(\Sigma)=\int_\Sigma \int_\Sigma{{1}\over {R^q_{\mathrm{tp}}(x,y)}}d\mathcal{H}^m(x)d\mathcal{H}^m(y), \] defined for a class \(\mathcal{A}\) of admissible \(m\)-dimensional sets in \(\mathbb{R}^n\). For each \(\Sigma \in \mathcal{A}\) a weak counterpart of the classic tangent plane is defined almost everywhere with respect to the \(m\)-dimensional Hausdorff measure \(\mathcal{H}^m\) on \(\Sigma\). In the case of \(\mathcal{H}\), i.e., for almost each \(x\in \Sigma\) there is an \(m\)-plane \(H_x\), such that the portion of \(\Sigma \) near the point \(x\) is close to the affine plane \(x+H_x\subset \mathbb{R}^n\). The quantity \[ R_{\mathrm{tp}}(x,y)= {{|y-x|^2}\over {2\;\mathrm{dist}\;(y,x+H_x)}} \] denotes the radius of the smallest sphere tangent to the affine plane \(x+H_x\) and passing trough \(y\). The authors show that for the infinite range of exponents \( q>2m\), the finiteness of \(\mathcal{E}_q(\Sigma)\) has three sorts of consequences for any admissible set \(\Sigma \in \mathcal{A}\): measure-theoretic, topological and analytical. They present some examples of such admissible surfaces. Theorem 1.2 (uniform Ahlfors regularity): Assume that \(\Sigma \in \mathcal{A}\) is an admissible \(m\)-dimensional surface in \(\mathbb{R}^n\) with \(\mathcal{E}_q(\Sigma)\leq E,\;q>2m\). Then there exists a constant \(a_1=a_1(q,n,m)>0\), depending only on \(q,n\) and \(m\), such that \[ \mathcal{H}^m(\Sigma \cap B(x,r))\geq (1/2)\omega(m)r^m, \] for all \(x\in \Sigma\) and all radii \[ 0<r,R_l=R_l(q,n,m,E)=a_1/E^{1/(q-2m)}. \] Theorem 1.3 (uniform decay of \(\beta\)-numbers): Let \(\Sigma \in \mathcal{A}\) be an admissible \(m\)-dimensional surface in \(\mathbb{R}^n\) with \(\mathcal{E}_q(\Sigma )<E\) for some \(q>2m\). Then there exist two constants \(a_2(q,n,m)>0\) and \(A_2(q,n,m)<\infty\), both depending on \(n,m, q\), such that whenever the radius \[ d\leq R_2=R_2(q,n,m,E)=a_2(q,n,m)/E^{1/(q-2m)} \] and the bound \(\varepsilon > 0\) satisfy the balance condition \[ \varepsilon^{4m+q}d^{2m-q}\geq A_2(q,n,m)E, \] then we have \[ \beta_{\Sigma}(x,d)= \inf_{P\in G(n,m)}\biggl(\sup_ {y\in B(x,d)\cap \Sigma}\frac{\text{dist}(y,x+P)}{d}\biggr)\leq \varepsilon, \,\, x\in \Sigma, \] where \(G(n,m)\) denotes the Grassmannian of all \(m\)-dimensional subspaces in \(\mathbb{R}^n\). Theorem 1.4 (geometric Sobolev-Morrey embedding): Let \(\Sigma \in \mathcal{A}\) and \(\mathcal{E}_q(\Sigma)< \infty\) for some \(q>2m\). Then \(\Sigma\) is an embedded submanifold of class \(C^{1,\mu}\), where \(\mu =1-2m/q\). The authors obtain the values of the constants \(a_3\) and \(A_3\) assuring the validity of this theorem. Some comments and conjectures are presented.
0 references
non-smooth sets
0 references
repulsive potentials
0 references
curvature energies
0 references
geometric Sobolev-Morrey theorem
0 references
0 references
0 references