On the dimension of p-harmonic measure in space

Let Omega subset of R-n, n >= 3, and let p, 1 < p < infinity, p not equal D 2, be given. In this paper we study the dimension of p-harmonic measures that arise from nonnegative solutions to the p-Laplace equation, vanishing on a portion of partial derivative Omega, in the setting of delta-Reifenberg flat domains. We prove, for p >= n, that there exists (delta) over tilde = (delta) over tilde (p, n) > 0 small such that if Omega is a delta-Reifenberg flat domain with delta < <(delta)over tilde>, then p-harmonic measure is concentrated on a set of sigma-finite Hn-1-measure. We prove, for p >= n, that for sufficiently flat Wolff snowflakes the Hausdorff dimension of p-harmonic measure is always less than n - 1. We also prove that if 2 < p < n, then there exist Wolff snowflakes such that the Hausdorff dimension of p-harmonic measure is less than n - 1, while if 1 < p < 2, then there exist Wolff snowflakes such that the Hausdorff dimension of p-harmonic measure is larger than n - 1. Furthermore, perturbing off the case p = 2; we derive estimates for the Hausdorff dimension of p-harmonic measure when p is near 2.