You are watching a preview-version of the website. Click here to log out.

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

A Note on Low Factorial Based Polynomials
Downloads:
708
Full-Text Views:
58
Citations (Scopus):
0
Citations (Crossref):
0
Cite This Article

1. INTRODUCTION

Methods based on the formalisms of monomiality [1,2] and/or umbrality, in their different declinations [3,4,5,6,7,8,9,10], have been useful tools to simplify and unify the treatment of special functions and polynomials.

Within the first point of view, special polynomials are reduced to ordinary monomials, while the latter can be exploited to reduce higher transcendent to elementary functions. The Bessel functions can e. g. be viewed as ordinary Gaussians and the Hermite or Laguerre polynomials can be treated as ordinary Newton binomials [9,10].

In this article we apply the technicalities of the monomiality/umbral formalism to study polynomials belonging to families (like the Mittag-Leffler polynomials and the relevant generalizations [11,12]) which can be expressed as combinations of lower factorial polynomials (l.f.p.).

The interest in the problem is due to the possibility of combining different algebraic procedures, offering significant simplifications, for the derivation of the relevant properties.

The lower factorial polynomials are expressed in terms of the Pochhammer symbol [13] as:

snx=(x)n=Γx+1Γxn+1(1)

They belong to the family of Sheffer sequences [14] and are monomials [1,2] under the action of the derivative P^ and multiplicative M^ operators, which defined in terms of differential operators read:

P^=eD^x1M^=xeD^x(2)
where D^ x is the ordinary derivative.

Within the context of monomiality the P^, M^ define the key tools of the relevant formalism. They satisfy the commutation bracket P^, M^=i^ and, regarding the specific monomials on which they operate, they produce the same recurrences as in the case of ordinary monomials (see [1,2] for further comments). Regarding therefore the lower factorial polynomials, the following identities are satisfied:

P^snx=nsn1xM^snx=sn+1xM^P^snx=nsnx(3)

The last of which, written in terms of the differential realization of the operators P^, M^  in Eq. (2) reads:

xeD^xeD^x1snx=xsnxsnx1=nsnx(4)

Furthermore, the multiplicative operator allows to construct the associated QM polynomial according to the identity:

mnx=M^n1(5)

Where 1 is the monomiality vacuum (see final comments in Section 4). Regarding the case under study, we find:

snx=xexn1=xexxex1=xx1x2=Γx+1Γxk+1(6)

The generating functions of any quasi-monomial can therefore be cast in the form:

gMx,t=n=0tnn!mnx=etM^1(7)

Regarding the lower factorial polynomials we obtain:

n=0tnn!snx=n=0tnn!Γx+1Γxn+1=n=0tnxn=(1+t)x(8)

The last identity deserves further comments, useful for next developments.

According to the previous remarks, it is evident that:

P^eλx^φ0=n=0λnn!P^(x)n=n=0nλnn!(x)n1=λ(1+λ)x(9)

Namely, (1+t)x is the eigenfunction of the derivative operator P^, defined in the first equation of Eq. (2).

The concept and the technicalities that we have outlined in these introductory notes will be exploited in the forthcoming sections to develop a self-consistent theory of l.f.p. based polynomials.

2. EMBEDDING UMBRAL AND MONOMIALITY FORMALISMS

The umbral formalism (as conceived in [9,10] and references therein) is a fairly natural extension of the monomiality point of view. The generating function of l.f.p. in terms of umbral operators can be written as:

n=0tnn!(x)n=ex^φ0(10)

If x^ is interpreted as an operator such that (for further comments see [1,2,9,10]):

x^ vφ0=(x)vx^ μx^ vφ0=(x)v+μφ0 umbralvacuum     with  ν,μR (11)

The notion of vacuum, albeit discussed in the quoted references concerning the umbral calculus, will be touched on in the concluding comments.

We can now combine the umbral and monomiality formalism, by noting that:

eD^ x1x^xeD^ xx^(12)

Accordingly, the exponential umbral function in Eq. (10) satisfies the identity:

x^eλx^φ0=λeλx^φ0(13)

Furthermore, the cos-like expansion:

cosλx^φ0=r=0(1)rλ2rx^ 2r2r!φ0(14)
is easily shown to satisfy the cyclic property, under derivative, of the ordinary trigonometric functions. Indeed we get:
x^ ncosx^φ0=(1)ncosx^+nπ2φ0(15a)
and in particular:
x^ 2cosλx^φ0=λ2cosλx^φ0(15b)

In terms of ordinary variables, we evidently obtain that:

cosλx^φ0=cλx=r=0(1)rλ2r(x)2r2r!=(1+iλ)x+(1iλ)x2(16)
and also that, on account of the correspondence in Eq. (12), it satisfies the “differential” equation:
cλx+22cλx+1+cλx=λ2cλx(17)

As a further example, aimed at completing the scenario of how to embed the prescribed algebraic tools, we underscore that it is possible to construct new and meaningful families of polynomials.

We consider therefore a polynomial defined in terms of the Newton binomial:

κnx,y=(yc^x^)nϕ0φ0(18)
written in an umbral form with x^,φ0 defined in Eq. (11) and c^,φ0 analogous umbral quantities specified by the condition:
c^ vϕ0=1Γv+1c^ vc^ μϕ0=c^ ν+μϕ0=1Γv+μ+1ϕ0umbralvacuum (19)

The polynomials κnx,a are therefore defined as:

κnx,y=k=0n(1)knkynk(x)kk!(20)

It is interesting to note that the generating function of the polynomials in Eq. (20) writes:

n=0tnn!κnx,y=eytetc^x^ϕ0φ0(21)

The key point is now that of specifying the mathematical meaning of etc^x^ϕ0φ0, which can be inferred from the following “reduction” path:

etc^x^ϕ0φ0=r=0(t)rr!c^ rϕ0x^ rφ0=C0tx^φ0C0x^φ0=c0x=r=0(x)r(r!)2(22)

The function in the second equation of Eq. (22) is the umbral version of the zero-th order Tricomi-Bessel function [9,10].

The ordinary Tricomi-Bessel function is an eigenvalue of the Laguerre derivative [1,2], namely:

LD^ xC0λx=λC0λxLD^ x=D^ xxD^ x(23)

We find therefore that its umbral extension is an eigenvalue of:

P^M^P^=eD^ x1x1eDxP^M^P^fx=x+1fx+1fxxfxfx1(24)

Therefore we find:

eD^ x1x1eD^ xc0λx=λc0λx(25)

The above eigenvalue problem reduces to a difference equation, which will be discussed elsewhere.

The polynomials in Eq. (20) can be interpreted as an umbral image of the Laguerre polynomials. They can indeed be written as:

κnx,y=Lnx^,yφ0(26)
Lnx,y=r=0n(1)rnrynrxrr!
and note that they satisfy the partial differential equation [9,10]:
yLnx^,yφ0=x^x^x^Lnx^,yφ0(27)
whose properties and solutions will be discussed in Section 4.

Remaining within the same context we like to stress that Hermite-like polynomials can be constructed using an operational relationship, which, adapted to the case under study, reads (for the introduction of two-variable Hermite polynomials, see [15]):

eyx2x^ nϕ0=Hnx^,yϕ0=n!r=0n2(x)n2ryrn2r!r!= n!r=0n2yr2r!r!xn2r(28a)
and that the relevant generating function can be derived from that of the ordinary case1 and by using the previously outlined correspondences:
n=0tnn!Hnx^,yϕ0=etx^+yt2ϕ0=eyt2(1+t)x(28b)

These last identities can also be viewed as a particular solution of a generalization of the heat equation, commented in Section 4, along with other relevant technicalities of the formalism we are developing.

3. MITTAG-LEFFLER POLYNOMIALS

In Section 2 we introduced Laguerre-like polynomials, using a composed umbral procedure. Let us now take advantage from the formalism to note that, by keeping the derivative of both sides of Eq. (27) with respect to the variable x^, thus eventually finding:

x^Lnx^,yφ0=nc^(yc^x^)n1ϕ0φ0=nr=0n1(1)rn1rynr(x)rr+1!(29)

A family of polynomials associated with the generalized Laguerre [16] has been introduced in the past [17] as:

Λnαx,y=r=0n(1)rnrynr(x)rΓr+α+1(30)

We get therefore:

x^Lnx^,yφ0=nyΛn11x^,yφ0(31)

Finally, multiplying the right side of Eq. (31) by x^ we obtain:

x^Λn11x^,yφ0=nyk=0n1(1)kn1kynk(x)k+1k+1!(32)

The Mittag-Leffler polynomials are well documented in mathematical literature since their introduction in 1891 (see [11,12]) and are defined as:

gnx=k=0n12kn1k(x)k+1k+1!(33)

It is therefore evident (see Eq. (32) and Eq. (33)) that we can establish the following identity:

xeD^ xΛn11x,12=(2)n1gnx(34)

According to the previous identity, the Mittag-Leffler polynomials can be viewed as an umbral extension of the Laguerre family.

It is furthermore interesting (and straightforward) to obtain the generating function:

n=0tnn!gn+1x=etx^C12tx^φ0(35a)
and also:
n=0tnn!gn+1+mx=etc^x^(1+2c^x^)me2tc^x^ϕ0φ0=ets=0mms2sx^s+1Cs+12tx^ϕ0(35b)
where:
Cmx=r=0xrr+m!r!(36)
is the m-th order Tricomi Bessel and Cmx^ϕ0 is its umbral image (see Section 4 for more comments). This result yields the idea of how the merging of the two techniques (umbral & monomiality) works to unveil the intimate thread, very often unsuspected, connecting the different forms of polynomials and/or special functions.

In a forthcoming dedicated investigation, we will see how old and new results on Mittag-Leffler polynomials and generalizations can be obtained within the framework of the formalism we have illustrated so far.

4. FINAL COMMENTS

In the course of the previous sections, we have described the details of an operational formalism, but we have left poorly justified some points.

The concept of vacua regarding monomials and umbral techniques, albeit justified in the dedicated literature, is worth to be underscored here.

4.1. Monomials

We consider the specific example of Hermite polynomials, whose multiplicative operator is realized as:

M^=x+2yx(37)

If it is raised to any integer, the Burchnall rule [18,19] yields the following identity:

M^n=x+2yxn=s=0n2snsHnsx,yxs(38)

It is evident that, if acting on a constant, for simplicity 1, it yields:

M^n=Hnx,y(39)

If not, namely if the multiplicative operator is applied to any function fx (assumed to be continuous and infinitely differentiable), the conclusion is:

M^nfx=s=0n2snsHnsx,yfsx(40)

If furthermore the function can be expanded in Hermite polynomials, namely:

M^nfx=x+2yxnr=0arHrx,y=r=0arHr+nx,y(41)

The validity of identities of the type in Eq. (39) holds even for non-integer value of the exponent. Keeping n=v,  vR, we get:

M^v1=1Γv0esx+2yx1sv1ds=1Γv0esx+ys2sv1ds(42)

The last integral in Eq. (42) converges for y=y and provides the integral representation of the negative index Hermite functions [16].

The formalism of quasi monomiality can be extended to non-integer “pseudo-Hermite” polynomials and it is easily checked that they satisfy the same recurrences of the ordinary Hermite [16]. This statement holds true for all the polynomial families defined as quasi monomials. But this suggestion will not be pursued in this article.

4.2. Umbral

The definition of umbral operator and of the associated vacuum has been discussed in sufficient detail in previous articles, for a more pedagogic discussion we address the reader to [9,10]. In the case of the l.f.p. they can be identified with:

x^ezϕ0ϕz=Γx+1Γxz+1(43)
therefore:
x^nϕ0enzϕzz=0=Γx+1Γxn+1=(x)n(44)
and the extension to the non-integer or negative exponents is naturally entangled with the definitions in Eq. (43) and Eq. (44) themselves.

Another point deserving clarification is the statement about the possibility of writing quasi monomial/umbral polynomials in the form of a Newton binomial. As we see this holds true for Laguerre type polynomials but, for example, the Hermite family and its extensions (Eq. (28a), Eq. (28b)) apparently do not allow such a possibility.

The introduction of the Hermite umbral operator has been extremely useful to overcome this difficulty, namely [9,10,20,21] regarding the two variable Hermite of order 2, we find:

Hnx^,yϕ0=(x^+h^ y)nϕ0λ0h^ yrλ0=yr2r!Γr2+1 cos rπ2(45)

It is evident that, accordingly, we can cast the previous definition in the form:

Hnx^,yϕ0=eh^yx¨x^nϕ0λ0(46)

Furthermore, on account of the second equation in Eq. (45), we obtain:

eh^yxλ0=eyx^2(47)

It is therefore evident that the “Hermite” polynomials in Eq. (46) satisfy the heat type equation:

yHnx^,yϕ0=2x^2Hnx^,yϕ0Hnx^,0ϕ0=(x)n(48)
which has obvious analogies with the ordinary case (see [22,23,24,25]) and with the so-called heat polynomials.

In non-umbral terms, Eq. (48) belongs to a family of evolutive problems involving finite differences, namely (see the correspondences in Eq. (12)):

yFx,y=Fx+2,y2Fx+1,y+Fx,yFx,0=fx(49)

This observation allows a further appreciation of the usefulness of the symbolic methods which yield the possibility of getting a clear thread between apparently disconnected fields of research.

The m-th order Hermite polynomials [9,10,26,27,28,29]:

Hnx,y=n!r=0nmxnmryrr!nmr!(50)
can also be written in the form of a Newton binomial, provided that:
Hnmx,y=x+h^y,mnϕ0h^y,mrϕ0=δmrmr,0Γrm+1r!yrm (51)

We have quoted this example because apart from its relevance to the matter treated in this article, it may be a useful starting point, as illustrated elsewhere, to establish further advances in the theory of lacunary Hermite polynomial series.

The last point we touch on here is associated with the solution of differential equations satisfied by the Laguerre-like polynomials in Eq. (26), which can be written as:

yfx^,yϕ0=χ^x^χ^fx^,yϕ0fx^, 0ϕ0=ex^φ0χ^x^χ^eD^ x1+xeDx(eD^ x1)2(52)

Just mimicking the solution of the ordinary (non-umbral) case (see [9,10]), we can write the corresponding solution as:

fx^,yϕ0=11+yex^1+yϕ0(53)
which using the correspondence in Eq. (12) and Eq. (13) yields:
fx,y=11+y111+yx(54)

The last solution and Eq. (52) deserve the same already given comment regarding the generalized heat equation in Eq. (48).

The issues associated with differential equations and the umbral calculus (of finite differences) have attracted much interest, specifically in e. g. discrete quantum mechanics (see e.g. [3,4,5,6,7,8,9,10]).

Regarding this context, an important role is played by evolutive problems of the Schrödinger type. Within this framework we note e.g. that the equation:

it^fx,t^ϕ0=Hfx,t^ϕ0ifx,t+1fx,t=Hfx,t(55)
where “time” is an “umbral” variable and H is an “ordinary” Hamiltonian operator (Fig. 1).

Figure 1

Evolution of the square modulus of an initial Gaussian function ruled by the heat-like Eq. (55); dash (t=0), dot (t=2), continuous (t=3), dash-dot (t=5).

The solution of Eq. (55) can be cast in the form:

fx,t^ϕ0=U^fx,0ϕ0U^=eiHt^(56)

Where the evolution operator in non-umbral form reads:

U^=(1iH)t(57)

Thus considering, for example, a Hamiltonian of the type H=λx2 and fx,0=ex2:

fx,t=1+iλx2tex2=12π+1iλk2teikxek22dk(58)

The study of umbral evolutive PDE requires a more accurate analysis which cannot be comprised in the space of this concluding section. In this article we have gone through many aspects of symbolic calculus. Further results will be more thoroughly discussed elsewhere.

ACKNOWLEDGMENTS

The author expresses his sincere appreciation to Dr. Silvia Licciardi for the kind assistance during every stage of the article.

Footnotes

Namely n=0tnn!Hnx,y=etx+yt2

REFERENCES

G. Dattoli. Generalized Polynomials, Operational Identities and Their Applications. Journal of Computational and Applied Mathematics, 2000, 118(1–2): 111–123. https://doi.org/10.1016/S0377-0427(00)00283-1
G. Dattoli. Hermite-Bessel and Laguerre-Bessel Functions: A By-Product of the Monomiality Principle. In: D. Cocolicchio, G. Dattoli, H.M. Srivastava (Eds.), Advanced Special Functions and Applications, Proceedings of the Melfi School on Advanced Topics in Mathematics and Physics, Melfi, Italy, 1999, pp. 147–164. Rome: Aracne Editrice, 2000.
G.-C. Rota. Finite Operator Calculus. New York: Academic Press, 1975.
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
S.M. Roman. The Umbral Calculus. Pure and Applied Mathematics, Vol. 111. London: Academic Press, 1984. Reprinted by Dover Publications in 2005.
A. Di Bucchianico, D. Loeb. A Selected Survey of Umbral Calculus. The Electronic Journal of Combinatorics, Dynamic Surveys, originally published 3 August 1995, updated 10 April 2000. https://doi.org/10.37236/24
T.L. Curtright, C.K. Zachos. Umbral Vade Mecum. Frontiers in Physics, 2013, 1: 15. https://doi.org/10.3389/fphy.2013.00015
J.E. López-Sendino, J. Negro, M.A. del Olmo, E. Salgado. Quantum Mechanics and Umbral Calculus. In: O. Arratia, J.A. Calzada, F. Gómez-Cubillo, J. Negro, M.A. del Olmo (Eds.), Proceedings of the 5th International Symposium on Quantum Theory and Symmetries, Valladolid, Spain, 2007. Journal of Physics: Conference Series, 2008, Vol. 128, 012056. https://doi.org/10.1088/1742-6596/128/1/012056
D. Babusci, G. Dattoli, S. Licciardi, E. Sabia. Mathematical Methods for Physicists. Singapore: World Scientific, 2019. https://doi.org/10.1142/11315
S. Licciardi, G. Dattoli. Guide to the Umbral Calculus: A Different Mathematical Language. Singapore: World Scientific, 2022. https://doi.org/10.1142/12804
H. Bateman. The Polynomial of Mittag-Leffler. Proceedings of the National Academy of Sciences of the United States of America, 1940, 26(8): 491–496. https://doi.org/10.1073/pnas.26.8.491
G. Mittag-Leffler. Sur la Représentation Analytique: Des Intégrales et des Invariants d'une Équation Différentielle Linéaire et Homogène. Acta Mathematica, 1891, 15: 1–32. (in French) https://doi.org/10.1007/BF02392600
E.W. Weisstein. Pochhammer Symbol. MathWorld – A Wolfram Web Resource. https://mathworld.wolfram.com/PochhammerSymbol.html
I.M. Sheffer. Some Properties of Polynomial Sets of Type Zero. Duke Mathematical Journal, 1939, 5(3): 590–622. https://doi.org/10.1215/S0012-7094-39-00549-1
P. Appell, J. Kampé de Fériet. Fonctions Hypergeìomeìtriques et Hyperspheìriques: Polynomes d'Hermite. Paris: Gauthier-Villars, 1926. (in French)
L.C. Andrews. Special Functions for Engineers and Applied Mathematicians. New York: Macmillan, 1985.
D. Babusci, G. Dattoli, K. Górska, K. Penson. Lacunary Generating Functions for the Laguerre Polynomials. Séminaire Lotharingien de Combinatoire, 2017, 76: B76b.
J.L. Burchnall. A Note on the Polynomials of Hermite. The Quarterly Journal of Mathematics, 1941, 12(1): 9–11. https://doi.org/10.1093/qmath/os-12.1.9
G. Dattoli, S. Lorenzutta, A. Torre. Miscellaneous Identities of Generalized Hermite Polynomials. Le Matematiche, 1997, 52(2): 337–343.
G. Dattoli, B. Germano, M.R. Martinelli, P.E. Ricci. Lacunary Generating Functions of Hermite Polynomials and Symbolic Methods. Ilirias Journal of Mathematics, 2015, 4(1): 16–23.
N. Raza, U. Zainab, S. Araci, A. Esi. Identities Involving 3-Variable Hermite Polynomials Arising From Umbral Method. Advances in Difference Equations, 2020: 640. https://doi.org/10.1186/s13662-020-03102-0
D.V. Widder. The Heat Equation. Pure and Applied Mathematics, Vol. 67. New York: Academic Press, 1975.
P.C. Rosenbloom, D.V. Widder. Expansions in Terms of Heat Polynomials and Associated Functions. Transactions of the American Mathematical Society, 1959, 92(2): 220–266. https://doi.org/10.1090/S0002-9947-1959-0107118-2
D.V. Widder. The Role of the Appell Transformation in the Theory of Heat Conduction. Transactions of the American Mathematical Society, 1963, 109(1): 121–134. https://doi.org/10.1090/S0002-9947-1963-0154068-2
P. Appell. Sur l’Équation 2x2ZyZ et la Théorie de la Chaleur. Journal de Mathématiques Pures et Appliquées, 1892, 8: 187–216. (in French)
D.T. Haimo, C. Markett. A Representation Theory for Solutions of a Higher Order Heat Equation I. Journal of Mathematical Analysis and Applications, 1992, 168(1): 89–107. https://doi.org/10.1016/0022-247X(92)90191-F
D.T. Haimo, C. Markett. A Representation Theory for Solutions of a Higher Order Heat Equation II. Journal of Mathematical Analysis and Applications, 1992, 168(2): 289–305. https://doi.org/10.1016/0022-247X(92)90158-A
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
N. Behr, G.H.E. Duchamp, K.A. Penson. Explicit Formulae for All Higher Order Exponential Lacunary Generating Functions of Hermite Polynomials. Preprint, arXiv:1806.08417v1 [math-ph], 21 June 2018. https://doi.org/10.48550/arXiv.1806.08417

Cite This Article

ris
TY  - CONF
AU  - Giuseppe Dattoli
PY  - 2023
DA  - 2023/11/29
TI  - A Note on Low Factorial Based Polynomials
BT  - Proceedings of the 1st International Symposium on Square Bamboos and the Geometree (ISSBG 2022)
PB  - Athena Publishing
SP  - 85
EP  - 94
SN  - 2949-9429
UR  - https://doi.org/10.55060/s.atmps.231115.008
DO  - https://doi.org/10.55060/s.atmps.231115.008
ID  - Dattoli2023
ER  -
enw
bib