A square function involving the center of mass and rectifiability

TL;DR

This paper characterizes n-rectifiability of measures in Euclidean space using a square function involving the measure's center of mass, establishing a link between geometric rectifiability and analytic conditions.

Contribution

It provides a new characterization of n-rectifiability via a square function and Carleson measure conditions, extending previous results and including the planar case.

Findings

n-rectifiable measures satisfy a finite integral condition of the square function almost everywhere.

For uniformly rectifiable measures, the square function defines a Carleson measure.

In the plane, the same Dini condition characterizes 1-rectifiability and uniform 1-rectifiability.

Abstract

For a Radon measure $\mu$ on $\mathbb{R}^d$, define $C^n_\mu(x, t)= \ (\frac{1}{t^n} \ |\int_{B(x,t)} \frac{x-y}{t} \, d\mu(y)\ | \ )$. This coefficient quantifies how symmetric the measure $\mu$ is by comparing the center of mass at a given scale and location to the actual center of the ball. We show that if $\mu$ is $n$-rectifiable, then $ \int_0^\infty |C^n_\mu(x,t)|^2 \frac{dt}{t} < \infty \, \, \mu\mbox{-almost everywhere}. $ Together with a previous result of Mayboroda and Volberg, where they showed that the converse holds true, this gives a characterisation of $n$-rectifiability. To prove our main result, we also show that for an $n$-uniformly rectifiable measure, $|C_\mu^n(x,t)|^2 dt/t d\mu$ is a Carleson measure on $\mathrm{spt}(\mu) \times (0,\infty)$. We also show that, whenever a measure $\mu$ is $1$-rectifiable in the plane, then the same Dini condition as above holds for more general kernels. Moreover, we give a characterisation of uniform 1-rectifiability in the plane in terms of a Carleson measure condition.