ELLIPTIC THEORY IN DOMAINS WITH BOUNDARIES OF MIXED DIMENSION

Take an open domain Ω ⊂ ℝⁿ whose boundary may be composed of pieces of different dimensions. For instance, Ω can be a ball on ℝ³, minus one of its diameters D, or a so-called saw-tooth domain, with a boundary consisting of pieces of 1-dimensional curves intercepted by 2-dimensional spheres. It could also be a domain with a fractal (or partially fractal) boundary. Under appropriate geometric assumptions, essentially the existence of doubling measures on Ω and ∂Ω with appropriate size conditions—we construct a class of second order 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. We construct Green functions and use them to prove a comparison principle and the doubling property for ω_L. Since our theory emphasizes measures, rather than the geometry per se, the results are new even in the classical setting of a half-plane ℝ²₊ when the boundary ∂ℝ²₊ = ℝ is equipped with a doubling measure µ singular with respect to the Lebesgue measure on ℝ. Finally, the present paper provides a generalization of the celebrated Caffarelli-Sylvestre extension operator from its classical setting of ℝⁿ₊⁺¹ to general open sets, and hence, an extension of the concept of fractional Laplacian to Ahlfors regular boundaries and beyond.