Abstract
In this paper we consider the polyanalytic Fock spaces both in the complex and in the quaternionic case. In this latter case, the polyanalytic functions are considered in the slice regular case, and we shall treat Fock spaces of the first and of the second kind. In all these spaces we prove quantitative results in the approximation by polyanalytic polynomials. The quantitative approximation results are given in terms of higher order \(L^{p}\)-moduli of smoothness.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Among the various interesting generalizations of the classical theory of holomorphic functions of a complex variable, there is the theory of polyanalytic functions, which are defined as nullsolutions of higher order powers of the Cauchy–Riemann operator. These functions play an important role since both the complex variable z and its conjugate \(\bar{z}\) are involved in their description, and this leads to the consideration of polynomials in the two variables z, \(\bar{z}\).
A complete introduction to polyanalytic functions and their basic properties can be found in [10,11,12]. This class of functions was studied by various authors from different perspectives, see e.g. [2,3,4,5,6, 14, 27] and the references therein. In quantum mechanics polyanalytic functions are also relevant, in fact they are used for the study of the Landau levels associated to Schrödinger operators, see [4]. These functions were used also in [2] to study sampling and interpolation problems on polyanalytic Fock spaces using time frequency analysis techniques such as short-time Fourier transform or Gabor transforms, see, e.g. [17]. For sampling and interpolation in function spaces, see, e.g. [1] where also image and signal processing are considered.
The literature on polyanalytic functions is rather rich, starting with the early paper by Kolossov [43,44,45] and Pompeiu [55], then Teodorescu’s doctoral dissertation, see [56], until the book by Muskhelishvili [50] in the sixties. Other interesting contributions in this field can be found in Pascali’s works in the sixties, see [51,52,53,54]. A milestone in the theory is the book [10] which also contains further references.
Given \(s\in \mathbb N\), a complex-valued function f of a complex variable is called s-analytic or polyanalytic of order s in an open set \(G\subset \mathbb {C}\), if \(\overline{\partial }^{s}(f)=0\) in G, where \(\overline{\partial }=\partial /\partial \overline{z}\) is the Cauchy–Riemann operator and \(\overline{\partial }^{s}\) denotes its s-power.
A polyanalytic function f of order s can be written in the form
where \(f_{0},\ldots , f_{s-1}\) are holomorphic in G. If, in particular, all the functions \(f_{0},\ldots , f_{s-1}\) are polynomials, then f is called an s-analytic polynomial.
We define the degree \(\deg (f)\) of an s-analytic polynomial f with respect to the variable z as \(\max \{\deg (f_{j}); j=0,\ldots , s-1\}\). We note that, from now on, we shall omit to specify that the degree is considered with respect to z.
The representation (1) shows that the building blocks of polyanalytic functions are holomorphic functions. Note however that the class of polyanalytic functions shows deep differences with respect to the class of holomorphic functions. See [10] for the basic information on these functions.
There are many directions of research in this field. The focus of this paper is about approximation in the polyanalytic Fock spaces. Questions about approximation have already been considered in the literature. Among them, and with no claim of completeness, we mention: the problem of the uniform approximation by s-analytic polynomials, see, e.g., Fedorovskiy [26,27,28,29], Carmona-Fedorovskiy [14, 15], Carmona-Paramonov-Fedorovskiy [16], Baranov-Carmona-Fedorovskiy [12], Mazalov [47, 48], Mazalov-Paramonov-Fedorovskiy [49], Verdera [58].
Concerning approximation by s-analytic polynomials of functions which are s-analytic functions in G and continuous in \(\overline{G}\), the above mentioned results are of qualitative type. Quantitative results in approximation of polyanalytic functions by s-analytic polynomials were obtained in the recent paper Gal-Sabadini [39].
Polyanalytic functions have been considered also in the quaternionic and Clifford algebra case by considering powers of suitable generalized Cauchy–Riemann operators, see [13]. In the case one considers the framework of slice regular functions, the polyanalitic case has been recently introduced, see Alpay-Diki-Sabadini [7,8,9]. The counterpart of the class of holomorphic functions considered in this context is the class of slice regular functions. Several approximation results have been proved in this class of functions in the past decade by Gal-Sabadini, see [33,34,35,36,37], and also the paper by Diki-Gal-Sabadini [24]. In particular, polynomial approximation results in this framework have been obtained in Bergman, Bloch, Besov and also in Fock spaces.
We note that results concerning approximation by polynomials in the classical complex and also quaternionic Bergman spaces can be found in Duren-Schuster [25], Hedenmalm-Korenblum-Zhu [42], Gal [31], and in Gal-Sabadini [35].
More recently we started considering the quaternionic polyanalytic case in the slice regular case, see [38, 39].
In this paper we shall introduce the polyanalytic Fock spaces first in the complex, then in the quaternionic case. In the latter case, we generalize the notion of slice polyanalytic Fock space, already considered in [7]. We also note that in [38] we have only considered the polyanalytic Bergman space of the second kind, whereas in this paper we study the Fock spaces of the first and of the second kind. The difference between the two cases consists in the definition which is done via a 4-dimensional integral in the first kind case, while it is done via a 2-dimensional integral in the second kind space. In both cases, our results are also quantitative, in terms of various \(L^{p}\)-moduli of smoothness and in terms of the best approximation quantity.
To obtain our results, we use the classical method of convolution with various even trigonometric kernels, successfully used by us in the past, see, e.g., Gal [30,31,32], Gal-Sabadini [35,36,37,38], Diki-Gal-Sabadini [24]. The methods work also in this higher dimensional case and in fact most of the computations can be carried out without significant changes. In the paper we repeat some of these computations since it is somewhat necessary to check that they are valid in this case. Where we do so we refer to the sources.
We note that one could consider also the case of the so-called true Fock spaces (for their definition see [57]) however this is outside the scopes of this work.
The plan of the paper is as follows. In Sect. 2 we introduce the complex polyanalytic Fock spaces and we obtain quantitative approximation results by polyanalytic polynomials. Section 3 contains the notions of quaternionic polyanalytic Fock spaces of first and second kind. Section 4 contains qualitative and quantitative approximation results in these Fock spaces of first kind and, similarly, Sect. 5 contains the analogous results in Fock spaces of the second kind.
2 Polyanalytic Complex Fock Spaces and Approximation by Polyanalytic Polynomials
Fock spaces in the complex setting are well known and widely studied, especially for their importance in quantum mechanics. We recall below the definition and some basic facts and we refer the reader to, e.g., [59], for more information.
Definition 2.1
(see, e.g., [59, p. 36]) Let \(0< p < \infty \) and \(\alpha >0\). The Fock space \(F^{p}_{\alpha }(\mathbb {C})\) is defined as the space of all entire functions in \(\mathbb {C}\) with the property that \(\displaystyle \frac{\alpha p}{2\pi }\int _{\mathbb {C}}\left| f(z)e^{-\alpha |z|^{2}|/2}\right| ^{p}d A(z)<+\infty \), where \(d A(z)=d x d y=r d r d \theta \), \(z=x+i y=re^{i \theta }\), is the area measure in the complex plane.
Remark 2.2
Let us define
It is well-known (see, e.g., [59, p. 36]) that \(F_{\alpha }^{p}(\mathbb {C})\) endowed with \(\Vert f\Vert _{p, \alpha }\) is a Banach space for \(1\le p <\infty \), and a complete metric space for \(\Vert \cdot \Vert ^{p}_{p, \alpha }\) with \(0<p<1\). Moreover, when \(p=+\infty \), the space \(F^{\infty }_{\alpha }(\mathbb {C})\) endowed with \(\Vert f\Vert _{\infty , \alpha }=\textrm{ess}\sup \{|f(z)|e^{-\alpha |z|^{2}|/2}; z\in \mathbb {C}\}\) turns out to be a Banach space.
We now introduce the polyanalytic complex Fock spaces as follows (see, e.g., Abreu-Gröchenig [2]):
Definition 2.3
Let \(0< p < +\infty \). The s-analytic Fock space denoted by \(\mathcal {F}^{p}_{\alpha , s}(\mathbb {C})\) consists of all polyanalytic functions of order s in \(\mathbb {C}\), such that
Remark 2.4
In the case \(p=2\) and \(\alpha =2\), the space \(\mathcal {F}^{p}_{\alpha , s}(\mathbb {C})\) was introduced and studied in, e.g., Abreu-Feichtinger [4, p. 6], Balk [10, p. 170], Vasilevski [57].
As we mention in the introduction, there are results in the literature concerning the approximation by polynomials in Fock spaces, but all of them are of qualitative type and no quantitative estimates were obtained. For example, for any \(0<p<\infty \), and \(f\in F_{\alpha }^{p}\), there exists a polynomial sequence \((P_{n})_{n\in \mathbb {N}}\) such that \(\lim _{n\rightarrow \infty }\Vert f-P_{n}\Vert _{p, \alpha }=0\) (see, e.g., Proposition 2.9, p. 38 in [59]). The proof of the result is not constructive and consists in two steps: at step 1, one approximates f(z) by its dilations f(rz) with \(r\rightarrow 1^{-}\) and at step 2 one approximates each \(f_{r}\) by its attached Taylor polynomials.
If \(1<p<\infty \), then one can construct \(P_{n}\) as the Taylor polynomials attached to f (see, e.g., Exercise 5, p. 89 in [59]) but if \(0<p\le 1\), then there exists \(f\in F_{\alpha }^{p}\) which cannot be approximated by its associated Taylor polynomials (see, e.g., Exercise 6, p. 89 in [59]). However, if \(f\in F_{\alpha }^{\infty }\) is such that \(\lim _{z\rightarrow \infty }f(z)e^{\alpha |z|^{2}/2}=0\), then f can be approximated by polynomials in the norm \(\Vert \cdot \Vert _{\infty , \alpha }\) (see, e.g., Exercise 8, p. 89 in [59]).
In addition, by using the convolution method, we showed in the recent paper [39] that quantitative results in terms of various moduli of smoothness for approximation of polyanalytic functions by polyanalytic polynomials in the complex unit disc can be obtained.
In the spirit of the above results, in this section we consider the approximation by polyanalytic polynomials in the polyanalytic complex Fock spaces \(\mathcal {F}^{p}_{\alpha , s}(\mathbb {C})\).
The novelty is that, for \(1\le p<+\infty \) we present a constructive proof for the density result with quantitative estimates in terms of higher order moduli of smoothness and in terms of the best approximation quantity.
To this end, for the sake of clarity and completeness, we need a number of definition and notations.
We denote by \(\mathcal{P}_{n, s}\) denotes the set of all s-analytic polynomials of degree \(\le n\).
Definition 2.5
Let \(0<p<+\infty \) and \(f\in \mathcal {F}^{p}_{\alpha , s}(\mathbb {C})\).
The higher order \(L^{p}\)-moduli of smoothness of k-th order is defined by
where \(k\in \mathbb {N}\), \(w_{\alpha }(z)=e^{-\alpha |z|^{2}/2}\),
In other words, \(\omega _{k}(f; \delta )_{{\mathcal {F}}^{p}_{\alpha , s}(\mathbb {C})}=\omega _{k}(f; \delta )_{w_{\alpha }, L^{p}(\mathbb {C})}\) is a weighted modulus of smoothness with the weight \(w_{\alpha }(z)=e^{-\alpha |z|^{2}/2}\).
The best approximation quantity is defined by
As in the case of the \(L^{p}\)-moduli of smoothness for functions of real variable (see, e.g., [23, pp. 44–45]), it can be proved that
and
It is in fact a standard argument the fact that, setting (for fixed z) \(g(x)=f(z e^{i x})\), we get \(\Delta _{h}^{k}f(z)=\overline{\Delta }_{h}^{k}g(0)\), where \(\overline{\Delta }_{h}^{k}g(x_{0})=\sum _{s=0}^{k}(-1)^{s+k}{k \atopwithdelims ()s}g(x_{0}+s h)\).
Also next definitions are standard and we already used them in various cases, see e.g. [36].
For any \(1\le p<+\infty \) and f an s-analytic function in \(\mathbb {C}\), we define the convolution operators
Here \(K_{n}(t)\) is a positive and even trigonometric polynomial satisfying the property \(\int _{-\pi }^{\pi }K_{n}(t)d t=1\).
In the case of the Fejér kernel \(K_{n}(t)=\frac{1}{2 \pi n}\cdot \left( \frac{\sin (n t/2)}{\sin (t/2)}\right) ^{2}\), we shall denote \(L_{n}(f)(z)\) by \(F_{n}(f)(z)\).
For \(K_{n, r}(t)=\frac{1}{\lambda _{n^{\prime }, r}}\cdot \left( \frac{\sin (n^{\prime } t/2)}{\sin (t/2)}\right) ^{2 r}\), \(n^{\prime }=[n/r]+1\), where r is the smallest integer with \(r\ge \frac{m+3}{2}\), \(m\in \mathbb {N}\) and the constants \(\lambda _{n^{\prime }, r}\) are chosen such that \(\int _{-\pi }^{\pi }K_{n, r}(t)d t=1\), let us define the polyanalytic polynomials
Then \(K_{n, r}\) is a trigonometric polynomial of degree n, see [46, p. 57], and consequently \(I_{n, m, r}(f)(z)\) is an s-analytic polynomial of degree \(n+s-1\) (see, e.g., Theorem 2.2 in [39]).
Finally, we set \(V_{n}(f)(z)= 2 F_{2 n}(f)(z)-F_{n}(f)(z)\), \(z\in \mathbb C\), and since \(F_{n}(f)(z)\) is a trigonometric polynomial of degree \(n+s-1\), it follows that \(V_{n}(f)(z)\) are s-analytic polynomials of degree \(\le 2n+s-1\) (see, e.g., Theorem 2.2 in [39]).
Next result was proved in [38] in the case of polyanalytic Bergman spaces in the unit ball. The calculations in the proof are performed in the same way in the case of Fock spaces in \(\mathbb C\). Note however that here the domain of the functions is unbounded so, in principle, it is necessary to verify the validity of the various arguments. We provide the main lines of the proof and we refer the reader to [38] for more details.
Theorem 2.6
Let \(1\le p<+\infty \), \(0<\alpha \), \(s\in \mathbb {N}\), \(m\in \mathbb {N}\bigcup \{0\}\) and \(f\in \mathcal {F}^{p}_{\alpha , s}(\mathbb {C})\) be arbitrary fixed.
(i) \(I_{n, m, r}(f)(z)\) is s-analytic polynomial of degree \(n+s-1\), which satisfies the estimate
where \(m\in \mathbb {N}\), r is the smallest integer with \(r\ge \frac{p(m+1)+2}{2}\) and \(C_{p, m, r, \alpha }>0\) is a constant independent of f and n.
(ii) \(V_{n}(f)(z)\) is a s-analytic polynomials of degree \(\le 2n+s-1\), satisfying the estimate
Proof
We first prove point (i) reasoning as in [31] (see also [38], Theorem 3.2 in the case of the Bergman space in the unit disc). To this end we apply a well-known Jensen type inequality for integrals applied to the convex function \(\varphi (t)=t^{p}\), \(1\le p < \infty \), and we get
Now we multiply the expression above by \(e^{-\alpha p |z|^{2}/2}\) and we integrate on \(\mathbb {C}\) with respect to dA(z). Using Fubini’s theorem, we obtain
Using (5) in [46, p. 57], for \(r\in \mathbb {N}\) with \(r\ge \frac{p(m+1)+2}{2}\), we obtain
from which (i) follows.
To prove (ii) we consider \(f, g\in \mathcal {F}^{p}_{\alpha , s}(\mathbb {C})\) and \(1\le p <+\infty \). Standard arguments show that for all \(z\in \mathbb {C}\) we have
and
Following the standard procedure, we multiply the expression above by \(\frac{\alpha p}{2 \pi } e^{-\alpha p |z|^{2}/2}\) and we integrate on \(\mathbb {C}\). We get
Setting \(F(z)=|f(z)-g(z)|^{p}e^{-\alpha p |z|^{2}/2}\), \(z\in \mathbb {C}\), and \(z=r\cos (\theta )+ i r\sin (\theta )\), we get
which replaced in the above gives, after some calculations
Let \(P_{n, s}^{*}\) be a polynomial of best approximation by elements in \(\mathcal{P}_{n, s}\) in the norm in \(\Vert \cdot \Vert _{p, \alpha }\), that is
Since \(\dim (\mathcal{P}_{n, s})=n+s-1\) such a polynomial \(P_{n, s}^{*}\) exists.
We prove that \(V_{n}(P^{*}_{n, s})(z)=P^{*}_{n, s}(z)\), for all \(z\in \mathbb {C}\).
Indeed, let us set
Denoting \(a_{n, k}^{(j)}=r_{n, k}^{(j)}e^{i \theta _{n, k}^{(j)}}\) and \(z=re^{i x}\), we obtain
Using standard formulas in trigonometry, we deduce that
where \(P_{n}\) and \(Q_{n}\) are trigonometric polynomials of degree \(\le n\) with real coefficients.
We then have
which by Lorentz [46, p. 93], immediately implies
We conclude that
which proves (ii). \(\square \)
3 Preliminaries on Polyanalytic Quaternionic Fock Spaces
We shall denote by \(\mathbb {H}\), in honor of Hamilton who introduced it, the noncommutative field of quaternions. It consists of elements of the form
where the imaginary units i, j, k satisfy the relations
The real number \(x_0\) is called real part of q while \( x_{1} i +x_{2} j + x_{3} k\) is called imaginary or vector part of q. The conjugate of q is \({\bar{q}}=x_0-x_{1} i - x_{2} j - x_{3} k\), while the norm of q is defined as \(|q|=\sqrt{q \bar{q}}=\sqrt{x_0^2+x_1^2 +x_2^2+x_3^2}\).
By \(\mathbb {S}\) we denote the unit sphere of purely imaginary quaternion, i.e.
Note that if \(I\in \mathbb {S}\), then \(I^{2}=-1\) and so for any fixed \(I\in \mathbb {S}\) the subset \(\mathbb {C}_I:=\{x+Iy; \ |\ x,y\in \mathbb {R}\}\) can be identified with a complex plane.
As it is well known and easily seen, any non real quaternion q is uniquely associated to the element \(I_q\in \mathbb {S}\) defined by \(I_q:=( i x_{1} + j x_{2} + k x_{3})/| i x_{1} + j x_{2} + k x_{3}|\) and q belongs to the complex plane \(\mathbb {C}_{I_q}\).
The real axis, obtained setting \(x_1=x_2=x_3=0\), belongs to \(\mathbb {C}_I\) for every \(I\in \mathbb {S}\) and thus a real quaternion can be associated to any imaginary unit I. Moreover, we have \(\mathbb {H}=\cup _{I\in \mathbb {S}} \mathbb {C}_I\).
In the sequel we will need to introduce convolution operators of a quaternion variable, and so we recall the notion of exponential function of quaternion variable. For any arbitrary, but fixed, \(I\in \mathbb {S}\), we define, following [41]: \(e^{I t}=\cos (t)+ I \sin (t),\, \, t\in \mathbb {R}\). With this definition we have an Euler’s kind formula: \((\cos (t)+ I \sin (t))^{k}=\cos (k t)+ I \sin (k t)\), and therefore we can write \((e^{I t})^{k}=e^{ I k t}\).
A class of functions of a quaternionic variable which has been widely studied in the past fifteen years is that one of the so called slice regular (or slice hyperholomorphic) functions. For more information on these functions and for their various applications, we refer the reader to [20, 21, 40] and the references therein. Various approximation results can be proved in this class of functions in this framework and a summary can be found in [36].
Definition 3.1
Let U be an open set \(\mathbb {H}\). A real differentiable function \(f:U \rightarrow \mathbb {H}\) is said to be (left) slice analytic (regular) if, for every \(I \in \mathbb {S}\), its restriction \(f_I\) of f to the complex plane \(\mathbb C_I\) satisfies
The set of (left) slice analytic (regular) functions on U will be denoted by \(\mathcal{S}\mathcal{R}(U)\).
Remark 3.2
Since we are in a non commutative setting, we could give the previous definition as
The class thus obtained is that one of right slice regular functions. The two classes of functions contain different elements but the function theory is basically equivalent. Thus we shall consider only the case of left slice regular functions and we shall not specify anymore “left”. We note that \(\mathcal{S}\mathcal{R}(U)\) is a right linear space over \(\mathbb H\).
Despite other function theories over the quaternions, the class of slice regular functions contains converging power series in the variable q, thus also polynomials, and with quaternionic coefficients written on the right, i.e.
Various function spaces can be defined within the class of slice regular functions, for example: two kinds of Bergman spaces, see, e.g., [18, 19] and Bloch, Besov and Dirichlet spaces, see, e.g., [17].
As a further generalization, we now define the class of slice polyanalytic functions of order s.
Let \(s\in \mathbb {N}\) and let \(\mathcal {C}^s(U)\) be the set of continuously differentiable functions with all their derivatives up to order s on an open set \(U\subseteq \mathbb {H}\). Assume that U is axially symmetric, i.e. when \(x+Jy\in U\) then \(x+Iy\in U\) for all \(I\in \mathbb S\). We set \(\mathcal {U} = \{ (x,y)\in \mathbb R^2\,\ x+ I y\in U\}\).
Definition 3.3
Let \(f:\ U\rightarrow \mathbb {H}\) belong to \(\mathcal {C}^s(U)\), \(s\in \mathbb N\) and let f be of the form
with \(\alpha , \beta : \mathcal {U}\rightarrow \mathbb {H}\) satisfying the compatibility conditions \(\alpha (x,-y) = \alpha (x,y)\), \(\beta (x,-y) = -\beta (x,y)\). If
then f is called slice polyanalytic function of order \(s\in \mathbb {N}\), or s-analytic for short, on U.
On \(\mathbb {H}\), slice polyanalytic functions of order s are of the form (see Proposition 3.6 in [7] and also [8])
where \(f_j(q)=\sum _{l=0}^{+\infty } q^l c_{l}^{(j)}\), \(c_{l}^{(j)}\in \mathbb {H}\), \(j=0,\ldots , s-1\), \(l=0, 1,\ldots , \) and the series is convergent in \(\mathbb {H}\), i.e., \(f_j(q)\) is a slice analytic function in \(\mathbb {H}\). In particular, \(f_j(q)\) can be a polynomial and if \(f_j(q)\) is a polynomial for all \(j=0,\ldots , p-1\) we say that f is a slice s-analytic polynomial in \(\mathbb {H}\), whose degree \(\deg (f)\) is defined as the maximum degree of the \(f_j\)’s.
We can now introduce the quaternionic counterpart of slice polyanalytic Fock spaces of order s, beginning with the following definition that, in this generality, has not been previously considered in the literature.
Definition 3.4
Let \(0<p<+\infty \), \(s\in \mathbb {N}\) and \(0<\alpha <+\infty \). The polyanalytic quaternionic Fock space of the first kind, denoted by \(\mathcal {F}^{p}_{\alpha , s}(\mathbb {H})\), is defined as the space of functions f slice polyanalytic of order s on \(\mathbb {H}\) and are such that
where dm(q) represents the Lebesgue volume element in \(\mathbb {R}^{4}\).
Remark 3.5
Using standard techniques, like in the complex case, one can prove that for \(1\le p <+\infty \), \(\Vert \cdot \Vert _{p, \alpha }\) is a norm, while for \(0<p<1\), \(\Vert f-g\Vert _{p, \alpha }^{p}\) is a quasi-norm.
Remark 3.6
Any slice s-analytic quaternionic polynomial in \(\mathbb {H}\), \(P(q)=p_{0}(q)+\overline{q} p_{1}(q)+\cdots + \overline{q}^{p-1} p_{s-1}(q)\) with all \(p_{j}(q)\) quaternionic polynomials, belongs to the space \(\mathcal {F}^{p}_{\alpha , s}(\mathbb {H})\).
Indeed, this is immediate from the obvious inequality
Before to define the Fock spaces of the second kind, originally introduced in [24], we give the following:
Definition 3.7
For \(I\in \mathbb {S}\), \(0<\alpha <+\infty \) and \(0<p<+\infty \), let us denote
with \(d m_{I}(q)\) representing the area measure on \(\mathbb {C}_{I}\).
The space of slice s-analytic functions on \(\mathbb {H}\) satisfying \(\Vert f\Vert _{p, \alpha , I}<+\infty \) will be denoted with \(\mathcal {F}^{p}_{\alpha , s, I}(\mathbb {C}_I)\).
Standard techniques in slice analysis based on the Representation formula (see e.g. Proposition 4.1 in [24]) show that for any \(I,J\in \mathbb S\) the spaces \(\mathcal {F}^{p}_{\alpha , s, I}(\mathbb {C}_I)\) and \(\mathcal {F}^{p}_{\alpha , s, J}(\mathbb {C}_J)\) contains the same elements and have equivalent norms. Thus we give the following definition:
Definition 3.8
Let \(0<p<+\infty \), \(s\in \mathbb {N}\) and \(0<\alpha <+\infty \). The polyanalytic quaternionic Fock space of the second kind, denoted by \(\mathcal {F}^{(2),p}_{\alpha , s}(\mathbb {H})\), is defined as the space of functions f slice polyanalytic of order s on \(\mathbb H\) such that \(f\in \mathcal {F}^{p}_{\alpha , s, I}(\mathbb {C}_I)\) for some \(I\in \mathbb S\).
Notice that for \(p=\alpha =2\), the second kind Fock space of slice s-analytic functions have been introduced in [7], Sect. 4.
4 Density in Polyanalytic Quaternionic Fock Spaces of the First Kind
In this section we introduce the slice polyanalytic quaternionic Fock spaces of the first kind. To this end, we need a number of notions that we list keeping the notations in Sect. 3.
Definition 4.1
Let \(0<p<+\infty \) and \(f\in \mathcal {F}^{p}_{\alpha , s}(\mathbb {H})\). The higher order \(L^{p}\)-moduli of smoothness of k-th order is defined by
where \(k\in \mathbb {N}\), \(w_{\alpha }(q)=e^{-\alpha |q|^{2}/2}\),
In other words, \(\omega _{k}(f; \delta )_{{\mathcal {F}}^{p}_{\alpha , s}(\mathbb {H})}=\omega _{k}(f; \delta )_{w_{\alpha }, L^{p}(\mathbb {H})}\) is a weighted modulus of smoothness with the weight \(w_{\alpha }(q)=e^{-\alpha |q|^{2}/2}\).
The best approximation quantity is defined by
where \(\mathcal{P}_{n, s}\) denotes the set of all slice s-analytic polynomials on \(\mathbb {H}\) of degree \(\le n\).
Note that also in this case we obtain the counterparts of (2)-(4), namely:
and
Now, for any \(1\le p<+\infty \) and f a slice polyanalytic function of order s in \(\mathbb {H}\), we define the convolution operators
where \(K_{n}(t)\) is a positive and even trigonometric polynomial such that \(\int _{-\pi }^{\pi }K_{n}(t)d t=1\).
As in the complex case, we can choose \(K_{n, r}(t)=\frac{1}{\lambda _{n^{\prime }, r}}\cdot \left( \frac{\sin (n^{\prime } t/2)}{\sin (t/2)}\right) ^{2 r}\), \(n^{\prime }=[n/r]+1\), where r is the smallest integer with \(r\ge \frac{m+3}{2}\), \(m\in \mathbb {N}\) and the constants \(\lambda _{n^{\prime }, r}\) are such that \(\int _{-\pi }^{\pi }K_{n, r}(t)d t=1\).
For any \(1\le p<+\infty \) and f a slice polyanalytic function of order s in \(\mathbb {H}\), we define the convolution operators
Note that \(K_{n, r}\) is a trigonometric polynomial of degree n and consequently \(I_{n, m, r}(f)(q)\) is a slice polyanalytic polynomial of order s of degree \(n+s-1\) (see, e.g., Theorem 2.2 in [39]).
Also in the quaternionic case we can prove the following result:
Theorem 4.2
Let \(1\le p<+\infty \), \(0<\alpha \), \(s\in \mathbb {N}\), \(m\in \mathbb {N}\bigcup \{0\}\) and \(f\in \mathcal {F}^{p}_{\alpha , s}(\mathbb {H})\) be arbitrarily fixed.
\(I_{n, m, r}(f)(q)\) is a slice polyanalytic polynomial of degree \(n+s-1\), which satisfies the estimate
where \(m\in \mathbb {N}\), r is the smallest integer with \(r\ge \frac{p(m+1)+2}{2}\) and \(C_{p, m, r, \alpha }>0\) is a constant independent of f and n.
Proof
As it was mentioned before the statement, the convolution operators \(I_{n, m, r}(f)(z)\) are slice s-analytic polynomials of the mentioned degrees.
In what follows we will reason as in [31] and we shall apply the Jensen type inequality as we did in the proof of Theorem 2.6, by choosing \(\varphi (t)=t^{p}\), \(1\le p < \infty \). We get
Now we multiply the expression above by \(e^{-\alpha p |q|^{2}/2}\) and we integrate on \(\mathbb {H}\) with respect to dm(q). Taking into account the Fubini’s theorem, we obtain
Using relation (5) in [46, p. 57], for \(r\in \mathbb {N}\) with \(r\ge \frac{p(m+1)+2}{2}\), we obtain
and thus we get the required estimate. \(\square \)
5 Density in Polyanalytic Quaternionic Fock Spaces of the Second Kind
In this section we prove the density of polyanalitic polynomials in slice polyanalytic Fock spaces of second kind. The result provides quantitative estimates in terms of higher order \(L^{p}\)-moduli of smoothness and in terms of the best approximation quantity.
For \(1\le p<+\infty \) we present a constructive proof for the density result with quantitative estimates in terms of higher order \(L^{p}\)-moduli of smoothness and in terms of the best approximation quantity. For that purpose, we need some more terminology.
Definition 5.1
Let \(0<p<+\infty \), \(0<\alpha \), \(I\in \mathbb {S}\) and \(f\in \mathcal {F}^{p}_{\alpha , s, I}(\mathbb {H})\).
The higher order \(L^{p}\)-moduli of smoothness of k-th order is defined by
where \(k\in \mathbb {N}\) and \(\Delta _{h}^{k}f(q)=\sum _{s=0}^{k}(-1)^{k+s}{k \atopwithdelims ()s}f(q e^{I s h})\).
The best approximation quantity is defined by
where \(\mathcal{P}_{n, s, I}\) denotes the set of all quaternionic slice s-analytic polynomials of degree \(\le n\) in \(\mathbb {C}_{I}\).
Also in this case we have the analogs of (2)–(4):
and
Indeed, this is immediate from the fact that setting (for fixed q and I) \(g(x)=f(qe^{I x})\), we get \(\Delta _{h}^{k}f(q)=\overline{\Delta }_{h}^{k}g(0)\), where \(\overline{\Delta }_{h}^{k}g(x_{0})=\sum _{s=0}^{k}(-1)^{s+k}{k \atopwithdelims ()s}g(x_{0}+s h)\).
Now, for any \(1\le p<+\infty \) and \(f\in \mathcal {F}^{p}_{\alpha , s, I}(\mathbb {C}_{I})\), we define the convolution operators
As in the previous section, \(K_{n}(t)\) is a positive and even trigonometric polynomial with the property \(\int _{-\pi }^{\pi }K_{n}(t)d t=1\).
In particular, we take the Fejér kernel \(K_{n}(t)=\frac{1}{2 \pi n}\cdot \left( \frac{\sin (n t/2)}{\sin (t/2)}\right) ^{2}\), and in this case we denote \(L_{n}(f)(q)\) by \(F_{n}(f)(q)\).
For \(K_{n, r}(t)=\frac{1}{\lambda _{n^{\prime }, r}}\cdot \left( \frac{\sin (n t/2)}{\sin (t/2)}\right) ^{2 r}\), where \(n^{\prime }\ge [n/r]+1\), \(r\ge \frac{p(m+1)+2}{2}\), \(m\in \mathbb {N}\) and the constants \(\lambda _{n^{\prime }, r}\) are chosen such that \(\int _{-\pi }^{\pi }K_{n, r}(t)d t=1\). We define
Moreover, we set
According to the reasonings in Sect. 2, for fixed \(I\in \mathbb {S}\), if \(q\in \mathbb {C}_{I}\) then \(L_{n}(f)(q)\), \(G_{n, m, r}(f)(q)\) and \(V_{n}(f)(q)\) are slice polyanalytic polynomials of order s in q on \(\mathbb {C}_{I}\).
The main result of this section is the following whose proof closely follows the proof of Theorem 2.6 in Sect. 2 and for this reason some details will be omitted.
Theorem 5.2
Let \(1\le p<+\infty \), \(0<\alpha \), \(m\in \mathbb {N}\bigcup \{0\}\) and \(f\in \mathcal {F}^{p}_{\alpha , s, I}(\mathbb {H})\) be arbitrary fixed.
(i) \(G_{n, m, r}(f)(q)\) is an s-regular quaternionic polynomial of degree \(\le n+s+1\), which for any \(I\in \mathbb {S}\) satisfies the estimate
where \(m\in \mathbb {N}\), r is the smallest integer with \(r\ge \frac{p(m+1)+2}{2}\) and \(C(p, m, r, \alpha )>0\) is a constant independent of f, n and I.
(ii) \(V_{n}(f)(z)\) is a quaternionic polynomials of degree \(\le 2n+s-1\), satisfying for any \(I\in \mathbb {S}\) the estimate
Proof
For the fact that the convolution operators \(G_{n, m, r}(f)(q)\) and \(V_{n}(f)(q)\) are slice polyanalytic quaternionic polynomials of order s of the corresponding degrees, one uses the arguments in Sect. 2.
(i) Below we apply the well-known Jensen type inequality for integrals already mentioned in Sect. 2 and we follow the reasoning as in the complex case by choosing \(\varphi (t)=t^{p}\), \(1\le p < \infty \). We obtain
Multiplying above by \(e^{-\alpha p |q|^{2}/2}\), integrating on \(\mathbb {C}_I\) with respect to \(d m_{I}(q)\) and using the Fubini’s theorem, we obtain
Relation (5), p. 57 in [46] implies that, for \(r\in \mathbb {N}\) with \(r\ge \frac{p(m+1)+2}{2}\), it holds that
which proves the estimate in (i).
(ii) Let \(f, g\in \mathcal {F}^{p}_{\alpha , s, I}(\mathbb {H})\) and \(1\le p <+\infty \). From the obvious inequality \((a+b)^{p}\le 2^{p-1}(a^{p}+b^{p})\), valid for all \(a, b \ge 0\), we deduce that for all \(q\in \mathbb {C}_{I}\) we have
and
Again, following the standard procedure, namely if we multiply the expression above by \(\frac{\alpha p}{2\pi }e^{-\alpha p |q|^{2}/2}\) and we integrate on \(\mathbb {C}_{I}\) with respect to \(d m_{I}(q)\), taking into account the Fubini’s theorem too, we obtain
But denoting \(F(q)=|f(q)-g(q)|^{p}e^{-\alpha p |q|^{2}/2}\), \(q\in \mathbb {C}_{I}\), writing \(q=r\cos (\theta )+ I r\sin (\theta )\) in polar coordinates and taking into account that
simple calculations (made exactly as in the complex case) lead to the equality
which replaced in the above inequality immediately implies
that is
Now, let us denote by \(P_{n, s, I}^{*}\) a polynomial of best approximation by elements in \(\mathcal{P}_{n, s, I}\) in the norm in \(\Vert \cdot \Vert _{p, \alpha , I}\), that is
Note that since \(\mathcal{P}_{n, s, I}\) is finite dimensional, for any fixed n, we deduce that this polynomial \(P_{n, s, I}^{*}\) exists.
Since by similar reasonings with those in the complex case in the proof of Theorem 2.6, (ii), we get \(V_{n}(P^{*}_{n, s, I})=P^{*}_{n, s, I}\), for all \(q\in \mathbb {C}_I\), it follows
which proves (ii) and the theorem.\(\square \)
References
Abreu, L.D.: Sampling and interpolation in Bargmann–Fock spaces of polyanalytic functions. Appl. Comput. Harmonic Anal. 29(3), 287–302 (2010)
Abreu, L.D., Gröchenig, K.: Banach Gabor frames with Hermite functions: poly analytic spaces from the Heisenberg group. Appl. Anal. 91(11), 1981–1997 (2012)
Abreu, L.D.: Super-wavelets versus poly-Bergman spaces. Integr. Equ. Oper. Theory 73(2), 177–193 (2012)
Abreu, L.D., Feichtinger, H.G.: Function spaces of polyanalytic functions. In : Harmonic and Complex Analysis and Its Applications. Trends Math., pp. 1–38. Birkhäuser/Springer, Berlin (2014)
Abreu, L.D.: Superframes and polyanalytic wavelets. J. Fourier Anal. Appl. 23(1), 1–20 (2017)
Alpay, D., Colombo, F., Diki, K., Sabadini, I., Struppa, D.C.: Hörmander’s \(L^2\)-Method, \(\overline{\partial }\)-Problem and Polyanalytic Function Theory in One Complex Variable. Complex Anal. Oper. Theory 17(3), Paper No. 41 (2023)
Alpay, D., Diki, K., Sabadini, I.: On slice polyanalitic functions of a quaternionic variable. Results Math. 74(1), Article no. 17 (2019)
Alpay, D., Diki, K., Sabadini, I.: Correction to: On slice polyanalytic functions of a quaternionic variable. RM 76(2), 84 (2021)
Alpay, D., Diki, K., Sabadini, I.: On the global operator and Fueter mapping theorem for slice polyanalytic functions. Anal. Appl. (Singap.) 19(6), 941–964 (2021)
Balk, M.B.: Polyanalytic Functions. Akad. Verlag, Berlin (1991)
Balk, M.B.: Polyanalytic functions and their generalizations. In: Complex analysis, I, Encyclopedia Math. Sci., 85, pp. 195-253. Springer, Berlin (1997)
Baranov, A.D., Carmona, J.J., Fedorovskiy, KYu.: Density of certain polynomial modules. J. Approx. Theory 206, 1–16 (2016)
Brackx F., On (k)-monogenic functions of a quaternion variable. Function theoretic methods in differential equations, pp. 22–44. Res. Notes in Math. 8. Pitman, London (1976)
Carmona, J.J., Fedorovskiy, K.Yu.: New conditions for uniform approximation by polyanalytic polynomials. in: Tr. Mat. Inst. Steklova Analiticheskie i Geometricheskie Voprosy Kompleksnogo Analiza 279 227–241 (2012); reprinted in Proc. Steklov Inst. Math. 279(1), 215–229 (2012)
Carmona, J.J., Fedorovskiy K.Yu.: On the dependence of conditions for the uniform approximability of functions by polyanalytic polynomials on the order of polyanalyticity. (Russian). Mat. Zametki 83(1), 32–38 (2008); translation in Math. Notes 83(1–2), 31–36 (2008)
Carmona, J.J., Paramonov, P.V., Fedorovskiy, K.Yu.: Uniform approximation by polyanalytic polynomials and the Dirichhet problem for bianalytic functions. Sb. Math. 19(9–10), 1469–1492
Castillo Villalba, C.M.P., Colombo, F., Gantner, J., González-Cervantes, J.O.: Bloch, Besov and Dirichlet spaces of slice hyperholomorphic functions. Complex Anal. Oper. Theory 9(2), 479–517 (2015)
Colombo, F., González-Cervantes, J.O., Luna-Elizarrarás, M.E., Sabadini, I., Shapiro, M.: On two approaches to the Bergman theory for slice regular functions. Springer INdAM Ser. 1, 39–54 (2013)
Colombo, F., Gonzáles-Cervantes, J.O., Sabadini, I.: Further properties of the Bergman spaces of slice regular functions. Adv. Geom. 15(4), 469–484 (2015)
Colombo, F., Sabadini, I., Struppa, D.C.: Noncommutative Functional Calculus. Theory and Applications of Slice Hyperholomorphic Functions, Progress in Mathematics, vol. 289. Birkhäuser/Springer Basel AG, Basel (2011)
Colombo F., Sabadini I., Struppa D.C.: Entire Slice Regular Functions. Springer Briefs in Mathematics. Springer, Berlin (2016)
De Martino, A., Diki, K.: On the polyanalytic short-time Fourier transform in the quaternionic setting. Commun. Pure Appl. Anal. 21(11), 3629–3665 (2022)
DeVore, R.A., Lorentz, G.G.: Constructive Approximation. Springer, Berlin (1993)
Diki, K., Gal, S.G., Sabadini, I.: Polynomial approximation in slice regular Fock spaces. Complex Anal. Oper. Theory 13(6), 2729–2746 (2019)
Duren, P., Schuster, A.: Bergman Spaces, American Mathematical Society, Mathematical Surveys and Monographs, vol. 100. Rhode Island (2004)
Fedorovskiy, K.Yu.: Uniform and Cm-approximation by polyanalytic polynomials. In: Complex analysis and potential theory. CRM Proc. Lecture Notes, vol. 55, pp. 323–329. Amer. Math. Soc., Providence (2012)
Fedorovskiy, KYu.: \(C^{m}\)-approximation by polyanalytic polynomials on compact subsets of the complex plane. Complex Anal. Oper. Theory 5(3), 671–681 (2011)
Fedorovskiy, K.Yu.: Nevanlinna domains in problems of polyanalytic polynomial approximation. In: Analysis and mathematical physics. Trends Math., pp. 131–142. Birkhäuser, Basel (2009)
Fedorovskiy, K.Yu.: On uniform approximations by polyanalytic polynomials on compact subsets of the plane. XII-th Conference on Analytic Functions (Lublin, 1998). Ann. Univ. Mariae Curie-Skłodowska Sect. A 53, 27–39 (1999)
Gal, S.G.: Approximation by Complex Bernstein and Convolution Type Operators. World Scientific, Singapore (2009)
Gal, S.G.: Quantitative approximations by convolution polynomials in Bergman spaces. Complex Anal. Oper. Theory 12(2), 355–364 (2018)
Gal, S.G.: Convolution-type integral operators in complex approximation. Comput. Methods Funct. Theory 1(2), 417–432 (2001)
Gal, S.G., Sabadini, I.: Approximation in compact balls by convolution operators of quaternion and paravector variable. Bull. Belg. Math. Soc. Simon Stevin 20, 481–501 (2013)
Gal, S.G., Sabadini, I.: Approximation by polynomials on quaternionic compact sets. Math. Methods Appl. Sci. 38(14), 3063–3074 (2015)
Gal, S.G., Sabadini, I.: Approximation by polynomials in Bergman spaces of slice regular functions in the unit ball. Math. Methods Appl. Sci. 41(4), 1619–1630 (2018)
Gal, S.G., Sabadini, I.: Quaternionic Approximation. With Application to Slice Regular Functions. Frontiers in Mathematics. Birkhäuser/Springer, Cham (2019)
Gal, S.G., Sabadini, I.: Polynomial approximation in quaternionic Bloch and Besov spaces. Adv. Appl. Clifford Algebr. 30(5), Article no. 64 (2020)
Gal, S.G., Sabadini, I.: Density of polyanalytic polynomials in complex and quaternionic polyanalytic weighted Bergman spaces. Bull. Belg. Math. Soc. Simon Stevin 29, 533–553 (2022)
Gal, S.G., Sabadini, I.: Approximation by convolution polyanalytic operators in the complex and quaternionic compact unit balls. Comput. Methods Funct. Theory 23, 101–123 (2023)
Gentili, G., Stoppato, C., Struppa, D.C.: Regular Functions of a Quaternionic Variable. Springer Monographs in Mathematics. Springer, Berlin (2013)
Gürlebeck, K., Habetha, K., Sprössig, W.: Holomorphic Functions in the Plane and \(n\)-Dimensional Space. Birkhäuser, Basel (2008)
Hedenmalm, H., Korenblum, B., Zhu, K.: Theory of Bergman Spaces. Springer, Berlin (2000)
Kolossov, G.V.: Sur les problems d’elasticité à deux dimensions. C.R. Acad. Sci. 146(10), 522–525 (1908)
Kolossov, G.V.: Sur les problems d’elasticité à deux dimensions. C. R. Acad. Sci. 148(19), 1242–1244 (1909)
Kolossov, G.V.: Sur les problems d’elasticité à deux dimensions. C. R. Acad. Sci. 148(25), 1706 (1909)
Lorentz, G.G.: Approximation of Functions. Chelsea Publ. Comp, New York (1986)
Mazalov, M.Y.: Uniform approximation of functions continuous on a compact subset of \(\mathbb{C} \) and analytic in its interior by functions bianalytic in its neighborhoods. Math. Notes 69(1), 216–231 (2001)
Mazalov, M.Y.: Uniform approximation by bianalytic functions on arbitrary compact subset of \(\mathbb{C} \). Sbornik Math. 195(5), 687–709 (2004)
Mazalov, M.Y., Paramonov, P.V., Fedorovskiy, KYu.: Conditions for approximability of functions by solutions of elliptic equations. Russ. Math. Surv. 67(6), 10–23 (2012)
Muskhelishvili, N.I.: Some Basic Problems of Mathematical Elasticity Theory (in Russian). Nauka, Moscow (1968)
Pascali, D.: A new representation of the areolar polynomials in the plane (in Romanian). Stud. Cerc. Matem. 15(2), 249–252 (1964)
Pascali, D.: Representation of quaternionic areolar polynomials in tridimensional space (in Romanian). Stud. Cerc. Matem. 18(2), 239–242 (1966)
Pascali, D.: The structure of \(n\)-th order generalized analytic functions. In: Elliptische Differential-gleichungen. Band 11, pp. 197–201. Akademie-Verlag, Berlin (1971)
Pascali, D.: Basic representation of polyanalytic functions. Libertas Math. 9, 41–49 (1989)
Pompeiu, D.: Sur une classe de fonctions d’une variable complexe. Rend. Circ. Mat. Palermo 33(1), 108–113 (1912)
Teodorescu, N.: La Dérivée Areolaire et ses Applications à la Physique Mathématique. Gauthier-Villars, Paris (1931)
Vasilevski, N.L.: Poly-Fock Spaces, Differential operators and related topics, vol. I (Odessa, 1997), pp. 371–386, Oper. Theory Adv. Appl., vol. 117. Birkhäuser, Basel (2000)
Verdera, J.: On the uniform approximation problem for the square of the Cauchy–Riemann operator. Pacific J. Math. 159(2), 379–396 (1993)
Zhu, K.: Analysis on Fock Spaces. Springer, New York (2012)
Funding
Open access funding provided by Politecnico di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Daniele Struppa.
This paper is dedicated to John Ryan on the occasion of his retirement.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of Topical Collection in Honor of Prof. John Ryan’s Retirement.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gal, S.G., Sabadini, I. Density of Complex and Quaternionic Polyanalytic Polynomials in Polyanalytic Fock Spaces. Complex Anal. Oper. Theory 18, 8 (2024). https://doi.org/10.1007/s11785-023-01460-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11785-023-01460-7
Keywords
- Polyanalytic complex Fock space
- Polyanalytic complex functions
- Polyanalytic complex polynomials
- Polyanalytic quaternionic Fock space of the first kind
- Polyanalytic quaternionic Fock space of second kind
- Slice quaternionic polyanalytic functions
- Slice quaternionic polyanalytic polynomials
- Convolution with trigonometric kernels
- Quantitative estimates
- L p-moduli of smoothness
- Slice regular functions
- Best approximation