<<

Ramanujan

In mathematics, the Ramanujan theta function generalizes the form of the Jacobi theta functions, while capturing their general properties. In particular, the Jacobi triple product takes on a particularly elegant form when written in terms of the Ramanujan theta. The function is named after

Definition:

The Ramanujan theta function is defined as

for | ab | < 1. The Jacobi triple product identity then takes the form

Here, the expression (a;q)n denotes the q‐Pochhammer symbol. Identities that follow from this include

and

and

this last being the , which is closely related to the .

Mock Theta Function:

In his last letter to Hardy, Ramanujan defined 17 Jacobi theta function-like functions with which he called "mock theta

functions" (Watson 1936ab, Ramanujan 1988, pp. 127-131; Ramanujan 2000, pp. 354-355). These functions are q-series with

exponential singularities such that the arguments terminate for some power . In particular, if is not a Jacobi theta function, then it is a mock theta function if, for each root of unity , there is an approximation of the form

(1)

as with (Gordon and McIntosh 2000).

If, in addition, for every root of unity there are modular forms and real numbers and such that

(2)

is bounded as radially approaches , then is said to be a strong mock theta function (Gordon and McIntosh 2000).

Ramanujan found an additional three mock theta functions in his "lost notebook" which were subsequently rediscovered by Watson

(1936ab). The first formula on page 15 of Ramanujan's lost notebook relates the functions which Watson calls and

(equivalent to the third equation on page 63 of Watson's 1936 paper), and the last formula on page 31 of the lost notebook relates

what Watson calls and (equivalent to the fourth equation on page 63 of Watson's paper). The orders of these and

Ramanujan's original 17 functions were all 3, 5, or 7.

Ramanujan's "lost notebook" also contained several mock theta functions of orders 6 and 10, which, however, were not explicitly identified as mock theta functions by Ramanujan. Their properties have now been investigated in detail (Andrews and Hickerson

1991, Choi 1999).

Unfortunately, while known identities make it clear that mock theta functions of "order" are related to the number , no formal

definition for the order of a mock theta function is known. As a result, the term "order" must be regarded merely as a convenient

label when applied to mock theta functions (Andrews and Hickerson 1991).

The complete list of mock theta functions of order 3 are

(3)

(4)