Hostname: page-component-78c5997874-fbnjt Total loading time: 0 Render date: 2024-11-18T14:22:40.715Z Has data issue: false hasContentIssue false
  • English
  • Français

Logical aspects of rates of convergence in metric spaces

Published online by Cambridge University Press:  12 March 2014

Eyvind Martol Briseid
Eyvind Martol Briseid*
Affiliation:
Technische Universität Darmstadt, Department of Mathematics, Schlossgartenstrasse 7, 64289 Darmstadt., Germany, E-mail: briseid@mathematik.tu-darmstadt.de
Get access Rights & Permissions [Opens in a new window]

Abstract

In this paper we develop a method for finding, under general conditions, explicit and highly uniform rates of convergence for the Picard iteration sequences for selfmaps on bounded metric spaces from ineffective proofs of convergence to a unique fixed point. We are able to extract full rates of convergence by extending the use of a logical metatheorem recently proved by Kohlenbach. In recent case studies we were able to find such explicit rates of convergence in two concrete cases. Our novel method now provides an explanation in logical terms for these findings. This amounts, loosely speaking, to general conditions under which we in this specific setting can transform a ∀∃∀-sentence into a ∀∃-sentence via an argument involving product spaces. This reduction in logical complexity allows us to use the existing machinery to extract quantitative bounds of the sort we need.

Keywords

Metric fixed point theoryrates of convergenceproof mining
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 74 , Issue 4 , December 2009 , pp. 1401 - 1428
Copyright
Copyright © Association for Symbolic Logic 2009

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

REFERENCES

[1]Arandelović, Ivan D., On a fixed point theorem of Kirk, Journal of Mathematical Analysis and Applications, vol. 301 (2005), pp. 384–385.CrossRefGoogle Scholar
[2]Arandelović, Ivan D. and Petković, Dojšin S., Note on fixed point theorem of Chen, Fixed Point Theory, vol. 8 (2007), no. 2, pp. 161–166.Google Scholar
[3]Arav, Marina, Santos, Francisco Eduardo Castillo, Reich, Simeon, and Zaslavski, Alexander J., A note on asymptotic contractions, Fixed Point Theory and Applications, (2007), 6 pages, Article ID 39465.Google Scholar
[4]Arav, Marina, Reich, Simeon, and Zaslavski, Alexander J., Uniform convergence of iterates for a class of asymptotic contractions, Fixed Point Theory, vol. 8 (2007), no. 1, pp. 3–9.Google Scholar
[5]Bezem, Marc, Strongly majorizable functionals of finite type: A model for bar recursion containing discontinuous functionals, this Journal, vol. 50 (1985), no. 3, pp. 652–660.Google Scholar
[6]Briseid, Eyvind Martol, Proof mining applied to fixed point theorems for mappings of contractive type, Master's thesis, University of Oslo, 2005.Google Scholar
[7]Briseid, Eyvind Martol, A rate of convergence for asymptotic contractions, Journal of Mathematical Analysis and Applications, vol. 330 (2007), pp. 364–376.CrossRefGoogle Scholar
[8]Briseid, Eyvind Martol, Some results on Kirk's asymptotic contractions, Fixed Point Theory, vol. 8 (2007), no. 1, pp. 17–27.Google Scholar
[9]Briseid, Eyvind Martol, Addendum to the paper: Some results on Kirk's asymptotic contractions, Fixed Point Theory, vol. 8 (2007), no. 2, pp. 321–322.Google Scholar
[10]Briseid, Eyvind Martol, Fixed points of generalized contractive mappings, Journal of Nonlinear and Convex Analysis, vol. 9 (2008), no. 2, pp. 181–204.Google Scholar
[11]Briseid, Eyvind Martol, A new uniformity for asymptotic contractions in the sense of Kirk, International Journal of Mathematics and Statistics (Special Issue on Nonlinear Functional Analysis and Its Applications), vol. 6 (2010), no. S10, pp. 2–13.Google Scholar
[12]Chen, Yong-Zhuo, Asymptotic fixed points for nonlinear contractions, Fixed Point Theory and Applications, (2005), no. 2, pp. 213–217.Google Scholar
[13]Collaço, Paula and Silva, Jaime Carvalho e, A complete comparison of 25 contraction conditions, Nonlinear Analysis, vol. 30 (1997), pp. 471–476.CrossRefGoogle Scholar
[14]Gerhardy, Philipp, A quantitative version of Kirk's fixed point theorem for asymptotic contractions, Journal of Mathematical Analysis and Applications, vol. 316 (2006), pp. 339–345.CrossRefGoogle Scholar
[15]Gerhardy, Philipp and Kohlenbach, Ulrich, General logical metatheorems for functional analysis, Transactions of the American Mathematical Society, vol. 360 (2008), pp. 2615–2660.CrossRefGoogle Scholar
[16]Gödel, Kurt, Über eine bisher noch nicht benützte Erweiterung des finites Standpunktes, Dialectica, vol. 12 (1958), pp. 280–287.CrossRefGoogle Scholar
[17]Howard, William A., Appendix: Hereditarily majorizable functionals of finite type, Metamathematical investigation of intuitionistic arithmetic and analysis (Berlin-New York) (Troelstra, Anne Sjerp, editor), Lecture Notes in Mathematics, vol. 344, Springer-Verlag, 1973, pp. 454–461.Google Scholar
[18]Jachymski, Jacek R. and Jóźwik, Izabela, On Kirk's asymptotic contractions, Journal of Mathematical Analysis and Applications, vol. 300 (2004), pp. 147–159.CrossRefGoogle Scholar
[19]Kincses, János and Totik, Vilmos, Theorems and counterexamples on contractive mappings, Mathematica Balkanica, New Series, vol. 4 (1990), pp. 69–90.Google Scholar
[20]Kirk, William Art, Fixed points of asymptotic contractions, Journal of Mathematical Analysis and Applications, vol. 277 (2003), pp. 645–650.CrossRefGoogle Scholar
[21]Kleene, Stephen Cole, Recursive functionals and quantifiers of finite types, Transactions of the American Mathematical Society, vol. 91 (1959), pp. 1–52.Google Scholar
[22]Kohlenbach, Ulrich, Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebychejf approximation, Annals of Pure and Applied Logic, vol. 64 (1993), pp. 27–94.CrossRefGoogle Scholar
[23]Kohlenbach, Ulrich, Some logical metatheorems with applications in functional analysis, Transactions of the American Mathematical Society, vol. 357 (2005), pp. 89–128.CrossRefGoogle Scholar
[24]Kohlenbach, Ulrich, A logical uniform boundedness principle for abstract metric and hyperbolic spaces, Electronic Notes in Theoretical Computer Science, vol. 165 (2006), pp. 81–93.CrossRefGoogle Scholar
[25]Kohlenbach, Ulrich, Applied proof theory: Proof interpretations and their use in mathematics, Springer Monographs in Mathematics, Springer, Berlin and Heidelberg, 2008.Google Scholar
[26]Kohlenbach, Ulrich, Effective uniform bounds from proofs in abstract functional analysis, New computational paradigms: Changing conceptions of what is computable (Cooper, B., Löwe, B., and Sorbi, A., editors), Springer, 2008, pp. 223–258.CrossRefGoogle Scholar
[27]Kohlenbach, Ulrich and Oliva, Paulo, Proof mining: A systematic way of analyzing proofs in mathematics, Proceedings of the Steklov Institute of Mathematics, vol. 242 (2003), pp. 136–164.Google Scholar
[28]Razani, Abdolrahman, Nabizadeh, E., Mohamadi, M. Beyg, and Pour, S. Homaei, Fixed points of nonlinear and asymptotic contractions in the modular space, Abstract and Applied Analysis, vol. 2007 (2007), 10 pages, Article ID 40575.CrossRefGoogle Scholar
[29]Rhoades, Billy E., A comparison of various definitions of contractive mappings, Transactions of the American Mathematical Society, vol. 226 (1977), pp. 257–290.CrossRefGoogle Scholar
[30]Suzuki, Tomonari, Fixed-point theorem for asymptotic contractions of Meir-Keeler type in complete metric spaces, Nonlinear Analysis, vol. 64 (2006), pp. 971–978.CrossRefGoogle Scholar
[31]Suzuki, Tomonari, A definitive result on asymptotic contractions, Journal of Mathematical Analysis and Applications, vol. 335 (2007), pp. 707–715.CrossRefGoogle Scholar
[32]Włodarczyk, Kazimierz, Klim, Dorota, and Plebaniak, Robert, Existence and uniqueness of endpoints of closed set-valued asymptotic contractions in metric spaces, Journal of Mathematical Analysis and Applications, vol. 328 (2007), pp. 46–57.CrossRefGoogle Scholar
[33]Xu, Hong-Kun, Asymptotic and weakly asymptotic contractions, Indian Journal of Pure and Applied Mathematics, vol. 36 (2005), no. 3, pp. 145–150.Google Scholar