On the Hausdorff dimension of harmonic measure in higher dimension (Q1821233)

According to \textit{B. Øksendal} [Pac. J. Math. 95, 179-192 (1981; Zbl 0493.31001)] the harmonic measure in \(R^ d\) is always singular with respect to d-dimensional Lebesgue measure. The present paper improves this result as follows: Let E denote a compact set in \(R^ d\) and \(\omega(\Lambda,A,x)\) the harmonic measure for \(\Lambda =R^ d\setminus E\) of the set A, evaluated at \(x\in R^ d\). Øksendal's theorem is then that \(\omega_ E=\omega (\Lambda,.,x)\) is singular with respect to d-dimensional Lebesgue measure. The result proved here is that the support of \(\omega_ E\) has dimension at most \(d-\tau(d)\) where \(\tau (d)>0\) is a constant depending only upon d.