By the ordinary, differential mean value theorem, and the sub-mean-value property ong>forong> harmonicfunctions,∫|u(X Q 1 ) − u(XQ 2 )|2 ≤ Cl(Q) −d−1 (l(Q)|∇u(X)|) 2 dX= Cl(Q) −d+1 ∫˜ ˜T (Q b )˜ ˜T (Q b )|∇u(X)| 2 dX, (2.5)where the constant C depends on the “usual” parameters.By successively applying the estimate from the last inequality, inequality (2.2), the Harnackproperty ong>forong> G(X), and the bounded overlap property of the sets ˜T (Q˜b ), we obtain that∑ω(Qb )|u(X Q 1 ) − u(XQ 2 )|2 ≤ C ∑ Q∫≤ C∫≤ C∫G(Z Q )˜ ˜T (Q b )Ω˜ ˜T (Q b )|∇u(X)| 2 dXG(X) |∇u(X)| 2 dXG(X) |∇u(X)| 2 dX.But by Green’s Theorem and our normalizationon f—i.e., u(X 0 )= ∫ fdω= 0—the last quantity∂Ωis less than or equal to C ∫ ∂Ω |f|2 dω. Thereong>forong>e, modulo multiplication by a small positive constant,our family {φ (Q) } satisfies 1), 2), and 3) on the homogeneous space ∂Ω, with the Euclidean metricand measure ω.3. The weighted-norm theorem.Let’s briefly recap our situation. We have a bounded Lipschitz domain Ω, whose boundary canbe written as an overlapping union of (pieces of) graphs of Lipschitz functions ψ i (appropriatelyrotated, scaled, and translated). On each of these pieces we have a collection of dyadic boundarycubes that are near the origin. We can assume that we have enough pieces so that the union ofthese cubes covers all of ∂Ω. Let’s throw all of these cubes into a big family, which we will callG. For each one of these cubes Q b we can talk about ˆQ b , l(Q b ), and T (Q b ). It’s possible thatagivenQ b will have more than one definition of T (Q b )(orl(Q b ). This is okay. For a given Q b ,all of its possible values of l(Q b ) will be comparable (with comparability constants depending onour domain’s Lipschitz constant). There can be no more than C different T (Q b )’s, where C isthe number of pieces into which we have divided ∂Ω. Since we’re mainly interested in the size ofµ(T (Q b )), in our statement of Theorem 3.1 below, we can take µ(T (Q b )) to be the largest of thesenumbers.We can now state the precise ong>forong>m of Theorem 3.1, slightly rephrased from our original statementin the introduction:Theorem 3.1. Let Ω ⊂ R d+1 be a bounded Lipschitz domain, and let ω be harmonic measureon ∂Ω ong>forong> some fixed point X 0 ∈ Ω. Suppose that v ∈ L 1 (∂Ω,dω) is a non-negative function and22

By the ordinary, differential mean value theorem, and the sub-mean-value property ong>forong> harmonicfunctions,∫|u(X Q 1 ) − u(XQ 2 )|2 ≤ Cl(Q) −d−1 (l(Q)|∇u(X)|) 2 dX= Cl(Q) −d+1 ∫˜ ˜T (Q b )˜ ˜T (Q b )|∇u(X)| 2 dX, (2.5)where the constant C depends on the “usual” parameters.By successively applying the estimate from the last inequality, inequality (2.2), the Harnackproperty ong>forong> G(X), and the bounded overlap property of the sets ˜T (Q˜b ), we obtain that∑ω(Qb )|u(X Q 1 ) − u(XQ 2 )|2 ≤ C ∑ Q∫≤ C∫≤ C∫G(Z Q )˜ ˜T (Q b )Ω˜ ˜T (Q b )|∇u(X)| 2 dXG(X) |∇u(X)| 2 dXG(X) |∇u(X)| 2 dX.But by Green’s Theorem and our normalizationon f—i.e., u(X 0 )= ∫ fdω= 0—the last quantity∂Ωis less than or equal to C ∫ ∂Ω |f|2 dω. Thereong>forong>e, modulo multiplication by a small positive constant,our family {φ (Q) } satisfies 1), 2), and 3) on the homogeneous space ∂Ω, with the Euclidean metricand measure ω.3. The weighted-norm theorem.Let’s briefly recap our situation. We have a bounded Lipschitz domain Ω, whose boundary canbe written as an overlapping union of (pieces of) graphs of Lipschitz functions ψ i (appropriatelyrotated, scaled, and translated). On each of these pieces we have a collection of dyadic boundarycubes that are near the origin. We can assume that we have enough pieces so that the union ofthese cubes covers all of ∂Ω. Let’s throw all of these cubes into a big family, which we will callG. For each one of these cubes Q b we can talk about ˆQ b , l(Q b ), and T (Q b ). It’s possible thatagivenQ b will have more than one definition of T (Q b )(orl(Q b ). This is okay. For a given Q b ,all of its possible values of l(Q b ) will be comparable (with comparability constants depending onour domain’s Lipschitz constant). There can be no more than C different T (Q b )’s, where C isthe number of pieces into which we have divided ∂Ω. Since we’re mainly interested in the size ofµ(T (Q b )), in our statement of Theorem 3.1 below, we can take µ(T (Q b )) to be the largest of thesenumbers.We can now state the precise ong>forong>m of Theorem 3.1, slightly rephrased from our original statementin the introduction:Theorem 3.1. Let Ω ⊂ R d+1 be a bounded Lipschitz domain, and let ω be harmonic measureon ∂Ω ong>forong> some fixed point X 0 ∈ Ω. Suppose that v ∈ L 1 (∂Ω,dω) is a non-negative function and22

µ is a positive Borel measure on Ω. Define σ ≡ v 1−p′ , and suppose that σdω ∈ A ∞ (ω) on ∂Ω. If1