J. Kinnunen and R. Korte, Characterizations of Sobolev inequalities on metric spaces, arxiv: v2 [math.ap] by authors

Transcription

1 J. Kinnunen and R. Korte, Characterizations of Sobolev inequalities on metric spaces, arxiv:79.197v2 [math.ap]. 28 by authors

2 CHARACTERIZATIONS OF SOBOLEV INEQUALITIES ON METRIC SPACES JUHA KINNUNEN AND RIIKKA KORTE arxiv:79.197v2 [math.ap] 14 Jan 28 Abstract. We present isocapacitary characterizations of Sobolev inequalities in very general metric measure spaces. 1. Introduction There is a well known connection between the isoperimetric and Sobolev inequalities. By the isoperimetric inequality, we have E (n 1)/n c(n)h n 1 ( E), (1.1) where E is a smooth enough subset of R n, E is the Lebesgue measure and H n 1 is the (n 1)-dimensional Hausdorff measure. The constant c(n) is chosen so that (1.1) becomes an equality when E is a ball. The Sobolev inequality states that ( ) (n 1)/n u n/(n 1) dx c(n) u dx (1.2) R n R n for every u C (Rn ). The smallest constant in (1.2) is the same as the constant in (1.1). The Sobolev inequality follows from the isoperimetric inequality through the co-area formula. On the other hand, the isoperimetric inequality can be deduced from the Sobolev inequality, see for example [5]. This shows that the isoperimetric and Sobolev inequalities are different aspects of the same phenomenon. Originally this observation is due to Federer and Fleming [6] and Maz ya [11]. When the gradient is integrable to a power which is greater than one, the isoperimetric inequality has to be replaced with an isocapacitary inequality. When the exponent is one, capacity and Hausdorff content are equivalent and hence it does not matter which one we choose. In this case due to the boxing inequality, it is enough to have the isocapacitary inequality for balls instead of all sets. This elegant approach to Sobolev inequalities is due to Maz ya, see [12] and [13]. Usually this characterization leads to descriptions of the best possible constants in Sobolev inequalities. However, the aim of the present work is not so much to study best possible constants but rather study necessary and 2 Mathematics Subject Classification. 46E35, 31C45. 1

3 2 JUHA KINNUNEN AND RIIKKA KORTE sufficient conditions for Sobolev Poincaré inequalities in a general metric space context. In weighted Euclidean spaces, these characterizations have been studied in [2]. Rather standard assumptions in analysis on metric measure spaces include a doubling condition for the measure and validity of some kind of Sobolev Poincaré inequality. Despite the fact that plenty of analysis has been done in this general context, very little is known about the basic assumptions. Several necessary conditions are known, but unfortunately only few sufficient conditions are available so far. On Riemannian manifolds, Grigor yan and Saloff-Coste observed that the doubling condition and the Poincaré inequality are not only sufficient but also necessary conditions for a scale invariant parabolic Harnack principle for the heat equation, see [15], [16] and [7]. It also known that Maz ya type characterizations of Sobolev inequalities are available on Riemannian manifolds. The purpose of this work is to show that this is also the case on a very general metric measure spaces. 2. Preliminaries We assume that X = (X, d, µ) is a metric measure space equipped with a metric d and a Borel regular outer measure µ such that < µ(b) < for all balls B = B(x, r) = {y X : d(x, y) < r}. In what follows, stands for an open bounded subset of X unless otherwise stated. The measure µ is said to be doubling if there exists a constant c D 1, called the doubling constant, such that for all x X and r >. µ(b(x, 2r)) c D µ(b(x, r)) In this paper, a path in X is a rectifiable non-constant continuous mapping from a compact interval to X. A path can thus be parameterized by arc length. By saying that a condition holds for p-almost every path with 1 p <, we mean that it fails only for a path family with zero p-modulus. A family Γ of curves is of zero p-modulus if there is a non-negative Borel measurable function ρ L p (X) such that for all curves γ Γ, the path integral ρ ds is infinite. γ A nonnegative Borel function g on X is an upper gradient of an extended real valued function u on X if for all paths γ joining points x and y in X we have u(x) u(y) g ds, (2.1) γ

4 CHARACTERIZATIONS OF SOBOLEV INEQUALITIES 3 whenever both u(x) and u(y) are finite, and g ds = otherwise. γ If g is a nonnegative measurable function on X and if (2.1) holds for p-almost every path, then g is a p-weak upper gradient of u. Let 1 p <. If u is a function that is integrable to power p in X, let ( 1/p, u N 1,p (X) = u p dµ + inf g dµ) p X g X where the infimum is taken over all p-weak upper gradients of u. The Newtonian space on X is the quotient space N 1,p (X) = {u : u N 1,p (X) < }/, where u v if and only if u v N 1,p (X) =. For properties of Newtonian spaces, we refer to [18]. Let E be a subset of. We write u A(E, ) if u E = 1 and u X\ =. Definition 2.1. Let E. The p capacity of E with respect to is cap p (E, ) = inf gu p dµ, where the infimum is taken over all continuous functions u A(E, ) with p weak upper gradients g u. If there are no such functions, then cap p (E, ) =. We say that a property regarding points in X holds p quasieverywhere (p q.e.) if the set of points for which the property does not hold has capacity zero. To be able to compare the boundary values of Newtonian functions, we need a Newtonian space with zero boundary values. Let E be a measurable subset of X. The Newtonian space with zero boundary values is the space N 1,p (E) = {u E : u N 1,p (X) and u = p q.e. on X \ E}. Note that if cap p (X \ E, X) =, then N 1,p (E) = N 1,p (X). The space N 1,p (E) equipped with the norm inherited from N1,p (X) is a Banach space, see Theorem 4.4 in [19]. Definition 2.2. We say that X supports a weak (1, p) Poincaré inequality if there exist constants c p > and τ 1 such that for all balls B(x, r) of X, all integrable functions u on X and all upper gradients g u of u, we have ( where u u B(x,r) dµ c p r B(x,r) u B = B u dµ = 1 u dµ. µ(b) B ) 1/p gu p dµ, (2.2) B(x,τr)

5 4 JUHA KINNUNEN AND RIIKKA KORTE 3. Functions with zero boundary values In this section, we give necessary and sufficient conditions for Sobolev inequalities of type ( ) 1/q ( ) 1/p u q dν c S gu p dµ, where the constant c S is independent of u N 1,p () C(), and µ and ν are Borel regular outer measures. We consider two ranges of indices separately. We have chosen to study continuous Newtonian functions, but our arguments do not depend on the choice of the function space. For example, similar results also hold for all Newtonian functions and Lipschitz functions if the definition of p capacity is adjusted accordingly. Remark 3.1. In the standard versions of Poincaré inequality, the inequality depends on the diameter of the set. Therefore the constant c S also depends strongly on the diameter of the set in many cases The case 1 p q <. Let u : [, ] be a µ measurable function. By the well-known Cavalieri principle u p dµ = p λ p 1 µ(e λ ) dλ, where E λ = {x : u(x) > λ}. The following simple integral inequality will be useful for us. Notice that the equality occurs when p = q. Lemma 3.2. If u : [, ] is µ measurable and < p q <, then ( 1/q ( 1/p u dµ) q p λ p 1 µ(e λ ) dλ) p/q. (3.1) Proof. We have ( X p/q ( u p ) dµ) q/p = sup u p f dµ, f s 1 X where s = q/(q p) is the Hölder conjugate of q/p. By f s we denote the L s (µ) norm of f. Define a measure µ as µ(a) = f dµ A

6 CHARACTERIZATIONS OF SOBOLEV INEQUALITIES 5 for every µ measurable set A X. If µ(e) > and f s 1, we conclude that ( ) 1/s µ(e) = f dµ µ(e) 1 1/s f s dµ E µ(e) 1 1/s = µ(e) p/q. Here we used the Hölder inequality. Hence u p f dµ u p d µ = p X p X E λ p 1 µ(e λ ) p/q dλ. λ p 1 µ(e λ ) dλ Taking supremum over all functions f with f s 1 completes the proof. Next we prove a strong type inequality for the capacity. When p = 1 the obtained estimate reduces to the co-area formula. The proof is based on a general truncation argument, see page 11 in [12]. A similar argument has been used for example in [3], [15] and [8]. Lemma 3.3. Let u N 1,p () C() and 1 p <. Then λ p 1 cap p (E λ, )dλ 2 2p 1 gu p dµ, where g u is a p-weak upper gradient of u. Proof. A straightforward calculation shows that Let = = 1 2 λ p 1 cap p (E λ, ) dλ 2 j λ p 1 cap p (E λ, ) dλ 2 j 1 (2 j 2 j 1 )2 j(p 1) cap p (E 2 j 1, ) = 2 p 1 2 jp cap p (E 2 j 1, ) 2 jp cap p (E 2 j, ). 1, if u 2 j, u j = 2 1 j u 1, if 2 j 1 < u < 2 j,, if u 2 j 1.

7 6 JUHA KINNUNEN AND RIIKKA KORTE Then u j A(E 2 j, ). This implies that cap p (E 2 j, ) 2 p(1 j) and consequently 2 jp cap p (E 2 j, ) The claim follows from this. 2 p E 2 j 1 \E 2 j 2 jp+p(1 j) g p u dµ. g p u dµ E 2 j 1 \E 2 j g p u dµ The following result gives a necessary and sufficient condition for a Sobolev inequality in terms of an isocapacitary inequality. This is a metric space version of a corollary on page 113 of [12]. Remark 3.4. We do not need the doubling condition in this theorem. Theorem 3.5. Suppose that 1 p q <. (i) If there is a constant γ such that ν(e) p/q γ cap p (E, ) (3.2) for every E, then ( ) 1/q ( u q dν c S g p u dµ ) 1/p (3.3) for every u N 1,p () C() with c S depending only on γ and p. (ii) If (3.3) holds for every u N 1,p () C() and if the constant c S is independent of u, then (3.2) holds for every E with γ = c S. Proof. (i) By Lemma 3.2, (3.2) and Lemma 3.3, we obtain ( 1/q ( ) 1/p u dν) q p λ p 1 ν(e λ ) p/q dλ ( γp ) 1/p λ p 1 cap p (E λ, ) dλ ( γp2 2p 1) ( ) 1/p 1/p gu p dµ. (ii) If u A(E, ) is continuous, then by (3.3), we have ( ) 1/q ( ) 1/p ν(e) 1/q u q dν c S gu p dµ. The claim follows by taking the infimum on the right-hand side.

8 CHARACTERIZATIONS OF SOBOLEV INEQUALITIES 7 Remark 3.6. The previous theorem gives a necessary and sufficient condition for the Hardy inequality ( ) p u(x) dµ c H gu p dµ, (3.4) dist(x, X \ ) where the constant c H is independent of u N 1,p () C(). Indeed, (3.4) holds if and only if 1 dist(x, X \ ) dµ γ cap p(e, ) p E for every E. Thus Theorem 3.5 is a generalization of Theorem 4.1 in [1]. In the metric space context, the Hardy inequality has also been studied in [4] The case p = 1. When p = 1 and = X, the isocapacitary inequalities reduce to isoperimetric inequalities. Moreover, in this case we can improve Theorem 3.5 under the additional assumptions that the measure is doubling and the space supports a Poincaré inequality. Indeed, it is enough that condition (3.2) is satisfied for all balls. To prove that, we will need equivalence of the capacity of order one and the Hausdorff content of co-dimension one H h (K) = inf { i=1 µ(b(x i, r i )) r i : K } B(x i, r i ). Theorem 3.7. Let X be a complete metric space with a doubling measure µ. Suppose that X supports a weak (1, 1) Poincaré inequality. Let K be a compact subset of X. Then 1 c cap 1(K) H h (K) c cap 1(K), where c depends only on the doubling constant and the constants in the weak (1, 1) Poincaré inequality. The proof is based on co-area formula and a metric space version of so called boxing inequality. For more details, see [9]. A similar result has been studied in Mäkäläinen [14]. Theorem 3.8. Let X be a complete metric space with a doubling measure µ. Suppose that X supports a weak (1, 1) Poincaré inequality. Suppose that 1 q <. If there is a constant γ such that for every ball B X, then ( ) 1/q u q dν c S i=1 ν(b) 1/q γ cap 1 (B, X) (3.5) X where c S is independent of u N 1,1 (X) C (X). X g u dµ, (3.6)

9 8 JUHA KINNUNEN AND RIIKKA KORTE Proof. First we prove that if the space satisfies (3.5) for all balls in X, then it satisfies the same condition for all compact sets with a different constant. Let K X be compact, ε > and {B(x i, r i )} i=1 be a covering of K such that H (K) h µ(b(x i, r i )) ε. r i Since q 1, we have ν(k) 1/q i=1 ν(b(x i, r i )) 1/q. i=1 Because u i (x) = (1 dist(x, B(x i, r i ))/r i ) + belongs to A(B(x i, r i ), X), and g i = χ B(xi,2r i )/r i is an upper gradient of u i, we have µ(b(x i, r i )) cap 1 (B(x i, r i )) g i dµ c D. r i By combining the above estimates and (3.5), we conclude ν(k) 1/q ν(b(x i, r i )) 1/q γ X i=1 cap 1 (B(x i, r i )) i=1 γc D i=1 µ(b(x i, r i )) r i γc D (H h (K) + ε). The claim follows by Theorem 3.7 as ε. Now the theorem follows as in the proof of Theorem 3.5. Note that since u has compact support and is continuous, we can as well consider compact level sets { u t} instead of open sets The case 1 q < p <. In the case 1 q < p <, the isocapacitary inequality takes a different form. Let E j, j = N, N + 1,..., N, N +1 be such that E j and E j E j+1 for j = N, N + 1,..., N. We define [ N ( ) ν(ej ) p/q q/(p q) ] (p q)/q γ = sup, (3.7) cap p (E j, E j+1 ) where the supremum is taken over all sequences of sets as above. The following result is a metric space version of a theorem on page 12 of [12].

10 CHARACTERIZATIONS OF SOBOLEV INEQUALITIES 9 Theorem 3.9. Suppose that 1 q < p <. (i) If γ <, then ( ) 1/q ( ) 1/p u q dν c S gu p dµ, (3.8) where c S is independent of u N 1,p () C(). (ii) If (3.8) holds for every u N 1,p () C() and if the constant c S is independent of u, then γ <. Proof. (i) We have u q dν = By the Hölder inequality, 2 jq ν(e 2 j) = ( q = q2 q 1 2 j+1 q λ q 1 ν(e λ ) dλ 2 j 2 (j+1)(q 1) 2 j ν(e 2 j) 2 jq ν(e 2 j). ( ) ν(e 2 j) p/q q/p ( 2 jp cap cap p (E 2 j, E 2 j 1) p (E 2j, E ) q/p 2j 1) ( ( ν(e 2 j) p/q ) q/(p q) ) (p q)/p cap p (E 2 j, E 2 j 1) 2 jp cap p (E 2 j, E 2 j 1)) q/p. Let Then 1, if u > 2 j, u 2 u j = j 1, if 2 j 1 < u 2 j, 2 j 1, if u 2 j 1. cap p (E 2 j, E 2 j 1) gu p j dµ 2 (j 1)p gu p dµ E 2 j 1 \E 2 j

11 1 JUHA KINNUNEN AND RIIKKA KORTE It follows that and consequently 2 jp cap p (E 2 j, E 2 j 1) 2 p = 2 p g p u dµ ( ) q/p u q dν c gu p dµ. E 2 j 1 \E 2 j g p u dµ (ii) Let E j be as as in the statement of the theorem, and define N ( ) 1/(p q) ν(e i ) λ j =, j = N, N + 1,...,N, cap p (E i, E i+1 ) i=j and λ N+1 =. Let u j A(E j, E j+1 ) be continuous, and define (λ j λ j+1 )u j + λ j+1 in E j+1 \ E j, u = λ N in E N, in \ E N+1. Then u N 1,p () C(). By the Cavalieri principle N λj u q dν =q λ q 1 ν(e λ ) dλ = q λ q 1 ν(e λ ) dλ λ j+1 N ν(e j )(λ q j λq j+1 ). From this we conclude that ( N ) p/q ν(e j )(λ j λ j+1 ) q ( c S ( N ) p/q u q dν c S gu p dν = c S N (λ j λ j+1 ) p E j+1 \E j g p u j dµ. ν(e j )(λ q j λq j+1 ) ) p/q N E j+1 \E j g p u dµ Taking the infimum on the right-hand side, we arrive at ( N ) p/q N ν(e j )(λ j λ j+1 ) q c S (λ j λ j+1 ) p cap p (E j, E j+1 ).

12 CHARACTERIZATIONS OF SOBOLEV INEQUALITIES 11 Since we obtain [ N ( ) 1/(p q) ν(e j ) λ j λ j+1 =, cap p (E j, E j+1 ) ( ν(ej ) p/q ) q/(p q) ] p/q cap p (E j, E j+1 ) N ( ν(ej ) p/q ) q/(p q), and the claim follows. c S cap p (E j, E j+1 ) Next we present an integral version of Theorem 3.9. See also page 3 in [13] for the Euclidean case. Theorem 3.1. Let q < p and µ() < and Then λ p (s) = inf{cap p (G) : G and ν(g) s}. ν() ( t p/q λ p (t) ) q/(p q) dt t c I < (3.9) if and only if the Sobolev inequality (3.8) holds for every u N 1,p () C() with a constant c S that is independent of u. Proof. First, assume that (3.9) holds. Let s = p/q and s = p/(p q) be the Hölder conjugate of s. Then u q dν 2 q 2 q ( ( 2 jq ν({2 j < u < 2 j+1 }) 2 jp cap p ({u > 2 j }) ) q/p (ν({u > 2 j }) ν({u > 2 j+1 })) s cap p ({u > 2 j }) s /s ( ) ( q/p ) 1/s ν() c gu p dµ t s 1 λ p (t) dt s /s ( ) q/p c 1/s I c gu p dµ. ) 1/s

13 12 JUHA KINNUNEN AND RIIKKA KORTE Here we used the Hölder inequality, monotonicity of λ p (t) and the fact that cap p ({u > 2 j }) 2 jp+p gu p dµ. {2 j 1 <u<2 j } Assume now that (3.8) holds. For every j Z, let u j N 1,p () C() be a function such that u j 1, ν({u j = 1}) 2 j and gu p j dµ λ p (2 j ) + ε j, with ε j λ p (2 j ). Let where Now and As g p u dµ ( j j u = sup β j u j, j ( ) 2 j 1/(p q) β j =. λ p (2 j ) u q dν 1 2 β p j (λ p(2 j ) + ε j ) ) β q j 2j = β p j λ p(2 j ), β q j 2j (3.1) 2 j it follows by (3.8), (3.1) and (3.11) that (2 j ) p/(p q) λ p (2 j ) = β q q/(p q) j 2j c, j and by monotonicity of λ p. ν() ( t p/q λ p (t) ) q/(p q) dt t c. β p j λ p(2 j ). (3.11) 4. Functions with general boundary values In this section, we obtain necessary and sufficient conditions for Sobolev Poincaré inequalities of type ( 1/q ( ) 1/p u a dν) q c gu p dµ inf a R where u N 1,p () C() and 1 p q <. To this end, we shall need the concept of conductivity, see Chapter 4 in [12].

14 CHARACTERIZATIONS OF SOBOLEV INEQUALITIES 13 Let X be a bounded open set. Let F be a closed subset of and let G be an open subset of such that F G. The open set C = G\F is called a conductor and B(F, G, ) = {u N 1,p () C() : u 1 in F and u in \ G} is the set of admissible functions. The number con p (F, G, ) = gu p dµ is called the p conductivity of C. inf u B(F,G,) The next result can be proved in the same way as Lemma 3.3. Lemma 4.1. Let G be open and 1 p <. Suppose that u N 1,p () C() such that u = in \ G. Then λ p 1 con p (E λ, G, )dλ 2 2p 1 gu p dµ. The following result is a metric space version of a theorem on page 21 of [12]. Theorem 4.2. Suppose that 1 p q < and let G be open. (i) If there is a constant γ such that ν(f) p/q γ con p (F, G, ) (4.1) for every F G, then ( 1/q u dν) q c ( 1/p gu dµ) p (4.2) for every u N 1,p () C() such that u = in \ G. Here the constant c is independent of u. (ii) If (4.2) holds for every u N 1,p () C() such that u = in \ G, then (4.1) holds for every F G with γ = c. Proof. (i) We conclude by Lemma 3.2, (4.1) and Lemma 4.1 that ( 1/q ( ) 1/p u dν) q p λ p 1 ν(e λ ) p/q dλ ( pγ (pγ2 2p 1 ) 1/p λ p 1 con p (E λ, G, ) dλ g p u dµ ) 1/p. (ii) If u B(F, G, ), then inequality (4.2) implies that ( 1/q ( ) 1/p ν(f) 1/q u dν) q c gu p dµ. The claim follows by taking the infimum on the right-hand side.

15 14 JUHA KINNUNEN AND RIIKKA KORTE Theorem 4.3. Suppose that 1 p q < and that X is a bounded open set. (i) If there is a constant γ such that ν(f) p/q γ con p (F, G, ) (4.3) for every conductor G \ F with ν(g) ν()/2, then ( 1/q ( u a dν) q c inf a R 1/p gu dµ) p (4.4) for every u N 1,p () C(). (ii) If (4.4) holds for every u N 1,p () C(), then (4.3) holds for every conductor G \ F with ν(g) ν()/2. Proof. (i) Let α R be such that and ν({x : u(x) α}) 1 2 ν() ν({x : u(x) > α}) 1 2 ν(). Now (u α) + N 1,p () C() and u = in \ G, where G = {x : u(x) > α}. Clearly ν(g) 1 ν() and by (4.3), 2 ν(f) p/q γ con p (F, G, ) for every F G. By Theorem 4.2, we have ( 1/q ( (u α) q + dν) c Similarly, ( 1/q ( (α u) q + dν) c {x : u(x)>α} {x : u(x)<α} A combination of these estimates implies that ( ) 1/q u α q dµ ( 1/q ( (α u) q + dµ) + (u α) q + dµ ( ) 1/p ( c gu p dµ + c ( c {x : u(x)>α} g p u dµ ) 1/p. g p u dµ ) 1/p. g p u dµ) 1/p. ) 1/q {x : u(x)<α} g p u dµ ) 1/p

16 CHARACTERIZATIONS OF SOBOLEV INEQUALITIES 15 (ii) Let G \ F be a conductor with ν(g) 1 ν() and suppose that 2 u N 1,p () C() such that u = in \ G and u = 1 on F. Since ( ) 1/q u u q dν ( ) 1/q u a q dν + a u ν() 1/q we have Now ( ( ( = 2 ) 1/q u a q dν + ν() 1/q ) 1/q ( u a q dν + ν() 1/q u a q dν) 1/q, u a dν ) 1/q u a q dν ( 1/q ( ) 1/q inf u a dν) q u u q dν a R ( 1/q 2 inf u a dν) q. a R ( q/p c gu dµ) p = G u u q dν u u q dν + u q ν( \ G). This and the fact that ν( \ G) 1 ν() imply that 2 ( ) q/p u q ν() c gu p dµ. Since ( 1/q ( u dν) q u ν() 1/q + ) 1/q u u q dν ( 1/p c gu dµ) q, we have ( 1/q ( ν(f) 1/q u dν) q c gu p dµ and by taking an infimum over all functions u, we have ν(f) p/q c con p (F, G, ). ) 1/p

17 16 JUHA KINNUNEN AND RIIKKA KORTE References [1] D.R. Adams, Lectures on L p -potential theory. Volume 2, Department of Mathematics, University of Umeå, [2] D.R. Adams, L.I. Hedberg, Function spaces and potential theory. Grundlehren der Mathematischen Wissenschaften, 314. Springer-Verlag, Berlin, [3] D. Bakry, T. Coulhon, M. Ledoux, L. Saloff-Coste, Sobolev inequalities in disguise. Inviana Univ. Math. J. 44 (1995), [4] J. Björn, P. MacManus, N. Shanmugalingam, Fat sets and pointwise boundary estimates for p-harmonic functions in metric spaces. J. Anal. Math. 85 (21), [5] L.C. Evans, R.F. Gariepy, Measure theory and fine properties of functions. Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, [6] H. Federer, W.H. Fleming, Normal and integral currents. Ann. Math. 72 (196), [7] A. Grigor yan, The heat equation on non-compact Riemannian manifolds. Matem. Sbornik 182, (1991). Engl. Transl. Math. USSR Sb. 72, (1992) [8] P. Haj lasz, P. Koskela, Sobolev met Poincaré. Mem. Amer. Math. Soc 145, 2. [9] J. Kinnunen, R. Korte, N. Shanmugalingam, H. Tuominen, Lebesgue points and capacities via boxing inequality in metric spaces. Indiana Univ. Math. J. (to appear), 27. [1] R. Korte, N. Shanmugalingam, Equivalence and self-improvement of p-fatness and Hardy s inequality, and association with uniform perfectness. Preprint, 27. [11] V.G. Maz ya, Classes of regions and imbedding theorems for function spaces. Dokl. Akad. Nauk. SSSR, 133 (196), (Russian). English translation: Soviet Math. Dokl. 1 (196), [12] V.G. Maz ya, Sobolev spaces. Springer Series in Soviet Mathematics. Springer- Verlag, Berlin, Translated from the Russian by T. O. Shaposhnikova. [13] V.G. Maz ya, Lectures on isoperimetric and isocapacitary inequalities in the theory of Sobolev spaces. Contemporary Mathematics, 338, Heat Kernels and Analysis on Manifolds, Graphs, and Metric Spaces, American Math. Society (23), [14] T. Mäkäläinen, Adams inequality on metric measure spaces. Preprint, 27. [15] L. Saloff-Coste, Aspects of Sobolev-type inequalities. London Mathematical Society Lecture Note Series 289, Cambridge University Press, 22. [16] L. Saloff-Coste, A note on Poincaré, Sobolev and Harnack inequalities. Duke Math. J. 65, IMRN 2, (1992), [17] S. Semmes, Finding curves on general spaces through quantitative topology with applications to Sobolev and Poincaré inequalities. Selecta Math. (N.S.) 2 (1996), [18] N. Shanmugalingam, Newtonian spaces: An extension of Sobolev spaces to metric measure spaces. Rev. Mat. Iberoamericana 16 (2),

18 CHARACTERIZATIONS OF SOBOLEV INEQUALITIES 17 [19] N. Shanmugalingam, Harmonic functions on metric spaces. Illinois J. Math. 45 (21), [2] B.O. Turesson, Nonlinear potential theory and weighted Sobolev spaces. Lecture Notes in Mathematics 1736, Springer 2. J.K., Institute of Mathematics, P.O. Box 11, FI-215 Helsinki University of Technology, Finland R.K., Institute of Mathematics, P.O. Box 11, FI-215 Helsinki University of Technology, Finland