CC BY
13
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 17. Выпуск 1.
УДК 511.321
_ _ _ «_» «_» _ _ __ -
О нелинейной сумме клоостермана1
М. А. Королёв (г. Москва) Аннотация
Во многих задачах теории чисел, связанных с распределением обратных величин в кольце вычетов по заданному модулю q, большую роль играют оценки тригонометрических сумм специального вида, которые называются суммами Клоостермана. В свою очередь, оценки таких сумм зачастую опираются на оценку А. Вейля т.н. полной суммы Клоостермана по простому модулю. Последняя позволяет оценивать со степенным понижением суммы Клоостермана, число N слагаемых в которых превышает величину q0 5+e, где е > 0 — сколь угодно малое фиксированное число. Оценка А. Вейля была получена средствами алгебраической геометрии. Позже С. А. Степановым было найдено элементарное её доказательство, также достаточно сложное. Цель настоящей заметки — дать элементарный вывод оценки суммы Клоостермана, также позволяющий получить степенное понижение в случае N ^ q°.5+e. Этот вывод основан на использовании т.н. "аддитивного сдвига" переменной суммирования, который широко используется в различных задачах теории чисел.
Ключевые слова: обратные вычеты, суммы Клоостермана, оценка Вейля.
Библиография: 15 названий.
ON NON-LINEAR KLOOSTERMAN SUM
M. A. Korolev (Moscow) Abstract
Exponential sums of a special type — so-called Kloosterman sums — play key role in the series of number-theoretic problems concerning the distribution of inverse residues in the residual rings of given modulo q. At the same time, in many cases, the estimates of such sums are based on A. Weil's bound of so-called complete Kloosterman sum of prime modulo. This bound allows one to estimate Kloosterman sums of length N ^ q° 5+e for any fixed е > 0 with power-saving factor. Weil's bound was proved originally by methods of algebraic geometry. Later, S. A. Stepanov gave an elementary proof of this bound, but this proof was also complete enough. The aim of this paper is to give an elementary proof of Kloosterman sum of length N ^ q° 5+e, which also leads to power-saving factor. This proof is based on the trick of "additive shift" of the variable of summation which is widely used in different problems of number theory.
Keywords: inverse residues, Kloosterman sums, Weil's bound.
Bibliography: 15 titles.
Памяти Сергея Михайловича Воронина и Геннадия Ивановича Архипова
хРабота выполнена при поддержке Российского научного фонда (грант № 14-11-00433).
1. Введение
Суммой Клоостермана по модулю д > 2 называется тригонометрическая сумма вида
У^ eq(an* + bn) = ^ eq( — + bnj, (1
^qy^it ^ uitj — ^ oq
n€A n€A ^
где eq(u) = e2niu/q, a, b — целые числа, a ^ 0 (mod q), n* = 1/n — решение сравнения nn* = 1 (mod q), A — некоторое подмножество приведённой системы вычетов Z* по модулю q. Если A = Z* то сумма (1) называется неполной; если число |A| элементов множества, по которому ведётся суммирование, удовлетворяет неравенству |A| < q1-c, где 0 < c < 1 — некоторая постоянная, то сумма (1) называется короткой. Полные суммы Клоостермана
q
eq (an*
n= 1 (n,q) = 1
S(q; a, b) = ^ eq(an* + bn) (2)
обладают свойством мультипликативности. Именно, если = д, где (д1 ,д2) = 1, то
Б(д1; а1 ,Ь)5(д2; а2,Ь) = 5(д; а, Ь) при некотором целом а, зависящем от д1, д2, а1 и а2 (см., например, [1, решение вопроса 7 ¿) к гл. IV]). Поэтому исследование полных сумм сводится к случаю, когда д = ра — степень простого числа. Если а > 1, то для сумм (2) элементарными методами (см. [2],[3]) получается оценка вида
|5(д; а, Ь)| < т(д)(а, Ь, д)1/2^д. (3)
В случае а = 1, то есть когда модуль д является простым числом, при (а, д) = 1 оценка (3) была впервые доказана А. Вейлем [4] методами алгебраической геометрии. Элементарное, но также достаточно сложное доказательство оценки (3) было найдено С. А. Степановым [5].
В случае, когда (а, д) = 1, следствием всех перечисленных результатов является оценка неполной суммы вида
У] ед(ап* + Ьп) < т(д)^д 1пд, (4)
с<п^с+И
где с — произвольное число, а штрих означает, что (п, д) = 1. Ввиду неравенства т(д) д£ оценка (4) нетривиальна при N ^ д°.5+£.
Между тем, для решения некоторых задач теории чисел для сумм (4) достаточно иметь оценку вида
ед(ап* + Ьп) < , (5)
где (а, д) = 1, N ^ д°.5+£, ^ = > д. Примером может служить задача о распределении в кольце Ъд вычетов чисел вида ар* + Ьр в случае, когда величина р пробегает простые числа промежутка (1,^. Для её решения необходимы оценки двойных сумм, простейшими из которых являются суммы типа
W = ^ ^ ед(а^* + Ь1 то), (а1, д) = 1, 1 < и < V, д°.5+°.5£ ^ иУ < N
В случае, когда д является простым числом, Ж. Бургейном [6] и Р. Бейкером [7] было получено неравенство
4
W <£ иУд-С£ (6)
где е > 0 — некоторая абсолютная постоянная, и, как следствие, оценка суммы Клоостермана по простым числам:
^ вд(ар* + Ьр) < Жз-С1£4, 0 <е1 < е.
При и ^ дС2£, 0 < С2 < 0.25, оценка суммы (6) получается с помощью оригинального метода Бургейна, в основе которого лежит верхняя оценка мощности множества тех "исключительных" вычетов £ £ Zq, для которых суммы
)
ЕЕ eq
|w|<V1-7
a{w
+ w)
0 < y < 0.5,
достаточно велики (первая из сумм необходима для оценки W при b = 0 (mod q), вторая — при b ф 0 (mod q)). В случае же, когда 1 ^ U ^ qc2£, искомая оценка W следует (с большим запасом) из оценки Вейля (4) и потому вполне может быть заменена неравенством (5).
2. Основной результат
Цель настоящей заметки состоит в получении элементарным способом оценки (5) в случае, когда b = 0 (mod q), а модуль q является простым числом, а также оценки суммы более общего вида, "нелинейной" по величине n*. Основным утверждением работы является следующая теорема.
Теорема 1. Пусть 0 < е < 0.25 — сколь угодно малая фиксированная постоянная, q — простое число, q ^ qo(е), а, е, N N — целые числа, причём (а, q) = 1, q0.5+£ ^ N < N ^ 2Ж < q. Тогда для любого фиксированного целого к ^ 1 справедлива оценка
Е eq (a{(n + c)*}k)
N<n^N1
где штрих означает, что n ф — c (mod q).
< Nq
—£2/18
Нам потребуется следующее вспомогательное утверждение.
Лемма 1. Пусть к, г ^ 2 — целые числа, q — простое, 1 <Y<q. Пусть, далее, величина Т пробегает некоторое множество Т С Ъч с числом элементов, равным Т, а параметр у пробегает все целочисленные наборы вида (у1,... , у2г), где 1 ^ у1,... , у2г ^ Y. Пусть, наконец, для фиксированного набора у величина N (у; q) равна количеству решений сравнения
1 1 1 1 , , л
(Т+ы1 + + = (т+у+^к +... + С™1«> (7)
в числах Т £ Т. Тогда имеет место оценка
^ N (у; q) < |Т | + 2к^2г. (8)
У
Замечание 1. Неравенство (8) для простого q и к = 1 (без явного вида зависящих от г постоянных) содержится в работе Бургейна [6] (§55, соотношение (13)). Аналог оценки (8) для произвольного модуля q и к = 1 дан Бейкером [7]. Для удобства читателя ниже приводится доказательство леммы, практически дословно следующее работе Бейкера.
Доказательство. Все наборы y разобьём на два класса: A и B. К классу A отнесём те из них, для которых набор (yr+i,... , y2r) является перестановкой набора (yi,... , yr), а ко второму — все остальные. Если y £ A, то решением (8) служит любое t £ T, для которого t + yj ф 0 (mod q), так что N(y; q) ^ |T|. Пусть y £ B. Приводя в (8) подобные члены и производя при необходимости сокращения, получим сравнение вида
a1 a1 al+1 . al+m / J Ч
+ ... + ТГГ^к. ф и , „ лк + ... + 7TTZ.-лк (mod q^
(t + zi)^ ■■■ (t + Zi)k (t + zi+i)^" (t + Zi+m)fc
в котором 1 ^ I, m ^ r, a1,...,al+m ^ 1, z1,...,zl — элементы набора (y1 , ...,yr), zi+i,..., zi+m — элементы набора (yr+1,..., y2r), причём
Zj ф Zj (mod q) при i = j. (9)
Полагая G(t) = (t + z1)k ... (t + zl+m)k = (t + Zi)fcGj(t), i = 1,... ,1 + m, находим:
aiGi(t) + ... + ai+mGi+m(t) ф 0 (mod q). (10)
Левая часть (10) представляет собой некоторый полином F (t) степени не выше k(l + m — 1) ^ k(2r — 1), не равный тождественно нулю. Действительно, положив t ф —zi, согласно (9) будем иметь:
F(—zi) ф aiGi(—zi) ф ai(z2 — zi)k ... (zi+m — zi)k ф 0 (mod q).
В силу теоремы Лагранжа, сравнение (10) имеет не более k(2r — 1) решений в числах t, то есть N(y; q) ^ k(2r — 1) < 2kr. Замечая, что количества наборов в классах A и B не превосходят, соответственно, величин r!Yr и Y2r, приходим к искомому утверждению. □
Доказательство теоремы. Дальнейшие рассуждения используют так называемый "аддитивный" сдвиг переменной суммирования, широко использующийся при оценках тригонометрических сумм и сумм значений характеров, и применявшийся к оценкам сумм Клоостер-мана Э. Фуври и Ф. Мишель [15], а также Ж. Бургейном [6].
Именно, пусть X, Y — целые числа, зависящие от q, N и такие,что XY = o(N) при q ^ Тогда для любых ж, y, 1 ^ x ^ X, 1 ^ y ^ Y, для суммы W из условия теоремы будем иметь:
W = Y' eq (a{(n + xy + c)*}k) =
= Y' eq(a{(n + xy + c)*}k) + 2^ixy, |0i| < 1.
N<ra^N1
Здесь и далее штрих означает, что переменные суммирования принимают такие значения, что величина, стоящая под знаком обратного вычета, не делится на q.
Суммируя обе части этого равенства по x, y, после несложных преобразований получим:
X Y
W = (XY)-1 YY Y eq(a{(n + xy + c)*}k) + 2^XY, |^21 < 1,
ж=1 y=1 N<ra^N1
Y
y ^ ') + 2XY.
ж=1 N<ra^Ni
X
i
IW| < (XY)-1^Y E E eq(a{(n + xy + c)*}fc)
y=i
Преобразуем показатель экспоненты следующим образом:
a{(n + xy + c)*}k ф a(x*)k{(y + x*(n + c))*}k ф z((y + t)*)k,
где
z ф a(x*)k (mod q), t ф x*(n + c) (mod
(11)
Обозначая через ^(г,Т) число решений системы (11) в переменных 1 ^ х ^ X, N < п ^ N1, будем иметь:
IW| < (XY)—^Е^(z,t) Еeq(z{(t + y)*}fc^
z=i teT
Y
y=i
+ 2XY,
где Т — подмножество ^, состоящее изо всех вычетов чисел вида х*(п + е), 1 ^ х ^ X, N < п ^ N1. Обозначим сумму по г и Т через ^1. Задавшись некоторым целым г ^ 2, применим к неравенство Гёльдера. Получим:
z=i teT
r- i q
Wir < £ £^z,t) E E^(z,t)Eeq(z{(t + y)*}fc>
Y
z=i teT
z=i teT
z=i teT
Y
t \2(r—ib q
Wi2r < £ЕM*,t)J (ЕЕ^z,t) £££eq(z{(t + y)*}k)
y=i
2r
= E?P—^Es,
откуда Wi ^ i/r^i/(2r)s3/(2r) (смысл обозначений Sj очевиден).
Величина Si совпадает с числом всех возможных пар (x,n), так что Si ^ XN. Далее, сумма S2 равна числу решений системы сравнений
\ a(x*)k ф a(x2)k (mod q), [x*(n2 + c) ф x*(ni + c) (mod q),
или, что то же, системы
ж^ ф (mod q),
xi(ni + c) ф x2(n2 + c) (mod
(12)
с условиями 1 ^ xi,x2 ^ X, N < ni,n2 ^ Ni. Решения первого сравнения в (12) связаны соотношением xi ф ex2 (mod q), где e — некоторый корень сравнения ek ф 1 (mod q). Фиксируя значения e, xi и ni не более чем k, X и N способами соответственно, получим: n2 ф e(ni + c) — c (mod q). Следовательно, система (12) имеет не более kXN решений, т.е. S2 ^ kXN.
Наконец, пользуясь обозначениями и утверждением леммы, будем иметь:
S3 =
Е
1
q
^^ ^ Ч Z1 (t + yi)fc
z=i teT Kyb...,y2r^Y 4 ^ v yi/
+ ... —
(t + У2Г )k
q£N(q;y) < q(r!Yr|T| + 2krY2r) < q((rY)r|T| + 2krY2r) <
y
< q((rY)rXN + 2krY2r)
r
1
1/(2r)
Таким образом,
W1 < (XN)1-1/r(kXN)1-1/(2r)(q((rY)rXN + 2krY2r))1/(2r) <
< fc1/(2r)(XN)1-1/(2r)(q1/(2r)^Y + (2kq)1/(2r)y) <
IWK k1/rN(q1^ +2(XN)1/(2r) + XY).
Положим теперь Y = [q2/r] +1, X = [NY-1q-£/2] + 1. Тогда
q1/(2r)/f < VTq-1/(2r), (XN)1/(2r) < ()1/(2r) < 1.5q(-£+2/r)/(2r),
— < 2q-£/2. N
Беря r = [4e-1] + 1, окончательно находим:
|W| < k£/4N(^Tq-£/9 + 1.5q-£'/17 + 2 q-£/2) < Nq-£2/18, что и требовалось. □
3. Заключение
Использованный в заметке приём "аддитивного" сдвига переменной суммирования оказывается полезен и при исследовании сумм Клоостермана "с весами", где в качестве весового множителя выступает многомерная функция делителей Tk(n). Соответствующие результаты планируется вскоре опубликовать.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Виноградов И. М. Основы теории чисел, 9-е изд. М., Наука, 1981.
2. Salie H.Über die Kloostermanschen Summen S(u, v; q) // Math. Z. Т. 34. 1931. C. 91—109.
3. Estermann T. On Kloosterman's sum // Mathematika. Т. 8. Вып. 1 1961. C. 83-86.
4. Weil A. On some exponential sums // Proc. Nat. Acad. Sci. USA. Т. 34. 1948. C. 204-207.
5. Степанов С. А. Об оценке сумм Клостермана // Изв. АН СССР. Сер. мат. 1971. Т. 35, вып. 2. C. 308-323.
6. Bourgain J. More on the sum -product phenomenon in prime fields and its applications // Int. J. Number Theory. Т. 1. 2005. C. 1-32.
7. Baker R. C. Kloosterman sums with prime variable // Acta Arith. Т. 152. Вып. 4. 2012. C. 351-372.
8. Виноградов И. М. Метод тригонометрических сумм в теории чисел //Тр. МИАН СССР. Т. 23. Изд -во АН СССР, М.-Л., 1947, С.3-109.
9. Burgess D. A. On character sums and primitive roots // Proc. London Math. Soc.. Т. 12. Вып. 3 1962. C. 179-192.
10. Карацуба А. А. Тригонометрические суммы специального вида и их приложения // Изв. АН СССР. Сер. матем.. Т. 28. Вып. 1. 1964. C. 237--248.
11. Карацуба А. А. Об оценках сумм характеров // Изв. АН СССР. Сер. матем.. Т. 34. Вып. 1. 1970. C. 20--30.
12. Карацуба А. А. Суммы характеров с простыми числами // Изв. АН СССР. Сер. матем. Т. 34. Вып. 2. 1970. C. 299--321.
13. Карацуба А. А. Суммы характеров с весами // Изв. РАН. Сер. матем.. Т. 64. Вып. 2. 2000. C. 29--42.
14. Бургейн Ж., Гараев М. З. Сумма множеств, образованных обратными элементами в полях простого порядка, и полилинейные суммы Клоостермана // Изв. РАН. Сер. матем. Т. 78. Вып. 4. 2014. C. 19--72.
15. Fouvry E., Michel P. Sur certaines sommes d'exponentielles sur les nombres premiers // Ann. scient. Ec. Norm. Sup.. Т. 31. Вып. 1. 1998. C. 93-130.
REFERENCES
1. Vinogradov, I. M. Elements of number theory, Dover Publications, 2003.
2. Salie, H. 1931, "Über die Kloostermanschen Summen S(u, v; q)", Math. Z., vol. 34, pp. 91—109.
3. Estermann, T. 1961, "On Kloosterman's sum", Mathematika, vol. 8, no. 1, pp. 83-86.
4. Weil, A. 1948, "On some exponential sums", Proc. Nat. Acad. Sci. USA, vol. 34, pp. 204-207.
5. Stepanov S. A. 1971, "An estimation of Kloosterman sums", Mathematics of the USSR -Izvestiya, vol. 5, no. 2, pp. 319-336.
6. Bourgain J. 2005, "More on the sum-product phenomenon in prime fields and its applications", Int. J. Number Theory, vol. 1, pp. 1-32.
7. Baker R. C. 2012, "Kloosterman sums with prime variable", Acta Arith., vol. 152, no. 4, pp. 351372.
8. Vinogradov I. M. 1947, The method of trigonometrical sums in the theory of numbers. (Russian). Tr. Mat. Inst. Steklova 23 (1947).
9. Burgess D. A. 1962, "On character sums and primitive roots", Proc. London Math. Soc., vol. 12, no. 3, pp. 179-192.
10. Karatsuba A. A. 1964, "Trigonometric sums of a special type and their applications". (Russian), Izv. Akad. Nauk SSSR Ser. Mat., vol. 28, no. 1, pp. 237—248.
11. Karatsuba A. A. 1970, "Estimates of character sums". (Russian), Izv. Akad. Nauk SSSR Ser. Mat., vol. 34, no. 1, pp. 20--30.
12. Karatsuba A. A. 1970, "Sums of characters with prime numbers". (Russian), Izv. Akad. Nauk SSSR Ser. Mat., vol. 34, no. 2, pp. 299--321.
13. Karatsuba A. A. 2000, "Character sums with weights", Izv. Math., vol. 64, no. 2, pp. 249--263.
14. Bourgain J., Garaev M. Z. 2014, "Sumsets of reciprocals in prime fields and multilinear Kloosterman sums", Izv. Math., vol. 78, no. 4, pp. 656-707.
15. Fouvry E., Michel P. 1998, "Sur certaines sommes d'exponentielles sur les nombres premiers", Ann. scient. Ec. Norm. Sup., vol. 31, no. 1, pp. 93-130.
Математический институт им. В. А. Стеклова РАН Получено 07.12.2015 г. Принято в печать 10.03.2016 г.
