Quasiadditivity of Variational Capacity

We study the quasiadditivity property (a version of superadditivity with a multiplicative constant) of variational capacity in metric spaces with respect to Whitney type covers. We characterize this property in terms of a Mazya type capacity condition, and also explore the close relation between quasiadditivity and Hardy’s inequality.

It can be seen that E → cap p (E, ) is an outer measure on subsets of . In particular, capacity is countably sub-additive: if E k ⊂ , k ∈ I ⊂ N, then Unlike for Borel regular measures, the equality in Eq. 1 does not (usually) hold even for nice, well-separated sets. Indeed, the only sets that are measurable with respect to cap p -outer measure are sets of zero capacity and their complements, see for example [29,Theorem 4.8] or [10,Theorem 2]. Nevertheless, in some cases a converse to Eq. 1, with a multiplicative constant, can be shown to hold for certain unions of sets; this is called the quasiadditivity property of capacity. More precisely, we say that the p-capacity relative to an open set is quasiadditive with respect to a given cover (or a decomposition) W of if there is a constant A > 0 such that for all E ⊂ . The quasiadditivity property, for the linear case p = 2, was first considered by Landkof [21,Lemma 5.5] (without the name) and Adams [1] for Riesz (and Bessel) capacities with respect to annular decompositions of R n \ {0}. Aikawa generalized these results in [2], where he showed that if the complement R n \ has a sufficiently small dimension (formulated in terms of a local version of packing condition), then the Riesz capacity of R n is quasiadditive with respect to Whitney decompositions of . On the other hand, in [3] Aikawa considered the Green capacity, which is obtained via the Green energy and is equivalent to the variational capacity, and demonstrated that if R n \ is uniformly regular (or, equivalently, uniformly 2-fat), then the Green capacity is quasiadditive with respect to Whitney decompositions of . Note that in this case, conversely to the result of [2], the complement R n \ has a large dimension. A good survey of these topics in the Euclidean setting can be found in [5, Section 7 of Part II]. See also [5, Section 16 of Part I] and [4] for related results for nonlinear ( p = 2) setting for which decompositions other than the Whitney decomposition are used.
The aim of this note is to study the quasiadditivity problem for the relative p-capacity with respect to Whitney type covers in the setting of complete metric measure spaces satisfying the standard structural assumptions (see Sections 2.1 and 2.2). Nevertheless, most of our results are new for p = 2 (and for p = 2, obtained via new methods) even in Euclidean spaces. Part of our motivation stems from a need to clarify the relation between quasiadditivity and the validity of Hardy's inequality |u(x)| p dist(x, X \ ) p dμ ≤ C g p u dμ (2) for all Sobolev-type functions u vanishing in X \ ; see Section 2.2 for a precise definition of such functions. Glimpses of a connection between these concepts (and the related dimension bound of Aikawa from [2]) have appeared e.g. in [3,5,20,22,24,31], but now our main result, Theorem 1, provides a simple equivalence between quasiadditivity and Hardy's inequalities via a Mazya type characterization. Consequently, Theorem 1 also links the quasiadditivity property to the geometry of the boundary (or the complement) of the open set .
The organization of this note is as follows. In Section 2 we recall some of the necessary background material: The basic assumptions and the notions of (co)dimension for metric spaces, Sobolev type spaces and the related capacities, and Whitney covers (substitutes of the classical Whitney decompositions for our more general spaces). Since our proofs are largely based on potential-theoretic (rather than PDE-based) tools, an overview of these is given at the end of Section 2; of a particular importance for us is the weak Harnack inequality for superminimizers. Section 3 contains our main characterizations of quasiadditivity, including the aforementioned connection with Hardy's inequalities. A concrete outcome of these considerations is that the uniform p-fatness of X \ guarantees the quasiadditivity for the relative p-capacity in for 1 < p < ∞.
Aikawa's dimension bound dim A (R n \ ) < n − p from [2] translates to more general metric spaces as co-dim A (X \ ) > p. We show in Section 4 that this bound, together with an additional discrete John type condition, is sufficient for the relative p-capacity to be quasiadditive with respect to Whitney covers of . Finally, in Section 5 we explain how the results involving a large complement (uniform pfatness) or a small complement (Aikawa's condition) can be combined, allowing us to deal with more general open sets whose complements consist of parts of different sizes.
For the notation we remark that C will denote positive constants whose value is not necessarily the same at each occurrence. If there exist constants c 1 , c 2 > 0 such that c 1 F ≤ G ≤ c 2 F, we sometimes write F ≈ G and say that F and G are comparable.

Doubling Metric Spaces
We assume throughout this note that X = (X, d, μ) is a complete metric measure space, where μ is a Borel measure supported on X, with 0 < μ(B) < ∞ whenever B = B(x, r) is an open ball in X, and that μ is doubling, that is, there is a constant C > 0 such that whenever x ∈ X and r > 0, we have We make the tacit assumption that each ball B ⊂ X has a fixed center x B and radius rad(B), and thus notation such as λB = B(x B , λ rad(B)) is well-defined for all λ > 0.
If μ is a doubling measure, then by iterating the doubling condition we find constants Q > 0 and C > 0 such that . Furthermore, if X is connected (this is guaranteed in our setting by the below-mentioned Poincaré inequalities), then there exists a constants Q u > 0 and C > 0 such that for all 0 < r < R < diam X and y ∈ B(x, R), In general, 1 ≤ Q u ≤ Q. However, if we have uniform upper and lower bounds for the measures of the balls, i.e.
for every x ∈ X and all 0 < r < diam(X), we say that the measure μ (and also the space X) is (Ahlfors) Q-regular. When working with a (non-regular) doubling measure μ, it is often convenient to describe the sizes of sets in terms of codimensions (instead of dimensions). For instance, the Hausdorf f codimension of E ⊂ X (with respect to μ) is the number Another notion of codimension that will be useful for us is the Aikawa codimension: For E ⊂ X we define co-dim A (E) as the supremum of all q ≥ 0 for which there exists a constant C q such that for every x ∈ E and all 0 < r < diam(E). Here we interpret the integral to be +∞ if q > 0 and E has positive measure. It is not hard to see that co-dim A (E) ≤ co-dim H (E) for all E ⊂ X (cf. [24]). If μ is Ahlfors Q-regular, then we could define the Aikawa dimension of a set E ⊂ X to be the number dim A (E) = Q − co-dim A (E). Nevertheless, it was shown in [24] that for subsets of Ahlfors regular metric measure spaces this concept is actually equal to the Assouad dimension of the subset; see [25] for more information on the Assouad dimension.

Sobolev-type Function Spaces in the Metric Setting
There are many analogs of Sobolev-type function spaces in the metric setting. The one considered in this note is based on the notion of upper gradients, generalizing the fundamental theorem of calculus. Given a measurable function f : X → [−∞, ∞], we say that a Borel measurable non-negative function g on X is an upper gradient of f if whenever γ is a compact rectifiable curve in X, we have Here x and y denote the two endpoints of γ , and the above condition should be interpreted as claiming that γ g ds = ∞ whenever at least one of | f (x)|, | f (y)| is infinite. See [12] and [6] for a good discussion on the notion of upper gradients.
Using upper gradients as a substitute for modulus of the weak derivative, we define the norm where the infimum is taken over all upper gradients g of f . The Newtonian space where the equivalence ∼ is given by u ∼ v if and only if u − v N 1, p (X) = 0 (see [27] or [6] for more on this function space).
In addition to the doubling property, we will also assume throughout that the space X supports a (1, p)-Poincaré inequality, that is, there exist constants C > 0 and λ ≥ 1 such that whenever B = B(x, r) ⊂ X and g is an upper gradient of a measurable function f , we have Different notions of capacity are of fundamental importance in many questions related to the behavior of the functions belonging to a certain class. Given a set E ⊂ X, the total p-capacity of E, denoted Cap p (E), is the infimum of u p N 1, p (X) over all functions u such that u ≥ 1 on E. Just as sets of measure zero play the role of indeterminacy in the theory of Lebesgue spaces L p (X), sets of total p-capacity zero play the corresponding role in the theory of Sobolev type spaces; see [6] or [27] for details. We say that a property holds ( p-)quasieverywhere ( p-q.e.) if the exceptional set is of zero total capacity.
When the examinations are taking place in an open set ⊂ X, then a more appropriate version of capacity is the relative p-capacity. For a measurable set E ⊂ this is defined as the number where the infimum is taken over all u ∈ N 1, p (X) with u = 0 on X \ , u = 1 on E, 0 ≤ u ≤ 1, and over all upper gradients g u of u. A function u satisfying the above conditions is called a capacity test function for E. Should no such function u exist, we set cap p (E, ) = ∞. When the variational capacity is taken with respect to = X, it may be the case that cap p (E, X) = 0 for all bounded E ⊂ X; this is certainly true if X is bounded. If X is unbounded and still cap p (E, X) = 0 for all bounded E ⊂ X, then X is called p-parabolic, but if cap p (E, X) > 0 for some bounded E ⊂ X, then X is p-hyperbolic. These notions will be relevant in the considerations of Section 4. See [13] and [14] for more on parabolic and hyperbolic spaces. Notice in particular that if X is bounded or p-parabolic and ⊂ X is such that Cap p (X \ ) = 0, then cap p (E, ) = 0 for every E ⊂ .
Besides measuring small (exceptional) sets, the relative capacity can also be used to give conditions for the largeness of sets. For instance, a closed set E ⊂ X is said to be uniformly p-fat if there exists a constant C > 0 such that for all balls B centered at E. Note that here cap p (B, 2B) is actually comparable with rad(B) − p μ(B) for all balls B of radius less than diam(X)/8. See [6,Chapter 6] for this and other basic properties of the total and the variational capacity on metric spaces. We remark that the uniform p-fatness can also be characterized using uniform density conditions for Hausdorff contents; see e.g. [18].
Recall that we say the variational p-capacity cap p (·, ) to be quasiadditive with respect to a decomposition or a cover W of if there exists a constant A > 0 such that for every E ⊂ . In the next subsection we discuss the one particular family of covers we are concerned with.

Whitney Covers
Let ⊂ X be an open set. We often write Such a cover can always be constructed by considering maximal packings (or, alternatively, '5r'-covers) of the sets {x ∈ : 2 −k−1 ≤ d (x) < 2 −k }, k ∈ Z, with the balls of the above type. In pathological situations we allow B i = ∅ for some i, if necessary.
In our proofs, we need to be able to dilate the Whitney balls without having too much overlap; the existence of such a cover is established in the next (elementary) lemma. For a proof, see e.g. [7] (Theorem 3.1 together with Lemma 3.4).

Then the balls LB i have a uniformly bounded overlap.
In the proof of our main characterization of the quasiadditivity, we will need for Whitney balls B ∈ W c ( ) the estimate where c 1 , c 2 may depend on W c ( ) but not on the particular B ∈ W c ( ). The upper bound in Eq. 4 is always true in our setting, and can be proved almost immediately by using only the doubling condition and the test function The lower bound is a bit more involved, and can in fact fail in some spaces satisfying our basic assumptions. Thus, in the cases where we need the lower bound, we will need to have some extra assumptions on or X, e.g. those given in Lemma 1 below. However, we stress that the lower bound in Eq. 4 is only needed in the proof of Lemma 2, which on the other hand is only used to prove certain implications of the Main Theorem 1, and then once again in the considerations of Section 5, and thus these are the only instances where such additional assumptions are needed. One important case where the lower bound in Eq. 4 is valid is when X \ is uniformly p-fat; the bound then follows easily (e.g.) from the p-Hardy inequality (Eq. 2) for capacity test functions of B ∈ W c ( ). In this case we only need the standing assumptions that μ is doubling and X supports a (1, p)-Poincaré inequality.
If we want to weaken the assumption on X \ , we need to assume more on μ and p. In the following lemma we chose the condition that X is unbounded (in which case we have μ(X) = ∞). However, if X happens to be bounded, then we could impose a further condition on instead, such as diam( ) < 2 diam(X), in which case the constants depend on γ = μ( )/μ(X) < 1. The proof in this case is similar to the one below. Recall here that Q u is the exponent from the upper mass bound of Eq. 3.
for all Whitney balls B ∈ W c ( ).
Proof Let u ∈ N 1, p ( ) be a capacity test function for B = B(x, r) ∈ W c ( ), and let g ∈ L p ( ) be an upper gradient of u. For positive integers j let B j = 2 j B and r j = 2 j r. As u ∈ L p (X) and μ(X) = ∞ by the unboundedness of X (here we use Eq. 3), there exists K ∈ N (depending on u) such that u BK < 1/2. On the other hand, because u ≥ 1 on B we know that u B = 1. Now a standard telescoping argument using the (1, p)-Poincaré inequality yields It follows that there exists a constant C 0 > 0 and some 1 ≤ j 0 ≤ K such that (otherwise Eq. 5 would lead to a contradiction when compared to a geometric series).
Thus we obtain, using also Eq. 3 and the assumption 1 < p < Q u , that as desired.
Let us record the following easy consequence of Eq. 4 for unions of Whitney balls.

Existence and Properties of p-potentials
In computing the relative p-capacity cap p (E, ), should this capacity be finite, we can find a minimizing sequence of capacity test functions u k ∈ N 1, p (X), i.e., We will assume throughout that 1 < p < ∞; hence L p (X) is reflexive, and so a standard variational argument using Mazur's lemma on L p (X) (as in Lemma 1 below) tells us that if ⊂ X is bounded and Such a p-potential is unique because X supports a (1, p)-Poincaré inequality; see [28] for more details. Nevertheless, the following more general lemma tells us that a p-potential u ∈ N 1, p loc (X) exists in more general cases (e.g. if Cap p (X \ ) = 0) as well; though, if X is p-parabolic, we would have u be a constant. In addition, the below proof shows that the reflexivity is actually not needed for the existence of p-potentials. Proof If is bounded, then the following proof can be easily modified, or the results of [28] can be used to obtain the desired conclusion. Hence here we will only give the proof for the case that , and hence X, is unbounded. For each u ∈ N 1, p (X) there is a minimal ( p-weak) upper gradient g u ∈ L p (X); see for example [6]. Hence, from now on, we let g u denote this minimal upper gradient of u.
Let {u k } k∈N be a sequence of functions in N 1, p (X) that satisfy 0 ≤ u k ≤ 1 on X, u k = 0 on X \ p-q.e., u k = 1 p-q.e. on E, and  This, together with the definition of cap p (E, ) now completes the proof.
The results from [17] show that such u, if non-constant, satisfies u > 0 on with u < 1 on X \ E. Of course, should cap p (E, ) be infinite, then no such u exists.
It is clear that the p-potential u, corresponding to E ⊂ X, has the property that u is a p-superminimizer in and a p-subminimizer in X \ E; in particular, u is a pminimizer in \ E. Here, we say that a function v ∈ N 1, p We refer the interested reader to [16] for information on minimizers; see also [6]. In particular, it is known that if v is a p-superminimizer in U and w ∈ N 1, p loc (X) is a p-minimizer in U such that w ≤ v holds p-q.e. on X \ U, then w ≤ v on U as well. This is the socalled comparison principle. Notice also that if Cap p (X \ ) = 0 and v ∈ N 1, p loc (X) is a minimizer in , then v is a minimizer in X; moreover, in this case, if u is a p-potential for cap p (E, ) then it is a p-potential for cap p (E, X).
In the proofs of our results the following weak Harnack inequality for p-superminimizers is of fundamental importance. See [17] for a proof of this lemma.

Characterizations of Quasiadditivity
In this section we provide connections between quasiadditivity, Mazya-type capacity conditions, and p-Hardy inequalities. These lead to our main result, Theorem 1, at the end of this section. Recall that we always assume that 1 < p < ∞ and X is a complete metric measure space equipped with a doubling measure μ and supporting a p-Poincaré inequality.
We begin by showing that quasiadditivity property for unions of Whitney balls is in fact sufficient for the quasiadditivity for general sets. Below C A is the constant from the weak Harnack inequality and λ is the dilatation constant from the p-Poincaré inequality.

Proposition 1 Let ⊂ X be an open set with = X and let
for every E ⊂ .
Proof The structure of the proof is based on the idea of Aikawa [2], but given the non-linear nature of our setting, the tools we employ are completely different. Let E ⊂ . If the relative capacity cap p (E, ) is infinite, then the desired inequality would follow. Therefore we assume that cap p (E, ) < ∞, and let u ∈ N 1, p loc ( ) be the p-potential corresponding to this capacity. If cap p (E, ) = 0, then by the monotonicity of cap p (·, ), each term in the sum on the left-hand side of the desired inequality is also zero, and the claim follows. Therefore we will assume that cap p (E, ) > 0, and so the p-potential u is non-constant. Write where q and A are the constants from the weak Harnack inequality (Lemma 5). We divide the union E = i∈N E i into the following two parts: If u(x) ≥ C 0 for q.e. x ∈ B i , then i ∈ I 1 , and otherwise i ∈ I 2 . Note also that the indices i for which cap p (E i , ) = 0 do not contribute to the sum on the left-hand side of the desired quasiadditivity inequality. Hence in the following argument we only consider the indices i for which cap p (E i , ) > 0.
It is immediate that u C0 is an admissible test function for Thus, using the assumption that quasiadditivity holds for unions of Whitney balls, we obtain for all upper gradients g u of u that On the other hand, if i ∈ I 2 , then by the weak Harnack inequality Since 0 ≤ u q ≤ 1, it follows that for the set loc (X) and the class of upper gradients of u is precisely the class of upper gradients of v as well. Also, U i = x ∈ 2B i : v ≤ 1 − 1 2 1/q , and so This gives a positive lower bound c 1 for the mean-value of v p in 2B i , since We can now use the well-known Mazya's version of the (Sobolev-)Poincaré inequality (see e.g. [26,Chapter 10], and [8,Proposition 3.2] for the metric space version): where g v is an arbitrary upper gradient of v (and thus of u as well). Since E i = B i ∩ {v = 0} by the comparison principle, it follows from Eq. 8 that Using this and the fact that the balls 10λB i do not overlap too much, guaranteed by Lemma 1 and our choice of the parameter c (with L ≥ 10λ), we conclude that i∈I2 The claim now follows by taking the infima over all upper gradients of u in Eqs. 6 and 9 and combining these two estimates.
The next result can be seen as a counterpart of Proposition 1 for a Mazya-type condition (cf. [26, §2.3]):

Proposition 2 Let ⊂ X be an open set and let W c ( ) = {B i } i∈I be a Whitney cover of with c < min{(C
whenever U ⊂ is a union of Whitney balls. Then there exists a constant C > 0 such that Proof Let E ⊂ . If cap p (E, ) = ∞ the claim follows, and thus we may again assume that cap p (E, ) < ∞. Let u be the p-potential of E with respect to , and let g u be an upper gradient of u. We denote E i = E ∩ B i and split the union E = i E i into two parts: We set i ∈ I 1 if u 2Bi < 1/2 and i ∈ I 2 if u 2Bi ≥ 1/2. In the first case i ∈ I 1 we have |u − u 2Bi | ≥ 1/2 in E i , and so, using the ( p, p)-Poincaré inequality (a consequence of the (1, p)-Poincaré inequality by [11,Theorem 5.1]) and the bounded overlap of the balls 10λB i , we obtain i∈I1 Ei In the second case i ∈ I 2 it follows from u 2Bi ≥ 1/2 and 0 ≤ u ≤ 1 that for Thus, by the weak Harnack inequality for superminimizers, we obtain that for each i ∈ I 2 . Hence the function u/C 1 is an admissible test function for Using the bounded overlap of the balls B i and the assumption of Eq. 10, we conclude that i∈I2 Ei The lemma follows from Eqs. 11 and 12 by taking the infimum over all upper gradients of u.
Next, we recall the connection between Hardy's inequalities and the above Mazyatype conditions. An open set ⊂ X is said to admit a p-Hardy inequality if there exists a constant C > 0 such that the inequality holds for all u ∈ N 1, p ( ) with u = 0 on X \ and for all upper gradients g u of u. This property can be characterized using the Mazya-type condition of Proposition 2:

Lemma 6 An open set ⊂ X admits a p-Hardy inequality if and only if
for all E ⊂ .
Proof For compact sets K ⊂ , the above characterization is proven in the metric space setting in [19,Theorem 4.1] (see also [26, §2.3] in the Euclidean setting). Thus it suffices to show that if admits a p-Hardy inequality and E ⊂ is an arbitrary subset, then estimate Eq. 13 holds. If cap p (E, ) = ∞, then there is nothing to prove, and on the other hand if cap p (E, ) < ∞, then the p-Hardy inequality, used for capacity test functions u k with lim k→∞ g uk dμ = cap p (E, ), yields the desired estimate Eq. 13.
Combining the conditions from Proposition 1, Proposition 2, and Lemma 6, we arrive at our the main result:  Since uniform p-fatness of the complement X \ is a sufficient condition for p-Hardy inequalities in our setting (see [9, Corollary 6.1] and [18]), we obtain from Theorem 1 also the following concrete sufficient condition for the quasiadditivity of the p-capacity: Corollary 2 Let ⊂ X be an open set and let W c ( ) be a Whitney cover of with a suitably small parameter 0 < c ≤ 1/2. Assume further that the complement X \ is uniformly p-fat. Then the capacity cap p (·, ) is quasiadditive with respect to W c ( ).

Quasiadditivity and the Aikawa Dimension
In this section we focus on open sets ⊂ X that satisfy co-dim A (X \ ) > p (recall the definition from Section 2.1). In this case we also have that co-dim H (X \ ) > p, and hence it follows from [23, Proposition 4.1] that Cap p (X \ ) = 0. Therefore, as was remarked in Section 2.4, we know that cap p (E, ) = cap p (E, X) for every E ⊂ . Recall from Section 2.2 that if X is p-parabolic, then actually cap p (E, X) = 0 for all bounded E ⊂ X. Thus, if X is p-parabolic and ⊂ X is such that Cap p (X \ ) = 0, then satisfies the quasiadditivity property trivially; the same is also true if X is bounded and Cap p (X \ ) = 0. Hence in this section we assume that X is unbounded and p-hyperbolic. We say that an open set and a related Whitney cover W = W c ( ) satisfy a discrete John condition if there exist L > 1, a > 1, and C > 0 such that for each B ∈ W we find a chain C(B) = {B m } ∞ m=0 of Whitney balls B m ∈ W( ), with B 0 = B, such that B m ∩ B m+1 = ∅, B ⊂ LB m , and rad(B m ) ≥ Ca m rad(B) for each m ∈ N. This condition is satisfied, for instance, if is an unbounded John domain (see [30]); similar chain conditions have been used e.g. in [11,12]. Notice in particular that since our open sets are unbounded, there can not exist a 'John center' as in the usual John condition for bounded domains; essentially the 'point at infinity' acts as a John center. On the other hand, the domain = {(x, y) ∈ R 2 : 0 < y < |x| + 1} satisfies the discrete John condition, but is not an unbounded John domain (in the sense of [30]).

Proposition 3
Let ⊂ X be an open set with co-dim A (X \ ) > p. Assume furthermore that satisf ies the above discrete John condition for a Whitney cover W c ( ) with c < min{(C A ) −1 , (30λ) −1 }. Then cap p (·, ) is quasiadditive with respect to W c ( ) and admits a p-Hardy inequality.
Proof By Theorem 1, it suffices to show that there is a constant Fix such a set U, and write r i = rad(B i ), i ∈ I. We may clearly assume that cap p (U, ) < ∞. Let u be a capacity test-function for U. Then u Bi = 1 for each i ∈ I, and u 2Bi ≥ α for some α > 0 (independent of u and i) since 0 ≤ u ≤ 1. On the other hand, since u ∈ L p ( ), we find, using the discrete John condition, for each i ∈ I a chain of Whitney balls B i,m , m = 0, 1, . . . , and thus, by Hölder's inequality, allowing us to choose the index M i as above.
By a standard chaining argument using the (1, p)-Poincaré inequality (see e.g. [11] or [12]), we have Comparing the sum on the right-hand side of Eq. 15 with the convergent geometric series ∞ m=0 a −mδ , we infer that if δ > 0, then there must exist a constant C 1 > 0, independent of u and B i , and at least one index m i ∈ N such that Let us now fix q such that co-dim A (X \ ) > q > p and set δ = (q − p)/ p > 0. We thus obtain from Eq. 16 for each B i a ball B * i = B i,mi with radius r * i satisfying Using estimate Eq. 17, and changing the summation to be over all Whitney balls, we calculate If B = B * i , that is, B ∈ W satisfies Eq. 17 for the ball B i , then B i ⊂ LB by the chain condition. Since r −q i ≈ d (x) for all x ∈ B i , it follows from the bounded overlap of the Whitney balls B i ⊂ LB and the assumption co-dim A (X \ ) > q, that By the assumption c ≤ (30λ) −1 , the overlap of the balls 2λB, where B ∈ W c ( ), is uniformly bounded (Lemma 1), and so we conclude from Eqs. 18 and 19 that The claim Eq. 14 follows by taking the infimum over all capacity test functions for U (and their upper gradients).
It has been shown in [24,Section 6] (following the considerations of [20]), that if ⊂ X admits a p-Hardy inequality, then either co-dim H (X \ ) < p − δ or co-dim A (X \ ) > p + δ for some δ > 0 only depending on the data associated with the space X and the Hardy inequality. Moreover, there is also a local version of such a dichotomy for the dimension [24, Theorem 6.2]. These results, together with the above Proposition 3 (and see also the following Section 5), show clearly that the condition co-dim A (X \ ) > p is very natural in the context of Hardy inequalities and thus also for quasiadditivity. On the other hand, the case co-dim H (X \ ) < p − δ includes open sets with uniformly p-fat complements; cf. Corollary 2.
The main open question here is whether the discrete John condition is really necessary in Proposition 3; we know of no counterexamples. In the Euclidean space R n this extra condition is certainly not needed. Indeed, as commented at the end of [20], the dimension bound dim A (R n \ ) < n − p implies by [2, for all (measurable) E ⊂ ; here R 1, p (E) is a Riesz capacity of E (cf. [2] or [5] for the definition) and the second inequality is a well-known fact. Quasiadditivity for cap p (·, ) follows by Theorem 1.
Nevertheless, Proposition 3 still gives a partial answer to the question of Koskela and Zhong [20, Remark 2.8], i.e., a q-Hardy inequality holds in their setting provided that satisfies the discrete John condition (and the Minkowski dimension in [20,Remark 2.8] is replaced by the correct Aikawa/Assouad (co)dimension).

Combining Fat and Small Parts of the Complement
Corollary 2 gave us a criterion, uniform p-fatness of X \ , under which supports quasiadditivity of p-capacity for the Whitney decompositions of ; this condition requires X \ to be 'large'. Conversely, in Section 4 we gave a criterion, largeness of the Aikawa co-dimension of X \ (or, smallness of the Assouad dimensionand hence 'smallness' of X \ ), under which supports quasiadditivity for the Whitney decompositions of . Nevertheless, requiring the whole complement to be either large or small rules out many interesting cases. For instance, sometimes the complement of a domain can be decomposed into two closed subsets such that one of them is 'large' and one is 'small'; an easy example is the punctured ball B(0, 1) \ {0} ⊂ R n . The aim of this final section is to explain how the results of the previous Sections 3 and 4 can be combined to address such more complicated sets. In the Euclidean case, some results into this direction can be found also in [22]. A full geometric characterization of domains supporting quasiadditivity of p-capacity for Whitney decompositions still seems to be beyond our reach. However, in the next lemma we demonstrate a technique which applies to a broad class of sets.

Lemma 7
Assume that X is unbounded and that 1 < p < Q u . Suppose that 0 ⊂ X is an open set such that X \ 0 is uniformly p-fat. Suppose also that F ⊂ 0 is a closed set with co-dim A (F) > p, and that X \ F satisf ies the discrete John condition of Section 4. Then = 0 \ F satisf ies a quasiadditivity property with respect to Whitney covers W c ( ) with suitably small c > 0.
Proof Let 0 < c < min{(C A ) −1 , (30λ) −1 }, and let W c ( ) be a Whitney decomposition of . Set W 1 to be the collection of all balls B(x, r) ∈ W satisfying dist(x, X \ ) = dist(x, F) and, similarly, let W 2 be the collection of all balls B(x, r) ∈ W satisfying dist(x, X \ ) = dist(x, X \ 0 ). It is clear that we can extend the collection W 1 to a Whitney cover W 1 * of X \ F =: 1 and the collection W 2 to a Whitney cover W 2 * of 0 , both with the same constant c but possibly with larger overlap constants.
As before, to prove the quasiadditivity property, it suffices to consider unions of Whitney balls. Thus, let U = i∈I B i , where B i ∈ W c ( ) and I ⊂ N; we may also assume that cap p (U, ) < ∞. Set U 1 = Bi∈W 1 B i , U 2 = Bi∈W 2 B i . Since co-dim A (X \ 1 ) = co-dim A (F) > p and the discrete John condition holds for 1 , we know, by Proposition 3, that here we use the facts U 1 ⊂ U and ⊂ 1 . On the other hand, an application of the results of Section 3 yields Here the last inequality follows since U 2 ⊂ U and 0 \ ⊂ F is of zero p-capacity.
For the same reason we have in Eq. 21 that cap p (B i , 0 ) = cap p (B i , ) for each B i ∈ W 2 . To estimate the corresponding capacities on the left-hand side of Eq. 20, we use the capacity bounds from Eq. 4 (with respect to and 1 ; note that the assumptions of Lemma 2 are valid in the latter case) to obtain for all B i ∈ W 1 that In conclusion,