Bi-Lipschitz parts of quasisymmetric mappings

affine approximation big pieces of bi-Lipschitz images Carleson measures coarse differentiation Dorronsoro's theorem quantitative differentiation quasiconformal maps quasisymmetric maps rectifiable sets uniform approximation by affine property uniform rectifiability

Mathematics Subject Classification ID

Length, area, volume, other geometric measure theory (28A75) Quasiconformal mappings in (mathbb{R}^n), other generalizations (30C65) Function spaces arising in harmonic analysis (42B35) Differentiation theory (Gateaux, Fréchet, etc.) on manifolds (58C20)

Abstract: A natural quantity that measures how well a map

f : m a t h b b R^{d} i g h t a r r o w m a t h b b R^{D}

is approximated by an affine transformation is [omega_{f}(x,r)=inf_{A}left(frac{1}{|B(x,r)|}int_{B(x,r)}left(frac{|f-A|}{|A'|r} ight)^{2} ight)^{frac{1}{2}},] where the infimum ranges over all non constant affine transformations. This is natural insofar as it is invariant under rescaling

f

in either its domain or image. We show that if

f : m a t h b b R^{d} i g h t a r r o w m a t h b b R^{D}

is quasisymmetric and its image has a sufficient amount of rectifiable structure (although not necessarily

m a t h c a l H^{d}

-finite), then

o m e g a_{f} (x, r)^{2} f r a c d x d r r

is a Carleson measure on

m a t h b b R^{d} i m e s (0, i n f t y)

. Moreover, this is an equivalence: the existence of such a Carleson measure implies that, in every ball

B (x, r) s u b s e t e q m a t h b b R^{d}

, there is a set

E

occupying 90

%

of

B (x, r)

, say, upon which

f

is bi-Lipschitz (and hence guaranteeing rectifiable pieces in the image). En route, we make a minor adjustment to a theorem of Semmes to show that quasisymmetric maps of subsets of

m a t h b b R^{d}

into

m a t h b b R^{d}

are bi-Lipschitz on a large subset quantitatively.

Review text

Summary: A natural quantity that measures how well a map \(f:\mathbb{R}^{d}\to \mathbb{R}^{D}\) is approximated by an affine transformation is \[ \omega_{f}(x,r)=\inf_{A}\left(B(x,r)\left(\frac{|f-A|}{|A'|r}\right)^{2}\,\right)^{{1}/{2}}, \] where the infimum ranges over all non-zero affine transformations \(A\). This is natural insofar as it is invariant under rescaling \(f\) in either its domain or image. We show that if \(f:\mathbb{R}^{d}\to \mathbb{R}^{D}\) is quasisymmetric and its image has a sufficient amount of rectifiable structure (although not necessarily \(\mathcal{H}^{d}\)-finite), then \(\omega_{f}(x,r)^{2}{dxdr}/{r}\) is a Carleson measure on \(\mathbb{R}^{d}\times(0,\infty)\). Moreover, this is an equivalence: if this is a Carleson measure, then, in every ball \(B(x,r)\subseteq \mathbb{R}^{d}\), there is a set \(E\) occupying 90\% of \(B(x,r)\), say, upon which \(f\) is bi-Lipschitz (and hence guaranteeing rectifiable pieces in the image). En route, we make a minor adjustment to a theorem of Semmes to show that quasisymmetric maps of subsets of \(\mathbb R^{d}\) into \(\mathbb R^{d}\) are bi-Lipschitz on a large subset quantitatively.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Bi-Lipschitz parts of quasisymmetric mappings

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