Thue's fundamental theorem. II: Further refinements and examples

DOI10.1016/J.JNT.2015.08.008MaRDI QIDQ897537zbMATH OpenOpenAlexFDO

Authors Paul Voutier

Publication date 7 December 2015

Published in Journal of Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

diophantine approximationeffective irrationality measureshypergeometric functions

Mathematics Subject Classification ID

Homogeneous approximation to one number (11J04) Approximation by numbers from a fixed field (11J17) Approximation to algebraic numbers (11J68) Measures of irrationality and of transcendence (11J82)

Abstract: In this paper, we sharpen and simplify our earlier results based on Thue's Fundamentaltheorem and use it to obtain effective irrationality measures for certain roots of polynomials of the form $(x-sqrtt{)}^n+(x+sqrtt{)}^n$, where $ngeq4$ is a positive integer and $t$ is a negative integer. For $n=4$ and $n=5$, we find infinitely many such algebraic numbers.

Review text

In this paper, the author sharpens and simplifies earlier results he obtained in Part I [Acta Arith. 143, No. 2, 101--144 (2010; Zbl 1292.11083)] and deduces explicit irrationality measures for certain roots of polynomials of the form \((X-\sqrt{t})^n+(X+\sqrt{t})^n\) where \(n\geq 4\) and \(t\) is a negative integer. Let \(t\) be a rational integer, not a square. Denote by \(\sigma\) the non trivial element of \({\mathrm {Gal}}({\mathbb Q}(\sqrt{t})/{\mathbb Q})\). Let \(\beta\) and \(\gamma\) be algebraic integers in \({\mathbb Q}(\sqrt{t})\), \(u_1\), \(u_2\) rational integers, \(m\), \(n\) relatively prime positive rational integers with \(0<m<n\). Define \[ \delta=\left(\frac{\eta}{\sigma(\eta)}\right)^{m/n} \quad\text{and}\quad \alpha=\frac{ \beta\delta\pm\sigma(\beta)} { \gamma\delta\pm\sigma(\gamma)} \cdotp \] Under suitable general assumptions, the author gives a very sharp irrationality measure for \(\alpha\). In the same vein, he gives a similar estimate for numbers \((a/b)^{m/n}\) when \(a\), \(b\) are algebraic integers in a quadratic field. Among several remarkable explicit examples given in the text, we quote only the following: \[ \left| \sqrt{77}\tan\left(\frac{2\pi}{7}\right)-\frac{p}{q}\right| >\frac{3}{1000} q^{-3.49}. \]

Recommendations

• On the irrationality measures of certain numbers. II
• Thue's Fundamental Theorem. I: The general case.
• Explicit Lower Bounds for Rational Approximation to Algebraic Numbers
• On the irrationality measure of certain numbers
• On Diophantine approximations to x
• An estimate for irrationality measures of the logarithm of the ``golden section
• On irrationality measure of some values of \(\arctan \frac{1}{n} \)
• An estimate for the irrationality measure of values of the Gauss hypergeometric function
• scientific article; zbMATH DE number 3902754
• scientific article; zbMATH DE number 6801903

Cites work

• A new solution of the diophantine equation \(X^ 2+1=2Y^ 4\)
• Complete solution of the diophantine equation \(X^ 2+1=dY^ 4\) and a related family of quartic Thue equations
• Effective irrationality measures and approximation by algebraic conjugates
• On the method of Thue-Siegel
• Rational approximations to \(\root 3\of 2\) and other algebraic numbers revisited
• Rational approximations to algebraic numbers
• Simple families of Thue inequalities
• Solving a family of Thue equations with an application to the equation x²-Dy⁴=1
• Thue's Fundamental Theorem. I: The general case.

Cited in

(6)

• Ideal constructions and irrationality measures of roots of algebraic numbers.
• Improved constants for effective irrationality measures from hypergeometric functions
• scientific article; zbMATH DE number 3857222 (Why is no real title available?)
• Thue's Fundamental Theorem. I: The general case.
• Systems of joint Thue polynomials for quadratic irrationalities
• Bounds on the number of squares in recurrence sequences

This page was built for publication: Thue's fundamental theorem. II: Further refinements and examples

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