Abstract
We prove an Almansi Theorem for quaternionic polynomials and extend it to quaternionic slice-regular functions. We associate to every such function f, a pair \(h_1\), \(h_2\) of zonal harmonic functions such that \(f=h_1-\bar{x} h_2\). We apply this result to get mean value formulas and Poisson formulas for slice-regular quaternionic functions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this note we prove a quaternionic Almansi-type Theorem for polynomials with quaternionic coefficients and, more generally, for slice-regular functions of a quaternionic variable (see Sect. 3 for definitions and references about this function theory).
We show that to every slice-regular function f defined on a domain \(\Omega \) of the skew field \({\mathbb {H}}\) of quaternions, it is possible to associate two uniquely defined harmonic functions \(h_1\), \(h_2\) such that \(f(x)=h_1(x)-\overline{x} h_2(x)\) on \(\Omega \). This result allows to apply well-known results of harmonic function theory on \(\mathbb {R}^4\) to obtain a mean value property for slice-regular functions and a Poisson-type formula over three-dimensional spheres. An interesting aspect of these last results is their validity over any sphere in \(\Omega \), without requiring any symmetry with respect to the real axis.
An Almansi-type Theorem for slice-regular functions on real Clifford algebras \(\mathbb {R}_n\) (also called slice-monogenic functions [3]) has been proved in [14]. The quaternionic algebra can be identified with the Clifford algebra \(\mathbb {R}_2\). However, slice-monogenic functions are naturally defined on the paravector space \(\mathbb {R}^{n+1}\). Therefore the results of [14] for \(n=2\) are related to harmonic function theory in \(\mathbb {R}^3\) instead of the one in \(\mathbb {R}^4\simeq {\mathbb {H}}\). The quaternionic results obtained in the present paper present some similarities with those obtained in [14] for \(n=4\), since slice-regular functions on \(\mathbb {R}_3\), as those on \({\mathbb {H}}\), are linked to harmonic functions of four real variables (see [13]).
We recall that similar Almansi-type decompositions have been established in other settings, for example in Clifford analysis [10], for Dunkl operators [15] and in the umbral calculus setting [4].
The paper is structured in the following way. In Sect. 2 we prove the Almansi decomposition for quaternionic polynomials, then in Sect. 3 we recall the basic notions of slice function theory on \({\mathbb {H}}\) and we prove the quaternionic Almansi Theorem for slice-regular functions. Finally, in Sect. 4 we deduce the mean value formulas and the Poisson formula for slice-regular functions.
2 An Almansi Decomposition for Quaternionic Polynomials
We consider quaternionic polynomials of the form
with quaternionic coefficients on the right and quaternionic variable \(x=x_0+ix_1+jx_2+kx_3\). It is well-known (see, e.g., [13, Theorem 3.6.3]) that the four real components of these polynomials, considered as functions of the four real variables \(x_0\), \(x_1\), \(x_2\), \(x_3\), are biharmonic with respect to the standard Laplacian \(\Delta \) of \({\mathbb {R}}^4\), i.e., \(\Delta ^2P=0\) on \({\mathbb {R}}^4\).
We recall the classical result of Emilio Almansi, published in 1899 [1], which dealt more generally with polyharmonic functions on \(\mathbb {R}^n\).
Theorem 1
(Almansi [1]). If \(\Delta ^p u=0\) on a starlike domain \(D\subseteq {\mathbb {R}}^n\) with centre 0, then there exist unique harmonic functions \(u_0,\ldots ,u_{p-1}\) in D such that
Almansi’s Theorem implies that the four real components of a quaternionic polynomial can be expressed in terms of pairs of harmonic functions. Observe that every polynomial P is more than biharmonic, since it belongs to the kernel of a third order operator. If \(\overline{\partial }_{\scriptscriptstyle CRF}\) denotes the Cauchy-Riemann-Fueter operator
then \(\overline{\partial }_{\scriptscriptstyle CRF}\Delta P=0\) (this is an expression of the generalized Fueter’s Theorem). Using the symmetry properties of quaternionic powers \(x^k\), we can refine the decomposition given by Almansi’s Theorem.
Let \(\mathbb B\) be the open unit ball in \(\mathbb {R}^4\) and let \({\mathbb {S}}^3=\partial \mathbb B\) the three-dimensional unit sphere. Let \(\mathcal Z_{k}(x,a)\) denote the real four-dimensional (solid) zonal harmonic of degree k and pole \(a\in {\mathbb {S}}^3\) (see, e.g., [2, Ch.5]). From the uniqueness properties of zonal harmonics and their invariance with respect to four-dimensional rotations, it holds \(\mathcal Z_{k}(x,a)=\mathcal Z_{k}(x\overline{a},1)\) for every \(x\in {\mathbb {H}}\) and \(a\in {\mathbb {S}}^3\). Let \(\widetilde{\mathcal Z}_k(x)\) be the real-valued zonal harmonic defined on \({\mathbb {H}}\simeq \mathbb {R}^4\) by
Remark 1
The restriction of \(\widetilde{\mathcal Z}_k(x)\) to the unit sphere \({\mathbb {S}}^3\) is equal to the Gegenbauer (or Chebyshev of the second kind) polynomial \(C^{(1)}_{k}(x_0)\), where \(x_0={\text {Re}}(x)\).
We recall the following result from [13, Corollary 3.6.7]. It gives the zonal harmonics decomposition of quaternionic powers.
Proposition 1
([13]). For every \(k\in {\mathbb {N}}\), it holds
Example 1
The first four zonal harmonics \(\widetilde{\mathcal Z}_k\) are
In the next statement we will consider polynomials in the four real variables \(x_0\), \(x_1\), \(x_2\), \(x_3\) of the form
with quaternionic coefficients \(a_k\). All these harmonic polynomials have an axial symmetry with respect to the real axis. For every orthogonal transformation T of \({\mathbb {H}}\simeq {\mathbb {R}}^4\) that fixes 1, it holds \(H\circ T=H\). These polynomials will be called zonal harmonic polynomials with pole 1.
From formula (1) we easily deduce the Almansi Theorem for quaternionic polynomials, which was already stated in [12].
Theorem 2
Let \(P\in {\mathbb {H}}[X]\) have degree \(d\ge 1\). There exist two zonal harmonic polynomials \(h_1\), \(h_2\) with pole 1, of degrees d and \(d-1\) respectively, such that
The restrictions of \(h_1\) and \(h_2\) to the unit sphere \({\mathbb {S}}^3\) are \({\mathbb {H}}\)-valued spherical harmonics depending only on \(x_0={\text {Re}}(x)\)
Proof
Let \(P(x)=\sum _{k=0}^dx^ka_k\). Formula (2) follows immediately from (1) by setting
These formulas imply immediately the last statement. \(\square \)
Example 2
Let \(P(x)=x^2=(x_0^2-x_1^2-x_2^2-x_3^2)+2x_0x_1 i+2x_0x_2j+2x_0x_3k\). Then \(h_1(x)= \widetilde{\mathcal Z}_2=3x_0^2-x_1^2-x_2^2-x_3^2\) and \(h_2(x)=\widetilde{\mathcal Z}_1=2x_0\).
Example 3
Consider the polynomial
The Almansi decomposition of P is \(P(x)=h_1(x)-\overline{x}h_2(x)\), with quaternionic-valued harmonic polynomials
Their restrictions to \({\mathbb {S}}^3\) are the quaternionic-valued spherical harmonics
3 An Almansi Decomposition for Slice-regular Functions
Polynomials \(P(x)=\sum _k x^ka_k\) with quaternionic coefficients do not belong to the kernel of the Cauchy-Riemann-Fueter operator. Instead they are examples of slice-regular functions. This function theory was introduced in 2006–2007 by Gentili and Struppa [6] for functions of one quaternionic variable. We refer to [5, 7,8,9] for precise definitions and for more properties and results about this class of functions. Here we recall only the basic facts that are necessary to state and prove the Almansi decomposition for slice-regular functions.
Slice function theory is based on the “slice” decomposition of \({\mathbb {H}}\). For each quaternion J in the sphere of imaginary units
let \(\mathbb {C}_J=\langle 1,J\rangle \simeq \mathbb {C}\) be the subalgebra generated by J. Then
A differentiable function \(f:\Omega \subseteq {\mathbb {H}}\rightarrow {\mathbb {H}}\) is called (left) slice-regular [6] on the open set \(\Omega \) if, for each \(J\in \mathbb S_{\mathbb {H}}\), the restriction \(f_{\,|\Omega \cap \mathbb {C}_J}\, : \, \Omega \cap \mathbb {C}_J\rightarrow {\mathbb {H}}\) is holomorphic with respect to the complex structure defined by left multiplication by J.
3.1 Slice Functions
Let \(D\subseteq \mathbb {C}\), invariant with respect to conjugation. If a function \(F: D\subseteq \mathbb {C}\rightarrow {\mathbb {H}}\otimes \mathbb {C}\) satisfies \(F(\overline{z})=\overline{F(z)}\) for every \(z\in D\), then F is called a stem function on D. Let \(\Omega _D=\cup _{J\in \mathbb S_{\mathbb {H}}}\Phi _J(D)\subset {\mathbb {H}}\), where for any \(J\in \mathbb S_{\mathbb {H}}\), the map \(\Phi _J:\mathbb {C}\rightarrow \mathbb {C}_J\) is the canonical isomorphism defined by \(\Phi _J(a+i b):=a+Jb\). Open domains in \({\mathbb {H}}\) of the form \(\Omega =\Omega _D\) are called circular (or axially symmetric) domains.
The stem function \(F=F_1+iF_2\) on D induces the (left) slice function \(f=\mathcal {I}(F):\Omega _D \rightarrow {\mathbb {H}}\) as follows: if \(x=\alpha +J\beta =\Phi _J(z)\in \Omega _D\cap \mathbb {C}_J\), then
Slice functions were introduced in [7]. They are exactly the quaternionic functions compatible with the slice structure of the skew-algebra \({\mathbb {H}}\), i.e., the ones corresponding to a commutative diagram for every \(J\in \mathbb S_{\mathbb {H}}\)
The slice function f is (left) slice-regular if and only if F is holomorphic. If the domain D intersects the real axis, this definition of slice regularity is equivalent to the one proposed by Gentili and Struppa [6].
The function \(f=\mathcal {I}(F)\) is called slice-preserving if \(F_1\) and \(F_2\) are real-valued. This is equivalent to the condition \(f(\overline{x})=\overline{f(x)}\) for every \(x\in \Omega _D\).
3.2 Operations on Slice Functions
Let \(\Omega =\Omega _D\) be an open circular domain in \({\mathbb {H}}\). The slice product of two slice functions \(f=\mathcal {I}(F)\), \(g=\mathcal {I}(G)\) on \(\Omega \) is defined by means of the pointwise product of the stem functions F and G
If f is slice-preserving, then \(f\cdot g\) coincides with the pointwise product of f and g. If f, g are slice-regular on \(\Omega \), then also their slice product \(f\cdot g\) is slice-regular on \(\Omega \). For example, the polynomial P(x) given in Example 3 is the slice product \(P(x)=(x-1)\cdot (x-i)\cdot (x-j)\).
The slice derivatives \(\frac{\partial f}{\partial x},\frac{\partial f\;}{\partial x^c}\) of a slice functions \(f=\mathcal {I}(F)\) are defined by means of the complex Cauchy-Riemann operators
Note that f is slice-regular on \(\Omega \) if and only if \(\frac{\partial f\;}{\partial x^c}=0\) and if f is slice-regular on \(\Omega \) then also \(\frac{\partial f}{\partial x}\) is slice-regular on \(\Omega \).
We recall other two useful concepts introduced in [7]. The function \({f}_s^\circ :\Omega \rightarrow {\mathbb {H}}\), called spherical value of f, and the function \(f'_s:\Omega \setminus \mathbb {R}\rightarrow {\mathbb {H}}\), called spherical derivative of f, are defined as
where \({\text {Im}}(x)=\frac{1}{2}(x-\overline{x})=ix_1+jx_2+kx_3\). The functions \({f}_s^\circ \) and \(f'_s\) are slice functions, constant on 2-spheres \(\mathbb S_x=\alpha +\mathbb S_{{\mathbb {H}}}\beta \) for any \(x=\alpha +J\beta \in \Omega \setminus \mathbb {R}\), such that
for every \(x\in \Omega \setminus \mathbb {R}\). For any slice-regular function f on \(\Omega \), \({f}'_s\) extends as the slice derivative \(\frac{\partial f}{\partial x}\) on \(\Omega \cap \mathbb {R}\). Note that for each \(x\in \Omega \setminus \mathbb {R}\), \({f}_s^\circ (x)\) is the spherical mean of f on \(\mathbb S_x\), while \(f'_s(x)\) is the spherical mean of the function \({\text {Im}}(x)^{-1}f(x)\) on \(\mathbb S_x\).
3.3 Almansi Type Decomposition
We recall a result proved in [13, Corollary 3.6.2 and Theorem 3.6.3] about some formulas linking the spherical value and the spherical derivative of slice functions with the Cauchy-Riemann-Fueter operator.
Theorem 3
([13]). Let \(\Omega \) be an open circular domain in \({\mathbb {H}}\). Let \(f:\Omega \rightarrow {\mathbb {H}}\) be a slice function of class \(\mathcal {C}^1(\Omega )\). Then
-
1.
f is slice-regular if and only if \(\,\overline{\partial }_{\scriptscriptstyle CRF}f=-f'_s\).
-
2.
If \(f:\Omega \rightarrow {\mathbb {H}}\) is slice-regular, then it holds:
-
(a)
The four real components of \(f'_s\) are harmonic on \(\Omega \).
-
(b)
\(\Delta {f}_s^\circ =-2\frac{\partial f'_s}{\partial x_0}\).
-
(c)
The following generalization of Fueter’s Theorem holds:
$$\begin{aligned} \overline{\partial }_{\scriptscriptstyle CRF}\Delta f=\Delta \overline{\partial }_{\scriptscriptstyle CRF}f=-\Delta f'_s=0 \end{aligned}$$and therefore f is biharmonic.
-
(a)
We are now able to generalize Theorem 2 to every slice-regular function.
Theorem 4
(Quaternionic Almansi Theorem). Let f be slice-regular on a circular set \(\Omega \). There exist two unique quaternionic-valued zonal harmonic functions \(h_1\), \(h_2\) with pole 1, such that
The functions \(h_1\) and \(h_2\) can be computed through differentiation:
Moreover, f is slice-preserving if and only if \(h_1\) and \(h_2\) are real-valued.
Proof
If \(f:\Omega \rightarrow {\mathbb {H}}\) is slice-regular, then it holds, from (3),
with \(h_1(x):={f}_s^\circ (x)+x_0 f'_s(x)\) and \(h_2(x):=f'_s(x)\) slice functions on \(\Omega \), axially symmetric with respect to the real axis. From point 2(a) of Theorem 3 the function \(h_2\) is harmonic on \(\Omega \). A direct computation gives
From point 2(b) of Theorem 3 it follows that also the function \(h_1\) is harmonic on \(\Omega \). It can also be observed, using the Leibniz-type formula for spherical derivative (see [7, §5]), that
Since also the slice product \(x\cdot f\) is slice-regular, this gives again the harmonicity of \(h_1\). In view of point 1 of Theorem 3, \(h_1={(xf)}'_s= -\overline{\partial }_{\scriptscriptstyle CRF}(xf)\) and \(h_2={f}'_s=-\overline{\partial }_{\scriptscriptstyle CRF}f\). Since f is slice-preserving if and only if \({f}_s^\circ \) and \({f}'_s\) are real-valued, and since \(h_1(x)={f}_s^\circ (x)+x_0 f'_s(x)\), \(h_2(x)=f'_s(x)\), this condition is equivalent to having \(h_1\) and \(h_2\) real-valued.
It remains to prove that \(h_1\) and \(h_2\) are uniquely determined by f. Assume that \(f(x)=h_1(x)-\overline{x} h_2(x)\) with \(h_1\), \(h_2\) axially symmetric with respect to the real axis. A direct computation gives \({f}'_s(x)=h_2(x)\) for every \(x\in \Omega \setminus \mathbb {R}\) and then \(h_1(x)=f(x)+\overline{x}{f}'_s(x)\). \(\square \)
We now prove a converse of the preceding theorem.
Theorem 5
Let \(h_1\) and \(h_2\) be \({\mathbb {H}}\)-valued axially symmetric functions on \(\Omega \), of class \(\mathcal C^1\). Then \(g:=h_1-\overline{x} h_2\) is a slice function on \(\Omega \). The function g is slice-regular if and only if \(h_1\) and \(h_2\) satisfy the equations
where \(\alpha =x_0\), \(\beta =|{\text {Im}}(x)|\). In this case, \(h_1\) and \(h_2\) are zonal harmonic.
Proof
Let \(\Omega =\Omega _D\). In view of the symmetry of \(h_1\) and \(h_2\), given \(z=x_0+i\beta \in D\) and \(x=x_0+J\beta \in \Omega \), the function
with \(G_1(z):=h_1(x)-x_0h_2(x)\) and \(G_2(z)=|{\text {Im}}(x)|h_2(x)\), is a \(\mathcal C^1\) stem function on D that induces the slice function g. Equation (4) for \(h_1\), \(h_2\) are equivalent to the Cauchy-Riemann equations for G. The last statement follows from the uniqueness of the harmonic decomposition given in Theorem 4. \(\square \)
Example 4
Consider again the polynomial \(P(x)=x^2\) of Example 2. According to Theorem 4, we can obtain the harmonic functions \(h_1\), \(h_2\) applying the Cauchy-Riemann-Fueter operator. Since
then \(h_1(x)=3x_0^2-x_1^2-x_2^2-x_3^2\) and \(h_2(x)=2x_0\).
Example 5
Let \(f(x)={\text {Log}}(x)\) be the slice-preserving slice-regular function on \(\Omega ={\mathbb {H}}\setminus \{x\in \mathbb {R}\ |\ x\le 0\}\) induced by the (principal) complex logarithm
with \(\arccos \big (\frac{{\text {Re}}(x)}{|x|}\big )\in [0,\pi ]\). Then \(f(x)=h_1(x)-\overline{x} h_2(x)\) on \(\Omega \), with real harmonic components
Observe that \(h_1\) extends continuously to the real points \(x_0\in \{x\in \mathbb {R}\ |\ x>0\}\) as \(\log (x_0)+1\), while \(h_2\) extends to the same set as \(1/x_0\).
4 Mean Value Property and Poisson Formula
As an application of the quaternionic Almansi Theorem, we give a mean value property for slice-regular functions. Let \(\sigma \) denote the normalized rotation-invariant surface-area measure on the unit sphere \(\mathbb S^3\) of \({\mathbb {H}}\simeq \mathbb {R}^4\), such that \(\sigma (\mathbb S^3)=1\).
Proposition 2
(Mean value formula). Let f be slice-regular on a circular set \(\Omega \). Assume that the open ball B(a, r) with centre \(a\in \Omega \) and radius r has closure \(\overline{B(a,r)}\) contained in \(\Omega \). Then
Proof
Let \(f=h_1-\overline{x}h_2\) be the Almansi decomposition of f. From the mean value formula applied to the harmonic real components of \(h_1\) and \(h_2\)
Therefore
and the mean value formula is proved. \(\square \)
A slice-regular function f, being biharmonic, satisfies also a mean value formula of the form
(see, e.g., [11, Chap. 7]). Comparing this formula with the one obtained before, we get the following.
Corollary 1
Let f be slice-regular on a circular set \(\Omega \). Assume that the open ball B(a, r) with centre \(a\in \Omega \) and radius r has closure contained in \(\Omega \). Then
\(\square \)
Let \(P(x,\zeta )=(1-|x|^2)/|x-\zeta |^4\) be the Poisson kernel of the unit ball \(\mathbb B\) in \(\mathbb {R}^4\).
Proposition 3
(Poisson formula). Let f be slice-regular on a circular set \(\Omega \). Let the open ball B(a, r) have closure contained in \(\Omega \). Then, for every \(x\in \mathbb B\), it holds
Proof
We can proceed as in the proof of Proposition 2, using the Poisson formula for the quaternionic-valued harmonic components \(h_1\) and \(h_2\) of f.
\(\square \)
Observe that the Poisson kernel itself is related to the spherical derivative of a slice-regular function, the quaternionic Koebe function \(f(x)=(1-x)^{-2}x\) (see [13, Cor. 3.6.7]).
When the centre a is a real point, the ball B(a, r) is a circular set. In this case we can obtain two formulas in which the spherical derivative of f does not appear.
Corollary 2
(Axially symmetric mean value and Poisson formulas). Let f be slice-regular on a circular set \(\Omega \). Assume that the open ball B(a, r) with real centre \(a\in \mathbb {R}\) and radius r has closure contained in \(\Omega \). Then it holds
-
(1)
$$\begin{aligned} f(a)=\int _{\mathbb S^3}\left( 1+r(\zeta +\overline{\zeta })(\zeta -\overline{\zeta })^{-1}\right) f(a+r\zeta )d\sigma (\zeta ). \end{aligned}$$
-
(2)
$$\begin{aligned} f(a+rx)&=\int _{\mathbb S^3}\left( 1+r\left( (\overline{\zeta }-\overline{x})P(x,\zeta ) +(\zeta -\overline{x})P(x,\overline{\zeta })\right) (\zeta -\overline{\zeta })^{-1}\right) \\&\quad f(a+r\zeta )d\sigma (\zeta ), \end{aligned}$$
for every \(x\in \mathbb B\).
Proof
We transform the second integral of the mean value formula of Proposition 2. Since a is real, it holds
By symmetry w.r.t. conjugation, we get
This proves point 1. For the second point, we transform as above the second integral of the formula of Proposition 3
\(\square \)
References
Almansi, E.: Sull’integrazione dell’equazione differenziale \(\Delta ^{2n}=0\). Annali di Mat. (3) 2, 1–51 (1899)
Axler, S., Bourdon, P., Ramey, W.: Harmonic function theory, volume 137 of graduate texts in mathematics, 2nd edn. Springer-Verlag, New York (2001)
Colombo, F., Sabadini, I., Struppa, D.C.: Slice monogenic functions. Israel J. Math. 171, 385–403 (2009)
Faustino, N., Ren, G.: (Discrete) Almansi type decompositions: an umbral calculus framework based on \({osp}(1|2)\) symmetries. Math. Methods Appl. Sci. 34(16), 1961–1979 (2011)
Gentili, G., Stoppato, C., Struppa, D.C.: Regular functions of a quaternionic variable. Springer monographs in mathematics. Springer, Berlin (2013)
Gentili, G., Struppa, D.C.: A new theory of regular functions of a quaternionic variable. Adv. Math. 216(1), 279–301 (2007)
Ghiloni, R., Perotti, A.: Slice regular functions on real alternative algebras. Adv. Math. 226(2), 1662–1691 (2011)
Ghiloni, R., Perotti, A., Stoppato, C.: The algebra of slice functions. Trans. Amer. Math. Soc. 369(7), 4725–4762 (2017)
Ghiloni, R., Perotti, A., Stoppato, C.: Division algebras of slice functions. Proc. R. Soc. Edinburgh 150(4), 2055–2082 (2020). https://doi.org/10.1017/prm.2019.13
Malonek, H.R., Ren, G.: Almansi-type theorems in Clifford analysis. Math. Methods Appl. Sci. 25(16–18), 1541–1552 (2002)
Mitrea, D.: Distributions, partial differential equations, and harmonic analysis, 2nd edn. Universitext Springer, Cham (2018)
Perotti, A.: A four dimensional Bernstein theorem. (2019) arXiv:1903.03068, submitted
Perotti, A.: Slice regularity and harmonicity on Clifford algebras. In: Topics in Clifford Analysis – Special Volume in Honor of Wolfgang Sprößig. Trends Math. Springer, Basel (2019) https://doi.org/10.1007/978-3-030-23854-4
Perotti, A.: Almansi-type theorems for slice-regular functions on Clifford algebras. Complex Variables and Elliptic Equations, (2020) https://doi.org/10.1080/17476933.2020.1755967
Ren, G.: Almansi decomposition for Dunkl operators. Sci. China Ser. A 48(Suppl), 333–342 (2005)
Funding
Open access funding provided by Universitá degli Studi di Trento within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was supported by GNSAGA of INdAM, and by the grants “Progetto di Ricerca INdAM, Teoria delle funzioni ipercomplesse e applicazioni”, and PRIN “Real and Complex Manifolds: Topology, Geometry and holomorphic dynamics” of Ministero dell’università e della ricerca.
This article is part of the Topical Collection on ISAAC 12 at Aveiro, July 29–August 2, 2019, edited by Swanhild Bernstein, Uwe Kaehler, Irene Sabadini, and Franciscus Sommen.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Perotti, A. Almansi Theorem and Mean Value Formula for Quaternionic Slice-regular Functions. Adv. Appl. Clifford Algebras 30, 61 (2020). https://doi.org/10.1007/s00006-020-01078-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00006-020-01078-4
Keywords
- Quaternionic polynomials
- Slice-regular functions
- Zonal harmonics
- Almansi theorem
- Mean value property
- Poisson formula