Research Article | Open Access

# Determinant Representations of Polynomial Sequences of Riordan Type

**Academic Editor:**Gi Sang Cheon

#### Abstract

In this paper, using the production matrix of a Riordan array, we obtain a recurrence relation for polynomial sequence associated with the Riordan array, and we also show that the general term for the sequence can be expressed as the characteristic polynomial of the principal submatrix of the production matrix. As applications, a unified determinant expression for the four kinds of Chebyshev polynomials is given.

#### 1. Introduction

The concept of a Riordan array is very useful in combinatorics. The infinite triangles of Pascal, Catalan, Motzkin, and Schröder are important and meaningful examples of Riordan array, and many others have been proposed and developed (see, e.g., [1–7]). In the recent literature, Riordan arrays have attracted the attention of various authors from many points of view and many examples and generalizations can be found (see, e.g., [8–12]).

A Riordan array denoted by is an infinite lower triangular matrix such that its column () has generating function , where and are formal power series with , , and . That is, the general term of matrix is ; here denotes the coefficient of in power series . Given a Riordan array and column vector , the product of and gives a column vector whose generating function is , where . If we identify a vector with its ordinary generating function, the composition rule can be rewritten as This property is called the fundamental theorem for Riordan arrays and this leads to the matrix multiplication for Riordan arrays: The set of all Riordan arrays forms a group under the previos operation of a matrix multiplication. The identity element of the group is . The inverse element of is where is compositional inverse of .

A Riordan array can be characterized by two sequences and such that, for If and are the generating functions for the - and -sequences, respectively, then it follows that [9, 13] If the inverse of is , then the - and -sequences of are

For an invertible lower triangular matrix , its production matrix (also called its Stieltjes matrix; see [11, 14]) is the matrix , where is the matrix with its first row removed. The production matrix can be characterized by the matrix equality , where ( is the usual Kronecker delta).

Lemma 1 (see [14]). *Assume that is an infinite lower triangular matrix with . Then is a Riordan array if and only if its production matrix is of the form
**
where is the A-sequence and is the Z-sequence of the Riordan array .*

*Definition 2. *Let be a sequence of polynomials where is of degree and . We say that is a polynomial sequence of Riordan type if the coefficient matrix is an element of the Riordan group; that is, there exists a Riordan array such that . In this case, we say that is the polynomial sequence associated with the Riordan array .

Letting , , then in matrix form we have
Hence, by using (1), we have the following lemma.

Lemma 3. *Let be the polynomial sequence associated with a Riordan array , and let be its generating function. Then
*

In [15], Luzón introduced a new notation to represent the Riordan arrays and gave a recurrence relation for the family of polynomials associated to Riordan arrays. In recent works [16, 17], a new definition by means of a determinant form for Appell polynomials is given. Sequences of Appell polynomials are special of the Sheffer sequences [18]. In [19], the author obtains a determinant representation for the Sheffer sequence. The aim of this work is to propose a similar approach for polynomial sequences of Riordan type, which are special of the generalized Sheffer sequences [12, 18]. A determinant representation for polynomial sequences of Riordan type is obtained by using production matrix of Riordan array. In fact, we will show that the general formula for the polynomial sequences of Riordan type can be expressed as the characteristic polynomial of the principal submatrix of the production matrix. As applications, determinant expressions for some classical polynomial sequences such as Fibonacci, Pell, and Chebyshev are derived, and a unified determinant expression for the four kinds of Chebyshev polynomials [20, 21] is established.

#### 2. Main Theorem

In this section we are going to develop our main theorem.

Theorem 4. *Let be a Riordan array with the Z-sequence and the A-sequence . Let be the polynomial sequence associated with . Then satisfies the recurrence relation:
**
with initial condition , and . In general, for all , is given by the following Hessenberg determinant:
*

*Proof. *Let and . Then from definition and (3), we have and . Hence and . Letting , then and , where . Letting be the production matrix of , then , and . Thus , and . In matrix form, we have

Using the block matrix method, we get

Since
The previous matrix equation can be rewritten as
Therefore, , and for , we have
or equivalently

By applying the Cramer’s rule, we can work out the unknown operating with the first equations in (15):

After transferring the last column to the first position, an operation which introduces the factor , the theorem follows.

Corollary 5. *Let be a Riordan array with production matrix . Let be the polynomial sequence associated with . Then , and for all ,
**
where , is the principal submatrix of order of the production matrix and is the identity matrix of order .*

#### 3. Applications

A useful application of Theorem 4 is to find the determinant expression of a well-known sequence. We illustrate the ideal in the following examples. In the final paragraph, we will give a unified determinant expression for the four kinds of Chebyshev polynomials.

*Example 6. *Considering the Riordan array , we have . The generating functions of the - and -sequences of are

Let be the polynomial sequence associated with . Then satisfies the recurrence relation: with initial condition , and . In general, is also given by the following Hessenberg determinant: If , , then becomes the Fibonacci polynomials: If , , then gives the Pell polynomials: In case , , becomes the Chebyshev polynomials of the second kind:

*Example 7. *Considering the Riordan array , we have . Then the generating functions of the - and -sequences of are

Let be the polynomial sequence associated with . Then satisfies the recurrence relation: with initial condition , and , .

In general, is also given by the following Hessenberg determinant:

If , , then become the Chebyshev polynomials of the first kind :

In case , , , give the Fermat polynomials (see [15]):

*Example 8. *Considering the Riordan array , we have . The generating functions of the - and -sequences of are

Let be the polynomial sequence associated with . Then satisfies the recurrence relation: with initial condition , and , .

In general, is also given by the following Hessenberg determinant:

If , , , then becomes the Chebyshev polynomials of the third kind :

If , , , then gives the Chebyshev polynomials of the fourth kind :

Finally, considering the Riordan array , we have . Then the generating functions of the - and -sequences of are

Let be the polynomial sequence associated with . Then satisfies the recurrence relation:

with initial condition , and , . For , we have

Therefore we can give, now, the following.

*Definition 9. *The Chebyshev polynomial of degree , denoted by , is defined by
where is represented by a Hessenberg determinant of order .

Note that , , , and . Hence, Definition 9 can be considered as a unified form for the four kinds of Chebyshev polynomials.

#### Acknowledgments

The authors wish to thank the editor and referee for their helpful comments and suggestions. This work was supported by the National Natural Science Foundation of China (Grant no. 11261032) and the Natural Science Foundation of Gansu Province (Grant no. 1010RJZA049).

#### References

- G.-S. Cheon, H. Kim, and L. W. Shapiro, “Combinatorics of Riordan arrays with identical $A$ and $Z$ sequences,”
*Discrete Mathematics*, vol. 312, no. 12-13, pp. 2040–2049, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - T. X. He, “Parametric Catalan numbers and Catalan triangles,”
*Linear Algebra and its Applications*, vol. 438, no. 3, pp. 1467–1484, 2013. View at: Publisher Site | Google Scholar | MathSciNet - T. X. He, L. C. Hsu, and P. J. S. Shiue, “The Sheffer group and the Riordan group,”
*Discrete Applied Mathematics*, vol. 155, no. 15, pp. 1895–1909, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - L. W. Shapiro, S. Getu, W. J. Woan, and L. C. Woodson, “The Riordan group,”
*Discrete Applied Mathematics*, vol. 34, no. 1–3, pp. 229–239, 1991. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - L. W. Shapiro, “Bijections and the Riordan group,”
*Theoretical Computer Science*, vol. 307, no. 2, pp. 403–413, 2003. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - R. Sprugnoli, “Riordan arrays and the Abel-Gould identity,”
*Discrete Mathematics*, vol. 142, no. 1–3, pp. 213–233, 1995. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - R. Sprugnoli, “Riordan arrays and combinatorial sums,”
*Discrete Mathematics*, vol. 132, no. 1–3, pp. 267–290, 1994. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - T. X. He and R. Sprugnoli, “Sequence characterization of Riordan arrays,”
*Discrete Mathematics*, vol. 309, no. 12, pp. 3962–3974, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - D. Merlini, D. G. Rogers, R. Sprugnoli, and M. C. Verri, “On some alternative characterizations of Riordan arrays,”
*Canadian Journal of Mathematics*, vol. 49, no. 2, pp. 301–320, 1997. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - E. Munarini, “Riordan matrices and sums of harmonic numbers,”
*Applicable Analysis and Discrete Mathematics*, vol. 5, no. 2, pp. 176–200, 2011. View at: Publisher Site | Google Scholar | MathSciNet - P. Peart and W. J. Woan, “Generating functions via Hankel and Stieltjes matrices,”
*Journal of Integer Sequences*, vol. 3, article 00.2.1, no. 2, 2000. View at: Google Scholar | Zentralblatt MATH | MathSciNet - W. Wang and T. Wang, “Generalized Riordan arrays,”
*Discrete Mathematics*, vol. 308, no. 24, pp. 6466–6500, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - E. Deutsch, L. Ferrari, and S. Rinaldi, “Production matrices and Riordan arrays,”
*Annals of Combinatorics*, vol. 13, no. 1, pp. 65–85, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - E. Deutsch, L. Ferrari, and S. Rinaldi, “Production matrices,”
*Advances in Applied Mathematics*, vol. 34, no. 1, pp. 101–122, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - A. Luzón and M. A. Morón, “Recurrence relations for polynomial sequences via Riordan matrices,”
*Linear Algebra and its Applications*, vol. 433, no. 7, pp. 1422–1446, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - F. A. Costabile and E. Longo, “A determinantal approach to Appell polynomials,”
*Journal of Computational and Applied Mathematics*, vol. 234, no. 5, pp. 1528–1542, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. Yang, “Determinant representations of Appell polynomial sequences,”
*Operators and Matrices*, vol. 2, no. 4, pp. 517–524, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S. Roman,
*The Umbral Calculus*, vol. 111 of*Pure and Applied Mathematics*, Academic Press, New York, NY, USA, 1984. View at: MathSciNet - S. l. Yang, “Recurrence relations for the Sheffer sequences,”
*Linear Algebra and its Applications*, vol. 437, no. 12, pp. 2986–2996, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - K. Aghigh, M. Masjed-Jamei, and M. Dehghan, “A survey on third and fourth kind of Chebyshev polynomials and their applications,”
*Applied Mathematics and Computation*, vol. 199, no. 1, pp. 2–12, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - L. Comtet,
*Advanced Combinatorics*, D. Reidel Publishing, Dordrecht, The Netherlands, 1974. View at: MathSciNet

#### Copyright

Copyright © 2013 Sheng-liang Yang and Sai-nan Zheng. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.