On the analyticity of WLUD∞ functions of one variable and WLUD∞ functions of several variables in a complete non-Archimedean valued field

Let $\mathcal {N}$ be a non-Archimedean-ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order, and whose Hahn group is Archimedean. In this paper, we first review the properties of weakly locally uniformly differentiable (WLUD) funct...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the Edinburgh Mathematical Society 2022-08, Vol.65 (3), p.691-704
Main Author: Shamseddine, Khodr
Format: Article
Language:English
Subjects:
Completeness
Mathematical analysis
Neighborhoods
Real numbers
Taylor series
Topology
Valuation
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Let $\mathcal {N}$ be a non-Archimedean-ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order, and whose Hahn group is Archimedean. In this paper, we first review the properties of weakly locally uniformly differentiable (WLUD) functions, $k$ times weakly locally uniformly differentiable (WLUD$^{k}$) functions and WLUD$^{\infty }$ functions at a point or on an open subset of $\mathcal {N}$. Then, we show under what conditions a WLUD$^{\infty }$ function at a point $x_0\in \mathcal {N}$ is analytic in an interval around $x_0$, that is, it has a convergent Taylor series at any point in that interval. We generalize the concepts of WLUD$^{k}$ and WLUD$^{\infty }$ to functions from $\mathcal {N}^{n}$ to $\mathcal {N}$, for any $n\in \mathbb {N}$. Then, we formulate conditions under which a WLUD$^{\infty }$ function at a point $\boldsymbol {x_0} \in \mathcal {N}^{n}$ is analytic at that point.
ISSN:0013-0915
1464-3839
DOI:10.1017/S001309152200027X