Combinatorial identities derived from explicit formulas of Gauss hypergeometric functions

Abstract

In present paper, with the help of the Faà di Bruno formula and identities of partial Bell polynomials, the author establishes explicit formulas of the Gauss hypergeometric functions \begin{gather*} {\,}_2F_1\biggl(\frac{1-n}{2},\frac{2-n}{2};\frac{3}{2}-m;z^2\biggr), \quad {\,}_2F_1\biggl(-\frac{n}{2},\frac{1-n}{2};\frac{1}{2}-m;z^2\biggr),\\ {\,}_2F_1\biggl(a,a+\frac{1}{2};\frac{3}{2}-m;z^2\biggr), \quad {\,}_2F_1\biggl(a,a+\frac{1}{2};\frac{1}{2}-m;z^2\biggr) \end{gather*} for $m,n\in\mathbb{N}$ and $a\in\mathbb{C}$, and then derives two combinatorial identities \begin{equation*} \sum_{k=0}^{m}\frac{2^k}{k!} \binom{2m-2k}{m-k} \sum_{\ell=0}^{k} \frac{(-1)^\ell}{2^\ell} \frac{(2k-2\ell-1)!!}{(n-\ell)!} \binom{2k-\ell-1}{\ell-1} =\frac{1}{n!}\binom{2m-n}{m} \end{equation*} and \begin{equation*} \sum_{k=1}^{m}\frac{1}{(k!)^2}\binom{2m-2k}{m-k} \sum_{\ell=1}^{k} \binom{k}{\ell}\ell(2k-\ell-1)! (2a)_\ell =\binom{2m+2a}{m}, \end{equation*} where $m\in\mathbb{N}_0$, $n\in\mathbb{Z}$, and $a\in\mathbb{C}$. These newly-established identities generalize the nice and beautiful combinatorial identity \begin{equation*} \sum_{k=0}^{n} \frac{2^{k}}{k!}\binom{2n-2k}{n-k} \sum_{j=0}^{k}\frac{(-1)^{j}}{2^j} \frac{(2k-2j-1)!!}{(n-j)!} \binom{2k-j-1}{j-1} =\frac{1}{n!}, \quad n\in\mathbb{N}_0, \end{equation*} which was obtained in Theorem 4 of the recent paper "F. Qi, C.-Y. He, and D. Lim, Explicit formulas of two Gauss hypergeometric functions and several combinatorial identities, Discrete Appl. Math., Vol. 393 (2026), 215--229. DOI: https://doi.org/10.1016/j.dam.2026.06.023".