Skip to main content
Top

2020 | OriginalPaper | Chapter

Generalizations of the Intermediate Value Theorem for Approximating Fixed Points and Zeros of Continuous Functions

Author : Michael N. Vrahatis

Published in: Numerical Computations: Theory and Algorithms

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Generalizations of the traditional intermediate value theorem are presented. The obtained generalized theorems are particular useful for the existence of solutions of systems of nonlinear equations in several variables as well as for the existence of fixed points of continuous functions. Based on the corresponding criteria for the existence of a solution emanated by the intermediate value theorems, generalized bisection methods for approximating fixed points and zeros of continuous functions are given. These bisection methods require only algebraic signs of the function values and are of major importance for tackling problems with imprecise (not exactly known) information.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Alefeld, G., Frommer, A., Heindl, G., Mayer, J.: On the existence theorems of Kantorovich, Miranda and Borsuk. Electron. Trans. Numer. Anal. 17, 102–111 (2004)MathSciNetMATH Alefeld, G., Frommer, A., Heindl, G., Mayer, J.: On the existence theorems of Kantorovich, Miranda and Borsuk. Electron. Trans. Numer. Anal. 17, 102–111 (2004)MathSciNetMATH
2.
go back to reference Bolzano, B.: Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werten, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege. Prague (1817) Bolzano, B.: Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werten, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege. Prague (1817)
3.
go back to reference Brouwer, L.E.J.: Über Abbildungen von Mannigfaltigkeiten. Math. Ann. 71, 97–115 (1912) Brouwer, L.E.J.: Über Abbildungen von Mannigfaltigkeiten. Math. Ann. 71, 97–115 (1912)
4.
go back to reference Cauchy, A.-L.: Cours d’Analyse de l’École Royale Polytechnique, Paris (1821). (Reprinted in Oeuvres Completes, series 2, vol. 3) Cauchy, A.-L.: Cours d’Analyse de l’École Royale Polytechnique, Paris (1821). (Reprinted in Oeuvres Completes, series 2, vol. 3)
5.
go back to reference Grapsa, T.N., Vrahatis, M.N.: Dimension reducing methods for systems of nonlinear equations and unconstrained optimization: a review. In: Katsiaris, G.A., Markellos, V.V., Hadjidemetriou, J.D. (eds.) Recent Advances in Mechanics and Related Fields - Volume in Honour of Professor Constantine L. Goudas, pp. 343–353. University of Patras Press, Patras (2003) Grapsa, T.N., Vrahatis, M.N.: Dimension reducing methods for systems of nonlinear equations and unconstrained optimization: a review. In: Katsiaris, G.A., Markellos, V.V., Hadjidemetriou, J.D. (eds.) Recent Advances in Mechanics and Related Fields - Volume in Honour of Professor Constantine L. Goudas, pp. 343–353. University of Patras Press, Patras (2003)
6.
go back to reference Heindl, G.: Generalizations of theorems of Rohn and Vrahatis. Reliable Comp. 21, 109–116 (2016)MathSciNet Heindl, G.: Generalizations of theorems of Rohn and Vrahatis. Reliable Comp. 21, 109–116 (2016)MathSciNet
7.
go back to reference Jarník, V.: Bernard Bolzano and the foundations of mathematical analysis. In: Bolzano and the Foundations of Mathematical Analysis, pp. 33–42. Society of Czechoslovak Mathematicians and Physicists, Prague (1981) Jarník, V.: Bernard Bolzano and the foundations of mathematical analysis. In: Bolzano and the Foundations of Mathematical Analysis, pp. 33–42. Society of Czechoslovak Mathematicians and Physicists, Prague (1981)
8.
go back to reference Kavvadias, D.J., Makri, F.S., Vrahatis, M.N.: Locating and computing arbitrarily distributed zeros. SIAM J. Sci. Comput. 21(3), 954–969 (1999)MathSciNetCrossRef Kavvadias, D.J., Makri, F.S., Vrahatis, M.N.: Locating and computing arbitrarily distributed zeros. SIAM J. Sci. Comput. 21(3), 954–969 (1999)MathSciNetCrossRef
9.
go back to reference Kavvadias, D.J., Makri, F.S., Vrahatis, M.N.: Efficiently computing many roots of a function. SIAM J. Sci. Comput. 27(1), 93–107 (2005)MathSciNetCrossRef Kavvadias, D.J., Makri, F.S., Vrahatis, M.N.: Efficiently computing many roots of a function. SIAM J. Sci. Comput. 27(1), 93–107 (2005)MathSciNetCrossRef
10.
go back to reference Kearfott, R.B.: A proof of convergence and an error bound for the method of bisection in \(\mathbb{R}^n\). Math. Comp. 32(144), 1147–1153 (1978)MathSciNetMATH Kearfott, R.B.: A proof of convergence and an error bound for the method of bisection in \(\mathbb{R}^n\). Math. Comp. 32(144), 1147–1153 (1978)MathSciNetMATH
11.
go back to reference Kearfott, R.B.: An efficient degree-computation method for a generalized method of bisection. Numer. Math. 32, 109–127 (1979)MathSciNetCrossRef Kearfott, R.B.: An efficient degree-computation method for a generalized method of bisection. Numer. Math. 32, 109–127 (1979)MathSciNetCrossRef
12.
go back to reference Knaster, B., Kuratowski, K., Mazurkiewicz, S.: Ein Beweis des Fixpunkt-satzes für \(n\)-dimensionale Simplexe. Fund. Math. 14, 132–137 (1929)CrossRef Knaster, B., Kuratowski, K., Mazurkiewicz, S.: Ein Beweis des Fixpunkt-satzes für \(n\)-dimensionale Simplexe. Fund. Math. 14, 132–137 (1929)CrossRef
13.
go back to reference Miranda, C.: Un’ osservatione su un theorema di Brouwer. Bollettino dell’U.M.I. 3, 5–7 (1940) Miranda, C.: Un’ osservatione su un theorema di Brouwer. Bollettino dell’U.M.I. 3, 5–7 (1940)
14.
go back to reference Mourrain, B., Vrahatis, M.N., Yakoubsohn, J.C.: On the complexity of isolating real roots and computing with certainty the topological degree. J. Complex. 18(2), 612–640 (2002)MathSciNetCrossRef Mourrain, B., Vrahatis, M.N., Yakoubsohn, J.C.: On the complexity of isolating real roots and computing with certainty the topological degree. J. Complex. 18(2), 612–640 (2002)MathSciNetCrossRef
15.
go back to reference Ortega J.M., Rheinboldt, W.C.: Iterative Solution of Nonlinear Equations in Several Variables. Classics in Applied Mathematics, vol. 30. SIAM, PA (2000) Ortega J.M., Rheinboldt, W.C.: Iterative Solution of Nonlinear Equations in Several Variables. Classics in Applied Mathematics, vol. 30. SIAM, PA (2000)
16.
go back to reference Poincaré, H.: Sur certaines solutions particulières du problème des trois corps. Comptes rendus de l’Académie des Sciences Paris 91, 251–252 (1883)MATH Poincaré, H.: Sur certaines solutions particulières du problème des trois corps. Comptes rendus de l’Académie des Sciences Paris 91, 251–252 (1883)MATH
17.
go back to reference Poincaré, H.: Sur certaines solutions particulières du problème des trois corps. Bull. Astronomique 1, 63–74 (1884)MATH Poincaré, H.: Sur certaines solutions particulières du problème des trois corps. Bull. Astronomique 1, 63–74 (1884)MATH
18.
20.
go back to reference Sikorski, K.: Optimal Solution of Nonlinear Equations. Oxford University Press, New York (2001)MATH Sikorski, K.: Optimal Solution of Nonlinear Equations. Oxford University Press, New York (2001)MATH
21.
go back to reference Sperner, E.: Neuer Beweis für die Invarianz der Dimensionszahl und des Gebietes. Abh. Math. Sem. Hamburg 6, 265–272 (1928)MathSciNetCrossRef Sperner, E.: Neuer Beweis für die Invarianz der Dimensionszahl und des Gebietes. Abh. Math. Sem. Hamburg 6, 265–272 (1928)MathSciNetCrossRef
22.
23.
go back to reference Vrahatis, M.N.: An error estimation for the method of bisection in \(\mathbb{R}^n\). Bull. Greek Math. Soc. 27, 161–174 (1986)MathSciNetMATH Vrahatis, M.N.: An error estimation for the method of bisection in \(\mathbb{R}^n\). Bull. Greek Math. Soc. 27, 161–174 (1986)MathSciNetMATH
24.
go back to reference Vrahatis, M.N.: Solving systems of nonlinear equations using the nonzero value of the topological degree. ACM Trans. Math. Softw. 14, 312–329 (1988)MathSciNetCrossRef Vrahatis, M.N.: Solving systems of nonlinear equations using the nonzero value of the topological degree. ACM Trans. Math. Softw. 14, 312–329 (1988)MathSciNetCrossRef
25.
go back to reference Vrahatis, M.N.: CHABIS: a mathematical software package for locating and evaluating roots of systems of nonlinear equations. ACM Trans. Math. Softw. 14, 330–336 (1988)MathSciNetCrossRef Vrahatis, M.N.: CHABIS: a mathematical software package for locating and evaluating roots of systems of nonlinear equations. ACM Trans. Math. Softw. 14, 330–336 (1988)MathSciNetCrossRef
27.
go back to reference Vrahatis, M.N.: A short proof and a generalization of Miranda’s existence theorem. Proc. Amer. Math. Soc. 107, 701–703 (1989)MathSciNetMATH Vrahatis, M.N.: A short proof and a generalization of Miranda’s existence theorem. Proc. Amer. Math. Soc. 107, 701–703 (1989)MathSciNetMATH
28.
go back to reference Vrahatis, M.N.: An efficient method for locating and computing periodic orbits of nonlinear mappings. J. Comput. Phys. 119, 105–119 (1995)MathSciNetCrossRef Vrahatis, M.N.: An efficient method for locating and computing periodic orbits of nonlinear mappings. J. Comput. Phys. 119, 105–119 (1995)MathSciNetCrossRef
29.
go back to reference Vrahatis, M.N.: Simplex bisection and Sperner simplices. Bull. Greek Math. Soc. 44, 171–180 (2000)MathSciNetMATH Vrahatis, M.N.: Simplex bisection and Sperner simplices. Bull. Greek Math. Soc. 44, 171–180 (2000)MathSciNetMATH
31.
go back to reference Vrahatis, M.N.: Intermediate value theorem for simplices for simplicial approximation of fixed points and zeros. Topol. Appl. (2019). Accepted for Publication Vrahatis, M.N.: Intermediate value theorem for simplices for simplicial approximation of fixed points and zeros. Topol. Appl. (2019). Accepted for Publication
32.
go back to reference Vrahatis, M.N., Androulakis, G.S., Manoussakis, G.E.: A new unconstrained optimization method for imprecise function and gradient values. J. Math. Anal. Appl. 197(2), 586–607 (1996)MathSciNetCrossRef Vrahatis, M.N., Androulakis, G.S., Manoussakis, G.E.: A new unconstrained optimization method for imprecise function and gradient values. J. Math. Anal. Appl. 197(2), 586–607 (1996)MathSciNetCrossRef
33.
go back to reference Vrahatis, M.N., Iordanidis, K.I.: A rapid generalized method of bisection for solving systems of non-linear equations. Numer. Math. 49, 123–138 (1986)MathSciNetCrossRef Vrahatis, M.N., Iordanidis, K.I.: A rapid generalized method of bisection for solving systems of non-linear equations. Numer. Math. 49, 123–138 (1986)MathSciNetCrossRef
34.
go back to reference Vrahatis, M.N., Ragos, O., Skiniotis, T., Zafiropoulos, F., Grapsa, T.N.: RFSFNS: a portable package for the numerical determination of the number and the calculation of roots of Bessel functions. Comput. Phys. Commun. 92, 252–266 (1995)CrossRef Vrahatis, M.N., Ragos, O., Skiniotis, T., Zafiropoulos, F., Grapsa, T.N.: RFSFNS: a portable package for the numerical determination of the number and the calculation of roots of Bessel functions. Comput. Phys. Commun. 92, 252–266 (1995)CrossRef
35.
go back to reference Zottou, D.-N.A., Kavvadias, D.J., Makri, F.S., Vrahatis, M.N.: MANBIS—A C++ mathematical software package for locating and computing efficiently many roots of a function: theoretical issues. ACM Trans. Math. Softw. 44(3), 1–7 (2018). Article no. 35CrossRef Zottou, D.-N.A., Kavvadias, D.J., Makri, F.S., Vrahatis, M.N.: MANBIS—A C++ mathematical software package for locating and computing efficiently many roots of a function: theoretical issues. ACM Trans. Math. Softw. 44(3), 1–7 (2018). Article no. 35CrossRef
Metadata
Title
Generalizations of the Intermediate Value Theorem for Approximating Fixed Points and Zeros of Continuous Functions
Author
Michael N. Vrahatis
Copyright Year
2020
DOI
https://doi.org/10.1007/978-3-030-40616-5_17

Premium Partner