arxiv: v1 [math.nt] 28 Dec 2018

Transcription

1 THE CONVERGENCE AND DIVERGENCE OF q-continued FRACTIONS OUTSIDE THE UNIT CIRCLE arxiv:82.29v [math.nt] 28 Dec 208 DOUGLAS BOWMAN AND JAMES MC LAUGHLIN Abstract. We consider two classes of q-continued fraction whose odd and even parts are limit -periodic for q >, and give theorems which guarantee the convergence of the continued fraction, or of its odd- and even parts, at points outside the unit circle.. Introduction Studying the convergence behaviour of the odd and even parts of continued fractions is interesting for a number of different reasons (see, for example, Section 9.4 of [6]). In this present paper, we examine the convergence behaviour of q-continued fractions outside the unit circle. Many well-known q-continued fractions have the property that their odd and even parts converge everywhere outside the unit circle. These include the Rogers-Ramanujan continued fraction, K(q) : + q q 2 q 3 q and the three Ramanujan-Selberg continued fractions studied by Zhang in [8], namely, S (q) : + q q +q q 3 q 2 +q 4 + +, S 2 (q) : + q +q2 q 4 q 3 +q 6 q , and S 3 (q) : + q +q2 q 2 +q 4 q 3 +q 6 q 4 +q It was proved in [] that if 0 < x < then the odd approximants of /K(/x) tend to x + x 2 x 3 + Date: May,, Mathematics Subject Classification. Primary:A55,Secondary:40A5. Key words and phrases. Continued Fractions, Rogers-Ramanujan. The second author s research supported in part by a Trjitzinsky Fellowship.

2 2 DOUGLAS BOWMAN AND JAMES MC LAUGHLIN while the even approximants tend to x x 4 x 8 x This result was first stated, without proof, by Ramanujan. In [8], Zhang expressed theodd and even parts of each of S (q), S 2 (q) and S 3 (q) as infinite products, for q outside the unit circle. Other q-continued fractions have the property that they converge everywhere outside the unit circle. The most famous example of this latter type is Göllnitz-Gordon continued fraction, GG(q) : +q + q2 +q 3 + q 4 +q 5 + q 6 +q 7 +. In this present paper we study the convergence behaviour outside the unit circle of two families of q-continued fractions, families which include all of the above continued fractions. 2. Convergence of the odd and even parts of q-continued fractions outside the unit circle Before coming to our theorems, we need some notation and some results on limit -periodic continued fractions. Let the n-th approximant of the continued fraction b 0 + K n a n/b n be P n /Q n. The even part of b 0 +K n a n/b n is the continued fraction whose n-th numerator (denominator) convergent equals P 2n (Q 2n ), for n 0. The odd part of b 0 +K n a n/b n is the continued fraction whose zero-th numerator convergent is P /Q, whose zero-th denominator convergent is, and whose n-th numerator (respectively denominator) convergent equals P 2n+ (respectively Q 2n+ ), for n. For later use we give explicit expressions for the odd- and even parts of a continued fraction. From [7], page 83, the even part of b 0 +K n a n/b n is given by (2.) b 0 + b 2a b 2 b +a 2 a 2 a 3 b 4 /b 2 a 4 +b 3 b 4 +a 3 b 4 /b 2 a 4 a 5 b 6 /b 4 a 6 +b 5 b 6 +a 5 b 6 /b 4. From [7], page 85, the odd part of b 0 +K n a n/b n is given by (2.2) b 0 b +a b a a 2 b 3 /b a 3 a 4 b 5 b /b 3 b (a 3 +b 2 b 3 )+a 2 b 3 a 5 +b 4 b 5 +a 4 b 5 /b 3 a 5 a 6 b 7 /b 5 a 7 +b 6 b 7 +a 6 b 7 /b 5 a 7 a 8 b 9 /b 7 a 9 +b 8 b 9 +a 8 b 9 /b 7.

3 DIVERGENCE OF q-continued FRACTION OUTSIDE THE UNIT CIRCLE 3 Definition:. Let t(w) c/(+w), where c 0. Let x and y denote the fixed points of the linear fractional transformation t(w). Then t(w) is called (2.3) (i) parabolic, if x y, (ii) elliptic, (iii) loxodromic, if x y and +x +y, if x y and +x +y. In case (iii), if +x > + y, then lim n t n (w) x for all w y, x is called the attractive fixed point of t(w) and y is called the repulsive fixed point of t(w). Remark: The above definitions are usually given for more general linear fractional transformations but we do not need this full generality here. The fixed points of t(w) c/( + w) are x ( + +4c)/2 and y ( + +4c)/2. It is easy to see that t(w) is parabolic only in the case c /4, that it is elliptic only when c is a real number in the interval (, /4) and that it is loxodromic for all other values of c. Let Ĉ denote the extended complex plane. From [7], pp. 50 5, one has the following theorem. Theorem. Suppose +K n a n/ is limit -periodic, with lim n a n c 0. If t(w) c/(+w) is loxodromic, then +K n a n/ converges to a value f Ĉ. Remark: In the cases where t(w) is parabolic or elliptic, whether + K n a n/ converges or diverges depends on how the a n converge to c. We also make use of Worpitzky s Theorem (see [7], pp ). Theorem 2. (Worpitzky) Let the continued fraction K n a n/ be such that a n /4 for n. Then K n a n/ converges. All approximants of the continued fraction lie in the disc w < /2 and the value of the continued fraction is in the disk w /2. We first consider continued fractions of the form G(q) : +Kn a n (q) : + f (q 0 ) f k (q 0 ) + + f (q ) f k (q ) f (q n ) f k (q n ) , where f s (x) Z[q][x], for s k. Thus, for n 0 and s k, (2.4) a nk+s (q) f s (q n ). Many well-known q-continued fractions, including the Rogers-Ramanujan continued fraction and the three Ramanujan-Selberg continued fractions are of this form, with k at most 2. Following theexample of thesefour continued fractions, we make the additional assumptions that, for i, (2.5) degree(a i+ (q)) degree(a i (q))+m,

4 4 DOUGLAS BOWMAN AND JAMES MC LAUGHLIN where m is a fixed positive integer, and that all of the polynomials a n (q) have the same leading coefficient. We prove the following theorem. Theorem 3. Suppose G(q) +K n a n(q)/ is such that the a n : a n (q) satisfy (2.4) and (2.5). Suppose further that each a n (q) has the same leading coefficient. If q > then the odd and even parts of G(q) both converge. Remark: Worpitzky s Theorem gives only that odd- and even parts of G(q) converge for those q satisfying ( + q m )( + q m ) > 4, a clearly weaker result. Proof. Let q >. For ease of notation we write a n for a n (q). By (2.), the even part of G(q) is given by G e (q) : + a a 2 a 3 a 4 a 5 +a 2 a 4 +a 3 + a 6 +a 5 + a a 2 a 3 a 4 a 5 +a + 2 (+a 2 )(a 4 +a 3 +) (a 4 +a 3 +)(a 6 +a 5 +) +K nc n, where, for n 3, c n a 2n 2 a 2n (a 2n 2 +a 2n 3 +)(a 2n +a 2n +). By (2.5), the fact that each of the a i (q) s has the same leading coefficient and the fact that if q > then lim i /a i 0, it follows that lim c n lim n n (+a 2n 3 /a 2n 2 +/a 2n 2 )(a 2n /a 2n ++/a 2n ) (+q m )(+q m : c. ) Hence G e (q) is limit -periodic. Note that the value of c depends on q. Let the fixed points of t(w) c/( +w) be denoted x and y. From the remarks following (2.3), it is clear that t(w) is parabolic only in the case /(( + q m )( + q m )) /4. The only solution to this equation is q m, so that t(w) is not parabolic for any point outside the unit circle. Similarly, t(w) is elliptic only when /((+q m )(+q m ) /4 v, for some real positive number v. The solutions to this equation satisfy q m (i + v)/(i v) or q m (i v)/(i + v). However, it is easily seen that these are points on the unit circle. In all other cases t(w) is loxodromic and G e (q) converges in Ĉ. This proves the result for G e (q). Similarly, by (2.2), the odd part of G(q) is given by G o (q) : +a a a 2 a 3 +a 2 + a 3 a 4 a 5 +a 4 + a 5 a 6 a 7 +a 6 +.

5 DIVERGENCE OF q-continued FRACTION OUTSIDE THE UNIT CIRCLE 5 The proof in this case is virtually identical. As an application of the above theorem, we have the following example. Example. If q >, then the odd and even parts of G(q) + 6q 3q 2 +7q 3q 3 +5q 2 q 4 +7q 3 +3q q 5 +3q 4 +2q 3 + q 6 +2q 5 +7q 3 + q 7 +7q 5 + q 8 +7q 6 +3q 3 +2q + + q 4n+ +3q 3n+ +2q 2n+ + q 4n+2 +2q 3n+2 +7q 2n+ q 4n+3 +5q 3n+2 +2q 2n+3 q 4n+4 +7q 3n+3 +3q 2n+ +2q n converge. Proof. Let k 4 and Then, for n 0 and j 4, f (x) qx 4 +3qx 3 +2qx 2, f 2 (x) q 2 x 4 +2q 2 x 3 +7qx 2, f 3 (x) q 3 x 4 +5q 2 x 3 +2q 3 x 2, f 4 (x) q 4 x 4 +7q 3 x 3 +3qx 2 +2x. a 4n+j (q) f j (q n ). Thus (2.4) is satisfied. It is clear that (2.5) is satisfied with M and each a n (q) has the same leading coefficient, namely,. Remark: It is clear form Theorem 3 that if k and f i (x) is any polynomial with coefficients in Z[q], then the odd and even parts of + K n0 f (q n )/ converge everywhere outside the unit circle to values in Ĉ, since all the conditions of the theorem are satisfied automatically, at least for a tail of the continued fraction. We also consider continued fractions of the form G(q) : b 0 (q)+kn a n (q) b n (q) + : g 0 (q 0 )+ f (q 0 ) f k (q 0 ) f k (q 0 ) g (q 0 ) + + g k (q 0 ) + g 0 (q ) + f (q ) f k (q ) f k (q ) g (q ) + + g k (q ) + g 0 (q 2 ) + f k (q n ) f (q n ) f k (q n ) g 0 (q n ) + g (q n ) + + g k (q n ) + f k (q n ) g 0 (q n+ ) +

6 6 DOUGLAS BOWMAN AND JAMES MC LAUGHLIN wheref s (x),g s (x) Z[q][x], for s k. Thus, for n 0 and s k, (2.6) a nk+s (q) f s (q n ), b nk+s (q) g s (q n ). An example of a continued fraction of this type is the Göllnitz-Gordon continued fraction (with k ). We suppose that degree (a (q)) r, degree (b 0 (q)) r 2, and that, for i, (2.7) degree(a i+ (q)) degree(a i (q))+a, degree(b i (q)) degree(b i (q))+b, where a and b are fixed positive integers and r and r 2 are non-negative integers. Condition 2.7 means that, for n, (2.8) degree(a n (q)) (n )a+r, degree(b n (q)) nb+r 2. We also supposed that each a n (q) has the same leading coefficient L a and that each b n (q) has the same leading coefficient L b. For such continued fractions we have the following theorem. Theorem 4. Suppose G(q) b o +K n a n(q)/b n (q) is such that the a n : a n (q) and the b n : b n (q) satisfy (2.6) and (2.7). Suppose further that each a n (q) has the same leading coefficient L a and that each b n (q) has the same leading coefficient L b. If 2b > a then G(q) converges everywhere outside the unit circle. If 2b a, then G(q) converges outside the unit circle to values in Ĉ, except possibly at points q satisfying L 2 b /L aq b r +2r 2 [ 4,0). If 2b < a, then the odd and even parts of G(q) converge everywhere outside the unit circle. Proof.. Let q >. We first consider the case 2b > a. By a simple transformation, we have that b 0 +Kn a n b 0 + a /b a n /(b n b n ) b n + K n2. Since 2b > a, a n /(b n b n ) 0 as n, and G(q) converges to a value in Ĉ, by Worpitzky s theorem. Suppose 2b a. Then, by (2.7), (2.8) and the fact that each a n (q) has the same leading coefficient L a and that each b n (q) has the same leading coefficient L b, lim n a n b n b n L a L 2 b qb r +2r 2 : c. Note once again that the value of c depends on q. Once again, by the remarks following (2.3), the linear fractional transformation t(w) c/( + w) is parabolic only in the case L a /(L 2 b qb r +2r 2 ) /4 or q b r +2r 2 4L a /L 2 b.

7 DIVERGENCE OF q-continued FRACTION OUTSIDE THE UNIT CIRCLE 7 Similarly, t(w) is elliptic only when q b+r 2r 2 L a /L b 2 (, /4), or q b r +2r 2 4L a (+4v) L b 2, for some real positive number v. In other words, t(w) is elliptic (for q > ) only when q b r +2r 2 lies either in the open interval ( 4L a /L 2 b,0) or (0, 4L a /L 2 b ), depending on the sign of L a. In all other cases, t(w) is loxodromic, and G(q) converges. Suppose 2b < a. From (2.) it is clear that the even part of G(q) b 0 +Kn a n/b n can be transformed into the form b 0 +Kn c n/, where, for n 3, c n b 2n a 2n 2 a 2n b ( )( 2n 2 ) b 2n 2 b 2n a 2n 2 +b 2n 3 b 2n 2 +a 2n 3 a 2n +b 2n b 2n +a 2n b 2n 4 b 2n 2 a 2n b 2n a 2n b ( 2n 2 + b 2n 3b 2n 2 + a )( 2n 3b 2n 2 + b 2n b 2n + a ). 2n b 2n a 2n 2 a 2n 2 b 2n 4 a 2n a 2n b 2n 2 Once again using (2.7), (2.8) and the fact that each a n (q) has the same leading coefficient L a and that each b n (q) has the same leading coefficient L b, we have that q 2b a lim c n n (+q 2b a 2 : c. ) The linear fractional transformation t(w) c/( + w) is parabolic only in the case q 2b a /( + q 2b a ) 2 /4 or q 2b a, and thus q. It is elliptic only when q 2b a /( + q 2b a ) 2 (, /4), and a simple argument shows that this implies that q 2b a, and again q. In all other cases t(w) is loxodromic, and the even part of G(q) converges by Theorem. The proof for the odd part of G(q) is very similar and is omitted. Remarks: () Worpitzky s Theorem once again gives weaker results. In the example below, for example, Worpitzky s Theorem gives that G(q) converges for q > 4, in contrast to the result from our theorem, which says that G(q) converges everywhere outside the unit circle, except possibly for q [ 4, ). (2) In some cases the result is the best possible. Numerical evidence suggests that the continued fraction below converges nowhere in the interval ( 4, ). As an application of Theorem 4, we have the following example. Example 2. If q >, then

8 8 DOUGLAS BOWMAN AND JAMES MC LAUGHLIN G(q) q +2+ 6q2 3q 4 +7q 2 3q 6 +5q 4 q 8 +7q 6 +3q 2 +2 q q q q 5 +q + + q 0 +3q 8 +2q 6 q 6 +q q 2 +2q 0 +7q 6 q 7 +q q 4 +7q 0 q 8 +q 3 + q 6 +7q 2 +3q 6 +2q 2 q 9 +q q 8n+2 +3q 6n+2 +2q 4n+2 q 4n+2 +q 2n + + q 8n+4 +2q 6n+4 +7q 4n+2 q 4n+3 +q 2n + + q 8n+6 +5q 6n+4 +2q 4n+6 q 4n+4 +q 3n + + q 8n+8 +7q 6n+6 +3q 4n+2 +2q 2n q 4(n+)+ +q n+ + + converges, except possibly for q [ 4, ). Proof. Let k 4 and f (x) q 2 x 8 +3q 2 x 6 +2q 2 x 4, f 2 (x) q 4 x 8 +2q 4 x 6 +7q 2 x 4, f 3 (x) q 6 x 8 +5q 4 x 6 +2q 6 x 4, f 4 (x) q 8 x 8 +7q 6 x 6 +3q 2 x 4 +x 2 g 0 (x) qx 4 +x+, Then, for n 0 and j 4, g (x) q 2 x 4 +x 2 +, g 2 (x) q 3 x 4 +x 2 +, g 3 (x) q 4 x 4 +x 3 +. a 4n+j (q) f j (q n ), b 4n+j (q) g j (q n ). The other requirements of the theorem are satisfied, with L a L b, a 2, b, r 2 and r 2. Therefore b r +2r 2, L a /L 2 b and G(q) converges outside the unit circle, except possibly for q [ 4, ). References [] Andrews, G. E.; Berndt, Bruce C.; Jacobsen, Lisa; Lamphere, Robert L. The continued fractions found in the unorganized portions of Ramanujan s notebooks. Mem. Amer. Math. Soc. 99 (992), no. 477, vi+7pp [2] Bowman, D; Mc Laughlin, J On the Divergence of the Rogers-Ramanujan Continued Fraction on the Unit Circle. To appear in the Transactions of the American Mathematical Society. [3] Bowman, D; Mc Laughlin, J On the Divergence of q-continued Fraction on the Unit Circle. Submitted for publication. [4] Bowman, D; Mc Laughlin, J On the Divergence in the General Sense of q-continued Fraction on the Unit Circle. Submitted for publication. [5] Jacobsen, Lisa General convergence of continued fractions. Trans. Amer. Math. Soc. 294 (986), no. 2, [6] William B. Jones and W.J. Thron, Continued Fractions Analytic Theory and Applications, Addison-Wesley, London-Amsterdam-Ontario-Sydney-Tokyo,980.

9 DIVERGENCE OF q-continued FRACTION OUTSIDE THE UNIT CIRCLE 9 [7] Lorentzen, Lisa; Waadeland, Haakon Continued fractions with applications. Studies in Computational Mathematics, 3. North-Holland Publishing Co., Amsterdam, 992, pp [8] Zhang, Liang Cheng q-difference equations and Ramanujan-Selberg continued fractions. Acta Arith. 57 (99), no. 4, Department Of Mathematical Sciences, Northern Illinois University, De Kalb, IL 605 address: bowman@math.niu.edu Mathematics Department, Trinity College, 300 Summit Street, Hartford, CT address: james.mclaughlin@trincoll.edu