By means of the generating function method, a linear recurrence relation is explicitly resolved. The solution is expressed in terms of the Stirling numbers of both the first and the second kind. Two remarkable pairs of combinatorial identities (Theorems 3.1 and 3.3) are established as applications, that contain some well–known convolution formulae on Stirling numbers as special cases.
Denote by
Then the unsigned Stirling numbers of the first kind
These numbers appear frequently in mathematical literatures and have wide applications in combinatorics and number theory (see [2] Chapter 5, [4] §6.2 and [5], just for example).
Recently, Stenlund [6]
introduced an interesting bivariate polynomial sequence
The same author not only found out an explicit double sum expression
Inspired by the above work of Stenlund [6], we shall examine the extended polynomial
sequence
These
Reformulating the above equality by
The rest of the paper will be organized as follows. In the next
section, we shall derive the generating function and the explicit
formulae for the
For the sequence
Multiplying both sides of (3) by
This leads us to the functional equation
Lemma 2.1 (Generating function).
By writing as a geometric series
Proposition 2.2 (Single sum formula).
Expanding the rightmost fraction into binomial series, we have
further
Proposition 2.3 (Double sum formula).
Expressing the last binomial coefficient in terms of unsigned
Stirling numbers and then making use of the binomial theorem, we have
By substitutions,
Writing the rightmost sum in terms of Stirling number of the second
kind, we get a triple sum expression
Taking into account that
Proposition 2.4 (Triple sum formula)
By comparing the coefficients of
Theorem 2.5 (Convolution formula).
As kindly pointed out by an anonymous referee, letting
By specifying
The first pair of identities are given in the following theorem.
Theorem 3.1 (1 ≤m≤n).
This theorem may be considered as significant extensions of the two
well–known results (cf. [4]§6.1) recorded in the corollary
below, that correspond to the special cases of
Corollary 3.2 (1 ≤m≤n).
Proof. Proof of Theorem 3.1. When
Then the first formula “(a)” follows by evaluating the above sum on
the right (cf. [3]
Eq. 3.47)
Alternatively, for
Then we can analogously evaluate the sum on the right (cf. [3]Equation 3.49)
as follows:
This proves the second formula “(b)” in the theorem.
Furthermore, setting
Theorem 3.3 (1 ≤m≤n).
Proof. Proof of Theorem 3.3. For
In this case, the first formula “(a)” is confirmed by first
reformulating the above sum on the right
When
The above sum on the right can be rewritten as
Denote by
Finally letting
Corollary 3.4 (1 ≤m≤n).
The authors declare no conflict of interest.
1970-2025 CP (Manitoba, Canada) unless otherwise stated.