- Open Access
Note on the problem of Ramanujan’s radial limits
Advances in Difference Equations volume 2014, Article number: 191 (2014)
Ramanujan in his deathbed letter to GH Hardy concerned the asymptotic properties of modular forms and mock theta functions. For the mock theta function , he claimed that as q approaches an even order 2k root of unity ζ,
where . Recently, Folsom, Ono and Rhoades have proved two closed formulas for the implied constant and formulated an open problem which is related to their two theorems. In this note, we give a new proof on the problem of the two theorems by using some results about the generating functions of convex compositions given by GE Andrews and Appell-Lerch sums.
MSC:11F37, 11F03, 11F99.
In his deathbed letter to Hardy, Ramanujan gave no definition of mock theta functions but just listed 17 examples and a qualitative description of the key properties that he had noticed. Since that time, many papers studying the 17 specific examples have been written by many famous mathematicians such as Watson, Selberg and Andrews . Due to the work of Zweger [2, 3], Bringmann and Ono [4, 5], Zagier  and others, we are able to recognize Ramanujan’s mock theta functions as holomorphic parts of certain harmonic weak Maass forms of weight , originally defined by Bruinier and Funke . This realization has resulted in many applications in combinatorics, number theory, physics and representation theory.
While the theory of the weak Maass forms has led to a flood of applications in many disparate areas of mathematics, it is still not the case that we fully understand the deeper framework surrounding the contents of Ramanujan’s last letter to Hardy. Here we revisit Ramanujan’s original claims from his deathbed letter , which begins by summarizing the asymptotic properties, near roots of unity, of the Eulerian series which were modular forms. He then asked whether others with similar asymptotic were necessary for the summation of a modular form and a function which is at all roots of unity. In fact, the recent work by Griffin et al.  has confirmed that there are no weakly holomorphic modular forms which exactly cut out the singularities of Ramanujan’s mock theta functions.
Claim (Ramanujan )
As q approaches a primitive even order 2k root of unity ζ radially within the unit disk, then
where the mock theta function is defined by
Throughout this paper, let . The function is convergent for and those roots of unity q with odd order. For the even order roots of unity, has exponential singularities. For example, , , .
In order to cut out the exponential singularity at , Ramanujan found the function which is modular form up to multiplication by , defined in his notation as
Ramanujan’s last letter also inspired the problem of determining the asymptotic of the coefficients of mock theta functions such as . Andrews  and Dragonette  obtained asymptotic for coefficients of , then Bringmann and Ono  proved an exact formula for these coefficients. In the recent work, Folsom et al. [12, 13] provided two closed formulas for the implied constant .
If ζ is a primitive even order 2k root of unity, as q approaches ζ radially within the unit disk, then
Theorem 1.1 makes Ramanujan’s claim a special case of a more general result.
Since empty products equal 1, then Theorem 1.1 shows that(5)
Zudilin  has given an elementary proof of Theorem 1.1 by using Dyson’s rank function and the Andrews-Garvan crank function in his recent work.
In the meantime, Folsom et al.  proved a different form formula for the constant as follows.
Theorem 1.2 (Folsom-Ono-Rhoades Theorem 1.3 of )
If ζ is a primitive even order 2k root of unity, as q approaches ζ radially within the unit disk, then
Remark The authors left an open problem as a challenge for someone to find an elementary proof to show that the constants appearing in Theorem 1.1 match those appearing in Theorem 1.2. Interesting enough, Theorem 1.2 possesses a proof in  that makes use of q-series transformations only, while Theorem 1.1 is a particular instance of a much more general result whose proof uses a machinery of mock theta functions . The principal goal of this note is to give a new proof of the problem without using the relation of these two theorems.
2 Statement of results
As pointed out by many authors, Theorem 1.1 is a special case of a more general one, which surprisingly relates two well-known q-series: Dyson’s rank function and the Andrews-Garvan crank function . They play a prominent role in studying integer partition congruences.
In order to define these series, we let
and for all , we denote
It follows that
Following the paper  by Zudilin and the notation above, we can rewrite and as follows:
For the results of Theorems 1.1 and 1.2, we have
Here and are two third-order mock theta functions in Ramanujan’s Lost Notebook.
Recall that Dyson’s rank function is given by
where is the number of partitions of n with rank m.
The rank of a partition is defined to be its largest part minus the number of its parts. If is a root of unity, it is known that is (up to a power of q) a mock theta function which is the holomorphic part of a harmonic Maass form of weight .
The Andrews-Garvan crank function is defined by
where is the number of partitions of n with crank m.
For any roots of unity ω, is (up to a power of q) a modular form. Otherwise, we need the q-hypergeometric series which arises in the study of strongly unimodal sequences; it is defined by
where is the number of strongly unimodal sequences of size n with rank m.
Theorem 1.1 is a special case of the following theorem which relates these three q-series, here we define .
Theorem 2.1 (Folsom-Ono-Rhoades Theorem 1.2 of )
Let and be integers with and . If is an integer satisfying , as q approaches radially within unity disk, then
By taking , , and , so that , is a primitive even order 2k root of unity, Theorem 1.1 follows directly because of the fact that , and .
Based on the results above, in this note, we try to explain the relation between the two theorems, our results are as follows.
Theorem 2.2 Let ζ be a primitive even order 2k root of unity, as q approaches ζ radially within the unit disk, we have
if , then(21)
if , then(22)
Obviously, we can get the following corollary from Theorem 2.2 directly.
Corollary 2.3 Let ζ be a primitive even order 2k root of unity,
if , then(23)
if , then(24)
One can use the uniqueness property of limits to obtain the result of Theorem 2.2 by combining with the relationship between these three functions(25)
In this note, we prove Theorem 2.2 by using the result related with the generating functions of convex compositions given by Andrews  and the online Encyclopedia of Integer Sequences  as well as Appell-Lerch sums, we get the desired results.
3 Proof of the theorem
Before we give the proof of the theorem, we would like to first introduce the recent work given by Andrews , which is about the theory of concave and convex compositions that linked the related generating functions to combinations of classical, false, or mock theta functions and other Appell-Lerch sums.
Following Andrews, the strictly convex composition of n is defined by
where , and c is called the central part and is ≥0. We denote the number of strictly convex compositions of n by . For example, .
The related generating functions of are defined as
In this work, Andrews related the above generating functions to the classical and mock theta functions as follows (Theorem 1 of ):
where is defined in (15), and is defined by
It has been termed a second-order mock theta function by McIntosh .
In his deathbed letter, Ramanujan defined four third-order mock theta functions, three of them are as follows:
Folsom, Ono and Rhoades used the relation between these three functions in (25) and the basic hypergeometric series
to prove Theorem 1.2 and to show the new forms for and in (15), (16), respectively.
Following Andrews, we find that
where is defined in (13) of Theorem 1.1.
By combining with formula (28), we can deduce that
For the even k, let be any root of unity, we have the fact that pre-factor of vanishes at any even root of unity, while the has finite limits. As q approaches an even order root of unity , then
For the above fixed even k, we denote the primitive even order 2k root of unity by . As q approaches radially within the unit disk, we have
The first claim in Theorem 2.2 is proved.
Folsom et al. in  found that a search in the Online Encyclopedia of Integer Sequences  shows that the values of the function have some relations with the coefficients of the expansion of while , where is defined by
This function exists only for q, a root of unity. By studying the asymptotic relationship between and , Folsom, Ono and Rhoades guessed that there might be a relation at the other roots of unity, and then they computed the first fifth odd roots of unity , here , k is odd positive integer. Surprisingly, the results of the computation clearly showed that for odd roots of unity ,
Combining with the Online Encyclopedia of Integer Sequences research, we can reach the conclusion that for any odd order k root of unity , we still have the formula of (38). By the way, one can find that the function converges in the domain , because it is obvious that we can rewrite it as follows:
Applying formula (37), we then get
The search in  shows that this q-series matches the mock theta function . In fact, in the proof of Theorem 1.2, Folsom, Ono and Rhoades obtained the same form for the mock theta function in formula (16). In this case, if q is a root of unity, we have
On the other hand, for any odd order k root of unity , from the property of , we have
Finally, for odd integer k, if is any primitive odd order k root of unity, as q approaches , we have
For the above fixed odd k, we denote the primitive even order 2k root of unity by . As q approaches radially within the unit disk, we have
Since , is the root of . Then we get
We have proved the second claim in Theorem 2.2.
On the other hand, we can prove the second claim in Theorem 2.2 in a new way which is related to the properties of Appell-Lerch sums.
The definition of an Appell-Lerch sum is given by
For the integers a and positive integers m, we define
Then can be expressed as a bilateral sum :
then we get
Let , we have
Recall Proposition 2.6 in  that
For the odd integer k and , we can eliminate by using the result above as follows:
Then we have
For odd integer k, if ζ is a root of unity of order 2k, as , we see that the factor vanishes while the summation is finite at unity, then we have
Finally, we get
The second claim in Theorem 2.2 is also completed.
Andrews GE, Berndt BC: Ramanujan’s Lost Notebook. Springer, New York; 2009.
Zweger, S: Mock theta functions. Ph.D. Thesis (Advisor: D. Zaier), Universiteit Utrecht (2002)
Zweger S: Mock ϑ functions and real analytic modular forms. Contemp. Math. In q-Series with Applications to Combinatorics, Number Theory, and Physics. Am. Math. Soc., Providence; 2001:269-277.
Bringmann K, Ono K: Dyson’s ranks and Maass forms. Ann. Math. 2010, 171: 419-449. 10.4007/annals.2010.171.419
Bringmann K, Ono K:The mock theta function conjecture and partition ranks. Invent. Math. 2006, 165: 243-266. 10.1007/s00222-005-0493-5
Zagier, D: Ramanujan’s mock theta functions and their applications (after Zwegers and Ono-Bringmann). In: Séminaire Bourbaki, vol. 2007/2008, Astérisque. Exp. 326 pp. 143-164 (2009)
Bruinier JH, Funke J: On two geometric theta lifts. Duke Math. J. 2004, 125: 45-90. 10.1215/S0012-7094-04-12513-8
Berndt BC, Rankin RA: Ramanujan: Letters and Commentary. Am. Math. Soc., Providence; 1995.
Griffin M, Ono K, Rolen L: Ramanujan’s mock theta functions. Proc. Natl. Acad. Sci. USA 2013, 110: 5765-5768. 10.1073/pnas.1300345110
Andrews GE: On the theorems of Watson and Dragonette for Ramanujan’s mock theta functions. Am. J. Math. 1966, 88: 454-490. 10.2307/2373202
Dragonette L: Some asymptotic formulae for the mock theta series of Ramanujan. Trans. Am. Math. Soc. 1952, 72: 474-500. 10.1090/S0002-9947-1952-0049927-8
Folsom A, Ono K, Rhoades RC: Ramanujan’s radial limits. Contemp. Math. 2012, 334: 1-12.
Folsom A, Ono K, Rhoades RC: Mock theta functions and quantum modular forms. Forum Math., Pi 2013., 1: Article ID e2
Andrews GE: Concave and convex compositions. Ramanujan J. 2013, 31: 67-82. 10.1007/s11139-012-9394-6
Sloane, NJA: The online Encyclopedia of Integer Sequences. http://oeis.org
McIntosh RJ: Second order mock theta function. Can. Math. Bull. 2007, 50: 284-290. 10.4153/CMB-2007-028-9
Ramanujan S: The Lost Notebook and Other Unpublished Papers. Narosa Publishing House, New Delhi; 1988.
We thank the editor and the referees for their valuable suggestions to improve the quality of this article. In addition, this article is supported by the Natural Science Foundation of China under Grant (11271283), the Natural Science Foundation of Shaanxi Province of China under Grant (2012JM1021), the Foundation of CMIRI of Shaanxi Province under Grant (2013JMR11) and the Key Subject Foundation under Grant (14SXZD002).
The authors declare that they have no competing interests.
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.