Fat sets and pointwise boundary estimates forp-harmonic functions in metric spaces

Abstract

We extend a result of John Lewis [L] by showing that if a doubling metric measure space supports a (1,q0)-Poincare inequality for some 1<q0<p, then every uniformlyp-fat set is uniformlyq-fat for someq<p. This bootstrap result implies the Hardy inequality for Newtonian functions with zero boundary values for domains whose complements are uniformly fat. While proving this result, we also characterize positive Radon measures in the dual of the Newtonian space using the Wolff potential and obtain an estimate for the oscillation ofp-harmonic functions andp-energy minimizers near a boundary point.