CC BY
24
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 14 Выпуск 4 (2013)
УДК 511.36
РАЗВИТИЕ МЕТОДА СУЩЕСТВЕННЫХ И НЕСУЩЕСТВЕННЫХ ОБЛАСТЕЙ ДЛЯ ПОДСЧЕТА ВЕКТОРОВ С ДЕЙСТВИТЕЛЬНЫМИ АЛГЕБРАИЧЕСКИМИ КООРДИНАТАМИ ВБЛИЗИ ГЛАДКИХ ПОВЕРХНОСТЕЙ
Э. И. Ковалевская, О. В. Рыкова (г. Минск, Беларусь)
Аннотация
Дана оценка снизу для количества векторов с действительными алгебраическими координатами вблизи гладких поверхностей.
В доказательстве использован метод существенных и несущественных областей В. Г. Спринджука в форме, развитой и усовершенствованной в последнее десятилетие.
Ключевые слова: метрическая теория диофантовых приближений, целочисленные многочлены, распределение действительных алгебраических чисел.
THE DEVELOPMENT OF THE ESSENTIAL AND INESSENTIAL DOMAINS METHOD FOR THE CALCULATION OF VECTORS WITH REAL ALGEBRAIC COORDINATES NEAR SMOOTH SURFACES
E. I. Kovalevskaya, O. V. Rykova (Minsk, Belarus)
Abstract
The lower estimate for number of vectors with real algebraic coordinates near smooth surfaces is obtained. We use a new form of the essential and inessential domains method.
Key words: metric theory of Diophantine approximation, integer polynomials, distribution of the real algebraic numbers .
1. ВВЕДЕНИЕ
Задача подсчета целых (рациональных) точек или векторов — классическая задача теории чисел. С ее решением связаны другие задачи. Например, проблема круга или задачи метрической теории диофантовых приближений, изучающие экстремальные многообразия. В последнее 10-летие получено продвижение в решении задачи о числе точек с рациональными координатами вблизи некоторых гладких кривых Г С К™, п ^ 3, в смысле получения нижних границ того же порядка, что и верхних. Отсюда следует, что такие точки равномерно распределены вблизи Г ([1], [2]).
Пусть Ь £ К. Будем рассматривать приближения нуля значениями многочлена Р = Р(Ь) = апЬп + ■ ■ ■ + а1Ь + а0 £ Ж[Ь], п ^ 3, ап = 0, в точках Ь при возрастании высоты Н(Р) = шах(|ап|,... , |а0|) и фиксированном п. Пусть а1, а2,...,ап — корни многочлена Р, и > 0 (г = 1,2,3). Рассмотрим параллелепипед Т = П3=1 I = п3=1[агЛ] С [-1/2,1/2]3, где длина 1111 = Q-fJ'i при Q > Qo > 0, и множество М = {(х,у,г) € Т : 1х — у1 < 0,01, 1у — г1 < 0, 01, 1х — г1 < 0,01}. Положим Т1 = Т\М. Введем класс многочленов Рп^) = {Р : Н(Р) ^ Q}. Пусть Ап(Т1^) — множество векторов а = (аг,а^,ак), 1 ^ г <]< к ^ п, составленное из действительных корней многочлена Р, Р £ Рп^), таких, что а £ 71. Значит, аг = а^ = ак = аг. Доказана
Теорема 1. Если 0 < цг < 1/3 (г =1, 2,3), то
ШТ^) > c(n)Qп+1-^1 -№-№, где константа с(п) > 0 зависит только от п.
Из теоремы 1 следует
Теорема 2. Пусть функция и = f(х,у) непрерывна в прямоугольнике К1 х К2 С [—1/2,1/2]2 и 0 < А < 1/3. Положим J^,А) = {(х,у,г) £ К3 : х £ К1,у £ К2,1г — f (х,у)| < Q-л}. Тогда существует ^ c(n)Qп+1-л векторов а £ Ап(71^)П J^, А), где константа с(п) > 0 зависит только от п.
Пусть с = (с1,с2,... ,с6), 0 < сг ^ 1, и V = (ь1,ь2,ь3) £ К3, V > 0, — фиксированные константы. Обозначим через Мп(с, Q) множество точек х £ Т1 таких, что система неравенств
Р(xi)| < ^-щ, Р(xi)| < сг^ (г = 1, 2, 3) при У1 + У2 + Ш = п — 2 (1)
имеет решение в многочленах Р £ Рп^). Доказана
Теорема 3. При с1с2с3 < 2-14-п/3п-1 имеем цМп(с^) < 1 ||12||13|, где
1лХ обозначает меру Лебега измеримого множества X С К3, ^| - длину интервала I.
Теорема 1 следует из теоремы 3 в силу "принципа ящиков"Дирихле. Базой сформулированных теорем является теорема 3. Для ее доказательства используется метод существенных и несущественных областей В. Спринджука, развитый и усовершенствованный В. Берником, В. Бересневичем, М. Додсоном, Д. Диккинсон, С. Велани и другими представителями школ теории чисел НАН Беларуси (Минск, Беларусь) и Йоркского университета (Йорк, Великобритания).
Наше исследование основано на методе [3], рассуждениях из [4-8] и их развитии.
Первым важным моментом доказательства является переход от рассмотрения в качестве решений системы (1) вместо множества всех Р Є Рп^) множества неприводимых в поле О и примитивных многочленов из Рга(^) с условием \ап\ ^ с(п)Н(Р)), где с(п) ^ 1 (см. [3, §7]). Обозначим это множество через Рп. Далее для фиксированного Р Є рп при Н(Р) = Н ^ Q выделим систему малых параллелепипедов Пj(Р) С 7 (і = 1, 2,...), в которых выполняется
(1), так, что Мп(с^) С ^^ П (Р). Параллелепипеды П (Р) подразделяются на два вида: существенные и несущественные (аналогично [3], §§10, 11). В первом случае П (Р) содержит множество Б, свободное от точек других параллелепипедов П(Р), где Р Є рп, Р = Р, Н(Р) = Н и Р удовлетворяет (1), с условием: цБ < 1 /іП^ (Р). Во втором случае это условие не выполняется. Мы показываем, что мера множества точек, попадающих в бесконечно многие существенные и несущественные параллелепипеды, < 1\/і\\/2\\^з\.
Чтобы получить эту оценку, векторы а = (а1,а2,а3) Є Ап(Т1^)[>\П2(Р) подразделяются на е-классы К(д, гД) (см. §3, формулы (3), (4) и текст выше и ниже этих формул). Для каждого е-класса находим оценку меры < ^\ 11 \\ 12\\ 13\. При этом для многочленов Р Є Рп вводится понятие (і1,і2,і3)-линейности, где і^ Є {0,1} (і = 1, 2, 3) (например, (0, 0, 0)-.линейность, (1,1,1)-.линейност,ь, (0,1,1)-линейность и т. д.). Всего 8 случаев линейности. Это понятие необходимо, чтобы получить верхние и нижние оценки для производных \Р (Хі)\ и \Р (аі)\ (і = 1, 2, 3). Отсюда, используя разложение в ряд Тейлора многочлена Р в параллелепипеде П (Р), по лемме 1 находим указанную оценку меры. В каждом случае линейности векторы а = (а1,а2,а3) подразделяются еще на два подкласса (см. §4, Предложения 1, 2). К первому подклассу относятся наборы корней а многочлена Р Є рп, который является единственным решением системы (1). Ко второму - наборы а, которые являются корнями двух или более различных многочленов из рп. Числа первого подкласса охватывают основную массу координат векторов а. Здесь получаем оценку
2. ОБЩИЙ ПЛАН ДОКАЗАТЕЛЬСТВА
і=1
где индекс і = Н(Р) = Н. Числа второго подкласса содержат лишь небольшую часть векторов а. Последние рассматриваются при помощи леммы 2 независимо от понятия существенных и несущественных параллелепипедов. Отметим также, что при суммировании мер параллелепипедов Пз- (Р) во многих местах доказательства используется метрическая лемма Бореля-Кантелли [3, лемма 12].
Таким образом, общая схема метода существенных и несущественных областей дополняется рассуждениями, связанными с получением (2), леммы 2 и ее последующим применением.
3. ЛЕММЫ О МНОГОЧЛЕНАХ
Положим Рп(Н) = {Р Є рп : Н(Р) = Н}, где Н фиксировано, Qo ^ Н ^ Q. Напомним, что согласно §1 действительные корни аі, а^, а к многочлена Р Є Рп различны. Обозначим через прх. Ап(Т1, Q) проекцию множества Ап(Т1, Q) на ось ОХі (і = 1, 2, 3). Каждому вектору аг = (аг1, аг2,аг3) Є Ап(71, Q), соответствующему многочлену Р Є Рп, поставим в соответствие множество Ц3=1 Б(агі) =
{Х =(х1,х2,х3) Є 71 : \хі — агі\ = шіп \хі — азі\ (і = 1, 2, 3)},
где агі Є прх. Ап(Т1, Q) и азі - другие действительные корни многочлена Р Є рп, принадлежащие прх.Ап(Л^) (см. [3, с. 386]), т. е. ставим в соответствие множество, состоящее из всех векторов Х Є 71, удаленных по каждой координате от данного аг не более, чем от другого вектора а3 = (а81, аз2,аз3) Є Ап(Т1, Q).
При фиксированном і (і = 1, 2, 3), например, і =1, рассмотрим множество Б(аг1), и положим в следующей лемме х1 = х, аг1 = а1.
Лемма 1. При х Є Б(а1) имеем
\х — а1\ ^ п\Р(х)\/\Р'(х)\, \х — а1\ ^ 2п-1\Р(х)\/\Р'(а1)\,
з
\х — а1 \ ^ шіп (2п-3 ТТ \а1 — ак\\Р(х)\/\Р'(а1 )\)1/з.
2<?<п Л“К-
к=2
Доказательство. Первое неравенство получено в [3, лемма 1 ]. Второе и третье неравенства доказаны в [4, лемма 5].
Лемма 2. Пусть числа 8, Н,щ,п2,щ Є Е+ и Р1,Р2 Є - взаимно простые многочлены степени ^ п с условием шах(Н(Р1),Н(Р2)) ^ Н (Н > Q0). Пусть ■]і - интервал длины \Зі\ = Н-Пі (і = 1, 2, 3). Если существуют числа ті > —1 (і = 1, 2, 3) такие, что для всех Х = (х1,х2,х3) Є П3=1 ■1і выполняется система неравенств
шах(\Р1(хі)\, \Р2(хі)\) <Н Ті (і = 1, 2, 3),
то имеем
Ti+Т2+Т3+3+2max(ri + 1 — ^1, 0)+2max(r2 + 1-^2, 0)+2тах(тз+1—Пз, 0) < 2и+8.
ДОКАЗАТЕЛЬСТВО. Аналогично [6]. Различие состоит только в наборах X = (X^X2, X3) и метриках соответствующих пространств. Именно, в [6] имеем X = (x1,z,u) Е R х C х Qp, в нашем случае X = (x1,x2,x3) Е R3.
Смысл леммы состоит в следующем: если значения двух многочленов малы в заданном параллелепипеде, имеющем малые длины сторон, то параметры т и ni должны удовлетворять заключительному неравенству леммы.
Отметим, что при исследовании некоторых е-классов K(q,r,t) получаем противоречие с заключением леммы 2, т. е. эти классы пусты.
Лемма 3. Пусть v > 0; n ^ 2 и G(v) обозначает множество точек (x1,x2,x3) Е R3, для которых неравенство \P(x1)| • \P(x2)| • \P(x3)| < H-v имеет бесконечно много решений в многочленах P Е Vn(Q) и H(P) = H. Тогда fiG(v) = 0 при v > n — 2.
ДОКАЗАТЕЛЬСТВО. См. [8].
Далее, как в [3, §12], произведем разбиение корней многочлена P, P Е Pn(H), на е-классы K(q,r,t). Именно, упорядочим корни aij Е прх.An(T1,Q) условиями: \ai1 — ai2\ ^ \ai1 — ai3\ ^ ^ \ai1 — ain\ (i = 1, 2, 3) и определим
числа pij Е R равенствами \ai1 — aij \ = H-Pij, 2 ^ j ^ n, pin ^ pi2 ^ ^
pi2 (i = 1, 2, 3). Так как по лемме 1 ([3, с. 387]) имеем maxi \ai\ ^ 1, то суще-
ствует такое е 1 > 1, что pij ^ — е1/2 для i = 1, 2, 3 и j = 2, 3,... ,n. Выберем е > 0 так, что е1 = е/Т1 для некоторого Т1 > Т0 > 0. Положим T = [n/e1] + 1 и определим целые числа kj, lj ,Uj (j = 2, 3,... ,n) неравенствами:
(sij — 1)/T ^ Pij < sij/T, si2 ^ si3 ^ ^ sin ^ °
(s1j, s2j, s3j ) = (kj ,lj ,uj), i = 1, 2, 3. (3)
Наконец, введем числа qi,ri, ti при (i = 1, 2,... ,n — 1)
n n n
qi = T-1 £ km, ri = T-1 £ lm, ti = T-1 £ Um . (4)
m=i+1 m=i+1 m=i+1
Теперь каждому многочлену P Е Pn(H) поставим в соответствие тройку целых векторов q = (k2,k3,... , kn), r = (l2,l3,... ,ln), t = (u2,u3,..., un). Число таких векторов конечно и зависит только от n,e (см. [3], лемма 24). Обозначим через Pn(H, q, r, t) множество многочленов P Е pn(H), имеющих одну и ту же тройку векторов (q, r, t), что соответствует разбиению множества корней а на е-классы K (q,r,t).
Следующая лемма 4 и лемма 1 используются в доказательстве теоремы 3 при получении верхних границ для членов разложения в ряд Тейлора многочлена P Е pn(H,q,r,t) в малых прямоугольниках из Mn(c,Q).
Лемма 4. Пусть Р € рп(Н,д,т,1). Тогда для производных имеем оценки \Р(1)(аг1)\ < с(п)Н 1-3'+(п-г)£1 (г = 1, 2, 3),
Ыэ,в2з,взз) = (кз,13и) (1 ^ I ^ п - 1),
где константа с(п) > 0 зависит только от п.
Доказательство. См. [4, лемма 7].
4. ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ 3
Определение 1. При гэ € {0,1} (] = 1,2,3) многочлен Р € рп(Н,д,г,Т) называется (г1,г2,г3)-линейным, если:
(1) при (г1,г2,г3) = (0, 0, 0) выполняется система неравенств
Гг1 + $г2/Т <Уг + 1 (г = 1, 2, 3), (5)
где (г11, г21, г31) = (д1,т1,11) определены в (3) и (4);
(2) при (г1,г2,г3) = (1,1,1) знаки в неравенствах (5) изменены на ^;
(3) при (0,1,1) в (5) первое неравенство имеет знак <, а остальные два имеют знаки ^ и т. д. Всего 23 = 8 случаев линейности.
В доказательстве теоремы основными являются (1,1,1)-линейность и (0, 0, 0)-линейность. Остальные линейности представляют собой комбинации этих случаев по соответствующим координатам. Отметим, что при оценке меры в случае (1,1,1)-линейности используем первое и третье неравенства леммы 1, а (0, 0, 0)-линейности - первое и второе неравенства леммы 1. Наконец, введем две константы
dl = + Г1 + ^1, ^2 = (к2 + /2 + и2)/Т, (6)
связанные с (3) и (4). Также далее используем равенства
\Р(ац)\ = Н|аг1 -аг2\ • • • N1 -агп\ = Н1-п' (г = 1, 2, 3), (^,Г1э, ^ = (дь гь £1).
Обозначим через рП1 ,г2,гз)(Н, д, г, 1) множество многочленов Р € рп(Н, д, г, 1), которые удовлетворяют условию (г1 ,г2, г3)-линейности, и через Мпг1,г2,гз)(с,Q) С Ып(с,Я) — множество точек х € 71, для которых (1) имеет решение в Р € Р(гьг2’гз)(Н,д,гД).
Предложение 1. Если Р € Рп’1’1 (Н,д,т,1), то
М1’1’1^) < -1-!/1\\/2!\/зI
Доказательство. Согласно (5), (6) имеем d1 + d2 ^ п + 1. Следуем схеме рассуждений предложения 5 в [5], дополненной получением оценки, указанной в предложении. Имеются отличия между [5] и нашим доказательством в наборах X = (Х^Х2,Х3), метриках соответствующих пространств и выборе длин подынтервалов \1г\ разбиения множеств прх. Ап(71^) (г = 1, 2, 3). Именно, в нашем случае X = (х1,х2,х3) € К3, а в [5] имеем X С О = К х С х Qp. Далее мы рассматриваем меру Лебега в К3 вместо меры в О (см.[5]); также полагаем, что \1г\ = Q-Pi+£, рг = (уг — гг1 + 1)/3 (г = 1,2, 3) (в [5] выбираются другие длины интервалов). Наконец, полагая, что (1) имеет не более одного решения в рассматриваемых многочленах, получаем указанную оценку. Полагая, что (1) имеет два или более решений в многочленах Р € Рп’1’1 (Н,5,г,1), получаем противоречие с заключением леммы 2. Предложение доказано.
Предложение 2. Если Р € р0’0’0(Н,д,т,1), то
мС’м)(с^) <
Доказательство. Согласно (5), (6) имеем d1 + d2 < п + 1, и доказательство состоит из пяти случаев: (1) п + 0,1 ^ d1 + d2 < п + 1; (2) п — 0, 3 ^ dl + d2 < п + 0, 1; (3) п — 0, 55 ^ d1 + d2 < п — 0, 3; (4) 1 ^ d1 + d2 < п — 0, 55; (5) d1 + d2 < 1. Следуем схеме доказательств предложений 1, 2, 4, 3 в [5], дополненной получением оценки, указанной в предложении. Отличие состоит в наборах X = (Х1,Х2,Х3), метриках соответствующих пространств (что было указано выше) и выборе длин подынтервалов \ 1г \ разбиения множеств прх.^(71^) (г = 1, 2, 3). Именно, в случае (1) полагаем \ 1г\ = Q-Pi+£; в случае
(2): \ 1г\ = Q-pi+°’3; в случае (3): \ 1г\ = Q-Pi+0’42; в случае (4): \ 1г\ = Q-Pi, и везде рг = ггэ/Т (г = 1, 2, 3). Отметим, что в случае (3) производим редукцию к многочленам степени п — 1 и применяем лемму 3. Случай (5) соответствует тому, что для производной выполняется оценка снизу: Q-1/3 < \Р (хг)\ (г = 1, 2, 3). Здесь рассуждаем аналогично предложению 3 в [5] и исследуем существенные параллелепипеды для многочленов степени 3 (в [5] - степени 2). Наконец, как в предложении 1, окончание доказательства зависит от количества решений системы (1) в указанных многочленах. Предложение доказано.
Таким образом, учитывая сказанное ранее об исследовании остальных случаев (г1, г2, г3)-линейности многочленов, заключаем, что теорема 3 доказана.
Отметим, что аналогичные теореме 3 рассуждения ранее использовались при изучении диофантовых приближений в С х Qp ( см. [7]).
Авторы благодарят профессора В. И. Берника за постановку задачи и полезные обсуждения.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Beresnevich V., Dickinson D.,Velani S. Diophantine approximation on planar curves and the distribution of rational points. With an Appendix II by Vaughan R.C. // Ann. of Math. (2). 2007. Vol. 166, № 2. P. 367-426.
2. Beresnevich V. Rational points near manifolds and metric Diophantine approximation // Ann. of Math. 2012. Vol. 175. P. 187-235.
3. Спринджук В. Г. Доказательство гипотезы Малера о мере множества S-чисел // Изв. АН СССР. Сер. Мат. 1965. Т. 29, вып. 2. C. 379-436. [Sprindzuk V. G. Proof of Mahler conjecture on measure of the S-numbers set // Izv. AN SSSR. Ser. math. 1965. Vol. 29, No. 2. P. 379-436]
4. Берник В. И. Совместные приближения нуля значениями целочисленных многочленов // Изв. АН СССР. Сер. Мат. 1980. Т. 44, вып. 1. C. 24-45. [Bernik V. I. Simultaneous approximation of zero by integer polynomials // Izv. AN SSSR. Ser. math. 1980. Vol. 44, no. 1. P. 24-45]
5. Budarina N., Dickinson D., Bernik V. Simultaneous Diophantine approximation in the real, complex and p-adic fields // Math. Proc. Cambridge Phil. Soc. 2010. Vol. 149, part 2. P. 193-216.
6. Берник В. И., Калоша Н. И. Приближение нуля значениями целочисленных полиномов в пространстве R х C х Qp // Весщ НАН Беларуси. Сер. фiз.-мат. навук. 2004, № 1. C. 121-123. [Bernik V. I., Kalosha N. I. Approximation of zero by integer polynomials in space R х C х Qp // Proc. NA Sci. Belarus. Phis. and Math. Ser. 2004, № 1. P. 121-123.]
7. Kovalevskaya E. Diophantine approximation in C х Qp // Analytic and Probab. Methods in Number Theory. Proceedings of the Fourth Intern. Conf. in Honour of J. Kubilius, Palanga, Lithuania. 25-29 Sept. 2006. Vilnius: TEV, 2007. P. 56-71.
8. Zeludevich F. Simultane diophantishe Approximationen abhangiger Grossen in mehreren Metriken // Acta Arithm. 1986. Vol. 46. P. 285-296.
Белорусский государственный аграрный технический университет
Поступило 14.09.2013
