Shifted powers in binary recurrence sequences

DOI10.1017/S0305004114000681MaRDI QIDQ5360308zbMATH OpenOpenAlexFDO

Authors Michael A. Bennett, Sander R. Dahmen, Maurice Mignotte, Samir Siksek

Publication date 28 September 2017

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1408.1710

Mathematics Subject Classification ID

Recurrences (11B37) Exponential Diophantine equations (11D61) Elliptic curves over global fields (11G05) Linear forms in logarithms; Baker's method (11J86)

Abstract: Let $u_k$ be a Lucas sequence. A standard technique for determining the perfect powers in the sequence $u_k$ combines bounds coming from linear forms in logarithms with local information obtained via Frey curves and modularity. The key to this approach is the fact that the equation $u_k=x^n$ can be translated into a ternary equation of the form $a{y}^2=b{x}^{2n}+c$ (with $a$, $b$, $cinmathbbZ$) for which Frey curves are available. In this paper we consider shifted powers in Lucas sequences, and consequently equations of the form $u_k=x^n+c$ which do not typically correspond to ternary equations with rational unknowns. However, they do, under certain hypotheses, lead to ternary equations with unknowns in totally real fields, allowing us to employ Frey curves over those fields instead of Frey curves defined over $mathbbQ$. We illustrate this approach by showing that the quaternary Diophantine equation $x^{2n}pm6x^n+1=8y^2$ has no solutions in positive integers $x$, $y$, $n$ with $x$, $n>1$.

Recommendations

• Shifted powers in Lucas-Lehmer sequences
• On the shifted product of binary recurrences
• Powers of sequences and recurrence
• scientific article; zbMATH DE number 1355191
• scientific article; zbMATH DE number 1305305
• Power classes of recurrence sequences
• scientific article; zbMATH DE number 2211873
• On binary recurrence sequences
• scientific article; zbMATH DE number 1391703
• Power multiples in binary recurrence sequences: an approach by congruences

Cites work

• Almost powers in the Lucas sequence
• An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers. II
• Classical and modular approaches to exponential Diophantine equations. I: Fibonacci and Lucas perfect powers
• Criteria for irreducibility of mod p representations of Frey curves
• Elliptic curves over real quadratic fields are modular
• Fibonacci numbers at most one away from a perfect power
• scientific article; zbMATH DE number 3771704 (Why is no real title available?)
• scientific article; zbMATH DE number 814533 (Why is no real title available?)
• Integral points on congruent number curves
• Linear forms in two and three logarithms and interpolation determinants
• Linear forms in two logarithms and interpolation determinants II
• On a question of B. Mazur
• Pure powers in recurrence sequences and some related diophantine equations
• The asymptotic Fermat's last theorem for five-sixths of real quadratic fields
• The Magma algebra system. I: The user language

Cited in

(9)

• Generalized Fibonacci numbers of the form wx^2 + 1
• Odd values of the Ramanujan tau function
• Shifted powers in Lucas-Lehmer sequences
• Criteria for irreducibility of mod p representations of Frey curves
• Superelliptic equations arising from sums of consecutive powers
• Generalized Fibonacci numbers of the form 11x^2 + 1
• scientific article; zbMATH DE number 1305305 (Why is no real title available?)
• Powers in Lucas sequences via Galois representations
• Perfect powers in elliptic divisibility sequences

Describes a project that uses

Uses Software

• Magma
• PARI/GP

This page was built for publication: Shifted powers in binary recurrence sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5360308)