International Journal of Combinatorics
Volume 2016 (2016), Article ID 8324150, 9 pages
http://dx.doi.org/10.1155/2016/8324150

Research Article

Riordan Matrix Representations of Euler’s Constant and Euler’s Number

Edray Herber Goins¹ and Asamoah Nkwanta²

¹Department of Mathematics, Purdue University, Mathematical Sciences Building, 150 North University Street, West Lafayette, IN 47907-2067, USA
²Department of Mathematics, Morgan State University, 1700 East Cold Spring Lane, Baltimore, MD 21251, USA

Received 19 August 2016; Accepted 20 September 2016

Academic Editor: Jean-Yves Thibon

Copyright © 2016 Edray Herber Goins and Asamoah Nkwanta. 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.

Abstract.

We show that the Euler-Mascheroni constant and Euler’s number can both be represented as a product of a Riordan matrix and certain row and column vectors.

Dedicated to David Harold Blackwell (April 24, 1919–July 8, 2010)

1. Introduction

It was shown by Kenter [1] that the Euler-Mascheroni constant

can be represented as a product of an infinite-dimensional row vector, the inverse of a lower triangular matrix, and an infinite-dimensional column vector:

Kenter’s proof uses induction, definite integrals, convergence of power series, and Abel’s Theorem. In this paper, we recast this statement using the language of Riordan matrices. We exhibit another proof as well as a generalization. Our main result is the following.

Theorem 1. Consider sequences , , and of complex numbers such that , as well as an integer exponent . Assume that

(i)the power series , , , and are convergent in the interval ;(ii)the following complex residue exists:

Then, the matrix product

is equal to the above residue.

The infinite-dimensional lower triangular matrix is an example of a Riordan matrix. Specifically, it is that Riordan matrix associated with the power series . Kenter’s result follows by careful analysis of the power series:

The coefficients are sometimes called the “logarithmic numbers” or the “Gregory coefficients”; these are basically the Bernoulli numbers of the second kind up to a choice of sign. (Kenter employs the coefficients .) The idea of this paper is that we have the matrix product

which is equivalent to the recursive identity , which is valid whenever . The matrix product, and hence the recursive identity, can be derived from properties of Riordan matrices. Kenter’s result follows from the identity , which in turn follows from an identity involving a definite integral.

As another consequence of our main result, we can also show that Euler’s number

can be represented as a product of an infinite-dimensional row vector, a lower triangular matrix, and an infinite-dimensional column vector.

Corollary 2. For any integers , , and with , the number

is equal to the matrix product

In the process of proving these generalizations, we present a representation theoretic view of Riordan matrices. That is, we consider the matrices as representations of a certain group , namely, the Riordan group, acting on an infinite-dimensional vector space , namely, the collection of those formal power series in , where .

2. Introduction to Riordan Matrices

We wish to list several key results in the theory of Riordan matrices. To do so, we recast this theory using techniques from representation theory very much in the spirit of Bacher [2]. Our ultimate goal in this section is to explain how Riordan matrices are connected to a permutation representation of a certain group acting on an infinite-dimensional vector space . Some of the notation in the sequel will differ from standard notation such as that given by Shapiro et al. [3] and Sprugnoli [4, 5], but we will explain the connection.

2.1. Group Actions

Before developing the representation theoretic view, we give the definition of a Riordan matrix and few related useful properties. Let be a field; it is customary to set as the set of complex numbers, but, in practice, is the set of rational numbers. Set as the collection of formal power series in an indeterminate ; we will view this as a -vector space with countable basis . For most of this article, we will not be concerned with regions of convergence for these series.

There are three binary operations which will be of importance to us, namely, multiplication , composition , and addition +. Explicitly, if we write

then we have the formal power series

There are three subsets of the vector space which will be of interest to us in the sequel.

Proposition 3. Define the subsets

(i) is a group under multiplication , is a group under composition , and is a group under addition +. In particular, is a -vector space with countable basis .(ii)The map which sends to the automorphism is a group homomorphism, where is the compositional inverse of . In particular, is a group under the binary operation defined by

(iii)The map defined by is a group action of on .

We use to denote the compositional inverse so that we will not confuse this with the multiplicative inverse . Later, we will show that is isomorphic to the Riordan group . Moreover, we will show that , a normal subgroup of , is isomorphic to the Appell subgroup of . The motivation of this result is to use the action of on to write down a permutation representation and then use the canonical basis of to list infinite-dimensional matrices.

Proof. We show (i) to fix some notation to be used in the sequel. Since for any , we see that is an associative binary operation. The identity is the constant power series , and the inverse of is its reciprocal, seen to be a power series by expressing said reciprocal in terms of a formal geometric series:

Since and for any , we see that is an associative binary operation. The identity is the power series , and the inverse of is its compositional inverse having the implicitly defined coefficients

Since for any , we see that is an associative binary operation. The identity is the constant power series , and the inverse of is the negation , seen to be a power series with .
Now, we show (ii). Since for any and , we see that is well defined. Given , we have because for all we have

Hence, is indeed a group homomorphism. The semidirect product consists of pairs with and , where the binary operation is defined by

Finally, we show (iii). The map is defined as the formal identity

Since , we see that the map is well defined. As the identity element of is , we see that so that it acts trivially on . Given two elements and , we have the identity

Similarly, given two elements and , we have the identity

Hence, is indeed a group action.

2.2. Riordan Matrices

Recall that the set

is a -vpng . Since the semidirect product acts on , we have a “permutation” representation . Explicitly, this representation is defined on the basis elements of via the formal identity

(Recall that is the compositional inverse of .) The matrix with respect to the basis is given by the lower triangular matrix

Recall that yet . The following result explains the main multiplicative property of these matrices.

Theorem 4. Continue notation as above.

(i) is a group homomorphism. That is,

(ii)For a generating function with ,

Such matrices are called the Riordan matrices associated with the pair . The collection of Riordan matrices is a group which is isomorphic to ; this is the Riordan group. The collection of matrices is a group which is isomorphic to ; this normal subgroup is the Appell subgroup of .

Proof. We show (i). In the proof of Proposition 3, we found that for each we have the following formal identity involving power series as elements of :

In particular, this holds for the basis elements , so the result follows.
Now, we show (ii). For a generating function , we have the product

so matrices in the Appell subgroup are in the form

This gives the matrix product

so the result follows.

2.3. Examples

Let . Using elementary calculus, we find the power series expansions

which are valid whenever . Hence, the formal power series

is an element of and has multiplicative inverse

We have the product

which yields the matrix

Similarly, we have the product

Since we may use Theorem 4 to conclude that , we find the identity

These matrices are elements of the Appell subgroup of .

2.4. Relation with Standard Notation

Standard references for Riordan matrices are Shapiro et al. [3] and Sprugnoli [4, 5]. The notation employed above is not the typical one, so we explain the connection. Consider sequences and of complex numbers , where . Upon associating generating functions and with these sequences, respectively, the standard notation for a Riordan matrix is that infinite-dimensional matrix given by

in terms of the compositional inverse of . Indeed, the entry in the th row and th column satisfies the relation

as formal power series in . Equivalently, a Riordan matrix can be defined by a pair of generating functions.

Corollary 5 (fundamental theorem of the Riordan group [3, 5, 6]). Continue notation as above.

(i)The product of Riordan matrices is again a Riordan matrix. Explicitly, their product satisfies the relation

(ii)For a generating function with , one has the product

Proof. Statement (i) is shown in [3, Eq. 5] and [6, Proof of Thm. 2.1], but we give an alternate proof. Upon denoting and for and , we find the matrix product

which follows directly from Theorem 4. Statement (ii) is also shown in [6], but it follows directly from Theorem 4 as well.

3. Proof of Kenter’s Result and Generalizations

3.1. Main Result

We now prove Theorem 1.

Proof of Theorem 1. With the three power series , , and convergent in the interval , consider the power series

As elements of the Appell subgroup of , we invoke Theorem 4 to see that we have the matrix product . In particular, the first column is given by

Hence, the matrix product

is equal to the sum . We wish to evaluate this sum using complex analysis.
By assumption, the power series , , and are convergent in the interval . Hence, for each fixed real number satisfying , the functions and are uniformly convergent inside a closed disk . Hence, we can interchange summation and integration to find the integral around the boundary to be equal to

Here, is the complex conjugate of . As , the integral exists, so by Cauchy’s Residue Theorem it must be equal to

The theorem follows upon equating this with (44).

3.2. Applications

We explain how to use Theorem 1 in order to express Euler’s number in terms of Riordan matrices.

Proof of Corollary 2. The coefficients of the matrices in (9) correspond to the three power series

For a complex number with , we have the identity

The residue corresponds to the coefficient of the term, so we consider the terms where :

The corollary follows now from Theorem 1.

Kenter’s result is also an application of Theorem 1.

Corollary 6 (see [1]). The Euler-Mascheroni constant

is equal to the matrix product

Proof. The coefficients of the matrices above correspond to the three power series

We will choose the exponent . We will express the reciprocal as the power series

which is also convergent in the interval . (Recall that the coefficients are sometimes called the “logarithmic numbers” or the “Gregory coefficients.”) For a complex number with , we have the identity

The residue corresponds to the coefficient of the term, so we consider the terms where :

The corollary follows now from Theorem 1.

We conclude by stating that Theorem 1 can also be used to show Riordan matrix representations for and . Finding matrix representations of other constants, like , , and the Golden Ratio , is of interest.

Disclosure

Both authors gave the recent annual Blackwell Lectures, organized by the National Association of Mathematicians (NAM) as part of the MAA MathFest. The first author gave his presentation during the summer of 2009, whereas the second gave his during the summer of 2010.

Competing Interests

The authors declare that they have no competing interests.

References

F. K. Kenter, “A matrix representation for Euler's constant,” The American Mathematical Monthly, vol. 106, no. 5, pp. 452–454, 1999.

R. Bacher, “Sur le groupe d'interpolation,” https://arxiv.org/abs/math/0609736

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.

R. Sprugnoli, “Riordan arrays and combinatorial sums,” Discrete Mathematics, vol. 132, no. 1–3, pp. 267–290, 1994.

R. Sprugnoli, “Riordan arrays and the Abel-Gould identity,” Discrete Mathematics, vol. 142, no. 1–3, pp. 213–233, 1995.

A. Nkwanta and L. W. Shapiro, “Pell walks and Riordan matrices,” The Fibonacci Quarterly, vol. 43, no. 2, pp. 170–180, 2005.