Hypergeometric modular equations

Shaun Cooper,Wadim Zudilin

DOI: https://doi.org/10.1017/S144678871800037X

2016-09-23

Abstract:We record $$ \binom{42}2+\binom{23}2+\binom{13}2=1192 $$ functional identities that, apart from being amazingly amusing by themselves, find applications in derivation of Ramanujan-type formulas for $1/\pi$ and in computation of mathematical constants.

Number Theory,Classical Analysis and ODEs

What problem does this paper attempt to address?

The Explicit Hypergeometric-Modularity Method I

Michael Allen,Brian Grove,Ling Long,Fang-Ting Tu

2024-07-10

Abstract:The theories of hypergeometric functions and modular forms are highly intertwined. For example, particular values of truncated hypergeometric functions and hypergeometric character sums are often congruent or equal to Fourier coefficients of modular forms. In this series of papers, we develop and explore an explicit "Hypergeometric-Modularity" method for associating a modular form to a given hypergeometric datum. In particular, for certain length three and four hypergeometric data we give an explicit method for finding a modular form $f$ such that the corresponding hypergeometric Galois representation has a subrepresentation isomorphic to the Deligne representation of $f$. Our method utilizes Ramanujan's theory of elliptic functions to alternative bases, commutative formal group laws, and supercongruences. As a byproduct, we give a collection of eta quotients with multiplicative coefficients constructed from hypergeometric functions. In the second paper, we discuss a number of applications, including explicit connections between hypergeometric values and periods of these explicit eta quotients as well as evaluation formulae for certain special $L$-values.

Number Theory
The Explicit Hypergeometric-Modularity Method II

Michael Allen,Brian Grove,Ling Long,Fang-Ting Tu

2024-11-23

Abstract:In the first paper of this sequence, we provided an explicit hypergeometric modularity method by combining different techniques from the classical, $p$-adic, and finite field settings. In this article, we explore an application of this method from a motivic viewpoint through some known hypergeometric well-poised formulae of Whipple and McCarthy. We first use the method to derive a class of special weight three modular forms, labeled as $\mathbb{K}_2$-functions. Then using well-poised hypergeometric formulae we further construct a class of degree four Galois representations of the absolute Galois groups of the corresponding cyclotomic fields. These representations are then shown to be extendable to $G_{\mathbb{Q}}$ and the $L$-function of each extension coincides with the $L$-function of an automorphic form.

Number Theory
Hypergeometric Motives from Euler Integral Representations

Tyler L. Kelly,John Voight

2024-12-04

Abstract:We revisit certain one-parameter families of affine covers arising naturally from Euler's integral representation of hypergeometric functions. We introduce a partial compactification of this family. We show that the zeta function of the fibers in the family can be written as an explicit product of $L$-series attached to nondegenerate hypergeometric motives and zeta functions of tori, twisted by Hecke Grossencharacters. This permits a combinatorial algorithm for computing the Hodge numbers of the family.

Number Theory
Sums of squares and sequences of modular forms

Alexander Kalmynin

2024-07-03

Abstract:Let $h_n(v)$ be the sequence of rational functions with $$ \frac{h_n(v)}{v}-nh_n(v)+(n-1)h_{n-1}(v)-vh_{n-1}'(v)+\frac{v(v(vh_{n-1}(v))')'}{4}=0 $$ for $n>0$ and $h_0(v)=1$. We prove that $h_n(v)$ has a pole at $v=\frac{1}{n}$ if and only if $n$ is a sum of two squares of integers. Moreover, if $r_2(n)=\#\{(a,b)\in \mathbb Z^2: a^2+b^2=n\}$, then we derive the formula $$ \underset{v=1/n}{\mathrm{Res}}h_n(v)=\frac{(-1)^{n-1}r_2(n)}{n16^n}. $$ The results are then generalized to arbitrary modular forms with respect to $\Gamma(2)$ and as a consequence we obtain a new criterion for Lehmer's conjecture for Ramanujan's $\tau$-function.

Number Theory
A Congruence Involving the Quotients of Euler and Its Applications (II)

T. X. Cai,X. D. Fu,X. Zhou

DOI: https://doi.org/10.4064/aa103-4-1

2002-01-01

Acta Arithmetica

Abstract:In this paper, we will present several new congruences involving binomial coefficients under integer moduli, which are the continuation of the previous two work by Cai \textit{et al.} (2002, 2007).
On the Residues of Binomial Coefficients and Their Products Modulo Prime Powers

Tian Xin Cai,Andrew Granville

DOI: https://doi.org/10.1007/s101140100144

2002-01-01

Abstract:In this paper, we show some identities which connect binomial coefficients with the number of solutions of congruences of some type.
Splitting Hypergeometric Functions over Roots of Unity

Dermot McCarthy,Mohit Tripathi

2024-07-02

Abstract:We examine hypergeometric functions in the finite field, p-adic and classical settings. In each setting, we prove a formula which splits the hypergeometric function into a sum of lower order functions whose arguments differ by roots of unity. We provide multiple applications of these results, including new reduction and summation formulas for finite field hypergeometric functions, along with classical analogues; evaluations of special values of these functions which apply in both the finite field and p-adic settings; and new relations to Fourier coefficients of modular forms.

Number Theory,Classical Analysis and ODEs
Hypergeometric type functions and their symmetries

Jan Dereziński

DOI: https://doi.org/10.1007/s00023-013-0282-4

2013-08-05

Abstract:We give a systematic and unified discussion of various classes of hypergeometric type equations: the hypergeometric equation, the confluent equation, the F_1 equation (equivalent to the Bessel equation), the Gegenbauer equation and the Hermite equation. In particular, we discuss recurrence relations of their solutions, their integral representations and discrete symmetries.

Classical Analysis and ODEs
On the numerology of trigonometric polynomials

Hans-Christian Herbig,Mateus de Jesus Gonçalves

DOI: https://doi.org/10.48550/arXiv.2311.13604

2023-11-20

Abstract:This note is about the observation that the various transition formulas between bases of trigonometric polynomials can be expressed in terms binomial coefficients. More specifically, we write the entries of the Chebyshev matrices $ T$ and $ U$ in terms of binomial coefficients. We remark that the inverses of certain submatrices of the Chebyshev matrix $ T$ correspond to classical power reduction formulas for trigonometric functions. Therefore the entries of $ T^{-1}$ are expressible in terms of binomial coefficients and powers of two. The inverses of certain submatrices of the Chebyshev matrix $ U$ appear in power reduction formulas involving the Catalan triangles. We could not spot them in the literature. As a corollary the Catalan triangles are interpreted as inverses of rather natural matrices of binomial coefficients. We explain the matrix inversions in terms of Riordan arrays. We solve the integral $ \int _{0}^{2\pi }\cos^{2m}( x)\sin^{2n}( x) dx$ and deduce a hypergeometric identity from the Fourier expansion of $\cos^{2m}(x)$ and $ \sin^{2n}( x)$. As a corollary we prove that super Catalan numbers are integers. We emphasize that from the point of view of these base changes between the trigonometric polynomials it is more natural to work with $2\cos(x)$ and $2\sin(x)$ instead of $\cos(x)$ and $\sin(x)$, since the transition matrices become invertible over the integers. We do a similar analysis for the spread polynomials. This enables us to make a conjecture of Goh and Wildberger more precise. In this exposition we give a mostly self-contained account of the matter, the prerequisites just being four semesters of calculus, linear algebra, elementary complex variables and the residue theorem.

History and Overview
Basic Hypergeometric Summations from Rook Theory

Michael J. Schlosser,Meesue Yoo

DOI: https://doi.org/10.1007/978-3-319-68376-8_37

2017-01-01

Abstract:We employ a one-variable extension of q-rook theory to give combinatorial proofs of some basic hypergeometric summations, including the q-Pfaff–Saalschütz summation and a \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${}_4\phi _3$$\end{document} summation by Jain.
A remarkable basic hypergeometric identity

Christian Krattenthaler,Wadim Zudilin

2024-06-05

Abstract:We give a closed form for $quotients$ of truncated basic hypergeometric series where the base $q$ is evaluated at roots of unity.

Number Theory,Mathematical Physics,Classical Analysis and ODEs,Combinatorics
A modular relation involving non-trivial zeros of the Dedekind zeta function, and the generalized Riemann hypothesis

Atul Dixit,Shivajee Gupta,Akshaa Vatwani

DOI: https://doi.org/10.1016/j.jmaa.2022.126435

IF: 1.417

2022-11-15

Journal of Mathematical Analysis and Applications

Abstract:We give a number field analogue of a result of Ramanujan, Hardy and Littlewood, thereby obtaining a modular relation involving the non-trivial zeros of the Dedekind zeta function. We also provide a Riesz-type criterion for the Generalized Riemann Hypothesis for ζK(s). New elegant transformations are obtained when K is a quadratic extension, one of which involves the modified Bessel function of the second kind.

mathematics, applied
Two closed-form evaluations for the generalized hypergeometric function ${}_4F_3(\frac1{16})$

Arjun K. Rathie,Mykola A. Shpot

2024-08-12

Abstract:The objective of this short note is to provide two closed-form evaluations for the generalized hypergeometric function $_4F_3$ of the argument $\frac1{16}$. This is achieved by means of separating a generalized hypergeometric function $_3F_2$ into even and odd components, together with the use of two known results for $_3F_2(\pm\frac14)$ available in the literature. As an application, we obtain an interesting infinite-sum representation for the number $\pi^2$. Certain connections with the work of Ramanujan and other authors are discussed, involving other special functions and binomial sums of different kinds.

Classical Analysis and ODEs
A Ramanujan's hypergeometric transformation formula, its validity range and implications

M. A. Shpot

2024-11-29

Abstract:We extend the validity range of a Ramanujan's hypergeometric transformation formula proved by Berndt, Bhargava and Garvan, Trans. Amer. Math. Soc. 347, 4163 (1995) and study its implications. Relations to special values of complete elliptic integrals of the first kind in the singular value theory are established. Consequently, we derive several closed-form evaluations of hypergeometric functions $_2F_1$ with different sets of parameters and arguments. Connections with other hypergeometric transformations and some recent results are discussed.

Classical Analysis and ODEs
On modular forms and Domb numbers

J. M. Campbell

DOI: https://doi.org/10.1080/10652469.2024.2428420

2024-11-27

Integral Transforms and Special Functions

Abstract:We prove conjectured formulas for 1π due to Chan and Verrill and related to modular forms for Γ0(6)+3 . These experimental results from Chan and Verrill involve the sequence of Domb numbers and were discovered via the PARI software. A key tool involved in our proofs of Chan and Verrill's conjectures is given by an identity from Rogers derived via three-variable Mahler measures.

mathematics, applied
Hypergeometric functions over finite fields

Noriyuki Otsubo

2023-08-02

Abstract:We give a definition of generalized hypergeometric functions over finite fields using modified Gauss sums, which enables us to find clear analogy with classical hypergeometric functions over the complex numbers. We study their fundamental properties and prove summation formulas, transformation formulas and product formulas. An application to zeta functions of K3-surfaces is given. In the appendix, we give an elementary proof of the Davenport-Hasse multiplication formula for Gauss sums.

Number Theory,Classical Analysis and ODEs
Some new Ramanujan-type modular equations of degree 15

Zhang Chuan-Ding,Yang Li

DOI: https://doi.org/10.1007/s11139-023-00817-y

2024-02-03

The Ramanujan Journal

Abstract:Ramanujan in his notebook recorded two modular equations involving multipliers with moduli of degrees (1,7) and (1,23). In this paper, we find some new Ramanujan-type modular equations involving multipliers with moduli of degrees (3,5) and (1,15), and give concise proofs by employing Ramanujan's multiplier functional equation.

mathematics
Hypergeometric solutions to Schwarzian equations

Khalil Besrour,Abdellah Sebbar

DOI: https://doi.org/10.1007/s11139-024-00930-6

2024-10-18

The Ramanujan Journal

Abstract:In this paper we study the modular differential equation where is the weight 4 Eisenstein series and with being a rational number in reduced form such that . This study is carried out by solving the associated Schwarzian equation and using the theory of equivariant functions on the upper half-plane and the 2-dimensional vector-valued modular forms. The solutions are expressed in terms of the Gauss hypergeometric series. This completes the study of the above-mentioned modular differential equation of the associated Schwarzian equation given that the cases have already been treated in Saber and Sebbar (Forum Math 32(6):1621–1636, 2020; Ramanujan J 57(2):551–568, 2022; J Math Anal Appl 508:125887, 2022; Modular differential equations and algebraic systems, http://arxiv.org/abs/2302.13459).

mathematics
Some Hypergeometric and Other Evaluations of Ζ(2) and Allied Series

JS Choi,AK Rathie,HM Srivastava

DOI: https://doi.org/10.1016/s0096-3003(98)10082-6

IF: 4.397

1999-01-01

Applied Mathematics and Computation

Abstract:Numerous interesting solutions of the problem of evaluating the Riemann ζ(2) (:=∑k=1∞k−2), which was of vital importance to Euler and the Bernoulli brothers (James and John Bernoulli), have appeared in the mathematical literature ever since Euler first solved this problem in 1736. The main object of this note is to present yet another evaluation of ζ(2) and related sums by applying the theory of hypergeometric series. Some other approaches to this problem are also indicated.
On a higher-order version of a formula due to Ramanujan

J. M. Campbell

DOI: https://doi.org/10.1080/10652469.2024.2309203

2024-02-03

Integral Transforms and Special Functions

Abstract:A special case of an Entry in Part II of Ramanujan's Notebooks is such that 1+15(12)2+19(1⋅32⋅4)2+⋯=Γ4(14)16π2. This formula leads us to consider the higher-order version of the above series given by replacing the squares of normalized central binomial coefficients with fourth powers. Using a Fourier–Legendre expansion introduced in a 2022 article by Cantarini, together with a multiple elliptic integral evaluation conjectured by Wan and proved by Zhou, we prove the very natural extension shown below of Ramanujan's formula: 1+15(12)4+19(1⋅32⋅4)4+⋯=Γ8(14)96π5. Furthermore, and in a closely related way, we show how a main result in an article by Papanikolas et al. concerning a Calabi–Yau threefold is equivalent to the evaluation of a Clebsch–Gordan-type multiple elliptic integral related to the work of Zhou and Brychkov.

mathematics, applied

Hypergeometric modular equations

The Explicit Hypergeometric-Modularity Method I

The Explicit Hypergeometric-Modularity Method II

Hypergeometric Motives from Euler Integral Representations

Sums of squares and sequences of modular forms

A Congruence Involving the Quotients of Euler and Its Applications (II)

On the Residues of Binomial Coefficients and Their Products Modulo Prime Powers

Splitting Hypergeometric Functions over Roots of Unity

Hypergeometric type functions and their symmetries

On the numerology of trigonometric polynomials

Basic Hypergeometric Summations from Rook Theory

A remarkable basic hypergeometric identity

A modular relation involving non-trivial zeros of the Dedekind zeta function, and the generalized Riemann hypothesis

Two closed-form evaluations for the generalized hypergeometric function ${}_4F_3(\frac1{16})$

A Ramanujan's hypergeometric transformation formula, its validity range and implications

On modular forms and Domb numbers

Hypergeometric functions over finite fields

Some new Ramanujan-type modular equations of degree 15

Hypergeometric solutions to Schwarzian equations

Some Hypergeometric and Other Evaluations of Ζ(2) and Allied Series

On a higher-order version of a formula due to Ramanujan