2020/03/19 by David, Guy, Feneuil, Joseph, Mayboroda, Svitlana · 1 citation
#28A15 #28A25 #31B05 #31B25 #35J25 #35J70 #42B37 #Analysis of PDEs (math.AP) #FOS: Mathematics #Functional Analysis (math.FA)
paper · doi:10.48550/arxiv.2003.09037
Take an open domain Ω⊂ \mathbb Rn whose boundary may be composed of pieces of different dimensions. For instance, Ω can be a ball on \mathbb R3, minus one of its diameters D, or Ω⊂ \mathbb R3 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 ∂ Ω 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 R2+ when the boundary ∂ \mathbb R2+= \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 Rn+1+ to general open sets, and hence, an extension of the concept of fractional Laplacian to Ahlfors regular boundaries and beyond.