Improved constants for effective irrationality measures from hypergeometric functions

DOI10.2140/MOSCOW.2022.11.161MaRDI QIDQ2165898zbMATH OpenOpenAlexWikidataFDO

Authors Paul Voutier

Publication date 23 August 2022

Published in Moscow Journal of Combinatorics and Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

Diophantine approximationeffective irrationality measure exponenthypergeometric functions

Mathematics Subject Classification ID

Approximation to algebraic numbers (11J68) Measures of irrationality and of transcendence (11J82) Classical hypergeometric functions, ({}_2F_1) (33C05)

Abstract: In this paper, we simplify and improve the constant, $c$, that appears in effective irrationality measures, $|(a/b{)}^{m/n}-p/q|>c|q{|}^{-(kappa+1)}$, obtained from the hypergeometric method for $a/b$ near $1$. The dependence of $c$ on $|a|$ in our result is best possible (as is the dependence on $n$ in many cases). For some applications, the dependence of this constant on $|a|$ becomes important. We also establish some new inequalities for hypergeometric functions that are useful in other diophantine settings.

Review text

Let \(m\) and \(n\) be relatively prime positive integers such that \(0<m<n/2\) and \(n\geq 3\). Let \(\mathbb K\) be an imaginary quadratic field. Let \(a\) and \(b\) be algebraic integers in \(\mathbb K\) such that either \(0<b/a<1\) is rational number or \(|b/a| =1\). Under the specific conditions the author proves that for all algebraic integers \(p\) and \(q\) in \(\mathbb K\) with \(q\not= 0\) we have \[\left|\left(\frac ab\right)^{\frac mn}-\frac pq\right| >\frac 1{c|q|^K}\] where \(c\) and \(K\) are constants which are exactly described in the paper.

Recommendations

• On effective irrationality measures for some values of certain hypergeometric functions
• Irrationality measures of the values of hypergeometric functions
• scientific article; zbMATH DE number 1210355
• On irrationality measures on the values of Gauss hypergeometric function
• Estimates for the exponent of irrationality for certain values of hypergeometric functions
• An estimate for the irrationality measure of values of the Gauss hypergeometric function
• ON THE IRRATIONALITY OF THE VALUES OF HYPERGEOMETRIC FUNCTIONS
• scientific article; zbMATH DE number 3918473
• q-hypergeometric functions and irrationality measures
• Irrationality measures for certain q-mathematical constants

Cites work

• Approximate formulas for some functions of prime numbers
• 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
• Explicit bounds for primes in arithmetic progressions
• scientific article; zbMATH DE number 3784980 (Why is no real title available?)
• scientific article; zbMATH DE number 3477793 (Why is no real title available?)
• scientific article; zbMATH DE number 3219699 (Why is no real title available?)
• Number theory IV: Transcendental numbers. Transl. from the Russian by N. Koblitz
• On the method of Thue-Siegel
• Rational approximation to algebraic numbers of small height: The Diophantine equation \(|ax^n-by^n|=1\)
• RATIONAL APPROXIMATIONS TO 23 AND OTHER ALGEBRAIC NUMBERS
• Rational approximations to \(\root 3\of 2\) and other algebraic numbers revisited
• Thue's Fundamental Theorem. I: The general case.
• Thue's fundamental theorem. II: Further refinements and examples

Cited in

(2)

• On effective irrationality measures for some values of certain hypergeometric functions
• Bounds on the number of squares in recurrence sequences

This page was built for publication: Improved constants for effective irrationality measures from hypergeometric functions

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