Singular points of Hölder asymptotically optimally doubling measures

DOI10.1007/S00526-015-0918-YMaRDI QIDQ5963587zbMATH OpenOpenAlexFDO

Authors Stephen Lewis

Publication date 22 February 2016

Published in Calculus of Variations and Partial Differential Equations (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1301.1993

zbMATH Keywords

conic approximation Hausdorff distance optimally doubling measure optimally uniform measure Reifenberg flatness

Mathematics Subject Classification ID

Length, area, volume, other geometric measure theory (28A75) Miscellaneous topics in measure theory (28E99)

Abstract: We consider the question of how the doubling characteristic of a measure determines the regularity of its support. The question was considered by David, Kenig, and Toro for codimension-1 under a crucial assumption of flatness, and later by Preiss, Tolsa, and Toro in higher codimension. However, their studies leave open the geometry of the support of such measures in a neighborhood about a non-flat point of the support. We here answer the question (in an almost classical sense) for codimension-1 H"older doubling measures in

R R^{4}

.

Review text

Let \(\mu\) be a nonzero Radon measure on \({\mathbb R}^n\) with support \(\Sigma\), \(\alpha>0\) and \(0<m\leq n\) is integer. The measure \(\mu\) is called \((\alpha, m)\)-Hölder asymptotically uniform measure if for any compact set \(K\subset\Sigma\) there exist a constant \(C_K\) and a radius \(r_0 > 0\) such that for \(0 < r\leq r_0\) and \(x \in K\) \[ \left|\frac{\mu(B(x, r)}{\omega_{m}r^m}-1 \right|\leq C_{K}r^{\alpha}, \] where \(B(x, r)\) is ball with center \(x\) and radius \(r\), and \(\omega_m\) is volume of the \(m\)-dimensional unit ball. The author studies measures of that kind. In particular, he shows that for all \(\alpha > 0\) there exists \(\beta = \beta(\alpha)>0\) with the following property: -- if \(\mu\) is an \((\alpha, 3)\)-Hölder asymptotically uniform measure on \({\mathbb R}^4\) and \(x \in \Sigma\) is a nonflat point, then there exists a neighborhood of \(x\) which is \(C^{1,\beta}\)-diffeomorphic to an open piece of cone \(x_{4}^2 = x_{1}^2 +x_{2}^2 +x_{3}^2\) containing the singular point 0.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Singular points of Hölder asymptotically optimally doubling measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5963587)