A local mean value theorem for functions on non-archimedean field extensions of the real numbers

Research Articles


In this paper, we review the definition and properties of locally uniformly differentiable functions on N, a non-Archimedean field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. Then we define and study n-times locally uniform differentiable functions at a point or on a subset of N. In particular, we study the properties of twice locally uniformly differentiable functions and we formulate and prove a local mean value theorem for such functions.


non-Archimedean calculus non-Archimedean ordered field locally uniformly differentiable functions inverse function theorem intermediate value theorem mean value theorem 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Berz, “Calculus and numerics on Levi-Civita fields,” in Computational Differentiation: Techniques, Applications, and Tools, M. Berz, C. Bischof, G. Corliss and A. Griewank, editors, 19–35 (SIAM, Philadelphia, 1996).Google Scholar
  2. 2.
    H. Hahn, “Über die nichtarchimedischen Größensysteme,” Sitzungsbericht der Wiener Akademie der Wissenschaften Abt. 2a 117, 601–655 (1907).MATHGoogle Scholar
  3. 3.
    W. Krull, “Allgemeine Bewertungstheorie,” J. Reine Angew.Math. 167, 160–196 (1932).MathSciNetMATHGoogle Scholar
  4. 4.
    T. Levi-Civita, “Sugli infiniti ed infinitesimi attuali quali elementi analitici,” Atti Ist. Veneto di Sc., Lett. ed Art. 7a, 4, 1765 (1892).MATHGoogle Scholar
  5. 5.
    T. Levi-Civita, “Sui numeri transfiniti,” Rend. Acc. Lincei 5a, 7 (91), 113 (1898).MATHGoogle Scholar
  6. 6.
    S. MacLane, “The universality of formal power series fields,” Bull. Amer.Math. Soc. 45, 888 (1939).MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    S. Priess-Crampe, Angeordnete Strukturen: Gruppen, Körper, projektive Ebenen (Springer, Berlin, 1983).CrossRefMATHGoogle Scholar
  8. 8.
    F. J. Rayner, “Algebraically closed fields analogous to fields of Puiseux series,” J. London Math. Soc. 8, 504–506 (1974).MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    P. Ribenboim, “Fields: Algebraically closed and others,” Manuscr. Math. 75, 115–150 (1992).MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    A. Robinson, Non-Standard Analysis (North-Holland, 1974).Google Scholar
  11. 11.
    W. H. Schikhof, Ultrametric Calculus: An Introduction to p-Adic Analysis (Cambridge Univ. Press, 1985).CrossRefMATHGoogle Scholar
  12. 12.
    Ya. D. Sergeyev, “Numerical point of view on calculus for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains,” Nonlin. Anal. Ser. A: Theo.Meth. Appl. 71 (12), 1688–1707 (2009).MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Ya. D. Sergeyev, “Higher order numerical differentiation on the infinity computer,” Optim. Lett. 5 (4), 575–585 (2011).MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Ya. D. Sergeyev, “Solving ordinary differential equations by working with infinitesimals numerically on the infinity computer,” Appl.Math. Comput. 219 (22), 10668–10681 (2013).MathSciNetMATHGoogle Scholar
  15. 15.
    K. Shamseddine, “Analysis on the Levi-Civita field and computational applications,” J. Appl. Math. Comp. 255, 44–57 (2015).MathSciNetCrossRefGoogle Scholar
  16. 16.
    K. Shamseddine and M. Berz, “Exception handling in derivative computation with non-Archimedean calculus,” in Computational Differentiation: Techniques, Applications and Tools, M. Berz, C. Bischof, G. Corliss and A. Griewank, editors, 37–51 (SIAM, Philadelphia, 1996).Google Scholar
  17. 17.
    K. Shamseddine and M. Berz, “Analysis on the Levi-Civita field, a brief overview,” Contemp. Math. 508, 215–237 (2010).MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    K. Shamseddine, T. Rempel and T. Sierens, “The implicit function theorem in a non-Archimedean setting,” Indag. Math. (N.S.) 20(4), 603–617 (2009).MathSciNetCrossRefMATHGoogle Scholar
  19. 19.
    K. Shamseddine and T. Sierens, “On locally uniformly differentiable functions on a complete non-Archimedean ordered field extension of the real numbers,” ISRN Math. Anal. 2012, 20 pages (2012).Google Scholar
  20. 20.
    N. Vakil, Real Analysis through Modern Infinitesimals (Cambridge Univ. Press, 2011).CrossRefMATHGoogle Scholar

Copyright information

© Pleiades Publishing, Ltd. 2016

Authors and Affiliations

  1. 1.Department of Physics and AstronomyUniversity of Manitoba WinnipegManitobaCanada

Personalised recommendations