On the interplay between hypergeometric series, Fourier–Legendre expansions and Euler sums
Marco Cantarini,Jacopo D’Aurizio
DOI: https://doi.org/10.1007/s40574-019-00198-5
2019-03-18
Abstract:<div><p>In this work we continue the investigation, started in Campbell et al. (On the interplay between hypergeometric functions, complete elliptic integrals and Fourier–Legendre series expansions, <span><a href="http://arxiv.org/abs/1710.03221"><span>arXiv:1710.03221</span></a></span>, <span><a href="#CR8">2017</a></span>), about the interplay between hypergeometric functions and Fourier–Legendre (<span>\(\text {FL}\)</span>) series expansions. In the section "<em>Hypergeometric series related to</em><span>\(\pi ,\pi ^2\)</span><em>and the lemniscate constant</em>", through the FL-expansion of <span>\([x(1-x)]^\mu \)</span> (with <span>\(\mu +1\in \frac{1}{4}{\mathbb {N}}\)</span>) we prove that all the hypergeometric series </p>$$\begin{aligned}&\sum _{n\ge 0}\frac{(-1)^n(4n+1)}{p(n)}\left[ \frac{1}{4^n}\left( {\begin{array}{c}2n\\ n\end{array}}\right) \right] ^3,\quad \sum _{n\ge 0}\frac{(4n+1)}{p(n)}\left[ \frac{1}{4^n}\left( {\begin{array}{c}2n\\ n\end{array}}\right) \right] ^4,\\&\quad \sum _{n\ge 0}\frac{(4n+1)}{p(n)^2}\left[ \frac{1}{4^n}\left( {\begin{array}{c}2n\\ n\end{array}}\right) \right] ^4,\; \sum _{n\ge 0}\frac{1}{p(n)}\left[ \frac{1}{4^n}\left( {\begin{array}{c}2n\\ n\end{array}}\right) \right] ^3,\; \sum _{n\ge 0}\frac{1}{p(n)}\left[ \frac{1}{4^n}\left( {\begin{array}{c}2n\\ n\end{array}}\right) \right] ^2 \end{aligned}$$return rational multiples of <span>\(\frac{1}{\pi },\frac{1}{\pi ^2}\)</span> or the lemniscate constant, as soon as <em>p</em>(<em>x</em>) is a polynomial fulfilling suitable symmetry constraints. Additionally, by computing the FL-expansions of <span>\(\frac{\log x}{\sqrt{x}}\)</span> and related functions, we show that in many cases the hypergeometric <span>\(\phantom {}_{p+1} F_{p}(\ldots , z)\)</span> function evaluated at <span>\(z=\pm 1\)</span> can be converted into a combination of Euler sums. In particular we perform an explicit evaluation of $$\begin{aligned} \sum _{n\ge 0}\frac{1}{(2n+1)^2}\left[ \frac{1}{4^n}\left( {\begin{array}{c}2n\\ n\end{array}}\right) \right] ^2,\quad \sum _{n\ge 0}\frac{1}{(2n+1)^3}\left[ \frac{1}{4^n}\left( {\begin{array}{c}2n\\ n\end{array}}\right) \right] ^2. \end{aligned}$$In the section "<em>Twisted hypergeometric series</em>" we show that the conversion of some <span>\(\phantom {}_{p+1} F_{p}(\ldots ,\pm 1)\)</span> values into combinations of Euler sums, driven by FL-expansions, applies equally well to some <em>twisted</em> hypergeometric series, i.e. series of the form <span>\(\sum _{n\ge 0} a_n b_n\)</span> where <span>\(a_n\)</span> is a Stirling number of the first kind and <span>\(\sum _{n\ge 0}b_n z^n = \phantom {}_{p+1} F_{p}(\ldots ;z)\)</span>.</div>