arxiv: v2 [math.co] 2 Jul 2009

Transcription

1 RECURRENCE RELATIONS FOR POLYNOMIAL SEQUENCES VIA RIORDAN MATRICES ANA LUZÓN* AND MANUEL A MORÓN** arxiv: v2 [mathco] 2 Jul 2009 *Departamento de Matemática Aplicada a los Recursos Naturales ET Superior de Ingenieros de Montes Universidad Politécnica de Madrid Madrid, SPAIN anamarialuzon@upmes **Departamento de Geometria y Topologia Facultad de Matematicas Universidad Complutense de Madrid Madrid, SPAIN mamoron@matucmes Abstract We give recurrence relations for any family of generalized Appell polynomials unifying so some known recurrences of many classical sequences of polynomials Our main tool to get our goal is the Riordan group We use the product of Riordan matrices to interpret some relationships between different families of polynomials Moreover using the Hadamard product of series we get a general recurrence relation for the polynomial sequences associated to the so called generalized umbral calculus Keywords: Recurrence relation, Riordan matrix, Generalized Appell polynomials, Polynomials sequences of Riordan type, Umbral calculus MSC: B83, 68W30, 68R05, 05A40 Introduction In this paper we obtain recurrence relations for a large class of polynomials sequences In fact, we get this for any family of generalized Appell polynomials [2] Our main tool to reach our goal is the so called Riordan group [5], [2], [6], [7] This work is a natural consequence of our previous papers [8], [9] and [0], and then it can be also considered as a consequence of the well-known Banach s Fixed Point Theorem We have also to say that some papers related to this one have recently appeared in the literature [4] and [8] but our

2 approach is different from that in those papers because, our main result herein is the discovering of a general recurrence relation for sequences of polynomials associated, naturally, to Rirodan matrices In particular we get a characterization of Riordan arrays by rows The Riordan arrays are usually described by the generating functions of their columns or, equivalently, by the induced action on any power series In fact a Riordan array can be defined as an infinite matrix where the k-column is just the k-th term of a geometric progression in K[[x]] with rate a power series of order one To get a proper Riordan array, eventually an element of the Riordan group, [6], we also impose that the first term in the progression is a power series of order zero In [0] Section 3, the authors studied families of polynomials associated to some particular Riordan arrays which appeared in an iterative process to calculate the reciprocal of a quadratic polynomial There, we interpreted some products of Riordan matrices as changes of variables in the associated families of polynomials This interpretation will be exploited herein Earlier in [9] the authors approached Pascal triangle by a dynamical point of view using the Banach Fixed Point Theorem This approach is suitable to construct any Riordan array From this point of view it seems that our T(f g notation for a Riordan array is adequate, where f = f n x n, g = g n x n with 0 The notation T(f g represents the Riordan array of first term f g and rate x So the Pascal triangle P is just T( x g The action on a power series h is given by T(f g(h(x = f(x ( x g(x h The mixture of the role g(x of the parameters on the induced action allowed us to get the following algorithm of construction for T(f g which is essential to get the results in this paper: Algorithm Construction of T(f g f = f nx n, g = g nx n with 0, T(f g = (d n,j with n, j 0, f = g d nx n and d n,0 = d n 2

3 f 0 f d 0,0 d 0, d 0,2 d 0,3 d 0,4 f 2 d,0 d, d,2 d,3 d,4 f 3 d 2,0 d 2, d 2,2 d 2,3 d 2,4 f n+ d n,0 d n, d n,2 d n,3 d n,4 with d n,j = 0 if j > n and the following rules for n j: If j > 0 and if j = 0 d n,j = g d n,j g 2 d n 2,j g n d 0,j + d n,j d n,0 = g d n,0 g 2 d n 2,0 g n d 0,0 + f n Note that d 0,0 = f 0 Then, in the 0-column are just the coefficients of f g, ie d n,0 = d n The main recurrence relation obtained in this paper is ( x g ( p n (x = p n (x g 2 p n 2 (x g n p 0 (x + f n which is closely related to the algorithm The coefficients of the polynomials (p n (x are, in fact, the entries in the rows of the Riordan matrix T(f g Since our T(f g notation for Riordan arrays is not the more usual one, it is convenient to translate the above recurrence to the notation ((d(t, h(t with h(0 0 and d(0 0 used in [5, 7] Since the d rule of conversion is (d(t, h(t = T, then the coefficients (f n and (g n in ( are defined by h h d h = f n x n and h = g n x n We think that this recurrence is more difficult to predict from this last notation The matrix notation used above in the algorithm will appear often along this work so it deserves some explanation: really the matrix T(f g is what appears to the right of the vertical line The additional column to the left of the line, whose elements are just the coefficients of series f, is needed for the construction of the 0-column of the matrix T(f g Observe that if we consider the whole 3

4 matrix ignoring the line we get the Riordan matrix T(fg g This explanation is to avoid repetitions along the text The paper is organized into four sections In Section 2 we first take the Pascal triangle as our first motivation This example is given here to explain and to motivate the interpretation of Riordan matrices by rows In fact, the known recurrence for combinatorial numbers is the key to pass from the columns interpretation to the ( rows interpretation ( ( and viceversa In this sense our Algorithm is a n + n n huge generalization of the rule = + Later, we choose some classical sequences k k k of polynomials: Fibonacci, Pell and Morgan-Voyce polynomials to point out how the structure of Riordan matrix is intrinsically in the known recurrence relations for these families So we are going to associated to any of these classical families a Riordan matrix which determines completely the sequence of polynomials Using the product on the Riordan group, we recover easily some known relationships between them In Section 3, we get our main recurrence relation ( as a direct consequence of Algorithm The theoretical framework so constructed extends strongly and explains easily the examples in Section 2 and some relationships between these families We also recover the generating function of a family of polynomials by means of the action of T(f g on a power series Later on, we obtain the usual umbral composition of families of polynomials simply as a translation of the product of matrices in the Riordan group In Section 4, we obtain some general recurrence relations for any family of generalized Appell polynomials, as a consequence of our main recurrence (, and then of Algorithm In this way we get into the so called generalized Umbral Calculus, see [3], [4] We use the Hadamard product of series to pass from the Riordan framework to the more general framework of generalized Appell polynomials because the sequences of Riordan type are those generalized Appell sequences related to the geometric series, which is the neutral element for the Hadamard product We also relate in this section the x Riordan group with the so called delta-operators introduced by Rota et al [5] In this paper K always represents a field of characteristic zero and N is the set of natural numbers includin 4

5 2 Some classical examples as motivation The best known description of Pascal triangle is by rows With the next first simple classical example we point out how to pass from the column-description to the row-description To do this for any Riordan array is our main aim Example 2 Pascal s triangle The starting point of the construction of Riordan arrays is the Pascal triangle From this point of view, Pascal triangle (by columns are the terms of the geometric progression, in K[[x]], of first term x and rate x So Pascal triangle P is, by columns, ( x P = x, x x 2 ( x 2, ( x 3,, x n ( x n+,, Of course it is not the way to introduce Pascal triangle, or Tartaglia triangle, for the first time to students, because in particular it requires some understanding of the abstraction of infinity and order both on the number of columns and on the elements in any column On the contrary, the non-null elements in any row of Pascal triangle form a finite set of data Usually Pascal triangle is introduce by rows as the coefficients of the sequence of polynomials p n (x = (x + n So, by rows, Pascal triangle is (x + 0 (x + (x + 2 P = (x + n ( n The Newton formula (x + n = x k allows us to say that the n-th row of Pascal triangle is, by k ( ( ( ( ( n n n n n increasing order of power of x,,,,, As it is well-known, represents the 0 2 n k number of subsets, with exactly k-elements, of a set with n elements ( Using ( algebra, ( (x + n+ = n + n n (x + (x + n, or combinatorics, counting subsets, we see that = + This k k k ( means that the Pascal triangle P = (p n,k n,k N follows the rule: p n,0 = for every n N, because n = and p n+,k = p n,k + p n,k for k n Using for example the combinatorial interpretation 0( ( n n of we see at once that = 0 if k > n What is the same, the Pascal triangle (p n,k n,k N is totally k k 5

6 determined by the following recurrence relation: If we consider p n (x = p n,k x k then p 0 (x = and p n+ (x = (x+p n (x, n 0 It is obvious because the above relations means that p n (x = (x+ n Example 3 The Fibonacci polynomials The Pell polynomials The Morgan-Voyce polynomials The Fibonacci polynomials are the polynomials defined by, F 0 (x =, F (x = x and F n (x = xf n (x + F n 2 (x for n 2 We can unify the recurrence relation with the initial conditions if we consider the sequence (f n n N, (g n n N given by =, g = 0, g 2 =, g n = 0, n 3 and f 0 =, f n = 0 n Because if we write ( x g F n (x = F n (x g 2 F n 2 (x g n F 0 (x + f n For n 0 we obtain both the recurrence relation and the initial conditions Note that the above recurrence for Fibonacci polynomials fits the main recurrence relation ( If we consider the Riordan matrix T(f g for f = and g = x 2, T ( x 2 = (d n,k then the polynomials associated to T ( x 2 are just the Fibonacci polynomials Using Algorithm, the rule of construction is: d n,k = d n 2,k + d n,k, for k > 0 and d n,0 = d n 2,0 for n 2 and d 0,0 = and d,0 = 0 The few first rows are: Consequently the few first associated polynomials (look at the rows of the matrix are F 0 (x = F (x = x 6

7 F 2 (x = + x 2 F 3 (x = 2x + x 3 F 4 (x = + 3x 2 + x 4 F 5 (x = 3x + 4x 3 + x 5 F 6 (x = + 6x 2 + 5x 4 + x 6 Which are the Fibonacci polynomials Using the induced action of T ( x 2 we get the generating function of this sequence F n (tx n = T ( x 2( = xt x 2 xt The Pell polynomials are related to the Fibonacci polynomials Now we consider P 0 (x = and P (x = 2x with the polynomial recurrence P n (x = 2xP n (x + P n 2 (x So x g g 2 = 2x, = then g(x = 2 2 x2 and f(x = ( 2 Hence the Riordan matrix involved is T x2 with the rule of construction: d n,k = d n 2,k + 2d n,k, k > 0 again the few first rows are: with generating function We note that: P n (tx n = T ( 2 2 ( 2 x2 = xt x 2 2xt ( ( T T( x 2 T ( = T x2 7

8 So, following Proposition 4 in [0], we get that P n (x = F n (2x that is a known property of Pell polynomials Another related families of polynomials that we can treat using these techniques are the Morgan- Voyce families polynomials If we consider now the Riordan matrices T( ( x 2 and T( x ( x 2 These triangles have the same rule of construction d n,k = 2d n,k 2d n 2,k + d n,k but different initial condition In fact they are: where B 0 (x = b 0 (x = B (x = 2 + x b (x = + x B 2 (x = 3 + 4x + x 2 b 2 (x = + 3x + x 2 B 3 (x = 4 + 0x + 6x 2 + x 3 b 3 (x = + 6x + 5x 2 + x 3 In general B n (x = (x + 2B n (x B n 2 (x b n (x = (x + 2b n (x b n 2 (x with generating functions: B n (tx n = T( ( x 2 ( = xt ( b n (tx n = T( x ( x 2 = xt 8 (2 + tx + x 2 x (2 + tx + x 2

9 On the other hand it is known that the sequences (B n (x n N and (b n (x n N are related by means of the equalities: B n (x = (x + B n (x + b n (x b n (x = xb n (x + b n (x Or equivalently (2 B n (x B n (x = b n (x (3 b n (x b n (x = xb n (x These equalities can be interpreted by means of the product of adequate Riordan arrays The first of them, (2, is T( x T( ( x 2 = T( x ( x 2 or, = For the equality (3 we consider the product of matrices T( x T( x ( x 2 = T(( x 2 ( x 2 or, =

10 3 Polynomial sequences associated to Riordan matrices and its recurrence relations In this section we are going to obtain the basic main result in this paper as a consequence of our algorithm in [9] and stated again in the Introduction as Algorithm We use [9] and [0] for notation and basic results 3 The main theorem Definition 4 Consider an infinite lower triangular matrix A = (a n,j n,j N We define the family of polynomials associated to A, to the sequence of polynomials (p n (x n N, given by p n (x = a n,j x j, with n N j=0 Note that the coefficients of the polynomials are given by the entries in the rows of A in increasing order of the columns till the main diagonal Note also that the degree of p n (x is less than or equal to n The family p n (x becomes a polynomial sequences, in the usual sense, when the matrix A is invertible, that is, when all the elements in the main diagonal are non-null Our main result can be given in the following terms: Theorem 5 Let D = (d n,j n,j N be an infinite lower triangular matrix D is a Riordan matrix, or an arithmetical triangle in the sense of [9], if and only if there exist two sequences (f n and (g n in K with 0 such that the family of polynomials associated to D satisfies the recurrence relation: ( x g p n (x = p n (x g 2 p n 2 (x g n p 0 (x + f n n 0 Moreover, in this case, D = T(f g where f = f nx n and g = g nx n Proof If D is a Riordan array we can identify this with an arithmetical triangle D = T(f g such that 0 Following Algorithm we obtain that the family of polynomials associated to T(f g satisfies: = (f n p n (x = d n,j x j = d n,0 + j=0 g k d n k,0 + k= j= d n,j x j = j= ( ( d n,j 0 g k d n k,j x j = k=

11 = (f n = (f n xp n (x ( f n xp n (x d n,j x j j= j=0 k= g k d n k,0 k= j= k= g k d n k,j x j = (f n xp n (x g k d n k,j x j = ( g k p n k (x = g0 f n + (g xp n (x k= ( x g = p n (x g 2 p n 2 (x g n p 0 (x + f n On the other hand, we suppose that ( x g p n (x = p n (x g 2 p n 2 (x g n p 0 (x + f n for two sequences (f n and (g n We consider D = (d n,k such that p n (x = then d 0,0 = f 0 then so ( x g p 2 (x = in general then k= ( x g p (x = p 0 (x + f = g d 0,0 + f + d 0,0 x d,0 = g d 0,0 + f, d, = d 0,0 p (x g 2 p 0 (x + f 2 = g d,0 g 2 d 0,0 + f 2 + d n k,j x j = g k n k d 2,0 = g d,0 g 2 d 0,0, d 2, = g d, + d,0, d 2,2 = d, j=0 g k p n k (x = k=2 ( x g p n (x = p n (x g 2 p n 2 (x g n p 0 (x + f n d n,0 = g d n,0 g 2 d n 2,0 g n d 0,0 + f n d n, = g d n, g 2 d n 2, g n d 0, + d n,0 d n,j = g d n,j g 2 d n 2,j g n d 0,j + d n,j j=0 d n,j x j So p 0 (x = f 0 ( g d, + d,0 x + d, x 2

12 and d n,n = g d n,n + d n,n 2, d n,n = d n,n then using our algorithm the matrix D is just D = T(f g where f(x = f nx n and g(x = g nx n Corollary 6 If g(x = + g x + g 2 x g m x m with g m 0 be a polynomial of degree m, the recurrence relation of Theorem 5 is eventually finite It is, ( x g p n (x = p n (x g 2 p n 2 (x g m p n m (x + f n and ( x g p k (x = p k (x k i=2 n m g i p k i (x + f k 0 k m Remark 7 Following [9] the arithmetical triangle T(f g above is an element of the Riordan group when it is invertible for the product of matrices It is obviously equivalent to the fact that f 0 0 in the sequence (f n above Suppose that we have two Riordan matrices T(f g, T(l m with f = f n x n, g = g n x n l = and m = m n x n with, m 0 0 Consider the corresponding families of polynomials (p n (x n N and (q n (x n N associated to T(f g and T(l m respectively, as in Theorem 5 Using the matrix representation of T(f g and T(l m, [9], and the product of matrices, we can define an operation on these sequences of polynomials as follows: We say that (p n (x n N (q n (x n N = (r n (x n N where (r n (x n N is the family of polynomials associated to the Riordan matrix ( ( x gm ( x T(f gt(l m = T fl g g l n x n = (r n,k n,k N Conse- see [9] ( ( ( x gm Suppose T(f g = (p n,k n,k N, T(l m = (q n,k n,k N and T fl g quently p n (x = p n,k x k, q n (x = q n,k x k and r n (x = r n,k x k 2 x g

13 p 0,0 p,0 p, p 2,0 p 2, p 2,2 p n,0 p n, p n,2 p n,n q 0,0 q,0 q, q 2,0 q 2, q 2,2 q n,0 q n, q n,2 q n,n = r 0,0 r,0 r, r 2,0 r 2, r 2,2 r n,0 r n, r n,2 r n,n So the entries in the n-row of (r n,k, which are just the coefficients of r n (x in increasing order of the power of x, are given by: Consequently ( p n,k q k,0, p n,k q k,, k= p n,k q k,j p n,n q n,n, 0, = k=j p n,0 (q 0,0, 0,, 0, + p n, (q,0, q,, 0,, 0, + + p n,n (q n,0, q n,,, q n,n, 0, r n (x = p n,k q k (x which corresponds to substitute in the expression of p n (x = n p n,kx k the power x k by the element q k (x in the sequence of polynomials (q n (x n N This is in the spirit of the Blissard symbolic s method, see [] for an exposition on this topic The product (p n (x n N (q n (x n N = (r n (x n N is usually called the umbral composition of the sequences of polynomials (p n (x and (q n (x The formula for the umbral composition is given by where (p n (x n N (q n (x n N = (r n (x n N r n,j = As a summary of the above construction we have: p n,k q k,j k=j Theorem 8 Suppose four sequences of elements of K, (f n n N, (g n n N, (l n n N, (m n n N, with, m 0 0 Consider the sequences of polynomials (p n (x n N (q n (x n N satisfying the following recurrences relations ( x g p n (x = p n (x g 2 p n 2 (x g n p 0 (x + f n 3

14 with p 0 (x = f 0, ( x m q n (x = q n (x m 2 q n 2 (x m n q 0 (x + l n m 0 m 0 m 0 m 0 with q 0 (x = l 0 Then the umbral composition (p n (x n N (q n (x n N = (r n (x n N satisfies the following recurrence relation m 0 ( x α r n (x = r n (x α 2 r n 2 (x α n r 0 (x + β n α 0 α 0 where (α n n N, (β n n N are sequences such that fl g = g n x n l = α 0 l n x n and m = m n x n ( x g = β n x n, gm α 0 ( x = α n x n, with f = f n x n, g Of special interest is when we restrict ourselves to the so called proper Riordan arrays, see [7] As noted in Remark 7 this is the case when f 0 0 or, equivalently, T(f g is in the Riordan group Moreover, in this case, the assignment T(f g (p n (x n N is injective, obviously, and since the product of matrices converts to the umbral composition of the corresponding associated polynomial sequences, we have the following alternative description of the Riordan group Theorem 9 Let K be a field of characteristic zero Consider R = {(p n (x n N } where (p n (x n N is a polynomial sequence with coefficients in K satisfying that there are two sequences (f n n N, (g n n N of elements of K, depending on (p n (x n N, with f 0, 0 and such that ( x g p n (x = p n (x g 2 p n 2 (x g n p 0 (x + f n with p 0 (x = f 0 Given (p n (x n N, (q n (x n N R Define (p n (x n N (q n (x n N = (r n (x n N where r n (x = n p n,kq k (x with p n (x = n p n,kx k Then (R, is a group isomorphic to the Riordan group Moreover if f = p n (tx n = f(x g(x xt f n x n and g = g n x n and (f n and (g n are the sequences generating the polynomial sequence (p n (x in R 4

15 Proof Only a proof of the final part is needed As we know, from Theorem 5, T(f g = (p n,k n,k N is a proper Riordan array where p n (x = n p n,kx k, xt = t n x n We consider, symbolically, xt as a power series on x with parametric coefficients a n = t n From this point of view, [9], p 0,0 p,0 p, t ( p 2,0 p 2, p 2,2 t 2 T(f g = = p xt n (tx k p n,0 p n, p n,2 p n,n t ṇ Remark 0 Note that ( T(f g xt = f(x g(x t x g = f(x g(x xt p n (tx k is just the bivariate generating function of the Riordan array T(f g = (p n,k n,k N in the sense of [7] 32 Some relationships between polynomials sequences of Riordan type and some classical examples Now we are going to describe some relations between polynomial sequences associated to different but related Riordan arrays From now on we are going to use the following definition: Definition Let (p n (x n N be a sequence of polynomials in K[[x]], p n (x = n p n,kx k We say that (p n (x n N is a polynomial sequence of Riordan type if the matrix (p n,k is an element of the Riordan group Using the basic equality T(f g = T(f T( g we can get some formulas Proposition 2 Let T(f g an element of the Riordan group and suppose (p n (x the corresponding associated family of polynomials Let h(x = h 0 + h x + h 2 x h m x m be a m degree polynomial, h m 0 Let (q n (x be the associated family of polynomials of T(h T(f g then q 0 (x = h 0 p 0 (x q (x = h p 0 (x + h 0 p (x 5

16 q m (x = h m p n m (x + + h 0 p m (x q n (x = h m p n m (x + + h 0 p n (x n m Remark 3 Note that to multiply by the left by the Toepliz matrix T(h above corresponds eventually to make some fixed elementary operations by rows on the matrix T(f g These operations are completely determined by the coefficients of the polynomial h For example if h(x = a + bx then q 0 (x = ap 0 (x and q n (x = bp n (x + ap n (x As a direct application of Proposition 2 we will obtain the known relationships between Chebysev polynomials of the first and second kind Example 4 The Chebyshev polynomials of the first and the second kind Consider the Chebyshev polynomials of the second kind: (4 U 0 (x = U (x = 2x U 2 (x = 4x 2 U 3 (x = 8x 3 4x U 4 (x = 6x 4 2x 2 + U n (x = 2xU n (x U n 2 (x for n 2 Let the sequences (l n n N, (m n n N given by l 0 = 2 and l n = 0 for n and m 0 = 2, m 2 = 2 and m n = 0 otherwise In this case (4 can be converted to (5 U n (x = U 0 (x = l 0 ( m 0 x m m 0 U n (x m 2 m 0 U n 2 (x mn m 0 U 0 (x + ln m 0, for n 6

17 If U = (u n,k n,k N where U n (x = u n,k x k then using our algorithm, or equivalently Theorem 5, we ( obtain that U = T x2 is a Riordan matrix: So the associated polynomials of this arithmetical triangle are the Chebyshev polynomials of the second kind Consequently ( U n (tx n = T ( 2 x2 = xt The first few Chebyshev polynomials of the first kind are T 0 (x = T (x = x T 2 (x = 2x 2 T 3 (x = 4x 3 3x T 4 (x = 8x 4 8x x 2 2xt In general T n (x = 2xT n (x T n 2 (x for n 2 We first produce a small perturbation in this classical sequence Consider a new sequence ( T(x n N where T 0 (x = 2 and T n (x = T n (x for every n For this new sequence we have the following 7

18 recurrence relation (6 T 0 (x = 2 T (x = 2x T 0 (x T 2 (x = 2x T (x T 0 (x 2 T n (x = 2x T n (x T n 2 (x for n 3 to unify the above equalities we consider the sequences (f n n N, (g n n N given by f 0 = 4, f 2 = 4 and f n = 0 otherwise, = 2, g 2 = 2 and g n = 0 otherwise We note that the equalities in (6 can be converted to (7 T n (x = T 0 (x = f 0 ( x g Tn (x g 2 Tn 2 (x gn T0 (x + fn, for n Let T = ( t n,k be the matrix given by T n (x = if k > n and the following rules for n k: t n,k x k One can verifies that (7 converts to t n,k = 0 t n,j = g t n,j g 2 t n 2,j g n t 0,j + t n,j if j and if j = 0 t n,0 = g t n,0 g 2 t n 2,0 g n t 0,0 + f n Note that t 0,0 = f 0 because the empty sum evaluates to zero Using our algorithm in [9], we obtain that T is a Riordan matrix In fact we get T = T ( 4 4 x x2 in our notation, because f(x = 4 4 x2 is the generating function of the sequence (f n and g(x = x2 is the generating function of the sequence (g n So 8

19 But now more can be said because Since T n (tx n = T we get the generating function ( 4 4 x x2 T n (tx n = 2 + T n (tx n = of the classical Chebyshev polynomials of the first kind ( tx T n (tx n tx + x 2 2tx = x x 2 2tx Using the involved Riordan matrices we can find the known relation between T n (x and U n (x Since ( T 4 4 x2 2 + ( 2 x2 = T 2 ( 2 x2 T x2 So, symbolically T 0 (x T (x T 2 (x T 3 (x T 4 (x T 5 (x = U 0 (x U (x U 2 (x U 3 (x U 4 (x U 5 (x and consequently 9

20 T n (x = 2 U n 2(x + 2 U n(x or 2 T n (x = U n (x U n 2 (x and then 2T n (x = U n (x U n 2 (x, n 3 As we noted in Section 4 of [8], if we delete( the first row and the first column in the Riordan matrix f T(f g we obtain the new Riordan matrix T g On the other hand to add suitably a new column g to the left of T(f g one place shifted up, and complete the new first row only with zeros we have the Riordan matrix T(fg g So deleting or adding in the above sense any amount of rows and columns to T(f g we obtain the intrisically related family of Riordan matrices, T(g 3 f g, T(g 2 f g, T(gf g,t(f g, T( f g g, T( f g 2 g, T( f g 3 g, ( f g We can easily obtain a recurrence to get the associated polynomials to T in terms of that of g n T(f g We have an analogous conclusion on T(fg n g n 0 Anyway, once we know the polynomial associated to T(f g we can calculate that of T(fg n g for n Z Proposition 5 Let f = f n x n, g = g n x n be two power series such that f 0 0, 0 Suppose that (p n (x n N is the associated polynomial sequence of the Riordan array T(f g, then (a If (q n (x n N is the associated sequence to T(fg g we obtain q n (x = xp n (x + f n if n and q 0 (x = f 0 ( f (b If (r n (x n N is the associated polynomial sequence to T g g r n (x = p n(x p n (0 x for n then Proof (a T(fg g = T(g T(f g Using the umbral composition we have q n (x = g n p 0 (x + g n p (x + + p n (x 20

21 Using now our Theorem 5 we obtain q n (x = g n p 0 (x + g n p (x + + (( x g consequently q n (x = xp n (x + f n ( f (b Now T(g T g = T(f g So g p n (x = g n r 0 (x + g n r (x + + r n (x using again the Theorem 5 for the sequences r n (x we obtain p n (x = g n r 0 (x + g n r (x + + (( x g p n (x g 2 p n 2 (x g n p 0 (x + f n r n (x g 2 r n 2 (x g n r 0 (x + d n where the d n is the n-coefficient of the series f g Consequently p n(x = xr n (x + d n Note that p n (0 = d n, so r n (x = p n(x p n (0 x if n Corollary 6 Suppose g = g n x n with 0 Let (p n (x n N be the polynomial sequence associated to T( g and (q n (x n N that associated to T(g g Then: q n (x = xp n (x for n and q 0 (x = Example 7 As an application of Proposition 5 and as we noted in Section 2, the relationships between both kind of Morgan-Voyce polynomials are That in terms of Riordan arrays this means B n (x B n (x = b n (x b n (x b n (x = xb n (x T( x T( ( x 2 = T( x ( x 2 T( x T( x ( x 2 = T(( x 2 ( x 2 because (T( ( x 2 gives rise to (B n (x and T( x ( x 2 gives rise to (b n (x 2

22 In the following expressions we consider (p n (x as the family of polynomials associated to T(f g, and we denote (q n (x the family of polynomials associated to each of the products of matrices, moreover a, b are constant series with b 0: T(a T(f g = T(af g, then q n (x = ap n (x ( ( x ( x T( bt(f g = T f bg, then q n (x = b b b n+p n(x T(f gt(a = T(af g, then q n (x = ap n (x T(f gt( b = T(f bg, then q n (x = ( x b p n b The above results can be summarized and extended in the following way: Proposition 8 Let T(f g and T(l m be two element of the Riordan group Suppose that (p n (x and (q n (x are the corresponding associated families of polynomials Suppose also that where α, γ, a, c 0 Then T(l m = T(γ α + βxt(f gt(c a + bx q n (x = γc αa ( ( ( n β n k k α α kp k ( x b Proof Using Theorem 5 we have that if (s n (x is the family of polynomials associated to T(γ α+βx then consequently then s 0 (x = γ α ( x β and s n (x = s n (x n α s n (x = γ α ( n x β n N α Proposition 4 in [0] says that if (r n (x is the family of polynomials associated to T(f gt(c a+bx r n (x = c a p n ( x b Since (q n (x = (s n (x (r n (x we obtain that ( γ ( ( n (q n (x = β n k α k α α kxk 22 a a ( c a p n ( x b a

23 Hence q n (x = γc αa ( ( ( n β n k k α α kp k ( x b a Example 9 As we noted in Section 2 the relation between the Pell and the Fibonacci polynomials is P n (x = F n (2x Recall ( ( T T( x 2 T ( = T x2 ( and T x2 gives rise to the Pell polynomials and T( x 2 gives rise to the Fibonacci polynomials Example 20 Recall that the Fermat polynomials are the polynomials given by F 0 (x =, F (x = 3x and F n (x = 3xF n 2F n 2 for n 2 Using our Theorem( 5, this means that Fermat polynomials are the polynomials associated to the Riordan matrix T x2 For this case, =, g 3 = 0, g 2 = 2, g 3 n = 0, n 3 and f 0 =, f 3 n = 0 n And the rule of construction of this triangle is: d n,k = 2d n 2,k + 3d n,k for k > 0 The few first rows are: Consequently the few first Fermat polynomials are F 0 (x = F (x = 3x 23

24 F 2 (x = 2 + 9x 2 F 3 (x = 2x + 27x 3 F 4 (x = 4 54x 2 + 8x 4 F 5 (x = 36x 26x x 5 F 6 (x = x 2 80x x 6 Since ( T ( 3 3 ( + 2x2 = T ( T ( ( + 2 x2 T and using Proposition 8 we obtain the following relation to the Chebysev polynomials of the second kind: F n (x = ( ( 3x 2 n U n 2 2 Recently, it has been introduced by Boubaker et al a special family of polynomials in [3], [7] related to the so called spray pyrolysis techniques Now we are going to find a relation of these polynomials with the Chebysev polynomials of the second kind and then also with the Fermat polynomials as showed above This new sequences of polynomials is given by B 0 (x =, B (x = x, B 2 (x = 2 + x 2 and B n (x = xb n (x B n 2 (x for n 3 Using our Theorem 5, this means that B n (x polynomials are the polynomials associated to the Riordan matrix T ( + 3x 2 + x 2 For this case, =, g = 0, g 2 =, g n = 0, n 3 and f 0 =, f = 0, f 2 = 3 f n = 0 n 3 And the rule of construction of this triangle is: d n,k = d n 2,k +d n,k, then

25 Consequently the few first associated polynomials are B 0 (x = B (x = x B 2 (x = 2 + x 2 B 3 (x = x + x 3 B 4 (x = 2 + x 4 B 5 (x = 3x x 3 + x 5 B 6 (x = 2 3x 2 2x 4 + x 6 with generating function B n (tx n = T ( + 3x 2 + x 2( = + 3x2 xt xt + x 2 Since T ( + 3x 2 + x 2 = T ( + 3x 2 ( T 2 2 ( + x2 T(2 2 and using Proposition 2 and Proposition 8 we obtain the following relation to the Chebysev polynomials of the second kind: ( x ( x B n (x = U n + 3U n for n 2 4 Some applications to the generalized umbral calculus: the associated polynomials and its recurrence relations There are many other types of polynomial sequences in the literature that can be constructed by means of Riordan arrays We are going to characterize by means of recurrences relations all the polynomial sequences called generalized Appell polynomials in Boas-Buck [2] page 7-8 We will follow their definitions there We first introduce some concepts Suppose we have any polynomial sequence (p n (x n N with p n (x = p n,k x k and let h(x = h nx n any power series, we call the Hadamard h-weighted sequence generated by (p n (x to the sequence p h n(x = (p n h(x where means the Hadamard product of series Recall that if f = f nx n and g = g nx n, then the Hadamard product f g is given by f g = f ng n x n Note that p h n is a polynomial for every n N and h K[[x]] In fact p h n(x = n p n,kh k x k 25

26 Note also that the original definition of generalized Appell polynomials defined by Boas-Buck in [2] can be rewriten in terms of Riordan matrices in the following way Proposition 2 A sequence of polynomials (s n (x is a family of generalized Appell polynomials if and only if there are three series f, g, h K[[x]], f = f nx n, g = g nx n and h(x = h nx n with f 0, 0, and h n 0 for all n such that T(f gh(tx = s n (tx n Moreover in this case, s n (x = p h n(x in the above sense where (p n (x is the associated polynomial sequence of T(f g Consequently s n (tx n = (p n h(tx n = f(x ( g(x h x t g(x Proof If T(f g(h(tx = s n (tx n then obviously (s n (x is a generalized Appell sequence because s n (tx n = f(x ( g(x h x t g(x Suppose now that (s n (x is a generalized Appell sequence, then there are three series A, B, Φ where A = A n x n, A 0 0, B = n B n x n, B 0 and Φ = Φ n x n with Φ n 0, n N such that s n (tx n = A(xΦ(tB(x If we take Φ = h, g(x = x B(x and f(x = xa(x B(x we are done Remark 22 Note that if h(x = x the family of (pn (x is exactly the associated polynomials x (p n (x of T(f g, because is the neutral element in the Hadamard product x Example 23 The Sheffer polynomials Following the previous proposition we have that (S n (x is a Sheffer sequence if and only if there is a Riordan matrix T(f g such that T(f g(e tx = 26 S n (tx n

27 The usual way to introduce Sheffer sequences is by means of the corresponding generating function S n (tx n = A(xe th(x where A = A n x n, H = H n x n with A 0 0, H 0 Note that for this case the corresponding n Riordan matrix is ( xa(x x T H(x H(x The general term of a Sheffer sequence, S n (x is given by S n (x = p n (x e x where (p n (x are the associated polynomials to T(f g Consequently if p n (x = p n,k x k S n (x = p n,k k! xk WARNING Note that in many places [3], [4], [5] they call a Sheffer sequence to the sequence (n!s n (x n N where (S n (x n N is our Sheffer sequence In the following example we can note that applying a fixed T(f to different series h gives rise to some classical families of polynomials if Example 24 The Brenke polynomials Following [2], (B n (x is in the class of Brenke polynomials T(f (h(tx = B n (tx n Some particular cases are: ( T(f = Tn tx (txn where (Tn are the reversed Taylor polynomial of f T(f (e tx = A n (tx n where (A n (x are the Appell polynomials of f 27

28 Using analogous arguments as in the previous section for polynomials of Riordan type, we can get some relationships between some classical Sheffer sequences once we know, easily, some relation between their corresponding Riordan matrices Example 25 Pidduck and Mittag-Leffler polynomials satisfying in matricial form: ( P n (tx n x = T ( x log ( +x x x log ( +x x Consider the sequence (P n (x (e tx t t 2 2 t 3 6 t 4 24 = 2t + 2t 2 + 2t t3 + 2t t t t t2 + 8t + 3 If we take P n (x = n!p n (x, then P n (x are the usual Pidduck polynomials P 0 (x = P (x = 2x + P 2 (x = 4x 2 + 4x + 2 P 3 (x = 8x 3 + 2x 2 + 6x + 6 P 4 (x = 6t x x x + 24 On the other hand we get the Mittag-Leffler polynomials, in the following way If (M n (x is given by the formula: ( M n (tx n x = T log ( +x x 28 x log ( +x x (e tx

29 in matricial form: t t 2 2 t 3 6 t 4 24 = 2t 2t t t 2 3 t t2 then, if we take now M n (x = n!m n (x, then M n (x are the usual Mittag-Leffler polynomials M 0 (x = M (x = 2x M 2 (x = 4x 2 M 3 (x = 8x 3 + 4x M 4 (x = 6t x 2 Both families of polynomials are related because: ( x ( T ( x log ( x ( +x log ( x = T +x T x log ( +x x x x x log ( +x x Hence P 0 (x P (x P 2 (x P 3 (x P 4 (x = M 0 (x M (x M 2 (x M 3 (x M 4 (x So P n (x = M k (x or equivalently Pn (x = ( n (n k! M k (x k Using our main theorem in Section 3 we can obtain the following recurrence relations for the generalized Appell polynomials, which is the main result in this section 29

30 Theorem 26 Let (s n (x n N be a sequence of polynomials with s n (x = s n,k x k Then (s n (x n N is a family of generalized Appell polynomials if and only if there are three sequences (f n, (g n, (h n K with f 0, 0 and h n 0 n N such that s n (x = (xs n (x ĥ(x g s n (x g n s 0 (x + h 0f n n N with s 0 (x = h 0f 0 where ĥ(x = h k x k Moreover the coefficients of this family of polynomials satisfy the following h k k= recurrence: If k If k = 0 s n,k = g s n,k g n s 0,k + h k h k s n,k s n,0 = g s n,0 g n s 0,0 + h 0f n, s 0,0 = h 0f 0 Proof If (s n (x is a family of generalized Appell polynomials then there are three sequence (f n, (g n, (h n of elements in K with f 0, 0 and h n 0 n N, such that if f = h = h n x n then T(f gh(tx = s n (tx n f n x n, g = g n x n and since s n (x = p h n (x = p n(x h(x, the family of polynomials (p n (x associated to T(f g obeys the recurrence relation of Theorem 5: Using the distributivity of Hadamard product we get ( x g p n (x h(x = p n (x h(x g 2 p n 2 (x h(x g n p 0 (x h(x + f n h(x = since p h n(x = x p n (x h(x g p h n (x g 2 p h n 2(x g n p h 0(x + f nh 0 xp n (x h(x = p n,0 h x + p n, h 2 x p n,n h n x n then xp n (x h(x = p n,0 h 0 h h 0 x + p n, h h 2 h x p n,n h n h n h n x n = xp h n (x ĥ(x so we get the result 30

31 On the other hand if there are three sequences (f n, (g n, (h n K with f 0, 0 and h n 0 n N such that s n (x = (xs n (x ĥ(x g s n (x g n s 0 (x + h 0f n n N with s 0 (x = h 0f 0 where ĥ(x = k= where h ( (x = h k h k x k Let h n x n Then p n (x = s n (x h ( (x s n (x h ( (x = (xs n (x ĥ(x h( (x g s n (x h ( (x g n s 0 (x h ( (x+ h 0f n h ( (x since then p n (x = (xs n (x ĥ(x h( g p n (x g n p 0 (x + f n xs n (x ĥ(x = s h h 2 n,0 x + s n, x 2 h n + + s n,n x n h 0 h h n xs n (x ĥ(x h( (x = xs n (x h ( (x = xp n (x consequently p n (x = (xp n (x g p n (x g n p 0 (x + f n so (p n (x obeys Theorem 5 and then (p n (x is the associated polynomials to T(f g Hence (s n (x is a family of generalized Appell polynomials The second part of the result is an easy consequence of our Algorithm in the Introduction Remark 27 Note that if k, some terms in the recurrence are null, in fact s l,k = 0 if l < k Consequently: s n,k = g s n,k g n k s k,k + h k h k s n,k A consequence that we can obtain from the recurrence relation for the generalized Appell sequences is the following relation between the Hadamard h-weighted and h -weighted sequences for a polynomials sequence of Riordan type For notational convenience we represent now by D(α to the derivative of any series α The result obtained below when we consider the classical Appell sequences, is just what Appell took as the definition for these classical sequences 3

32 Corollary 28 Let T(f g be any element of the Riordan group with f = f n x n, g = g n x n, and with associated sequence (p n (x Suppose that h K[[x]] is Hadamard invertible Then the D(h is Hadamard invertible and Proof We know that p D(h n (x = g k D(p h n k(x p h n (x = (xp h n (x ĥ(x g p h n (x g n p h 0 (x + h 0f n Applying the derivative in both sides we obtain D(p h n(x = D(xp h n (x ĥ(x k= g k D(p h n k(x Consequently It is easy to prove that D(xp h n (x ĥ(x = g k D(p h n k (x D(m(x l(x = m(x m(0 x D(l(x = D(m(x (l(x l(0 x for any series l, m K[[x]] Using the first equality above we get but and since ĥ(x = k p h n D(ĥ(x = g k D(p h n k (x (p n (x h(x D(ĥ(x = p n (x (h(x (D(ĥ(x h k h k x k we obtain that h(x D(ĥ(x = D(h(x and so we have the announced equality The previous result convert to the following formulas in the important class of Sheffer sequences 32

33 Example 29 The recurrence relation for the Sheffer polynomials Since h(x = e x = and ĥ(x = n x n n = log( x, the recurrence relation is: x n n! S n (x = (xs n (x ( log( x g S n (x g n S 0 (x+ f n n N with S 0 (x = f 0 and the recurrence relations for the coefficients are If k If k = 0 S n,k = g S n,k g n S 0,k + k S n,k And for its derivatives Since Then S n,0 = g S n,0 g n S 0,0 + f n, S 0,0 = f 0 (xs n (x ( log( x = S n (x x = S n (x So S n(x = S n (x g S n (x g n S 0(x S n (x = g k S n k(x In some cases the above formulas allow us to compute easily some generalized Appell sequences in terms of the associated sequences of Riordan type Example 30 Some easy computations related to the geometric series Let (p n (x be a polynomial sequence of Riordan type Then (i ( x 2 pn (x = xp n (x + p n(x = (xp n (x n 0 The proof of the above equality is the following ( ( x p 2 n (x = p n (x ( x = p n(x 2 ( x 33 = ( xp n (x = (xp n (x ( x

34 (ii If a 0 then The proof of the last equality is x p a log( x p n (t p n (0 n (x = ap n (0 + 0 t n 0 p a log( x n (x = p n (x (a log( x So p a log( x n (0 = ap n (0 The derivative in the right part of the equality is p n (x p n (0 x ( x = p n(x p n (0 x Consequently x p a log( x p n (t p n (0 n (x = ap n (0 + 0 t The following examples are particular cases of Sheffer polynomials which can be easily described with a different representation as generalized Appell polynomial In fact any Sheffer sequence can be obtained as a Hadamard h-weighted sequences polynomials for some h(x e x We choose, in particular, Laguerre sequence because it is very close to the Pascal triangle Example 3 The Laguerre polynomials We consider T( x (e tx = T( xt( (e tx = T( x(e tx = L n (tx n where L n (x are the Laguerre polynomials Note that T( x is the Pascal triangle: t t T( x(e tx t 2 2 2t + 2 = = t t3 6 3t t2 6 t t 4 4t + 3t t t4 From the definition of the polynomials we obtain easily the well-known general term: ( n L n (x = p n (x e x = x k ( k x k = ( k ( n x k k k! k! k k 0 34

35 Our recurrence relation for Laguerre polynomials is: L n (x = xl n (x ( log( x + L n (x and the recurrence relations for the coefficients are If k L n,k = L n,k k L n,k If k = 0 L n,0 = L n,0, L 0,0 = Using Corollary 28 we have: L n (x = L n (x L n (x And consequently n L n(x = L k (x Example 32 The Hermite polynomials We consider ( ( H n (tx n ( = T (e tx = T T 2e x2 2 e x t t 2 = t t (e tx = T ( (e 2tx = e 2tx x2 e x2 2t 2t t3 2t 2 3 t4 2t If H n (x = n!h n (x, we obtain H n (x are the usual Hermite polynomials: H 0 (x = H (x = 2x H 2 (x = 4x 2 2 H 3 (x = 8x 3 2x H 4 (x = 6x 4 48x

36 Since The recurrence for the (H n (x is: H n (tx n = T ( (e 2tx e x2 where ĥ(x = n H n (x = xh n (x ĥ(x + f n 2 n xn = 2 log( x and f n = and the recurrence relations for the coefficients are If k If k = 0 Using Corollary 28 we obtain or equivalently, the known relation for the H n (x, H n,k = 2 k H n,k H n,0 = f n, H 0,0 = H n (x = 2H n (x H n (x = 2n H n (x We can also obtain the general term for the Hermite polynomials: H 2m (x = H 2m+ (x = m j=0 m j=0 ( m j 2 2j (m j!(2j! x2j ( m j 2 2j+ (m j!(2j +! x2j+ From here the known equality H n ( x = ( n Hn (x is obvious 0, if n is odd; ( n 2, if n is even ( n 2! Now we are going to translate the operations in the Riordan group to the set of Hadamard h-weighted families of polynomials 36

37 Suppose that (p n (x is the associated sequences of polynomials to the element of the Riordan group T(f g If p n (x = h n x n be such that h n 0 p n,k x k, T(f g = (p n,k n,k N Let h(x = n N So, h admits a reciprocal for the Hadamard product, we represent it by h ( In fact h ( (x = x n h n Consider the set the following result is very easy to prove: R h = {(p h n(x n N / (p n (x n N R} Proposition 33 The function H h : R R h (p n (x n N (p h n (x n N is bijective if h is a Hadamard unit in K[[x]] Consequently the umbral composition defined in R is transformed into an operation h converting so (R h, h into a group and H h converts into a group isomorphism Moreover if (s n (x n N, (t n (x n N R h with s n (x = s n,k x k, t n (x = t n,k x k R h, (r n (x n N = (s n (x n N h (t n (x n N with r n (x = r n,k x k then r n,j = k=j h k s n,k t k,j Proof The first part is obvious, because if the function G h ( : R h R (s n (x n N (s n (x h ( n N is the inverse, for the composition of H h Now given (s n (x n N, (t n (x n N R h we define (s n (x n N h (t n (x n N = (r n (x n N where r n (x = H h (p n (x q n (x where s n (x = p h n(x, t n (x = qn(x h for every n N If p n (x = p n,k x k and q n (x = q n,k x k then if (p n (x (q n (x = (u n (x with u n (x = k=j 37 u n,k x k then u n,j = p n,k q k,j

38 Consequently r n,j = u n,j h j then r n,j = k=j p n,k h k q k,j h j h k = k=j s n,k t k,j h k Another important kind of polynomial sequences in the literature are the sequences of binomial type [5] or the closely related sequences, of convolution polynomials, see [6] In fact (s n (x n N is a convolution polynomial if and only if (n!s n (x n N is a sequence of binomial type As one can deduce from [6] a polynomial sequence (s n (x n N forms a convolution family if and only if there is a formal power series b(x = b n x n with b 0 such that e tb(x = s n (tx n So the n convolution condition come directly from the fact that s n (t + r = s n k (ts k (r So, symbolically, the Cauchy product ( is just the convolution condition s n (tx n ( e tb(x e rb(x = e (t+rb(x s n (rx n = Now suppose again a power series g = g n x n with 0 Then s n (t + rx n T(g g(e tx = s n (tx n = e tx g Consequently we have: Theorem 34 A polynomial sequence (s n (x n N is a convolution sequence if and only if there is a sequence (g n n N in K with 0 such that s n (x = (xs n (x ( log( x g s n (x g n s (x for n 2 and s 0 (x =, s (x = x 38

39 Proof With the comments above it is easily proved that a polynomial sequence (s n (x n N is a convolution family if and only if there is a series g nx n with 0 such that T(g g(e tx = s n (tx n So (s n (x n N is the e x -Hadamard weighted sequence generated by the Riordan sequence (q n (x n N associated, as in Theorem 5, to the Riordan array T(g g Consequently q 0 (x = = ( x g q n (x = q n (x g 2 q n 2 (x g n q (x g n q 0 (x + g n so q (x = x and ( x g q n (x = q n (x g 2 q n 2 (x g n q (x for n 2 The result follows directly multiplying Hadamard by e x As we know, [5], the polynomial sequences of binomial types are closely related to the so called delta-operator, see [5] In [2], [7], [] it was introduced the so called A-sequence associated to a Riordan array In our notation the A-sequence associated to the Riordan array T(f g is just the unique power series A = a n x n with a 0 0 such that A( x g = As a consequence the results in g [8] we get that A is the A-sequence of T(g g if and only if T(A A = T (g g where the inverse operation is taking in the Riordan group So A is the A-sequence of T(g g if and only if g is the A-sequence of T(A A Let us denote by D to the derivative operator on polynomials Using Theorem and Corollary 3 in [5] we have Theorem 35 Suppose that (s n (x n N is the convolution sequences associated to the Riordan array T(g g Consider the corresponding sequence (r n (x n N of binomial type, ie r n (x = n!s n (x Then x the delta-operator Q having (r n (x n N as its basic sequences is just (D where A is the A-sequence A(x x of T(g g On the opposite, if we have the delta-operator g(x (D and (r n(x n N is the basis sequence then ( rn(x n! n N is the convolution sequence associated to the Riordan array T(A A where A is the A-sequence of T(g g We would like to say that in [8] it is described a recurrence process, related to Banach Fixed Point Theorem and to the Lagrange inversion formula, to get x A 39 using only the series g

40 Now we are going to give a characterization of a generalized Appell sequence using linear transformations in the K-linear space K[x] Usually a Riordan matrix is defined by means of the natural linear action on K[[x]], in fact, a matrix A = (a n,k is a Riordan matrix T(f g if and only if the action of A on any power series α is given by T(f g = f ( x g α In these terms we have g Proposition 36 A matrix s = (s n,k has as associated sequence of polynomials a generalized Appell sequence if and only if there are three power series f = f n x n, g = g n x n, h = h n x n, with f 0, 0 and ( h n 0, n N such that the natural linear action induced by s is given by s(α = f(x x (h α for any α K[[x]] g(x g Remark 37 From the above proposition we could develop the exponential Riordan arrays or more generally the generalized Riordan matrices, see [8] Acknowledgment: The first author was partially supported by DGES grant MICINN-FIS C02-02 The second author was partially supported by DGES grant MTM References [] E T Bell The History of Blissard s Symbolic Method, with a Sketch of its Inventor s Life Amer Math Monthly Vol 45, No 7 (Aug - Sep, [2] RP Boas, RC Buck Polynomial expansions of analytic functions Springer-Verlag (964 [3] K Boubaker, A Chaouachi, M Amlouk and H Bouzouita Enhancement of pyrolysis spray disposal perfomance using thermal time-response to precursor uniform deposition The European Physical Journal Applied Physics (05-09 [4] T-X He, LC Hsu, PJ-S Shiue The Sheffer group and the Riordan group Discrete Applied Mathematics ( [5] IC Huang Inverse Relations and Schauder Bases Journal of Combinatorial Theory S A ( [6] D E Knuth Convolution polynomials The Mathematica journal 2 ( [7] HLabiadh, MDada, B Awojoyogbe, BMahmoud, A Bannour Establishment of an ordinary generating function and a Christoffel-Darboux type first-order differential equation for the heat equation related Boubaker-Turki polynomials Differential equations ans control processes n o (

41 [8] A Luzón Iterative processes related to Riordan arrays: The reciprocation and the inversion of power series Preprint [9] A Luzón and M A Morón Ultrametrics, Banach s fixed point theorem and the Riordan group Discrete Appl Math 56 ( [0] A Luzón and M A Morón Riordan matrices in the reciprocation of quadratic polynomials Linear Algebra Appl 430 ( [] D Merlini, D G Rogers, R Sprugnoli, MC Verri On some alternative characterizations of Riordan arrays Canadian J Math 49(2 ( [2] DG Rogers Pascal triangles, Catalan numbers and renewal arrays Discrete Math 22 ( [3] Steven Roman The umbral calculus Academic press, inc 984 [4] S Roman and G-C Rota The Umbral Calculus Advances in Mathematics 27 ( [5] GC Rota, D Kahaner and A Odlyzko On the Fundations of Combinatorial Theory, VIII: Finite Operators Calculus J Math Anal ApplV 42 ( [6] L W Shapiro, S Getu, WJ Woan and L Woodson The Riordan group Discrete Appl Math 34 ( [7] R Sprugnoli Riordan arrays and combinatorial sums Discrete Math 32 ( [8] W Wang, T Wang Generalized Riordan arrays Discrete Math 308 (