Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)



Products of prime powers in binary recurrence sequences. II. The elliptic case, with an application to a mixed quadratic-exponential equation

Author: B. M. M. de Weger
Journal: Math. Comp. 47 (1986), 729-739
MSC: Primary 11D61; Secondary 11Y50
MathSciNet review: 856716
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: In Part I the diophantine equation $ {G_n} = wp_1^{{m_1}} \cdots p_t^{{m_t}}$ was studied, where $ \{ {G_n}\} _{n = 0}^\infty $ is a linear binary recurrence sequence with positive discriminant. In this second part we extend this to negative discriminants. We use the p-adic and complex Gelfond-Baker theory to find explicit upper bounds for the solutions of the equation. We give algorithms to reduce those bounds, based on diophantine approximation techniques. Thus we have a method to solve the equation completely for arbitrary values of the parameters. We give an application to a quadratic-exponential equation.

References [Enhancements On Off] (What's this?)

  • [1] A. Baker & H. Davenport, "The equations $ 3{x^2} - 2 = {y^2}$ and $ 8{x^2} - 7 = {z^2}$," Quart. J. Math. Oxford Ser. (2), v. 20, 1969, pp. 129-137. MR 0248079 (40:1333)
  • [2] P. Kiss, "Zero terms in second order linear recurrences," Math. Sem. Notes Kobe Univ., v. 7, 1979, pp. 145-152. MR 544926 (80j:10015)
  • [3] K. Mahler, "Eine arithmetische Eigenschaft der rekurrierenden Reihen," Mathematika B (Leiden), v. 3, 1934, pp. 153-156.
  • [4] A. Pethö & B. M. M. de Weger, "Products of prime powers in binary recurrence sequences. I," Math. Comp., v. 47, 1986, pp. 713-727. MR 856715 (87m:11027a)
  • [5] R. J. Stroeker & R. Tijdeman, "Diophantine equations," in Computational Methods in Number Theory (H. W. Lenstra, Jr. and R. Tijdeman, eds.), MC Tract 155, Amsterdam, 1982, pp. 321-369. MR 702521 (84i:10014)
  • [6] M. Waldschmidt, "A lower bound for linear forms in logarithms," Acta Arith., v. 37, 1980, pp. 257-283. MR 598881 (82h:10049)

Similar Articles

Retrieve articles in Mathematics of Computation with MSC: 11D61, 11Y50

Retrieve articles in all journals with MSC: 11D61, 11Y50

Additional Information

Article copyright: © Copyright 1986 American Mathematical Society

American Mathematical Society