Arithmetic differential operators on Z_p

A. Buium, C. C. Ralph, S. R. Simanca

We prove that a function f from Z_p to itself is analytic if and only if it can be represented as f(x)=F(x, dx, ..., d^r x) where dx=(x-x^p)/p is the Fermat quotient operator and F…