Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2024-12-26T17:38:31.332Z Has data issue: false hasContentIssue false

Rearrangements and polar factorisation of countably degenerate functions

Published online by Cambridge University Press:  14 November 2011

G. R. Burton
Affiliation:
Department of Mathematical Sciences, University of Bath, Claverton Down, Bath BA2 7AY, U.K.
R. J. Douglas
Affiliation:
Department of Mathematics, University of Reading, Whiteknights, P.O. Box 220, Reading RG6 6AX, U.K.

Abstract

This paper proves some extensions of Brenier's theorem that an integrable vector-valued function u, satisfying a nondegeneracy condition, admits a unique polar factorisation u = u# ° s. Here u# is the monotone rearrangement of u, equal to the gradient of a convex function almost everywhere on a bounded connected open set Y with smooth boundary, and s is a measure-preserving mapping. We show that two weaker alternative hypotheses are sufficient for the existence of the factorisation; that u# be almost injective (in which case s is unique), or that u be countably degenerate (which allows u to have level sets of positive measure). We allow Y to be any set of finite positive Lebesgue measure. Our construction of the measure-preserving map s is especially simple.

Type
Research Article
Copyright
Copyright © Royal Society of Edinburgh 1998

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1Brenier, Y.. Polar factorisation and monotone rearrangement of vector-valued functions. Comm. Pure Appl. Math. 44 (1991), 375417.CrossRefGoogle Scholar
2Douglas, R. J.. Rearrangements of vector valued functions, with application to atmospheric and oceanic flows. SI AM J. Math. Anal. 29 (1998), 891902.CrossRefGoogle Scholar
3Gangbo, W.. An elementary proof of the polar factorization of vector-valued functions. Arch. Rational Mech. Anal. 128 (1994), 381–99.CrossRefGoogle Scholar
4Gangbo, W. and McCann, R. J.. The geometry of optimal transportation. Ada Math. 177 (1996), 113–61.Google Scholar
5Halmos, P. R.. Measure Theory (New York: Van Nostrand, 1950).CrossRefGoogle Scholar
6Hardy, G. H., Littlewood, J. E. and Pólya, G.. Inequalities (Cambridge: Cambridge University Press, 1934).Google Scholar
7Kechris, A. S.. Classical Descriptive Set Theory (New York: Springer, 1995).CrossRefGoogle Scholar
8McCann, R. J.. Existence and uniqueness of monotone measure-preserving maps. Duke Math. J. 80 (1995), 309–23.CrossRefGoogle Scholar
9Rockafellar, R. T.. Convex Analysis (Princeton, NJ: Princeton University Press, 1970).CrossRefGoogle Scholar
10Ryff, J. V.. Measure preserving transformations and rearrangements. J. Math. Anal. Appl. 31 (1970), 449–58.CrossRefGoogle Scholar