Next Article in Journal
The Relationship between the Box Dimension of Continuous Functions and Their (k,s)-Riemann–Liouville Fractional Integral
Previous Article in Journal
Sharp Estimates Involving a Generalized Symmetric Sălăgean q-Differential Operator for Harmonic Functions via Quantum Calculus
Previous Article in Special Issue
Fractional Differential Equations and Expansions in Fractional Powers
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On an Umbral Point of View of the Gaussian and Gaussian-like Functions

by
Giuseppe Dattoli
1,
Emanuele Di Palma
1 and
Silvia Licciardi
2,*
1
ENEA—Frascati Research Center, Via Enrico Fermi 45, 00044 Rome, Italy
2
Department of Engineering, University of Palermo, Viale delle Scienze, 90128 Palermo, Italy
*
Author to whom correspondence should be addressed.
Symmetry 2023, 15(12), 2157; https://doi.org/10.3390/sym15122157
Submission received: 12 September 2023 / Revised: 26 October 2023 / Accepted: 25 November 2023 / Published: 4 December 2023

Abstract

:
The theory of Gaussian functions is reformulated using an umbral point of view. The symbolic method we adopt here allows an interpretation of the Gaussian in terms of a Lorentzian image function. The formalism also suggests the introduction of a new point of view of trigonometry, opening a new interpretation of the associated special functions. The Erfi ( x ) , is, for example, interpreted as the “sine” of the Gaussian trigonometry. The possibilities offered by the Umbral restyling proposed here are noticeable and offered by the formalism itself. We mention the link between higher-order Gaussian trigonometric functions, Hermite polynomials, and the possibility of introducing new forms of distributions with longer tails than the ordinary Gaussians. The possibility of framing the theoretical content of the present article within a redefinition of the hypergeometric function is eventually discussed.

1. Introduction

Umbral methods ( U M ) [1,2] realize a common environment in which the properties of different functions can be studied using a specific image realization [3,4]. The Bessel functions have indeed been studied using the Gaussian as the associated image function [2]. The trigonometric functions [2,5,6], too, have been framed within a context having the Gaussian as a pivot reference function. Within this context, a natural transition between circular and Bessel function has been obtained, and the spherical Bessel functions have been shown to be the common thread between the two families of functions.
The usefulness of the umbral methods, as intended in this article, has been further corroborated by recent articles on a symbolic treatment of Hermite polynomials [7], where the authors have proven interesting properties of three-variable Hermite polynomials. The main break-through contained in [7] can be summarized by saying that this family of polynomials can be viewed as a suitable form of the Newton binomial. Moreover, a further application of the method discussed in [8] has opened new possibilities for the study of non-standard Hermite polynomial-generating functions [9]. The interest for the methods we have outlined is growing even more due to its relevant association with the monomiality principle [10,11,12], which opens new and fascinating speculations on the possibility of obtaining a cross-bridge with old symbolic methods, important precursors of the modern umbral and algebraic theories [2,13].
The paradigm we have followed is that of providing a kind of “downgrade” of the level of the complexity of the function itself by reducing a higher-order transcendental function to a lower order. The simplification occurs through the introduction of a set of operators with specific algebraic properties, whose role has been clarified and made more rigorous within the well-established properties of the Borel transform [14,15].
The distinctive feature of the umbral theory used in this article and illustrated in [2] is the use of what has been defined as the image function. This namely involves the introduction of a function of elementary nature, allowing the “downgrade” of a higher transcendental to an elementary transcendental, which simplifies the study of the properties of more complicated forms. The adoption of this strategy has been applied to Bessel functions, whose image is a Gaussian. This point of view has opened significant opportunities for simplification in the study of the relevant properties.
The procedure we have just summarized has revealed interesting aspects of special functions, unveiling elements of superposition hardly achieveble by other means. In this paper, we use the same point of view by exploring the consequences of the “downgrading" of the Gaussian function to the status of a rational function.
The starting point of our study is the reduction of the Gaussian to a Lorentz function, and we will see how this opens a view on other families of functions, leading to generalized forms of Gaussian trigonometric-like functions. The paper is organized as outlined below.
In Section 2, we clarify how a Lorentzian can be chosen as the relevant umbral image and explore further associated umbral forms, which naturally leads to the sine and cosine Gaussian functions.
In Section 3, we extend the formalism to the study of higher-order trigonometric-like functions and introduce further generalizations.
Finally, Section 4 contains comments, including applications and possible links of the previous conclusions with Lèvy distributions.

2. Gaussian Functions, Lorentzian Functions, and Associated Trigonometric Functions

We make use of umbral operators to construct images of special and ordinary functions. The underlying formalism revealed quite powerful-to-deal-with computational details (difficult to accomplish with ordinary means) and disclosed intimate relationships between different forms of special functions.
In this section, we show the consequences deriving from the umbral restyling of the Gaussian function in terms of the Lorentzian function.
Proposition 1.
We write the Gaussian function as
e x 2 = 1 1 + c ^ x 2 φ 0 ,
where the umbral operator c ^ is such that
c ^ α φ 0 = 1 Γ ( α + 1 ) ,
with Γ ( . ) being the Euler gamma function and α representing any real or complex number.
Proof. 
According to the umbral point of view (see [2] for a rigorous treatment of the umbral methods),
e x 2 = r = 0 ( 1 ) r x 2 r r ! = r = 0 ( 1 ) r x 2 r Γ ( r + 1 ) = r = 0 ( c ^ ) r x 2 r φ 0 = 1 1 + c ^ x 2 φ 0 .
Corollary 1.
A consequence of Equation (1) is that the primitive of the Gaussian function, too, can be formally expressed in terms of an elementary function, namely (we use the notation tan 1 ( x ) to indicate arctan ( x ) )
e x 2 d x = c ^ 1 2 t g 1 c ^ 1 2 x φ 0 .
Proposition 2.
It is possible to cast Equation (1) in the form
e x 2 : = C g ( x ) = 1 2 1 1 i c ^ 1 2 x + 1 1 + i c ^ 1 2 x φ 0
and define the associated function as
S g ( x ) : = 1 2 i 1 1 i c ^ 1 2 x 1 1 + i c ^ 1 2 x φ 0 = 2 π r = 0 ( 1 ) r ( r + 1 ) ! ( 2 x ) 2 r + 1 2 ( r + 1 ) ! .
The above functions (5) and (6) will be referred as the cosine and sine Gaussian functions, respectively.
Proof. 
By the use of standard algebraic manipulations, Equation (1) becomes
e x 2 = 1 1 + c ^ x 2 φ 0 = 1 2 1 1 i c ^ 1 2 x + 1 1 + i c ^ 1 2 x φ 0 : = C g ( x ) ,
and the associated function S g ( x ) is
S g ( x ) : = 1 2 i 1 1 i c ^ 1 2 x 1 1 + i c ^ 1 2 x φ 0 = r = 0 ( 1 ) r c ^ r + 1 2 x 2 r + 1 φ 0 = r = 0 ( 1 ) r x 2 r + 1 Γ r + 3 2 = 1 π r = 0 ( 1 ) r r ! ( 2 x ) 2 r + 1 2 r + 1 ! = e x 2 Erfi ( x ) .
It is worth noting that the Gaussian sine does not represent something new in the scenario of special functions and that it can be indeed interpreted in terms of the Dawson integral F ( x ) , namely [16]
S g ( x ) = 2 π F ( x ) , F ( x ) = e x 2 0 x e y 2 d y = π 2 e x 2 Erfi ( x ) = n = 0 ( 1 ) n 2 n x 2 n + 1 ( 2 n + 1 ) ! ! .
In passing, we noted that the “Gaussian trigonometric identity” is
S g ( x ) 2 + C g ( x ) 2 = e 2 x 2 1 + Erfi ( x ) 2 .
The geometrical nature of trigonometric functions is expressed through their representative circles, given e.g., by the plot of cosine vs. sine functions. The same holds for the Gaussian trigonometry we have outlined. In Figure 1, we show C g ( x ) vs. S g ( x ) resulting in an egg-like form, characterizing the “circle” of the Gaussian trigonometry, and in Figure 2, we also report the behavior of C g ( x ) and S g ( x ) vs. x. The plotted functions are odd and even functions, but they are not periodic since they vanish at x ± .
The existence of other differences between the circular functions and the possibility of introducing higher-order sine/cosine Gaussians, as well as the relevant link to the Hermite polynomials, will be discussed in the forthcoming section.

3. Higher-Order Gaussian Trigonometric Functions

After the introductory remarks of the previous section, we introduce higher-order forms of Gaussian trigonometric functions. To accomplish this task, we take advantage of well-known Laplace transform identities [4].
Proposition 3.
The use of the Laplace transform ( L T ) technique allows us to write
C g ( x ) = 0 e s cos c ^ x s d s φ 0 ,   S g ( x ) = 0 e s sin c ^ x s d s φ 0 .
Proof. 
The first equation simply follows by the Laplace transform k k 2 + a 2 = 0 e k t cos ( a t ) d t
C g ( x ) = 1 1 + ( c ^ x ) 2 φ 0 = 0 e s cos c ^ x s d s φ 0 .
The derivation of the second part of Equation (10) follows analogous lines. □
Corollary 2.
The successive derivatives of the Gaussian trigonometric functions can be written in umbral form as
C g ( m ) ( x ) = c ^ m 0 e s s m cos c ^ x s + m π 2 d s φ 0 , S g ( m ) ( x ) = c ^ m 0 e s s m sin c ^ x s + m π 2 d s φ 0 .
Corollary 3.
The Hermite polynomials are associated with the successive derivatives of the Gaussian H n ( x ) e x 2 = ( 1 ) n x n e x 2 . Therefore, we obtain the identity
H m ( x ) e x 2 = ( 1 ) m c ^ m 0 e s s m cos c ^ x s + m π 2 d s φ 0 ,
which can be exploited for an alternative definition of this family of polynomials.
Let us now return to the definition of the Gaussian sine, which, by using Equation (7), can also be specified as
S g ( x ) = c ^ 1 2 x 1 + c ^ x 2 φ 0 ,
and provide the integral in the following example.
Example 1.
x R
0 x S g ( ξ ) d ξ = 1 4 π r = 1 ( 1 ) r ( 2 x ) 2 r ( r 1 ) ! r ( 2 r 1 ) ! .
indeed
0 x S g ( ξ ) d ξ = c ^ 1 2 2 ln ( 1 + c ^ x 2 ) φ 0 = c ^ 1 2 2 ( 1 ) r = 1 ( 1 ) r ( c ^ x 2 ) r r φ 0 = 1 2 r = 1 ( 1 ) r x 2 r r Γ r + 1 2 = 1 4 π r = 1 ( 1 ) r ( 2 x ) 2 r ( r 1 ) ! r ( 2 r 1 ) ! .
Remark 1.
The Gaussian trigonometric functions can be accordingly derived from the real and imaginary parts of the function
E g ( x ) = 1 + i c ^ 1 2 x 1 + c ^ x 2 φ 0 .
Observation 1.
It is worth stressing that the two Gaussian trigonometric functions are linked by the Kramers–Kronig identity [17]
S g ( x ) = 1 π P C g ( ξ ) ξ x d ξ ,
where P is the Cauchy principal value (we recall that the Cauchy principal value is “ P C g ( ξ ) ξ x d ξ = lim ε 0 + x ε C g ( ξ ) ξ x d ξ + x + ε C g ( ξ ) ξ x d ξ ”.).
Proposition 4.
The successive derivative of the complex function S g ( x ) can be obtained from those of E g ( x )
S g ( m ) ( x ) = 2 m + 1 π r = m 1 2 ( 1 ) r ( r + 1 ) ! ( 2 r + 1 ) ! ( 2 x ) 2 r + 1 m 2 ( r + 1 ) ! 2 r + 1 m ! .
Proof. 
By exploiting Equation (16) and the identity based on the Laplace transform of the Lorentz function, we obtain
E g ( n ) ( x ) = x n 0 ( 1 + i c ^ 1 2 x ) e s e s c ^ x 2 d s φ 0 = R e E g ( n ) ( x ) + i I m E g ( n ) ( x ) .
We study the individual parts using the two-variable Hermite polynomials [14,18]
H n ( x , y ) = n ! r = 0 n 2 x n 2 r y r ( n 2 r ) ! r !
and their properties
x n e a x 2 = H n ( 2 a x , a ) e a x 2 ,
k = 0 t k k ! H k ( x , y ) = e x t + y t 2
Thus, we obtain
R e E g ( n ) ( x ) = C g ( n ) ( x ) = 0 e s x n e s c ^ x 2 d s φ 0 = 0 e s H n ( 2 s c ^ x , s c ^ ) e s c ^ x 2 d s φ 0
and
I m E g ( n ) ( x ) = S g ( n ) ( x ) = c ^ 1 2 0 e s x n x e s c ^ x 2 d s φ 0 = c ^ 1 2 r = 0 n n r x n r x 0 e s H r ( 2 s c ^ x , s c ^ ) e s c ^ x 2 d s φ 0 = 2 n + 1 π r = n 1 2 ( 1 ) r ( r + 1 ) ! ( 2 r + 1 ) ! ( 2 x ) 2 r + 1 n 2 ( r + 1 ) ! 2 r + 1 n ) ! .
Remark 2.
This is an interesting result because E g ( x ) , as commented on in the final section, is equivalent to the plasma dispersion function
The behavior of the successive derivatives of the Gaussian sine function is reported in Figure 3.
The successive derivatives of S g ( x ) are products of Gaussian and of Hermite polynomials. The relevant behavior is therefore not dissimilar from the Harmonic oscillator functions. For a comparison, see [19] for the relevant numerical and graphical outline.

4. New Forms of Gaussian-like Distributions

We extend here the methods we just outlined in the previous sections, introducing new Gaussian-like functions and studying their relevant properties. The use of the methods we have just touched upon displays a wide range of flexibility, as we are going to show in the examples below.
Example 2.
We define the function by means of the series
e x 2 | n : = r = 0 ( 1 ) r Γ r n + 1 x 2 r r ! ,   x R , n N : n > 1
and ask whether its integral
I e ( n ) : = e ( x 2 | n ) d x
can be calculated in analytical form. This can be checked straightforwardly by the use of the umbral technique discussed so far (conventional methods based on the Laplace transform technique can be used too but they are more involute).We first write Function (25) in a Gaussian-like form through the p ^ umbral operator and the following umbral image (it is easily proved trough Equation (27) that e p ^ x 2 γ 0 = r = 0 ( 1 ) r x 2 r p ^ r r ! γ 0 = s u m r = 0 ( 1 ) r x 2 r r ! Γ r n + 1 = e x 2 | n . )
e x 2 | n = e p ^ x 2 γ 0 , p ^ α γ 0 = Γ α n + 1 .
Then, we are allowed to evaluate the integral (26) as
I e ( n ) = e p ^ x 2 d x γ 0 = π p ^ γ 0 = Γ 1 1 2 n π .
We note that by taking n = 1 in the previous equations, namely for e x 2 | 1 = 1 1 + x 2 , Equation (28) yields, as it must be, I e ( 1 ) = π .
The result reported in Equation (28) has been, as usual, checked numerically. The term-wise integration, which we have used as a benchmark, becomes difficult. The corresponding series converges very slowly for small values of n, and the integration becomes unstable. We have, therefore, tested Equation (28) by the use of the Ramanujan master theorem [20,21] and by other means discussed below.
Example 3.
The same procedure yields the following further example:
I e a , b ( n ) = e ( a x 2 + b x n ) d x = e p ^ a x 2 b x d x γ 0 = π a p ^ e p ^ b 2 4 a γ 0 = π a r = 0 b 2 4 a r r ! p ^ r 1 2 γ 0 = π a e 1 2 b 2 4 a n , e ν ( x n ) = r = 0 x r r ! Γ r + ν n + 1 .
It is finally interesting to note that the use of the generating function
s = 0 t s s ! H s ( x , y n ) = e ( x t + y t 2 n ) , H m ( x , y n ) = m ! r = 0 m 2 x m 2 r y r ( m 2 r ) ! r ! Γ m r n + 1
allows the introduction of a further family of two-variable Hermite-like polynomials, whose properties will be explored elsewhere.
Example 4.
It is evident that Function (25), which with increasing n becomes closer and closer to a Gaussian, can be exploited to model distributions with a tail longer than an ordinary Gaussian function. By setting
F ( x ; σ | n ) : = 1 2 π Γ 1 1 2 n σ e x 2 2 σ 2 | n ,
we can evaluate the moments associated with its distribution using the generating function method (22). To this aim, we note that, d N , σ R : σ 0 ,
F ( x ; σ | n ) ( m , d ) : = M ( m , d ) = ( x + d ) m F ( x , σ | n ) d x , m Z ,
can be calculated by noting that
m = 0 t m m ! M ( m , d ) = m = 0 t m ( x + d ) m m ! F ( x , σ | n ) d x = e t d 2 π Γ 1 1 2 n σ e t x e p ^ x 2 2 σ 2 d x γ 0 .
The Gaussian integral on the r.h.s. of Equation (33) yields
m = 0 t m m ! M ( m , d ) = e t d e t 2 σ 2 2 p ^ Γ 1 1 2 n p ^ 1 2 γ 0
and the use of the Hermite-generating function (21) finally provides the result
M ( m , d ) = p ^ 1 2 Γ 1 1 2 n H m d , σ 2 2 p ^ 1 γ 0 = m ! Γ 1 1 2 n r = 0 m 2 d m 2 r σ 2 r 2 r r ! ( m 2 r ) ! Γ 1 1 2 n r n .
The higher-order moments for d = 0 can accordingly be evaluated as
F ( x ; σ | n ) m : = M m = 1 Γ 1 1 2 n m ! Γ m 2 + 1 σ 2 2 m 2 Γ 1 1 2 n m 2 n .
The quasi-Gaussian distributions have only a finite number of non-diverging higher-order moments, compatible with the condition m + 1 2 n < 1 . These distributions can be exploited to interpolate between Gaussian and Cauchy–Lorentz distributions.
Example 5.
It is worth noting that the use of the integral representation of the Gamma function allows us to cast Equation (25) in the form
e x 2 | n = r = 0 ( 1 ) r x 2 r r ! 0 e s s r n d s = 0 e s e x 2 s α d s , α = 1 n .
By exploiting Property (21), the successive derivatives of e x 2 | n can then be written as
e m x 2 | n = 0 e s H m ( 2 x s α , s α ) e x 2 s α d s , α = 1 n
and can be exploited to establish families of functions providing a smooth transition, with increasing n, to the ordinary Hermite Gauss functions.
The integral transform (37) is an alternative to the umbral notation developed so far and shows noticeable features of interest, which will be touched upon below and will be discussed more carefully in a forthcoming investigation.
It is also worth noting that the use of the integral representation in Equation (37) yields almost straightforwardly the evaluation of its infinite integral, as shown below.
Example 6.
We can accordingly write
I ( α ) : = 0 e s x 2 s α d s d x .
Interchanging the integrals and using the ordinary Gaussian and the properties of the Gamma function [4], when R e ( α ) < 2 , we obtain
I ( α ) = 0 e s e x 2 s α d x d s = 0 e s π s α d s = π 0 e s s α 2 d s = π Γ 1 α 2
The same procedure can be exploited for the derivation of higher-order moments.

5. Applications and Final Comments

It is evident that the discussion of the properties of Gaussian trigonometric functions can be extended to the case of the distribution in Equation (25). We will not discuss these problems any more, leaving the subject for a forthcoming investigation. We will devote this concluding section to the relevance of the previous discussion to the link with known families of special functions.
We have already mentioned that the Gaussian sine is linked to the Dawson function through Equation (8), keeping the advantage from the relevant expression in terms of the confluent hypergeometric series 1 F 1 ( . ; . ; . ) [22]
S g ( x ) = 2 π e x 2 0 x e y 2 d y = 2 π x e x 2 1 F 1 1 2 ; 3 2 ; x 2 .
This identity offers a further direction along which we can extend the umbral point of view.
Example 7.
Indeed, we can consider the following umbral interpretation of the confluent hypergeometric function 1 F 1 ( a ; c ; x ) through the Pochhammer symbol ( y ) r = y ( y + 1 ) ( y + r 1 ) :
1 F 1 ( a ; c ; x ) = n = 0 ( a ) n x n ( c ) n n ! = n = 0 κ ^ n x n n ! ϕ 0 = e κ ^ x ϕ 0 , κ ^ n ϕ 0 : = κ ^ a , c n ϕ 0 = ( a ) n ( c ) n .
For umbral and Pochhammer properties, we note that
κ ^ n κ ^ m ϕ 0 = κ ^ n + m ϕ 0 = ( a ) n + m ( c ) n + m = ( a ) n ( c ) n ( a + n ) m ( c + n ) m .
Using above relation, we can easily calculate higher orders of the derivatives of the hypergeometric function 1 F 1 ( a ; c ; x )
x s 1 F 1 ( a ; c ; x ) = κ ^ s e κ ^ x ϕ 0 = κ ^ s n = 0 κ ^ n x n n ! ϕ 0 = n = 0 ( a ) s ( c ) s ( a + s ) n ( c + s ) n x n n ! = ( a ) s ( c ) s 1 F 1 ( a + s ; c + s ; x ) .
According to Equation (42), if we obtain a = 1 2 and c = 3 2 , Equation (41) becomes
S g ( x ) = 2 π x e ( 1 κ ^ ) x 2 ϕ 0 .
This is a fairly straightforward form, which can be usefully applied to perform specific calculations involving this family of functions.
Regarding integrals involving the the Gaussian sine, we provide some examples, as shown below.
Example 8.
From Equation (45) we obtain that, if α < 1 ,
( 1 ) 0 S g ( x , α ) d x = 2 π 0 x e ( 1 α κ ^ ) x 2 d x ϕ 0 = 1 π 1 1 α κ ^ ϕ 0 = 1 π r = 0 α r κ ^ r ϕ 0 = 1 π r = 0 1 2 r 3 2 r α r = 1 π 2 F 1 1 2 , 1 ; 3 2 ; α .
( 2 ) S g ( x ) x d x = 2 π e ( 1 κ ^ ) x 2 d x ϕ 0 = 2 1 κ ^ ϕ 0 = 2 r = 0 r 1 2 r κ ^ r ϕ 0 = 2 r = 0 r 1 2 r 1 2 r 3 2 r = 2 · 2 F 1 1 2 , 1 2 ; 3 2 ; 1 = π .
Example 9.
The Fresnel integrals can be written in terms of the hypergeometric functions 1 F 2 ( a ; b , c ; x ) as [22]
C ( x ) = 0 x cos π 2 η 2 d η = x 1 F 2 1 4 ; 1 2 , 5 4 ; π 4 x 2 2 , S ( x ) = 0 x sin π 2 η 2 d η = π 2 x 3 3 1 F 2 3 4 ; 3 2 , 7 4 ; π 4 x 2 2 , 1 F 2 ( a ; b , c ; x ) = n = 0 ( a ) n ( b ) n ( c ) n x n n ! .
According to the previous umbral discussion, the relevant images are Gaussian functions, and therefore, we find
C ( x ) = x e π 4 x 2 2 χ ^ c ϕ 0 , c , χ ^ c n : = 1 4 χ ^ 1 2 , 5 4 ϕ 0 , c = 1 4 n 1 2 n 5 4 n S ( x ) = π x 3 3 e π 4 x 2 2 χ ^ s ϕ 0 , s , χ ^ s n : = 3 4 χ ^ 3 2 , 7 4 ϕ 0 , s = 3 4 n 3 2 n 7 4 n
Example 10.
It is evident that the previous results can be exploited to simplify computations involving this family of functions. For example, if we are interested in computing improper integrals involving the Fresnel functions, e.g.,
0 S ( ξ ) ξ 3 d ξ = π 3 0 e π 4 ξ 2 2 χ ^ c d ξ ϕ 0 , s ,
we can easily achieve our result by recalling that
0 e a x 4 d x = 1 4 Γ 1 4 a 1 4 , R e ( a ) > 0
and, by replacing the parameter “ a ” with π 4 ξ 2 2 χ ^ c , we eventually obtain
π 3 0 e π 4 ξ 2 2 χ ^ c d ξ ϕ 0 , c = π 6 Γ 1 4 χ ^ 1 4 ϕ 0 , s = π 6 Γ 1 4 3 4 1 4 3 2 1 4 7 4 1 4 .
The applicative framework of the results we have just obtained is indeed interesting. We would like to mention the Fried–Conte dispersion function Z ( x ) , often used in plasma physics [23], which, within the present context, is just written in terms of the complex function defined in Equation (16)
Z ( x ) = i π E g ( x ) .
Before closing the paper, we would like to add a comment regarding the umbral definition of the so-called Lévy stable distributions [24,25,26] describing non-standard statistical effects in different phenomenological environments. Regarding the umbral form of this family of functions, we proceed as outlined below.
Example 11.
The Lévy stable distribution g α ( x ) , in the present notation, can be defined as [2]
g α ( x ) = 1 π x e f ^ x α ε 0 ,   α R : 0 < α < 1 ,   f ^ β ε 0 = Γ ( β + 1 ) sin ( π β )
and its explicit expression in terms of infinite series can be written as
g α ( x ) = 1 π r = 0 ( 1 ) r x α r 1 r ! Γ ( α r + 1 ) sin π α r .
Although it is of limited usefulness for accurate numerical computations, as underscored in [25], we have used this form because of its straightforward umbral version. By applying the same procedure leading to Equation (37), we find the following integral representation:
g α ( x ) = 1 π I m 0 e s x ( 1 ) α s α d s .
These distributions have the remarkable property that all the moments x μ = 0 x μ g α ( x ) d x are not defined for μ > α . By a direct application of our method, it is indeed easy to check that
x μ = 1 π 0 x μ 1 e f ^ x α d x ε 0 = 1 π α Γ μ α f ^ μ ε 0 = 1 π α Γ μ α Γ μ + 1 sin π μ = Γ ( μ ) sin ( π μ ) sin π μ α Γ μ α , 0 < μ < α < 1 .
Example 12.
Another important property [25],
0 e p x g α ( x ) d x = e p α , p > 0 ,   0 < α < 1 ,
namely, the fact that the Laplace transform of the Lèvy stable distribution is the stretched exponential [27], is easily derived from Equation (56), as shown below.
0 e p x g α ( x ) d x = I m π 0 e p x 0 e s x ( 1 ) α s α d s d x = I m π 0 e ( 1 ) α s α s + p d s = e p α , p > 0 .
Furthermore, the Laplace transform of the following modified form of g α ( x )
g α , ν ( x ) = I m π 0 s ν e s x ( 1 ) α s α d s
yields the Weibull distribution [28,29]
0 e p x g α , α 1 ( x ) d x = p α 1 e p α .
This article has outlined the study of the consequences that can be drawn from the umbral reformulation of the Gaussian functions in terms of an elementary rational function. The formalism has shown significant flexibilities, and we have been able to include in the present analysis different topics not of secondary interest. The introduction of the Gaussian “trigonometry” opens an interesting link with the theory of Harmonic oscillator functions and of the possibility of a generalization to multidimensional cases. Furthermore, the introduction of the complex function (16) offers interesting speculation on its relationship with the Kramers–Kronig relationship and its possible use in plasma physics [23] for the study of the plasma dispersion functions.

Author Contributions

Conceptualization: G.D.; methodology: G.D. and S.L.; data curation: S.L.; validation: G.D., E.D.P. and S.L.; formal analysis: G.D. and S.L.; writing—original draft preparation: G.D. and S.L.; 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.

Data Availability Statement

Not applicable.

Acknowledgments

The work of S. Licciardi was carried out under the auspices of INDAM’s GNFM.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Roman, S. The Umbral Calculus; Dover Publications: New York, NY, USA, 2005. [Google Scholar]
  2. Licciardi, S.; Dattoli, G. Umbral Calculus, a Different Mathematical Language; World Scientific: Singapore, 2022. [Google Scholar]
  3. Andrews, L.C. Special Functions for Engineers and Applied Mathematicians; Mc Millan: New York, NY, USA, 1985. [Google Scholar]
  4. Abramovitz, M.; Stegun, I.A. Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables; 9th Printing; Dover: New York, NY, USA, 1972. [Google Scholar]
  5. Dattoli, G.; Di Palma, E.; Licciardi, S.; Sabia, E. From circular to Bessel functions: A transition through the umbral method. Fractal Fract. 2017, 1, 9. [Google Scholar] [CrossRef]
  6. Dattoli, G.; Licciardi, S.; Pidatella, R.M. Theory of Generalized Trigonometric functions: From Laguerre to Airy forms. J. Math. Anal. Applic. 2018, 468, 103–115. [Google Scholar] [CrossRef]
  7. Raza, N.; Zainab, U.; Araci, S.; Esi, A. Identities involving 3-variable Hermite polynomials arising from umbral method. Adv. Differ. Equ. 2020, 640, 1–16. [Google Scholar] [CrossRef]
  8. Raza, N.; Zainab, U. Umbral treatment and lacunary generating function for Hermite polynomials. Georgian Math. J. 2023. [Google Scholar] [CrossRef]
  9. Gessel, I.M.; Jayawant, P. A Triple Lacunary Generating Function for Hermite Polynomials. Electron. J. Comb. 2005, 12, R00. [Google Scholar] [CrossRef] [PubMed]
  10. Dattoli, G.; Licciardi, S. Monomiality and a New Family of Hermite Polynomials. Symmetry 2023, 15, 1254. [Google Scholar] [CrossRef]
  11. Alyusof, R. Quasi-Monomiality Principle and Certain Properties of Degenerate Hybrid Special Polynomials. Symmetry 2023, 15, 407. [Google Scholar] [CrossRef]
  12. Zainab, U.; Raza, N. Mittag-Leffler-Gould-Hopper polynomials: Symbolic Approach. Authorea 2023. [Google Scholar] [CrossRef]
  13. Dowker, J.S. Poweroids revisited—An old symbolic approach. arXiv 2013, arXiv:1307.3150. [Google Scholar]
  14. Babusci, D.; Dattoli, G.; Licciardi, S.; Sabia, E. Mathematical Methods for Physics; World Scientific: Singapore, 2019. [Google Scholar]
  15. Dattoli, G.; Di Palma, E.; Sabia, E.; Licciardi, S. Products of Bessel Functions and Associated Polynomials. Appl. Math. Comp. 2015, 266, 507–514. [Google Scholar]
  16. Nijimbere, V. Analytical and Asymptotic Evaluations of Dawson’s Integral and Related Functions in Mathematical Physics. J. Appl. Anal. 2019, 25, 43–55. [Google Scholar] [CrossRef]
  17. Jackson, J.D. Classical Electrodynamics, 3rd ed.; Wiley: New York, NY, USA, 1999; ISBN 0-471-30932-X. [Google Scholar]
  18. Appéll, P.; Kampé de Fériét, J. Fonctions Hypergeometriques and Hyperspheriques. Polynomes d’Hermite; Gauthiers-Villars: Paris, France, 1926. [Google Scholar]
  19. Harmonic Oscillator (Notes on Quantum Mechanics). Last Updated Thursday. Available online: http://quantum.bu.edu/notes/QuantumMechanics/HarmonicOscillator.pdf (accessed on 30 November 2006).
  20. Berndt, B. Ramanujan’s Notebooks; Part I; Springer: New York, NY, YSA, 1985. [Google Scholar]
  21. Babusci, D.; Dattoli, G. On Ramanujan Master Theorem. arXiv 2011, arXiv:1103.3947. [Google Scholar]
  22. Nijimbere, V. Evaluation of the non-elementary integral ∫eλxαdx and related integrals. arXiv 2017, arXiv:1702.08438. [Google Scholar]
  23. Fried, B.D.; Conte, S.D. The Plasma Dispersion Function; Academic Press: New York, NY, USA, 1961. [Google Scholar]
  24. Kahane, P. Lèvy Flights and Related Topics in Physics; Lecture Notes in Physics; Shlesinger, M.F., Zaslavsky, G.M., Frisch, U., Eds.; Springer: Berlin, Germany, 1995; Volume 45. [Google Scholar]
  25. Penson, K.; Gorska, K. Exact and explicit probability densities for onesided Levy stable distributions. Phys. Rev. Lett. 2010, 105, 210604. [Google Scholar] [CrossRef] [PubMed]
  26. Anderssen, R.S.; Husain, S.A.; Loy, R.J. The Kohlrausch function: Properties and applications. ANZIAM J. 2004, 45, C800. [Google Scholar] [CrossRef]
  27. Kohlrausch, R. Theorie des elektrischen Rückstandes in der Leidner Flasche. Ann. Der Phys. 1854, 91, 56–82, 179–213. [Google Scholar] [CrossRef]
  28. Tsallis, C. Possible generalization of Boltzmann-Gibbs statistics. J. Stat. Phys. 1988, 52, 479–487. [Google Scholar] [CrossRef]
  29. Tsallis, C. Introduction to Non Extensive Statistical Mechanics: Approaching a Complex World; Springer: New York, NY, USA, 2009. [Google Scholar]
Figure 1. Gaussian trigonometric “circumference”: egg-shaped curve. C g ( x ) vs. S g ( x ) .
Figure 1. Gaussian trigonometric “circumference”: egg-shaped curve. C g ( x ) vs. S g ( x ) .
Symmetry 15 02157 g001
Figure 2. C g ( x ) and S g ( x ) vs. x.
Figure 2. C g ( x ) and S g ( x ) vs. x.
Symmetry 15 02157 g002
Figure 3. Normalized S g ( n ) ( x ) for different values of n.
Figure 3. Normalized S g ( n ) ( x ) for different values of n.
Symmetry 15 02157 g003
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Dattoli, G.; Di Palma, E.; Licciardi, S. On an Umbral Point of View of the Gaussian and Gaussian-like Functions. Symmetry 2023, 15, 2157. https://doi.org/10.3390/sym15122157

AMA Style

Dattoli G, Di Palma E, Licciardi S. On an Umbral Point of View of the Gaussian and Gaussian-like Functions. Symmetry. 2023; 15(12):2157. https://doi.org/10.3390/sym15122157

Chicago/Turabian Style

Dattoli, Giuseppe, Emanuele Di Palma, and Silvia Licciardi. 2023. "On an Umbral Point of View of the Gaussian and Gaussian-like Functions" Symmetry 15, no. 12: 2157. https://doi.org/10.3390/sym15122157

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