arxiv: v1 [math.nt] 25 May 2015

Transcription

1 rxiv:155678v1 [mthnt] 5 My 15 A fmily of Thue equtions involving powers of units of the simplest cubic fields pr Clude Levesque et Michel Wldschmidt Résumé E Thoms fut l un des premiers à résoudre une fmille infinie d équtions de Thue lorsqu il considéré les formes F n XY = X 3 n 1X Y n + XY Y 3 et l fmille d équtions F n XY = ±1 n N Cette fmille est ssociée à l fmille des corps cubiques les plus simples Qλ de D Shnks λ étnt une rcine de F n X1 Nous introduisons dns cette fmille un second prmètre en remplçnt les rcines du polynôme miniml F n X1 de λ pr les puissnces -ièmes des rcines et nous résolvons de fçon effective l fmille d équtions de Thue que nous obtenons et qui dépend mintennt des deux prmètres n et Abstrct A fmily of Thue equtions involving powers of units of the simplest cubic fields E Thoms ws one of the first to solve n infinite fmily of Thue equtions when he considered the forms F n XY = X 3 n 1X Y n+xy Y 3 nd the fmily of equtionsf n XY = ±1 n N This fmily is ssocited to the fmily of the simplest cubic fields Qλ of D Shnks λ being root of F n X1 We introduce in this fmily second prmeter by replcing the roots of the miniml polynomil F n X1 of λ by the -th powers of the roots nd we effectively solve the fmily of Thue equtions tht we obtin nd which depends now on the two prmeters n nd Key words: Simplest cubic fields fmily of Thue equtions diophntine equtions liner forms of logrithms AMS Clssifiction: Primry : 11D61 Secondry : 11D41 11D59 1 Introduction In 199 E Thoms [1] considered the fmily F n n of binry cubic irreducible forms F n XY Z[XY]ssocited to the simplest cubic cyclic fields of D Shnks nmely F n XY = X 3 n 1X Y n+xy Y 3

2 Clude Levesque Michel Wldschmidt In prticulr Thoms proved in some effective wy tht the set ofnxy Z 3 with n mx{ x y } nd F n xy = ±1 is finite In his pper he completely solved the cse n In 1993 M Mignotte [7] completed the work of Thoms by solving the problem for ech n see 15 In 1996 M Mignotte A Pethő nd F Lemmermeyer [8] gve for m 1 nd n 165 n explicit upper bound of y when xy re rtionl integers verifying Theorem 1 of [8] implies for n with n bsolute constnt κ 1 > < F n xy m log y κ 1 lognlogn+logm Following [1] compre with [] let us note λ λ 1 = 1 λ +1 nd λ = λ +1 λ the rel roots of the polynomil f n X = F n X1 Z[X] with the convention λ > > λ 1 > 1 > λ These numbers depend on n but no index n ppers to void hevy nottion When is nonzero rtionl integer the binry cubic form F n XY = X YX λ 1 YX λ Y is irreducible in Z[XY] the miniml irreducible polynomil of being F n X1 The purpose of this pper is to prove the following theorem Theorem 11 Let m N = {1} There exist some bsolute effectively computble constnts κ κ 3 κ 4 nd κ 5 such tht if there exists nmxy Z 5 with verifying < F n xy m then the following properties hold true : i When m = 1 nd mx{ x y } we hve mx{ n x y } κ ii We hve logmx{ x y } κ 3 µ

3 with with µ = A fmily of Thue equtions 3 { logm+ log n log n loglog n for n 3 logm+ for n = ±1± iii When n 1 nd y 3 m we hve κ 4 µ logm+lognlognloglogn for n 3 µ = 1+logm for n = 1 iv When xy n nd 1 we hve κ 5 mx { 1 1+log x loglogn+3 log y } logm logn+ Prt i of Theorem 11 extends the result of Thoms to the fmily of Thue equtions F n XY = ±1 Prt ii generlizes the result of Mignotte Pethő nd Lemmermeyer to the fmily of Thue inequtions F n XY m though in the cse = 1 our bound for y in ii is not s shrp s the one of [8] Moreover the prt iii of our theorem tkes cre of the fmily of ll Thue inequtions F n XY m in the cse where is sufficiently lrge with respect to n Since F n1 XY = F n XY nd F n 1 XY = F n YX when = ±1 the prt i of Theorem 11 boils down to the theorem of [1] quoted bove The result of Thoms [1] shows tht there is only finite set of triples nxy such tht mx{ x y } nd x λ y is unit The prt i of Theorem 11 shows tht there is only finite set of qudruples nxy with mx{ x y } nd such tht x y is unit nd our method provides n lgorithm for exhibiting them ll The ssumption mx{ x y } in i cnnot be omitted since F n1 1 1 = 1 for ll n When = ±1 the prt ii of Theorem 11 is consequence of the Theorem 1 of [8] quoted bove The proof of the prt i of Theorem 1 in the cse n log n 4 will be done in prllel with the proof of the prt ii while in the cse where is sufficiently lrge with respect to n nmely > κ 4 log n loglog n for n 3 nd > κ 4 for n = ±1±

4 4 Clude Levesque Michel Wldschmidt the prts i nd ii of Theorem 1 re consequences of the prt iii The proof of the prt iv of Theorem 11 lso involves Diophntine rgument which will be given in 14 Under the hypotheses of Theorem 11 ssuming xy nd we conjecture the upper bound mx{log n log x log y } κ 6 1+logm though for m > 1 we cnnot give n upper bound for n Since the rnk of the units of Qλ is one my expect more generl result s follows : Conjecture 11 For st nd n in Z define F nst XY = X λ s λ t 1YX λ s 1λ t YX λ s λ t Y There exists positive bsolute constnt κ 7 with the following property : If n s t x y m re integers stisfying then mx{ x y } st nd < F nst xy m mx{log n s t log x log y } κ 7 1+logm The prts ii nd iii of Theorem 11 involve fmily of Thue inequtions F n xy m with m 1 but it suffices to consider for ech m {1m} the fmily of Thue equtions F n xy = m where the unknowns nxy tke their vlues in Z 4 The constnts κ which will pper often implicitly in the O s re positive numbers bsolute constnts the existence of which is postulted To prove prts i nd ii of Theorem 11 there is no restriction in ssuming n thnks to the equlity F n 1 XY = F n Y X which implies F n 1 XY = F n Y X In the sme vein the reltion F n XY = F n YX llows to suppose 1 As consequence of these two reltions in the prt iii we my replce the ssumptions n 1 nd y 3 m by min{ x y } 3 m provided tht we replce n nd by n nd respectively in the conclusion

5 Moreover becuse of the reltion A fmily of Thue equtions 5 F n XY = F n X Y to prove ech prt of Theorem 11 we my ssume y Since the prts i nd ii of Theorem 11 re not new for = 1 we my ssume which is no restriction for the prts iii nd iv It hppens tht this pper is the fourth one in which we use the effective method rising from Bker s work on liner forms of logrithms for fmilies of Thue equtions obtined vi twist of given eqution by units The first pper [3] ws deling with non totlly rel cubic fields ; the second one [4] ws deling with Thue equtions ttched to number field hving t most one rel embedding In the third pper [5] for ech irreducible binry form ttched to n lgebric number field which is not totlly rel cubic field we exhibited n infinite fmily of equtions twisted by units for which Bker s method provides effective bounds for the solutions In this pper we del with equtions relted to infinite fmilies of cyclic cubic fields In forthcoming pper [6] we go one step further by considering twists by power of totlly rel unit Relted results Let us stte other results involving the fmilies of Thoms Theorem 3 of M Mignotte A Pethő nd F Lemmermeyer [8] published in 1996 gives complete list of the triples xyn Z 3 with n such tht < F n xy n+1 In prticulr when m is given positive integer there exists n integer n depending upon m such tht the inequlity F n xy m with n nd y > 3 m implies n n Note tht for < t 3 m tt nd t t re solutions Therefore the condition y > 3 m cnnot be omitted Also in 1996 for the fmily of Thue inequtions < F n xy m JH Chen [1] hs given bound for n by using Pdé s pproximtions This bound ws highly improved in 1999 by G Lettl A Pethő nd P Voutier [] More recently I Wkbyshi [11] using gin the pproximnts of Pdé extended these results to the fmilies of forms depending upon two prmeters sx 3 tx Y t+3sxy sy 3 which includes the fmily of Thoms fors = 1 witht = n 1 Wkbyshi considered lso the fmily of qurtic forms sx 4 tx 3 Y 6sX Y +txy 3 +sy 4

6 6 Clude Levesque Michel Wldschmidt nd the fmily of sextic forms sx 6 tx 5 Y 5t+15sX 4 Y sx 3 Y 3 +5tX Y 4 +t+6sxy 5 +sy 6 When the following polynomils re irreducible for st Z the fields Qω generted by root ω of respectively sx 3 tx t+3sx s sx 4 tx 3 6sX +tx +s sx 6 tx 5 5t+15sX 4 sx 3 +5tX +t+6sx +s re cyclic over Q of degree 3 4 nd 6 respectively nd re clled simplest fields by mny uthors In ech of the three cses the roots of the polynomils cn be described vi homogrphies of PSL Z of degree 3 4 nd 6 respectively See [ 11] 3 A side remrk The prts ii nd iii of Theorem 11 my be viewed s writing lower bounds for F n xy In some opposite direction we cn exhibit qudruples nxy Z 4 such tht F n xy tkes reltively smll vlues Lemm 31 Let n nd 1 be integers There exist infinitely mny xy Z with y > such tht F n xy yn+4 The proof of Lemm 31 will use the following bounds for the three roots of f n X = F n1 X1 for n ; the bounds re given in [] nd re esily vlidted with MAPLE : the bounds re given in [] 31 n+ 1 n < n+ n+1 < λ < n+ n 1 n+1 < 1 1 n+1+ 1 < λ 1 < n n+1+ 1 n+ n 1 1 n < 1 n n +1 < λ < 1 n n + 1 n+1 1 For n = 1 f 1 X = X 3 3X 1 = X λ X λ 1 X λ nd we hve < λ < < λ 1 < < λ < 153 Proof of Lemm 31 Let ǫ be positive rel number We will prove refined version of Lemm 31 ccording to which there exist infinitely mny

7 xy Z with y > such tht A fmily of Thue equtions 7 F n xy 1 y1+ǫ λ λ 1 λ Lemm 31 will follow from the upper bound λ λ 1 λ λ < n+4 by selecting ǫ sufficiently smll so tht 1+ǫ λ λ 1 λ n+4 We my ssume ǫ < 3 so tht 1+ ǫ 3 < 1+ǫ Let Y be sufficiently lrge integer so tht 1 Y ǫ 3 min{ λ λ 1 λ λ } Thnks to the theory of Diophntine rtionl pproximtion of rel numbers continued frctions Frey sequences or geometry of numbers we know tht there exist infinitely mny couples xy Z with y Y nd y x λ y 1 For these couples xy of integers we hve x y x λ y + λ λ y 1 y + λ λ 1+ y y ǫ 3 x λ 1 y x λ y + λ λ 1 y 1 y + λ λ 1 y y 1+ ǫ 3 whereupon we hve λ λ λ 1 F n xy = x y x λ 1 y x λ y 1 y1+ǫ λ λ 1 λ λ 4 The nottion O When U V W re rel numbers depending upon the dt of the problem tht we del with nmely n x y nd m the nottions U = V +OW or U V = OW men tht there exists n bsolute positive constnt κ such tht U V κ W for mx{ n } sufficiently lrge These bsolute constnts κ together with the bsolute constnt defined by the miniml vlue of mx{ n } from which ll these inequlities hold true re effectively computble

8 8 Clude Levesque Michel Wldschmidt for We lso write U = V W U = V +OVW Very often the following lemm will be used without being explicitly quoted Lemm 41 Let U U 1 U V V 1 V W W 1 W be rel functions of n nd Suppose tht V V 1 V do not vnish nd tht when mx{ n } goes to infinity the limits of W W 1 W ll re i Suppose U = V W 1 nd W 1 W Then ii Suppose U = V W U = V W Then for mx{ n } sufficiently lrge U nd one hs 41 V = U W 4 U = V W 43 1 U = 1 W V 44 log U = log V +OW iii Suppose U 1 = V 1 W1 nd U = V W Let W = mx{ W 1 W } Then U 1 U = V 1 V W If in ddition V 1 nd V hve the sme sign then U 1 +U = V 1 +V W iv Suppose U = V 1 W nd V 1 = V W Then U = V W

9 A fmily of Thue equtions 9 Proof Since only the bsolute vlues of W W 1 W come into ply we will ssume tht these vlues re The prt i follows from the definition of O The hypothesis in ii implies the existence of n bsolute constnt κ > such tht for mx{ n } sufficiently lrge we hve 45 V κ V W U V +κ V W The number t = κw verifies t < 1 whereupon for mx{ n } sufficiently lrge U U nd V re of the sme sign nd 46 1 κw U V 1+κW For t 1/ one hs 1 t 1 1+t 1 nd t 1+t For mx{ n } sufficiently lrge the number t = κw verifies t 1/; hence 1 1 κw 1+κW V U 1 1 κw 1+κW nd U κ U W V U +κ U W which secures the equlity 41 The proof of 4 is direct Upon division of ech member of 45 by UV which is positive we obtin 1 U κw U 1 V 1 U +κw U which leds to 43 For t 1/ we hve t log1 t nd log1+t t Thnks to 46 these inequlities with t = κw imply 44 This tkes cre of the proof of ii Using i we deduce from the hypothesis in iii tht there exists constnt κ such tht 47 V 1 κ V 1 W U 1 V 1 +κ V 1 W nd V κ V W U V +κ V W To estimte the vlue of the product by using 4 we re reduced to the cse where U 1 nd U re both positive nd so will be V 1 nd V Multiplying the members of these inequlities we obtin V 1 κv 1 WV κv W U 1 U V 1 +κv 1 WV +κv W It only remins to use the upper bound 3κV 1 V W for κv 1 V W+κ V 1 V W to conclude since W goes to

10 1 Clude Levesque Michel Wldschmidt For the sum supposing tht V 1 nd V hve the sme sign which is lso the sign ofu 1 ndu we dd the corresponding members of the inequlities 47 : V 1 +V κ V 1 + V W U 1 +U V 1 +V +κ V 1 + V W; note tht V 1 +V = V 1 + V So the prt iii is secured Notice tht the hypothesis tht V 1 nd V hve the sme signs my not be removed : consider for instnce V 1 = V U 1 = V 1 U = V +W Under the hypotheses of iv there exists n bsolute constnt κ > such tht for mx{ n } sufficiently lrge we hve Hence U V 1 κ V 1 W nd V 1 V κ V W U V U V 1 + V 1 V κ V 1 + V W κ V W +κ V +κ V WW 3κ V W since κw 1 for mx{ n } sufficiently lrge This completes the proof of Lemm 41 5 Estimtes for x λ i y Suppose tht n m x y re rtionl integers with n m 1 nd y such tht F n xy = m When n nd re bounded by bsolute constnts the conclusion of the prts iii nd iv of Theorem 11 is immedite while the upper bounds for mx{ x y } given in the prts i nd ii of Theorem 11 come from the theorem of Thue under n effective formultion given by NI Feldmn nd A Bker tht one cn find for instnce in Theorem 51 of [9] Therefore let us suppose mx{n} sufficiently lrge so we re free to use the nottion O of Section 4 Our pper [6] tkes cre of the cse where n is bounded by n bsolute constnt This llows us to suppose n 1 Thnks to 31 nd to our ssumption n 1 we hve λ < λ We deduce 1 λ 1 = λ = λ λ 1 = λ λ λ 1

11 from which we obtin λ 1 λ λ 1 λ λ λ λ λ 1 Writing we hve λ 1 λ A fmily of Thue equtions 11 = 1 λ +1 λ = 1+1 λ λ +1 λ = 1 λ γ = x y γ 1 = x λ 1y γ = x λ y 51 γ γ 1 γ = m For t lest one index i {1} we hve γ i 3 m nd such n index will be denoted by i The two other indices will be denoted by i 1 i under the ssumption tht i i 1 i be circulr permuttion of 1 Let us first consider n esy cse of the prt ii of Theorem 11 nmely when we re under the hypothesis tht y 3 m It turns out tht we hve hence x γ i +y λ i 3 m+y logmx{ x y} 1 3 logm++1logn+ which is much stronger thn required to secure the conclusion of the prt ii of Theorem 11 When y = or y = 1 the first cse of Theorem 11 is immedite As mtter of fct the hypothesis mx{ x y } forces x nd ech of the two cses y = nd y = 1 re delt with in some elementry wy From now on nd up to the end of section 13 we will ssume tht we re under the hypothesis 5 y 3 m Lemm 51 i Suppose i = We hve γ 1 = y 1 λ γ = m y λ γ = y λ λ

12 1 Clude Levesque Michel Wldschmidt from which we obtin γ λ 1 λ γ λ 1 λ = mλ +1 y 3 λ 5 ii Suppose i = 1 We hve 1 γ = yλ γ 1 = γ = y m y λ +1 from which we obtin γ 1 λ λ γ λ λ 1 = m y 3 λ +1 iii Suppose i = We hve λ γ = yλ γ = λ 1 λ γ 1 = yλ m y λ +1 from which we obtin γ λ 1 γ 1 λ = m y 3 λ +1 Proof We will use the equlity λ 1 λ λ 1 53 γ j = x λ jy = γ i +λ i λ jy to estimte γ γ 1 nd γ λ i Suppose i = Using the hypotheses 5 nd γ i 3 m we deduce from 53 1 λ γ 1 = y nd γ = yλ nd in this cse the estimte for γ results from 51 Finlly we deduce the refined estimte 1 γ 1 = y λ from 53 gin ii Suppose i = 1 We hve 1 γ = y nd λ λ 1 = λ 1 λ

13 A fmily of Thue equtions 13 From the inequlities γ 1 3 m y nd λ λ we deduce using 53 γ 1 4 y; then the use of 51 gives for sufficiently lrge mx{n} γ 1 5m y 5 3 m 4λ Let us redo the sme clcultions though this time in 53 we replce the initil upper bound γ 1 3 m by this lst improved bound This leds on the one hnd to 1 γ = yλ λ On the other hnd thnks to 51 we hve γ 1 = m y λ +1 1 Using this lst upper bound in 53 we re led to the estimte for γ 1 iii Suppose tht i = The proof of this prt mimics the proof of the prt ii The estimte for γ follows from 53 Next we use the inequlities γ y nd λ λ to obtin for sufficiently lrge mx{n} γ 5 3 m 4λ Using this lst upper bound in 53 we re led to the estimte for γ 1 given in the lemm nd we use it with 51 to obtin the estimte for γ Note tht we hve γ i m y λ if i = m y λ +1 if i {1}

14 14 Clude Levesque Michel Wldschmidt 6 Rewriting n element of norm m Any pir of elements mong {λ λ 1 λ } is fundmentl system of units for the cubic field Qλ p 37 of [1] Using result of Mignotte Pethő nd Lemmermeyer we cn write n element of norm m in wy tht we hve better control on it The result is obtined s consequence of Lemm 3 of [8] nd it reds s follows Lemm 61 Let γ be nonzero element of Z[λ ] of norm Nγ = m Then there exist some integers A B nd some nonzero element δ of Z[λ ] with conjugtes δ = δ δ 1 nd δ such tht with for ny n 3 γ = δλ A λ B 3 m n+3 δ i n+3 3 m for i {1} nd 3 m n+3 δ n+3 3 m Moreover if m = 1 then δ = δ 1 = δ = 1 The sttement of the lst lemm follows from Lemm 3 of [8] by tking c 1 = c = 3 m n+3 As in [1] we use λ = λ λ 1 nd λ but in [8] these elements correspond respectively to λ 3 λ 1 nd λ The lst estimtions for δ i with i {1} nd for δ led to the inequlities log δ i 1 3 logm 1 logn+3 nd log δ 1 3 logm logn+3 Moreover we hve 3 mx{1 δ i } n+3 m; i=1 since δ is n lgebric integer we deduce 61 hδ 3 logn logm In the cse m = 1 the conclusion of the lemm holds with δ = ±1 since {λ λ } is fundmentl system of units for the ring Z[λ ]

15 A fmily of Thue equtions 15 7 Some estimtions on the integers A nd B We will use {λ λ } for fundmentl system of units for the cubic field Qλ Note tht we hve 71 log λ 1 1 λ nd λ log λ 1 = logλ log λ The reltion 51 nd Lemm 61 indicte tht there exist rtionl integers A B nd n element δ Z[λ ] with conjugtes δ 1 nd δ verifying the conclusion of Lemm 61 such tht vi Glois ctions we hve 7 γ = δ λ A λb γ 1 = δ 1 λ A 1 λb = δ 1 λ A+B λ A γ = δ λ A λb 1 = δ λ B λ A B Let us estimte A nd B Writing c i = log γ i log δ i for i = 1 we obtin Alogλ +Blog λ = c Alog λ 1 +Blogλ = c 1 Alog λ +Blog λ 1 = c The first two equtions suffice to find the vlues A nd B The determinnt R where R = logλ log λ 1 log λ logλ is not zero We hve A = 1 R c logλ c 1 log λ nd B = 1 R c log λ 1 c 1 logλ which by tking into ccount the reltion λ λ 1 λ = 1 we write s 73 A = 1 c logλ c 1 log λ nd B = 1 c +c 1 logλ +c log λ R R The following estimtes for c = log γ log δ nd c 1 = log γ 1 log δ 1 result from Lemm 51 Lemm 71 i Suppose i = Then we hve c = logm logy logλ log δ +O c 1 = logy +logλ log δ 1 +O 1 λ λ

16 16 Clude Levesque Michel Wldschmidt ii Suppose i = 1 Then we hve 1 c = logy +logλ log δ +O λ 1 c 1 = logm logy logλ log λ log δ 1 +O iii Suppose i = Then we hve λ c = logy +logλ log δ +O λ 1 c 1 = logy +log λ log δ 1 +O From Lemm 71 we deduce the following Lemm 7 We hve logy A + B κ 8 + logλ The Siegel eqution leds to the identity 8 The Siegel eqution γ i λ i 1 λ i +γ i1 λ i λ i +γ i λ i λ i 1 = γ i1 λ i λ i γ i λ i 1 λ i 1 = γ i λ i 1 λ i γ i λ i 1 λ i which will be used lter From Lemm 51 we deduce the inequlities γ i1 λ i 81 < λ i γ i λ i 1 λ i 1 m y 3 λ Since 9 Switching from A nd B to A nd B γ 1 γ = δ 1 δ λ A+B λ A+B γ γ = δ δ λ A B λ A B γ γ 1 = δ δ 1 λ A B λ A+B

17 A fmily of Thue equtions 17 we re led to introduce A+B A+B for i = A B = A BA B for i = 1 A BA+B for i = so we cn write 91 with Since γ i1 λ i λ i γ i λ i 1 λ i = µλa λ B µ = δ i 1 δ i λ i λ i λ i 1 λ i hλ = 1 3 logλ +log λ = 1 3 logλ +1 nd since by the inequlity 61 δi1 h hδ 4 3 logn+3+ 3 logm we hve δ i hµ 4 3 logn+3+ 3 logm+ 4 3 logλ +1+log whereupon we obtin 9 hµ 3 logm+logn+3 By using 91 we write 81 s 93 < µλ A λ B 1 m y 3 λ 1 Proof of the second prt of Theorem 11 We re now redy to write the Proof of the prt ii of Theorem 11 Let us write the right member of 91 in the form λ A λ B µ = γ c 1 1 γc γc 3 3 with γ 1 = λ γ = λ γ 3 = µ c 1 = A c = B c 3 = 1 The inequlity 9 provides n upper bound for the height of µ Note tht A + B 3 A + B

18 18 Clude Levesque Michel Wldschmidt Let us use Proposition of [5] with s = 3 H 1 = H = κ 9 logn H 3 = 3κ 9 logm+logn logn C = A + B logm+logn + This gives γ i1 λ i λ i γ i λ i 1 λ i 1 exp{ κ 1 logm+lognlogn logc } We deduce from 81 the existence of constnt κ 11 such tht 11 logy κ 11 logm+lognlogn logc Then Lemm 7 leds to A + B κ 1 logm+lognlognlogc hence C κ 1 logn logc whereupon C κ 13 logn loglogn This leds to 1 A + B κ 14 logm+lognlognloglogn with κ 14 > From 11 we deduce logy κ 15 logm+lognlogn loglogn Finlly x γ i +y λ i 3 m+y 1 y +yλ yλ hence log x κ 15 logm+lognlogn loglogn This secures the proof of the prt ii of Theorem 11 Remrk When we suppose n 3 n m logn 3 nd 13 the upper bound 1 gives n logn 4 14 A + B κ 14 n loglogn logn

19 A fmily of Thue equtions Estimtions of logy In this section we combine Lemm 51 with the results of Section 7 ; this llows to estimte logy in two different wys A comprison between the two estimtes will provide some reltions nother proof of which being given in Lemm 11 Lemm 111 i If i = then we hve 1 logy = log δ 1 A B +logλ Alog λ +O λ λ = log δ B +logλ +A Blog λ +O ii If i = 1 then we hve 1 logy = log δ Blogλ +A B log λ +O 1 = log δ +A logλ +Blog λ +O λ iii If i = then we hve 1 logy = log δ 1 A Blogλ A+log λ +O λ = log δ +A logλ +Blog λ +O Proof i Suppose i = Then we hve from which we deduce We lso hve hence γ 1 = δ 1 λ A+B λ A = y y = δ 1 λ A+B λ A 1 λ 1 λ γ = δ λ B λ A B = y y = δ λ B λ A B ii Suppose i = 1 Then we hve γ = δ λ B λ A B = yλ λ λ 1 λ

20 Clude Levesque Michel Wldschmidt from which we deduce We lso hve hence y = δ λ B λ A B γ = δ λ A λ B = y y = δ λ A λ B iii Suppose i = Then we hve from which we deduce We lso hve hence 1 1 λ γ 1 = δ 1 λ A+B λ A = yλ y = δ 1 λ A+B λ A γ = δ λ A λ B = y y = δ λ A λ B 1 λ 1 λ 1 λ λ Lemm 11 One hs A logλ +B log λ +log δ 1 λ δ +O λ Λ = A +logλ +B log λ +log δ 1 δ +O with A logλ +B +log λ +log δ λ δ 1 +O Proof i Suppose i = We just use Λ = A logλ +B log λ +log δ 1 δ +log λ λ λ 1 λ log λ λ λ 1 λ = O λ if i = if i = 1 if i =

21 A fmily of Thue equtions 1 ii Suppose i = 1 This time we use Λ = A logλ +B log λ +log δ δ +log λ λ 1 λ λ 1 with log λ λ 1 1 λ λ 1 = logλ log λ +O λ iii Suppose i = Here we use with Λ = A logλ +B log λ +log δ δ 1 +log λ 1 λ λ log λ 1 λ λ = logλ +log λ +O λ By using nd 111 we deduce from Lemm 11 the following sttement Corollry 111 Assume m lrge n logn 3 n nd n sufficiently logn 4 i Suppose i = Then A B 1 Moreover if m = 1 then A = B ii Suppose i = 1 Then A+B 1 If m = 1 then A+B = iii Suppose i = Then A B 1 If m = 1 then A = B + Proof Thnks to Lemm 11 we hve the following equlities : If i = then A Blogλ +log δ δ 1 + A B λ If i = 1 then A+B logλ +log δ A B = O δ λ A B +1 = O λ A B +1 If i = then A B logλ +log δ A+B + A+B = O δ 1 λ λ U +1 In O where U is either A B A B or A+B+ we λ included +1 in order to tke into ccount the cse U = λ

22 Clude Levesque Michel Wldschmidt The following inequlites which come from Lemm 61 will be used : log δ δ 1 logn+3 log δ δ 3 logn+3 log δ δ 1 3 logn+3 Then we cn count on 14 nd 111 to clim tht ech of the terms A B A B A+B + A + B + O λ λ λ goes to s n goes to infinity It hppens tht in ech of the cses i ii iii we hve formul looking like V logλ + log δ i which goes to [δ j Since logλ behves like logn since log δ i is between 3/logn + 3 [δ j nd +3/logn + 3 nd since V Z we deduce tht V is between 1 nd +1 Finlly in the cse m = 1 Lemm 61 llows us to use the fct tht δ = δ 1 = δ = 1 In tking the logrithms of the bsolute vlues we deduce from 93 nd from the ssumption 5 tht the number Λ = A logλ +B log λ +log µ with µ = δ i 1 λ i λ i δ i λ i 1 λ i verifies 111 < Λ κ 16 λ with κ 16 > As consequence we hve 11 A logλ +log δ 1 λ δ +B log λ = O A logλ +log δ δ B log λ = O A logλ +log δ λ δ 1 +B +log λ = O 1 if i = if i = 1 if i = These estimtes lso follow from Lemm 111 by using Lemm 41

23 A fmily of Thue equtions 3 1 Proof of the first prt of Theorem 11 Let us ssume the hypotheses of Theorem 11 with m = 1 nd let us lso suppose n logn 4 We pply the previous results to the cse m = 1 by supposing tht n is sufficiently lrge sy n κ 17 nd by ssuming tht we hve solution with y Note tht by Lemm 61 we hve δ = δ 1 = δ = 1 Depending upon the vlues of i there re three cses to consider i Suppose i = By Corollry 111 we hve A = B nd from 11 we deduce λ A+Blog λ = O Hence A = B nd consequently A = B = Now Lemm 111 implies the contrdiction 1 logy = logλ +O λ This is not possible since y ii Suppose i = 1 Corollry 111 gives A + B = From 11 we deduce 1 A B log λ = O λ This lst reltion implies A = B + hence B = nd A = Then Lemm 111 implies 1 logy = O λ which is not possible becuse y iii Suppose i = Thnks to Corollry 111 we hve A B = From 11 we deduce λ A+B +log λ = O hence A+B = Therefore A = nd B = Then Lemm 111 implies 1 logy = logλ log λ +O This is not possible since y This proves tht under the hypotheses of the prt i of Theorem 11 in the cse 13 we hve n < κ 17 This implies tht is lso bounded becuse of 13 λ

24 4 Clude Levesque Michel Wldschmidt 13 Proof of the third prt of Theorem 11 From Lemm 11 we deduce the following Lemm 131 One hs A logλ +B log λ +log δ 1 δ κ 18 λ A +logλ +B log λ +log δ δ κ 18 A logλ +B +log λ +log δ δ 1 κ 18 λ if i = if i = 1 if i = Proof of the prt iii of Theorem 11 We will tke dvntge of Lemm 131 by using Proposition of [5] with s = 3 H 1 = H = κ 19 logn H 3 = 3κ 19 logm+logn C logn = A + B + logm+logn + This proposition llows to exhibit lower bound for the left member of the inequlities of Lemm 131 nmely We re led to exp{ κ logm+lognlogn logc } κ 1 logm+lognlognlogc Thnks to 1 we lso hve C logn 3 logn logm+logn + hence logn logm+logn κ 1 logn This llows to write 3loglogn+log κ 4 logm+lognlognloglogn logn logm+logn + This proves the prt iii of Theorem 11 nd lso completes the proof of the prt i of Theorem 11

25 A fmily of Thue equtions 5 14 Proof of the fourth prt of Theorem 11 Proof of the prt iv of Theorem 11 We my ssume κ y 1 mx{ x y} κ e nd 4m λ / with sufficiently lrge constnt κ Using the estimtes nd x y λ y x λ y 1 λ 1 λ y x λ 1y x λ 1 y x 1 x we deduce from the reltion the estimtes 141 < m = x yx λ 1 yx λ y λ y x 1 4m x λ / Since λ 1 nd λ / < 1/ we deduce y x We use Proposition of [5] with s = γ 1 = λ γ = y x c 1 = c = 1 H 1 = logn+ H = 1+log x C = logn+ + H This gives γ c 1 1 γc 1 exp{ κ 3 H 1 H logc } Combining with 141 we obtin Hence C logc κ 4logn+ κ 5 1+log x loglogn+3 This completes the proof of the prt iv of Theorem Some numericl clcultions Fix n integer n For ll integers the cubic forms F n XY = X 3 u X Y + 1 v XY Y 3 cn be explicitly written by using the recurrence formuls for u nd v nmely { u+3 = n 1u + +n+u +1 +u v +3 = n+v + n 1v +1 v

26 6 Clude Levesque Michel Wldschmidt with the the initil conditions F n XY = X 3 3X Y +3XY Y 3 F n1 XY = X 3 n 1X Y n+xy Y 3 F n XY = X 3 n +5X Y +n +n+6xy Y 3 For instnce F n3 XY = X 3 n 3 +6n 4X Y n 3 +3n +9n+11XY Y 3 F n4 XY = X 3 n 4 +8n 4n+13X Y +n 4 +4n 3 +14n +4n+6XY Y 3 F n5 XY = X 3 n 5 +1n 3 5n +5n 16X Y n 5 +5n 4 +n 3 +45n +7n+57XY Y 3 F n6 XY = X 3 n 6 +1n 4 6n 3 +4n 3n+38X Y +n 6 +6n 5 +7n 4 +74n n +186n+19XY Y 3 Let us mke few remrks bout the solutions of the Thue equtions F n XY = c with c {+1 1} For ll n Z with the only solutions xy with xy = re given by F n c = c nd F n c = c the solutions c nd c being dubbed trivil solutions Suppose tht for ll integers n nd 1 we know the solutions of F n XY = 1 Then becuse of the formuls F n XY = F n X Y F n 1 XY = F n Y X we cn exhibit for ll integers n Z with 1 the solutions of Moreover becuse of the formuls F n XY = c F n XY = F n YX we cn exhibit for ll n Z with the solutions of F n XY = c The elements of the sequences {u } nd {v } verify the following properties which will prove useful in the proof of Proposition 151

27 A fmily of Thue equtions 7 Lemm 151 Let n nd be nonzero integers i For n 1 with 1 we hve u > except for n = 11 where u 1 = ii For n 1 with we hve u > nu 1 except for n = 13 where u 3 = u iii For n 1 with we hve v > u +v 1 except for n = 1 where v = u +v 1 ; for n we hve v 1 = u 1 +v ; moreover for n nd 1 we hve u v iv For n with 1 we hve v > v 1 except for n = 1 where v 1 v = 3 nd for n = 3 where v 3 v = 116 nd for n = 11 where v 1 v = 33 v For n = with 1 we hve < 1 u 1 v except for = where u v = 56 Proof The proof of i is esy ii Assume n 1 The inequlity u nu 1 is true for = 34 nd is strict for these vlues of with n 13 Suppose now tht for some given 4 the inequlity is true for 1 nd Let us prove it for +1 Using the liner recurrence stisfied by the elements of {u } nd the induction hypothesis we hve u +1 = n 1u +n+u 1 +u > n 1nu 1 +n+nu +nu 3 = nu 1 iii For n = we hve v 1 = u 1 + v Assume n 1 The inequlity is true for = 34 nd is strict for with n 1 Suppose now tht for some given 4 the inequlity is true for 1 nd Let us prove it for +1 In wht follows we will use the liner recurrence stisfied by the elements of {v } the induction hypothesis nd the results of the prts i nd ii : v +1 u +1 = n+v n 1v 1 v n 1u n+u 1 u = v +u +v 1 v n+u 1 u +n+1v u v 1 v +u +v 1 v n+u 1 u The lst ssertion is obvious v +u +v +u 1 v n+u 1 u = v +u nu 1 +v u > v +v 3 > v

28 8 Clude Levesque Michel Wldschmidt iv Assume tht n 111 nd suppose tht n The proof will be by induction on The result is true for = 134 Assume tht for some given 4 the result is true for 1 nd Let us prove it for +1 : v +1 = v +nv n 1v 1 v > v +nv 1 n 1v 1 v = v +n+1v 1 v > v v Assume n = We hve { u = 3 u 1 = 1 u = 5 u 3 = 4 u 4 = 13 u 5 = 16 v = 3 v 1 = v = 6 v 3 = 11 v 4 = 6 v 5 = 57 The result is true for = 1345 Assume 5 nd suppose tht it is true for 1 nd Let us prove it for +1 : 1 +1 u +1 = 1 +1 u +u 1 +u 1 u u 1 1 v +v 1 1 v + 1 v 1 v +1 Proposition 151 Suppose n nd 1 The only cses where F n c 1 c = c with cc 1 c {+1 1} re the following ones : F 1 c c = c F cc = c F n1 cc = c for ny n Proof SinceF n X Y = F n XY it suffices to investigte when 11 nd 11 re solutions of F n XY = c Suppose first tht 11 is solution The eqution we consider is u + 1 v = c Let = 1; this implies n = nd c = 1 hence F 1 c c = c Let = ; this implies n = nd c = 1 hence F cc = c Finlly in the cse 3 we deduce from the prts iii nd iv of Lemm 151 tht this does not occur Suppose next tht 11 is solution The eqution we consider is u 1 v = c+ If = 1 then c = 1 nd ny n is dmissible hence F n1 cc = c If = this is impossible Finlly in the cse 3 we deduce gin from the prts iii iv nd v of Lemm 151 tht this does not occur

29 A fmily of Thue equtions 9 When xym Z 3 is given with xy nd m > the prt iv of Theorem 11 shows in n effective wy the finiteness of the set of couples n with n nd 1 for which < F n xy m excluding the cses exhibited in Proposition 151 Let us give n elementry proof in the cse where y = ±x Lemm 15 Let x Z nd c in {+1 1} For n 1 nd we hve F n xcx x 3 8 n 1 For n nd = 1 we hve For n = nd 3 we hve F n1 xx = n+1x 3 F xcx x 3 1 Proof These results re trivil forx = By homogeneity we my ssume x = 1 For < u < 1 we hve nd for t we hve hence log1+u u e t 1 t 1+u 1 = exp log1+u 1 log1+u u We use this estimte with u = λ 1 Recll tht u 1 n+1 1 n Hence 1 λ c λ 1 = 1+u 1 4n The first prt of the lemm follows from the identity where F n 1c = 1 c1 λ 1 c1 λ c 1 c1 λ 1c 11 λ 1 1 n The second prt of the lemm 15 follows from the explicit expression for F n1 XY For the third prt we obtin the required inequlity by using the prt iv of Lemm 151

30 3 Clude Levesque Michel Wldschmidt Let c {+1 1} nd let n N with 1 We wonder whether ll the solutions xy Z of F n xy = c re given by c c for ny n nd 1 cc for ny n nd = 1 cc for n = nd = c c for n = nd = 1 the exotic solutions n cx cy In the bove list the solutions ssocited to = 1 come from [1] nd [7] Moreover the other solutions were obtined vi MAPLE in the rnge n xy 1 Acknowledgments We hertily thnk Iso Wkbyshi for his clever remrks on preliminry version of this pper Bibliogrphie [1] JH Chen Efficient rtionl pproximtion of clss of lgebric numbers in Chinese Chinese Science Bulletin [] G Lettl A Pethő nd P Voutier Simple fmilies of Thue inequlities Trns Amer Mth Soc [3] C Levesque nd M Wldschmidt Fmilies of cubic Thue equtions with effective bounds for the solutions Springer Proceedings in Mthemtics & Sttistics [4] C Levesque nd M Wldschmidt Solving simultneously Thue Diophntine equtions : lmost totlly imginry cse Proceedings of the Interntionl Meeting on Number Theory 11 in honor of R Blsubrmnin HBA Indi ; to pper [5] C Levesque nd M Wldschmidt Solving effectively some fmilies of Thue Diophntine equtions Moscow J of Combintorics nd Number Theory

31 A fmily of Thue equtions 31 [6] C Levesque nd M Wldschmidt Fmilies of Thue equtions ssocited with totlly rel rnk 1 subgroup of the units of number field Work in progress [7] M Mignotte Verifiction of conjecture of E Thoms J Number Theory [8] M Mignotte A Pethő nd F Lemmermeyer On the fmily of Thue equtions x 3 n 1x y n+xy y 3 = k Act Arith [9] TN Shorey nd R Tijdemn Exponentil Diophntine equtions vol 87 of Cmbridge Trcts in Mthemtics Cmbridge University Press Cmbridge 1986 [1] E Thoms Complete solutions to fmily of cubic Diophntine equtions J Number Theory pp 35 5 [11] I Wkbyshi Simple fmilies of Thue inequlities Ann Sci Mth Québec 31 7 no 11 3 Clude Levesque Dép de mthémtiques et de sttistique Université Lvl Québec Québec CANADA G1V A6 E-mil : cl@mtulvlc Michel Wldschmidt UPMC Univ Pris 6 UMR 7586-IMJ F 755 Pris Frnce E-mil : michelwldschmidt@imj-prgfr URL: michelwldschmidt/