arxiv: v2 [math.nt] 12 Mar 2018

Transcription

1 THE DENSITY OF NUMBERS n HAVING A PRESCRIBED G.C.D. WITH THE nth FIBONACCI NUMBER CARLO SANNA AND EMANUELE TRON arxiv: v2 [math.nt] 2 Mar 208 Abstract. Foreachpositiveintegerk,let A k bethesetofallpositiveintegers n such that gcd(n,f n ) = k, where F n denotes the nth Fibonacci number. We prove that the asymptotic density of A k exists and is equal to lcm(dk, z(dk)) d= where µ is the Möbius function and z(m) denotes the least positive integer n such that m divides F n. We also give an effective criterion to establish when the asymptotic density of A k is zero and we show that this is the case if and only if A k is empty.. Introduction Let (u n ) n be a nondegenerate linear recurrence with integral values. The arithmetic relations between u n and n are a topic which has attracted the attention of several researchers, especially in recent years. For instance, the set of positive integers n such that u n is divisible by n has been studied by Alba González, Luca, Pomerance, and Shparlinski [], under the mild hypothesis that the characteristic polynomial of (u n ) n has only simple roots; and by André-Jeannin [2], Luca and Tron [], Somer [7], and Sanna [4], when (u n ) n is a Lucas sequence. A problem in a sense dual to this is that of understanding when n is coprime to u n. In this respect, Sanna [5, Theorem.] recently proved the following result. Theorem.. The set of positive integers n such that gcd(n,u n ) = has a positive asymptotic density, unless (u n /n) n is a linear recurrence. In this paper, we focus on the linear recurrence of Fibonacci numbers (F n ) n, defined as usual by F = F 2 = and F n+2 = F n+ + F n for all integers n. For each positive integer k, define the set A k := {n : gcd(n,f n ) = k}. Leonetti and Sanna [0, Theorems. and.3] proved the following: Theorem.2. If B := {k : A k } then its counting function satisfies #B(x) x logx, 200 Mathematics Subject Classification. Primary: B37. Secondary: B39, B05, N25. Key words and phrases. asymptotic density; Fibonacci numbers; greatest common divisor.

2 2 CARLO SANNA AND EMANUELE TRON for all x 2. Furthermore, B has zero asymptotic density. Letz(m)betherank ofappearance,orentry point,ofapositiveintegerminthe sequence of Fibonacci numbers, that is, the smallest positive integer n such that m divides F n. It is well known that z(m) exists. Set also l(m) := lcm(m,z(m)). Our first result establishes the existence of the asymptotic density of A k and provides an effective criterion to check whether this asymptotic density is positive. Theorem.3. For each positive integer k, the asymptotic density of A k exists. Moreover, d(a k ) > 0 if and only if A k if and only if k = gcd(l(k),f l(k) ). Our second result is an explicit formula for the asymptotic density of A k. Theorem.4. For each positive integer k, we have d(a k ) =, () where µ is the Möbius function. d= Notation. Throughout, we reserve the letters p and q for prime numbers. For a set of positive integers S, we put S(x) := S [,x] for all x, and we recall that the asymptotic density d(s) of S is defined as the limit of the ratio #S(x)/x, as x +, whenever this exists. As usual, µ(n), τ(n), and P(n), denote the Möbius function, the number of divisors of a positive integer n, and the greatest prime factor of an integer n >, respectively. We employ the Landau Bachmann Big Oh and little oh notations O and o, as well as the associated Vinogradov symbol. 2. Preliminaries The next lemma summarizes some basic properties of l, z, and the Fibonacci numbers, which we will implicitly use later without further mention. Lemma 2.. For all positive integers m, n and all prime numbers p, we have: (i) m F n if and only if z(m) n. (ii) z(lcm(m, n)) = lcm(z(m), z(n)). (iii) z(p) p ( ( p 5), where p 5) is a Legendre symbol. (iv) ν p (F n ) ν p (n) whenever z(p) n. (v) m gcd(n,f n ) if and only if l(m) n. (vi) l(lcm(m, n)) = lcm(l(m), l(n)). (vii) l(p) = pz(p) for p 5, while l(5) = 5. Proof. Facts (i) (iii) are well-known (see, e.g., [2]). Fact (iv) follows quickly from the formulas for ν p (F n ) given by Lengyel [9]. Finally, (v) (vii) are easy consequences of (i) (iii) and the definition of l. Now we state an easy criterion to establish if A k [0, Lemma 2.2(iii)]. Lemma 2.2. A k if and only if k = gcd(l(k),f l(k) ), for all integers k.

3 PRESCRIBED G.C.D. OF n AND THE nth FIBONACCI NUMBER 3 If S is a set of positive integers, we define its set of nonmultiples as N (S) := {n : s n for all s S}. Sets of nonmultiples, or more precisely their complement sets of multiples M(S) := {n : s n for some s S}, have been studied by several authors, we refer the reader to [6] for a systematic treatment of this topic. We shall need only the following result. Lemma 2.3. If S is a set of positive integers such that s < +, s S then N (S) has an asymptotic density. Moreover, if / S then d(n (S)) > 0. Proof. The part about the existence of d(n (S)) is due to Erdős [4], while the second assertion follows easily from the inequality d(n (S)) ( ) s s S proved by Heilbronn [7] and Rohrbach [3]. For any γ > 0, let us define Q γ := {p : z(p) p γ }. The following is a well-known lemma, which belongs to the folklore. Lemma 2.4. For all x,γ > 0, we have #Q γ (x) x 2γ. Proof. It is enough noting that 2 #Qγ(x) p Q γ(x) p F n 2 n x γ n = 2 O(x2γ), n x γ where we employed the inequality F n 2 n, valid for all positive integers n. 3. Proof of Theorem.3 We begin by showing that A k is a scaled set of nonmultiples. Lemma 3.. For each positive integer k such that A k, we have where A k = {l(k)m : m N (L k )}, L k := {p : p k} {l(kp)/l(k) : p k}. Proof. We know that n A k implies l(k) n. Hence, it is enough to prove that l(k)m A k, for some positive integer m, if and only if m N (L k ). Clearly, l(k)m A k for some positive integer m, if and only if for all prime numbers p. ν p (gcd(l(k)m,f l(k)m )) = ν p (k) (2)

4 4 CARLO SANNA AND EMANUELE TRON Let p be a prime number dividing k. Then, for all positive integer m, we have z(p) l(k)m and consequently ν p (F l(k)m ) ν p (l(k)m), so that ν p (gcd(l(k)m,f l(k)m )) = ν p (l(k)m) = ν p (l(k))+ν p (m). (3) In particular, recalling that k = gcd(l(k),f l(k) ) since A k and thanks to Lemma 2.2, for m = we get which together with (3) gives ν p (k) = ν p (gcd(l(k),f l(k) )) = ν p (l(k)), ν p (gcd(l(k)m,f l(k)m )) = ν p (k)+ν p (m). (4) Therefore, (2) holds if and only if p m. Now let p be a prime number not dividing k. Then (2) holds if and only if p gcd(l(k)m,f l(k)m ). That is, l(p) l(k)m, which in turn is equivalent to l(kp) l(k) = lcm(l(k),l(p)) m, l(k) since p and k are relatively prime. Summarizing, we have found that l(k)m A k, for some positive integer m, if and only if p m for all prime numbers p dividing k, and l(kq)/l(k) m for all prime numbers q not dividing k, that is, m N (L k ). Now we show that the series of the reciprocals of the l(n) s converges. The methods employed are somehow similar to those used to prove the result of [8]. (See also [3] for a wide generalization of that result.) Lemma 3.2. The series converges. n= l(n) Proof. Let n > be an integer and put p := P(n). Clearly, lcm(n,z(p)) is divisible by l(p). Hence, we can write lcm(n,z(p)) = l(p)m, where m is a positive integer such that P(m) p+. Also, if p and lcm(n,z(p)) are known then n can be chosen in at most τ(z(p)) ways. Therefore, n=2 l(n) n=2 P(m) p+ lcm(n,z(p(n))) p τ(z(p)) pz(p) P(m) p+ where we also used the fact that l(p) pz(p) for each prime number p. By Mertens formula [8, Chapter I., Theorem ], we have m ( logp, q) q p+ m,

5 PRESCRIBED G.C.D. OF n AND THE nth FIBONACCI NUMBER 5 for all prime numbers p. Put β := 3/4 and γ := /3. It is well known [8, Chapter I.5, Corollary.] that τ(n) ε n ε for any fixed ε > 0. Hence, τ(z(p))logp p β for all prime numbers p. Thus we have found that n= l(n) p τ(z(p))logp pz(p) p p β z(p). (5) On the one hand, by partial summation and by Lemma 2.4, we have p β z(p) p = #Q + γ(t) + #Q γ (t) β t β +β dt, (6) t β+ p Q γ p Q γ since β > 2γ. On the other hand, by the definition of Q γ, we have p β z(p) <, (7) pβ+γ p/ Q γ p since β+γ >. Hence, putting together (5), (6), and (7), we get the claim. Now we are ready for the proof of Theorem.3. If k is a positive integer such that A k = then, obviously, the asymptotic density of A k exists and is equal to zero. So we can assume A k, which in turn, by Lemma 2.2, implies that k = gcd(l(k),f l(k) ). Thanks to Lemma 3.2, we have n L k n p t=2 l(kp) p 2 l(p) < +, while clearly / L k. Hence, Lemma 2.3 tell us that N (L k ) has a positive asymptotic density. Finally, by Lemma 3. we conclude that the asymptotic density of A k exists and it is positive. 4. Proof of Theorem.4 We begin by introducing a family of sets. For each positive integer k, let B k be the set of positive integers n such that: (i) k gcd(n,f n ); (ii) if p gcd(n,f n ) for some prime number p, then p k. The essential part of the proof of Theorem.4 is the following formula for the asymptotic density of B k. Lemma 4.. For all positive integers k, the asymptotic density of B k exists and d(b k ) =, (8) where the series is absolutely convergent. (d,k)= Proof. For all positive integers n and d, let us define { if d F n, (n,d) := 0 if d F n.

6 6 CARLO SANNA AND EMANUELE TRON Note that is multiplicative in its second argument, that is, (n,de) = (n,d) (n,e) for all relatively prime positive integers d and e, and all positive integers n. It is easy to see that n B k if and only if l(k) n and (n,p) = 0 for all prime numbers p dividing n but not dividing k. Therefore, #B k (x) = ( (n,p)) = (n, d) n x n x l(k) n = d x (d,k)= p n p k m x/d l(k) dm d n l(k) n (d,k)= (dm,d), (9) for all x > 0. Moreover, given a positive integer d which is relatively prime with k, we have that (dm,d) = and l(k) dm if and only if lcm(z(d),l(k)) dm, which in turn is equivalent to m being divisible by lcm(d, lcm(z(d), l(k))) = lcm(l(d),l(k)) d d since d and k are relatively prime. Hence, (dm,d) = = m x/d l(k) dm m x/d /d m for all x > 0, which together with (9) implies that #B k (x) = x d x (d,k)= for all x > 0, where R(x) := d x (d,k)= Now, thanks to Lemma 3.2, we have (d,k)= = x d x (d,k)= { } x. x, l(d) < +. d= = d, R(x), (0) Hence, the series in (8) is absolutely convergent. It remains only to prove that R(x) = o(x) as x +, and then the desired result follows from (0). We have R(x) d x { x } = O ( x /2) + O ( x /2) +x d x /2 l(d) = o(x), x /2 d x { } x

7 PRESCRIBED G.C.D. OF n AND THE nth FIBONACCI NUMBER 7 as x +, since by Lemma 3.2 the last series is the tail of a convergent series and hence converges to 0 as x +. The proof is complete. At this point, by the definition of B k and by the inclusion-exclusion principle, it follows easily that #A k (x) = #B dk (x), d k for all x > 0. Hence, by Lemma 4., we get d(a k ) = d k = d k d(b dk ) = d k µ(de) l(dek) = (e,k)= f= (e,dk)= µ(e) l(dek) µ(f) l(fk), () sinceeverysquarefreepositiveinteger f canbewritteninauniquewayasf = de, where d and e are squarefree positive integers such that d k and gcd(e,k) =. Also note that the rearrangement of the series in () is justified by absolute convergence. The proof of Theorem.4 is complete. Remark 4.2. As a consequence of Theorem.4, note that if A k = (or equivalently if k = gcd(l(k),f l(k) ), by Lemma 2.2) then the series in () evaluates to 0, which is not obvious a priori. 5. Generalization to Lucas sequences Inordertosimplifytheexposition, wechosetogiveourresultsforthesequence of Fibonacci numbers. However, they can be easily generalized to every nondegenerate Lucas sequence. We recall that a Lucas sequence is an integral linear recurrence (u n ) n 0 satifying u 0 = 0, u =, and u n = a u n + a 2 u n 2, for all integers n 2, where a and a 2 are relatively prime integers; while nondegenerate means that a a 2 0 and that the ratio of the roots of the characteristic polinomial f u (X) := X 2 a X a 2 is not a root of unity. To prove this generalization, there is just a minor complication that must be handled: The rank of appearance z u (m) of a positive integer m in the Lucas sequence (u n ) n 0, that is, the smallest positive integer n such that m divides u n, exists if and only if m is relatively prime with a 2. Therefore, the arguments involving z(m) must be adapted to z u (m) considering only the positive integers m which are relatively prime with a 2. Except for that, everything works the same, since z u (m) and l u (m) := lcm(m,z u (m)) satisfy the same properties of z(m) and l(m). Note only that Lemma 2.(iii) must be replaced by: ) ( z u (p) p ( ) p u p, for all prime numbers p not dividing a 2, where u := a 2 +4a 2 is the discriminant of f u (X). Also, the analog of Lemma 2.(iv), that is, ν p (u n ) ν p (n) whenever z u (p) n, can be proved, for example, by using the formula for the p-adic valuations of the terms of a Lucas sequence given in [6]. With these changes, the following generalization can be proved.

8 8 CARLO SANNA AND EMANUELE TRON Theorem 5.. Let (u n ) n 0 be a nondegenerate Lucas sequence satisfying the recurrence u n = a u n + a 2 u n 2 for all integers n 2, where a and a 2 are relatively prime integers. Furthermore, for each positive integer k, define the set A u,k := {n : gcd(n,u n ) = k}. Then A u,k if and only if gcd(k,a 2 ) = and k = gcd(l u (k),u lu(k)). In such a case, A u,k has an asymptotic density which is given by d(a u,k ) = where the series is absolutely convergent. (d,a 2 )= l u (dk), Acknowledgements. The authors thank the anonymous referee for carefully reading the paper and for suggesting a much simpler proof of Lemma 3.2, instead of our original one which was based on arguments similar to those of [5, Theorem 5]. References. J. J. Alba González, F. Luca, C. Pomerance, and I. E. Shparlinski, On numbers n dividing the nth term of a linear recurrence, Proc. Edinb. Math. Soc. (2) 55 (202), no. 2, R. André-Jeannin, Divisibility of generalized Fibonacci and Lucas numbers by their subscripts, Fibonacci Quart. 29 (99), no. 4, C. Ballot and F. Luca, On the sumset of the primes and a linear recurrence, Acta Arith. 6 (203), no., P. Erdős, On the density of the abundant numbers, J. London Math. Soc. 9 (934), no. 4, J. B. Friedlander, C. Pomerance, and I. E. Shparlinski, Period of the power generator and small values of Carmichael s function, Math. Comp. 70 (200), no. 236, R. R. Hall, Sets of multiples, Cambridge Tracts in Mathematics, vol. 8, Cambridge University Press, Cambridge, H. A. Heilbronn, On an inequality in the elementary theory of numbers, Proc. Cambridge Philos. Soc. 33 (937), K. S. E. Lee, On the sum of a prime and a Fibonacci number, Int. J. Number Theory 6 (200), no. 7, T. Lengyel, The order of the Fibonacci and Lucas numbers, Fibonacci Quart. 33 (995), no. 3, P. Leonetti and C. Sanna, On the greatest common divisor of n and the nth Fibonacci number, Rocky Mountain J. Math. (to appear).. F. Luca and E. Tron, The distribution of self-fibonacci divisors, Advances in the theory of numbers, Fields Inst. Commun., vol. 77, Fields Inst. Res. Math. Sci., Toronto, ON, 205, pp M. Renault, The period, rank, and order of the (a, b)-fibonacci sequence mod m, Math. Mag. 86 (203), no. 5, H. Rohrbach, Beweis einer zahlentheoretischen Ungleichung, J. Reine Angew. Math. 77 (937), C. Sanna, On numbers n dividing the nth term of a Lucas sequence, Int. J. Number Theory 3 (207), no. 3, C. Sanna, On numbers n relatively prime to the nth term of a linear recurrence, Bull. Malays. Math. Sci. Soc. (online ready)

9 PRESCRIBED G.C.D. OF n AND THE nth FIBONACCI NUMBER 9 6. C. Sanna, The p-adic valuation of Lucas sequences, Fibonacci Quart. 54 (206), no. 2, L. Somer, Divisibility of terms in Lucas sequences by their subscripts, Applications of Fibonacci numbers, Vol. 5 (St. Andrews, 992), Kluwer Acad. Publ., Dordrecht, 993, pp G. Tenenbaum, Introduction to analytic and probabilistic number theory, Cambridge Studies in Advanced Mathematics, vol. 46, Cambridge University Press, Cambridge, 995. Dipartimento di Matematica, Università di Torino, via Carlo Alberto 0, 023 Torino, Italy address: carlo.sanna.dev@gmail.com URL: Institut de Mathématiques de Bordeaux, Université de Bordeaux, 35 Cours de la Libération, Talence, France address: emanuele.tron@u-bordeaux.fr