Source author record

Xavier Tolsa

Xavier Tolsa appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

38works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

38 published item(s)

preprint2022arXiv

$L^2$-boundedness of gradients of single layer potentials for elliptic operators with coefficients of Dini mean oscillation-type

We consider a uniformly elliptic operator $L_A$ in divergence form associated with an $(n+1)\times(n+1)$-matrix $A$ with real, merely bounded, and possibly non-symmetric coefficients. If $$ω_A(r)=\sup_{x\in \mathbb{R}^{n+1}} \frac{1}{|B(x,r)|}\int_{B(x,r)}\Big|A(z)-\frac{1}{|B(x,r)|}\int_{B(x,r)}A\Big|\,dz,$$ then, under suitable Dini-type assumptions on $ω_A$, we prove the following: if $μ$ is a compactly supported Radon measure in $\mathbb{R}^{n+1}$, $n \geq 2$, and $T_μf(x)=\int \nabla_xΓ_A (x,y)f(y)\, dμ(y)$ denotes the gradient of the single layer potential associated with $L_A$, then $$ 1+ \|T_μ\|_{L^2(μ)\to L^2(μ)}\approx 1+ \|\mathcal R_μ\|_{L^2(μ)\to L^2(μ)},$$ where $\mathcal R_μ$ indicates the $n$-dimensional Riesz transform. This allows us to provide a direct generalization of some deep geometric results, initially obtained for $\mathcal R_μ$, which were recently extended to $T_μ$ associated with $L_A$ with Hölder continuous coefficients. In particular, we show the following: 1) If $μ$ is an $n$-Ahlfors-David-regular measure on $\mathbb{R}^{n+1}$ with compact support, then $T_μ$ is bounded on $L^2(μ)$ if and only if $μ$ is uniformly $n$-rectifiable. 2) Let $E\subset \mathbb{R}^{n+1}$ be compact and $\mathcal H^n(E)<\infty$. If $T_{\mathcal H^n|_E}$ is bounded on $L^2(\mathcal H^n|_E)$, then $E$ is $n$-rectifiable. 3) If $μ\not\equiv 0$ satisfies $\limsup_{r\to 0}\tfrac{μ(B(x,r))}{(2r)^n}$ {is positive and finite} for $μ$-a.e. $x\in \mathbb{R}^{n+1}$ and $\liminf_{r\to 0}\tfrac{μ(B(x,r))}{(2r)^n}$ vanishes for $μ$-a.e. $x\in \mathbb{R}^{n+1}$, then $T_μ$ is not bounded on $L^2(μ)$. 4) If $μ$ is a compactly supported Radon measure satisfying a certain set of local conditions at the level of a ball $B$ with small radius, then a significant portion of $μ|_B$ can be covered by a UR set.

preprint2020arXiv

A two-phase free boundary problem for harmonic measure and uniform rectifiability

We assume that $Ω_1, Ω_2 \subset \mathbb{R}^{n+1}$, $n \geq 1$ are two disjoint domains whose complements satisfy the capacity density condition and the intersection of their boundaries $F$ has positive harmonic measure. Then we show that in a fixed ball $B$ centered on $F$, if the harmonic measure of $Ω_1$ satisfies a scale invariant $A_\infty$-type condition with respect to the harmonic measure of $Ω_2$ in $B$, then there exists a uniformly $n$-rectifiable set $Σ$ so that the harmonic measure of $Σ\cap F$ contained in $B$ is bounded below by a fixed constant independent of $B$. A remarkable feature of this result is that the harmonic measures do not need to satisfy any doubling condition. In the particular case that $Ω_1$ and $Ω_2$ are complementary NTA domains, we obtain a geometric characterization of the $A_\infty$ condition between the respective harmonic harmonic measures of $Ω_1$ and $Ω_2$.

preprint2020arXiv

Harmonic measure and quantitative connectivity: geometric characterization of the $L^p$-solvability of the Dirichlet problem

It is well-known that quantitative, scale invariant absolute continuity (more precisely, the weak-$A_\infty$ property) of harmonic measure with respect to surface measure, on the boundary of an open set $ Ω\subset \mathbb{R}^{n+1}$ with Ahlfors-David regular boundary, is equivalent to the solvability of the Dirichlet problem in $Ω$, with data in $L^p(\partialΩ)$ for some $p<\infty$. In this paper, we give a geometric characterization of the weak-$A_\infty$ property, of harmonic measure, and hence of solvability of the $L^p$ Dirichlet problem for some finite $p$. This characterization is obtained under background hypotheses (an interior corkscrew condition, along with Ahlfors-David regularity of the boundary) that are natural, and in a certain sense optimal: we provide counter-examples in the absence of either of them (or even one of the two, upper or lower, Ahlfors-David bounds); moreover, the examples show that the upper and lower Ahlfors-David bounds are each quantitatively sharp.

preprint2020arXiv

The two-phase problem for harmonic measure in VMO

Let $Ω^+\subset\mathbb R^{n+1}$ be an NTA domain and let $Ω^-= \mathbb R^{n+1}\setminus \overline{Ω^+}$ be an NTA domain as well. Denote by $ω^+$ and $ω^-$ their respective harmonic measures. Assume that $Ω^+$ is a $δ$-Reifenberg flat domain for some $δ>0$ small enough. In this paper we show that $\log\frac{dω^-}{dω^+}\in VMO(ω^+)$ if and only if $Ω^+$ is vanishing Reifenberg flat, $Ω^+$ and $Ω^-$ have joint big pieces of chord-arc subdomains, and the inner unit normal of $Ω^+$ has vanishing oscillation with respect to the approximate normal. This result can be considered as a two-phase counterpart of a more well known related one-phase problem for harmonic measure solved by Kenig and Toro.

preprint2016arXiv

Harmonic measure and Riesz transform in uniform and general domains

Let $Ω\subsetneq\mathbb R^{n+1}$ be open and let $μ$ be some measure supported on $\partialΩ$ such that $μ(B(x,r))\leq C\,r^n$ for all $x\in\mathbb R^{n+1}$, $r>0$. We show that if the harmonic measure in $Ω$ satisfies some scale invariant $A_\infty$ type conditions with respect to $μ$, then the $n$-dimensional Riesz transform $$R_μf(x) = \int \frac{x-y}{|x-y|^{n+1}}\,f(y)\,dμ(y)$$ is bounded in $L^2(μ)$. We do not assume any doubling condition on $μ$. We also consider the particular case when $Ω$ is a bounded uniform domain. To this end, we need first to obtain sharp estimates that relate the harmonic measure and the Green function in this type of domains, which generalize classical results by Jerison and Kenig for the well-known class of NTA domains.

preprint2016arXiv

On Tsirelson's theorem about triple points for harmonic measure

A theorem of Tsirelson from 1997 asserts that given three disjoint domains in $\mathbb R^{n+1}$, the set of triple points belonging to the intersection of the three boundaries where the three corresponding harmonic measures are mutually absolutely continuous has null harmonic measure. The original proof by Tsirelson is based on the fine analysis of filtrations for Brownian and Walsh-Brownian motions and can not be translated into potential theory arguments. In the present paper we give a purely analytical proof of the same result.

preprint2016arXiv

Singular integrals unsuitable for the curvature method whose $L^2$-boundedness still implies rectifiability

The well-known curvature method initiated in works of Melnikov and Verdera is now commonly used to relate the $L^2(μ)$-boundedness of certain singular integral operators to the geometric properties of the support of measure $μ$, e.g. rectifiability. It can be applied however only if Menger curvature-like permutations, directly associated with the kernel of the operator, are non-negative. We give an example of an operator in the plane whose corresponding permutations change sign but the $L^2(μ)$-boundedness of the operator still implies that the support of $μ$ is rectifiable. To the best of our knowledge, it is the first example of this type. We also obtain several related results with Ahlfors-David regularity conditions.

preprint2016arXiv

Singular sets for harmonic measure on locally flat domains with locally finite surface measure

A theorem of David and Jerison asserts that harmonic measure is absolutely continuous with respect to surface measure in NTA domains with Ahlfors regular boundaries. We prove that this fails in high dimensions if we relax the Ahlfors regularity assumption by showing that, for each $d>1$, there exists a Reifenberg flat domain $Ω\subset \mathbb{R}^{d+1}$ with $\mathcal{H}^{d}(\partialΩ)<\infty$ and a subset $E\subset \partial Ω$ with positive harmonic measure yet zero $\mathcal{H}^{d}$-measure. In particular, this implies that a classical theorem of F. and M. Riesz theorem fails in higher dimensions for this type of domains.

preprint2016arXiv

The measures with an associated square function operator bounded in $L^2$

In this paper we provide an extension of a theorem of David and Semmes ('91) to general non-atomic measures. The result provides a geometric characterization of the non-atomic measures for which a certain class of square function operators, or singular integral operators, are bounded in $L^2(μ)$. The description is given in terms of a modification of Jones' $β$-coefficients.

preprint2016arXiv

The Riesz transform of codimension smaller than one and the Wolff energy

Fix $d\geq 2$, and $s\in (d-1,d)$. We characterize the non-negative locally finite non-atomic Borel measures $μ$ in $\mathbb{R}^d$ for which the associated $s$-Riesz transform is bounded in $L^2(μ)$ in terms of the Wolff energy. This extends the range of $s$ in which the Mateu-Prat-Verdera characterization of measures with bounded $s$-Riesz transform is known. As an application, we give a metric characterization of the removable sets for locally Lipschitz continuous solutions of the fractional Laplacian operator $(-Δ)^{α/2}$, $α\in (1,2)$, in terms of a well-known capacity from non-linear potential theory. This result contrasts sharply with removability results for Lipschitz harmonic functions.

preprint2015arXiv

A T(P) theorem for Sobolev spaces on domains

Recently, V. Cruz, J. Mateu and J. Orobitg have proved a T(1) theorem for the Beurling transform in the complex plane. It asserts that given $0<s\leq1$, $1<p<\infty$ with $sp>2$ and a Lipschitz domain $Ω\subset \mathbb{C}$, the Beurling transform $Bf=- {\rm p.v.}\frac1{πz^2}*f$ is bounded in the Sobolev space $W^{s,p}(Ω)$ if and only if $Bχ_Ω\in W^{s,p}(Ω)$. In this paper we obtain a generalized version of the former result valid for any $s\in \mathbb{N}$ and for a larger family of Calderón-Zygmund operators in any ambient space $\mathbb{R}^d$ as long as $p>d$. In that case we need to check the boundedness not only over the characteristic function of the domain, but over a finite collection of polynomials restricted to the domain. Finally we find a sufficient condition in terms of Carleson measures for $p\leq d$. In the particular case $s=1$, this condition is in fact necessary, which yields a complete characterization.

preprint2015arXiv

Characterization of $n$-rectifiability in terms of Jones' square function: Part II

We show that a Radon measure $μ$ in $\mathbb R^d$ which is absolutely continuous with respect to the $n$-dimensional Hausdorff measure $H^n$ is $n$-rectifiable if the so called Jones' square function is finite $μ$-almost everywhere. The converse of this result is proven in a companion paper by the second author, and hence these two results give a classification of all $n$-rectifiable measures which are absolutely continuous with respect to $H^{n}$. Further, in this paper we also investigate the relationship between the Jones' square function and the so called Menger curvature of a measure with linear growth.

preprint2015arXiv

Non-existence of reflectionless measures for the s-Riesz transform when 0<s<1

A measure $μ$ on $\mathbb{R}^d$ is called reflectionless for the $s$-Riesz transform if the singular integral $R^sμ(x)=\int \frac{y-x}{|y-x|^{s+1}}\,dμ(y)$ is constant on the support of $μ$ in some weak sense and, moreover, the operator defined by $R^s_μ(f)=R^s(f\,μ)$ is bounded in $L^2(μ)$. In this paper we show that the only reflectionless measure for the $s$-Riesz transform is the zero measure when $0<s<1$.

preprint2015arXiv

Rectifiable measures, square functions involving densities, and the Cauchy transform

This paper is devoted to the proof of two related results. The first one asserts that if $μ$ is a Radon measure in $\mathbb R^d$ satisfying $$\limsup_{r\to 0} \frac{μ(B(x,r))}{r}>0\quad \text{ and }\quad \int_0^1\left|\frac{μ(B(x,r))}{r} - \frac{μ(B(x,2r))}{2r}\right|^2\,\frac{dr}r< \infty$$ for $μ$-a.e. $x\in\mathbb R^d$, then $μ$ is rectifiable. Since the converse implication is already known to hold, this yields the following characterization of rectifiable sets: a set $E\subset\mathbb R^d$ with finite $1$-dimensional Hausdorff measure $H^1$ is rectifiable if and only $$\int_0^1\left|\frac{H^1(E\cap B(x,r))}{r} - \frac{H^1(E\cap B(x,2r))}{2r}\right|^2\,\frac{dr}r< \infty \quad\mbox{ for $H^1$-a.e. $x\in E$.}$$ The second result of the paper deals with the relationship between a similar square function in the complex plane and the Cauchy transform $C_μf(z) = \int \frac1{z-ξ}\,f(ξ)\,dμ(ξ)$. Suppose that $μ$ has linear growth, that is, $μ(B(z,r))\leq c\,r$ for all $z\in\mathbb C$ and all $r>0$. It is proved that $C_μ$ is bounded in $L^2(μ)$ if and only if $$ \int_{z\in Q}\int_0^\infty\left|\frac{μ(Q\cap B(z,r))}{r} - \frac{μ(Q\cap B(z,2r))}{2r}\right|^2\,\frac{dr}r\,dμ(z)\leq c\,μ(Q) \quad\mbox{ for every square $Q\subset\mathbb C$.} $$

preprint2015arXiv

Square functions of fractional homogeneity and Wolff potentials

In this paper it is shown that for anymeasure $μ$ in $\mathbb{R}^d$ and for a non-integer $0<s<d$, the Wolff energy $\displaystyle{\iint_0^\infty(\frac{μ(B(x,r))}{r^s})^2\,\frac{dr}{r}dμ(x)}$ is comparable to $$\iint_0^\infty(\frac{μ(B(x,r))}{r^s} - \frac{μ(B(x,2r))}{(2r)^s})^2\,\frac{dr}rdμ(x),$$ unlike in the case when $s$ is an integer. We also study the relation with the $L^2-$norm of $s$-Riesz transforms, $0<s<1$, and we provide a counterexample in the integer case.

preprint2014arXiv

Rectifiability via a square function and Preiss' theorem

Let $E$ be a set in $\mathbb R^d$ with finite $n$-dimensional Hausdorff measure $H^n$ such that $\liminf_{r\to0}r^{-n} H^n(B(x,r)\cap E)>0$ for $H^n$-a.e. $x\in E$. In this paper it is shown that $E$ is $n$-rectifiable if and only if $$\int_0^1 \left|\frac{H^n(B(x,r)\cap E)}{r^n} - \frac{H^n(B(x,2r)\cap E)}{(2r)^n}\right|^2\,\frac{dr}r < \infty$$ for $H^n$-a.e. $x\in E$; and also if and only if $$ \lim_{r\to0}\left(\frac{H^n(B(x,r)\cap E)}{r^n} - \frac{H^n(B(x,2r)\cap E)}{(2r)^n}\right) = 0$$ for $H^n$-a.e. $x\in E$. Other more general results involving Radon measures are also proved.

preprint2014arXiv

Riesz transforms of non-integer homogeneity on uniformly disconnected sets

In this paper we obtain precise estimates for the $L^2$ norm of the $s$-dimensional Riesz transforms on very general measures supported on Cantor sets in $\mathbb R^d$, with $d-1<s<d$. From these estimates we infer that, for the so called uniformly disconnected compact sets, the capacity $γ_s$ associated with the Riesz kernel $x/|x|^{s+1}$ is comparable to the capacity $\dot{C}_{\frac{2}{3}(d-s),\frac{3}{2}}$ from non-linear potential theory.

preprint2014arXiv

Square functions and uniform rectifiability

In this paper it is shown that an Ahlfors-David $n$-dimensional measure $μ$ on $\mathbb{R}^d$ is uniformly $n$-rectifiable if and only if for any ball $B(x_0,R)$ centered at $\operatorname{supp}(μ)$, $$ \int_0^R \int_{x\in B(x_0,R)} \left|\frac{μ(B(x,r))}{r^n} - \frac{μ(B(x,2r))}{(2r)^n} \right|^2\,dμ(x)\,\frac{dr}r \leq c\, R^n.$$ Other characterizations of uniform $n$-rectifiability in terms of smoother square functions are also obtained.

preprint2014arXiv

Uniform measures and uniform rectifiability

In this paper it is shown that if $μ$ is an n-dimensional Ahlfors-David regular measure in $R^d$ which satisfies the so-called weak constant density condition, then $μ$ is uniformly rectifiable. This had already been proved by David and Semmes in the cases n=1, 2 and d-1, and it was an open problem for other values of n. The proof of this result relies on the study of the n-uniform measures in $R^d$. In particular, it is shown here that they satisfy the "big pieces of Lipschitz graphs" property.

preprint2013arXiv

Strong and weak type estimates for singular integrals with respect to measures separated by AD-regular boundaries

We prove weak and strong boundedness estimates for singular integrals in $\R^d$ with respect to $(d-1)$-dimensional measures separated by Ahlfors-David regular boundaries, generalizing and extending results of Chousionis and Mattila. Our proof follows a different strategy based on new Calderón-Zygmund decompositions which can be also used to extend a result of David.

preprint2013arXiv

The Riesz transform, rectifiability, and removability for Lipschitz harmonic functions

We show that, given a set $E\subset \mathbb R^{n+1}$ with finite $n$-Hausdorff measure $H^n$, if the $n$-dimensional Riesz transform $$R_{H^n|E} f(x) = \int_{E} \frac{x-y}{|x-y|^{n+1}} f(y) dH^n(y)$$ is bounded in $L^2(H^n|E)$, then $E$ is $n$-rectifiable. From this result we deduce that a compact set $E\subset\mathbb R^{n+1}$ with $H^n(E)<\infty$ is removable for Lipschitz harmonic functions if and only if it is purely $n$-unrectifiable, thus proving the analog of Vitushkin's conjecture in higher dimensions.

preprint2012arXiv

Calderón-Zygmund kernels and rectifiability in the plane

Let $E \subset \C$ be a Borel set with finite length, that is, $0<\mathcal{H}^1 (E)<\infty$. By a theorem of David and Léger, the $L^2 (\mathcal{H}^1 \lfloor E)$-boundedness of the singular integral associated to the Cauchy kernel (or even to one of its coordinate parts $x / |z|^2,y / |z|^2,z=(x,y) \in \C$) implies that $E$ is rectifiable. We extend this result to any kernel of the form $x^{2n-1} /|z|^{2n}, z=(x,y) \in \C,n \in \mathbb{N}$. We thus provide the first non-trivial examples of operators not directly related with the Cauchy transform whose $L^2$-boundedness implies rectifiability.

preprint2012arXiv

On the uniform rectifiability of AD regular measures with bounded Riesz transform operator: the case of codimension 1

We prove that if $μ$ is a d-dimensional Ahlfors-David regular measure in $\R^{d+1}$, then the boundedness of the $d$-dimensional Riesz transform in $L^2(μ)$ implies that the non-BAUP David-Semmes cells form a Carleson family. Combined with earlier results of David and Semmes, this yields the uniform rectifiability of $μ$.

preprint2012arXiv

Regularity of C^1 and Lipschitz domains in terms of the Beurling transform

Let D be a bounded planar C^1 domain, or a Lipschitz domain "flat enough", and consider the Beurling transform of 1_D, the characteristic function of D. Using a priori estimates, in this paper we solve the following free boundary problem: if the Beurling transform of 1_D belongs to the Sobolev space W^{a,p}(D) for 0<a\leq 1, 1<p<\infty such that ap>1, then the outward unit normal N on bD, the boundary of D, is in the Besov space B_{p,p}^{a-1/p}(bD). The converse statement, proved previously by Cruz and Tolsa, also holds. So we have that B(1_D) is in W^{a,p}(D) if and only if N is in B_{p,p}^{a-1/p}(bD). Together with recent results by Cruz, Mateu and Orobitg, from the preceding equivalence one infers that the Beurling transform is bounded in W^{a,p}(D) if and only if the outward unit normal N belongs to B_{p,p}^{a-1/p}(bD), assuming that ap>2.

preprint2012arXiv

Smoothness of the Beurling transform in Lipschitz domains

Let D be a planar Lipschitz domain and consider the Beurling transform of the characteristic function of D, B(1_D). Let 1<p<\infty and 0<a<1 with ap>1. In this paper we show that if the outward unit normal N on bD, the boundary of D, belongs to the Besov space B_{p,p}^{a-1/p}(bD), then the Beurling transform of 1_D is in the Sobolev space W^{a,p}(D). This result is sharp. Further, together with recent results by Cruz, Mateu and Orobitg, this implies that the Beurling transform is bounded in W^{a,p}(D) if N belongs to B_{p,p}^{a-1/p}(bD), assuming that ap>2.

preprint2011arXiv

Mass transport and uniform rectifiability

In this paper we characterize the so called uniformly rectifiable sets of David and Semmes in terms of the Wasserstein distance $W_2$ from optimal mass transport. To obtain this result, we first prove a localization theorem for the distance $W_2$ which asserts that if $μ$ and $ν$ are probability measures in $R^n$, $ϕ$ is a radial bump function smooth enough so that $\intϕdμ\gtrsim1$, and $μ$ has a density bounded from above and from below on the support of ϕ, then $W_2(ϕμ,aϕν)\leq c W_2(μ,ν),$ where $a=\intϕdμ/ \intϕ\,dν$.

preprint2011arXiv

Variation and oscillation for singular integrals with odd kernel on Lipschitz graphs

We prove that, for r>2, the r-variation and oscillation for the smooth truncations of the Cauchy transform on Lipschitz graphs are bounded in L^p for 1<p finite. The analogous result holds for the n-dimensional Riesz transform on n-dimensional Lipschitz graphs, as well as for other singular integral operators with odd kernel. In particular, our results strengthen the classical theorem on the L^2 boundedness of the Cauchy transform on Lipschitz graphs by Coifman, McIntosh, and Meyer.

preprint2011arXiv

Variation for the Riesz transform and uniform rectifiability

For 0<n<d integers and r>2, we prove that an n-dimensional Ahlfors-David regular measure M in R^d is uniformly n-rectifiable if and only if the r-variation for the Riesz transform with respect to M is a bounded operator in L^2(M). This result can be considered as a partial solution to a well known open problem posed by G. David and S. Semmes which relates the L^2(M) boundedness of the Riesz transform to the uniform rectifiability of M.

preprint2011arXiv

Weighted norm inequalities for Calderon-Zygmund operators without doubling conditions

In this paper we develop a kind of A_p theory for Calderon-Zygmund operators in a non-homogeneous setting. Let μbe a Borel measure on \R^d which may be non doubling. The only condition that μmust satisfy is μ(B(x,r))\leq Cr^n for all x\in\R^d, r>0 and for some fixed n with 0<n\leq d. We introduce a maximal operator N, which coincides with the maximal Hardy-Littlewood operator if μ(B(x,r))\approx r^n for x\in\supp(μ), and we show that all n-dimensional Calderon-Zygmund operators are bounded on L^p(w dμ) if and only if N is bounded on L^p(w dμ), for a fixed p\in(1,\infty). Also, we prove that this happens if and only if some conditions of Sawyer type hold. This type of weights do not satisfy a reverse Holder inequality, in general, but some kind of self improving property still holds.

preprint2008arXiv

Uniform rectifiability, Calderon-Zygmund operators with odd kernel, and quasiorthogonality

In this paper we study some questions in connection with uniform rectifiability and the $L^2$ boundedness of Calderon-Zygmund operators. We show that uniform rectifiability can be characterized in terms of some new adimensional coefficients which are related to the Jones' $β$ numbers. We also use these new coefficients to prove that n-dimensional Calderon-Zygmund operators with odd kernel of type $C^2$ are bounded in $L^2(μ)$ if $μ$ is an n-dimensional uniformly rectifiable measure.