A Weaker Smoothness Criterion for the Inverse Function Theorem, the Intermediate Value Theorem, and the Mean Value Theorem in a non-Archimedean Setting
Shamseddine, K.,Shalev, A.
DOI: https://doi.org/10.1134/S2070046622050041
2023-03-24
P-Adic Numbers, Ultrametric Analysis, and Applications
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, , 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 condition for twice-differentiable functions. We show that VWLUD functions at a point of satisfy the mean value theorem in an interval around that point.