Generalized hyperharmonic number sums with reciprocal binomial coefficients

Rusen Li

arXiv: 2104.04145v1 · PDF · 8 April 2021
Categories: math.NT
Licence: CC BY 4.0 The site shows the text.

Abstract

In this paper, we mainly show that generalized hyperharmonic number sums with reciprocal binomial coefficients can be expressed in terms of classical (alternating) Euler sums, zeta values and generalized (alternating) harmonic numbers.

Items 35

Definition

Definition 1

ZKQQ

For p\in \mathbb Z and m, r, t \in \mathbb N, define the quantities S(p,m,t,r,0) and S(p,m,1,r,1) as

\begin{aligned} &S(p,m,t,r,0):=\sum_{n=1}^\infty\frac{H_n^{(p)}}{n^{m}(n+r)^{t}}\,,\\ &S(p,m,t,r,1):=\sum_{n=1}^\infty\frac{(-1)^{n+1} H_n^{(p)}}{n^{m}(n+r)^{t}}\,. \end{aligned}

When p \geq 0, H_n^{(-p)} is understood to be the sum 1^p+2^p+\cdots+n^p.

Lemma

Lemma 1

8R0X

Let s be a positive integer and a>0, then

\begin{aligned} \sum_{n=1}^\infty\frac{a H_n^{(s)}}{n(n+a)} &=\zeta(s+1)+\sum_{j=1}^{a-1}\frac{(-1)^{s+1}H_j}{j^s}+\sum_{i=2}^s(-1)^{s-i}H_{a-1}^{(s-i+1)}\zeta(i)\,. \end{aligned}

Used by Proof

Lemma

Lemma 2

TPQB

Let p, m, r \in \mathbb N, then we have

\begin{aligned} S(p,m,1,r,0) &=\sum_{i=2}^{m}\frac{(-1)^{m-i}}{r^{m-i+1}}S_{p,i}^{+,+}+\frac{(-1)^{m-1}}{r^{m}}\zeta(p+1)\\ &\quad +\frac{(-1)^{m-1}}{r^{m}}\left(\sum_{j=1}^{r-1}\frac{(-1)^{p+1}H_j}{j^p} +\sum_{\ell=2}^{p}(-1)^{p-\ell}H_{r-1}^{(p-\ell+1)}\zeta(\ell)\right)\,. \end{aligned}

Let m, r \in \mathbb N, p \in \mathbb N_{0} and m \geq p+2, then we have

\begin{aligned} &S(-p,m,1,r,0)\\ &=\frac{1}{p+1}\sum_{\ell=0}^{p} \binom{p+1}{\ell}B_{\ell}^{+} \left(\sum_{i=2}^{m-p-1+\ell}\frac{(-1)^{m-p-1+\ell-i}}{r^{m-p+\ell-i}}\zeta(i) +\frac{(-1)^{m-p-2+\ell}}{r^{m-p-1+\ell}} H_{r}\right)\,. \end{aligned}

Used by Proof

Proof of Lemma 2

When p, m, r \in \mathbb N, we can obtain that

\begin{aligned} \sum_{n=1}^\infty\frac{H_n^{(p)}}{n^{m}(n+r)} &=\sum_{n=1}^\infty H_n^{(p)}\left(\sum_{i=2}^{m}\frac{(-1)^{m-i}}{r^{m-i+1}n^{i}} +\frac{(-1)^{m-1}}{r^{m-1}n(n+r)}\right)\\ &=\sum_{i=2}^{m}\frac{(-1)^{m-i}}{r^{m-i+1}}\sum_{n=1}^\infty \frac{H_n^{(p)}}{n^{i}} +\frac{(-1)^{m-1}}{r^{m-1}}\sum_{n=1}^\infty\frac{H_n^{(p)}}{n(n+r)}\,. \end{aligned}

With the help of Lemma 1, we get the desired result.

When m, r \in \mathbb N, p \in \mathbb N_{0} and m \geq p+2, we have

\begin{aligned} \sum_{n=1}^\infty\frac{H_n^{(-p)}}{n^{m}(n+r)} &=\sum_{n=1}^\infty\frac{\sum_{\ell=1}^{n}\ell^{p}}{n^{m}(n+r)}\\ &=\sum_{n=1}^\infty \frac{\frac{1}{p+1}\sum_{\ell=0}^{p} \binom{p+1}{\ell}B_{\ell}^{+}n^{p+1-\ell}}{n^{m}(n+r)}\\ &=\frac{1}{p+1}\sum_{\ell=0}^{p} \binom{p+1}{\ell}B_{\ell}^{+} \sum_{n=1}^\infty \frac{1}{n^{m-p-1+\ell}(n+r)}\,. \end{aligned}

With the help of partial fraction expansion

\begin{aligned} \frac{1}{n^{t}(n+r)} =\sum_{i=2}^{t}\frac{(-1)^{t-i}}{r^{t-i+1}}\cdot\frac{1}{n^{i}} +\frac{(-1)^{t-1}}{r^{t-1}}\cdot\frac{1}{n(n+r)}, \end{aligned}

we get the desired result.

Uses Lemma 1

Lemma

Lemma 3

9IAI

Let p, r \in \mathbb N, defining

\begin{aligned} S(p,r,1):=\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p)}}{n+r}\,, \end{aligned}

then we have

\begin{aligned} &S(p,r,1)\\ &=(-1)^{r}S_{p,1}^{+,-}+(-1)^{r-1}\overline{\zeta}(p+1) +\sum_{j=1}^{p}(-1)^{p-j+r}\overline{\zeta}(j)\overline{H}_{r-1}^{(p-j+1)}\\ &\quad +(-1)^{p+r-1}\overline{\zeta}(1)H_{r-1}^{(p)} +(-1)^{p+r}\sum_{n=1}^{r-1}\frac{\overline{H}_{n}}{n^{p}}\,. \end{aligned}

Used by Proof

Proof of Lemma 3

By a change of counter, we have

\begin{aligned} &\quad S(p,r,1)\\ &=\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p)}}{n+r}\\ &=\sum_{n=1}^\infty \frac{(-1)^{n}H_n^{(p)}}{n+r-1}-\sum_{n=1}^\infty \frac{(-1)^{n}}{n^{p}(n+r-1)}\\ &=-S(p,r-1,1)+\sum_{n=1}^\infty (-1)^{n+1}\left(\sum_{j=1}^{p}\frac{(-1)^{p-j}}{(r-1)^{p-j+1}}\cdot\frac{1}{n^{j}} +\frac{(-1)^{p}}{(r-1)^{p}}\cdot\frac{1}{n+r-1}\right)\\ &=-S(p,r-1,1)+\sum_{j=1}^{p}\frac{(-1)^{p-j}}{(r-1)^{p-j+1}}\overline{\zeta}(j) +\frac{(-1)^{p+r-1}}{(r-1)^{p}}(\overline{\zeta}(1)-\overline{H}_{r-1})\\ &=(-1)^{r-1}S(p,1,1)+\sum_{j=1}^{p}\overline{\zeta}(j)\sum_{n=1}^{r-1}\frac{(-1)^{p-j+r-1-n}}{n^{p-j+1}}\\ &\quad \quad +(-1)^{p+r-1}\overline{\zeta}(1)\sum_{n=1}^{r-1}\frac{1}{n^{p}} +(-1)^{p+r}\sum_{n=1}^{r-1}\frac{\overline{H}_{n}}{n^{p}}\\ &=(-1)^{r-1}S(p,1,1)+\sum_{j=1}^{p}\overline{\zeta}(j)(-1)^{p-j+r}\overline{H}_{r-1}^{(p-j+1)}\\ &\quad \quad +(-1)^{p+r-1}\overline{\zeta}(1)H_{r-1}^{(p)}+(-1)^{p+r}\sum_{n=1}^{r-1}\frac{\overline{H}_{n}}{n^{p}}\,. \end{aligned}

Since

\begin{aligned} S(p,1,1)=\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p)}}{n+1}=-S_{p,1}^{+,-}+\overline{\zeta}(p+1)\,, \end{aligned}

we get the desired result.

Lemma

Lemma 4

PJ69

Let p, m, r \in \mathbb N, then we have

\begin{aligned} &\quad S(p,m,1,r,1)\\ &=\sum_{i=1}^{m}\frac{(-1)^{m-i}}{r^{m-i+1}}S_{p,i}^{+,-}+\frac{(-1)^{m+r}}{r^{m}}S_{p,1}^{+,-} +\frac{(-1)^{m+r-1}}{r^{m}}\overline{\zeta}(p+1)\\ &\quad +\frac{(-1)^{m}}{r^{m}}\left(\sum_{j=1}^{p}(-1)^{p-j+r}\overline{\zeta}(j)\overline{H}_{r-1}^{(p-j+1)} +(-1)^{p+r-1}\overline{\zeta}(1)H_{r-1}^{(p)}\right)\\ &\quad +\frac{(-1)^{m+p+r}}{r^{m}}\sum_{n=1}^{r-1}\frac{\overline{H}_{n}}{n^{p}}\,. \end{aligned}

Let m, r \in \mathbb N, p \in \mathbb N_{0} and m \geq p+1, then we have

\begin{aligned} &S(-p,m,1,r,1)\\ &=\frac{1}{p+1}\sum_{\ell=0}^{p} \binom{p+1}{\ell}B_{\ell}^{+} \left(\sum_{i=1}^{m-p-1+\ell}\frac{(-1)^{m-p-1+\ell-i}}{r^{m-p+\ell-i}}\zeta(i) +\frac{(-1)^{m-p-1+\ell+r}}{r^{m-p-1+\ell}}(\overline{\zeta}(1)-\overline{H}_{r})\right)\,. \end{aligned}

Used by Proof

Proof of Lemma 4

When p, m, r \in \mathbb N, we can obtain that

\begin{aligned} &\quad \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p)}}{n^{m}(n+r)}\\ &=\sum_{n=1}^\infty (-1)^{n+1}H_n^{(p)}\left(\sum_{i=1}^{m}\frac{(-1)^{m-i}}{r^{m-i+1}n^{i}} +\frac{(-1)^{m}}{r^{m}(n+r)}\right)\\ &=\sum_{i=1}^{m}\frac{(-1)^{m-i}}{r^{m-i+1}}\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p)}}{n^{i}} +\frac{(-1)^{m}}{r^{m}}\sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p)}}{n+r}\,. \end{aligned}

With the help of Lemma 3, we get the desired result.

When m, r \in \mathbb N, p \geq 0 and m \geq p+1, we have

\begin{aligned} \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(-p)}}{n^{m}(n+r)} &=\sum_{n=1}^\infty\frac{(-1)^{n+1}\sum_{\ell=1}^{n}\ell^{p}}{n^{m}(n+r)}\\ &=\sum_{n=1}^\infty \frac{(-1)^{n+1}\frac{1}{p+1}\sum_{\ell=0}^{p} \binom{p+1}{\ell}B_{\ell}^{+}n^{p+1-\ell}}{n^{m}(n+r)}\\ &=\frac{1}{p+1}\sum_{\ell=0}^{p} \binom{p+1}{\ell}B_{\ell}^{+} \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^{m-p-1+\ell}(n+r)}\,. \end{aligned}

With the help of partial fraction expansion

\begin{aligned} \frac{1}{n^{t}(n+r)} =\sum_{i=1}^{t}\frac{(-1)^{t-i}}{r^{t-i+1}}\cdot\frac{1}{n^{i}} +\frac{(-1)^{t}}{r^{t}}\cdot\frac{1}{n+r}, \end{aligned}

we get the desired result.

Uses Lemma 3

Lemma

Lemma 5

1OR1

For r, n, p \in \mathbb N, we have

\begin{aligned} H_n^{(p,r)}=\sum_{m=0}^{r-1} \sum_{j=0}^{r-1-m} a(r,m,j) n^{j} H_n^{(p-m)}\,. \end{aligned}

The coefficients a(r,m,j) satisfy the following recurrence relations:

\begin{aligned} &a(r+1,r,0)=-\sum_{m=0}^{r-1} a(r,m,r-m-1)\frac{1}{r-m}\,,\\ &a(r+1,m,\ell)=\sum_{j=\ell-1}^{r-1-m} \frac{a(r,m,j)}{j+1} \binom{j+1}{j-\ell+1}B_{j-\ell+1}^{+}\\ &\qquad\qquad \qquad(0\leq m \leq r-1, 1\leq \ell \leq r-m)\,,\\ &a(r+1,m,0)=-\sum_{y=0}^{m} \sum_{j=max\{0, m-y-1\}}^{r-1-y}a(r,y,j)D(r,m,j,y)\quad (0\leq m \leq r-1)\,, \end{aligned}

where

D(r,m,j,y)=\sum_{\ell=max\{0, m-y-1\}}^{j} \frac{1}{j+1} \binom{j+1}{j-\ell}B_{j-\ell}^{+}\binom{\ell+1}{m-y}(-1)^{1+\ell-m+y}\,.

The initial value is given by a(1,0,0)=1.

Used by Proof, Proof, Proof, Proof

Theorem

Theorem 1

MW8I

Let s, p, m, k \in \mathbb N with m \geq s, then we have,

\begin{aligned} \sum_{n=1}^\infty\frac{H_n^{(p,s)}}{n^{m}\binom{n+k}{k}} =\sum_{\ell_{1}=0}^{s-1} \sum_{\ell_{2}=0}^{s-1-\ell_{1}}a(s,\ell_{1},\ell_{2}) \sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r} S(p-\ell_{1},m-\ell_{2},1,r,0)\,, \end{aligned}

where S(p-\ell_{1},m-\ell_{2},1,r,0) is given in Lemma 2 and a(s,\ell_{1},\ell_{2}) is given in Lemma 5. Therefore generalized hyperharmonic number sum

\sum_{n=1}^\infty\frac{H_n^{(p,s)}}{n^{m}\binom{n+k}{k}}

can be expressed in terms of classical Euler sums, zeta values and generalized harmonic numbers.

Proof of Theorem 1

By using Lemma 5, we have

\begin{aligned} &\quad \sum_{n=1}^\infty\frac{H_n^{(p,s)}}{n^{m}\binom{n+k}{k}}\\ &=\sum_{\ell_{1}=0}^{s-1} \sum_{\ell_{2}=0}^{s-1-\ell_{1}}a(s,\ell_{1},\ell_{2}) \sum_{n=1}^\infty\frac{H_n^{(p-\ell_{1})}}{n^{m-\ell_{2}}\binom{n+k}{k}}\\ &=\sum_{\ell_{1}=0}^{s-1} \sum_{\ell_{2}=0}^{s-1-\ell_{1}}a(s,\ell_{1},\ell_{2}) \sum_{n=1}^\infty\frac{H_n^{(p-\ell_{1})}}{n^{m-\ell_{2}}}\sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r}\frac{1}{n+r}\\ &=\sum_{\ell_{1}=0}^{s-1} \sum_{\ell_{2}=0}^{s-1-\ell_{1}}a(s,\ell_{1},\ell_{2})\sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r} \sum_{n=1}^\infty\frac{H_n^{(p-\ell_{1})}}{n^{m-\ell_{2}}(n+r)}\\ &=\sum_{\ell_{1}=0}^{s-1} \sum_{\ell_{2}=0}^{s-1-\ell_{1}}a(s,\ell_{1},\ell_{2}) \sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r} S(p-\ell_{1},m-\ell_{2},1,r,0)\,. \end{aligned}

Uses Lemma 5

Theorem

Theorem 2

X5H7

Let s, p, m, k \in \mathbb N with m \geq s, then we have,

where S(p-\ell_{1},m-\ell_{2},1,r,1) is given in Lemma 4. Therefore generalized hyperharmonic number sum

\sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p,s)}}{n^{m}\binom{n+k}{k}}

can be expressed in terms of classical alternating Euler sums, zeta values and generalized (alternating) harmonic numbers.

Proof of Theorem 2

By using Lemma 5, we have

\begin{aligned} &\quad \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p,s)}}{n^{m}\binom{n+k}{k}}\\ &=\sum_{\ell_{1}=0}^{s-1} \sum_{\ell_{2}=0}^{s-1-\ell_{1}}a(s,\ell_{1},\ell_{2}) \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p-\ell_{1})}}{n^{m-\ell_{2}}\binom{n+k}{k}}\\ &=\sum_{\ell_{1}=0}^{s-1} \sum_{\ell_{2}=0}^{s-1-\ell_{1}}a(s,\ell_{1},\ell_{2}) \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p-\ell_{1})}}{n^{m-\ell_{2}}}\sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r}\frac{1}{n+r}\\ &=\sum_{\ell_{1}=0}^{s-1} \sum_{\ell_{2}=0}^{s-1-\ell_{1}}a(s,\ell_{1},\ell_{2})\sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r} \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p-\ell_{1})}}{n^{m-\ell_{2}}(n+r)}\\ &=\sum_{\ell_{1}=0}^{s-1} \sum_{\ell_{2}=0}^{s-1-\ell_{1}}a(s,\ell_{1},\ell_{2}) \sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r} S(p-\ell_{1},m-\ell_{2},1,r,1)\,. \end{aligned}

Uses Lemma 5

Example

Example 1

N85Q

Some illustrative examples are as following.

When s=2, p=2, m=3, k=2, we have

\begin{aligned} &\sum_{n=1}^\infty\frac{H_n^{(2,2)}}{n^{3}\binom{n+2}{2}} =-\frac{9}{2}\zeta(5)+\frac{25}{4}\zeta(3)-\frac{17}{720}\pi^{4}-\frac{1}{4}\pi^{2}\,,\\ &\sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(2,2)}}{n^{3}\binom{n+2}{2}} =S_{2,3}^{+,-}-\frac{1}{2}S_{2,2}^{+,-}+\frac{3}{16}\zeta(3)-S_{1,3}^{+,-} +\frac{3}{2}S_{1,2}^{+,-}-4S_{1,1}^{+,-}+\zeta(2)\,. \end{aligned}

When s=2, p=1, m=3, k=2, we have

\begin{aligned} \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(1,2)}}{n^{3}\binom{n+2}{2}} &=S_{1,3}^{+,-}-\frac{1}{2}S_{1,2}^{+,-}-\frac{1}{2}\log{2}-\frac{7}{8}\zeta(2)+\frac{3}{2}\,,\\ &=-2Li_{4}(\frac{1}{2})+\frac{11}{4}\zeta(4)+\frac{1}{2}\zeta(2){\log{2}}^{2}-\frac{1}{12}(\log{2})^{4}\\ &\quad -\frac{7}{4}\zeta(3)\log{2}-\frac{5}{16}\zeta(3)-\frac{7}{8}\zeta(2) -\frac{1}{2}\log{2}+\frac{3}{2}\,. \end{aligned}

In this expression we use the well-known polylogarithm function

Li_{p}(x):=\sum_{n=1}^\infty \frac{x^n}{n^p}\quad (\lvert x \lvert \leq 1,\quad p \in \mathbb N)\,.

Lemma

Lemma 6 (Abel’s lemma on summation by parts )

OUBD

Let \{f_k\} and \{g_k\} be two sequences, and define the forward difference and backward difference, respectively, as

\Delta\tau_k=\tau_{k+1}-\tau_k\quad\hbox{and}\quad \nabla\tau_k=\tau_k-\tau_{k-1}\,,

then, there holds the relation:

\begin{aligned} \sum_{k=1}^\infty f_k\nabla g_k=\lim_{n\to\infty}f_n g_n-f_1 g_0-\sum_{k=1}^\infty g_k \Delta f_k \,. \end{aligned}

Used by Proof

Lemma

Lemma 7

JIOP

For r, p_{1}, p_{2}\in \mathbb N, we have

\begin{aligned} \sum_{n=1}^\infty \frac{r H_n^{(p_{1})} H_n^{(p_{2})}}{n(n+r)} &=S_{p_{1},p_{2}+1}^{+,+}+S_{p_{2},p_{1}+1}^{+,+}-\zeta(p_{1}+p_{2}+1) +\sum_{b=1}^{r-1}S(p_{1},p_{2},1,b,0)\\ &\quad +\sum_{b=1}^{r-1}S(p_{2},p_{1},1,b,0) -\sum_{b=1}^{r-1}S(0,p_{1}+p_{2}+1,1,b,0)\,. \end{aligned}

Used by Proof

Proof of Lemma 7

Set

f_{n}:=H_n^{(p_{1})} H_n^{(p_{2})}\quad\hbox{and}\quad g_{n}:=\frac{1}{n+1}+\cdots+\frac{1}{n+r}\,,

by using Lemma 6, we have

\begin{aligned} &\quad -\sum_{n=1}^\infty \frac{r H_n^{(p_{1})} H_n^{(p_{2})}}{n(n+r)}\\ &=\sum_{n=1}^\infty H_n^{(p_{1})} H_n^{(p_{2})}\left(\bigg(\frac{1}{n+1}+\cdots+\frac{1}{n+r}\bigg)-\bigg(\frac{1}{n}+\cdots+\frac{1}{n+r-1}\bigg)\right)\\ &=-\sum_{n=0}^\infty \bigg(\frac{1}{n+1}+\cdots+\frac{1}{n+r}\bigg) \bigg(\frac{H_n^{(p_{1})}}{(n+1)^{p_{2}}}+\frac{H_n^{(p_{2})}}{(n+1)^{p_{1}}}+\frac{1}{(n+1)^{p_{1}+p_{2}}}\bigg)\\ &=-\sum_{n=0}^\infty \sum_{b=0}^{r-1}\frac{1}{n+1+b} \bigg(\frac{H_{n+1}^{(p_{1})}}{(n+1)^{p_{2}}}+\frac{H_{n+1}^{(p_{2})}}{(n+1)^{p_{1}}}-\frac{1}{(n+1)^{p_{1}+p_{2}}}\bigg)\\ &=-\sum_{b=0}^{r-1}\sum_{n=1}^\infty \frac{1}{n+b} \bigg(\frac{H_{n}^{(p_{1})}}{n^{p_{2}}}+\frac{H_{n}^{(p_{2})}}{n^{p_{1}}}-\frac{1}{n^{p_{1}+p_{2}}}\bigg)\\ &=-\sum_{n=1}^\infty \bigg(\frac{H_{n}^{(p_{1})}}{n^{p_{2}+1}}+\frac{H_{n}^{(p_{2})}}{n^{p_{1}+1}}-\frac{1}{n^{p_{1}+p_{2}+1}}\bigg) -\sum_{b=1}^{r-1}\sum_{n=1}^\infty \frac{H_{n}^{(p_{1})}}{n^{p_{2}}(n+b)}\\ &\quad -\sum_{b=1}^{r-1}\sum_{n=1}^\infty \frac{H_{n}^{(p_{2})}}{n^{p_{1}}(n+b)}+\sum_{b=1}^{r-1}\sum_{n=1}^\infty \frac{1}{n^{p_{1}+p_{2}}(n+b)}\\ &=-S_{p_{1},p_{2}+1}^{+,+}-S_{p_{2},p_{1}+1}^{+,+}+\zeta(p_{1}+p_{2}+1) -\sum_{b=1}^{r-1}S(p_{1},p_{2},1,b,0)\\ &\quad -\sum_{b=1}^{r-1}S(p_{2},p_{1},1,b,0) +\sum_{b=1}^{r-1}S(0,p_{1}+p_{2}+1,1,b,0)\,. \end{aligned}

Uses Lemma 6

Definition

Definition 2

OR47

For p_{1}, p_{2}\in \mathbb Z and m, r, t \in \mathbb N, define the quantities T(p_{1},p_{2},m,t,r,0) and T(p_{1},p_{2},m,t,r,1) as

\begin{aligned} &T(p_{1},p_{2},m,t,r,0):=\sum_{n=1}^\infty\frac{H_n^{(p_{1})}H_n^{(p_{2})}}{n^{m}(n+r)^{t}}\,,\\ &T(p_{1},p_{2},m,t,r,1):=\sum_{n=1}^\infty\frac{(-1)^{n+1} H_n^{(p_{1})}H_n^{(p_{2})}}{n^{m}(n+r)^{t}}\,. \end{aligned}

When p \geq 0, H_n^{(-p)} is understood to be the sum 1^p+2^p+\cdots+n^p.

Lemma

Lemma 8

DQC9

Let p_{1}, p_{2}, m, r \in \mathbb N, then we have

\begin{aligned} &\quad T(p_{1},p_{2},m,1,r,0)\\ &=\sum_{i=2}^{m}\frac{(-1)^{m-i}}{r^{m-i+1}}S_{p_{1},p_{2},i}^{+,+,+} +\frac{(-1)^{m-1}}{r^{m}}\left(S_{p_{1},p_{2}+1}^{+,+}+S_{p_{2},p_{1}+1}^{+,+}\right)\\ &\quad -\frac{(-1)^{m-1}}{r^{m}}\zeta(p_{1}+p_{2}+1) +\frac{(-1)^{m-1}}{r^{m}}\sum_{b=1}^{r-1}S(p_{1},p_{2},1,b,0)\\ &\quad +\frac{(-1)^{m-1}}{r^{m}}\left(\sum_{b=1}^{r-1}S(p_{2},p_{1},1,b,0) -\sum_{b=1}^{r-1}S(0,p_{1}+p_{2}+1,1,b,0)\right)\,. \end{aligned}

Let p_{1}, m, r \in \mathbb N, p_{2} \in \mathbb N_{0} and m \geq p_{2}+2, then we have

\begin{aligned} &T(p_{1},-p_{2},m,1,r,0)\\ &=\frac{1}{p_{2}+1}\sum_{\ell=0}^{p_{2}} \binom{p_{2}+1}{\ell}B_{\ell}^{+}S(p_{1},m-p_{2}-1+\ell,1,r,0)\,. \end{aligned}

Let m, r \in \mathbb N, p_{1}, p_{2} \in \mathbb N_{0} and m \geq p_{1}+p_{2}+3, then we have

\begin{aligned} T(-p_{1},-p_{2},m,1,r,0)&=\frac{1}{(p_{1}+1)(p_{2}+1)}\sum_{\ell_{1}=0}^{p_{1}} \sum_{\ell_{2}=0}^{p_{2}} \binom{p_{1}+1}{\ell_{1}}\binom{p_{2}+1}{\ell_{2}}\\ &\quad \times B_{\ell_{1}}^{+}B_{\ell_{2}}^{+}S(0,m-p_{1}-p_{2}-1+\ell_{1}+\ell_{2},1,r,0)\,. \end{aligned}

Proof of Lemma 8

When p_{1}, p_{2}, m, r \in \mathbb N, we can obtain that

\begin{aligned} \sum_{n=1}^\infty\frac{H_n^{(p_{1})}H_n^{(p_{2})}}{n^{m}(n+r)} &=\sum_{n=1}^\infty H_n^{(p_{1})}H_n^{(p_{2})}\left(\sum_{i=2}^{m}\frac{(-1)^{m-i}}{r^{m-i+1}n^{i}} +\frac{(-1)^{m-1}}{r^{m-1}n(n+r)}\right)\\ &=\sum_{i=2}^{m}\frac{(-1)^{m-i}}{r^{m-i+1}}\sum_{n=1}^\infty \frac{H_n^{(p_{1})}H_n^{(p_{2})}}{n^{i}} +\frac{(-1)^{m-1}}{r^{m-1}}\sum_{n=1}^\infty\frac{H_n^{(p_{1})}H_n^{(p_{2})}}{n(n+r)}\,. \end{aligned}

With the help of Lemma 7, we get the desired result.

When p_{1}, m, r \in \mathbb N, p_{2} \in \mathbb N_{0} and m \geq p_{2}+2, we have

\begin{aligned} \sum_{n=1}^\infty\frac{H_n^{(p_{1})}H_n^{(-p_{2})}}{n^{m}(n+r)} &=\sum_{n=1}^\infty\frac{H_n^{(p_{1})}\sum_{\ell=1}^{n}\ell^{p_{2}}}{n^{m}(n+r)}\\ &=\sum_{n=1}^\infty \frac{H_n^{(p_{1})}\frac{1}{p_{2}+1}\sum_{\ell=0}^{p_{2}} \binom{p_{2}+1}{\ell}B_{\ell}^{+}n^{p_{2}+1-\ell}}{n^{m}(n+r)}\\ &=\frac{1}{p_{2}+1}\sum_{\ell=0}^{p_{2}} \binom{p_{2}+1}{\ell}B_{\ell}^{+} \sum_{n=1}^\infty \frac{H_n^{(p_{1})}}{n^{m-p_{2}-1+\ell}(n+r)}\,. \end{aligned}

With the help of Lemma 2, we get the desired result.

When m, r \in \mathbb N, p_{1}, p_{2} \in \mathbb N_{0} and m \geq p_{1}+p_{2}+3, we have

\begin{aligned} &\quad \sum_{n=1}^\infty\frac{H_n^{(-p_{1})}H_n^{(-p_{2})}}{n^{m}(n+r)}\\ &=\sum_{n=1}^\infty\frac{\sum_{\ell_{1}=1}^{n}\ell^{p_{1}}\sum_{\ell_{2}=1}^{n}\ell^{p_{2}}}{n^{m}(n+r)}\\ &=\sum_{n=1}^\infty \frac{\frac{1}{p_{1}+1}\sum_{\ell=0}^{p_{1}} \binom{p_{1}+1}{\ell}B_{\ell}^{+}n^{p_{1}+1-\ell}\frac{1}{p_{2}+1}\sum_{\ell=0}^{p_{2}} \binom{p_{2}+1}{\ell}B_{\ell}^{+}n^{p_{2}+1-\ell}}{n^{m}(n+r)}\\ &=\frac{1}{(p_{1}+1)(p_{2}+1)}\sum_{\ell_{1}=0}^{p_{1}} \sum_{\ell_{2}=0}^{p_{2}} \binom{p_{1}+1}{\ell_{1}}\binom{p_{2}+1}{\ell_{2}}\\ &\quad \times B_{\ell_{1}}^{+}B_{\ell_{2}}^{+} \sum_{n=1}^\infty \frac{1}{n^{m-p_{1}-p_{2}-2+\ell_{1}+\ell_{2}}(n+r)}\,. \end{aligned}

With the help of Lemma 2, we get the desired result.

Uses Lemma 7, Lemma 2

Lemma

Lemma 9

7E41

Let p_{1}, p_{2}, r \in \mathbb N, defining

\begin{aligned} T(p_{1},p_{2},r):=\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p_{1})}H_n^{(p_{2})}}{n+r}\,, \end{aligned}

then we have

\begin{aligned} &T(p_{1},p_{2},r)\\ &=(-1)^{r}\left(S_{p_{1},p_{2},1}^{+,+,-}-S_{p_{1},p_{2}+1}^{+,-}-S_{p_{2},p_{1}+1}^{+,-}+\overline{\zeta}(p_{1}+p_{2}+1)\right)\\ &\quad +\sum_{j=1}^{r-1}(-1)^{r-1-j}\big(S(p_{1},p_{2},1,j,1)+S(p_{2},p_{1},1,j,1)\big)\\ &\quad +\sum_{j=1}^{r-1}(-1)^{r-j}S(0,p_{1}+p_{2}+1,1,j,1)\,. \end{aligned}

Used by Proof

Proof of Lemma 9

By a change of counter, we have

\begin{aligned} &\quad T(p_{1},p_{2},r)\\ &=\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p_{1})}H_n^{(p_{2})}}{n+r}\\ &=\sum_{n=1}^\infty \frac{(-1)^{n}H_n^{(p_{1})}H_n^{(p_{2})}}{n+r-1}+\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p_{1})}}{n^{p_{2}}(n+r-1)}+\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p_{2})}}{n^{p_{1}}(n+r-1)}\\ &\quad +\sum_{n=1}^\infty \frac{(-1)^{n}}{n^{p_{1}+p_{2}}(n+r-1)}\\ &=-T(p_{1},p_{2},r-1)+S(p_{1},p_{2},1,r-1,1)+S(p_{2},p_{1},1,r-1,1)\\ &\quad -S(0,p_{1}+p_{2}+1,1,r-1,1)\\ &=(-1)^{r-1}T(p_{1},p_{2},1)+\sum_{j=1}^{r-1}(-1)^{r-1-j}S(p_{1},p_{2},1,j,1)\\ &\quad +\sum_{j=1}^{r-1}(-1)^{r-1-j}S(p_{2},p_{1},1,j,1) +\sum_{j=1}^{r-1}(-1)^{r-j}S(0,p_{1}+p_{2}+1,1,j,1)\,. \end{aligned}

Since

\begin{aligned} T(p_{1},p_{2},1) &=\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p_{1})}H_n^{(p_{2})}}{n+1}\\ &=\sum_{n=1}^\infty \frac{(-1)^{n}H_n^{(p_{1})}H_n^{(p_{2})}}{n}+\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p_{1})}}{n^{p_{2}+1}}\\ &\quad +\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p_{2})}}{n^{p_{1}+1}}+\sum_{n=1}^\infty \frac{(-1)^{n}}{n^{p_{1}+p_{2}+1}}\\ &=-S_{p_{1},p_{2},1}^{+,+,-}+S_{p_{1},p_{2}+1}^{+,-}+S_{p_{2},p_{1}+1}^{+,-}-\overline{\zeta}(p_{1}+p_{2}+1)\,, \end{aligned}

we get the desired result.

Lemma

Lemma 10

H986

Let p_{1}, p_{2}, r \in \mathbb N and m \in \mathbb N_{0}, then we have

\begin{aligned} &\quad T(p_{1},p_{2},m,1,r,1)\\ &=\sum_{i=1}^{m}\frac{(-1)^{m-i}}{r^{m-i+1}}S_{p_{1},p_{2},i}^{+,+,-} +\frac{(-1)^{m+r}}{r^{m}}\left(S_{p_{1},p_{2},1}^{+,+,-}-S_{p_{1},p_{2}+1}^{+,-}-S_{p_{2},p_{1}+1}^{+,-}\right)\\ &\quad +\frac{(-1)^{m+r}}{r^{m}}\overline{\zeta}(p_{1}+p_{2}+1) +\sum_{j=1}^{r-1}\frac{(-1)^{r+m-j}}{r^{m}}S(0,p_{1}+p_{2}+1,1,j,1)\\ &\quad +\sum_{j=1}^{r-1}\frac{(-1)^{r+m-1-j}}{r^{m}}\big(S(p_{1},p_{2},1,j,1)+S(p_{2},p_{1},1,j,1)\big)\,. \end{aligned}

Let p_{1}, m, r \in \mathbb N, p_{2} \in \mathbb N_{0} and m \geq p_{2}+1, then we have

\begin{aligned} &T(p_{1},-p_{2},m,1,r,1)\\ &=\frac{1}{p_{2}+1}\sum_{\ell=0}^{p_{2}} \binom{p_{2}+1}{\ell}B_{\ell}^{+}S(p_{1},m-p_{2}-1+\ell,1,r,1)\,. \end{aligned}

Let m, r \in \mathbb N, p_{1}, p_{2} \in \mathbb N_{0} and m \geq p_{1}+p_{2}+2, then we have

\begin{aligned} T(-p_{1},-p_{2},m,1,r,1)&=\frac{1}{(p_{1}+1)(p_{2}+1)}\sum_{\ell_{1}=0}^{p_{1}} \sum_{\ell_{2}=0}^{p_{2}} \binom{p_{1}+1}{\ell_{1}}\binom{p_{2}+1}{\ell_{2}}\\ &\quad \times B_{\ell_{1}}^{+}B_{\ell_{2}}^{+}S(0,m-p_{1}-p_{2}-1+\ell_{1}+\ell_{2},1,r,1)\,. \end{aligned}

Proof of Lemma 10

When p_{1}, p_{2}, r \in \mathbb N and m \in \mathbb N_{0}, we can obtain that

\begin{aligned} &\quad \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p_{1})}H_n^{(p_{2})}}{n^{m}(n+r)}\\ &=\sum_{n=1}^\infty (-1)^{n+1}H_n^{(p_{1})}H_n^{(p_{2})}\left(\sum_{i=1}^{m}\frac{(-1)^{m-i}}{r^{m-i+1}n^{i}} +\frac{(-1)^{m}}{r^{m}(n+r)}\right)\\ &=\sum_{i=1}^{m}\frac{(-1)^{m-i}}{r^{m-i+1}}\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p_{1})}H_n^{(p_{2})}}{n^{i}} +\frac{(-1)^{m}}{r^{m}}\sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p_{1})}H_n^{(p_{2})}}{n+r}\,. \end{aligned}

With the help of Lemma 9, we get the desired result.

When p_{1}, m, r \in \mathbb N, p_{2} \in \mathbb N_{0} and m \geq p_{2}+1, we have

\begin{aligned} \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p_{1})}H_n^{(-p_{2})}}{n^{m}(n+r)} &=\sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p_{1})}\sum_{\ell=1}^{n}\ell^{p_{2}}}{n^{m}(n+r)}\\ &=\sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p_{1})}\frac{1}{p_{2}+1}\sum_{\ell=0}^{p_{2}} \binom{p_{2}+1}{\ell}B_{\ell}^{+}n^{p_{2}+1-\ell}}{n^{m}(n+r)}\\ &=\frac{1}{p_{2}+1}\sum_{\ell=0}^{p_{2}} \binom{p_{2}+1}{\ell}B_{\ell}^{+} \sum_{n=1}^\infty \frac{(-1)^{n+1}H_n^{(p_{1})}}{n^{m-p_{2}-1+\ell}(n+r)}\,. \end{aligned}

With the help of Lemma 4, we get the desired result.

When m, r \in \mathbb N, p_{1}, p_{2} \in \mathbb N_{0} and m \geq p_{1}+p_{2}+2, we have

\begin{aligned} &\quad \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(-p_{1})}H_n^{(-p_{2})}}{n^{m}(n+r)}\\ &=\sum_{n=1}^\infty\frac{(-1)^{n+1}\sum_{\ell_{1}=1}^{n}\ell^{p_{1}}\sum_{\ell_{2}=1}^{n}\ell^{p_{2}}}{n^{m}(n+r)}\\ &=\sum_{n=1}^\infty \frac{(-1)^{n+1}\frac{1}{p_{1}+1}\sum_{\ell=0}^{p_{1}} \binom{p_{1}+1}{\ell}B_{\ell}^{+}n^{p_{1}+1-\ell}\frac{1}{p_{2}+1}\sum_{\ell=0}^{p_{2}} \binom{p_{2}+1}{\ell}B_{\ell}^{+}n^{p_{2}+1-\ell}}{n^{m}(n+r)}\\ &=\frac{1}{(p_{1}+1)(p_{2}+1)}\sum_{\ell_{1}=0}^{p_{1}} \sum_{\ell_{2}=0}^{p_{2}} \binom{p_{1}+1}{\ell_{1}}\binom{p_{2}+1}{\ell_{2}}\\ &\quad \times B_{\ell_{1}}^{+}B_{\ell_{2}}^{+} \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^{m-p_{1}-p_{2}-2+\ell_{1}+\ell_{2}}(n+r)}\,. \end{aligned}

With the help of Lemma 4, we get the desired result.

Uses Lemma 9, Lemma 4

Theorem

Theorem 3

Q11K

Let s_{1}, s_{2}, p_{1}, p_{2}, m, k \in \mathbb N with m \geq s_{1}+s_{2}-1, then we have

where a(s,\ell_{x},t_{x}), x=1,2 are given in Lemma 5 and T(p_{1}-\ell_{1},p_{2}-\ell_{2},m-t_{1}-t_{2},1,r,0) is given in Lemma 8. Therefore generalized hyperharmonic number sum

\sum_{n=1}^\infty\frac{H_n^{(p_{1},s_{1})}H_n^{(p_{2},s_{2})}}{n^{m}\binom{n+k}{k}}

can be expressed in terms of classical Euler sums, zeta values and generalized harmonic numbers.

Proof of Theorem 3

By using Lemma 5, we have

\begin{aligned} &\quad \sum_{n=1}^\infty\frac{H_n^{(p_{1},s_{1})}H_n^{(p_{2},s_{2})}}{n^{m}\binom{n+k}{k}}\\ &=\sum_{\ell_{1}=0}^{s_{1}-1}\sum_{t_{1}=0}^{s_{1}-1-\ell_{1}} \sum_{\ell_{2}=0}^{s_{2}-1}\sum_{t_{2}=0}^{s_{2}-1-\ell_{2}}a(s_{1},\ell_{1},t_{1})a(s_{2},\ell_{2},t_{2}) \sum_{n=1}^\infty\frac{H_n^{(p_{1}-\ell_{1})}H_n^{(p_{2}-\ell_{2})}}{n^{m-t_{1}-t_{2}}\binom{n+k}{k}}\\ &=\sum_{\ell_{1}=0}^{s_{1}-1}\sum_{t_{1}=0}^{s_{1}-1-\ell_{1}} \sum_{\ell_{2}=0}^{s_{2}-1}\sum_{t_{2}=0}^{s_{2}-1-\ell_{2}}a(s_{1},\ell_{1},t_{1})a(s_{2},\ell_{2},t_{2})\\ &\quad \times \sum_{n=1}^\infty\frac{H_n^{(p_{1}-\ell_{1})}H_n^{(p_{2}-\ell_{2})}}{n^{m-t_{1}-t_{2}}}\sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r}\frac{1}{n+r}\\ &=\sum_{\ell_{1}=0}^{s_{1}-1}\sum_{t_{1}=0}^{s_{1}-1-\ell_{1}} \sum_{\ell_{2}=0}^{s_{2}-1}\sum_{t_{2}=0}^{s_{2}-1-\ell_{2}}a(s_{1},\ell_{1},t_{1})a(s_{2},\ell_{2},t_{2})\\ &\quad \times \sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r} \sum_{n=1}^\infty\frac{H_n^{(p_{1}-\ell_{1})}H_n^{(p_{2}-\ell_{2})}}{n^{m-t_{1}-t_{2}}(n+r)}\\ &=\sum_{\ell_{1}=0}^{s_{1}-1}\sum_{t_{1}=0}^{s_{1}-1-\ell_{1}} \sum_{\ell_{2}=0}^{s_{2}-1}\sum_{t_{2}=0}^{s_{2}-1-\ell_{2}}a(s_{1},\ell_{1},t_{1})a(s_{2},\ell_{2},t_{2})\\ &\quad \times \sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r}T(p_{1}-\ell_{1},p_{2}-\ell_{2},m-t_{1}-t_{2},1,r,0)\,. \end{aligned}

Uses Lemma 5

Theorem

Theorem 4

P8FC

Let s_{1}, s_{2}, p_{1}, p_{2}, m, k \in \mathbb N with m \geq s_{1}+s_{2}-1, then we have

where a(s,\ell_{x},t_{x}), x=1,2 are given in Lemma 5 and T(p_{1}-\ell_{1},p_{2}-\ell_{2},m-t_{1}-t_{2},1,r,1) is given in Lemma 10. Therefore generalized hyperharmonic number sum

\sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p_{1},s_{1})}H_n^{(p_{2},s_{2})}}{n^{m}\binom{n+k}{k}}

can be expressed in terms of classical (alternating) Euler sums, zeta values and generalized (alternating) harmonic numbers.

Proof of Theorem 4

By using Lemma 5, we have

\begin{aligned} &\quad \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p_{1},s_{1})}H_n^{(p_{2},s_{2})}}{n^{m}\binom{n+k}{k}}\\ &=\sum_{\ell_{1}=0}^{s_{1}-1}\sum_{t_{1}=0}^{s_{1}-1-\ell_{1}} \sum_{\ell_{2}=0}^{s_{2}-1}\sum_{t_{2}=0}^{s_{2}-1-\ell_{2}}a(s_{1},\ell_{1},t_{1})a(s_{2},\ell_{2},t_{2}) \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p_{1}-\ell_{1})}H_n^{(p_{2}-\ell_{2})}}{n^{m-t_{1}-t_{2}}\binom{n+k}{k}}\\ &=\sum_{\ell_{1}=0}^{s_{1}-1}\sum_{t_{1}=0}^{s_{1}-1-\ell_{1}} \sum_{\ell_{2}=0}^{s_{2}-1}\sum_{t_{2}=0}^{s_{2}-1-\ell_{2}}a(s_{1},\ell_{1},t_{1})a(s_{2},\ell_{2},t_{2})\\ &\quad \times \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p_{1}-\ell_{1})}H_n^{(p_{2}-\ell_{2})}}{n^{m-t_{1}-t_{2}}}\sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r}\frac{1}{n+r}\\ &=\sum_{\ell_{1}=0}^{s_{1}-1}\sum_{t_{1}=0}^{s_{1}-1-\ell_{1}} \sum_{\ell_{2}=0}^{s_{2}-1}\sum_{t_{2}=0}^{s_{2}-1-\ell_{2}}a(s_{1},\ell_{1},t_{1})a(s_{2},\ell_{2},t_{2})\\ &\quad \times \sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r} \sum_{n=1}^\infty\frac{(-1)^{n+1}H_n^{(p_{1}-\ell_{1})}H_n^{(p_{2}-\ell_{2})}}{n^{m-t_{1}-t_{2}}(n+r)}\\ &=\sum_{\ell_{1}=0}^{s_{1}-1}\sum_{t_{1}=0}^{s_{1}-1-\ell_{1}} \sum_{\ell_{2}=0}^{s_{2}-1}\sum_{t_{2}=0}^{s_{2}-1-\ell_{2}}a(s_{1},\ell_{1},t_{1})a(s_{2},\ell_{2},t_{2})\\ &\quad \times \sum_{r=1}^{k}(-1)^{r+1} r \binom{k}{r}T(p_{1}-\ell_{1},p_{2}-\ell_{2},m-t_{1}-t_{2},1,r,1)\,. \end{aligned}

Uses Lemma 5

Proposition

Proposition 1

M1W6

\begin{aligned} &\int_{0}^{\frac{\pi}{2}}\frac{\phi(2\cos \phi-1)}{5-4\sin \phi}\mathrm{d}\phi=-\frac{1}{12}\pi^{2}+\frac{1}{2}\log^{2}2+\frac{\pi}{2}\arctan{\frac{1}{2}}+\frac{1}{4}Li_{2}(-\frac{1}{4})\,,\\ &\int_{0}^{\frac{\pi}{2}}\frac{2\phi\sin \phi}{5-4\sin \phi}\mathrm{d}\phi=\frac{\pi}{4}\log\frac{5}{4}+Ti_{2}(\frac{1}{2})\,. \end{aligned}

Lemma

Lemma 11

7GKB

Let n, m \in \mathbb N_{0}, defining

\begin{aligned} L(n, m, x):=\int_{0}^{x}y^{n}\log^{m} y \mathrm{d}y\,, \end{aligned}

then we have

\begin{aligned} L(n, m, x)=\frac{x^{n+1}}{n+1}\sum_{j=0}^{m}\frac{(m+1-j)_{j}}{(n+1)^j}(-1)^{j}\log^{m-j} x\,, \end{aligned}

where (t)_{n}=t(t+1)\cdots(t+n-1) is the Pochhammer symbol. In particular, we have L(n, m, 1)=\frac{m!(-1)^m}{(n+1)^{m+1}}.

Used by Proof

Proof of Lemma 11

\begin{aligned} L(n, m, x)&=\frac{x^{n+1}}{n+1}\log^{m} x-\frac{m}{n+1}\int_{0}^{x}y^{n}\log^{m-1} y \mathrm{d}y\\ &=\frac{x^{n+1}}{n+1}\log^{m} x-\frac{m}{n+1}L(n, m-1, x)\\ &=\frac{x^{n+1}}{n+1}\log^{m} x-\frac{m x^{n+1}}{(n+1)^2}\log^{m-1} x+\frac{m(m-1)}{(n+1)^2}L(n, m-2, x)\\ &=\frac{x^{n+1}}{n+1}\sum_{j=0}^{m}\frac{(m+1-j)_{j}}{(n+1)^j}(-1)^{j}\log^{m-j} x\,. \end{aligned}

Lemma

Lemma 12

GES7

Let n, m \in \mathbb N_{0}, defining

\begin{aligned} M(n, m, x):=\int_{x}^{1}y^{n}\log^{m} (1-y) \mathrm{d}y\,, \end{aligned}

then we have

\begin{aligned} M(n, m, x)=\sum_{j=0}^{n}\binom{n}{j}(-1)^{j}\frac{(1-x)^{j+1}}{j+1} \sum_{i=0}^{m}\frac{(m+1-i)_{i}}{(j+1)^i}(-1)^{i}\log^{m-i} (1-x)\,. \end{aligned}

In particular, we have M(n, m, 0)=(-1)^{m}m!\sum_{j=0}^{n}\binom{n}{j}\frac{(-1)^{j}}{(j+1)^{m+1}}.

Proof of Lemma 12

By a change of variable, we have

\begin{aligned} M(n, m, x)&=\int_{0}^{1-x}(1-t)^{n}\log^{m} t \mathrm{d}t\\ &=\sum_{j=0}^{n}\binom{n}{j}(-1)^{j}\int_{0}^{1-x}t^{j}\log^{m} t \mathrm{d}t\,. \end{aligned}

With the help of Lemma11, we get the desired result.

Uses Lemma 11

Proposition

Proposition 2

XSWQ

For n\in \mathbb N_{0} and r \in \mathbb N, we have

\begin{aligned} H_{n+1}&=(n+1)\sum_{j=0}^{n}\binom{n}{j}\frac{(-1)^{j}}{(j+1)^{2}}\\ &=\sum_{j=0}^{n}\binom{n+1}{j+1}\frac{(-1)^{j}}{j+1}\,,\\ h_n^{(r)}&=\binom{n+r-1}{r-1}\bigg(\sum_{j_{1}=0}^{n+r-2}\binom{n+r-1}{j_{1}+1}\frac{(-1)^{j_{1}}}{j_{1}+1} -\sum_{j_{2}=0}^{r-2}\binom{r-1}{j_{2}+1}\frac{(-1)^{j_{2}}}{j_{2}+1}\bigg)\,. \end{aligned}

Proposition

Proposition 3

II28

For n\in \mathbb N_{0}, we have

\begin{aligned} &H_{n+1}^{(2)}=\sum_{j=0}^{n}\binom{n+1}{j+1}\frac{(-1)^{j}}{(j+1)^2} -\sum_{k=0}^{n-1}\frac{1}{k+2}\sum_{j=0}^{k}\binom{k+1}{j+1}\frac{(-1)^{j}}{j+1}\,,\\ &H_{n+1}^{(3)}=\sum_{j=0}^{n}\binom{n+1}{j+1}\frac{(-1)^{j}}{(j+1)^3} -\sum_{j=0}^{n-1}\frac{1}{(j+1)^2}\sum_{\ell=0}^{j}\binom{j+1}{\ell+1}\frac{(-1)^{\ell}}{\ell+1}\\ &\qquad \qquad -\sum_{j=0}^{n-1}\frac{1}{j+2}\sum_{\ell=0}^{j}\binom{j+1}{\ell+1}\frac{(-1)^{\ell}}{(\ell+1)^2}\,. \end{aligned}

Source and licence

The text on this page is from arXiv:2104.04145v1 by Rusen Li, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2104/2104.04145.jsonl.