Sheffer and Non-Sheffer Polynomial Families

1 Gruppo Fisica Teorica e Matematica Applicata, Unità Tecnico Scientifica Tecnologie Fisiche Avanzate, ENEA-Centro Ricerche Frascati, C.P. 65, Via Enrico Fermi 45, 00044 Frascati, Rome, Italy 2 Dipartimento di Metodi e Modelli Matematici per le Scienze Applicate, Sapienza Università di Roma, Via A. Scarpa 14, 00161 Roma, Italy 3 International Telematic University Uninettuno, Corso Vittorio Emanuele II, 39 00186 Rome, Italy


Introduction
The Sheffer polynomials are defined through the generating function 1 as follows: where A t and B t are two analytic functions of the parameter t.
The above families of polynomials have been shown to be quasimonomials under the action of the operators: International Journal of Mathematics and Mathematical Sciences indeed, being D x the ordinary derivative, we easily prove that Ps n x ns n−1 x , Ms n x s n 1 x .

1.3
The polynomials, σ n,α x , specified by the generating function: do not belong to the Sheffer family.We can, however, take advantage from the identity: to prove that they are linked to the s n x by the integral transform: Before discussing the problem in general terms, we consider the case in which A t e yt 2 , B t t.

1.7
The use of the previous procedure yields Being the Hermite-Kampé de Fériet polynomials defined by x n−2r y r n − 2r !r! , 1.9 we find the explicit expression: International Journal of Mathematics and Mathematical Sciences 3 By noting that the monomiality operators associated with the H n x, y are simply given by 2 as 1.11 we obtain the following recurrences:

1.12
We can further extend the previous definition by adding an extra variable such that 1.14 According to the previous example, we have introduced anew family of polynomials, with nontrivial properties, and applications just starting from the corresponding Sheffer family and by exploiting the wealth of properties that such a family possesses.
In the second part of this paper we show how to construct particular connection coefficients relevant to several Sheffer polynomial sets, including multivariable Hermite, Legendre, and Laguerre polynomials, and, in general, Appell-type polynomial sets.

Further Non-Sheffer Polynomial Sets
It is quite straightforward to see that, inasmuch B t t, the Sheffer polynomials are essentially Appell polynomials 3 , since it always happens that the monomial operator P coincides with the ordinary derivative and therefore the associated polynomials satisfy the recurrence reported in the first of equations 1.12 .In the more general case, the situation is more interesting.For example, if International Journal of Mathematics and Mathematical Sciences the monomiality operators, associated with the relevant Sheffer form, namely, the Bell polynomials be n x , are with S 2 n, k being the Stirling numbers of second kind.The corresponding β n,α x polynomials are therefore and a recurrence satisfied by the above family is given by The Lagrange polynomials are characterized by the generating function strictly speaking the Lagrange polynomials, as currently defined in the literature, are g n,α,β x, y

2.5
They belong therefore to the family 1.4 with

2.6
It is, therefore, evident that the technique we have proposed allows a general tool to frame the theory of polynomial sets in a straightforward context, which permits a natural understanding of their properties.

Special Connection Coefficients for Hermite, Gould-Hopper, and Laguerre Polynomials
In the previous section, we have discussed different families of polynomials which can be framed within a common thread.The point to be clarified is whether they can be exploited to obtain convenient expansions.
We introduce the topics we will discuss in the second part of this paper, by considering the following expansion, involving the two variable Hermite polynomials H n x, y : H n px, qy n m 0 h m n, p, q, y H m x, y . 3.1 The problem to be solved is that of deriving the coefficients h m n, p, q, y of this expansion.The use of the identities: h m n, p, q, y x m .

3.3
Let x e iϑ so that we find from 3.3 : where n − m ≡ even.The whole procedure is based on the possibility of connecting different forms of Hermite polynomials using an exponential differential operator.According to the above result, we can consider now the Gould-Hopper polynomials in 2, 5, 6 : x n−dr y r n − dr !r! .

3.5
In this case, for the connection coefficients h d m n, p, q, y , such that where n − m ≡ dk, k ≡ integer.
In the following, we will discuss a general procedure, based on ideas analogous to that employed so far, allowing the derivation of the connection coefficients of the type 3.1 involving different forms of polynomials.
The two variable Laguerre polynomials are defined as

3.8
where L D x denotes the Laguerre derivative.We can, therefore, use the same procedure outlined for the Hermite polynomials to derive the coefficients of the expansion:

3.11
In the concluding section, we will discuss alternative derivations of 3.11 .The previous identities have been proposed as an example aimed at proving the reliability of the proposed method, which is further developed in the last section.

The Case of Legendre and Sheffer Polynomials
The Legendre polynomials can be written in terms of Hermite polynomials according to the identity from 7 : and therefore they are essentially σ polynomials of the type 1.6 .On account of 3.1 and of the fact that the ordinary Hermite polynomials are linked to their two variable counterpart by can also be written as

4.4
In general, the above family of polynomials can be defined through the formal series: Along with the " " polynomials, we can define their " − " counterpart as

4.11
In a forthcoming more extended paper, we will reconsider the topics developed in this paper by studying new expansions of functions in terms of Sheffer and non-Sheffer polynomial families.
p, q, y L m x, y , 3.9 by noting that, on account of 3.8 , the following identity holds e −y L D x L n px, qy L n px, q − p s, s, −1 ds,4.3thecoefficients h r n, s, s, −1 being defined by 3.4 .The above expansion holds for general forms of Appell polynomials:

7 Internationale
m n, p x m .4.Journal of Mathematics and Mathematical SciencesBy introducing the a − operator, defined by −imϑ a n p a − e iϑ dϑ.