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.

Complete frequencies for Koenigs domains

Hölder Continuity of Lyapunov Exponent for Quasi-Periodic Jacobi Operators

Hardy Number of Koenigs Domains: Sharp Estimate

On the Hardy number of Koenigs domains

Königs maps and commutants of composition operators on the Hardy-Hilbert space of Dirichlet series

On the geometry of star domains and the spectra of Hodge-Laplace operators under domain approximation

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

BGD domains in p.c.f. self-similar sets I: boundary value problems for harmonic functions

Continuity of inner-outer factorization and cross sections from invariant subspaces to inner functions

On the discontinuities of Hausdorff dimension in generic dynamical Lagrange spectrum

Upper bounds on eigenvalue multiplicities for spheres and plane domains revisited

Analyticity of semigroups on the right half-plane

Domains of definition of Monge-Ampère operators on compact Kähler manifolds

A new characterization of $L^2$-domains of holomorphy with null thin complements via $L^2$-optimal conditions

Conditions for semi-boundedness and discreteness of the spectrum to Schrödinger operator and some nonlinear PDEs

Elliptic theory for sets with higher co-dimensional boundaries

The Duistermaat index and eigenvalue interlacing for self-adjoint extensions of a symmetric operator

Toeplitz operators on the Hardy space over the infinite-dimensional polydisc

On the spectrum of the hierarchical Laplacian

Weighted composition semigroups on spaces of continuous functions and their subspaces

Entire monogenic functions of given proximate order and continuous homomorphisms