arxiv: v2 [math.nt] 20 Nov 2018

Transcription

1 REPRESENTATIONS OF MOCK THETA FUNCTIONS arxiv: v2 [math.nt] 20 Nov 2018 DANDAN CHEN AND LIUQUAN WANG Abstract. Motivated by the works of Liu, we provide a unified approach to find Appell-Lerch series and Hecke-type series representations for mock theta functions. We establish a number of parameterized identities with two parameters a and b. Specializing the choices of (a, b, we not only give various known and new representations for the mock theta functions of orders 2, 3, 5, 6 and 8, but also present many other interesting identities. We find that some mock theta functions of different orders are related to each other, in the sense that their representations can be deduced from the same (a, b-parameterized identity. Contents 1. Introduction 2 2. Preliminaries 6 3. Some (a, b-parameterized identities 9 4. Mock theta functions of order Representations for A (2 (q Representations for B (2 (q Representations for µ (2 (q Mock theta functions of order Representations for f (3 (q Representations for φ (3 (q Representations for ψ (3 (q Representations for ω (3 (q Representations for ν (3 (q Representations for ρ (3 (q Mock theta functions of order Representations for f ( Representations for φ ( Representations for F ( Representations for f ( Representations for φ (5 1 (q 29 (q and ψ(5 0 (q 30 0 (q 33 (q 35 (q and ψ(5 1 (q Representations for F (5 1 (q Mock theta functions of order Mathematics Subject Classification. 05A30, 11B65, 33D15, 11E25, 11F11, 11F27, 11P84. Key words and phrases. Mock theta functions; Hecke-type series; Appell-Lerch series; summation formulas. 1

2 2 DANDAN CHEN AND LIUQUAN WANG 7.1. Representations for φ (6 (q Representations for ψ (6 (q Representations for ρ (6 (q, σ (6 (q and λ (6 (q Representations for µ (6 (q Representations for γ (6 (q Representations for φ (6 (q Representations for ψ (6 (q Mock theta functions of order Representations of S (8 0 (q and S(8 1 (q Representations of T (8 0 (q Representations for T (8 1 (q, U (8 0 (q, U(8 1 (q Representations for V (8 0 (q Representations for V (8 1 (q Concluding Remarks 51 Acknowledgements 54 References Introduction In his last letter to Hardy dated on January 12, 1920, Ramanujan gave a list of 17 functions which he called mock theta functions. He defined each function as a q series in Eulerian form and separated them into four classes: one class of third order, two of fifth order, and one of seventh order. Ramanujan also stated identities satisfied by mock theta functions of the same order. In his lost notebook [28], identities for mock theta functions of the sixth and tenth orders were recorded. Since then, mock theta functions have attracted the attention of lots of mathematicians. It has been a long time for people to understand the modularity of mock theta functions. From the Eulerian forms of mock theta functions, it is difficult to observe any significant transformation properties. Therefore, finding alternative representations for mock theta functions becomes the first task for studying their modular behaviors. With the contribution of many works, to name a few, Watson [33, 34], Andrews [2], Andrews and Hickerson [5], Berndt and Chan [7], Choi [10, 11, 12, 13], Gordon and McIntosh [16], and Hickerson [19], we now know that mock theta functions usually admit at least one of the two kinds of representations: Appell-Lerch series or Hecke-type series. Appell-Lerch series are series of the form ( 1 ln q ln(n+1/2 b n 1 aq n. (1.1 n Here and throughout this paper, we assume that q < 1. After multiplying the series (1.1 by the factor a l/2 and viewing it as function in the variables a,b and q, it is also usually refereed as a level l Appell function. This kind of series was first studied by Appell [6] and Lerch [22].

3 REPRESENTATIONS OF MOCK THETA FUNCTIONS 3 A series is of Hecke-type if it has the following form: ( 1 H(m,n q Q(m,n+L(m,n, (m,n D where H and L are linear forms, Q is a quadratic form, and D is some subset of Z Z. The following classical identity of Jacobi expresses an infinite product as a Hecke-type series: (q;q 3 ( 1 m q (m2 +n 2 /2. n m n Here and later we use the standard q series notation: n 1 (a;q 0 1, (a;q n (1 aq k, (a;q k0 (1 aq k. Motivated by Jacobi s identity, Hecke [18] systematically investigated theta series related to indefinite quadratic forms. For instance, Hecke [18, p. 425] found that ( 1 m+n q (n2 3m 2 /2+(n+m/2 (1 q n 2, n m n/2 which is originally due to Rogers [29, p. 323]. Kac and Peterson [21] illustrated ways for proving Hecke-type identities using affine Lie algebra. Appell-Lerch series and Hecke-type series played important roles in q series. It serves as bridges between mock theta functions and the theory of modular forms. For example, for the third order mock theta function 1 f (3 q n2 (q ( q;q 2, (1.2 n Watson [33] found the following Appell-Lerch series representation: f (3 2 ( 1 n q 3 2 n n (q (q;q 1+q n. (1.3 For the fifth order mock theta function Andrews [2] showed that f (5 0 f (5 0 (q 1 (q;q n k0 f (5 0 (q q n2, (1.4 ( q;q n (q has a Hecke-type series expression as: ( 1 j q 5 2 n n j2 (1 q 4n+2. (1.5 j n By using the Appell-Lerch series or Hecke-type series expressions of mock theta functions such as (1.3 and (1.5, Zwegers [35] successfully fit mock theta functions into the 1 Throughout this paper, to avoid confusion, we use a superscript (n to indicate that a mock theta function is of order n.

4 4 DANDAN CHEN AND LIUQUAN WANG theory of modular forms. For more detailed introduction to the developments of mock theta functions, we refer the reader to the survey of Gordon and McIntosh [17], the paper of Hickerson and Mortenson [20], the recent books of Andrews and Berndt [4], and Bringmann et al. [8] as well as the references listed there. There are several ways for establishing Appell-Lerch series or Hecke-type series expressions for mock theta functions. To deduce Appell-Lerch series representations of third order mock theta functions, Watson used a transformation formula connecting a terminated 8 φ 7 series to a terminated 4 φ 3 series. Andrews [2] used Bailey chain theory to produce Hecke-type series expressions for the fifth and seventh order mock theta functions. Liu [23] derived some q series expansion formulas and gave new proofs to (1.5. In a series of works, Liu [24, 25] established some transformation formulas for q- hypergeometric series and thereby establishing many interesting Hecke-type identities such as (see [25, Proposition 1.11] (q;q 2 n q n (q 2 ;q 2 n (q;q2 (q 2 ;q 2 ( 1 n+j q n2 +n j 2. (1.6 Among a number of nice transformation formulas of Liu, the following one has shown its power in establishing Hecke-type identities (see [25, p. 2089] or [24, Theorem 1.7]. Theorem 1.1. For max{ uab/q, ua, ub, c, d } < 1, we have 2 ( (uq,uab/q;q q/a/b,v ;q, uab (ua,ub;q c,d q (1 uq 2n ( (u/a/b;q n q ( uab n q (n2 3n/2 n,uq n,v 3 φ 2 ;q. (1.7 (1 u(q,ua,ub;q n c,d Utilizing Theorem 1.1, several new Hecke-type identities have been found by Wang and Yee [32, 31]. In particular, they proved that q n (q;q 2 n ( q;q 2 n (1+q 2n ( 1 j q n2 +j 2 ( 1 n q 2n2. (1.8 j n Note that this is a Hecke-type identity associated with a definite theta series, which is quite rare in the literature. Furthermore, Wang [30] used Theorem 1.1 to give new proofs for five false theta function identities of Ramanujan. In a recent work, Chan and Liu [9] used Theorem 1.1 to establish three Hecke-type identities such as (q;q n ( q;q n ( 1 n q n(n 1/2 +1 (1 q n 2 ( 1 n+j+1 q 2n2 n j 2. In this paper, we continue to employ Theorem 1.1 to illustrate a systematic way to establish various representations for q series in the Eulerian form. We first generalize Theorem 1.1 to the following form. 2 For the convergence, we only need to assume that uab/q < 1. We require max{ ua, ub, c, d } < 1 so that the denominator of each term appearing in the identity does not vanish.

5 REPRESENTATIONS OF MOCK THETA FUNCTIONS 5 Theorem 1.2. Suppose max{ αabz/q, αa, αb, αc 1,, αc m } < 1 and m is a nonnegative integer. We have ( (αq,αab/q;q q/a/b,αb1,,αb m m+2φ m+1 ;q,αabz/q (αa,αb;q 0,αc 1,,αc m (1 αq 2n (α/a/b;q n ( αab/q n q n(n 1/2 (1.9 (1 α(q,αa,αb;q n ( q n,αq n,αb 1,,αb m m+2 φ m+1 ;q,zq 0,αc 1,,αc m Theorems 1.1 and 1.2 provide an elegant way for finding alternative representations for basic hypergeometric series. Indeed, these theorems allow us to write a series in Eulerian form as a sum involving truncated m+2 φ m+1 series. In suitable situations, this truncated sum may be further simplified and in turn we obtain very nice representations of the original series. Such nice representations involve Appell-Lerch series or Hecke-type series. For example, using Theorem 1.1 we establish the following (a, b- parameterized identity (see Theorem 6.12: for max{ ab, aq 2, bq 2 } < 1, (q 2,ab;q 2 ( q 2 /a 2 /b 2 (aq 2,bq 2 ;q ;q 2,ab (1 q (1+q 2n+1 (q2 /a 2 /b;q 2 n (aq 2,bq 2 ;q 2 ( ab n q 3n2 +2n q 2j2 j. (1.10 n. Itturnsout that by choosing suitable values for (a,b inthis identity, we get Hecke-type series representations for four mock theta functions of orders 5, 6 and 8. Namely, we find that F (5 1 (q : q 2n(n+1 (q;q 2 n 0 n+1 ψ (6 (q : T (8 1 (q : 1 (q 2 ;q 2 q ( q;q (q;q 2 n 0 q n ( q;q 2n 2 (q;q 2 n ( 1 n q 5n2 +4n ( j+1 2 (1+q 2n+1, (1.11 ( 1 n q 3n3 +3n q n(n+1 ( q 2 ;q 2 n ( q;q 2 n+1 ( q2 ;q 2 (q 2 ;q 2 q 4n2 +3n (1 q 2n+1 q 2j2 j, (1.12 ( 1 j q 2j2 j, (1.13

6 6 DANDAN CHEN AND LIUQUAN WANG V (8 1 (q : q (n+12 ( q;q 2 n (q;q 2 n+1 ( 1 n q 4n2 +4n q ( q;q2 (q 2 ;q 2 q 2j2 j. (1.14 Furthermore, the parameterized identity (1.10 also generates new Hecke-type identities. For instance, if we take (a,b (0,1 in (1.10, we get a new identity: ( 1 n (q2 ;q 2 n (q;q 2 q n(n+1 (1+q 2n+1 q 4n2 +3n 2j 2 j. (1.15 n+1 By establishing different (a, b-parameterized identities, we are able to provide different representations for the same mock theta function. An example is that using two parameterized identities other than (1.10, we find two Appell-Lerch series representations for V (8 1 (q. Namely, V (8 1 (q ( q4 ;q 4 (q 4 ;q 4 q ( q;q (q;q n ( 1 n q (2n+12 1 q 4n+1 (1.16 ( 1 n1 q2n+1 1+q 4n+2qn2 +2n. (1.17 The formula(1.16 is due to Gordon and McIntosh [16], while the representations (1.14 and (1.17 appear to be new. We will present 30 parameterized identities like (1.10. Three of them were discovered by Liu [24] andthe others are new. By choosing suitable values for theparameters, we provide new proofs for all the known Appell-Lerch series or Hecke-type series representations for mock theta functions of orders 2, 3, 5, 6 and 8. Meanwhile, we will also show lots of new Hecke-type identities associated to definite or indefinite quadratic forms. The paper is organized as follows. In Section 2, we recall some formulas from the theory of basic hypergeometric series. We also discuss some limiting cases of Watson s q- analog of Whipple s theorem. The formulas listed in Section 2 will be used in evaluating certain terminated 3 φ 2 series. In Section 3, we shall first prove Theorems 1.1 and 1.2. Then as first examples of these theorems, we give several parameterized identities and new Hecke-type identities. We continue to apply Theorem 1.1 in Sections 4-8, where we discuss mock theta functions of orders 2, 3, 5, 6 and 8, respectively. For each mock theta function, we correspondingly establish some parameterized identities. Each of these identities gives us a representation for the mock theta function and produces new interesting identities. 2. Preliminaries In this section, we collect some useful identities on basic hypergeometric series. For convenience, we adopt the following compact notation: (a 1,a 2,,a m ;q n (a 1 ;q n (a 2 ;q n (a m ;q n,

7 REPRESENTATIONS OF MOCK THETA FUNCTIONS 7 (a 1,a 2,,a m ;q (a 1 ;q (a 2 ;q (a m ;q. The basic hypergeometric series r φ s is defined as ( a1,,a r (a 1,,a r ;q n rφ s ;q,z (( 1 n q n(n 1/2 1+s r z n. b 1,...,b s (q,b 1,,b s ;q n From [25, Eq. (3.14], we find ( q n,αq n,β ;q ( c n q n(n 1/2(qα/c;q n c,d (c;q n ( q n,αq n,d/β d, qα/c ;qβ/c. (2.1 We also need the following formula [14, p. 28] which relates a 3 φ 2 series to a 2 φ 1 series: ( q n,b,bzq n /c 0,bq 1 n ;q (c;q ( n q n,b, 2φ 1 ;q,z. (2.2 /c (c/b;q n c Watson s q-analog of Whipple s theorem (see, for example, [14, Eq. (2.5.1]; [23, Theorem 5] can be stated in the following form. Lemma 2.1 (Watson. Let n be a nonnegative integer. We have ( (αq,αab/q;q n q n /a/b,αcd/q 4φ 3 (αa,αb;q n αc,αd 2 /αabq n ;q 8 φ 7 ( q n a, q a,α/a/b/c/d α, α,αa,αb,αc,αd,αq n+1 ;q,α 2 abcdq n /q 2. (2.3 In the rest of this section, we discuss some consequences of Lemma 2.1, which will be used frequently. From [25, Proposition 2.2] we find ( q n,αq n+1,αcd/q ;q αc,αd ( α n q n(n+1/2 (q;q n ( 1 j(1 αq2j (α/c/d;q j (cd/q j q j(j+1/2. (2.4 (qα;q n (1 α(q,αc,αd;q j Lemma 2.2. For any nonnegative integer n, we have ( q n,αq n+1 /c αd 2 ;q,d /c (q/c n (αc;q n (q 2 ( 1 j(1 αq2j (α/c/d;q j (cd/q j q j(j+1/2. (2.5 /c,αq;q n (1 α(q,αc,αd;q j Proof. Replacing α by αq, β by αcd/q, c by αc and d by αd in (2.1, we have ( q n,αq n+1,αcd/q ;q αc,αd ( q n,αq n+1 /c ( αc n q n(n 1/2(q2 /c;q n (αc;q n Combining this with (2.4, we get the desired identity. αd 2 /c ;q,d. (2.6

8 8 DANDAN CHEN AND LIUQUAN WANG Letting α q 1 in Lemma 2.2, we get the following result. Lemma 2.3. ( q n n /c d/q 2 /c ;q,d (q/c n (1 q n (c/q;q n (q 2 /c;q n ( (c+dq +cd(q 2 q 3 + (c q(d q(1 q ( 1 j (1 q 2j 1 (q/c/d;q j (1 q j (1 q j 1 (cd j q j(j+3/2. (c/q,d/q;q j j2 (2.7 Letting d in (2.4, we find the following transformation formula, which appears as Proposition 2.3 in [25]. Corollary 2.4. ( q n,αq n+1 2φ 1 ;q,c αc ( α n q n(n+1/2 (q;q n (qα;q n (1 αq 2j (α/c;q j (1 α(q,αc;q j (c/α j q j(j+1. (2.8 Lemma 2.5. For any nonnegative integer n, we have ( q n,αq n ;q /c (αc;q n (q 2 (α/c n q n2 +2n (1 αq 2j (α/c;q j c j α j q j2 j. (2.9 /c,αq;q n (1 α(q,αc;q j Proof. Replacing (b,c by (αb,αc in (2.2, we have ( q n,αb,bzq n /c 0,bq 1 n ;q (αc;q n 2φ 1 /c (c/b;q n Now, setting (b,z (q n+1,c in (2.10, we obtain ( q n,αq n ;q (αc;q n /c (cq n 1 2φ 1 ;q n ( q n,αb αc ( q n,αq n+1 Substituting (2.8 into (2.11, we complete the proof of Lemma 2.5. Taking α q 1 in Lemma 2.5, we obtain Lemma 2.6. ( q n n 0 2 /c ;q (1 q n (c/q;q n (q 2 /c;q n c n q n2 +n αc ;q,z. (2.10 ;q,c. (2.11

9 REPRESENTATIONS OF MOCK THETA FUNCTIONS 9 ( q 2c+cq (1 q(c q + j2 (q/c;q j (1 q j 1 (1 q j c j q j2 (c/q;q j 1 q 2j 1 From [25, Proposition 2.5] we find 3 ( 1 n(αq;q ( n q q n(n+2/2 n,αq n+1 2φ 1 (q;q n αc ;q,1. (2.12 (1 αq 2j (α/c;q j (1 α(q,αc;q j q j2 j (αc j. (2.13 Lemma 2.7. For any nonnegative integer n, we have ( q n,αq n+1 /c 0 2 ;q /c (αc;q n (q 2 (q/c n (1 αq 2j (α/c;q j (αc j q j2 j. (2.14 /c,αq;q n (1 α(q,αc;q j Proof. Taking (b,c,z (αq n+1,αc,1 in (2.2, we obtain ( q n,αq n+1 /c 0 2 ;q (αc;q ( n q n,αq n+1 /c (cq n 1 2φ 1 ;q,1. (2.15 ;q n αc Together with (2.13, we complete the proof of Lemma 2.7. We conclude this section with the q-pfaff Saalschütz summation formula [14, p. 40, Eq. (2.2.1]: ( q n,aq n,aq/bc (b,c;q ( n aq n. ;q (2.16 aq/b, aq/c (aq/b,aq/c;q n bc 3. Some (a, b-parameterized identities Transformation formulas stated in Theorem 1.2 can be regarded as a consequence of the following result of Liu. Lemma 3.1. (Cf. [25, Theorem4.1] If A n is a complex sequence, then, under suitable convergence conditions, we have (αq,αab/q;q A n (q/a;q n (αa n (3.1 (αa,αb;q (1 αq 2n (α/a/b;q n ( αab/q n q n(n 1/2 (1 α(q,αa,αb;q n (q n,αq n ;q k (q 2 /b k A k. (q/b;q k k0 Now we give proofs to Theorems 1.1 and There is a typo in [25] that q n(n+1/2 should be replaced by ( 1 n q n(n+1/2.

10 10 DANDAN CHEN AND LIUQUAN WANG Proof of Theorem 1.2. The desired identity follows by setting in Lemma 3.1. A n (q/b,αb 1,...,αb m ;q n (q,αc 1,...,αc m ;q n ( bz q n (3.2 Proof of Theorem 1.1. If u 0, the desired identity is clearly true. Now we suppose u 0. The theorem follows from Theorem 1.2 after taking (m,α,b 1,b 2,c 1,c 2,z (2,u,v/u/u,c/u,d/u,1. Using Theorems 1.1 and 1.2, we are able to establish numerous identities with two parameters a and b. These parameterized identities will generate interesting Appell- Lerch series or Hecke-type series after specializing the choices of a and b. We now illustrate several examples. Theorem 3.2. For max{ ab, aq 2, bq 2 } < 1, we have (q 2,ab;q 2 ( q 2 /a 2 /b (aq 2,bq 2 ;q 2 q 2 3 ;q 2, ab (1 q ( 1 n (1+q 2n+1 (q2 /a 2 /b;q 2 n (aq 2,bq 2 ;q 2 (ab n q n2 j 2. (3.3 n Proof. Taking (q,m,α,b 1,b 2,c 1,c 2,z (q 2,2 2 1,0, 1, 1 in Theorem 1.2, we obtain (q 2,ab;q 2 ( q 2 /a 2 /b (aq 2,bq 2 ;q 2 q 2 3 ;q 2, ab ( 1 n (1 q 4n+2 (q2 /a 2 /b;q 2 ( n q (aq 2,bq 2 ;q 2 (ab n q n(n 1 2n 2n+2 n q 2 3 ;q 2, q 2. 1 q 2n+1 (3.4 Taking (q,α,c,d (q 2,1, q 2 in Lemma 2.2, we obtain ( q 2n 2n+2 q 2 3 ;q 2, q 2 (1 qqn q j2. (3.5 Substituting (3.5 into (3.4, we arrive at (3.3. Corollary 3.3. We have ( 1 n q 2n(n+1 (q 4 ;q 4 n (1 q 2n+1 1 (q 2 ;q 2 q n(n+1 ( q 2 ;q 2 n (1 q 2n+1 ( 1 n (1+q 2n+1 q 3n2 +2n j 2, (3.6 (1+q 2n+1 q 2n2 +n j 2. (3.7 Proof. Taking (a, b (0, 0 and (0, 1 in Theorem 3.2, we obtain (3.6 and (3.7, respectively.

11 REPRESENTATIONS OF MOCK THETA FUNCTIONS 11 Theorem 3.4. For max{ ab/q, aq 2, bq 2 } < 1, we have (q 2,ab;q 2 ( q 2 /a 2 /b, 1 (aq 2,bq 2 ;q 2 q, q 2 ;q 2,ab/q (1 q 4n+2 (q2 /a 2 /b;q 2 n (aq 2,bq 2 ;q 2 (ab n q n2 n j 2. (3.8 n Proof. Taking (q,m,α,b 1,b 2,c 1,c 2,z (q 2,2 2, q 2,0 1, 1 1 in Theorem 1.2, we obtain (q 2,ab;q 2 ( q 2 /a 2 /b, 1 (aq 2,bq 2 ;q 2 q, q 2 ;q 2,ab/q ( 1 n (1 q 4n+2 (q2 /a 2 /b;q 2 ( n q (aq 2,bq 2 ;q 2 (ab n q n(n 1 2n 2n+2, 1 n q, q 2 ;q 2. (3.9 Taking (q,α,c,d (q 2,1, q 2 in Lemma 2.2, we obtain ( q 2n 2n+2, 1 q, q 2 ;q 2 ( 1 n q j2. (3.10 Substituting (3.10 into (3.9, we arrive at (3.8. Corollary 3.5. We have q 2n2 +n 1+2 (q;q 2n (1+q 2n 1 (q 2 ;q ( 1 n q n2 (q;q 2 n (1+q 2n (1 q 4n+2 q 3n2 +n j 2, (3.11 ( 1 n (1 q 4n+2 q 2n2 j 2. (3.12 Proof. Taking (a,b (0,0 and (0,1 in Theorem 3.4, we obtain (3.11 and (3.12, respectively. Theorem 3.6. For max{ ab, aq, bq } < 1, we have ( (q,ab;q q/a/b, 1 ;q,ab (aq,bq;q 0, q ( 1 j (1 q 2n+1 (q/a/b;q n (ab n q n(n 1/2+j2. (aq,bq;q n (3.13 Proof. Taking (c,d,u,v (0, q, 1 in Theorem 1.1, we deduce that ( (q,ab;q q/a/b, 1 ;q,ab (aq,bq;q 0, q (1 q 2n+1 (q/a/b;q ( n q ( ab n q n(n 1/2 n n+1, 1 ;q. (3.14 (aq,bq;q n 0, q

12 12 DANDAN CHEN AND LIUQUAN WANG Setting (α,c (1, q in Lemma 2.7, we obtain ( q n n+1, 1 ;q ( 1 n ( 1 j q j2. (3.15 0, q The theorem follows after substituting (3.15 into (3.14. Corollary 3.7. We have q n2 +n (q;q n (1+q n 1 2(q;q ( 1 nqn(n+1/2 1+q n 1 2 ( 1 j (1 q 2n+1 q 3n2 /2+n/2+j 2, (3.16 ( 1 n+j (1 q 2n+1 q n2 +j 2. (3.17 Proof. Taking (a,b (0,0 and (0,1 in Theorem 3.6, we obtain (3.16 and (3.17, respectively. Remark 1. The Hecke-type series in (3.17 looks quite similar to the following identity of Liu [25, Eq. (4.12]: q n2 (q 2 ;q 2 n 1 (q;q ( 1 j (1 q 2n+1 q n2 +j 2. (3.18 Note that there is typo in [25, Eq. (4.12] that ( 1 n+j should be ( 1 n. Theorem 3.8. For max{ ab, aq 2, bq 2 } < 1, we have (q 2,ab;q 2 ( q 2 /a 2 /b (aq 2,bq 2 ;q ;q 2,ab (1 q ( 1 n (1+q 2n+1 (q2 /a 2 /b;q 2 n (aq 2,bq 2 ;q 2 (ab n q n2 +2j 2 j. n (3.19 Proof. Taking (q,c,d,u,v (q 2,0 3 2 in Theorem 1.1, we deduce that (q 2,ab;q 2 ( q 2 /a 2 /b (aq 2,bq 2 ;q ;q 2,ab (1 q 4n+2 (q2 /a 2 /b;q 2 ( n q (aq 2,bq 2 ;q 2 ( ab n q n(n 1 2n 2n+2 n 0 3 ;q 2 2. (3.20 Taking (q,α,c (q 2,1 in Lemma 2.7, we obtain ( q 2n 2n ;q 2 2 (1 qqn 1 q 2n+1 q 2j2 j. (3.21 The theorem follows after substituting (3.21 into (3.20.

13 Corollary 3.9. We have q 2n2 +2n 1 (1 q 2n+1 (q 2 ;q 2 n (q 2 ;q 2 ( 1 n qn(n+1 REPRESENTATIONS OF MOCK THETA FUNCTIONS 13 1 q 2n+1 ( 1 n (1+q 2n+1 q 3n2 +2n+2j 2 j, (3.22 (1+q 2n+1 q 2n2 +n+2j 2 j. (3.23 Proof. Taking (a,b (0,0 and (0,1 in Theorem 3.8, we obtain identities (3.22 and (3.23, respectively. Theorem For max{ ab, aq 2, bq 2 } < 1, we have (q 2,ab;q 2 ( q 2 /a 2 /b 2 (aq 2,bq 2 ;q 2 q 2, q 3 ;q 2,ab (1+q ( 1 j (1 q 2n+1 (q2 /a 2 /b;q 2 n (aq 2,bq 2 ;q 2 (ab n q 2n2 +n j 2. n (3.24 Proof. Taking (q,c,d,u,v (q 2, q 2, q in Theorem 1.1, we deduce that (q 2,ab;q 2 ( q 2 /a 2 /b 2 (aq 2,bq 2 ;q 2 3 φ 2 q 2, q 3 ;q 2,ab (1 q 4n+2 (q2 /a 2 /b;q 2 ( n q (aq 2,bq 2 ;q 2 ( ab n q n(n 1 2n 2n+2 2 n q 2, q 3 ;q 2 2. (3.25 From [3, Eq. (6.11] we find 1+q 2n+1 ( q 2n 2n q q 2, q 3 ;q 2 2 ( 1 n q n2 +2n The theorem follows after substituting (3.26 into (3.25. Corollary We have q 2n2 +2n 1 ( q;q 2n+1 (q 2 ;q 2 ( 1 n (q2 ;q 2 n q n2 +n ( q;q 2n+1 ( 1 j q j2. (3.26 ( 1 j (1 q 2n+1 q 4n2 +3n j 2, (3.27 ( 1 n+j (1 q 2n+1 q 3n2 +2n j 2. (3.28 Proof. Taking (a,b (0,0 and (0,1 in Theorem 3.10, we obtain (3.27 and (3.28, respectively. Theorem For max{ ab, aq 2, bq 2 } < 1, we have (q 2,ab;q 2 ( q 2 /a 2 /b, q (aq 2,bq 2 ;q 2 q, q 2 ;q 2,ab (1 q 4n+2 (q2 /a 2 /b;q 2 n (aq 2,bq 2 ;q 2 (ab n q 2n2 j 2. n (3.29

14 14 DANDAN CHEN AND LIUQUAN WANG Proof. Taking (q,c,d,u,v (q 2, q 2 2, q in Theorem 1.1, we deduce that (q 2,ab;q 2 ( q 2 /a 2 /b, q (aq 2,bq 2 ;q 2 q, q 2 ;q 2,ab (1 q 4n+2 (q2 /a 2 /b;q 2 ( n (aq 2,bq 2 ;q 2 ( ab n q n2 n q 2n 2n+2, q 3 φ 2 n q, q 2 ;q 2 2. (3.30 Taking (q,α,c,d (q 2,1, q 2 in (2.4, we obtain ( q 2n 2n+2, q q, q 2 ;q 2 2 ( 1 n q n2 +n The theorem follows after substituting (3.31 into (3.30. Corollary We have ( q;q 2 n q 2n2 +2n 1 (q 2 n (q 4 ;q 4 n (q 2 ;q 2 (q;q 2 n q 2n2 +2n ( q;q 2n (q 2 ;q 2 n ( 1 n ( q;q 2 n q n2 +n (q;q 2 n ( q 2 ;q 2 n ( 1 n (q;q 2 n q n2 +n ( q;q 2n 1 (q 2 ;q 2 q j2. (3.31 (1 q 4n+2 q 4n2 +2n j 2, (3.32 (1 q 4n+2 ( 1 j q 4n2 +2n j 2, (3.33 (1 q 4n+2 ( 1 n q 3n2 +n j 2, (3.34 (1 q 4n+2 ( 1 n+j q 3n2 +n j 2. (3.35 Proof. Taking (a,b (0,0 and (0,1 in Theorem 3.12, we obtain (3.32 and (3.34, respectively. Replacing q by q in (3.32 and (3.34, we obtain (3.33 and (3.35, respectively. 4. Mock theta functions of order 2 In [27] and [17, p. 120, Eq. (5.1] three mock theta functions of order 2 were defined. They are A (2 q n+1 ( q 2 ;q 2 n q (n+12 ( q;q 2 n (q : (q;q 2 n+1 (q;q 2 2, (4.1 n+1 B (2 (q : µ (2 (q : q n ( q;q 2 n (q;q 2 n+1 q n2 +n ( q 2 ;q 2 n (q;q 2 2, (4.2 n+1 ( 1 n (q;q 2 n q n2 ( q 2 ;q 2 2. (4.3 n The functions A (2 (q and µ (2 (q appear in Ramanujan s Lost Notebook [28], and the function B (2 (q arises in the modular transformation formulas for A (2 (q and µ (2 (q.

15 REPRESENTATIONS OF MOCK THETA FUNCTIONS 15 McIntosh [26] provided the following Appell-Lerch series representations for these functions. Theorem 4.1. We have A (2 (q q ( q;q2 (q 2 ;q 2 B (2 (q ( q2 ;q 2 (q 2 ;q 2 µ (2 (q 2 (q;q2 (q 2 ;q 2 n n ( 1 n q 2n2 +3n 1 q 2n+1, (4.4 ( 1 n q 2n2 +2n 1 q 2n+1, (4.5 q 2n2 +n 1+q2n. (4.6 We will reprove these identities by regarding them as corollaries of some general (a,b-parameterized identities. As byproducts, we find new representations for A (2 (q and B (2 (q Representations for A (2 (q. Theorem 4.2. For max{ ab, aq 2, bq 2 } < 1, we have (q 2,ab;q 2 ( q 2 /a 2 /b 2 (aq 2,bq 2 ;q 2 q 3 3 ;q 2,ab (1 q 2 1+q 2n+1 1 q 2n+1 (q 2 /a 2 /b;q 2 n (aq 2,bq 2 ;q 2 n ( ab n q n2 +n. (4.7 Proof. Taking (q,c,d,u,v (q in Theorem 1.1, we deduce that (q 2,ab;q 2 ( q 2 /a 2 /b 2 (aq 2,bq 2 ;q 2 q 3 3 ;q 2,ab (1 q 4n+2 (q2 /a 2 /b;q 2 ( n (aq 2,bq 2 ;q 2 ( ab n q n2 n q 2n 2n φ 2 n q 3 3 ;q 2 2. (4.8 Taking (q,a,b,c (q 2 2 in (2.16, we deduce that ( q 2n 2n+2 2 q 3 3 ;q 2 2 (q;q2 n (q 3 3 ;q 2 q 2n (1 q2 n (1 q 2n+1 2q2n. (4.9 The theorem follows after substituting (4.9 into (4.8. Corollary 4.3. Identity (4.4 and (4.5 hold. In addition, we have q 2n(n+1 1 (q;q 2 2 n+1 (q 2 ;q 2 ( 1 n1+q2n+1, 1 q 2n+1q3n2 (4.10 ( 1 n q n(n+1 (q 2 ;q 2 n 1+q 2n+1 (q;q 2 2. n+1 1 q 2n+1q2n2 (4.11

16 16 DANDAN CHEN AND LIUQUAN WANG Proof. We use the second expression of A (2 (q to write it as A (2 q ( q;q 2 n q n2 +2n (q (1 q 2 (q 3 ;q 2 2. (4.12 n Taking (a,b ( q,0 in Theorem 4.2, we obtain (4.4. We use the second expression of B (2 (q in (4.2 to write it as B (2 1 ( q 2 ;q 2 n (q (1 q 2 (q 3 ;q 2 2 q n2 +n. (4.13 n Taking (a,b (0, 1 in Theorem 4.2, we obtain (4.5. Taking (a,b (0,0 and (0,1 in Theorem 4.2, we obtain (4.10 and (4.11, respectively. Remark 2. The left side of (4.10 is a third order mock theta function. See (5.5. Theorem 4.4. For max{ abq, aq 2, bq 2 } < 1, we have (q 2 (,abq;q q/a/b (aq 2,bq 2 ;q q 3/2, q 3/2;q,abq (1 q 2n+2 (q/a/b;q n (aq 2,bq 2 ( ab n q n2 +2n ;q n q j(j+1/2. (4.14 Proof. Taking (c,d,u,v (q 3/2, q 3/2 2 in Theorem 1.1, we deduce that (q 2 (,abq;q q/a/b (aq 2,bq 2 ;q q 3/2, q 3/2;q,abq ( (1 q 2n+2 1 qn+1 (q/a/b;q n 1 q (aq 2,bq 2 ( abq 2 n q (n2 3n/2 q n n+2 3 φ 2 ;q n q 3/2 ;q., q3/2 (4.15 Setting (α,β,c,d (q 2 3/2, q 3/2 in (2.1, we obtain ( q n n+2 ( q 3/2 ;q ( 1 n q (n2 +2n/23 q n n+2, q 1/2 φ, q3/2 2 q 3/2, q 3/2 ;q 1/2. (4.16 Setting (α,c,d (q, q 1/2 1/2 in Lemma 2.2, we deduce that ( q n n+2, q 1/2 q 3/2, q 3/2 ;q 1/2 ( 1 n q n/2 1 q 1 q n+1 q j(j+1/2. (4.17 Substituting (4.17 into (4.16, we obtain ( q n n+2 q 3/2 ;q q (n2 +3n/2 1 q, q3/2 1 q n+1 The theorem follows after substituting (4.18 into (4.15. q j(j+1/2. (4.18

17 Corollary 4.5. We have A (2 (q q ( q2 ;q 2 (q;q 2 q n2 +2n (q;q 2 n+1 REPRESENTATIONS OF MOCK THETA FUNCTIONS 17 1 (q;q 1 q 2n+2 1+q 2n+2( 1n q n2 +2n q j(j+1/2, (4.19 ( 1 n (1 q 2n+2 q 2n2 +3n ( 1 n q n(n+3/2 (q;q n (q;q 2 n+1 q (n2 +3n/2 ( q;q n (q;q 2 n+1 (1+q n+1 q (3n2 +5n/2 ( q;q (q;q q j(j+1/2, (4.20 q j(j+1/2, (4.21 ( 1 n (1 q n+1 q (3n2 +5n/2 q j(j+1/2. (4.22 Proof. We use the first expression of A (2 (q to write it as A (2 (q q ( q 2 ;q 2 n q n 1 q (q 3 ;q 2. (4.23 n Taking (a,b (i, i in Theorem 4.4, we obtain (4.19. Taking (a,b (0,0, (0,1 and (0, 1 in Theorem 4.4, we obtain (4.20 and (4.21, respectively. Remark 3. After multiplying by a factor q, the left side of (4.22 becomes a sixth order mock theta function. See ( Representations for B (2 (q. Note that (4.5 has already been proved in Corollary 4.5. Now we establish a new representation for B (2 (q. Theorem 4.6. For max{ ab, aq, bq } < 1, we have ( (q,ab;q q/a/b (aq,bq;q q 3/2, q 3/2;q,ab (q/a/b;q n (1 q ( ab n q n2 +n ( j+1 2. (4.24 (aq,bq;q n Proof. Taking (c,d,u,v (q 3/2, q 3/2 in Theorem 1.1, we deduce that ( (q,ab;q q/a/b (aq,bq;q q 3/2, q 3/2;q,ab (1 q 2n+1 (q/a/b;q ( n ( ab n q n 2 n q n n+1 2 (aq,bq;q n q 3/2 ;q. (4.25, q3/2 Setting (α,β,c,d (q 3/2, q 3/2 in (2.1, we deduce that ( q n n+1 q 3/2 ;q ( 1 n q (n2 +2n/2 1 q 1 2, q3/2 1 q n+1 2 ( q n n+1, q 1/2 q 1/2, q 3/2 ;q 1/2. (4.26

18 18 DANDAN CHEN AND LIUQUAN WANG Setting (α,c,d (1, q 1/2 1/2 in Lemma 2.2, we obtain ( q n n+1, q 1/2 q 1/2, q 3/2 ;q 1/2 ( 1 n q n/2 1+q q n+1 2 Substituting (4.27 into (4.26, we obtain ( q n n+1 q 3/2 ;q q (n2 +3n/2 1 q, q3/2 1 q 2n+1 Substituting (4.28 into (4.25, we arrive at (4.24. Corollary 4.7. We have B (2 (q ( q;q2 (q;q 2 ( 1 n q n2 +2n 1+q 2n+1 q j(j+1/2. (4.27 q j(j+1/2. (4.28 q j(j+1/2. (4.29 Proof. We use the first expression of B (2 (q in (4.2 to write it as B (2 (q 1 (iq 1/2, iq 1/2 ;q n 1 q (q 3/2, q 3/2 q n. (4.30 ;q n Taking (a,b (iq 1/2, iq 1/2 in Theorem 4.6, we obtain (4.29. Corollary 4.8. We have q n(n+1 1 (q;q 2 n+1 (q;q ( 1 n q n(n+1/2 (q;q n (q;q 2 n+1 q n(n+1/2 ( q;q n (q;q 2 n+1 ( 1 n q 2n2 +2n j(j+1/2, (4.31 ( q;q (q;q q (3n2 +3n/2 j(j+1/2, (4.32 ( 1 n q (3n2 +3n/2 q j(j+1/2. (4.33 Proof. Taking (a,b (0,0, (0,1 and (0, 1 in Theorem 4.6, weobtain (4.31, (4.32 and (4.33, respectively. Remark 4. The left side of (4.33 is a sixth order mock theta function. See ( Representations for µ (2 (q. Theorem 4.9. For max{ ab/q, a, b } < 1, we have ( (q,ab/q;q q/a/b (a,b;q q, q ;q,ab/q 1 (q/a/b;q n q n ( ab n q (n2 n/2. (4.34 (a,b;q n

19 REPRESENTATIONS OF MOCK THETA FUNCTIONS 19 Proof. Taking (c,d,u,v ( q, q,1 in Theorem 1.1, we deduce that ( (q,ab/q;q q/a/b (a,b;q q, q ;q,ab/q 1+ (1+q n (q/a/b;q ( n ( ab n q (n2 3n/2 q n n 3 φ 2 (a,b;q n q, q ;q. (4.35 Taking (a,b,c (1, 1, 1 in (2.16, we obtain ( q n n q, q ;q 4q n (1+q n 2. (4.36 The theorem then follows after substituting (4.36 into (4.35. Corollary Identity (4.6 holds. In addition, we have q n2 2 ( 1 n q (3n2 +n/2 ( q;q 2 n (q;q 1+q n, n (4.37 q (n2 +n/2 (1+q n 2 ( q;q ( 1 n q n2 +n ( q;q n (q;q (1+q n 2, (4.38 n q (n2 n/2 ( q;q n 2. (4.39 Proof. Taking(q,a,b (q 2,0, (a,b (0,0 and( q,0 intheorem 4.9, weobtain (4.6, (4.37 and (4.38, respectively. Taking (a,b (0, 1 in Theorem 4.9, we obtain Note that q (n2 n/2 ( q;q n 2 ( q;q (q;q n n ( 1 n q n2 (q;q2 (q 2 ;q 2. ( 1 n q n2. (4.40 Identity (4.39 follows immediately from (4.40 and the above identity. Remark 5. The left side of (4.37 is a third order mock theta function. See (5.1. The curious identity (4.39 appeared in the work of Andrews [1, Eq. (4.4], where it was proved combinatorially. Our proof of this identity is new. 5. Mock theta functions of order 3 In his last letter to Hardy and lost notebook [28], Ramanujan gave seven mock theta functions of order 3. They are defined as f (3 q n2 (q : ( q;q 2, (5.1 n

20 20 DANDAN CHEN AND LIUQUAN WANG φ (3 q n2 (q : ( q 2 ;q 2, n (5.2 ψ (3 q n2 (q : (q;q 2, n (5.3 χ (3 q n2 ( q;q n (q : ( q 3 ;q 3, n (5.4 ω (3 q 2n(n+1 (q : (q;q 2 2, n+1 (5.5 ν (3 q n(n+1 (q : ( q;q 2, n+1 (5.6 ρ (3 q 2n(n+1 (q;q 2 n+1 (q : (q 3 ;q 6. n+1 (5.7 Watson [33] provided Appell-Lerch series representations for these functions as follows. Theorem 5.1. We have f (3 2 ( 1 n q n(3n+1/2 (q (q;q 1+q n, n (5.8 φ (3 1 ( 1 n (1+q n q n(3n+1/2 (q (q;q 1+q 2n, n (5.9 ψ (3 q ( 1 n q 6n(n+1 (q (q 4 ;q 4 1 q 4n+1, n (5.10 χ (3 1 ( 1 n (1+q n q n(3n+1/2 (q 2(q;q 1 q n +q 2n, n (5.11 ω (3 1 (q (q 2 ;q 2 ( 1 n q 3n(n+11+q2n+1 1 q2n+1, (5.12 ν (3 1 (q ( 1 n q 3n(n+1/21 q2n+1 (q;q 1+q2n+1, (5.13 ρ (3 1 (q (q 2 ;q 2 ( 1 n (1 q 4n+2 q 3n2 +3n 1+q 2n+1 +q4n+2. (5.14 We will provide new proofs for these formulas by establishing more general (a, b- parameterized identities. As byproducts, we find a new Hecke-type series representation for ψ (3 (q Representations for f (3 (q. Identity(5.8hasalreadybeenestablishedin(4.37.

21 5.2. Representations for φ (3 (q. REPRESENTATIONS OF MOCK THETA FUNCTIONS 21 Theorem 5.2. For max{ ab/q, a, b } < 1, we have ( (q,ab/q;q q/a/b (a,b;q iq, iq ;q,ab/q 1+q n (q/a/b;q n q 2n ( ab n q (n2 n/2. (a,b;q n (5.15 Proof. Taking (c,d,u,v (iq, iq,1 in Theorem 1.1, we deduce that ( (q,ab/q;q q/a/b (a,b;q iq, iq ;q,ab/q 1+ (1+q n (q/a/b;q ( n ( ab n q (n2 3n/2 q n n 3 φ 2 (a,b;q n iq, iq ;q. (5.16 Setting (a,b,c (1,i, i in (2.16, we obtain ( q n n iq, iq ;q 2qn 1+q2n. (5.17 Substituting (5.17 into (5.16, we obtain the theorem. Corollary 5.3. Identity (5.9 holds. In addition, we have ( q;q n q (n2 n/2 ( q 2 ;q 2 ( q;q (1+q n 2 n (q;q 1+q 2n ( 1n q n2, (5.18 q (n2 +n/2 ( 1;q n ( q 2 ;q 2 n 2 ( q;q (q;q q n2 ( q;q 2 n ( q 4 ;q 4 n ( q;q2 (q 2 ;q 2 n n n ( 1 n q n2 +n 1+q 2n, ( q 2n 1+q 4n( 1n q 2n2 +n. (5.20 Proof. Taking (a, b (0, 0, (0, 1 and (0, q in Theorem 5.2, we obtain (5.9, (5.18 and (5.19, respectively. Taking (q,a,b (q 2,0, q in Theorem 5.2, we obtain (5.20. Remark 6. The left side of (5.20 is an eighth order mock theta function. See ( Representations for ψ (3 (q. Theorem 5.4. For max{ ab, qa, qb } < 1 and x being neither zero nor an integral powers of q, we have ( (q,ab;q q/a/b (aq,bq;q xq 2 /x ;q,ab (1 q 2n+1 (1 x(1 q/x (q/a/b;q n (1 xq n (1 q n+1 ( ab n q (n2 +n/2. (5.21 /x (aq,bq;q n

22 22 DANDAN CHEN AND LIUQUAN WANG Proof. Taking (c,d,u,v (xq 2 /x in Theorem 1.1, we deduce that ( (q,ab;q q/a/b (aq,bq;q xq 2 /x ;q,ab (1 q 2n+1 (q/a/b;q ( n ( ab n q (n2 n/2 q n n+1 3 φ 2 (aq,bq;q n xq 2 /x ;q. (5.22 Setting (a,b,c (q,x/x in (2.16, we deduce that ( q n n+1 xq 2 /x ;q (1 x(1 q/xqn (1 xq n (1 q n+1 /x. (5.23 The theorem follows after substituting (5.23 into (5.22. Theorem 5.4 allows us to give alternative representations for the universal mock theta function g(x : x ( 1+ 1 q n2 q n(n+1, (5.24 (x;q n+1 (q/x;q n (x;q n+1 (q/x;q n+1 where x is neither 0 nor an integral power of q. This function was defined by Hickerson [19, Definition 2.0]. We can write g(x 1 (1 x(1 q/x q n(n+1 (xq 2 /x;q n. (5.25 Taking (a,b (0,0 in Theorem 5.4, we get 1 ( 1 n q (3n2 +3n/2 (1 q 2n+1 g(x (q;q (1 xq n (1 q n+1. (5.26 /x We may further write ( 1 g(x (q;q ( 1 (q;q 1 (q;q n ( 1 n q (3n2 +3n/2 (1 xq n (1 q n+1 /x + ( 1 n q (3n2 +3n/2 1 (1 xq n (1 q n+1 /x + n ( 1 n+1 q (3n2 +3n/2+2n+1 (1 xq n (1 q n+1 /x ( 1 n q (3n2 +3n/2 2n 1 (1 xq n 1 (1 q n /x ( 1 n q 3n(n+1/2 (1 xq n (1 q n+1 /x. (5.27 Moreover, we can also write 1 ( 1 n q (3n2 +3n/2 ( (1 q n+1 /x+(1 xq n q n+1 /x g(x (q;q (1 xq n (1 q n+1 /x ( 1 ( 1 n q (3n2 +3n/2 ( 1 n q (3n2 +3n/2 q n+1 /x (q;q 1 xq n + 1 q n+1 /x

23 REPRESENTATIONS OF MOCK THETA FUNCTIONS 23 ( 1 ( 1 n q (3n2 +3n/2 1 ( 1 n 1 q (3n2 +3n/2 q n /x (q;q 1 xq n + 1 q n /x n 1 ( 1 n q 3n(n+1/2 (q;q 1 xq n. (5.28 n Identity (5.28 appears as Lemma 7.9 in the work of Garvan [15]. Corollary 5.5. Identity (5.10 holds. Proof. We have ψ (3 (q q (2n+12 (q;q 2 2n+1 + q 1 q + q 1 q q q q (2n2 (q;q 2 2n q 4n2 +4n+1 +q 4n2 (1 q 4n+1 (q;q 2 2n+1 q 4n2 (q 3 ;q 2 2n q 4n2 (q 3 5 ;q 4 n. (5.29 Therefore, by (5.24 we have ψ (3 (q qg(q 4. Identity (5.10 then follows from (5.28. We can give another Hecke-type series representation for ψ (3 (q. For this we establish the following parameterized identity. Theorem 5.6. For max{ ab/q, a, b } < 1, we have ( (q,ab/q;q q/a/b (a,b;q q 1/2, q 1/2;q,ab/q 1+ (1+q n q n2 2n (q/a/b;q n ( ab n q n(n+1/2 (1 q n (a,b;q n q j(j+1/2. (5.30 Proof. Taking (q,c,d,u,v (q 1/2, q 1/2,1 in Theorem 1.1, we deduce that ( (q,ab/q;q q/a/b (a,b;q q 1/2, q 1/2;q,ab/q 1+ (1+q n (q/a/b;q ( n ( ab n q (n2 3n/2 q n n 3 φ 2 (a,b;q n q 1/2, q 1/2;q. (5.31 Setting (α,β,c,d (1 1/2, q 1/2 in (2.1, we obtain ( q n n ( q 1/2, q 1/2;q ( 1 n q n2 /23 q n n, q 1/2 φ 2 q 1/2, q 1/2 ;q 3/2. (5.32

24 24 DANDAN CHEN AND LIUQUAN WANG Taking (c,d ( q 3/2 3/2 in Lemma 2.3, we deduce that ( q n n, q 1/2 q 1/2, q 1/2 ;q 3/2 ( 1 n q n/2 (1 q n q 1 q + (1 q 1 q 2j j(j+1/2. (1 q j 1 (1 q j (5.33 Note that We deduce that j2 j2 (1 q 1 q j (1 q j 1 (1 q j. (1 q 1 q 2j j(j+1/2 (1 q j 1 (1 q j ( q (j j2 /2 1 1 q j 1 1 q j 1 j2 j2 q (j j2 /2 n 1 q j(j+1/2 1 q j 1 q j j1 q j(j+1/2 (1 q j 1 q j 1 1 q + q n(n+1/2 1 q n j1 j1 Substituting (5.34 into (5.33, we conclude that ( q n n, q 1/2 q 1/2, q 1/2 ;q 3/2 q j(j+1/2 1 1 q + q n(n+1/2 1 q n. (5.34 ( 1 n q n/2 q n(n+1/2 (1 q n Substituting (5.35 into (5.32, we obtain ( q n n q 1/2, q 1/2;q q (n2 n/2 q n(n+1/2 (1 q n The theorem follows after substituting (5.36 into (5.31. Corollary 5.7. We have ψ (3 1 (q (q;q q j(j+1/2. (5.35 q j(j+1/2. (5.36 n 1 ( 1 n (1 q 2n q 2n2 n q j(j+1/2, (5.37

25 REPRESENTATIONS OF MOCK THETA FUNCTIONS 25 q (n2 +n/2 ( 1;q n (q;q 2 n ( q;q ( 1+2 (q;q (1 q n ( ( 1 n q (3n2 n/2 q n(n+1/2 q j(j+1/2. (5.38 Proof. Taking (a,b (0,0 and (0, q in Theorem 5.6, we obtain (5.37 and (5.38, respectively. Theorem 5.8. For max{ ab/q, a, b } < 1, we have ( (q,ab/q;q q/a/b (a,b;q ζ 3 q, ζ3 2q;q,ab/q 1+q n (q/a/b;q n 1+ 1 q n +q 2n ( ab n q (n2 n/2. (a,b;q n (5.39 Proof. Taking (c,d,u,v ( ζ 3 q, ζ3 2 q,1 in Theorem 1.1, we deduce that ( (q,ab/q;q q/a/b (a,b;q ζ 3 q, ζ3 2q;q,ab/q 1+ (1+q n (q/a/b;q ( n ( ab n q (n2 3n/2 q n n 3 φ 2 (a,b;q n ζ 3 q, ζ3 2q;q. (5.40 Setting (a,b,c (1, ζ 3, ζ3 2 in (2.16, we obtain ( q n n q n ζ 3 q, ζ3 2q;q 1 q n +q2n. (5.41 The theorem follows after substituting (5.41 into (5.40. Corollary 5.9. Identity (5.11 holds. In addition, we have q (n2 +n/2 ( 1, q;q n ( q 3 ;q 3 ( q;q ( 1 n q n2 +n n (q;q 1 q n +q2n, (5.42 q (n2 n/2 ( q;q 2 n ( q 3 ;q 3 1 ( q;q n 2 (q;q n n ( 1 n q n2 (1+q n 2 1 q n +q 2n. (5.43 Proof. Taking (a,b (0,0, (0, q and (0, 1 in Theorem 5.8, we obtain (5.11, (5.42 and (5.43, respectively Representations for ω (3 (q. As for ω (3 (q, a two parameter generalization of (5.12 has already been given in Theorem 4.2. Identity (5.12 already appears as ( Representations for ν (3 (q. Theorem For max{ ab, aq, bq } < 1, we have ( (q,ab;q q/a/b (aq,bq;q iq 3/2, iq 3/2;q,ab (5.44

26 26 DANDAN CHEN AND LIUQUAN WANG (1+q 1 q 2n+1 1+q 2n+1 (q/a/b;q n (aq,bq;q n ( ab n q (n2 +n/2. Proof. Taking (c,d,u,v (iq 3/2, iq 3/2 in Theorem 1.1, we deduce that ( (q,ab;q q/a/b (aq,bq;q 2 iq 3/2, iq 3/2;q,ab (1 q 2n+1 (q/a/b;q ( n ( ab n q (n2 n/2 q n n+1 3 φ 2 (aq,bq;q n iq 3/2, iq 3/2;q. (5.45 Setting (a,b,c (q,iq 1/2, iq 1/2 in (2.16, we deduce that ( q n n+1 iq 3/2, iq 3/2;q (1+qqn 1+q2n+1. (5.46 The theorem follows after substituting (5.46 into (5.45. Corollary Identity (5.13 holds. In addition, we have ( 1 n q n(n+1/2 (q;q n 1 q 2n+1 ( q;q 2 +n, (5.47 n+1 1+q 2n+1qn2 q n(n+1/2 ( q;q n ( q;q 2 n+1 q (n+12 ( q;q 2 n ( q 2 ;q 4 n+1 ( q;q (q;q q ( q;q2 (q 2 ;q 2 q n+1 ( q;q 2n ( q 2 ;q 4 n+1 q ( q;q (q;q ( 1 n1 q2n+1 n 1+q 2n+1qn2 +n, (5.48 ( 1 n q2n2 +3n ( 1 n1 q2n+1 1+q4n+2, ( q 4n+2qn2 +2n. (5.50 Proof. Taking (a,b (0,0, (0,1 and (0, 1 in Theorem 5.10, we obtain (5.13, (5.47 and (5.48, respectively. Taking (q,a,b (q 2,0, q and (q 2, q, 1 in Theorem 5.10, we obtain (5.49 and (5.50, respectively. Remark 7. (1 In (7.33 we will provide the following Hecke-type series representation for ν (3 (q: ν (3 (q ( q2 ;q 2 (q 2 ;q 2 (1 q 2n+1 q 3n2 +2n ( 1 j q j2. (5.51 (2 The left sides of (5.49 and (5.50 are eighth order mock theta functions. See (8.6 and ( Representations for ρ (3 (q. Theorem For max{ ab, aq 2, bq 2 } < 1, we have (q 2,ab;q 2 ( q 2 /a 2 /b 2 (aq 2,bq 2 ;q 2 ζ 3 q 3,ζ3 2 ;q 2,ab q3 (5.52

27 (1+q +q 2 REPRESENTATIONS OF MOCK THETA FUNCTIONS 27 1 q 4n+2 1+q 2n+1 +q 4n+2 (q 2 /a 2 /b;q 2 n (aq 2,bq 2 ;q 2 n ( ab n q n2 +n Proof. Taking (q,c,d,u,v (q 2,ζ 3 q 3,ζ3 2q3 2 2 in Theorem 1.1, we deduce that (q 2,ab;q 2 ( q 2 /a 2 /b 2 (aq 2,bq 2 ;q 2 ζ 3 q 3,ζ3 2 ;q 2,ab q3 (1 q 4n+2 (q2 /a 2 /b;q 2 ( n (aq 2,bq 2 ;q 2 ( ab n q n2 n q 2n 2n φ 2 n ζ 3 q 3,ζ3 2 ;q 2 2. (5.53 q3 Taking (q,a,b,c (q 2 2,ζ 3 q,ζ3 2 q in (2.16, we obtain ( q 2n 2n+2 2 ζ 3 q 3,ζ3 2 ;q 2 2 (1+q +q2 q 2n q3 1+q 2n+1 +q4n+2. (5.54 The theorem follows after substituting (5.54 into (5.53. Corollary Identity (5.14 holds. In addition, we have ( 1 n q n(n+1 (q;q 2 n+1 (q 2 ;q 2 n 1 q 4n+2 (q 3 ;q 6 +2n n+1 1+q 2n+1, (5.55 +q 4n+2q2n2 ( 1 n q n2 +2n (q;q 2 n (q;q 2 n+1 (q 3 ;q 6 n+1 (q;q2 (q 2 ;q 2 1+q 2n+1 1+q 2n+1 +q 4n+2q2n2 +3n. (5.56 Proof. Taking (a,b (0,0, (0,1 and (0 in Theorem 5.12, we obtain (5.14, (5.55 and (5.56, respectively. 6. Mock theta functions of order 5 In his last letter to Hardy, Ramanujan gave ten mock theta functions of order 5. They are defined as f (5 0 (q : q n2, (6.1 ( q;q n φ (5 0 (q : q n2 ( q;q 2 n, (6.2 ψ (5 0 (q : q (n+2(n+1/2 ( q;q n, (6.3 F (5 0 (q : q 2n2 (q;q 2 n, (6.4 f (5 1 (q : q n(n+1, (6.5 ( q;q n φ (5 1 (q : q (n+12 ( q;q 2 n, (6.6

28 28 DANDAN CHEN AND LIUQUAN WANG ψ (5 1 (q : F (5 1 (q : q (n+1 2 ( q;qn, (6.7 q 2n(n+1 (q;q 2 n+1, (6.8 χ (5 0 (q : q n (q n+1, (6.9 ;q n χ (5 1 (q q n (q n+1. (6.10 ;q n+1 Thanks to the work of Andrews [2], except for χ (5 0 (q and χ(5 1 (q, we know that there are single Hecke-type series representations for mock theta functions of order 5. Theorem 6.1. We have f (5 0 (q 1 (q;q φ (5 0 (q ( q;q2 (q 2 ;q 2 ψ (5 0 (q ( q;q (q;q F (5 0 (q 1 (q 2 ;q 2 f (5 1 (q 1 (q;q ( 1 j (1 q 4n+2 q n(5n+1/2 j2, (6.11 ( 1 j q 5n2 +2n 3j 2 j (1 q 6n+3, (6.12 j n n 1 2 (1 q n ( 1 j q n(5n 1/2 j(3j+1/2, (6.13 ( 1 n q 5n2 +2n ( j+1 2 (1+q 6n+3, (6.14 ( 1 j q n(5n+3/2 j2 (1 q 2n+1, (6.15 j n φ (5 1 (q q( q;q2 (q 2 ;q 2 ψ (5 1 (q ( q;q (q;q F (5 1 (q ( 1 j q 5n2 +4n 3j 2 j (1 q 2n+1, (6.16 n 0 j n ( 1 j q n(5n+3/2 j(3j+1/2 (1 q 2n+1, (6.17 n 0 j n 2 1 (q 2 ;q 2 n 0 ( 1 n q 5n2 +4n ( j+1 2 (1+q 2n+1. (6.18 As for the remaining two functions, from [34] we know that χ (5 0 (q 2F(5 0 (q φ (5 0 ( q, χ(5 1 (q 2F(5 1 (q+q 1 φ (5 1 ( q. (6.19 Thismeansthat χ (5 0 (q andχ(5 1 (qcan beexpressedascombinations of twohecke-type series. We will provide new proofs for the Hecke-type series representations in Theorem 6.1.

29 6.1. Representations for f (5 0 (q. REPRESENTATIONS OF MOCK THETA FUNCTIONS 29 Theorem 6.2. For max{ ab/q, a, b } < 1, we have ( (q,ab/q;q q/a/b ;q,ab/q (a,b;q 0, q (q/a/b;q n 1+ ( ab n q n 2 3n 2 2q n +( 1 n 1 (1 q n ( 1 j q n2 j 2. (a,b;q n j <n (6.20 Proof. Taking (c,d,u,v (0, q,1 in Theorem 1.1, we deduce that ( (q,ab/q;q q/a/b ;q,ab/q (a,b;q 0, q 1+ (1+q n (q/a/b;q ( n ( ab n q (n2 3n/2 q n n 3 φ 2 ;q. (6.21 (a,b;q n 0, q Setting c q in Lemma 2.6, we deduce that ( q n n ;q 0, q 2( 1 n q n21 qn 3 q 1+q n 2(1 q + 1 q 2j 1 (1 q j 1 (1 q j ( 1j q j j2. (6.22 We have 1 q 2j 1 (1 q j 1 (1 q j ( 1j q j j2 j2 j2 j2 j2 j1 j2 (1 q j 1 +q j 1 (1 q j (1 q j 1 (1 q j ( 1 j q j j2 ( 1 j q j j2 1 q j + j2 ( 1 j q 2j 1 j2 1 q j 1 ( 1 j q j j2 n 1 ( 1 j+1 q j2 1 q j + 1 q j j1 ( 1 j q j2 (q j 1 1 q j q + ( 1n q n2 1 q n (replace j by j +1 in the second sum ( 1 j q j q + ( 1n q n2 1 q n. (6.23 j1

30 30 DANDAN CHEN AND LIUQUAN WANG Substituting (6.23 into (6.22, we deduce that ( q n n ;q 0, q 2 1+q n ( 1n q n21 qn 1+q n ( 1 j q j2 2qn 1+q n +( 1n 11 qn 1+q n j <n The theorem follows after substituting this identity into (6.21. ( 1 j q n2 j 2. (6.24 Remark 8. Identity (6.24 appears as [25, Eq. (3.10]. Our proof for this identity is new. Corollary 6.3. Identity (6.11 holds. In addition, we have q n2 ( q;q 2 n ( q 2 ;q 2 ( q;q2 n (q 2 ;q 2 q 4n2 +n (1 q 6n+3 ( 1 j q 2j2. (6.25 Proof. Taking (a,b (0,0 in Theorem 6.2, we deduce that f (5 0 (q ( 1 n q (3n2 +n/2 (1 q n q (5n2 n/2 ( 1 j q j2 (q;q 1 ( 1+2 (q;q ( 1 n q (3n2 +n/2 + ( 2 q (5n2 +n/2 ( 1 n q n2 q q (5n2 +n/2 5(n+1 2 (n+1 j <n ( 1 j q j2 /2 ( 1 j q j2. (6.26 After simplifications, we obtain (6.11. Similarly, taking (q,a,b (q 2,0, q in Theorem 6.2, after rearrangements and simplifications, we obtain (6.25. Remark 9. Theorem 6.2 appears as Proposition 6.14 in [24] in slightly different form. Identity (6.11 was also obtained by Liu as Proposition 6.15 in [24]. The left side of (6.25 is an eighth order mock theta function. See ( Representations for φ (5 0 (q and ψ(5 0 (q. Theorem 6.4. For max{ ab/q, a, b } < 1, we have (q,ab/q;q (q/a/b;q n (ab/q n (a,b;q (q/a/b;q n (ab n q 2n2 (1 (a qn+1 (b q n+1 q 2n (a,b;q n (1 aq n (1 bq n ( 1 j q j(3j+1/2 j n (6.27

31 REPRESENTATIONS OF MOCK THETA FUNCTIONS (1+q n (q/a/b;q n ( ab n q (n2 3n/2 (a,b;q n q n +( 1 n 1 (1 q n q (3n2 n/2 ( 1 j q j(3j+1/2. (6.28 j <n Identity (6.27 appears as [24, Proposition 6.10]. However, its equivalent form (6.28 was not presented there. Here we follow Liu s arguments to prove (6.28. Proof. Taking (c,d,u,v (0,0,1 in Theorem 1.1, we deduce that (q,ab/q;q (q/a/b;q n (ab/q n (a,b;q 1+ (1+q n (q/a/b;q ( n ( ab n q (n2 3n/2 q n n 3 φ 2 ;q. (6.29 (a,b;q n 0,0 Taking c in Lemma 2.6, we deduce that ( q n n ;q 0,0 ( 1 n (1 q n q (3n2 n/2 q 2 1 q + 1 q 2j 1 (1 q j 1 (1 q j ( 1j q (3j2 3j/2. We have j2 j2 j2 j2 1 q 2j 1 (1 q j 1 (1 q j ( 1j q (3j2 3j/2 (1 q j 1 +q j 1 (1 q j (1 q j 1 (1 q j ( 1 j q (3j2 3j/2 ( 1 j q (3j2 3j/2 n 1 ( 1 j+1 q (3j2 +j/2 1 q j + 1 q j j1 ( 1 j (1 q 2j 1 q j q (3j2 +j/ q + ( 1n q (3n2+n/2 1 q n j1 (6.30 ( 1 j (1+q j q (3j2 +j/ q + ( 1n q (3n2+n/2 1 q n. (6.31 j1 Substituting (6.31 into (6.30, we obtain ( q n n ;q 0,0

32 32 DANDAN CHEN AND LIUQUAN WANG q n ( 1 n q (3n2 n/2 (1 q n ( 1 j q (3j2 +j/2 q n +( 1 n 1 (1 q n q (3n2 n/2 ( 1 j q j(3j+1/2. (6.32 j <n Substituting (6.32 into (6.29, we arrive at (6.28. Remark 10. We may also use the following arguments to deduce (6.32. From [24, Lemma 4.1] we find (q n,aq n ;q k q k a n q (q;q n2 n (c;q j a j q j(1 n. (6.33 (cq;q k (cq;q n (q;q j k0 Setting (a,c (1,0 in (6.33, we obtain (q n n ;q k q k q n2 (q;q n k0 From [24, (6.2] we find q jn ( 1 nqn(n+1/2 (q;q j (q;q n q j(1 n (q;q j. (6.34 ( 1 j q j(3j+1/2. (6.35 Substituting (6.35 with n replaced by n 1 into (6.34, we obtain (q n n ;q k q k q n +( 1 n 1 (1 q n q (3n2 n/2 ( 1 j q j(3j+1/2, k0 and this is (6.32. Corollary 6.5. Identities (6.12 and (6.13 hold. j <n Proof. Taking (q,a,b (q 2,0, q in (6.27, we obtain (6.12. From (6.3 we have Taking (a,b (0, q in (6.28, we obtain 1+2ψ (5 0 (q ( 1;q n q (n+1 2. ( ψ (5 0 (q ( q;q ( 1+2 (q;q 2 ( 1 n q n2 +n (1 q n ( 1 j q n(5n 1/2 j(3j+1/2. (6.37 j <n After rearrangements and simplifications, we arrive at (6.13. For more identities deduced from Theorem 6.4, see [24, Propositions 6.11, 6.12, 6.13].

33 6.3. Representations for F (5 0 (q. REPRESENTATIONS OF MOCK THETA FUNCTIONS 33 Theorem 6.6. For max{ ab/q 2, a, b } < 1, we have (q 2,ab/q 2 ;q 2 ( q 2 /a 2 /b 2 (a,b;q 2 ;q 2,ab/q 2 0 (q 2 /a 2 /b;q 2 n 2 1+ (a,b;q 2 ( ab n q 3n2 4n q 4n n q (j+1 2n 2 2 q (j+1 2. (6.38 Proof. Taking (q,c,d,u,v (q 2,0,1 2 in Theorem 1.1, we deduce that (q 2,ab/q 2 ;q 2 ( q 2 /a 2 /b 2 (a,b;q 2 ;q 2,ab/q (1+q 2n (q2 /a 2 /b;q 2 ( n (a,b;q 2 ( ab n q n2 3n q 2n 2n 2 3 φ 2 ;q 2. 2 (6.39 n 0 Taking (q,c (q 2 3 in Lemma 2.6, we deduce that ( q 2n 2n 2 ;q (1 q 2n q 2n2 n 1 q q2 (1+q 2j 1 (1 q 1 1 q 2 + (1 q 2j (1 q 2j 2 q3j 2j2.. (6.40 Note that j2 (1 q 1 (1+q 2j 1 (1 q 2j 2 q 1 (1 q 2j. (6.41 We have (1+q 2j 1 (1 q 1 (1 q 2j (1 q 2j 2 q3j 2j2 j2 j2 j2 j1 ( 1 1 q 2j q 1 1 q 2j 2 q 3j 2j2 q 3j 2j2 n 1 1 q 2j j1 q 2j2 j (q 4j 1 1 q 2j q 2j2 j 1 q 2j + q 2n2 n 1 q 2n q 1 q 2 q 2n2 n 1 q 2n q 1 q 2 q 2j2 j (1+q 2j. (6.42 j1

34 34 DANDAN CHEN AND LIUQUAN WANG Substituting (6.42 into (6.40, we deduce that ( q 2n 2n 2 ;q q 2n (1 q 2n q 2n2 n 1+ q 2n (1 q 2n q 2n2 n Now we substitute (6.43 back into (6.39. Note that and q j(2j+1 q 2j(2j+1/2 + q ((2j 1 2j/2 j1 (1+q 2n q n2 3n q 2n (1 q 2n q 2n2 n q 3n2 4n 2 q 4n q (j+1 2n 2 2 We eventually arrive at the desired identity. q (j+1 2 q 2j2 j (1+q 2j j1 q j(2j+1. ( q j(j+1/2 (6.44 q j(2j+1. (6.45 Remark 11. We may also use different arguments based on a result of Andrews. Replacing q by q 2 and setting (a,c (1 1 in (6.33, we deduce that (q 2n ;q 2 k (q 2n ;q 2 k q 2k (q;q 2 q 2n2(q2 ;q 2 n (q 1 ;q 2 j q 2j(1 n k (q;q 2 n (q 2 ;q 2. (6.46 j k0 The sum on the right side has been evaluated by Andrews [2, Eq. (5.8]. Indeed, from [2, Eq. (5.8] we deduce that q n (1+q 2n (q2 ;q 2 n (q;q 2 n (q 1 ;q 2 j q 2j(1 n (q 2 ;q 2 j q 4n 2 q (j+1 2n 2 2 q (j+1 2. (6.47 The theorem follows after substituting (6.47 into (6.46 and then applying to (6.39. Corollary 6.7. Identity (6.14 holds. In addition, we have q n2 ( q;q 2 n (q;q 2 n ( q;q2 (q 2 ;q 2 ( 1 n q 4n2 +2n (1+q 4n+2 q n2 +n ( 1;q 2 n (q;q 2 ( q2 ;q 2 n (q 2 ;q ( 1 n q 2n2 2n 2 ( 1 n q 4n2 n (1 q 2n 2 q j(j+1/2, ( q j(j+1/2. (6.49

35 REPRESENTATIONS OF MOCK THETA FUNCTIONS 35 Proof. Taking (a,b (0,0 in Theorem 6.6, we deduce that F (5 0 (q 1 (q 2 ;q 2 ( 1 n q 5n2 +2n 1 (q 2 ;q 2 ( 1 n q 5n2 +2n 1 (q 2 ;q 2 ( 1 n q 5n2 +2n 2 2 q (j+1 2 q (j+1 2 2n 2 ( 1 n q 5n2 2n 2 ( 1 n+1 q 5n2 +8n+3 q (j q (j+1 2 q (j+1 2 (1+q 6n+3. (6.50 This proves (6.14. Similarly, taking (a,b (0, q and (0, q 2 in Theorem 6.6, after rearrangements and simplifications, we obtain (6.48 and (6.49, respectively. Remark 12. The left side of (6.48 is essentially an eighth order mock theta function. See ( Representations for f (5 1 (q. Theorem 6.8. (Cf. [24, Proposition 6.6] For max{ ab, aq, bq } < 1, we have ( (q,ab;q q/a/b ;q,ab (aq,bq;q 0, q ( 1 j (1 q 2n+1 (q/a/b;q n (ab n q n(3n+1/2 j2. (6.51 (aq,bq;q n For the sake of completeness, we provide its proof here. Proof. Taking (c,d,u,v (0, q in Theorem 1.1, we have ( (q,ab;q q/a/b ;q,ab (aq,bq;q 0, q (1 q 2n+1 (q/a/b;q ( n q ( ab n q n(n 1/2 n n+1 ;q. (aq,bq;q n 0, q (6.52 Taking (α,c (1, q in Lemma 2.5 and simplifying, we find ( q n n+1 ;q ( 1 n q n2 +n ( 1 j q j2. (6.53 0, q Combining the above two equations, we complete the proof of the Theorem 6.8. Corollary 6.9. Identity (6.15 holds. In addition, we have ( 1 n (q;q n q n(n+1/2 ( 1 n+j (1 q 2n+1 q 2n2 +n j 2, (6.54 ( q;q n

36 36 DANDAN CHEN AND LIUQUAN WANG ( 1 n q n (q;q 2 n ( q;q n ( 1 n q n2 +2n (q;q 2 n ( q 2 ;q 2 n (q;q2 (q 2 ;q 2 ( 1 n q 3n(n+1/2 ( 1 j q j2, (6.55 (q;q2 (q 2 ;q 2 j n ( 1 n (1+q 2n+1 q 4n2 +3n ( 1 j q 2j2. (6.56 Proof. Taking (a,b (0,0, (0,1 and (q 1/2, q 1/2 in Theorems 6.8, we obtain (6.15, (6.54 and (6.55, respectively. Similarly, taking (q,a,b (q 2,0 in Theorem 6.8, we obtain (6.56. Remark 13. Identity (6.15 was proved by Liu using Theorem 6.8. See [24, Proposition 6.9]. The left side of (6.55 is a sixth order mock theta function. See (7.5. After replacing q by q, the left side of (6.56 becomes an eighth order mock theta function. See ( Representations for φ (5 1 (q and ψ(5 1 (q. Theorem (Cf. [24, Proposition 6.1] For max{ ab, aq, bq } < 1, we have (q,ab;q (q/a/b;q n (ab n (aq,bq;q ( 1 j(1 q2n+1 (q/a/b;q n (ab n q 2n2 +n j(3j+1/2. (6.57 (aq,bq;q n Corollary Identity (6.16 and (6.17 hold. Proof. Taking (q,a,b (q 2,0, q in Theorem 6.10, we obtain (6.16. Taking (a,b (0, 1 in Theorem 6.10, we obtain (6.17. As before, identity (6.17 appears as [24, Proposition 6.4]. But it was not pointed out there that (6.16 also follows from Theorem Representations for F (5 1 (q. Theorem For max{ ab, aq 2, bq 2 } < 1, we have (q 2,ab;q 2 ( q 2 /a 2 /b 2 (aq 2,bq 2 ;q ;q 2,ab (1 q (1+q 2n+1 (q2 /a 2 /b;q 2 n (aq 2,bq 2 ;q 2 ( ab n q 3n2 +2n n q 2j2 j. (6.58 Proof. Taking (q,c,d,u,v (q 2, in Theorem 1.1, we deduce that (q 2,ab;q 2 ( q 2 /a 2 /b 2 (aq 2,bq 2 ;q ;q 2,ab (1 q 4n+2 (q2 /a 2 /b;q 2 ( n (aq 2,bq 2 ;q 2 ( ab n q n2 n q 2n 2n φ 2 n 0 3 ;q 2 2. (6.59

37 REPRESENTATIONS OF MOCK THETA FUNCTIONS 37 Taking (q,α,c (q 2,1 in Lemma 2.5 and simplifying, we find ( q 2n 2n ;q q +3n q 2j2 j. ( q 2n+1q2n2 The theorem follows after substituting (6.60 into (6.59. Corollary Identity (6.18 holds. In addition, we have ( 1 n (q2 ;q 2 n (q;q 2 q n(n+1 (1+q 2n+1 q 4n2 +3n 2j 2 j, (6.61 n+1 q n(n+1 ( q 2 ;q 2 n (q;q 2 n+1 q n ( q;q 2n 2 (q;q 2 n q (n+12 ( q;q 2 n (q;q 2 n+1 ( q2 ;q 2 (q 2 ;q 2 q ( q;q (q;q (1+q 2n+1 ( 1 n q 4n2 +3n ( 1 n q 3n2 +3n q ( q;q2 (q 2 ;q 2 ( 1 n q 4n2 +4n q 2j2 j, (6.62 q 2j2 j, (6.63 q 2j2 j. (6.64 Proof. Taking (a,b (0,0 in Theorem 6.12, we obtain (6.18 once we note that 2 q (j q j(j+1/2 q j(2j+1 + q j(2j 1 j1 q j(2j+1. (6.65 Taking (a,b (0,1 and (0, 1 in Theorem 6.12, we obtain (6.61 and (6.62, respectively. We write q n ( q;q 2n 2 (q;q 2 n q 1 q ( q, q 2 ;q 2 n q n (q 3 ;q 2. (6.66 n Taking (a,b ( q, 1 in Theorem 6.12, we obtain (6.63. Similarly, taking (a,b (0, q in Theorem 6.12, we obtain (6.64. Remark 14. After replacing q by q, the left side of (6.62 becomes an eighth order mock theta function. See (8.4. The left side of (6.63 is a sixth order mock theta function. See (7.9. The left side of (6.64 is also an eighth order mock theta function. See ( Mock theta functions of order 6 In his lost notebook [28], Ramanujan recorded seven mock theta functions of order 6. They are defined as φ (6 ( 1 n (q;q 2 n q n2 (q :, (7.1 ( q;q 2n