BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jonas Azzam

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

ResearcherUnclaimed source record
math.CAmath.APmath.MGmath.CVmath.DG

Catalog footprint

What is connected

24works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

24 published item(s)

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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access