arxiv: v1 [math.nt] 12 May 2017

Transcription

1 SEQUENCES OF CONSECUTIVE HAPPY NUMBERS IN NEGATIVE BASES HELEN G. GRUNDMAN AND PAMELA E. HARRIS axiv: v1 [math.nt] 12 May 2017 ABSTRACT. Fo b 2 and e 2, let S e,b : Z Z 0 be the function taking an intege to the sum of the e-powes of the digits of its base b expansion. An intege a is a b-happy numbe if thee exists k Z + such that S2,b k (a) = 1. We pove that an intege is 2-happy if and only if it is conguent to 1 modulo 3 and that it is 3-happy if and only if it is odd. Defining a d-sequence to be an aithmetic sequence with constant diffeence d and setting d = gcd(2,b 1), we pove that if b 3 odd o b { 4, 6, 8, 10}, thee exist abitaily long finite sequences of d-consecutive b-happy numbes. 1. Intoduction. As is standad, a positive intege a can be uniquely expanded in the base b 2 as a = n a ib i, whee 0 a i b 1 and a n 0. This definition can be extended to negative bases b 2 in an analogous manne, with 0 a i b 1. The study of negative bases was intoduced in the 1885 wok of Vittoio Günwald [4]. As with positive bases, positive integes have unique epesentation in negative bases, but the same holds fo negative numbes in negative bases, with no need fo a negative sign: Any numbe witten in a negative base with an odd numbe of digits is necessaily positive, while any witten with an even numbe of digits is necessaily negative. Fo example, conveting between base 10 and base 10, we have 2017 = (18197) ( 10) and 2017 = (2023) ( 10). We begin by adapting the definition of genealized happy numbes and the coesponding function given in [3] to include the case of negative bases. It is natual, in this case, to extend the domain of the function to include all integes. Definition 1. Let b 2 and e 2 be integes, and let a Z {0} be given by a = n a ib i whee 0 a i b 1, fo each 0 i n. Define the function S e,b : Z Z 0 by S e,b (0) = 0 and, fo a 0, S e,b (a) = n a e i. Note that if b 2 and k > 0, fo each a 0, Se,b k (a) > 0. Definition 2. An intege a is an e-powe b-happy numbe if, fo some k Z +, Se,b k (a) = 1. A b-happy numbe is a 2-powe b-happy numbe. The following definition and the othes in the sequel ae eithe diectly fom o adapted fom [2]. Definition 3. A d-consecutive sequence is defined to be an aithmetic sequence with constant diffeence d. In Section 2, we detemine the fixed points and cycles of the functions S 2,b fo 10 b 2. In Section 3, we genealize the wok of El-Sedy and Siksek [1] and the wok of Gundman and Teeple [2] on sequences of consecutive b-happy numbes. In paticula, Gundman and Teeple showed that thee exist abitaily long finite d-consecutive sequences of b-happy numbes, whee b 2 and d = gcd(2,b 1) [2, Coollay 2]. We pove that this esult does not hold fo b = 2, but does hold fo all odd negative bases and fo even negative bases 10 b 4. This wok was suppoted in pat by the National Science Foundation gant DMS

2 2. Cycles and Fixed Points. In this section, we fist detemine a bound, dependent on the given base b 2, such that each fixed point and at least one point in evey cycle is less than this bound. We then use this esult to compute all cycles and fixed points of S 2,b fo 10 b 2. Theoem 1. Let b 2. If a > ( b 1)( b 2 b +1), then 0 < S 2,b (a) < a. Poof. Let a and b be as in the hypothesis. Then a = n a ib i with n even, 0 a i b 1, a n 0. Obseve that n n n a S 2,b (a) = a i b i a 2 i = a i (b i a i ) (1) = n 2 a 2j ( b 2j a 2j ) j=1 n 2 ( a 2j 1 b 2j 1 ) +a 2j 1 +a0 ( b 0 a 0 ). j=1 Case: n 4. Since, a n 1 and, fo each i, 0 a i b 1, minimizing each tem in (1) yields Noting that we have (2) (3) (4) a S 2,b (a) 1(b n 1) n 2 ( b 1) ( b 2j 1 +( b 1) ) +( b 1)(1 ( b 1)). j=1 n 2 b 2j 1 = b b 2 1 ( b n 1), j=1 ( b a S 2,b (a) (b n 1) ( b 1) b 2 1 ( b n 1)+ n ) 2 ( b 1) ( b 1)( b 2) = bn 1 b +1 n 2 ( b 1)2 ( b 1)( b 2) = 1 b +1 > 1 b +1 > 1 b +1 ( b n n 2 ( b 2 1)( b 1) ( b 2 1)( b 2) 1 ( b n n 2 b 3 b 3) ( b n 3 n 2 1 ). Note that the function f(x) = 2 x 3 x/2 1 is an inceasing function fo x 5 and that f(5) > 0. Thus, fo n 5, since b 2, b n 3 n/2 1 2 n 3 n/2 1 > 0, and so, by inequality ( (4), a S 2,b (a) > 0. Now, fo n = 4 and b < 2, using inequality (3), a S 2,b (a) > 1 b +1 b 4 3 b 3) 0, and fo n = 4 and b = 2, using inequality (2), a S 2,b (a) > 0. Case: n < 4. In this case, ( b 1)( b 2 b +1) < a ( b 1)( b 2 +1). So a = a 2 b 2 +a 1 b+a 0 with a 2 = b 1, 0 a 1 b 2, and 0 a 0 b 1. Thus, a S 2,b (a) = a 2 ( b 2 a 2 ) a 1 ( b +a 1 )+a 0 (1 a 0 ) ( b 1)( b 2 ( b 1)) ( b 2)( b +( b 2))+( b 1)(1 ( b 1)) = b 3 5 b b 7 > 0, ) since b 2. 2

3 Note that when b = 2, the bound in Theoem 1 is 4. Since 3 is a fixed point of S 2, 2, the given bound is best possible. The following coollay is immediate. Coollay 2. Let b 2. Evey fixed point of S 2,b is less than o equal to ( b 1)( b 2 b +1) and evey cycle of S 2,b contains a numbe that is less than o equal to ( b 1)( b 2 b +1). Using Coollay 2 and a diect compute seach, we detemine all fixed points and cycles in the bases 10 b 2. The esults ae given in Table 1. Base Fixed Points Cycles Smallest happy numbe > 1 2 1,2,3 None (2,4,6) (6,14) ,10,11 (2,4,16,6,18,14,26), (9,33,29,17) (2,4,16,33,11,51,29,30) , 41 (2,4,16,30,14,26,42), (5,25,33,35), (6,36) , 46 (11,59), (30,62,38,53) (6,36,26,114,76,18,50,42,62,74), (9,65), (27,37) (19,163,29,146,76,46,73), (35,75) Table 1. Base 10 epesentation of fixed points and cycles of S 2,b fo 10 b 2. Lagest happy numbe < 1 Definition 4. Fo e 2 and b 2, let U e,b = {a Z + fo some m Z +, Se,b m (a) = a}. The following staightfowad lemmas ae used thoughout this wok. Lemma 3. Fix b 2. Fo each a 0, thee exists some k Z + such that S k 2,b (a) U 2,b. Lemma 4. Fix b 2, a Z, and k Z +. If b is odd, then S2,b k (a) a (mod 2). Poof. Fix a, b, and k as in the lemma. Noting that the esult is tivial if a = 0, let a = n a ib i. Then n n n a = a i b i a i a 2 i S 2,b(a) (mod 2). A simple induction agument completes the poof. 3. Consecutive b-happy Numbes. In this section, we conside sequences of consecutive b-happy numbes fo negative b. Gundman and Teeple [2] poved, fo each base b 2, that, letting d = gcd(2,b 1), thee exist abitaily long finite sequences of d-consecutive b-happy numbes. We pove the following theoem using ideas fom both of [1, 2]. Note that pat (1) of the theoem demonstates that the esults in [2] do not genealize diectly to negative bases. 3

4 Theoem 5. Let b 2. (1) Thee is an infinitely long sequence of 3-consecutive 2-happy numbes. In paticula, a Z + is 2-happy if and only if a 1 (mod 3). (2) Thee is an infinitely long sequence of 2-consecutive 3-happy numbes. In paticula, a Z + is 3-happy if and only if a 1 (mod 2). (3) Fo b { 4, 6, 8, 10}, thee exist abitaily long finite sequences of consecutive b-happy numbes. (4) Fo b odd, thee exist abitaily long finite sequences of 2-consecutive b-happy numbes. The smalle even negative bases not coveed by Theoem 5 ae addessed in the following conjectue. Conjectue 6. Fo b 12 and even, thee exist abitaily long finite sequences of consecutive b-happy numbes. We begin by poving the fist two cases of Theoem 5. The othe two cases follow immediately fom Coollay 13, stated and poved at the end of this section. Lemma 7. A positive intege a is 2-happy if and only if a 1 (mod 3) and is 3-happy if and only if a is odd. Poof. If a = n a i( 2) i with a i {0,1} fo all 0 i n, then S 2, 2 (a) = n n a 2 i = a i n a i ( 2) i a (mod 3). Thus, if a is 2-happy, a 1 (mod 3). Now, suppose that a 1 (mod 3). By Lemma 3, thee exists a k Z + such that S k 2, 2(a) U 2, 2 = {1,2,3}. Since S k 2, 2(a) a 1 (mod 3), S k 2, 2(a) = 1 and so a is a 2-happy numbe. By Lemma 4, if a is a 3-happy numbe, then a is odd. Since U 2, 3 = {1,2,4,6}, Lemmas 3 and 4 togethe imply that if a 1 (mod 2), then a is a 3-happy numbe. The following definitions ae fom [2]. Definition 5. Let e 2 and b 2. A finite set T is (e,b)-good if, fo each u U e,b, thee exist n, k Z + such that fo each t T, Se,b k (t+n) = u. Definition 6. Let I : Z + Z + be defined by I(t) = t+1. We will pove that fo each odd b 5 and fo b { 4, 6, 8, 10}, a finite set T of positive integes is (2,b)-good if and only if all of the elements of T ae conguent modulo d = gcd(2,b 1). Lemma 8 and its poof ae analogous to [2, Lemma 4 and poof]. Lemma 8. Fix e 2 and b 2. Let T Z + be finite. Let F : Z + Z + be the composition of a finite sequence of the functions S e,b and I. If F(T) is (e,b)-good, then T is (e,b)-good. Poof. Fix e 2, b 2, and a finite set of positive integes, T. Clealy, if I(T) is (e,b)-good, then T is (e,b)-good. Using a simple induction agument, it suffices to show that if S e,b (T) is (e,b)-good, then T is (e, b)-good. 4

5 Let S e,b (T) be (e,b)-good and u U e,b. Then, by the definition of (e,b)-good, thee exist n and k such that fo each s S e,b (T), Se,b k (s+n ) = u. Let l be the numbe of base b digits of the lagest element of T and let l = l o l+1 such that n +l is odd. Let n = n +l b i = } {{} }{{} Z +. i=l n l Then S e,b (n) = n and fo each t T, S e,b (t+n) = S e,b (t)+n. Let k = k +1. Then fo each t T, So T is (e, b)-good. S k e,b(t+n) = S k e,b(s e,b (t+n)) = S k e,b(s e,b (t)+n ) = u. Lemma 9. Let b { 4, 6, 8, 10} and let 0 < t 2 < t 1 be integes. Then thee exists a function F of the type descibed in Lemma 8 such that F(t 1 ) = F(t 2 ). Poof. Let k Z + such that S k 2,b (t 1),S k 2,b (t 2) U 2,b, and let F 1 = S k 2,b. If F 1(t 1 ) = F 1 (t 2 ), we ae done, and so we assume othewise. Fom Table 1, we have U 2, 4 = {1,6,14}, U 2, 6 = {1,2,4,11,16,29,30,33,51}, U 2, 8 = {1,11,30,38,46,53,59,62}, U 2, 10 = {1,19,29,35,46,73,75,76,146,163}. Case: b = 4. Let F 2 = S 2 2, 4 I and F 3 = S 5 2, 4 I3. Note that F 2 (6) = S 2 2, 4 (7) = S2 2, 4 (133 ( 4)) = S 2, 4 (19) = S 2, 4 (103 ( 4) ) = 10 and F 2 (1) = S 2 2, 4 (2) = S 2, 4(4) = S 2, 4 (130 ( 4) ) = 10. Thus, if {F 1 (t 1 ),F 1 (t 2 )} = {1,6}, then let F = F 2 F 1, so that F(t 1 ) = F(t 2 ). And if {F 1 (t 1 ),F 1 (t 2 )} = {1,14}, then, noting that S 2, 4 (14) = 6, let F = F 2 F 1 S 2, 4. Finally, obseve that F 3 (6) = S2, 4 5 (9) = S5 2, 4 (121 ( 4)) = S2, 4 4 (6) = S4 2, 4 (132 ( 4)) = S2, 4 3 (14) = S2 2, 4 (6) = 6 and F 3 (14) = S 5 2, 4 (17) = S5 2, 4 (101 ( 4)) = S 4 2, 4 (2) = S3 2, 4 (4) = S2 2, 4 (10) = S 2, 4(9) = 6. Hence, if {F 1 (t 1 ),F 1 (t 2 )} = {6,14}, let F = F 3 F 1. Case: b = 6. Let F 2 = S l 2, 6 I36 F1(t1) whee l Z + such that F 2 F 1 (t 2 ) U 2, 6. Note that F 2 F 1 (t 1 ) = S l 2, 6 (36) = 1, egadless of the choice of l. If F 2F 1 (t 2 ) = 1, we ae done. If not, since (2,4,16,33,11,51,29,30)isacycle, we canmodify ouchoiceofl(makingit lage,ifnecessay)to guaantee that F 2 F 1 (t 2 ) = 2. Now let F 3 = S 6 2, 6 I7. Noting that F 3 (1) = F 3 (2), we set F = F 3 F 2 F 1. Case: b = 8. Let F 2 = S l 2, 8I 64 F1(t1) whee l Z + such that F 2 F 1 (t 2 ) U 2, 8. Since F 2 F 1 (t 1 ) = S l 2, 8 (64) = 1, if F 2F 1 (t 2 ) = 1, we ae done. Othewise, using Table 1, we can choose a possibly lage value of l so that F 2 F 1 (t 2 ) {30,59,46}. If F 2 F 1 (t 2 ) {30,59}, let F 3 = S 8 2, 8 I2. Noting that F 3 (1) = F 3 (30) = F 3 (59), we set F = F 3 F 2 F 1. If instead F 2 F 1 (t 2 ) = 46, then let F 4 = S 9 2, 8I 7. Since F 4 (1) = F 4 (46), setting F = F 4 F 2 F 1 completes this case. Case: b = 10. Let F 2 = S2, 10I l 100 F1(t1) whee l Z + such that F 2 F 1 (t 2 ) U 2, 10. Since F 2 F 1 (t 1 ) = 1, iff 2 F 1 (t 2 ) = S2, 10 l (100) = 1, weaedone. Ifnot, we can choosel sothat F 2F 1 (t 2 ) {19,35}. If F 2 F 1 (t 2 ) = 19, let F 3 = S2, 10 3 I22 and set F = F 3 F 2 F 1. If instead F 2 F 1 (t 2 ) = 35, let F 4 = S2, I and set F = F 4 F 2 F 1, completing the poof. 5

6 We now apply the methods in [2] to odd negative bases, noting that the oiginal poof does not cay ove, since, fo b negative, b 1 b 1. Lemma 10. Fix b 5 odd, v 2Z +, and Z + such that b 2 > v. Thee exists 0 c < b 1 such that (5) 2c 4 S 2,b ( b 1) b 2i+1 +v 1 (mod b 1). Poof. Since b is odd and v is even, the input to S 2,b in (5) is odd. Thus, by Lemma 4, the output is also odd. Hence, we can choose c 2 1 S 2,b ( b 1) b 2i+1 +v +1 2 ( mod b 1 ), 2 with 0 c < b 1 2 < b 1, since b 5. Lemma 11. Fix b 5 odd and let t 1, t 2 Z + be conguent modulo 2 with t 2 < t 1. Then thee exists a function F of the type descibed in Lemma 8 such that F(t 1 ) = F(t 2 ). Poof. Fist note that if t 1 and t 2 have the same non-zeo digits, then S 2,b (t 1 ) = S 2,b (t 2 ), and so F = S 2,b suffices. Next, if t 1 t 2 (mod b 1), let v Z + such that t 2 t 1 = (b 1)v. Choose Z + so that b 2 > b 2 v+t 1, and let m = b 2 +v t 1 > 0. Then I m (t 1 ) = t 1 +b 2 +v t 1 = b 2 +v and I m (t 2 ) = t 2 +b 2 +v t 1 = b 2 +v +(b 1)v = b 2 +bv. Since b 2 > b 2 v, it follows that I m (t 1 ) and I m (t 2 ) have the same non-zeo digits. Thus, it suffices to let F = S 2,b I m. Finally, if t 1 t 2 (mod b 1), let v = t 1 t 2 2Z +. Choose Z + such that b 2 > b 2 t 1. By Lemma 10, since b 2 t 1 > v, thee exists 0 c < b 1 such that conguence (5) holds. Let Then m = cb 2 + ( b 1)b 2i t 2 0. S 2,b (t 2 +m ) = S 2,b cb + ( b 1)b 2i = c 2 + ( b 1) 2. 6

7 And S 2,b (t 1 +m ) = S 2,b cb 2 + ( b 1)b 2i +v = S 2,b (c+1)b 2 + ( b 1)b 2i+1 +v = (c+1) 2 +S 2,b ( b 1)b 2i+1 +v. It follows that S 2,b (t 1 +m ) S 2,b (t 2 +m ) = 2c+1+S 2,b ( b 1)b 2i+1 +v (b+1) 2. Using conguence (5), this yields S 2,b (t 1 +m ) S 2,b (t 2 +m ) 4 (b+1) 2 0 (mod b 1). Theefoe,S 2,b (I m (t 1 )) S 2,b (I m (t 2 )) (mod b 1). Applyingtheealieagumenttothesetwonumbes, yielding an appopiate value of m Z +, we let F = S 2,b I m S 2,b I m. Theoem 12. Fix b 5 odd o b { 4, 6, 8, 10}. Let d = gcd(2,b 1). A finite set T of positive integes is (2,b)-good if and only if all of the elements of T ae conguent modulo d. Poof. Fix a finite set of positive integes, T. Fist, assume that T is (2,b)-good. If b is even, then d = 1, and the conguence esult is tivial. If b is odd, fix u U 2,b. Then thee exists n, k Z + such that fo each t T, S2,b k (t+n) = u. It follows fom Lemma 4 that, fo each t T, t+n u (mod 2). Hence, the elements of T ae conguent modulo d = 2. Fo the convese, assume that the elements of T ae conguent modulo d. If T is empty, then vacuously it is (2,b)-good. If T = {t}, then given u U 2,b, by definition, thee exist x Z + such that S 2,b (x) = u. Fix some 2Z + such that t b x. Then, letting n = b x t and k = 1, since S k 2,b (t+n) = S 2,b(t+(b x t)) = S 2,b (x) = u, T is (2,b)-good. Now assume that T = N > 1 and assume, by induction, that any set of fewe than N elements all of which ae conguent modulo d is (2,b)-good. Let t 1 > t 2 T. By Lemmas 9 and 11, thee exists a function F as in Lemma 8 such that F(t 1 ) = F(t 2 ). This implies that F(T) has fewe than N elements. Futhe, since the elements of T ae conguent modulo d, the same holds fo I(T) and, by Lemma 4, fo S 2,b (T), implying that the same holds fo F(T). Thus, by the induction hypothesis, F(T) is (2,b)-good and so, by Lemma 8, T is (2,b)-good. Coollay 13. Fo b 3 odd o b { 4, 6, 8, 10} and d = gcd(2,b 1), thee exist abitaily long finite sequences of d-consecutive b-happy numbes. Poof. By Lemma 7, evey odd positive intege is 3-happy. So the coollay holds fo b = 3. Fo b < 3, given N Z +, let T = {1 + dt 0 t N 1}. By Theoem 12, T is (2,b)-good. By Definition 5, thee exist n, k Z + such that fo each t T, S2,b k (t+n) = 1. Thus, {1+n+dt 0 t N 1} is a sequence of N d-consecutive b-happy numbes, as desied. 7

8 REFERENCES 1. Esam El-Sedy and Sami Siksek, On Happy Numbes, Rocky Mountain Jounal of Mathematics 30 (2000), no. 2, H.G. Gundman and E.A. Teeple, Sequences of consecutive happy numbes, Rocky Mountain Jounal of Mathematics 37 (2007), no. 6, H.G. Gundman and E.A. Teeple, Genealized happy numbes, Fibonacci Quately 39 (2001), V. Günwald, Gionale di Matematiche di Battaglini (1885), , 367. Depatment of Mathematics, Byn Maw College addess: Depatment of Mathematics and Statistics, Williams College addess: 8