Abstract:Many geometric and analytic properties of sets hinge on the properties of harmonic measure, notoriously missing for sets of higher co-dimension. The aim of this manuscript is to develop a version of elliptic theory, associated to a linear PDE, which ultimately yields a notion analogous to that of the harmonic measure, for sets of codimension higher than 1. To this end, we turn to degenerate elliptic equations. Let $\Gamma \subset \mathbb R^n$ be an Ahlfors regular set of dimension $d<n-1$ (not necessarily integer) and $\Omega = \mathbb R^n \setminus \Gamma$. Let $L = - {\rm div} A\nabla$ be a degenerate elliptic operator with measurable coefficients such that the ellipticity constants of the matrix $A$ are bounded from above and below by a multiple of ${\rm dist}(\cdot, \Gamma)^{d+1-n}$. We define weak solutions; prove trace and extension theorems in suitable weighted Sobolev spaces; establish the maximum principle, De Giorgi-Nash-Moser estimates, the Harnack inequality, the Hölder continuity of solutions (inside and at the boundary). We define the Green function and provide the basic set of pointwise and/or $L^p$ estimates for the Green function and for its gradient. With this at hand, we define harmonic measure associated to $L$, establish its doubling property, non-degeneracy, change-of-the-pole formulas, and, finally, the comparison principle for local solutions. In another article to appear, we will prove that when $\Gamma$ is the graph of a Lipschitz function with small Lipschitz constant, we can find an elliptic operator $L$ for which the harmonic measure given here is absolutely continuous with respect to the $d$-Hausdorff measure on $\Gamma$ and vice versa. It thus extends Dahlberg's theorem to some sets of codimension higher than 1.

Elliptic theory of differential edge operators, II: boundary value problems

First-order elliptic boundary value problems on manifolds with non-compact boundary

Boundary value problems for general first-order elliptic differential operators

Boundary value problems and Hardy spaces for elliptic systems with block structure

Boundary value problems for 0-elliptic operators

Elliptic fourth-order operators with Wentzell boundary conditions on Lipschitz domains

Elliptic operators in rough sets, and the Dirichlet problem with boundary data in Hölder spaces

Regular elliptic boundary-value problems in the extended Sobolev scale

Critical Perturbations for Second Order Elliptic Operators—Part II: Non-tangential Maximal Function Estimates

Elliptic theory for sets with higher co-dimensional boundaries

The spectrum of the Hilbert space valued second derivative with general self-adjoint boundary conditions

On second-order and fourth-order elliptic systems consisting of bulk and surface PDEs: Well-posedness, regularity theory and eigenvalue problems

Boundary pairs associated with quadratic forms

Elliptic regularity estimates with optimized constants and applications

Differential operators in exterior domain and application

Elliptic operators and boundary problems in spaces of generalized smoothness

A class of nonlinear elliptic boundary value problems

On Two Useful Identities in the Theory of Ellipsoidal Harmonics

Eigenvalue Inequalities for Fully Nonlinear Elliptic Equations via the Alexandroff-Bekelman-Pucci Method

Elliptic Pre-Complexes, Hodge-like Decompositions and Overdetermined Boundary-Value Problems

Subelliptic pseudo-differential operators and Fourier integral operators on compact Lie groups