-
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.
-
Critical Perturbations for Second Order Elliptic Operators. Part II: Non-tangential maximal function estimates
Authors:
Simon Bortz,
Steve Hofmann,
José Luis Luna Garcia,
Svitlana Mayboroda,
Bruno Poggi
Abstract:
This is the final part of a series of papers where we study perturbations of divergence form second order elliptic operators $-\operatorname{div} A \nabla$ by first and zero order terms, whose complex coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness (with natural non-tangential maximal function estimates) of the Dirichlet…
▽ More
This is the final part of a series of papers where we study perturbations of divergence form second order elliptic operators $-\operatorname{div} A \nabla$ by first and zero order terms, whose complex coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness (with natural non-tangential maximal function estimates) of the Dirichlet, Neumann and regularity problems for complex Hermitian, block form, or constant-coefficient divergence form elliptic operators in the upper half-space are all stable under such perturbations. Due to the lack of the classical De Giorgi-Nash-Moser theory in our setting, our method to prove the non-tangential maximal function estimates relies on a completely new argument: We obtain a certain weak-$L^p$ ''$N<S$'' estimate, which we eventually couple with square function bounds, weighted extrapolation theory, and a bootstrap** argument to recover the full $L^2$ bound. Finally, we show the existence and uniqueness of solutions in a relatively broad class.
As a corollary, we claim the first results in an unbounded domain concerning the $L^p$-solvability of boundary value problems for the magnetic Schrödinger operator $-(\nabla-i{\bf a})^2+V$ when the magnetic potential ${\bf a}$ and the electric potential $V$ are accordingly small in the norm of a scale-invariant Lebesgue space.
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
Green functions and smooth distances
Authors:
Joseph Feneuil,
Linhan Li,
Svitlana Mayboroda
Abstract:
In the present paper, we show that for an optimal class of elliptic operators with non-smooth coefficients on a 1-sided Chord-Arc domain, the boundary of the domain is uniformly rectifiable if and only if the Green function $G$ behaves like a distance function to the boundary, in the sense that $\Big|\frac{\nabla G(X)}{G(X)}-\frac{\nabla D(X)}{D(X)}\Big|^2D(X) dX$ is the density of a Carleson meas…
▽ More
In the present paper, we show that for an optimal class of elliptic operators with non-smooth coefficients on a 1-sided Chord-Arc domain, the boundary of the domain is uniformly rectifiable if and only if the Green function $G$ behaves like a distance function to the boundary, in the sense that $\Big|\frac{\nabla G(X)}{G(X)}-\frac{\nabla D(X)}{D(X)}\Big|^2D(X) dX$ is the density of a Carleson measure, where $D$ is a regularized distance adapted to the boundary of the domain. The main ingredient in our proof is a corona decomposition that is compatible with Tolsa's $α$-number of uniformly rectifiable sets. We believe that the method can be applied to many other problems at the intersection of PDE and geometric measure theory, and in particular, we are able to derive a generalization of the classical F. and M. Riesz theorem to the same class of elliptic operators as above.
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
Non-local distance functions and geometric regularity
Authors:
Max Engelstein,
Cole Jeznach,
Svitlana Mayboroda
Abstract:
We establish the equivalence between the regularity (rectifiability) of sets and suitable estimates on the oscillation of the gradient for smooth non-local distance functions. A prototypical example of such a distance was introduced, as part of a larger PDE theory, by Guy David, Joseph Feneuil, and the third author. The results apply to all dimensions and co-dimensions, require no underlying topol…
▽ More
We establish the equivalence between the regularity (rectifiability) of sets and suitable estimates on the oscillation of the gradient for smooth non-local distance functions. A prototypical example of such a distance was introduced, as part of a larger PDE theory, by Guy David, Joseph Feneuil, and the third author. The results apply to all dimensions and co-dimensions, require no underlying topological assumptions, and provide a surprisingly rich class of analytic characterizations of rectifiability.
△ Less
Submitted 15 August, 2022;
originally announced August 2022.
-
The Regularity problem in domains with lower dimensional boundaries
Authors:
Zanbing Dai,
Joseph Feneuil,
Svitlana Mayboroda
Abstract:
In the present paper we establish the solvability of the Regularity boundary value problem in domains with (flat and Lipschitz) lower dimensional boundaries for operators whose coefficients exhibit small oscillations analogous to the Dahlberg-Kenig-Pipher condition.
The proof follows the classical strategy of showing bounds on the square function and the non-tangential maximal function. The key…
▽ More
In the present paper we establish the solvability of the Regularity boundary value problem in domains with (flat and Lipschitz) lower dimensional boundaries for operators whose coefficients exhibit small oscillations analogous to the Dahlberg-Kenig-Pipher condition.
The proof follows the classical strategy of showing bounds on the square function and the non-tangential maximal function. The key novelty and difficulty of this setting is the presence of multiple non-tangential derivatives. To solve it, we consider a cylindrical system of derivatives and establish new estimates on the "angular derivatives".
△ Less
Submitted 1 August, 2022;
originally announced August 2022.
-
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.
-
Carleson Perturbations for the Regularity Problem
Authors:
Zanbing Dai,
Joseph Feneuil,
Svitlana Mayboroda
Abstract:
We prove that the solvability of the regularity problem in $L^q(\partial Ω)$ is stable under Carleson perturbations. If the perturbation is small, then the solvability is preserved in the same $L^q$, and if the perturbation is large, the regularity problem is solvable in $L^{r}$ for some other $r\in (1,\infty)$. We extend an earlier result from Kenig and Pipher to very general unbounded domains, p…
▽ More
We prove that the solvability of the regularity problem in $L^q(\partial Ω)$ is stable under Carleson perturbations. If the perturbation is small, then the solvability is preserved in the same $L^q$, and if the perturbation is large, the regularity problem is solvable in $L^{r}$ for some other $r\in (1,\infty)$. We extend an earlier result from Kenig and Pipher to very general unbounded domains, possibly with lower dimensional boundaries as in the theory developed by Guy David and the last two authors. To be precise, we only need the domain to have non-tangential access to its Ahlfors regular boundary, together with a notion of gradient on the boundary.
△ Less
Submitted 1 August, 2022; v1 submitted 15 March, 2022;
originally announced March 2022.
-
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.
-
On a Novel Effective Equation of the Reduced Hartree-Fock Theory
Authors:
Ilias Chenn,
Svitlana Mayboroda,
Wei Wang,
Shiwen Zhang
Abstract:
We show that there is an one-to-one correspondence between solutions to the Poisson-Landscape equations and the reduced Hartree-Fock equations in the semi-classical limit at low temperature. Moreover, we prove that the difference between the two corresponding solutions is small by providing explicit estimates.
We show that there is an one-to-one correspondence between solutions to the Poisson-Landscape equations and the reduced Hartree-Fock equations in the semi-classical limit at low temperature. Moreover, we prove that the difference between the two corresponding solutions is small by providing explicit estimates.
△ Less
Submitted 25 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.
-
The landscape law for tight binding Hamiltonians
Authors:
Douglas N. Arnold,
Marcel Filoche,
Svitlana Mayboroda,
Wei Wang,
Shiwen Zhang
Abstract:
The present paper extends the landscape theory pioneered in [FM, ADFJM2, DFM] to the tight-binding Schrödinger operator on $\Z^d$. In particular, we establish upper and lower bounds for the integrated density of states in terms of the counting function based upon the localization landscape.
The present paper extends the landscape theory pioneered in [FM, ADFJM2, DFM] to the tight-binding Schrödinger operator on $\Z^d$. In particular, we establish upper and lower bounds for the integrated density of states in terms of the counting function based upon the localization landscape.
△ Less
Submitted 8 June, 2021; v1 submitted 8 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.
-
Uniform rectifiability and elliptic operators satisfying a Carleson measure condition
Authors:
Steve Hofmann,
José María Martell,
Svitlana Mayboroda,
Tatiana Toro,
Zihui Zhao
Abstract:
The present paper establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators s…
▽ More
The present paper establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular $L^p$ data case.
We split our proof on two main steps. In the first one we considered the case in which the desired Carleson measure condition on the coefficients holds with "sufficiently small constant", using a novel application of techniques developed in geometric measure theory. In the second step we establish the final result, that is, the "large constant case". The key elements are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, and a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
Carleson perturbations of elliptic operators on domains with low dimensional boundaries
Authors:
Svitlana Mayboroda,
Bruno Poggi
Abstract:
We prove an analogue of a perturbation result for the Dirichlet problem of divergence form elliptic operators by Fefferman, Kenig and Pipher, for the degenerate elliptic operators of David, Feneuil and Mayboroda, which were developed to study geometric and analytic properties of sets with boundaries whose co-dimension is higher than $1$. These operators are of the form $-\text{div} A\nabla$, where…
▽ More
We prove an analogue of a perturbation result for the Dirichlet problem of divergence form elliptic operators by Fefferman, Kenig and Pipher, for the degenerate elliptic operators of David, Feneuil and Mayboroda, which were developed to study geometric and analytic properties of sets with boundaries whose co-dimension is higher than $1$. These operators are of the form $-\text{div} A\nabla$, where $A$ is a weighted elliptic matrix crafted to weigh the distance to the high co-dimension boundary in a way that allows for the nourishment of an elliptic theory. When this boundary is a $d-$Alhfors-David regular set in $\mathbb R^n$ with $d\in[1,n-1)$ and $n\geq3$, we prove that the membership of the harmonic measure in $A_{\infty}$ is preserved under Carleson measure perturbations of the matrix of coefficients, yielding in turn that the $L^p-$solvability of the Dirichlet problem is also stable under these perturbations (with possibly different $p$). If the Carleson measure perturbations are suitably small, we establish solvability of the Dirichlet problem in the same $L^p$ space. One of the corollaries of our results together with a previous result of David, Engelstein and Mayboroda, is that, given any $d$-ADR boundary $Γ$ with $d\in[1,n-2)$, $n\geq3$, there is a family of degenerate operators of the form described above whose harmonic measure is absolutely continuous with respect to the $d-$dimensional Hausdorff measure on $Γ$.
△ Less
Submitted 15 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.
-
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.
-
Critical Perturbations for Second Order Elliptic Operators. Part I: Square function bounds for layer potentials
Authors:
Simon Bortz,
Steve Hofmann,
José Luis Luna Garcia,
Svitlana Mayboroda,
Bruno Poggi
Abstract:
This is the first part of a series of two papers where we study perturbations of divergence form second order elliptic operators $-\mathop{\operatorname{div}} A \nabla$ by first and zero order terms, whose coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness of the Dirichlet, Neumann and Regularity problems for complex Hermit…
▽ More
This is the first part of a series of two papers where we study perturbations of divergence form second order elliptic operators $-\mathop{\operatorname{div}} A \nabla$ by first and zero order terms, whose coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness of the Dirichlet, Neumann and Regularity problems for complex Hermitian, block form, or constant-coefficient divergence form elliptic operators in the upper half-space are all stable under such perturbations. For instance, this allows us to claim the first results in the setting of an unbounded domain concerning the solvability of boundary value problems for the magnetic Schrödinger operator $-(\nabla-i{\bf a})^2+V$ when the magnetic potential ${\bf a}$ and the electric potential $V$ are accordingly small in the norm of a scale-invariant Lebesgue space. In the present paper, we establish $L^2$ control of the square function via a vector-valued $Tb$ theorem and abstract layer potentials, and use these square function bounds to obtain uniform slice bounds for solutions. The existence and uniqueness of solutions, as well as bounds for the non-tangential maximal operator, are considered in the upcoming paper.
△ Less
Submitted 1 February, 2023; v1 submitted 5 March, 2020;
originally announced March 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.
-
The Dirichlet problem for elliptic operators having a BMO anti-symmetric part
Authors:
Steve Hofmann,
Linhan Li,
Svitlana Mayboroda,
Jill Pipher
Abstract:
The present paper establishes the first result on the absolute continuity of elliptic measure with respect to the Lebesgue measure for a divergence form elliptic operator with non-smooth coefficients that have a BMO anti-symmetric part. In particular, the coefficients are not necessarily bounded. We prove that the Dirichlet problem for elliptic equation ${\rm div}(A\nabla u)=0$ in the upper half-s…
▽ More
The present paper establishes the first result on the absolute continuity of elliptic measure with respect to the Lebesgue measure for a divergence form elliptic operator with non-smooth coefficients that have a BMO anti-symmetric part. In particular, the coefficients are not necessarily bounded. We prove that the Dirichlet problem for elliptic equation ${\rm div}(A\nabla u)=0$ in the upper half-space $(x,t)\in\mathbb{R}^{n+1}_+$ is uniquely solvable when $n\ge2$ and the boundary data is in $L^p(\mathbb{R}^n,dx)$ for some $p\in (1,\infty)$. This result is equivalent to saying that the elliptic measure associated to $L$ belongs to the $A_\infty$ class with respect to the Lebesgue measure $dx$, a quantitative version of absolute continuity.
△ Less
Submitted 30 June, 2021; v1 submitted 22 August, 2019;
originally announced August 2019.
-
Uniform rectifiability and elliptic operators satisfying a Carleson measure condition. Part II: The large constant case
Authors:
Steve Hofmann,
José María Martell,
Svitlana Mayboroda,
Tatiana Toro,
Zihui Zhao
Abstract:
The present paper, along with its companion [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of t…
▽ More
The present paper, along with its companion [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular $L^p$ data case.
The first step in this direction was taken in our previous paper [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], where we considered the case in which the desired Carleson measure condition on the coefficients holds with sufficiently small constant. In this paper we establish the final, general result, that is, the "large constant case". The key elements of our approach are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, as well as a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.
△ Less
Submitted 7 January, 2020; v1 submitted 8 August, 2019;
originally announced August 2019.
-
$L^p$ theory for the square roots and square functions of elliptic operators having a BMO anti-symmetric part
Authors:
Steve Hofmann,
Linhan Li,
Svitlana Mayboroda,
Jill Pipher
Abstract:
We consider the operator $L=-{\rm div}(A\nabla)$, where the $n\times n$ matrix $A$ is real-valued, elliptic, with the symmetric part of $A$ in $L^\infty(\mathbb{R}^n)$, and the anti-symmetric part of $A$ only belongs to the space $BMO(\mathbb{R}^n)$, $n\ge2$. We prove the Gaussian estimates for the kernel of $e^{-tL}$, as well as that of $\partial_t^le^{-tL}$, for any $l\in\mathbb{N}$. We show tha…
▽ More
We consider the operator $L=-{\rm div}(A\nabla)$, where the $n\times n$ matrix $A$ is real-valued, elliptic, with the symmetric part of $A$ in $L^\infty(\mathbb{R}^n)$, and the anti-symmetric part of $A$ only belongs to the space $BMO(\mathbb{R}^n)$, $n\ge2$. We prove the Gaussian estimates for the kernel of $e^{-tL}$, as well as that of $\partial_t^le^{-tL}$, for any $l\in\mathbb{N}$. We show that the square root of $L$ satisfies the $L^p$ estimates $\left\Vert{L^{1/2}f}\right\Vert_{L^p}\lesssim\left\Vert{\nabla f}\right\Vert_{L^p}$ for $1<p<\infty$, and $\left\Vert{\nabla f}\right\Vert_{L^p}\lesssim\left\Vert{L^{1/2}f}\right\Vert_{L^p}$ for $1<p<2+ε$ for some $ε>0$ depending on the ellipticity constant and the BMO semi-norm of the coefficients. Finally, we prove the $L^p$ estimates for square functions associated to $e^{-tL}$. In another article of the authors, these results are used to establish the solvability of the Dirichlet problem for elliptic equation ${\rm div}(A(x)\nabla u)=0$ in the upper half-space $(x,t)\in\mathbb{R}_+^{n+1}$ with the boundary data in $L^p(\mathbb{R}^n,dx)$ for some $p\in (1,\infty)$.
△ Less
Submitted 22 January, 2022; v1 submitted 2 August, 2019;
originally announced August 2019.
-
Transference of scale-invariant estimates from Lipschitz to Non-tangentially accessible to Uniformly rectifiable domains
Authors:
Steve Hofmann,
José María Martell,
Svitlana Mayboroda
Abstract:
In relatively nice geometric settings, in particular, on Lipschitz domains, absolute continuity of elliptic measure with respect to the surface measure is equivalent to Carleson measure estimates, to square function estimates, and to $\varepsilon$-approximability, for solutions to the second order divergence form elliptic partial differential equations $ Lu= -{\rm div\,} (A \nabla u)=0$. In more g…
▽ More
In relatively nice geometric settings, in particular, on Lipschitz domains, absolute continuity of elliptic measure with respect to the surface measure is equivalent to Carleson measure estimates, to square function estimates, and to $\varepsilon$-approximability, for solutions to the second order divergence form elliptic partial differential equations $ Lu= -{\rm div\,} (A \nabla u)=0$. In more general situations, notably, in an open set $Ω$ with a uniformly rectifiable boundary, absolute continuity of elliptic measure with respect to the surface measure may fail, already for the Laplacian. In the present paper, the authors demonstrate that nonetheless, Carleson measure estimates, square function estimates, and $\varepsilon$-approximability remain valid in such $Ω$, for solutions of $Lu=0$, provided that such solutions enjoy these properties in Lipschitz subdomains of $Ω$.
Moreover, we establish a general real-variable transference principle, from Lipschitz to chord-arc domains, and from chord-arc to open sets with uniformly rectifiable boundary, that is not restricted to harmonic functions or even to solutions of elliptic equations. In particular, this allows one to deduce the first Carleson measure estimates and square function bounds for higher order systems on open sets with uniformly rectifiable boundaries and to treat subsolutions and subharmonic functions.
△ Less
Submitted 13 July, 2020; v1 submitted 30 April, 2019;
originally announced April 2019.
-
Dirichlet problem in domains with lower dimensional boundaries
Authors:
Joseph Feneuil,
Svitlana Mayboroda,
Zihui Zhao
Abstract:
The present paper pioneers the study of the Dirichlet problem with $L^q$ boundary data for second order operators with complex coefficients in domains with lower dimensional boundaries, e.g., in $Ω:= \mathbb R^n \setminus \mathbb R^d$ with $d<n-1$. Following the first results of Guy David and the two first authors, the article introduces an appropriate degenerate elliptic operator and show that th…
▽ More
The present paper pioneers the study of the Dirichlet problem with $L^q$ boundary data for second order operators with complex coefficients in domains with lower dimensional boundaries, e.g., in $Ω:= \mathbb R^n \setminus \mathbb R^d$ with $d<n-1$. Following the first results of Guy David and the two first authors, the article introduces an appropriate degenerate elliptic operator and show that the Dirichlet problem is solvable for all $q>1$ provided that the coefficients satisfy the small Carleson norm condition.
Even in the context of the classical case $d=n-1$, (the analogues of) our results are new. The conditions on the coefficients are more relaxed than the previously known ones (most notably, we do not impose any restrictions whatsoever on the first $n-1$ rows of the matrix of coefficients) and the results are more general. We establish local rather than global estimates between the square function and the non-tangential maximal function and, perhaps even more importantly, we establish new Moser-type estimates at the boundary and improve the interior ones.
△ Less
Submitted 16 October, 2018;
originally announced October 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.
-
Nontangential estimates on layer potentials and the Neumann problem for higher order elliptic equations
Authors:
Ariel Barton,
Steve Hofmann,
Svitlana Mayboroda
Abstract:
We solve the Neumann problem, with nontangential estimates, for higher order divergence form elliptic operators with variable $t$-independent coefficients. Our results are accompanied by nontangential estimates on higher order layer potentials.
We solve the Neumann problem, with nontangential estimates, for higher order divergence form elliptic operators with variable $t$-independent coefficients. Our results are accompanied by nontangential estimates on higher order layer potentials.
△ Less
Submitted 21 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.
-
Square function estimates, BMO Dirichlet problem, and absolute continuity of harmonic measure on lower-dimensional sets
Authors:
Svitlana Mayboroda,
Zihui Zhao
Abstract:
In the recent work [DFM1, DFM2] G. David, J. Feneuil, and the first author have launched a program devoted to an analogue of harmonic measure for lower-dimensional sets. A relevant class of partial differential equations, analogous to the class of elliptic PDEs in the classical context, is given by linear degenerate equations with the degeneracy suitably depending on the distance to the boundary.…
▽ More
In the recent work [DFM1, DFM2] G. David, J. Feneuil, and the first author have launched a program devoted to an analogue of harmonic measure for lower-dimensional sets. A relevant class of partial differential equations, analogous to the class of elliptic PDEs in the classical context, is given by linear degenerate equations with the degeneracy suitably depending on the distance to the boundary.
The present paper continues this line of research and focuses on the criteria of quantitative absolute continuity of the newly defined harmonic measure with respect to the Hausdorff measure, $ω\in A_\infty(σ)$, in terms of solvability of boundary value problems. The authors establish, in particular, square function estimates and solvability of the Dirichlet problem in BMO for domains with lower-dimensional boundaries under the underlying assumption $ω\in A_\infty(σ)$. More generally, it is proved that in all domains with Ahlfors regular boundaries the BMO solvability of the Dirichlet problem is necessary and sufficient for the absolute continuity of the harmonic measure.
△ Less
Submitted 23 October, 2018; v1 submitted 26 February, 2018;
originally announced February 2018.
-
Exponential decay estimates for fundamental solutions of Schrödinger-type operators
Authors:
Svitlana Mayboroda,
Bruno Poggi
Abstract:
In the present paper we establish sharp exponential decay estimates for operator and integral kernels of the (not necessarily self-adjoint) operators $L=-(\nabla-i\mathbf{a})^TA(\nabla-i\mathbf{a})+V$. The latter class includes, in particular, the magnetic Schrödinger operator $-\left(\nabla-i\mathbf{a}\right)^2+V$ and the generalized electric Schrödinger operator $-{\rm div }A\nabla+V$. Our expon…
▽ More
In the present paper we establish sharp exponential decay estimates for operator and integral kernels of the (not necessarily self-adjoint) operators $L=-(\nabla-i\mathbf{a})^TA(\nabla-i\mathbf{a})+V$. The latter class includes, in particular, the magnetic Schrödinger operator $-\left(\nabla-i\mathbf{a}\right)^2+V$ and the generalized electric Schrödinger operator $-{\rm div }A\nabla+V$. Our exponential decay bounds rest on a generalization of the Fefferman-Phong uncertainty principle to the present context and are governed by the Agmon distance associated to the corresponding maximal function. In the presence of a scale-invariant Harnack inequality, for instance, for the generalized electric Schrödinger operator with real coefficients, we establish both lower and upper estimates for fundamental solutions, thus demonstrating sharpness of our results. The only previously known estimates of this type pertain to the classical Schrödinger operator $-Δ+V$.
△ Less
Submitted 7 March, 2019; v1 submitted 16 January, 2018;
originally announced January 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.
-
Uniform rectifiability and elliptic operators satisfying a Carleson measure condition. Part I: The small constant case
Authors:
Steve Hofmann,
José María Martell,
Svitlana Mayboroda,
Tatiana Toro,
Zihui Zhao
Abstract:
The present paper, along with its sequel, establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence f…
▽ More
The present paper, along with its sequel, establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular $L^p$ data case.
This paper addresses the free boundary problem under the assumption of smallness of the Carleson measure of the coefficients. Part II of this work develops an extrapolation argument to bootstrap this result to the general case. The ideas in Part I constitute a novel application of techniques developed in geometric measure theory. They highlight the synergy between several areas. The ideas developed in this paper are well suited to study singularities arising in variational problems in a geometric setting.
△ Less
Submitted 14 January, 2020; v1 submitted 17 October, 2017;
originally announced October 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.
-
Dirichlet and Neumann boundary values of solutions to higher order elliptic equations
Authors:
Ariel Barton,
Steve Hofmann,
Svitlana Mayboroda
Abstract:
We show that if $u$ is a solution to a linear elliptic differential equation of order $2m\geq 2$ in the half-space with $t$-independent coefficients, and if $u$ satisfies certain area integral estimates, then the Dirichlet and Neumann boundary values of $u$ exist and lie in a Lebesgue space $L^p(\mathbb{R}^n)$ or Sobolev space $\dot W^p_{\pm 1}(\mathbb{R}^n)$. Even in the case where $u$ is a solut…
▽ More
We show that if $u$ is a solution to a linear elliptic differential equation of order $2m\geq 2$ in the half-space with $t$-independent coefficients, and if $u$ satisfies certain area integral estimates, then the Dirichlet and Neumann boundary values of $u$ exist and lie in a Lebesgue space $L^p(\mathbb{R}^n)$ or Sobolev space $\dot W^p_{\pm 1}(\mathbb{R}^n)$. Even in the case where $u$ is a solution to a second order equation, our results are new for certain values of~$p$.
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
The Neumann problem for higher order elliptic equations with symmetric coefficients
Authors:
Ariel Barton,
Steve Hofmann,
Svitlana Mayboroda
Abstract:
In this paper we establish well posedness of the Neumann problem with boundary data in $L^2$ or the Sobolev space $\dot W^2_{-1}$, in the half space, for linear elliptic differential operators with coefficients that are constant in the vertical direction and in addition are self adjoint. This generalizes the well known well-posedness result of the second order case and is based on a higher order a…
▽ More
In this paper we establish well posedness of the Neumann problem with boundary data in $L^2$ or the Sobolev space $\dot W^2_{-1}$, in the half space, for linear elliptic differential operators with coefficients that are constant in the vertical direction and in addition are self adjoint. This generalizes the well known well-posedness result of the second order case and is based on a higher order and one sided version of the classic Rellich identity, and is the first known well posedness result for a higher order operator with rough variable coefficients and boundary data in a Lebesgue or Sobolev space.
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
Bounds on layer potentials with rough inputs for higher order elliptic equations
Authors:
Ariel Barton,
Steve Hofmann,
Svitlana Mayboroda
Abstract:
In this paper we establish square-function estimates on the double and single layer potentials with rough inputs for divergence form elliptic operators, of arbitrary even order 2m, with variable t-independent coefficients in the upper half-space.
In this paper we establish square-function estimates on the double and single layer potentials with rough inputs for divergence form elliptic operators, of arbitrary even order 2m, with variable t-independent coefficients in the upper half-space.
△ Less
Submitted 19 August, 2019; v1 submitted 20 March, 2017;
originally announced March 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.
-
Fundamental matrices and Green matrices for non-homogeneous elliptic systems
Authors:
Blair Davey,
Jonathan Hill,
Svitlana Mayboroda
Abstract:
In this paper, we establish existence, uniqueness, and scale-invariant estimates for fundamental solutions of non-homogeneous second order elliptic systems with bounded measurable coefficients in $\mathbb{R}^n$ and for the corresponding Green functions in arbitrary open sets. We impose certain non-homogeneous versions of de Giorgi-Nash-Moser bounds on the weak solutions and investigate in detail t…
▽ More
In this paper, we establish existence, uniqueness, and scale-invariant estimates for fundamental solutions of non-homogeneous second order elliptic systems with bounded measurable coefficients in $\mathbb{R}^n$ and for the corresponding Green functions in arbitrary open sets. We impose certain non-homogeneous versions of de Giorgi-Nash-Moser bounds on the weak solutions and investigate in detail the assumptions on the lower order terms sufficient to guarantee such conditions.
△ Less
Submitted 25 October, 2016;
originally announced October 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.
-
Harmonic measure is rectifiable if it is absolutely continuous with respect to the co-dimension one Hausdorff measure
Authors:
Jonas Azzam,
Steve Hofmann,
José María Martell,
Svitlana Mayboroda,
Mihalis Mourgoglou,
Xavier Tolsa,
Alexander Volberg
Abstract:
In the present paper we sketch the proof of the fact that for any open connected set $Ω\subset\mathbb{R}^{n+1}$, $n\geq 1$, and any $E\subset \partial Ω$ with $0<\mathcal{H}^n(E)<\infty$, absolute continuity of the harmonic measure $ω$ with respect to the Hausdorff measure on $E$ implies that $ω|_E$ is rectifiable.
In the present paper we sketch the proof of the fact that for any open connected set $Ω\subset\mathbb{R}^{n+1}$, $n\geq 1$, and any $E\subset \partial Ω$ with $0<\mathcal{H}^n(E)<\infty$, absolute continuity of the harmonic measure $ω$ with respect to the Hausdorff measure on $E$ implies that $ω|_E$ is rectifiable.
△ Less
Submitted 22 September, 2015;
originally announced September 2015.
-
Rectifiability of harmonic measure
Authors:
Jonas Azzam,
Steve Hofmann,
José María Martell,
Svitlana Mayboroda,
Mihalis Mourgoglou,
Xavier Tolsa,
Alexander Volberg
Abstract:
In the present paper we prove that for any open connected set $Ω\subset\mathbb{R}^{n+1}$, $n\geq 1$, and any $E\subset \partial Ω$ with $\mathcal{H}^n(E)<\infty$, absolute continuity of the harmonic measure $ω$ with respect to the Hausdorff measure on $E$ implies that $ω|_E$ is rectifiable. This solves an open problem on harmonic measure which turns out to be an old conjecture even in the planar c…
▽ More
In the present paper we prove that for any open connected set $Ω\subset\mathbb{R}^{n+1}$, $n\geq 1$, and any $E\subset \partial Ω$ with $\mathcal{H}^n(E)<\infty$, absolute continuity of the harmonic measure $ω$ with respect to the Hausdorff measure on $E$ implies that $ω|_E$ is rectifiable. This solves an open problem on harmonic measure which turns out to be an old conjecture even in the planar case $n=1$.
△ Less
Submitted 9 December, 2015; v1 submitted 21 September, 2015;
originally announced September 2015.
-
Higher-order elliptic equations in non-smooth domains: history and recent results
Authors:
Ariel Barton,
Svitlana Mayboroda
Abstract:
Recent years have brought significant advances in the theory of higher order elliptic equations in non-smooth domains. Sharp pointwise estimates on derivatives of polyharmonic functions in arbitrary domains were established, followed by the higher order Wiener test. Certain boundary value problems for higher order operators with variable non-smooth coefficients were addressed, both in divergence f…
▽ More
Recent years have brought significant advances in the theory of higher order elliptic equations in non-smooth domains. Sharp pointwise estimates on derivatives of polyharmonic functions in arbitrary domains were established, followed by the higher order Wiener test. Certain boundary value problems for higher order operators with variable non-smooth coefficients were addressed, both in divergence form and in composition form, the latter being adapted to the context of Lipschitz domains. These developments brought new estimates on the fundamental solutions and the Green function, allowing for the lack of smoothness of the boundary or of the coefficients of the equation. Building on our earlier account of history of the subject, this survey presents the current state of the art, emphasizing the most recent results and emerging open problems.
△ Less
Submitted 20 August, 2015;
originally announced August 2015.
-
Square function estimates on layer potentials for higher-order elliptic equations
Authors:
Ariel Barton,
Steve Hofmann,
Svitlana Mayboroda
Abstract:
In this paper we establish square-function estimates on the double and single layer potentials for divergence-form elliptic operators, of arbitrary even order 2m, with variable t-independent coefficients in the upper half-space. This generalizes known results for variable-coefficient second-order operators, and also for constant-coefficient higher-order operators.
In this paper we establish square-function estimates on the double and single layer potentials for divergence-form elliptic operators, of arbitrary even order 2m, with variable t-independent coefficients in the upper half-space. This generalizes known results for variable-coefficient second-order operators, and also for constant-coefficient higher-order operators.
△ Less
Submitted 20 August, 2015;
originally announced August 2015.
-
Boundedness of the gradient of a solution and Wiener test of order one for the biharmonic equation
Authors:
Svitlana Mayboroda,
Vladimir Maz'ya
Abstract:
The behavior of solutions to the biharmonic equation is well-understood in smooth domains. In the past two decades substantial progress has also been made for the polyhedral domains and domains with Lipschitz boundaries. However, very little is known about higher order elliptic equations in the general setting.
In this paper we introduce new integral identities that allow to investigate the solu…
▽ More
The behavior of solutions to the biharmonic equation is well-understood in smooth domains. In the past two decades substantial progress has also been made for the polyhedral domains and domains with Lipschitz boundaries. However, very little is known about higher order elliptic equations in the general setting.
In this paper we introduce new integral identities that allow to investigate the solutions to the biharmonic equation in an arbitrary domain. We establish: (1) boundedness of the gradient of a solution in any three-dimensional domain; (2) pointwise estimates on the derivatives of the biharmonic Green function; (3) Wiener-type necessary and sufficient conditions for continuity of the gradient of a solution.
△ Less
Submitted 18 August, 2015;
originally announced August 2015.
-
Absolute continuity between the surface measure and harmonic measure implies rectifiability
Authors:
Steve Hofmann,
José Maria Martell,
Svitlana Mayboroda,
Xavier Tolsa,
Alexander Volberg
Abstract:
In the present paper we prove that for any open connected set $Ω\subset{\mathbb R}^{n+1}$, $n\geq 1$, and any $E\subset \partialΩ$ with $0<{\mathcal H}^n(E)<\infty$ absolute continuity of the harmonic measure $ω$ with respect to the Hausdorff measure on $E$ implies that $ω|_E$ is rectifiable.
In the present paper we prove that for any open connected set $Ω\subset{\mathbb R}^{n+1}$, $n\geq 1$, and any $E\subset \partialΩ$ with $0<{\mathcal H}^n(E)<\infty$ absolute continuity of the harmonic measure $ω$ with respect to the Hausdorff measure on $E$ implies that $ω|_E$ is rectifiable.
△ Less
Submitted 15 July, 2015;
originally announced July 2015.
-
Maximal Function Characterizations of Hardy Spaces Associated to Homogeneous Higher Order Elliptic Operators
Authors:
Jun Cao,
Svitlana Mayboroda,
Dachun Yang
Abstract:
Let $L$ be a homogeneous divergence form higher order elliptic operator with complex bounded measurable coefficients and $(p_-(L),\, p_+(L))$ be the maximal interval of exponents $q\in[1,\,\infty]$ such that the semigroup $\{e^{-tL}\}_{t>0}$ is bounded on $L^q(\mathbb{R}^n)$. In this article, the authors establish the non-tangential maximal function characterizations of the associated Hardy spaces…
▽ More
Let $L$ be a homogeneous divergence form higher order elliptic operator with complex bounded measurable coefficients and $(p_-(L),\, p_+(L))$ be the maximal interval of exponents $q\in[1,\,\infty]$ such that the semigroup $\{e^{-tL}\}_{t>0}$ is bounded on $L^q(\mathbb{R}^n)$. In this article, the authors establish the non-tangential maximal function characterizations of the associated Hardy spaces $H_L^p(\mathbb{R}^n)$ for all $p\in(0,\,p_+(L))$, which, when $p=1$, answers a question asked by Deng et al. in [J. Funct. Anal. 263 (2012), 604-674]. Moreover, the authors characterize $H_L^p(\mathbb{R}^n)$ via various versions of square functions and Lusin-area functions associated to the operator $L$.
△ Less
Submitted 21 April, 2015;
originally announced April 2015.
-
Polyharmonic capacity and Wiener test of higher order
Authors:
Svitlana Mayboroda,
Vladimir Maz'ya
Abstract:
In the present paper we establish the Wiener test for boundary regularity of the solutions to the polyharmonic operator. We introduce a new notion of polyharmonic capacity and demonstrate necessary and sufficient conditions on the capacity of the domain responsible for the regularity of a polyharmonic function near a boundary point.
In the case of the Laplacian the test for regularity of a bound…
▽ More
In the present paper we establish the Wiener test for boundary regularity of the solutions to the polyharmonic operator. We introduce a new notion of polyharmonic capacity and demonstrate necessary and sufficient conditions on the capacity of the domain responsible for the regularity of a polyharmonic function near a boundary point.
In the case of the Laplacian the test for regularity of a boundary point is the celebrated Wiener criterion of 1924. It was extended to the biharmonic case in dimension three by [Mayboroda, Maz'ya, Invent. Math. 2009]. As a preliminary stage of this work, in [Mayboroda, Maz'ya, Invent. Math. 2013] we demonstrated boundedness of the appropriate derivatives of solutions to the polyharmonic problem in arbitrary domains, accompanied by sharp estimates on the Green function. The present work pioneers a new version of capacity and establishes the Wiener test in the full generality of the polyharmonic equation of arbitrary order.
△ Less
Submitted 15 November, 2014;
originally announced November 2014.
-
Uniform Rectifiability, Carleson measure estimates, and approximation of harmonic functions
Authors:
Steve Hofmann,
Jose Maria Martell,
Svitlana Mayboroda
Abstract:
Let $E\subset \mathbb{R}^{n+1}$, $n\ge 2$, be a uniformly rectifiable set of dimension $n$. Then bounded harmonic functions in $Ω:= \mathbb{R}^{n+1}\setminus E$ satisfy Carleson measure estimates, and are "$\varepsilon$-approximable". Our results may be viewed as generalized versions of the classical F. and M. Riesz theorem, since the estimates that we prove are equivalent, in more topologically f…
▽ More
Let $E\subset \mathbb{R}^{n+1}$, $n\ge 2$, be a uniformly rectifiable set of dimension $n$. Then bounded harmonic functions in $Ω:= \mathbb{R}^{n+1}\setminus E$ satisfy Carleson measure estimates, and are "$\varepsilon$-approximable". Our results may be viewed as generalized versions of the classical F. and M. Riesz theorem, since the estimates that we prove are equivalent, in more topologically friendly settings, to quantitative mutual absolute continuity of harmonic measure, and surface measure.
△ Less
Submitted 6 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.