Effective results for linear equations in members of two recurrence sequences

DOI10.4064/AA180427-13-11MaRDI QIDQ5226467zbMATH OpenOpenAlexWikidataFDO

Authors Volker Ziegler

Publication date 31 July 2019

Published in Acta Arithmetica (Search for Journal in Brave)

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

zbMATH Keywords

Diophantine equationsdigit expansionsrecurrence sequences

Mathematics Subject Classification ID

Other number representations (11A67) Recurrences (11B37) Fibonacci and Lucas numbers and polynomials and generalizations (11B39) Exponential Diophantine equations (11D61)

Abstract: Let $(U_n{)}_{n=0}^{i}nfty$ and $(V_m{)}_{m=0}^{i}nfty$ be two linear recurrence sequences. For fixed positive integers $k$ and $ell$, fixed $k$-tuple $(a_1,dots,a_k)inmathbb{Z}^k$ and fixed $ell$-tuple $(b_1,dots,b_{e}ll)inmathbb{Z}^{e}ll$ we consider the linear equation ${\displaystyle }$a_1U_{n_1}+cdots +a_k U_{n_k}=b_1V_{m_1}+cdots + b_ell V_{m_ell}${\displaystyle }$ in the unknown non-negative integers $n_1,dots,n_k$ and $m_1,dots,m_{e}ll$. Under the assumption that the linear recurrences $(U_n{)}_{n=0}^{i}nfty$ and $(V_m{)}_{m=0}^{i}nfty$ have dominant roots and under the assumption of further mild restrictions we show that this equation has only finitely many solutions which can be found effectively.

Recommendations

• A diophantine equation concerning linear recurrences
• scientific article; zbMATH DE number 2210126
• Two equations for linear recurrence sequences
• Effective resolution of Diophantine equations of the form \(u_n+u_m=w p_1^{z_1} \dotsm p_s^{z_s}\)
• scientific article; zbMATH DE number 484825

Cites work

• scientific article; zbMATH DE number 3882509 (Why is no real title available?)
• scientific article; zbMATH DE number 1200746 (Why is no real title available?)
• scientific article; zbMATH DE number 484825 (Why is no real title available?)
• scientific article; zbMATH DE number 1467843 (Why is no real title available?)
• An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers. II
• Classical and modular approaches to exponential Diophantine equations II. The Lebesgue–Nagell equation
• Classical and modular approaches to exponential Diophantine equations. I: Fibonacci and Lucas perfect powers
• Computing the effectively computable bound in Baker's inequality for linear forms in logarithms, and: Multiplicative relations in number fields: Corrigenda and addenda
• Distinct digits in basebexpansions of linear recurrence sequences
• Equations au l n = bu k m Satisfied by Members of Recurrence Sequences
• Heights on groups and small multiplicative dependencies
• Linear forms in two and three logarithms and interpolation determinants
• Logarithmic forms and group varieties.
• Multiplicative relations in number fields
• Odometers and systems of numeration
• On Diophantine equations involving sums of Fibonacci numbers and powers of 2
• On a variant of Pillai's problem. II.
• On the Diophantine equation \(F_n + F_m=2^a\)
• On the representation of Fibonacci and Lucas numbers in an integer base
• On the representation of an integer in two different bases.
• PV-numbers and sets of multiplicity
• Powers of two as sums of three Pell numbers
• Powers of two as sums of two \(k\)-Fibonacci numbers
• Products of Prime Powers in Binary Recurrence Sequences Part I: The Hyperbolic Case, with an Application to the Generalized Ramanujan-Nagell Equation
• Systems of Numeration
• THE EQUATIONS 3x²−2 = y² AND 8x²−7 = z²
• The Hilbert polynomial and linear forms in the logarithms of algebraic numbers

Cited in

(5)

• scientific article; zbMATH DE number 4075163 (Why is no real title available?)
• Collisions of digit sums in bases 2 and 3
• Effective resolution of Diophantine equations of the form \(u_n+u_m=w p_1^{z_1} \dotsm p_s^{z_s}\)
• On a variant of Pillai's problem. II.
• On the Diophantine equations of the form \(\lambda_1 U_{n_1} + \lambda_2 U_{n_2} +\cdots +\lambda_k U_{n_k} = wp_1^{z_1}p_2^{z_2} \cdots p_s^{z_s}\)

This page was built for publication: Effective results for linear equations in members of two recurrence sequences

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