# Dahlberg's theorem in higher co-dimension

## TL;DR

This paper extends Dahlberg's theorem to higher co-dimension Lipschitz graphs, establishing conditions under which harmonic measure is absolutely continuous with respect to Hausdorff measure.

## Contribution

It proves the first higher co-dimension analogue of Dahlberg's theorem, constructing a suitable elliptic operator with harmonic measure absolutely continuous to Hausdorff measure.

## Key findings

- Harmonic measure is absolutely continuous with respect to Hausdorff measure on certain Lipschitz graphs in higher co-dimension.
- Constructed a linear degenerate elliptic operator ensuring this absolute continuity.
- Provided sufficient coefficient conditions for mutual absolute continuity.

## Abstract

In 1977 the celebrated theorem of B. Dahlberg established that the harmonic measure is absolutely continuous with respect to the Hausdorff measure on a Lipschitz graph of dimension $n-1$ in $\mathbb R^n$, and later this result has been extended to more general non-tangentially accessible domains and beyond. In the present paper we prove the first analogue of Dahlberg's theorem in higher co-dimension, on a Lipschitz graph $\Gamma$ of dimension $d$ in $\mathbb R^n$, $d<n-1$, with a small Lipschitz constant. We construct a linear degenerate elliptic operator $L$ such that the corresponding harmonic measure $\omega_L$ is absolutely continuous with respect to the Hausdorff measure on $\Gamma$. More generally, we provide sufficient conditions on the matrix of coefficients of $L$ which guarantee the mutual absolute continuity of $\omega_L$ and the Hausdorff measure.