Hölder continuity for support measures of convex bodies (Q2514378): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W3103335500 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1501.06214 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boundary measures for geometric inference / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounds for the discrepancy between convex bodies in terms of the isoperimetric difference / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real Analysis and Probability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Curvature Measures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5565773 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spherical projections and liftings in geometric tomography / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3434895 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Convex Bodies The Brunn-MinkowskiTheory / rank
 
Normal rank

Latest revision as of 14:59, 9 July 2024

scientific article
Language Label Description Also known as
English
Hölder continuity for support measures of convex bodies
scientific article

    Statements

    Hölder continuity for support measures of convex bodies (English)
    0 references
    0 references
    0 references
    3 February 2015
    0 references
    The support measures of a convex body in Euclidean space \({\mathbb R}^n\) are Borel measures on the unit sphere bundle of \({\mathbb R}^n\) with the property that their marginal measures are the curvature measures on \({\mathbb R}^n\) and the area measures on the unit sphere \({\mathbb S}^{n-1}\). Let \({\mathcal K}^n\) be the space of convex bodies (nonempty compact convex subsets) in \({\mathbb R}^n\), as usual equipped with the Hausdorff metric \(d_H\). For \(\rho>0\), denote by \(K_{\rho}=K+\rho\, B^n\) the parallel body of convex body \(K\) at distance \(\rho\), where \(B^n\) is the unit ball in \({\mathbb R}^n\). The Hausdorff distance of two convex bodies \(K, L\in {\mathcal K}^n\) is given by \(d_H(K, L) = \min\{\rho\geq0: K\subset L_{\rho}, L\subset K_{\rho}\}\). Let \(\Lambda_i(K, \cdot)\) denote the \(i\)th support measure of \(K\in {\mathcal K}^n\) (\(i=0,1,\dots, n-1\)) see [\textit{R. Schneider}, Convex bodies: the Brunn-Minkowski theory. 2nd expanded ed. Cambridge: Cambridge University Press (2014; Zbl 1287.52001)]. On the space of convex bodies with the Hausdorff metric, the support measures \(\Lambda_i(K< \cdot)\) are weakly continuous. In the present paper, the authors improve this statement by showing that the support measures are locally Hölder continuous with respect to the bounded Lipschitz metric \(d_{bL}\), see [\textit{R. M. Dudley}, Real analysis and probability. Repr. Cambridge: Cambridge University Press (2002; Zbl 1023.60001)]. { Theorem.} Let \(K, L\in{\mathcal K}^n\) be convex bodies, and let \(R\) be the radius of a ball containing \(K_2\) and \(L_2\). Then \(d_{bL}(\Lambda_i(K, \cdot), \Lambda_i(K, \cdot))\leq C(R)\, d_H(K, L)^{1/2}\) for \(i\in\{0,\dots, n-1\}\), where \(C(R)\) is a constant which (for given dimension) dependes only on \(R\). This theorem is proved by adapting an approach due to [\textit{F. Chazal} et al., Found. Comput. Math. 10, No. 2, 221--240 (2010; Zbl 1196.52006)]. In Section 4 the authors show that the Hölder exponent \(1/2\) in the theorem is best possible.
    0 references
    support measure
    0 references
    curvature measure
    0 references
    area measure
    0 references
    weak convergence
    0 references
    stability
    0 references

    Identifiers