Abstract
Recently, Chang and Xu gave a probabilistic proof of a combinatorial identity which involves binomial coefficients. Duarte and Guedes de Oliveira (J Integer Seq 16, 2013) extended the result. Applying a generalization of the Leibniz rule for higher derivatives of the product of functions yields a new short proof and a generalization of the above mentioned identity.
Similar content being viewed by others
1 Introduction and main results
Throughout the paper \(\mathbf {k}=\left( k_{1},\ldots , k_{r}\right) \in \mathbb {N}_{0}^{r}\) denotes a multi-index, \(\left| \mathbf {k}\right| =k_{1}+\cdots +k_{r}\), and the multinomial coefficient is defined by
In 2011, Chang and Xu [4, Theorem 1] gave a probabilistic proof of the combinatorial identity
for \(n,r\in \mathbb {N}\), \(r\ge 2\), which involves central binomial coefficients. It consists of showing that the identity essentially computes the moment of order n of the chi-square random variable with r degrees of freedom. The special instance \(r=2\), i.e.,
plays an important role in combinatorics and probability theory (see the introduction of [4]). In 2013, Duarte and Guedes de Oliveira [2, Theorem 2] showed that, for \( \mathbf {a}=\left( a_{1},\ldots , a_{r}\right) \in \mathbb {R}^{r}\) with \( \left| \mathbf {a}\right| =0\),
The special case \(r=2\), reveals that, for all constants \(a\in \mathbb {R}\),
where the sum in the left-hand side is independent of \(\mathbf {a}\). Identities for similar sums can be found in [3, Theorem 1].
We study the identity (1) without the restriction \(\left| \mathbf {a}\right| =0\). In particular, we give a presentation of the sum
as a derivative of an explicitly defined function, for arbitrary \(c\in \mathbb {R}\) and \(\mathbf {a}=\left( a_{1},\ldots , a_{r}\right) \in \mathbb {R} ^{r}\). In the special case \(c=2\) and when it happens that \(\left| \mathbf {a}\right| \) is a nonnegative integer, this sum can be represented in terms of a sum consisting of \(\left| \mathbf {a} \right| +1\) summands. While Chang and Xu used probabilistic arguments involving the expected value of a \(\chi ^{2}\) random variable, and Duarte and Guedes de Oliveira used standard combinatorial tools like generating functions, our proof is based on methods of complex analysis.
The main result is the following identity.
Theorem 1
For \(n,r\in \mathbb {N}\), \(r\ge 2\), and \(\mathbf {a}=\left( a_{1},\ldots , a_{r}\right) \in \mathbb {R}^{r}\) such that \(\left| \mathbf { a}\right| \) is a nonnegative integer,
Remark 1
In the special case \(\left| \mathbf {a}\right| =0\) Theorem 1 reduces to the identity (1) by Duarte and Guedes de Oliveira.
Corollary 1
Under the assumptions of Theorem 1, the condition \(\left| \mathbf {a}\right| =0\) implies that
Proposition 1
For \(n,r\in \mathbb {N}\), \(r\ge 2\), \(c\in \mathbb {R}\) and \( \mathbf {a}=\left( a_{1},\ldots , a_{r}\right) \in \mathbb {R}^{r}\),
where
Remark 2
Application of the Leibniz Rule for the derivatives of products of differentiable functions implies as an immediate consequence the formula
which reduces the number of multiplied binomial coefficients from r to two.
Recently, Michael Z. Spivey gave a combinatorial proof of the alternating sum
by applying an involution to certain colored permutations.
2 Proofs and auxiliary results
The proofs of the results in the preceding section are essentially based on the following formula.
Lemma 1
Let \(n\in \mathbb {N}_{0},\) \(r\in \mathbb {N}\), and let h, \(f_{i}\) \(\left( i=1,\ldots , r\right) \) be functions which are n times differentiable in \( x_{0}\in \mathbb {R}\) with \(h\left( x_{0}\right) \ne 0\). Then
A proof of the intriguing formula (4) can be found in [1]. If h is a constant function, Eq. (4) obviously reduces to the well-known Leibniz Rule
for several n times differentiable functions \(f_{i}\) (\(i=1,\ldots ,r\)).
Proof of Prop. 1
We put
The left-hand side of Eq. (4) is equal to
The right-hand side of Eq. (4) is equal to
where we used that
Comparison of both sides with \(x_{0}=1\) leads to
which implies the assertion. \(\square \)
Proof of Theorem 1
Put \(c=2\) in Prop. 1. Taking advantage of the Cauchy integral formula we obtain, for the function F as defined in (3),
where the integration path \(W_{1}=\partial D_{\rho }=\left\{ z\mid \left| z\right| =\rho \right\} \) with sufficiently small \(\rho >0\) encircles the origin counterclockwise. The change of variables
i.e., \(w=\left( 1+z\right) /\left( 1-z\right) \), yields
where the integration path \(W_{2}\) encounters \(w_{0}=1\) such that \({\text {Re}} \left( w+1\right) >0\). A second change of variables \(w=\sqrt{\varsigma }\) yields
where the integration path \(W_{3}\) encounters \(\varsigma _{0}=1\) such that \( {\text {Re}} \varsigma >0\). When it happens that \(\left| \mathbf {a} \right| \in \mathbb {N}_{0}\) expansion by the binomial formula and application of the Cauchy integral formula completes the proof of Theorem 1. \(\square \)
3 An alternative proof of Theorem 1
In this section we present an alternative derivation of Theorem 1. The referee pointed out that our main result (2) is a consequence of results by Duarte and Guedes de Oliveira [2] and suggested a proof. It is based on the technique of generating functions and will be outlined below. To this end denote, as in [2, Sect. 4], by
and
the generating functions of the central binomial coefficients and of the Catalan numbers, respectively. By [2, Theorem 11], we have, for all real numbers s and t,
and
Since
we deduce that
Note that the left-hand side of (2) is the general term (i.e., the coefficient of the term in \(x^{n}\)) of the left-hand side of (5). Moreover, since the general term of \(g(x)^{r-\left| \mathbf {a}\right| +j}\) is \(4^{n}{\left( {\begin{array}{c}n+(r-\left| \mathbf {a} \right| +j)/2-1\\ n\end{array}}\right) }\), the right-hand side of (2) is the general term of the right-hand side of (5).
Hence, the new proof of Theorem 1 is complete.
References
Abel, U.: A generalization of the Leibniz Rule. Amer. Math. Mon. 120(10), 924–928 (2013)
Duarte, R., Guedes de Oliveira, A.: Note on the convolution of binomial coefficients. J. Integer Seq. 16 (2013) (Article 13.7.6)
Duarte, R., Guedes de Oliveira, A.: A short proof of a famous combinatorial identity. arXiv:1307.6693. Accessed 30 October 2013 (preprint)
Chang, G., Xu, C.: Generalization and probabilistic proof of a combinatorial identity. Amer. Math. Mon. 118, 175–177 (2011)
Spivey, M.Z.: Alternating convolution of the central binomial coefficients. Amer. Math. Mon. 121, 537–540 (2014)
Spivey, M.Z.: Combinatorial proof that \(\sum _{k=0}^{n}\genfrac(){0.0pt}0{2k}{k}\genfrac(){0.0pt}0{2\left( n-k\right) }{n-k}\left( -1\right) ^{k}=2^{n}\genfrac(){0.0pt}0{n}{n/2}\) is even (version: 2012-12-21). http://math.stackexchange.com/a/98327/
Acknowledgments
We kindly acknowledge the anonymous reviewer for valuable comments and for providing a new proof of Theorem 1.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by S.K. Jain.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Abel, U., Gupta, V. & Ivan, M. A generalization of a combinatorial identity by Chang and Xu. Bull. Math. Sci. 5, 511–516 (2015). https://doi.org/10.1007/s13373-015-0072-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-015-0072-z