Abstract
We establish the sharp rate of continuity of extensions of ℝm-valued 1-Lipschitz maps from a subset A of ℝn to a 1-Lipschitz maps on ℝn. We consider several cases when there exists a 1-Lipschitz extension with preserved uniform distance to a given 1-Lipschitz map. We prove that if m > 1, then a given map is 1-Lipschitz and affine if and only if such a distance preserving extension exists for any 1-Lipschitz map defined on any subset of ℝn. This shows a striking difference from the case m = 1, where any 1-Lipschitz function has such a property. Another example where we prove it is possible to find an extension with the same Lipschitz constant and the same uniform distance to another Lipschitz map v is when the difference between the two maps takes values in a fixed one-dimensional subspace of ℝm and the set A is geodesically convex with respect to a Riemannian pseudo-metric associated with v.
Similar content being viewed by others
References
L. Aguirre Salazar and S. Reich, A remark on weakly contractive mappings, Journal of Nonlinear and Convex Analysis 16 (2015), 767–773.
A. V. Akopyan and A. Tarasov, A constructive proof of Kirszbraun’s theorem, Mathematical Notes 84 (2008), 725–728.
D. Azagra, E. Le Gruyer and C. Mudarra, Kirszbraun’s theorem via an explicit formula, Canadian Mathematical Bulletin 64 (2021), 142–153.
S. Bartz and S. Reich, Abstract convex optimal antiderivatives, Annales de l’Institut Henri Poincaré. Analyse Non Linéaire 29 (2012), 435–454.
H. Bauschke, Fenchel duality, Fitzpatrick functions and the extension of firmly non-expansive mappings, Proceedings of the American Mathematical Society 135 (2007), 135–139.
H. Bauschke and X. Wang, Firmly nonexpansive and Kirszbraun-Valentine extensions: a constructive approach via monotone operator theory, in Nonlinear Analysis and Optimization I. Nonlinear Analysis, Contemporary Mathematics, Vol. 513, American Mathematical Society, Providence, RI, 2010, pp. 55–64.
U. Brehm, Extensions of distance reducing mappings to piecewise congruent mappings on Rm, Journal of Geometry 16 (1981), 187–193.
Y. Brudnyi and P. Shvartsman, Whitney’s extension problem for multivariate C1,ω — functions, Transactions of the American Mathematical Society 353 (2001), 2487–2512.
K. J. Ciosmak, Leaves decompositions in Euclidean spaces, Journal de Mathématiques Pures et Appliquées, in press, https://doi.org/10.1016/j.matpur.2021.08.003.
K. J. Ciosmak, Optimal transport of vector measures, https://arxiv.org/abs/2108.07201.
B. Dacorogna and W. Gangbo, Extension theorems for vector valued maps, Journal de Mathématiques Pures et Appliquées 85 (2006), 313–344.
L. C. Evans and R. F. Gariepy, Measure Theory and Fine Properties of Functions, Studies in Advanced Mathematics, CRC Press, Boca Raton, FL, 1992.
C. L. Fefferman, A sharp form of Whitney’s extension theorem, Annals of Mathematics 161 (2005), 509–577.
C. L. Fefferman, Whitney’s extension problem for Cm, Annals of Mathematics 164 (2006), 313–359.
C. L. Fefferman, Cm extension by linear operators, Annals of Mathematics 166 (2007), 779–835.
C. L. Fefferman, Whitney’s extension problems and interpolation of data, Bulletin of the American Mathematical Society 46 (2009), 207–220.
M. Kirszbraun, über die zusammenziehende und Lipschitzsche Transformationen, Fundamenta Mathematicae 22 (1934), 77–108.
B. Klartag, Needle decompositions in Riemannian geometry, Memoirs of the American Mathematical Society 249 (2017).
E. Kopecká, Bootstrapping Kirszbraun’s extension theorem, Fundamenta Mathematicae 217 (2012), 13–19.
E. Kopecká, Extending Lipschitz mappings continuously, Journal of Applied Analysis 18 (2012), 167–177.
E. Kopecká and S. Reich, Continuous extension operators and convexity, Nonlinear Analysis 74 (2011), 6907–6910.
U. Lang and V. Schroeder, Kirszbraun’s theorem and metric spaces of bounded curvature, Geometric and Functional Analysis 7 (1997), 535–560.
E. Le Gruyer, Minimal Lipschitz extensions to differentiable functions defined on a Hilbert space, Geometric and Functional Analysis 19 (2009), 1101–1118.
E. Le Gruyer and T. V. Phan, Sup-inf explicit formulas for minimal Lipschitz extensions for 1-fields on ℝn, Journal of Mathematical Analysis and Applications 424 (2015), 1161–1185.
E. Matoušková, S. Reich and A. J. Zaslavski, Genericity in nonexpansive mapping theory, in Advanced Courses of Mathematical Analysis. I, World Scientific, Hackensack, NJ, 2004, pp. 81–98.
E. J. McShane, Extension of range of functions, Bulletin of the American Mathematical Society 40 (1934), 837–842.
G. J. Minty, On the extension of Lipschitz, Lipschitz-Hölder continuous, and monotone functions, Bulletin of the American Mathematical Society 76 (1970), 334–339.
S. Reich and S. Simons, Fenchel duality, Fitzpatrick functions and the Kirszbraun-Valentine extension theorem, Proceedings of the American Mathematical Society 133 (2005), 2657–2660.
I. J. Schoenberg, On a theorem of Kirzbraun and Valentine, The American Mathematical Monthly 60 (1953), 620–622.
S. Sheffield and C. K. Smart, Vector-valued optimal Lipschitz extensions, Communications on Pure and Applied Mathematics 65 (2012), 128–154.
F. A. Valentine, A Lipschitz condition preserving extension for a vector function, American Journal of Mathematics 67 (1945), 83–93.
C. Villani, Topics in Optimal Transportation, Graduate Studies in Mathematics, Vol. 58, American Mathematical Society, Providence, RI, 2003.
C. Villani, Optimal Transport, Grundlehren der Mathematischen Wissenschaften, Vol. 338, Springer, Berlin, 2009.
H. Whitney, Analytic extensions of differentiable functions defined in closed sets, Transactions of the American Mathematical Society 36 (1934), 63–89.
Acknowledgements
The author wishes to thank Bo’az Klartag, Eva Kopecká and Vojtĕch Kaluža for useful discussions, Simeon Reich for several comments and references brought to the author’s attention and the anonymous referee for comments that allowed for an improvement of the manuscript. The financial support of St John’s College of the University of Oxford, Clarendon Fund and EPSRC is gratefully acknowledged. Part of this research was completed in Fall 2017 while the author was a member of the Geometric Functional Analysis and Application program at MSRI, supported by the National Science Foundation under Grant No. 1440140.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ciosmak, K.J. Continuity of extensions of Lipschitz maps. Isr. J. Math. 245, 567–588 (2021). https://doi.org/10.1007/s11856-021-2215-0
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-021-2215-0