Оценки снизу меры иррациональности логарифмов рациональных чисел рассматривались многими зарубежными авторами: М. Вальдшмидт [1], А. Бейкер и Д. Вустольц [2], A. Хеймонен, Т. Матала-ахо, К. Ваананен [3], К. Ву [4], Д. Рин [5] и П. Тоффин [6]. В своих работах они применя- ли различные интегральные конструкции, дающие малые линейные фор- мы от логарифмов и других чисел, вычисляли асимптотику интегралов и коэффициентов линейных форм с помощью метода перевала, теоремы Лапласа, оценивали знаменатель коэффициентов линейных форм с исполь- зованием различных схем "сокращения простых чисел". Обзор некоторых методов из теории диофантовых приближений логарифмов рациональных чисел того времени был представлен в 2004 году в статье В. В. Зудилина [7]. Затем В. Х. Салихов в работе [8], основываясь на тех же асимптоти- ческих методах, но использовав новый вид интегральной конструкции, обладающей свойством симметрии, значительно улучшил оценку меры иррациональности числа log 3. Впоследствии В. Х. Салихову, благодаря использованию уже комплексного симметризованного интеграла, удалось улучшить оценку меры иррациональности числа π [9]. В дальнейшем данный метод (применительно к диофантовым приближениям логарифмов рациональных чисел) получил развитие в работах его учеников: Е. С. Зо- лотухиной [10, 11], М. Ю. Лучина [12, 13], E. Б. Томашевской [14]. Это привело к улучшению оценок мер иррациональности целого ряда чисел: µ(log (5/3)) 6 5.512... [14], µ(log (8/5)) < 5.9897 [12], µ(log (7/5)) 6 4.865... [14], µ(log (9/7)) 6 3.6455... [10], µ(log (7/4)) < 8.1004 [13]. В данной работе с помощью симметризованного вещественного инте- грала получена новая оценка меры иррациональности числа τ = log (37/30), µ(τ ) < 65.3358. Впервые оценку меры иррациональности числа log(37/30) получили в 1993 году А. Хеймонен, Т. Матала-ахо и К. Ваананен [1]. В своей работе они вывели общий критерий, позволяющий оценить меру иррациональности чисел вида log(1 − (r/s)), где r/s ∈ [−1, 1) (r, s ∈ N). В качестве примера, они привели таблицу с полученными оценками при отдельных значениях r/s. Одним из приведенных значений было число r/s = −7/30, которое и давало следующую оценку: µ(log(37/30)) 6 619.5803.... Отметим также, что для получения новой оценки оптимальные пара- метры интегральной конструкции вычислялись с помощью разработанной автором компьютерной программы, использующей вычисления Mathcad.
Lower estimates of the irrationality measure of logarithms of rational numbers considered by many foreign authors: M. Waldschmidt [1], A. Baker and G. W¨ustholz [2], A. Heimonen, T. Matala-aho, K. Va¨a¨na¨nen [3], Q. Wu [4], G. Rhin [5] and P. Toffin [6]. 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 logarithms of rational numbers at that time was introduced in 2004 by V. Zudilin [7]. Then V. Kh. Salikhov in [8] considerably improved estimate of the irrationality measure of log 3, based on the same asymptotic methods, but used a new type of integral construction, which has property of symmetry. Subsequently, V. Kh. Salikhov due to usage of already complex symmetrized integral improved estimate of the irrationality measures of π [9]. 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], E. B. Tomashevskaya [14]. It led to improvement estimates of the irrationality measure following numbers: µ(log(5/3)) 6 5.512... [14], µ(log(8/5)) < 5.9897... [12], µ(log(7/5)) 6 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 τ = log (37/30), µ(τ ) < 65.3358. First time estimate of the irrationality measure of log (37/30) was received in 1993 by A. Heimonen, T. Matala-aho, K. Va¨a¨na¨nen [1]. In their work they received a common criterion that allows to evaluate irrationality measure of numbers of the form log(1 − (r/s)), where r/s ∈ [−1, 1) (r, s ∈ N). As an example, they led a table with the resulting estimates at some values r/s. One of these values was the number r/s = −7/30, which gave following estimate: µ(log (37/30)) 6 619.5803... We also note, that for obtain a new estimate the optimal parameters of integral construction were calculated using the developed by the author of a computer program, which uses the Mathcad calculations.