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.

Delaunay type domains for an overdetermined elliptic problem in S^n x R and H^n x R

Some Dirichlet Problems Arising from Conformal Geometry

Overdetermined elliptic problems in nontrivial exterior domains of the hyperbolic space

Bifurcation domains from any high eigenvalue for an overdetermined elliptic problem

Solutions to overdetermined elliptic problems in nontrivial exterior domains

Overdetermined problems with sign-changing eigenfunctions in unbounded periodic domains

The Dirichlet problem for the minimal surface equation on unbounded helicoidal domains of $\mathbb{R}^{m}$

An overdetermined eigenvalue problem and the Critical Catenoid conjecture

Sign-changing solution for an overdetermined elliptic problem on unbounded domain

A Schiffer-type problem for annuli with applications to stationary planar Euler flows

Nonexistence of Courant-type nodal domain bounds for eigenfunctions of the Dirichlet-to-Neumann operator

Serrin's overdetermined problem in rough domains

A Serrin-type problem with partial knowledge of the domain

On Delaunay solutions of a biharmonic elliptic equation with critical exponent

Elliptic theory for sets with higher co-dimensional boundaries

An overdetermined Neumann Problem with a Nonlinearity

Extremal domains in $\mathbb{S}^2$: Geometric and Analytic methods

Exceptional domains in higher dimensions

Overdetermined problems for fully nonlinear equations with constant Dirichlet boundary conditions in space forms

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

Representing Infinite Periodic Hyperbolic Delaunay Triangulations Using Finitely Many Dirichlet Domains