Elliptic theory in domains with boundaries of mixed dimension

DOI10.24033/AST.1201MaRDI QIDQ6166918zbMATH OpenFDO

Authors Guy David, Joseph Feneuil, Svitlana Mayboroda

Publication date 3 August 2023

Published in Astérisque (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.09037

zbMATH Keywords

1-sided NTA domainscomparison principleDe Giorgi-Nash-Moser estimatesdegenerate elliptic operatorsextension theoremsGreen functionharmonic measurehomogeneous weighted Sobolev spacestrace theorems

Mathematics Subject Classification ID

Abstract differentiation theory, differentiation of set functions (28A15) Integration with respect to measures and other set functions (28A25) Harmonic, subharmonic, superharmonic functions in higher dimensions (31B05) Boundary behavior of harmonic functions in higher dimensions (31B25) Research exposition (monographs, survey articles) pertaining to partial differential equations (35-02) Boundary value problems for second-order elliptic equations (35J25) Degenerate elliptic equations (35J70) Harmonic analysis and PDEs (42B37)

Abstract: Take an open domain $Omegasubsetmathbb{R}^n$ whose boundary may be composed of pieces of different dimensions. For instance, $Omega$ can be a ball on $mathbb{R}^3$, minus one of its diameters $D$, or $Omegasubsetmathbb{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 $Omega$ and $partialOmega$ 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'e and Harnack inequalities, maximum principle, and H"older 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 $Omega$ and on the boundary, solve the Dirichlet problem and thus construct an elliptic measure $omeg{a}_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 $partialmathbb{R}_{+}^2=mathbbR$ is equipped with a doubling measure $mu$ singular with respect to the Lebesgue measure on $mathbbR$. 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.

Cited in

(8)

• Approximation of Green functions and domains with uniformly rectifiable boundaries of all dimensions
• Cantor sets with absolutely continuous harmonic measure
• Carleson perturbations for the regularity problem
• Absolute continuity of degenerate elliptic measure
• An alternative proof of the solvability of the \(L^p\)-regularity problem for Dahlberg-Kenig-Pipher operators on \(\mathbb{R}^n_+\)
• Carleson perturbations of locally Lipschitz elliptic operators
• Singular set estimates for solutions to elliptic equations in higher codimension
• Equivalent characterizations and their applications of solvability of L^p Poisson-Robin(-regularity) problems on rough domains

This page was built for publication: Elliptic theory in domains with boundaries of mixed dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166918)