Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- 1 Introduction
- 2 Review of basic functional analysis
- 3 Lebesgue theory of Banach space-valued functions
- 4 Lipschitz functions and embeddings
- 5 Path integrals and modulus
- 6 Upper gradients
- 7 Sobolev spaces
- 8 Poincaré inequalities
- 9 Consequences of Poincaré inequalities
- 10 Other definitions of Sobolev-type spaces
- 11 Gromov–Hausdorff convergence and Poincaré inequalities
- 12 Self-improvement of Poincaré inequalities
- 13 An introduction to Cheeger's differentiation theory
- 14 Examples, applications, and further research directions
- References
- Notation index
- Subject index
9 - Consequences of Poincaré inequalities
Published online by Cambridge University Press: 05 February 2015
- Frontmatter
- Dedication
- Contents
- Preface
- 1 Introduction
- 2 Review of basic functional analysis
- 3 Lebesgue theory of Banach space-valued functions
- 4 Lipschitz functions and embeddings
- 5 Path integrals and modulus
- 6 Upper gradients
- 7 Sobolev spaces
- 8 Poincaré inequalities
- 9 Consequences of Poincaré inequalities
- 10 Other definitions of Sobolev-type spaces
- 11 Gromov–Hausdorff convergence and Poincaré inequalities
- 12 Self-improvement of Poincaré inequalities
- 13 An introduction to Cheeger's differentiation theory
- 14 Examples, applications, and further research directions
- References
- Notation index
- Subject index
Summary
In this chapter we discuss some further consequences of Poincaré inequalities in metric measure spaces. We show that many Sobolev-type inequalities follow from a basic Poincaré inequality in doubling metric measure spaces. The Lebesgue differentiation theorem tells us that every integrable function has μ-a.e. point as a Lebesgue point. We will strengthen the Lebesgue point property for Sobolev functions and show that p-capacity-a.e. point is a Lebesgue point of a function in N1, p(X : V). Finally, we also demonstrate that a metric space supporting a Poincaré inequality necessarily has the MECp property in the sense of Section 7.5.
Throughout this chapter we let X = (X, d, μ) be a metric measure space as defined in Section 3.3 and V a Banach space and suppose that X is locally compact and supports a p-Poincaré inequality. Unless otherwise stipulated, we assume that 1 ≤ p < ∞.
Sobolev–Poincaré inequalities
The Poincaré inequality (8.1.1), or its Banach-space-valued counterpart (8.1.41), gives control over the mean oscillation of a function in terms of the p-means of its upper gradient. In many classical situations, for example in Euclidean space ℝn, various Sobolev–Poincaré inequalities demonstrate that one can similarly control the q-means of the function |u − uB| for certain values of q > 1. Analogous results are valid in metric measure spaces satisfying a Poincaré inequality. This is the topic of the current section.
We recall one of the pointwise estimates (8.1.56) that follows from the p-Poincaré inequality in a doubling metric measure space X. If B is an open ball in X and if u: λB → V is integrable in B with ρ an upper gradient of u in λB then
|u(x) − uB|≤ C diam(B) (Mλdiam(B)ρp (x))1/p
for almost every x ∈ B.
- Type
- Chapter
- Information
- Sobolev Spaces on Metric Measure SpacesAn Approach Based on Upper Gradients, pp. 245 - 284Publisher: Cambridge University PressPrint publication year: 2015