General Mneimneh-type Binomial Sum involving Harmonic Numbers

Ende Pan,Ce Xu

2024-03-10

Abstract:Recently, Mneimneh proved the remarkable identity \begin{align*} \sum_{k=0}^n H_k\binom{n}{k} p^k(1-p)^{n-k}=\sum_{i=1}^n \frac{1-(1-p)^i}{i}\quad (p\in [0,1]) \end{align*} as the main result of a 2023 \emph{Discrete Mathematics} paper, where $H_k:=\sum\nolimits_{i=1}^k 1/i$ is the classical $k$-th harmonic number. Thereafter, Campbell provided several other proofs of Mneimneh's formula as above in a note published in \emph{Discrete Mathematics} in 2023. Moreover, Campbell also considered how Mneimneh's identity may be proved and generalized using the \emph{Mathematica package Sigma}. In particular, he found the generalized Mneimneh's identity \begin{align*} \sum_{k=0}^n x^k y^{n-k} \binom{n}{k}H_k =(x+y)^n \left(H_n-\sum_{i=1}^n \frac{y^i (x+y)^{-i}}{i}\right). \end{align*} In this paper, we will prove a more generalization of Mneimneh's identity involving Bell numbers and some Mneimneh-type identities involving (alternating) harmonic numbers by using a few results of our previous papers.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to generalize Mneimneh's binomial sum identities, especially Mneimneh - type binomial sums involving Bell numbers and (alternating) harmonic numbers. Specifically, the main contributions of the paper include:

1. **Generalizing Mneimneh's Identity**:
- The paper first reviews an important identity proved by Mneimneh in 2023:
\[
\sum_{k = 0}^{n}H_{k}\binom{n}{k}p^{k}(1 - p)^{n - k}=\sum_{i = 1}^{n}\frac{1-(1 - p)^{i}}{i}\quad(p\in[0,1])
\]
where \(H_{k}=\sum_{i = 1}^{k}\frac{1}{i}\) is the \(k\) - th harmonic number.

2. **Further Generalization**:
- Campbell in 2023 further generalized Mneimneh's identity using the Mathematica package Sigma and obtained a more general formula:
\[
\sum_{k = 0}^{n}x^{k}y^{n - k}\binom{n}{k}H_{k}=(x + y)^{n}\left(H_{n}-\sum_{i = 1}^{n}\frac{y^{i}(x + y)^{-i}}{i}\right)
\]
When \((x,y)=(p,1 - p)\), the above formula degenerates into Mneimneh's original identity.

3. **New Generalization Results**:
- This paper further generalizes Mneimneh's identity by the integration method, involving Bell numbers and (alternating) harmonic numbers. The main results include:
- **Theorem 1.1**: For any real numbers \(x,y\) satisfying \(\frac{x}{x + y}\geq0\) and \(n,p\in\mathbb{N}\), we have:
\[
\sum_{k = 0}^{n}x^{k}y^{n - k}\binom{n}{k}Y_{p}(k)=(- 1)^{p - 1}p!(x + y)^{n}\sum_{j = 1}^{n}\frac{(1-(y/(x + y))^{j})^{p - 1}}{j}\sum_{i = 0}^{p - 1}\frac{(-1)^{i}Y_{i}(n)}{i!}s(j,p - i)
\]
where \(s(n,k)\) represents the (unsigned) Stirling number of the first kind, and \(Y_{k}(n)\) represents the Bell number.

- **Theorem 1.3**: For any real numbers \(x,y\) and \(z\in(-\infty,1)\) satisfying \(\frac{x}{x + y}\geq0\) and \(n\in\mathbb{N}\), we have:
\[
\sum_{k = 0}^{n}x^{k}y^{n - k}\binom{n}{k}\left(\sum_{j = 1}^{k}\frac{z^{j}}{j}\right)=\sum_{j = 1}^{n}\frac{(y + zx)^{j}-y^{j}}{j}(x + y)^{n - j}
\]

4. **Corollaries**:
- By choosing specific parameters, some specific corollaries can be obtained, for example:
- When \(z\rightarrow1\), Theorem 1.3 degenerates into Campbell's formula.
- When \(z = - 1\), a formula involving alternating harmonic numbers is obtained:
\[
\sum_{k = 0}^{n}x^{k}y^{n}