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

DOI10.1007/S40574-019-00198-5MaRDI QIDQ2011336zbMATH OpenOpenAlexWikidataFDO

Authors Marco Cantarini, Jacopo D'Aurizio

Publication date 6 December 2019

Published in Bollettino dell'Unione Matematica Italiana (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1806.08411

zbMATH Keywords

central binomial coefficientcomplete elliptic integralFourier-Legendre expansionharmonic numberhypergeometric series

Mathematics Subject Classification ID

Dirichlet series, exponential series and other series in one complex variable (30B50) Generalized hypergeometric series, ({}_pF_q) (33C20) Elliptic functions and integrals (33E05)

Abstract: In this work we continue the investigation about the interplay between hypergeometric functions and Fourier-Legendre ($extrmFL$) series expansions. In the section "Hypergeometric series related to $pi,p{i}^2$ and the lemniscate constant", through the FL-expansion of $left[x(1-x)ight{]}^{m}u$ (with $mu+1infrac14mathbbN$) we prove that all the hypergeometric series ${\displaystyle }$ sum_{ngeq 0}frac{(-1)^n(4n+1)}{p(n)}left[frac{1}{4^n}�inom{2n}{n} ight]^3,quad sum_{ngeq 0}frac{(4n+1)}{p(n)}left[frac{1}{4^n}�inom{2n}{n} ight]^4,${\displaystyle }$ ${\displaystyle }$quad sum_{ngeq 0}frac{(4n+1)}{p(n)^2}left[frac{1}{4^n}�inom{2n}{n} ight]^4,; sum_{ngeq 0}frac{1}{p(n)}left[frac{1}{4^n}�inom{2n}{n} ight]^3,; sum_{ngeq 0}frac{1}{p(n)}left[frac{1}{4^n}�inom{2n}{n} ight]^2 ${\displaystyle }$ return rational multiples of $frac1pi,frac1p{i}^2$ or the lemniscate constant, as soon as $p(x)$ is a polynomial fulfilling suitable symmetry constraints. Additionally, by computing the FL-expansions of $fraclogxsqrtx$ and related functions, we show that in many cases the hypergeometric $phantom{}_{p+1}{F}_p(ldots,z)$ function evaluated at $z=pm1$ can be converted into a combination of Euler sums. In particular we perform an explicit evaluation of ${\displaystyle }$ sum_{ngeq 0}frac{1}{(2n+1)^2}left[frac{1}{4^n}�inom{2n}{n} ight]^2,quad sum_{ngeq 0}frac{1}{(2n+1)^3}left[frac{1}{4^n}�inom{2n}{n} ight]^2. ${\displaystyle }$ In the section "Twisted hypergeometric series" we show that the conversion of some $phantom{}_{p+1}{F}_p(ldots,pm1)$ values into combinations of Euler sums, driven by FL-expansions, applies equally well to some twisted hypergeometric series, i.e. series of the form $su{m}_{ngeq0}{a}_n{b}_n$ where $a_n$ is a Stirling number of the first kind and $su{m}_{ngeq0}{b}_n{z}^n=phantom{}_{p+1}{F}_p(ldots;z)$.

Review text

Using the method introduced in [\textit{J. M. Campbell} et al., J. Math. Anal. Appl. 479, No. 1, 90--121 (2019; Zbl 1423.33003)], the authors show that series involving second, third or fourth power of central binomial coefficients and a rational function of special form can be expressed as rational multiples of \(\frac{1}{\pi}\), \(\frac{1}{\pi^2}\) or the leminiscate constant. The authors consider also ``twisted hypergeometric series with their twisting coefficients being harmonic numbers or generalized harmonic numbers.

Recommendations

• On the interplay among hypergeometric functions, complete elliptic integrals, and Fourier-Legendre expansions
• scientific article; zbMATH DE number 3238779
• On the summation of some divergent hypergeometric series and related perturbation expansions
• A note on Clebsch-Gordan integral, Fourier-Legendre expansions and closed form for hypergeometric series
• Fourier series for elliptic integrals and some generalizations via hypergeometric series
• On Fourier–Bessel series and the Kneser–Sommerfeld expansion
• On the generating functions and partial sums of the Fourier series
• Some results involving series representations of hypergeometric functions
• Some results involving series representations of hypergeometric functions

Cites work

• A formula of S. Ramanujan
• A generalization of Clausen's identity
• Euler Sums and Contour Integral Representations
• Explicit evaluation of Euler sums
• Explicit evaluation of quadratic Euler sums
• Further summation formulae related to generalized harmonic numbers
• Harmonic number identities via the Newton-Andrews method
• scientific article; zbMATH DE number 1574099 (Why is no real title available?)
• scientific article; zbMATH DE number 3987351 (Why is no real title available?)
• Hypergeometry of the parbelos
• Irrationality and nonquadraticity measures for logarithms of algebraic numbers
• New series involving harmonic numbers and squared central binomial coefficients
• On some series containing \(\psi{}(x)-\psi{}(y)\) and \((\psi{}(x)- \psi{}(y))^ 2\) for certain values of \(x\) and \(y\)
• On the interplay among hypergeometric functions, complete elliptic integrals, and Fourier-Legendre expansions
• On WZ-pairs which prove Ramanujan series
• Ramanujan-like series for \(\frac{1}{\pi}\) involving harmonic numbers
• Rational Functions Certify Combinatorial Identities
• Surprising identities for the hypergeometric \({}_{4}F_{3}\) function
• The Dilogarithm Function
• Two hypergeometric tales and a new irrationality measure of \(\zeta (2)\)
• Using Fourier-Legendre expansions to derive series for \(\frac{1}{\pi}\) and \(\frac{1}{\pi^{2}}\)

Cited in

(37)

• Binomial sums related to rational approximations to \(\zeta(4)\)
• Harmonic sums from the Kummer theorem
• Lemniscate-like constants and infinite series
• Explicit identities for infinite families of series involving squared binomial coefficients
• Harmonic-binomial Euler-like sums via expansions of \((\arcsin x)^p\)
• On the interplay among hypergeometric functions, complete elliptic integrals, and Fourier-Legendre expansions
• Series containing squared central binomial coefficients and alternating harmonic numbers
• Identities for Catalan's constant arising from integrals depending on a parameter
• A note on Clebsch-Gordan integral, Fourier-Legendre expansions and closed form for hypergeometric series
• New families of double hypergeometric series for constants involving 1/^2
• Interesting Ramanujan-like series associated with powers of central binomial coefficients
• Symbolic computations via Fourier–Legendre expansions and fractional operators
• A Wilf–Zeilberger–Based Solution to the Basel Problem With Applications
• Double series transforms derived from Fourier-Legendre theory
• A natural companion to Catalan's constant
• A series evaluation technique based on a modified Abel lemma
• Variant Alternating Euler Sums of Higher Order
• Binomial identities obtained from the Gegenbauer series expansion
• On two conjectures of Sun concerning Apéry-like series
• Apéry-type series and colored multiple zeta values
• On a problem involving the squares of odd harmonic numbers
• On a higher-order version of a formula due to Ramanujan
• Applications of a hypergeometric identity and Ramanujan-like series
• Correction to: ``On the interplay between hypergeometric series, Fourier-Legendre expansions and Euler sums
• Families of log Legendre Chi function integrals
• Solution to a problem involving central binomial coefficients
• Notes on certain binomial harmonic sums of Sun's type
• Hypergeometric series, lemniscate functions, q-extensions and Jacobi elliptic functions
• Apéry-type series via colored multiple zeta values and Fourier-Legendre series expansions
• Connection formulas between Fourier–Legendre/Jacobi expansions and central binomial series
• On a class of multiple Apéry-like series and their reduction
• Evaluations of some double Apéry-type series via Fourier-Legendre expansions
• Hyper-Mahler measures via Goncharov-Deligne cyclotomy
• Product sums of zeta tails by series rearrangements
• Another Euler constant: the value of an Euler integral
• On Ramanujan's formula involving fifth powers of binomial coefficients
• On the proof of the Genčev-Rucki conjecture for multiple Apéry-like series

This page was built for publication: On the interplay between hypergeometric series, Fourier-Legendre expansions and Euler sums

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011336)