Weierstrass-like functions on local fields and their \(p\)-adic derivatives (Q2497606)

Let \(K_p\) be a \(p\)-series local field, where \(p\) is a prime number; see \textit{M. H. Taibleson} [``Fourier analysis on local fields'' (1975; Zbl 0319.42011)], and let \(B_k=\{x\in K_p:\) \(| x| \leq p^{-k}\}\) be a ball in \(K_p\) with center in 0. Define a function \(g_p(x): K_p\to \mathbb{C}\), \(x=\sum_{j=s}^{+\infty} x_j \beta^j\), \[ g_p(x) =\sum_{j=s}^{+\infty} x_j \lambda^j , \quad 0<\lambda<1,\;\lambda\in\mathbb{R}. \] The differentiability and integrability of \(g\) are studied. The integrals and derivatives are understood in the following way [\textit{W. Su}, Sci. China, Ser. A 35, No. 7, 826--836 (1992; Zbl 0774.43006)] for a Haar measurable function \(f\) on \(K_p\), the functions \[ f^{\langle m\rangle}(x)=\int_{K_p}\langle \xi\rangle^m \int_{K_p} f(t)\overline{\chi}_\xi(t-x)\,dt\,d\xi,\quad f_{\langle m\rangle}(x)=\int_{K_p}\langle \xi\rangle^{-m} \int_{K_p} f(t)\overline{\chi}_\xi(t-x)\,dt\,d\xi\tag{e1} \] are called the pointwise derivative and integral of \(f\), respectively. Here \(\langle \xi\rangle=\max\{1,| \xi| \}\), \(m\geq 0\), and \(\chi_\xi(x)=\chi(\xi x)=\exp\{\frac{2\pi i}{p}\sum_j x_j \xi_{-1-j}\}\) is a fixed character of \(K_p\). Also, the differentiation in the sense of \textit{W. Zheng} [Rocky Mt. J. Math. 15, 801--815 (1985; Zbl 0608.41023)] is considered: If \[ \triangle_N f(x)=\sum_{j=-N+t}^{N+t}p^{-j}\sum_{v=1}^{p-1} \sum_{l=0}^{p-1}e^{-2\pi ivl/p} f(x+l\beta^{-j}), \] then \[ f^{\langle 1\rangle}(x):=\lim_{N\to \infty}\triangle_N f(x)\tag{e2} \] is called the \(p\)-adic derivative of \(f\). First, the case \(p=2\) is treated. The authors prove, that the function \(g(x)\), \(x\in B_1\), is continuous on \(B_1\), infinitely integrable and \(m\)-order differentiable \((m<1)\) in the sense (e1), and found \(g^{\langle m\rangle}(x)\); also, there is no 1-derivative at any point of \(B_1\) for \(g\). Then, it is shown, that the 1-derivative (in the sense of (e2)) does not exists at any point of \(B_1\). Further, the results above are generalized to an arbitrary prime \(p\).