arXiv subjects

Svitlana Mayboroda

Publications and source records attributed to Svitlana Mayboroda.

At least 37 records · Page 2Linked to original sources

arXiv2023

Critical Perturbations for Second Order Elliptic Operators. Part II: Non-tangential maximal function estimates

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

math.AP↗

arXiv2023

Critical Perturbations for Second Order Elliptic Operators. Part I: Square function bounds for layer potentials

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.

math.AP↗

arXiv2022

Green functions and smooth distances

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.

math.AP↗

arXiv2022

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.

math.CA↗

arXiv2022

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.

math.AP↗

arXiv2022

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

math.AP↗

arXiv2022

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.

math.AP↗

arXiv2022

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.

cond-mat.dis-nn↗

arXiv2022

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

math.AP↗

arXiv2021

Carleson measure estimates for the Green function

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.

math.AP↗

arXiv2021

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.

quant-ph↗

arXiv2021

Sharp estimates for the integrated density of states in Anderson tight-binding models

Recent work [G. David, M. Filoche, and S. Mayboroda, arXiv:1909.10558[Adv. Math. (to be published)]] has proved the existence of bounds from above and below for the Integrated Density of States (IDOS) of the Schrödinger operator throughout the spectrum, called the landscape law. These bounds involve dimensional constants whose optimal values are yet to be determined. Here, we investigate the accuracy of the landscape law in 1D and 2D tight-binding Anderson models, with binary or uniform random distributions. We show, in particular, that in 1D, the IDOS can be approximated with high accuracy through a single formula involving a remarkably simple multiplicative energy shift. In 2D, the same idea applies but the prefactor has to be changed between the bottom and top parts of the spectrum.

math-ph↗

arXiv2021

Carleson estimates for the Green function on domains with lower dimensional boundaries

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.

math.AP↗

arXiv2021

The Dirichlet problem for elliptic operators having a BMO anti-symmetric part

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.

math.AP↗

arXiv2021

On a Novel Effective Equation of the Reduced Hartree-Fock Theory

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.

math.AP↗

arXiv2021

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.

math-ph↗

arXiv2021

The landscape law for the integrated density of states

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

math.AP↗

arXiv2021

The effective potential of an $M$-matrix

In the presence of a confining potential $V$, the eigenfunctions of a continuous Schrödinger operator $-Δ+V$ decay exponentially with the rate governed by the part of $V$ which is above the corresponding eigenvalue; this can be quantified by a method of Agmon. Analogous localization properties can also be established for the eigenvectors of a discrete Schrödinger matrix. This note shows, perhaps surprisingly, that one can replace a discrete Schrödinger matrix by \emph{any} real symmetric $Z$-matrix and still obtain eigenvector localization estimates. In the case of a real symmetric non-singular $M$-matrix $A$ (which is a situation that arises in several contexts, including random matrix theory and statistical physics), the \emph{landscape function} $u = A^{-1} 1$ plays the role of an effective potential of localization. Starting from this potential, one can create an Agmon-type distance function governing the exponential decay of the eigenfunctions away from the "wells" of the potential, a typical eigenfunction being localized to a single such well.

math-ph↗