Research Article | Open Access
On the -Central Coefficient Matrices of the Catalan Triangles
We introduce the definition of the -central coefficient matrices of a given Riordan array. Applying this definition and Lagrange Inversion Formula, we can calculate the -central coefficient matrices of Catalan triangles and obtain some interesting triangles and sequences.
Riordan arrays have drawn the attention of various authors from many points of view in the recent literature. We recall some concepts and properties of Riordan arrays. An infinite lower triangular matrix is called a Riordan array if the generating function of its column is , where and are formal power series with , , and . We also write ; the general term of matrix is , where is the coefficient operator.
The set of all Riordan arrays forms a group under ordinary matrix multiplication. The group law is then given by The identity is and the inverse of is where is compositional inverse of .
If we multiply the Riordan array by a column vector with generating function , then we get a column vector whose generating function is given by . The rule can be rewritten as which is the Fundamental Theorem of the Riordan group.
Lemma 1 (see ). An infinite lower triangular matrix is a Riordan array if and only if there exists a sequence such that Such a sequence is called the A-sequence of the Riordan array . Besides, the A-sequence is uniquely determined by the function according to the following formula and vice versa:
In the calculation below we need the Lagrange Inversion Formula and some knowledge of generalized binomial series.
Lemma 2 ((LIF) ). Supposing that a formal power series is implicitly defined by the relation , where is a formal power series such that ; then for any formal power series , where stands for the generating function for ; that is, .
Given a Riordan array , then its central coefficient matrix is defined as . For example, the central coefficient matrix of the Pascal matrix , which is one of the most classical matrices, plays an important role in combinatorics. The first few rows of its central coefficient matrix  are In , this matrix is used to give a new proof of an identity of Andrews . In this paper, we describe a process of obtaining new Riordan matrices from a given Riordan array, which corresponds to taking the central coefficient matrix several times. By considering the Catalan triangles, we obtain some interesting triangles and sequences. The first Catalan triangle we consider is with , which was introduced by Aigner . The first few rows are where is the generation function of the Catalan numbers. The second Catalan triangle is with , , which was introduced by Shapiro . The first few rows are The third Catalan triangle is with , , which was introduced by Radoux . The first few rows are
2. The -Central Coefficient Matrices of the Catalan Triangles
Definition 4. Let be a Riordan array; then we say that are the -central coefficient matrices of , where and .
According to the definition, the 0-central coefficient matrix is itself; the 1-central coefficient matrix is equal to central coefficient matrix. In genaral, the -central coefficient matrix is the central coefficient matrix of . For example, the first few rows of the 2-central coefficient matrix of Pascal matrix are
Theorem 5. The -central coefficient matrices of can be written as Moreover the generating functions of the A-sequences of are .
Theorem 6. The inverse Riordan arrays of can be written as
Proof. Let . Then . We have known that ; then and . Hence the result follows by (2).
The first few rows of and are
Theorem 7. The -central coefficient matrices of can be written as and the generation functions of the A-sequences of are .
Proof. On the one hand, for any , , we have On the other hand, let , which implies ; by (5) we finish the proof.
Theorem 8. The inverse Riordan arrays of can be written as
Proof. Let . Then . Since , then and . Hence the result follows by (2).
The first few rows of and are
Theorem 9. The -central coefficient matrices of can be written as and the generation functions of the A-sequences of are .
Proof. For any , , we have Hence we finish the proof.
Theorem 10. The inverse Riordan arrays of can be written as
Proof. This can be easily obtained from the proof of Theorem 8.
The first few rows of and are
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors would like to thank the referees for their helpful suggestions. This work was supported by the National Natural Science Foundation of China (Grant no. 11261032).
- T.-X. He and R. Sprugnoli, “Sequence characterization of Riordan arrays,” Discrete Mathematics, vol. 309, no. 12, pp. 3962–3974, 2009.
- D. Merlini, R. Sprugnoli, and M. C. Verri, “Lagrange inversion: when and how,” Acta Applicandae Mathematicae, vol. 94, no. 3, pp. 233–249, 2006.
- G.-S. Cheon and L. Shapiro, “The uplift principle for ordered trees,” Applied Mathematics Letters, vol. 25, no. 6, pp. 1010–1015, 2012.
- A. Luzon, D. Merlini, M. Moron, and R. Sprugnoli, “Identities induced by Riordan arrays,” Linear Algebra and Its Applications, vol. 436, no. 3, pp. 631–647, 2012.
- E. H. Brietzke, “An identity of Andrews and a new method for the Riordan array proof of combinatorial identities,” Discrete Mathematics, vol. 308, no. 18, pp. 4246–4262, 2008.
- G. E. Andrews, “Some formulae for the Fibonacci sequence with generalizations,” The Fibonacci Quarterly, vol. 7, no. 2, pp. 113–130, 1969.
- M. Aigner, “Enumeration via ballot numbers,” Discrete Mathematics, vol. 308, no. 12, pp. 2544–2563, 2008.
- L. W. Shapiro, “A Catalan triangle,” Discrete Mathematics, vol. 14, no. 1, pp. 83–90, 1976.
- C. Radoux, “Additional formulas for polynomials built on classical combinatorial eqquences,” Journal of Computational and Applied Mathematics, vol. 115, no. 1-2, pp. 471–477, 2000.
Copyright © 2015 Juan Yin and Sheng-Liang Yang. 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.