Rademacher's theorem
In mathematical analysis, Rademacher's theorem, named after Hans Rademacher, states the following: If U is an open subset of Rn and f: U → Rm is Lipschitz continuous, then f is differentiable almost everywhere in U; that is, the points in U at which f is not differentiable form a set of Lebesgue measure zero. Differentiability here refers to infinitesimal approximability by a linear map, which in particular asserts the existence of the coordinate-wise partial derivatives.
Sketch of proof
The one-dimensional case of Rademacher's theorem is a standard result in introductory texts on measure-theoretic analysis.[1] In this context, it is natural to prove the more general statement that any single-variable function of bounded variation is differentiable almost everywhere. (This one-dimensional generalization of Rademacher's theorem fails to extend to higher dimensions.)
One of the standard proofs of the general Rademacher theorem was found by
The second step of Morrey's proof establishes the linear dependence of the v-directional derivative of u upon v. This is based upon the following identity:
Using the Lipschitz assumption on u, the
At this point in the proof, the gradient (defined as the n-tuple of partial derivatives) is guaranteed to exist almost everywhere; for each v, the dot product with v equals the v-directional derivative almost everywhere (although perhaps on a smaller set). Hence, for any countable collection of unit vectors v1, v2, ..., there is a single set E of measure zero such that the gradient and each vi-directional derivative exist everywhere on the complement of E, and are linked by the dot product. By selecting v1, v2, ... to be dense in the unit sphere, it is possible to use the Lipschitz condition to prove the existence of every directional derivative everywhere on the complement of E, together with its representation as the dot product of the gradient with the direction.
Morrey's proof can also be put into the context of
Applications
Rademacher's theorem can be used to prove that, for any p ≥ 1, the Sobolev space W1,p(Ω) is preserved under a bi-Lipschitz transformation of the domain, with the chain rule holding in its standard form.[5] With appropriate modification, this also extends to the more general Sobolev spaces Wk,p(Ω).[6]
Rademacher's theorem is also significant in the study of
Generalizations
There is a version of Rademacher's theorem that holds for Lipschitz functions from a Euclidean space into an arbitrary metric space in terms of metric differentials instead of the usual derivative.
See also
References
- ^ Federer 1969, Theorem 2.9.19; Folland 1999, Section 3.5; Rudin 1987, Chapter 7.
- ^ Evans & Gariepy 2015, Section 3.1; Simon 1983, Section 2.1; Villani 2009, Theorem 10.8(ii); Ziemer 1989, Section 2.2.
- ^ Morrey 1966, Theorem 3.1.6.
- ^ Federer 1969, Section 3.1.
- ^ Ziemer 1989, Theorem 2.2.2.
- ^ Morrey 1966, Theorem 3.1.7.
- ^ Evans & Gariepy 2015, p. 151; Ziemer 1989, pp. 243, 249, 281.
- ^ Villani 2009, Theorem 14.25.
- ^ a b Evans & Gariepy 2015, Section 4.2; Heinonen 2001, Section 6.
Sources
- Zbl 1310.28001.
- Zbl 0176.00801.
- Zbl 0924.28001.
- Zbl 0985.46008.
- Zbl 1213.49002.
- MR 1511935.
- Zbl 0925.00005.
- Zbl 0546.49019.
- Zbl 1156.53003.
- Ziemer, William P. (1989). Weakly differentiable functions. Sobolev spaces and functions of bounded variation. Zbl 0692.46022.
External links
- Heinonen, Juha (2004). "Lectures on Lipschitz Analysis" (PDF). Lectures at the 14th Jyväskylä Summer School in August 2004. (Rademacher's theorem with a proof is on page 18 and further.)