arXiv subjects
Publications and source records attributed to Xavier Tolsa.
In this article, we prove a quantitative version of Carleson's $\varepsilon^2$ conjecture in higher dimension: we characterise those Ahlfors-David regular domains in $\mathbb{R}^{n+1}$ for which the Carleson's coefficients satisfy the so-called strong geometric lemma.
In this paper we study the behavior of the density ratios of harmonic measure at points with vanishing density. Given an arbitrary open set $Ω\subset\mathbb R^{n+1}$ with harmonic measure $ω$, we show that at $ω$-almost every point $x\in\partialΩ$ where $\liminf_{r\to0}\frac{ω(B(x,r))}{r^n}=0$, the density ratio $\frac{ω(B(x,r))}{r^n}$ is not almost monotone with respect to the radius $r$, and therefore exhibits arbitrarily large oscillations at small scales.
This paper surveys different topics where the theory of quantitative rectifiability plays a central role. First, it reviews the characterization of rectifiability in terms of square functions involving $β$ type coefficients and the $\varepsilon^2$ conjecture of Carleson. It also discusses the deep connections between rectifiability and the $L^2$ boundedness of Riesz transforms and their application to the Painlevé problem for Lipschitz harmonic functions. Finally, the paper explores recent major advances in connection with harmonic measure and the $L^p$ solvability of the Dirichlet, regularity, and Neumann problems for the Laplace equation in rough domains, emphasizing the key role of quantitative rectifiability in these developments.
Let $Ω\subset \mathbb{R}^{n+1}$ be a bounded chord-arc domain, let $\mathcal L=-{\rm div} A\nabla$ be an elliptic operator in $Ω$ associated with a matrix $A$ having Dini mean oscillation coefficients, and let $1 p$ in $Ω$, $\partial Ω$ supports a weak $p$-Poincaré inequality, and $Ω$ has very big pieces of superdomains for which the Neumann problem for $\mathcal L$ is solvable uniformly in $L^q$, then the Neumann problem for $\mathcal L$ is solvable in $L^p$ in $Ω$.
We provide quantitative estimates for the dimension drop of harmonic measure. We show that for a domain $Ω= \mathbb{R}^{n+1} \setminus E$ where $E$ is an $s$-Ahlfors regular compact set satisfying a uniform $L^2$-based non-flatness condition $β_2 \ge δ_0$, the dimension of its harmonic measure is strictly less than $s$ for $s \in (n - cδ_0^2, n]$. For planar domains, we establish an analogous quantitative threshold $s_0 = 1 - cδ_0^2$ under Azzam's uniform non-flatness condition $β_\infty + β_{\operatorname{hole}} \ge δ_0$.
In this paper we explore the connection between quantitative rectifiability of measures and the $L^2$ boundedness of the codimension one Riesz transform. Among other things, we prove the following. Let $μ$ be a Radon measure in $\mathbb R^{n+1}$ with growth of degree $n$ such that the $n$-dimensional Riesz transform $R_μ$ is bounded in $L^2(μ)$, and let $B_0\subset\mathbb R^{n+1}$ be a suitably doubling ball such that: (i) There exists some (small) ball $B_1$ centered in $B_0$ with $r(B_1)\leq δ_1 r(B_0)$ such that, for some constant $α>0$, $$\frac{μ(B_1)}{r(B_1)^n}\geq α\,\frac{μ(B_0)}{r(B_0)^n}.$$ (ii) For some $ε>0$, $$\int_{2B_0} |Rμ- m_{μ,2B_0}(Rμ)|^2\,dμ\leq ε\,\bigg(\frac{μ(B_0)}{r(B_0)^n}\bigg)^2\,μ(B_0).$$ If $δ_1$ is small enough, depending on $n$ and $α$, and $ε$ is small enough, then there exists a uniformly $n$-rectifiable set $Γ$ and some $τ>0$ such that $μ(Γ\cap B_0) \geqτ\,μ(B_0).$
In this work we provide a geometric characterization of the measures $μ$ in $\mathbb R^{n+1}$ with polynomial upper growth of degree $n$ such that the $n$-dimensional Riesz transform $Rμ(x) = \int \frac{x-y}{|x-y|^{n+1}}\,dμ(y)$ belongs to $L^2(μ)$. More precisely, it is shown that $$\|Rμ\|_{L^2(μ)}^2 + \|μ\|\approx \int\!\!\int_0^\infty β_{2,μ}(x,r)^2\,\frac{μ(B(x,r))}{r^n}\,\frac{dr}r\,dμ(x) + \|μ\|,$$ where $β_{μ,2}(x,r)^2 = \inf_L \frac1{r^n}\int_{B(x,r)} \left(\frac{\mathrm{dist}(y,L)}r\right)^2\,dμ(y),$ with the infimum taken over all affine $n$-planes $L\subset\mathbb R^{n+1}$. As a corollary, we obtain a characterization of the removable sets for Lipschitz harmonic functions in terms of a metric-geometric potential and we deduce that the class of removable sets for Lipschitz harmonic functions is invariant by bilipschitz mappings.
In this note it is shown that if $μ$ is an $n$-Ahlfors regular measure in $\mathbb R^{n+1}$ such that the $n$-dimensional Riesz transform is bounded in $L^2(μ)$ and the so-called BAUPP (bilateral approximation by unions of parallel planes) condition holds for $μ$, then $μ$ satisfies the BWGL (bilateral weak geometric lemma), and so $μ$ is uniformly $n$-rectifiable. In this way, one can solve the David-Semmes problem in codimension one without relying on the BAUP (bilateral approximation by unions of planes) criterion of David and Semmes.
In this paper we show that, given a planar Reifenberg flat domain with small constant and a divergence form operator associated to a real (not necessarily symmetric) uniformly elliptic matrix with Lipschitz coefficients, the Hausdorff dimension of its elliptic measure is at most 1. More precisely, we prove that there exists a subset of the boundary with full elliptic measure and with $σ$-finite one-dimensional Hausdorff measure. For Reifenberg flat domains, this result extends a previous work of Thomas H. Wolff for the harmonic measure.
We prove that the $L^{p'}$-solvability of the homogeneous Dirichlet problem for an elliptic operator $L=-\operatorname{div}A\nabla$ with real and merely bounded coefficients is equivalent to the $L^{p'}$-solvability of the Poisson Dirichlet problem $Lw=H-\operatorname{div} F$, which is defined in terms of an $L^{p'}$ estimate on the non-tangential maximal function, assuming that $\operatorname{dist}(\cdot, \partial Ω) H$ and $F$ lie in certain $L^{p'}$-Carleson-type spaces, and that the domain $Ω\subset\mathbb R^{n+1}$, $n\geq2$, satisfies the corkscrew condition and has $n$-Ahlfors regular boundary. In turn, we use this result to show that, in a bounded domain with uniformly $n$-rectifiable boundary that satisfies the corkscrew condition, $L^{p'}$-solvability of the homogeneous Dirichlet problem for an operator $L=-\operatorname{div} A\nabla$ satisfying the Dahlberg-Kenig-Pipher condition (of arbitrarily large constant) implies solvability of the $L^p$-regularity problem for the adjoint operator $L^*=-\operatorname{div} A^T \nabla$, where $1/p+1/p'=1$ and $A^T$ is the transpose matrix of $A$. This result for Dahlberg-Kenig-Pipher operators is new even if $Ω$ is the unit ball, despite the fact that the $L^{p'}$-solvability of the Dirichlet problem for these operators in Lipschitz domains has been known since 2001. Further novel applications include i) new local estimates for the Green's function and its gradient in rough domains, ii) a local $T1$-type theorem for the $L^{p}$-solvability of the ``Poisson-Regularity problem'', itself equivalent to the $L^{p'}$-solvability of the homogeneous Dirichlet problem, in terms of certain gradient estimates for local landscape functions, and iii) new $L^p$ estimates for the eigenfunctions (and their gradients) of symmetric operators $L$ on bounded rough domains.
Let $Ω^+\subset\mathbb R^{n+1}$ be a vanishing Reifenberg flat domain such that $Ω^+$ and $Ω^-=\mathbb R^{n+1}\setminus\overline {Ω^+}$ have joint big pieces of chord-arc subdomains and the outer unit normal to $Ω^+$ belongs to $VMO(ω^+)$, where $ω^\pm$ is the harmonic measure of $Ω^\pm$. Up to now it was an open question if these conditions imply that $\log\dfrac{dω^-}{dω^+} \in VMO(ω^+)$. In this paper we answer this question in the negative by constructing an appropriate counterexample in $\mathbb R^2$, with the additional property that the outer unit normal to $Ω^+$ is constant $ω^+$-a.e. in $\partialΩ^+$.
The main aim of this article is to prove quantitative spectral inequalities for the Laplacian with Dirichlet boundary conditions. More specifically, we prove sharp quantitative stability for the Faber-Krahn inequality in terms of Newtonian capacities and Hausdorff contents of positive codimension, thus providing an answer to a question posed by De Philippis and Brasco. One of our results asserts that for any bounded domain $Ω\subset\mathbb R^n$, $n\geq3$, with Lebesgue measure equal to that of the unit ball $B_0$ and whose first eigenvalue is $λ_Ω$, denoting by $λ_{B_0}$ the first eigenvalue for the unit ball, for any $a\in (0,1)$ it holds $$λ_Ω- λ_{B_0} \geq C(a) \,\inf_B \bigg(\sup_{t\in (0,1)} \frac1{H^{n-1}(\partial ((1-t) B))} \int_{\partial ((1-t) B)} \frac{\operatorname{Cap}_{n-2}(B(x,atr_B)\setminus Ω)}{(t\,r_B)^{n-3}}\,dH^{n-1}(x)\bigg)^2,$$ where the infimum is taken over all balls $B$ with the same Lebesgue measure as $Ω$ and $\operatorname{Cap}_{n-2}$ is the Newtonian capacity of homogeneity $n-2$. In fact, this holds for bounded subdomains of the sphere and the hyperbolic space, as well. In a second result, we also apply the new Faber-Krahn type inequalities to quantify the Hayman-Friedland inequality about the characteristics of disjoint domains in the unit sphere. Thirdly, we propose a natural extension of Carleson's $\varepsilon^2$-conjecture to higher dimensions in terms of a square function involving the characteristics of certain spherical domains, and we prove the necessity of the finiteness of such square function in the tangent points via the Alt-Caffarelli-Friedman monotonicity formula. Finally, we answer in the negative a question posed by Allen, Kriventsov and Neumayer in connection to rectifiability and the positivity set of the ACF monotonicity formula.
Let $Ω^+\subset\mathbb R^{n+1}$ be a bounded $δ$-Reifenberg flat domain, with $δ>0$ small enough, possibly with locally infinite surface measure. Assume also that $Ω^-= \mathbb R^{n+1}\setminus \overline{Ω^+}$ is an NTA domain as well and denote by $ω^+$ and $ω^-$ the respective harmonic measures of $Ω^+$ and $Ω^-$ with poles $p^\pm\inΩ^\pm$. In this paper we show that the condition that $\log\dfrac{dω^-}{dω^+} \in VMO(ω^+)$ is equivalent to $Ω^+$ being a chord-arc domain with inner normal belonging to $VMO(H^n|_{\partialΩ^+})$.
In this paper we prove a higher dimensional analogue of Carleson's $\varepsilon^2$ conjecture. Given two arbitrary disjoint open sets $Ω^+,Ω^-\subset \mathbb{R}^{n+1}$, and $x\in\mathbb{R}^{n+1}$, $r>0$, we denote $$\varepsilon_n(x,r) := \frac{1}{r^n}\, \inf_{H^+} \mathcal{H}^n \left( ((\partial B(x,r)\cap H^+) \setminus Ω^+) \cup ((\partial B(x,r)\cap H^-) \setminus Ω^-)\right),$$ where the infimum is taken over all open affine half-spaces $H^+$ such that $x \in \partial H^+$ and we define $H^-= \mathbb{R}^{n+1} \setminus \overline {H^{+}}$. Our first main result asserts that any Borel subset of $$\left\{x\in\mathbb{R}^{n+1}\, :\, \int_0^1 \varepsilon_n(x,r)^2 \, \frac{dr}{r}<\infty\right\}$$ is $n$-rectifiable. For our second main result we assume that $Ω^+, Ω^-$ are open and that $Ω^+\cupΩ^-$ satisfies the capacity density condition. For each $x \in \partial Ω^+ \cup \partial Ω^-$ and $r>0$, we denote by $α^\pm(x,r)$ the characteristic constant of the (spherical) open sets $Ω^\pm \cap \partial B(x,r)$. We show that, up to a set of $\mathcal{H}^n$ measure zero, $x$ is a tangent point for both $\partial Ω^+$ and $ \partial Ω^-$ if and only if\begin{equation*} \int_0^{1} \min(1,α^+(x,r) + α^-(x,r) -2) \frac{dr}{r} < \infty. \end{equation*} The first result is new even in the plane and the second one improves and extends to higher dimensions the $\varepsilon^2$ conjecture of Carleson.
Let $Ω\subset \mathbb R^{n+1}$, $n\geq2$, be an open set satisfying the corkscrew condition with $n$-Ahlfors regular boundary $\partialΩ$, but without any connectivity assumption. We study the connection between solvability of the regularity problem for divergence form elliptic operators with boundary data in the Hajłasz-Sobolev space $M^{1,1}(\partialΩ)$ and the weak-$\mathcal A_\infty$ property of the associated elliptic measure. In particular, we show that solvability of the regularity problem in $M^{1,1}(\partialΩ)$ is equivalent to the solvability of the regularity problem in $M^{1,p}(\partialΩ)$ for some $p>1$. We also prove analogous extrapolation results for the Poisson regularity problem defined on tent spaces. Moreover, under the hypothesis that $\partialΩ$ supports a weak $(1,1)$-Poincaré inequality, we show that the solvability of the regularity problem in the Hajłasz-Sobolev space $M^{1,1}(\partialΩ)$ is equivalent to a stronger solvability in a Hardy-Sobolev space of tangential derivatives.
These are the lecture notes of a seminar held at the Universitat Autònoma de Barcelona where the Jones-Wolff theorem about the dimension of harmonic measure in the plane is explained in full detail, for non-expert readers.
Let $Ω\subset \mathbb{R}^{n+1}$, $n\geq 2$, be a bounded open and connected set satisfying the corkscrew condition with uniformly $n$-rectifiable boundary. In this paper we study the connection between the solvability of $(D_{p'})$, the Dirichlet problem for the Laplacian with boundary data in $L^{p'}(\partial Ω)$, and $(R_{p})$ (resp. $(\tilde R_{p})$), the regularity problem for the Laplacian with boundary data in the Hajłasz Sobolev space $W^{1,p}(\partial Ω)$ (resp. $\tilde W^{1,p}(\partial Ω)$, the usual Sobolev space in terms of the tangential derivative), where $p \in (1,2+\varepsilon)$ and $1/p+1/p'=1$. Our main result shows that $(D_{p'})$ is solvable if and only if so is $(R_{p})$. Under additional geometric assumptions (two-sided local John condition or weak Poincaré inequality on the boundary), we prove that $(D_{p'}) \Rightarrow (\tilde R_{p})$. In particular, we deduce that in bounded chord-arc domains (resp. two-sided chord-arc domains) there exists $p_0 \in (1,2+\varepsilon)$ so that $(R_{p_0})$ (resp. $(\tilde R_{p_0})$) is solvable. We also extend the results to unbounded domains with compact boundary and show that in two-sided corkscrew domains with $n$-Ahlfors-David regular boundaries the single layer potential operator is invertible from $L^p(\partial Ω)$ to the inhomogeneous Sobolev space $ W^{1,p}(\partial Ω)$. Finally, we provide a counterexample of a chord-arc domain $Ω_0 \subset \mathbb{R}^{n+1}$, $n \geq 3$, so that $(\tilde R_p)$ is not solvable for any $p \in [1, \infty)$.
Inspired by recent work of Mourgoglou and the second named author, and earlier work of Hofmann, Mitrea and Taylor, we consider connections between the local John condition, the Harnack chain condition and weak boundary Poincaré inequalities in open sets $Ω\subset \mathbb{R}^{n+1}$, with codimension $1$ Ahlfors--David regular boundaries. First, we prove that if $Ω$ satisfies both the local John condition and the exterior corkscrew condition, then $Ω$ also satisfies the Harnack chain condition (and hence, is a chord-arc domain). Second, we show that if $Ω$ is a $2$-sided chord-arc domain, then the boundary $\partial Ω$ supports a Heinonen--Koskela type weak $1$-Poincaré inequality. We also construct an example of a set $Ω\subset \mathbb{R}^{n+1}$ such that the boundary $\partial Ω$ is Ahlfors--David regular and supports a weak boundary $1$-Poincaré inequality but $Ω$ is not a chord-arc domain. Our proofs utilize significant advances in particularly harmonic measure, uniform rectifiability and metric Poincaré theories.