Related papers: Characterization of rectifiability via Lusin type …
One goal of geometric measure theory is to understand how measures in the plane or higher dimensional Euclidean space interact with families of lower dimensional sets. An important dichotomy arises between the class of rectifiable measures,…
In this paper we prove generalizations of Lusin-type theorems for gradients due to Giovanni Alberti, where we replace the Lebesgue measure with any Radon measure $\mu$. We apply this to go beyond the known result on the existence of…
In this paper it is shown that an Ahlfors-David $n$-dimensional measure $\mu$ on $\mathbb{R}^d$ is uniformly $n$-rectifiable if and only if for any ball $B(x_0,R)$ centered at $\operatorname{supp}(\mu)$, $$ \int_0^R \int_{x\in B(x_0,R)}…
Let $E\subset \mathbb{R}^{n+1}$, $n\ge 2$, be a uniformly rectifiable set of dimension $n$. Then bounded harmonic functions in $\Omega:= \mathbb{R}^{n+1}\setminus E$ satisfy Carleson measure estimates, and are "$\varepsilon$-approximable".…
We repurpose tools from the theory of quantitative rectifiability to study the qualitative rectifiability of measures in $\Bbb{R}^n$, $n\geq 2$. To each locally finite Borel measure $\mu$, we associate a function $\widetilde J_2(\mu, x)$…
In this paper we establish a Besicovitch-Federer type projection theorem for general measures. Specifically, let $\mu$ be a finite Borel measure on $\mathbb{R}^n$ and let $0 < m < n$ be an integer. We show that, under the sole assumption…
We prove that for any singular measure $\mu$ on $\mathbb{R}^n$ it is possible to cover $\mu$-almost every point with $n$ families of Lipschitz slabs of arbitrarily small total width. More precisely, up to a rotation, for every $\delta>0$…
Let $\mu$ be a Radon measure on $\mathbb{R}^d$. We define and study conical energies $\mathcal{E}_{\mu,p}(x,V,\alpha)$, which quantify the portion of $\mu$ lying in the cone with vertex $x\in\mathbb{R}^d$, direction $V\in G(d,d-n)$, and…
We say a measure is $C^{1,\alpha}$ $d$-rectifiable if there is a countable union of $C^{1,\alpha}$ $d$-surfaces whose complement has measure zero. We provide sufficient conditions for a Radon measure in $\mathbb{R}^n$ to be $C^{1,\alpha}$…
The aim of this work is to provide a geometric characterization of the positive Radon measures $\mu$ with compact support on the plane such that the associated Cauchy transform defines a compact operator from $L^2(\mu)$ to $L^2(\mu).$ It…
We show that the set of points where the blow-up, in the sense of Preiss, of a signed Radon measure on $\mathbb{R}^n$ is unique and its invariant subspace has dimension $k$ is $k$-rectifiable. As simple applications, we obtain a…
In this note we show that if $G$ is a solvable group acting on the line, and if there is $T\in G$ having no fixed points, then there is a Radon measure $\mu$ on the line quasi-invariant under $G$. In fact, our method allows for the same…
Given positive measures $\nu,\mu$ on an arbitrary measurable space $(\Omega, \mathcal F)$, we construct a sequence of finite partitions $(\pi_n)_n$ of $(\Omega, \mathcal F)$ s.t. $$ \sum_{A\in \pi_n: \mu(A)>0} 1_{A} \frac{\nu(A)}{\mu(A)}…
Rademacher theorem states that every Lipschitz function on the Euclidean space is differentiable almost everywhere, where "almost everywhere" refers to the Lebesgue measure. In this paper we prove a differentiability result of similar type,…
We identify two sufficient conditions for locally finite Borel measures on $\mathbb{R}^n$ to give full mass to a countable family of Lipschitz images of $\mathbb{R}^m$. The first condition, extending a prior result of Pajot, is a sufficient…
For a Radon measure $\mu$ on $\bbR,$ we show that $L^{\infty}(\mu)$ is invariant under the group of translation operators $T_t(f)(x) = {$f(x-t)$}\ (t \in \bbR)$ if and only if $\mu$ is equivalent to Lebesgue measure $m$. We also give…
This work provides a geometric characterization of the measures $\mu$ in $\mathbb R^{n+1}$ with polynomial upper growth of degree $n$ such that the $n$-dimensional Riesz transform $R\mu (x) = \int \frac{x-y}{|x-y|^{n+1}}\,d\mu(y)$ belongs…
We prove that the packing dimension of any mean porous Radon measure on $\mathbb R^d$ may be estimated from above by a function which depends on mean porosity. The upper bound tends to $d-1$ as mean porosity tends to its maximum value. This…
We establish a good lambda inequality relating to the distribution function of Riesz potential and fractional maximal function on $\left(\mathbb{R}^n, d\mu\right)$ where $\mu$ is a positive Radon measure which doesn't necessarily satisfy a…
We prove that if $\mu$ is a Radon measure on the Heisenberg group $\mathbb{H}^n$ such that the density $\Theta^s(\mu,\cdot)$, computed with respect to the Kor\'anyi metric $d_H$, exists and is positive and finite on a set of positive $\mu$…