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

DOI10.1142/S1793042113500267zbMATH Open1277.33002arXiv1210.2373MaRDI QIDQ2840307FDOQ2840307

Authors: Armin Straub, Mathew Rogers 

Publication date: 17 July 2013

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

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$.

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

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/π

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)

Cites Work

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

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)