\(p\)-adic Euler-Maclaurin expansions (Q1815090)

Let \(K,X\) and \(B(X)\) be a complete non-archimedean valued field, a compact subset of \(K\) and the \(K\)-Banach space of the bounded \(K\)-valued functions on \(X\) respectively. For the operator \(A\) on \(B(X)\): \((Af)(x)= \sum_{j\in J} a_jf(cx+j)\) where \(\sum_{j \in J} a_j=1\), \(0<|c|<1\), it is shown that for sufficiently smooth functions \(f\), \(A^mf\) converges to a constant function and the asymptotic behavior is described by an Euler-Maclaurin expansion in polynomial eigenfunctions of \(A\).