CC BY
8
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 22. Выпуск 4.
УДК 511.3 DOI 10.22405/2226-8383-2021-22-4-304-321
О кратных рациональных тригонометрических суммах над полем алгебраических чисел
В. Н. Чубариков
Чубариков Владимир Николаевич — доктор физико-математических наук, профессор, Московский государственный университет им. М. В. Ломоносова (г. Москва). e-mail: [email protected]
Аннотация
В работе описаны основные свойства полиномиальных сравнений по модулю идеала в кольце целых алгебраического числового поля, найдены оценки полных рациональных тригонометрических сумм от многочлена над алгебраическим полем, получены оценки сумм характеров Дирихле по модулю, равному степени простого идеала в алгебраическом поле, даны оценки кратных полных рациональных тригонометрических сумм от многочленов над алгебраическим полем.
Ключевые слова: тригонометрические суммы, метод И. М. Виноградова, метод Хуа Ло-кена, кольцо целых в алгебраическом числовом поле, полные рациональные тригонометрические суммы над алгебраическим числовым полем, характеры Дирихле в алгебраических числовых полях, формула А. Г. Постникова для характеров Дирихле в алгебраическом поле.
Библиография: 37 названий. Для цитирования:
В. Н. Чубариков. О кратных рациональных тригонометрических суммах над полем алгебраических чисел // Чебышевский сборник, 2021, т. 22, вып. 4, с. 304-321.
CHEBYSHEVSKII SBORNIK Vol. 22. No. 4.
UDC 511.3
DOI 10.22405/2226-8383-2021-22-4-304-321
On multiple rational trigonometric sums over a field of algebraic numbers
V. N. Chubarikov
Chubarikov Vladimir Nikolaevich — doctor of physical and mathematical sciences, professor, Lomonosov Moscow State University (Moscow). e-mail: [email protected]
The paper describes the basic properties of polynomial comparisons modulo an ideal in the ring of integers of an algebraic number field, estimates of total rational trigonometric sums from a polynomial over an algebraic field are found, estimates of sums of Dirichlet characters modulo the degree of a prime ideal in an algebraic field are obtained, estimates of multiples of total rational trigonometric sums from polynomials over an algebraic field are given.
Keywords: trigonometric sums, I. M. Vinogradov method, Hua Lo-ken method, ring of integers in an algebraic number field, complete rational trigonometric sums over an algebraic number field, Dirichlet characters in algebraic number fields, A. G. Postnikov formula for Dirichlet characters in an algebraic field.
Bibliography: 37 titles. For citation:
V. N. Chubarikov, 2021, "On multiple rational trigonometric sums over a field of algebraic numbers" , Chebyshevskii sbornik, vol. 22, no. 4, pp. 304-321.
1. Введение
Настоящая статья посвящена светлой памяти академика И.М.Виноградова (14.09.1891 -20.03.1983) и была подготовлена к 130-летию со дня его рождения [35]-[37].
Рациональные тригонометрические суммы вида
где ц > 1, /(х) = апхп + ■ ■ ■ + а\х, (ап,... ,а\,д) = 1, сами по себе имеют ярко выраженный "алгебраический" аспект, поскольку тесно связаны с кольцом вычетов по модулю д. Первым примером такого рода взаимосвязи явились суммы Гаусса [25]
Abstract
В 1940 г. Xva Ло-кен нашел неулучшаемую оценку [29]
^(q; f (х)) « q1-^ +£,
где е > 0 — сколь угодно малая постоянная. В дальнейшем, Хуа Ло-кен, В.И.Нечаев в этой оценке убрали величину е, другие уточнения были получены С. Б. Стечкиным и Чен Джин-руном.
В 1942 г. Хуа Л. К. и С. X. Мин обобщили этот результат на случай многочленов от двух переменных, которые не приводятся к многочлену степени к от одной переменной, доказав,
где р — простое число и
р р
2жг2-2 р < р «,
х=1у=1
/ ак'тхк ут
к=0 т=0 1<к+т<п
многочлен с коэффициентами простыми в совокупности с р. Существенно новые оценки для полных сумм по простому модулю с многочленом от одной и нескольких переменных были получены А.Вейлем и П.Делинем. Элементарный метод оценки таких сумм был развит А. Г. Постниковым, С. А. Степановым, Н. М. Коробовым, Д. А. Митькиным и др.
Неулучшаемые оценки полных кратных рациональных тригонометрических сумм в 1976 г. были получены автором статьи [32],[33]. Они имеют вид
5 = 5 (д; / (Х1,...,Хг ))= £
х\ = 1 хг=1
где постоянная в знаке зависит от г и п,
2ж
/ (х!,...,хг)
г- 1
д «
(г (д))
г-1
/ (Х1, ...,ХГ) =
¿1=0
У^ а(Ь1,..., и)х\
¿1
,а(0,..., 0) = 0,
и=0
и коэффициенты а(Ь1,... ,ЬГ) просты в совокупи ости с д.
Мощному развитию методов исследования рациональных тригонометрических сумм послужило создание и систематическое изучение "метода круга" Харди - Литтлвуда - Рамануджана [26]-[28] в аддитивной теории чисел и, в первую очередь, в проблеме Варинга о представлении натуральных чисел в виде суммы ограниченного числа степеней неотрицательных целых чисел. Существенным звеном в их исследованиях по проблеме Варинга играют оценки сумм Г.Вейля, найденные им в 1916 г. в работе о равномерном распределении последовательностей по модулю единица. В 1934 г. И. М. Виноградов принципиально усилил результат Харди -Литтлвуда, создав новый мощный метод в аналитической теории чисел [1]-[24].
В частности, в 1952 г. Хуа Ло-кен [29] доказал, что особый ряд
Я1 дп
- = '(*>) = £••• £ £ ... £ 1х
Я1 = 1 Яп = 1 Ъ,1 = 1 Ип = 1
(Ъ,1 ,Я1) = 1 ,Яп)=1
Я1-ЯП ^ ^ . 2к
х (д1...дп)-1 £
х=1
сходится при 2к > п(п+1 + 2 и расходится при 2к < п(п+1 + 2. Ряд а отвечает за "арифметическую природу" в главном члене асимптотической формулы для числа решений системы уравнений
2жг( ^ х"+-----+ х)
£ уЧп 41
Х1 +-----+ хк = У1 +-----+ ук,
х"{ +-----+ = уI +-----+ у1,
ч
•I
в натуральных числах, не превосходящих любой наперед заданной границы.
В 1978 г. Г. И. Архипов, А. А. Карацуба и В. Н. Чубариков [32], [33] доказали, что при 1 < I < ••• < п,1 + ••• + п < п(п2+1) для "выщербленной системы" уравнений
х\ + ■ ■ ■ + х1к = у\ + ■ ■ ■ + у1к,
Кх1 +-----+ х1 = у1 +-----+ yl,
в натуральных числах, не превосходящих любой наперед заданной границы, особый ряд
qi qn
= Ak) = Е••• Е £ ■■■ Z 1х
qi = 1 qn = l hi = 1 h„ = 1
(hi,qi) = 1 (hn,qn) = 1 2k
li-ln , h, ,
, N_1 v^ 2m( +-----+ ^xl)
(qi ...qn) 1 E e " 91
x=1
сходится при 2к > I + ••• + n + 1 и расходится при 2к < I + ■ ■ ■ + п + 1.
Весьма полезной в аддитивной теории чисел оказалась формула Хуа Ло-кена [29] при Р < q для неполных рациональных тригонометрических сумм вида
Р q
ST^ 2жг ^ Р V^ 2жг ^ , 1 +
x=1 x=1
где (h, q) = 1 и е > 0 — сколь угодно малая постоянная.
Формула Постникова [31] позволяет свести оценку сумм характеров Дирихле к рациональным тригонометрическим суммам. Пусть р > 3 — простое чи ело, п,тж s — натуральные числа, s < п,п — s < srn < п + s — 1 и ind v — индекс вычета v по модулю pn. Тогда справедлива формула
ind(1 +Р и) ^ ^ + 1 a2(psu)2 + ... + 1 am(pSи)т (mod pn-1),
р — 1 2 т
где (ак,р) = 1, к = к1рак, (к1,р) = 1,1 < к < т, и к = Р~акк1, к1к1 = 1 (mod pn~1).
В настоящей работе продолжены исследования Хуа Ло-кена [29],[30] по оценкам рациональных тригонометрических сумм и сумм характеров Дирихле в алгебраических числовых полях.
X
2. Полиномиальные сравнения по модулю идеала в кольце целых алгебраического числового поля
Пусть к,п — натуральные числа. Рассмотрим поле алгебр аических чисел К степей и п над
п
полем рациональных чисел Пусть ^(а) = а(1) + ■ ■ ■ + а(п) € (а) = П а:^ — след и
«=1
норма элемента а € К и 1 < в < п, — его сопряжённые. Обозначим через J кольцо целых поля К.
Система а чисел поля К называется идеалом, если
1) для любых чисел а, @ € а и для любых целых € ^ мем \а + € а;
2) существует целое V такое, что для любого а € а число иа € J является целым.
Идеалы, содержащие только целые числа, называются целыми, все остальные идеалы называются дробными.
Пусть задан дробный идеал £ и целый идеал Ь. Очевидно, £|£Ъ. Разобьем множество элементов идеала Г на классы вычетов, отвечающие модулю £Ь. Число различных классов вычетов будет равно норме N (Ь) идеал а Ь. В каждом классе возьмем один элемент. Множество всех таких элементов образует полную систему вычетов идеала £ по модулю идеала £Ь.
Пусть далее идеал 5 обозначает дифферент у поля К над Р, и пусть И — дискриминант поля К, так что норма N(5) = И, причём
5 = {р е K | Va е K имеем tr(pa) е Z} ,
т.е.
Е (pa) = e2wi tr(pa) = 1.
Заметим, что для квадратичного поля K = Q(Vd) при d = 1 (mod 4) базис кольца целых J С K имеет в ид {1, 2 (1 + л/5)}, дифферента л/dJ, дискриминант D = d; а пр и d = 2, 3 (mod 4) базис представляет собой {1, Vd}, дифферента равпа 2y/dJ и дискриминант равен D = 4d.
Нам понадобятся следующие вспомогательные утверждения, доказательства которых по существу повторяют вывод соотетствующих утверждений из [32], [33].
Лемма 1. Пусть a = (a\,..., am) — целый идеал в поле K, и пусть р — простой идеал, причём р/a. Тогда, число решений сравнения
f (О = От+ ■ ■ ■ + Ы + ао = 0 (mod р)
с учётом крат,ноет,и, не превосходит, т.
Лемма 2. Пусть р — простой идеал, и пусть f (х) — многочлен с целым,и коэффициентами по модулю р. Пусть, далее, х = а — корень кратности т сравнения f (х) = 0 (mod р). Пусть, наконец, X — целое число, делящееся на р, но не делящееся на р2, и пусть v будет наибольшее целое такое, что р" делит, все коэффициенты многочлена
f (Хх + а) - f (а).
Положим,
h(x) = А-^(f (Хх + а) - f (а)) (mod р). Тогда, v < т и число решений сравнения h(x) = 0 (mod р) не превосходит, т.
3. Полные рациональные тригонометрические суммы от многочлена над алгебраическим полем
Положим
ехр(ж) = ех,е(х) = exp(2nix), Е(а) = e(tr(a)).
Наконец, пусть задан дробный идеал a = {од,..., ак}, а\,... ,ак е K. Тогда найдутся единственные целые взаимно простые идеалы г и q такие, что
a£ = —. q
Для данного идеала a = {од,...,ак} определим многочлен f (х) = а\х + ■ ■ ■ + акхк степени к
K
S(f (х), q) = £ e2ni^(х)) = £ E(f (х)),
a;(q) x(q)
где вычет х = ®(q) пробегает полную систему вычетов по модулю идеала q.
Лемма 3. Пусть q — целый идеал, а € J — целое число, и пусть £ € J пробегает полную систему вычетов по модулю б-1. Тогда
Е Е м = £е~
км) = iN(ч)> если чК
^ ^ если ц/а.
Доказательство, см., например, [34], Lemma 2.5, р.16-17. Лемма 4. Пусть a, q, qi, q2 — целые идеалы,
q = qiq2, (qi, q2) = 1, a = [ak, ...,a{},
f (0 = ak£ k + ■ ■ ■ + cut, aqö = r, (r, q) = 1. Тогда найдутся многочлены
fs(Q = as,k (k +-----+ as = [as,k,..., asA}, s = 1,2,
степени к, с идеалами a1q15 = r1, a2q2$ = r2, взаимно простыми соответственно с q1 и q2, т,акие, что
S(f (О, q)= S(fi((), qi)S(f2(0, q2)
Доказательство, см. [34], Lemma 2.4, p.16.
Пусть a = {ak,... ,ai} — дробный идеал rn a5 = r/pp, (r, p) = 1.
Рассмотрим полную тригонометрическую сумму от многочлена
f (х) = akxk + ak-1xk-1 + ■ ■ ■ + а2х2 + а1х, ak,... ,a1 G K,
p
s(f (x),p) = e e2ni tr( i[x)),
x(pl)
где p — простой идеал, I > 1 — натуральное чиело и х = x(p) пробегает полную систему p .
Обозначим через b идеал
b = {kak, (k — 1)ak-1,..., 2a2, a1}.
Имеем, что a | b. Пусть, как и раньше, t обозначает наивысшую степень идеала p, делящую ba-1.
Рассмотрим сначала случай I > 2(t + 1). Каждый вычет х = x(pl) единственным способом представим в виде
i—t—1
X = у + p ь 1z,
где у = y(pl~i_1) и z = z(pt+1) — некоторые вычеты из соответствующих полных систем
i—t—1 t+1
вычетов по модулям p 1 и pi+1.
Пусть теперь v = v(p) пробегает полную систему вычетов по модулю p. Тогда имеем
s(f,pl)= Е £ е2™tr(/(у+р-t-1z)) = £
y(P--1)z(P+1) „(р)
где
gv = ^ ^ е2ш tr(f (y+P-t-1 z)).
у(р--1) z(P + 1) y=v (mod р)
Используя разложение многочлена f(y + р 1 z) по формуле Тейлора, получим
к
si
п» + р-1 » = Е ^
s=0 1
= Ку) + Pl-t-1zf'(y) (mod pl-t).
Лемма 5. Пусть р — простой идем,л, v £ р — вычет, по модулю р, пусть р*||Ь, I > 2t + 2, и пусть, также, v не является корнем сравнения р1-ь f(v) = 0 (mod р). Тогда,
Sv = 0.
Доказательство. Имеем
Sv = ^ ^ tr(f (y)+pl-t-1zf'(y))_
y(p-t-1) z(pt+1)
y=v (mod p)
Отсюда, применяя лемму 1 к внутренней сумме, находим
^ e2-Ki tr(pl - f(u)p-1z) = 0^ z(P+1)
Стало быть, Sv = 0. Лемма доказана.
Лемма 6. Пусть р — простой идеал, и £ р — вычет, по модулю р, пусть р*||Ь, I > 2t + 2,
р1-f'(и) = 0 (mod р). (1)
Пусть, далее, показатель и = и(и) определяется из соотношений
к
*1,sVa
s=1
Тогда
f (рУ + v) - f(v) = ри fi(y) = р^а1,8у8, ai = {ai,n,..., aM}, р /аь
S(f; р1) = N(ри-1)Е(f(u))S(fi; р1-и)
где штрих в знаке суммирования по и означает, что вычеты V пробегают решения сравнения (1) из полной системы вычетов по модулю р.
Доказательство. Положим
к
КУ + и) - 1(и) = ](у) = £ а8у8, где коэффициенты многочлена /(у) определяютя соотношениями
ап - аП1
ап-1 — ап-1 + )апи,
О
fs + 1\ fn\ „„
as = as +1 \as+1V +-----+ [s)anl/
0,1 = 0,1 + ^ 02V +-----+ ^ ^ an^'
Отсюда находим pl||{nan, (п — 1)an-1,..., 2а2, а1}. Определим показатель и = и(и) из соотношений делимости идеалов
<риЦ{<рП On, РП-1(П — 1)On-1 ..., р202, Р01}. Далее по условию леммы имеем
к
f (РУ + v) — f (v) = Ри h(y) = pu Е a1,s УS, а1 = {a1n,..., Оц}, p /fax.
s=1
Следовательно,
= (f; pl) = E E(f (x)) =
x(pl)
x=v (mod p)
= E E(f(у)) E E(f(v+zpl-t-1) — /(»)) =
y(pl-i-l) z(p+i)
y=v (mod p)
= E E(f(у)) E ^(pl--1 /'(^) = ж(P+1) E E(f(y)) =
y(pi-t-1) z(pt+1) y(pi-t-1)
y=v (mod p) y=v (mod p)
= N (pt+1)E (f (и)) E E(f (VP + v) — f (")) =
y(p - -2)
= N(pt+1)E(f (у)) E E(pUh(y)) = ^(pu-1)E(f (y))S(h; pl-и).
y(p - -2)
Лемма доказана. Положим
к
fo(x) = f (x) = E ak xk, ao = {ak ,...,01}, bo = {как,..., 2(12,(11}. =1
Определим показатель to из условия pl01| bo. Пусть вычеты x = vo,q из полной системы вычетов p
p-10f0(x) = 0 (mod p).
Их количество не превосходит степени к многочлена fo (х). Для каждого корня щ,q определим показатель и = uo,q из соотношений
к
n 1
fo(py + ) — fo(vo,g) = pUЬ(у) = pU Е а1,гУ
=1
ai = {а1,к,..., 011}, p Jfax,h = I — и.
Пусть определены многочлены fo(x),..., fs-1(x), s > 1 и соответствующие им корпи vr, q, 0 < г < s — 1, и показатели и = иг>д.
Имеем
к
¡3-1(х) = Е аз-1,к хк, а8_1 = {а3-1,к,..., ^-1,1}, Ь8-х = {ка3-1,к,..., 20,3-1,2, «3-1,1}. =1
Показатель Ь3_1 задается условием р*в-1 ||Ь8_1. Вычеты х = и3_1,д из полной системы вычетов по модулю р пробегают все решения сравнения
р1в-1_°-1 Г3_1(х) = 0 (шсё р).
Для каждого корня ^3_1,д определим показатель и = и3>д из соотношений
к
¡з_1(ру + V3-1,д) - ¡3-1(^3-1,д) = рЫ¡з(у) = Р™^ О,з,гуГ,
=1
аз = {аз,к,..., «3,1}, Р /а8. Для каждого набора корней и0,Я0, и1,д1,..., и^,Як находим набор показателей
{ио,и1, ...,иь} = {ио, до Я1,.. .,ин, дк },
где длина набора к определяется неравенствами
I — и0 — и1 — ■ ■ ■ — иЬ-1 > + 1,1 — и0 — и1 — ■ ■ ■ — иь < + 1,
причем ад находится как максимум показателей V таких, что р"||т по всем т < к. Отсюда, в частности, следует, что Ьо < ад.
Лемма 7. Количество наборов показателей {и0, щ,... ,и^} = {и0,Я0, и1,д1,..., дн } не превосходит, степени к многочлена, / (х).
Доказательство, аналогично [32],[33], гл. II.
Лемма 8. Имеем
к > и0 > и1 > ■ ■ ■ > иь > 2. Доказательство, аналогично [32],[33], гл. II.
Из этих вспомогательных утверждений получим следующий результат.
Теорема 1. Пусть р — простой идеал, и3 € р — вычет по модулю р, пусть рв ||Ь8,/ > 2Ь3 + 2, и пусть, также, и3 является корнем сравнения
р1в-и/'(V3) = 0 (шсё р). (2)
Пусть, далее, показатель и3 = и3(и3) определяется из соотношений
к
¡3_1(ру + »3) — ¡3-1(^3) = ри¡3(у) = ри Е а3,гУГ,
=1
аз = {а3,к,..., «3,1}, р /а8.
Тогда
Я(/; р1)= Е 'к(ри1+-+и _3)Е(/(и1) + ... + ри1+-+и /3(1,3))*
хБ(/3; р_и1 _"~и'),
где штрих в знаке суммирования по ^1,... ,и3 означает, что вы четы и1,... ,и3 пробегают
р.
4. Характеры Дирихле по модулю, равному степени простого идеала, в алгебраическом поле
р 2, р.
по модулю р такой, что д1 = д + ¿р является первообразным корнем по модулю р, причем
(д + 1р)Мр-1 = 1 + Ьр, (b,р) = 1. (4)
Пусть / — любой вычет по модулю р с уеловием (/л, р) = 1. Обозначим символом ind/ = indfl 1 / индекс вычета / по модулю р при осповании д1, т.е. натуральное число 7 = ind / такое,
д} = / (mod р1),
причем можно считать, что 1 <7 < Nрl-1^р — 1) = Ф(р1).
Определим теперь характер Дирихле % по модулю, равному степени I > 1 простого идеала р с нормой, те делящейся на 2. функция x(t), определенная па полной системе вычетов по
модулю р при любом целом m следующей формулой
x( ) = 0, , р) =
\Е (фр)), если (^р)=1,
р . ( m, р) = 1,
примитивным.
Лемма 9. Пусть р — прост,ой идеал, р\/2,% — характер Дирихле по модулю р, и £ р — р.
£x(1 + ур-1) = 0.
V (Р)
Доказательство. Пусть 7 = indfl 1 (1 + ира-1) то модулю ра. Тогда из равенства (4) находим, что 7 = (N(р) — 1)71, т.е.
(1 + рЪ)}1 = 1 + ира-1 (mod ра).
Следовательно, 71 = иЬ1ра-1 ,bb1 = 1 (mod р).
x ( m, р) = 1
имеем
Ex(1 + -ра-1) = ЕЕ( ) = 0.
V(Р) V (p)
Лемма доказана.
Для данного идеала а — [а\,... ,ак} определим много член /(х) — а\х + ■ ■ ■ + акхк степени к с коэффициентами из кольца целых J и полную сумму характеров Дирихле по модулю, равному степени I > 1 простого идеала р. Имеем
3(1(х),р1 ;х) — Е х(Кх)),
х(р1)
где вычеты х — х^) пробегает полную систему вычетов по модулю идеала q. Положим, как и раньше, Ь — {пап, (п — 1)ап-1,..., 2а2, а1}.
Рассмотрим сначала случай I > 2(1 + 1). Каждый вычет х — х(р) единственным способом представим в виде
х — у + р 1Х,
где у = y(pl-t-1) и z = z(pt+1) — некоторые вычеты из соответствующих полных систем вычетов по модулям p-t-1 и p+1, причем вычет х пробегает полную систему вычетов по
модулю p тогда и только тогда, когда независимо у пробегает полную систему вычетов по
i—t—1 t+1 модулю p 1 и z — полную систему вычетов по модулю pb+1.
Пусть теперь v = v(p) пробегает полную систему вычетов по модулю p. Тогда имеем
S(f,pl;х)= Е £ x(f(У + pl-t-1z)) = Еs"(p),
y(pl-t-1)z(pt +1) V (p)
где
^ = £ £ x(f(У + pl-t-1z)).
y(p--1) z(p^+1) y=v (mod p)
Используя разложение многочлена f (у + p-t-1z) по формуле Тейлора, получим
i (v + pl--1*) = E ^ (p-1*)'"
S. \ /
=o
= f(y) + pl--1zf(y) (mod pl").
Лемма 10. Пусть p — простой идем,л, v G p — вычет, no модулю p, пусть p||b, I > 2t+2, и пусть, также, v не является корнем сравнения p" f (v) = 0 (mod p). Тогда,
Sv = 0.
Доказательство. Очевидно, утверждение леммы справедливо при f (и) = 0 (mod p). Поэтому предположим, что f (и) ф 0 (mod p). Имеем
= £ £ x(f(у) + pl-t-1zf(у)).
y(p--1) z(p^+1) y=v (mod p)
Отсюда, применяя лемму 10 к внутренней сумме, находим
Е X(fИ + p"-1f (У» = 0.
z(p*+1)
Следовательно, SV = 0. Лемма доказана.
Лемма 11. Пусть p — простой идеал, v G p — вычет, по модулю p, пусть p||b, I > 2t+2, и пусть, также, v является корнем сравнения
pl" f(u) ф 0 (mod p). (3)
Пусть, далее, показатель и = и(и) определяется из соотношений
к
f(py + ") — fW) = pUh(v) = pUY,a1syS, ai = {a1,n,...,an},p fax.
=1
Тогда,
s(f; p;x) = E'N(pU-1) £ x(f(") + pUh(y)),
V y(pl-u)
где штрих в знаке суммирования по и означает, что вычеты v пробегают только решения
p.
Доказательство. Положим
к
f(y + v) — f(y) = f(y) = £ asys,
=0
( )
an = an,
an-1 = an-1 + ( 1 }an^,
0
as = as + + ^ as+1V +-----h (nn) anl,n~S
(?K+•••
a1 =a1 + [!)a2V +-----+ (r1)anun 1
Отсюда находим р ||{nara, (n — 1)an-1,..., 2aa2, a1}.
и = и( )
риЦ{рпan,рп-1(п — 1)an-1..., р2a2,рal}. Далее по условию леммы имеем
к
¡(ру + v) — f( v) = ри h(y) = ри£ aahsys, ai = {a^,..., aM}, р /a i.
S=1
Следовательно,
S„ = Sv(f; р1 )= £ x(f(x)) =
x(pl) x=v (mod p)
= £ £ X(f(y) + (f(y + *р1 --1) — f(y))) =
y(pl-t-1) <Pt+1)
y=v (mod p)
= £ £ x(f(y) + р-t-1 f(y)z) =
y(pl-t-1) z(p+1) y=v (mod p)
= N (р1+1) £ x(f(y)) =
y(pl-t-1 )
y=v (mod p)
= N (р+1) £ x(f(v) + (f(y р + v) — f ("))) =
y(pl-t-2 )
= n(р+1) £ x(f(") + риh(y)) = N(ри-1) £ x(f(") + риh(y)).
y(pl-t-2) y(pl-U)
Лемма доказана.
Отсюда выводится следующее утверждение.
Теорема 2. Пусть р — простой идем,л, vs £ р — вычет по модулю р, пусть р' ||bs,i > 2t s + 2, и пусть, так же, us является корнем сравнения
р1'-' f (us) = 0 (mod р). (5)
Пусть, далее, f0(x) = f(x), показатель us = us(us),s > 1, определяется из соотношений
к
f8-1(ру + us) — fs-1(us) = ри' fs(y) = ри' £ as,ryr,
=1
as = {as,k,..., a.^}, р /as.
Тогда
S(f; р)= £ 'n(ри1+-+и'-а)x X £ x(f(V1) + ••• + р^^'-1 fs-1(Ъ-1) + ри1+"+и' fs(y)),
y(pl-U1-----«' )
где штрих в знаке суммирования по и1,... ,us означает, чт о вы четы щ,..., us пробегают
р.
5. Кратные полные рациональные тригонометрические суммы от многочлена над алгебраическим полем
Данные утверждения подобны соответствующим резельтатам [32], [33] гл. II, поэтому их вывод мы опускаем.
Лемма 12. Пусть a, q, q1, q2 — целые идеалы,
q = qlq2, (q^ q2) = 1
n n
F (X1 ,...,xr) = ^ ••• £a(i 1,..., tr )x1 ...xfrr, F (0,..., 0) =0,
t1=0 tr=0
a = {a(t i,..., tr) | 0 <t i,..., tr <n,t H-----+ tr > 1},
aqi = b, (b, q) = 1.
Тогда справедливо равенство
S(F(x\,..., xr), q) =
= S(q2-1F(q2x,... , q2xr), qi)s(qi-1F(qix,..., qixr), q2).
Лемма 13. Пусть f(x) = a0 + a1x + • • • + anxn — многочлен с целым,и коэффициентами из J, a = {a0, a1,..., an} — целый идеал в J, р — простой идеал, причем р l/a, и пусть Np(a, ft) — число решений сравнения
f(x) = 0 (mod р13),р < a,
а, неизвестная x пробегает полную систему вычетов по модулю ра. Тогда имеем,
Np(a,f3) < c(N(р))а-Sk,
= ( n)
Теорема 3. Пусть п > 2, г, а > 1 — натуральные числа,
п п
F = F (xi,...,xr ) = E £ a(t i,..., tr )xl ...xlr, F (0,..., 0) = 0,
t1=0 tr=0
a = |a(ii,..., tr) | 0 <tî,..., tr < n,ti + ■ ■ ■ + tr > 1}, p
— простой идеал,
apa5 = b, (Ъ,р) = 1.
Тогда имеем
IS(F,pa )|< c(n, r)(Np)ra-ï (a + 1)r-1.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Виноградов, И. M., Новый способ для получения асимптотических выражений арифметических функций // Изв. РАН, 1917, 41, No.16, с.1347-1378.
2. Виноградов, И. \!.. О среднем значении числа классов чисто коренных форм отрицательного определителя // Сообщ. Харьк. мат. о-ва, 1918, вып.1, No.1 — 2, с.10-38.
3. Vinogradov, I. M., Sur la distribution des résidues et des non-résidues des puissances // Журн. Физ.-мат. о-ва при Перм. ун-те. 1918, вып. 1, с.94-98.
4. Виноградов, И. \!.. Элементарное доказательство одной общей теоремы аналитической теории чисел // Изв. РАН, 1925, 19, No.16 — 17, с.785-796. Рез. па франц. яз.
5. Виноградов, И. М., О распределении индексов // Докл. АН СССР-А, 1926, No.4, с.73-76.
6. Vinogradov, I. M., On the bound of the least non-residues of n-th powers // Trans. Am. math.
N .1
7. Winogradow, J. M., Sur un théorème général de Waring // Матем. сборник. 1924, 31, с.490-507.
8. Виноградов, И. \!.. К вопросу о распределении дробных долей значений функций одного переменного // Журн. Ленингр. физ.-мат. о-ва. 1926, bf 1, вып. 1, с.56-65. Рез. на франц. яз.
9. Виноградов, И. \!.. О распределении дробных долей значений функций двух переменных // Изв. Ленингр. политехи, ин-та. 1927, bf 30, с.31-52. Рез. на франц. яз.
N .4,
11. Виноградов, И. М., Новое решение проблемы Варинга // Докл. АН СССР. 1934, 2 No.6, с.337-341. Текст на рус. и рез. на англ. яз.
12. Виноградов, И. \!.. О некоторых новых проблемах теории чисел // Докл. АН СССР. 1934,
N . 1 ,
13. Виноградов, И. М., Новая оценка G(n) в проблеме Варинга // Докл. АН СССР. 1934, 4 No.5 — 6, с.249-253. Текст на рус. и англ. яз.
G( n)
N . 10,
15. Виноградов, И. М., Новые оценки сумм Вейля // Докл. АН СССР. 1935, 3 No.5, с.195-198.
16. Виноградов, И. \!.. Представление нечетного числа суммой трех простых чисел // Докл. АН СССР. 1937, 15 No.6 - 7, с.291-294.
17. Виноградов, И. \!.. Оценки некоторых простейших тригонометрических сумм с простыми числами // Изв. АН СССР. Сер. мат., 1939, No.4, с.371-398. Рез. на англ. яз.
18. Виноградов, И. \!.. Некоторые проблемы аналитической теории чисел. — В кн.: Труды Третьего Всесоюзного математического съезда. Москва, июнь-июль 1956 г. Т.З. Обзорные доклады. \!.. Изд-во АН СССР, 1958, с.3-13.
19. Виноградов, И. \!.. К вопросу о распределении дробных частей значений многочлена // Изв. АН СССР. Сер. мат., 1961, 25, No.6, с.749-754.
20. Виноградов, И. \!.. Карацуба, А. А., Метод тригонометрических сумм в теории чисел // Труды матем. ин-та АН СССР., 1984, 168, с.4-30.
21. Виноградов, И. \!.. Метод тригонометрических сумм в теории чисел. — М.: Наука, 1980, 144 с.
22. Виноградов, И. \!.. Особые варианты метода тригонометрических сумм. — М.: Наука, 1976, 120 с.
23. Виноградов, И. \!.. Основы теории чисел. — Москва-Ижевск: НИЦ "Регулярная и хаотическая динамика", 2005, 176 с.
24. Vinogradov, I. М., Selected Works, N.-Y., Heidelberg, Berlin, Springer-Verlag, 1985, pp.401.
25. Gauss, K. F., Disquisitiones arithmeticae, Leipzig, Fleischer, 1801.
26. Hardy, G. H., Littlwood, J. E., Some problems of "Partitio Numerorum":III. On the expression of a number as a sum of primes // Acta Math. 1923, 44, 1-70.
27. Hardy, G. H., Littlwood, J. E., Some problems of "Partitio Numerorum":VI. Further researches in Waring's problem // Math. Z. 1925, 23, 1-37.
28. Landau, E., Vorlesungen über Zahlentheorie, Erster Band. Leipzig, S. Hirzel, 1927.
29. Hua Loo-Keng. Selected Papers. — N.-Y., Heidelberg, Berlin, 1983. pp.888.
30. Hua Loo-Keng. Some results in the additive prime number theory // Quart. J. Math. Oxford. 1938. V.9. P.68-80.
31. Постников, А. Г., О сумме характеров по модулю, равному степени простого числа // Изв. АН СССР, сер. матем. 1955, 19, вып. 1, с.11-16.
32. Архипов Г. И., Карацуба А. А., Чубариков В. И. Теория кратных тригонометрических сумм. — М.: Наука. Гл. ред.физ.-мат. лит. 1987, 368 с.
33. Arkhipov G. I., Chubarikov V. N., Karatsuba A. A. Trigonometric sums in number theory and analysis. De Gruvter expositions in mathematics; 39 — Berlin, New York: Walter de Gruvter, 2004, pp. 554.
34. Wang Yuan. Diophantine Equations and Inequalities in Algebraic Number Fields. — Springer Verlag, Berlin, Heidelberg, 1991. pp.168.
35. Марджанишвили, К. К., Иван Матвеевич Виноградов (к восьмидесятилетию со дня рождения) // Усп. мат. наук, 1971, 26, вып. 6, с.3-6.
36. Cassels, J. W. S., Vaughan, R. C., Ivan Matveevich Vinogradov (obituary) // Bull. London Math. Soc., 1985, 17, 584-600.
37. Шафаревич, И. Р., Патриарх отечественной математики // Вестник АН СССР, 1991, No.9, с.96-100.
REFERENCES
1. Vinogradov, I. M., 1917, A new method for obtaining asymptotic expressions of arithmetic
N .16,
2. Vinogradov, I. M., 1918, On the average value of the number of classes of purely indigenous
N .1 — 2,
3. Vinogradov, I. M., 1918, Sur la distribution des residues et des non-résidues des puissances, Journal of Phvsics-mat. o-va at Perm. University, issue 1, pp. 94-98.
4. Vinogradov, I. M., 1925, An elementary proof of a general theorem of analytic number theory, Izv. RAS, 19, No.16 — 17, pp. 785-796. Res. in French lang.
5. Vinogradov, I. M., 1926, About the distribution of indexes, Dokl. USSR Academy OF Sciences, N .4,
n
N .1
7. Vinogradov, I. M., 1924, Sur un théorème général de Waring, Math, collection., 31, pp. 490507.
8. Vinogradov, I. M., 1926, On the question of the distribution of fractional fractions of the values of functions of one variable, Journal. Leningr. phvs.-mat. o-va., bf 1, issue. 1, pp. 56-65. Res. in French lang.
9. Vinogradov, I. M., 1927, On the distribution of fractional fractions of the values of functions of two variables, Izv. Leningr. Polytechnic institute, bf 30, pp. 31-52. Res. in French lang.
N .4,
11. Vinogradov, I. M., 1934, A new solution to the Waring problem, Dokl. USSR Academy of
N .6,
12. Vinogradov, I. M., 1934, On some new problems of number theory, Dokl. USSR Academy of
N . 1 ,
G( n)
OF Sciences., 4 No.5 — 6, pp. 249-253. Text on russian language and rez. on english language.
G( n)
USSR Academy of Sciences. OMEN, No.10, pp. 1455-1469. Rez. on english language.
15. Vinogradov, I. M., 1935, New estimates of Wevl sums, Dokl. USSR Academy OF Sciences., 3 No.5, pp. 195-198.
320
B. H. HvöapiiKOB
16. Vinogradov, I. M., 1937, Representation of an odd number by the sum of three primes, Dokl. USSR Academy OF Sciences, 15 No.6 - 7, pp. 291-294.
17. Vinogradov, I. M., 1939, Estimates of some simplest trigonometric sums with prime numbers, Izv. AN USSR. Ser. mat., No.4, pp. 371-398. Rez. on english language.
18. Vinogradov, I. M., 1958, Some problems of analytical number theory. — In: Proceedings of the Third Ail-Union Mathematical Congress. Moscow, June-July 1956, vol. 3. Review reports. M., Publishing House of the USSR Academy of Sciences, pp. 3-13.
19. Vinogradov, I. M., 1961, On the question of the distribution of fractional parts of the values of a polynomial, Izv. AN USSR. Ser. mat, 25, No.6, pp. 749-754.
20. Vinogradov, I. M., Karatsuba, A. A., 1984, The method of trigonometric sums in number theory, Works of math. Institute of the USSR Academy of Sciences., 168, pp. 4-30.
21. Vinogradov, I. M., 1980, The method of trigonometric sums in number theory. — M.: Science, pp. 144.
22. Vinogradov, I. M., 1976, Special variants of the trigonometric sums method. — M.: Science, pp. 120.
23. Vinogradov, I. M., 2005, Fundamentals of number theory. — Moscow-Izhevsk: SIC 'Regular and chaotic dynamics pp. 176.
24. Vinogradov, I. M., 1985, Selected Works, N.-Y., Heidelberg, Berlin, Springer-Verlag, pp. 401.
25. Gauss, K. F., 1801, Disquisitiones arithmeticae, Leipzig, Fleischer.
26. Hardy, G. H., Littlwood, J. E., 1923, Some problems of "Partitio Numerorum":III. On the expression of a number as a sum of primes, Acta Math., 44, pp. 1-70.
27. Hardy, G. H., Littlwood, J. E., 1925, Some problems of "Partitio Numerorum":VI. Further researches in Waring's problem, Math. Z., 23, pp. 1-37.
28. Landau, E., 1927, Vorlesungen über Zahlentheorie, Erster Band. Leipzig, S. Hirzel.
29. Hua Loo-Keng., 1983, Selected Papers. — N.-Y., Heidelberg, Berlin, pp. 888.
30. Hua Loo-Keng. 1938, Some results in the additive prime number theory, Quart. J. Math. Oxford. Vol. 9. pp. 68-80.
31. Postnikov, A., G., 1955, On the sum of characters modulo the power of a prime number, Izv. AN USSR, ser. matem., 19, Vol. 1, pp. 11-16.
32. Arkhipov G. I., Karatsuba A. A., Chubarikov V. N., 1987, Theory of multiple trigonometric sums. — M.: Science. Gl. ed.phvs.-mat. lit., pp. 368.
33. Arkhipov G. I., Chubarikov V. N., Karatsuba A. A., 2004, Trigonometric sums in number theory and analysis. De Gruvter expositions in mathematics; 39 — Berlin, New York: Walter de Gruvter, pp. 554.
34. Wang Yuan., 1991, Diophantine Equations and Inequalities in Algebraic Number Fields. — Springer Verlag, Berlin, Heidelberg, pp. 168.
35. Marjanishvili, K. K., 1971, Ivan Matveevich Vinogradov (to the eightieth anniversary of his birth, Usp. mat. nauk, 26, Vol. 6, pp. 3-6.
36. Cassels, J. W. S., Vaughan, R. C., 1985, Ivan Matveevich Vinogradov (obituary), Bull. London Math. Soc., 17, pp. 584-600.
37. Shafarevich, I. R., 1991, Patriarch of Russian Mathematics, Bulletin of the USSR Academy of Sciences, No.9, pp. 96-100.
Получено 29.08.2021 г. Принято в печать 6.12.2021 г.
