Rectifiability and tangents in a rough Riemannian setting

Abstract

Characterizing rectifiability of Radon measures in Euclidean space has led to fundamental contributions to geometric measure theory. Conditions involving existence of principal values of certain singular integrals \cite{mattila1995rectifiable} and the existence of densities with respect to Euclidean balls \cite{preiss1987geometry} have given rise to major breakthroughs. We study similar questions in a rough elliptic setting where Euclidean balls $B(a,r)$ are replaced by ellipses $B_{\hat{I}}›(a,r)$ whose eccentricity and principal axes depend on $a$. Given $\hat{I}›:{\mathbb{R}}^n\to GL(n,\mathbb{R})$, consider the family of ellipses $B_{\hat{I}}›(a,r)=a+\hat{I}›(a)B(0,r)$. We characterize $m$-rectifiability in terms of the almost everywhere existence of the densities $$\hat{I}{¸}_{\hat{I}›(a)}^m(\hat{I}¼,a)=\underset{r\downarrow 0}{\lim }\frac{\hat{I}¼(B_{\hat{I}}›(a,r))}{r^m}\in (0,\infty ).$$ We characterize $m$-rectifiable measures in terms of the existence of the principal values-- and even under the weaker assumptions that $$\underset{\hat{I}\mu \downarrow 0}{\lim }{\int }_{B_{\hat{I}}›(a,\hat{I}\mu R)\setminus B_{\hat{I}}›(a,\hat{I}\mu r)}\frac{\hat{I}›(a{)}^{-1}(y-a)}{|\hat{I}›(a{)}^{-1}(y-a){|}^{m+1}}d\hat{I}¼(y)=0\forall 0<r<R$$ when $0<\hat{I}{¸}_{\ast }^m(\hat{I}¼,a)<\infty$ almost everywhere. We apply the second result to characterize $(n-1)$-rectifiable measures in ${\mathbb{R}}^n$ in terms of the behavior of the gradient of the single layer potential to the PDE $L_{A}u=-\text{div}(A\nabla u)$ under weak continuity assumptions on $A$.

Substantial re-work and additions to previous version of the paper, including but no limited to: adding a full converse to the second main theorem that principal values existing implies rectifiability, as well as weakening the previous hypotheses on this theorem to no longer require a principal value to exist to deduce rectifiability