Universal \(p\)-adic series (Q627266)

The author proves the existence of a sequence \(\{ a_n\}\) of \(p\)-adic numbers such that for any continuous function \(g\) on \(\mathbb Z_p\) with values in \(\mathbb Q_p\), such that \(g(0)=0\), there exists a sequence \(\{ \lambda_n\}\) of natural numbers for which \[ \sup_{x\in \mathbb Z_p}\left| \sum_{n=1}^{\lambda_k}a_nx^n-g(x)\right|_p\to 0,\quad k\to \infty . \] Moreover, the set of such sequences \(\{ a_n\}\) is \(G_\delta\) and dense in \(\mathbb Q_p^{\mathbb N}\). For results of this kind in the context of real analysis see the surveys of \textit{K.-G. Grosse-Erdmann} [Bull. Am. Math. Soc., New Ser. 36, No. 3, 345--381 (1999; Zbl 0933.47003)] and \textit{J.-P. Kahane} [J. Anal. Math. 80, 143--182 (2000; Zbl 0961.42001)].