TY - JOUR

T1 - Effective Reifenberg theorems in Hilbert and Banach spaces

AU - Edelen, Nick

AU - Naber, Aaron

AU - Valtorta, Daniele

N1 - Publisher Copyright:
© 2018, Springer-Verlag GmbH Germany, part of Springer Nature.
Copyright:
Copyright 2019 Elsevier B.V., All rights reserved.

PY - 2019/8/6

Y1 - 2019/8/6

N2 - A famous theorem by Reifenberg states that closed subsets of Rn that look sufficiently close to k-dimensional at all scales are actually C, γ equivalent to k-dimensional subspaces. Since then a variety of generalizations have entered the literature. For a general measure μ in Rn, one may introduce the k-dimensional Jones’ β-numbers of the measure, where βμk(x,r) quantifies on a given ball Br(x) how closely in an integral sense the support of the measure is to living inside a k-dimensional subspace. Recently, it has been proven that if these β-numbers satisfy the uniform summability estimate ∫02βμk(x,r)2drr<M, then μ must be rectifiable with uniform measure bounds. Note that one only needs the square of the β-numbers to satisfy the summability estimate, this power gain has played an important role in the applications, for instance in the study of singular sets of geometric equations. One may also weaken these pointwise summability bounds to bounds which are more integral in nature. The aim of this article is to study these effective Reifenberg theorems for measures in a Hilbert or Banach space. For Hilbert spaces, we see all the results from Rn continue to hold with no additional restrictions. For a general Banach spaces we will see that the classical Reifenberg theorem holds, and that a weak version of the effective Reifenberg theorem holds in that if one assumes a summability estimate ∫02βμk(x,r)1drr<Mwithout power gain, then μ must again be rectifiable with measure estimates. Improving this estimate in order to obtain a power gain turns out to be a subtle issue. For k= 1 we will see for a uniformly smooth Banach space that if ∫02βμ1(x,r)αdrr<Mα/2, where α is the smoothness power of the Banach space, then μ is again rectifiable with uniform measure estimates.

AB - A famous theorem by Reifenberg states that closed subsets of Rn that look sufficiently close to k-dimensional at all scales are actually C, γ equivalent to k-dimensional subspaces. Since then a variety of generalizations have entered the literature. For a general measure μ in Rn, one may introduce the k-dimensional Jones’ β-numbers of the measure, where βμk(x,r) quantifies on a given ball Br(x) how closely in an integral sense the support of the measure is to living inside a k-dimensional subspace. Recently, it has been proven that if these β-numbers satisfy the uniform summability estimate ∫02βμk(x,r)2drr<M, then μ must be rectifiable with uniform measure bounds. Note that one only needs the square of the β-numbers to satisfy the summability estimate, this power gain has played an important role in the applications, for instance in the study of singular sets of geometric equations. One may also weaken these pointwise summability bounds to bounds which are more integral in nature. The aim of this article is to study these effective Reifenberg theorems for measures in a Hilbert or Banach space. For Hilbert spaces, we see all the results from Rn continue to hold with no additional restrictions. For a general Banach spaces we will see that the classical Reifenberg theorem holds, and that a weak version of the effective Reifenberg theorem holds in that if one assumes a summability estimate ∫02βμk(x,r)1drr<Mwithout power gain, then μ must again be rectifiable with measure estimates. Improving this estimate in order to obtain a power gain turns out to be a subtle issue. For k= 1 we will see for a uniformly smooth Banach space that if ∫02βμ1(x,r)αdrr<Mα/2, where α is the smoothness power of the Banach space, then μ is again rectifiable with uniform measure estimates.

UR - http://www.scopus.com/inward/record.url?scp=85056107909&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85056107909&partnerID=8YFLogxK

U2 - 10.1007/s00208-018-1770-0

DO - 10.1007/s00208-018-1770-0

M3 - Article

AN - SCOPUS:85056107909

VL - 374

SP - 1139

EP - 1218

JO - Mathematische Annalen

JF - Mathematische Annalen

SN - 0025-5831

IS - 3-4

ER -