Arxiv:2011.03159V2 [Math.CV]

arXiv:2011.03159v2 [math.CV] 5 Mar 2021 iaie hoeao,Hrysae oksae utrmap Fueter space, Fock space, Hardy operator, Shi rivative, e fpolynomials of set A M lsicto:Piay3G5 02 eodr 21,44A 32A15, words Secondary Key 30H20 30G35, Primary Classification: AMS hc upre hsresearch. this supported which iaieta takes that rivative nMteaisado plctosCfne yMreSklod Marie proje the by 713485. by number: Cofunded supported grant Applications INdAM-DP-COFUND-2015, is and/or research is Mathematics in wrien. was paper this ae where case, als lffr nlsswt epc otehprope eiaie s derivative, hypercomplex qu the of seing to the respect in with also analysis studied Clifford were polynomials of sets these ar derivative. But variable slice the quaternionic h to the we respect so in with and monomials hypercomplex, standard become the obtai to example, be use can in systems variable Appell the extending seing, hyerholomorphic slice the In In case. operators. quaternionic differential the v treat different have we with quaternions, associated particular in theories, algebra, Clifford for a analysis in namely values seing, analysis hypercomplex the us to were L Moving they to [8], related see problems variables, stopping random optimal to wit connected be here, stoc and can mention theory they we probability and in relevance su known, their of well completeness importance of is e seings various sets. in Appell mials of examples are polynomials Euler ailApytak h otrG n ayMGwProfessorsh McGaw Mary and G. Foster the thanks Alpay Daniel aa iitak hpa nvriyfrkn optlt d hospitality kind for university Chapman thanks Diki Kamal P n ( x es efcso h okadHrycssi hssn,adw and seing, this range. its in and cases mapping Hardy Fueter and the Fock of the action se on suitable focus We a specifying ide bers. by general spaces, a function on various based obtain is fr construction the e in functions. spaces regular Hilbert intro kernel we reproducing Moreover, quaternionic product. of their particular in and nomials btat In Abstract. = ) OKADHRYSAE:CIFR PELCASE APPELL CLIFFORD SPACES: HARDY AND FOCK aenos pelsse,Rpouigkres Hypercomple kernels, Reproducing system, Appell aternions, : x x sitrrtda elo ope aibe h tnadmonom standard the variable, complex or real a as interpreted is n oma pelst u lotefmu emt,Broliand Bernoulli Hermite, famous the also but set, Appell an form AILAPY AA II N RN SABADINI IRENE AND DIKI, KAMAL ALPAY, DANIEL P hsppr esuyaseicsse fCiodApl poly Clifford-Appell of system specific a study we paper, this n { P to n } nP n ∈ n N − 1. aifiga dniywt epc otera de- real the to respect with identity an satisfying 1 scle nApl ytm[] nteclassical the In [7]. system Appell an called is Introduction v rcs n[26]. in process evy ´ 1 rn h eidi hc atof part a which in period the uring wk-ui cin,acronym: Actions, owska-Curie tIdMDcoa Programme Doctoral INdAM ct uneo elnum- real of quence mwr fFueter of amework pi ahmtclSciences, Mathematical in ip ueanwfamily new a duce hc losto allows which a ping. atcpoessince process hastic hspprw will we paper this td the study e e[0 1 1 22, 21, 11, [10, ee rosfunctions arious das ostudy to also ed 15. mn them among e ucin with functions trincand aternionic e ysimply by ned opretense no h v ht for that, ave hpolyno- ch - de- x i- 25]. It turns out that the Appell systems in this framework play a similar role as the complex monomials do to define elementary functions in terms of their power series like cosine, sine, exponential, etc. is fact opens a variety of questions also in relation to various function spaces including Fock, Hardy, Bergman, Dirichlet spaces, etc. Moreover, various questions arise about their associated operators such as creation, annihilation, shi and backward shi operators. Some different operators related to Fock spaces in the Clifford seing were considered also in [18]. What makes Appell systems in quaternionic and Clifford analysis rather pe- culiar, is the fact that the function theory has been developed using the so-called Fueter polynomials, see [9], [24], and these polynomials do not satisfy the Appell property in general. However, a series expansion for hyperholomorphic functions is possible using both the approaches. In order to define and study quaternionic reproducing kernel Hilbert spaces the approach that makes use of the Appell systems looks very promising and allows to define the associated operators. We will show that using a special set of Clifford Appell polynomials, denoted by Qn , we can introduce various func- { } tions spaces denoted by b whose elements are converging series of the form HM Qnan, where the quaternionic coefficients an satisfy suitable conditions which depend on a given sequence b = (bn) of real (in fact rational) numbers. is ap- Pproach is rather general, and it is used also in the slice hyperholomorphic seing n in which the series under consideration are of the form q an, where q denotes the quaternionic variable and give rise to spaces denoted by c, c = (cn). In this paper we treat the case of the quaternionic FockP andHS the Hardy spaces which have been already studied in the slice seing but are new in the Fueter regular framework combined with the Appell polynomials. For this reason, these spaces are called Clifford-Appell Fock space and Clifford-Appell Hardy space, respectively. One problem of the system Qn is that if we multiply two such polynomials we do no obtain an element{ in the} system. is is expected provided the noncommutative seing and in fact hyperholomorphic functions can be multiplied using the so-called CK-product. With the polynomials Qn there is the additional problem of remaining within the Appell system and in fact we show how this can be achieved. is technical result opens the possibility to prove several results and also to introduce creation, annihilation and shi operators. An advantage of our description is that we can prove that the function spaces b and c for suitable choices of b, c, can be related using the Fueter map- pingHM theorem.HS e structure of the paper is the following: in Section 2 we revise notations and preliminary results that we need in the sequel. In Section 3 we introduce some quaternionic reproducing kernel Hilbert spaces (QRKHS) based on a specific Ap- pell system, and prove different properties on such kind of polynomials. We show also that, under suitable conditions, any axially Fueter regular function can be ex- panded in terms of these Appell polynomials. In Section 4 we focus more on the Fock space in this seing. In particular, we study different properties related to the notions of creation, annihilation operators and Segal-Bargmann transforms. 2 In Section 5 we treat the Hardy space case, and study different properties related to the shi and backward shi operators. Finally, in Section 6 we show how the Fueter mapping acts by sending spaces of slice hyperholomorphic functions into spaces of Fueter regular functions. Moreover, we show that in some special cases the Fueter mapping acts as an isometric isomorphism up to a constant.

2. Preliminary results We recall some basic facts on quaternions and on the two sets of Cauchy-Fueter and slice hyperholomorphic functions. e skew field of quaternions is defined to be H = q = x + x i + x j + x k ; x ,x ,x ,x R { 0 1 2 3 0 1 2 3 ∈ } where the imaginary units satisfy the multiplication rules i2 = j2 = k2 = 1 and ij = ji = k,jk = kj = i, ki = ik = j. − − − − e conjugate and the modulus of q H are defined by ∈ q = Re(q) ~q where Re(q)= x , ~q = x i + x j + x k − 0 1 2 3 and q = qq = x2 + x2 + x2 + x2, | | 0 1 2 3 respectively. Notice that thep quaternionicq conjugation satisfy the property pq = q p for any p,q H. Moreover, the unit sphere ∈ ~q = x i + x j + x k; x2 + x2 + x2 = 1 { 1 2 3 1 2 3 } coincides with the set of all imaginary units given by S = q H; q2 = 1 . { ∈ − } Sometimes we denote e1 = i, e2 = j and e3 = k. We recall the classical notion of Fueter regular functions also called ”hyperholomorphic functions”, for more details one can see [15, 24]: Definition 2.1. Let U H be an open set and f : U H a real differentiable function. We say that f⊂is (le) Fueter regular or regular−→ for short if ∂ ∂ ∂ ∂ ∂f(q) := + i + j + k f(q) = 0, q U. ∂x ∂x ∂x ∂x ∀ ∈ 0 1 2 3 e quaternionic right linear space of Fueter regular functions is denoted by (U). R e right Fueter regular functions can be defined just by taking the imaginary unitsontheright ofthederivativesofthefunction f. e quaternionicmonomials n Pn(q) = q are not Fueter regular. However, there exist some other important functions in this theory, the so-called Fueter variables, defined by

(2.1) ζl(x)= xl elx , l = 1, 2, 3. − 0 ese functions play the same role that complex monomials play in complex analysis. For example, a series expansion for Fueter regular functions isobtainedusing 3 these Fueter variables. A suitable product that allows to preserve the regularity in this seing is the so-called C-K product, denoted . Given two Fueter regular ⊙ functions f and g, we take their restriction to x0 = 0 and consider their pointwise multiplication. en, we take the Cauchy-Kowalevskaya extension of this pointwise product, which exists and is unique, to define f g, see [24]. A more recent theory of quaternionic regular functions was⊙ introduced and studied in several directions during the last years, see for example [2, 17, 16, 23], namely the theory of slice hyperholomorphic functions that we recall briefly. In the definition below, for a fixed I S, CI = R + IR denotes the complex plane ∈ whose variable is q = x + Iy, and we set ΩI := Ω CI . ∩ Definition 2.2. A real differentiable function f :Ω H, on a given domain Ω H, is said to be a (le) slice hyperholomorphic function−→ if, for very I S, ⊂ ∈ the restriction fI to CI, is holomorphic on ΩI, that is it has continuous partial derivatives with respect to x and y and the function ∂I f :ΩI H defined by −→ 1 ∂ ∂ ∂ f(x + Iy) := + I f (x + yI) I 2 ∂x ∂y I vanishes identically on ΩI. e setof slicehyperholomorphicfunctions is denoted by (Ω). SR e paper[4] studiesthe slice hyperholomorphicquaternionicFock space Slice(H), defined for a given I S to be F ∈ 1 2 p 2 Slice(H) := f (H); fI (p) e−| | dλI (p) < , F ∈ SR π C | | ∞ Z I where fI = f CI and dλI (p)= dxdy for p = x + yI. e definition of this space does not depend| on the choice of I. It was also proved that this quaternionic Fock space can be characterised in terms of the slice hyperholomorphic power series as follows

∞ k ∞ 2 Slice(H)= q ak; ak H : k! ak < . F ( ∈ | | ∞) Xk=0 Xk=0 Its associated Segal-Bargmann transform was studied in [20] by considering the slice hyperholomorphic kernel obtained making use of the normalized Hermite functions (ηn)n 0. e explicit expression of this kernel is given by ≥ k 1 S ∞ q (q2+x2)+√2qx (2.2) H(q,x) := ηk(x)= e− 2 , (q,x) H R. A √k! ∀ ∈ × Xk=0 en, for any quaternionic valued function ϕ in L2(R, H) the slice hyperholomorphic Segal-Bargmann transform is deﬁned by

S S (2.3) H(ϕ)(q)= H(q,x)ϕ(x)dx. B R A Z In the same spirit diﬀerent famous spaces of slice hyperholomorphic functions such as Hardy, Besov, Bloch, Dirichlet and Bergman spaces were studied in [1, 12, 13]. 4 3. A new family of QRKHS of Fueter regular functions: General setting Let us consider the quaternionic polynomials deﬁned by k k k j j (3.1) Qk(q)= T q − q ,q H, k 0 j ∈ ≥ j X=0 where

k k! (2)k j(1)j 2(k j + 1) (3.2) Tj := − = − (3)k (k j)!j! (k + 1)(k + 2) − and (a)n = a(a + 1)...(a + n 1) is the Pochhammer symbol. − Remark 3.1. Notice that the polynomials (Qk)k 0 given by (3.1) are Fueter regular on H. Moreover, they form an Appell system≥ with respect to the hypercomplex ∂ derivative . i.e, for all k 1 we have the Appell property 2 ≥ ∂ (3.3) Qk = kQk 1. 2 − For more details on such properties of these polynomials one can consult for example [11] and [21]. For q H, let ∈ ∞ Q (q) (3.4) Exp(q) := k k! k X=0 be the generalized Fueter regular exponential function considered in the paper [11]. en, we introduce the following

Definition 3.2. Let Ω be a domain in H. Let c = (ck)k N and b = (bk)k N be ∈ ∈ two non decreasing sequences with c0 = b0 = 1. en, associated to b and c we define (1) e subspace of Fueter regular functions defined by

∞ ∞ 2 b(Ω) = Qkαk; αk H : bk αk < . HM ( ∈ | | ∞) Xk=0 Xk=0 (2) e subspace of slice hyperholomorphic functions deﬁned by

∞ k ∞ 2 c(Ω) = q fk; fk H : ck fk < . HS ( ∈ | | ∞) Xk=0 Xk=0 ∞ ∞ Given f = Qkαk and g = Qkβk in b(Ω) we define the Hermitian HM k=0 k=0 inner productX given by X ∞ f, g = b α β . b k k k h iH k=0 5X Remark 3.3. We note that, by specifying the sequence c, c include different spaces of slice hyperholomorphic functions such as Fock,HS Hardy, Dirichlet and generalizedFock spaces. Such spaces are the quaternioniccounterpart of the complex version introduced in [3]. We are interested in two main problems in this seing: Problem 3.4. Study the counterparts of the spaces introduced in Definition 3.2 by suitably chosing the sequence b in order to include in this framework of Cauchy- Fueter regularity : Fock, Bergman, Hardy, Dirichlet spaces, etc. In this paper, we will treattheFock and Hardy cases thatcorrespond, respectively, to the sequences bk = k! and bk = 1, k 0. ∀ ≥ Problem 3.5. Study the range of the Fueter mapping on c and see when it is HS possible to obtain spaces of regular functions of the form b. More in general, we HM ask if using the Fueter mapping it is possible to get information on the sequence (bk) in terms of the given datum (ck) ? Remark 3.6. We note that the answer to Problem 3.5 for Fock and Bergman cases were considered in [21]. See also [4, 13] for the slice hyperholomorphic seing. e answer in these two cases is given by: (1) e Fock case: k! ck = k! and bk = , k 0. (k + 1)(k + 2) ∀ ≥ (2) e Bergman case: 1 1 ck = and bk = , k 0. k + 1 (k + 1)2(k + 2)2(k + 3) ∀ ≥ We will show that, under suitable conditions, for some special choices of the sequence b in Definition 3.2 we have the estimate:

1 2 ∞ q 2k (3.5) f(q) | | f b , f b(Ω), q Ω. | |≤ bk ! k kHM ∈ HM ∈ Xk=0 Inthesecases, wecanalsoprove that b(Ω) are right quaternionic reproducing kernel Hilbert spaces with reproducingHM kernel given by

∞ Qk(q)Qk(p) (3.6) K b(Ω)(q,p)= , (q,p) Ω Ω. HM bk ∀ ∈ × Xk=0 Qk Furthermore, in such situations form anorthonormalbasis of b(Ω). √bk k 0 HM ≥ Now, we will prove an interesting result on the Appell polynomials (Qk)k 0 use- ful to compute their C-K product. ≥ 6 Proposition 3.7. Let k,s 0. en, for any q = x + ~q H we have ≥ 0 ∈ ckcs (Qk Qs)(q)= Qk+s(q), ⊙ ck+s l j l where is the C-K product and cl := ( 1) T , l 0. ⊙ − j ∀ ≥ j X=0 Proof. Since Qk and Qs are Fueter regular functions on H, their C-K product Qk ⊙ Qs is also Fueter regular. en, we use the formula of the C-K extension, see [24, eorem 11.38], given by CK[h(~q )](q) = exp x ∂ [h(~q )](q). − 0 ~q l We write the explicit series expression using the fact that Ql(~q ) = cl~q for all l 0 and obtain ≥ j j ∞ ( 1) x0 j (Qk Qs)(q)= − ∂ (Qk(~q )Qs(~q )) ⊙ j! ~q j X=0 j ∞ ( 1)j x = c c − 0 ∂j ~q k+s . k s j! ~q j X=0 In particular, we get k+s (3.7) (Qk Qs)(q)= ckcsCK ~q (q), q H,k,s 0, ⊙ ∈ ≥ l j l with cl := ( 1) T , l 0. On the other hand, we observe that Qk s is also − j ∀ ≥ + j X=0 Fueter regular on H. Moreover, it is restriction to x0 = 0 gives k+s Qk+s(~q )= ck+s~q . erefore, by uniqueness of the C-K extension we get k+s (3.8) Qk s(q)= ck sCK ~q (q), q H. + + ∀ ∈ Hence, we combine (3.7) and (3.8) to conclude that ckcs (Qk Qs)(q)= Qk+s(q), q H, k,s 0. ⊙ ck+s ∀ ∈ ∀ ≥

Qk Remark 3.8. If we consider the Fueter regular polynomials given by Pk = , ck k 0. en, the classical multiplication rule holds, in the sense that we have ∀ ≥ (3.9) Pk Ps = Pk s, k,s 0. ⊙ + ∀ ≥ Corollary 3.9. Let k,s 0. en, for any q = x + ~q H we have ≥ 0 ∈

k+s k+s 1 x0 2 2 x0 ~q (Qk Qs)(q)= ckcsλ0 r Ck+s + Ck+s 1 , ⊙ r k + s + 2 − r r 7 where Cν are the Gegenbauer polynomials, λ is a constant and r2 = q 2. t 0 | | Proof. Proposition 3.7 gives k+s (Qk Qs)(q ) x0 = ckcs~q , k,s 0, ⊙ | =0 ≥ thus, by the regularity of the C-K product Qk Qs and uniqueness of the C-K extension we have that ⊙ k+s (Qk Qs)(q)= ckcsCK[~q ], q H,k,s 0. ⊙ ∈ ≥ Hence, the result follows as a direct application of eorem 2.2.1 in [19] that gives the expression of the C-K extension for the vector part powers in terms of Gegen- bauer polynomials. Remark 3.10. We note that the Appell polynomials given by (3.1) deﬁne a family of Fueter regular functions of axial type (or axially Fueter regular functions), in the sense that if we write q = x + ω ~q Ω with ω S there exist two quaternionic 0 | |∈ ∈ valued functions A = A(x0, ~q ) and B = B(x0, ~q ) independent of ω such that we have | | | |

(3.10) Qk(q)= A(x , ~q )+ ωB(x , ~q ), k 0. 0 | | 0 | | ∀ ≥ We end this section by proving a converse result of the previous remark. is allows to characterize axially Fueter regular functions on quaternionic axially symmetric slice domains in terms of the Appell system (Qk)k 0. ≥ eorem 3.11. Let Ω H be an axially symmetric slice domain. Let g be an axially Fueter regular function⊆ on Ω. en, there exist some quaternion coeﬃcients (αk)k 0 such that we have the expansion ≥

∞ (3.11) g(q)= Qk(q)αk, q Ω. ∀ ∈ k X=0 Proof. We note that g is an axially Fueter regular function on Ω. us, by the inverse Fueter mapping theorem proved in [14] there will exist f (Ω) such that we have ∈ SR (3.12) g = τ(f), where τ = ∆R4 is the Fueter mapping. en, using the series expansion theorem for slice hyperholomorphicfunctions there exist some quaternion coeﬃcients (ak)k 0 so that we can write ≥

∞ k (3.13) f(q)= q ak, q Ω. ∀ ∈ Xk=0 In particular, we apply the Fueter mapping τ on (3.13) and get

∞ k τ(f)(q)= τ(q )ak. k=0 X8 However, we know by [21] that k τ(q )= 2(k 1)kQk 2, k 2. − − − ∀ ≥ erefore, we continue the calculations and obtain

∞ (3.14) τ(f)= Qkαk, k X=0 where we have set αk = 2(k +1)(k +2)ak+2, k 0. Hence, comparing (3.12) with (3.14) we conclude that− ∀ ≥

∞ g(q)= Qk(q)αk, q Ω. ∀ ∈ Xk=0 is ends the proof.

4. The Fock space case In this section, we consider the Cliﬀord-Appell Fock space in the seing of quaternions which is deﬁned by

∞ ∞ 2 (H) := Qkαk; αk H : k! αk < . F ∈ | | ∞ (k k ) X=0 X=0 is space corresponds to the space b in Deﬁnition 3.2 associated with the HM ∞ sequence b = k!, k 0 on the domain Ω = H. Let f = Qkαk and g = ≥ k X=0 ∞ Qkβk in (H) we can equip (H) with the scalar product F F k X=0 ∞ f, g (H) = k!αkβk. h iF k X=0 en, we can see that all the evaluation mappings on (H) are continuous. In- deed, we prove the following estimate F Proposition 4.1. For any f (H) and q H, we have ∈ F ∈ 2 |q| 2 (4.1) f(q) e f (H). | |≤ k kF ∞ Proof. We write f(q)= Qk(q)αk. us, we have Xk=0 ∞ Qk(q) f(q) | | αk √k!. | |≤ √k | | k=0 ! X 9 en, by the Cauchy-Schwarz inequality we obtain 1 1 2 2 2 ∞ Qk(q) ∞ 2 f(q) | | k! αk | |≤ k! | | k ! k ! X=0 X=0 k However, we know that Qk(q) q for all q H (see the proof of Proposition 4.5 in [21]). Hence, we get| | ≤ | | ∈ 2 |q| 2 f(q) e f (H). | |≤ k kF

As a consequence, we have the following result eorem 4.2. e set (H) is a right quaternionic Hilbert space of Cauchy-Fueter regular functions whoseF reproducing kernel is given by

∞ Qk(q)Qk(p) H H K (H)(q,p)= , (q,p) . F k! ∀ ∈ × k X=0 Qk(q) Moreover, if we set ψk(q) = , k 0, then, the family ψk k 0 form an √k! ≥ { } ≥ orthonormal basis of (H). F Proof. For a fixed p H, we consider the function defined by ∈ ∞ Qk(p) Kp(q)= Qk(q)βk(p), q H, where βk(p)= . ∀ ∈ k! Xk=0 We observe that 2 ∞ 2 ∞ Qk(p) q 2 k! βk(p) = | | e| | < . | | k! ≤ ∞ Xk=0 Xk=0 ∞ So, the function Kp belongs to (H) for all p H. Now, let f = Qkαk be F ∈ k=0 any function in (H). en X F ∞ ∞ Kp,f = k!βk(p)αk = Qk(p)αk = f(p), p H, h i (H) ∀ ∈ F k k X=0 X=0 therefore, the reproducing kernel of the space (H) is given by F ∞ Qk(q)Qk(p) K (H)(q,p)= , (q,p) H H. F k! ∀ ∈ × Xk=0 It is clear by definition of the scalar product that N ψk, ψj (H) = δk,j, k, j . h iF ∀ ∈ 10 ∞ Furthermore, let f = Qkαk in (H) be such that F Xk=0 N ψk,f (H) = 0, k . h iF ∀ ∈ We have √ N k!αk = ψk,f (H) = 0, k , h iF ∀ ∈ so, f = 0 for any q H. In particular, this proves that ψk k 0 form an orthonormal basis of (∈H). { } ≥ F Remark 4.3. We note that 2 ∞ k ck k k i) K (H)(~q, ~p)= ( 1) ~q ~p , (q,p) H0 H0. F − k! ∀ ∈ × k=0 Xxy R R ii) K (H)(x,y)= e , (x,y) . F ∀ ∈ × Now we turn our aention to the notion of creation operator associated with the Clifford-Appell Fock space (H). For this, we consider a sequence of real F numbers γ = (γk)k 0 that allows to define a weighted shi operator by ≥ (4.2) Tγ (Qk) := γkQk , k 0. +1 ∀ ≥ We would like to preserve in this seing the main properties of adjoint and commutation rules satisfied by the standard creation and annihilation operators on the Fock space. First, we deal with the following

Proposition 4.4. Let γ be a sequence with γ0 = 1 and such that (4.2) is well deﬁned. en, we have ∂ ∂ Tγ , Tγ = (H), 2 2 IF if and only if 1+ kγk 1 γk = − , k 1. 1+ k ∀ ≥

∞ Proof. Let f = Qkαk be a function in (H). en, we have F k X=0 ∞ ∂ ∞ Tγ(f)= γkQk+1αk and (f)= kQk 1αk. 2 − Xk=0 Xk=1 us, we obtain

∂ ∞ ∂ ∞ Tγ(f)= (k + 1)γkQkαk and Tγ (f)= kγk 1Qkαk. 2 2 − k k X=0 X=1 erefore, it follows that

∂ ∂ ∞ (4.3) Tγ , Tγ (f)= γ0Q0α0 + [(k + 1)γk kγk 1]Qkαk 2 2 − − k=1 11X We can see that if 1+ kγk 1 γk = − , k 1, 1+ k ∀ ≥ we have then

(k + 1)γk kγk 1 = 1, k 1. − − ∀ ≥ erefore, using the condition γ0 = 1 and formula (4.3) we obtain

∂ ∂ ∞ T , T (f)= Q α + Q α = f. 2 γ γ 2 0 0 k k k X=1 For the converse, if we assume that ∂ ∂ T , T (f)= f, 2 γ γ 2 we apply (4.3) and get

∞ ∞ γ0Q0(q)α0 + [(k + 1)γk kγk 1]Qk(q)αk = Qk(q)αk, q H. − − ∀ ∈ k k X=1 X=0 k In particular, using the fact that Qk(t)= t , t R and γ = 1 we observe that ∀ ∈ 0 ∞ k ∞ k α0 + [(k + 1)γk kγk 1]t αk = t αk, t R. − − ∀ ∈ k k X=1 X=0 erefore, comparing the coeﬃcients of the same degree we obtain

(k + 1)γk kγk 1 = 1, k 1. − − ∀ ≥ Hence, we have the condition

1+ kγk 1 γk = − , k 1. 1+ k ∀ ≥

Furthermore, we can prove the following

Proposition 4.5. Let γ be a sequence with γ0 = 1 and such that (4.2) holds. If one of the following properties is satisﬁed ∂ ∂ i) Tγ, Tγ = (H); 2 2 IF ∂ ii) T is the adjoint of the hypercomplex derivative ; γ 2 then, we have γk = 1, k 0. ∀ ≥ Proof. We observe that condition i) and Proposition 4.5 show that

1+ kγk 1 γk = − , k 1. 1+ k ∀ ≥ 12 us, since γ0 = 1 a simple induction reasoning allows to prove that if i) holds then γk = 1, for all k 1. On the other hand, the condition ii) implies in particular that we have ≥ ∂ (Qk),Qj = Qk, Tγ (Qj) (H) , k, j 1. 2 (H) h iF ∀ ≥ F So, we conclude

k(k 1)!δk 1,j = γjk!δk,j+1, k, j 1, − − ∀ ≥ where δm,n is the Kronecker symbol. In particular, this leads to the same conclu- sion that γj = 1, j 1. ≥ Remark 4.6. We note that thanks to Proposition 4.5 the only operator Tγ that can play the role of the creation operator with respect to the Cliﬀord-Appell system should act as follows

(4.4) Tγ(Qk)= Qk , k 0. +1 ∀ ≥ We now introduce the notion of creation operator associated with the quaternionic Hilbert space b in terms of the C-K product that allows to have the property (4.4) . To thisHM end, let k 0, and we deﬁne ﬁrst the family of operators given by ≥

c1+k (4.5) k(f) := Q1 f, f b S c1ck ⊙ ∀ ∈ HM l j l where denote the C-K product and cl := ( 1) T , l 0. ⊙ − j ∀ ≥ j X=0 ∞ en, for f = Qkαk in b we consider the operator deﬁned by applying HM S Xk=0 k on each component with the corresponding degree as follows S

∞ (4.6) (f) := k(Qk)αk. S S Xk=0 erefore, we have the explicit expression given by

1 ∞ c1+k (4.7) (f) := [Q1 Qk]αk. S c1 ck ⊙ Xk=0 We note that the operator acts like the classical shi operator with respect to S the Cliﬀord-Appell system (Qk)k 0. is can be seen in the following ≥ Proposition 4.7. For all k 0, we have ≥ (Qk)(q)= Qk+1(q), q H. S 13 ∀ ∈ Proof. Let k 0. en, for all q H we have ≥ ∈ (Qk)(q)= k(Qk)(q) S S c1+k = (Q1 Qk)(q). c1ck ⊙ Now, we apply Proposition 3.7 and get c1ck Q1 Qk = Qk+1. ⊙ c1+k Hence, we obtain (Qk)= Qk+1. S

As a consequence of Proposition 4.7 we note that the creation operator on (H) given by (4.6) acts as follows F

∞ ∞ ( Qkαk)= Qk αk. S +1 k k X=0 X=0 e annihilation operator corresponds to the hypercomplex derivative ∂ 1 ∂ ∂ ∂ ∂ := i j k . 2 2 ∂x − ∂x − ∂x − ∂x 0 1 2 3 It is known by the Appell property that ∂ (Qk)= kQk 1, k 1. 2 − ∀ ≥ ∂ e domains of and in (H) are denoted respectively by S 2 F D( ) := f (H); (f) (H) S { ∈ F S ∈ F } and ∂ ∂ D( ) := f (H); (f) (H) . 2 { ∈ F 2 ∈ F } We note that the creation operator and the hypercomplex derivative ∂ are S 2 quaternionic right linear operators densely deﬁned on (H) since Qk is F √k! k 0 an orthonormal basis of the quaternionic Fock Hilbert space. In then sequel,o ≥ we shall prove some diﬀerent properties of these operators:

Proposition 4.8. and ∂ are two closed quaternionic operators on (H). S 2 F Proof. We consider the graph of deﬁned by S ( ) := (f, f); f D( ) . G S { S ∈ S } Letus show that ( ) is closed. Indeed, let φn be a sequencein D( ) such that φn G S S and φn converge to φ and ψ respectively on (H). en, thanks to Proposition S F 4.1 we have 2 |q| 2 φn(q) φ(q) e φn φ (H) F | − |≤14 k − k and 2 |q| 2 φn(q) ψ(q) e φn ψ (H). |S − |≤ kS − kF erefore, it follows that φn and φn converge pointwise to φ and ψ, respectively. is leads to ψ = φ which endsS the proof. e same technique could be adapted to prove the closednessS of the hypercomplex derivative on (H). F Furthermore, we prove also the following ∂ Proposition 4.9. Let f (H). en, (f) belongs to (H) if and only if f ∈ F S F 2 belongs to (H). In particular, this means that we have F ∂ D( )= D . S 2 ∞ Proof. We write f = Qkαk in (H). en, we have F k X=0 ∞ (f)= Qhαh 1. S − h X=1 In particular, we have

2 ∞ 2 (4.8) (f) (H) = h! αh 1 . ||S ||F | − | Xh=1 On the other hand, using the Appell property with respect to the hypercomplex derivative we have ∂ ∞ (f)= Qhβh, βh = (h + 1)αh , h 0. 2 +1 ∀ ≥ Xh=0 Some calculations lead to

∂ 2 ∞ 2 (4.9) (f) (H) = h(h!) αh . || 2 ||F | | h X=1 We note that by (4.8) we have

2 ∞ 2 f (H) = (h + 1)! αh ||S ||F | | Xh=0 ∞ 2 = (h + 1)h! αh | | Xh=0 ∞ 2 ∞ 2 = h(h)! αh + h! αh . | | | | Xh=0 Xh=0 erefore, we use (4.9) in order to get

2 ∂ 2 2 (4.10) f (H) = f (H) + f (H). ||S ||F || 2 ||F || ||F 15 ∂ Hence, formula (4.10) shows that f (H) < if and only if 2 f (H) < which ends the proof. ||S ||F ∞ || ||F ∞

Now, we prove the adjoint property

∂ Proposition 4.10. Let f D( ) and g D( ). en, we have ∈ 2 ∈ S ∂ f, g = f, (g) (H) . 2 (H) h S iF F

∞ ∂ ∞ Proof. Let f = Qkαk in D( ) and g = Qkβk in D( ). us, we have 2 S Xk=0 Xk=0 ∂ ∞ ∂ f = (Q )α 2 2 k k Xk=0 ∞ = kQk 1αk − Xk=1 ∞ = (h + 1)Qhαh+1. Xh=0 On the other hand, making use of Proposition 4.7 we have

∞ (g)= (Qk)βk S S k X=0 ∞ = Qk+1βk k X=0 ∞ = Qkβk 1. − k X=1 erefore, we obtain

∂ ∞ f, g = (k + 1)!αk+1βk = f, (g) (H) . 2 H h S iF ( ) k F X=0 is ends the proof.

∂ Proposition 4.11. Let f ( ) ( ). en, we have ∈ D 2 ∩ D S ∂ ∂ , (f)= f. 2 S S 2 16 ∞ ∂ Proof. Let f = Qkαk be in ( ) ( ). us, computations using Propo- D 2 ∩ D S k=0 sition 4.7 and theX Appell property give

∂ ∞ ∂ ∞ (f)= (k + 1)Qkαk and (f)= kQkαk. 2 S S 2 Xk=0 Xk=0 In particular, it shows that ∂ ∂ (f) (f)= f. 2 S − S 2 is ends the proof. Remark 4.12. Note that the creation and annihilation operators denoted respec- ∂ tievly by and are adjoint of each other and satisfy the classical commutation S 2 rules on the Fock space of Fueter regular functions (H) like in the classical com- ∂F plex case. Moreover, observe that we have also (Qk) = kQk, for any k 1. S 2 ≥ is property is related to the notion of number operators that appears in quan- tum mechanics.

Let (ηn)n N denote the normalized Hermite functions. In order to study the Segal- Bargmann∈ transform notion in this framework we introduce the Fueter regular kernel function given by

F ∞ Qk(q) (4.11) H(q,x) := ηk(x), (q,x) H R. A √k! ∀ ∈ × Xk=0 en, for any quaternionic valued function ϕ in L2(R, H) and q H we deﬁne ∈ F F (4.12) H (ϕ)(q)= H(q,x)ϕ(x)dx. B R A Z We shall prove the following result:

F eorem 4.13. e integral transform H deﬁnes an isometric isomorphism map- B ping the standard Hilbert space L2(R, H) onto the Cliﬀord-Appell Fock space (H). F ∞ 2 2 Proof. Let ϕ L (R, H). We write ϕ = ηj(x)βj such that ϕ 2 = ∈ k kL (R,H) j X=0 ∞ 2 βj < . en, note that we have | | ∞ j X=0

F ∞ Qk(q) H (ϕ)(q)= ηk(x)ϕ(x)dx. B √k! R k=0 Z X 17 1 So, by seing αk = ηk(x)ϕ(x)dx for all k 0, we get √k! R ≥ Z F 2 ∞ 2 H (ϕ) (H) = k! αk kB kF | | Xk=0 2 ∞ = ηk(x)ϕ(x)dx . R k=0 Z X However, by deﬁnition of ϕ and using the orthogonality of Hermite functions we obtain ∞ ηk(x)ϕ(x)dx = βj ηk(x)ηj (x)dx = βk, k 0. R R ∀ ≥ j Z X=0 Z Hence, we conclude that

F 2 ∞ 2 2 H (ϕ) H = βj = ϕ 2 R H . kB k ( ) | | k kL ( , ) F j X=0 Moreover, observe that

F Qk H (ηk)= , k 0. B √k! ∀ ≥ F In particular, this allows to prove that H is an isometric isomorphism mapping B the standard Hilbert space L2(R, H) onto the Fock space (H) on the quaternions. F Now, we consider the following:

Problem 4.14. Is it possible to map Slice(H) onto (H) without using the Fueter mapping, see [21], and keeping the isometryF propertyF ? F To answer the question, we will compute H composed with the slice hyperholomorphic Segal-Bargmann transform. B In order to answer this problem, we need the slice hyperholomorphic Segal-Bargmann transform given by (2.3). S F Notice that thanks to these integral transforms H and H it is possible to relate the two notions of Fock spaces on the quaternions,B namelyB the slice hyperholomorphic Slice(H) and the Cauchy-Fueter regular one (H). Indeed, for a ﬁxed F F i S, f Slice(H) and q H we deﬁne the integral transform given by ∈ ∈ F ∈

Υ(f)(q) := (q, z)fi(z)dµi(z), C L Z i 1 2 where dµ (z) := e z dA (z) and the kernel function is obtained by taking the i π −| | i series ∞ Qk(q) k (q, z)= z , (q, z) H Ci. L k! ∀ ∈ × k X=0 en, we prove: 18 eorem 4.15. e quaternionic integral transform Υ does not depend on the choice of the imaginary unit i S. Furthermore, it defines an isometric isomorphism map- ∈ ping the slice hyperholomrphic Fock space Slice(H) onto the Clifford-Appell Fock space (H). F F Proof. Let f Slice(H), by Proposition 3.11 in [4] we have ∈ F ∞ k ∞ 2 f(q)= q ak and ak k! < . | | ∞ Xk=0 Xk=0 In particular, by definition of Υ we have

∞ Qk(q) k ∞ j Υ(f)(q)= z z aj dµi(z) C k!   i k ! j Z X=0 X=0   ∞ Qk(q) k j = z z dµi(z) aj. k! Ci k,jX=0 Z However, it is known that

k j z z dµi(z)= k!δk,j. C Z i erefore, we get ∞ Υ(f)(q)= Qk(q)ak. Xk=0 Hence, since the coeﬃcients (ak)k 0 donot dependonthechoiceoftheimaginary unit i we conclude that Υ(f) is well≥ deﬁned and does not depend on the choice of the imaginary unit. Now, we observe that the operator Υ can be obtained thanks to the commutative diagram such that we have F S 1 Υ= H ( H)− . B ◦ B Indeed, to prove this fact. Let f Slice(H) and set ∈ F S 1 S φ(x) = ( H)− (f)(x)= H(z,x)fi(z)dµi(z). B C A Z i us, for any q H we have: ∈ F F H (φ)(q)= H(q,x)φ(x)dx B C A Z i F S = H(q,x) H(z,x)fi(z)dµi(z) dx C A C A Z i Z i F S = H(q,x) H(z,x)dx fi(z)dµi(z). C R A A Z i Z en, we set

F S H(q, z)= H(q,x) H(z,x)dx, (q, z) H Ci. R A A ∀ ∈ × Z 19 So, for all (q, z) H Ci we have ∈ × j ∞ Qk(q) ∞ z H(q, z)= ηk(x) ηj(x) dx C √  √j!  i k! ! j Z Xk=0 X=0  j  ∞ Qk(q) z = ηk(x)ηj(x)dx √ R √j! k,j k! X=0 Z en, using thefact thatHermitefunctions form anorthonormalbasisof L2(R, H) we get

∞ Qk(q) k H(q, z)= z = (q, z), (q, z) H Ci. k! L ∀ ∈ × Xk=0 At this stage, we replace H(q, z) by its expression and conclude that we have F S 1 Υ= H ( H)− . B ◦ B F S 2 erefore, since both of H and H are isometricisomorphisms mapping L (R, H) B B respectievly onto (H) and Slice(H). is ends the proof. F F is quaternionic operator satisﬁes also the following properties : n q Qn(q) Proposition 4.16. For all n 0, we set fn(q) = and φn(q) = , ≥ √n! √n! q H. en, we have ∈ i) Υ(fn)= φn, n 0. ∀ ≥ H H ii) (q, z) (p, z)dµi(z)= K (H)(q,p), (q,p) . C L L F ∀ ∈ × Z i Proof. e ﬁrst statement is a direct consequence of the fact that F S 1 Υ= H ( H)− . B ◦ B is is combined with the two following relations S 1 F ( H)− (ηn)= fn and H (fn)= φn, n 0. B B ∀ ≥ Now, let (q,p) H H. en, we have ∈ × ∞ Qk(q) k j Qj(p) (q, z) (p, z)dµi(z)= z z dµi(z) C L L k! C j! i k,j i Z X=0 Z ∞ Q (q)Q (p) = k k , k! Xk=0 = K (H)(q,p). F

Corollary 4.17. Let i S. en, for all x,y R and n 0, we have the following identities ∈ ∈ ≥ xz n n i) e z dµi(z)= x . Ci Z 20 xz+yz xy ii) e dµi(z)= e . C Z i Proof. Observe that we have tz (4.13) (t, z)= e , (t, z) R Ci. L ∀ ∈ × e ﬁrst identity follows from i) of Proposition 4.16 combined with (4.13). e second statement is also a consequence of (4.13) combined with ii) of Propo- sition 4.16 and the fact that xy K (H)(x,y)= e , (x,y) R R. F ∀ ∈ ×

5. The Hardy space case In this section, we study on the quaternionicunit ball Ω= B the spaces associated to some sequence b as considered in Definition 3.2. First, we give some general proofs related to these spaces b(B). en, we will give more specific results on the Clifford-Appell HardyHM space in this framework that corresponds to the sequence bk = 1, k 0. In all this part, we take Ω= B and b = (bk)k 0 a non ∀ ≥ ≥ decreasing sequence with b0 = 1. en, we have Proposition 5.1. e following estimate holds

As a consequence, we get this result 21 eorem 5.2. e sets b(B) are right quaternionic reproducing kernel Hilbert spaces. eir reproducingHM kernel functions are given by

∞ Qk(q)Qk(p) B B (5.1) K b(B)(q,p)= , (q,p) . H bk ∀ ∈ × k X=0 b Qk Furthermore, the family ψk := , k 0 forms an orthonormal basis of { √bk ≥ } b(B). H Proof. For a fixed p B, we consider the function defined by ∈ ∞ Qk(p) Kp(q)= Qk(q)βk(p), q B, where βk(p)= . ∀ ∈ bk Xk=0 anks to the d’Alembert ratio test for power series, we have 2 2k ∞ 2 ∞ Qk(p) ∞ q bk βk(p) = | | | | < . | | bk ≤ bk ∞ k k k X=0 X=0 X=0 ∞ So, the function Kp belongs to b(B) for any p B. Now, let f = Qkαk H ∈ ∈ Xk=0 b(B). en, we have H ∞ ∞ B Kp,f (B) = bkβk(p)αk = Qk(p)αk = f(p), p . h iH ∀ ∈ Xk=0 Xk=0 erefore, the reproducing kernel of the space b(B) is given by H ∞ Qk(q)Qk(p) B B K b(B)(q,p)= , (q,p) . H bk ∀ ∈ × k X=0 It is clear by definition of the scalar product that b b N ψk, ψj = δk,j, k, j . b(B) ∀ ∈ D EH ∞ Furthermore, let f = Qkαk in b(B) be such that H Xk=0 b N ψk,f = 0, k . b(B) ∀ ∈ H us, we have D E b N bkαk = ψk,f = 0, k . b(B) ∀ ∈ H p B D E b So, f = 0 for any q . In particular, this proves that ψk k 0 form an or- ∈ { } ≥ thonormal basis of b(B). HM Remark 5.3. e Clifford-Appell Hardy space corresponds to the sequence b with allthetermsequalto 1, and will be denoted simply (B). In this case, the previous results of this section read as follows H 22 f (B) i) f(q) k kH 1 , f (B), q B. | |≤ (1 q 2) 2 ∀ ∈H ∀ ∈ − | | ∞ B B ii) K (B)(q,p)= Qk(q)Qk(p), (q,p) . H ∀ ∈ × k X=0 ∞ k 2 k k B B iii) K (B)(~q, ~p)= ( 1) ck~q ~p , (q,p) 0 0. H − ∀ ∈ × k X=0 1 2 iv) K (B)(x,y)= , (x,y) ] 1, 1[ . H 1 xy ∀ ∈ − − In the previous section we studied the notions of creation and annihilation operators associated to the Fock space in this framework. We do the same in this section for the Hardy case by studying the counterparts of the shi and backward shi operators. We keep the same definition and notation of the shi operator introduced in the expressions (4.6), (4.7) and Proposition 4.7. en, we first prove the following Proposition 5.4. e shi operator is a right quaternionic isometric operator from the Clifford-Appell Hardy space S(B) into itself. H ∞ Proof. Let f = Qkαk belongs to (B). We apply Proposition 4.7 and get H Xk=0 ∞ (f)(q)= Qk(q)αk 1, q B. S − ∀ ∈ Xk=1 Hence, we have

2 ∞ 2 (f) (B) = αk ||S ||H | | k=0 X 2 = f (B). || ||H is shows that defines an isometry on the Hardy space (B). S H 1 (~q)− We will use the notation Q1−⊙(q) := CK which is well defined when c1 ~q = 0. en, in order to calculate the adjoint operator of the shi on (B) we first6 prove the following result: H Proposition 5.5. For all k 1 and q B R we have ≥ ∈ \ ck (Q1−⊙ Qk)(q)= Qk 1(q), ⊙ c1ck 1 − − l j l where is the C-K product and cl := ( 1) T , l 0. ⊙ − j ∀ ≥ j=0 X23 1 1 (~q )− Proof. First, we observe that (Q1−⊙(q)) x0=0 = (Q1(~q ))− = and Qk 1(~q )= | c1 − k 1 ck 1~q − for ~q = 0. en, we write the series expansion associated to the C-K product− and use6 similar techniques as we used to prove Proposition 3.7. Indeed, we note that j j 1 ∞ ( 1) x0 j (~q )− Q−⊙(q)= − ∂ . 1 j! ~q c j 1 X=0 Moreover, for any k 1 we have ≥ j j ∞ ( 1) x0 j 1 (Q−⊙ Qk)(q)= − ∂ Q− (~q )Qk(~q ) 1 ⊙ j! ~q 1 j=0 X j j ∞ ( 1) x0 j ck k 1 = − ∂ ~q − j! ~q c j 1 X=0 j j ck ∞ ( 1) x0 j k 1 = − ∂ ck 1~q − c c j! ~q − 1 k 1 j − X=0 ck = Qk 1(q). c1ck 1 − −

∞ For all k 1, we introduce a family of operators deﬁned for any f = Qkαk ≥ k=1 in (B) by X H c1ck 1 (5.2) k(f) := − Q1−⊙ f. M ck ⊙

en, we consider the operator obtained by applying k on each component with the corresponding degree, i.e M

∞ (5.3) (f) := k(Qk)αk. M M Xk=1 erefore, we have an explicit expression given by

∞ ck 1 (5.4) (f) := c1 − [Q1−⊙ Qk]αk. M ck ⊙ Xk=1 We note that using Proposition 5.5 we can see that this operator acts like the M standard backward shi with respect to the Appell system (Qk)k 0, in the sense that we have ≥

(5.5) (Qk)= Qk 1, k 1. M − ∀ ≥ e next result allows to compute the adjoint of the shi operator on the Hardy space (B). H 24 Proposition 5.6. Let f, g (B). en, it holds that ∈H (f), g (B) = f, (g) (B) . hM iH h S iH In other words, the adjoint of the shi on (B) is given by H ∗ = . S M ∞ ∞ Proof. Let f = Qkαk and g = Qkβk in (B). us, we have H Xk=0 Xk=0 ∞ (f)= k(Qk)αk M M Xk=1 ∞ = Qk 1αk − k X=1 ∞ = Qkαk+1. k X=0 We know also by Proposition 4.7 that

∞ (g)= Qkβk 1. S − Xk=1 erefore, we can see that

∞ (f), g (B) = αk+1βk = f, (g) (B) . hM iH h S iH Xk=0 is ends the proof. In [6] the authors introduceda backwardshi with respect to each Fueter variable using some integral operators. Inspired from this approach, we present now an equivalentway to deal with the backwardshi operatorin our situation. First, for all ε > 0 we consider on (B) a family of operators ε : f Rε(f) deﬁned using the following expressionH R 7−→ 1 1 ∂ (5.6) ε(f)(q) := [f(tq)] dt; q B 0 R t 2 ∈ \ { } Zε ∂ where denote the hypercomplex derivative with respect to the variable q. en, 2 we consider the backward shi operator given by

(5.7) (f)(q) := lim ε(f)(q), q B 0 R ε 0 R ∈ \ { } → and ∂ (5.8) f(0) = f(0). R 2 We note that the backward shi operator acts by reducing the degree of the R Appell system (Qk)k 0 as follows ≥ 25 Proposition 5.7. For all k 1, it holds that ≥

(Qk)= Qk 1. R − Proof. Let k 1 and ε> 0. First, we note that ≥ k Qk(qt)= t Qk(q), ε

en, by deﬁnition of ε and Appell property of the system (Qk)k 0 we have R ≥ 1 1 ∂ ε(Qk)(q)= [Qk(tq)] dt R t 2 Zε 1 tk ∂ = [Qk(q)] dt ε t 2 Z 1 k 1 = kQk 1(q) t − dt. − Zε erefore, we obtain

k ε(Qk)(q)= Qk 1(q)(1 ε ), ε> 0. R − − ∀ Hence, by leing ε 0 we conclude that −→

(Qk)= Qk 1, k 1. R − ∀ ≥

Remark 5.8. We observe thanks to formula (5.5) and Proposition 5.7 that the two backward shi operators and coincide on the Cliﬀord-Appell Hardy space (B). M R H We prove also another property related to the backward shi operator on the R spaces b(B). HM

Proposition 5.9. Let b = (bk)k N be a non decreasing sequence with b0 = 1 and ∈ f b(B). en, the following inequality holds ∈ HM 2 2 2 (5.9) (f) b f b f(0) . ||R ||HM ≤ || ||HM − | | e equality holds on the Cliﬀord-Appell Hardy space (B). H ∞ Proof. We write f = Qkαk in b(B). us, by Proposition 5.7 we can see HM Xk=0 ∞ that (f) = Qkαk . erefore, using the fact that b is non decreasing we R +1 k=0 get X 26 ∞ (f) 2 = b α 2 b(Ω) k k+1 ||R ||HM | | Xk=0 ∞ 2 bk αk ≤ +1| +1| Xk=0 = f 2 f(0) 2. b(Ω) || ||HM − | |

Remark 5.10. We note that using Proposition 5.9 we can see that the QRKHS b(B) are invariant under the backward shi and they satisfy inequality 5.9.HM It would be intersting to investigate the relationR with Schur functions and see if the converse holds also in this framework. If it is the case, it will present a counterpart of the structure result proved in eorem 3.1.2 of [5].

6. The Fueter mapping range In this section we give an answer to Problem 3.5. Indeed, we give a characterisa- tion of the Fueter mapping range related to the hypercomplex spaces introduced in Deﬁnition 3.2.

eorem 6.1. Let Ω be an axially symmetric slice domain and c = (ck)k N be ∈ a given non decreasing sequence with c0 = 1. en, there exists a sequence b = (bk)k 0 such that we have ≥ τ ( c(Ω)) = b(Ω). HS HM More precisely, we have ck+2 i) bk = , k 0. (k + 1)2(k + 2)2 ∀ ≥ ii) For all f c(Ω), we have ∈ HS τ(f) = 2 f 2 f(0) 2 c f (0) 2. b(Ω) c(Ω) 1 ′ || ||HM || ||HS − | | − | | q Proof. Let g τ ( c(Ω)) , thus there exists f c such that g = τ(f). en, we write the∈ seriesHS expansion ∈ HS

∞ k f(q)= q ak, q Ω. ∀ ∈ Xk=0 ∞ us, we have g = τ(f)= Qkαk, with αk = 2(k +1)(k +2)ak , k 0. − +2 ∀ ≥ k=0 Now, we set X ck+2 bk = , k 0. (k + 1)2(k + 2)2 ∀ ≥ 27 Hence, since a0 = f(0) and a1 = f ′(0) we obtain

∞ τ(f) 2 = b α 2 b(Ω) k k || ||HM | | k X=0 ∞ 2 = 4 ck ak | | k X=2 2 2 2 = 4 f c(Ω) f(0) c1 f ′(0) < . || ||HS − | | − | | ∞ is ends the proof. 0 Corollary 6.2. If we set c := f c, f(0) = f ′(0) = 0 . en, the Fueter mapping τ deﬁnes a rightHS quaternionic{ ∈ isometric HS operator (up to const} ant) from 0 HSc onto b. HM Proof. We only have to apply ii) in eorem 6.1 and get 0 τ(f) b(Ω) = 2 f c(Ω), f c. || ||HM || ||HS ∀ ∈ HS

Remark 6.3. e generic calculations provided in eorem 6.1 conﬁrm the results obtained in [21] for the Fock and Bergman cases. Remark 6.4. We notethat ineorem6.1 evenif the sequence b is not necessarilya non decreasing sequence but the corresponding spaces b are QRKHS. For the Fock-Fueter space on H we refer to the calculation detailsHM provided in [21]. How- ever, on the quaternionic unit ball B this fact results thanks to the convergence of a certain power series associated to the sequence b. Proposition 6.5. Let c and b two sequences as in eorem 6.1. en, the power series given by

∞ q 2k ∞ (k + 1)2(k + 2)2 (6.1) | | = q 2k, bk ck+2 | | Xk=0 Xk= is convergent on the quaternionic unit ball B. Proof. Let q B and set ∈ 2 2 (k + 1) (k + 2) 2k sk = q , k 0. ck+2 | | ∀ ≥ We have 2 sk+1 2 (k + 3) ck+2 = q 2 , k 0. sk | | (k + 1) ck+3 ∀ ≥ en, using the fact that the sequence (ck)k 0 is non decreasing we can see that s ≥ lim k+1 q 2 < 1. k s ≤ | | →∞ k Hence, by the d’Alembert ratio test the thesis follows. 28 Remark 6.6. As a consequence of the previous Proposition it is not diﬃcult to see that on B the hypercomplex space b obtained in eorem 6.1 is a QRKHS with a reproducing kernel given by HM 2 2 ∞ (k + 1) (k + 2) B B (6.2) K b (q,p)= Qk(q)Qk(p), (q,p) . HM ck ∀ ∈ × k +2 X=0 In the following table we list some spaces of slice hyperholomorphic functions and their Fueter mapping ranges denoted respectively by c and b, the associated sequences c and b and the Fueter mapping norms.HS HM

Table 1. Some spaces b obtained in eorem 6.1 HM

c ck bk τ(f) b HS || ||HM 1 Hardy 1 2 f 2 f(0) 2 f (0) 2 2 2 c ′ (k + 1) (k + 2) || ||HS − | | − | | k! q Fock k f 2 f 2 f 2 ! 2 c (0) ′(0) (k + 1)(k + 2) || ||HS − | | − | | 1 q Dirichlet k 2 f 2 f(0) 2 f (0) 2 2 c ′ (k + 1) (k + 2) || ||HS − | | − | | 1 1 q Bergman 2 f 2 f(0) 2 1 f (0) 2 2 2 c 2 ′ k + 1 (k + 3)(k + 1) (k + 2) || ||HS − | | − | | q

References [1] D. Alpay, F. Colombo and I. Sabadini, aternionic Hardy spaces in the open unit ball and half space and Blaschke products, J. Phys.: Conf. Ser. 597 (2015), 012009. [2] D. Alpay, F. Colombo and I. Sabadini, Slice hyperholomorphic Schur analysis, Operator eory Advances and Applications 256 (2016), Birkhauser¨ Basel. [3] D. Alpay, F. Colombo and I. Sabadini, e Fock space as a De Branges–Rovnyak space, Integr. Equ. Oper. eory 91, (2019) 51. [4] D. Alpay, F. Colombo, I. Sabadini and G. Salomon, e Fock space in the slice hyperholomorphic seing, In Hypercomplex Analysis: New perspectives and applications. Trends Math. (2014), 43–59. [5] D. Alpay, A. Dijksma, J. Rovnyak and H. Snoo, Schur functions, operator colligations, and reproducing kernel Pontryagin spaces, Operator eory Advances and Applications book series 96 (1997). [6] D. Alpay, M. Shapiro and D. Volok, Rational hyperholomorphic functions in R4 , J. Funct. Anal. 221 (2005), 122–149. [7] P. Appell, Sur une classe de polynomes, Ann. Sci. Ec. Norm. Super.´ 9 (1880), 119-144. [8] Q.T. Bao, Probabilistic approach to Appell polynomials, Expo. Math, 33 (2015), 269-294. [9] F. Brackx, R. Delanghe and F. Sommen, Clifford analysis, Research Notes in Mathematics, 76 (1982). Pitman (Advanced Publishing Program), Boston, MA. [10] I. Caçao,˜ M.I. Falcao˜ and H. Malonek, Hypercomplex polynomials, Vietoris’ rational numbers and a related integer numbers sequence, Complex Anal. Oper. eory 11 (2017), 1059–1076. [11] I. Caçao,˜ M. I. Falcao˜ and H. Malonek, Laguerre derivative and monogenic Laguerre polynomials: An operational approach, Mathematical and Computer Modelling 53, (2011), 1084-1094. [12] C. M. P. Castillo Villalba, F. Colombo, J. Gantner and J. O. Gonzalez-Cervantes, Bloch, Besov and Dirichlet spaces of slice hyperholomorphic functions, Complex Anal. Oper. eory 9 (2015), 479–517 . 29 [13] F. Colombo, J. O. Gonzalez-Cervantes and I. Sabadini, Further properties of the Bergman spaces of slice regular functions, Adv. Geom 15 (2015), 469-484. [14] F. Colombo, I. Sabadini and F. Sommen, e inverse Fueter mapping theorem, Commun. Pure Appl. Anal. 10 (2011), 1165–1181. [15] F. Colombo, I. Sabadini, F. Sommen and D. C. Struppa, Analysis of Dirac systems and computa- tional algebra, Progress in mathematical physics, 39, (2004). [16] F. Colombo, I. Sabadini and D. C. Struppa, Entire slice regular functions, Springer Briefs in Mathematics, Springer (2016). [17] F. Colombo, I. Sabadini and D. C. Struppa, Noncommutative functional calculus. eory and applications of slice hyperholomorphic functions, Progress in Mathematics, 289 (2011), Birkhauser/Springer¨ Basel AG, Basel. [18] D. Constales, N. Faustino and R. S. Krausshar, Fock spaces, Landau operators and the time- harmonic Maxwell equations, J. Phys. A 44 (2011), no 13, 135303. [19] R. Delanghe, F. Sommen and V. Soucek,ˇ Clifford algebra and spinor-valued Functions. A function theory for the Dirac operator, Springer Science+Business Media B.V, (1992). [20] K. Diki and A. Ghanmi, A aternionic analogue of the Segal-Bargmann transform, Complex Anal. Oper. eory 11 (2017), 457-473. [21] K. Diki, R. S. Krausshar and I. Sabadini, On the Bargmann-Fock-Fueter and Bergman-Fueter integral transforms, J. Math. Phys. 60 (2019), 083506. [22] M. I. Falcao˜ and H. Malonek, Special monogenic polynomials - properties and applications, In- ternational Conference on Numerical Analysis and Applied Mathematics, AIP-Proceedings (2007), 764-767. [23] G. Gentili, C. Stoppato and D. C. Struppa, Regular functions of a quaternionic variable, Springer Monographs in Mathematics, Springer, Berlin-Heidelberg (2013). [24] K. Gurlebeck,¨ K. Habetha and W. Sprossig,¨ Holomorphic functions in the plane and n- dimensional space, Birkhauser,¨ Basel, (2008). [25] D. Pena Pena, Shied Appell sequences in Clifford analysis, Results. Math. 63 (2013), 1145–1157. [26] P. Salminen, Optimal stopping, Appell polynomials, and Wiener–Hopf factorization, Stochastics 83 (2011), 611-622.

(DA) Schmid College of Science and Technology, Chapman University, Orange 92866, CA, US Email address: [email protected]

(KD) Politecnico di Milano, Dipartimento di Matematica, Via E. Bonardi, 9, 20133 Milano, Italy Email address: [email protected]

(IS) Politecnico di Milano, Dipartimento di Matematica, Via E. Bonardi, 9, 20133 Milano, Italy Email address: [email protected]