arxiv:179.2954v1 [math.nt] 9 Sep 217 ON THE FACTORIZATION OF x 2 +D GENERALIZED RAMANUJAN-NAGELL EQUATION WITH HUGE SOLUTION) AMIR GHADERMARZI Abstract. Let D be a positive nonsquare integer such that D is not 3 an square, p be a prime number with p D and < σ <.847. we will show that if the equation x 2 +D = p n has a huge solution x,n ) p,σ) see section 1), then there exist an effectively computable constant C p such that for every x > C P with x 2 +D = p n.m, we have m > x σ. As an application, we will show that for x {115,5} if the equation x 2 +76 = 11 n.m holds we have m > x.1. 1. Introduction Let fx) be a polynomial with integer coefficients. The prime factorization of fn) is an important question in Diophantine approximation. One direction in considering this question is the following: let p 1,p 2, p s be a set of prime numbers and fn) = p α1 1 pα2 2 pαs s.m where m, p i ) = 1 then find a bound on size of m. From Mahler s work [14] for any ǫ > there exist a constant C such that for any n bigger than C, we have m > n 1 ǫ. Mahler s proof depends on p-adic version of Roth theorem. Thus, it is ineffective. It means we can not effectively compute the value C. While quantifying this result in general is a difficult task, there are some effective results. For the polynomials of the form xx + 1)x + 2) x + k) and based on lower bound for linear form in logarithms Stewart [15] was able to give an effective result. He proved that m x σp1,p2, ps) for some small number σp 1,p 2, p s ) >. A result of the same flavor is obtained by Gross and Vincent [12]. They proved the same sort of result for polynomials with at least two distinct roots. In specific cases, by using Padé approximations, better results have been obtained by Bennett, Filaseta and Trifonov. For the polynomial x 2 + x and primes 2,3, they proved that if x 2 + x = 2 k 3 l m and x > 8 then m > x.285 [4], also they showed that if 1991 Mathematics Subject Classification. Primary 11D61, 11D75. Key words and phrases. Hypergeometric method, Padé approximants, Ramanujan Nagell equation. This research was in part supported by a grant from IPMNo.951144). 1
2 AMIR GHADERMARZI x 2 +7 = 2 n.m then either x {1,3,5,11,181} or m > x 1 2 [3]. In this note, we generalize this result for Ramanujan-Nagell type of equations. several generalizationof Ramanujan-Nagellequation,x 2 +7 = y n, of the form D 1 x 2 +D 2 = λy n 1.1) have been vastely considered by many authours. For D = 1 the equation 1.1) is called generalized Ramanujan-Nagell equation. Le [13] proved for,positive integers D 1 and D 2 with p D 1 D 2 and λ {1,2,4},except for finitely many cases with 3 soloutions, we have Nλ,D 1,D 2,p) 2. Bugeaud and Shorey [1] by using powerfulresult of Bilu, Harnot and Voutier [7] sharpened Le s result by determining all triples D 1,D 2,p) with more than one solution. The case D 2 < is a bit more complicated since there are infinitly many units in the quadratic field Q D. Using explicit rational function approximation to binomial functions Beukers in [5] and [6], proved that for D 2 < if p D 2 then N1,1,D 2,p) 4. Bauer and Bennett [1] refined Beukers s work. By applying padé approximation to 1 z) 1/2 and combining it with linear form in logarithms, they were able to improve this result and proved that under the same condition N1,1,D 2,2) 3.We refer the interested reader to a survey of results on these kinds of equations by Bérczes and Pink [11]. In this note, we ll consider a generalization of equations of Ramanujan-Nagell type from the point of view above. From now on, let D be a nonsquare positive integer such that D 3 is not a square, this means the group of units of the number field K = Q D is equal to ±1 and p be a prime number with p D. Our result relies on the existence of a relatively huge solution to the equation x 2 +D = p n. In order to get effective quantitative results, we have to explicitly determine what we mean by a huge solution. Obviously, the bigger the solution is, the easier it is to obtain the better result. We set a condition for huge solution that obviously depends on σ. Let x 2 + D = p n with p D has a solution x,n ), that satisfying this condition : β = x + D = p n 2 >C σ,p D 7.84 4σ 7.64 9σ if p is an odd prime x + D β = = p n 1 2 >C σ,2 D 7.84 4σ 7.64 9σ if p = 2 2 where C σ,p = 28.832) 1.96 σ 7.64 9σ and Cσ,2 = 7.847) 1.96 σ 7.64 9σ. Then, we have the following theorem 1.2) Theorem 1.1. Assume the equation x 2 +D = p n has a solution that satisfies condition of 1.2. Let M = max125, 25n2 2 ) and β 95.86, then for any x > pm, if x 2 +D = p n.m, we have m > x σ. Some remarks :
ON THE FACTORIZATION OF x 2 +DGENERALIZED RAMANUJAN-NAGELLEQUATION WITH HUGE SOLUTION)3 The constant x > p M is not that huge. For special cases the values x < p M can be checked relatively fast. See section 5. From the last table of [8] when D < 13, the only equation with a big solution corresponds to D = 7, to which we already have the suitable result thanks to the paper [1], so from now on, we assume D 13. The condition β > 95.86 is not restrictive. if β < 95.86 and p is an add prime from 1.2, we have D < 1. If p = 2 then again from 1.2 we have D < 39. A quick look at final tabel of [8] reveals the only possibilities are D = 7 and D = 28, which have already been considered in [3]. stronger results can be obtained for larger values of x. To be more precise for x > p LM, and σ < 8 9.4 L we have m > xσ if the following condition hold which is weaker than 1.2 : β = x + D = p n 2 >C σ,p D x + D β = 2 = p n 1 2 >C σ,2 D where C σ,p = 28.832) 2.4 L σ 8.36 8.16 L 4σ 8.36 L 9σ 8.16 L 4σ 8.36 L 9σ if p = 2 if p is an odd prime L 9σ and C σ,2 = 7.847) 2.4 L σ 8.36 L 9σ. 1.3) For values σ =.4 and σ =.1 we assume exact constants to realize how big the huge solution is in special cases. The following corollaries are the immediate consequence of the theorem 1.1. Corollary 1.2. assume the following condition for the solution of x,n ) of the equation x 2 +D = p n is satisfied. x + D = p n 2 >18.854D 1.545 if P is an odd prime 1.4) p n/2 1 >2.216D 1.545 if p = 2 Or equivalently n > 5.874+3.9lnD if P is an odd prime lnp n > 1.591+3.9lnD +2 if p = 2, lnp 1.5) let M = max125, 25n2 2 ) then for any x > pm, if x 2 + D = p n.m, we have m > x.4. Corollary 1.3. assume the following condition for the solution of x,n ) of the equation x 2 +D = p n is satisfied x + D = p n 2 >8.157D 1.14 if P is an odd prime 1.6) p n/2 2 >1.766D 1.14 if p = 2.
4 AMIR GHADERMARZI Or equivalently n > 4.198+2.28lnD if P is an odd prime lnp n > 1.149+2.28lnD +2 if p = 2, lnp 1.7) Let M = max125, 25n2 2 ) then for any x > pm, if x 2 + D = p n.m, we have m > x.1. To prove the theorem 1.1 we use Padé approximations to binomial function 1 x) k. We define x + D = ±β and x D = ± β. The idea is to k approximate β β) with rational and algebraic numbers. Whenever m is small compared to β, we get a good approximation, which is the case for k = 1, when the equation x 2 + D = y n has a huge solution. We use Padé approximation method to show that when we have a good approximation for k = 1 then we can t get a good approximation m small) for larger values of k. We proceed as follows : in section 2, we use Padé approximations to function 1 x) k to generate approximations for β k. β) In section 3, we get an approximation for β β) k, by using huge solution of x 2 + D = y n. In section 4, by combining approximations we get in sections 2 and 3, we will prove Theorem 1.1. In section 5 we will consider equation x 2 +78 = 11 n.m to show that the value p M in theorem 1.1 is actually not huge, and the equation x 2 +D = p n.m for x less than p m can be solved relatively fast. 2. Padé approximation In this section, we usepadéapproximationstofunction 1 x) k to getapproximations of β k. β) We will follow Bennett [2] to produce these approximations. Let A, B and C be positive integers, define : P A z) = A+B +C +1)! A!B!C! Q A z) = 1)C A+B +C +1)! A!B!C! E A z) = A+B +C +1)! A!B!C! From these definitions, we have 1 1 1 t A 1 t) B z t) c dt 2.1) t B 1 t) C 1 t+zt) A dt 2.2) t A 1 t) C z t) B dt 2.3) P A z) 1 z) B+C+1 Q A z) = z A+C+1 E A z) 2.4) Expanding formulas above, we have the following lemma, which is lemma 1 of [2].
ON THE FACTORIZATION OF x 2 +DGENERALIZED RAMANUJAN-NAGELLEQUATION WITH HUGE SOLUTION)5 Lemma 2.1. With the same conditions as above functions P A, Q A and E A satisfy : C ) ) A+B +C +1 A+C i P A z) = z) i i A i= A ) ) A+C i B +i Q A z) = 1) C z) i C i i= B ) ) A+i A+B +C +1 E A z) = z) i i A+C +i+1 i= Moreover, we have P A z)q A+1 z) Q A z)p A+1 z) = cz A+C+1 [2], which means we can get distinct approximations for 1 z) k. For our purpose, namely finding approximations for β β )k we need diagonal Padé approximations to the function 1 x) k. To do so we will take A = C = r and B = k r 1. Note that by taking A = C, we get a diagonal approximation and from our choice of B, we get the desired approximation of 1 z) k. To summarize, we have the following lemma of [3]. Lemma 2.2. For positive integers k and r with k > r there exist polynomials P r z), Q r z) and E r z) with integer coefficients such that 1) Q r z) = k+r)! 1 k r 1)!r!r! tk r 1 1 t) r 1 t+zt) r dt 2) E r z) = k+r)! 1 k r 1)!r!r! tr 1 t) r 1 tx) k r 1 dt 3) degp r = degq r = r and dege r = k r 1 4) P r z) 1 z) k Q r z) = 1) r z 2r+1 E A z) 5) P r z)q r+1 z) Q r z)p r+1 z) = cz 2r+1 for some non-zero constant c. An important feature of this approximations is the ratio r k it means with smaller ratios we get better results, but on smaller subset of equations, means result will be restricted to larger values of β and hence D. To get more general results, we ll take k = 5j, r = 4j σ and z = β β β = λ β 2.5) where σ {,1}, λ = 2 D if p is an odd prime and λ = D if p = 2. With our choice for k and r we can rewrite Q r z), P r z ) and E r z ) of lemma 2.1 as follows: 4j σ P r z) = 1) σ i= ) 9j σ 8j 2σ i i 4j σ ) z) i
6 AMIR GHADERMARZI Q r z) = 4j σ i= ) 8j 2σ i j +σ 1+i 4j σ i ) z) i j+σ ) ) 4j σ +i 9j σ E r z) = z) i i 8j 2σ+i+1 i= As usual to use Padé approximations, we need explicit bounds on Q r z ) and E r z ). As noted before P r, Q r and E r are all polynomials with integer coefficients. By dividing these polynomials by the GCD of coefficients of these polynomials, we get polynomials with integral coefficients and smaller heights and a consequently better approximation. Let s define ) ) 8j 2σ i j +σ 1+i c σ j) = gcd i {,1,,4j σ} 4j σ Wehavep rz) = c σ j) 1 P r z),q rz) = c σ j) 1 Q r z)ande rz) = c σ j) 1 E r z) are all polynomials with integer coefficients. and obviously part 4 and 5 of lemma 2.2. namely P rz) 1 z) k Q rz) = 1) r z 2r+1 E Az) i P r z) Q r+1 z) Q r z)p r+1 z) = cz2r+1 for some non-zero constant c hold for these new polynomials. Form [4] we have the following lemma to bound c σ j). Lemma 2.3. For j > 5 and σ in{,1}, we have c σ j) > 2.943 j Proof. This special case of proposition 5.1 of [4] with d = 4 c = 5 and m = 1. 2.1. Upper bound for Q r z ). In this section, we assume σ = for σ = 1 one can get much stronger upper bound for Q rz ). First, we recall a lemma [2] to find an upper bound for Lemma 2.4.. A+B +C!) A!B!C! k+r)! k r 1)!r!r! < 1 A+B +C A+B +C) A+B+C 2π ABC A A B B C C from this lemma with suitable choice of A, B and C we have k +r)! k r 1)!r!r! = 9j)! j 1)!4j)!) 2 < 3 3 18 2 16) j 8π For < t < 1 since we have 1 z = β β we get : 1 1 z )t 2 = 1 2bt+t 2
ON THE FACTORIZATION OF x 2 +DGENERALIZED RAMANUJAN-NAGELLEQUATION WITH HUGE SOLUTION)7 Where b = 1 2D. form condition 1.2 since D > 12 we have b is a positive number between and 1 21 β 2 { with bigger value of b we get a bigger value for 1 z) 4 z1 2bz+z 2 ) 2}. It means: { max 1 z) 4 z1 2bz +z 2 ) 2}.44556 t [,1] Also, under the same condition we get 1 1 z) 4 1 2bz +z 2 ) 2 <.2263 Therefore, k +r)! 1 t k r 1 1 t) r 1 t+zt) r dt k r 1)!r!r! 3 3 18 2 16) 1 j 1 z) 4 z1 2bz+z 2 ) 2) j 1 1 t) 4 1 2bz +z 2 ) 2 dt 8π 3 3 18 2 16) 1 j.44556 j 1 1 z) 4 1 2bz +z 2 ) 2 dt 8π 4.96 261.65) j Thus, it follows Q rz ) < 4.96 89.4991) j 2.6) 2.2. upper bound for E rz ). For any t [,1] we have And therefore we get E r z ) = k +r)! k r 1)!r!r! 1 tz 2 = 1 λ z1 z) 1. β 1 t r 1 t) r 1 tx) k r 1 dt k +r)! k r 1)!r!r! 1 Ont the other hand 1 1 t) r t r = r!r! 2r+1)! Therefore k +r)! E r z ) = k r 1)!2r+1)!. Motivated by the last equation, we prove the following lemma Lemma 2.5. Let A and B be positive integers then A+B)! A!B! < 1 A+B A+B) A+B 2π AB A A B B 1 t) r t r dt.
8 AMIR GHADERMARZI Proof. The result follows from explicit version of Stirling s formula by considering the following inequality for positive integers A and B: 1 12A+B) 1 12A+1/4 1 12B +1/4 < From this lemma the weaker bound for E r z ) happens when σ = 1 and for that we have 9j 1)! E r z ) = j)!8j 1)! <.377 ) 9 9 j 8 8 So we have Erz ) <.37 7.847) j 2.7) j To summarize, we have : β k P rz ) β k Q rz ) = β k 2r+1 λ 2r+1 E rz ) 2.8) with explicit exponential bounds on P r z ) and E r z ) in terms of r as desired. 3. Second approximation- Algebraic set up We assumed the equation x 2 +D = p n has a solution x,n) by factoring in ring of algebraic numbers of number field Q D, we have : x + ) D x ) D = p n for odd prime p If p = 2 then D 1 mod 4), so we can factorize the equation as x + D ) x D ) = 2 n 2 ) 2 2 D since p = 1 the ideal p) splits in number field Q D. We get p) = α)α ) with α and α prime ideals in ring of integers of Q D. Since α and α are prime ideals, they both divide at least one of the ideals x + D ). let s assume ideal α divides both ideals x + D ) and x + D ) then 2 D belongs to the ideal α) which by taking norm of both sides since p 2D, one can check that it is not possible. For the case p = 2 same argument with D belongs to the ideal α gives the desired result. So, we can assume x + ) D = α) n x ) D = α ) n for odd prime p and x + ) D x ) D = α) n = α ) n for p = 2 2 2 Note that both ideals α) n and α ) n are principal ideals. To ease the notation, define the generators of these ideals by β and β.
ON THE FACTORIZATION OF x 2 +DGENERALIZED RAMANUJAN-NAGELLEQUATION WITH HUGE SOLUTION)9 Let s assume x 2 + D = p n m, then in ideals of algebraic integers of number field Q D we have the following factorization: x + ) D x ) D = α) n α ) n m) for odd prime p and x + ) D x ) D = α) n 2 α ) n 2 m) for p = 2 2 2 form the assumptions on size of n we have n 5n so we can rewrite the ideal equations above as x + ) D x ) D = β) k β ) k α) l α ) l m) for odd prime p with l < 5n and x + ) D x ) D = β) k β ) k α) l α ) l m) for p = 2 with l < 5n 2 2 2 By a similar argument as before, we see that the ideal β k ) divides the Ideal x + D ) and the ideal β k ) divides the Ideal x D ), but these ideals are all principal and the units of the number fields Q D) are ±1 therefore for p,an odd prime, we get: Therefore, we get x+ D = ±β k µ and x D = ± β k µ β k µ β k µ = ±2 D if p is an odd prime 3.1) β k µ β k µ = ± D if p = 2 3.2) Note that here, we have µ µ = 2 l.m with l < 5n. This means when m is small compared to β k we get a good approximation for β β. This is the case for k = 1, we will show that it s not the case for bigger k. 4. proof of theorem 1.1 In this section, we will prove theorem 1.1 by using approximations of in equations 2.8), 3.1) and 3.2). Through the proof, we assume j 5 n max25,25n 2 ). If we multiply both sides of equation 2.8) by β r we get ) k β β β k P β k Q = E 4.1)
1 AMIR GHADERMARZI where P = β r P r z ), Q = β r Q r z ) and E = β k r 1 λ 2r+1 E r z ) Note that by considering the degree of P r, Q r and E r we can see that P, Q and E are algebraic integers in quadratic number field Q D. Form equations 4.1) and 3.1) and 3.2) we obtain β k Qµ P µ) = ±Qλ E µ where λ = 2 D if p is an odd prime and λ = D if p = 2. From part 5 of lemma 2.2 for at least one of the values of σ in r = 4j σ The left hand side is nonzero. Qµ P µ is an algebraic integer in the number field Q D), so its norm is bigger than 1. Therefore we get β k Q λ + E µ From 2.6) and conditions 1.2 we have : Q λ < 3.86 89.4991) j β r β.492 So whenever β > 95.86 we have β k > 9 1 Q λ from conditions 1.7 one can see that for an odd prime p this is the case for D > 1,and for p = 2 it means D > 39 A quick search in the last table of the paper [8] reveals that for p = 2 and D < 39 the only big solution happens in D = 7 and D = 4 7 which is already being considered in literature [3], so we end up with 1 1 β k β k r 1 λ 2r+1 E r z ) µ. It follows that : ) β r+1 1 µ λ 2r+1 1Er Z ) > If conditions 1.2 is satisfied we have σ+.4 k) 1.96 σ β = β 4 7.847λ) 8 ) j λ j 3.7 ) ) β 5σ+.2 j 1.96 σ β 4 j < λ 8 µ 7.847 6.89 It is easy to check that β k µ >.7x, therefore.7x) σ+.4 1.96 σ < β k µ) σ+.4 1.96 σ, but σ+.4 k) 1.96 σ from above we have β < 1 6.89 µ, so we get µ 2 1.96 σ > 5.24x σ+.4 1.96 σ = µ 2 > 6.32x σ+.4 Finally since x > p max25n/2,125) we have, m µ 2 6.32xσ+.4 > p5n 1 p 5n 1 > x σ
ON THE FACTORIZATION OF x 2 +DGENERALIZED RAMANUJAN-NAGELLEQUATION WITH HUGE SOLUTION)11 This completes proof of theorem 1.1. We would like to add a remark here as we mentioned before, smaller values of r k gives stronger results for larger values of β. As an example, we mention the result for the case in which k = 7j and r = 6j σ without detailed proof. in this case for β > 13, a weaker condition on huge solutions namely β = x + D = p n 2 >C σ,p D 11.76 6σ 11.48 13σ if p is an odd prime x + D β = = p n 1 2 >C σ,2 D 11.76 6σ 11.48 13σ if p = 2 2 4.2) where C σ,p = 4216) 1.96 σ 11.48 13σ and Cσ,2 = 1.28) 1.96 σ 11.48 13σ. Then we have the following theorem Theorem 4.1. Assume the equation x 2 + D = p n has a solution that satisfy conditions of 4.2. Let M = max144,18n 2 ) and β 13, then for any x > pm, if x 2 +D = p n.m, we have m > x σ. 5. the equation x 2 +76 = 11 n.m Theorem 5.1. Let x 2 +76 = 11 n.m then either x {5,11} or m > x.1. Proof. Let x 2 + 76 = 11 n.m. The equation x 2 + 76 = 11 n has a solution 115 2 +76 = 11 3. so we have a solution with n = 3. This solution satisfies condition 1.7 therefore from corollary 1.3 we have for x > 11 125 if x 2 +76 = 11 n.m then m > x.1. Hence we assume x < 11 125 and m < x.1. Therefore we have x < 11 n so we look for n < 125. For the values n < 125 and x < 11 n with x 2 +76 mod 11 n ) we find m = x2 +76 11. From Hensel s lemma for each n there are two n values that need to be checked that can be easily found using a recursiverelation. It takes few seconds to confirm the theorem for all the values n < 3 and actually for x < 11 3 we have a stronger result m > x.9 or x {5,11}. References [1] Bauer, M. Bennett, M. A.: Applications of the hypergeometric method to the generalized Ramanujan-Nagell equation, Ramanujan J. 6 22), 29-27. [2] Bennett, M. Fractional parts of powers of rational numbers, Math. Proc. Cambridge Philos. Soc. 114, 1993), NO.2, 191 21. [3] Bennett, M. A. and Filaseta, M. and Trifonov, O. Yet another generalization of the Ramanujan-Nagell equation, Acta Arithmetica. 134, 28), N.3, 211 217. [4] Bennett, M. A. and Filaseta, M. and Trifonov, O. On the factorization of consecutive integers, J. Reine Angew. Math. 629, 29), 171 2. [5] Beukers, F.: On the generalized Ramanujan-Nagell equation I, Acta Arith. 38 198), 389-41. [6] Beukers, F.: On the generalized Ramanujan-Nagell equation II, Acta Arith. 39 1981), 113-123.
12 AMIR GHADERMARZI [7] Bilu, Yu. Hanrot, G. Voutier, P.: Existence of primitive divisors of Lucas and Lehmer numbers. With an appendix by M. Mignotte), J. Reine Angew. Math. 539 21), 75-122. [8] Bugeaud, Y. Mignotte, M. Siksek, S.: Classical and modular approaches to exponantial Diophantine equations II. The Lebesque-Nagell equation, Compositio Math. 142 26), 31-62. [9] Bugeaud, Y. Shorey, T.N.: On the number of solutions of the generalized Ramanujan- Nagell equation, J. reine angew. Math. 539 21), 55-74. [1] Bugeaud, Y. and Mignotte, M. and Siksek, S. Classical and modular approaches to exponential Diophantine equations. II. The Lebesgue-Nagell equation, Compos. Math. 142, 26), No.1, 31 62. [11] Bérczes, A. and Pink, I. On generalized Lebesgue-Ramanujan-Nagell equations, An. Ştiinţ. Univ. Ovidius Constanţa Ser. Mat. 22, 214), No1, 51 71. [12] Gross, Samuel S. and Vincent, Andrew F. On the factorization of fn) for fx) in Z[x] Int. J. Number Theory, 213), No.3, 1225 1236. [13] Le, M.: Some exponential Diophantine equations. I. The equation D 1 x 2 D 2 y2 = k z. Journal of Number Theory. 55.2 1995), 29-221. [14] Mahler, k. Lectures on Diophantine approximations. Part I: g-adic numbers and Roth s theorem University of Notre Dame Press, Notre Dame, Ind, 1961). [15] Stewart, C. L. A note on the product of consecutive integers, Topics in classical number theory, Vol. I, II Budapest, 1981), 1523 1537 School of Mathematics, Statistics and Computer Science, College of Science, University of Tehran, Tehran, Iran, & School of Mathematics, Institute of Research in Fundamental Science IPM), P.O.BOX 19395-5746 E-mail address: a.ghadermarzi@ut.ac.ir