Hostname: page-component-cd9895bd7-dk4vv Total loading time: 0 Render date: 2024-12-23T04:31:35.408Z Has data issue: false hasContentIssue false

INFINITE SERIES CONCERNING HARMONIC NUMBERS AND QUINTIC CENTRAL BINOMIAL COEFFICIENTS

Published online by Cambridge University Press:  07 July 2023

CHUNLI LI
Affiliation:
School of Mathematics and Statistics, Zhoukou Normal University, Zhoukou (Henan), PR China e-mail: lichunlizk@outlook.com
WENCHANG CHU*
Affiliation:
School of Mathematics and Statistics, Zhoukou Normal University, Zhoukou (Henan), PR China
Rights & Permissions [Opens in a new window]

Abstract

By examining two hypergeometric series transformations, we establish several remarkable infinite series identities involving harmonic numbers and quintic central binomial coefficients, including five conjectured recently by Z.-W. Sun [‘Series with summands involving harmonic numbers’, Preprint, 2023, arXiv:2210.07238v7]. This is realised by ‘the coefficient extraction method’ implemented by Mathematica commands.

Type
Research Article
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of Australian Mathematical Publishing Association Inc.

1 Introduction and outline

There are many infinite series representations for $\pi $ and related mathematical constants (see [Reference Borwein and Borwein2, Reference Chan and Liaw3, Reference Chu7, Reference Chu9, Reference Chu and Campbell10, Reference Elsner13, Reference Lehmer17, Reference Zucker22]). Recently, by employing computer algebra, Guillera [Reference Guillera14Reference Guillera16] discovered several marvellous evaluations of Ramanujan-like series [Reference Ramanujan19]. Two beautiful examples are

$$ \begin{align*} \fbox{Equation (2.4)} \qquad &\frac8{\pi^2} = \sum_{n=0}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n} \{1+8n+20n^2\}, \\ \fbox{Equation (2.8)} \qquad&\frac{7}{2}\zeta(3) =\sum_{n=0}^{\infty} \frac{(-2^8)^n}{\binom{2n}{n}^5} \frac{5+14 n+10 n^2}{(2n+1)^5}. \end{align*} $$

These two identities and further similar ones have been proved uniformly by means of the hypergeometric series approach (see [Reference Chu6, Reference Chu8, Reference Chu and Zhang11]). The same approach has been used to examine analogous series involving harmonic numbers (see [Reference Chu5, Reference Chu7, Reference Chu9, Reference Chu and Campbell10, Reference Wang and Chu21]). We evaluate several challenging series involving harmonic numbers and quintic central binomial coefficients in closed form, including five experimentally conjectured by Sun [Reference Sun20] (see (2.5), (2.6), (2.9), (2.10), (3.2)). Five representative examples are

$$ \begin{align*} \fbox{Equation (3.3)} \quad&\frac{64\zeta(3)}{\pi^2} =\sum_{n=0}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n}\bigg\{\frac{8}{1+2n}+(1+8n+20n^2)\mathbf{H}_{n}^{\scriptscriptstyle\langle{3}\rangle}\bigg\}. \\ \fbox{Equation (3.4)}\quad &-\frac{56\pi^2}{45}=\sum_{n=1}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n} \{(1+8n+20n^2)(\mathbf{H}_{n}^{\scriptscriptstyle\langle{4}\rangle} + 64\mathbf{O}_{n}^{\scriptscriptstyle\langle{4}\rangle})\}. \\\fbox{Equation (2.11)}\quad &-98\zeta^2(3) =\sum_{n=1}^{\infty} \frac{(-2^8)^{n}}{n^5\binom{2n}{n}^5}\bigg\{\frac1n+4(1-6 n+10 n^2)\mathbf{O}_{n}^{\scriptscriptstyle\langle{3}\rangle}\bigg\}. \\ \fbox{Equation (2.12)} \quad &-127\zeta(7)=\sum_{n=1}^{\infty} \frac{(-2^8)^{n}}{n^5\binom{2n}{n}^5} (1-6 n+10 n^2)(\mathbf{H}_{n-1}^{\scriptscriptstyle\langle{4}\rangle}+ 4\mathbf{O}_{n}^{\scriptscriptstyle\langle{4}\rangle}). \\ \fbox{Equation (3.6)}\quad &14\zeta (3)\{8-7\zeta (3)\} =\sum_{n=1}^{\infty} \frac{(-2^8)^n}{\binom{2n}{n}^5}\frac{1+4 n(1+6n+10n^2)\mathbf{O}_{n+1}^{\scriptscriptstyle\langle{3}\rangle}}{n^6 (2n+1)^4}. \end{align*} $$

To facilitate the subsequent presentation, we briefly review basic facts about harmonic numbers, the $\Gamma $ -function and the ‘coefficient extraction’ method.

1.1 Harmonic numbers

For $x\in \mathbb {R}$ and $n \in \mathbb {N}_0$ , these numbers are defined by

$$ \begin{align*}& \mathbf{H}_{n}^{\scriptscriptstyle\langle{\lambda}\rangle}(x) = \sum_{k=0}^{n-1}\frac1{(x+k)^{\lambda}}, \quad\hspace{5.5pt} \bar{\mathbf{H}}_{n}^{\scriptscriptstyle\langle{\lambda}\rangle}(x)=\sum_{k=0}^{n-1}\frac{(-1)^k}{(x+k)^{\lambda}};\\ & \mathbf{O}_{n}^{\scriptscriptstyle\langle{\lambda}\rangle}(x)=\sum_{k=0}^{n-1}\frac{1}{(x+2k)^{\lambda}}, \quad \bar{\mathbf{O}}_{n}^{\scriptscriptstyle\langle{\lambda}\rangle}(x)=\sum_{k=0}^{n-1}\frac{(-1)^k}{(x+2k)^{\lambda}}. \end{align*} $$

When $\lambda =1$ and/or $x=1$ , they will be suppressed from the notation. We record also the following simple, but useful relations:

$$ \begin{align*} \mathbf{H}_{2n}^{\scriptscriptstyle\langle{\lambda}\rangle}=\mathbf{O}_{n}^{\scriptscriptstyle\langle{\lambda}\rangle}+2^{-\lambda}\mathbf{H}_{n}^{\scriptscriptstyle\langle{\lambda}\rangle}, \ \mathbf{H}_{n}^{\scriptscriptstyle\langle{\lambda}\rangle}(\tfrac12)=2^{\lambda}\mathbf{O}_{n}^{\scriptscriptstyle\langle{\lambda}\rangle}; \quad \bar{\mathbf{H}}_{2n}^{\scriptscriptstyle\langle{\lambda}\rangle}=\mathbf{O}_{n}^{\scriptscriptstyle\langle{\lambda}\rangle}-2^{-\lambda}\mathbf{H}_{n}^{\scriptscriptstyle\langle{\lambda}\rangle}, \ \bar{\mathbf{H}}_{n}^{\scriptscriptstyle\langle{\lambda}\rangle}(\tfrac12)=2^{\lambda}\bar{\mathbf{O}}_{n}^{\scriptscriptstyle\langle{\lambda}\rangle}. \end{align*} $$

1.2 The Gamma function

It is defined by the Euler integral (see [Reference Rainville18, Section 8]),

$$ \begin{align*}\Gamma(x)=\int_{0}^{\infty}\tau^{x-1}e^{-\tau}\,{d}\tau \quad\text{for Re}(x)>0,\end{align*} $$

with its quotient form being abbreviated to

As usual, denote the Riemann zeta function and the Euler–Mascheroni constant by

$$ \begin{align*}\zeta(x)=\sum_{n=1}^{\infty}\dfrac{1}{n^{x}} \quad\text{and}\quad \gamma=\lim_{n\to\infty}(\mathbf{H}_{n}-\ln n).\end{align*} $$

Then we have power series expansions of the $\Gamma $ -function [Reference Chu5]:

(1.1) $$ \begin{align} \hspace{-11pt}\Gamma(1-x) &= \exp\bigg\{\sum_{k\geq1} \frac{\sigma_k}{k}x^k\bigg\}, \end{align} $$
(1.2) $$ \begin{align} \Gamma\bigg(\frac{1}{2}-x\bigg) &= \sqrt{\pi}\exp\bigg\{\sum_{k\geq1} \frac{\tau_k}{k}x^k\bigg\}; \end{align} $$

where $\sigma _k$ and $\tau _k$ are defined respectively by

$$ \begin{align*} \begin{array}{lllll}\sigma_1=\gamma & \text{and} & \sigma_m=\zeta(m) & \text{for}\ m\geq2;\\\tau_1=\gamma+2\ln2 & \text{and} & \tau_m=(2^m-1)\zeta(m) &\text{for}\ m\geq2.\end{array} \end{align*} $$

1.3 Coefficient extraction

For an indeterminate x, the rising factorials are

$$ \begin{align*}(x)_0=1 \quad\text{and}\quad (x)_n=x(x+1)\cdots(x+n-1) \quad\text{for}\ n\in\mathbb{N}.\end{align*} $$

Let $[x^m]\varphi (x)$ stand for the coefficient of $x^m$ in the formal power series $\varphi (x)$ . By means of the generating function method, it is not difficult to show (see [Reference Chen and Chu4, Reference Chu7, Reference Chu8]):

(1.3) $$ \begin{align} [x^m]\frac{(\lambda-x)_n}{(\lambda)_n} =\Omega_m(-\text{hh}) \quad\text{and}\quad [x^m]\frac{(\lambda)_n}{(\lambda-x)_n} =\Omega_m(\text{hh}).\end{align} $$

Here ‘ $\text {hh}_k$ ’ stands for the harmonic number $\text {hh}_k:=\mathbf {H}_{n}^{\scriptscriptstyle \langle {k}\rangle }(\lambda )$ of order k, and the Bell polynomials [Reference Comtet12, Section 3.3] are expressed explicitly as

(1.4) $$ \begin{align}\Omega_m(\pm\text{hh}) = \sum_{\substack{\omega(m)}}\prod_{k=1}^m \frac{\{\pm\mathbf{H}_{n}^{\scriptscriptstyle\langle{k}\rangle}(\lambda)\}^{\ell_k}} {\ell_k!\:k^{\ell_k}}.\end{align} $$

The multiple sum on the right runs over $\omega (m)$ , the set of all m-partitions represented by m-tuples $(\ell _1,\ell _2,\ldots ,\ell _m)\in \mathbb {N}_0^m$ subject to the condition $\sum _{k=1}^m k\ell _k=m$ .

By applying the ‘coefficient extraction’ method (see [Reference Chu5, Reference Chu7, Reference Chu9, Reference Chu and Campbell10, Reference Wang and Chu21]) to the two hypergeometric series transformations due to Chu and Zhang [Reference Chu and Zhang11], we shall establish several new infinite series identities involving harmonic numbers and quintic central binomial coefficients. In the next section, this approach will be illustrated by deducing identities from one of these transformations. Then in Section 3, more infinite series evaluations will be presented by examining the other transformation.

2 Sample series with harmonic numbers of lower orders

For $\{a,b,c,d,e\}\in \mathbb {C}$ subject to the condition $\text {Re}(1+2a-b-c-d-e)>0$ , Chu and Zhang [Reference Chu and Zhang11, Theorem 10] discovered the transformation formula

(2.1)

where the cubic polynomial $\mathcal {U}_n(a,b,c,d,e)$ is given by

$$ \begin{align*}\mathcal{U}_n(a,b,c,d,e)&=(a-e+n)(1+2a-b-c-d+2n)(2+2a-b-c-d-e+2n)\\ &\quad +(1+a-b-c+n)(1+a-b-d+n)(1+a-c-d+n). \end{align*} $$

By specifying $e=a$ in (2.1) and assuming the condition $\text{Re}(1+a-b-c-d)>0$ , we derive, by making use of Dougall’s summation theorem for the very well-poised $_5F_4$ -series [Reference Bailey1, Section 4.4], the summation formula

(2.2)

where the cubic polynomial $\mathrm {U}_n(a,b,c,d)$ is given by

$$ \begin{align*}\mathrm{U}_n(a,b,c,d)&=n(1+2a-b-c-d+2n)(2+a-b-c-d+2n)\\ &\quad +(1+a-b-c+n)(1+a-b-d+n)(1+a-c-d+n). \end{align*} $$

The parameter restriction $\text {Re}(1+a-b-c-d)>0$ can be removed by analytic continuation. The formula holds in the whole complex space of dimension 4 except for the hyperplanes determined by $\{b-a\in \mathbb {N}\} \cup \{c-a\in \mathbb {N}\} \cup \{d-a\in \mathbb {N}\} \cup \{b+c+d-a\in \mathbb {N}\},$ which is also covered by the convergence domain of the infinite series.

Now we are going to illustrate how to use (2.2) and then (2.1) to derive infinite series identities involving harmonic numbers and quintic central binomial coefficients.

2.1 Quintic central binomial coefficients in numerators

Under the parameter replacements

$$ \begin{align*}{a=\tfrac12+ax, \quad b=\tfrac12+bx, \quad c=\tfrac12+cx, \quad d=\tfrac12+dx},\end{align*} $$

the summation formula in (2.2) becomes

(2.3)

where the cubic polynomial $\mathcal {P}_n(a,b,c,d;x)$ is given by

$$ \begin{align*}&\mathcal{P}_n(a,b,c,d;x)=n(1+ax-bx-cx-dx+2n)(\tfrac12+2ax-bx-cx-dx+2n)\\ &\qquad +(\tfrac12+ax-bx-cx+n)(\tfrac12+ax-bx-dx+n)(\tfrac12+ax-cx-dx+n). \end{align*} $$

Observe that both sides of equation (2.3) are analytic in x in the neighbourhood of $x=0$ . By means of (1.1) and (1.2), the $\Gamma $ -function quotient on the left-hand side can be expanded into a Maclaurin series. The same can be done for the right-hand side via (1.3) and (1.4). By comparing the coefficients $\mathrm {A}_m(a,b,c,d)$ of $x^m$ across the resulting series, we can establish the following infinite series identities.

  • $\boxed {\mathrm {A}_0(a,b,c,d)}$ Guillera [Reference Guillera16] (see also [Reference Chu8, Reference Chu and Zhang11]):

    (2.4) $$ \begin{align} \frac8{\pi^2}=\sum_{n=0}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n} \{1+8n+20n^2\}.\end{align} $$
  • $\boxed {\mathrm {A}_1(1,1,0,0)}$ Conjectured by Sun [Reference Sun20, (4.15)]

    (2.5) $$ \begin{align}\frac{16\ln2}{\pi^2}=\sum_{n=0}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n} \{(1+6n)-(1+8n+20n^2)\mathbf{H}_{n}\}.\end{align} $$
  • $\boxed {\mathrm {A}_1(3,3,2,2)}$

    $$ \begin{align*}\frac{16\ln2}{\pi^2}=\sum_{n=0}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n} \{(3+10n)+10(1+8n+20n^2)\mathbf{O}_{n}\}.\end{align*} $$

Linear combinations of the above two series yield two further series below, where the first one was experimentally conjectured by Sun [Reference Sun20, (4.16)]:

(2.6) $$ \begin{align}\frac{32\ln2}{\pi^2}&=\sum_{n=0}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n} \{(1+10n)-5(1+8n+20n^2)\mathbf{H}_{2n}\},\\ \frac{48\ln2}{\pi^2}&=\sum_{n=0}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n} \{(4+20n)+5(1+8n+20n^2)\bar{\mathbf{H}}_{2n}\}.\nonumber \end{align} $$
  • $\boxed {\mathrm {A}_2(1+\mathbf {i},0,1,\mathbf {i})}$

  • $\boxed {\mathrm {A}_2(3,7,\sqrt {19}\mathbf {i},-\sqrt {19}\mathbf {i})}$

  • $\boxed {3\mathrm {A}_3(1,1,\mathbf {i},-\mathbf {i})+2\mathrm {A}_3(0,1,-2,1)}$

  • $\boxed {3\mathrm {A}_3(2,0,1+\mathbf {i},1-\mathbf {i})-2\mathrm {A}_3(0,1,-2,1)}$

Among these series, the first and also the simplest was discovered by Guillera [Reference Guillera16] using computer algebra. For the hypergeometric series approach, more identities of Ramanujan type are systematically reviewed in [Reference Chu8, Reference Chu and Zhang11].

2.2 Quintic central binomial coefficients in denominators

Alternatively, under the parameter setting

$$ \begin{align*}{a=1+ax, \quad b=\tfrac12+bx, \quad c=\tfrac12+cx, \quad d=\tfrac12+dx, \quad e=\tfrac12+ex},\end{align*} $$

the transformation corresponding to (2.1) can be simplified into

(2.7)

where the cubic polynomial $\mathcal {Q}_n=\mathcal {Q}_n(a,b,c,d,e;x)$ is given by

Since both sides of (2.7) are analytic in x in the neighbourhood of $x=0$ , we can expand them into Maclaurin series. Even though the series on the left does not admit a closed form expression, we do succeed, by extracting the coefficients $\mathrm {B}_m(a,b,c,d,e)$ of $x^m$ across the resulting series, in recovering Guillera’s elegant formula (2.8), confirming two conjectured identities (2.9) and (2.10) made very recently by Sun [Reference Sun20], and finding further elegant and difficult evaluation formulae involving har monic numbers of higher order. They are represented by the following ten examples.

  • $\boxed {\mathrm {B}_0(a,b,c,d,e)}$ Guillera [Reference Guillera16] (see also [Reference Chu8, Reference Chu and Zhang11])

    (2.8) $$ \begin{align} -28\zeta(3)=\sum_{n=1}^{\infty} \frac{(-2^8)^{n}}{n^5\binom{2n}{n}^5} \{1-6 n+10 n^2\}.\end{align} $$
  • $\boxed {\mathrm {B}_1(2,1,1,1,1)}$ Conjectured by Sun [Reference Sun20, (4.6)]

    (2.9) $$ \begin{align} -\frac{\pi^4}{2}=\sum_{n=1}^{\infty} \frac{(-2^8)^{n}}{n^5\binom{2n}{n}^5} \{2(1-6 n+10 n^2)\mathbf{O}_{n}+(1-3n)\}.\end{align} $$
  • $\boxed {\mathrm {B}_2(0,0,0,1,-1)}$ Conjectured by Sun [Reference Sun20, (4.8)]

    (2.10) $$ \begin{align} 62\zeta(5)=\sum_{n=1}^{\infty} \frac{(-2^8)^{n}}{n^5\binom{2n}{n}^5} \{(1-6 n+10 n^2)(\mathbf{H}_{n-1}^{\scriptscriptstyle\langle{2}\rangle}-2\mathbf{O}_{n}^{\scriptscriptstyle\langle{2}\rangle})+1\}.\end{align} $$
  • $\boxed {\mathrm {B}_2(2,1,1,1,1)}$

  • $\boxed {\mathrm {B}_3(2,1,1,1,1)}$

  • $\boxed {\mathrm {B}_3(0,0,1,1,-2)}$

    (2.11) $$ \begin{align} -98\zeta^2(3) =\sum_{n=1}^{\infty} \frac{(-2^8)^{n}}{n^5\binom{2n}{n}^5} \bigg\{\frac{1}{n}+4(1-6 n+10 n^2)\mathbf{O}_{n}^{\scriptscriptstyle\langle{3}\rangle}\bigg\}.\end{align} $$

We remark that the above closed form expression is not obtained directly from (2.7) under the parameter setting $\mathrm {B}_3(0,0,1,1,-2)$ . In this case, the corresponding left-hand side results in another series, which can be simplified (apart from a constant factor) by symmetry as follows:

$$ \begin{align*}\sum_{k=0}^{\infty}\bigg\{\frac1{(1+2k)^6}+\frac{2\mathbf{O}_{k}^{\scriptscriptstyle\langle{3}\rangle}}{(1+2k)^3}\bigg\} &=\sum_{k=0}^{\infty}\frac1{(1+2k)^6} +\sum^{\infty}_{\substack{k,j=0\\k\not=j}}\frac1{(1+2k)^3(1+2j)^3}\\ &=\bigg\{\sum_{k=0}^{\infty}\frac{1}{(1+2k)^3}\bigg\} \times\bigg\{\sum_{j=0}^{\infty}\frac{1}{(1+2j)^3}\bigg\} =\frac{49}{64}\zeta^2(3). \end{align*} $$

By carrying out analogous operations, we can evaluate four further series in closed form.

  • $\boxed {\mathrm {B}_4(0,1,-1,-\mathbf {i},\mathbf {i})}$

    (2.12) $$ \begin{align}-127\zeta(7)=\sum_{n=1}^{\infty} \frac{(-2^8)^{n}}{n^5\binom{2n}{n}^5} (1-6 n+10 n^2)(\mathbf{H}_{n-1}^{\scriptscriptstyle\langle{4}\rangle}+4\mathbf{O}_{n}^{\scriptscriptstyle\langle{4}\rangle}).\end{align} $$
  • $\boxed {\mathrm {B}_5(0,0,1,1,-2)}$

  • $\boxed {\mathrm {B}_6(0,1-\sqrt {2}\mathbf {i},1+\sqrt {2}\mathbf {i},-1,-1)}$

  • $\boxed {\mathrm {B}_7(0,1-\sqrt {2}\mathbf {i},1+\sqrt {2}\mathbf {i},-1,-1)}$

3 Further series with harmonic numbers of higher orders

Chu and Zhang [Reference Chu and Zhang11, Theorem 9] give another transformation analogous to (2.1). For $\{a,b,c,d,e\}\in \mathbb {C}$ subject to $\text {Re}(1+2a-b-c-d-e)>0$ ,

$$ \begin{align*} &\sum_{k=0}^{\infty} \frac{(a+2k)~(b)_k(c)_k(d)_k(e)_k} {(1+a-b)_k(1+a-c)_k(1+a-d)_k(1+a-e)_k}\\ &\quad= \sum_{n=0}^{\infty}(-1)^n \frac{\mathcal{V}_n(a,b,c,d,e)}{(1+a-e)_{2n+1}}\\ &\qquad \times \frac{(b)_n(c)_n(d)_n(1+a-b-e)_n(1+a-c-e)_n(1+a-d-e)_n} {(1+a-b)_n(1+a-c)_n(1+a-d)_n(1+2a-b-c-d-e)_{n+1}}, \end{align*} $$

where the cubic polynomial $\mathcal {V}_n(a,b,c,d,e)$ is given by

$$ \begin{align*}\mathcal{V}_n(a,b,c,d,e)&=(a-b+n)(1+a-e+2n)(1+2a-c-d-e+2n)\\ &\quad +(b+n)(1+a-c-e+n)(1+a-d-e+n). \end{align*} $$

Letting $e=a$ in this equality and assuming the condition $\text {Re}(1+a-b-c-d)>0$ , we derive, again by making use of Dougall’s summation theorem for the well-poised $_5F_4$ -series [Reference Bailey1, Section 4.4], the following summation formula:

(3.1)

where the cubic polynomial $\mathrm {V}_n(a,b,c,d)$ is given by

$$ \begin{align*}\mathrm{V}_n(a,b,c,d)=(1+2n)(a-b+n)(1+a-c-d+2n) +(b+n)(1-c+n)(1-d+n).\end{align*} $$

As with (2.2), the parameter restriction $\text {Re}(1+a-b-c-d)>0$ can be removed by analytic continuation. The formula is valid in the whole complex space of dimension 4 except for the hyperplanes determined by

$$ \begin{align*}\{b-a\in\mathbb{N}\} \cup\{c-a\in\mathbb{N}\} \cup\{d-a\in\mathbb{N}\} \cup\{b+c+d-a\in\mathbb{N}\}.\end{align*} $$

3.1 Quintic central binomial coefficients in numerators

Performing the parameter replacements

$$ \begin{align*}{a=\tfrac12+ax, \quad b=\tfrac12+bx, \quad c=\tfrac12+cx, \quad d=\tfrac12+dx},\end{align*} $$

the summation formula in (3.1) becomes

where the cubic polynomial $\mathrm {P}_n(a,b,c,d;x)$ is given by

$$ \begin{align*}\mathrm{P}_n(a,b,c,d;x)&=(1+2n)(ax-bx+n)(\tfrac12+ax-cx-dx+2n)\\ &\quad +(\tfrac12+bx+n)(\tfrac12-cx+n)(\tfrac12-dx+n). \end{align*} $$

By expanding both sides of the above equation into Maclaurin series and then comparing the coefficients $\mathrm {C}_m(a,b,c,d)$ of $x^m$ , we can deduce several infinite series identities. Ten representative examples are recorded as follows.

  • $\boxed {\mathrm {C}_2(0,1,-1,0)}$ Conjectured by Sun [Reference Sun20, (4.19)]

    (3.2) $$ \begin{align} \frac83=\sum_{n=0}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n} \bigg\{4-(1+8n+20n^2)(\mathbf{H}_{n}^{\scriptscriptstyle\langle{2}\rangle}-8\mathbf{O}_{n}^{\scriptscriptstyle\langle{2}\rangle})\bigg\}.\end{align} $$
  • $\boxed {\mathrm {C}_3(2,2,1,1)}$

    (3.3) $$ \begin{align}\frac{64\zeta(3)}{\pi^2}=\sum_{n=0}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n} \bigg\{\frac{8}{1+2n}+(1+8n+20n^2)\mathbf{H}_{n}^{\scriptscriptstyle\langle{3}\rangle}\bigg\}.\end{align} $$
  • $\boxed {\mathrm {C}_4(1+\mathbf {i},2,0,2\mathbf {i})}$

    (3.4) $$ \begin{align}-\frac{56\pi^2}{45}=\sum_{n=1}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n} \bigg\{(1+8n+20n^2)(\mathbf{H}_{n}^{\scriptscriptstyle\langle{4}\rangle}+64\mathbf{O}_{n}^{\scriptscriptstyle\langle{4}\rangle})\bigg\}.\end{align} $$
  • $\boxed {\mathrm {C}_5(2,2,1,1)}$

  • $\boxed {\mathrm {C}_6(1,4,-1+3\mathbf {i},-1-3\mathbf {i})}$

    $$ \begin{align*}\frac{512\zeta^2(3)}{\pi^2}-\frac{496\pi^4}{945} =\sum_{n=1}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n} \bigg\{\frac{16\mathbf{H}_{n}^{\scriptscriptstyle\langle{3}\rangle}}{1+2n}+(1+8n+20n^2) [\mathbf{H}_{n}^{\scriptscriptstyle\langle{6}\rangle}+(\mathbf{H}_{n}^{\scriptscriptstyle\langle{3}\rangle})^2-128\mathbf{O}_{n}^{\scriptscriptstyle\langle{6}\rangle}]\bigg\}.\end{align*} $$
  • $\boxed {\mathrm {C}_7(1,4,-1+3\mathbf {i},-1-3\mathbf {i})}$

    $$ \begin{align*}&\frac{1024 \zeta(7)}{\pi^2}-\frac{448\pi^2 \zeta (3)}{45}\\ &\quad=\sum_{n=1}^{\infty}\frac{\binom{2n}{n}^5}{(-2^{12})^n} \bigg\{\frac{8(\mathbf{H}_{n}^{\scriptscriptstyle\langle{4}\rangle}+64\mathbf{O}_{n}^{\scriptscriptstyle\langle{4}\rangle})}{1+2n} +(1+8n+20n^2)[\mathbf{H}_{n}^{\scriptscriptstyle\langle{3}\rangle}(\mathbf{H}_{n}^{\scriptscriptstyle\langle{4}\rangle}+64\mathbf{O}_{n}^{\scriptscriptstyle\langle{4}\rangle})+\mathbf{H}_{n}^{\scriptscriptstyle\langle{7}\rangle}]\bigg\}. \end{align*} $$
  • $\boxed {\mathrm {C}_8(1+\mathbf {i},2,0,2\mathbf {i})}$

    $$ \begin{align*}-\frac{304 \pi ^6}{14175} =\sum_{n=1}^{\infty}\frac{\binom{2n}{n}^5}{(-2^{12})^n} \bigg\{(1+8n+20n^2)[(\mathbf{H}_{n}^{\scriptscriptstyle\langle{4}\rangle}+64\mathbf{O}_{n}^{\scriptscriptstyle\langle{4}\rangle})^2+\mathbf{H}_{n}^{\scriptscriptstyle\langle{8}\rangle}-4096\mathbf{O}_{n}^{\scriptscriptstyle\langle{8}\rangle}]\bigg\}.\end{align*} $$
  • $\boxed {\mathrm {C}_9(1,4,-1+3\mathbf {i},-1-3\mathbf {i})}$

    $$ \begin{align*}&\frac{8192 \zeta (9)}{\pi ^2} \!+\!\frac{4096 \zeta^3(3)}{\pi ^2} \!-\!\frac{3968 \pi ^4 \zeta (3)}{315} =\sum_{n=1}^{\infty} \frac{\binom{2n}{n}^5}{(-2^{12})^n} \bigg\{\frac{24[\mathbf{H}_{n}^{\scriptscriptstyle\langle{6}\rangle}+(\mathbf{H}_{n}^{\scriptscriptstyle\langle{3}\rangle})^2-128\mathbf{O}_{n}^{\scriptscriptstyle\langle{6}\rangle}]}{1+2n}\\ &\qquad+(1+8n+20n^2)[2\mathbf{H}_{n}^{\scriptscriptstyle\langle{9}\rangle}+(\mathbf{H}_{n}^{\scriptscriptstyle\langle{3}\rangle})^3 +3\mathbf{H}_{n}^{\scriptscriptstyle\langle{3}\rangle}\mathbf{H}_{n}^{\scriptscriptstyle\langle{6}\rangle}-384\mathbf{H}_{n}^{\scriptscriptstyle\langle{3}\rangle}\mathbf{O}_{n}^{\scriptscriptstyle\langle{6}\rangle}]\bigg\}. \end{align*} $$
  • $\boxed {\mathrm {C}_{12}(1+\mathbf {i},2,0,2\mathbf {i})}$

  • $\boxed {\mathrm {C}_{20}(1+\mathbf {i},2,0,2\mathbf {i})}$

    $$ \begin{align*}-\frac{986692736 \pi ^{18}}{714620417135625} =\sum_{n=1}^{\infty}\binom{2n}{n}^5 \frac{1+8n+20n^2}{(-2^{12})^n} \mathrm{W}_{20}(n),\end{align*} $$

where

$$ \begin{align*}\mathrm {W}_{20}\,(n) &=(\mathbf {H}_{n}^{\scriptscriptstyle \langle {4}\rangle }+64\,\mathbf {O}_{n}^{\scriptscriptstyle \langle {4}\rangle })^{\,5} +10\,(\,\mathbf {H}_{n}^{\scriptscriptstyle \langle {4}\rangle }+64\,\mathbf {O}_{n}^{\scriptscriptstyle \langle {4}\rangle })^{\,3}(\,\mathbf {H}_{n}^{\scriptscriptstyle \langle {8}\rangle }-4096\,\mathbf {O}_{n}^{\scriptscriptstyle \langle {8}\rangle })\\ &\quad+24\,(\mathbf {H}_{n}^{\scriptscriptstyle \langle {20}\rangle }+1073741824\,\mathbf {O}_{n}^{\scriptscriptstyle \langle {20}\rangle }\,) +15\,(\mathbf {H}_{n}^{\scriptscriptstyle \langle {4}\rangle }+64\mathbf {O}_{n}^{\scriptscriptstyle \langle {4}\rangle }\,)\,(\mathbf {H}_{n}^{\scriptscriptstyle \langle {8}\rangle }-4096\mathbf {O}_{n}^{\scriptscriptstyle \langle {8}\rangle }\,)^{\,2}\\ &\quad+30\,(\,\mathbf {H}_{n}^{\scriptscriptstyle \langle {4}\rangle }+64\,\mathbf {O}_{n}^{\scriptscriptstyle \langle {4}\rangle }\,)\,(\,\mathbf {H}_{n}^{\scriptscriptstyle \langle {16}\rangle }- 16777216\mathbf {O}_{n}^{\scriptscriptstyle \langle {16}\rangle }) +20(\mathbf {H}_{n}^{\scriptscriptstyle \langle {8}\rangle }-4096\mathbf {O}_{n}^{\scriptscriptstyle \langle {8}\rangle })\\ &\quad\times (\mathbf {H}_{n}^{\scriptscriptstyle \langle {12}\rangle }+262144\mathbf {O}_{n}^{\scriptscriptstyle \langle {12}\rangle })+20(\mathbf {H}_{n}^{\scriptscriptstyle \langle {4}\rangle }+64\mathbf {O}_{n}^{\scriptscriptstyle \langle {4}\rangle })^2(\mathbf {H}_{n}^{\scriptscriptstyle \langle {12}\rangle }+262144\mathbf {O}_{n}^{\scriptscriptstyle \langle {12}\rangle }).\end{align*} $$

3.2 Quintic central binomial coefficients in denominators

Alternatively, under the parameter setting

$$ \begin{align*}a=\tfrac32+ax, \quad b=1+bx, \quad c=1+cx, \quad d=1+dx,\end{align*} $$

we derive from (3.1) the transformation formula

(3.5)

where the cubic polynomial $\mathrm {Q}_n(a,b,c,d;x)$ is given by

$$ \begin{align*}\mathrm{Q}_n(a,b,c,d;x)&=(1+2n)(\tfrac12+ax-bx+n)(\tfrac12+ax-cx-dx+2n)\\ &\quad +(1+bx+n)(n-cx)(n-dx). \end{align*} $$

According to this transformation formula, numerous infinite series identities can be obtained by extracting the coefficients $\mathrm {D}_m(a,b,c,d)$ of $x^m$ across the equation. We are going to highlight seventeen remarkable ones below. Among them, the first four identities are derived from (3.5) after multiplying across by $\tfrac 12+ax$ . The remaining ones are directly obtained from (3.5) by comparing coefficients.

  • $\boxed {\mathrm {D}_4(\mathbf {i},2,-2,2\mathbf {i})}$

    $$ \begin{align*}-8=\sum_{n=1}^{\infty} \frac{(-2^8)^n}{\binom{2n}{n}^5} \bigg\{\frac{1+10 n+40 n^2+80 n^3+88 n^4+40 n^5}{n^4(2n+1)^5}\bigg\}.\end{align*} $$
  • $\boxed {\mathrm {D}_5(2,2,1+\sqrt {3}\mathbf {i},1-\sqrt {3}\mathbf {i})}$

    $$ \begin{align*}-8=\sum_{n=1}^{\infty} \frac{(-2^8)^n}{\binom{2n}{n}^5} \bigg\{\frac{1+10 n+40 n^2+80 n^3+80 n^4+40 n^5}{n^5(2n+1)^5}\bigg\}.\end{align*} $$
  • $\boxed {\mathrm {D}_4(1,1,1,-2)}$

    $$ \begin{align*}\frac{\pi ^4}{8}-8=\sum_{n=1}^{\infty} \frac{(-2^8)^n}{\binom{2n}{n}^5} \bigg\{\frac{8+10n}{(2n+1)^5} -\frac{(1+8n+24n^2+20n^3)\mathbf{O}_{n}}{n^3(2n+1)^4}\bigg\}.\end{align*} $$
  • $\boxed {\mathrm {D}_5(\mathbf {i},2,-2,2\mathbf {i})}$

    $$ \begin{align*}31\zeta (5)-28=\sum_{n=1}^{\infty} \frac{(-2^8)^n}{\binom{2n}{n}^5} \bigg\{\frac{4(7+10n)}{(2n+1)^6} +\frac{(1+8n+24n^2+20n^3)(\mathbf{H}_{n}^{\scriptscriptstyle\langle{2}\rangle}-2\mathbf{O}_{n}^{\scriptscriptstyle\langle{2}\rangle})}{n^3(2n+1)^4}\bigg\}.\end{align*} $$
    $$ \begin{align*}\rule{99mm}{0.25mm}\end{align*} $$
  • $\boxed {\mathrm {D}_8(2,2,1+\sqrt {3}\mathbf {i},1-\sqrt {3}\mathbf {i})}$

    (3.6) $$ \begin{align} 14\zeta (3)\{8-7\zeta (3)\} =\sum_{n=1}^{\infty}\frac{(-2^8)^n}{\binom{2n}{n}^5} \frac{1+4 n(1+6n+10n^2)\mathbf{O}_{n+1}^{\scriptscriptstyle\langle{3}\rangle}}{n^6 (2n+1)^4}.\end{align} $$
  • $\boxed {\mathrm {D}_3(1+\mathbf {i},2,0,2\mathbf {i})}$

    (3.7) $$ \begin{align} 12-14\zeta(3)=\sum_{n=1}^{\infty} \frac{(-2^8)^n}{\binom{2n}{n}^5} \frac{1+8n+24n^2+20n^3}{n^3(2n+1)^4}.\end{align} $$
  • $\boxed {\mathrm {D}_4(1+\mathbf {i},2,0,2\mathbf {i})}$

    (3.8) $$ \begin{align} 14\zeta(3)-20=\sum_{n=1}^{\infty} \frac{(-2^8)^n}{\binom{2n}{n}^5} \frac{1+9 n+30 n^2+40 n^3+20 n^4}{n^4(2n+1)^5}.\end{align} $$
  • $\boxed {\mathrm {D}_5(1+\mathbf {i},2,0,2\mathbf {i})=\mathrm {D}_6(1+\mathbf {i},2,0,2\mathbf {i})}$

    (3.9) $$ \begin{align} 16-14\zeta(3)=\sum_{n=1}^{\infty} \frac{(-2^8)^n}{\binom{2n}{n}^5} \frac{1+6 n+10 n^2}{2n^5(2n+1)^4}.\end{align} $$
    $$ \begin{align*}\rule{99mm}{0.25mm}\end{align*} $$
  • $\boxed {\mathrm {D}_7(1,1+\mathbf {i},0,1-\mathbf {i})}$

    (3.10)
  • $\boxed {\mathrm {D}_8(1,1+\mathbf {i},0,1-\mathbf {i})}$

    (3.11)
  • $\boxed {\mathrm {D}_9(1,1+\mathbf {i},0,1-\mathbf {i})=\mathrm {D}_{10}(1,1+\mathbf {i},0,1-\mathbf {i})}$

    (3.12) $$ \begin{align} 127\zeta(7)+112\zeta (3)-256 =\sum_{n=1}^{\infty}\frac{(-2^8)^n}{\binom{2n}{n}^5} \bigg\{\frac{(1+6 n+10 n^2)(1-n^4\mathbf{H}_{n}^{\scriptscriptstyle\langle{4}\rangle} -4n^4\mathbf{O}_{n+1}^{\scriptscriptstyle\langle{4}\rangle})}{n^9(2n+1)^4}\bigg\}.\end{align} $$
    $$ \begin{align*}\rule{99mm}{0.25mm}\end{align*} $$
  • $\boxed {\mathrm {D}_{11}(1+\mathbf {i},2,0,2\mathbf {i})}$

    (3.13)
  • $\boxed {\mathrm {D}_{12}(1+\mathbf {i},2,0,2\mathbf {i})}$

    (3.14)
  • $\boxed {\mathrm {D}_{13}(1+\mathbf {i},2,0,2\mathbf {i})=\mathrm {D}_{14}(1+\mathbf {i},2,0,2\mathbf {i})}$

    (3.15)
    $$ \begin{align*}\rule{99mm}{0.25mm}\end{align*} $$
  • $\boxed {\mathrm {D}_{15}(1,1+\mathbf {i},0,1-\mathbf {i})}$

    (3.16)
  • $\boxed {\mathrm {D}_{16}(1,1+\mathbf {i},0,1-\mathbf {i})}$

    (3.17)
  • $\boxed {\mathrm {D}_{17}(1,1+\mathbf {i},0,1-\mathbf {i})=\mathrm {D}_{18}(1,1+\mathbf {i},0,1-\mathbf {i})}$

    (3.18)

Observing these series carefully, we find a curious fact. Among the four groups

$$ \begin{align*} &(3.7)\approx(3.8)\approx(3.9), \quad ~(3.10)\approx(3.11)\approx(3.12), \\ &(3.13)\approx(3.14)\approx(3.15), \quad ~(3.16)\approx(3.17)\approx(3.18), \end{align*} $$

the three series in each group have almost the same value apart from integer differences.

We uncovered an explanation of this phenomenon by examining (3.5). Switching the initial term with $n=0$ to the left-hand side, dividing across by ‘ $-c$ ’ and then letting $c\to 0$ , we can write, after some simplifications, the resulting transformation as

(3.19) $$ \begin{align} \nonumber &\frac{8 b d x^3 (3+2 a x)}{(1+2 a x)^2 (1+2 a x-2 b x) (1+2 a x-2 dx)} -\frac{2 x}{1+2 a x} \Psi(x)\\ & =bdx^3 \sum_{n=1}^{\infty} \frac{(-1)^n\mathrm{W}_n(a,b,d;x)\times n!(n-1)!(1+bx)_n(1-bx)_{n-1}(1+dx)_n(1-dx)_{n-1}} {(2n+1)!(\frac12+ax-bx-dx)_{n}(\frac12+ax)_{n+1}(\frac12+ax-bx)_{n+1}(\frac12+ax-dx)_{n+1}}, \end{align} $$

where

$$ \begin{align*}\Psi (x) = \psi (\tfrac 12+ a x- b x) +\psi (\tfrac 12+ a x- d x) -\psi (\tfrac 12+ a x) -\psi (\tfrac 12+ a x- b x- d x),\end{align*} $$

the reduced cubic polynomial $\mathrm {W}_n(a,b,d;x)$ is

$$ \begin{align*}\mathrm{W}_n(a,b,d;x)=n(1+bx+n)(n-dx) +(1+2n)(\tfrac12+ax-bx+n)(\tfrac12+ax-dx+2n)\end{align*} $$

and the digamma function [Reference Rainville18, Section 9] is defined by

$$ \begin{align*}\psi(x)=\frac{d}{dx}\ln\Gamma(x)=\frac{\Gamma'(x)}{\Gamma(x)} =-\gamma+\sum_{k=0}^{\infty}\frac{x-1}{(k+1)(k+x)}.\end{align*} $$

Now it is trivial to check that

$$ \begin{align*}[x^0]\{\psi(\tfrac12+x\lambda)-\psi(\tfrac12+x\mu)\}=0.\end{align*} $$

For $m>0$ , we can determine the coefficient

$$ \begin{align*}&[x^m]\{\psi(\tfrac12+x\lambda)-\psi(\tfrac12+x\mu)\} =[x^m]\sum_{k=0}^{\infty} \bigg\{\frac1{\frac12+k+x\mu}-\frac1{\frac12+k+x\lambda}\bigg\}\\ &\quad=\sum_{k=0}^{\infty}\frac{(-2)^{m+1}(\lambda^m-\mu^m)}{(1+2k)^{m+1}} =(-1)^m(\lambda^m-\mu^m)(1-2^{m+1})\zeta(m+1). \end{align*} $$

Then, apart from a rational constant, the coefficient of $[x^m]$ in (3.19) is

$$ \begin{align*} \Lambda_m(a,b,d):= [x^m]\bigg\{\frac{-2 x}{1+2 a x} \Psi(x) \bigg\} = \sum_{k=0}^{m-1}\frac{(-2a)^{m-k}}{a}[x^{k}] \Psi(x).\end{align*} $$

This leads to the explicit formula

$$ \begin{align*} \Lambda_m(a,b,d)=\frac{(-1)^m}{a} \sum_{k=1}^{m-1}(2a)^{m-k}(2^{k+1}-1) \Delta_k(a,b,d)\zeta(k+1), \end{align*} $$

where for the sake of brevity, we introduce the symbol

$$ \begin{align*} \Delta_k(a,b,d):=a^{k}-(a-b)^{k}-(a-d)^{k}+(a-b-d)^{k}. \end{align*} $$

In particular, it is routine to check that

$$ \begin{align*}\Delta_k(1,1+\mathbf{i},1-\mathbf{i})&=1^{k}+(-1)^{k}-\mathbf{i}^{k}-(-\mathbf{i})^{k}\\ &=2\chi(k-\text{even})-2\mathbf{i}^{k}\chi(k-\text{even}) =4\chi(k\equiv_42), \end{align*} $$

where $\chi $ stands for the logical function with $\chi (\text {true})=1$ and $\chi (\text {false})=0$ , and $i\equiv _4j$ means ‘i is congruent to j modulo 4’ for $i,j\in \mathbb {Z}$ .

Then for $m\in \mathbb {N}$ and $\ell =0,\pm 1,2$ , we can write explicitly

$$ \begin{align*}\Lambda_{4m+\ell}(1,1+\mathbf{i},1-\mathbf{i}) =(-1)^{\ell} \sum_{k=1}^{4m+\ell-1}2^{4m-k+\ell}(2^{k+1}-1) \Delta_k(1,1+\mathbf{i},1-\mathbf{i})\zeta(k+1).\end{align*} $$

Making the replacement $k\to 4k-2$ , we derive the simplified formula

$$ \begin{align*} \Lambda_{4m+\ell}(1,1+\mathbf{i},1-\mathbf{i})=2^{4+4m+\ell}(-1)^{\ell} \sum_{k=1}^{m}\frac{2^{4k-1}-1}{2^{4k}} \zeta(4k-1). \end{align*} $$

Since the above sum is independent of $\ell $ , we conclude that for any fixed $m\in \mathbb {N}$ , the four linear sums (corresponding to $\ell =0,\pm 1,2$ ) of zeta values for $\mathrm {D}_{4m+\ell }(1,1+\mathbf {i},0,1-\mathbf {i})$ are proportional, despite complexities of the sums on another side involving combined products of Bell polynomials of harmonic numbers. Analogously, we assert that the same statement is also true for $\mathrm {D}_{4m+\ell }(1+\mathbf {i},2,0,2\mathbf {i})$ , which can be justified by the following particular values:

$$ \begin{align*}\Delta_k(1+\mathbf{i},2,2\mathbf{i})&=(1+\mathbf{i})^{k}+(-1-\mathbf{i})^{k}-(\mathbf{i}-1)^{k}-(1-\mathbf{i})^{k}\\ &=2(1+\mathbf{i})^{k}\chi(k-\text{even})-2(1-\mathbf{i})^{k}\chi(k-\text{even}) =4(2\mathbf{i})^{\frac{k}2}\chi(k\equiv_42). \end{align*} $$

References

Bailey, W. N., Generalized Hypergeometric Series (Cambridge University Press, Cambridge, 1935).Google Scholar
Borwein, J. M. and Borwein, P. B., Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity (Wiley, New York, 1987).Google Scholar
Chan, H. H. and Liaw, W. C., ‘Cubic modular equations and new Ramanujan-type series for $1/ \pi$ ’, Pacific J. Math. 192 (2000), 219238.CrossRefGoogle Scholar
Chen, X. and Chu, W., ‘Dixon’s ${}_3{F}_2(1)$ -series and identities involving harmonic numbers and Riemann zeta function’, Discrete Math. 310(1) (2010), 8391.CrossRefGoogle Scholar
Chu, W., ‘Hypergeometric series and the Riemann Zeta function’, Acta Arith. 82(2) (1997), 103118.CrossRefGoogle Scholar
Chu, W., ‘Dougall’s bilateral ${}_2{H}_2$ -series and Ramanujan-like $\pi$ -formulae’, Math. Comp. 80(276) (2011), 22232251.CrossRefGoogle Scholar
Chu, W., ‘Hypergeometric approach to Apéry-like series’, Integral Transforms Spec. Funct. 28(7) (2017), 505518.CrossRefGoogle Scholar
Chu, W., ‘Infinite series identities from the very-well-poised $\varOmega$ -sum’, Ramanujan J. 55(1) (2021), 239270.CrossRefGoogle Scholar
Chu, W., ‘Further Apéry-like series for Riemann zeta function’, Math. Notes 109(1) (2021), 136146.CrossRefGoogle Scholar
Chu, W. and Campbell, J. M., ‘Harmonic sums from the Kummer theorem’, J. Math. Anal. Appl. 501(2) (2021), Article no. 125179, 37 pages.CrossRefGoogle Scholar
Chu, W. and Zhang, W. L., ‘Accelerating Dougall’s ${}_5{F}_4$ -sum and infinite series involving $\pi$ ’, Math. Comp. 83(285) (2014), 475512.CrossRefGoogle Scholar
Comtet, L., Advanced Combinatorics (Dordrecht–Holland, The Netherlands, 1974).CrossRefGoogle Scholar
Elsner, C., ‘On sums with binomial coefficient’, Fibonacci Quart. 43(1) (2005), 3145.Google Scholar
Guillera, J., ‘About a new kind of Ramanujan-type series’, Exp. Math. 12(4) (2003), 507510.CrossRefGoogle Scholar
Guillera, J., ‘Generators of some Ramanujan formulas’, Ramanujan J. 11(1) (2006), 4148.CrossRefGoogle Scholar
Guillera, J., ‘Hypergeometric identities for 10 extended Ramanujan-type series’, Ramanujan J. 15(2) (2008), 219234.CrossRefGoogle Scholar
Lehmer, D. H., ‘Interesting series involving the central binomial coefficient’, Amer. Math. Monthly 92 (1985), 449457.CrossRefGoogle Scholar
Rainville, E. D., Special Functions (The Macmillan Company, New York, 1960).Google Scholar
Ramanujan, S., ‘Modular equations and approximations to $\pi$ ’, Quart. J. Math. (Oxford) 45 (1914), 350372.Google Scholar
Sun, Z.-W., ‘Series with summands involving harmonic numbers’, Preprint, 2023, arXiv:2210.07238v7.Google Scholar
Wang, X. Y. and Chu, W., ‘Further Ramanujan-like series containing harmonic numbers and squared binomial coefficients’, Ramanujan J. 52(3) (2020), 641668.CrossRefGoogle Scholar
Zucker, I. J., ‘On the series ${\sum}_{k=1}^{\infty }{\left(\genfrac{}{}{0pt}{}{2k}{k}\right)}^{-1}{k}^{-n}$ ’, J. Number Theory 20(1) (1985), 92102.CrossRefGoogle Scholar