Daniel Girela-Sarrión

arXiv2017

The Riesz transform and quantitative rectifiability for general Radon measures

In this paper we show that if $μ$ is a Borel measure in $\mathbb R^{n+1}$ with growth of order $n$, so that the $n$-dimensional Riesz transform $R_μ$ is bounded in $L^2(μ)$, and $B\subset\mathbb R^{n+1}$ is a ball with $μ(B)\approx r(B)^n$ such that: (a) there is some $n$-plane $L$ passing through the center of $B$ such that for some $δ>0$ small enough, it holds $\int_B \frac{dist(x,L)}{r(B)}\,dμ(x)\leq δ\,μ(B),$ (b) for some constant $ε>0$ small enough, $\int_B |R_\mu1(x) - m_{μ,B}(R_\mu1)|^2\,dμ(x) \leq ε\,μ(B)$, where $m_{μ,B}(R_\mu1)$ stands for the mean of $R_\mu1$ on $B$ with respect to $μ$; then there exists a uniformly $n$-rectifiable subset $Γ$, with $μ(Γ\cap B)\gtrsim μ(B)$, and so that $μ|_Γ$ is absolutely continuous with respect to $H^n|_Γ$. This result is an essential tool to solve an old question on a two phase problem for harmonic measure in a subsequent paper by Azzam, Mourgoglou and Tolsa.

math.CA↗

arXiv2015

Geometric conditions for the $L^2$-boundedness of singular integral operators with odd kernels with respect to measures with polynomial growth in $\mathbb{R}^d$

Let $μ$ be a finite Radon measure in $\mathbb{R}^d$ with polynomial growth of degree $n$, although not necessarily $n$-AD-regular. We prove that under some geometric conditions on $μ$ that are closely related to rectifiability and involve the so-called $β$-numbers of Jones, David and Semmes, all singular integral operators with an odd and sufficiently smooth Calderón-Zygmund kernel are bounded in $L^2(μ)$. As a corollary, we obtain a lower bound for the Lipschitz harmonic capacity of a compact set in $\mathbb{R}^d$ only in terms of its metric and geometric properties.

math.CA↗