arXiv2025
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_Λ(a,r)$ whose eccentricity and principal axes depend on $a$. Given $Λ: \mathbb{R}^{n} \to GL(n,\mathbb{R})$, consider the family of ellipses $B_Λ(a,r) = a + Λ(a) B(0,r)$. We characterize $m$-rectifiability in terms of the almost everywhere existence of the densities $$ θ^{m}_{Λ(a)}(μ,a) = \lim_{r \downarrow 0} \frac{μ(B_Λ(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 $$ \lim_{ε\downarrow 0} \int_{B_Λ(a,εR) \setminus B_Λ(a, εr)} \frac{Λ(a)^{-1}(y-a)}{|Λ(a)^{-1}(y-a)|^{m+1}} d μ(y) = 0 \quad \forall 0 < r < R $$ when $0 < θ^{m}_{*}(μ,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 = - \textrm{div}(A \nabla u)$ under weak continuity assumptions on $A$.