Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

On a Ramanujan-type series associated with the Heegner number 163

John M. Campbell

Abstract

Using the Wolfram NumberTheory package and the Recognize command, together with numerical estimates involving the elliptic lambda and elliptic alpha functions, Bagis and Glasser, in 2013, introduced a conjectural Ramanujan-type series related to the class number $h(-d) = 1$ for a quadratic form with discriminant $d = 163$. This conjectured series is of level one and has positive terms, and recalls the Chudnovsky brothers' alternating series of the same level, given the connection between the Chudnovsky-Chudnovsky formula and the Heegner number $d = 163$ such that $\mathbb{Q}\left( \sqrt{-d} \right)$ has class number one. We prove Bagis and Glasser's conjecture by proving evaluations for $λ^{\ast}(163)$ and $α(163)$, which we derive using the Chudnovsky brothers' formula together with the analytic continuation of a formula due to the Borwein brothers for Ramanujan-type series of level one. As a byproduct of our method, we obtain an infinite family of Ramanujan-type series for $\frac{1}π$ generalizing the Chudnovsky algorithm.

On a Ramanujan-type series associated with the Heegner number 163

Abstract

Using the Wolfram NumberTheory package and the Recognize command, together with numerical estimates involving the elliptic lambda and elliptic alpha functions, Bagis and Glasser, in 2013, introduced a conjectural Ramanujan-type series related to the class number for a quadratic form with discriminant . This conjectured series is of level one and has positive terms, and recalls the Chudnovsky brothers' alternating series of the same level, given the connection between the Chudnovsky-Chudnovsky formula and the Heegner number such that has class number one. We prove Bagis and Glasser's conjecture by proving evaluations for and , which we derive using the Chudnovsky brothers' formula together with the analytic continuation of a formula due to the Borwein brothers for Ramanujan-type series of level one. As a byproduct of our method, we obtain an infinite family of Ramanujan-type series for generalizing the Chudnovsky algorithm.
Paper Structure (3 sections, 2 theorems, 25 equations)

This paper contains 3 sections, 2 theorems, 25 equations.

Table of Contents

  1. Introduction
  2. Bagis and Glasser's conjecture
  3. Conclusion

Key Result

Lemma 1

The elliptic lambda function is such that Writing $x = 4( \left( \lambda^{\ast}(163)\right)^{2} - \left( \lambda^{\ast}(163) \right)^{4} )$, the elliptic alpha function is such that

Theorems & Definitions (4)

  • Lemma 1
  • proof
  • Theorem 1
  • proof