A local mean value theorem for functions on non-archimedean field extensions of the real numbers
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.
Keywordsnon-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.
- 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
- 10.A. Robinson, Non-Standard Analysis (North-Holland, 1974).Google Scholar
- 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
- 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