In 1983, Zalinescu showed that the squared norm of a uniformly convex normed space is uniformly convex on bounded subsets. We extend this result to the metric setting of uniformly convex hyperbolic spaces. We derive applications to the convergence of shadow sequences and to proximal minimization

Contact details are reproduced from the original publication and may be historical.

Andrei Sipoş

(1) Research Center for Logic, Optimization and Security (LOS), Dept. of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest, Romania
(2) Simion Stoilow Institute of Mathematics of the Romanian Academy, Bucharest, Romania
(3) Institute for Logic and Data Science, Bucharest, Romania

andrei.sipos@fmi.unibuc.ro
  1. A. D. Aleksandrov: A theorem on triangles in a metric space and some of its applications, Trudy Math. Inst. Steklov 38 (1951) 4–231.Google Scholar
  2. M. Bačák: Convex Analysis and Optimization in Hadamard Spaces, De Gruyter, Berlin (2014).https://doi.org/10.1515/9783110361629Google Scholar
  3. M. Bačák, U. Kohlenbach: On proximal mappings with Young functions in uniformly convex Banach spaces, J. Convex Analysis 25 (2018) 1291–1318.https://doi.org/10.68381/jca25079Google Scholar
  4. H. Bauschke, P. Combettes: Convex Analysis and Monotone Operator Theory in Hilbert Spaces, 2nd ed., Springer, Berlin (2017).https://doi.org/10.1007/978-3-319-48311-5Google Scholar
  5. J. A. Clarkson: Uniformly convex spaces, Trans. Amer. Math. Soc. 40/3 (1936) 415–420.https://doi.org/10.1090/S0002-9947-1936-1501881-6Google Scholar
  6. P. Firmino, L. Leuştean: Rates of (T-)asymptotic regularity of the generalized Krasnoselskii-Mann-type iteration, to appear in Portugaliae Math. 83/3-4 (2026) 187–205.https://doi.org/10.4171/pm/2148Google Scholar
  7. K. Goebel, W. A. Kirk: Iteration processes for nonexpansive mappings, in: Topological Methods in Nonlinear Functional Analysis, S. P. Singh et al. (eds.), American Mathematical Society, Providence (1983) 115–123.https://doi.org/10.1090/conm/021/729507Google Scholar
  8. K. Goebel, S. Reich: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings, Marcel Dekker, New York (1984).Google Scholar
  9. M. Gromov: Hyperbolic groups, in: Essays in Group Theory, S. M. Gersten (ed.), Math. Sci. Res. Inst. Publ. 8, Springer, New York (1987) 75–264.https://doi.org/10.1007/978-1-4613-9586-7_3Google Scholar
  10. J. Jost: Convex functionals and generalized harmonic maps into spaces of non positive curvature, Comment. Math. Helvetici 70 (1995) 659–673.https://doi.org/10.1007/BF02566027Google Scholar
  11. U. Kohlenbach: Some logical metatheorems with applications in functional analysis, Trans. Amer. Math. Soc. 357/1 (2005) 89–128.https://doi.org/10.1090/S0002-9947-04-03515-9Google Scholar
  12. U. Kohlenbach: Applied Proof Theory: Proof Interpretations and their Use in Mathematics, Springer Monographs in Mathematics, Springer, Berlin (2008).Google Scholar
  13. U. Kohlenbach: On quantitative versions of theorems due to F. E. Browder and R. Wittmann, Adv. Math. 226 (2011) 2764–2795.https://doi.org/10.1016/j.aim.2010.10.002Google Scholar
  14. U. Kohlenbach: Proof-theoretic methods in nonlinear analysis, in: Proceedings of the International Congress of Mathematicians 2018, Vol. 2, B. Sirakov et al. (eds.), World Scientific, Singopore (2019) 61–82.https://doi.org/10.1142/9789813272880_0045Google Scholar
  15. U. Kohlenbach, L. Leuştean: Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces, J. Eur. Math. Soc. 12 (2010) 71–92.https://doi.org/10.4171/jems/190Google Scholar
  16. U. Kohlenbach, A. Nicolae: A proof-theoretic bound extraction theorem for CAT(κ)-spaces, Studia Logica 105/3 (2017) 611–624.https://doi.org/10.1007/s11225-016-9702-zGoogle Scholar
  17. U. Kohlenbach, A. Sipoş: The finitary content of sunny nonexpansive retractions, Commun. Contemp. Math. 23/1 (2021), art.no. 1950093, 63p.https://doi.org/10.1142/S0219199719500937Google Scholar
  18. G. Kreisel: On the interpretation of non-finitist proofs. II: Interpretation of number theory, applications, J. Symbolic Logic 17 (1952) 43–58.https://doi.org/10.2307/2267457Google Scholar
  19. L. Leuştean: A quadratic rate of asymptotic regularity for CAT(0)-spaces, J. Math. Analysis Appl. 325 (2007) 386–399.https://doi.org/10.1016/j.jmaa.2006.01.081Google Scholar
  20. L. Leuştean: Nonexpansive iterations in uniformly convex W -hyperbolic spaces, in: Nonlinear Analysis and Optimization. I: Nonlinear Analysis, A. Leizarowitz et al. (eds.), Contemporary Mathematics 513, American Mathematical Society, Providence (2010) 193–209.https://doi.org/10.1090/conm/513/10084Google Scholar
  21. L. Leuştean: An application of proof mining to nonlinear iterations, Ann. Pure Appl. Logic 165 (2014) 1484–1500.https://doi.org/10.1016/j.apal.2014.04.015Google Scholar
  22. P. Pinto: Nonexpansive maps in nonlinear smooth spaces, Trans. Amer. Math. Soc. 377 (2024) 6379–6426.https://doi.org/10.1090/tran/9166Google Scholar
  23. P. Pinto, A. Sipoş: Products of hyperbolic spaces, arXiv:2408.14093 (2024).Google Scholar
  24. S. Reich: Strong convergence theorems for resolvents of accretive operators in Banach spaces, J. Math. Analysis Appl. 75 (1980) 287–292.https://doi.org/10.1016/0022-247X(80)90323-6Google Scholar
  25. S. Reich, I. Shafrir: Nonexpansive iterations in hyperbolic spaces, Nonlinear Analysis Theory Methods Appl. 15 (1990) 537–558.https://doi.org/10.1016/0362-546X(90)90058-OGoogle Scholar
  26. S. Saejung, P. Yotkaew: On ∆-convergence of iterative sequences in CAT(0) spaces, Vietnam J. Math. 48 (2020) 35–45.https://doi.org/10.1007/s10013-019-00338-6Google Scholar
  27. A. Sipoş: Effective results on a fixed point algorithm for families of nonlinear mappings, Ann. Pure Appl. Logic 168/1 (2017) 112–128.https://doi.org/10.1016/j.apal.2016.09.001Google Scholar
  28. A. Sipoş: Construction of fixed points of asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces, Numer. Funct. Analysis Optimization 42 (2021) 696–711.https://doi.org/10.1080/01630563.2021.1924780Google Scholar
  29. W. Takahashi: A convexity in metric space and nonexpansive mappings I, Kodai Math. Sem. Reports 22 (1970) 142–149.https://doi.org/10.2996/kmj/1138846111Google Scholar
  30. W. Takahashi, M. Toyoda: Weak convergence theorems for nonexpansive mappings and monotone mappings, J. Optim. Theory Appl. 118 (2003) 417–428.https://doi.org/10.1023/A:1025407607560Google Scholar
  31. K.-K. Tan, H.-K. Xu: Approximating fixed points of non-expansive mappings by the Ishikawa iteration process, J. Math. Analysis Appl. 178 (1993) 301–308.https://doi.org/10.1006/jmaa.1993.1309Google Scholar
  32. T. Tao: Soft analysis, hard analysis, and the finite convergence principle, Essay posted on May 23, 2007. Appeared in: T. Tao, Structure and Randomness: Pages from Year One of a Mathematical Blog, American Mathematical Society, Providence (2008).Google Scholar
  33. T. Tao: Norm convergence of multiple ergodic averages for commuting transformations, Ergodic Theory Dyn. Systems 28 (2008) 657–688.https://doi.org/10.1017/S0143385708000011Google Scholar
  34. H.-K. Xu: Inequalities in Banach spaces with applications, Nonlinear Analysis 16 (1991) 1127–1138.https://doi.org/10.1016/0362-546X(91)90200-KGoogle Scholar
  35. Z.-B. Xu, G. F. Roach: Characteristic inequalities of uniformly convex and uniformly smooth Banach spaces, J. Math. Analysis Appl. 157/1 (1991) 189–210.https://doi.org/10.1016/0022-247X(91)90144-OGoogle Scholar
  36. C. Zălinescu: On uniformly convex functions, J. Math. Analysis Appl. 95/2 (1983) 344–374.https://doi.org/10.1016/0022-247X(83)90112-9Google Scholar

A. Sipoş. “On the Uniform Convexity of the Squared Distance.” Journal of Convex Analysis 34 (2027), No. 1, 120–135. https://doi.org/10.68381/jca34009