 Mahler coefficient

For a continuous function $f:{\mathbb{Z}}_p\to {\mathbb{Q}}_p$, its nth Mahler coefficient isThis is the explicit iterate of the forward difference operator. These coefficients are exactly those of its Mahler expansion.