Abstract
In this paper, by using the convolution method, we obtain quantitative results in terms of various moduli of smoothness for approximation of polyanalytic functions by polyanalytic polynomials in the complex unit disc. Then, by introducing the polyanalytic Gauss–Weierstrass operators of a complex variable, we prove that they form a contraction semigroup on the space of polyanalytic functions defined on the compact unit disk. The quantitative approximation results in terms of moduli of smoothness are then extended to the case of slice p-polyanalytic functions on the quaternionic unit ball. Moreover, we show that also in the quaternionic case the Gauss–Weierstrass operators of a quaternionic variable form a contraction semigroup on the space of polyanalytic functions defined on the compact unit ball.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Preliminaries
Given a natural number p, a complex-valued function f of a complex variable is called a p-analytic or polyanalytic of order p, in an open set \(G\subset {\mathbb {C}}\), if \({\overline{\partial }}^{p}(f)=0\) in G, where \({\overline{\partial }}^{p}\) is the p-power of the Cauchy-Riemann operator, i.e. \({\overline{\partial }}=\partial /\partial {\overline{z}}\). It can be proved that f necessarily has the representation
where \(f_{0}, \ldots , f_{p-1}\) are analytic (holomorphic) in G. If all \(f_{0}, \ldots , f_{p-1}\) are polynomials, then f is called p-analytic polynomial and the degree \(\deg (f)\) (with respect to z) of a p-analytic polynomial f, is defined as \(\max \{\deg (f_{j}) ; j=0, \ldots , p-1\}\). For simplicity, everywhere in the paper we assume that the degree of f is considered with respect to z.
The concept of a polyanalytic function was introduced in 1908 by Kolossov, see [34,35,36,37], to study elasticity problems. This stream of research was later on continued by his student Muskhelishvili, see the book [42].
It is also worth mentioning the early paper by Pompeiu [47] and, one decade later, the work of Burgatti, see [12], and in the thirties Teodorescu’s doctoral dissertation, see [48]. However, a systematic study of polyanalytic functions was done by the Russian school under the supervision of Balk, see his book [10].
Although the representation (1) suggests that the building blocks of polyanalytic functions are holomorphic functions, the class of polyanalytic functions presents deep differences from the class of holomorphic functions, see [10] for more information.
The lines of the current research on polyanalytic functions are various: the problem of the uniform approximation by p-analytic polynomials, see, e.g., Fedorovskiy [18,19,20,21], Carmona–Fedorovskiy [13, 14], Carmona–Paramonov–Fedorovskiy [15], Baranov–Carmona–Fedorovskiy [11], Mazalov [39, 40], Mazalov–Paramonov–Fedorovskiy [41], Verdera [50], the study of wavelets and Gabor frames, see e.g., Abreu–Gröchenig [5], Abreu [2, 3], the time-frequency analysis, see, e.g., Abreu–Feichtinger [4], the sampling and interpolation in function spaces, see, e.g. [1], the image and signal processing, see, e.g. Abreu [1]. Other contributions in this field can be found in Pascali’s works [43,44,45,46].
For functions p-analytic in G and continuous in G, the available results on approximation using p-analytic polynomials are of qualitative type.
Thus, the first goal of the present paper is to obtain, in Sect. 2, quantitative uniform approximation results in terms of various moduli of smoothness in the particular case when \(G = {\mathbb {D}}\)—the open unit disk in \({\mathbb {C}}\). Section 3 introduces the polyanalytic Gauss–Weierstrass complex operators, for which one proves that they form a contraction semigroup on the space of polyanalytic complex functions in the unit disk. We then move to the quaternionic case, and in Sect. 3 we consider the particular case when \(G={\mathbb {B}}\) is the open unit ball and we obtain quantitative results, similar to those ones in the complex case, in uniform approximation by slice quaternionic polyanalytic polynomials. Finally, Sect. 5 deals with similar properties for the polyanalytic Gauss–Weierstrass quaternionic operators. The quaternionic cases in Sects. 4 and 5 are motivated by the recent introduction of the class of polyanalytic functions in the quaternionic framework, see Alpay–Diki–Sabadini [7,8,9], Alpay–Colombo–Diki–Sabadini [6].
To obtain our results, we use the classical method of convolution with various even trigonometric kernels and with the Gauss–Weierstrass kernels, successfully used by us in the past, see, e.g., Gal [22,23,24], Gal–Sabadini [27,28,29,30,31], Diki–Gal–Sabadini [17].
2 Approximation by Polyanalytic Polynomials
For \(p\in {\mathbb {N}}\) and \({\mathbb {D}}\) the open unit disk in \({\mathbb {C}}\), let us denote by \(H_{p}(\overline{{\mathbb {D}}})\) the space of all p-analytic functions in \({\mathbb {D}}\) and continuous in \(\overline{{\mathbb {D}}}\), endowed with the uniform norm \(\Vert \cdot \Vert \).
Definition 2.1
Let \(K_{n}(v)\) be an even trigonometric polynomial of degree \(d_{n}\in {\mathbb {N}}\), with \(K_{n}(v)\ge 0\), for all \(v\in [0, 2\pi ]\) and \(n\in {\mathbb {N}}\).
For \(i=\sqrt{-1}\), \(f\in H_{p}(\overline{{\mathbb {D}}})\) and \(n\in {\mathbb {N}}\), let us define the convolution operator
where
By the formula in (1), it is immediate that \(L_{n}(f)(z)\) can be written in the form
Let us set
The first main result is the following.
Theorem 2.2
For \(f\in H_{p}(\overline{{\mathbb {D}}})\), and each \(n\in {\mathbb {N}}\), \(L_{n}(f)(z)\) is a p-analytic polynomial of degree \(d_{n}+p-1\). In addition, if there exists a constant \(M>0\) (independent of n) and \(\alpha _{n}\rightarrow +\infty \), such that
for all \(n\in {\mathbb {N}}\), then
That is, since \(\lim _{n\rightarrow \infty }\alpha _{n}=+\infty \), it follows that \(L_{n}(f)\rightarrow f\) uniformly on \(\overline{{\mathbb {D}}}\).
Proof
Taking \(z=r e^{i x}\in \overline{{\mathbb {D}}}\), \(0\le r\le 1\), we can write
so that \(L_{n}(f)(z)\) is a convolution type operator.
Since \(K_{n}(v)\) is a trigonometric polynomial of degree \(d_{n}\), we have the representation
Since \(f\in H_{p}(\overline{{\mathbb {D}}})\), we have
where for each \(j=0, \ldots , p-1\), we can write
with \(c_{l}^{(j)}\in {\mathbb {C}}\).
Inspired by formula (4), we compute
Now, by integrating as in formula (4) and taking into account that
it easily follows that for each fixed \(j\in \{0, \ldots , p-1\}\), \(\int _{0}^{2 \pi }S_1 dv\) reduces to a finite sum of powers of \(z^{l}\) (for those \(l, q\ge 0\) with \(l+q=j\)) and \(\int _{0}^{2 \pi }S_2 dv\) reduces to a finite sum of powers of \(z^{l}\) (for those \(l, q\ge 0\) with \(l-q=j\)). Moreover, it is clear that the maximum for l is obtained in the sum \(S_{2}\) and it is given from the formula \(l-q=j\), i.e. \(l=q+j\), therefore is attained for for \(j=p-1\).
In other words, this means that \(L_{n}(f)(z)\) is a p-analytic polynomial of degree \(d_{n}+p-1\) and this proves the first part of the theorem.
To prove the second part of the theorem, we use formula (2) and we have
and the proof is complete. \(\square \)
Remark 2.3
By taking in Theorem 2.2 as \(K_{n}(v)\) other approximate units, we will get various other approximation results. For example, if we choose as \(K_{n}(v)\) the so-called Jackson’s kernel, then we deduce the following result on the p-analytic polynomials \(L_n(f)\) given by (2):
Corollary 2.4
If
where \(n^{\prime }=[n/2]+1\), \(n\in {\mathbb {N}}\) and therefore
(see [22]), then, \(L_{n}(f)(z)\), \(n\in {\mathbb {N}}\) are p-analytic polynomials of degree \(n+p-1\), which satisfy the quantitative estimate
Proof
In this case, since by relation (5) in Lorentz [38, p. 57], the case \(r=2\), we have
it follows that we can choose \(\alpha _{n}=n\), for all \(n\in {\mathbb {N}}\), which by the estimate (5) leads to
But by [38, pp. 55–56] \(K_{n}(v)\) is a trigonometric polynomial of degree n, which by Theorem 2.2 implies that the degree of \(L_{n}(f)(z)\) is \(n+p-1\), proving the corollary. \(\square \)
Remark 2.5
The step 1/n inside the modulus of continuity in Corollary 2.4 can be put in accordance with the degree \(n+p-1\) of the p-analytic polynomials \(L_{n}(f)(z)\), since there exists \(C_{p}>0\) (depending only on p) such that \(\omega _{1}\left( f; 1/n\right) _{\overline{{\mathbb {D}}}}\le C_{p}\omega _{1}\left( f; 1/(n+p-1)\right) _{\overline{{\mathbb {D}}}}\), for all \(n\in {\mathbb {N}}\) and all \(f\in H_{p}(\overline{{\mathbb {D}}})\). Indeed, it is good enough to choose \(C_{p} > p\), which will imply that
Let us define higher moduli of smoothness of \(f\in H_{p}(\overline{{\mathbb {D}}})\) by
where \(q\in {\mathbb {N}}\), \(q\ge 2\) and
The error estimate in the approximation of f by \(L_{n}(f)(z)\) as in Corollary 2.4 can be expressed in terms of \(\omega _{2}(f;\delta )_{\partial {\mathbb {D}}}\), as follows.
Theorem 2.6
For \(f\in H_{p}(\overline{{\mathbb {D}}})\), the p-analytic polynomials \(L_{n}(f)(z)\) defined as in Corollary 2.4, give the estimate
where \(C>0\) is an absolute constant.
Proof
Indeed, we can write
Writing \(z=r e^{i x}\), we now easily get
where for the last inequality we have applied the relations in Lorentz [38, p. 56].
Here we also have applied the property \(\omega _{2}(f ; \lambda \cdot \delta )_{\partial {\mathbb {D}}}\le (1 +\lambda )^{2}\cdot \omega _{2}(f; \delta )_{\partial {\mathbb {D}}}\). Also, notice that for \(\omega _{2}\) we used here a definition equivalent to (6) (in fact it is obtained from (6) by the simple substitution \(x+h:=y\))
The theorem is proved. \(\square \)
More generally, let us attach to \(f\in H_{p}(\overline{{\mathbb {D}}})\) the Jackson-type convolution operator given by the formula
where r is the smallest integer for which \(r\ge (q+3)/2\), \(q\in {\mathbb {N}}\) and
with \(\lambda _{n^{\prime }, r}\) determined by \(\int _{-\pi }^{\pi }K_{n, r}(v) d v=1\).
According to [38, p. 57] \(K_{n, r}\) is a trigonometric polynomial of degree n.
Since \(f\in H_{p}(\overline{{\mathbb {D}}})\), by using formula (1), we immediately obtain
Reasoning as in the proof of Theorem 2.2, we have that each \(I_{n, q}(f)(z)\) is a p-analytic polynomial.
Theorem 2.7
If \(f\in H_{p}(\overline{{\mathbb {D}}})\), then the p-analytic polynomials \(I_{n, q}(f)(z)\) are of degree \(n+p-1\) and give the error estimate
Proof
As in [38, pp. 57–58] by taking into account the formula (7) and denoting \(z=r e^{i x}\), we get
The theorem is proved. \(\square \)
Remark 2.8
Reasoning as in Remark 2.5, the estimate in Theorem 2.7 can be replaced by one of the form
Remark 2.9
For fixed order p and degree m, let us denote by \({\mathcal {P}}_{p, m}\) the class of all p-analytic polynomials of degree \(\le m\) and for \(f\in H_{p}(\overline{{\mathbb {D}}})\) let us denote by
the best approximation of f by p-analytic polynomials of degree \(\le m\), where \(\Vert \cdot \Vert _{\overline{{\mathbb {D}}}}\) denotes the uniform norm. Concerning this quantity \(E_{p, m}(f)\), there exist two interesting open problems: one is to find the degree of \(E_{p, m}(f)\) for p-analytic functions in various subclasses of \(H_{p}(\overline{{\mathbb {D}}})\), and the second one is, for given f, p and m, to prove the existence of \(P^{*}_{p, m}\in {\mathcal {P}}_{p, m}\) with \(E_{p, m}(f)=\Vert f-P^{*}_{p, m}\Vert _{\overline{{\mathbb {D}}}}\) and even to construct polynomials \(Q_{m, p}\in {\mathcal {P}}_{p, m}\), \(m\in {\mathbb {N}}\), for which \(\Vert f-Q_{p, m}\Vert _{\overline{{\mathbb {D}}}}\le C E_{p, m}(f)\), \(m\in {\mathbb {N}}\), with \(C>1\) a constant independent of m (and possibly also independent of f).
In the first case, it is known for example that for Gevrey polyanalytic classes of functions f of order p, the degree of \(E_{p, m}(f)\) was obtained in [51].
3 Polyanalytic Gauss–Weierstrass Complex Operators
In this section we deal with the approximation properties of the convolution based on the classical Gauss–Weierstrass kernel given by \(K_t(u) = e^{-u^2/(2t)}\), \(u\in {\mathbb {R}}\), \(t>0\), by introducing the polyanalytic Gauss–Weierstrass complex operator and showing that the family of these operators has all the properties of a semigroup on the space of polyanalytic functions of a given order. More exactly, if \(f\in H_{p}(\overline{{\mathbb {D}}})\), then the p-analytic Gauss–Weierstrass complex operator is defined by
We have:
Theorem 3.1
Let \(f\in H_{p}(\overline{{\mathbb {D}}})\) be given by (1) with all \(f_{j}\) analytic in \({\mathbb {D}}\) given by \(f_{j}(z)=\sum _{l=0}^{\infty }c_{l}^{(j)}z^{l}\), \(j=0, \ldots , p-1\). Then
-
(i)
\(W_{t}\in H_{p}(\overline{{\mathbb {D}}})\) and we have
$$\begin{aligned} W_{t}(f)(z)=\sum _{j=0}^{p-1}{\overline{z}}^{j}\cdot \sum _{l=0}^{\infty }z^{l}d_{l, j}(t), \end{aligned}$$where
$$\begin{aligned} d_{l, j}(t)=c_{l}^{(j)}\cdot \frac{1}{\sqrt{2 \pi t}}\cdot \int _{-\infty }^{+\infty }\cos [u(l-j)]e^{-u^{2}/(2 t)} du=c_{l}^{(j)}e^{-(l-j)^{2}t/2}. \end{aligned}$$ -
(ii)
The following estimate holds:
$$\begin{aligned} |W_{t}(f)(z)-f(z)|\le C\omega _{1}(f;\sqrt{t}),\quad \text { for all }z\in \overline{{\mathbb {D}}},\ t>0, \end{aligned}$$where \(C>0\) is a constant independent of t, z and f.
-
(iii)
The following estimate holds:
$$\begin{aligned} |W_{t}(f)(z)-W_{s}(f)(z)|\le C_{s}|\sqrt{t}-\sqrt{s}|,\qquad \text {for all }z\in \overline{{\mathbb {D}}},\text { }t\in V_{s}\subset (0,+\infty ), \end{aligned}$$where \(C_{s}>0\) is a constant depending on f, independent of z and t and \(V_{s}\) is any neighborhood of s.
-
(iv)
The operator \(W_{t}\) is a contraction, that is,
$$\begin{aligned} \Vert W_{t}(f)\Vert \le \Vert f\Vert ,\ \qquad {\textit{for all}} \ t>0,\ f\in H_{p}(\overline{{\mathbb {D}}}). \end{aligned}$$ -
(v)
\((W_{t},t\ge 0)\) is a (\(C_{0}\))-contraction semigroup of linear operators on the space \(H_{p}(\overline{{\mathbb {D}}})\) and the unique solution \(v(t,z)\in H_{p}(\overline{{\mathbb {D}}})\), for each fixed t, of the Cauchy problem
$$\begin{aligned} \frac{\partial v}{\partial t}(t,z)=\frac{1}{2}\frac{{\partial }^{2}v}{ \partial {\varphi }^{2}}(t,z),\text { }(t,z)\in \left( 0,+\infty \right) \times {\mathbb {D}} ,\qquad z=re^{i\varphi },\, z\not =0,\qquad \end{aligned}$$(9)$$\begin{aligned} v(0,z)=f(z),\qquad z\in \overline{{\mathbb {D}}},\, f\in H_{p}(\overline{{\mathbb {D}}}), \end{aligned}$$(10)is given by the formula
$$\begin{aligned} v(t,z)=W_{t}(f)(z)=\frac{1}{\sqrt{2\pi t}}\int _{-\infty }^{+\infty }f(ze^{-iu})e^{-u^{2}/(2t)}\,du. \end{aligned}$$(11)
Proof
(i) We obtain
where
where for the last equality we used, for example, the formula in Theorem 2.2.1 (i) in the book [25, p. 27] (see also [26, Thm. 2.1 (i)]).
It is easy to see that \(|d_{l, j}(t)|\le |c_{l}^{(j)}|\), for all \(j=0, \ldots , p-1\) and \(l\in {\mathbb {N}}\cup \{0\}\), which implies that \(W_{t}(f)(z)\), \(z\in {\mathbb {D}}\), is of the form (1).
It remains to prove that \(W_{t}(f)(z)\) is continuous on all of \(\overline{{\mathbb {D}}}\). In this sense, let \(z_{0}\in \overline{{\mathbb {D}}}\) and consider a sequence \(z_{n}\in \overline{{\mathbb {D}}}\), \(n\in {\mathbb {N}}\), with \(z_{n}\rightarrow z_{0}\) as \(n\rightarrow \infty \).
We get
Therefore, passing to the limit with \(n\rightarrow \infty \), since f is continuous on \(\overline{{\mathbb {D}}}\) it follows from the continuity of \(W_{t}(f)(z)\) for \(z\in \overline{{\mathbb {D}}}\).
(ii) We obtain
Since
we infer
(iii) We have
Let us set \(\sqrt{t}=a,\sqrt{s}=b\). By the mean value theorem, there is a value \(c\in \left( a,b\right) \), such that
which combined with the fact that
immediately implies the desired inequality for \(W_{t}\).
(iv) Since
we deduce
which yields \(\Vert W_{t}(f)\Vert \le \Vert f\Vert \).
(v) Let \(f\in H_{p}(\overline{{\mathbb {D}}})\), that is,
If \(z\in {\mathbb {D}}\), \(z=re^{i\varphi }\), \(0<r<1\), then by (i), we can write
It is easy to see that \(W_{t+s}(f)(z)=W_{s}[W_{t}(f)](z)\), for all t, \(s>0\). If z is on the boundary of \({\mathbb {D}}\), then we may take a sequence \((z_{n})_{n\in {\mathbb {N}}}\) of points in \({\mathbb {D}}\) with \(\lim _{n\rightarrow \infty }z_{n}=z\) and we apply the continuity property from the above point (i). Also, denoting \(W_{t}(f)(z)\) by T(t)(f), it is easy to see that the property \(\lim _{t\searrow 0}T(t)(f)=f\), the continuity of \(T\left( \cdot \right) \) and its contraction property follow from (ii), (iii) and (iv), respectively. Therefore, all these facts show that \((W_{t},t\ge 0)\) is a (\(C_{0}\))-contraction semigroup of linear operators on the space \(H_{p}(\overline{{\mathbb {D}}})\).
Furthermore, since from (i) the above series representation for \(W_{t}(f)(z)\) is uniformly convergent in any compact disk included in \({\mathbb {D}}\), it can be differentiated term by term, with respect to t and \(\varphi .\) Then, we easily get that
Also, from the same series representation, it is easy to see that
Finally, we note that, in (9) we have to take \(z\not =0\) because \(z=0\) cannot be represented as function of \(\varphi \). The theorem is proved. \(\square \)
4 Approximation by Slice Quaternionic Polyanalytic Polynomials
The analogue of polyanalytic functions in the slice quaternionic setting have been introduced in [7,8,9] and subsequent papers.
To explain our results we need to introduce the necessary definitions and notation. The skew field of quaternions is defined to be
where the imaginary units satisfy the relations
In \({\mathbb {H}}\) the conjugate and the norm of q are defined respectively by
and
The set
contains all the imaginary units, namely all the elements q such that \(q^2=-1.\) Any quaternion \(q\in {\mathbb {H}}\setminus {\mathbb {R}}\) can be written in a unique way as \(q=x+I y\) for some real numbers x and \(y>0\), and imaginary unit \(I\in {\mathbb {S}}\), in fact
For every \(I\in {{\mathbb {S}}}\), we set \(\mathbb C_I={\mathbb {R}}+{\mathbb {R}}I\) which is isomorphic to the complex plane \({\mathbb {C}}\). It is immediate that \(\mathbb H=\bigcup _{I\in {\mathbb {S}}}{\mathbb {C}}_I.\)
In this work, we are interested in the specific case of functions defined on the unit ball \({\mathbb {B}}=\{ q\in {\mathbb {H}}; \ |q|<1\}\) and in this case slice p-polyanalytic functions are of the form
where \(f_j(q)=\sum _{l=0}^{+\infty } q^l c_{l}^{(j)}\), \(c_{l}^{(j)}\in {\mathbb {H}}\), \(j=0,\ldots , p-1\), \(l=0, 1, \ldots , \) where the series is convergent in \({\mathbb {B}}\), i.e., \(f_j(q)\) is a slice regular function. 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 p-polyanalytic polynomial whose degree \(\deg (f)\) is defined as the maximum degree of the \(f_j\)’s. We refer the reader to [16, 32] for more information on this class of functions and to [30] for a summary of the approximation results in this framework.
To introduce the corresponding convolution operators of a quaternion variable, we need a suitable exponential function of a quaternion variable. For any \(I\in {\mathbb {S}}\), we choose the following well-known definition for the exponential: \(e^{I t}=\cos (t)+ I \sin (t),\, \, t\in {\mathbb {R}}\), see [33]. The Euler’s formula holds:
and therefore we can write \([e^{I t}]^{k}=e^{ I k t}\).
For any \(q\in {\mathbb {H}}\setminus {\mathbb {R}}\), let \(r:=\Vert q\Vert \); then, see [33], there exists a unique \(a\in (0, \pi )\) such that \(\cos (a):=x_{1}/r\) and a unique \(I_{q}\in {\mathbb {S}}\), such that
Now, if \(q\in {\mathbb {R}}\), then we choose \(a=0\), if \(q>0\) and \(a=\pi \) if \(q<0\), and as \(I_{q}\) we choose an arbitrary fixed \(I\in {\mathbb {S}}\). So that if \(q\in {\mathbb {R}}\setminus \{0\}\), then again we can write \(q=\Vert q\Vert (\cos (a)+I\sin (a))\) (but with a non unique I). The above is called the trigonometric form of the quaternion number \(q\not =0\). For \(q=0\) we do not have a trigonometric form for q (exactly as in the complex case). Analogously to the case of a complex variable, we can introduce the following convolution operator of a quaternionic variable.
For \(p\in {\mathbb {N}}\) and \({\mathbb {B}}\) the open unit ball in \({\mathbb {H}}\), let us denote by \(SP_{p}(\overline{{\mathbb {B}}})\) the space of all slice p-polyanalytic functions in \({\mathbb {B}}\) which are continuous in \(\overline{{\mathbb {B}}}\), endowed with the uniform norm \(\Vert \cdot \Vert \).
Also, let \(K_{n, r}(v)\) be an even, classical, positive-valued, trigonometric polynomial of degree \(d_{n, r}\in {\mathbb {N}}\), with \(K_{n, r}(v)\ge 0\), for all \(v\in [0, 2\pi ]\) and \(n, r\in {\mathbb {N}}\).
For \(f\in SP_{p}(\overline{{\mathbb {B}}})\), \(q\in {\mathbb {H}}\setminus {\mathbb {R}}\) and \(n\in {\mathbb {N}}\), let us define the convolution operator
where
In this section, we will use the trigonometric kernels
According to Lorentz [38, p. 55] they are even and positive trigonometric polynomials of degree \(r(n-1)\), which can be written in the form
with \(A_{r, s}\in {\mathbb {R}}\), for all \(r\in {\mathbb {N}}\), \(r\ge 2\) and \(s=1, \ldots , r(n-1)\).
Firstly, we prove the following:
Lemma 4.1
The functions \(L_{n, r}(f)(q)\) are slice p-polyanalytic polynomials.
Proof
Since q, \({\overline{q}}\), \(e^{I_{q} v}\) and \(e^{-I_{q} v}\) are on the slice \({\mathbb {C}}_{I_q}\) determined by \(I_{q}\), they commute. Therefore it is immediate that \(L_{n, r}(f)(q)\) can be written in the form
From formula (15), we need to calculate
Again from the fact that \(I_{q}\), \(e^{-I_{q} j v}\), \(q^{l}\) and \(e^{I_{q}l v}\) commute, we get
Now, by integrating the sum \(S_1\) with respect to v from 0 to \(2 \pi \), it easily follows that the only terms which are different from zero are the terms for which \(l=j-1\), with the maximum value \(l=p-1 + n r -r\), while integrating \(S_2\) we get that all its terms are equal to zero.
Consequently, formula (15) shows that \(L_{n, r}(f)(q)\) is a slice \((p-1)\)-polyanalytic polynomial of degree \(p-1 + nr-1\). \(\square \)
Denoting
we are now in position to prove the first main result of this section.
Theorem 4.2
For \(f\in SP_{p}(\overline{{\mathbb {B}}})\), \(q\in {\mathbb {H}}\setminus {\mathbb {R}}\) and \(n\in {\mathbb {N}}\), let us define the convolution operator
where
with \(n^{\prime }=[n/2]+1\), \(n\in {\mathbb {N}}\) and
Then \(L_{n, 2}(f)(q)\), \(n\in {\mathbb {N}}\) are slice p-polyanalytic polynomials of degree \(n+p-1\), which satisfy the quantitative estimate
where \(M>0\) is a constant independent of q, f and n.
Proof
Taking \(q=r e^{I_{q} x}\in \overline{{\mathbb {B}}}\), we can write
It follows that
and using calculations similar to those in the proof of the second part of Theorem 2.2 (by replacing \(\alpha _n\), i, z by n, \(I_q\), q respectively) we obtain the required estimate. \(\square \)
Remark 4.3
Reasoning as in Remark 2.5, the step 1/n inside the modulus of continuity in Theorem 4.2 can be put in accordance with the degree \(n+p-1\) of the slice p-polyanalytic polynomials \(L_{n, 2}(f)(q)\), since there exists \(C_{p}>0\) (depending only on p) such that \(\omega _{1}\left( f; 1/n\right) _{\overline{{\mathbb {B}}}}\le C_{p}\omega _{1}\left( f; 1/(n+p-1)\right) _{\overline{{\mathbb {B}}}}\), for all \(n\in {\mathbb {N}}\) and all \(f\in SP_{p}(\overline{{\mathbb {B}}})\). Indeed, it is good enough to choose \(C_{p} > p\), which will imply that
Now, if we define higher moduli of smoothness of \(f\in SP_{p}(\overline{{\mathbb {B}}})\) by
where \(m\in {\mathbb {N}}\), \(m\ge 2\) and
then the error estimate in the approximation of f by \(L_{n, 2}(f)(q)\) as in Theorem 4.2, can be expressed in terms of \(\omega _{2}(f;\delta )_{\partial {\mathbb {B}}}\), as follows.
Theorem 4.4
For \(f\in SP_{p}(\overline{{\mathbb {B}}})\), the slice p-polyanalytic polynomials \(L_{n, 2}(f)(q)\) defined in (16) give the estimate
where \(C>0\) is an absolute constant.
Proof
Indeed, we can write
Then, writing \(q=r e^{I_{q} x}\), and reasoning as in the proof of Theorem 2.6 (where i, z must be replaced by \(I_q\), q respectively) we now easily get the assertion. \(\square \)
More generally, for \(f\in SP_{p}(\overline{{\mathbb {B}}})\), let us attach the generalized Jackson-type convolution operator given by the formula
where r is the smallest integer for which \(r\ge (m+3)/2\), \(m\in {\mathbb {N}}\), and
with \(\lambda _{n^{\prime }, r}\) determined by \(\int _{-\pi }^{\pi }K_{n, r}(v) d v=1\). According to [38, p. 57] \(K_{n, r}\) is an even trigonometric polynomial of degree n.
We now set \(K_{n, r}(v)=\sum _{s=0}^{n}A_{r, s}\cos ( s\cdot v)\) and we consider \(f\in SP_{p}(\overline{{\mathbb {B}}})\). Using reasonings and calculations similar to those ones in the proof of Lemma 4.1, by formula (12) we immediately obtain
Again reasoning as in the proof of Lemma 4.1, we get that each \(I_{n, m}(f)(z)\) is a slice p-polyanalytic polynomial of degree \(n+(p-1)(m+1)\).
Theorem 4.5
If \(f\in SP_{p}(\overline{{\mathbb {B}}})\), then the slice p-polyanalytic polynomials \(I_{n, m}(f)(q)\) are of degree \(n+(p-1)(m+1)\) and give the error estimate
where \(M>0\) is independent of f, q and n.
Proof
As in [38, pp. 57–58] by taking into account the formula (19) and denoting \(q=r e^{I_{q} x}\), we get
and the theorem is proved. \(\square \)
Remark 4.6
Reasoning as in Remark 4.3, the estimate in Theorem 4.5, can be replaced by
5 Polyanalytic Gauss–Weierstrass Quaternionic Operators
Keeping the notation in Sect. 3, for \(SP_{p}(\overline{{\mathbb {B}}})\) let us introduce now the polyanalytic Gauss–Weierstrass quaternionic operators given by the formula
where \(I\in {\mathbb {S}}\) is fixed (but arbitrary).
The results in Sect. 3 can be generalized to this case and we have:
Theorem 5.1
Let \(f\in SP_{p}(\overline{{\mathbb {B}}})\) be given by (12) with all \(f_{j}\) slice regular functions in \({\mathbb {B}}\) given by \(f_{j}(q)=\sum _{l=0}^{\infty }q^{l}c_{l}^{(j)}\), \(c_{l}^{(j)}\in {\mathbb {H}}\), \(j=0, \ldots , p-1\), \(l=0, 1, 2, \ldots \). Then
-
(i)
\(W_{t}\in SP_{p}(\overline{{\mathbb {B}}})\) and we have
$$\begin{aligned} W_{t}(f)(q)=\sum _{j=0}^{p-1}{\overline{q}}^{j}\cdot \sum _{l=0}^{\infty }q^{l}d_{l, j}(t), \end{aligned}$$where
$$\begin{aligned} d_{l, j}(t)=\left[ \frac{1}{\sqrt{2 \pi t}}\cdot \int _{-\infty }^{+\infty }\cos [u(l-j)]e^{-u^{2}/(2 t)} du\right] c_{l}^{(j)}=e^{-(l-j)^{2}t/2}\cdot c_{l}^{(j)}. \end{aligned}$$ -
(ii)
The following estimate holds:
$$\begin{aligned} |W_{t}(f)(q)-f(q)|\le C\omega _{1}(f;\sqrt{t})\qquad \text { for all }q\in \overline{{\mathbb {B}}},\ t>0, \end{aligned}$$where \(C>0\) is a constant independent of t, q and f.
-
(iii)
The following estimate holds:
$$\begin{aligned} |W_{t}(f)(q)-W_{s}(f)(q)|\le C_{s}|\sqrt{t}-\sqrt{s}|\qquad \text { for all }z\in \overline{{\mathbb {B}}},\text { }t\in V_{s}\subset (0,+\infty ), \end{aligned}$$where \(C_{s}>0\) is a constant depending on f, independent of q and t and \(V_{s}\) is any neighborhood of s.
-
(iv)
The operator \(W_{t}\) is a contraction, that is,
$$\begin{aligned} \Vert W_{t}(f)\Vert \le \Vert f\Vert \qquad {\textit{for all}} \ t>0,\ f\in SP_{p}(\overline{{\mathbb {B}}}). \end{aligned}$$ -
(v)
\((W_{t},t\ge 0)\) is a (\(C_{0}\))-contraction semigroup of linear operators on the space \(SP_{p}(\overline{{\mathbb {B}}})\) and the unique solution \(u(t,q)\in SP_{p}(\overline{{\mathbb {B}}})\), for each fixed t, of the Cauchy problem
$$\begin{aligned} \frac{\partial v}{\partial t}(t,q)= & {} \frac{1}{2}\frac{{\partial }^{2}v}{ \partial {\varphi }^{2}}(t,q),\qquad \text { }(t,q)\in \left( 0,+\infty \right) \times {\mathbb {B}} ,\text { }q=re^{I_{q}\varphi },\text { }q\not =0, \end{aligned}$$(21)$$\begin{aligned} v(0,q)= & {} f(q),\text { }q\in \overline{{\mathbb {B}}},\qquad f\in SP_{p}(\overline{{\mathbb {B}}}), \end{aligned}$$(22)is given by the formula
$$\begin{aligned} v(t,q)=W_{t}(f)(q). \end{aligned}$$(23)
Proof
(i) Since \({\overline{q}}^{j}\), \(q^{l}\), \(e^{I_{q}l u}\), \(e^{-I_{q} j u}\) are on the same slice, they commute and therefore we obtain
where
where for the last equality we used, for example, the formula in Theorem 2.2.1, (i) in the book [25, p. 27] (see also [26, Thm. 2.1 (i)]).
It is immediate that \(|d_{l, j}(t)|\le |c_{l}^{(j)}|\), for all \(j=0, \ldots , p-1\) and \(l\in {\mathbb {N}}\cup \{0\}\), which implies that \(W_{t}(f)(q)\), \(q\in {\mathbb {B}}\), is of the form (1).
The continuity of \(W_{t}(f)(q)\) on \(\overline{{\mathbb {B}}}\) is obtained exactly as that in the complex case in the proof Theorem 3.1,(i).
Since the proofs of (ii), (iii), (iv) follow exactly the lines in the proof of Theorem 3.1, (ii), (iii), (iv) and (v), we omit them here.
Also, for the proof of (v) it is enough to observe that denoting \(q=r e^{I_{q} \varphi }\), \(0<r<1\), by using the point (i) we can write
and from this point we follow exactly the lines in the proof of Theorem 3.1, (v). The theorem is proved. \(\square \)
Remark 5.2
For \(p=1\) the results in Sects. 4, 5 give the corresponding results in the quaternionic slice regular case, see [30].
References
Abreu, L.D.: Sampling and interpolation in Bargmann-Fock spaces of polyanalytic functions. Appl. Comp. Harmon. Anal. 29(3), 287–302 (2010)
Abreu, L.D.: Super-wavelets versus poly-Bergman spaces. Integr. Equ. Oper. Theory 73(2), 177–193 (2012)
Abreu, L.D.: Superframes and polyanalytic wavelets. J. Fourier Anal. Appl. 23(1), 1–20 (2017)
Abreu, L.D., Feichtinger, H.G.: Function spaces of polyanalytic functions. In: Harmonic and Complex Analysis and Its Applications. Trends Math., Birkhäuser/Springer, pp. 1–38 (2014)
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)
Alpay, D., Colombo, F., Diki, K., Sabadini, I.: On a polyanalytic approach to noncommutative de Branges–Rovnyak spaces and Schur analysis. Integr. Equ. Oper. Theory 93(4), Article 38 (2021)
Alpay, D., Diki, K., Sabadini, I.: On slice polyanalytic functions of a quaternionic variable. Results Math. 74(1), Article 17 (2019)
Alpay, D., Diki, K., Sabadini, I.: Correction to: On slice polyanalytic functions of a quaternionic variable. Results Math. 76(2), Article 84 (2021)
Alpay, D., Diki, K., Sabadini, I.: On the global operator and Fueter mapping theorem for slice polyanalytic functions. Anal. Appl. (2021) (to appear)
Balk, M.B.: Polyanalytic Functions. Akad. Verlag, Berlin (1991)
Baranov, A.D., Carmona, J.J., Fedorovskiy, KYu.: Density of certain polynomial modules. J. Approx. Theory 206, 1–16 (2016)
Burgatti, P.: Sulle funzioni analitiche di ordine \(n\). Boll. Un. Mat. Ital. 1, 8–12 (1922)
Carmona, J.J., Fedorovskiy, K.Yu.: New conditions for uniform approximation by polyanalytic polynomials. 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 Dirichlet problem for bianalytic functions. Sb. Math. 19(9–10), 1469–1492
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)
Diki, K., Gal, S.G., Sabadini, I.: Polynomial approximation in slice regular Fock spaces. Complex Anal. Oper. Theory 13(6), 2729–2746 (2019)
Fedorovskiy, K.Yu.: Uniform and Cm-approximation by polyanalytic polynomials. In: Complex Analysis and Potential Theory. CRM Proc. Lecture Notes, vol. 55. Amer. Math. Soc., Providence, pp.323–329 (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., Birkhäuser, Basel, pp. 131–142 (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, New Jersey (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, C.G., Gal, S.G., Goldstein, J.A.: Evolution Equations with a Complex Spatial Variable. World Scientific, New Jersey (2014)
Gal, C.G., Gal, S.G., Goldstein, J.A.: Evolution equations with real time variable and complex spatial variables. Complex Var. Ellipt. Equ. 53(8), 753–774 (2008)
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 64 (2020)
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)
Kolossov, G.V.: Sur les problems d’elasticité à deux dimensions. C.R. Acad. Sci. 146(10), 522–525 (1908); 148(19), 1242–1244 (1909)
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)
Kolossov, G.V.: Über einige Eigenschaften des ebenen Problems der Elastizitätstheorie. Math. Phys. 62, 384–409 (1914)
Lorentz, G.G.: Approximation of Functions, 2nd edn. Chelsee Publ. Co., 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}}\). Sb. 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. Nauka, Moscow (1968).. ((in Russian))
Pascali, D.: A new representation of the areolar polynomials in the plane. Stud. Cerc. Mat. 15 (2), 249–252 (1964) (in Romanian)
Pascali, D.: Representation of quaternionic areolar polynomials in tridimensional space. Stud. Cerc. Mat. 18(2), 239–242 (1966) (in Romanian)
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)
Vekua, I.N.: Generalized Analytic Function. Pergamon Press, Oxford (1962)
Verdera, J.: On the uniform approximation problem for the square of the Cauchy-Riemann operator. Pac. J. Math. 159(2), 379–396 (1993)
Zoubeir, H., Kabbaj, S.: On the representation and the uniform polynomial approximation of polyanalytic functions of Gevey type on the unit disk. arXiv:2002.03777v1 (2020)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Vladimir V. Andrievskii.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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. Approximation by Convolution Polyanalytic Operators in the Complex and Quaternionic Compact Unit Balls. Comput. Methods Funct. Theory 23, 101–123 (2023). https://doi.org/10.1007/s40315-022-00438-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40315-022-00438-4
Keywords
- Complex polyanalytic functions
- Complex polyanalytic polynomials
- Slice quaternionic polyanalytic functions
- Slice quaternionic polyanalytic polynomials
- Convolution with trigonometric kernels
- Quantitative estimates
- Moduli of smoothness
- Polyanalytic Gauss–Weierstrass operators
- Contraction semigroup of operators