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.

Geometric lower bounds for the spectrum of elliptic PDEs with Dirichlet conditions in part

Lower Bounds for Generalized Eigenvalues of the Quasilinear Systems

Comparable upper and lower bounds for boundary values of Neumann eigenfunctions and tight inclusion of eigenvalues

A lower bound on the spectral gap of Schrödinger operators with weak potentials of compact support

Lower bounds on the fundamental spectral gap with Robin boundary conditions

Gradient bounds for p-harmonic systems with vanishing neumann data in a convex domain

The gaps in the spectrum of the Schrödinger operator

Elliptic theory for sets with higher co-dimensional boundaries

A lower bound on the spectral gap of one-dimensional Schrödinger operators

Spectral inequality and resolvent estimate for the bi-Laplace operator

Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure

Guaranteed Lower Bounds for Eigenvalues of Elliptic Operators

Boundary value problems and Hardy spaces for elliptic systems with block structure

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

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

Boundary Conditions Matter: On The Spectrum Of Infinite Quantum Graphs

On the Cheeger inequality in Carnot-Carathéodory spaces

The spectrum of the Hilbert space valued second derivative with general self-adjoint boundary conditions

Geometrically induced spectral effects in tubes with a mixed Dirichlet-Neumann boundary

Lower bound for solutions to the secular equation in a direct sum of the Sobolev spaces of divided regions

Boundary spectral estimates for semiclassical Gevrey operators