We prove, by the WZ-method, some hypergeometric identities which relate ten extended Ramanujan type series to simpler hypergeometric series. The identities we are going to prove are valid for all the values of a parameter $a$ when they are convergent. Sometimes, even if they do not converge, they are valid if we consider these identities as limits.
We give a simple unified proof for all existing rational hypergeometric Ramanujan identities for $1/π$, and give a complete survey (without proof) of several generalizations: rational hypergeometric identities for $1/π^c$, Taylor expansions, upside-down formulas, and supercongruences.
We find new hypergeometric identities which, in a certain aspect, are stron-ger than others of the same style found by the author in a previous paper. The identities in Section \ref{section-pi} are related to some Ramanujan-type series for $1/π$. We derive them by using WZ-pairs associated to some interesting formulas by Wenchang Chu. The identities we prove in Section \ref{section-pi2} are of the same style but related to Ramanujan-like series for $1/π^2$.
Eigenvectors of the discrete Fourier transform can be expressed using Ramanujan theta functions. New theta function identities, Ramanujan theta function identities, and generating functions for the quadratic numbers are a consequence.
Using Ramanujan's identities and the Weierstrass-Enneper representation of minimal surfaces and the analogue for Born-Infeld solitons, we derive further non-trivial identities.
Using a pair of two variable series-product identities recorded by Ramanujan in the lost notebook as inspiration, we find some new identities of similar type. Each identity immediately implies an infinite family of Rogers-Ramanujan type identities, some of which are well-known identities from the literature. We also use these identities to derive some general identities for integer partitions.
It is shown that (two-variable generalizations of) more than half of Slater's list of 130 Rogers-Ramanujan identities (L. J. Slater, Further identities of the Rogers-Ramanujan type, \emph{Proc. London Math Soc. (2)} \textbf{54} (1952), 147--167) can be easily derived using just three multiparameter Bailey pairs and their associated $q$-difference equations. As a bonus, new Rogers-Ramanujan type identities are found along with natural combinatorial interpretations for many of these identities.
We derive two new generalizations of the Busche-Ramanujan identities involving the multiple Dirichlet convolution of arithmetic functions of several variables. The proofs use formal multiple Dirichlet series and properties of symmetric polynomials of several variables.
Using results from Ramanujan's lost notebook, Zudilin recently gave an insightful proof of a radial limit result of Folsom, Ono, and Rhoades for mock theta functions. Here we see that the author's previous work on the dual nature of Appell--Lerch sums and partial theta functions and on constructing bilateral $q$-series with mixed mock modular behaviour is well-suited for such radial limits. We present five more radial limit results which follow from mixed mock modular bilateral $q$-hypergeometric series. We also obtain the mixed mock modular bilateral series for a universal mock theta function…
Infinite series are evaluated through the manipulation of a series for $\cos(2t \sin^{-1}x)$ resulting from Clausen's Product. Hypergeometric series equal to an expression involving $\frac{1} π$ are determined. Techniques to evaluate generalized hypergeometric series are discussed through perspectives of experimental mathematics.
For the unrestricted partition function $p(n)$ for integers $n \geq 0$, it is known that $p(49n + 19) \equiv 0 \pmod{49}$, $p(49n + 33) \equiv 0 \pmod{49}$, and $p(49n + 40) \equiv 0 \pmod{49}$ for all $n \geq 0$. We find witness identities for these Ramanujan congruences.
We derive two general transformations for certain basic hypergeometric series from the recurrence formulae for the partial numerators and denominators of two $q$-continued fractions previously investigated by the authors. By then specializing certain free parameters in these transformations, and employing various identities of Rogers-Ramanujan type, we derive \emph{$m$-versions} of these identities. Some of the identities thus found are new, and some have been derived previously by other authors, using different methods. By applying certain transformations due to Watson, Heine and Ramanujan, w…
In this survey article, we present an expanded version of Lucy Slater's famous list of identities of the Rogers-Ramanujan type, including identities of similar type, which were discovered after the publication of Slater's papers, and older identities (such as those in Ramanujan's lost notebook) which were not included in Slater's papers. We attempt to supply the earliest known reference for each identity. Also included are identities of false theta functions, along with their relationship to Rogers-Ramanujan type identities. We also describe several ways in which pairs/larger sets of identitie…
We prove some Lambert series which were stated by Gosper without proof or reference. As an application, we shall evaluate integrals involving Ramanujan theta function $ψ(q)$. Furthermore, motivated by Ramanujan's identities for $qψ^4(q^2)$ and $\fr{ψ^3(q)}{ψ(q^3)}$, we shall evaluate the squares of $qψ^4(q^2)$ and $\fr{ψ^3(q)}{ψ(q^3)}$ in terms of Lambert series.
In a handwritten manuscript published with his lost notebook, Ramanujan stated without proofs forty identities for the Rogers-Ramanujan functions. We observe that the functions that appear in Ramanujan's identities can be obtained from a Hecke action on a certain family of eta products. We establish further Hecke-type relations for these functions involving binary quadratic forms. Our observations enable us to find new identities for the Rogers-Ramanujan functions and also to use such identities in turn to find identities involving binary quadratic forms.
In 1914, Ramanujan gave a list of 17 identities expressing $1/π$ as linear combinations of values of hypergeometric functions at certain rational numbers. Since then, identities of similar nature have been discovered by many authors. Nowadays, one of the standard approaches to this kind of identities uses the theory of modular curves. In this paper, we will consider the case of Shimura curves and obtain Ramanujan-type formulas involving special values of hypergeometric functions and products of Gamma values. The product of Gamma values are related to periods of elliptic curves with complex mul…
New convolution identities of hypergeometric Bernoulli polynomials are presented. Two different approaches to proving these identities are discussed, corresponding to the two equivalent definitions of hypergeometric Bernoulli polynomials as Appell sequences.
In this work, we start an investigation of asymmetric Rogers--Ramanujan type identities. The first object is the following unexpected relation $$\sum_{n\ge 0} \frac{(-1)^n q^{3\binom{n}{2}+4n}(q;q^3)_n}{(q^9;q^9)_n} = \frac{(q^{4};q^{6})_\infty (q^{12};q^{18})_\infty}{(q^{5};q^{6})_\infty (q^{9};q^{18})_\infty}$$ and its $a$-generalization. We then use this identity as a key ingredient to confirm a recent conjecture of G. E. Andrews and A. K. Uncu.
In this article, we provide an application of hypergeometric evaluation identities, including a strange valuation of Gosper, to prove several supercongruences related to special valuations of truncated hypergeometric series. In particular, we prove a conjecture of van Hamme.
A series of formula is presented that are all inspired by the Ramanujan Notebooks [6]. One of them appears in the notebooks II about Zeta(3). That formula inspired others that appeared in 1998, 2006 and 2009 on the author's website and later in literature [1][2][3]. New formulas for π and the Catalan constant are presented and a surprising series of approximations. A new set of identities is given for Eisenstein series. All of the formulas are conjectural since they were found experimentally. A new method for the computation of p(n) is presented.
In this paper, we prove supercongruence relations for truncated $N$-tuple sums of basic hypergeometric series. As an application, we give double, triple, and quadruple sum analogs of some Ramanujan-type supercongruences.
We prove hypergeometric type identities for a function defined in terms of quotients of the $p$-adic gamma function. We use these identities to prove a supercongruence conjecture of Rodriguez-Villegas between a truncated $_4F_3$ hypergeometric series and the Fourier coefficients of certain weight four modular form.
We apply the method established in our previous work to derive a Chudnovsky-Ramanujan type formula for the Legendre family of elliptic curves. As a result, we prove two identities for $1/π$ in terms of hypergeometric functions.
In this paper we highlight the connection between Ramanujan cubic polynomials (RCPs) and a class of polynomials, the Shanks cubic polynomials (SCPs), which generate cyclic cubic fields. In this way we provide a new characterization for RCPs and we express the zeros of any RCP in explicit form, using trigonometric functions. Moreover, we observe that a cyclic transform of period three permutes these zeros. As a consequence of these results we provide many new and beautiful identities. Finally we connect RCPs to Gaussian periods, finding a new identity, and we study some integer sequences relate…
We classify all the zeros and non-zero values of a family of hypergeometric series in the $p$-adic setting. These values of hypergeometric series in the $p$-adic setting lead to transformations of hypergeometric series in the $p$-adic setting which can be described as $p$-adic analogues of Kummer's and Pfaff's linear transformations on classical hypergeometric series. We also evaluate certain summation identities for hypergeometric series in the $p$-adic setting as well as Gaussian hypergeometric series.
We describe three computer searches (in PARI/GP, Maple, and Mathematica, respectively) which led to the discovery of a number of identities of Rogers-Ramanujan type and identities of false theta functions.
Ramanujan wrote the following identity \begin{align*} \sqrt{2 \left(1 - \frac{1}{3^2}\right) \left(1 - \frac{1}{7^2}\right) \left(1 - \frac{1}{11^2}\right) \left(1 - \frac{1}{19^2}\right)} \ = \ \left(1 + \frac{1}{7}\right) \left(1 + \frac{1}{11}\right) \left(1 + \frac{1}{19}\right), \end{align*} on which Berndt asked "Is this an isolated result, or are there other identities of this type?". Rebák provided formulas that generate many similar identities and believed that the curious identity is related to the reciprocal of the Landau-Ramanujan constant. In a previous work, Chu examined necessar…
We prove hypergeometric type summation identities for a function defined in terms of quotients of the $p$-adic gamma function by counting points on certain families of hyperelliptic curves over $\mathbb{F}_{q}$. We also find certain special values of that function.
In this work we investigate the heat kernel of the Laplace--Beltrami operator on a rectangular torus and the according temperature distribution. We compute the minimum and the maximum of the temperature on rectangular tori of fixed area by means of Gauss' hypergeometric function $_2F_1$ and the elliptic modulus. In order to be able to do this, we employ a beautiful result of Ramanujan, connecting hypergeometric functions, the elliptic modulus and theta functions. Also, we investigate the temperature distribution of the heat kernel on hexagonal tori and use Ramanujan's corresponding theory of s…
We show that, in many cases, there are infinitely many sets of partitions corresponding to a single analytical Rogers-Ramanujan type identity. This means that a single analytical Rogers-Ramanujan type identity implies the existence of bijections among infinitely many sets of partitions. We also give an explicit description of these infinite sets coming from the sum side of the analytical identity explaining how to interpret the sum side combinatorially as the generating function of the partitions considered. Moreover, we give a new infinite familiy of Rogers-Ramanujan type identities obtained …
We find two involutions on partitions that lead to partition identities for Ramanujan's third order mock theta functions $ϕ(-q)$ and $ψ(-q)$. We also give an involution for Fine's partition identity on the mock theta function f(q). The two classical identities of Ramanujan on third order mock theta functions are consequences of these partition identities. Our combinatorial constructions also apply to Andrews' generalizations of Ramanujan's identities.
We find involutions for three Rogers-Ramanujan-Gordon type identities obtained by Andrews on the generating functions for partitions with part difference and parity restrictions.
We prove a new Bailey-type transformation relating WP-Bailey pairs. We then use this transformation to derive a number of new 3- and 4-term transformation formulae between basic hypergeometric series.
In this paper we prove some Ramanujan-type formulas for $1/π$ but without using the theory of modular forms. Instead we use the WZ-method created by H. Wilf and D. Zeilberger and find some hypergeometric functions in two variables which are second components of WZ-pairs that can be certified using Zeilberger's EKHAD package. These certificates have an additional property which allows us to get generalized Ramanujan-type series which are routinely proven by computer. We call these second hypergeometric components of the WZ-pairs generators. Finding generators seems a hard task but using a kind …
We outline an elementary method for proving numerical hypergeometric identities, in particular, Ramanujan-type identities for $1/π$. The principal idea is using algebraic transformations of arithmetic hypergeometric series to translate non-singular points into singular ones, where the required constants can be computed using asymptotic analysis.
In this we paper we prove several new identities of the Rogers-Ramanujan-Slater type. These identities were found as the result of computer searches. The proofs involve a variety of techniques, including series-series identities, Bailey pairs, a theorem of Watson on basic hypergeometric series, generating functions and miscellaneous methods.
I present here a collection of formulas inspired from the Ramanujan Notebooks. These formulas were found using an experimental method based on three widely available symbolic computation programs: PARI-Gp, Maple and Mathematica. A new formula is presented for Zeta(5).