Products of prime powers in binary recurrence sequences. I. The hyperbolic case, with an application to the generalized Ramanujan-Nagell equation
HTML articles powered by AMS MathViewer
- by A. Pethö and B. M. M. de Weger PDF
- Math. Comp. 47 (1986), 713-727 Request permission
Abstract:
We show how the Gelfond-Baker theory and diophantine approximation techniques can be applied to solve explicitly the diophantine equation ${G_n} = wp_1^{{m_1}} \cdots p_t^{{m_t}}$ (where $\{ {G_n}\} _{n = 0}^\infty$ is a binary recurrence sequence with positive discriminant), for arbitrary values of the parameters. We apply this to the equation ${x^2} + k = p_1^{{z_1}} \cdots p_t^{{z_t}}$, which is a generalization of the Ramanujan-Nagell equation ${x^2} + 7 = {2^z}$. We present algorithms to reduce upper bounds for the solutions of these equations. The algorithms are easy to translate into computer programs. We present an example which shows that in practice the method works well.References
- Alan Baker, Transcendental number theory, Cambridge University Press, London-New York, 1975. MR 0422171, DOI 10.1017/CBO9780511565977
- F. Beukers, On the generalized Ramanujan-Nagell equation. I, Acta Arith. 38 (1980/81), no. 4, 389–410. MR 621008, DOI 10.4064/aa-38-4-389-410
- A. Bremner, R. Calderbank, P. Hanlon, P. Morton, and J. Wolfskill, Two-weight ternary codes and the equation $y^{2}=4\times 3^{\alpha }+13$, J. Number Theory 16 (1983), no. 2, 212–234. MR 698166, DOI 10.1016/0022-314X(83)90042-2
- J.-H. Evertse, On equations in $S$-units and the Thue-Mahler equation, Invent. Math. 75 (1984), no. 3, 561–584. MR 735341, DOI 10.1007/BF01388644
- Helmut Hasse, Über eine diophantische Gleichung von Ramanujan-Nagell und ihre Verallgemeinerung, Nagoya Math. J. 27 (1966), 77–102 (German). MR 200237, DOI 10.1017/S0027763000011892
- Neal Koblitz, $p$-adic numbers, $p$-adic analysis, and zeta-functions, Graduate Texts in Mathematics, Vol. 58, Springer-Verlag, New York-Heidelberg, 1977. MR 0466081, DOI 10.1007/978-1-4684-0047-2
- D. H. Lehmer, On a problem of Störmer, Illinois J. Math. 8 (1964), 57–79. MR 158849, DOI 10.1215/ijm/1256067456 F. J. MacWilliams & N. J. A. Sloane, The Theory of Error-Correcting Codes, North-Holland, Amsterdam, 1977. K. Mahler, "Eine arithmetische Eigenschaft der rekurrierenden Reihen," Mathematika B (Leiden), v. 3, 1934, pp. 153-156. K. Mahler, "Über den grössten Primteiler spezieller Polynome zweiten Grades," Arch. Math. Naturvid. B, v. 41, 1935, pp. 3-26.
- Maurice Mignotte, On the automatic resolution of certain Diophantine equations, EUROSAM 84 (Cambridge, 1984) Lecture Notes in Comput. Sci., vol. 174, Springer, Berlin, 1984, pp. 378–385. MR 779143, DOI 10.1007/BFb0032860
- A. Pethő, Perfect powers in second order recurrences, Topics in classical number theory, Vol. I, II (Budapest, 1981) Colloq. Math. Soc. János Bolyai, vol. 34, North-Holland, Amsterdam, 1984, pp. 1217–1227. MR 781182
- A. Pethő, Full cubes in the Fibonacci sequence, Publ. Math. Debrecen 30 (1983), no. 1-2, 117–127. MR 733078
- Attila Pethő, On the solution of the Diophantine equation $G_n=p^z$, EUROCAL ’85, Vol. 2 (Linz, 1985) Lecture Notes in Comput. Sci., vol. 204, Springer, Berlin, 1985, pp. 503–512. MR 826582, DOI 10.1007/3-540-15984-3_{3}20
- A. J. Van der Poorten, Linear forms in logarithms in the $p$-adic case, Transcendence theory: advances and applications (Proc. Conf., Univ. Cambridge, Cambridge, 1976) Academic Press, London, 1977, pp. 29–57. MR 0498418
- A. Schinzel, On two theorems of Gelfond and some of their applications, Acta Arith 13 (1967/1968), 177–236. MR 0222034, DOI 10.4064/aa-13-2-177-236
- T. N. Shorey and R. Tijdeman, Exponential Diophantine equations, Cambridge Tracts in Mathematics, vol. 87, Cambridge University Press, Cambridge, 1986. MR 891406, DOI 10.1017/CBO9780511566042 C. Størmer, "Quelques théorèmes sur l’équation de Pell ${x^2} - D{y^2} = \pm 1$ et leurs applications," Skrifter Videnskabs-selskabet I, Math.-Naturv. Kl., 1897, pp. 1-48.
- R. J. Stroeker and R. Tijdeman, Diophantine equations, Computational methods in number theory, Part II, Math. Centre Tracts, vol. 155, Math. Centrum, Amsterdam, 1982, pp. 321–369. MR 702521 N. Tzanakis, "On the diophantine equation ${y^2} - D = {2^k}$," J. Number Theory, v. 17, 1983, pp. 144-164. N. Tzanakis & J. Wolfskill, "On the diophantine equation ${y^2} = 4{q^n} + 4q + 1$," J. Number Theory. (To appear.) N. Tzanakis & J. Wolfskill, "The diophantine equation ${x^2} = 4{q^{a/2}} + 4q + 1$ with an application in coding theory." (To appear.)
- A. Pethö and B. M. M. de Weger, Products of prime powers in binary recurrence sequences. I. The hyperbolic case, with an application to the generalized Ramanujan-Nagell equation, Math. Comp. 47 (1986), no. 176, 713–727. MR 856715, DOI 10.1090/S0025-5718-1986-0856715-5
Additional Information
- © Copyright 1986 American Mathematical Society
- Journal: Math. Comp. 47 (1986), 713-727
- MSC: Primary 11D61; Secondary 11Y50
- DOI: https://doi.org/10.1090/S0025-5718-1986-0856715-5
- MathSciNet review: 856715