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.

Simplicity of Lyapunov spectra and boundaries of non-conical strictly convex divisible sets

PROPERTIES OF LYAPUNOV EXPONENTS FOR QUASIPERODIC COCYCLES WITH SINGULARITIES

Elliptic theory for sets with higher co-dimensional boundaries

Generating Probability Distributions on Intervals and Spheres: Convex Decomposition

On partially segregated harmonic maps: optimal regularity and structure of the free boundary

Length orthospectrum of convex bodies on flat tori

Non-uniformly hyperbolic endomorphisms

Restricted spaces of holomorphic sections vanishing along subvarieties

Discreteness of spectrum for the $\overline\partial$-Neumann Laplacian on manifolds of bounded geometry

Absolute continuity of degenerate elliptic measure

$β$-Uniform Convexity and Divisible Domains

Equidistribution of lattice orbits in the space of homothety classes of rank $2$ sublattices in $\mathbb R^3$

Uniform resonance free regions for convex cocompact hyperbolic surfaces and expanders

Free boundary regularity for a spectral optimal partition problem with volume and inclusion constraints

On convexity and weak closeness for the set of Φ-superharmonic functions

Lyapunov Spectrum Properties and Continuity of the Lower Joint Spectral Radius

Regularity with Respect to the Parameter of Lyapunov Exponents for Diffeomorphisms with Dominated Splitting

Hearing pseudoconvexity in Lipschitz domains with holes via $\overline\partial$

Convexity of complements of limit sets for holomorphic foliations on surfaces

Regularity of sets of finite fractional perimeter and nonlocal minimal surfaces in metric measure spaces

Symplectic capacities of domains close to the ball and Banach-Mazur geodesics in the space of contact forms