Abstract
We introduce a class of so-called very weakly locally uniformly differentiable (VWLUD) functions at a point of a general non-Archimedean ordered field extension of the real numbers, \(\mathcal{N}\), which is real closed and Cauchy complete in the topology induced by the order, and whose Hahn group is Archimedean. This new class of functions is defined by a significantly weaker criterion than that of the class of weakly locally uniformly differentiable (WLUD) functions studied in [1], which is nonetheless sufficient for a slight variation of the inverse function theorem and intermediate value theorem. Similarly, a weaker second order criterion is derived from the previously studied WLUD\(^2\) condition for twice-differentiable functions. We show that VWLUD\(^2\,\) functions at a point of \(\mathcal{N}\) satisfy the mean value theorem in an interval around that point.
References
G. Bookatz and K. Shamseddine, “Calculus on a non-archimedean field extension of the real numbers: inverse function theorem, intermediate value theorem and mean value theorem,” Contemp. Math. 704, 49–67 (2018).
A. Barr\’ia Comicheo and K. Shamseddine, “Summary on non-archimedean valued fields,” Contemp. Math. 704, 1–36 (2018).
H. Hahn, “Über die nichtarchimedischen Größensysteme,” Sitzungsbericht der Wiener Akademie der Wissenschaften Abt. 2a, 117, 601–655 (1907).
W. Krull, “Allgemeine Bewertungstheorie,” J. Reine Angew. Math. 167, 160–196 (1932).
T. Levi-Civita, “Sugli infiniti ed infinitesimi attuali quali elementi analitici,” Atti Ist. Veneto di Sc., Lett. ed Art. 7a 4, 1765 (1892).
T. Levi-Civita, “Sui numeri transfiniti,” Rend. Acc. Lincei 5a 7 (91), 113 (1898).
S. Priess-Crampe, Angeordnete Strukturen: Gruppen, Körper, projektive Ebenen (Springer, Berlin, 1983).
P. Ribenboim, “Fields: Algebraically closed and others,” Manuscr. Math. 75, 115–150 (1992).
W. H. Schikhof, Ultrametric Calculus: An Introduction to \(p\)-Adic Analysis (Cambridge University Press, 1985).
K. Shamseddine, “Analysis on the Levi-Civita field and computational applications,” J. Appl. Math. Comp. 255, 44–57 (2015).
K. Shamseddine and M. Berz, “Exception handling in derivative computation with non-Archimedean calculus,” in Computational Differentiation: Techniques, Applications, and Tools, SIAM pp. 37–51 (Philadelphia, 1996).
K. Shamseddine and M. Berz, “The differential algebraic structure of the Levi-Civita field and applications,” Int. J. Appl. Math. 3, 449–465 (2000).
K. Shamseddine and G. Bookatz, “A local mean value theorem for functions on non-Archimedean field extensions of the real numbers,” \(p\)-Adic Num. Ultrametr. Anal. Appl. 8 (2), 160–175 (2016).
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).
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 pp. (2012).
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Shamseddine, K., Shalev, A. A Weaker Smoothness Criterion for the Inverse Function Theorem, the Intermediate Value Theorem, and the Mean Value Theorem in a non-Archimedean Setting. P-Adic Num Ultrametr Anal Appl 14 (Suppl 1), S45–S58 (2022). https://doi.org/10.1134/S2070046622050041
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S2070046622050041