Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher.
Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?
Some links on this page may take you to nonfederal websites. Their policies may differ from this site.

We continue to develop a program in geometric measure theory that seeks to identify how measures in a space interact with canonical families of sets in the space. In particular, extending a theorem of the first author and R. Schul in Euclidean space, for an arbitrary locally finite Borel measure in an arbitrary Carnot group, we develop tests that identify the part of the measure that is carried by rectifiable curves and the part of the measure that is singular to rectifiable curves. Our main result is entwined with an extension of the Analyst's Traveling Salesman Theorem, which characterizes subsets of rectifiable curves in R^2 (P. Jones, 1990), in R^n (K. Okikolu, 1992), or in an arbitrary Carnot group (the second author) in terms of local geometric least squares data called Jones' beta numbers. In a secondary result, we implement the GarnettKillipSchul construction of a doubling measure in R^n that charges a rectifiable curve in an arbitrary complete, doubling, locally quasiconvex metric space.more » « lessFree, publiclyaccessible full text available November 22, 2024

null (Ed.)Abstract We investigate the Hölder geometry of curves generated by iterated function systems (IFS) in a complete metric space. A theorem of Hata from 1985 asserts that every connected attractor of an IFS is locally connected and pathconnected. We give a quantitative strengthening of Hata’s theorem. First we prove that every connected attractor of an IFS is (1/ s )Hölder pathconnected, where s is the similarity dimension of the IFS. Then we show that every connected attractor of an IFS is parameterized by a (1/ α)Hölder curve for all α > s . At the endpoint, α = s , a theorem of Remes from 1998 already established that connected selfsimilar sets in Euclidean space that satisfy the open set condition are parameterized by (1/ s )Hölder curves. In a secondary result, we show how to promote Remes’ theorem to selfsimilar sets in complete metric spaces, but in this setting require the attractor to have positive s dimensional Hausdorff measure in lieu of the open set condition. To close the paper, we determine sharp Hölder exponents of parameterizations in the class of connected selfaffine BedfordMcMullen carpets and build parameterizations of selfaffine sponges. An interesting phenomenon emerges in the selfaffine setting. While the optimal parameter s for a selfsimilar curve in ℝ n is always at most the ambient dimension n , the optimal parameter s for a selfaffine curve in ℝ n may be strictly greater than n .more » « less

Let $ \Omega \subset \mathbb{R}^{n+1}$, $ n\geq 2$, be a 1sided NTA domain (also known as a uniform domain), i.e., a domain which satisfies interior corkscrew and Harnack chain conditions, and assume that $ \partial \Omega $ is $ n$dimensional AhlforsDavid regular. We characterize the rectifiability of $ \partial \Omega $ in terms of the absolute continuity of surface measure with respect to harmonic measure. We also show that these are equivalent to the fact that $ \partial \Omega $ can be covered $ \mathcal {H}^n$a.e. by a countable union of portions of boundaries of bounded chordarc subdomains of $ \Omega $ and to the fact that $ \partial \Omega $ possesses exterior corkscrew points in a qualitative way $ \mathcal {H}^n$a.e. Our methods apply to harmonic measure and also to elliptic measures associated with real symmetric second order divergence form elliptic operators with locally Lipschitz coefficients whose derivatives satisfy a natural qualitative Carleson condition.more » « less