On the resolution of Thue inequalities
type: Item
instance of: scholarly article
title: On the resolution of Thue inequalities
zbMATH Open document ID: 0625.10011
DOI: 10.1016/S0747-7171(87)80059-7
published in: Journal of Symbolic Computation
publication date: 1987-01-01T00:00:00Z
review text: The author describes a practical method to find all solutions to the inequality \[ | F(x,y)| \leq m\qquad\text{in}\;x,y\in\mathbb Z \tag{*} \] with \((x,y)=1\), where \(F(X,Y)\in\mathbb Z[X,Y]\) is a homogeneous polynomial of degree \(n\geq 3\) which is irreducible over \(\mathbb Q[X,Y]\) and \(m\) is a positive integer. Using a result of \textit{A. Baker} [Philos. Trans. R. Soc. Lond., Ser. A 263, 173--191 (1968; Zbl 0157.09702)] one can compute a number \(y_ 0\), depending on \(F\) and \(m\), such that \(| y| \leq y_ 0\) for each solution \((x,y)\) to (*). Unfortunately, this bound \(y_ 0\) is too large to be of any practical help in the resolution of (*). The author develops a method to reduce a given upper bound \(y_ 0\) for \(| y|\) to a much smaller upper bound for \(| y|\). His method uses the continued fraction expansions of the zeros of \(F(x,1)\): assuming that the partial quotients of the zeros of \(F(x,1)\) grow at most polynomially whereas the denominators of their convergents grow exponentially, the author's method reduces the bound \(y_ 0\) to a bound which is at most a power of \(\log y_ 0\). As an application of his method the author solves the inequality \[ | x^3+x^2y-2xy^2-y^3| \leq 200,\qquad | y| \leq 10^{500} \] in integers \(x,y\) with \((x,y)=1\).
reviewed by: Jan-Hendrik Evertse
Mathematics Subject Classification ID: 11D75
Mathematics Subject Classification ID: 11Y50
Mathematics Subject Classification ID: 11D59
zbMATH DE Number: 4014804
zbMATH Keywords: Thue equations
zbMATH Keywords: practical method
zbMATH Keywords: continued fraction expansions
author: Attila Pethő
MaRDI profile type: Publication
cites work: Contributions to the theory of diophantine equations I. On the representation of integers by binary forms
cites work: Q4050663
cites work: The diophantine equation \(y^2+k=x^3\).
cites work: Q5646971
cites work: Q3804775
cites work: Q5582389
cites work: Products of Prime Powers in Binary Recurrence Sequences Part II: The Elliptic Case, with an Application to a Mixed Quadratic-Exponential Equation
cites work: Q3916641
Recommended article: Letter to the editor: ''Diophantine equation \(x^ 3-y^ 2=k\) and Hall's conjecture''
Recommended article: Cubic Thue inequalities with negative discriminant.
Recommended article: One Cubic Diophantine Inequality
Recommended article: Q3832637
Recommended article: On trinomials having irreducible quadratic factors
Recommended article: Q3469167
Recommended article: On the resolution of \(F(x,y)=G(x,y)\)
Recommended article: Sur un théorème de Mr. J. L. Walsh.
Recommended article: On Two Exponents of Approximation Related to a Real Number and Its Square
Recommended article: Q4483682
description: scientific article; zbMATH DE number 4014804