$S$-PARTS OF TERMS OF INTEGER LINEAR RECURRENCE SEQUENCES. Issue 3 (29th November 2017)

• Record Type: Journal Article
• Authors: Bugeaud, Yann; Evertse, Jan-Hendrik
• Is Part Of: Mathematika. Volume 63:Issue 3(2017)
• Page Start: 840
• Page End: 851
• Publication Date: 2017-11-29
• Subjects: 11B37, -- 11J86, -- 11J87 (primary); Mathematics -- Periodicals; 510.5
• DOI: 10.1112/S0025579317000298
• Languages: English
• ISSNs: 0025-5793

Abstract

Abstract : Let $S=\{q_{1}, \ldots, q_{s}\}$ be a finite, non-empty set of distinct prime numbers. For a non-zero integer $m$, write $m=q_{1}^{r_{1}}\cdots q_{s}^{r_{s}}M$, where $r_{1}, \ldots, r_{s}$ are non-negative integers and $M$ is an integer relatively prime to $q_{1}\cdots q_{s}$ . We define the $S$ -part $[m]_{S}$ of $m$ by $[m]_{S}:=q_{1}^{r_{1}}\cdots q_{s}^{r_{s}}$ . Let $(u_{n})_{n\geqslant 0}$ be a linear recurrence sequence of integers. Under certain necessary conditions, we establish that for every $\unicode[STIX]{x1D700}>0$, there exists an integer $n_{0}$ such that $[u_{n}]_{S}\leqslant |u_{n}|^{\unicode[STIX]{x1D700}}$ holds for $n>n_{0}$ . Our proof is ineffective in the sense that it does not give an explicit value for $n_{0}$ . Under various assumptions on $(u_{n})_{n\geqslant 0}$, we also give effective, but weaker, upper bounds for $[u_{n}]_{S}$ of the form $|u_{n}|^{1-c}$, where $c$ is positive and depends only on $(u_{n})_{n\geqslant 0}$ and $S$ .