A p-adic Montel theorem and locally polynomial functions
We prove a version of both Jacobi's and Montel's Theorems for the case of continuous functions defined over the field Qp of p-adic numbers. In particular, we prove that, if Δh0m+1f(x)=0 for allx∈Qp, and ∣h0∣p=p−N0 then, for all x0∈Qp, the restriction of f over the set x0+pN0Zp coincides with a polynomial px0(x)=a0(x0)+a1(x0)x+...+am(x0)xm. Motivated by this result, we compute the general solution of the functional equation with restrictions given by {equation} Δ_h^{m+1}f(x)=0 \ \ (x\in X \text{and} h\in B_X(r)=\{x\in X:\|x\|\leq r\}), {equation} whenever f:X→Y, X is an ultrametric normed space over a non-Archimedean valued field (K,∣...∣) of characteristic zero, and Y is a Q-vector space. By obvious reasons, we call these functions uniformly locally polynomial.