Search arXiv⌕ Search

arXiv · 2610.03238

Gosper's and Ramanujan's infinite products and generalizations

Abstract

Gosper introduced many remarkable formulas involving infinite products. One such formula provides an evaluation of the product $$\prod_{n \geq 1} \frac{1}{e}\left(\frac{1}{3n} + 1\right)^{3n + \frac{1}{2}}. $$ It appears that a complete proof of this evaluation has not appeared in the literature. In this paper, we introduce some techniques to extend Gosper's evaluation. We prove a generalization of Gosper's formula involving three free parameters, which can also be applied to evaluate arbitrary multisections of Gosper's product. Then we investigate higher-order extensions involving higher-degree polynomials in $n$, relative to the polynomials $3n$ and $3n+\frac{1}{2}$ involved in Gosper's product, yielding a generalization of an infinite product evaluation due to Ramanujan and recently studied by Bradley--Thrush [\textit{\it Ramanujan J.} (2025)]. We also consider connections with infinite products due to Kurokawa and Rovinski\uı, building on the recent work of the first and fourth authors [\textit{\it Ramanujan J.} (2025)].

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jean-Paul Allouche, John M. Campbell, Simon R. Holcombe, Lubomir Markov, Manon Stipulanti. 2026-10-02. Gosper's and Ramanujan's infinite products and generalizations. https://arxiv.org/abs/2610.03238

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Extendability of group actions on K3 or Enriques surfaces

Let $X$ be a K3 or Enriques surface with good reduction. Let $G$ be a finite group acting (not necessarily linearly) on $X$. We give a criterion for this group action to extend to a smooth model of $X$ in terms of the action of $G$ on the second $\ell$-adic cohomology groups. In particular, we generalize the result on the extendability of Galois actions on K3 surfaces by Chiarellotto, Lazda, and Liedtke. As an application, we prove that a symplectic linear group action is extendable if the residue characteristic does not divide its order. Lastly, we relate the good reduction of Enriques surfaces with that of their K3 double covers.

math.NT↗

New bounds for the integer Chebyshev constant of [0,1]

The integer Chebyshev constant of [0,1] has been bracketed by 0.4213 <= t_Z([0,1]) <= 0.422685 since the work of Pritsker (2005) and of Flammang (2014). We prove 0.4222286000 <= t_Z([0,1]) <= 0.4226846975, narrowing the interval from 1.39e-3 to 4.56e-4. Both bounds are established by explicit certificates. The upper bound is carried by an integer polynomial with 92 factors and explicit integer exponents; the lower bound by a discrete measure on 947 cells together with a library of 206 irreducible polynomials, through an inequality in which the terms paying for divisibility are made explicit. Two self-contained scripts, included as ancillary files, re-derive both bounds from the certificates alone.

math.NT↗

Iterated cotangent-difference integrals over totally real cyclotomic fields

We study iterated cotangent integrals with cyclotomic shifts and express their values along specified reference paths in terms of cyclotomic multiple zeta values. Differences of cotangent forms extend to a punctured projective line over a totally real cyclotomic field, giving a family of "real cyclotomic multiple zeta values." With rational tangential endpoints, these difference integrals are periods of mixed Tate motives over that field; integral endpoint data yield periods over its ring of integers after inverting primes dividing the level. The associated framed motivic classes generate a Hopf subalgebra under Goncharov's coproduct.

math.NT↗