In this work we continue the investigation about the interplay between hypergeometric functions and Fourier-Legendre (FL) series expansions. In the section "Hypergeometric series related to π,π2 and the lemniscate constant", through the FL-expansion of [x(1−x)]μ (with μ+1∈41N) we prove that all the hypergeometric series n≥0∑p(n)(−1)n(4n+1)[4n1(n2n)]3,n≥0∑p(n)(4n+1)[4n1(n2n)]4,n≥0∑p(n)2(4n+1)[4n1(n2n)]4,n≥0∑p(n)1[4n1(n2n)]3,n≥0∑p(n)1[4n1(n2n)]2 return rational multiples of π1,π21 or the lemniscate constant, as soon as p(x) is a polynomial fulfilling suitable symmetry constraints. Additionally, by computing the FL-expansions of xlogx and related functions, we show that in many cases the hypergeometric p+1Fp(…,z) function evaluated at z=±1 can be converted into a combination of Euler sums. In particular we perform an explicit evaluation of n≥0∑(2n+1)21[4n1(n2n)]2,n≥0∑(2n+1)31[4n1(n2n)]2. In the section "Twisted hypergeometric series" we show that the conversion of some p+1Fp(…,±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 ∑n≥0anbn where an is a Stirling number of the first kind and ∑n≥0bnzn=p+1Fp(…;z).
@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}
}