Related papers: Rectifiability, interior approximation and Harmoni…
It is a longstanding conjecture that given a subset $E$ of a metric space, if $E$ has finite Hausdorff measure in dimension $\alpha\ge 0$ and $\mathscr{H}^\alpha\llcorner E$ has unit density almost everywhere, then $E$ is an…
Let $\Omega\subset\mathbb R^{n+1}$ be open and let $E\subset \partial\Omega$ with $0<H^s(E)<\infty$, for some $s\in(n,n+1)$, satisfy a local capacity density condition. In this paper it is shown that the harmonic measure cannot be mutually…
In this paper, we study the set of absolute continuity of p-harmonic measure, $\mu$, and $(n-1)-$dimensional Hausdorff measure, $\mathcal{H}^{n-1}$, on locally flat domains in $\mathbb{R}^{n}$, $n\geq 2$. We prove that for fixed $p$ with…
We consider a uniformly rectifiable set $\Gamma \subset \mathbb R^n$ of dimension $d<n-1$. By using degenerate elliptic operators on the complement $\Omega = \mathbb R^n \setminus \Gamma$, Guy David, Svitlana Mayboroda, and the author…
We show that for uniform domains $\Omega\subseteq \mathbb{R}^{d+1}$ whose boundaries satisfy a certain nondegeneracy condition that harmonic measure cannot be mutually absolutely continuous with respect to $\alpha$-dimensional Hausdorff…
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…
We show that if $\Omega$ is an NTA domain with harmonic measure $w$ and $E\subseteq \partial\Omega$ 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…
We give a sufficient condition for a Borel subset $E\subset X$ of a complete metric space with $\mathcal{H}^n(E)<\infty$ to be $n$-rectifiable. This condition involves a decomposition of $E$ into rectifiable curves known as an Alberti…
Let $E\subset \mathbb{R}^{n+1}$, $n\ge 2$, be a uniformly rectifiable set of dimension $n$. Then bounded harmonic functions in $\Omega:= \mathbb{R}^{n+1}\setminus E$ satisfy Carleson measure estimates, and are "$\varepsilon$-approximable".…
Suppose that $\Omega \subset \mathbb{R}^{n+1}$, $n \ge 2$, is an open set satisfying the corkscrew condition with an $n$-dimensional ADR boundary, $\partial \Omega$. In this note, we show that if harmonic functions are…
We find necessary and sufficient conditions for a Lipschitz map $f:\mathbb{R}E\to X$, into a metric space to have the image with the $k$-dimensional Hausdorff measure equal zero, $H^k(f(E))=0$. An interesting feature of our approach is that…
This article studies typical 1-Lipschitz images of $n$-rectifiable metric spaces $E$ into $\mathbb{R}^m$ for $m\geq n$. For example, if $E\subset \mathbb{R}^k$, we show that the Jacobian of such a typical 1-Lipschitz map equals 1…
In this paper we start a detailed study of a new notion of rectifiability in Carnot groups: we say that a Radon measure is $\mathscr{P}_h$-rectifiable, for $h\in\mathbb N$, if it has positive $h$-lower density and finite $h$-upper density…
We introduce new parametrized classes of shape admissible domains in R^n , n $\ge$ 2, and prove that they are compact with respect to the convergence in the sense of characteristic functions, the Hausdorff sense, the sense of compacts and…
Let $\Omega\subset \mathbb{R}^{n+1}$ be an open set, not necessarily connected, with an $n$-dimensional uniformly rectifiable boundary. We show that $\partial\Omega$ may be approximated in a "Big Pieces" sense by boundaries of chord-arc…
For a Borel set E in R^n, the total Menger curvature of E, or c(E), is the integral over E^3 (with respect to 1-dimensional Hausdorff measure in each factor of E) of c(x,y,z)^2, where 1/c(x,y,z) is the radius of the circle passing through…
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…
The classical Painlev\'e theorem tells that sets of zero length are removable for bounded analytic functions, while (some) sets of positive length are not. For general $K$-quasiregular mappings in planar domains the corresponding critical…
In this paper it is shown that if $E\subset\mathbb R^{n+1}$ is an $s$-AD regular compact set, with $s\in [n-\frac12,n)$, and $E$ is contained in a hyperplane or, more generally, in an $n$-dimensional $C^1$ manifold, then the Hausdorff…
A homemorphism between domains in $\mathbb R^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved…