No label defined (Q4357436)

In a previous paper [\textit{M. Endo}, Comment. Math. Univ. St. Pauli 32, 109-130 (1983; Zbl 0515.12013)] the author introduced a \(p\)-adic distribution \(\mu_f\) on \(\mathbb Z_p\) corresponding to a power series \(f\in \mathbb C_p[[x]]\) whose radius of convergence is at least 1. Let \(\varphi (s,x)\), \(s\in \mathbb Q_p,x\in \mathbb Z_p\), be an analytic function in two variables. The author shows that the function \[ \psi (s)=\int\limits_{\mathbb Z_p}\varphi (s,x) d\mu_f(x) \] is analytic. This assertion is in general wrong if \(\varphi (s,x)\) is only separately analytic in each variable. Thus the Hartogs analyticity theorem does not hold in the \(p\)-adic case. However an analog of the Hartogs theorem is valid for bounded functions \(\varphi (s,x)\). For the entire collection see [Zbl 0869.00037].