No label defined (Q4357445)

Let \({\mathcal D}(\mathbb{Q}_p)\) be the space of all complex-valued locally constant functions with compact support in the \(p\)-adic number field \(\mathbb{Q}_p\), let \(dx\) be the real-valued Haar measure normalized by \(\int_{\mathbb{Z}_p}dx=1\). For \(\alpha>0\) the fractional differential operator \(D^\alpha:{\mathcal D}(\mathbb{Q}_p)\to L^2(\mathbb{Q}_p)\), introduced by \textit{V. S. Vladimirov} [Usp. Mat. Nauk 43, No. 5(263), 17-53 (1988; Zbl 0678.46053); ``\(p\)-adic analysis and mathematical physics'' (1994; Zbl 0812.46076)] admits a hyper-singular integral representation \[ (D^\alpha\varphi)(x)= {1-p^\alpha\over 1-p^{-\alpha-1}} \int_{\mathbb{Q}_p} |y|^{-\alpha-1}_p[\varphi(x- y)-\varphi(x)] dy.\tag{\(*\)} \] Now let \(U_p:=\{x\in \mathbb{Q}_p:|x|_p=1\}\). In a natural way \({\mathcal D}(U_p)\) can be identified with a subspace of \({\mathcal D}(\mathbb{Q}_p)\). The operator \(D^\alpha_*: L^2(U_p)\to L^2(U_p)\) is defined as the natural extension of the restriction of \(D^\alpha\) to \({\mathcal D}(U_p)\). In the paper a formula in the spirit of \((*)\) for \(\varphi\in{\mathcal D}(U_p)\) is proved but now based upon the multiplicative structure of \(U_p\): \[ (D^\alpha_*\varphi)(x)= {1-p^\alpha\over 1-p^{-\alpha-1}} \int_{U_p}|1-y|^{\alpha-1}_p[\varphi(xy^{-1})- \varphi(x)] dy+ \lambda_0\varphi(x).\tag{\(**\)} \] The expressions \((*)\) and \((**)\) are applied to describe the solution of the Cauchy problem \[ {\partial u(x,t)\over\partial t}+ (D^\alpha_*u)(x,t)- \lambda_0u(x,t)= 0;\quad u(x,0)= \varphi(x)\quad (x\in U_p) \] when \(\varphi\in {\mathcal D}(U_p)\). For the entire collection see [Zbl 0869.00037].