New series for powers of and related congruences

DOI10.3934/ERA.2020070zbMATH Open1461.11010arXiv1911.05456OpenAlexW3043656268MaRDI QIDQ2200450FDOQ2200450

Authors: Yanyan Li 

Publication date: 22 September 2020

Published in: Electronic Research Archive (Search for Journal in Brave)

Abstract: Via symbolic computation we deduce 97 new type series for powers of $pi$ related to Ramanujan-type series. Here are three typical examples: ${\displaystyle }$sum_{k=0}^infty frac{P(k) �inom{2k}k�inom{3k}k �inom{6k}{3k}}{(k+1)(2k-1)(6k-1)(-640320)^{3k}} =frac{18 imes557403^3sqrt{10005}}{5pi}${\displaystyle }$ with �egin{align*}P(k) = &637379600041024803108 k^2 + 657229991696087780968 k \&+ 19850391655004126179, end{align*} ${\displaystyle }$sum_{k=1}^infty frac{(3k+1)16^k}{(2k+1)^2k^3�inom{2k}k^3} = frac{pi^2-8}2,${\displaystyle }$ and ${\displaystyle }$sum_{n=0}^inftyfrac{3n+1}{(-100)^n} sum_{k=0}^n{nchoose k}^2T_k(1,25)T_{n-k}(1,25) = frac{25}{8pi},${\displaystyle }$ where the generalized central trinomial coefficient $T_k(b,c)$ denotes the coefficient of $x^k$ in the expansion of $(x^2+bx+c{)}^k$. We also formulate a general characterization of rational Ramanujan-type series for $1/pi$ via congruences, and pose 117 new conjectural series for powers of $pi$ via looking for corresponding congruences. For example, we conjecture that ${\displaystyle }$sum_{k=0}^inftyfrac{39480k+7321}{(-29700)^k}T_k(14,1)T_k(11,-11)^2=frac{6795sqrt5}{pi}.${\displaystyle }$ Eighteen of the new series in this paper involve some imaginary quadratic fields with class number $8$.

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

Recommendations

• Some new series for \(1/ \pi\) and related congruences
• Rational analogues of Ramanujan's series for \(1/\pi\)
• A New Method to Obtain Series for 1/π and 1/π²
• Level 10 analogues of Ramanujan's series for \(1/\pi\)
• Class number three Ramanujan type series for \(1/\pi\)

zbMATH Keywords

congruencesbinomial coefficientssymbolic computationbinary quadratic formsRamanujan-type series for \(1/ \pi \)

Mathematics Subject Classification ID

Combinatorial identities, bijective combinatorics (05A19) Congruences; primitive roots; residue systems (11A07) Binomial coefficients; factorials; (q)-identities (11B65) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Sums of squares and representations by other particular quadratic forms (11E25)

Cites Work

• Title not available (Why is that?)
• Domb's numbers and Ramanujan-Sato type series for \(1/\pi\)
• Super congruences and Euler numbers
• Rational analogues of Ramanujan's series for \(1/\pi\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Eisenstein series and Ramanujan-type series for \(1 / \pi\)
• Open Conjectures on Congruences
• Title not available (Why is that?)
• On congruences related to central binomial coefficients
• Ramanujan-type supercongruences
• Supercongruences for the Catalan-Larcombe-French numbers
• Sporadic sequences, modular forms and new series for \(1/\pi\)
• Analysis of PSLQ, an integer relation finding algorithm
• Congruences involving generalized central trinomial coefficients
• \(p\)-adic congruences motivated by series
• On some new congruences for binomial coefficients
• Congruences involving \(g_n(x)=\sum\limits_{k=0}^n\dbinom{n}{k}^2\dbinom{2k}{k}x^k\)
• Title not available (Why is that?)
• Congruences for Franel numbers
• New analogues of Clausen's identities arising from the theory of modular forms
• Connections between \(p=x^2+3y^2\) and Franel numbers
• New \(_{5}F_{4}\) hypergeometric transformations, three-variable Mahler measures, and formulas for \(1/ \pi \)
• Legendre polynomials and Ramanujan-type series for \(1/\pi\)
• Hypergeometric identities for 10 extended Ramanujan-type series
• A generating function of the squares of Legendre polynomials
• Generating functions of Legendre polynomials: A tribute to Fred Brafman
• A telescoping method for double summations
• Bivariate identities for values of the Hurwitz zeta function and supercongruences
• Supercongruences between truncated $_{2}F_{1}$ hypergeometric functions and their Gaussian analogs
• Conjectures and results on $x^2$ mod $p^2$ with $4p=x^2+dy^2$
• Ramanujan's theta functions
• Proof of a conjecture involving Sun polynomials
• WZ-proofs of ``divergent Ramanujan-type series
• Title not available (Why is that?)
• Holonomic alchemy and series for \(1/\pi \)
• Ramanujan series upside-down
• On sums related to central binomial and trinomial coefficients
• New series for some special values of $L$-functions
• Some congruences related to a congruence of Van Hamme
• Telescoping method and congruences for double sums
• Some new series for \(1/ \pi\) and related congruences
• A solution of Sun's \$520 challenge concerning \(\frac{520}{\pi}\)
• Symbolic summation methods and hypergeometric supercongruences

Cited In (17)

• \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\)
• Title not available (Why is that?)
• Infinite series about harmonic numbers inspired by Ramanujan-like formulae
• \(q\)-analogues of some series for powers of \(\pi\)
• Some new series for $1/\pi $ motivated by congruences
• On two supercongruences for sums of Apéry-like numbers
• NEW SERIES IDENTITIES FOR ${\frac{1}{\Pi}}$
• A congruence for the coefficients in a series for π
• Ramanujan-type supercongruences involving Almkvist-Zudilin numbers
• Congruences and telescopings of P-recursive sequences
• Some new series for \(1/ \pi\) and related congruences
• Gosper summability of rational multiples of hypergeometric terms
• On two congruences involving Franel numbers
• A New Method to Obtain Series for 1/π and 1/π²
• On Motzkin numbers and central trinomial coefficients
• Ramanujan-type \(1/\pi\)-series from bimodular forms
• New series with Cauchy and Stirling numbers, Part 2

This page was built for publication: New series for powers of \(\pi\) and related congruences

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