Svitlana Mayboroda

$L^p$ theory for the square roots and square functions of elliptic operators having a BMO anti-symmetric part

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

Carleson Perturbations for the Regularity Problem

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.

Non-local distance functions and geometric regularity

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.

Small $A_\infty$ results for Dahlberg-Kenig-Pipher operators in sets with uniformly rectifiable boundaries

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.

The Regularity problem in domains with lower dimensional boundaries

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

Wigner-Weyl description of light absorption in disordered semiconductor alloys using the localization landscape theory

The presence of disorder in semiconductors can dramatically change their physical properties. Yet, models faithfully accounting for it are still scarce and computationally inefficient. We present a mathematical and computational model able to simulate the optoelectronic response of semiconductor alloys of several tens of nanometer sidelength, while at the same time accounting for the quantum localization effects induced by the compositional disorder at the nano-scale. The model is based on a Wigner-Weyl analysis of the structure of electron and hole eigenstates in phase space made possible by the localization landscape theory. After validation against eigenstates-based computations in 1D and 2D, our model is applied to the computation of light absorption in 3D InGaN alloys of different compositions. We obtain the detailed structures of the absorption tail below the average bandgap and the Urbach energies of all simulated compositions. Moreover, the Wigner-Weyl formalism allows us to define and compute 3D maps of the effective locally absorbed power at all frequencies. Finally the proposed approach opens the way to generalize this method to all energy-exchange processes such as radiative and non-radiative recombination in realistic devices.

preprint2021arXiv

Green function estimates on complements of low-dimensional uniformly rectifiable sets

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.

preprint2021arXiv

Spectral functions and localization landscape theory in speckle potentials

Spectral function is a key tool for understanding the behavior of Bose-Einstein condensates of cold atoms in random potentials generated by a laser speckle. In this paper we introduce a new method for computing the spectral functions in disordered potentials. Using a combination of the Wigner-Weyl approach with the landscape theory, we build an approximation for the Wigner distributions of the eigenstates in the phase space and show its accuracy in all regimes, from the deep quantum regime to the intermediate and semiclassical. Based on this approximation, we devise a method to compute the spectral functions using only the landscape-based effective potential. The paper demonstrates the efficiency of the proposed approach for disordered potentials with various statistical properties without requiring any adjustable parameters.

preprint2021arXiv

The landscape law for tight binding Hamiltonians

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.

Carleson perturbations of elliptic operators on domains with low dimensional boundaries

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

Good elliptic operators on Cantor sets

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.

Square functions, non-tangential limits and harmonic measure in co-dimensions larger than one

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.

Uniform rectifiability and elliptic operators satisfying a Carleson measure condition

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.

Uniform rectifiability and elliptic operators satisfying a Carleson measure condition. Part I: The small constant case

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.

Uniform rectifiability and elliptic operators satisfying a Carleson measure condition. Part II: The large constant case

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.

preprint2018arXiv

Localization of eigenfunctions via an effective potential

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

Effective confining potential of quantum states in disordered media

The amplitude of localized quantum states in random or disordered media may exhibit long range exponential decay. We present here a theory that unveils the existence of an effective potential which finely governs the confinement of these states. In this picture, the boundaries of the localization subregions for low energy eigenfunctions correspond to the barriers of this effective potential, and the long range exponential decay characteristic of Anderson localization is explained as the consequence of multiple tunneling in the dense network of barriers created by this effective potential. Finally, we show that the Weyl's formula based on this potential turns out to be a remarkable approximation of the density of states for a large variety of one-dimensional systems, periodic or random.

Fundamental matrices and Green matrices for non-homogeneous elliptic systems

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.

Harmonic measure on sets of codimension larger than one

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.

One single static measurement predicts wave localization in complex structures

A recent theoretical breakthrough has brought a new tool, called \emph{localization landscape}, to predict the localization regions of vibration modes in complex or disordered systems. Here, we report on the first experiment which measures the localization landscape and demonstrates its predictive power. Holographic measurement of the static deformation under uniform load of a thin plate with complex geometry provides direct access to the landscape function. When put in vibration, this system shows modes precisely confined within the sub-regions delineated by the landscape function. Also the maxima of this function match the measured eigenfrequencies, while the minima of the valley network gives the frequencies at which modes become extended. This approach fully characterizes the low frequency spectrum of a complex structure from a single static measurement. It paves the way to the control and engineering of eigenmodes in any vibratory system, especially where a structural or microscopic description is not accessible.

Absolute continuity between the surface measure and harmonic measure implies rectifiability

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.

Boundedness of the gradient of a solution and Wiener test of order one for the biharmonic equation

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.

Higher-order elliptic equations in non-smooth domains: history and recent results

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.

Maximal Function Characterizations of Hardy Spaces Associated to Homogeneous Higher Order Elliptic Operators

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

Square function estimates on layer potentials for higher-order elliptic equations

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.

A free boundary problem for the localization of eigenfunctions

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.

Dual hidden landscapes in Anderson localization on discrete lattices

The localization subregions of stationary waves in continuous disordered media have been recently demonstrated to be governed by a hidden landscape that is the solution of a Dirichlet problem expressed with the wave operator. In this theory, the strength of Anderson localization confinement is determined by this landscape, and continuously decreases as the energy increases. However, this picture has to be changed in discrete lattices in which the eigenmodes close to the edge of the first Brillouin zone are as localized as the low energy ones. Here we show that in a 1D discrete lattice, the localization of low and high energy modes is governed by two different landscapes, the high energy landscape being the solution of a dual Dirichlet problem deduced from the low energy one using the symmetries of the Hamiltonian. We illustrate this feature using the one-dimensional tight-binding Hamiltonian with random on-site potentials as a prototype model. Moreover we show that, besides unveiling the subregions of Anderson localization, these dual landscapes also provide an accurate overal estimate of the localization length over the energy spectrum, especially in the weak disorder regime.

Polyharmonic capacity and Wiener test of higher order

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.

The Regularity problem for second order elliptic operators with complex-valued bounded measurable coefficients

The present paper establishes a certain duality between the Dirichlet and Regularity problems for elliptic operators with $t$ -independent complex bounded measurable coefficients ( $t$ being the transversal direction to the boundary). To be precise, we show that the Dirichlet boundary value problem is solvable in $L^{p'}$ , subject to the square function and non-tangential maximal function estimates, if and only if the corresponding Regularity problem is solvable in $L^p$ . Moreover, the solutions admit layer potential representations. In particular, we prove that for any elliptic operator with $t$ -independent real (possibly non-symmetric) coefficients there exists a $p>1$ such that the Regularity problem is well-posed in $L^p$ .