Abstract
In this note, we spotlight a generalization of Weierstrass integral operators introduced by Eugeniusz Wachnicki. The construction involves modified Bessel functions. The operators are correlated with diffusion equation. Our main result consists in obtaining the asymptotic expansion of derivatives of any order of Wachnicki’s operators. All coefficients are explicitly calculated, and distinct expressions are provided for analytical functions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The starting point of this note is the following generalized Gauss–Weierstrass transform:
where \(t>0\) is a parameter, \(x\in {\mathbb {R}}\), and \(f:{\mathbb {R}}\rightarrow {\mathbb {R}}\) is chosen such that the integral exists and is finite. Actually, (1) represents the convolution of f with the density of the normal distribution (also called Gaussian distribution) having the expectation null and the variance 2t. \(W(f;\cdot ,t)\) is a smoothed out version of f, and physically \(W(\cdot ;\cdot ,t)\equiv W_{t}\) is correlated with a heat or diffusion equation for t time units. It is additive
this being read as follows: diffusion for \(t_{1}\) time units and then \(t_{2}\) time units is equivalent to diffusion for \(t_{1}+t_{2}\) time units.
We sketch a formal proof of this relation:
Direct calculation confirms that
and we obtain
Examining relation (1) shows that \(W_{t}\) is translation invariant, meaning that the transform of \(f(x+a)\) is \(W(f;x+a,t)\), for \(a\in {\mathbb {R}}\).
We mention that the \(W_t\) transform can extend to \(t=0\) by setting \(W_0\) to be the convolution with the Dirac delta function. This case does not come to our attention.
The special case \(t=1\) can be interpreted this way. Taking in view the formula:
if we replace u with the formal differential operator \(D=\displaystyle \frac{d}{dx}\) and utilize the Lagrange shift operator
then we get
which allows us to get the following formal expression for this particular transform:
The operator \(e^{D^2}\) is to be understood as acting on the signal f as
For more documentation on \(W_t\) transform, see Zayed’s book [6, Chapter 18: The Weierstrass Transform].
In 2000, Eugeniusz Wachnicki [5] defined and studied an integral operator representing a generalization of \(W_{t}\) which involves modified Bessel functions. Our paper focuses on bringing to light new properties of Gauss–Weierstrass–Wachnicki integral operators. In the next section, we present these operators pointing out some already established properties based on which we will highlight their noteworthy features. The main results are set out in Sect. 3.
2 The Operators
In the beginning, we recall the modified Bessel function of the first kind and fractional order \(\alpha >-1\), see [2, Chapter 10]. Using the traditional notation \(I_{\alpha }\), it is described by the series
where \(\Gamma \) is the Gamma function. \(I_{\alpha }\) forms a class of particular solutions of the ordinary linear differential equation
In the motivation of our results, we will also use the low-order differentiation with respect to z described as follows:
see [2, Formula (9.6.28)].
Set \({\mathbb {R}}_+=[0,\infty )\). For a fixed constant \(K\ge 0\), we consider the space
The space can be endowed with the norm \(\Vert \cdot \Vert _K\) as such
We consider the operator \(W_{\alpha }\) defined on \(E_{K}\) by the following relation:
where \(\alpha \ge -1/2\), \((r,t)\in (0,\infty )\times (0,\infty )\) and \(I_{\alpha }\) is given at (2).
This operator was introduced in [5, Eq. (1)] with a minor modification of the domain \(E_K\) in which the author inserted \(f\in C({\mathbb {R}}_+)\), the space of all real-valued continuous functions defined on \({\mathbb {R}}_+\). Since \(W_\alpha f\), \(f\in E_K\), is well defined for any \(K>0\) , we can consider the domain of \(W_\alpha \) as
Wachnicki [5, Theorem 4] showed the convergence
uniformly on compact subintervals of \((0,\infty )\).
Also, in [5], the author specified that for \(\alpha =-1/2,\) the operator defined by (4) turns out to be the authentic Gauss–Weierstrass operators. Because this statement was not accompanied by a proof, we insert it as a detail in our paper. More precisely, we prove
see (1), where \({\widehat{f}}(s)=f((\mathrm {sgn}\,s)s)\), \(s\in {\mathbb {R}}\).
By using the hyperbolic cosine, the identity
takes place; see [2, page 443]. Further, for any \((r,t)\in (0,\infty )\times (0,\infty ),\) we can write successively
and statement (5) is completed.
\(W_{\alpha }f\) is intimately connected to a generalized heat equation having the expression; see [3, Eq. (1.3)],
where \(\mu =2(\alpha +1)\), \(\alpha >-1/2\), and the operator
is the Laplacian in radial coordinates when \(\mu =n\in {\mathbb {N}}\). As already mentioned, it is usual to refer to t as time. If \(f\in E_{K}\cap C({\mathbb {R}})\), then \(W_{\alpha }f\) with \(\alpha =n/2-1\) is a caloric function, which means it is a solution of equation (6) on a certain domain D,
For detailed proof, see [3, pages 254–255].
Recently, these operators have come back to the attention of some authors. For example, in [4], an extension of \(W_{\alpha }f\) was achieved for continuous functions defined on the domain \((0,\infty )\times {\mathbb {R}}\) and bounded by certain two-dimensional exponential functions. In [1], the authors obtained the asymptotic expansion of the operator \(W_{\alpha }(f;r,t)\) as \(t\rightarrow 0^{+}\), for functions \(f\in E\) being sufficiently smooth at a point \(r>0\). If f belonging to E is a real analytic function, then
where the coefficients are given by
( [1, Theorem 3]). In this paper, we study simultaneous approximation by the operators \(W_{\alpha }(f;r,t)\). The main result of this paper (Theorem 6) states that the expansion (7) can be differentiated term by term, i.e.,
To obtain an autonomous exposure, in this preliminary section, we recall some notions which will be used in establishing our results.
The factorial powers (falling and rising factorial, respectively) are marked as follows:
An empty product \((j=0)\) is taken to be 1.
For \(|z|<1\) and generic parameters a, b, and c, the Gauss hypergeometric function \(_{2}F_{1}\) is defined by
with this series being convergent; see [2, Chapter 15]. Outside the disk with unit radius, the function is defined as the analytic continuation with respect to z of this sum, with the parameters a, b, c, held fixed. For a particular case \(z=1\), the identity
\(c\ne 0,-1,-2,\ldots \), takes place.
3 Results
In the first stage, we establish some technical formulas gathered in a few lemmas. Set \({\mathbb {N}}_0=\{0\} \cup {\mathbb {N}}\).
The first result is an explicit representation of \(\left( \displaystyle \frac{\partial }{\partial r}\right) ^m W_\alpha (f;r,t)\) in terms of \(W_{\alpha +j}(f;r,t)\), \(j\in {\mathbb {N}}_0\). We mention the identity that we will state contains a finite sum.
Lemma 1
Let f belong to \(E_{K}\) and let \(W_{\alpha }f\) be defined by (4). For any \(m\in {\mathbb {N}}_{0}\),
holds, where \(\Delta \) denotes the forward difference of step one with respect to \(\alpha \).
Proof
If \(f\in E_K\), for \(t>0\), we have
Formula (3) yields the relation:
We will establish the proof of identity (12) by mathematical induction. Obviously, the assertion is valid for \(m=0\). Assuming that it is true for an arbitrary m, we show that it takes place for \(m+1\). Relations (11) and (12) imply
Considering the elementary identity
we obtain that (11) is valid for \(m+1\), and the induction is completed. \(\square \)
Recall that in the following, \(\Delta \) stands for the forward difference of the step \(h=1\) with respect to \(\alpha \).
Lemma 2
Let \(f\in E_{K}\) be a real analytic function and let \(W_{\alpha }f\) be defined by (4). For any \(m\in {\mathbb {N}}_{0}\),
where the quantities \(c_{n}(\alpha ,f,r)\) are described by (8). For \( m\le n\),
and for \(m<n\), \(\Delta ^{n}c_{n}(\alpha ,f,r)=0\).
Proof
Based on the m-th order forward difference with the step \(h=1\), we get
Consequently, taking into account (8), we can write
Since
for \(k\ne m\), we deduce that \(\Delta ^{m}c_{n}(\alpha ,f,r)\) is null for \(m>n\). Otherwise, if \(m\le n\), application of the Leibniz rule for differentiation yields
which leads us to (13), and the proof of our lemma is completed. \(\square \)
Our first main result can be read as follows.
Theorem 3
Let \(f\in E_{K}\) be a real analytic function and let \(W_{\alpha }f\) be defined by (4). For any \(m\in {\mathbb {N}}_{0},\) the relation
holds, where the coefficients are given by
Proof
Let \(m\in {\mathbb {N}}_0\) be fixed. Concatenating the conclusions of Lemmas 1 and 2, we can write
Further, with the help of the relation (13) applied for \(\Delta ^{m-j}c_{n+m-j}(\alpha ,f,r)\), for each \(n\in {\mathbb {N}}_{0},\) the coefficient of \(t^{n}\) can be found to be
see (15). Returning to (16), the statement (14) is proven. \(\square \)
Remark
Choosing in (15) \(m=0\), the sum is reduced to a single term \((j=0)\) and \(c_n^{[0]}(\alpha ,f,r)\) coincides with \(c_n(\alpha ,f,r)\) defined at (8).
Now, we show that
where \(c_{n}^{[m]}\left( \alpha ,f,r\right) \) and \(c_{n}\left( \alpha ,f,r\right) \) are as defined by (15) and (8).
To present our result (see Proposition 5), we first need to establish some identities that involve hypergeometric functions defined by (9) and (10).
Lemma 4
Let \(m\in {\mathbb {N}}_0\) and \(x>m-1\), \(x\not \in {\mathbb {Z}}\), be arbitrarily chosen.
(i) For any z, \(\left| z\right| <1/4\), the identity
holds, where \(_{2}F_{1}\) is given by (9).
(ii) For \(z=1/4\), the identity
holds.
Proof
(i) The sum of the left-hand side of (18) is finite and has terms only for integer values of j satisfying \(0\le j\le \lfloor m/2\rfloor \), where \(\lfloor \cdot \rfloor \) stands for the floor function. Using the obvious formulas
valid for any \(p \in {\mathbb {N}}_0\) and real or complex w, we can write the next set of identities:
From the above relations, we obtain
Considering (9), the relation (18) is proved.
(ii) Choosing \(z=1/4\) in (18) and using (10), this identity can thus be rewritten as
The Legendre duplication formula for the Gamma function
see, e.g., [7, Eq. 5.5.5], allows us to write
Returning to (20), identity (19) is obtained, and our lemma is completely motivated. \(\square \)
Since \(c_{n}\left( \alpha ,f,r\right) \) is a finite linear combination of derivatives of f, it is sufficient to prove Identity (17) for monomials \(e_{i}\), \(e_{i}(r)=r^{i}\) \((i\in {\mathbb {N}}_{0})\). We confirm this in the next proposition.
Proposition 5
For any \(m\in {\mathbb {N}}_{0}\) and \(n\in {\mathbb {N}}_{0}\), the identity
holds for all monomials \(e_{i}\) \(\left( i\in {\mathbb {N}}_{0}\right) \), where \(c_{n}^{[m]}(\alpha ,\cdot ,r)\) and \(c_{n}(\alpha ,\cdot ,r)\) are respectively defined by (15) and (8).
Proof
For \(m=0\), we have highlighted this identity; see Remark. Further, we consider \(m\in {\mathbb {N}}\).
On the other hand,
To match the expressions (22) and (23), it remains to be shown that
We have taken into account that
Now, we turn to Lemma 4. By choosing \(x:=i/2-n\) in the identity (19), we obtain exactly (24). Thus, relation (21) is proven. \(\square \)
Now, we can state our main result.
Theorem 6
Let \(f\in E_{K}\) be a real analytic function and let \(W_{\alpha }f\) be defined by (4). For any \(m\in {\mathbb {N}}_{0},\) the relation
holds, where the coefficients \(c_{n}(\alpha ,f,r)\) are given by (8).
Data availibility
Not applicable.
References
Abel, U., Agratini, O.: On Wachnicki’s generalization of the Gauss-Weierstrass integral, In: recent advances. In: Analysis, Mathematical (ed.) Anna Maria Candela. Mirella Cappelletti Montano, Elisabeta Mangino), Springer (2022)
Abramowitz, M., Stegun, I.A. (Eds.): Handbook of mathematical functions with formulas, graphs and mathematical tables, National Bureau of Standards Applied Mathematics Series 55, Issued June 1964, Tenth Printing, with corrections (December 1972)
Bragg, L.R.: The radial heat polynomials and related functions. Trans. Amer. Math. Soc. 119, 270–290 (1965)
Krech, G., Krech, I.: On some bivariate Gauss-Weierstrass operators. Constr. Math. Anal. 2(2), 57–63 (2019)
Wachnicki, E.: On a Gauss-Weierstrass generalized integral. Rocznik Naukowo-Dydaktyczny Akademii Pedagogicznej W Krakowie, Prace Matematyczne 17, 251–263 (2000)
Zayed, A.I.: Handbook of function and generalized function transformations, \(1^{st}\) Edition. CRC Press, London (1996)
Digital Library of Mathematical Functions, https://dlmf.nist.gov
Acknowledgements
The authors are grateful to the anoynmous referee for a thorough reading of the manuscript. The detailed advice led to a better exposition of the manuscript.
Funding
Open Access funding enabled and organized by Projekt DEAL. Not applicable.
Author information
Authors and Affiliations
Contributions
UA derived the results. OA checked the proofs and formulated the text. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
Not applicable.
Additional information
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
Abel, U., Agratini, O. Simultaneous Approximation by Gauss–Weierstrass–Wachnicki Operators. Mediterr. J. Math. 19, 267 (2022). https://doi.org/10.1007/s00009-022-02194-0
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-022-02194-0