Abstract
We derive integrals of combination of Gauss and Bessel functions, by the use of umbral techniques. We show that the method allows the possibility of pursuing new and apparently fruitful avenues in the theory of special functions, displaying interesting links with the theory and the formalism of integral transforms.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
Methods of algebraic and umbral nature possess, among the other advantages, the undoubtful merit of simplifying practical computational issues. In a numbers of previous papers [1,2,3,4,5,6,7] it has been established that the one of the possible umbral images of a Bessel function is a Gaussian. This statement can be profitably exploited in the present context, provided we establish some reference tools [6, 8].
Definition 1
The function
defines the Umbral “Vacuum” function or simply vacuum.
Definition 2
We introduce the operator \({\hat{c}}\) called “umbral”,
as the vacuum shift operator, with z the domain’s variable of the function on which the operator acts.
Theorem 1
The umbral operator \({\hat{c}}^\nu \), \(\forall \nu \in {\mathbb {R}}\), is represented by the action on the vacuum \(\varphi _{0}\) such thatFootnote 1
Proof
\(\forall \nu \in {\mathbb {R}}\), by using Definition 2, we get
\(\square \)
Through these premises, we define the correspondence quoted below.
Proposition 1
\(\forall x,\nu \in {\mathbb {R}}\), the umbral image of a 0-order Bessel function is a Gaussian function
Proof
\(\forall x,\nu \in {\mathbb {R}}\), let
the relevant series expansion proofs that \(u(x)=J_0(x)\), indeed
\(\square \)
It is accordingly evident that we can exploit all the wealth of properties of Gaussian function to deal with those of Bessel, this has already been discussed in previous papers [3] and won’t be repeated here.
In order to summarize the method we are going to exploit, we consider the following Example.
Example 1
We prove that the previous prescription allows to reduce the evaluation of the integral
to a straightforward Gaussian integration. We note indeed that
and, according to the well-known integral identity
we can conclude that
In deriving Eq. (11) we have treated the umbral operator as an ordinary algebraic quantity. It is now necessary to manipulate Eq. (11) to get a meaningful result, we should indeed provide a non-formal expression for the operator function on the r.h.s. of Eq. (11). To this aim we expand in series the exponential on the r.h.s. of (11) and by using the properties of the \({\hat{c}}\)-operator we find
The series on this last equation can easily be recognized as a Bessel function and therefore we end up with
where \(I_\nu (x)\) is a modified Bessel of first kind [9].
This result, not straightforwardly achievable by standard means, is a naïve consequence of the previously outlined procedure.
The example we have presented is sufficient to clarify the essential features of the methods we are going to use in the following parts of the paper. We will see below that, by stretching the formalism, we can provide further and more interesting results.
Integrals and Non Gaussian Umbral Images
Before entering the specific aspects of this section, we like to stress that the methods we are reporting here are useful and flexible but not unique. We will check the relevant usefulness by deriving well established forms obtained in the past [10, 11]
Example 2
We consider the further example
which, according to the previous formalism, can be written as
and, therefore, we end up withFootnote 2
Therefore, after noting that [6]
we find
We will comment on the properties of the auxiliary function \(c_{\mu ,\alpha }^{(\nu )}(x)\) [6] in the concluding section.
The use of a Gaussian function as umbral image is useful but not unique. The umbral method has allowed to reduce a higher transcendental function, like a Bessel function, to an ordinary trascendental, like a Gaussian. By following the same “down-grading” criterion we can use rational functions as umbral image of exponentials. We note indeed that a Lorentzian function is the umbral image of the Gaussian function according to the identities
We will exploit the above umbral restyling by deriving an integral involving Gaussian and Lorentzian functions.
Example 3
Let
the use of the outlined formalism, eventually yieldsFootnote 3
The use of the same formalism yields \(\forall b>0\)
We can now apply the method to more complicated functions.
Example 4
We consider indeed the case
which, according to our formalism, can be transformed into a \(G-L\) integral and eventually into a L-integral. Accordingly we get
where the series on the r.h.s. is a Humbert type Bessel function, to be commented in the concluding section. Furthermore, if we introduce a new umbral operator \({}_2{\hat{c}}\) such that
we end up with
The technicalities, we have displayed in this section, yield an idea of the usefulness of the methods we have foreseen. Further comments and examples, corroborating the previous results, will be presented in the concluding section.
Final Comments
The results of the previous sections, albeit supported by the check of the relevant correctness, including comparison with known cases and numerical analysis, are hampered by the absence of mathematical rigor. In Ref. [6] a great deal of attention has been devoted to a more appropriate formulation. In the following we will extend the method by including the recourse to families of Special Polynomials.
Example 5
We can provide further elements of discussion by setting
We now remind that the two variable Cebyshev polynomials of second kind [9],
are specified by the generating function
According to Eq. (27) we can conclude that
and therefore, by noting that
we find
Observation 1
It is also useful to note that
We have shown that the method we have proposed allows a great deal of flexibility, in the sense that, hardly achievable results with ordinary means, are easily derived within the present computational framework. This is perhaps an indication that the study of these methods should be pursued.
Remark 1
Before concluding the paper we go back to the auxiliary functions we have defined as, e.g., \(c_{0,-\frac{1}{2}}(x)\) in Eq. (17). To better clarify the relevant properties we remind that
is the Tricomi-Bessel function of zero order [12]. The relevant properties can be easily drawn from Eq. (17) itself. By keeping the derivative with respect to x, we find
which suggests the introduction of the function \(C_{\mu ,\nu }(x)\) defined as
In other words Eq. (36) states that \(C_{\mu ,\nu }(x)\) can be viewed as Borel (\(B-\)) transform [13, 14] of the \(\mu \)-order Tricomi function \(C_{\mu }(x)\) [15]. Then, we can get
Analogous considerations apply to the functions \(J_{\mu ,\nu }^{(2)}(x)\) which can be viewed as the B-transform of the Bessel-Wright functions [16].
The B-transform has played an important role for the a rigorous formulation of the umbral methods exploited here. Further comments and in particular the link with the Humbert Bessel will be discussed elsewhere.
In this paper we have dealt with definite integrals between \(-\infty \) and \(\infty \), the umbral method can be exploited to derive definite or indefinite integrals as e.g.,
which eventually yields
The presented umbral procedure can be further handled and merged to other techniques of operational nature to obtain further generalizations. It is further worth noting that integration methods based on the umbral procedure does not apply to special function only but to special polynomials as well.
Within such a context the two variable Hermite polynomials
can be written as an ordinary Newton binomial [2, 6]
where \({}_y{\hat{h}}\) is an umbral operator acting on the vacuum \(\theta _0\) in the following way
The definite integral
can be then reduced, after a straightforward steps (for further comments see Ref. [11]), to
This result is a straightforward consequence of the (umbral) binomial nature of the Hermite polynomials but can also be obtained with standard means.
In a forthcoming investigation we will see how the merging between umbral methods and negative derivative integration procedures [11] may lead to further interesting developments.
Notes
See ref. [6] for a rigorous treatment of the umbral technique.
We use the Laplace transform identity
$$\begin{aligned} A^{-\nu }=\dfrac{1}{\Gamma (\nu )}\int _0^\infty s^{\nu -1}e^{-sA}ds \end{aligned}$$We remind that
$$\begin{aligned} \int _{-\infty }^\infty \dfrac{1}{1+ax^2}dx=\dfrac{\pi }{\sqrt{a}}, \forall a\in {\mathbb {R}}^+. \end{aligned}$$
References
Dattoli, G., Levi, D., Winternitz, P.: Heisenberg algebra, umbral calculus and orthogonal polynomials. J. Math. Phys. 49, 053509 (2008)
Licciardi, S., Pidatella, R.M., Artioli, M., Dattoli, G.: Voigt transform and umbral image. Math. Comput. Appl. 25(3), 49 (2020)
Babusci, D., Dattoli, G., Gorska, K., Penson, K.A.: The spherical Bessel and struve functions and operational methods. Appl. Math. Comput. 238, 1–6 (2014)
Babusci, D., Dattoli, G., Gorska, K., Penson, K.A.: Symbolic methods for the evaluation of sum rules of Bessel functions. J. Math. Phys. 54, 073501 (2013)
Babusci, D., Dattoli, G., Licciardi, S., Sabia, E.: Mathematical Methods for Physicists. World Scientific, Singapore (2019)
Licciardi, S.: PhD Thesis: Umbral Calculus, a Different Mathematical Language, Dep. of Mathematics and Computer Sciences, XXIX cycle, University of Catania, (2018), arXiv:1803.03108 [math.CA]
Babusci, D., Dattoli, G.: On Ramanujan Master Theorem, arXiv:1103.3947 [math-ph]
Roman, S.: The Umbral Calculus. Dover Publications, New York (2005)
Andrews, L.C.: Special Functions For Engineers and Applied mathematicians. Mc Millan, New York (1985)
Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series and Products, Fifth Edition (Allan Jeffrey ed.), Academic Press, (1965)
Dattoli, G., Licciardi, S.: Operational, umbral methods, borel transform and negative derivative operator techniques. Int. Transf. Spec. Funct. 31(3), 192–220 (2020)
Tricomi, F.G.: Funzioni Speciali, Gheroni, (1959)
Dattoli, G., Di Palma, E., Sabia, E., Licciardi, S.: Products of bessel functions and associated polynomials. Appl. Math. Comput. 266(C), 507–514 (2015)
Dattoli, G., Di Palma, E., Sabia, E., Gorska, K., Horzela, A., Penson, K.A.: Operational versus umbral methods and the Borel transform. Int. J. Appl. Comput. Math. 3, 3489 (2017)
Humbert, P.: Some extensions of Pincherle’s polynomials. Proc. Edinburgh Math. Soc. 39, 21–24 (1921)
Weisstein, E.W.: Wright function, MathWorld-A Wolfram web resource. http://mathworld.wolfram.com/WrightFunction.html
Acknowledgements
The work of Dr. S. Licciardi was supported by an Enea Research Center individual fellowship.
Funding
Open access funding provided by Ente per le Nuove Tecnologie, l’Energia e l’Ambiente within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Contributions
Conceptualization: GD; methodology: GD, SL; data curation: SL; validation: GD, BG, SL, MRM; formal analysis: GD, BG, SL, MRM; writing—original draft preparation: GD, SL; writing—review and editing: SL.
Corresponding author
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
Dattoli, G., Germano, B., Licciardi, S. et al. Integrals of Special Functions and Umbral Methods. Int. J. Appl. Comput. Math 7, 120 (2021). https://doi.org/10.1007/s40819-021-01047-w
Accepted:
Published:
DOI: https://doi.org/10.1007/s40819-021-01047-w