arXiv:2010.10014v1 [math.NT] 20 Oct 2020 as suethat assume where where nqeydtrie.W altesqec ( sequence the call We determined. uniquely h roots the where Then ewrs ulnnmes ierrcrec eune ierfo linear sequence, recurrence Linear numbers, equation. Cullen Keywords: Let h hrceitcplnma of polynomial characteristic The 00MteaisSbetCasfiain rmr 13,Seconda 11B39, Primary Classification: Subject Mathematics 2010 ULNNMESI USO EM FRECURRENCE OF TERMS OF SUMS IN NUMBERS CULLEN U r a f α eosrt u ehdb nexample. an by method our demonstrate U nti ae,w eeaieterwr,a ela u eutfie th fixes result our as well as work, polynomial their e given an generalize a is for we there particular, However, paper, studied. this been In has assumptions weak certain 3,gnrlzdCle ubr ntrso ierrcrec sequenc recurrence linear of terms in numbers Cullen generalized [3], es w,adfraypstv integer positive any for and two, least Abstract. n 1 eapstv nee.Telna eurnesqec ( sequence recurrence linear The integer. positive a be i 1 n ( a , . . . , α , . . . , 1 seeg hoe 1i atCo 1] a ierpeetto fth of representation nice a has [14]) of C part in C1 Theorem e.g. (see x α + saplnma fdegree of polynomial a is ) i , · · · (1 t ≥ r + ≤ t f ∈ 2 U r itntagbacnmesand numbers algebraic distinct are ( i e ( Let , n x Z ≤ k n h hrceitcpolynomial characteristic the and := ) = with r U f(.)aesml ot n hence and roots simple are (1.2) of ) ℓ n · ) x n x r ≥ a ℓ − 0 U r + eafie ierrcrec euneo neeswt re at order with integers of sequence recurrence linear fixed a be n and 0 6= Q ..MHRADS .ROUT S. S. AND MEHER N.K. U a = 1 ( n x x ,adpoeeetv ntns eut utemr,we Furthermore, result. finiteness effective prove and ), = r X i − =1 1. t 1 a U SEQUENCE 1 − · · · − Q f n Introduction U U i ( ( sdfie by defined is x n m 0 n ℓ ) − U , . . . , let , ) i 1 ∈ α − + 1 i n Z ℓ a [ ( 1 · · · x U r · ecnie h ipatn equation Diophantine the consider we ] 2 o all for r n = ℓ − i ) + eaCle ubr eetyin Recently number. Cullen a be 1 + n 1 1 = Y i ≥ =1 a r neesntalzero. all not integers are t 0 r ( U simple n t , . . . , x f m n − − ≥ sirdcbeover irreducible is 1 r m , . . . , α 0 , m nlgrtm,Diophantine logarithms, in rms i y11J86. ry n hsrpeetto is representation this and ) f ) if m U i ( i n t n ) ∈ n(.)aeconstants, are (1.3) in ) = rri hi proof. their in rror t n ≥ Z r oiieintegers. positive are ( e 0 r [ nti ae,we paper, this In . X forder of U i ro.In error. eir n (1.2) ] ) n ≥ 0 Q under r hs all Thus, . sdefined is form e (1.1) (1.3) CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE 2 say fi (because the degree of fi(n) would be at most mi 1=1 1 = 0) and hence (1.3) becomes − − r U = f αn for all n 0. (1.4) n i i ≥ i=1 X If α > α for all j with 2 j r, then we say that α is a dominant root of the | 1| | j| ≤ ≤ 1 sequence (Un)n≥0.
The Cullen numbers are elements of the sequence (Cℓ)ℓ≥0, where the ℓ-th term of the ℓ sequence is given by Cℓ := ℓ 2 +1, with ℓ Z≥0. This sequence was first introduced by Father J. Cullen [5] and it· is also mentioned∈ in Guy’s book [7, Section B20]. In 1976, C. Hooley [8] proved that almost all Cullen numbers are composite. However, there is a conjecture that there are infinitely many Cullen primes. One of the Cullen prime having more than 2 million digits is C6679881.
Further, we define the generalized Cullen numbers are the numbers of the form C = ℓ sℓ +1 ℓ,s · where ℓ 1 and s 2. Clearly, Cℓ,2 = Cℓ for all ℓ 1. For simplicity we call Cℓ,s as s-Cullen≥ numbers. ≥ ≥
The occurrence of Cullen numbers in recurrence sequence has been analyzed by various authors. For instance, Luca and Shparlinski [9] studied on the pseudoprime Cullen numbers and Berrizbeitia et. al., [2] investigated on Cullen numbers which are both Riesel and Sierpinski numbers. Further, Luca and St˘anic˘a [10] proved that there are only finitely many Cullen numbers in a binary recurrence sequence under some additional assumptions. Besides this, they showed that the largest Fibonacci number in the Cullen sequence is F4. Recently, Bilu et. al., [3] studied the occurrence of generalized Cullen numbers in a fixed linear recurrence sequences. In particular, they proved that there are finitely many solutions in integers (n, m, x) of the Diophantine equation G = m xm + T (x) (1.5) n · for a given polynomial T (x) Z[x] with some assumptions on the roots of characteristic ∈ polynomial of the given linear recurrence sequence (Gn) of order at least two.
However, there is an error in their proof [3, Theorem 1]. For instance, consider the linear recurrence sequence of order three defined by the recurrence relation G =3G 3G +2G , n 0 n+3 n+2 − n+1 n ≥ with initial values G0 = 0,G1 = 1 and G2 = 1. The characteristic polynomial of Gn is x3 3x2 +3x 2 and its roots are 2, (1 √3i)/2. Here these roots satisfy all the technical− conditions− in [3, Theorem 1]. Taking± T (x)= 1 in (1.5), we get − G = m xm 1. (1.6) n · − CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE 3
The integer solutions of (1.6) are precisely (n, m, x) (6k +1, 1, 2), (6k +2, 1, 2) k Z ∈{ | ∈ ≥0} which shows that the conclusion in [3, Theorem 1] is false.
1.1. Main results. In this paper, for a given polynomial Q(x) Z[x] we study the following Diophantine equation ∈ U + + U = ℓ xℓ + Q(x) (1.7) n1 ··· nk · in non negative integers n1,...,nk,ℓ with n1 > n2 > > nk 0. Our main result is the following. ··· ≥
Theorem 1. Let (Un)n≥0 be a linear recurrence sequence of order at least two such that its characteristic polynomial is irreducible over Q and has a real dominant root α > 1 and let Q(x) Z[x] be a polynomial. Then there exists an effectively computable 1 ∈ constant C depending only on (Un)n≥0, and Q(x) such that the solutions (n1, n2,...,nk,ℓ) of equation (1.7) satisfy max n , n ,...,n ,ℓ
Fibonacci sequence (Fn)n 0 is a well known recurrence sequence of order two which satisfies the recurrence relation≥ F = F + F , n 2 n n−1 n−2 ≥ with initial values F0 = 1 and F1 = 1. Thus, from (1.4) we have the Binet form αn βn Fn = − (1.8) √5 where α = (1+ √5)/2 and αβ = 1. From the well known Binet form, we deduce the − bound of Fn as αn−2 F αn−1. (1.9) ≤ n ≤ Our next theorem illustrates Theorem 1 for Fibonacci sequence.
Theorem 2. If (n1, n2,ℓ) is a solutions of the Diophantine equation F + F = ℓ 2ℓ + 1 (1.10) n1 n2 · in non-negative integers n , n ,ℓ with n n 0, then 1 2 1 ≥ 2 ≥ max n , n ,ℓ < 7 1018. { 1 2 } × Remark 1.3. However, we expect that if (1.10) holds with n n 0, then 1 ≥ 2 ≥ (n , n ,ℓ) (1, 0, 0), (2, 0, 0), (4, 0, 1), (3, 1, 1), (3, 2, 1), (6, 1, 2), (6, 2, 2), (14, 6, 6) . 1 2 ∈{ } CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE 4
2. Auxiliary results
Let η be an algebraic number of degree d with minimal polynomial d c xd + c xd−1 + + c = c X η(i) , 0 1 ··· d 0 − i=1 Y (i) where c0 is the leading coefficient of the minimal polynomial of η over Z and the η ’s are conjugates of η in C. We define the absolute logarithmic height of an algebraic number η as 1 d h(η)= log c + log max(1, η(i) ) . d | 0| | | i=1 ! X In particular, if η = p/q is a rational number with gcd(p, q) = 1 and q > 0, then h(η) = log max p , q . {| | } To prove our theorem, we use lower bounds for linear forms in logarithms to get a bound for max n1,...,nk,ℓ appearing in (1.7). Generically, we need the following general lower bound{ for linear} forms in logarithms due to Matveev [11, Theorem 2.2].
Lemma 2.1 ([11]). Let γ1,...,γs be real algebraic numbers and let b1,...,bs be non-zero rational integer numbers. Let D be the degree of the number field Q(γ1,...,γs) over Q and let Aj be real numbers satisfying A max Dh(γ ), log γ , 0.16 , j =1, . . . , s. (2.1) j ≥ { j | j| }
Assume that B max b ,..., b and Λ := γb1 γbs 1. If Λ =0, then ≥ {| 1| | s|} 1 ··· s − 6 Λ exp 1.4 30s+3 s4.5 D2(1 + log D)(1 + log B)A A . | | ≥ − × × × 1 ··· s Lemma 2.2. Suppose that (Un)n≥0 has a real simple dominant root α1 with 1 <α1 Z n 6∈ and f1 is the constant coefficient of α1 defined in the formula (1.3). Set −1 Λ =1 ℓf −1xℓα−n1 1+ αn2−n1 + + αni−n1 i − 1 1 1 ··· 1 for all 2 i k. If Λ = 0, then there exists an index m with 2 m t such that ≤ ≤ i ≤ ≤ nk < κi, where m log(i·(|f ( )|/|f |)) 1 1 if α 1 log α1 m κi := (m) | | ≤ (2.2) log(i·(|f1 |/|f1|)) if αm > 1. log(α1/|αm|) | | Proof. Suppose that Λi = 0. This implies ℓxℓ = f (αn1 + + αni ) . (2.3) 1 · 1 ··· 1 Since α1 / Z, then there exists a conjugate αm of α1 in the field Q(α1,...,αt) such that α = α .∈ Therefore, by taking the m-th conjugate of both sides of (2.3), we get 1 6 m ℓxℓ = f (m) (αn1 + + αni ) , (2.4) 1 · m ··· m CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE 5
(m) (here f1 is m-th conjugate of f1). As α1 > 1 and it is real, we deduce from (2.3) and (2.4), f αn1 < f αn1 + + αni = f (m) αn1 + + αni . | 1| 1 | 1|| 1 ··· 1 | | 1 || m ··· m | This implies αn1 < i ( f (m) / f ) α n1 (2.5) 1 · | 1 | | 1| | m| and hence n1 < κi where κi is given in (2.2).
−1 ℓ −n1 ℓ n1 Remark 2.3. Suppose Λ1 := 1 ℓf1 x α1 =0. Then ℓx = f1α1 . So by taking conju- − ℓ (m) n1 (m) gation of this relation in Q(α1,...,αt), we get ℓx = f1 αm , where f1 is the conjugate (m) of f over Q(α ,...,α ). Thus by taking absolute values, we obtain α /α n1 = f /f 1 1 t | 1 m| | 1 1| and this implies n = log( f (m)/f )/ log( α /α ) =: κ . 1 | 1 1| | 1 m| 1 Proposition 3. Let (Un)n≥0 be a linear recurrence sequence of order at least two such that its characteristic polynomial is irreducible and has a real dominant root α1 > 1. If equation (1.7) holds with n > n > > n , then for 2 i k we have, 1 1 ··· k ≤ ≤ (n n ) C (log x)i−1(log n )2i−2. (2.6) 1 − i ≤ i 1
Proof. Without loss of generality, we may assume that x 2 in (1.7) and α2 α . Suppose κ := max κ , , κ , where κ (1 i k≥) are defined in| Lemma|≥···≥ 2.2) | r| { 1 ··· k} i ≤ ≤ and Remark 2.3. Now, we may assume n1 > κ. In the proof, c1,...,c23 denote positive effective constants depending on (Un)n≥0 and Q(x).
We use induction method to find an upper bound of n1 ni. We first calculate the upper bound of n n . Let us consider the equation (1.7)− and rewrite this as 1 − 2 k r ℓ xℓ f αn1 = U + f αn1 Q(x). (2.7) · − 1 1 ni i i − i=2 i=2 X X From, (1.4), we obtain (see [1, Lemma 3.2]) U c α n (n 1). (2.8) | n| ≤ 1| 1| ≥ Hence from (2.7) and (2.8), ℓxℓ f αn c α n2 + c α n1 + Q(x) c ( α n2 + α n1 ). (2.9) | − 1 1 | ≤ 2| 1| 3| 2| | | ≤ 4 | 1| | 2| Dividing both sides of the equation (2.9) by f αn1 , we get | 1 1 | 1 ℓf −1α−n1 xℓ c α n2−n1 . (2.10) | − 1 1 | ≤ 5| 1| −1 −n1 ℓ We denote Λ1 := 1 (ℓf1 )α1 x and by Remark 2.3, Λ1 = 0 as n1 > κ. In order to apply Lemma 2.1, we− consider 6 −1 D := Q(γ1,...,γs)/Q,s := 3, γ1 := ℓf1 , γ2 := α1, γ3 := x and b := 1, b := n , b := ℓ. 1 2 − 1 3 CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE 6
Note that ℓxℓ + Q(x) ℓxℓ Q(x) . | |≥| |−| | Thus, we have ℓ ℓ ℓx ℓx + Q(x) + Q(x) = Un + + Un + Q(x) | |≤| | | | | 1 ··· k | | | (2.11) k U + Q(x) c αn1 . ≤ | n1 | | | ≤ 6 1 and this implies ℓ log x c n log α . Hence, ≤ 7 1 1 ℓ c n log α / log x n − −n ℓxℓ f αn1 1+ αn2−n1 + α k 1 1 c αnk + c α n1 + Q(x) (2.15) − 1 1 1 ··· 1 ≤ 14 1 15| 2| | | nk n1 c16(α1 + α2 ). ≤ | | Dividing both side of the equation (2.15) by f αn1 1+ αn2−n1 + αnk−1−n1 , we get 1 1 1 ··· 1 −1 1 ℓf −1xℓα−n1 1+ αn2−n1 + αnk−1−n1 c αnk−n1 . (2.16) − 1 1 1 ··· 1 ≤ 17 1 −1 Here we denote Λ = 1 ℓf −1xℓα−n1 1+ αn2−n1 + αnk−1−n1 . We will use k−1 − 1 1 1 ··· 1 Lemma 2.1 to compute the lower bound of Λk−1. As n1 > κ, we infer that Λk−1 = 0. To use Lemma 2.1, we choose 6 D := Q(γ1,...,γs)/Q, s := 4, γ := ℓf −1, γ := α , γ := x, γ = 1+ αn2−n1 + αnk−1−n1 1 1 2 1 3 4 1 ··· 1 and b := 1, b := n , b := ℓ, b = 1. 1 2 − 1 3 4 − CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE 7 Now choose B = max b , b , b , b = c n . We have already computed h(γ ), {| 1| | 2| | 3| | 4|} 18 1 1 h(γ2) and h(γ3). Now will estimate h(γ4). By induction hypothesis, we obtain h(γ ) c (n n ) log α c (log x)k−2(log n )2k−4 log α . 4 ≤ 19 1 − k−1 1 ≤ 20 1 1 By applying Lemma 2.1, we have k−2 2k−4 log Λk−1 c21(1 + log n1) log ℓ log x log α1(log x) (log n1) ≥ − (2.17) c (log x)k−1(log n )2k−2. ≥ − 22 1 By comparing both upper and lower bound of Λk−1, we get (n n ) c (log x)k−1(log n )2k−2 1 − k ≤ 23 1 and this completes the proof of the proposition. 3. Proof of Theorem 1 First we assume that n1 > κ, where κ := max κ1, , κk−1 , are defined in Lemma 2.2). Without loss of generality, we assume α { ··· α .} In the proof, c ,...,c | 2|≥···≥| r| 24 31 denote positive effective constants depending on (Un)n≥0 and Q(x). Now rewrite (1.7) as k r ℓxℓ f (αn1 + αn2 + + αnk )= f αnj Q(x). (3.1) − 1 1 1 ··· 1 i i − j=1 i=2 X X Taking absolute values on both sides of (3.1) ℓxℓ f (αn1 + αn2 + + αnk ) c α n1 + Q(x) c α n1 . | − 1 1 1 ··· 1 | ≤ 24| 2| | | ≤ 25| 2| Since α is a dominant root, there exists δ (0, 1) such that 1 ∈ ℓxℓ f (αn1 + αn2 + + αnk ) c α (1−δ)n1 . (3.2) | − 1 1 1 ··· 1 | ≤ 26| 1| Dividing both sides of the equation (3.2) by f (αn1 + αn2 + + αnk ) , we get | 1 1 1 ··· 1 | 1 ℓf −1xℓα−n(1 + αn2−n1 + + αnk−n1 )−1 | − 1 1 1 ··· 1 | (1−δ)n1 (3.3) c27α1 −δn1 n −n n −n c28α1 . ≤ α n1 (1 + α 2 1 + + α k 1 ) ≤ | 1| | 1 ··· 1 | Thus, our required linear form is Λ := 1 ℓf −1xℓα−n(1 + αn2−n1 + + αnk−n1 )−1 k − 1 1 1 ··· 1 and Λ = 0 since n > κ (see Lemma 2.2). k 6 1 By applying Lemma 2.1 using Proposition 3, we obtain k−1 2k−2 k 2k log Λk c29(1+log n1) log ℓ log x log α1(log x) (log n1) c30(log x) (log n1) . | | ≥ − ≥ − (3.4) CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE 8 Now from (3.3) and (3.4), we have n c (log x)k(log n )2k. 1 ≤ 31 1 k Therefore, n1 4. Proof of Theorem 2 For the reason of symmetry in (1.10), we assume that n n . Firstly, consider that 1 ≥ 2 n1 = n2. Then, (1.10) becomes 2F = ℓ 2ℓ +1. (4.1) n1 · Since the left hand side of (4.1) is even and the right hand side is odd, (4.1) has no solution. Now, assume that n1 > n2. Further, if n2 = 0, then (1.10) becomes F = ℓ 2ℓ +1, n1 · and the solutions are (n ,ℓ) (1, 0), (2, 0), (4, 1) (see [10]). From now on, assume that 1 ∈{ n1 > n2 > 0. From (2.11), we get ℓ 2ℓ 2 F +1. | · | ≤ | n1 | Now, we will work on the assumption that n1 > n2. 4.1. Bounding (n n ) in terms of n . From Eq.(1.10) and (1.9), we get 1 − 2 1 2ℓ <ℓ 2ℓ +1= F + F 2αn1−1. (4.2) · | n1 n2 | ≤ Taking logarithms on both sides of the inequality (4.2), we obtain log α ℓ 1+(n 1) 0.75n . (4.3) ≤ 1 − log 2 ≤ 1 Using β < 1 and ℓ 0.75n , similar to the inequality (2.10), we obtain | | ≤ 1 1 ℓ2ℓα−n1 √5 (2√5+1)αn2−n1 . (4.4) − ≤ Suppose 1 ℓ2ℓα−n1 √5 = 0, then − ℓ2ℓ√5= αn1 . (4.5) Taking squares on the both sides of (4.5), we arrive at a contradiction as the left hand side of resulting equation is rational whereas the right hand side is irrational. In order to apply Lemma 2.1, we take B = n , h(γ ) = log 2 = 0.6931 < 0.7, h(γ ) = (log α)/2= 1 1 ··· 2 0.2406 < 0.25, h(γ ) = log(√5) < 0.81, h(γ ) = log ℓ < log n. We can choose ··· 3 4 A1 =1.5, A2 =0.5, A3 =1.7, A4 = 2 log n. Using these parameters, we obtain exp( 1.3 1014 (1 + log n ) log n ) < (2√5+1)αn2−n1 . − × × 1 1 CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE 9 Further, since (1 + log n1) < 2 log n1 and log ℓ< log n1, we get (n n ) log α< 3.5 1014(log n )2, (4.6) 1 − 2 × 1 which leads to 3.5 1014 (n n ) < × (log n )2 < 7.27 1014(log n )2. (4.7) 1 − 2 log α 1 × 1 Similarly, the inequality corresponding to second linear form is 1 ℓ2ℓ√5α−n1 (1 + αn2−n1 )−1 (2√5+1)α−n1 . (4.8) | − | ≤ Here, we choose h(γ1) = log 2 = 0.6931 < 0.7, h(γ2) = (log α)/2=0.2406 < n2−n1 −1 ··· ··· 0.25,γ3 = √5(1 + α ) < 0.81, h(γ4) = log ℓ < log n. In this case, A1 and A2 are same as in the previous case,| and since log α 2(log √5+(n n ) + log 2) < 2.1 1015(log n )2, 1 − 2 2 × 1 we take A := 2.1 1015(log n )2. Again, employing Lemma 2.1, we obtain 3 × 1 exp( 7.3 1011 (1 + log n )(2.1 1015(log n )2) log n ) (2√5+1)α−n1 (4.9) − × × 1 × 1 1 ≤ and this implies 3.3 1027 n < × (log n )4 < 6.9 1027(log n )4. (4.10) 1 log α 1 × 1 Further, using reduction procedure based on the LLL-algorithm [15], we obtain n1 n2 < 230 and hence n < 7 1018. This completes the proof. − 1 × Remark 4.2. To explicitly find all the solutions of (1.10), one needs to further reduce the size of n1 and the usual method for this process is Baker-Davenport reduction method (or results related to Dujella-Peth¨otheorem). However, for this problem, we have a form like log 2 log ℓ√5 ℓ n + . log α − 1 log α ! In this case, to use the reduction method, we should get a positive lower bound for ǫ depending on ℓ which by its size 1015 makes the calculation impossible. ≈ References [1] A. B´erczes, L. Hajdu, I. Pink and S. S. Rout, Sums of S-units in recurrence sequences, J. Number Theory 196 (2019), 353-363. [2] P. Berrizbeitia, J.G. Fernandes, M. Gonz´nskialez, F. Luca, V. Janitzio, On Cullen numbers which are both Riesel and Sierpi´nski numbers, J. Number Theory 132 (2012), 2836-2841. [3] Y. Bilu, D. Marques and A. Togb´e, Generalized Cullen numbers in linear recurrence sequences,J. Number Theory 202 (2019), 412 - 425. [4] J. J. Bravo and F. Luca, On a conjecture about repdigits in k-generalized Fibonacci sequences, Publ. Math. Debrecen 82 (2013), 623–639. [5] J. Cullen, Question 15897 Educ. Times 534 (1905). CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE 10 [6] A. Dujella and A. Peth˝o, A generalization of a theorem of Baker and Davenport, Quart. J. Math. Oxford Ser. 49 (1998), 291–306. [7] R. Guy, Unsolved Problems in Number Theory, Springer-Verlag, New York, 1994. [8] C. Hooley, Application of the Sieve methods to the Theory of Numbers, Cambridge University Press, Cambridge, 1976. [9] F. Luca, I. Shparlinski, Pseudoprime Cullen and Woodall numbers, Colloq. Math. 107 (2007) 35-43. [10] F. Luca and P. St˘anic˘a, Cullen numbers in binary recurrent sequences, in Applications of Fibonacci Numbers, 10, Kluwer Academic Publishers, (2004), pp. 167-175. [11] E. M. Matveev, An explicit lower bound for a homogeneous rational linear form in the logarithms of algebraic numbers II, Izv. Math. 64 (2000), 1217–1269. [12] E. Mazumdar and S. S. Rout, Prime powers in sums of terms of binary recurrence sequences, Monatsh. Math. 189 (2019), 695–714. [13] N. K. Meher and S. S. Rout, Linear combinations of prime powers in sums of terms of binary recurrence sequences, Lith. Math. J. 57 (4) (2017), 1–15. [14] T. N. Shorey and R. Tijdeman, Exponential Diophantine Equations, Cambridge University Press, Cambridge, 1986. [15] R. Stroeker and B. M. M. de Weger, Solving elliptic Diophantine equations: the general cubic case, Acta Arith., 87(4) (1999), 339-365. Nabin Kumar Meher, National Institute of Science Education and Research, Bhubaneswar, HBNI, P.O. Jatni, Khurda, Odisha -752050, India. Email address: [email protected] Sudhansu Sekhar Rout, Institute of Mathematics and Applications, Andharua, Bhubaneswar, Odisha - 751029, India. Email address: [email protected]; [email protected]