Optimal doubling, Reifenberg flatness and operators of pp-Laplace type

In this paper, we consider equations of pp-Laplace type of the form ∇⋅A(x,∇u)=0∇⋅A(x,∇u)=0. Concerning AA we assume, for p∈(1,∞)p∈(1,∞) fixed, an appropriate ellipticity type condition, Hölder continuity in xx and that A(x,η)=|η|p−1A(x,η/|η|)A(x,η)=|η|p−1A(x,η/|η|) whenever x∈Rnx∈Rn and η∈Rn∖{0}η∈Rn∖{0}. Let Ω⊂RnΩ⊂Rn be a bounded domain, let DD be a compact subset of ΩΩ. We say that View the MathML sourceuˆ=uˆp,D,Ω is the AA-capacitary function for DD in ΩΩ if View the MathML sourceuˆ≡1 on DD, View the MathML sourceuˆ≡0 on ∂Ω∂Ω in the sense of View the MathML sourceW01,p(Ω) and View the MathML source∇⋅A(x,∇uˆ)=0 in Ω∖DΩ∖D in the weak sense. We extend View the MathML sourceuˆ to Rn∖ΩRn∖Ω by putting View the MathML sourceuˆ≡0 on Rn∖ΩRn∖Ω. Then there exists a unique finite positive Borel measure View the MathML sourceμˆ on RnRn, with support in ∂Ω∂Ω, such that View the MathML source∫〈A(x,∇uˆ),∇ϕ〉dx=−∫ϕdμˆwhenever ϕ∈C0∞(Rn∖D). Turn MathJax on In this paper, we prove that if ΩΩ is Reifenberg flat with vanishing constant, then View the MathML sourcelimr→0infw∈∂Ωμˆ(B(w,τr))μˆ(B(w,r))=limr→0supw∈∂Ωμˆ(B(w,τr))μˆ(B(w,r))=τn−1, Turn MathJax on for every ττ, 0<τ≤10<τ≤1. In particular, we prove that View the MathML sourceμˆ is an asymptotically optimal doubling measure on ∂Ω∂Ω.