Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Mathematics of radio engineering wikipedia , lookup
Large numbers wikipedia , lookup
List of important publications in mathematics wikipedia , lookup
Big O notation wikipedia , lookup
Fundamental theorem of algebra wikipedia , lookup
History of logarithms wikipedia , lookup
Factorization of polynomials over finite fields wikipedia , lookup
ON THE LARGEST PRIME FACTOR OF NUMERATORS OF BERNOULLI NUMBERS ATTILA BÉRCZES AND FLORIAN LUCA Abstract. We prove that for most n, the numerator of the Bernoulli number B2n is divisible by a large prime. 2000 Mathematics Subject Classification: Primary 11B68 1. Introduction For a positive integer n, we write ω(n) for the number of distinct prime factors of n. Let {Bn }n≥0 be the sequence of Bernoulli numbers given by B0 = 1 and n−1 X n Bk for all n ≥ 1. Bn = 1 − n − k + 1 k k=0 Then B1 = −1/2 and B2n+1 = 0 for all n ≥ 0. Furthermore, we have (−1)n+1 B2n > 0. Write B2n =: (−1)n+1 Cn /Dn with coprime positive integers Cn and Dn . The denominator Dn is well-understood by the von Staudt–Clausen theorem which asserts that Y Dn = p. (1) p−1|2n As for Cn , it was proved in [3] that the estimate ! Y log x ω Cn ≥ (1 + o(1)) holds as x → ∞. log log x n≤x Here, we look at the largest prime factor of Cn . For a positive integer m we put P (m) for the largest prime factor of m. The research was supported in part by project SEP-CONACyT 79685, by grants T67580 and T75566 of the Hungarian National Foundation for Scientific Research. The work is supported by the TÁMOP 4.2.1./B-09/1/KONV-2010-0007 project. The project is implemented through the New Hungary Development Plan, cofinanced by the European Social Fund and the European Regional Development Fund. F. L. worked on this project while he visited the Institute of Mathematics of the University of Debrecen, Hungary in August 2011. He thanks the members of that department for their hospitality. 1 2 A. BÉRCZES AND F. LUCA Theorem 1. The inequality P (Cn ) > 1 log n 4 holds for most positive integers n. Here and in what follows, we use the symbols O and o with their usual meaning. We also use c1 , c2 , . . . for computable positive constants and x0 for a large real number, not necessarily the same from one occurrence to the next. Proof. We let x be large. Put M(x) := {x/2 ≤ n ≤ x : P (Cn ) ≤ (1/4) log x}. (2) Put y := xlog log log x/ log log x . We let L1 (x) := {n ≤ x : P (n) ≤ y}. (3) It is known (see Chapter III.5 in [5]), that #L1 (x) = x exp(−(1 + o(1))u log u), where u := log x . log y Since for us u = log log x/ log log log x, we get easily that x #L1 (x) = O . (log x)1/2 (4) We let τ (m) stand for the number of divisors of m. We put L2 (x) := {n ≤ x : τ (n) > (log x)2 }. (5) Since X τ (n) = O(x log x), n≤x (see Theorem 320 on Page 347 in [2]), it follows easily that x . #L2 (x) = O log x (6) Let L3 (x) := {n ≥ x : p − 1 | 2n for some prime p with P (p − 1) > y}. (7) The proof of Theorem 1.1 in [1] shows that x #L3 (x) = O . (log x)0.05 (8) From now on, we look at integers n in N (x) := M(x)\ ∪3i=1 Li (x). (9) ON THE LARGEST PRIME FACTOR OF NUMERATORS OF BERNOULLI NUMBERS 3 Put z := (log x)2 and let I be an arbitrary interval in [x/2, x] of length at most z. Put T := (1/4) log x and put K := π(T ). We show that for x > x0 , I contains less than K + 3 numbers from N (x). Assume first that we have proved this and let us see how to finish the argument. Then x − x/2 x T #N (x) ≤ + 1 (K + 2) = O · (log x)2 (log x)2 log T x = O , (10) log x log log x which together with estimates (4), (6), (8) shows that x #M(x) ≤ #L1 (x) + #L2 (x) + #L3 (x) + #N (x) = O . (log x)0.05 (11) The desired estimate now follows by replacing x with x/2, then with x/4, etc., and summing up the resulting estimates (11). It remains to prove that indeed I cannot contain K + 3 numbers from N (x) for x > x0 . Assume that it does and let them be n1 < n2 < · · · < nK+3 . Put λi := ni − n1 for i = 1, . . . , K + 3. Then 0 = λ1 < λ2 < · · · < λK+3 ≤ z. Let n = ni for some i = 1, . . . , K + 3. We use the formula ζ(2n) = (−1)n+1 B2n (2π)2n Cn (2π)2n = , 2(2n)! Dn 2(2n)! as well as the aproximation 1 1 ζ(2n) = 1 + 2n + 2n + · · · = 1 + O 2 3 1 22n , to get that 2(2n)! 2(2n)! Cn = Dn ζ(2n) = D n (2π)2n (2π)2n 1+O 1 22n . (12) We take logarithms in (12) above to arrive at 1 1 log Cn −log Dn −log(2(2n)!)+2n log(2π) = log 1 + O =O . 2n 2 2x (13) We now let pj for j = 1, . . . , K be all the primes p ≤ T and write α α α Cni = p1 i,1 p2 i,2 · · · pKi,K for all i = 1, . . . , K + 3. 4 A. BÉRCZES AND F. LUCA Observe that since τ (2n) ≤ 2τ (n) ≤ 2(log x)2 , we have that Y 2 Dn = p ≤ (2n+1)τ (2n) ≤ (2x+1)2(log x) < exp(3(log x)3 ) (x > x0 ). p−1|2n (14) Thus, from formula (12), we have that 2(2n)! 2ζ(2)Dn 2ζ(2)Dn 2n Cn ≤ Dn ζ(2) ≤ (2n)2n < n 2n 2n (2π) (2π) π 2n 2ζ(2) exp(3(log x)3 ) x2x < x2x for x > x0 , < πx which implies that αi,j ≤ 2x log x 2x log x < 3x log x ≤ log pj log 2 for all 1 ≤ i ≤ K+3, 1 ≤ j ≤ K. Let ∆ := (∆1 , . . . , ∆K+3 ) be a nonzero vector in the null-space of the (K + 2) × (K + 3) matrix a1,1 a2,1 · · · aK+3,1 a1,2 a2,2 · · · aK+3,2 . .. .. .. . ··· . . A= a 1,K a2,K · · · aK+3,K 1 1 ··· 1 n1 n2 ··· nK+3 Such a vector exists and can be computed with Cramer’s rule. It’s height satisfies max{|∆i |}1≤i≤K+3 ≤ (K + 2)! max{|αi,j |, |n` |, i, j, `}K+2 < (3x(K + 2) log x))K+2 < (3x(log x)2 )π(T )+2 < x2(π(T )+2) < exp((log x)2 ), (15) for x > x0 . We now evaluate formula (13) in n = ni for i = 1, . . . , K +3 and take the linear combination with coefficients ∆1 , . . . , ∆K+3 of the resulting relations getting K+3 K+3 K+3 K+3 X X X X ∆i log Cni − ∆i log Dni − ∆i log(2(2ni )! + 2∆i ni log(2π) i=1 i=1 i=1 i=1 ! PK+3 i=1 |∆i | . (16) = O 2x ON THE LARGEST PRIME FACTOR OF NUMERATORS OF BERNOULLI NUMBERS 5 In the left–hand side of estimate (16) above, the first sum vanishes; i.e., K+3 X ∆i log Cni = 0, i=1 because the vector ∆ is orthogonal to the first K rows of A. Similarly, the last sum also vanishes; i.e., K+3 X ∆i ni = 0, i=1 because ∆ is orthogonal to the last row of A. Finally, writing 2(2ni )! = 2(2n1 )!(2n1 +1)(2n1 +2) · · · (2ni ) =: 2(2n1 )!Xi (i = 1, . . . , K+3), we get that log(2(2ni )!) = log(2(2n1 )!) + log Xi . Hence, K+3 X i=1 ∆i log(2(2ni )!) = K+3 X i=1 K+3 X ∆i log(2(2n1 )!)+ i=1 ∆i log Xi = K+3 X ∆i log Xi , i=1 (17) P ∆ = 0, because ∆ is orthogonal to the first before where we used K+3 i i=1 last row of matrix A. Thus using also (15), estimate (16) becomes K+3 X (K + 3) exp((log x)2 ) 1 ∆i log(Dni /Xi ) = O =O . 2x 2x/2 i=1 (18) In the left–hand side of estimate (18) we have a linear form in logarithms. Further, Xi < (2x)2(ni −n1 ) ≤ (2x)2z < exp(3(log x)3 ) (x > x0 ), (19) which is the same estimate as estimate (14) with Dni replaced by Xi for all i = 1, . . . , K + 3. For each i = 1, . . . , K + 3, let Pi := P (ni ). Then Pi | Xi . Also, Pi does not divide Dnj for any j = 1, . . . , K + 3. Indeed, otherwise there would exist q := Pi such that for some j, we have that q | Dnj . Thus, there exists a prime number p such that q | p − 1 and p − 1 | 2nj . However, this is not possible because nj 6∈ L3 (x). Also, Pi divides Xj for all j ≥ i but does not divide Xj for any j < i. Indeed, this last claim follows because if Pi | Xj for some j < i, then there exists m ∈ [2n1 , 2nj ] such that Pi | m. But also Pi | ni , so Pi | 2ni − m, and this last number is nonzero since 2ni 6∈ [2n1 , 2nj ]. However, this is not possible for large x since it would lead to y < Pi ≤ 2ni −m ≤ 2z, which is impossible for x > x0 . This shows that the linear form appearing in 6 A. BÉRCZES AND F. LUCA the left–hand side of (17) is nonzero (indeed, if i is maximal such that ∆i 6= 0, then the coefficient of log Pi in the left is exactly ∆i 6= 0). We apply a linear form in logarithms á la Baker in the left–hand side of (18) (see [4], for example). We get that the left–hand side of (18) is at least > exp −c1 cK 2 K+3 Y ! ! max{log Dni log Xni } log max{|∆i |} , i=1 for some appropriate constants c1 and c2 . With the bounds (14), (19) and (15), the above expression is at least 3 K+3 > exp −c1 cK (log x)2 , 2 (3(log x) ) which compared with (18) gives x(log 2)/2 − c3 < c1 (3c2 (log x)3 )K+3 (log x)2 , with some appropriate constant c3 . This last estimate implies easily that the inequality K > (1/3 − ε) log x/ log log x holds for all ε > 0 and x > x0 (depending on ε). Taking a sufficiently small value for ε (say ε := 1/100), and invoking the Prime Number Theorem to estimate K = π(T ), we get a contradiction. This finishes the argument and the proof of the theorem. References [1] J. Friedlander and F. Luca, “On the value set of the Carmichael λ-function”, J. Austral. Math. Soc. 82 (2007), 123–131. [2] G. H. Hardy and E. M. Wright, An introduction to the theory of numbers, Oxford University Press, Oxford, sixth edition, 2008. Revised by D. R. HeathBrown and J. H. Silverman. [3] F. Luca and A. Pizarro, “Some remarks on the values of the Riemann zeta function and Bernoulli numbers”, Preprint, 2011. [4] E. M. Matveev, “An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers. II”, Izv. Ross. Akad. Nauk Ser. Mat. 64 (2000), 125–180; English transl. in Izv. Math. 64 (2000), 1217–1269. [5] G. Tenenbaum, Introduction to analytic and probabilistic number theory, University Press, Cambridge, UK, 1985. ON THE LARGEST PRIME FACTOR OF NUMERATORS OF BERNOULLI NUMBERS 7 A. Bérczes Institute of Mathematics, University of Debrecen Number Theory Research Group, Hungarian Academy of Sciences and University of Debrecen H-4010 Debrecen, P.O. Box 12, Hungary E-mail address: [email protected] F. Luca Instituto de Matemáticas Universidad Nacional Autonoma de México C.P. 58089, Morelia, Michoacán, México E-mail address: [email protected]