Source author record

Jonas Azzam

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CA math.AP math.MG math.CV math.DG

Catalog footprint

Research overview

24works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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

Poincaré Inequalities and Uniform Rectifiability

We show that any $d$ -Ahlfors regular subset of $\mathbb{R}^{n}$ supporting a weak $(1,d)$ -Poincaré inequality with respect to surface measure is uniformly rectifiable.

preprint2016arXiv

A characterization of $1$ -rectifiable doubling measures with connected supports

Garnett, Killip, and Schul have exhibited a doubling measure $μ$ with support equal to $\mathbb{R}^{d}$ which is $1$ -rectifiable, meaning there are countably many curves $Γ_{i}$ of finite length for which $μ(\mathbb{R}^{d}\backslash \bigcup Γ_{i})=0$ . In this note, we characterize when a doubling measure $μ$ with support equal to a connected metric space $X$ has a $1$ -rectifiable subset of positive measure and show this set coincides up to a set of $μ$ -measure zero with the set of $x\in X$ for which $\liminf_{r\rightarrow 0} μ(B_{X}(x,r))/r>0$ .

preprint2016arXiv

Absolute continuity of harmonic measure for domains with lower regular boundaries

We study absolute continuity of harmonic measure with respect to surface measure on domains $Ω$ that have large complements. We show that if $Γ\subset \mathbb{R}^{d+1}$ is $d$ -Ahlfors regular and splits $\mathbb{R}^{d+1}$ into two NTA domains then $ω_Ω\ll \mathscr{H}^{d}$ on $Γ\cap \partialΩ$ . This result is a natural generalisation of a result of Wu in [Wu86]. We also prove that almost every point in $Γ\cap\partialΩ$ is a cone point if $Γ$ is a Lipschitz graph. Combining these results and a result from [AHMMMTV], we characterize sets of absolute continuity with finite $\mathscr{H}^{d}$ -measure both in terms of the cone point condition and in terms of the rectifiable structure of the boundary. This generalizes the results of McMillan in [McM69] and Pommerenke in [Pom86]. Finally, we also show our first result holds for elliptic measure associated with real second order divergence form elliptic operators with a mild assumption on the gradient of the matrix.

preprint2016arXiv

Mutual absolute continuity of interior and exterior harmonic measure implies rectifiability

We show that, for disjoint domains in the Euclidean space whose boundaries satisfy a non-degeneracy condition, mutual absolute continuity of their harmonic measures implies absolute continuity with respect to surface measure and rectifiability in the intersection of their boundaries.

preprint2016arXiv

On a two-phase problem for harmonic measure in general domains

We show that, for disjoint domains in the Euclidean space, mutual absolute continuity of their harmonic measures implies absolute continuity with respect to surface measure and rectifiability in the intersection of their boundaries. This improves on our previous result which assumed that the boundaries satisfied the capacity density condition.

preprint2016arXiv

Sets of absolute continuity for harmonic measure in NTA domains

We show that if $Ω$ is an NTA domain with harmonic measure $w$ and $E\subseteq \partialΩ$ is contained in an Ahlfors regular set, then $w|_{E}\ll \mathscr{H}^{d}|_{E}$ . Moreover, this holds quantitatively in the sense that for all $τ>0$ $w$ obeys an $A_{\infty}$ -type condition with respect to $\mathscr{H}^{d}|_{E'}$ , where $E'\subseteq E$ is so that $w(E\backslash E')<τw(E)$ , even though $\partialΩ$ may not even be locally $\mathscr{H}^{d}$ -finite. We also show that, for uniform domains with uniform complements, if $E\subseteq\partialΩ$ is the Lipschitz image of a subset of $\mathbb{R}^{d}$ , then there is $E'\subseteq E$ with $\mathscr{H}^{d}(E\backslash E')<τ\mathscr{H}^{d}(E)$ upon which a similar $A_{\infty}$ -type condition holds.

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

Some remarks on the Lipschitz regularity of Radon transforms

A set in the Euclidean plane is constructed whose image under the classical Radon transform is Lipschitz in every direction. It is also shown that, under mild hypotheses, for any such set the function which maps a direction to the corresponding Lipschitz constant cannot be bounded.

preprint2016arXiv

Tangent measures and absolute continuity of harmonic measure

We show that for uniform domains $Ω\subseteq \mathbb{R}^{d+1}$ whose boundaries satisfy a certain nondegeneracy condition that harmonic measure cannot be mutually absolutely continuous with respect to $α$ -dimensional Hausdorff measure unless $α\leq d$ . We employ a lemma that shows that at almost every nondegenerate point, we may find a tangent measure of harmonic measure whose support is the boundary of yet another uniform domain whose harmonic measure resembles the tangent measure.

preprint2016arXiv

Tangents, rectifiability, and corkscrew domains

In a recent paper, Csörnyei and Wilson prove that curves in Euclidean space of $σ$ -finite length have tangents on a set of positive $\mathscr{H}^{1}$ -measure. They also show that a higher dimensional analogue of this result is not possible without some additional assumptions. In this note, we show that if $Σ\subseteq \mathbb{R}^{d+1}$ has the property that each ball centered on $Σ$ contains two large balls in different components of $Σ^{c}$ and $Σ$ has $σ$ -finite $\mathscr{H}^{d}$ -measure, then it has $d$ -dimensional tangent points in a set of positive $\mathscr{H}^{d}$ -measure. We also give shorter proofs that Semmes surfaces are uniformly rectifiable and, if $Ω\subseteq \mathbb{R}^{d+1}$ is an exterior corkscrew domain whose boundary has locally finite $\mathscr{H}^{d}$ -measure, one can find a Lipschitz subdomain intersecting a large portion of the boundary.

preprint2015arXiv

Bi-Lipschitz parts of quasisymmetric mappings

A natural quantity that measures how well a map $f:\mathbb{R}^{d}\rightarrow \mathbb{R}^{D}$ is approximated by an affine transformation is $ω_{f}(x,r)=\inf_{A}\left(\frac{1}{|B(x,r)|}\int_{B(x,r)}\left(\frac{|f-A|}{|A'|r}\right)^{2}\right)^{\frac{1}{2}},$ where the infimum ranges over all non constant affine transformations. This is natural insofar as it is invariant under rescaling $f$ in either its domain or image. We show that if $f:\mathbb{R}^{d}\rightarrow \mathbb{R}^{D}$ is quasisymmetric and its image has a sufficient amount of rectifiable structure (although not necessarily $\mathcal{H}^{d}$ -finite), then $ω_{f}(x,r)^{2}\frac{dxdr}{r}$ is a Carleson measure on $\mathbb{R}^{d}\times(0,\infty)$ . Moreover, this is an equivalence: the existence of such a Carleson measure implies that, in every ball $B(x,r)\subseteq \mathbb{R}^{d}$ , there is a set $E$ occupying 90 $%$ of $B(x,r)$ , say, upon which $f$ is bi-Lipschitz (and hence guaranteeing rectifiable pieces in the image). En route, we make a minor adjustment to a theorem of Semmes to show that quasisymmetric maps of subsets of $\mathbb{R}^{d}$ into $\mathbb{R}^{d}$ are bi-Lipschitz on a large subset quantitatively.

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

Rectifiability of harmonic measure in domains with porous boundaries

We show that if $n\geq 1$ , $Ω\subset \mathbb R^{n+1}$ is a connected domain with porous boundary, and $E\subset \partialΩ$ is a set of finite and positive Hausdorff $H^{n}$ -measure upon which the harmonic measure $ω$ is absolutely continuous with respect to $H^{n}$ , then $ω|_E$ is concentrated on an $n$ -rectifiable set.

preprint2014arXiv

Hausdorff dimension of wiggly metric spaces

For a compact connected set $X\subseteq \ell^{\infty}$ , we define a quantity $β'(x,r)$ that measures how close $X$ may be approximated in a ball $B(x,r)$ by a geodesic curve. We then show there is $c>0$ so that if $β'(x,r)>β>0$ for all $x\in X$ and $r<r_{0}$ , then $\dim X>1+cβ^{2}$ . This generalizes a theorem of Bishop and Jones and answers a question posed by Bishop and Tyson.

preprint2014arXiv

Quasiconformal planes with bi-Lipschitz pieces and extensions of almost affine maps

A quasiplane $f(V)$ is the image of an $n$ -dimensional Euclidean subspace $V$ of ${\Bbb R}^N$ ( $1\leq n\leq N-1$ ) under a quasiconformal map $f:{\Bbb R}^N\to{\Bbb R}^N$ . We give sufficient conditions in terms of the weak quasisymmetry constant of the underlying map for a quasiplane to be a bi-Lipschitz $n$ -manifold and for a quasiplane to have big pieces of bi-Lipschitz images of ${\Bbb R}^n$ . One main novelty of these results is that we analyze quasiplanes in arbitrary codimension $N-n$ . To establish the big pieces criterion, we prove new extension theorems for "almost affine" maps, which are of independent interest. This work is related to investigations by Tukia and Väisälä on extensions of quasisymmetric maps with small distortion.

preprint2014arXiv

Wasserstein Distance and the Rectifiability of Doubling Measures: Part I

Let $μ$ be a doubling measure in $\mathbb{R}^n$ . We investigate quantitative relations between the rectifiability of $μ$ and its distance to flat measures. More precisely, for $x$ in the support $Σ$ of $μ$ and $r > 0$ , we introduce a number $α(x,r)\in (0,1]$ that measures, in terms of a variant of the $L^1$ -Wasserstein distance, the minimal distance between the restriction of $μ$ to $B(x,r)$ and a multiple of the Lebesgue measure on an affine subspace that meets $B(x,r/2)$ . We show that the set of points of $Σ$ where $\int_0^1 α(x,r) \frac{dr}{r} < \infty$ can be decomposed into rectifiable pieces of various dimensions. We obtain additional control on the pieces and the size of $μ$ when we assume that some Carleson measure estimates hold. Soit $μ$ une mesure doublante dans $\mathbb{R}^n$ . On étudie des relations quantifiées entre la rectifiabilité de $μ$ et la distance entre $μ$ et les mesures plates. Plus précisément, on utilise une variante de la $L^1$ -distance de Wasserstein pour définir, pour $x$ dans le support $Σ$ de $μ$ et $r>0$ , un nombre $α(x,r)$ qui mesure la distance minimale entre la restriction de $μ$ à $B(x,r)$ et une mesure de Lebesgue sur un sous-espace affine passant par $B(x,r/2)$ . On décompose l'ensemble des points $x\in Σ$ tels que $\int_0^1 α(x,r) \frac{dr}{r} < \infty$ en parties rectifiables de dimensions diverses, et on obtient un meilleur contrôle de ces parties et de la taille de $μ$ quand les $α(x,r)$ vérifient certaines conditions de Carleson.

preprint2014arXiv

Wasserstein Distance and the Rectifiability of Doubling Measures: Part II

We study the structure of the support of a doubling measure by analyzing its self-similarity properties, which we estimate using a variant of the $L^1$ Wasserstein distance. We show that measure satisfying certain self-similarity conditions admits a unique (up to multiplication by a constant) flat tangent measure at almost every point. This allows us to decompose the support into rectifiable pieces of various dimensions.

preprint2012arXiv

A quantitative metric differentiation theorem

The purpose of this note is to point out a simple consequence of some earlier work of the authors, "Hard Sard: Quantitative implicit function and extension theorems for Lipschitz maps". For $f$ , a Lipschitz function from a Euclidean space into a metric space, we give quantitative estimates for how often the pullback of the metric under $f$ is approximately a seminorm. This is a quantitative version of Kirchheim's metric differentiation result from 1994. Our result is in the form of a Carleson-type estimate.

preprint2012arXiv

Bounded Mean Oscillation and the Uniqueness of Active Scalar Equations

We consider a number of uniqueness questions for several wide classes of active scalar equations, unifying and generalizing the techniques of several authors. As special cases of our results, we provide a significantly simplified proof to the known uniqueness result for the 2D Euler equations in $L^1 \cap BMO$ and provide a mild improvement to the recent results of Rusin for the 2D inviscid surface quasi-geostrophic (SQG) equations, which are now to our knowledge, the best results known for this model. We also obtain what are (to our knowledge) the strongest known uniqueness results for the Patlak-Keller-Segel models. We obtain these results via technical refinements of energy methods which are well-known in the $L^2$ setting but are less well-known in the $\dot{H}^{-1}$ setting. The $\dot{H}^{-1}$ method can be considered a generalization of Yudovich's classical method and is naturally applied to equations such as the Patlak-Keller-Segel models with nonlinear diffusion, and other variants. Important points of our analysis are an $L^p$ - $BMO$ interpolation lemma and a Sobolev embedding lemma which shows that velocity fields $v$ with $\grad v \in BMO$ are locally log-Lipschitz; the latter is known in harmonic analysis but does not seem to have been connected to this setting.

preprint2012arXiv

Hard Sard: Quantitative Implicit Function and Extension Theorems for Lipschitz Maps

We prove a global implicit function theorem. In particular we show that any Lipschitz map $f:\bR^n\times \bR^m\to\bR^n$ (with $n$ -dim. image) can be precomposed with a bi-Lipschitz map $\bar{g}:\bR^n\times \bR^m\to \bR^n\times \bR^m$ such that $f\circ \bar{g}$ will satisfy, when we restrict to a large portion of the domain $E\subset \bR^n\times \bR^m$, that $f\circ \bar{g}$ is bi-Lipschitz in the first coordinate, and constant in the second coordinate. Geometrically speaking, the map $\bar{g}$ distorts $\bR^{n+m}$ in a controlled manner, so that the fibers of $f$ are straightened out. Furthermore, our results stay valid when the target space is replaced by {\bf any metric space}. A main point is that our results are quantitative: the size of the set $E$ on which behavior is good is a significant part of the discussion. Our estimates are motivated by examples such as Kaufman's 1979 construction of a $C^1$ map from $[0,1]^3$ onto $[0,1]^2$ with rank $\leq 1$ everywhere. On route we prove an extension theorem which is of independent interest. We show that for any $D\geq n$ , any Lipschitz function $f:[0,1]^n\to \bR^D$ gives rise to a large (in an appropriate sense) subset $E\subset [0,1]^n$ such that $f|_E$ is bi-Lipschitz and may be extended to a bi-Lipschitz function defined on {\bf all} of $\bR^n$. The most interesting case is the case $D=n$ . As a simple corollary, we show that $n$ -dimensional Ahlfors-David regular spaces lying in $\bR^{D}$ having big pieces of bi-Lipschitz images also have big pieces of big pieces of Lipschitz graphs in $\bR^{D}$. This was previously known only for $D\geq 2n+1$ by a result of G. David and S. Semmes.

preprint2012arXiv

How to take shortcuts in Euclidean space: making a given set into a short quasi-convex set

For a given connected set $Γ$ in $d-$ dimensional Euclidean space, we construct a connected set $\tildeΓ\supset Γ$ such that the two sets have comparable Hausdorff length, and the set $\tildeΓ$ has the property that it is quasiconvex, i.e. any two points $x$ and $y$ in $\tildeΓ$ can be connected via a path, all of which is in $\tildeΓ$ , which has length bounded by a fixed constant multiple of the Euclidean distance between $x$ and $y$ . Thus, for any set $K$ in $d-$ dimensional Euclidean space we have a set $\tildeΓ$ as above such that $\tildeΓ$ has comparable Hausdorff length to a shortest connected set containing $K$ . Constants appearing here depend only on the ambient dimension $d$ . In the case where $Γ$ is Reifenberg flat, our constants are also independent the dimension $d$ , and in this case, our theorem holds for $Γ$ in an infinite dimensional Hilbert space. This work closely related to $k-$ spanners, which appear in computer science. Keywords: chord-arc, quasiconvex, k-spanner, traveling salesman.

preprint2011arXiv

A chord-arc covering theorem in Hilbert space

We prove that there exists $M>0$ such that for any closed rectifiable curve $Γ$ in Hilbert space, almost every point in $Γ$ is contained in a countable union of $M$ chord-arc curves whose total length is no more than $M$ times the length of $Γ$ .

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.

Jonas Azzam

Research overview

Is this your work?

24 publications

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

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

Poincaré Inequalities and Uniform Rectifiability

A characterization of $1$ -rectifiable doubling measures with connected supports

Absolute continuity of harmonic measure for domains with lower regular boundaries

Mutual absolute continuity of interior and exterior harmonic measure implies rectifiability

On a two-phase problem for harmonic measure in general domains

Sets of absolute continuity for harmonic measure in NTA domains

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

Some remarks on the Lipschitz regularity of Radon transforms

Tangent measures and absolute continuity of harmonic measure

Tangents, rectifiability, and corkscrew domains

Bi-Lipschitz parts of quasisymmetric mappings

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

Rectifiability of harmonic measure in domains with porous boundaries

Hausdorff dimension of wiggly metric spaces

Quasiconformal planes with bi-Lipschitz pieces and extensions of almost affine maps

Wasserstein Distance and the Rectifiability of Doubling Measures: Part I

Wasserstein Distance and the Rectifiability of Doubling Measures: Part II

A quantitative metric differentiation theorem

Bounded Mean Oscillation and the Uniqueness of Active Scalar Equations

Hard Sard: Quantitative Implicit Function and Extension Theorems for Lipschitz Maps

How to take shortcuts in Euclidean space: making a given set into a short quasi-convex set

A chord-arc covering theorem in Hilbert space

See the researcher in context

Building this map preview

Jonas Azzam

Research overview

Is this your work?

24 publications

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

Harmonic measure and quantitative connectivity: geometric characterization of the LpL^pLp-solvability of the Dirichlet problem

Poincaré Inequalities and Uniform Rectifiability

A characterization of 111-rectifiable doubling measures with connected supports

Absolute continuity of harmonic measure for domains with lower regular boundaries

Mutual absolute continuity of interior and exterior harmonic measure implies rectifiability

On a two-phase problem for harmonic measure in general domains

Sets of absolute continuity for harmonic measure in NTA domains

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

Some remarks on the Lipschitz regularity of Radon transforms

Tangent measures and absolute continuity of harmonic measure

Tangents, rectifiability, and corkscrew domains

Bi-Lipschitz parts of quasisymmetric mappings

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

Rectifiability of harmonic measure in domains with porous boundaries

Hausdorff dimension of wiggly metric spaces

Quasiconformal planes with bi-Lipschitz pieces and extensions of almost affine maps

Wasserstein Distance and the Rectifiability of Doubling Measures: Part I

Wasserstein Distance and the Rectifiability of Doubling Measures: Part II

A quantitative metric differentiation theorem

Bounded Mean Oscillation and the Uniqueness of Active Scalar Equations

Hard Sard: Quantitative Implicit Function and Extension Theorems for Lipschitz Maps

How to take shortcuts in Euclidean space: making a given set into a short quasi-convex set

A chord-arc covering theorem in Hilbert space

See the researcher in context

Building this map preview

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

A characterization of $1$ -rectifiable doubling measures with connected supports

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