The Fueter-Sce mapping and the Clifford–Appell polynomials

Abstract

The Fueter-Sce theorem provides a procedure to obtain axially monogenic functions, which are in the kernel of generalized Cauchy–Riemann operator in ${\mathbb{R}}^{n+1}$. This result is obtained by using two operators. The first one is the slice operator, which extends holomorphic functions of one complex variable to slice monogenic functions in $ \mathbb{R}^{n+1}$. The second one is a suitable power of the Laplace operator in n + 1 variables. Another way to get axially monogenic functions is the generalized Cauchy–Kovalevskaya (CK) extension. This characterizes axial monogenic functions by their restriction to the real line. In this paper, using the connection between the Fueter-Sce map and the generalized CK-extension, we explicitly compute the actions $\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} x^k$, where $x \in \mathbb{R}^{n+1}$. The expressions obtained is related to a well-known class of Clifford–Appell polynomials. These are the building blocks to write a Taylor series for axially monogenic functions. By using the connections between the Fueter-Sce map and the generalized CK extension, we characterize the range and the kernel of the Fueter-Sce map. Furthermore, we focus on studying the Clifford–Appell–Fock space and the Clifford–Appell–Hardy space. Finally, using the polyanalytic Fueter-Sce theorems, we obtain a new family of polyanalytic monogenic polynomials, which extends to higher dimensions the Clifford–Appell polynomials.

1. Introduction

The Fueter-Sce theorem (see [24, 47]) and the generalized Cauchy–Kovalevskaya (CK) extension (see [30]) are the main tools of Clifford analysis to transform analytic functions of one (real or complex) variable into monogenic functions. These functions are null solutions of the generalized Cauchy–Riemann operator in $ \mathbb{R}^{n+1}$. The so-called Fueter-Sce map is the differential operator $ \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}$, where n is a fixed odd number and $\Delta_{\mathbb{R}^{n+1}}$ is the Laplacian in n + 1 variables. While the generalized CK extension is written as a suitable power series of $\underline{x} \partial_{x_0}$ (see Theorem 2.11), where $ \underline{x}$ is the vector variable in $ \mathbb{R}^{n}$ and x ₀ is the real variable.

Both maps have been proved to be related but are not equal. Indeed, the generalized CK extension is an isomorphism, while the Fueter-Sce map is a pointwise differential operator of n + 1 variables, and therefore it is not injective. However, in some cases, these two extension tools yield identical actions (up to a multiplicative constant). For instance, these are the cases of the exponential, the trigonometric and hyperbolic functions. This is one of the reason why the Fueter-Sce map has successfully been used in the literature to extend these algebraic functions and some related functional spaces to $ \mathbb{R}^{n+1}$. Our first goal is thus to study the relations under which both actions coincide.

The connection between the generalized CK extension and the Fueter-Sce map is crucial to figure out the behaviour of the Fueter-Sce map applied to the basic element x ^k, where $x=x_0+ \underline{x} \in \mathbb{R}^{n+1}$ is a Clifford paravector (see § 3) and $k \in \mathbb{N}_0$. Indeed, as far as the authors know, it is hard to explicitly compute the action $ \Delta^{\frac{n-1}{2}}_{n+1} x^k$ via direct computations. Instead, this action is easily computed with the help of the generalized CK extension (see [27]). Such an action has been computed to be

(1.1)\begin{equation} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(x^{k})=\frac{(-1)^{\frac{n-1}{2}}2^{n-1}}{(n-1)!} \left[\Gamma\left(\frac{n+1}{2}\right)\right]^2\frac{k!}{(k-n+1)!}P^n_{k+1-n}(x), \quad k \gt n-1, \end{equation}

where $P_{k+1-n}^n(x)$ are the so-called Clifford–Appell polynomials and are defined in § 2.

We note that polynomials $P_{k+1-n}^n(x)$ satisfy the so-called Appell property. In classical terms, a sequence of polynomials $ \{A_k\}_{k \in \mathbb{N}}$ of the real variable x ₀ is called Appell sequence if

\begin{equation*} \frac{\rm d}{{\rm d} x_0} A_k=k A_{k-1}.\end{equation*}

These polynomials were first introduced by the French mathematician Paul Emile Appell in [10]. The well-known Hermite, Bernoulli and Euler polynomials form an interesting family of examples of such polynomials. Appell polynomials are important in several areas of mathematics and their applications. For example, they are relevant in probability theory and stochastic process since they can be related to random variables, see [12]; they were also used to study optimal stopping problems related to Lévy process in [46]. Also in Clifford analysis, Appell polynomials were investigated and studied by several authors with respect to the hypercomplex derivative (see [16, 34, 40, 41]). Moreover, they were used to study a Bargmann–Fueter transform (see [31]).

Formula (1.1) is essential in the whole paper, and it is crucial to address the following problems.

Problem. Is it possible to expand Taylor series the axially monogenic functions in terms of the Clifford–Appell polynomials?

In Clifford analysis, the Taylor series expansion in terms of the Fueter polynomials is well known. Fueter polynomials describe all monogenic functions as they play the same role in Clifford analysis as the monomials $ x_0^{\alpha_0}x_{1}^{\alpha_1}x_{2}^{\alpha_2}\cdots x_{n}^{\alpha_n}$ in several real variables analysis. However, there is a simpler way to describe monogenic functions defined on axially symmetric domains. This description has axially monogenic functions as central objects (see [48]). By restricting our analysis to axially monogenic functions, we replace the more complicated approach of Fueter polynomials by the simpler and more accessible approach of Clifford Appell polynomials, which play the role of $x_0^k$ in one-variable real analysis.

We will study elementary functions like the exponential, trigonometric and hyperbolic functions in the monogenic setting in terms of the Clifford–Appell polynomials. For this set of functions, the actions of the Fueter-Sce map and generalized CK extension coincides. The methodology is to apply the Fueter-Sce map (or the generalized CK extension) to a slice monogenic function. A similar approach is done in [36]. Even in that case, the authors study the effects of the Fueter-Sce map acting on a slice monogenic function. However, they do not use the expansion in series for the slice monogenic functions and so they did not get a full description of elementary functions in terms of spherical-monogenic polynomials. We overcome this issue by applying the Fueter-Sce map to a slice monogenic function expanded in series and by using formula (1.1). Therefore, we get expansion series written in terms of the Clifford–Appell polynomials.

Another interesting problem concerning the elementary functions is the following one.

Problem. Is it possible to extend the algebraic identities that hold in complex analysis to the trigonometric and hyperbolic functions in Clifford analysis?

The key point to solve this problem is to work with a suitable product. In literature, the only product that preserves the monogenicity is the so-called CK product (see [30]). This product is related to the classical CK extension, whose main idea is to give a catheterization of solutions of suitable systems of partial differential equations (PDEs) by their restriction to a submanifold of codimension one. If the PDE involved is the Cauchy–Riemann equations in $ \mathbb{R}^{n+1}$, we can characterize a monogenic function by its restriction to the hyperplane $x_0=0$. The CK product, denoted by $\odot_{\rm CK}$, associates to any pair of monogenic functions f, g the CK extension of the punctual product between f and g restricted to $\mathbb{R}^n$, namely

\begin{equation*} f \odot_{\rm CK} g={\rm CK}[ f_{|\mathbb{R}^n} \cdot g_{| \mathbb{R}^n}].\end{equation*}

In this paper, instead of working with the CK product, we introduce a new product, called generalized CK product and denoted by $\odot_{\rm GCK}$. In this specific case, we work in codimension n, i.e. we characterize axially monogenic functions in $\mathbb{R}^{n+1}$ by their restrictions to the real line. This product, compared to the CK product (see (3.11)), gives a more natural multiplication rule for the product of Clifford–Appell polynomials:

\begin{equation*} (P_k^n \odot_{\rm GCK} P_s^n)(x)=P_{k+s}^n(x), \quad \forall k,s \geq 0.\end{equation*}

We focus on solving the following problem.

Problem. Study the range and the kernel of the Fueter-Sce map.

In order to solve this problem, we develop a general apporach that can be adapted for specific modules of monogenic functions. In this paper, we give some examples related to the Hardy, Bergman, Dirichlet and Fock spaces in the axially monogenic setting. Moreover, by means of the generalized CK extension, we define different axially monogenic Fock and Hardy spaces. We prove that it is possible to write their reproducing kernels in terms of the Clifford–Appell polynomials. Using this Appell system, we introduce the notions of creation and annihilation operators for the Fock space and we study different properties of the shift and backward operators in the Hardy space. Our last task in this setting is solving the following problem.

Problem. Is it possible to extend the Clifford–Appell polynomials in the setting of polyanalytic functions?

In complex analysis, the theory of polyanalytic functions is an extension of the classical theory of holomorphic functions. Its main goal is to study functions in the kernel of a certain power of the Cauchy–Riemann operator. In the monogenic setting, a theory of polyanalytic functions of any order is presented in [13]. However, there is no full description of a basis of the module of polyanalytic functions. In this work, we provide a series expansion of a polyanalytic function of order m + 1 in terms of suitable homogenous polynomials.

Summarizing, in this paper, we will solve the following problems:

• • find a Taylor series expansion in terms of the Clifford–Appell polynomials for axially monogenic functions;

• • extend the classical identities of complex analysis, where trigonometric and hyperbolic functions are involved, to the Clifford setting;

• • characterize the range and the kernel of the Fueter-Sce map; and

• • generalize the Clifford–Appell polynomials to the polyanalytic setting.

Outline of the paper: Besides this introduction, the paper consists of eight sections. In § 2, we recall some results on Clifford analysis such as the Fueter-Sce mapping theorem, the generalized CK theorem and the connection between them. In § 3, we study the action of the Fueter-Sce map on the Clifford paravector monomials x ^k and relate them to the Clifford–Appell polynomials. We also investigate the hypothesis under which the Fueter-Sce map and the generalized CK extension coincide, up to a constant. The conditions hold for the elementary functions in the monogenic setting. In § 4, we determine the range and kernel of the Fueter-Sce map and study how the Fueter-Sce map defines an isometry between suitable subspaces of monogenic and slice monogenic functions. Section 5 is devoted to the Clifford–Fock module. We study the creation and annihilation operators in this setting. In § 6, we focus on studying the Clifford–Hardy module and we investigate the properties of the shift and backward operators in the Clifford setting. Finally, in § 7, we introduce a generalized family of Clifford–Appell polynomials in the polyanalytic monogenic setting. This construction is based on the polyanalytic monogenic Fueter-Sce mapping theorem (see [7]).

2. Preliminary results

The real Clifford algebra $ \mathbb{R}_n$ is generated by the standard basis $ \{e_1,\ldots,e_n\}$ of $ \mathbb{R}^n$, whose elements satisfy the multiplicative relations $ e_{\ell}e_m+e_{m}e_{\ell}=0$ if $ \ell \neq m$ and $e^{2}_{\ell}=-1$, otherwise. Any element in the Clifford algebra can be written as

\begin{equation*} \sum_{A} e_A x_A,\end{equation*}

where for any multi-index $ A= \{\ell_1,\ldots, \ell_r\} \subset \{1,2,\ldots,n\}$, with $ \ell_1 \lt \cdots \lt \ell_{r}$, we put $e_{A}=e_{\ell_1}e_{\ell_2}\cdots e_{\ell_r}$, $e_{\emptyset}=1$. Any arbitrary element $x \in \mathbb{R}_n$ can be written in the form

\begin{equation*} x= \sum_{k=0}^n [x]_k, \quad \hbox{where} \ [x]_{k}= \sum_{|A|=k} x_A e_A,\end{equation*}

where $[.]_k: \mathbb{R}_n \to \mathbb{R}^{(k)}_n$ is the canonical projection of $ \mathbb{R}_n$ onto the space of k-vectors $\mathbb{R}^{(k)}_n:=\hbox{span} \{e_A : |A|=k\}$. We define the real part of a Clifford number x as $ \hbox{Re}(x)=[x]_0$. We denote the norm of an element in the Clifford algebra as $|x|:= \left(\sum_{A} x_A^2\right)^{\frac{1}{2}}$. We recall that for every x, $y \in \mathbb{R}_n$, we have $|xy| \leq 2^{\frac{n}{2}} |x| |y|$ (see [15]).

An element $(x_0,x_1,\ldots,x_n) \in \mathbb{R}^{n+1}$ will be identified with the Clifford element $x=x_{0}+ \underline{x}=x_{0}+ \sum_{\ell=1}^n x_{\ell} e_{\ell}$. Elements of this form are called paravectors. The norm of $x \in \mathbb{R}^{n+1}$ is defined as $|x|^2=x_{0}^2+x_{1}^2+\cdots+x_{n}^2$. The conjugate of x is defined by $\bar{x}= x_0- \underline{x}=x_{0}- \sum_{\ell=1}^n x_{\ell} e_{\ell}$. We shall denote by $ \mathbb{S}^{n-1}$ the $(n-1)$-dimensional sphere in $ \mathbb{R}^{n+1}$, i.e.

\begin{equation*} \mathbb{S}^{n-1}= \{\underline{x}=e_1x_1+\cdots+e_nx_{n} \, | \, x_{1}^2+\cdots+x_n^2=1\}.\end{equation*}

For $I \in \mathbb{S}^{n-1}$, we have $I^{2}=-1$. The vector space $\mathbb{C}_I:=\{u+Iv : u,v \in \mathbb{R}\},$ passing through 1, and $I \in \mathbb{S}^{n-1}$ is isomorphic to the complex plane.

Definition 2.1. Let $\Omega \subset \mathbb{R}^{n+1}$ be an open set. A function $f: \Omega \to \mathbb{R}_n$ is said to be (left) slice monogenic if, for every $I \in \mathbb{S}^{n-1}$, the restrictions of f to the complex plane $\mathbb{C}_I$ are holomorphic on $ \Omega \cap \mathbb{C}_I$, i.e.

\begin{equation*} \left(\partial_u+I \partial_v\right)f(u+Iv)=0.\end{equation*}

We denote the set of left slice monogenic function on U by $ \mathcal{SM}(U)$. For more details about the slice monogenic functions, see [19, 20, 22, 23, 45].

Slice monogenic functions have good properties when defined in the following sets.

Definition 2.2. Let $U \subseteq \mathbb{R}^{n+1}$ be a domain. We say that U is a slice domain (or s-domain) if $U \cap \mathbb{R}$ is non-empty and if $ \mathbb{C}_I \cap U$ is a domain in $ \mathbb{C}_I$ for all $I \in \mathbb{S}^{n-1}.$

Definition 2.3. Let $U \subseteq \mathbb{R}^{n+1}$ be an open set. We say that U is an axially symmetric domain if for every $x= \hbox{Re}(x)+I | \underline{x}| \in U$, the whole sphere $\hbox{Re}(x)+|\underline{x}| \mathbb{S}^{n-1}:= \{\hbox{Re}(x)+I | \underline{x}|; I \in \mathbb{S}^{n-1}\}$ is contained in U.

We can also give the definition of axially symmetric slice domain in the following way.

A set $ \Omega \subset \mathbb{R}^{n+1}$ is an axially symmetric slice domain if and only if there exist a complex intrinsic domain $D \subset \mathbb{C}$ such that

\begin{equation*} \Omega=D \times \mathbb{S}^{n-1}= \{u+vI: (u,v) \in D , I \in \mathbb{S}^{n-1}\}.\end{equation*}

The slice monogenic functions defined on axially symmetric slice domain enjoy good properties as stated in the following result.

Theorem 2.4. (Representation formula [23])

Let $U \subseteq \mathbb{R}^{n+1}$ be an axially slice symmetric open set and $ \mathcal{U} = \{(u,v) \in \mathbb{R}^2 ; u+ \mathbb{S}^{n-1}v \subset U\}$. A function $f:U \to \mathbb{R}_n$ is (left) slice monogenic if it is of the form

\begin{equation*} f(x)= \alpha(u,v)+I \beta(u,v), \quad x=u+Iv \in U,\end{equation*}

where α, $ \beta: \mathcal{U} \to \mathbb{R}_n$ are differentiable functions that satisfy the ‘even–odd’ conditions

(2.1)\begin{equation} \alpha(u,v)=\alpha(u,-v), \qquad \beta(u,v)=- \beta(u,-v), \quad \hbox{for all} \ (u,v) \in \mathcal{U} \end{equation}

and furthermore satisfy the Cauchy–Riemann equations

\begin{equation*} \begin{cases} \partial_u \alpha- \partial_v \beta=0,\\ \partial_v \alpha+ \partial_u \beta=0. \end{cases} \end{equation*}

Remark 2.5. If we assume that $U \cap \mathbb{R} \neq \emptyset$, than the function f is well defined at the real points since $ \beta(x_0,0)=0$ for all $x=x_0 \in \mathbb{R}$.

One of the main properties of the slice monogenic functions is that we can develop them in power series (see [22]).

Theorem 2.6. Let f be a slice monogenic function on a s-domain $U \subseteq \mathbb{R}^{n+1}$. Then if $0 \in U$, the function can be represented in power series

\begin{equation*} f(x)= \sum_{n=0}^\infty x^n a_{n}\end{equation*}

on the ball $B(0,R)$, where R is the largest positive real number such that $B(0,R)$ is contained in U.

Now, we recall how to induce slice monogenic functions from the so-called holomorphic intrinsic functions.

Definition 2.7. (Holomorphic intrinsic functions)

A holomorphic function $f(z)=\alpha(+u,v)+{\rm i} \beta(u,v)$ is said to be intrinsic if it is defined in an intrinsic complex domain D and satisfies that $f(z)^c=f(z^c)$, where .^c denotes the complex conjugation. This means that the real part and imaginary part of f satisfy the condition (2.1) or equivalently that the restriction $f|_{\mathbb{R}}$ of f to the real line is $ \mathbb{R}$-valued.

We denote by $\mathcal{O}(D)$ the space of holomorphic complex functions on D and by $ \mathcal{H}(D)$ the (real) vector sub-space of $ \mathcal{O}(D)$ complex holomorphic intrinsic functions, i.e.

\begin{eqnarray*} \mathcal{H}(D)&=& \{f \in \mathcal{O}(D) : \alpha(u,v)=\alpha(u,-v), \beta(u,v)=-\beta(u,-v)\}\\ &=& \{f \in \mathcal{O}(D) : f|_{\mathbb{R}} \quad \hbox{is real valued}\}. \end{eqnarray*}

The intrinsic holomorphic functions defined in $D \subset \mathbb{C}$ induce slice monogenic functions on $\Omega= D \times \mathbb{S}^{n-1}$ by means of the extension map

\begin{equation*} S_{\mathbb{C}}: \mathcal{H}(D) \otimes \mathbb{R}_n \to \mathcal{SM}(\Omega), \qquad \alpha(u,v)+{\rm i} \beta(u,v) \mapsto \alpha(x_0,|\underline{x}|)+I \beta(x_0,| \underline{x}|),\end{equation*}

which consists of replacing the complex variables $z=u+{\rm i}v$ by the paravector variable $x=x_0+ \underline{x}$, where the complex unit ${\rm i}$ is replaced by the unit vector $I:= \frac{\underline{x}}{| \underline{x}|}$ in $\mathbb{R}^n$.

It is also possible to extend real-analytic functions to slice monogenic functions. Let us consider $\Omega_1:= D \cap \mathbb{R}$. We denote by $ \mathcal{A}(\Omega_1)$ the space of real-valued analytic functions defined on Ω₁ with unique holomorphic extensions to D. Then, we define the holomorphic extensions map $C:= \hbox{exp}({\rm i}v\partial_u)$, i.e.

\begin{equation*} C: \mathcal{A}(\Omega_1) \to \mathcal{H}(D) \qquad f_{0}(u) \mapsto \sum_{j=0}^\infty \frac{({\rm i}v)^j}{j!} f^{(j)}_{0}(u).\end{equation*}

By means of this, we can define the slice monogenic extension map as $S= S_{\mathbb{C}} \circ C= \hbox{exp}(\underline{x} \partial_{x_0})$, i.e.

(2.2)\begin{equation} S: \mathcal{A}(\Omega_1) \otimes \mathbb{R}_n \to \mathcal{SM}(\Omega), \qquad f_0(x_0) \mapsto \sum_{j=0}^\infty \frac{\underline{x}^j}{j!}f^{(j)}_{0}(x_0). \end{equation}

Now, we can state the following extension result.

Theorem 2.8. Under the conditions considered above, we have the following isomorphic isomorphisms

\begin{equation*} \mathcal{SM}(\Omega) \simeq \mathcal{A}(\Omega_1) \otimes \mathbb{R}_n \simeq \mathcal{H}(D) \otimes \mathbb{R}_n.\end{equation*}

We have the following commutative diagram

where the map $S=S_{\mathbb{C}}\circ C =\exp(\underline{x}\partial_{x_0})$, given by $S[f_0](x) = \sum_{j=0}^\infty \frac{\underline{x}^j}{j!} \, f_0^{(j)}(x_0)$, is inverted by the restriction operator to the real line, i.e. $S[f_0]\big|_{\underline{x}=0}=f_0$.

Another important extension of the holomorphic function theory to higher dimensions is given by the following.

Definition 2.9. (Monogenic function)

Let $U \subset \mathbb{R}^{n+1}$ be an open set and let $f:U \to \mathbb{R}_n$ be a function of class C ¹. We say that f is (left) monogenic on U if

\begin{equation*} \partial f(x):= (\partial_{x_0}+ \partial_{\underline{x}})f(x)= \left(\partial_{x_0}+ \sum_{i=1}^{n} e_i \partial_{x_i}\right)f(x)=0, \quad \forall x \in U.\end{equation*}

We denote by $ \mathcal{M}(U)$ the set of left monogenic functions on U.

We observe that for n = 1, monogenic functions on $ \mathbb{R}^2$ correspond to holomorphic function of the variable $x_0+e_1x_1$. For more information about the notion of monogenic functions, see [15, 30, 36].

A classic way to characterize monogenic functions is the CK extension (see [15]). This is achieved by considering the restriction to the hyperplane $x_0=0$ of a monogenic function f. Precisely, the CK extension of $f( \underline{x})$ is given by

\begin{equation*} {\rm CK}[f(\underline{x})](x)= \sum_{j=0}^\infty \frac{(-1)^j}{j!} x_{0}^j \,\partial_{\underline{x}}^j[f(\underline{x})].\end{equation*}

A link between the set of slice monogenic functions and monogenic functions is the notion of axially monogenic function.

Definition 2.10. (Axially monogenic functions)

Let U be an axially symmetric slice domain in $\mathbb{R}^{n+1}$. A function $f: U \to \mathbb{R}_n$ is said to be axially monogenic if it is monogenic and it is of the form

\begin{equation*} f(x_0+ \underline{x})= A(x_0,|\underline{x}|) + \underline{\omega}B(x_0,|\underline{x}|), \qquad \underline{\omega}= \frac{\underline{x}}{|\underline{x}|},\end{equation*}

where A and B are Clifford-valued functions that satisfy (2.1). We denote by $ \mathcal{AM}(U)$ the right $ \mathbb{R}_n$-module of axially monogenic functions on U.

In literature, as for the case of slice monogenic functions, there exist an isomorphism between the modules of real-analytic Clifford-valued functions on the real line and the module of axially monogenic functions in $ \mathbb{R}^{n+1}$. This is a particular result of the generalized CK extension. In this case, we characterize axially monogenic functions in $\mathbb{R}^{n+1}$ by their restrictions to the real line.

Theorem 2.11. (Generalized CK extension [30])

Let $\Omega_1 \subset \mathbb{R}$ be a real domain and consider $f_{0}(x_0)$ be a Clifford-valued analytic function in Ω₁. Then, there exists a unique sequence $ \{f_j( x_0)\}_{j=1}^\infty \subset \mathcal{A}(\Omega_1) \otimes \mathbb{R}_n$ such that the series

\begin{equation*} f(x_0,\underline{x})= \sum_{j=0}^\infty \underline{x}^j f_{j}(x_0)\end{equation*}

converges in an axially symmetric slice $(n+1)$-dimensional neighbourhood $ \Omega \subset \mathbb{R}^{n+1}$ of Ω₁ and its sum is a monogenic function, i.e., $(\partial_{x_0}+\partial_{\underline{x}})f(x_0, \underline{x})=0$.

Furthermore, the sum f is formally given by the expression

(2.3)\begin{equation} f(x_0, \underline{x})= \Gamma \left(\frac{n}{2}\right) \left( \frac{|\underline{x}|\partial_{x_0}}{2} \right)^{- \frac{n}{2}} \left(\frac{|\underline{x}|\partial_{x_0}}{2} J_{\frac{n}{2}-1}\left( |\underline{x}|\partial_{x_0} \right)+ \frac{\underline{x} \partial_{x_0}}{2} J_{\frac{n}{2}}\left(|\underline{x}|\partial_{x_0} \right) \right) f_{0}(x_0), \end{equation}

where J_ν is the Bessel function of the first kind of order ν. Formula 2.3 is known as the generalized CK extension of f ₀, and it is denoted by ${\rm GCK}[f_0](x_{0}, \underline{x})$. This extension operator defines an isomorphism between the right modules

\begin{equation*} {\rm GCK}: \mathcal{A}(\Omega_1) \otimes \mathbb{R}_n \to \mathcal{AM}(\Omega),\end{equation*}

whose inverse is given by the restriction operator to the real line, i.e. ${\rm GCK}[f_0](x_0,0)=f_{0}(x_0)$.

For a more general and deep treatment of this result, we refer the reader to [28, 29, 38].

A relation between holomorphic intrinsic functions and axially monogenic functions is given by the following theorem (see [24, 47]).

Theorem 2.12. (Fueter-Sce mapping theorem)

Let $D \subseteq \mathbb{C}$ be an intrinsic complex domain and n be a fixed odd number. Let $f_0(z)=f_0(u+{\rm i}v)= \alpha(u,v)+{\rm i} \beta(u,v)$ be an intrinsic holomorphic function defined in D. Then

\begin{equation*} \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}[f(x_0+\underline{x})]=\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}[\alpha(x_0,r)+ \underline{\omega}\beta(x_0,r)]\end{equation*}

is axially monogenic in axially symmetric slice domain $\Omega=D \times \mathbb{S}^{n-1}=\{(x_0, \underline{x}) \in \mathbb{R}^{n+1} : (x_0,|\underline{x}| \in D)\}.$

The fact that every intrinsic holomorphic function f is the unique holomorphic extension of a real analytic function f ₀ on the real line, we can rewrite the Fueter-Sce theorem in the following way.

Theorem 2.13. (Fueter-Sce mapping theorem)

Let $\Omega_1 \subset \mathbb{R}$ be a real domain and $f_0 \in \mathcal{A}_0(\Omega_1) \otimes \mathbb{R}_n$. Then $ \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} \circ S[f_0](x_0, \underline{x})$ is an axial monogenic function on a $(n+1)$-dimensional axially symmetric slice neighbourhood $\Omega \subset \mathbb{R}^{n+1}$ of Ω₁.

Remark 2.14. In [44] T. Qian proved that the Fueter-Sce theorem holds in the case of a Clifford algebra over an even number n of imaginary units. In order to deal with the fractional Laplacian, he uses the techniques of Fourier multipliers in the space of distributions. We refer to [21, 32, 33, 39, 42, 43, 49] for several generalizations.

As it is expected, both results of the Fueter and the generalized CK extension theorems are related (see [27, Theorem 4.2]).

Theorem 2.15. Let $ D \subset \mathbb{C}$ be an intrinsic complex domain. Consider a holomorphic function $f: D \to \mathbb{C}$ such that its restriction to the real line is real valued. Then for n odd, we have

(2.4)\begin{equation} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}f(x_0+ \underline{x})= \gamma_n {\rm GCK}[f^{(n-1)}(x_{0})], \end{equation}

where $\gamma_n:= \frac{(-1)^{\frac{n-1}{2}}2^{n-1}}{(n-1)!} \left[\Gamma\left(\frac{n+1}{2}\right)\right]^2.$ Setting $\Omega_1:=D \cap \mathbb{R}$, we have the following commutative diagram.

Remark 2.16. The previous theorem holds also when n is even (see [27, Theorem 4.7]).

3. The action of Fueter-Sce mapping on Clifford paravector monomials and elementary functions

The goal of this section is to expand in series some axially elementary monogenic functions in terms of Clifford–Appell polynomials. In order to achieve this aim, we apply the Fueter-Sce map to slice monogenic functions expanded in series. Therefore, it is crucial to figure out how the Fueter-Sce map acts on the paravector monomial x ^k, with $ k \geq 0$. We will also show that, in the cases of the exponential, trigonometric and hyperbolic functions, the corresponding actions of the Fueter-Sce map and of the generalized CK extension coincide.

3.1. Fueter-Sce map and Clifford–Appell polynomials

In this subsection, we will show that the action of the Fueter-Sce map to the paravector monomial x ^k leads to the Clifford–Appell polynomials, introduced in [16, 40]. First of all, we recall the definition of this kind of polynomials. The family of $ \{P_k\}_{k \in \mathbb{N}}$ of Clifford–Appell polynomials is defined as

(3.1)\begin{equation} P_{k}^{n}(x):= \sum_{s=0}^{k}T_s^k(n)x^{k-s}\overline{x}^{s}, \quad x \in \mathbb{R}^{n+1}, \end{equation}

where the coefficients $T_s^k(n)$ are given by

(3.2)\begin{equation} T_s^k(n):= \binom{k}{s}\frac{\left( \frac{n+1}{2}\right)_{k-s} \left( \frac{n-1}{2}\right)_s}{(n)_k}, \quad n \geq 1 ,\end{equation}

and $(.)_k$ stands for the Pochammer symbol, i.e. $(a)_s= \frac{\Gamma(a+s)}{\Gamma(a)}$ or ${(a)_s} = \left\{ {\matrix{{a(a + 1)(a + 2) \cdots (a + s - 1)} \hfill & {{\rm{for}}\;s\ {\rm{ \gt }}\ 0} \hfill \cr 1 \hfill & {{\rm{for}}\;s = 0.} \hfill \cr } } \right.$ It is proved in [16] that

(3.3)\begin{equation}\sum_{s=0}^k T_s^k(n)=1.\end{equation}

The polynomials $P_{k}^{n}(x)$ satisfy the Appell property

(3.4)\begin{equation} \frac{1}{2} \overline{\partial}P_{k}^{n}(x_0+ \underline{x})=k P_{k-1}^{n}(x_0+ \underline{x}), \end{equation}

where $\overline{\partial}=\partial_{x_0}- \sum_{\ell=1}^{n} e_{\ell}\, \partial_{x_{\ell}}$ is the so-called hypercomplex derivative. Moreover, the Clifford–Appell polynomials are axially monogenic (see [16]). Then, by the following fact

\begin{equation*} P_k^n(x_0+\underline{0})=x_0^k \sum_{s=0}^k T_k^s(n)=x_0^k,\end{equation*}

and it is clear that

(3.5)\begin{equation} P_k^n(x)={\rm GCK}[x_0^k]. \end{equation}

Combining this result with Theorem 2.15, we obtain the following result.

Theorem 3.1. Let $n\geq 1$ be a fixed odd number and $k\geq 0$. Then, for any $x=x_0+ \underline{x}\in \mathbb{R}^{n+1}$, it holds that

(3.6)\begin{equation} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(x^{n+k-1})= \gamma_n \frac{(n+k-1)!}{k!} P_k^n(x), \end{equation}

where $\gamma_n:=\frac{(-1)^{\frac{n-1}{2}} 2^{n-1}}{(n-1)!} \left[\Gamma \left(\frac{n+1}{2}\right)\right]^2$.

Proof. By the identity $ \partial_{x_0}^{n-1}[x_0^{n-1+k}]= \frac{(n+k-1)!}{k!} x_{0}^{k}$ and the fact that $P_k^n(x)$ is the generalized CK extension of the monomial $x_0^k$, we get

\begin{eqnarray*} P_k^n(x)&=& {\rm GCK}[x_0^k]\\ &=& \frac{k!}{(n+k-1)!} {\rm GCK} \circ \partial_{x_0}^{n-1}[x_{0}^{n-1+k}]. \end{eqnarray*}

Finally, using Theorem 2.15, we obtain

\begin{equation*}\Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(x^{n+k-1})= (-1)^{\frac{n-1}{2}}2^{n-1} \left[\Gamma\left(\frac{n+1}{2}\right)\right]^2 \frac{(n+k-1)!}{(n-1)!k!}P_k^n(x).\end{equation*}

Remark 3.2. The above result extends to arbitrary dimension those obtained for the quaternionic setting in [31]. Indeed, if we consider n = 3 in (3.6), we get

\begin{eqnarray*} \Delta_{\mathbb{R}^4} (x^{k+2})&=& -\frac{2(k+2)!}{k!} P^3_k(x)\\ &=&-2 (k+2)(k+1)P^3_k(x), \end{eqnarray*}

which is exactly the identity obtained in [31, Remark 3.9].

Corollary 3.3. Let $x \in \mathbb{R}^{n+1}$ and $n\geq3$ be a fixed odd number. Then

\begin{equation*} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(x^{j})= \begin{cases} \gamma_n \frac{j!}{(j-n+1)!}P^n_{j+1-n}(x) & \mbox{if } \ j \gt n-1,\\ \\ \displaystyle \gamma_n (n-1)! & \mbox{if } \ j=n-1,\\ \\ \displaystyle 0 & \mbox{if } \ j \lt n-1. \end{cases} \end{equation*}

Proof. For the case $j \gt n-1$, it is enough to set $j:= n+k-1$ in formula (3.6).

For the second case, we substitute $j=n-1$ in the first case and we obtain

\begin{equation*} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}} (x^{n-1})=4^{\frac{n-1}{2}}(-1)^\frac{n-1}{2} \left(\frac{n-1}{2}\right) \left(\frac{n-1}{2}\right)! \left(\frac{n-3}{2}\right)!=\gamma_n (n-1)!. \end{equation*}

Finally, the case $j \lt n-1$ is trivial because the number of derivatives to perform is more than the degree of the monomial.

3.2. Elementary functions

In Clifford analysis, the building blocks of monogenic functions are the so-called Fueter polynomials $\mathcal{P}_{\underline{k}}(x)$ defined by

\begin{equation*} \mathcal{P}_{\underline{k}}(x)= \frac{1}{k!} \sum_{\sigma \in S_n} z_{j \sigma(1)}\cdots z_{j\sigma(k)},\end{equation*}

where S_n is the set of permutations of $ \{1,\ldots,n\}$ and $ z_j:= x_{j}-x_{0}e_j$, with $j=1,\ldots,n,$ are the Fueter variables. Fueter polynomials play the same role in Clifford analysis as the monomials $ x_0^{\alpha_0}x_{1}^{\alpha_1}x_{2}^{\alpha_2}\cdots x_{n}^{\alpha_n}$ in the analysis of several real variables. Now we state the counterpart of Taylor series in a neighbourhood of the origin for monogenic functions (see [15]).

Theorem 3.4. Let f be a monogenic function in a neighbourhood of $0 \in \mathbb{R}^{m+1}$. Then, the function f admits the series expansion

\begin{equation*} f(x)= \sum_{k=0}^\infty \sum_{| \underline{k}|=k} \mathcal{P}_{\underline{k}}(x) a_{\underline{k}}, \quad \underline{k}=(0,k_1,\ldots ,k_n),\end{equation*}

where $ \mathcal{P}_{\underline{k}}(x)={\rm CK}[x_1^{k_1}\cdots x_{n}^{k_n}]$ and $a_{\underline{k}} \in \mathbb{R}_n$.

We observe that there is a simpler way to describe monogenic functions defined on axially symmetric domains. This description is achieved by axially monogenic functions (see [48]).

By restricting our analysis to axially monogenic functions, we can substitute the more complicated approach of Fueter polynomials by the simpler and more accessible approach of Clifford–Appell polynomials. The latter are the monogenic counterparts of the powers $x_0^k$ in one-variable real analysis (see (3.5)). When restricting our analysis from monogenic to axial functions, the previous Taylor expansion in Theorem 3.4 reduces to the following simpler form.

Theorem 3.5. Let f be an axially monogenic function in a neighbourhood of the origin. Then we can write the function f as

\begin{equation*} f(x)= \sum_{k=0}^\infty \frac{f^{(k)}(0)}{k!} P_{k}^{n}(x), \quad x=x_0+ \underline{x} \in \mathbb{R}^{n+1},\end{equation*}

where $P_{k}^n(x)={\rm GCK}[x_0^k]$.

Proof. By Theorem 2.11 and the fact that the function f is axially monogenic, we have that

\begin{equation*} f(x_{0}+ \underline{x})={\rm GCK}[f(x_{0})].\end{equation*}

By expanding the function $f(x_0)$ in Taylor series and by (3.5), we get the statement.

In this subsection, our aim is to study some axially monogenic elementary functions. In particular, we shall construct monogenic versions of the exponential, trigonometric and hyperbolic functions. In each of these cases, we are free to use both the Fueter-Sce map and the generalized CK extension because in this case the two operators are identical (up to a constant). Indeed, by Theorem 2.15, the Fueter-Sce theorem and the generalized CK extension coincide if

(3.7)\begin{equation} {\rm GCK}[f^{(n-1)}(x_0)]= \frac{1}{\gamma_n}{\rm GCK}[f(x_0)] . \end{equation}

Now, since the generalized CK extension is an isomorphism, we get the following condition

\begin{equation*}f^{(n-1)}(x_0)=\frac{1}{\gamma_n}f(x_0).\end{equation*}

This equality is fulfilled by our set of elementary functions, i.e. the exponential, the trigonometric and the hyperbolic functions. Below, we list the previous functions in the slice monogenic setting

Definition 3.6. Let $x \in \mathbb{R}^{n+1}$. We define the slice monogenic elementary functions as

\begin{align*} {\rm e}^x: & =\sum_{k=0}^{\infty}\frac{x^k}{k!}, \\ \sinh(x): & =\sum_{k=0}^{\infty}\frac{x^{2k+1}}{(2k+1)!}, \\ \cosh(x): & =\sum_{k=0}^{\infty}\frac{x^{2k}}{(2k)!}, \\ \sin(x):& =\sum_{k=0}^{\infty}\frac{(-1)^k}{(2k+1)!}x^{2k+1}, \\ \cos(x):& =\sum_{k=0}^{\infty}\frac{(-1)^k}{(2k)!}x^{2k}.\end{align*}

The Fueter-Sce map and the generalized CK extension coincide, up to a constant, when they are applied to the previous functions. Let $x \in \mathbb{R}^{n+1}$, then we have

(3.8)\begin{align} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}({\rm e}^x)= \gamma_n {\rm GCK}[{\rm e}^{x_0}],\nonumber \\ \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(\sinh(x))= \gamma_n {\rm GCK}[\sinh(x_0)],\end{align}

(3.9)\begin{align} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(\cosh(x))= \gamma_n {\rm GCK}[\cosh(x_0)],\nonumber \\ \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(\cos(x))= \gamma_n (-1)^{\frac{n-1}{2}} {\rm GCK}[\cos(x_0)], \nonumber \\ \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(\sin(x))= \gamma_n (-1)^{\frac{n-1}{2}} {\rm GCK}[\sin(x_0)],\end{align}

In literature, some elementary monogenic functions in the quaternionic setting are studied in [36, Subsection 11.2.3]. The methodology was to extend a complex valued functions to $ \mathbb{R}^{4}$ by means of the slice operator (see (2.2)) followed by Laplace operator in four real variables. However, this approach did not use the expansion in series for the slice monogenic functions, and hence they did not get a full description of the elementary functions in terms of spherical monogenic polynomials.

Now, we define the elementary monogenic functions by means of the Fueter-Sce map.

Definition 3.7. Let n be an odd number and $x \in \mathbb{R}^{n+1}$, then we define the monogenic elementary functions as

\begin{align*} {\rm EXP}(x):= \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}({\rm e}^x), \\ {\rm SINH}(x):= \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}(\sinh(x)), \\ {\rm COSH}(x):=\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}(\cosh(x)), \\ {\rm SIN}(x):= \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}(\sin(x)), \\ {\rm COS}(x):=\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}(\cos(x)).\end{align*}

Now we write the elementary monogenic functions in terms of Clifford–Appell polynomials. The following result is a particular case of Theorem 3.5.

Theorem 3.8. Let n be an odd number. Then, for every $x\in\mathbb{R}^{n+1}$, we have

\begin{align*} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}({\rm e}^x)=\gamma_n\sum_{k=0}^{\infty}\frac{P_k^n(x)}{k!}, \\ \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(\sinh(x))=\gamma_n\sum_{k=1}^{\infty}\frac{P^{n}_{2k+1}(x),}{(2k+1)!}, \\ \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(\cosh(x))=\gamma_n \sum_{k=0}^{\infty}\frac{P^{n}_{2k}(x)}{(2k)!}, \\ \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(\cos(x))=\gamma_n\sum_{k=0}^{\infty}\frac{(-1)^k}{(2k)!}P^{n}_{2k}(x), \\ \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(\sin(x))=\gamma_n\sum_{k=0}^{\infty}\frac{(-1)^{k}}{(2k+1)!}P^n_{2k+1}(x). \end{align*}

Proof. We apply the Fueter-Sce map on the slice monogenic exponential e^x. For n odd fixed number and by Theorem 3.1, we have

\begin{equation*}\Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}({\rm e}^x)=\sum_{k=n-1}^{\infty}\frac{\Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(x^k)}{k!}=\gamma_n\sum_{p=0}^{\infty}\frac{P^n_p(x)}{p!}.\end{equation*}

Now we apply the Fueter-Sce map $\Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}$ to the slice monogenic hyperbolic sinus

\begin{equation*} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(\sinh(x))=\sum_{k=0}^{\infty}\frac{\Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(x^{2k+1})}{(2k+1)!}=\sum_{k=\lceil \frac{n-2}{2} \rceil}^{\infty}\frac{\Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(x^{2k+1})}{(2k+1)!},\end{equation*}

where $ \lceil. \rceil$ is the ceiling function.

By rearranging the index of the sum as $2k+1=n+ \ell-1$, since n is odd, we get that $ \ell$ is also odd, and this implies that

\begin{equation*} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(\sinh(x))=\sum_{\ell=1, \, \ell \ {\rm odd}}^{\infty}\frac{\Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(x^{n+ \ell-1})}{(n+ \ell-1)!}.\end{equation*}

Finally, by formula (3.6), we have

\begin{equation*}\Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(\sinh(x))=\gamma_n \sum_{k=0}^\infty \frac{P^n_{2k+1}(x)}{(2k +1) !}.\end{equation*}

The expansions of the other monogenic functions in power series follow from similar arguments.

Proposition 3.9. Let n be an odd fixed number. Then for every $x \in \mathbb{R}^{n+1}$, we have

• • $\overline{\partial} {\rm EXP}(x)=2\,{\rm EXP}(x),$

• • $\overline{\partial} {\rm SINH}(x)=2\,{\rm COSH}(x),$

• • $\overline{\partial} {\rm COSH}(x)=2\,{\rm SINH}(x),$

• • $\overline{\partial} {\rm SIN}(x)=2\,{\rm COS}(x),$

• • $\overline{\partial} {\rm COS}(x)=-2\,{\rm SIN}(x).$

Proof. For a generic monogenic function f, it is known that $ \overline{\partial}f=2 \partial_{x_0}f$. If we set $f(x):= {\rm EXP}(x)$, by Remark 3.8, we get

\begin{eqnarray*} \overline{\partial}{\rm EXP}(x)&=&2 \gamma_n \partial_{x_0} {\rm GCK}[{\rm e}^{x_0}]\\ &=&2 \gamma_n {\rm GCK}[{\rm e}^{x_0}]\\ &=& 2 \,{\rm EXP}(x). \end{eqnarray*}

The other points follows the same arguments.

Remark 3.10. It is possible to show the previous result by means of the Appell property of polynomials $P^n_k(x)$ (see (3.4)). We show, for instance, the first property

\begin{equation*}\overline{\partial} {\rm EXP}(x) = 2 \gamma_n\sum_{k=1}^{\infty}\frac{kP^n_{k-1}(x)}{k!} = 2\,{\rm EXP}(x). \end{equation*}

Moreover, we can make the following estimates for the previous monogenic extensions.

Proposition 3.11. Let n be an odd fixed number. Then for every $x \in \mathbb{R}^{n+1}$, we have

• • $|{\rm EXP}(x)|\leq |\gamma_n| {\rm e}^{|x|}, $

• • $|{\rm SINH}(x)| \leq |\gamma_n|\sinh(|x|),$

• • $|{\rm COSH}(x)| \leq |\gamma_n| \cosh(|x|),$

• • $|{\rm SIN}(x)| \leq |\gamma_n|\sinh(|x|),$

• • $|{\rm COS}(x)|\leq |\gamma_n|\cosh(|x|).$

Proof. We start by proving the first estimate. Formula (3.3) implies that

(3.10)\begin{equation} |P^n_k(x)| \leq \sum_{s=0}^k T_s^k(n) |x|^{k-s}|x|^s=|x|^k. \end{equation}

Then we obtain

\begin{equation*}|{\rm EXP}(x)| \leq |\gamma_n| \sum_{k=0}^{\infty} \frac{|P_{k}^n(x)|}{k!} \leq |\gamma_n| \sum_{k=0}^{\infty} \frac{|x|^k}{k!} =|\gamma_n| {\rm e}^{|x|}. \end{equation*}

The other estimates follow by similar computations.

In this table, we summarize all the properties that we have showed for the elementary monogenic functions.

Now, we prove formulas that put in relation the monogenic exponential and the hyperbolic functions.

Proposition 3.12. Let n be an odd number. For $x \in \mathbb{R}^{n+1}$, we have

\begin{align*} {\rm COSH}(x)= \frac{{\rm EXP}(x)+{\rm EXP}(-x)}{2}, \\ {\rm SINH}(x)= \frac{{\rm EXP}(x)-{\rm EXP}(-x)}{2}.\end{align*}

Proof. It is possible to show this result with the series definitions, but we will use the generalized CK extension because it is easier. By formulas (3.8) and (3.9), we get

\begin{eqnarray*} {\rm COSH}(x)&=& \gamma_{n} {\rm GCK}[\cosh(x_0)]\\ &=& \frac{\gamma_n}{2} \left[{\rm GCK}[{\rm e}^{x_0}]+{\rm GCK}[{\rm e}^{-x_0}]\right]\\ &=& \frac{{\rm EXP}(x)+{\rm EXP}(-x)}{2}. \end{eqnarray*}

The same arguments follow for the hyperbolic sinus.

Now we turn our attention to the following question.

Problem. Is it possible to extend the identities that hold in complex analysis for the trigonometric and hyperbolic functions to Clifford analysis?

The key point of the problem is to understand how to multiply monogenic functions. In this case, the pointwise product and the CK product (denoted by $\odot_{CK}$) do not work. The reason is due to the fact that the pointwise product does not preserve the monogenicity. On the other hand, for a pair of monogenic functions $A(x_0, \underline{x})$ and $B(x_0, \underline{x})$, the CK product is defined as

\begin{equation*} A(x_0, \underline{x}) \odot_{\rm CK} B(x_0, \underline{x})={\rm CK}[A(0, \underline{x}) \cdot B(0, \underline{x})].\end{equation*}

As proved in [9, Proposition 3.7] (one can easily extend in $ \mathbb{R}^{n+1}$) the CK product between Clifford–Appell polynomials is given by

(3.11)\begin{equation} (P_k^n \odot_{CK} P_s^n)(x)= \frac{c_kc_s}{c_{k+s}}P_{k+s}^n. \end{equation}

The drawback of this formula is the presence of unsuitable constants c_k, depending on the dimension, and the degree k, which turns out to be unsuitable for certain computations.

Therefore, we define a new kind of product between the axially monogenic functions, which makes use of the generalized CK extension.

Definition 3.13. Let $A(x_0, \underline{x})$ and $B(x_0, \underline{x})$ be axially monogenic functions, then

(3.12)\begin{equation} A(x_0, \underline{x}) \odot_{\rm GCK} B(x_0, \underline{x})={\rm GCK}[A(x_0,0) \cdot B(x_0,0)]. \end{equation}

This definition allows the introduction of the following ${\rm GCK}$ multiplicative inverse.

Definition 3.14. Let $A(x_0, \underline{x})$ be an axially monogenic function, then

\begin{equation*} [A(x_0, \underline{x})]^{-\odot}={\rm GCK}\left[ \frac{1}{A(x_0,0)}\right],\end{equation*}

whenever $A(x_0,0) \neq 0$.

In these cases, we restrict the functions to a submanifold of dimension one. We will see that this gives rise to natural properties of the product between Clifford–Appell polynomials (see Lemma 5.5 and Proposition 6.7).

This new product is fundamental to prove the following relations of the Clifford–Appell trigonometric and hyperbolic functions.

Lemma 3.15. Let n be a fixed odd number. Let $x=x_0+ \underline{x} \in \mathbb{R}^{n+1}$, then

\begin{equation*} \left({\rm COS}(x) \odot_{\rm GCK} {\rm COS}(x)+{\rm SIN}(x) \odot_{\rm GCK} {\rm SIN}(x) \right)=\gamma_n^2\end{equation*}

and

\begin{equation*} \left({\rm COSH}(x) \odot_{\rm GCK} {\rm COSH}(x)-{\rm SINH}(x) \odot_{\rm GCK} {\rm SINH}(x)\right)=\gamma_n^2,\end{equation*}

where $\gamma_n:=\frac{(-1)^{\frac{n-1}{2}}2^{n-1}}{(n-1)!}\left[\Gamma\left(\frac{n+1}{2}\right)\right]^2$.

Proof. By Definition 3.13, we have

(3.13)\begin{align*} \nonumber {\rm COS}(x) \odot_{\rm GCK} {\rm COS}(x) &= \gamma_n^2 \left({\rm GCK}[\cos(x_0)]\odot_{\rm GCK}{\rm GCK}[\cos(x_0)]\right) \\ &= \gamma_n^2{\rm GCK}[\cos^2(x_0)]. \end{align*}

Similarly,

(3.14)\begin{align*} \nonumber {\rm SIN}(x) \odot_{\rm GCK} {\rm SIN}(x) &=\gamma_n^2\left({\rm GCK}[\sin(x_0)]\odot_{\rm GCK}{\rm GCK}[\sin(x_0)]\right) \\ &= \gamma_n^2 {\rm GCK}[\sin^2(x_0)]. \end{align*}

By making the sum of (3.13) and (3.14), we get

\begin{eqnarray*} {\rm COS}(x) \odot_{\rm GCK} {\rm COS}(x)+{\rm SIN}(x) \odot_{\rm GCK} {\rm SIN}(x)&=& \gamma_n^2{\rm GCK}[\cos^2(x_0)]+ \gamma_n^2{\rm GCK}[\sin^2(x_0)]\\ &=& \gamma_n^2{\rm GCK}[\cos^2(x_0)+\sin^2(x_0)]\\ &=& \gamma_n^2{\rm GCK}[1]=\gamma_n^2. \end{eqnarray*}

Remark 3.16. By similar arguments, it is possible to prove other classical trigonometric identities for the Clifford–Appell monogenic sine and cosine. As well as for the hyperbolic sine and cosine.

4. The kernel and range of Fueter-Sce mapping

In classical complex analysis, a family of reproducing kernel Hilbert spaces including Hardy, Fock, Hardy–Sobolev and Dirichlet spaces are studied in [3]. In this section, we shall extend these spaces to the Clifford setting with the help of the Fueter-Sce map. Moreover, we shall study the kernel and the range of this map when acting on such spaces. Before we introduce our extensions, let us recall that in the complex setting, the Hardy, Fock and the other spaces fit into the following general parallelism.

Given a non-decreasing sequence of real numbers $c=\{c_n\}_{n\in \mathbb{N}}$ with $c_0=1$, we consider the following space of functions

\begin{eqnarray*} \mathcal{H}(\Omega_c)&=& \left \{f(z)=\sum_{n=0}^\infty z^n f_n, \quad \{f_n\}_{n \geq 0}\subset \mathbb{C} : \sum_{n=0}^\infty c_n |f_n|^2 \lt \infty \right\},\\ \Omega_c:&=&\left\lbrace{z\in\mathbb{C}; \quad \sum_{n=0}^\infty \frac{|z|^{2n}}{c_n} \lt \infty} \right\rbrace.\end{eqnarray*}

Each element of the space $\mathcal{H}(\Omega_c)$ absolutely converges on $ \Omega_c$. Indeed by the Cauchy–Schwarz inequality, we have

\begin{equation*} \left(\sum_{n=0}^\infty |z|^n |f_n| \right)^2 = \left(\sum_{n=0}^\infty \frac{|z|^n}{\sqrt{c_n}} \sqrt{c_n} |f_n| \right)^2 \leq \left( \sum_{n=0}^\infty \frac{|z|^{2n}}{c_n}\right) \left( \sum_{n=0}^\infty c_n |f_n|^2\right) \lt \infty.\end{equation*}

The space $ \mathcal{H}(\Omega_c)$ can be turned into a Hilbert space with inner product

\begin{equation*} \langle f, g \rangle_{\mathcal{H}(\Omega_c)}= \sum_{n=0}^\infty c_m f_n \overline{g}_n,\end{equation*}

where $f(z)= \sum_{n=0}^\infty z^n f_n$, $g(z)= \sum_{n=0}^\infty z^n g_n \in \mathcal{H}(\Omega_c)$. Moreover, the space $\mathcal{H}(\Omega_c)$ is a reproducing kernel Hilbert space, with reproducing kernel

\begin{equation*} K_\mathbf{c}(z,w)=\displaystyle \sum_{n=0}^{\infty}\frac{z^n\overline{w}^n}{c_n}, \quad z,w\in \Omega_c. \end{equation*}

We refer to Theorem 2.1, Definition 2.2 and Remark 2.3 of [3] for more details.

4.1. Range of the Fueter-Sce map

In this section, we are going to study the action of the Fueter-Sce map on sub-modules of slice monogenic functions of the form

(4.1)\begin{eqnarray} \mathcal{HS}(\Omega_c):&=&\left\lbrace{\sum_{k=0}^{\infty}x^k\beta_k;\quad \beta_k\in \mathbb{R}_n,\quad \sum_{k=0}^{\infty}c_k|\beta_k|^2 \lt \infty}\right\rbrace,\nonumber\\ \Omega_c&=&\left\lbrace{x\in\mathbb{R}^{n+1}; \quad \sum_{k=0}^\infty \frac{|x|^{2k}}{c_k} \lt +\infty} \right\rbrace, \end{eqnarray}

where $c=\{c_k\}_{k \in \mathbb{N}}$ is a non-decreasing sequences of real numbers with $c_0=1$. Using the Cauchy–Schwartz inequality, we easily see that functions in $\mathcal{HS}(\Omega_c)$ converge absolutely on $ \Omega_c$.

As we will show, the action of $ \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}$ on $ \mathcal{HS}(\Omega_c)$ yields a submodule of axial monogenic functions of the form

(4.2)\begin{equation} \mathcal{HM}(\Omega_b):=\left\lbrace{\sum_{k=0}^{\infty}P_k^n(x)\alpha_k: \quad \alpha_k\in \mathbb{R}_n,\quad \sum_{k=0}^{\infty}b_k|\alpha_k|^2 \lt \infty}\right\rbrace, \end{equation}

where $ \{b_k\}_{k \in \mathbb{N}_0} \subset \mathbb{R}$ is a suitable non-decreasing sequence with $b_0=1$. As for $ \mathcal{HS}(\Omega_c)$, it can be shown that functions in $\mathcal{HM}(\Omega_b)$ converge absolutely on $\Omega_b$.

Definition 4.1. Let us consider $f= \sum_{k=0}^\infty P_{k}^n \alpha_k$ and $g= \sum_{k=0}^\infty P_{k}^n \gamma_k$ in $\mathcal{HM}(\Omega_b)$, then an inner product of $\mathcal{HM}(\Omega_b)$ is defined by

\begin{equation*} \langle f,g \rangle_{\mathcal{HM}(\Omega_b)}=\sum_{k=0}^\infty b_k\overline{\alpha_k} \gamma_k.\end{equation*}

Similarly, let $f= \sum_{k=0}^\infty x^k \beta_k$ and $g= \sum_{k=0}^\infty x^k \delta_k$ in $\mathcal{HS}(\Omega_c)$, then an inner product on $\mathcal{HS}(\Omega_c)$ is defined by

\begin{equation*} \langle f,g \rangle_{\mathcal{HS}(\Omega_c)}=\sum_{k=0}^\infty c_k\overline{\beta_k} \delta_k.\end{equation*}

In particular, the associate norms are given by

\begin{equation*} ||f||_{\mathcal{HS}(\Omega_c)}=\sqrt{\hbox{Re}\left(\langle f,f \rangle_{\mathcal{HS}(\Omega_c)}\right)}, \qquad ||f||_{\mathcal{HM}(\Omega_b)}=\sqrt{\hbox{Re}\left(\langle f,f \rangle_{\mathcal{HM}(\Omega_b)} \right)},\end{equation*}

where $\hbox{Re}\left(\langle .\rangle \right)$ denotes the scalar part of the inner product.

It turns out that all the evaluation mapping on $ \mathcal{HM}(\Omega_b)$ are continuous. This implies the existence of a reproducing kernel for the space $ \mathcal{HM}(\Omega_b)$.

Theorem 4.2 The evaluation map on $ \mathcal{HM}(\Omega_b)$ is bounded. In particular, for every function $f \in \mathcal{HM}(\Omega_b)$, we have the following estimate

(4.3)\begin{equation} \displaystyle |f(x)|\leq \left(2^n\sum_{k=0}^\infty \frac{|x|^{2k}}{b_k}\right)^{1/2}||f||_{\mathcal{HM}(\Omega_b)} ; \quad \forall x\in \Omega_b. \end{equation}

This means that the evaluation map is continuous on $\mathcal{HM}(\Omega_b)$, which is sufficient to endow $\mathcal{HM}(\Omega_b)$ with a reproducing kernel Hilbert space structure. In particular, the reproducing kernel of $ \mathcal{HM}(\Omega_b)$ is given by

(4.4)\begin{equation} K_{b}(x,y)=\sum_{k=0}^{\infty}\frac{P_k^n(x) \overline{P_k^n(y)}}{b_k}, \quad x,y\in\Omega_b. \end{equation}

Proof. Let $f(x)=\sum_{k=0}^\infty P_k^n(x) \alpha_k$. We first recall that $|ab| \leq 2^{\frac{n}{2}} |a| |b|$ for every a, $b \in \mathbb{R}_n$. Then, by the Cauchy–Schwarz inequality and the fact that $|P_k^n(x)|\leq |x|^k$, we get

\begin{eqnarray*} |f(x)| & \leq & 2^{\frac{n}{2}}\sum_{k=0}^{\infty}|P_k^n(x)||\alpha_k|=2^{\frac{n}{2}}\sum_{k=0}^{\infty}\frac{|P_k^n(x)|}{\sqrt{b_k}}|\alpha_k| \sqrt{b_k}\\ & \leq & \left(2^n \sum_{k=0}^\infty \frac{|P_k^n(x)|^2}{b_k}\right)^{\frac{1}{2}} \left( \sum_{k=0}^\infty b_k |\alpha_k|^2\right)^{\frac{1}{2}}\\ &\leq& \left(2^n\sum_{k=0}^\infty \frac{|x|^{2k}}{b_k}\right)^{1/2}||f||_{\mathcal{HM}(\Omega_b)}. \end{eqnarray*}

Since $f \in \mathcal{HM}(\Omega_b)$, it is clear that the quantity $\sum_{k=0}^\infty \frac{|x|^{2k}}{b_k}$ is bounded for all $x \in \Omega_b$. Thus, the evaluation map is bounded and therefore $ \mathcal{HM}(\Omega_b)$ is a reproducing kernel Hilbert space.

Let us now show that the series in (4.4) is indeed the reproducing kernel for $ \mathcal{HM}(\Omega_b)$. First we show that it is convergent. Using the Cauchy–Schwarz inequality and the fact that $|P_k^n(x)|\leq |x|^k$ for x, $y \in \Omega_b$, we obtain for x, $y \in \Omega_b$ that

\begin{eqnarray*} | K_b(x,y)| & \leq & 2^n \sum_{k=0}^\infty \frac{|P_k^n(x)||P_k^n(y)|}{b_k}\\ & \leq & 2^n \sum_{k=0}^\infty \frac{|x|^k |y|^k}{b_k}\\ & \leq & 2^n \left( \sum_{k=0}^{\infty} \frac{|x|^{2k}}{b_k}\right)\left( \sum_{k=0}^{\infty} \frac{|y|^{2k}}{b_k}\right) \lt \infty. \end{eqnarray*}

To prove the reproducing kernel property, let us fix $y \in \Omega_b$, so we have

\begin{equation*} K_y(x)= \sum_{k=0}^\infty P_k^n(x) \alpha_k(y), \qquad \alpha_k(y):= \frac{\overline{P_k^n(y)}}{b_k}.\end{equation*}

We observe that the function $K_y(x)$ belongs to $\mathcal{HM}(\Omega_b)$. Indeed, if $y \in \Omega_b$, by inequality (3.10), we get

\begin{equation*} \sum_{k=0}^\infty b_k |\alpha_k(y)|^2= \sum_{k=0}^\infty \frac{|P_k^n(y)|^2}{b_k} \leq \sum_{k=0}^\infty \frac{|y|^{2k}}{b_k} \lt \infty.\end{equation*}

Let us consider $f(x)= \sum_{k=0}^\infty P_k^n(x) \beta_k \in \mathcal{HM}(\Omega_b)$, with $ \{\beta_k\}_{k \in \mathbb{N}_0} \subset \mathbb{R}_n$, then we have

\begin{equation*} \langle K_y, f \rangle_{\mathcal{HM}(\Omega_b)}= \sum_{k=0}^\infty b_k \overline{\alpha_k(y)} \beta_k=\sum_{k=0}^\infty P_k^n(y) \beta_k=f(y), \quad \forall y \in \Omega_b.\end{equation*}

Theorem 4.3. Let n be a fixed odd number and $c=\{c_k\}_{k \in \mathbb{N}}$ be a non-decreasing sequence with $c_0=1$. Then

\begin{equation*} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}\left( \mathcal{HS}(\Omega_c)\right) \subset \mathcal{HM}(\Omega_b),\end{equation*}

where the sequence $b=\{b_k\}_{k \in \mathbb{N}_0}$ is given by

(4.5)\begin{equation} b_k:= \frac{c_{k+n-1}(k!)^2}{[(n+k-1)!]^2}, \quad k \in \mathbb{N}_0. \end{equation}

Moreover, for any $f\in\mathcal{HS}(\Omega_c)$, we have

\begin{equation*} \|\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}f\|_{\mathcal{HM}(\Omega_b)}^2=\gamma^2_n\left(||f||^2_{\mathcal{HS}(\Omega_c)}-\sum_{k=0}^{n-2}c_k \frac{|f^{(k)}(0)|^2}{[k!]^2}\right), \end{equation*}

where $\gamma_n:= \frac{(-1)^{\frac{n-1}{2}} 2^{n-1}}{(n-1)!} \left[\Gamma \left( \frac{n+1}{2}\right)\right]^2.$

Proof. Let $g\in\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}\left(\mathcal{HS}(\Omega_c)\right)$; thus, there exists $f\in \mathcal{HS}(\Omega_c)$ such that $g= \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} f$. Writing

\begin{equation*} f(x)=\sum_{p=0}^\infty x^p\alpha_p, \quad \hbox{where} \ \{\alpha_p\}_{p \in \mathbb{N}_0} \subset \mathbb{R}_n \quad \hbox{and} \quad \sum_{p=0}^{\infty}|\alpha_p|^2c_p \lt +\infty,\end{equation*}

we obtain

\begin{align*} g(x) &= \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}f(x) \\ &=\sum_{s=n-1}^{\infty} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}(x^s)\alpha_s\\ &=\sum_{k=0}^{\infty} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}\left(x^{k+n-1}\right)\alpha_{k+n-1}\\ &= \gamma_n \sum_{k=0}^{\infty} \frac{(n+k-1)!}{k!}P^n_k(x)\alpha_{k+n-1}\\ &:=\sum_{k=0}^{\infty} P^n_k(x)\beta_k; \end{align*}

where the coefficients $\{\beta_k\}_{k \in \mathbb{N}_0}$ are given by

(4.6)\begin{equation} \beta_k:= \gamma_n \frac{(n+k-1)!}{k!} \alpha_{k+n-1}, \quad k \in \mathbb{N}_0. \end{equation}

Now we set

(4.7)\begin{equation} b_k:= \frac{c_{k+n-1}(k!)^2}{[(n+k-1)!]^2};\quad \forall k\geq 0. \end{equation}

Then, recalling the definition of the submodule of monogenic functions $\mathcal{HM}(\Omega_b)$ (see (4.2)), we have the following equalities

\begin{align*} \left\|\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}f\right\|^2_{\mathcal{HM}(\Omega_b)} &=\sum_{k=0}^{\infty}b_k|\beta_k|^2 \\ &= \gamma_n^2 \sum_{k=0}^{\infty}b_k \frac{[(n+k-1)!]^2}{(k!)^2}|\alpha_{k+n-1}|^2 \\ &= \gamma_n^2\sum_{k=0}^{\infty}c_{k+n-1}|\alpha_{k+n-1}|^2\\ &=\gamma_n^2 \sum_{p=n-1}^{\infty} c_p|\alpha_p|^2 . \end{align*}

Now, we recall that the coefficients $ \{\alpha_{k}\}_{k \geq 0}$ appearing in the Taylor series of the slice monogenic functions f are given by

\begin{equation*}\displaystyle \begin{cases} \alpha_0:=f(0)\\ \vdots\\ \alpha_{n-2}:=\frac{f^{(n-2)}(0)}{(n-2)!}. \end{cases} \end{equation*}

Finally, we conclude that

\begin{equation*}\left\|\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} f\right\|^2_{\mathcal{HM}(\Omega_b)}=\gamma_n^2 \left(\|f\|^2_{\mathcal{HS}(\Omega_c)}-\sum_{k=0}^{n-2}c_k\frac{|f^{(k)}(0)|^2}{[k!]^2}\right).\end{equation*}

Proposition 4.4. The Fueter-Sce map, which goes from the space $\mathcal{HS}(\Omega_c)$ to $ \mathcal{HM}(\Omega_b)$, is surjective, i.e.

\begin{equation*}\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}(\mathcal{HS}(\Omega_c))=\mathcal{HM}(\Omega_b).\end{equation*}

Proof. We have to show that for any $g \in \mathcal{HM}(\Omega_b)$, there exists a function $f \in \mathcal{HS}(\Omega_c)$ such that

\begin{equation*} g(x)= \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} f(x).\end{equation*}

By (4.2), we know that

(4.8)\begin{equation} g(x)= \sum_{k=0}^\infty P_{k}^n(x) \alpha_k, \qquad \sum_{k=0}^\infty b_k | \alpha_k|^2 \lt \infty, \end{equation}

where $ \{\alpha_k\}_{k \geq 0} \subset\mathbb{R}_n$. By Theorem 3.1, we have

\begin{eqnarray*} g(x)&=& \sum_{k=0}^\infty P_{k}^n(x) \alpha_k\\ &=& \sum_{k=0}^\infty \frac{k! \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}(x^{n+k-1})}{\gamma_n (n+k-1)!} \alpha_{k}\\ &=& \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} \left(\sum_{k=n-1}^{\infty} x^{k} \frac{(k+1-n)!}{\gamma_n k!} \alpha_{k+1-n} \right)\\ &:=& \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} f(x), \end{eqnarray*}

where $ \beta_k:=\frac{(k+1-n)!}{\gamma_n k!} \alpha_{k+1-n}$. In order to prove that $f \in \mathcal{HS}(\Omega_c)$, we have to show $ \sum_{k=0}^\infty c_k| \beta_k|^2 \lt \infty$. By Theorem 4.3 and the condition of convergence in (4.8), we have

\begin{eqnarray*} \sum_{k=0}^\infty c_k| \beta_k|^2 &=& \sum_{k=n-1}^\infty c_k \frac{[(k+1-n)!]^2}{\gamma_n^2 [k!]^2} | \alpha_{k+1-n}|^2\\ &=& \sum_{k=0}^\infty c_{k+1-n} \frac{[k!]^2}{[(k+1-n)!]^2}| \alpha_{k}|^2\\ &=& \sum_{k=0}^\infty b_k | \alpha_k|^2 \lt \infty, \end{eqnarray*}

which proves the result.

If we consider the space

\begin{equation*} \mathcal{HS}_{c}^{0}:= \left\{f \in \mathcal{HS}(\Omega_c), \, f(0)=\cdots = f^{(n-2)}(0)=0\right\},\end{equation*}

we have the following result.

Corollary 4.5. Let n be an odd number. The Fueter-Sce mapping $ \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}$ defines an isometry (up to a constant) from $\mathcal{HS}_{c}^{0}$ onto $ \mathcal{HM}$. In particular,

\begin{equation*} \left\| \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}(f) \right\|_{\mathcal{HM}(\Omega_b)}= \gamma_n \|f\|_{\mathcal{HS}_c^0(\Omega_c)}.\end{equation*}

Moreover, the inner product is preserved, i.e.

\begin{equation*} \left\langle \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} f, \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} g \right\rangle_{\mathcal{HM}(\Omega_b)} = \gamma_n^2 \langle f,g \rangle_{\mathcal{HS}_c^0(\Omega_c)}.\end{equation*}

Remark 4.6. The above result constitutes an extension to all odd dimensions n of [9, Theorem 6.1], where similar results were proven in the quaternionic case, i.e. for n = 3.

Now we show some examples of slice monogenic function spaces and their Fueter-Sce mapping ranges, the associated sequences c and b and the Fueter-Sce mapping norm. In the sequel, we denote by $ \mathbb{B}$ the unit ball defined in the following way:

\begin{equation*} \mathbb{B}:= \left\{x \in \mathbb{R}^{n+1} : \sum_{i=0}^n x_{i}^2 \lt 1 \right\}.\end{equation*}

Example 4.7. Hardy space

In this case, we consider $c_k=1$. Then we define the slice monogenic Hardy space as

\begin{equation*}\mathsf{HA}(\mathbb{B}):= \left\{\sum_{k=0}^\infty x^k \alpha_k: \quad \alpha_k \in \mathbb{R}_n, \quad \sum_{k=0}^\infty |\alpha_k|^2 \lt \infty \right\}.\end{equation*}

The action of the Fueter-Sce map on $\mathsf{HA}(\mathbb{B})$ gives the axially monogenic Hardy space. By Theorem 4.3, we know that this space is given by

(4.9)\begin{equation} \mathcal{HA}_n(\Omega_b):=\left\lbrace{\sum_{k=0}^{\infty}P_k^n(x)\alpha_k, \quad \alpha_k\in \mathbb{R}_n, \quad \sum_{k=0}^{\infty}b_k|\alpha_k|^2 \lt \infty}\right\rbrace, \end{equation}

where

\begin{equation*} b_k= \frac{[k!]^2}{[(k+n-1)!]^2}.\end{equation*}

By (4.2), the ratio test and the fact that $\lim_{k \to \infty} \frac{b_k}{b_{k+1}}=1,$ we get that the domain of convergence $\Omega_b$ coincides with the unit ball $ \mathbb{B} \subset \mathbb{R}^{n+1}$. Moreover, by Theorem 4.3, we have the following equality

\begin{equation*} \left\|\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} f\right\|_{\mathcal{HA}_{n}(\mathbb{B})}^2=\gamma_n^2\left(\|f\|_{\mathsf{HA}(\mathbb{B})}^{2}-\sum_{k=0}^{n-2}\frac{|f^{k}(0)|^2}{[k!]^2}\right).\end{equation*}

Example. Bergman space

In this case, we consider $c_k=\frac{1}{k+1}$, i.e. the slice monogenic Bergman space is defined as

\begin{equation*}\mathsf{A}(\mathbb{B}):= \left\{\sum_{k=0}^\infty x^k \alpha_k: \quad \alpha_k \in \mathbb{R}_n, \quad \sum_{k=0}^\infty \frac{|\alpha_k|^2}{k+1} \lt \infty\right\}.\end{equation*}

The action of the Fueter-Sce map on $\mathsf{A}(\mathbb{B})$ gives the axially monogenic Bergman space. By Theorem 4.3, this space is given by

\begin{equation*} \mathcal{A}(\Omega_b):=\left\lbrace{\sum_{k=0}^{\infty}P_k^n(x)\alpha_k,\quad \alpha_k\in \mathbb{R}_n,\quad \sum_{k=0}^{\infty}b_k|\alpha_k|^2 \lt \infty}\right\rbrace,\end{equation*}

where

\begin{equation*} b_k=\frac{(k!)^2}{(k+n)!(k+n-1)!}.\end{equation*}

Since $ \lim_{k \to \infty}\frac{b_k}{b_{k+1}}=1$, by the ratio test and (4.2), we conclude that $\Omega_b= \mathbb{B}$. Furthermore, by Theorem 4.3, we have the following equality

\begin{equation*} \left\|\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} f\right\|_{\mathcal{A}(\mathbb{B})}^2=\gamma_n^2 \left(\|f\|_{\mathsf{A}(\mathbb{B})}^{2}-\sum_{k=0}^{n-2}\frac{|f^{k}(0)|^2}{(k+1)!k!}\right).\end{equation*}

Example. Dirichlet space

In this case, we consider $c_k=k$. Thus, we define the slice monogenic Dirichlet space as

\begin{equation*}\mathsf{D}(\mathbb{B}):= \left\{\sum_{k=0}^\infty x^k \alpha_k: \quad \alpha_k \in \mathbb{R}_n , \quad \sum_{k=1}^\infty k|\alpha_k|^2 \lt \infty \right\}.\end{equation*}

The action of the Fueter-Sce map on $\mathsf{D}(\mathbb{B})$ gives the axially monogenic Dirichlet space. By Theorem 4.3, we know that this space is given by

\begin{equation*} \mathcal{D}(\Omega_b):=\left\lbrace{\sum_{k=0}^{\infty}P_k^n(x)\alpha_k,\quad \alpha_k\in \mathbb{R}_n, \quad \sum_{k=0}^{\infty}b_k|\alpha_k|^2 \lt \infty}\right\rbrace,\end{equation*}

where

\begin{equation*} b_k=\frac{(k!)^2}{(k+n-1)!(k+n-2)!}.\end{equation*}

We observe that $ \Omega_b=\mathbb{B}$. Indeed, it suffices to use the ratio test and the fact that $ \lim_{k \to \infty} \frac{b_k}{b_{k+1}}=1$. Moreover, by Theorem 4.3, we have the following equality

\begin{equation*} \left\|\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} f\right\|_{\mathcal{D}(\mathbb{B})}^2=\gamma_n^2 \left(\|f\|_{\mathsf{D}(\mathbb{B})}^{2}-\sum_{k=1}^{n-2}\frac{|f^{(k)}(0)|^2}{k!(k-1)!}\right).\end{equation*}

Example 4.10. Fock space

In this case, we have $c_k=k!$. Therefore, we define the slice monogenic Fock space as

\begin{equation*}\mathsf{SB}(\mathbb{R}^{n+1}):= \left\{\sum_{k=0}^\infty x^k \alpha_k: \quad \alpha_k \in \mathbb{R}_n, \quad \sum_{k=0}^\infty k!|\alpha_k|^2 \lt \infty\right\}.\end{equation*}

The action of the Fueter-Sce map on $\mathsf{SB}(\mathbb{B})$ gives the axially monogenic Fock space. By Theorem 4.3, we know that this space is defined by

(4.10)\begin{equation} \mathcal{SB}(\Omega_b):=\left\lbrace{\sum_{k=0}^{\infty}P_k^n(x)\alpha_k: \quad \alpha_k\in \mathbb{R}_n, \quad \sum_{k=0}^{\infty}b_k|\alpha_k|^2 \lt \infty}\right\rbrace, \end{equation}

where

\begin{equation*} b_k=\frac{(k!)^2}{(k+n-1)!}.\end{equation*}

In this case, $ \lim_{k \to \infty} \frac{b_{k}}{b_{k+1}}=0$; hence, by the ratio test, we obtain that $\Omega_b= \mathbb{R}^{n+1}$. Moreover, by Theorem 4.3, we have the following equality

\begin{equation*} \left\|\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} f\right\|_{\mathcal{SB}(\mathbb{R}^{n+1})}^2=\gamma_n^2\left(\|f\|_{\mathsf{SB}(\mathbb{R}^{n+1})}^{2}-\sum_{k=0}^{n-2}\frac{|f^{(k)}(0)|^2}{k!}\right).\end{equation*}

In the table, we summarize the most relevant information concerning the previous examples.

4.2. Kernel of the Fueter-Sce map

In this subsection, we turn our attention to the kernel of the Fueter-Sce map, i.e.

\begin{equation*} \ker\left(\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}\right):=\left\lbrace{f\in \mathcal{SM}(\Omega),\quad \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}f(x)=0}\right\rbrace,\end{equation*}

where the set Ω is an axially symmetric slice domain in $ \mathbb{R}^{n+1}$.

Theorem 4.11 Let n be a fixed odd number and let Ω be an axially symmetric slice domain on $\mathbb{R}^{n+1}$. Then, a slice monogenic function f belongs to $\ker\left(\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}\right)$ if and only if f is a $ \mathbb{R}_n$-valued polynomial of degree n − 2 in the variable x, i.e.

(4.11)\begin{equation} f(x)=\sum_{k=0}^{n-2}x^k\alpha_{k}, \qquad \alpha_k \in \mathbb{R}_n. \end{equation}

Proof. Without lost of generality, we assume that the axially symmetric slice domain contains the origin. If this is not the case, one can proceed using a translation argument. First, it is clear that if f is a function of the form

\begin{equation*}f(x)=\alpha_0+\alpha_1 x+\cdots +\alpha_{n-2}x^{n-2},\end{equation*}

then f is slice monogenic and belongs to the kernel of $\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}$.

Conversely, let $f\in \ker\left(\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}\right)$. We know by the series expansion theorem for slice monogenic functions that f can be expanded as

(4.12)\begin{equation} f(x)= \sum_{k=0}^{\infty}x^k \alpha_k, \quad \forall x\in \Omega. \end{equation}

Now we apply the Fueter-Sce map $\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}$ to (4.12). By Corollary 3.3 and after some manipulations, we get

(4.13)\begin{equation} \Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}} f(x)= \sum_{\ell=0}^{\infty} P^n_{\ell}(x)\beta_\ell^n, \end{equation}

where the coefficients of this polynomial are given by (see (4.6))

(4.14)\begin{equation} \beta_\ell^n:= \gamma_n \frac{(n+ \ell-1)!}{\ell!}\alpha_{\ell+n-1}, \quad \ell \in \mathbb{N}_0. \end{equation}

Since $\Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}}f=0$, for any $x \in \Omega$, we have

(4.15)\begin{equation} \sum_{\ell=0}^{\infty}P^n_{\ell}(x)\beta_\ell^n =0. \end{equation}

So, by restricting to the real line, we get

(4.16)\begin{equation} \displaystyle \sum_{\ell=0}^{\infty}x_0^{\ell}\beta_\ell^n =0. \end{equation}

In particular, this shows for every $\ell=0,1,\ldots$ that

(4.17)\begin{equation} \alpha_{\ell+n-1}=0. \end{equation}

Hence, we have $\alpha_k=0$ for every $k=n-1,n,\ldots.$ So, this implies that

\begin{equation*}f(x)= \sum_{k=0}^{n-2}x^k \alpha_k, \quad \forall x\in \Omega,\end{equation*}

which finishes the proof.

Remark 4.12. We used the Clifford–Appell approach for the proof of Theorem 4.11 since it will be of interest in the sequel and it will be also useful to characterize the functions that belong to the kernel of the operator $\partial$ (see [17]). However, it is possible to show this result using Theorem 2.15. Indeed, $ \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}f=0$ if and only if

\begin{equation*} {\rm GCK}[f^{(n-1)}(x_0)]=0.\end{equation*}

This holds if and only if

\begin{equation*} f^{(n-1)}(x_0)=0.\end{equation*}

Finally, since f is defined in a piecewise connected open set $ \mathbb{R}$, it can be uniquely extended to a holomorphic function to a connected set in $ \mathbb{R}^2$. Thus, f is a polynomial of degree at most n − 2, i.e.

\begin{equation*} f(x)= \sum_{k=0}^{n-2}x^k \alpha_k, \quad \{\alpha_k\}_{0 \leq k \leq n-2} \subset \mathbb{R}_n.\end{equation*}

5. The Clifford–Appell–Fock space in $ \mathbb{R}^{n+1}$

In this section, our aim is to study an extension of the Fock space to the monogenic setting. In the complex setting, an entire function $ f(z)= \sum_{n=0}^\infty z^n a_n$ belongs to the complex Fock space if its Taylor coefficient satisfies $ \sum_{n=0}^\infty n! |a_n|^2 \lt \infty$ (see [35]). A Fock space in the slice monogenic setting was studied in [6]. In this work, we will further extend the Fock space in the axially monogenic setting. To do this, we will make use of the generalized CK extension. The main advantages of this tool, with respect to the Fueter-Sce theorem, is that it is an isomorphism. Therefore, it preserves the structure of the complex Fock space (see (3.5)).

Let us define the Clifford–Appell–Fock space in $ \mathbb{R}^{n+1}$. This space is defined, for a fixed odd number n, as

(5.1)\begin{equation} \mathcal{F}(\mathbb{R}^{n+1}):=\left\lbrace{\sum_{k=0}^{\infty}P_k^n(x)\alpha_k: \quad\alpha_k\in\mathbb{R}_n,\quad\sum_{k=0}^{\infty}k!|\alpha_k|^2 \lt \infty}\right\rbrace. \end{equation}

It follows from the classical case that the Clifford–Appell–Fock space is defined in the whole space because for any $x \in \mathbb{R}^{n+1}$, we know that $| P_k^n(x)| \leq |x|^k$.

Remark 5.1. For any $k \geq 0$ and n fixed odd number, we have that $ \frac{k!}{(k+n-1)!} \leq k!$. From this it follows that the Fock space introduced in (5.1) is contained in the Fock space defined in (4.10) .

As we already saw, this kind of space can be endowed with a Hilbert module structure as follows.

Definition 5.2. Let n be a fixed odd number. Let us consider $f(x)= \sum_{k=0}^\infty P_k^n(x) \alpha_k$ and $ g(x)=\sum_{k=0}^\infty P_k^n(x) \beta_k$ in $\mathcal{F}(\mathbb{R}^{n+1})$. We define the scalar product as

\begin{equation*} \langle f,g \rangle_{\mathcal{F}(\mathbb{R}^{n+1})}= \sum_{k=0}^\infty k! \overline{\alpha}_k \beta_k.\end{equation*}

Theorem 5.3. Let n be a fixed odd number. For any $f \in \mathcal{F}(\mathbb{R}^{n+1})$ and $x \in \mathbb{R}^{n+1}$, we have

\begin{equation*} |f(x)| \leq 2^{\frac{n}{2}} {\rm e}^{\frac{|x|^2}{2}} \| f \|_{\mathcal{F}(\mathbb{R}^{n+1})}.\end{equation*}

Moreover, the reproducing kernel of the Clifford–Appell–Fock space $\mathcal{F}(\mathbb{R}^{n+1})$ is given by the convergent series

(5.2)\begin{equation} K_{\mathcal{F}}(x,y)=\sum_{k=0}^{\infty}\frac{P_k^n(x) \overline{P_k^n(y)}}{k!}, \quad x,y\in\mathbb{R}^{n+1}. \end{equation}

Proof. It is enough to put $b_{k}= k!$ and $ \Omega_b= \mathbb{R}^{n+1}$ in Theorem 4.2 .

Remark 5.4. Currently we do not have a method for computing the sum in (5.2). Nevertheless, if we restrict x and y to the real line, i.e. x ₀,$y_0 \in \mathbb{R}$, we get

\begin{equation*} K_{\mathcal{F}}(x_0,y_0)=e^{x_0y_0},\end{equation*}

which is the reproducing kernel of the classical Fock space.

Before extending the creation and annihilation operators in this setting, we prove the following fundamental result.

Lemma 5.5. Let n be a fixed odd number and $ \ell, k \geq 0$. Then for any $x=x_0+ \underline{x} \in \mathbb{R}^{n+1}$, we have

(5.3)\begin{equation} P_{\ell}^n(x) \odot_{\rm GCK} P_k^n(x)=P_{k+ \ell}^n(x). \end{equation}

Proof. It follows by formulas (3.5) and (3.12)

\begin{eqnarray*} P_{\ell}^n(x) \odot_{\rm GCK} P_k^n(x)&=&{\rm GCK}[x_{0}^\ell x_0^{k}]\\ &=& {\rm GCK}[x_{0}^{\ell+k}]\\ &=& P^n_{k+ \ell}(x). \end{eqnarray*}

Using the definition of GCK product (see 3.12), we can now extend to the Clifford setting the classical notions of creation and annihilation operators.

Definition 5.6. The creation operator acting on a function $f \in \mathcal{F}(\mathbb{R}^{n+1}) $ is defined as

(5.4)\begin{equation} \mathcal{M}_{P_1^n}(f):= P_1^n \odot_{\rm GCK} f, \end{equation}

where $P_1^n(x)= \frac{1}{2n} \left( (n+1)x+ (n-1) \bar{x}\right)$.

Let $g(x)= \sum_{k=0}^\infty P_k^n(x) \beta_k$, Then by Lemma 5.5, we get

(5.5)\begin{align*} \nonumber \left(\mathcal{M}_{P_1^n} g\right)(x) &= \sum_{k=0}^\infty \mathcal{M}_{P_1^n}(P_k^n(x)) \beta_k \\ &= \sum_{k=0}^\infty P^n_{k+1}(x) \beta_k. \end{align*}

This means that the operator $\mathcal{M}_{P_1^n}$ can be considered as a shift operator with respect to the Clifford–Appell system $\{P_k^n\}_{k \geq 0}$.

Definition 5.7. We define the annihilation operator as the hypercomplex derivative, i.e.

(5.6)\begin{equation} \frac{\overline{\partial}}{2}:= \frac{1}{2} \left( \partial_{x_0}- \sum_{\ell=1}^{n} e_{\ell} \partial_{x_{\ell}} \right). \end{equation}

The domains of $ \mathcal{M}_{P_1^n}$ and $\frac{\overline{\partial}}{2}$ in $ \mathcal{F}( \mathbb{R}^{n+1})$ are defined as

\begin{align*} D \left( \mathcal{M}_{P_1^n}\right):&= \left \{f \in \mathcal{F}( \mathbb{R}^{n+1}), \quad \mathcal{M}_{P_1^n}(f) \in \mathcal{F}( \mathbb{R}^{n+1}) \right\}, \\ D \left( \frac{\overline{\partial}}{2} \right):&= \left \{f \in \mathcal{F}( \mathbb{R}^{n+1}), \quad \frac{\overline{\partial}}{2}(f) \in \mathcal{F}( \mathbb{R}^{n+1}) \right\}.\end{align*}

These are proper subsets of the Clifford–Appell–Fock space. Indeed, let us consider

\begin{equation*}g(x):=\sum_{k=0}^{\infty} \frac{P_k^n(x)}{\sqrt{(k+1)(k+1)!}}.\end{equation*}

Conversely, we have

\begin{equation*} \mathcal{M}_{P_1^n}(g)(x)=\sum_{k=1}^{\infty} \frac{P_k^n(x)}{\sqrt{k k!}} \qquad \frac{\overline{\partial}}{2}(g)(x)=\sum_{k=0}^{\infty} \frac{(k+1)P_k^n(x)}{\sqrt{(k+2)(k+2)!}}. \end{equation*}

The function g(x) belongs to the Clifford–Appell–Fock space. Indeed,

\begin{equation*}\sum_{k=0}^{\infty}\frac{k!}{(k+1)!(k+1)}=\sum_{k=0}^\infty\frac{1}{(k+1)^2} \lt \infty.\end{equation*}

However $\mathcal{M}_{P_1^n}(g)(x)$ and $\frac{\overline{\partial}}{2}(g)(x)$ do not belong to the Fock space; indeed,

\begin{equation*} \sum_{k=1}^{\infty}k! \frac{1}{k k!}=\sum_{k=1}^\infty\frac{1}{k}= +\infty\end{equation*}

and

\begin{equation*} \sum_{k=0}^\infty k! \frac{(k+1)^2}{(k+2)(k+2)!}= \sum_{k=0}^\infty \frac{(k+1)}{(k+2)^2}= + \infty.\end{equation*}

Proposition 5.8. Let $f\in D(\frac{\overline{\partial}}{2})$ and $g\in D(\mathcal{M}_{P_1^n})$. Then, we have

\begin{equation*}\left \lt \frac{\overline{\partial}}{2}(f),g\right \gt _{\mathcal{F}(\mathbb{R}^{n+1})}=\left \lt f,\mathcal{M}_{P_1^n}g\right \gt _{\mathcal{F}(\mathbb{R}^{n+1})}.\end{equation*}

In particular, the adjoint operator of the hypercomplex derivative is given by $\mathcal{M}_{P_1^n}$, i.e. we have

\begin{equation*}\displaystyle (\mathcal{M}_{P_1^n})^*=\frac{\overline{\partial}}{2}.\end{equation*}

Proof. Let us write f, $g \in \mathcal{F}(\mathbb{R}^{n+1})$ as

\begin{align*} f(x)= \sum_{k=0}^\infty P_k^n(x) \alpha_k, \qquad \{\alpha_k\}_{k \in \mathbb{N}_0} \subset \mathbb{R}_n,\\ g(x)= \sum_{k=0}^\infty P_k^n(x) \beta_k, \qquad \{\beta_k\}_{k \in \mathbb{N}_0} \subset \mathbb{R}_n.\end{align*}

Applying formula (3.4), we get

\begin{eqnarray*} \frac{\overline{\partial}}{2}(f(x)) &=& \sum_{k=1}^\infty kP_{k-1}^n(x) \alpha_k\\ &=& \sum_{h=0}^\infty P_{h}^n(x) (h+1)\alpha_{h+1}. \end{eqnarray*}

Therefore,

(5.7)\begin{equation} \left \langle \frac{\overline{\partial}}{2}(f),g \right \rangle_{\mathcal{F}(\mathbb{R}^{n+1})}= \sum_{k=0}^\infty (k+1)! \overline{\alpha_{k+1}} \beta_k. \end{equation}

On the other side, by changing indexes in formula (5.5), we get

(5.8)\begin{equation} \left(\mathcal{M}_{P_1^n} g\right)(x)=\sum_{h=1}^\infty P^n_{h}(x) \beta_{h-1}. \end{equation}

Thus,

(5.9)\begin{equation} \left \langle f, \mathcal{M}_{P_1^n} \right \rangle_{\mathcal{F}(\mathbb{R}^{n+1})}= \sum_{\ell=1}^\infty \ell! \overline{\alpha_{\ell}} \beta_{\ell-1}. \end{equation}

By changing indexes with $ \ell= k+1$ and comparing with (5.7), we prove the statement.

Proposition 5.9. We have the following commutation rule between the annihilation and creation operator.

\begin{equation*} \left [\mathcal{M}_{P_1^n},\frac{\overline{\partial}}{2}\right]=\mathcal{I},\end{equation*}

where $[.,.]$ is the commutator operator.

Proof. Given a function $ f(x)= \sum_{k=0}^\infty P_k^n(x) \alpha_k$, with $\{\alpha_k\}_{k \in \mathbb{N}_0} \subset \mathbb{R}_n$, such that $ \mathcal{M}_{P_1^n}f \in D \left( \frac{\bar{\partial}}{2}\right)$ and $\frac{\bar{\partial}}{2}f \in D \left(\mathcal{M}_{P_1^n}\right)$, we have to show that

\begin{equation*} \frac{\overline{\partial}}{2}\mathcal{M}_{P_1^n}f-\mathcal{M}_{P_1^n}\frac{\overline{\partial}}{2}f=f.\end{equation*}

By formula (3.4), and using similar arguments of the proof of Proposition 5.8, we get

\begin{equation*} \frac{\overline{\partial}}{2} f(x)= \sum_{k=0}^\infty (k+1) P_k^n(x )\alpha_{k+1}.\end{equation*}

By Lemma 5.5, we have

(5.10)\begin{eqnarray} \mathcal{M}_{P_1^n}\frac{\overline{\partial}}{2} f(x)&=& \sum_{k=0}^\infty (k+1) P_{k+1}^n(x) \alpha_{k+1}\nonumber \\ \nonumber \end{eqnarray}

\begin{eqnarray} &=&\sum_{k=1}^\infty k P_{k}^n(x) \alpha_{k}. \end{eqnarray}

Furthermore,

(5.11)\begin{align*} \frac{\overline{\partial}}{2} \mathcal{M}_{P_1^n}f(x) &=\frac{\overline{\partial}}{2} \left( \sum_{k=0}^\infty P^n_{k+1}(x) \alpha_{k}\right) \\ \nonumber &= \sum_{k=0}^\infty (k+1) P^n_k(x) \alpha_k \\ \nonumber &= \sum_{k=0}^\infty k P^n_k(x) \alpha_k+\sum_{k=0}^\infty P^n_k(x) \alpha_k. \end{align*}

Finally, subtracting (5.10) with (5.11), we get

\begin{equation*} \frac{\overline{\partial}}{2}\mathcal{M}_{P_1^n}f(x)-\mathcal{M}_{P_1^n}\frac{\overline{\partial}}{2}f(x)= \sum_{k=0}^\infty P_k^n(x) \alpha_k=f(x). \end{equation*}

6. The Clifford–Appell–Hardy space

In this section, we extend the Hardy space to the monogenic setting. In the complex setting, a holomorphic function in the unit disk $f(z)= \sum_{n=0}^\infty z^n a_n$ belongs to the Hardy space if $ \sum_{n=0}^\infty |a_{n}|^2 \lt \infty$. In [1, 2 ], an extension of the Hardy space to the slice monogenic setting has been provided. In this section, our goal is to extend the Hardy space to the monogenic setting. As done for the Fock space, we will continue to use the generalized CK extension for the same reasons given in § 5.

Now, let us consider the Euclidean unit ball $ \mathbb{B}$ on $ \mathbb{R}^{n+1}$ and a fixed odd number n. We define the Clifford–Appell–Hardy space as

(6.1)\begin{equation} \mathcal{H}_n(\mathbb{B}):=\left\lbrace{\sum_{k=0}^{\infty}P_k^n(x)\alpha_k, \quad\alpha_k\in\mathbb{R}_n,\quad\sum_{k=0}^{\infty}|\alpha_k|^2 \lt \infty}\right\rbrace. \end{equation}

From the inequality $|P^n_k(x)| \leq |x|^k$, it follows that the Clifford–Appell–Hardy is defined in the Euclidean unit ball, like for the complex Hardy space.

Remark 6.1. Since for any $k \geq 0$ and fixed n odd, we have that $ \frac{[k!]^2}{[(k+n-1)!]^2} \leq 1$, and we have that the space introduced in (6.1) is contained in the one defined in (4.9).

As usual, we define the Hilbert module structure as follows.

Definition 6.2. Let n be a fixed odd number. Let us consider $f(x)=\sum_{k=0}^{\infty}P_k^n(x)\alpha_k$ and $g(x)=\sum_{k=0}^{\infty}P_k^n(x)\beta_k$ in $ \mathcal{H}_n(\mathbb{B})$. We define the scalar product as

\begin{equation*} \langle f,g \rangle_{\mathcal{H}_n(\mathbb{B})}= \sum_{k=0}^{\infty} \overline{\alpha}_k \beta_k.\end{equation*}

Similarly, we obtain the following consequence of Theorem 4.2, with $b_k:=1$ and $ \Omega_b= \mathbb{B}$.

Theorem 6.3. Let n be a fixed odd number. Then for any $f \in \mathcal{H}_{n}(\mathbb{B})$, we have

\begin{equation*} |f(x)| \leq \left( \sum_{k=0}^\infty |x|^{2k} \right)^{\frac{1}{2}} \| f\|_{\mathcal{H}_{n}(\mathbb{B})}\\ =\sqrt{\frac{1}{1-|x|^2}}\| f\|_{\mathcal{H}_{n}(\mathbb{B})}. \end{equation*}

Moreover, the reproducing kernel of the Clifford–Appell–Hardy space $\mathcal{H}_n(\mathbb{B})$ is given by the convergent series

(6.2)\begin{equation} K_H(x,y)=\sum_{k=0}^{\infty}\overline{P_k^n(x)}P_k^n(y), \quad x,y\in\mathbb{B}. \end{equation}

Proof. It follows by considering $b_k=1$ and $\Omega_b= \mathbb{B}$ in Theorem 4.2.

Remark 6.4. As to this moment, we are not able to provide a closed explicit formula for the sum (6.2). However, if we consider x ₀, $y_0 \in (-1,1)$, we have

\begin{equation*}K_H(x_0,y_0)= \frac{1}{1-x_0y_0},\end{equation*}

which is the reproducing kernel of the classic Hardy space.

Now we extend the notions of shift and backward shift operators in the Clifford algebras setting. Inspired from Definition 5.6, we have the following.

Definition 6.5. Let n be a fixed odd number. The shift operator acting on a function $f \in \mathcal{H}_n(\mathbb{B})$ is defined as follows:

(6.3)\begin{equation} \mathcal{M}_{P_1^n}(f):= P_1^n \odot_{\rm GCK} f . \end{equation}

Definition 6.6. Let n be a fixed odd number. For $f\in \mathcal{H}_n(\mathbb{B})$, we define backward shift operator as

(6.4)\begin{equation} S(f):=\left(P_1^n\right)^{-\odot_{\rm GCK}}\odot_{\rm GCK} f. \end{equation}

Proposition 6.7. For every $k \in \mathbb{N}$, we have

(6.5)\begin{equation} \left(P_1^n(x)\right)^{-\odot_{\rm GCK}}\odot_{\rm GCK}P_k^n(x)=P^{n}_{k-1}(x), \quad \forall x\in \mathbb{B}. \end{equation}

Proof. By recalling the definition of GCK product, see Definition 3.13, Definition 3.14 and by formula (3.5), we get

\begin{align*} \left(P_1^n(x)\right)^{-\odot_{\rm GCK}}\odot_{\rm GCK}P_k^n(x) &= {\rm GCK}\left(\frac{1}{x_0}\right)\odot_{\rm GCK} {\rm GCK}(x_0^k) \\ &=GCK(x_{0}^{k-1}) \\ &=P_{k-1}^{n}(x). \end{align*}

From previous result, it is clear that the operator S is the backward shift operator with respect to the Clifford–Appell system $ \{P_k^n\}_{k \geq 0}$. Indeed, let $f(x)= \sum_{k=0}^{\infty}P_k^n(x) \alpha_k$ in $\mathcal{H}_n(\mathbb{B})$. By Proposition 6.7, we can write

(6.6)\begin{equation} S(f)(x)=\sum_{k=1}^{\infty}P_{k-1}^{n}(x)\alpha_k. \end{equation}

In the next result, we show that the backward shift operator is the adjoint of the shift operator.

Theorem 6.8. Let us assume n be a fixed odd number and f, $g \in \mathcal{H}_n(\mathbb{B})$. Then it holds that

(6.7)\begin{equation} \langle S(f),g \rangle_{\mathcal{H}_n(\mathbb{B})}=\langle f, \mathcal{M}_{P_1^n}(g) \rangle_{\mathcal{H}_n(\mathbb{B})}. \end{equation}

This means that

\begin{equation*} (\mathcal{M}_{P_1^n})^*= S.\end{equation*}

Proof. Let $f(x)= \sum_{k=0}^{\infty}P_k^n(x) \alpha_k$ and $g(x)= \sum_{k=0}^{\infty}P_k^n(x)\beta_k$. By changing indexes in formula (6.6), we get

(6.8)\begin{equation} S(f)(x)= \sum_{k=0}^{\infty}P_k^n(x) \alpha_{k+1}. \end{equation}

Moreover, by formula (5.8), we have

\begin{equation*}(\mathcal{M}_{P_1^n}(g))(x)= \sum_{k=1}^{\infty}P_k^n(x) \beta_{k-1}.\end{equation*}

Finally, after some manipulations, we obtain

\begin{align*} \langle S(f),g\rangle_{\mathcal{H}_n(\mathbb{B})} &= \sum_{k=0}^{\infty} \overline{\alpha_{k+1}}\beta_k \\ &= \sum_{k=1}^{\infty} \overline{\alpha_{k}}\beta_{k-1}\\ &= \langle f, \mathcal{M}_{P_1^n}(g)\rangle_{\mathcal{H}_n(\mathbb{B})}. \end{align*}

7. Clifford–Appell polyanalytic polynomials in the Clifford case

In this last section, we want to address the following problem.

Problem. Is it possible to extend to higher order the Clifford–Appell polynomials to the setting of polyanalytic monogenic functions?

In order to answer the previous question, we need to introduce the theory of polyanalytic functions. This is one of the various ways to extend the theory of holomorphic functions to higher order (see [11.11]). Recently, the notion of slice monogenic function has been extended in the polyanalytic setting (see [4, 5, 8]). Before going through this section, we need to recall some notions.

Definition 7.1. Poly slice function

Let $m \in \mathbb{N}_0$ and let U be an axially slice symmetric open set in $ \mathbb{R}^{n+1}$. A function $f:U \to \mathbb{R}_n$ in $C^{m+1}(U)$ is called left slice polyanalytic function of order m + 1 if it is a (left) slice function and it satisfies the following equation

\begin{equation*} \frac{1}{2^{m+1}}(\partial_u+ I \partial_v)^{m+1} f(u+Iv)=0, \qquad \hbox{for all} \quad I \in \mathbb{S}^{n-1}.\end{equation*}

The left module of slice polyanalytic functions of order m + 1 will be denoted by $ \mathcal{SP}_{m+1}(U)$.

We observe that if we put m = 0 in the previous definition, we get the slice monogenic functions, see Definition 2.4. Many properties of slice polyanalytic functions of order m are investigated in [8]. We recall one of the most important.

Proposition 7.2. (Polyanalytic decomposition)

Let Ω be an axially symmetric slice domain of $ \mathbb{R}^{n+1}$. A function $f: \Omega \to \mathbb{R}_n$ is slice polyanalytic of order m + 1 if and only if there exists unique slice monogenic functions f ₀,…, f_m on Ω such that we have the following decomposition

\begin{equation*} f(x)= \sum_{k=0}^m \bar{x}^{k} f_{k}(x); \quad \forall x \in \Omega.\end{equation*}

Now we recall the notion of polyanalytic monogenic function (see [13, 14]).

Definition 7.3. Let $ U \subset \mathbb{R}^{n+1}$ be an open set and let $f:U \to \mathbb{R}_n$ be a function of class $ C^{m+1}(U)$. We say that f is left polyanalytic monogenic of order m + 1 on U if

\begin{equation*} \partial^{m+1}f(x)= \left( \partial_{x_0}+ \sum_{j=1}^n e_j \partial_{x_j}\right)^{m+1}f(x)=0, \qquad \forall x \in U.\end{equation*}

The left module of axially polyanalytic monogenic functions of order m + 1 will be denoted by $\mathcal{AM}_{m+1}(U)$. The polyanalytic monogenic setting holds the following characterization (see [13, 26]).

Proposition 7.4. Let $ U \subset \mathbb{R}^{n+1}$ be an open set. A function $f:U \to \mathbb{R}_n$ is polyanalytic of order m if and only if it can be decomposed in terms of some unique monogenic functions $f_0,\ldots, f_{m-1}$

\begin{equation*} f(x)= \sum_{k=0}^{m-1} x_0^k f_k(x).\end{equation*}

Moreover, the monogenic projections can be computed as

(7.1)\begin{equation} f_k(x)= \frac{1}{k!} \sum_{s=0}^{m-k} \frac{(-x_0)^{m-k-s}}{(m-k-s)!} \partial^{m-s}(f)(x). \end{equation}

Also in the polyanalytic case, it is possible to relate the two kind of polyanalytic regularities by a means of Fueter-Sce methodology (see [7]). This has been achieved in two ways. Now, we introduce the first polyanalytic Fueter-Sce map

Definition 7.5. Let n be an odd number. Let Ω be an axially symmetric slice domain and $f\in\mathcal{SP}_{m+1}(\Omega)$ with a polyanalytic decomposition given by $f(x)= \sum_{k=0}^{m}\overline{x}^kf_k(x)$, where $f_k\in\mathcal{SM}(\Omega)$. Then, the first polyanalytic Fueter-Sce map $\mathcal{C}_{m+1}:\mathcal{SP}_{m+1}(\Omega)\longrightarrow \mathcal{AM}_{m+1}(\Omega)$ is defined by

\begin{equation*}\mathcal{C}_{m+1}(f)(x):=\sum_{k=0}^mx_0^k\Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}} f_k(x), \quad \forall x\in\Omega.\end{equation*}

From the Fueter-Sce theorem, it follows that all the functions in the sequence $ \left\{\Delta^{\frac{n-1}{2}}_{\mathbb{R}^{n+1}} f_k(x) \right\}_{0 \leq k \leq m}$ are axially monogenic. Therefore, by Proposition 7.4, the map $ \mathcal{C}_{m+1}$ is well defined. From the same result, we can write

(7.2)\begin{equation} \mathcal{C}_{m+1}(f)(x):=\sum_{k=0}^m \sum_{s=0}^{m-k} \frac{(-1)^k}{k!} \frac{(-x_0)^{m-s}}{(m-k-s)!} \partial^{m-s} \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}(f)(x), \end{equation}

which obviously implies that $ \mathcal{C}_{m+1}$ is $ \mathbb{R}_n$- (right) linear.

In the polyanalytic setting, there is another Fueter-Sce map, denoted by $\tau_{m+1}$, which has a different range from $ \mathcal{C}_{m+1}$.

Definition 7.6. Let $ \Omega \subseteq \mathbb{R}^{n+1}$ be an axially symmetric slice domain, then we define the second polyanalytic Fueter-Sce map $\tau_{m+1} : \mathcal{SP}_{m+1}(\Omega) \longrightarrow \mathcal{AM}(\Omega)$ as

\begin{equation*} \tau_{m+1}(f)=\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} V^m (f)(q).\end{equation*}

where

\begin{equation*}V(f)(x)= \frac{\partial}{\partial x_0}f(x)+ \frac{\underline{x}}{| \underline{x}|^2} \sum_{\ell=1}^n x_{\ell} \frac{\partial}{\partial x_\ell} f(x) \qquad x \in \Omega \setminus \mathbb{R}\end{equation*}

is the so-called global operator with nonconstant coefficients.

From the definition of the map $ \tau_{m+1}$, it is clear that it is $ \mathbb{R}_n$-(right) linear

Remark 7.7. Functions in the kernel of the operator V are slice monogenic functions (see [18, 19, 37]). The main difference with Definition 2.1 is that the operator V is slice independent; for this reason this operator is known as global.

The two polyanalytic Futer-Sce maps are connected by the following result (see [7, Thm 3.13]).

Theorem 7.8. Let n be a fixed number. Let $f: \Omega \longrightarrow \mathbb{R}_n$ be a slice polyanalytic function of order m + 1 on the axially symmetric slice domain Ω. Then we have

(7.3)\begin{equation} \partial^m \mathcal{C}_{m+1}(f)(x)= \frac{1}{2^m} \tau_{m+1}(f)(x),\quad \forall x \in \Omega. \end{equation}

We can summarize the action of the two polyanalytic Fueter-Sce maps by the following diagram.

The aim of this section is to show what happens when we apply the polyanalytic Futer-Sce maps to a slice polyanalytic function of order m + 1 developed in series. We will see that this action leads to a new family of polynomials that we call Clifford–Appell polyanalytic polynomials.

Let Ω be a slice domain such that $0 \in \Omega$ and $f\in\mathcal{SP}_{m+1}(\Omega)$ be a slice polyanalytic function of order m + 1 on Ω. The polyanalytic decomposition (see Theorem 7.2) states that the function f can be written uniquely as

\begin{equation*}f(x)= \sum_{k=0}^{m}\overline{x}^kf_k(x), \quad x\in \Omega,\end{equation*}

where f_k are slice monogenic functions. Using the series expansion theorem for slice monogenic functions (see Theorem 2.6) we can write each f_k in a suitable neighbourhood of zero as $ f_k(x)=\sum_{j=0}^{\infty}x^j\alpha_{k,j}$ with $\lbrace{\alpha_{k,j}}\rbrace_{0 \leq k\leq m, j\in\mathbb{N}_0}\subset\mathbb{R}_n$. Thus, we obtain the following series expansion

(7.4)\begin{equation} f(x)=\sum_{k=0}^{m}\sum_{j=0}^{\infty}\overline{x}^kx^j \alpha_{k,j}. \end{equation}

The action of the map $\mathcal{C}_{m+1}$

Now, we apply the map $\mathcal{C}_{m+1}$ to the expansion (7.4) and by the linearity of this map, we get

(7.5)\begin{equation} \mathcal{C}_{m+1}(f):=\sum_{k=0}^{m}\sum_{j=0}^{\infty}\mathcal{C}_{m+1}(\overline{x}^kx^j)\alpha_{k,j}. \end{equation}

To fully describe the action of $ \mathcal{C}_{m+1}$, it is enough to describe how it acts on the monomials of the form $\overline{x}^kx^j$ with $k=0,\ldots,m$ and $j\geq 0$.

Theorem 7.9 Let n be a fixed odd number and $m\geq 0$. Then, for any $0 \leq k \leq m$, we have

\begin{equation*} \mathcal{C}_{n+1}(\bar{x}^k x^j)= \begin{cases} 0 & \mbox{if } \ j \lt n-1, \\ x_0^k 4^{\frac{n-1}{2}}(-1)^{\frac{n-1}{2}} \left[ \Gamma \left( \frac{n+1}{2}\right)\right]^{2}& \mbox{if } \ j=n-1,\\ \left[ \Gamma \left( \frac{n+1}{2}\right)\right]^{2} 2^{n-1}(-1)^{\frac{n-1}{2}} \frac{(n)_{j+1-n}}{(j+1-n)!} x_0^k P^n_{j+1-n}(x), & \mbox{if} \ j \geq n-1, \end{cases} \end{equation*}

where the polynomials $P^n_{j+1-n}(x)$ are defined in formula (3.1).

Proof. From the definition of the map $ \mathcal{C}_{m+1}$, it follows that

\begin{equation*} \mathcal{C}_{m+1}(\overline{x}^{k}x^j)=x_0^k\Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}}(x^j).\end{equation*}

Now the result follows by Corollary 3.3.

Remark 7.10. This is an extension to general Clifford algebras of the result [25, Theorem 3.3], established in the quaternionic setting. Indeed, if we consider n = 3 in Theorem 7.9, for $q \in \mathbb{H}$ and $j \geq 2$, we get

\begin{eqnarray*} \mathcal{C}_{m+1}(\overline{q}^{k}q^j)&=& -[\Gamma(2)]^2 2^2 \frac{(3)_{j-2}}{(j-2)!}x_0^k P^3_{j-2}(q)\\ &=& -4 \frac{\Gamma(j+1)}{\Gamma(3) (j-2)!} x_0^k P^3_{j-2}(q)\\ &=& -2 j(j-1) x_0^k P^3_{j-2}(q), \end{eqnarray*}

which is exactly the same result obtained in [25].

The expansion given in Theorem 7.9 yields a set of generators for the space of polyanalytic functions of axial type. These generators are given by

(7.6)\begin{equation} \mathcal{A}_{k,s}^n(x):=x_0^kP^n_{s}(x),\quad k=0,\ldots,m, \quad s\geq 0. \end{equation}

We shall show that this family of polynomials also satisfy an Appell-like property.

Proposition 7.11. Let $ 0 \leq k \leq m$ and $ s \geq 0$. Then we have

(7.7)\begin{equation} \overline{\partial} [\mathcal{A}_{k,s}^n(x)]=k \mathcal{A}_{k-1,s}^n+2s \mathcal{A}_{k,s-1}^n. \end{equation}

Proof. This result follows directly from the Leibniz formula and the Appell property for the polynomials $P_k^n(x)$, see, e.g. formula (3.4). Indeed,

\begin{eqnarray*} \overline{\partial} [\mathcal{A}_{k,s}^n(x)]&=& \overline{\partial}[x_0^kP^n_{s}(x)]\\ &=& k x_{0}^{k-1}P^n_{s}(x)+ 2s x_{0}^k P^n_{s-1}(x)\\ &=& k \mathcal{A}_{k-1,s}^n+2s \mathcal{A}_{k,s-1}^n. \end{eqnarray*}

The result proved in the above proposition can be considered an Appell-like property for the generalized Clifford–Appell polyanalytic polynomials. Indeed, the polynomials $\mathcal{A}^n_{k,s}(x)$ are such that $ \mathcal{A}_{0,s}^n(x)=P^n_s(x)$. Thus, by setting m = 0 (this implies k = 0) in formula (7.7), we get the Appell property (3.4).

We finish the discussion on the application of the map $ \mathcal{C}_{m+1}$ by writing a polyanalytic function of order m + 1 in terms of the generalized Clifford–Appell polyanalytic polynomials $ \mathcal{A}_{k,s}^n(x)$.

Theorem 7.12. Let us consider n a fixed odd number. Let Ω be an axially symmetric slice domain. The image of $g(x)= \sum_{s=0}^\infty x^s \alpha_s$, with $ \{\alpha_s\}_{s \geq 0} \subset \mathbb{R}_n$, under the map $ \mathcal{C}_{m+1}$ in $ \mathcal{SP}_{n+1}(\Omega)$ is given by

(7.8)\begin{equation} f(x)=\mathcal{C}_{m+1}(g)(x)= \sum_{k=0}^{m}\sum_{s=0}^{\infty}\mathcal{A}^n_{k,s}(x)\beta_{k,s}, \end{equation}

where $ \beta_{k,s}=\left[ \Gamma \left( \frac{n+1}{2}\right)\right]^{2} 2^{n-1}(-1)^{\frac{n-1}{2}}\frac{(n)_{s}}{s!} \alpha_{k,s+n-1}$.

Proof. It follows by putting together formula (7.4), Theorem 7.9 and formula (7.6).

The action of the map $\tau_{m+1}$

Now, we apply the second polyanalytic Fueter-Sce map to the series expansion (7.4). From the linearity of this map, it follows

(7.9)\begin{equation} \tau_{m+1}(f)= \sum_{k=0}^m \sum_{j=0}^\infty \tau_{m+1}(\bar{x}^k x^j) \alpha_{k,j}. \end{equation}

Now, we show how the map $ \tau_{m+1}$ acts on the monomials $\bar{x}^k x^j$.

Theorem 7.13. Let n be a fixed odd number. For any fixed $m\geq 0$ and $0 \leq k \leq m$, we have

(7.10)\begin{equation} \tau_{m+1}(\bar{x}^k x^j)= \begin{cases} 0 & \mbox{if } \ j \lt n-1, \\ 2^{m+n-1} m! (-1)^{\frac{n-1}{2}} \left[\left(\frac{n-1}{2}\right)!\right]^2\delta_{m,k} & \mbox{if } \ j= n-1, \\ 2^{m+n-1} m! \left[\Gamma \left( \frac{n+1}{2}\right)\right]^2 \frac{(n)_{j-n+1}}{(j-n+1)!} (-1)^\frac{n-1}{2} P^{n}_{j-n+1}(x) \delta_{m,k} & \mbox{if} \ j \gt n-1, \end{cases} \end{equation}

where the polynomials $P^n_{j+1-n}(x)$ are defined in formula (3.1).

Proof. First of all, we recall that a slice monogenic polyanalytic function f can be written using a decomposition in terms of slice monogenic functions $ \{f_k\}_{0 \leq k \leq m}$

(7.11)\begin{equation} f(x)= \sum_{k=0}^m \bar{x}^k f_k(x), \end{equation}

see Theorem 7.4. By [7, Proposition 3.4] (one can easily extend in $ \mathbb{R}^{n+1}$), we know the following property of the global operator

\begin{equation*} V(\bar{x}^kf)(x)=2k\bar{x}^{k-1}f(x).\end{equation*}

Then we have

\begin{equation*} V(f)(x)=\sum_{k=1}^{m} 2k \bar{x}^{k-1} f_k(x).\end{equation*}

Similarly, we apply m-times the global operator V to obtain

\begin{equation*} V^m f(x)=2^m m! f_{m}(x),\end{equation*}

where $f_m(x)$ is the last term of the sum defined in (7.11).

This implies that

\begin{equation*} V^{m}\left(\bar{x}^k x^j \right)=2^m m! x^j \delta_{m,k}.\end{equation*}

From the definition of the map $ \tau_{m+1}$, we get

\begin{eqnarray*} \tau_{m+1}(\bar{x}^k x^j) &=& \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} V^m \left(\bar{x}^k x^j\right) \\ &=& 2^m m! \delta_{m,k} \Delta_{\mathbb{R}^{n+1}}^{\frac{n-1}{2}} x^j. \end{eqnarray*}

Now, the result follows by Corollary 3.3.

Remark 7.14. If we put n = 3 in Theorem 7.13, we get the same result obtained in [25, Theorem 3.14].

Proposition 7.15. Let n be a fixed odd number. Then for any fixed $m\geq 0$ and $j \gt n-1$, we have

\begin{equation*}\partial^m \mathcal{A}^n_{k,j+1-n}=m! \delta_{m,k} P^{n}_{j-n+1}(x).\end{equation*}

Proof. By Theorem 7.9 for $j \gt n-1$, we get

\begin{equation*} \mathcal{A}^n_{k,j+1-n}(x)=\frac{(-1)^{\frac{n-1}{2}}(j+1-n)!}{\left[\Gamma \left(\frac{n+1}{2}\right) \right]^2 2^{n-1}(n)_{j+1-n} } \mathcal{C}_{m+1}(\bar{x}^k x^j).\end{equation*}

Finally, by Theorem 7.8 and Theorem 7.13, we obtain

\begin{eqnarray*} \partial^m(\mathcal{A}^n_{k,j+1-n}(x))&=&\frac{(-1)^{\frac{n-1}{2}}(j+1-n)!}{\left[\Gamma \left(\frac{n+1}{2}\right) \right]^2 2^{n-1}(n)_{j+1-n} } \partial^m\mathcal{C}_{m+1}(\bar{x}^k x^j)\\ &=& \frac{(-1)^{\frac{n-1}{2}}(j+1-n)!}{\left[\Gamma \left(\frac{n+1}{2}\right) \right]^2 2^{m+n-1}(n)_{j+1-n} } \mathcal{\tau}_{m+1}(\bar{x}^k x^j)\\ &=& m! \delta_{m,k} P^{n}_{j-n+1}(x). \end{eqnarray*}

In the following result, we get a full description of the action of the map $ \tau_{m+1}$ to a slice monogenic polyanalytic function of order m + 1.

Theorem 7.16. Let n be a fixed odd number. Let us consider Ω an axially symmetric slice domain. The image of $g(x)= \sum_{s=0}^\infty x^s \alpha_s$ with $ \{\alpha_s\}_{s \geq 0} \subset \mathbb{R}_n$ under the map $\tau_{m+1}$ in $ \mathcal{SP}_{n+1}(\Omega)$ is given by

\begin{equation*} f(x)= \tau_{m+1}(g)(x)= \sum_{s=0}^\infty P^{n}_{s}(x) \gamma_{k,s+n-1},\end{equation*}

where $ \gamma_{k,s}=2^{m+n-1}(-1)^\frac{n-1}{2} m! \left[\Gamma \left( \frac{n+1}{2}\right)\right]^2 \frac{(n)_{s}}{s!} \alpha_{k,s+n-1}$.

Proof. It follows by putting together formula (7.9) and Theorem 7.13.

Remark 7.17. In [26], it is shown that the two maps $ \tau_{m+1}$ and $ \mathcal{C}_{m+1}$ are surjective.

8. Concluding remarks

In this work, we used the relation between the well-known Fueter-Sce mapping and generalized CK theorems in order to study a family of Appell polynomials in Clifford analysis, which are related to some elementary functions and reproducing kernel Clifford modules. In the last section of the paper, a similar approach built upon a polyanalytic Fueter-Sce map result allowed to introduce a new family of Appell polyanalytic monogenic polynomials. In a forthcoming work, we will study reproducing kernel polyanalytic monogenic modules built upon these new Appell polyanalytic monogenic polynomials and related topics.