НАУЧНОЕ ИЗДАНИЕ МГТУ ИМ. Н. Э. БАУМАНА
НАУКА и ОБРАЗОВАНИЕ
Эл № ФС77 - 48211. Государственная регистрация №0421200025. ISSN 1994-0408
электронный научно-технический журнал
Об использовании теории делимости в квадратичных полях
для получения оценок некоторых линейных форм
# 11, ноябрь 2013
Б01:10.7463/1113.0622505
Иванков П. Л.
УДК 511.361
Россия, МГТУ им. Н.Э. Баумана ivankovpl@mail.ru
Введение
Изучение арифметических свойств значений обобщенных гипергеометрических функций с иррациональными параметрами осложняется тем обстоятельством, что эти функции не являются Е-функциями и к ним нельзя непосредственно применить известный в теории трансцендентных чисел метод Зигеля [1, 2]. Причина этого связана с тем, что общий наименьший знаменатель дробей
(и + 1) ••• + к) к =1 п
слишком быстро растет при п ^ то, если и не является рациональным числом. Однако, если специальным образом подобрать алгебраические числа и\, . .., иг, то общий наименьший знаменатель чисел
к
П (и + х)... (иг + х)
—--, к -1, ...,п, (1)
оказывается «хорошим», и это в некоторых случаях позволяет устанавливать линейную независимость значений гипергеометрических функций с иррациональными параметрами и получать соответствующие количественные результаты. При этом надо использовать подходящую эффективную конструкцию линейных приближающих форм. В настоящей работе в качестве многочлена от х в числителе дроби (1) берется (х2+1)(х2 — 2) (х2 — 3) (х2 — 6); можно доказать, что в этом случае при п ^ то общий наименьший знаменатель дробей (1) оценивается сверху величиной порядка е°(га). Многочленов с такими свойствами бесконечно много; метод их построения ясен из работы [3].
1. Результаты
Пусть аь ..., аг, въ ..., вт, Лх, .. ., — комплексные числа;
а(х) = (х + ... (х + аг), Ь(х) = (х2 + 1)(х2 — 2)(х2 — 3)(х2 — 6)(х + вО ... (х + вт). Рассмотрим при к = 1, ..., ¿, = 1, ..., и, где и = т + 8, следующие функции:
Гк,(г)= £ ^1] а(х)ЬЛх+х), (2)
^=0 х=1 ( )
а также функции, полученные из них дифференцированием по параметру Лк:
Г*,(г) = ± V-1 II ах) 4 ] (Лк + х). (3)
^=0 х=1 к х=1
к = 1. .... ]. ¿, 1к = 0. .... тк — 1, = 1. .... и. Здесь ть . .., т — натуральные числа. Через I обозначим некоторое мнимое квадратичное поле (или поле рациональных чисел).
Предположим также, что выполнены стандартные достаточные условия, которые обеспечивают линейную независимость над полем рациональных дробей функций (3), т.е. разности между любыми корнями знаменателя и числителя под знаком произведения в правой части (2), а также между числами Лк1 и Лк2 при различных к1 и к2 не являются целыми рациональными числами. Кроме этого требуется, чтобы а(х)Ь(х)(х + Л1)... (х + Л4) было отлично от нуля при х = 1. 2. ... По поводу этих достаточных условий см. [4].
Теорема 1. Предположим, что выполнены все перечисленные выше условия. Пусть также выполнены условия:
1) т + 1 ^ г ^ 2;
2) числа а1, .. ., аг, въ .. ., вг-1, Ль ..., Лt рациональны;
3) вг, . .., вт являются алгебраическими степеней кг, .. ., кт сответственно;
4)п = 1 —Ьг (— +... + — + 4);
' 1 и-г+1 у*Сг кт у'
5) (х + вг) ... (х + вт) е 1[х];
6) 0 = £ е I.
Тогда для любого е > 0 и для любого нетривиального набора целых чисел Л,0, Нк,к,, к = 1. .... ¿, 1к = 0. .... тк — 1, ] = 1. .... и, из поля I, максимум модулей которых есть Н, выполняется неравенство
t т. — 1 и
^ + ^ ^ ^ Ьк,., Гк1., (£) к=1 ,к=0 ,=1
где Н достаточно велико (нижняя граница зависит от е);
w = иТ. Т = Т1 + ... + п. (5)
■ (и —г— 1)+П (и-Г+1)
> НН и—г — 1 — п(и—г+1)
(4)
Замечание. Вместо функций ^ (г) можно рассмотреть и другие функции, которые получаются заменой в правой части (3) произведения ЛХ=1 (Л^ + х) на ПХ=1 . Отметим также, что количество рациональных корней многочлена Ь(х) из правой части (3) может быть и меньше, чем г + 1. В последнем случае (при т1 = ... = тЬ = 1) к функции (3) нельзя применить теорему 1 из [5]. В случае отсутствия дифференцирований по параметру здесь можно было бы применить теорему 2 из [3].
2. Доказательства
Пусть п — достаточно большое натуральное число,
N1
Рассмотрим многочлен
п
.Т\
(6)
Ь N1-1
£(*) = П П (г - Л* - а)Тк, (7)
к=1 а=0
степень которого в силу (5) и (6) не превышает п, и подберем числа 93 так, чтобы тождественно по г выполнялось равенство
п п—в
) = Е в' П(г + х). (8)
в=0 х=1
Для этого (см., например, [6, с. 40-41]) следует положить
^¿/п#77Т (9)
С П (г + х)
х=1
где С — положительно ориентированная окружность, охватывающая все полюсы подынтегральной функции.
Лемма 1. При 1 ^ к ^ ¿, 0 ^ 1к ^ тк — 1 выполняется равенство
^ Н 'к П—в
5>А(*) (Лк + х) = 0, (10)
в=0 НЛк х=1
где А(в) — произвольный многочлен, степень которого не превышает N — 1. Доказательство. Пусть сначала 1к = 0. Из (7) и (8) следует, что
п п-в п п-в
0 = Я(Лк + а) = Е вв П(Лк + а + х) = Е ввЛка(в) П(Лк + х),
в=0 х=1 в=0 х=1
где
О Л
Ака(в) = П Лк +п — * + х, 1 ^ к ^ *, 0 ^ а ^ N1 — 1.
Лк + х
х=1
Так как любой многочлен от в степени не выше N1 — 1 представляется в виде линейной комбинации многочленов Лка(в), то при 1к = 0 утверждение леммы справедливо. Далее рассуждаем по индукции. Поскольку 1к ^ тк — 1, то из (7) и (8) следует, что
0_ -'к)
-г1к
п п—в
д1к
Е^Д (Л* + * + х)
д\
¿=Лк+ст в=0 дЛк х=1
=££ (л*, (в) щ*+х)) = £ щ £ ^ ■ ^ п(Дк+х).
в=0 дЛк 4 х=1 7 в=0 дЛк -Лк х=1
По предположению индукции получаем отсюда равенство
™ д 1к
52в>Лы (в) тттйП (Л* + х) = 0,
в=0 дЛк х=1
которое позволяет завершить доказательство леммы, как указано выше. Теорема доказана. Пусть N2 = [П] — 1. Рассмотрим многочлен
п
Р (г) = £ рв гв, (11)
где
в=0
„ п-в п-в л
У в тт , , „ т . ч "ГТ 1
р. = пгП Ь<^+х)П ах). (12)
Х=1 Х=1
Лемма 2. В разложении в ряд по степеням г функций
г*к1кЗ (г) = Р(г)рк1к3 (г) = £ С*1к¿V^, (13)
^=0
где к = 1, ..., Ь, 1к = 0, ..., тк — 1, ] = 1, ..., и, коэффициент ск1к^ при ^ равен нулю, если п ^ V ^ п + N2.
Доказательство. Преобразуем выражение для указанного коэффициента следующим образом:
п а(х) -'к ^ 1 Й 1 П
Ск' = £р> - в)'-1 П ах- -к П(Лк + х) = п П ЬГГ) £ — в)'-1 X
в=0 х=1 ^ ' к х=1
и+^2
-1к
х Д Ь(х — в) Д а(х — в)-^ I П(Лк + х) И (Лк + х — в) 1 =
х=^+1 х=п+1 к \х=1 х=п+1 /
1 ^2 'к / , ч п , ^к п-в
= П П Ь1) 5к Ц £ ^-<в)Щк П(Л*+х), (14)
х=1 ' Vк =0 У ' в=0 к х=1
где
п+М2 V ^ 1к-»к Д
в1к-»к(в) = - в^-1 П Ь(х - в) П а(х - в) лДгк-»к П (Лк + х - в)
ж=п+1 к ж=п+1
Многочлен В1к-»к (в) имеет, очевидно, степень не выше N — 1. Поэтому (14) равно нулю в силу леммы 1. Лемма 2 доказана.
Оставшаяся часть доказательства теоремы 1 носит чисто технический характер: соответствующие рассуждения хорошо известны. Некоторые новые моменты возникают лишь при оценках знаменателей коэффициентов многочленов (11), а также появляющихся ниже многочленов Рк1кj• (г).
Лемма 3. Если и рациональны, то общий наименьший знаменатель чисел
(^1 + д + 1) ... (^1 + д + к) к = 1 п (^2 + 1) ... (^2 + к) ' ' ... '
при любом целом рациональном д оценивается сверху величиной е0(п), где постоянная в показателе степени зависит от и (и не зависит от п и д).
Доказательство леммы стандартно; оно основано на сравнении степеней простых чисел, входящих в числители и знаменатели рассматриваемых дробей. Провести это доказательство можно, например, опираясь на рассуждения в [7, с. 186].
В дальнейшем через 71, 72, .. . обозначаются положительные постоянные, не зависящие от п (но, возможно, зависящие от числа £, поля I и от параметров функций (3)). Лемма 4. Общий наименьший знаменатель чисел
Оз
—г, в = 0, 1, ...' п, в!
не превышает е71П.
Доказательство. Запишем выражение для Оз из правой части (9) с помощью теоремы о вычетах; имеем
г N1-1
п п
к=1 ст=0
п-з+1 П П (х + Лк + а)Тк
= - V ±-
в! в! ^ (х — 1)!(п — в + 1 — х)!
Х=1 г N1-1
п-з+1 ( . п П (х + Лк + а)Тк
= ^ ± (п — в)! п! к=1 а=0
^ (ж — 1)!(п — в + 1 — х)! в!(п — в)! Так как числа Л1, .. ., Лг рациональные, то лемма 4 сводится к лемме 3.
п!
Наименьшим общим знаменателем некоторого множества чисел X из поля I будем называть наименьшее по модулю ненулевое целое число из этого поля, после умножения на которое любое число из X становится целым в упомянутом поле.
Лемма 5. Для абсолютной величины коэффициентов многочленов (11) справедлива оценка
|Ps | ^ -
причем модуль общего наименьшего знаменателя этих чисел не превышает e
n!
и—r— 1
(15)
Y3 n
Доказательство. Абсолютную величину коэффициента 0 ^ 5 ^ п, оценим с помощью (12). Из (9) получаем (считая, что С — окружность радиуса п + 2 с центром в начале координат)
91 1
n! 2nin!
Q(z) dz
с П (z + x)
x=1
<
t N1-1
ПП (n + 2 + Y3 +
n + 2 fc=1 a=0
П!
n— s+1
П (n + 2 - x)
x=1
n + 2 ( Г(п + 2 + Y3 + N1) \ (r(Ni))
n! Vr(n + 2 + 73)r(NiV (n + 1)! Применение формулы Стерлинга дает теперь такую оценку
S!
n! n!
(16)
Аналогично оцениваются и прочие множители, входящие в правую часть равенства (12):
П b(N2 + X) П
x=1
x=1
a(x)
^ е7БП ( n
s!
(17)
Из (16) и (17) следует (15).
Оценим общий наименьший знаменатель чисел Перепишем (12) так:
ез 5!(п - 5)!
Ps
s! n!
V1s ^2s ^3s,
где
V1s = П
x=1 ns
х(в1 + N2 + x)... (Д.-1 + N2 + x) a(x)
V2s П
((N2 + x)2 + 1)((N2 + x)2 - 2)((N2 + x)2 - 3)((N2 + x)2 - 6)
x=1 ns
x2
V3s = П(вг + N2 + x) ... (вт + N2 + x), S = 0, 1, . . . , n.
x=1
т
и—r
1
Общий наименьший знаменатель чисел 93/в\ оценивается сверху величиной е71П — это следует из леммы 4. Для чисел вида
в!(и — в)!
——, в = 0, 1, ...,и, и!
обратных биномиальным коэффициентам общий наименьший знаменатель имеет величину порядка е0(п). Доказательство этого утверждения можно провести так же, как и доказательство леммы 3, сравнивая степени, в которых простые числа входят в числители и знаменатели соответствующих дробей. Числа У1з имеют общий наименьший знаменатель, не превосходящий е76П — это вытекает из леммы 3. Аналогично оценивается и общий наименьший знаменатель чисел У2з. Здесь, однако, лемма 3 не годится, так как корни многочлена от х, стоящего в числителе рассматриваемой дроби иррациональны. Но можно сослаться на лемму 5 работы [3], в которой доказывается (с помощью теории делимости в квадратичных полях), что указанный общий наименьший знаменатель есть величина порядка е0(п). Общий наименьший знаменатель чисел У38, очевидно, не превосходит q(m■-r+1)n, где q — такое натуральное число, что все числа q@1,..., qвm являются целыми (алгебраическими) числами. Подводя итог сказанному, убеждаемся в справедливости второго утверждения леммы. Лемма 5 полностью доказана.
Рассмотрим теперь при 0 ^ к ^ ¿, 0 ^ ¡к ^ тк — 1, 1 ^ ] ^ и многочлен
п
РкЛкз (г) = XI РыьЗ"^ (18)
и=0
степени не выше и, коэффициент при которого равен умноженному на —1 коэффициенту ек1к^ в разложении по степеням г функции г£г • (г), определяемой равенствами (13). Нам потребуются оценки общего наименьшего знаменателя коэффициентов многочленов (18).
Лемма 6. Пусть N — натуральное число, I — неотрицательное целое рациональное число. Тогда
¿1 М М ±1 -ттг П(Л + х) = П(Л + х) V 7Т-Г-77-Г,
11х- 7 + XI)... (Л + XI)'
Х=1 Х=1
где сумма состоит из конечного числа слагаемых, а х1,. .., хг — числа (среди которых могут быть и повторяющиеся), соответствующим образом выбранные из множества {1, ..., N}. Доказательство проводится индукцией по ¡.
Лемма 7. Для любого е > 0 абсолютная величина наименьшего общего знаменателя
и-т+1(п I е)
коэффициентов многочленов (18) не превышает (и!) ™ (' + ); эта оценка справедлива для всех достаточно больших и (нижняя граница зависит от е и от параметров функций (3); числа п и определены в формулировке теоремы).
Доказательство. Запишем выражение коэффициента рк1к ^ в соответствии с его определением:
^ ___ а(х) $__
Рык^ = -Ск1к& = - 2]Р> - ^ П Щ ^Л7^ П(Лк + = й^^О к х— 1
^^ в_ в!(п — в)! х + Лк -рг Ь(п + х — в) ^ в! п! А! х А1 ь(х)
й—0 х—1 х—1 4 '
х V — ТТ _Ь(х — в)_у__. (19)
х—^ а(х — 5)(х + Лк — (Лк + х1) ... (Лк + Х1к )
в_ в!(п — в)! х + Лк —т, -;- и
Входящие в последнее выражение множители
в! п! П х
х—1
имеют общий наименьший знаменатель, не превосходящий е17П — это (с учетом рациональности чисел Ль ..., Л4) уже рассматривалось выше. Общий наименьший знаменатель множителей
N2 I/ . ч
п ^^ ■ (20)
х—1
можно оценить с помощью леммы 6 работы [8, с. 1227]. Здесь следует учесть, что числа Дь . .., вг_1 рациональны; алгебраические числа имеют степень два,
а степени чисел Дг,..., Д. суть соответственно кг, ..., кт. Внеся в рассуждения, доказывающие упомянутую лемму 6 работы [8], некоторые изменения технического характера, получим, что общий наименьший знаменатель чисел (20) оценивается сверху величиной
и_Т+1 (п I
(п!) ™ (' + ), где е — произвольное положительное число, а п достаточно велико (нижняя граница зависит от е). В случае множителей
Ь(х — в) = / (х — в + Д1) ... (х — в + вг_1)х2 Ц,й(х — в)(х + Лк — в) ,Д а(х — в)(х + Лк — в)
х—V+1 х—V+1 \
х «х — 8)2 + 1>«х — ->2-2>2(х — в)2 — 3)((х — 8)2 — 6) х (х — . + Д)...(х — . + Д.)
х2
можно рассуждать, как при доказательстве леммы 5 (при этом опять придется сослаться на [3, лемма 5]). В результате получим оценку их общего наименьшего знаменателя в виде е78п. Осталось оценить общий наименьший знаменатель последней суммы, входящей в (19). Хорошо известно, что общее наименьшее кратное чисел 1, 2, . .., п есть величина порядка е°(га). Применение этого замечания в рассматриваемой ситуации показывает, что общий наименьший знаменатель упомянутой суммы оценивается сверху величиной в79"-. Суммируя все вышесказанное, получаем утверждение леммы. Лемма 7 доказана.
Полученные результаты позволяют доказать теорему. Мы имеем совместные приближения
Гк^ (г) = (г) + Р(г)^к!к7 (г)
для функций (3) с порядком нуля при г = 0 близким к максимально возможному. При этом функции (3) линейно независимы над полем рациональных дробей. Поэтому, следуя методу, разработанному в статье [9], мы можем построить целую совокупность таких приближений, причем соответствующий определитель будет отличен от тождественного нуля. Затем надо перейти к числовым приближающим формам; получающийся при этом результат оформим в виде леммы. При доказательстве этой леммы следует иметь в виду оценку
ад—г— 1
|гны-(£)1 ^ е71°п(п!) — —,
которая легко следует из (14) и (15).
Лемма 8. В поле I существуют числа -0^, -кв^^, в = 0, 1, ..., ад, к = 1, ..., ¿, /к = = 0, 1, ..., тк — 1, ] = 1, ..., и, обладающие следующими свойствами:
1) определитель det (у0в)Уы) ^, составленный из чисел и ^, в = 0, 1,...,ад, к =
1, ..., t, = 0, 1, ..., тк — 1, j = 1, ..., u, отличен от нуля;
, ч , ч N u—r—1
2) det(vgj + v0s)Ffcifcj(£)) ^ eYlin(n!) — w ;
(s vo
3) det(v0s)) ^ eY12n(n!)u—r—1;
4) числа v0s) являются целыми, а общий наименьший знаменатель чисел j по модулю
u—r+1(n I p)
не превышает (n!) w (' + ), причем последняя оценка справедлива для всех достаточно больших n.
Перечисленные утверждения справедливы при всех допустимых значениях индексов. Из последней леммы утверждение теоремы можно получить с использованием стандартной техники. Подробности см. в [9].
Заключение
Мы видим, что, выбирая специальным образом параметры гипергеометрических функций, можно расширить область применимости используемой эффективной конструкции совместных приближений при изучении арифметической природы значений таких функций. При этом привлекалась теория делимости в квадратичных полях. Применение аналогичной теории в других полях алгебраических чисел позволит получить новые результаты такого рода.
Список литературы
1. Siegel C.L. Über einige Anwendungen Diophantischer Approximationen // Abh. Preuss. Acad. Wiss., Phys.-Math. Kl. 1929. No. 1. P. 1-70.
2. Галочкин А.И. О критерии принадлежности гипергеометрических функций Зигеля классу E-функций//Математические заметки. 1981. Т.29, вып. 1. С. 3-14.
3. Иванков П.Л. О значениях некоторых гипергеометрических функций с иррациональными параметрами//Изв. ВУЗов. Математика. 2007. №7. С. 48-52.
4. Иванков П.Л. О линейной независимости некоторых функций // Чебышевский сборник. 2010. Т. 11, вып. 1. С. 145-151.
5. Иванков П.Л. О линейной независимости значений целых гипергеометрических функций // Сибирский математический журнал. 1993. Т. 34, № 5. С. 53-62.
6. Фельдман Н.И. Седьмая проблема Гильберта. М.: Изд-во МГУ, 1982. 312 с.
7. Шидловский А.Б. Трансцендентные числа. М.: Наука, 1987. 447 с.
8. Галочкин А.И. Об арифметических свойствах значений некоторых целых гипергеометрических функций // Сибирский математический журнал. 1976. Т. XVII, №6. С.1220-1235.
9. Chudnovsky D.V., Chudnovsky G.V. Applications of Padé approximation to Diophantine inequalities in values of G-functions // Number Theory. Springer Berlin Heidelberg, 1985. P. 9-51. (Ser. Lect. Notes in Math.; vol. 1135.). D0I:10.1007/BFb0074600.
SCIENTIFIC PERIODICAL OF THE BAUMAN MSTU
SCIENCE and EDUCATION
EL № FS77 - 48211. №0421200025. ISSN 1994-0408
electronic scientific and technical journal
On the usage of the theory of divisibility in quadratic fields for obtaining the estimates of some linear forms # 11, November 2013 DOI: 10.7463/1113.0622505 Ivankov P. L.
Bauman Moscow State Technical University 105005, Moscow, Russian Federation ivankovpl@mail.ru
It is impossible to use the known in the theory of transcendental numbers Siegel's method directly for investigation of arithmetic properties of values of generalized hyper-geometric functions with irrational parameters because these functions do not belong to the class of E-functions. For that reason in such a situation one usually applies different variants of effective construction of linear approximating forms. In this paper we use one of such variants that makes it possible to consider the differentiated with respect to a parameter functions. The capabilities of this method are extended by a special choice of parameters of the functions under consideration.
References
1. Siegel C.L. Uber einige Anwendungen Diophantischer Approximationen. Abh. Preuss. Acad. Wss., Phys.-Math. Kl., 1929, no. 1, pp. 1-70.
2. Galochkin A.I. O kriterii prinadlezhnosti gipergeometricheskih funkcij Zigelja klassu E-funkcij [Hypergeometric Siegel functions and E-functions]. Matematicheskie zametki, 1981, vol.29, iss. 1, pp. 3-14. (English Translation: Mathematical notes of the Academy of Sciences of the USSR, 1981, vol.29, iss. 1, pp. 3-8).
3. Ivankov P.L. O znachenijah nekotoryh gipergeometricheskih funkcij s irracional'nymi parame-trami [The values of certain hypergeometric functions with irrational parameters]. Izv. VUZov. Matematika, 2007, no. 7, pp. 48-52. (English Translation: Russian Mathematics, 2007, vol. 51, iss. 7, pp. 45-49.).
4. Ivankov P.L. O lineinoi nezavisimosti nekotorykh funktsii [On linear independence of certain functions]. Chebyshevskii sbornik, 2010, vol. 11, no. 1, pp. 145-151.
5. Ivankov P.L. O linejnoj nezavisimosti znachenij celyh gipergeometricheskih funkcij [On linear independence of values of entire hypergeometric functions]. Sibirskii matematicheskii zhurnal [Siberian mathematical journal], 1993, vol. 34, no. 5, pp. 53-62.
6. Fel'dman N.I. Sed'maiaproblema Gil'berta [The Hilbert seventh problem]. Moscow, MSU Publ., 1982. 312 p.
7. Shidlovskii A.B. Transtsendentnye chisla [Transcendental numbers]. Moscow, Nauka, 1987. 448 p.
8. Galochkin A.I. Ob arifmeticheskikh svoistvakh znachenii nekotorykh tselykh gipergeomet-richeskikh funktsii [On the arithmetic properties the values of certain entire hypergeometric functions]. Sibirskii matematicheskii zhurnal [Siberian mathematical journal], 1976, vol. 17, no. 6, pp. 1220-1235.
9. Chudnovsky D.V., Chudnovsky G.V. Applications of Pade approximation to diophantine inequalities in values of G-function. In: Number Theory. Springer Berlin Heidelberg, 1985, pp. 9-51. (Ser. Lect. Notes in Math.; vol. 1135.). DOI:10.1007/BFb0074600.