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 equations for invariant measures on Riemannian manifolds: existence and regularity of solutions

Elliptic equations for invariant measures on finite and infinite dimensional manifolds

Elliptic Equations Associated With Invariant Measures Of Diffusions On Finite- And Infinite-Dimensional Manifolds

Invariance Implies Gibbsian: Some New Results

Interior regularity for degenerate elliptic equations with drift on homogeneous groups

Regularity of stable solutions to quasilinear elliptic equations on Riemannian models

Invariant Measures Of Stochastic Gradient Systems In Riemannian Manifolds And Gibbs Measures

Intrinsic ultracontractivity on Riemannian manifolds with infinite volume measures

Rectifiability and tangents in a rough Riemannian setting

Nonlocal Elliptic Equations Involving Measures

Eigenvalues of Elliptic Operators and Geometric Applications

A practical global existence and uniqueness result for stochastic differential equations on Riemannian manifolds of bounded geometry

Infinitesimal Invariance of Completely Random Measures for 2D Euler Equations

Singular Ground-States Of Semilinear Elliptic-Equations Via Invariant Manifold Theory

On ergodic invariant measures for the stochastic Landau-Lifschitz-Gilbert equation in 1D

On the infinite dimension limit of invariant measures and solutions of Zeitlin's 2D Euler equations

Elliptic theory for sets with higher co-dimensional boundaries

A Quasi-Linear Elliptic Equation with Critical Growth on Compact Riemannian Manifold Without Boundary

Differential equations defined by Kre\uın-Feller operators on Riemannian manifolds

Krein-Feller operators on Riemannian manifolds and a compact embedding theorem

Ergodic Properties of Invariant Measures for C^1+α Nonuniformly Hyperbolic Systems