-
Periodic homogenization and harmonic measures
Authors:
Guy David,
Antoine Gloria,
Svitlana Mayboroda,
Siguang Qi
Abstract:
Since the seminal work of Kenig and Pipher, the Dahlberg-Kenig-Pipher (DKP) condition on oscillations of the coefficient matrix became a standard threshold in the study of absolute continuity of the harmonic measure with respect to the Hausdorff measure on the boundary. It has been proved sufficient for absolute continuity in the domains with increasingly complex geometry, and known counterexample…
▽ More
Since the seminal work of Kenig and Pipher, the Dahlberg-Kenig-Pipher (DKP) condition on oscillations of the coefficient matrix became a standard threshold in the study of absolute continuity of the harmonic measure with respect to the Hausdorff measure on the boundary. It has been proved sufficient for absolute continuity in the domains with increasingly complex geometry, and known counterexamples show that in a certain sense it is necessary as well. In the present note, we introduce into the subject ideas from homogenization theory to exhibit a new class of operators for which the elliptic measure is well-behaved, featuring the coefficients violating the DKP condition, and on the contrary, oscillating so quickly, that the homogenization takes place.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Dimension and structure of the Robin Harmonic Measure on Rough Domains
Authors:
Guy David,
Stefano Decio,
Max Engelstein,
Svitlana Mayboroda,
Marco Michetti
Abstract:
The present paper establishes that the Robin harmonic measure is quantitatively mutually absolutely continuous with respect to the surface measure on any Ahlfors regular set in any (quantifiably) connected domain for any elliptic operator. This stands in contrast with analogous results for the Dirichlet boundary value problem and also contradicts the expectation, supported by simulations in the ph…
▽ More
The present paper establishes that the Robin harmonic measure is quantitatively mutually absolutely continuous with respect to the surface measure on any Ahlfors regular set in any (quantifiably) connected domain for any elliptic operator. This stands in contrast with analogous results for the Dirichlet boundary value problem and also contradicts the expectation, supported by simulations in the physics literature, that the dimension of the Robin harmonic measure in rough domains exhibits a phase transition as the boundary condition interpolates between completely reflecting and completely absorbing.
In the adopted traditional language, the corresponding harmonic measure exhibits no dimension drop, and the absolute continuity necessitates neither rectifiability of the boundary nor control of the oscillations of the coefficients of the equation. The expected phase transition is rather exhibited through the detailed non-scale-invariant weight estimates.
△ Less
Submitted 31 October, 2024;
originally announced October 2024.
-
Factorization and piecewise affine approximation of bi-Lipschitz mappings on large sets
Authors:
Guy C. David,
Matthew Romney,
Raanan Schul
Abstract:
A well-known open problem asks whether every bi-Lipschitz homeomorphism of $\mathbb{R}^d$ factors as a composition of mappings of small distortion. We show that every bi-Lipschitz embedding of the unit cube $[0,1]^d$ into $\mathbb{R}^d$ factors into finitely many global bi-Lipschitz mappings of small distortion, outside of an exceptional set of arbitrarily small Lebesgue measure, which cannot in g…
▽ More
A well-known open problem asks whether every bi-Lipschitz homeomorphism of $\mathbb{R}^d$ factors as a composition of mappings of small distortion. We show that every bi-Lipschitz embedding of the unit cube $[0,1]^d$ into $\mathbb{R}^d$ factors into finitely many global bi-Lipschitz mappings of small distortion, outside of an exceptional set of arbitrarily small Lebesgue measure, which cannot in general be removed. Our main tool is a corona-type decomposition theorem for bi-Lipschitz mappings. As corollaries, we obtain a related factorization result for bi-Lipschitz homeomorphisms of the $d$-sphere, and we show that bi-Lipschitz embeddings of the unit $d$-cube in $\mathbb{R}^d$ can be approximated by global piecewise affine homeomorphisms outside of a small set.
△ Less
Submitted 9 September, 2024;
originally announced September 2024.
-
Analytically one-dimensional planes and the Combinatorial Loewner Property
Authors:
Guy C. David,
Sylvester Eriksson-Bique
Abstract:
It is a major problem in analysis on metric spaces to understand when a metric space is quasisymmetric to a space with strong analytic structure, a so-called Loewner space. A conjecture of Kleiner, recently disproven by Anttila and the second author, proposes a combinatorial sufficient condition. The counterexamples constructed are all topologically one dimensional, and the sufficiency of Kleiner'…
▽ More
It is a major problem in analysis on metric spaces to understand when a metric space is quasisymmetric to a space with strong analytic structure, a so-called Loewner space. A conjecture of Kleiner, recently disproven by Anttila and the second author, proposes a combinatorial sufficient condition. The counterexamples constructed are all topologically one dimensional, and the sufficiency of Kleiner's condition remains open for most other examples.
A separate question of Kleiner and Schioppa, apparently unrelated to the problem above, asks about the existence of "analytically $1$-dimensional planes": metric measure spaces quasisymmetric to the Euclidean plane but supporting a $1$-dimensional analytic structure in the sense of Cheeger.
In this paper, we construct an example for which the conclusion of Kleiner's conjecture is not known to hold. We show that either this conclusion fails in our example or there exists an "analytically $1$-dimensional plane". Thus, our construction either yields a new counterexample to Kleiner's conjecture, different in kind from those of Anttila and the second author, or a resolution to the problem of Kleiner--Schioppa.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Quantitative metric density and connectivity for sets of positive measure
Authors:
Guy C. David,
Brandon Oliva
Abstract:
We show that in doubling, geodesic metric measure spaces (including, for example, Euclidean space), sets of positive measure have a certain large-scale metric density property. As an application, we prove that a set of positive measure in the unit cube of $\mathbb{R}^d$ can be decomposed into a controlled number of subsets that are "well-connected" within the original set, along with a "garbage se…
▽ More
We show that in doubling, geodesic metric measure spaces (including, for example, Euclidean space), sets of positive measure have a certain large-scale metric density property. As an application, we prove that a set of positive measure in the unit cube of $\mathbb{R}^d$ can be decomposed into a controlled number of subsets that are "well-connected" within the original set, along with a "garbage set" of arbitrarily small measure. Our results are quantitative, i.e., they provide bounds independent of the particular set under consideration.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
The landscape function on $\mathbb R^d$
Authors:
Guy David,
Antoine Gloria,
Svitlana Mayboroda
Abstract:
Consider the Schrödinger operator $-\triangle+λV$ with non-negative iid random potential $V$ of strength $λ>0$. We prove existence and uniqueness of the associated landscape function on the whole space, and show that its correlations decay exponentially. As a main ingredient we establish the (annealed and quenched) exponential decay of the Green function of $-\triangle+λV$ using Agmon's positivity…
▽ More
Consider the Schrödinger operator $-\triangle+λV$ with non-negative iid random potential $V$ of strength $λ>0$. We prove existence and uniqueness of the associated landscape function on the whole space, and show that its correlations decay exponentially. As a main ingredient we establish the (annealed and quenched) exponential decay of the Green function of $-\triangle+λV$ using Agmon's positivity method, rank-one perturbation in dimensions $d\ge 3$, and first-passage percolation in dimensions $d=1,2$.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Cantor sets with absolutely continuous harmonic measure
Authors:
Guy David,
Cole Jeznach,
Antoine Julia
Abstract:
We construct Ahlfors regular Cantor sets $K$ of small dimension in the plane, such that the Hausdorff measure on $K$ is equivalent to the harmonic measure associated to its complement. In particular the Green function in $R^2 \backslash K$ satisfies $G^p (x) \simeq \mathrm{dist} (x, K)^δ$ whenever $\mathrm{dist} (x, K) \le 1$ and $p$ is far from $K$.
We construct Ahlfors regular Cantor sets $K$ of small dimension in the plane, such that the Hausdorff measure on $K$ is equivalent to the harmonic measure associated to its complement. In particular the Green function in $R^2 \backslash K$ satisfies $G^p (x) \simeq \mathrm{dist} (x, K)^δ$ whenever $\mathrm{dist} (x, K) \le 1$ and $p$ is far from $K$.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
A non-injective Assouad-type theorem with sharp dimension
Authors:
Guy C. David
Abstract:
Lipschitz light maps, defined by Cheeger and Kleiner, are a class of non-injective "foldings" between metric spaces that preserve some geometric information. We prove that if a metric space $(X,d)$ has Nagata dimension $n$, then its "snowflakes" $(X,d^ε)$ admit Lipschitz light maps to $\mathbb{R}^n$ for all $0<ε<1$. This can be seen as an analog of a well-known theorem of Assouad. We also provide…
▽ More
Lipschitz light maps, defined by Cheeger and Kleiner, are a class of non-injective "foldings" between metric spaces that preserve some geometric information. We prove that if a metric space $(X,d)$ has Nagata dimension $n$, then its "snowflakes" $(X,d^ε)$ admit Lipschitz light maps to $\mathbb{R}^n$ for all $0<ε<1$. This can be seen as an analog of a well-known theorem of Assouad. We also provide an application to a new variant of conformal dimension.
△ Less
Submitted 16 January, 2023;
originally announced January 2023.
-
Small $A_\infty$ results for Dahlberg-Kenig-Pipher operators in sets with uniformly rectifiable boundaries
Authors:
Guy David,
Linhan Li,
Svitlana Mayboroda
Abstract:
In the present paper, we consider elliptic operators $L=-\textrm{div}(A\nabla)$ in a domain bounded by a chord-arc surface $Γ$ with small enough constant, and whose coefficients $A$ satisfy a weak form of the Dahlberg-Kenig-Pipher condition of approximation by constant coefficient matrices, with a small enough Carleson norm, and show that the elliptic measure with pole at infinity associated to…
▽ More
In the present paper, we consider elliptic operators $L=-\textrm{div}(A\nabla)$ in a domain bounded by a chord-arc surface $Γ$ with small enough constant, and whose coefficients $A$ satisfy a weak form of the Dahlberg-Kenig-Pipher condition of approximation by constant coefficient matrices, with a small enough Carleson norm, and show that the elliptic measure with pole at infinity associated to $L$ is $A_\infty$-absolutely continuous with respect to the surface measure on $Γ$, with a small $A_\infty$ constant. In other words, we show that for relatively flat uniformly rectifiable sets and for operators with slowly oscillating coefficients the elliptic measure satisfies the $A_\infty$ condition with a small constant and the logarithm of the Poisson kernel has small oscillations.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
Branch Points for (Almost-)Minimizers of Two-Phase Free Boundary Problems
Authors:
Guy David,
Max Engelstein,
Mariana Smit Vega Garcia,
Tatiana Toro
Abstract:
We study the existence and structure of branch points in two-phase free boundary problems. More precisely, we construct a family of minimizers to an Alt- Caffarelli-Friedman type functional whose free boundaries contain branch points in the strict interior of the domain. We also give an example showing that branch points in the free boundary of almost-minimizers of the same functional can have ver…
▽ More
We study the existence and structure of branch points in two-phase free boundary problems. More precisely, we construct a family of minimizers to an Alt- Caffarelli-Friedman type functional whose free boundaries contain branch points in the strict interior of the domain. We also give an example showing that branch points in the free boundary of almost-minimizers of the same functional can have very little structure. This last example stands in contrast with recent results of De Philippis- Spolaor-Velichkov on the structure of branch points in the free boundary of stationary solutions.
△ Less
Submitted 11 April, 2022;
originally announced April 2022.
-
Quantitative differentiation and the medial axis
Authors:
Guy C. David,
Kevin Hook
Abstract:
We study the medial axis of a set $K$ in Euclidean space (the set of points in space with more than one closest point in $K$) from a "coarse" and "quantitative" perspective. We show that on "most" balls $B(x,r)$ in the complement of $K$, the set of almost-closest points to $x$ in $K$ takes up a small angle as seen from $x$. In other words, most locations and scales in the complement of $K$ "appear…
▽ More
We study the medial axis of a set $K$ in Euclidean space (the set of points in space with more than one closest point in $K$) from a "coarse" and "quantitative" perspective. We show that on "most" balls $B(x,r)$ in the complement of $K$, the set of almost-closest points to $x$ in $K$ takes up a small angle as seen from $x$. In other words, most locations and scales in the complement of $K$ "appear" to fall outside the medial axis if one looks with only a certain finite resolution. The word "most" involves a Carleson packing condition, and our bounds are independent of the set $K$.
△ Less
Submitted 6 April, 2022;
originally announced April 2022.
-
An optimal partition problem for the localization of eigenfunctions
Authors:
Guy David,
Hassan Pourmohammad
Abstract:
We study the minimizers of a functional on the set of partitions of a domain $Ω\subset R^n$ into $N$ subsets $W_j$ of locally finite perimeter in $Ω$, whose main term is $\sum_{j=1^N} \int_{Ω\cap \partial W_j} a(x) dH^{n--1}(x)$. Here the positive bounded function $a$ may for instance be related to the Landscape function of some Schr{ö}dinger operator. We prove the existence of minimizers through…
▽ More
We study the minimizers of a functional on the set of partitions of a domain $Ω\subset R^n$ into $N$ subsets $W_j$ of locally finite perimeter in $Ω$, whose main term is $\sum_{j=1^N} \int_{Ω\cap \partial W_j} a(x) dH^{n--1}(x)$. Here the positive bounded function $a$ may for instance be related to the Landscape function of some Schr{ö}dinger operator. We prove the existence of minimizers through the equivalence with a weak formulation, and the local Ahlfors regularity and uniform rectifiability of the boundaries $Ω\cap \partial W_j$.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Quantitative straightening of distance spheres
Authors:
Guy C. David,
McKenna Kaczanowski,
Dallas Pinkerton
Abstract:
We study "distance spheres": the set of points lying at constant distance from a fixed arbitrary subset $K$ of $[0,1]^d$. We show that, away from the regions where $K$ is "too dense" and a set of small volume, we can decompose $[0,1]^d$ into a finite number of sets on which the distance spheres can be "straightened" into subsets of parallel $(d-1)$-dimensional planes by a bi-Lipschitz map. Importa…
▽ More
We study "distance spheres": the set of points lying at constant distance from a fixed arbitrary subset $K$ of $[0,1]^d$. We show that, away from the regions where $K$ is "too dense" and a set of small volume, we can decompose $[0,1]^d$ into a finite number of sets on which the distance spheres can be "straightened" into subsets of parallel $(d-1)$-dimensional planes by a bi-Lipschitz map. Importantly, the number of sets and the bi-Lipschitz constants are independent of the set $K$.
△ Less
Submitted 20 July, 2021;
originally announced July 2021.
-
Carleson estimates for the Green function on domains with lower dimensional boundaries
Authors:
Guy David,
Linhan Li,
Svitlana Mayboroda
Abstract:
In the present paper, we consider an elliptic divergence form operator in $\mathbb{R}^n\setminus\mathbb{R}^d$ with $d<n-1$ and prove that its Green function is almost affine, in the sense that the normalized difference between the Green function with a sufficiently far away pole and a suitable affine function at every scale satisfies a Carleson measure estimate. The coefficients of the operator ca…
▽ More
In the present paper, we consider an elliptic divergence form operator in $\mathbb{R}^n\setminus\mathbb{R}^d$ with $d<n-1$ and prove that its Green function is almost affine, in the sense that the normalized difference between the Green function with a sufficiently far away pole and a suitable affine function at every scale satisfies a Carleson measure estimate. The coefficients of the operator can be very oscillatory, and only need to satisfy some condition similar to the traditional quadratic Carleson condition.
△ Less
Submitted 16 July, 2021;
originally announced July 2021.
-
Lower bounds on mapping content and quantitative factorization through trees
Authors:
Guy C. David,
Raanan Schul
Abstract:
We give a simple quantitative condition, involving the "mapping content" of Azzam--Schul, that implies that a Lipschitz map from a Euclidean space to a metric space must be close to factoring through a tree. Using results of Azzam--Schul and the present authors, this gives simple checkable conditions for a Lipschitz map to have a large piece of its domain on which it behaves like an orthogonal pro…
▽ More
We give a simple quantitative condition, involving the "mapping content" of Azzam--Schul, that implies that a Lipschitz map from a Euclidean space to a metric space must be close to factoring through a tree. Using results of Azzam--Schul and the present authors, this gives simple checkable conditions for a Lipschitz map to have a large piece of its domain on which it behaves like an orthogonal projection. The proof involves new lower bounds and continuity statements for mapping content, and relies on a "qualitative" version of the main theorem recently proven by Esmayli--Hajłasz.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Bi-Lipschitz embeddings of quasiconformal trees
Authors:
Guy C. David,
Sylvester Eriksson-Bique,
Vyron Vellis
Abstract:
A quasiconformal tree is a doubling metric tree in which the diameter of each arc is bounded above by a fixed multiple of the distance between its endpoints. In this paper we show that every quasiconformal tree bi-Lipschitz embeds in some Euclidean space, with the ambient dimension and the bi-Lipschitz constant depending only on the doubling and bounded turning constants of the tree. This answers…
▽ More
A quasiconformal tree is a doubling metric tree in which the diameter of each arc is bounded above by a fixed multiple of the distance between its endpoints. In this paper we show that every quasiconformal tree bi-Lipschitz embeds in some Euclidean space, with the ambient dimension and the bi-Lipschitz constant depending only on the doubling and bounded turning constants of the tree. This answers Question 1.6 in \cite{DV} (arXiv:2007.12297).
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
Carleson measure estimates for the Green function
Authors:
Guy David,
Linhan Li,
Svitlana Mayboroda
Abstract:
In the present paper, we consider an elliptic divergence form operator in the half-space and prove that its Green function is almost affine, or more precisely, that the normalized difference between the Green function and a suitable affine function at every scale satisfies a Carleson measure estimate, provided that the oscillations of the coefficients satisfy the traditional quadratic Carleson con…
▽ More
In the present paper, we consider an elliptic divergence form operator in the half-space and prove that its Green function is almost affine, or more precisely, that the normalized difference between the Green function and a suitable affine function at every scale satisfies a Carleson measure estimate, provided that the oscillations of the coefficients satisfy the traditional quadratic Carleson condition. The results are sharp, and in particular, it is demonstrated that the class of the operators considered in the paper cannot be improved.
△ Less
Submitted 21 December, 2021; v1 submitted 18 February, 2021;
originally announced February 2021.
-
Green function estimates on complements of low-dimensional uniformly rectifiable sets
Authors:
Guy David,
Joseph Feneuil,
Svitlana Mayboroda
Abstract:
It has been recently established by the first and third author that on uniformly rectifiable sets the Green function is almost affine in the weak sense, and moreover, in some scenarios such Green function estimates are equivalent to the uniform rectifiability of a set. The present paper tackles a strong analogue of these results, starting with the "flagship" degenerate operators on sets with lower…
▽ More
It has been recently established by the first and third author that on uniformly rectifiable sets the Green function is almost affine in the weak sense, and moreover, in some scenarios such Green function estimates are equivalent to the uniform rectifiability of a set. The present paper tackles a strong analogue of these results, starting with the "flagship" degenerate operators on sets with lower dimensional boundaries.
We consider the elliptic operators $L_{β,γ} =- {\rm div} D^{d+1+γ-n} \nabla$ associated to a domain $Ω\subset \mathbb R^n$ with a uniformly rectifiable boundary $Γ$ of dimension $d < n-1$, the now usual distance to the boundary $D = D_β$ given by $D_β(X)^{-β} = \int_Γ |X-y|^{-d-β} dσ(y)$ for $X \in Ω$, where $β>0$ and $γ\in (-1,1)$. In this paper we show that the Green function $G$ for $L_{β,γ}$, with pole at infinity, is well approximated by multiples of $D^{1-γ}$, in the sense that the function $\big| D\nabla\big(\ln\big( \frac{G}{D^{1-γ}} \big)\big)\big|^2$ satisfies a Carleson measure estimate on $Ω$. We underline that the strong and the weak results are different in nature and, of course, at the level of the proofs: the latter extensively used compactness arguments, while the present paper relies on some intricate integration by parts and the properties of the "magical" distance function from a previous work from the first author, the third author, and Max Engelstein.
△ Less
Submitted 27 January, 2021;
originally announced January 2021.
-
Approximation of Green functions and domains with uniformly rectifiable boundaries of all dimensions
Authors:
Guy David,
Svitlana Mayboroda
Abstract:
The present paper establishes equivalence between uniform rectifiability of the boundary of a domain and the property that the Green function for elliptic operators is well approximated by affine functions (distance to the hyperplanes). The results are novel in a variety of ways, in particular (1) this is the first time the underlying property of the control of the Green function by affine functio…
▽ More
The present paper establishes equivalence between uniform rectifiability of the boundary of a domain and the property that the Green function for elliptic operators is well approximated by affine functions (distance to the hyperplanes). The results are novel in a variety of ways, in particular (1) this is the first time the underlying property of the control of the Green function by affine functions, or by the distance to the boundary, in the sense of the Carleson prevalent sets, appears in the literature; the "direct" result established here is new even in the half space; (2) the results are optimal, providing a full characterization of uniform rectifiability under the (standard) mild topological assumptions; (3) to the best of the authors' knowledge, this is the first free boundary result applying to all elliptic operators, without any restriction on the coefficients (the direct one assumes the standard, and necessary, Carleson measure condition); (4) our theorems apply to all domains, with possibly lower dimensional boundaries: this is the first free boundary result in higher co-dimensional setting and as such, the first PDE characterization of uniform rectifiability for a set of dimension $d$, $d<n-1$, in ${\mathbb{R}}^n$. The paper offers a general way to deal with related issues considerably beyond the scope of the aforementioned theorem, including the question of approximability of the gradient of the Green function, and the comparison of the Green function to a certain version of the distance to the original set rather than distance to the hyperplanes.
△ Less
Submitted 11 November, 2020; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Bi-Lipschitz geometry of quasiconformal trees
Authors:
Guy C. David,
Vyron Vellis
Abstract:
A quasiconformal tree is a doubling metric tree in which the diameter of each arc is bounded above by a fixed multiple of the distance between its endpoints. We study the geometry of these trees in two directions. First, we construct a catalog of metric trees in a purely combinatorial way, and show that every quasiconformal tree is bi-Lipschitz equivalent to one of the trees in our catalog. This i…
▽ More
A quasiconformal tree is a doubling metric tree in which the diameter of each arc is bounded above by a fixed multiple of the distance between its endpoints. We study the geometry of these trees in two directions. First, we construct a catalog of metric trees in a purely combinatorial way, and show that every quasiconformal tree is bi-Lipschitz equivalent to one of the trees in our catalog. This is inspired by results of Herron-Meyer and Rohde for quasi-arcs. Second, we show that a quasiconformal tree bi-Lipschitz embeds in a Euclidean space if and only if its set of leaves admits such an embedding. In particular, all quasi-arcs bi-Lipschitz embed into some Euclidean space.
△ Less
Submitted 9 March, 2022; v1 submitted 23 July, 2020;
originally announced July 2020.
-
Good elliptic operators on Cantor sets
Authors:
Guy David,
Svitlana Mayboroda
Abstract:
It is well known that a purely unrectifiable set cannot support a harmonic measure which is absolutely continuous with respect to the Hausdorff measure of this set. We show that nonetheless there exist elliptic operators on (purely unrectifiable) Cantor sets in ${\mathbb{R}}^2$ whose elliptic measure is absolutely continuous, and in fact, essentially proportional to the Hausdorff measure.
It is well known that a purely unrectifiable set cannot support a harmonic measure which is absolutely continuous with respect to the Hausdorff measure of this set. We show that nonetheless there exist elliptic operators on (purely unrectifiable) Cantor sets in ${\mathbb{R}}^2$ whose elliptic measure is absolutely continuous, and in fact, essentially proportional to the Hausdorff measure.
△ Less
Submitted 3 July, 2020;
originally announced July 2020.
-
Harmonic measure is absolutely continuous with respect to the Hausdorff measure on all low-dimensional uniformly rectifiable sets
Authors:
G. David,
S. Mayboroda
Abstract:
It was recently shown that the harmonic measure is absolutely continuous with respect to the Hausdorff measure on a domain with an $n-1$ dimensional uniformly rectifiable boundary, in the presence of now well understood additional topological constraints. The topological restrictions, while mild, are necessary, as the counterexamples of C. Bishop and P. Jones show, and no analogues of these result…
▽ More
It was recently shown that the harmonic measure is absolutely continuous with respect to the Hausdorff measure on a domain with an $n-1$ dimensional uniformly rectifiable boundary, in the presence of now well understood additional topological constraints. The topological restrictions, while mild, are necessary, as the counterexamples of C. Bishop and P. Jones show, and no analogues of these results have been available for higher co-dimensional sets.
In the present paper we show that for any $d<n-1$ and for any domain with a $d$-dimensional uniformly rectifiable boundary the elliptic measure of an appropriate degenerate elliptic operator is absolutely continuous with respect to the Hausdorff measure of the boundary. There are no topological or dimensional restrictions contrary to the aforementioned results.
△ Less
Submitted 25 June, 2020;
originally announced June 2020.
-
Infinitesimal splitting for spaces with thick curve families and Euclidean embeddings
Authors:
Guy C. David,
Sylvester Eriksson-Bique
Abstract:
We study metric measure spaces that admit "thick" families of rectifiable curves or curve fragments, in the form of Alberti representations or curve families of positive modulus. We show that such spaces cannot be bi-Lipschitz embedded into any Euclidean space unless they admit some "infinitesimal splitting": their tangent spaces are bi-Lipschitz equivalent to product spaces of the form…
▽ More
We study metric measure spaces that admit "thick" families of rectifiable curves or curve fragments, in the form of Alberti representations or curve families of positive modulus. We show that such spaces cannot be bi-Lipschitz embedded into any Euclidean space unless they admit some "infinitesimal splitting": their tangent spaces are bi-Lipschitz equivalent to product spaces of the form $Z\times \mathbb{R}^k$ for some $k\geq 1$. We also provide applications to conformal dimension and give new proofs of some previously known non-embedding results.
△ Less
Submitted 18 June, 2020;
originally announced June 2020.
-
Elliptic theory in domains with boundaries of mixed dimension
Authors:
Guy David,
Joseph Feneuil,
Svitlana Mayboroda
Abstract:
Take an open domain $Ω\subset \mathbb R^n$ whose boundary may be composed of pieces of different dimensions. For instance, $Ω$ can be a ball on $\mathbb R^3$, minus one of its diameters $D$, or $Ω\subset \mathbb R^3$ could be a so-called saw-tooth domain, with a boundary consisting of pieces of 1-dimensional curves intercepted by 2-dimensional spheres. Under appropriate geometric assumptions, such…
▽ More
Take an open domain $Ω\subset \mathbb R^n$ whose boundary may be composed of pieces of different dimensions. For instance, $Ω$ can be a ball on $\mathbb R^3$, minus one of its diameters $D$, or $Ω\subset \mathbb R^3$ could be a so-called saw-tooth domain, with a boundary consisting of pieces of 1-dimensional curves intercepted by 2-dimensional spheres. Under appropriate geometric assumptions, such as the existence of doubling measures on $Ω$ and $\partial Ω$ with appropriate size conditions, we construct a class of degenerate elliptic operators $L$ adapted to the geometry, and establish key estimates of elliptic theory associated to those operators. This includes boundary Poincaré and Harnack inequalities, maximum principle, and Hölder continuity of solutions at the boundary. We introduce Hilbert spaces naturally associated to the geometry, construct appropriate trace and extension operators, and use them to define weak solutions to $Lu=0$. Then we prove De Giorgi-Nash-Moser estimates inside $Ω$ and on the boundary, solve the Dirichlet problem and thus construct an elliptic measure $ω_L$ associated to $L$. At last, we introduce Green functions, and use them to prove a comparison principle. Since our theory emphasizes measures, rather than the geometry per se, the results are new even in the classical setting of a half-plane $\mathbb R^2_+$ when the boundary $\partial \mathbb R^2_+= \mathbb R$ is equipped with a doubling measure $μ$ singular with respect to the Lebesgue measure on $\mathbb R$. Finally, the present paper provides a generalization of the celebrated Caffarelli-Sylvestre extension operator from its classical setting of $\mathbb R^{n+1}_+$ to general open sets, and hence, an extension of the concept of fractional Laplacian to Ahlfors regular boundaries and beyond.
△ Less
Submitted 24 September, 2023; v1 submitted 19 March, 2020;
originally announced March 2020.
-
Quantitative decompositions of Lipschitz mappings into metric spaces
Authors:
Guy C. David,
Raanan Schul
Abstract:
We study the quantitative properties of Lipschitz mappings from Euclidean spaces into metric spaces. We prove that it is always possible to decompose the domain of such a mapping into pieces on which the mapping "behaves like a projection mapping" along with a "garbage set" that is arbitrarily small in an appropriate sense. Moreover, our control is quantitative, i.e., independent of both the parti…
▽ More
We study the quantitative properties of Lipschitz mappings from Euclidean spaces into metric spaces. We prove that it is always possible to decompose the domain of such a mapping into pieces on which the mapping "behaves like a projection mapping" along with a "garbage set" that is arbitrarily small in an appropriate sense. Moreover, our control is quantitative, i.e., independent of both the particular mapping and the metric space it maps into. This improves a theorem of Azzam-Schul from the paper "Hard Sard", and answers a question left open in that paper. The proof uses ideas of quantitative differentiation, as well as a detailed study of how to supplement Lipschitz mappings by additional coordinates to form bi-Lipschitz mappings.
△ Less
Submitted 12 May, 2020; v1 submitted 24 February, 2020;
originally announced February 2020.
-
The landscape law for the integrated density of states
Authors:
Guy David,
Marcel Filoche,
Svitlana Mayboroda
Abstract:
The present paper establishes non-asymptotic estimates from above and below on the integrated density of states of the Schrödinger operator $L=-Δ+V$, using a counting function for the minima of the localization landscape, a solution to the equation $Lu=1$.
The present paper establishes non-asymptotic estimates from above and below on the integrated density of states of the Schrödinger operator $L=-Δ+V$, using a counting function for the minima of the localization landscape, a solution to the equation $Lu=1$.
△ Less
Submitted 5 June, 2021; v1 submitted 23 September, 2019;
originally announced September 2019.
-
Regularity for almost-minimizers of variable coefficient Bernoulli-type functionals
Authors:
Guy David,
Max Engelstein,
Mariana Smit Vega Garcia,
Tatiana Toro
Abstract:
In [David-Toro 15] and [David-Engelstein-Toro 19], (some of) the authors studied almost minimizers for functionals of the type first studied by Alt and Caffarelli in [Alt-Caffarelli 81] and Alt, Caffarelli and Friedman in [Alt-Caffarelli-Friedman 84]. In this paper we study the regularity of almost minimizers to energy functionals with variable coefficients (as opposed to [DT15, DET19. AC 81] and…
▽ More
In [David-Toro 15] and [David-Engelstein-Toro 19], (some of) the authors studied almost minimizers for functionals of the type first studied by Alt and Caffarelli in [Alt-Caffarelli 81] and Alt, Caffarelli and Friedman in [Alt-Caffarelli-Friedman 84]. In this paper we study the regularity of almost minimizers to energy functionals with variable coefficients (as opposed to [DT15, DET19. AC 81] and [ACF84] which deal only with the "Laplacian" setting). We prove Lipschitz regularity up to, and across, the free boundary, generalizing the results of [David-Toro 15] to the variable coefficient setting.
△ Less
Submitted 20 November, 2020; v1 submitted 11 September, 2019;
originally announced September 2019.
-
Regular mappings and non-existence of bi-Lipschitz embeddings for slit carpets
Authors:
Guy C. David,
Sylvester Eriksson-Bique
Abstract:
We prove that the "slit carpet" introduced by Merenkov does not admit a bi-Lipschitz embedding into any uniformly convex Banach space. In particular, this includes any Euclidean space $\mathbb{R}^n$, but also spaces such as $L^p$ for $p \in (1,\infty)$. This resolves Question 8 in the 1997 list by Heinonen and Semmes.
We prove that the "slit carpet" introduced by Merenkov does not admit a bi-Lipschitz embedding into any uniformly convex Banach space. In particular, this includes any Euclidean space $\mathbb{R}^n$, but also spaces such as $L^p$ for $p \in (1,\infty)$. This resolves Question 8 in the 1997 list by Heinonen and Semmes.
△ Less
Submitted 7 September, 2019;
originally announced September 2019.
-
On the Lipschitz dimension of Cheeger-Kleiner
Authors:
Guy C. David
Abstract:
In a 2013 paper, Cheeger and Kleiner introduced a new type of dimension for metric spaces, the "Lipschitz dimension". We study the dimension-theoretic properties of Lipschitz dimension, including its behavior under Gromov-Hausdorff convergence, its (non-)invariance under various classes of mappings, and its relationship to the Nagata dimension and Cheeger's "analytic dimension". We compute the Lip…
▽ More
In a 2013 paper, Cheeger and Kleiner introduced a new type of dimension for metric spaces, the "Lipschitz dimension". We study the dimension-theoretic properties of Lipschitz dimension, including its behavior under Gromov-Hausdorff convergence, its (non-)invariance under various classes of mappings, and its relationship to the Nagata dimension and Cheeger's "analytic dimension". We compute the Lipschitz dimension of various natural spaces, including Carnot groups, snowflakes of Euclidean spaces, metric trees, and Sierpinski carpets. As corollaries, we obtain a short proof of a quasi-isometric non-embedding result for Carnot groups and a necessary condition for the existence of non-degenerate Lipschitz maps between certain spaces.
△ Less
Submitted 12 August, 2019;
originally announced August 2019.
-
A sharp necessary condition for rectifiable curves in metric spaces
Authors:
Guy C. David,
Raanan Schul
Abstract:
In his 1990 Inventiones paper, P. Jones characterized subsets of rectifiable curves in the plane, using a multiscale sum of what is now known as Jones $β$-numbers, numbers measuring flatness in a given scale and location. This work was generalized to R^n by Okikiolu, to Hilbert space by the second author, and has many variants in a variety of metric settings. Notably, in 2005, Hahlomaa gave a suff…
▽ More
In his 1990 Inventiones paper, P. Jones characterized subsets of rectifiable curves in the plane, using a multiscale sum of what is now known as Jones $β$-numbers, numbers measuring flatness in a given scale and location. This work was generalized to R^n by Okikiolu, to Hilbert space by the second author, and has many variants in a variety of metric settings. Notably, in 2005, Hahlomaa gave a sufficient condition for a subset of a metric space to be contained in a rectifiable curve. We prove the sharpest possible converse to Hahlomaa's theorem for doubling curves, and then deduce some corollaries for subsets of metric and Banach spaces, as well as the Heisenberg group.}
△ Less
Submitted 15 February, 2019; v1 submitted 11 February, 2019;
originally announced February 2019.
-
A local description of 2-dimensional almost minimal sets bounded by a curve
Authors:
Guy David
Abstract:
We study the local regularity of sliding almost minimal sets of dimension 2 in $R^n$ , bounded by a smooth curve $L$. These are a good way to model soap films bounded by a curve, and their definition is similar to Almgren's. We aim for a local description, in particular near L and modulo $C^{1+$ε$}$ diffeomorphisms, of such sets $E$, but in the present paper we only obtain a full description when…
▽ More
We study the local regularity of sliding almost minimal sets of dimension 2 in $R^n$ , bounded by a smooth curve $L$. These are a good way to model soap films bounded by a curve, and their definition is similar to Almgren's. We aim for a local description, in particular near L and modulo $C^{1+$ε$}$ diffeomorphisms, of such sets $E$, but in the present paper we only obtain a full description when $E$ is close enough to a half plane, a plane or a union of two half planes bounded by the same line, or a transverse minimal cone of type $Y$ or $T$. The main tools are adapted near monotonicity formulae for the density, including for balls that are not centered on L, and the same sort of construction of competitors as for the generalization of J. Taylor's regularity result far from the boundary.
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
Sliding almost minimal sets and the Plateau problem
Authors:
Guy David
Abstract:
We present some old and recent regularity results concerning minimal and almost minimal sets in domains of the Euclidean space. We concentrate on a sliding variant of Almgren's notion of minimality, which is well suited in the context of Plateau problems relative to soap films. We are especially interested in regularity properties near a boundary curve, where we would like to get a local C1 descri…
▽ More
We present some old and recent regularity results concerning minimal and almost minimal sets in domains of the Euclidean space. We concentrate on a sliding variant of Almgren's notion of minimality, which is well suited in the context of Plateau problems relative to soap films. We are especially interested in regularity properties near a boundary curve, where we would like to get a local C1 description of 2-dimensional almost minimal sets in the spirit of J. Taylor's theorem, but we first study weaker and more general results (local Ahlfors regularity, rectifiability, limits, monotonicity of density), which we describe far from the boundary for simplicity. There we insist on some simpler techniques, in particular the use of Federer-Fleming projections.
△ Less
Submitted 5 December, 2018;
originally announced December 2018.
-
Square functions, non-tangential limits and harmonic measure in co-dimensions larger than one
Authors:
Guy David,
Max Engelstein,
Svitlana Mayboroda
Abstract:
In this paper, we characterize the rectifiability (both uniform and not) of an Ahlfors regular set, E, of arbitrary co-dimension by the behavior of a regularized distance function in the complement of that set. In particular, we establish a certain version of the Riesz transform characterization of rectifiability for lower-dimensional sets. We also uncover a special situation in which the regulari…
▽ More
In this paper, we characterize the rectifiability (both uniform and not) of an Ahlfors regular set, E, of arbitrary co-dimension by the behavior of a regularized distance function in the complement of that set. In particular, we establish a certain version of the Riesz transform characterization of rectifiability for lower-dimensional sets. We also uncover a special situation in which the regularized distance is itself a solution to a degenerate elliptic operator in the complement of E. This allows us to precisely compute the harmonic measure of those sets associated to this degenerate operator and prove that, in a sharp contrast with the usual setting of co-dimension one, a converse to the Dahlberg's theorem (see [Da] and [DFM2]) must be false on lower dimensional boundaries without additional assumptions.
△ Less
Submitted 14 July, 2020; v1 submitted 27 August, 2018;
originally announced August 2018.
-
A new elliptic measure on lower dimensional sets
Authors:
Guy David,
Joseph Feneuil,
Svitlana Mayboroda
Abstract:
The recent years have seen a beautiful breakthrough culminating in a comprehensive understanding of certain scale-invariant properties of $n-1$ dimensional sets across analysis, geometric measure theory, and PDEs. The present paper surveys the first steps of a program recently launched by the authors and aimed at the new PDE approach to sets with lower dimensional boundaries. We define a suitable…
▽ More
The recent years have seen a beautiful breakthrough culminating in a comprehensive understanding of certain scale-invariant properties of $n-1$ dimensional sets across analysis, geometric measure theory, and PDEs. The present paper surveys the first steps of a program recently launched by the authors and aimed at the new PDE approach to sets with lower dimensional boundaries. We define a suitable class of degenerate elliptic operators, explain our intuition, motivation, and goals, and present the first results regarding absolute continuity of the emerging elliptic measure with respect to the surface measure analogous to the classical theorems of C. Kenig and his collaborators in the case of co-dimension one.
△ Less
Submitted 18 July, 2018;
originally announced July 2018.
-
A note on topological dimension, Hausdorff measure, and rectifiability
Authors:
Guy C. David,
Enrico Le Donne
Abstract:
The purpose of this note is to record a consequence, for general metric spaces, of a recent result of David Bate. We prove the following fact: Let $X$ be a compact metric space of topological dimension $n$. Suppose that the $n$-dimensional Hausdorff measure of $X$, $\mathcal H^n(X)$, is finite. Suppose further that the lower n-density of the measure $\mathcal H^n$ is positive, $\mathcal H^n$-almos…
▽ More
The purpose of this note is to record a consequence, for general metric spaces, of a recent result of David Bate. We prove the following fact: Let $X$ be a compact metric space of topological dimension $n$. Suppose that the $n$-dimensional Hausdorff measure of $X$, $\mathcal H^n(X)$, is finite. Suppose further that the lower n-density of the measure $\mathcal H^n$ is positive, $\mathcal H^n$-almost everywhere in $X$. Then $X$ contains an $n$-rectifiable subset of positive $\mathcal H^n$-measure. Moreover, the assumption on the lower density is unnecessary if one uses recently announced results of Csörnyei-Jones.
△ Less
Submitted 7 July, 2018;
originally announced July 2018.
-
Localization of eigenfunctions via an effective potential
Authors:
Douglas N. Arnold,
Guy David,
Marcel Filoche,
David Jerison,
Svitlana Mayboroda
Abstract:
We consider the localization of eigenfunctions for the operator $L=-\mbox{div} A \nabla + V$ on a Lipschitz domain $Ω$ and, more generally, on manifolds with and without boundary. In earlier work, two authors of the present paper demonstrated the remarkable ability of the landscape, defined as the solution to $Lu=1$, to predict the location of the localized eigenfunctions. Here, we explain and jus…
▽ More
We consider the localization of eigenfunctions for the operator $L=-\mbox{div} A \nabla + V$ on a Lipschitz domain $Ω$ and, more generally, on manifolds with and without boundary. In earlier work, two authors of the present paper demonstrated the remarkable ability of the landscape, defined as the solution to $Lu=1$, to predict the location of the localized eigenfunctions. Here, we explain and justify a new framework that reveals a richly detailed portrait of the eigenfunctions and eigenvalues. We show that the reciprocal of the landscape function, $1/u$, acts as an effective potential. Hence from the single measurement of $u$, we obtain, via $1/u$, explicit bounds on the exponential decay of the eigenfunctions of the system and estimates on the distribution of eigenvalues near the bottom of the spectrum. (This version strengthens and simplifies the results of the first one by replacing a global bi-Lipschitz hypothesis on the domain with a local bi-Lipschitz hypothesis. It improves on the second version by adding pictures and numerical examples. This version is identical to the third version; all that is changed is to correct some tex mistakes in symbols in this abstract. There are no changes to the paper itself.)
△ Less
Submitted 3 October, 2018; v1 submitted 6 December, 2017;
originally announced December 2017.
-
Computing spectra without solving eigenvalue problems
Authors:
Douglas Arnold,
Guy David,
Marcel Filoche,
David Jerison,
Svitlana Mayboroda
Abstract:
The approximation of the eigenvalues and eigenfunctions of an elliptic operator is a key computational task in many areas of applied mathematics and computational physics. An important case, especially in quantum physics, is the computation of the spectrum of a Schrödinger operator with a disordered potential. Unlike plane waves or Bloch waves that arise as Schrödinger eigenfunctions for periodic…
▽ More
The approximation of the eigenvalues and eigenfunctions of an elliptic operator is a key computational task in many areas of applied mathematics and computational physics. An important case, especially in quantum physics, is the computation of the spectrum of a Schrödinger operator with a disordered potential. Unlike plane waves or Bloch waves that arise as Schrödinger eigenfunctions for periodic and other ordered potentials, for many forms of disordered potentials the eigenfunctions remain essentially localized in a very small subset of the initial domain. A celebrated example is Anderson localization, for which, in a continuous version, the potential is a piecewise constant function on a uniform grid whose values are sampled independently from a uniform random distribution. We present here a new method for approximating the eigenvalues and the subregions which support such localized eigenfunctions. This approach is based on the recent theoretical tools of the localization landscape and effective potential. The approach is deterministic, predicting quantities that depend sensitively on the particular realization, rather than furnishing statistical or probabilistic results about the spectrum associated to a family of potentials with a certain distribution. These methods, which have only been partially justified theoretically, enable the calculation of the locations and shapes of the approximate supports of the eigenfunctions, the approximate values of many of the eigenvalues, and of the eigenvalue counting function and density of states, all at the cost of solving a single source problem for the same elliptic operator. We study the effectiveness and limitations of the approach through extensive computations in one and two dimensions, using a variety of piecewise constant potentials with values sampled from various different correlated or uncorrelated random distributions.
△ Less
Submitted 29 August, 2018; v1 submitted 13 November, 2017;
originally announced November 2017.
-
Lipschitz and bi-Lipschitz maps from PI spaces to Carnot groups
Authors:
Guy C. David,
Kyle Kinneberg
Abstract:
This paper deals with the problem of finding bi-Lipschitz behavior in non-degenerate Lipschitz maps between metric measure spaces. Specifically, we study maps from (subsets of) Ahlfors regular PI spaces into sub-Riemannian Carnot groups. We prove that such maps have many bi-Lipschitz tangents, verifying a conjecture of Semmes. As a stronger conclusion, one would like to know whether such maps deco…
▽ More
This paper deals with the problem of finding bi-Lipschitz behavior in non-degenerate Lipschitz maps between metric measure spaces. Specifically, we study maps from (subsets of) Ahlfors regular PI spaces into sub-Riemannian Carnot groups. We prove that such maps have many bi-Lipschitz tangents, verifying a conjecture of Semmes. As a stronger conclusion, one would like to know whether such maps decompose into countably many bi-Lipschitz pieces. We show that this is true when the Carnot group is Euclidean. For general Carnot targets, we show that the existence of a bi-Lipschitz decomposition is equivalent to a condition on the geometry of the image set.
△ Less
Submitted 9 November, 2017;
originally announced November 2017.
-
Dahlberg's theorem in higher co-dimension
Authors:
Guy David,
Joseph Feneuil,
Svitlana Mayboroda
Abstract:
In 1977 the celebrated theorem of B. Dahlberg established that the harmonic measure is absolutely continuous with respect to the Hausdorff measure on a Lipschitz graph of dimension $n-1$ in $\mathbb R^n$, and later this result has been extended to more general non-tangentially accessible domains and beyond.
In the present paper we prove the first analogue of Dahlberg's theorem in higher co-dimen…
▽ More
In 1977 the celebrated theorem of B. Dahlberg established that the harmonic measure is absolutely continuous with respect to the Hausdorff measure on a Lipschitz graph of dimension $n-1$ in $\mathbb R^n$, and later this result has been extended to more general non-tangentially accessible domains and beyond.
In the present paper we prove the first analogue of Dahlberg's theorem in higher co-dimension, on a Lipschitz graph $Γ$ of dimension $d$ in $\mathbb R^n$, $d<n-1$, with a small Lipschitz constant. We construct a linear degenerate elliptic operator $L$ such that the corresponding harmonic measure $ω_L$ is absolutely continuous with respect to the Hausdorff measure on $Γ$. More generally, we provide sufficient conditions on the matrix of coefficients of $L$ which guarantee the mutual absolute continuity of $ω_L$ and the Hausdorff measure.
△ Less
Submitted 3 April, 2017;
originally announced April 2017.
-
Free Boundary Regularity for Almost-Minimizers
Authors:
Guy David,
Max Engelstein,
Tatiana Toro
Abstract:
In this paper we study the free boundary regularity for almost-minimizers of the functional \begin{equation*} J(u)=\int_{\mathcal O} |\nabla u(x)|^2 +q^2_+(x)χ_{\{u>0\}}(x) +q^2_-(x)χ_{\{u<0\}}(x)\ dx \end{equation*} where $q_\pm \in L^\infty(\mathcal O)$. Almost-minimizers satisfy a variational inequality but not a PDE or a monotonicity formula the way minimizers do (see [AC], [ACF], [CJK], [W]).…
▽ More
In this paper we study the free boundary regularity for almost-minimizers of the functional \begin{equation*} J(u)=\int_{\mathcal O} |\nabla u(x)|^2 +q^2_+(x)χ_{\{u>0\}}(x) +q^2_-(x)χ_{\{u<0\}}(x)\ dx \end{equation*} where $q_\pm \in L^\infty(\mathcal O)$. Almost-minimizers satisfy a variational inequality but not a PDE or a monotonicity formula the way minimizers do (see [AC], [ACF], [CJK], [W]). Nevertheless we succeed in proving that, under a non-degeneracy assumption on $q_\pm$, the free boundary is uniformly rectifiable. Furthermore, when $q_-\equiv 0$, and $q_+$ is Hölder continuous we show that the free boundary is almost-everywhere given as the graph of a $C^{1,α}$ function (thus extending the results of [AC] to almost-minimizers).
△ Less
Submitted 13 May, 2019; v1 submitted 21 February, 2017;
originally announced February 2017.
-
Elliptic theory for sets with higher co-dimensional boundaries
Authors:
Guy R. David,
Joseph Feneuil,
Svitlana Mayboroda
Abstract:
Many geometric and analytic properties of sets hinge on the properties of harmonic measure, notoriously missing for sets of higher co-dimension. The aim of this manuscript is to develop a version of elliptic theory, associated to a linear PDE, which ultimately yields a notion analogous to that of the harmonic measure, for sets of codimension higher than 1.
To this end, we turn to degenerate elli…
▽ More
Many geometric and analytic properties of sets hinge on the properties of harmonic measure, notoriously missing for sets of higher co-dimension. The aim of this manuscript is to develop a version of elliptic theory, associated to a linear PDE, which ultimately yields a notion analogous to that of the harmonic measure, for sets of codimension higher than 1.
To this end, we turn to degenerate elliptic equations. Let $Γ\subset \mathbb R^n$ be an Ahlfors regular set of dimension $d<n-1$ (not necessarily integer) and $Ω= \mathbb R^n \setminus Γ$. Let $L = - {\rm div} A\nabla$ be a degenerate elliptic operator with measurable coefficients such that the ellipticity constants of the matrix $A$ are bounded from above and below by a multiple of ${\rm dist}(\cdot, Γ)^{d+1-n}$. We define weak solutions; prove trace and extension theorems in suitable weighted Sobolev spaces; establish the maximum principle, De Giorgi-Nash-Moser estimates, the Harnack inequality, the Hölder continuity of solutions (inside and at the boundary). We define the Green function and provide the basic set of pointwise and/or $L^p$ estimates for the Green function and for its gradient. With this at hand, we define harmonic measure associated to $L$, establish its doubling property, non-degeneracy, change-of-the-pole formulas, and, finally, the comparison principle for local solutions.
In another article to appear, we will prove that when $Γ$ is the graph of a Lipschitz function with small Lipschitz constant, we can find an elliptic operator $L$ for which the harmonic measure given here is absolutely continuous with respect to the $d$-Hausdorff measure on $Γ$ and vice versa. It thus extends Dahlberg's theorem to some sets of codimension higher than 1.
△ Less
Submitted 24 September, 2023; v1 submitted 17 February, 2017;
originally announced February 2017.
-
Rectifiability of planes and Alberti representations
Authors:
Guy C. David,
Bruce Kleiner
Abstract:
We study metric measure spaces that have quantitative topological control, as well as a weak form of differentiable structure. In particular, let $X$ be a pointwise doubling metric measure space. Let $U$ be a Borel subset on which the blowups of $X$ are topological planes. We show that $U$ can admit at most $2$ independent Alberti representations. Furthermore, if $U$ admits $2$ Alberti representat…
▽ More
We study metric measure spaces that have quantitative topological control, as well as a weak form of differentiable structure. In particular, let $X$ be a pointwise doubling metric measure space. Let $U$ be a Borel subset on which the blowups of $X$ are topological planes. We show that $U$ can admit at most $2$ independent Alberti representations. Furthermore, if $U$ admits $2$ Alberti representations, then the restriction of the measure to $U$ is $2$-rectifiable. This is a partial answer to the case $n=2$ of a question of the second author and Schioppa.
△ Less
Submitted 16 November, 2016;
originally announced November 2016.
-
Rigidity for convex-cocompact actions on rank-one symmetric spaces
Authors:
Guy C. David,
Kyle Kinneberg
Abstract:
When a discrete group admits a convex-cocompact action on a non-compact rank-one symmetric space, there is a natural lower bound for the Hausdorff dimension of the limit set, given by the Ahlfors regular conformal dimension of the boundary of the group. We show that equality is achieved precisely when the group stabilizes an isometric copy of some non-compact rank-one symmetric space on which it a…
▽ More
When a discrete group admits a convex-cocompact action on a non-compact rank-one symmetric space, there is a natural lower bound for the Hausdorff dimension of the limit set, given by the Ahlfors regular conformal dimension of the boundary of the group. We show that equality is achieved precisely when the group stabilizes an isometric copy of some non-compact rank-one symmetric space on which it acts with compact quotient. This generalizes a theorem of Bonk-Kleiner, who proved it in the case of real hyperbolic space.
To prove our main theorem, we study tangents of Lipschitz differentiability spaces that are embedded in a Carnot group. We show that almost all tangents are isometric to Carnot subgroups, at least when they are rectifiably connected. This extends a theorem of Cheeger, who proved it for PI spaces that are embedded in Euclidean space.
△ Less
Submitted 9 September, 2016;
originally announced September 2016.
-
Harmonic measure on sets of codimension larger than one
Authors:
Guy David,
Joseph Feneuil,
Svitlana Mayboroda
Abstract:
We introduce a new notion of a harmonic measure for a $d$-dimensional set in $\R^n$ with $d<n-1$, that is, when the codimension is strictly bigger than 1. Our measure is associated to a degenerate elliptic PDE, it gives rise to a comprehensive elliptic theory, and, most notably, it is absolutely continuous with respect to the $d$-dimensional Hausdorff measure on reasonably nice sets. This note pro…
▽ More
We introduce a new notion of a harmonic measure for a $d$-dimensional set in $\R^n$ with $d<n-1$, that is, when the codimension is strictly bigger than 1. Our measure is associated to a degenerate elliptic PDE, it gives rise to a comprehensive elliptic theory, and, most notably, it is absolutely continuous with respect to the $d$-dimensional Hausdorff measure on reasonably nice sets. This note provides general strokes of the proof of the latter statement for Lipschitz graphs with small Lipschitz constant.
△ Less
Submitted 3 August, 2016;
originally announced August 2016.
-
The Analyst's traveling salesman theorem in graph inverse limits
Authors:
Guy C. David,
Raanan Schul
Abstract:
We prove a version of Peter Jones' Analyst's traveling salesman theorem in a class of highly non-Euclidean metric spaces introduced by Laakso and generalized by Cheeger-Kleiner. These spaces are constructed as inverse limits of metric graphs, and include examples which are doubling and have a Poincare inequality. We show that a set in one of these spaces is contained in a rectifiable curve if and…
▽ More
We prove a version of Peter Jones' Analyst's traveling salesman theorem in a class of highly non-Euclidean metric spaces introduced by Laakso and generalized by Cheeger-Kleiner. These spaces are constructed as inverse limits of metric graphs, and include examples which are doubling and have a Poincare inequality. We show that a set in one of these spaces is contained in a rectifiable curve if and only if it is quantitatively "flat" at most locations and scales, where flatness is measured with respect to so-called monotone geodesics. This provides a first examination of quantitative rectifiability within these spaces.
△ Less
Submitted 9 March, 2016;
originally announced March 2016.
-
Lusin-type theorems for Cheeger derivatives on metric measure spaces
Authors:
Guy C. David
Abstract:
A theorem of Lusin states that every Borel function on $R$ is equal almost everywhere to the derivative of a continuous function. This result was later generalized to $R^n$ in works of Alberti and Moonens-Pfeffer. In this note, we prove direct analogs of these results on a large class of metric measure spaces, those with doubling measures and Poincaré inequalities, which admit a form of differenti…
▽ More
A theorem of Lusin states that every Borel function on $R$ is equal almost everywhere to the derivative of a continuous function. This result was later generalized to $R^n$ in works of Alberti and Moonens-Pfeffer. In this note, we prove direct analogs of these results on a large class of metric measure spaces, those with doubling measures and Poincaré inequalities, which admit a form of differentiation by a famous theorem of Cheeger.
△ Less
Submitted 2 February, 2015;
originally announced February 2015.
-
Wasserstein Distance and the Rectifiability of Doubling Measures: Part II
Authors:
Jonas Azzam,
Guy David,
Tatiana Toro
Abstract:
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 piece…
▽ More
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.
△ Less
Submitted 10 November, 2014;
originally announced November 2014.
-
A monotonicity formula for minimal sets with a sliding boundary condition
Authors:
Guy David
Abstract:
We prove a monotonicity formula for minimal or almost minimal sets for the Hausdorff measure $\cal{H}^d$, subject to a sliding boundary constraint where competitors for $E$ are obtained by deforming $E$ by a one-parameter family of functions $\varphi_t$ such that $\varphi_t(x) \in L$ when $x\in E$ lies on the boundary $L$. In the simple case when $L$ is an affine subspace of dimension $d-1$, the…
▽ More
We prove a monotonicity formula for minimal or almost minimal sets for the Hausdorff measure $\cal{H}^d$, subject to a sliding boundary constraint where competitors for $E$ are obtained by deforming $E$ by a one-parameter family of functions $\varphi_t$ such that $\varphi_t(x) \in L$ when $x\in E$ lies on the boundary $L$. In the simple case when $L$ is an affine subspace of dimension $d-1$, the monotone or almost monotone functional is given by $F(r) = r^{-d} \cal{H}^d(E \cap B(x,r)) + r^{-d} \cal{H}^d(S \cap B(x,r))$, where $x$ is any point of $E$ (not necessarily on $L$) and $S$ is the shade of $L$ with a light at $x$. We then use this, the description of the case when $F$ is constant, and a limiting argument, to give a rough description of $E$ near $L$ in two simple cases.
-----
On donne une formule de monotonie pour des ensembles minimaux ou presque minimaux pour la mesure de Hausdorff $\cal{H}^d$, avec une condition de bord où les compétiteurs de $E$ sont obtenus en déformant $E$ par une famille à un paramètre de fonctions $\varphi_t$ telles que $\varphi_t(x)\in L$ quand $x\in E$ se trouve sur la frontière $L$. Dans le cas simple où $L$ est un sous-espace affine de dimension $d-1$, la fonctionelle monotone ou presque monotone est donnée par $F(r) = r^{-d} \cal{H}^d(E \cap B(x,r)) + r^{-d} \cal{H}^d(S \cap B(x,r))$, où $x$ est un point de $E$, pas forcément dans $L$, et $S$ est l'ombre de $L$, éclairée depuis $x$. On utilise ceci, la description des cas où $F$ est constante, et un argument de limite, pour donner une description de $E$ près de $L$ dans deux cas simples.
△ Less
Submitted 29 August, 2014;
originally announced August 2014.
-
Wasserstein Distance and the Rectifiability of Doubling Measures: Part I
Authors:
Jonas Azzam,
Guy David,
Tatiana Toro
Abstract:
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…
▽ More
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.
△ Less
Submitted 28 August, 2014;
originally announced August 2014.
-
A free boundary problem for the localization of eigenfunctions
Authors:
Guy David,
Marcel Filoche,
David Jerison,
Svitlana Mayboroda
Abstract:
We study a variant of the Alt, Caffarelli, and Friedman free boundary problem with many phases and a slightly different volume term, which we originally designed to guess the localization of eigenfunctions of a Schrödinger operator in a domain. We prove Lipschitz bounds for the functions and some nondegeneracy and regularity properties for the domains.
We study a variant of the Alt, Caffarelli, and Friedman free boundary problem with many phases and a slightly different volume term, which we originally designed to guess the localization of eigenfunctions of a Schrödinger operator in a domain. We prove Lipschitz bounds for the functions and some nondegeneracy and regularity properties for the domains.
△ Less
Submitted 19 July, 2014; v1 submitted 25 June, 2014;
originally announced June 2014.
