Almansi theorem and mean value formula for quaternionic slice-regular functions (Q2204140)

In this work the author proves an Almansi-type theorem for slice-regular functions of a quaternionic variable (Theorem 4). In details, given \(f\) a slice-regular function on a circular set \(\Omega\), the author proves the existence of two unique quaternionic-valued zonal harmonic functions \(h_1, h_2\) with pole \(1\) such that \[ f(x)=h_1(x)-\overline{x}h_2(x)\quad \forall x\in\Omega. \] It is also possible to compute explicitly the functions \(h_1\) and \(h_2\). As a consequence of this result it is possible to apply classical results for harmonic functions in \(\mathbb R^4\) and to obtain a mean-value property for slice-regular functions and Poisson-type formulas for three-dimensional spheres (Proposition 2 and Proposition 3). Similar results for slice-regular functions on real Clifford algebras \(\mathbb R_n\) are proved by the author in [``Almansi-type theorems for slice-regular functions on Clifford algebras'', Complex Var. Elliptic Equ. (to appear), \url{https://doi.org/10.1080/17476933.2020.1755967}].