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.

On $e^*$-$θ$-$D$-sets and Related Topics

On e$θ$-regular and e$θ$-normal Spaces

On $e^*$-topological Rings

Ditkin sets for some functional spaces and applications to grand Lebesgue spaces

Separation axioms via novel operators in the frame of topological spaces and applications

$θ$-Lebesgue spaces

$-$open sets and $-$ continuity in topological spaces

On $a$-locally closed sets

On Soft ωδ-Open Sets and Some Decomposition Theorems

New types of nearly open sets in topological spaces and their applications

Characterizations of $e^\star$-open sets and nearby open sets on Infra topological spaces

On $θ$-Hurewicz and $α$-Hurewicz Topological spaces

C-open Sets on Topological Spaces

Intersections of sets, diophantine equations and Fourier analysis

Elliptic theory for sets with higher co-dimensional boundaries

Topologically indistinguishable relations and separation axioms

Nonempty interior of configuration sets via microlocal partition optimization

On the Topology $τ_R^{\diamond}$ of Primal Topological Spaces

A topology on E-theory

Operator Θ$\theta$‐hölder Functions with Respect to ∥·∥p$\vert \cdot \vert _p$, 0<p⩽∞$0< P\leqslant \Infty$

On the algebraic dual of D(Ω)