Fractional non-Archimedean calculus in one variable

Let ?? be a natural number. A function f: ? _p ?? K into a non-Archimedeanly valued complete field K ? ? _p is ??-times continuously differentiable if and only if its Mahler coefficients (a _n ) _n??? obey |a _n |n ^?? ?? 0 as n ?? ??. For a real number r ?? 0, this suggests the ad hoc definition by [1] of a C ^r -function f: ? _p ?? K by asking its Mahler coefficients (a _n ) _n??? to satisfy |a _n |n ^r ?? 0 as n?? ??. We will present for functions f: X ?? K on subsets X ? K without isolated points a general pointwise notion of r-fold differentiability through iterated difference quotients, subsequently shown on the domain X = ? _p to coincide with the one given above. For functions on open domains, we prove this notion to admit a handier characterization by its Taylor polynomial up to degree ?r?.