Elliptic divisibility sequences and certain Diophantine equations (Q2270591)

Let \(E: y^2=x^3+ax+b\) be an elliptic curve with \(a,b\in\mathbb Z\). For a nontorsion rational point \(P\) on \(E\), write \(x(nP)=A_n/B_n^2\) in lowest terms. Let \(h\) denote the absolute logarithmic height on \(\mathbb Q\) and \(\hat h\) the canonical height on \(E(\mathbb Q)\). The authors first give an elementary proof of the following. Theorem. Let \(E,a,b\) be as above and \(c=\max\{| a|, | b|\}\geq 2\). Let \(P\in E(\mathbb Q)\) be a nontorsion point, and let \(p\) be a prime. Let \(N\) be an integer satisfying \[ 2(p^2-1)p^{2N-4}\hat h(P)-\tfrac 5{12}h(j)-\tfrac 13 h(\Delta)-4.086\geq \log\left(p^2(15c)^{p^2/2}\right), \] where \(\Delta=-16(4a^3+27b^2)\) and \(j=-1728(4a)^3/\Delta\) are the discriminant and the \(j\)-invariant of \(E\), respectively. Then for all integers \(m\geq N\) the term \(B_{p^m}(P)\) has a divisor not dividing \(B_{p^k}(P)\) for \(0\leq k\leq m-2\). This result is then applied to a family of elliptic curves \(E_m: y^2=x^3+b^{6m+r}\), where \(E_0\) has rank one, to obtain a computable constant \(N'\) such that for all integers \(m\geq N'\) the curve \(E_m\) has no primitive integral points.