Abstract:In this work, we establish modular parameterizations for two general formulas for $\frac{1}{\pi}$ that subsume conjectural Ramanujan type formulas due to Z.-W. Sun, which have remained open since 2011. As an application of this, in a conceptual way we interpret how Sun's conjectural formulas arise and can be verified, as well as recover other cases that were proved by Cooper, Wan and Zudilin.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to verify and explain the modular parameterizations of a class of conjectural Ramanujan - type formulas proposed by Z. - W. Sun. Specifically, in 2011, Sun proposed several conjectural formulas for \( \frac{1}{\pi} \), which are in the form:
\[
\sum_{n = 0}^{\infty}a(n)(n + b)=\frac{c}{\pi}
\]
where \(a(n)\), \(b\), and \(c\) are rational numbers. These formulas have been partially proven in the past decade, but some still remain unverified.
The main objective of this paper is to verify Sun's conjectural formulas by establishing the modular parameterizations of two general formulas \(P(t;x,b)\) and \(W(t;x,b)\), and to explain how these formulas are generated and verified. In addition, the author also recovers other cases proven by Cooper, Wan and Zudilin.
To achieve this goal, the author introduces modular functions and modular forms, and verifies these formulas through the evaluation of CM points. Specifically, the author shows how to decompose the generating function into local solutions of the Schwarzian differential equation, and uses the modular parameterization method to reduce the problem to the CM evaluation of modular forms.
In summary, this paper solves the following problems:
- Verifies the conjectural formulas for \( \frac{1}{\pi} \) proposed by Sun.
- Provides a unified method to explain and verify these formulas.
- Recovers and reproves some previously known formulas.
Through this method, the author not only verifies Sun's conjecture, but also provides a new perspective for understanding this type of formulas.