English

On the interplay between hypergeometric series, Fourier-Legendre expansions and Euler sums

Number Theory 2018-06-25 v1

Abstract

In this work we continue the investigation about the interplay between hypergeometric functions and Fourier-Legendre (FL\textrm{FL}) series expansions. In the section "Hypergeometric series related to π,π2\pi,\pi^2 and the lemniscate constant", through the FL-expansion of [x(1x)]μ\left[x(1-x)\right]^\mu (with μ+114N\mu+1\in\frac{1}{4}\mathbb{N}) we prove that all the hypergeometric series n0(1)n(4n+1)p(n)[14n(2nn)]3,n0(4n+1)p(n)[14n(2nn)]4, \sum_{n\geq 0}\frac{(-1)^n(4n+1)}{p(n)}\left[\frac{1}{4^n}\binom{2n}{n}\right]^3,\quad \sum_{n\geq 0}\frac{(4n+1)}{p(n)}\left[\frac{1}{4^n}\binom{2n}{n}\right]^4, n0(4n+1)p(n)2[14n(2nn)]4,  n01p(n)[14n(2nn)]3,  n01p(n)[14n(2nn)]2\quad \sum_{n\geq 0}\frac{(4n+1)}{p(n)^2}\left[\frac{1}{4^n}\binom{2n}{n}\right]^4,\; \sum_{n\geq 0}\frac{1}{p(n)}\left[\frac{1}{4^n}\binom{2n}{n}\right]^3,\; \sum_{n\geq 0}\frac{1}{p(n)}\left[\frac{1}{4^n}\binom{2n}{n}\right]^2 return rational multiples of 1π,1π2\frac{1}{\pi},\frac{1}{\pi^2} or the lemniscate constant, as soon as p(x)p(x) is a polynomial fulfilling suitable symmetry constraints. Additionally, by computing the FL-expansions of logxx\frac{\log x}{\sqrt{x}} and related functions, we show that in many cases the hypergeometric p+1Fp(,z)\phantom{}_{p+1} F_{p}(\ldots , z) function evaluated at z=±1z=\pm 1 can be converted into a combination of Euler sums. In particular we perform an explicit evaluation of n01(2n+1)2[14n(2nn)]2,n01(2n+1)3[14n(2nn)]2. \sum_{n\geq 0}\frac{1}{(2n+1)^2}\left[\frac{1}{4^n}\binom{2n}{n}\right]^2,\quad \sum_{n\geq 0}\frac{1}{(2n+1)^3}\left[\frac{1}{4^n}\binom{2n}{n}\right]^2. In the section "Twisted hypergeometric series" we show that the conversion of some p+1Fp(,±1)\phantom{}_{p+1} F_{p}(\ldots,\pm 1) values into combinations of Euler sums, driven by FL-expansions, applies equally well to some twisted hypergeometric series, i.e. series of the form n0anbn\sum_{n\geq 0} a_n b_n where ana_n is a Stirling number of the first kind and n0bnzn=p+1Fp(;z)\sum_{n\geq 0}b_n z^n = \phantom{}_{p+1} F_{p}(\ldots;z).

Keywords

Cite

@article{arxiv.1806.08411,
  title  = {On the interplay between hypergeometric series, Fourier-Legendre expansions and Euler sums},
  author = {Marco Cantarini and Jacopo D'Aurizio},
  journal= {arXiv preprint arXiv:1806.08411},
  year   = {2018}
}