A solution of Sun's \$520 challenge concerning 520

DOI10.1142/S1793042113500267MaRDI QIDQ2840307zbMATH OpenFDO

Authors Armin Straub, Mathew Rogers

Publication date 17 July 2013

Published in International Journal of Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

hypergeometric functionsmodular equationsmodular functionsseries for \(1/\pi \)

Mathematics Subject Classification ID

Elliptic functions and integrals (33E05) Classical hypergeometric functions, ({}_2F_1) (33C05) Modular and automorphic functions (11F03) Holomorphic modular forms of integral weight (11F11) Evaluation of number-theoretic constants (11Y60)

Abstract: We prove a Ramanujan-type formula for $520/pi$ conjectured by Sun. Our proof begins with a hypergeometric representation of the relevant double series, which relies on a recent generating function for Legendre polynomials by Wan and Zudilin. After showing that appropriate modular parameters can be introduced, we then apply standard techniques, going back to Ramanujan, for establishing series for $1/pi$.

Recommendations

• A New Method to Obtain Series for 1/π and 1/π²
• Complex series for \(1/\pi\)
• A method for proving Ramanujan's series for \(1/\pi\)
• More Ramanujan-type formulae for $ 1/\pi^2$
• A Class of Conjectured Series Representations for 1/π

Cites work

• Eisenstein series and Ramanujan-type series for 1 /
• Elliptic modular forms and their applications
• Generating functions of Legendre polynomials: A tribute to Fred Brafman
• Legendre polynomials and Ramanujan-type series for \(1/\pi\)

Cited in

(4)

• Some new series for $1/\pi $ motivated by congruences
• Short walk adventures
• New series for powers of \(\pi\) and related congruences
• Ramanujan-type \(1/\pi\)-series from bimodular forms

This page was built for publication: A solution of Sun's \$520 challenge concerning \(\frac{520}{\pi}\)

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