Umbral Calculus and New Trigonometries

Silvia Licciardi

doi:10.55060/s.atmps.231115.009

Previous Article In Volume

Next Article In Volume

Umbral Calculus and New Trigonometries

Downloads:

311

Full-Text Views:

75

Citations (Scopus):

0

Citations (Crossref):

0

Download PDF

Cite This Article

Authors

Silvia Licciardi¹^{, *}

¹

Department of Engineering, University of Palermo, Palermo, Italy

^*

Corresponding author. Email: silvia.licciardi@unipa.it

Corresponding Author

Silvia Licciardi

Article History

Received 26 August 2023
Revised 5 September 2023
Accepted 5 October 2023
Available Online 29 November 2023

DOI: https://doi.org/10.55060/s.atmps.231115.009
Keywords: Umbral methods
Operator theory
Bessel function
Hermite polynomials
Trigonometric functions
Fresnel integral
Abstract: This article presents an overview of Umbral calculus and of its wide range of applicability. The aim is to provide new tools, embedding umbral, symbolic and operatorial methods to be exploited in pure and applied mathematics, in the research of analytical or numerical solutions in different fields.
Copyright: © 2023 The Authors. Published by Athena International Publishing B.V.
Open Access: This is an open access article distributed under the CC BY-NC 4.0 license (https://creativecommons.org/licenses/by-nc/4.0/).

1. INTRODUCTION

The term Umbra¹ has been diffused by S. Roman and G.C. Rota [1] in the second half of the 20th century to underline, in the emerging field of operational calculus, the practice of replacing the representation in series of certain function fx with the formal exponential series². Earlier, other mathematicians like J. Blissard in Theory of Generic Equations or Edouard Lucas in Théorie nouvelle des nombres de Bernoulli et d'Euler, established the rules which allowed for viewing different functions through the same abstract entity and showed its usefulness for a wide range of applications. In the current research, the same starting point has been used but with methods closer to the Heaviside point of view [2], by proposing strategies combining different technicalities and operational methods which yield the formulation of a powerful “different mathematical language” [3]. The umbral image, the key element to establish the rules to replace higher transcendental functions in terms of elementary functions, and rewrite complex problems into simplified exercises, will be the starting point to fix the criteria to take advantage from such a replacement, based on the Laplace and Borel transform Theory and the Principle of Permanence of the Formal Properties.

To introduce the umbral operator, we have to provide some preliminary definitions. The operator c^, called umbral, is a shift operator c^=e∂z acting on an appropriate chosen vacuum³, which is a function that will change according to the problem to solve [3]. If the initial vacuum is, for example, the function:

φμ:=φμ= 1Γμ+1 ∀μ∈ℝ(1)

the umbral operator c^ μ, ∀μ∈ℝ, will be the action of the operator c^ on the vacuum φ0 such that:⁴

c^ μφ0:=φμ=1 Γμ+1(2)

By that definition, the operator c^ has the properties of the standard exponential c^ ±μc^ ν=c^ ±μ+ν and c^ ±μν=c^ ±μ ν,∀μ,ν∈ℝ. In the following we list a plethora of examples of applications of the umbral operator. We start with the creation of the umbral image of some special function.

2. SPECIAL FUNCTIONS

By using the operator in Eq. 25 and the property of Γ-functions [4], we find the umbral image of the Bessel function [5]. Indeed, by exploiting the series representation of the Bessel function, we get, ∀x∈ℝ:

J0x=∑r=0∞−1rx22rr!2=∑r=0∞d−1rx22rc^ rr!φ0=e−c^x22φ0(3)

obtaining in this way a new formulation of Bessel function in terms of the Gaussian function. We can furthermore write the umbral n-order Bessel function:

Jnx=∑r=0∞−1rx22r+nr!r+n!=c^x2e−c^x22φ0 ∀x∈ℝ(4)

So we have formally reduced a transcendental function to an exponential form, downgrading the “complexity” of the function.

The umbral image is not unique indeed, if we chose another vacuum, the action of the umbral operator will yield a different function. For example, if we introduce the pair umbral operator/vacuum such that:

b^ rΦ0:=Φr=1Γr+12 ∀r∈ℝ(5)

we obtain:

J0x=∑r=0∞−1rr!2x22r=∑r=0∞−1rx22rb^ rΦ0=11+b^x22Φ0 ∀x∈ℝ(6)

thus expressing the Bessel function in a rational form, according to operator b^ and the vacuum Φ0. Obviously, the umbral images are “equivalent” in the sense that the mathematical problems including the initial function (in the present example, the Bessel function) can be treated indifferently through the first of the second proposed umbral image, as shown below.

Example 1.

∀x∈ℝ

∫−∞∞J0xdx =∫−∞∞e−cˆx22dxφ0=2πcˆφ0=2πcˆ−12φ0=2π1Γ−12+1=2(7)

∫−∞∞J0xdx =∫−∞∞11+bˆx22dxΦ0=2πbˆΦ0=2πbˆ−12Φ0= 2πΓ122=2(8)

This kind of new “interpretation” of a certain function opens a wide range of possibilities. To this aim, we provide some examples including the solution of non-trivial integrals.

Example 2.

We consider integrals involving the Bessel function J0⋅ and the umbral operator c^ [3,6]. Then ∀a,b∈ℝ:ax2+bx>0:

IJa,b= ∫−∞∞J02ax2+bxdx=∫−∞∞e−cˆax2+bxdxφ0=πcˆaecˆb24aφ0=πab2aI− 12ba (9)

where Iνx is a modified Bessel function of the first kind, or ∀a,b∈ℝ+:

IL,Ja,b=∫−∞∞J02ax1+bx21+bx2dx=πb∑r=0∞Γr+12r!3−abr(10)

Furthermore, we want to stress the possibility to evaluate the product of special functions by using the umbral images. However, we recall that in general the operator is not commutative. So if we want to calculate, for example, J0x2 we cannot use the same operator raised to power 2, but we have to define two different operators acting on two different vacua in the following way. We get ∀a,b,x∈ℝ [7]:

J0ax=e−a2cˆ1x22φ0,1 J0bx=e−b2cˆ2x22φ0,2(11)

and introduce the function fx;a,b:=J0axJ0bx. Then [7]:

fx;a,b=e−a2cˆ1+b2cˆ2x22φ0,1φ0,2(12)

By expanding the exponential in MacLaurin series we can finally write:

fx,⋅a, b=∑r=0∞(−1)rr!lra2, b2χ22rlra, b=r!∑s=0rar−sbs(s!)2[r−s!]2(13)

hence finding a closed formula for a non-trivial product of special functions.

2.1. Hermite Polynomials

We consider now the two-variable polynomials of Hermite Kampé dè Fériét [4,8,9], also called heat polynomials:

Hnx,y=n!∑s=0n2xn−2sysn−2s!s! ∀x,y∈ℝ, ∀n∈ℕ(14)

with generating function [3]:

∑r=0∞tnn!Hnx,y=ext+yt2(15)

From an operational point of view, they can be expressed as the result of the action of the operator ∂x2 on the monomial xn:Hnx,y=ey∂x2xn [5,10]. In a geometrical sense we understand the operational rule as the transformation of the exponential operator on an ordinary monomial into a Hermite type special polynomial. The “evolution” from an ordinary monomial to the corresponding Hermite is shown by moving the cutting plane orthogonal to the y axis (Fig. 1). For a specific value of the polynomial degree n, the polynomials lie on the cutting plane. For negative values of y they realize an orthogonal set [3,11]. By using the umbral technique [1], we can extend the Hermite polynomial representation to Hermite function representation [10,11], considering the order ν∈ℝ and exploiting the Newton binomial and the Laplace transform [4,12,13,14], as shown below.

Proposition 1.

Hnx,y=x+ yhˆnθ0 ∀x,y∈ℝ,∀n∈ℕ(16)

with yhˆ umbral operator and θ0 vacuum such that:

yhˆrθ0:=θr=yr2r!Γr2+1cosrπ2=0 r=2s+1ys2s!s! r=2s ∀s∈ℤ(17)

Proof.

By considering the definition of the yhˆ operator we can write:

x+ yhˆnθ0 =∑r=0nnrxn−r yhˆrθ0=∑r=0nnrxn−rys2s!s!=∑s=0n2xn−2sysn!n−2s!s!=Hnx,y(18)

Proposition 2.

The relevant Hermite function integral representation, with order real and negative too, can be written as:

H−νx,y=1Γν∫0∞sν−1e−sxe−ys2ds ∀x∈ℝ,∀y,ν∈ℝ+(19)

Proof.

By considering the definition of the yhˆ operator we can write:

H−νx,y=1x+ yhˆνθ0=∫0∞e−xssν−1e−yhˆsΓνdsθ0=1Γν∫0∞sν−1e−sxe−ys2ds

Furthermore, if we introduce another application of the umbral methods, called Hermite calculus [15], we can reach the target to combine the previous results and calculate, for example, non-trivial integrals including combination of special functions. To give an idea of the methods we will use, we consider the following integral:

Iα,β,γ=∫−∞∞e−α+βx2−γxdx(20)

which can be evaluated through the Gauss-Weierstrass integral [3]:

Iα,β,γ=πα+βeγ24α+β(21)

but we recast the integral in Eq. (20) in umbral form:

Iα,β,γ=∫−∞∞e−αx2−hˆγ,−βxdx(22)

where we introduced the umbral operator hˆ.,. and the vacuum η0 such that:

hˆx,yrη0:=Hrx,y(23)

By that position, we can recast:

e−hˆγ,−βx=∑r=0∞(−x)rr!hˆγ,−βr=∑r=0∞(−x)rr!Hrγ,−β(24)

and by treating the umbral operator hˆ.,. as an ordinary algebraic quantity, as explained previously, we can solve the integral in Eq. (22) in the form:

Iα,β,γ=παehˆγ,−β24αη0=πα∑r=0∞1r!hˆγ,−β24αrη0=πα∑r=0∞1r!H2rγ2α,−β4α=πα+βeγ24α+β(25)

In this way, we have shown the flexibility of the technique. Indeed, we can raise the complexity of the integrals and solve them by methods as, for example, in the case of the anharmonic oscillator in the example below [15,16].

Example 3.

Let:

Ja,b,c=∫−∞∞e−ax4+bx2+cxdx Rea>0(26)

be the integral of the anharmonic oscillator. We can solve it by the Hermite calculus position:

Ja,b,c=∫−∞∞e−hˆb,−ax2−cxdx=πhˆec24hˆ=π∑s=0∞1s!c22shˆ−s+12(27)

in which we used the fractional order of the umbral operator and of the Hermite function:

hˆ−s+12=H−s+12b,−a(28)

The same consideration can be done for each special function through appropriate umbral images. We list in the following just some examples for the Laguerre, Jacobi, Legendre, Tricomi-Bessel and Chebyshev functions, and the Voigt transform [12,17,18].

LaguerreLnx, γ=(γ−c^x)nϕ0JacobiPnα,βz=Γn+α+1Γn+β+1n!2Rnα,βx−12,x+12Rnα,βξ, η=n!c^1αc^2β[c^1ξ+c^2η]nϕ1,0ϕ2ε0LegendrePnx=Rn0,0ξ,ηTricomi-BesselCvx=1χv2Jv2χChebyshevUnx, y=1n!∫0∞e−s−xs+(−ys)h^nθ0dsVoigtvf^x,y;z=∫0∞e−xt−yt2fztdt

and so on.

3. NUMBER THEORY

The umbral method can be applied in many different fields of pure and applied mathematics. A further example is indeed Number Theory. We remind that Harmonic Numbers are defined as [19,20,21,22]:

hn:=∑r=1n1r ∀n∈ℕ0(29)

In terms of Laplace transform, we obtain:

hn=∑r=1n∫0∞e−srds ∀n∈ℕ0(30)

thereby getting the n-th harmonic number through Euler's integral:

hn=∫011−xn1−xdx(31)

valid more generally ∀n∈ℝ+.

We can then introduce the function:

φhz:=φhz=∫011−xz1−xdx ∀z∈ℝ+(32)

as the Harmonic Number Umbral Vacuum:

h^ nφh0=h^ nφhzz=0 =en∂zφhzz=0=φhz+nz=0=∫011−xz+n1−xdxz=0=∫011−xn1−xdx=hn(33)

and, without dwelling on the details⁵, introduce the Harmonic Based Exponential Function as the series:

hex:=ehˆx=1+∑n=1∞hnn!xn ∀x∈ℝ (34)

In an analogous way, we can treat other families of numbers like the Motzkin, telegraph, Stirling numbers, etc.

4. CLASSIC TRIGONOMETRY

Trigonometry can also be reinterpreted in terms of umbral images.

Definition 1.

We introduce, ∀α,β∈ℝ+, the umbral vacuum:

ψκ:=Γκ+1Γακ+β ∀κ∈ℝ(35)

and the shift operator α,βdˆ such that we can get:

α,βdˆκψ0=Γκ+1Γακ+β(36)

Proposition 3.

(Cos-exponential umbral image) If α=2 and β=1,∀x∈ℝ:

cosx=∑r=0∞(−1)rx2r2r!=∑r=0∞(−1)rx2rr! 2,1dˆrψ0=e−2,1dˆx2 ψ0(37)

as we expect.

Corollary 1.

∀x∈ℝ:

∂xe−2,1dˆx2ψ0=−2x 2,1dˆe− 2,1dˆx2ψ0=−2x∑r=0∞(−1)rr+1!2r+2!x2rr!=−∑r=0∞(−1)rx2r+12r+1!=−sinx(38)

Fresnel Integral [17]:

Cx=∫x+∞cosξ2dξ ∀x∈ℝ(39)

C0=∫0+∞e−2,1dˆx4ψ0dx=14∫0∞e−yy14−1dydˆ2,1−14ψ0= 14Γ14Γ34Γ12= 12π2(40)

By applying the methods discussed so far, we can put together integrals including trigonometric functions and Hermite polynomials [23] and solve them in a simple way.

Example 4.

∫axHnξ,y cos ξdξ=−∑s=0n cos x+s+1π2n!n−s!Hn−sx,y+ −n! cos n+1π2−1n−12en−12−yemx=∑r=0mxrr! truncated exponential function∫ayHnx,η cos ηdη=−∑s=0n2 cos y+s+1π2n!n−2s!Hn−2sx,y+−n!(−1)−n−244en−2(−1)14x[k]em(x)=∑r=0mkxm−krm−kr! truncated exponential function of order k(41)

5. NEW TRIGONOMETRIES AND THE GIELIS SUPERFORMULA

We wish to close this contribution with a view on new trigonometries and the Gielis Superformula.

Definition 2.

We introduce the composition rule ∀x,y∈ℝ,∀n∈ℕ:

leyl∂xxn=∑r=0nnr2xn−ryr:=x⊕lyn(42)

called the Laguerre binomial sum.

Eq. (42) is based on the Laguerre exponential [24,25]:

leη:=∑r=0∞ηrr!2 ∀η∈ℝ(43)

in which the argument of the function includes the Laguerre derivative l∂x and the binomial coefficient has exponent 2 instead of 1 in the ordinary Newton binomial. Then, in full analogy with the ordinary Euler formulae, we introduce the following:

Definition 3.

We introduce l-trigonometric (l-t) functions through the identity:

leix= lcx+iιsx(44)

where l − t cosine and l − t sine functions are specified by the series⁶ (Fig. 2):

lcx=∑r=0∞(−1)rx2r2r!2 , lsx=∑r=0∞(−1)rx2r+12r+1!2(45)

We can also use matrices as arguments of the l-sin or l-cos functions (like in PDE system problems): see Fig. 3.

Finally, by using the Superformula of Johan Gielis [26], a wide range of novel shapes can be generated (Fig. 4). ∀n1,n2,n3,m,a,b∈ℝ+,a,b≠0,∀θ∈ℝ,r=rθ radius:

1r=1acosm4θn21bsinm4θn3n1(46)

We can identify cos→ lcos and sin→ lsin and repeat the procedure as in the previous sections, so yielding “strange” and lovely new figures in 2D and 3D (Fig. 5).

ACKNOWLEDGMENTS

This work was supported by an ENEA Research Center individual fellowship and under the auspices of INDAM's GNFM (Italy).

Footnotes

1

It is assonant to the term “Ombra” in Latin which means “shadow” in English.

2

The promotion of the index n in c_n to a power exponent of the operator ĉ, the umbral operator, is the essence of umbra, since it is a kind of projection of one into the other: fx=∑n=0∞cnxnn! →∑n=0∞c^xnn!=ec^x

3

This term is used to stress that the action of the operators, raised to some power, is that of acting on an appropriate set of functions by “filling” the initial state φ0= 1 Γ1 (see [3] for a rigorous treatment of the topic).

4

c^ μφ0=eμ∂zφz∣z=0=φz+μz=0= 1 Γz+μ+1z=0= 1 Γμ+1

5

See [20] for more details.

6

The l-t functions are defined by the corresponding series expansion lchx=∑r=0∞x2r[2r!]2, lshx=∑r=0∞x2r+1[2r+1!]2

REFERENCES

[1]

S.M. Roman, G.-C. Rota. The Umbral Calculus. Advances in Mathematics, 1978, 27(2): 95–188. https://doi.org/10.1016/0001-8708(78)90087-7

[2]

P.J. Nahin. Oliver Heaviside: The Life, Work, and Times of an Electrical Genius of the Victorian Age. Baltimore: Johns Hopkins University Press, 2002.

[3]

S. Licciardi, G. Dattoli. Guide to the Umbral Calculus: A Different Mathematical Language. Singapore: World Scientific, 2022. https://doi.org/10.1142/12804

[4]

M. Abramowitz, I.A. Stegun. Handbook of Mathematical Functions: With Formulas, Graphs, and Mathematical Tables, 9th revised edition. New York: Dover Publications, 1972.

[5]

D. Babusci, G. Dattoli, S. Licciardi, E. Sabia. Mathematical Methods for Physicists. Singapore: World Scientific, 2019. https://doi.org/10.1142/11315

[6]

G. Dattoli, B. Germano, S. Licciardi, M.R. Martinelli. Integrals of Special Functions and Umbral Methods. International Journal of Applied and Computational Mathematics, 2021, 7(4): 120. https://doi.org/10.1007/s40819-021-01047-w

[7]

G. Dattoli, E. Di Palma, E. Sabia, S. Licciardi. Products of Bessel Functions and Associated Polynomials. Applied Mathematics and Computation, 2015, 266: 507–514. https://doi.org/10.1016/j.amc.2015.05.085

[8]

P. Appell, J. Kampé de Fériet. Fonctions Hypergeìomeìtriques et Hyperspheìriques: Polynomes d'Hermite. Paris: Gauthier-Villars, 1926. (in French)

[9]

G. Dattoli, B. Germano, P.E. Ricci. Hermite Polynomials With More Than Two Variables and Associated Bi-Orthogonal Functions. Integral Transforms and Special Functions, 2009, 20(1): 17–22. https://doi.org/10.1080/10652460801933678

[10]

G. Dattoli, B. Germano, P.E. Ricci. Comments on Monomiality, Ordinary Polynomials and Associated Bi-Orthogonal Functions. Applied Mathematics and Computation, 2004, 154(1): 219–227. https://doi.org/10.1016/S0096-3003(03)00705-7

[11]

M. Artioli, G. Dattoli. Geometry of Two-Variable Legendre Polynomials. Wolfram Demonstrations Project, 25 January 2016. http://demonstrations.wolfram.com/GeometryOfTwoVariableLegendrePolynomials/

[12]

G. Dattoli, B. Germano, S. Licciardi, M.R. Martinelli. On an Umbral Treatment of Gegenbauer, Legendre and Jacobi Polynomials. International Mathematical Forum, 2017, 12(11): 531–551. https://doi.org/10.12988/imf.2017.6789

[13]

L.C. Andrews. Special Functions for Engineers and Applied Mathematicians. New York: Macmillan, 1985.

[14]

J. Mikusiński. On the Function Whose Laplace-Transform is exp(−sa). Studia Mathematica, 1959, 18(2): 191–198. https://doi.org/10.4064/sm-18-2-191-198

[15]

G. Dattoli, B. Germano, S. Licciardi, M.R. Martinelli. Hermite Calculus. In: J. Gielis, P.E. Ricci, I. Tavkhelidze (Eds.), Modeling in Mathematics: Proceedings of the Second Tbilisi-Salerno Workshop on Modeling in Mathematics. Atlantis Transactions in Geometry, Vol. 2, pp. 43–52. Paris: Atlantis Press, 2017. https://doi.org/10.2991/978-94-6239-261-8_4

[16]

J. Boháčik, P. August쬬 P. Prešnajder. Non-Perturbative Anharmonic Correction to Mehler's Presentation of the Harmonic Oscillator Propagator. Ukrainian Journal of Physics, 2014, 59(2): 179–192. https://doi.org/10.15407/ujpe59.02.0179

[17]

S. Licciardi, R.M. Pidatella, M. Artioli, G. Dattoli. Voigt Transform and Umbral Image. Mathematical and Computational Applications, 2020, 25(3): 49. https://doi.org/10.3390/mca25030049

[18]

N.M. Temme. Voigt Function. In: F.W.J. Olver, D.W. Lozier, R.F. Boisvert, C.W. Clark (Eds.), NIST Handbook of Mathematical Functions. Cambridge: Cambridge University Press, 2010.

[19]

J. Sondow, E.W. Weisstein. Harmonic Number. MathWorld – A Wolfram Web Resource. http://mathworld.wolfram.com/HarmonicNumber.html

[20]

G. Dattoli, H.M. Srivastava. A Note on Harmonic Numbers, Umbral Calculus and Generating Functions. Applied Mathematics Letters, 2008, 21(7): 686–693. https://doi.org/10.1016/j.aml.2007.07.021

[21]

R.W. Gosper. Harmonic Summation and Exponential GFS. Post on math-fun@cs.arizona.edu, 2 August 1996.

[22]

G. Dattoli, B. Germano, S. Licciardi, M.R. Martinelli. Umbral Methods and Harmonic Numbers. Axioms, 2018, 7(3): 62. https://doi.org/10.3390/axioms7030062

[23]

G. Dattoli, S. Licciardi. Operational, Umbral Methods, Borel Transform and Negative Derivative Operator Techniques. Integral Transforms and Special Functions, 2020, 31(3): 192–220. https://doi.org/10.1080/10652469.2019.1684487

[24]

G. Dattoli, E. Di Palma, S. Licciardi, E. Sabia. From Circular to Bessel Functions: A Transition Through the Umbral Method. Fractal and Fractional, 2017, 1(1): 9. https://doi.org/10.3390/fractalfract1010009

[25]

G. Dattoli, S. Licciardi, R.M. Pidatella. Theory of Generalized Trigonometric Functions: From Laguerre to Airy Forms. Journal of Mathematical Analysis and Applications, 2018, 468(1): 103–115. https://doi.org/10.1016/j.jmaa.2018.07.044

[26]

J. Gielis. A Generic Geometric Transformation That Unifies a Wide Range of Natural and Abstract Shapes. American Journal of Botany, 2003, 90(3): 333–338. https://doi.org/10.3732/ajb.90.3.333

Previous Article In Volume

Next Article In Volume

Cite This Article

ris

TY  - CONF
AU  - Silvia Licciardi
PY  - 2023
DA  - 2023/11/29
TI  - Umbral Calculus and New Trigonometries
BT  - Proceedings of the 1st International Symposium on Square Bamboos and the Geometree (ISSBG 2022)
PB  - Athena Publishing
SP  - 95
EP  - 106
SN  - 2949-9429
UR  - https://doi.org/10.55060/s.atmps.231115.009
DO  - https://doi.org/10.55060/s.atmps.231115.009
ID  - Licciardi2023
ER  -

download

copy

enw

bib

Article Contents

Proceedings of the 1st International Symposium on Square Bamboos and the Geometree (ISSBG 2022)

1. INTRODUCTION

2. SPECIAL FUNCTIONS

Example 1.

Example 2.

2.1. Hermite Polynomials

Proposition 1.

Proof.

Proposition 2.

Proof.

Example 3.

3. NUMBER THEORY

4. CLASSIC TRIGONOMETRY

Definition 1.

Proposition 3.

Corollary 1.

Example 4.

5. NEW TRIGONOMETRIES AND THE GIELIS SUPERFORMULA

Definition 2.

Definition 3.

ACKNOWLEDGMENTS

Footnotes

REFERENCES

Cite This Article