Next Article in Journal
Optimal Control Theory for a System of Partial Differential Equations Associated with Stratified Fluids
Next Article in Special Issue
Ulam Stabilities and Instabilities of Euler–Lagrange-Rassias Quadratic Functional Equation in Non-Archimedean IFN Spaces
Previous Article in Journal
Accurate Estimations of Any Eigenpairs of N-th Order Linear Boundary Value Problems
Previous Article in Special Issue
Hyers-Ulam Stability of Quadratic Functional Equation Based on Fixed Point Technique in Banach Spaces and Non-Archimedean Banach Spaces
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

q-Functions and Distributions, Operational and Umbral Methods

by
Giuseppe Dattoli
1,†,
Silvia Licciardi
1,*,†,
Bruna Germano
2,† and
Maria Renata Martinelli
2,†
1
ENEA—Frascati Research Center, Via Enrico Fermi 45, 00044 Rome, Italy
2
La Sapienza, Department of Methods and Mathematic Models for Applied Sciences, University of Rome, Via A. Scarpa, 14, 00161 Rome, Italy
*
Author to whom correspondence should be addressed.
The authors contributed to this work according to what is declared in the Author Contribution Section.
Submission received: 18 August 2021 / Revised: 11 October 2021 / Accepted: 14 October 2021 / Published: 21 October 2021
(This article belongs to the Special Issue Advances in Functional Equations and Convex Analysis)

Abstract

:
The use of non-standard calculus means have been proven to be extremely powerful for studying old and new properties of special functions and polynomials. These methods have helped to frame either elementary and special functions within the same logical context. Methods of Umbral and operational calculus have been embedded in a powerful and efficient analytical tool, which will be applied to the study of the properties of distributions such as Tsallis, Weibull and Student’s. We state that they can be viewed as standard Gaussian distributions and we take advantage of the relevant properties to infer those of the aforementioned distributions.

1. Introduction

In a previous paper, the umbral formalism has been exploited to express the functions associated with q-calculus in terms of elementary functions [1]. We have, in particular, seen how q-Bessel type functions [2] can be formally expressed in terms of ordinary exponential or Gaussian functions [3]. The idea put forward in these studies has been that of developing a slight variant of the Rota–Roman Umbral Calculus ( U C ) [4,5], has been that of merging algebraic, operational and U C tools to get the Indicial Umbral Calculus ( I U C ) [6], which allows significant advantages in computation.
To better frame the discussion we consider the cylindrical q-Bessel functions of n-th order in [7].
Definition 1.
We introduce the cylindrical q-Bessel functions of n-th order J n ( x ) q through the series expansion:
J n ( x ) q = k = 0 ( 1 ) k [ k ] q ! [ k + n ] q ! x 2 2 k + n , n N , x R , q R : q 0 ,
where
[ n ] q = q n 1 q 1 , 0 < q < 1 ,
and
[ n ] q ! = 1 n = 0 r = 1 n [ r ] q n 1 .
The corresponding q-Gamma function [7,8,9,10] extending the notion of q-factorial to non-integers is given by:
Γ q ( x ) = ( 1 q ) 1 x s = 0 1 q s + 1 1 q s + x , q R : q < 1 ,
and for non-negative integers n it is verified that:
Γ q ( n ) = [ n 1 ] q !
as for the ordinary factorial.
In the following proposition we will use the Umbral Claculus, for an extensive discussion of the method, see [3].
Proposition 1.
Considering the case with n = 0 , we write the umbral image of the q-Bessel function of 0-order J 0 ( x ) q as:
J 0 ( x ) q = e c ^ q x 2 2 ϕ 0 , x , q R : q < 1 ,
where ϕ 0 is the so-called umbral vacuum [3] and c ^ q is an umbral operator defined in such a way that:
c ^ q k ϕ 0 = Γ ( k + 1 ) Γ q ( k + 1 ) 2 , k , q R : q < 1 .
Proof. 
x , k , q R : q < 1 , by using Equations (1), (5) and (7), we get:
J 0 ( x ) q = k = 0 ( 1 ) k [ k ] q ! 2 x 2 2 k = k = 0 ( 1 ) k Γ ( k + 1 ) k ! Γ q ( k + 1 ) 2 x 2 2 k = k = 0 ( 1 ) k k ! c ^ q k x 2 2 k ϕ 0 = e c ^ q x 2 2 ϕ 0 .
Example 1.
A paradigmatic example is the derivation of q-Bessel integrals so we find, for example (we checked Equation (8) numerically and we found that it is verified for 0.8 < q < 1 . For lower values of q, numerical instabilities in the integration procedure prevent a safe conclusion), the result below.
J 0 ( x ) q d x = e c ^ q x 2 2 d x ϕ 0 = 2 π c ^ q 1 2 ϕ 0 = 2 π Γ 1 2 Γ q 1 2 2 = 2 π Γ q 1 2 2 .
These few remarks summarize the essential features of the formalism, which will be exploited in the forthcoming parts of the paper.

2. q-Distributions

The q-Gaussian Tsallis and the q-Weibull distributions [11,12] can be profitably expressed in terms of umbral forms. Within this framework, they are recognized as the images of Gaussian and exponentials, respectively, by the use of the methods put forward in the introductory section. Leaving aside, for the moment, their statistical environment, we use this section to establish the relevant mathematical properties within this “unconventional” context. We will see how other type of distributions, involving, for example, the Weibull distributions [13] or generalized forms of Dirac or Bose–Einstein distribution, can be mathematically treated by the use of techniques borrowed from the operational calculus [6].
Before entering the specific topics of this paper we should remember that functions like those belonging to the Bessel family can be “downgraded” to Gaussian like forms, while Lorentz distributions can be viewed as Gaussians or vice-versa. This is a by-product of the Indicial Umbral Calculus ( I U C ), originally developed in [3,6,8,9,10,13].
I U C is a different flavor of the calculus by Roman and Rota [4,5], embedding operational and algebraic methods which push its computational capabilities a little bit further. We summarize here the mathematical tools we are going to use in the following; in particular we start from the following example, involving an umbral restyling of the Lorentz function.
Example 2
( q -exponential).Let e q ( x ) be the q-exponential
e q ( x ) = 1 + ( 1 q ) x 1 1 q , < q < 1 .
In the following, we introduce non conventional distributions which can be written in terms of the q-exponential through the function e Q ( x 2 ) with Q = 1 q .
The use of the Newton binomial formula yields the following series expansion for the function defined in Equation (9).
e Q ( x 2 ) = Γ 1 + Q 1 s = 0 ( 1 ) s x 2 s s ! Q s Γ 1 + Q 1 s , x R : x < 1 1 q .
It should be noted that the above series converges for Q 1 , which coincides with the interval of definition of the function in Equation (9). In Ref. [3], it has been suggested the following q-exponential umbral images
e Q ( x 2 ) = e d ^ x 2 ψ 0 ,
where the umbral operator d ^ and the associated vacuum ψ 0 [4,5], are defined in such a way that
d ^ α ψ 0 = Q α Γ 1 + Q 1 Γ 1 + Q 1 α , α R .
indeed, by expanding the exponential in Equation (11), we find:
e d ^ x 2 ψ 0 = s = 0 ( 1 ) s x 2 s s ! d ^ s ψ 0 = s = 0 ( 1 ) s x 2 s Q s s ! Γ 1 + Q 1 Γ 1 + Q 1 s = e Q ( x 2 ) .
The same result can be obtained by using the Newton Binomial expansion of the q-exponential defined in Equation (9).
Example 3.
According to the rules of the umbral calculus (12), namely treating d ^ as an ordinary algebraic quantity, we can work out the associated integral as (the change in the bounds of the integral is due to the fact that the umbral image of e Q x 2 is a Gaussian and d ^ is treated as an ordinary constant. Within this representation, x is not limited within the bounds specified by the extreme of the integral. The previous assumptions are better expressed by the scheme reported below e Q ( x 2 ) e 0 ( d ^ x 2 ) and with lim q 1 Q 1 2 ) = .)
1 1 q 1 1 q e Q ( x 2 ) d x = e d ^ x 2 d x ψ 0 = π d ^ 1 2 ψ 0 = π Q Γ 1 + Q 1 Γ 3 2 + Q 1 .
We accordingly introduce the so-called Tsallis distribution:
T Q ( x , σ ) = 1 2 π Q σ e Q x 2 2 σ 2 , π Q = π Q Γ 1 + Q 1 Γ 3 2 + Q 1 2 .
By Tsalis distribution we indicate a q-exponential distribution of the type introduced in [11,12] to study generalizations of the Boltzmann–Gibbs entropy.
The umbral formalism offers a noticeable flexibility and simplicity in its mathematical handling. The associated moments are therefore easily obtained but, before getting their explicit form, we consider the determination of the successive derivatives of e Q ( x 2 ) , which are computed as follows.
Proposition 2.
Let
H m ( x , y ) = m ! r = 0 m 2 x m 2 r r r ( m 2 r ) ! r ! , x , y R , m N ,
be the two variable Hermite polynomials [14,15] with the property [3,6]
x n e a x 2 = H n ( 2 a x , a ) e a x 2 .
The successive derivatives of e Q ( x 2 ) can be expressed in terms of two variables Hermite polynomials
x m e Q ( x 2 ) = H m ( 2 d ^ x , d ^ ) e d ^ x 2 ψ 0 ,
and eventually
x m e Q ( x 2 ) = ( 1 ) m m ! r = 0 m 2 ( 2 x ) m 2 r ( 1 ) r Q m r ( m 2 r ) ! r ! m r e Q ( x 2 ) .
Proof. 
By using Equations (11) and (17), we can recast the successive derivatives of e Q ( x 2 ) as follows:
x m e Q ( x 2 ) = x m e d ^ x 2 ψ 0 = H m ( 2 d ^ x , d ^ ) e d ^ x 2 ψ 0 , x R .
We expand the last term of previous equation and apply the umbral calculus:
H m ( 2 d ^ x , d ^ ) e d ^ x 2 ψ 0 = ( 1 ) m m ! r = 0 m 2 ( 1 ) r ( 2 x ) m 2 r ( m 2 r ) ! r ! d ^ m r ψ 0 e d ^ x 2 = ( 1 ) m m ! r = 0 m 2 ( 1 ) r ( 2 x ) m 2 r ( m 2 r ) ! r ! s = 0 ( 1 ) s x 2 s s ! d ^ s + m r ψ 0 .
We define the q-exponential of order k as:
k e Q ( x 2 ) : = s = 0 ( 1 ) s x 2 s s ! d ^ s + k ψ 0 ,
which, by using Equation (12), becomes
x m e Q ( x 2 ) = H m ( 2 d ^ x , d ^ ) e d ^ x 2 ψ 0 = ( 1 ) m m ! r = 0 m 2 ( 1 ) r ( 2 x ) m 2 r ( m 2 r ) ! r ! s = 0 ( 1 ) s x 2 s s ! d ^ s + m r ψ 0 = = ( 1 ) m m ! r = 0 m 2 ( 1 ) r ( 2 x ) m 2 r ( m 2 r ) ! r ! s = 0 ( 1 ) s x 2 s s ! Q s + m r Γ ( 1 + Q 1 ) Γ ( 1 + Q 1 s m + r ) = = ( 1 ) m m ! r = 0 m 2 ( 1 ) r ( 2 x ) m 2 r ( m 2 r ) ! r ! m r e Q ( x 2 )
(we note that the function k e Q ( x 2 ) can be expressed through other series too): k e Q ( x 2 ) = Γ 1 + Q 1 s = 0 ( 1 ) s x 2 s s ! Q s Γ 1 + Q 1 ( s + k ) . □
Let us now look at the problem of evaluating the “momenta” of the q-Tsallis distribution. For this aim, we propose the following example.
Example 4.
We define the quantities
I n ( δ ) = ( x + δ ) n e d ^ x 2 d x ψ 0 , n { N 0 }
where δ is a constant, introduced for future convenience. The integrals I n ( δ ) are easily obtained by using, for example, the method of the generating function, thus finding:
n = 0 t n n ! I n ( δ ) = n = 0 t n n ! ( x + δ ) n e d ^ x 2 d x ψ 0 = e ( x + δ ) t e d ^ x 2 d x ψ 0 = e δ t π d ^ e t 2 4 d ^ ψ 0 .
According to the Hermite generating function [6,15]:
k = 0 t k k ! H k ( x , y ) = e x t + y t 2 ,
we obtain
n = 0 t n n ! I n ( δ ) = π d ^ 1 2 n = 0 t n n ! H n δ , d ^ 1 4 ψ 0 .
By equating the t-like power terms, we find
I n ( δ ) = π n ! r = 0 n 2 δ n 2 r ( 4 ) r ( n 2 r ) ! r ! d ^ r + 1 2 ψ 0 = π Q n ! Γ 1 + Q 1 r = 0 n 2 δ n 2 r ( 4 Q ) r ( n 2 r ) ! r ! Γ 3 2 + Q 1 + r .
We have so far provided an idea of how q and I U C can be embedded to obtain results of practical interest. In the forthcoming section, we will further extend the discussion by including more general examples.

3. Final Comments

The q-Weibull distribution writes in terms of the q- exponential as:
f x ; q , λ , κ = ( 2 q ) κ λ x λ κ 1 e q x λ κ x 0 , 0 x < 0 ,
where q < 1 , κ > 0 is shape and λ > 0 is the scale parameter, respectively. The use of the umbral formalism allows to cast (27) in the form:
f x ; q , λ , κ = ( 1 + Q ) κ λ x λ κ 1 e 1 Q 1 d ^ x λ κ ψ 0 .
The average values and other specific quantities are easily obtained using the Umbral formalism. We note indeed that:
x m = ( 1 + Q ) κ λ 1 λ κ 1 0 x κ + m 1 e 1 Q 1 d ^ x λ κ d x ψ 0 = = ( 1 + Q ) κ λ m 0 σ κ + m 1 e 1 Q 1 d ^ σ κ d σ ψ 0 = = ( 1 + Q ) κ λ m 1 Q 1 d ^ 1 + m κ Γ 1 + m κ κ ψ 0 = = ( 1 + Q ) λ m ( 1 Q ) 1 + m κ Γ 1 + m κ Γ 1 + Q 1 Γ 2 + Q 1 + m κ = = ( 2 q ) λ m q 1 + m κ Γ 1 + m κ Γ 1 + ( 1 q ) 1 Γ 2 + ( 1 q ) 1 + m κ = = ( 2 q ) λ m q 1 + m κ B 1 + m κ , 1 + ( 1 q ) 1 .
We have mentioned the q-exponential in Equation (9), with the q parameter bounded in < q < 1 . This interval is not unique and indeed it is also defined within the limits 1 < q < 3 . In this case, a non umbral treatment can be efficient as well.
By making use of the Laplace transform identity,
x μ = 1 Γ ( μ ) 0 e s x s μ 1 d s ,
we can write the q-Gaussian as:
e q ( x 2 ) = ( 1 + A x 2 ) 1 A = 1 Γ A 1 0 e s ( 1 + A x 2 ) s A 1 1 d s , A = q 1 .
The relevant calculation can be done again by exploiting the properties of the Gaussian integrals, thus finding, for example:
e q ( x 2 ) d x = 1 Γ A 1 0 e s s A 1 1 e s A x 2 d x d s = π A Γ A 1 0 e s s A 1 3 2 = = π A Γ A 1 Γ A 1 1 2 , 1 < q < 3 .
Without entering further comments on the Laplace transform treatment of q-exponentials, we like to mention the t-Students distribution, which, albeit amenable for an umbral calculus restyling, can be profitably studying the last outlined technique.
Example 5.
The Student’s t-distribution is used in statistics to obtain the mean value of a normal distribution when the available sample is small and the standard deviation is not available. The associated probability density function writes [16]
S ( t ; ν ) = 1 ν B 1 2 , ν 2 1 + t 2 ν ν + 1 2 ,
where B ( a , b ) is the Euler B-function [14]. The use of the Laplace transform method [6] allows us to cast Equation (33) in the form:
S ( t ; ν ) = 1 ν B 1 2 , ν 2 Γ ν + 1 2 0 e s 1 + t 2 ν s ν 1 2 d s ,
which can be exploited to derive the relevant properties in straightforward terms.
We can prove that the Student’s distribution in the form given in Equation (34) is correctly normalized by keeping the relevant infinite integral which yields:
S ( t ; ν ) d t = 1 ν B 1 2 , ν 2 Γ ν + 1 2 0 e s t 2 ν d t e s s ν 1 2 d s = = π B 1 2 , ν 2 Γ ν + 1 2 0 e s s ν 2 1 d s = π B 1 2 , ν 2 Γ ν + 1 2 Γ ν 2 = 1 .
This is just an illustration of how the technique works.
The calculus of higher order distribution moments proceeds along the same lines and we find, for example,
m 2 = t 2 S ( t ; ν ) d t = 1 2 ν Γ ν 2 1 Γ ν 2 = ν ν 2 , ν R : ν 2 .
In this paper, we have gone through the use of umbral and operational methods applied to q-functions. We have indicated a general procedure to obtain detailed information from the distributions, in terms of momenta (including those of higher order). We have also worked out a general method for dealing with the properties of q-Bessel functions by indicating a fairly straightforward procedure to calculate the relevant integrals. In a forthcoming paper, we will extend this method of analysis to a wider class of q-functions.

Author Contributions

Conceptualization, G.D.; methodology, G.D., S.L.; data curation: S.L.; validation, G.D., S.L., B.G., M.R.M.; formal analysis G.D., S.L., B.G., M.R.M.; writing—original draft preparation: G.D.; writing—review and editing: S.L. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Acknowledgments

The work of S. Licciardi was supported by an Enea Research Center individual fellowship.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Dattoli, G.; Germano, B.; Martinelli, M.R.; Gorska, K. Can Umbral and q-calculus be merged? arXiv 2019, arXiv:1909.00058. [Google Scholar]
  2. Koekoek, R.; Lesky, P.A.; Swarttouw, R.F. Hypergeometric Orthogonal Polynomials and Their q-Analogues; Springer: New York, NY, USA, 2000. [Google Scholar]
  3. Licciardi, S. Umbral Calculus, a Different Mathematical Language. Ph.D. Thesis, University of Catania, Catania, Italy, 2018. [Google Scholar]
  4. Roman, S.M.; Rota, G.C. The umbral calculus. Adv. Math. 1978, 27, 95–188. [Google Scholar] [CrossRef] [Green Version]
  5. Roman, S. The Umbral Calculus; Dover Publications: New York, NY, USA, 2005. [Google Scholar]
  6. Babusci, D.; Dattoli, G.; Licciardi, S.; Sabia, E. Mathematical Methods for Physicists; World Scientific: Singapore, 2019. [Google Scholar]
  7. Dattoli, G.; Torre, A. q-Bessel functions: The point of view of the generating function method. Rend. Mat. Appl. VII 1997, 17, 329–345. [Google Scholar]
  8. Koorwinder, T.H. q-special functions, a tutorial. arXiv 1994, arXiv:math/9403216. [Google Scholar]
  9. Andrews, G.E. q-Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics, and Computer Algebra, CBMS Regional Conference Series in Mathematics 66; American Mathematical Soc: Washington, DC, USA, 1986. [Google Scholar]
  10. Andrews, G.E.; Askey, R.; Roy, R. Special Functions; Cambridge University Press: Cambridge, UK, 1999. [Google Scholar]
  11. Tsallis, C. Possible generalization of Boltzmann-Gibbs statistics. J. Stat. Phys. 1988, 52, 479–487. [Google Scholar] [CrossRef]
  12. Tsallis, C. Introduction to Non Extensive Statistical Mechanics: Approaching a Complex World; Springer: New York, NY, USA, 2009. [Google Scholar]
  13. Rouaud, M. Probability, Statistics and Estimation; Propagation of uncertainties in Experimental Measurement; Creative Commons: Mountain View, CA, USA, 2013; p. 191. [Google Scholar]
  14. Andrews, L.C. Special Functions For Engeneers and Applied Mathematicians; Mc Millan: New York, NY, USA, 1985. [Google Scholar]
  15. Appél, P.; Kampé de Fériét, J. Fonctions Hypergeometriques and Hyperspheriques. Polynomes d’Hermite; Gauthiers-Villars: Paris, France, 1926. [Google Scholar]
  16. Naudts, J. The q-exponential family in statistical physics. Centr. Eur. J. Phys. 2009, 7, 405–413. [Google Scholar] [CrossRef] [Green Version]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Dattoli, G.; Licciardi, S.; Germano, B.; Martinelli, M.R. q-Functions and Distributions, Operational and Umbral Methods. Mathematics 2021, 9, 2664. https://0-doi-org.brum.beds.ac.uk/10.3390/math9212664

AMA Style

Dattoli G, Licciardi S, Germano B, Martinelli MR. q-Functions and Distributions, Operational and Umbral Methods. Mathematics. 2021; 9(21):2664. https://0-doi-org.brum.beds.ac.uk/10.3390/math9212664

Chicago/Turabian Style

Dattoli, Giuseppe, Silvia Licciardi, Bruna Germano, and Maria Renata Martinelli. 2021. "q-Functions and Distributions, Operational and Umbral Methods" Mathematics 9, no. 21: 2664. https://0-doi-org.brum.beds.ac.uk/10.3390/math9212664

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop