Симметризованные многочлены в задаче оценки меры иррациональности числа ln31

И. В. Бондарева,М. Ю Лучин,В. Х. Салихов

doi:10.22405/2226-8383-2018-19-1-15-25

Abstract

An estimate of the irrationality measure of various transcendental numbers is one of the directions in the theory of Diophantine approximations foundations. Nowadays there is a range of methods which make possible to obtain similar estimates for the values of analytic functions. The most effective method is the adding of various integral constructions; one of the first early constructions is the classical intuitive representation of the Gauss hypergeometric function. Lower estimates of the irrationality measure of rational numbers logarithms were considered by many foreign authors: А. Baker and G. Wüstholz [4], А. Heimonen, Т. Matala-aho, К. Vaänanen [5], Q. Wu [6], G. Rhin and P. Toffin [7]. In their works they used various integral constructions, giving small linear forms from logarithms and other numbers, calculated asymptotic of integrals and coefficients of the linear forms using the saddle point method, Laplace theorem, evaluated the denominator coefficients of the linear forms using various schemes "reduction of prime numbers". Review of some methods from the theory of diophantine approximation of rational numbers logarithms at that time was introduced in 2004 by V. Zudilin [8]. Then V. Kh. Salikhov in [3] considerably improved estimate of the irrationality measure of ln3, based on the same asymptotic methods, but used a new type of integral construction, which has property of summetry. Subsequently, V. Kh. Salikhov due to usage of already complex symmetrized integral improved estimate of the irrationality measures of π [15]. In the future, this method (as applied to diophantine approximation of logarithms of rational numbers) was developed by his pupils: E. S. Zolotuhina [10, 11], M. Yu. Luchin [12, 13], Е. B. Tomashevskaya [14]. It led to improvement of the irrationality measure estimates for the following numbers: µ (log(5/3)) ≤ 5.512... [14], µ (log(8/5)) < 5.9897 [12], µ (log(7/5)) ≤ 4.865... [14], µ (log(9/7)) ≤6 3.6455... [10], µ (log(7/4)) < 8.1004 [13]. In this paper due to usage the symmetrized real integral we obtain a new estimate of the irrationality measure of ln3. The previous irrationality measure estimate of ln3 was received in 2014 by Q. Wu and L. Wang [1]. The estimate improvement had resulted from the addition of a special square symmetrized polynomial to the symmetrized polynomials used in the integral construction of K. Wu and L. Wang.

Highlights

Мерой иррациональности μ(γ) вещественного числа γ называется нижняя грань множества чисел α, для которых, начиная с некоторого положительного q q0(α), выполняется неравенство
there is a range of methods
most effective method is the adding of various integral constructions

Summary

Введение

Мерой иррациональности μ(γ) вещественного числа γ называется нижняя грань множества чисел α, для которых, начиная с некоторого положительного q q0(α), выполняется неравенство. В работе [1] была получена оценка μ(ln 3) 5.1163051. Что в работе [2] Д. Рин получил оценку μ(ln 3) 8.616, а в работе [3] В. Х. Салихов с помощью симметризованных многочленов улучшил результат Д. В настоящей работе доказан следующий результат: Теорема 1. Пусть h1, h2, h ∈ Z, H = max(|h1|, |h2|), H H0. |h1 ln 2 + h2 ln 3 + h| > H−μ, где μ = 4.116201.

Доказательство теоремы 1

Заключение