CC BY
10
ЧЕБЫШЕВСКИЙ СБОРНИК Том 22. Выпуск 2.
УДК 511.36 DOI 10.22405/2226-8383-2021-22-2-304-312
Арифметические свойства значений в полиадической лиувиллевой точке рядов эйлерова типа с полиадическим
лиувиллевым параметром
В. Г. Чирский
Чирский Владимир Григорьевич — доктор физико-математических наук, Московский государственный университет им. М. В. Ломоносова, Российская академия народного хозяйства и государственной службы (г. Москва). e-mail: vgchirskii@yandex.ru
Аннотация
В статье исследуется бесконечная линейная независимость полиадических чисел
ib(A) = ^(A)„A",/i(A) = £(А + 1)„А"
п=0 п=0
где А представляет собой некоторое полиадическое лиувиллево число.Как обычно, символ Похгаммера обозначается (7)„ , по определению, (7)0 = 1 , а при п > 1 имеем (7)„ = 7(7 + 1)...(7 + п — 1). Рассматриваемые ряды сходятся в любом поле Qp . Результат является непосредственным продолжением проведенного автором исследования арифметических свойств полиадических чисел
^ то
/о(1) = Е(А)«>Л(1) = Е(А + 1)«'
п=0 п=0
Значения обобщенных гипергеометрических рядов являются объектом исследования многочисленных работ. Если параметры рядов представляют собой рациональные числа, то такие ряды входят либо в класс Е— функций( если эти ряды - целые функции), либо в класс С— функций (если они имеют конечный ненулевой радиус сходимости),либо в класс -Р — рядов ( в случае нулевого радиуса сходимости в поле комплексных чисел, однако при этом они сходятся в полях р— адических чисел). Во всех перечисленных случаях применим метод Зигеля-Шидловского и его обобщения. Если среди параметров рядов содержатся алгебраические иррациональные числа, то исследование их арифметических свойств ведется на основе приближений Эрмита-Паде.
В рассматриваемом случае параметр - трансцендентное число. Следует отметить, что ранее А.И. Галочкин доказал алгебраическую независимость значений Е—функций в точке, представляющей собой действительное число Лиувилля. Упомянем также поданные в печать работы Е.Ю. Юденковой о значениях Е—рядов в полиадических лиувиллевых точках. Особенно отметим, что в этой работе рассматриваются значения в полиадической трансцендентной точке гипергеометрических рядов, параметр которых - полиадическое трансцендентное (лиувиллево) число.
Ключевые слова: полиадические числа Лиувилля, бесконечная линейная независимость.
Библиография: 17 названий.
Для цитирования:
В. Г. Чирский. Арифметические свойства значений в полиадической лиувиллевой точке рядов эйлерова типа с полиадическим лиувиллевым параметром // Чебышевский сборник, 2021, т. 22, вып. 2, с. 304-312.
CHEBYSHEVSKII SBORNIK Vol. 22. No. 2.
UDC 511.36 DOI 10.22405/2226-8383-2021-22-2-304-312
Arithmetic properties of values at polyadic Liouville points of Euler-type series with polyadic Liouville parameter
V. G. Chirskii
Chirskii Vladimir Grirorevich — doctor of physical and mathematical sciences, Lomonosov Moscow State University, Russian Presidential Academy of National Economy and Public Administration (Moscow). e-mail: vgchirskii@yandex.ru
Abstract
We study infinite linear independence of polyadic numbers
w w
/c(A) = £(A)nA",/i(A) = £(A + 1)„A",
n=0 n=0
where A is a certain polyadic Liouville number. The series considered converge in any field Qp . Here (7)« denotes Pochhammer symbol, i.e. (7)0 = 1 , and for n > 1 we have(7)„ = 7(7 + 1)...(7 + n — 1). The result extends the previous author's result on the polyadic numbers
w w
/0(1) = E(AWi(1) = £(A + 1)„,
n=0 n=0
The values of generalized hypergeometric series are the subject of numerous studies. If the parameters of the series are rational numbers, then they come either in the class of E (if these series are entire functions) or the class of G functions (if they have a finite non-zero radius of convergence) or to the class of F — series ( in the case of zero radius of convergence in the field of complex numbers, however, they converge in the fields of p— adic numbers). In all these cases, the Siegel-Shidlovsky method and its generalizations are applicable. If the parameters of the series contain algebraic irrational numbers, then the study of their arithmetic properties is based on the Hermite-Pade approximations.
In this case, the parameter is a transcendental number. It should be noted that earlier A. I. Galochkin proved the algebraic independence of the values of E—functions at a point that is a real Liouville number. We also mention the published works of E. Yu. Yudenkova on the values of F — series in polyadic Liouville points. We especially note that in this paper we consider the values in the polyadic transcendental point of hypergeometric series, the parameter of which is the polyadic transcendental (Liouville) number.
Note that earlier A.I. Galochkin proved the algebraic independence of values of E—functions at points which are real Liouville numbers. We also mention submitted papers (E.Yu.Yudenkova) about the arithmetic properties of values of F—series at polyadic Liouville numbers. It should be specially mentioned that here we study the values of hypergeometric series with a parameter which is a polyadic Liouville number.
Keywords: polyadic Liouville number, infinite linear independence.
Bibliography: 17 titles.
For citation:
V. G. Chirskii, 2021, "Arithmetic properties of values at polyadic Liouville points of Euler-type series with polyadic Liouville parameter", Chebyshevskii sbornik, vol. 22, no. 2, pp. 304-312.
Введение
Исследование арифметических свойств значений обобщенных гипергеометрических рядов имеет долгую историю. Описание работ Линдемана, Вейерштрасса, Мейера, Зигеля можно найти в знаменитой книге А.Б. Шидловского "Трансцендентные числа"[1]. Там же приведены ссылки на работы В.А. Олейникова, И.И. Белогривова, А.И. Галочкина, А.Н. Коробова, П.Л. Иванкова. Особенно следует отметить работы В.Х. Салихова[2],[3], давшие близкое к окончательному описание свойств значений обобщённых гипергеометрических Е — функций. Важные результаты были получены Бейкерсом, Браунвеллом и Хекманом [4]. Значения G— функций исследовались в работах А.И. Галочкина, Г.В. Чудновского [5], Э. Бомбьери [6]. В работе [6] было введено понятие глобального соотношения, позволившее применить метод Зигеля-Шидловского к еще одному классу рядов, к F — рядам. См. [7]-[14]. Отметим, что применение метода Зигеля-Шидловского давало результаты только для гипергеометрических рядов с рациональными параметрами. Случай алгебраических иррациональных параметров исследовался с помощью построения точных приближающих форм с использованием аппроксимаций Эрмита-Паде.
Случай трансцендентного параметра рассмотрен в работе [15], где была установлена бесконечная линейная независимость полиадических чисел
те те
/с(1) = £(А)га,/1(1) = £(А + 1)„.
п=0 п=0
Напомним, что кольцом целых полиадических чисел называется прямое произведение колец целых р— адических чисел по всем простым числам р. Элементы в этого кольца, таким образом, можно рассматривать как бесконечномерные векторы, координаты которых п соответствующем кольце целых р— адических чисел обозначаем 0(р). Бесконечная линейная независимость полиадических чисел öi,..., вт означает, что для любой ненулевой линейной формы h1x1 +... + hmxm с целыми коэффициентами h1,..., hm существует бесконечное множество простых чисел р таких, что в поле Qp выполняется неравенство
h10(p) +... + hme(z] = 0.
Каноническое представление элемента в кольца целых полиадических чисел имеет вид ряда
те
в = ^ апп\, ап е Z, 0 < ап < п.
п=0
Разумеется, ряд, члены которого - целые числа, сходящийся во всех полях р— адических чисел, представляет собой целое полиадическое число. Будем называть полиадическое число в полиадическим числом Лиувилля( или лиувиллевым полиадическим числом), если для любых чисел п и Р существует натуральное число А такое, что для всех простых чисел р , удовлетворяющих неравенству р < Р выполнено неравенство
|0 — А|р
Настоящая работа продолжает развитие заложенной в [15] основной идеи. В работе [16] А.И. Галочкин доказал алгебраическую независимость значений ^-функций в точке, представляющей собой действительное число Лиувилля. Здесь будет доказана бесконечная линейная независимость полиадических чисел
/о(А) = ^(А)гаАга, /1(А) = £(А + 1)гаАга. га=0 га=0
Важным аппаратом получения этого результата являются построенные в работе Ю. В. Не-стеренко [17] аппроксимации Эрмита-Паде обобщенных гипергеометрических функций.
Формулировка основного результата
Пусть Ао = 0, пусть ^о -произвольное натуральное число. Положим
А1 = Ао + ^о, «1 = ехр(А1)
Пусть -произвольное натуральное число, удовлетворяющее условию: для любого простого числа р < «1 + А1 + 1 выполняется неравенство
> 2«11п «1
При к > 2 положим
Хк = Хк-1 + = ехр Хк (1)
и пусть натуральное число ^ выбрано так, что для любого простого р < 8к+А^+1 выполняется неравенство
огйр^к > 25*. 1п вк. (2)
Пусть
те
А = ^ ^ (3)
к=о
Ряд (3) сходится в любом поле Qp согласно (1), (2) и его сумма в этом поле представляет собой целое р—адическое число. Более того, этот ряд представляет собой полиадическое число Лиувилля, так как
|А — Хк|р 1п^ < А-2^.
для любого простого числа р < вк + Хк + 1. Будем рассматривать ряды
те
/о(*) = £(А)гаЛ (4)
п=о
те
/1(3) = 5> + 1)„Л (5)
га=о
1
где А определено равенством (3). Ряды (4) и (5) сходятся в любом поле Qp при < рр-1. Нам потребуются вспомогательные ряды. При всех к положим
те
/Ы*) = ^(А* )„Л (6)
п=о
те
(*) = E(Afc + 1)пгп. (7)
га=о
Коэффициенты этих рядов - натуральные числа, поэтому в любом поле Qp они сходятся при
1
ИР < рр-1.
Теорема. Для любых целых чисел Л,о, Л,17 не равных нулю одновременно, существует бесконечное множество простых чисел р таких, что в поле Qp выполняется неравенство
|ДА)|Р = |Ло/о(Л) + ад(А)|р > 0. (8)
Схема доказательства теоремы
Следуя работе Ю.В. Нестеренко [17], обозначим
&1,к = ,а2,к = 1
и для N = 2« + г, где г = 1 или г = 2 полагаем а^,к = ®г,к + иными словами,
&2з+1,к = + 8,а2з+2,к = 1+ 5. (9)
Используя обычное обозначение
те
(«,**)=> ^^ г»
п=о п!
положим
(г) = ^ ,ам+2,к г).
Обозначим, далее,
ио,к (г) = ¡о,к (г) = ¡1,к (г)
и для любого Ж положим
ЗДЛ (г) = ...а^ (¿).
В упомянутой выше статье Ю.В. Нестеренко установлено, что для любого Ж существуют многочлены Р^,г,к(¿0,2 = 0,1 такие, что выполняется равенство
им,к (¿) = Рм,о,к (2>о,й (¿) + Рм,1,к (¿>1^ (¿).
При этом
Ро,о,й (*) = = 0,Р1,о,л (г) = 0,РМ,Л (г) = 1.
В той же работе установлено, что при всех N справедливо равенство
ии+2,к (я) = им+1,к (¿) — ам+1,к гим,к (¿) и вытекающие из него соотношения
Рм+2,г,к (¿) = Рм+1,г,к (¿) — ^N+1* гРм,г,к (я), « = 0, 1. (10)
Пусть Кг,г = 1, 2,... обозначают натуральные числа. Пусть Ci,i = 1, 2,... обозначают положительные постоянные. Символом [а] обозначаем целую часть числа а. По индукции, используя (9) и (10), доказывается следующая лемма.
Лемма 1.Существует К1 е М, такое, что для всех к € М, & > К1, при в = ] + 1 для многочленов Рм,1,к(г), N = 2в + 1 или N = 2в + 2, г = 0,1 выполняются неравенства
\Рм,г,к(Хк)| < ехр(вк 1п вк + СХ8к\/ 1п 8к)
и эти неравенства останутся верными при замене числа N числом N + 1.
Лемма 2. Пусть к € М, к > К2,где К2 — эффективная постоянная, в € М, причем в = ^] + 1. Тогда для N = 2в + 1 или N = 2в + 2 справедливы неравенства
П \им'к(Хк)\р < ехР(-2«й 1п 8к + С38кл/ 1п 8к, ) р
где произведение в левой части этого неравенство взято по всем простым числам р, удовлетворяющим неравенствам
ехр(д/1п вк) < р < вк + Хк + 1. (11)
Рассмотрим линейную форму
(\к ) = ко/о,к (Хк) + к1/1,к(Хк)
с целыми коэффициентами ко,к1, шах( \ко\, \к1) = к.
Все выбираемые далее постоянные К^ будут зависеть от к .
Лемма 3. Пусть 5 > 0,к € М, к > К3. Тогда существует простое число рк, удовлетворяющее неравенствам (11), для которого справедлива оценка
\Рк(Хк)\ > ехр(-вк 1пвк — 1пвк) (12)
Рассмотрим линейную форму
ДА) = ко /о(А) + ^А(А).
Она представляет собой целое рк — адические число, поэтому разность форм ДА) — Ьк (Хк) = ДА) — Ь(Хк) + Ь(Хк) — Ьк (Хк) = ко /о (А) + ад(А) —
{ко!о(Хк) + к1/1(Хк)) + (ко!о(Хк) + к1/1(Хк)) — (ко/о,к (^к) + ^А,*; (Хк)) = ко (/о (А) — /о (Хк) + ¡о(Хк) — ¡о,к (Хк)) + к1(Д(А) — Ь(Хк) + Ь(Хк) — (А*)) тоже представляет собой целое рк — адические число. Согласно равенствам (4)- (7)
те те
/о(А) — /о(А*) = ^(А)га(Ага — Хпк), Д(А) — Ь(Хк) = £(А + 1)п(Хп — Хпк)
п=о га=о
тете
к(Хк) — /о,к(Хк) = ^((Х)п — (Хк)п)Хпк, /1 (Хк) — А,*(Ал) = ^((А + 1)га — (Хк + 1)п)Хпк
п=о п=о
Обозначим Лк = А — Хк. При п > 1 все эти разности являются целыми рк — адическими числами, членами сходящегося в Qpfc ряда. Каждое из этих чисел можно представить в виде произведения Лк на целое рк — адические число, член сходящегося в Qpfc ряда. Из равенств (1) и неравенства (2) вытекает,что
л\Рк = к < Р~к23к Ызк.
Это означает, что
|/г(А) - /¿(Afc)|pfc < < р-
-2sk ln sk
и
-2sk ln sk
|b(A) - Lk(А^)|Pfc < p-2'*ln
-2sk ln sk
(13)
Неравенства (12),(13) означают, что при к > ^4 получаем:
|Ь(А) - Lk(Afc)|Pfc < |Lfc|
Поэтому
|^(A)|pfc = |Lfc(Afc)|Pfc > 0,
то есть доказываемое неравенство(8).
Для завершения доказательства теоремы осталось заметить, что при к > справедливо неравенство рк < Pfc+i.
Заключение.
Этот результат можно считать первым в ряду подобных ему. Можно применить идеи этой работы к гипергеометрическим рядам более общего вида и использовать приближения Эрмита-Паде из работы Ю.В. Нестеренко [17]. Возможна попытка уточнения результата с использованием подхода из работы [12].
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Шидловский А. Б. Трансцендентные числа.-М.: «Наука».-1987.-448 с.(Английский пере-вод:[3] Andrei B.Shidlovskii. Transcendental Numbers. W.de Gruyter.-Berlin.-New York.-1989.-467pp.).
2. Салихов В.Х. Критерий алгебраической независимости одного класса гипергеометрических Е - функций. // Матем. сб. -1990.-т.181.-№2.-с.189-211.
3. Салихов В.Х. Неприводимость гипергеометрических уравнений и алгебраическая независимость значений Е - функций. // Acta Arithm.-1990.-v.53.- p.453-471.
4. Beukers F., Brownawell W. D., Heckman G. Siegel normality // Ann.Math.-1988.-Ser.127.-p.279-308.
5. Chudnovsky G. V. On application of Diophantine approximations // Proc.Natl.Acad.Sci.USA.-1985.-V.81.-p.7261-7265.
6. Bombieri E. On G-functions // Recent Progress in Analytic Number Theory.v.2. London: Academic Press, 1981.-p.1-68.
7. Bertrand D., Chiskii V., Yebbou J.. Effective estimates for global relations on Euler-type series. // Ann. Fac. Sci. Toulouse, v.13,no.2,2004,pp.241-260.
8. Матвеев В. Ю., Алгебраическая независимость некоторых почти полиадических рядов, Чебышевский сборник,том 17, выпуск 3,с. 156 - 167
9. Чирский В. Г. Арифметические свойства полиадических рядов с периодическими коэффициентами. // Доклады Академии наук, сер. матем.т.459, no. 6, 677-678.( Английский перевод Chiskii V. G., Arithmetic properties of polyadic series with periodic coefficients. Dokl. Math. 90(3), pp. 766-768(2014))
10. Чирский В. Г. Арифметические свойства обобщённых гипергеометрических F-рядов. // Доклады Академии наук, сер. матем.т.483, no. 3, 257-258.( Английский перевод V.G. Chiskii, Arithmetic properties of generalized hypergeometric F- series. Dokl. Math. 98:3, 589591 (2018).)
11. Matala-aho T., Zudilin W., Euler factorial series and global relations, J. Number Theory 186 (2018), 202-210.
12. Ernvall-Hytonen A.M., Matala-aho T., Seppela L., Euler's divergent series in arithmetic progressions. // arXiv:1809.03859v1math.NT11 Sep 2018.
13. Chirskii V. G. Product Formula, Global Relations and Polyadic Integers. // Russ. J. Math. Phys. 2019.- v.26, no.3, pp.286-305.
14. Chirskii V. G. Arithmetic properties of generalized hypergeometric F- series. // Russ. J. Math. Phys. 2020.- v.27, no.2, pp.175-184.
15. Чирский В. Г. Арифметические свойства рядов эйлерова типа с полиадическим лиувилле-вым параметром. // Доклады Академии наук, сер. матем.информ. проц. управл.т.494, с. 69-70.( Английский перевод Chiskii V. G., Arithmetic Properties of Euler-Type Series with a Liouvillean Polyadic Parameter. Dokl. Math. 2020.-v.102,no.2. pp.412-413.)
16. Галочкин А. И. Об алгебраической независимости значений E-функций в некоторых трансцендентных точках. // Вестник МГУ. Сер.1, матем.,механ.-1970.-no.5.С.58-63.(Английский перевод A.I. Galochkin.The algebraic independence of values of E-functions at certain transcendental points. // Mosc. Univ. Math. Bull. 25.-n0.5.-pp.41-45)
17. Нестеренко Ю.В. Приближения Эрмита-Паде обобщенных гипергеометрических функций. // Матем. сб.-1994.-т.185.-no.3.-с.39-72.(Англий перевод Nesterenko Yu. V.. Hermite-Pade approximants of generalized hypergeometric functions. // Russ.Acad.Sci.Sb.Math. -1995.-83.-189-219)
REFERENCES
1. Shidlovskii, A.B.1989." Transcendental Numbers", W.de Gruyter.-Berlin.-New York.467pp.
2. Salikhov. V. Kh.1990."A criterion for the algebraic independence of the values of a class of hypergeometric E-functions",Math.USSR,Sb., Vol, 69, pp. 203-226.
3. Salikhov. V. Kh. " Irreducibility of hypergeometric equations and algebraic independence of class of E-functions", Acta Arith.,Vol. 53, pp. 453-471.
4. Beukers F., Brownawell W. D., Heckman G.1988." Siegel normality", Ann.Math., Ser.127, pp. 279-308.
5. Chudnovsky G. V. 1985. On application of Diophantine approximations", Proc. Natl. Acad. Sci. USA Vol.81, pp. 7261-7265.
6. Bombieri E. 1981 "On G-functions", Recent Progress in Analytic Number Theory.. London: Academic Press", Vol.2, pp. 1-68.
7. Bertrand D., Chiskii V. G., Yebbou J. 2004. " Effective estimates for global relations on Euler-type series", Ann. Fac. Sci. Toulouse, Vol.13,no.2, pp. 241-260.
8. Matveev V. Yu. 2018 " Algebraic independence of certain almost polyadic series", Chebyshevsky sbornik, Vol. 17, no.3, pp. 156-167.
9. Chiskii V. G. 2014. " Arithmetic properties of polyadic series with periodic coefficients", Dokl. Math. Vol. 90, no.3, pp. 766-768.
10. Chiskii V. G. 2018. " Arithmetic properties of generalized hypergeometric F- series", Dokl. Math. Vol. 98, no.3, pp. 589-591.
11. Matala-aho T. , Zudilin W. V.2018. "Euler factorial series and global relations", J. Number Theory Vol. 186, pp. 202-210.
12. Ernvall-Hytonen A-M., Matala-ahoT.,Seppela L.,2018. " Euler's divergent series in arithmetic progressions", arXiv:1809.03859v1math.NT11 Sep 2018
13. Chirskii V. G. 2019, "Product Formula, Global Relations and Polyadic Integers", Russ. J. Math. Phys., Vol.26, no.3, pp. 286-305.
14. Chirskii V. G.2020. " Arithmetic properties of generalized hypergeometric F- series", Russ. J. Math. Phys., Vol.27, no.2, pp. 175-184.
15. Chiskii V. G., "Arithmetic Properties of Euler-Type Series with a Liouvillean Polyadic Parameter", Dokl. Math., Vol.102,no.2. pp. 412-413.
16. Galochkin A. I.1970. "The algebraic independence of values of E-functions at certain transcendental points", Mosc. Univ. Math. Bull., Vol. 25.n0.5.pp. 41-45.
17. Nesterenko Yu. V. 1995. "Hermite-Pade approximants of generalized hypergeometric functions", Russ.Acad.Sci.Sb.Math.,Vol83. pp. 189-219.
