Оглавление

§ 1. Дробные доли вещественных функций. Критерий

Г. Вейля . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
§ 2. Формула замены тригонометрической суммы более
короткой . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
§ 3. Метод Г. Вейля. Оценка 𝜁(𝑠) на критической прямой 22
§ 4. Метод ван дер Корпута. Проблема Гаусса . . . . . . 27
§ 5. Суммы с простыми числами. Проблема Гольдбаха . 36

3
4 Обозначения

Обозначения
Запись 𝑑 | 𝑛 при натуральном 𝑑 и целом 𝑛 означает, что 𝑑
делит 𝑛, то есть существует целое 𝑞 такое, что 𝑛 = 𝑑𝑞;
(𝑛, 𝑚) обозначает наибольший общий делитель чисел 𝑛 и 𝑚;
𝑝, 𝑝1 , 𝑝2 , . . . обозначают простые числа;
𝑠 = 𝜎 + 𝑖𝑡 обозначает комплексную переменную;
Re 𝑠 обозначает вещественную часть комплексного числа 𝑠;
Im 𝑠 обозначает мнимую часть 𝑠;
Запись 𝐴 ≪ 𝐵 при положительном 𝐵 означает, что 𝐴 = 𝑂(𝐵),
то есть существует положительное 𝑐 такое, что |𝐴| 6 𝑐𝐵;
Запись 𝐴 ≍ 𝐵 означает, что 𝐴 ≪ 𝐵 и 𝐵 ≪ 𝐴;
𝑐, 𝑐1 , 𝑐2 , . . . обозначают положительные постоянные, в различ-
ных формулах, вообще говоря, различные;
𝜀 обозначает произвольно малое положительное число;
[𝑥] обозначает целую часть числа 𝑥, т.е. наибольшее целое чис-
ло, не превосходящее 𝑥;
{𝑥} обозначает дробную долю числа 𝑥, то есть 𝑥 − [𝑥];
‖𝑥‖ обозначает расстояние от 𝑥 до ближайшего целого числа,
т.е. ‖𝑥‖ = min({𝑥}, 1 − {𝑥});
ln 𝑠 обозначает главную ветвь логарифма.
Через 𝜇(𝐴) обозначаем лебегову меру множества 𝐴;
𝜙(𝑛) – функция Эйлера, т.е. количество взаимно простых с 𝑛
чисел, не превосходящих 𝑛;
𝜇(𝑛) – функция Мебиуса, которая определяется следующим
образом: ⎧
⎨1,
⎪ если 𝑛 = 1;
𝜇(𝑛) = (−1)𝑘 , если 𝑛 = 𝑝1 · · · 𝑝𝑘 ;
⎪
0, если 𝑝2 | 𝑛.
⎩

𝜋(𝑥) – количество простых чисел, не превосходящих 𝑥.

Материал прошлого семестра, на который здесь приходится
неоднократно ссылаться, опубликован в выпуске 2 “лекционных
курсов НОЦ” под названием “Метод комплексного интегрирова-
ния”.
§ 1. Дробные доли вещественных функций 5

§ 1. Дробные доли вещественных функций.

Критерий Г. Вейля
Многие задачи аналитической теории чисел сводятся к изуче-
нию распределения дробных долей некоторых функций, которое,
в свою очередь, зависит от оценок модуля так называемых три-
гонометрических сумм. Мы докажем утверждения, выявляющие
связь распределения дробных долей с тригонометрическими сум-
мами.
Теорема 1. Пусть 𝑟 – натуральное число, 𝛼 и 𝛽 – веще-
ственные, 0 < ∆ < 18 , ∆ 6 𝛽 − 𝛼 6 1 − ∆. Тогда существует
периодическая функция 𝑔(𝑥) с периодом 1 и с условиями:
1) 𝑔(𝑥) = 1 при 𝛼 + Δ
2 6𝑥6𝛽− 2 ,
Δ

2) 0 < 𝑔(𝑥) < 1 при 𝛼 − 2 < 𝑥 < 𝛼 + Δ

Δ Δ Δ
2 и 𝛽− 2 <𝑥<𝛽+ 2 ,
Δ Δ
3) 𝑔(𝑥) = 0 при 𝛽 + 2 6 𝑥 6 1 + 𝛼 − 2 ,
4) 𝑔(𝑥) разлагается в ряд Фурье вида
+∞
∑︁
𝑔(𝑥) = 𝛽 − 𝛼 + 𝑎𝑚 𝑒2𝜋𝑖𝑚𝑥 ,
𝑚=−∞
𝑚̸=0

где (︂ (︂ )︂𝑟 )︂
1 1 𝑟
|𝑎𝑚 | 6 min 𝛽 − 𝛼, , .
𝜋|𝑚| 𝜋|𝑚| 𝜋|𝑚|∆
Доказательство. Рассмотрим периодическую функцию
𝑔0 (𝑥) с периодом 1, заданную следующими равенствами:
𝑔0 (𝑥) = 1 при 𝛼 < 𝑥 < 𝛽,
1
𝑔0 (𝛼) = 𝑔0 (𝛽) = ,
2
𝑔0 (𝑥) = 0 при 𝛽 < 𝑥 < 1 + 𝛼.
Δ
Возьмем теперь 𝛿 = 2𝑟 и последовательно определим функции
𝑔1 (𝑥), . . . , 𝑔𝑟 (𝑥) равенствами
∫︁ 𝛿
1
𝑔𝑘 (𝑥) = 𝑔𝑘−1 (𝑥 + 𝑢) 𝑑𝑢.
2𝛿 −𝛿
Легко видеть, что функция 𝑔𝑟 (𝑥) является периодической с перио-
дом 1 и удовлетворяет условиям 1)–3) из формулировки теоремы.
Таким образом, остается проверить выполнение условия 4).
6 § 1. Дробные доли вещественных функций

Разложим функцию 𝑔0 (𝑥) в ряд Фурье

+∞
∑︁
𝑔0 (𝑥) = 𝛽 − 𝛼 + 𝑎𝑚,0 𝑒2𝜋𝑖𝑚𝑥 ,
𝑚=−∞
𝑚̸=0

где
1
𝑒−2𝜋𝑖𝑚𝛼 − 𝑒−2𝜋𝑖𝑚𝛽
∫︁
𝑎𝑚,0 = 𝑔0 (𝑥)𝑒−2𝜋𝑖𝑚𝑥 𝑑𝑥 = .
0 2𝜋𝑖𝑚
При 𝑘 = 1, . . . , 𝑟 имеем
+∞
∑︁
𝑔𝑘 (𝑥) = 𝑎0,𝑘 + 𝑎𝑚,𝑘 𝑒2𝜋𝑖𝑚𝑥 ,
𝑚=−∞
𝑚̸=0

где
∫︁ 1 ∫︁ 1 ∫︁ 𝛿
1
𝑎0,𝑘 = 𝑔𝑘 (𝑥) 𝑑𝑥 = 𝑑𝑥 𝑔𝑘−1 (𝑥 + 𝑢) 𝑑𝑢
0 0 2𝛿 −𝛿
∫︁ 𝛿 ∫︁ 1
1
= 𝑑𝑢 𝑔𝑘−1 (𝑥 + 𝑢) 𝑑𝑥 = 𝑎0,𝑘−1 ,
2𝛿 −𝛿 0
∫︁ 1 ∫︁ 1 ∫︁ 𝛿
−2𝜋𝑖𝑚𝑥 −2𝜋𝑖𝑚𝑥 1
𝑎𝑚,𝑘 = 𝑔𝑘 (𝑥)𝑒 𝑑𝑥 = 𝑒 𝑑𝑥 𝑔𝑘−1 (𝑥 + 𝑢) 𝑑𝑢
0 0 2𝛿 −𝛿
∫︁ 𝛿 ∫︁ 1
1
= 𝑒2𝜋𝑖𝑚𝑢 𝑑𝑢 𝑔𝑘−1 (𝑥 + 𝑢)𝑒−2𝜋𝑖𝑚(𝑥+𝑢) 𝑑𝑥
2𝛿 −𝛿 0
𝑎𝑚,𝑘−1 𝑒2𝜋𝑖𝑚𝛿 − 𝑒−2𝜋𝑖𝑚𝛿
= · .
2𝛿 2𝜋𝑖𝑚
Таким образом,

𝑎0,𝑘 = 𝛽 − 𝛼,
)︂𝑘
𝑒−2𝜋𝑖𝑚𝛼 − 𝑒−2𝜋𝑖𝑚𝛽 𝑒2𝜋𝑖𝑚𝛿 − 𝑒−2𝜋𝑖𝑚𝛿
(︂
𝑎𝑚,𝑘 =
2𝜋𝑖𝑚 4𝜋𝑖𝑚𝛿
(︂ )︂𝑘
−𝜋𝑖𝑚(𝛼+𝛽) sin 𝜋𝑚(𝛽 − 𝛼) sin 2𝜋𝑚𝛿
=𝑒 .
𝜋𝑚 2𝜋𝑚𝛿
Этим доказательство завершается.
Функции 𝑔(𝑥) были введены И. М. Виноградовым и носят на-
звание “стаканчиков” Виноградова.
§ 1. Дробные доли вещественных функций 7

Теорема 2. Пусть 𝑓 (𝑥) – вещественная функция, 𝑟 – на-

туральное число, 0 < ∆ < 81 . Пусть при любых допустимых
значениях 𝛼 и 𝛽 имеет место соотношение
𝑃
∑︁
𝑔(𝑓 (𝑥)) = (𝛽 − 𝛼)𝑃 + 𝑂(𝑅),
𝑥=1

где 𝑔(𝑥) – “стаканчик” Виноградова, отвечающий параметрам 𝛼,

𝛽 , ∆, 𝑟. Тогда справедливо равенство
𝑃
∑︁ 1
{𝑓 (𝑥)} = 𝑃 + 𝑂(𝑅 + ∆𝑃 ).
𝑥=1
2

Доказательство. Обозначим через 𝐷(𝛼, 𝛽) количество 𝑥 =

1, . . . , 𝑃 с условием 𝛼 6 {𝑓 (𝑥)} < 𝛽. Тогда при 2∆ < 𝛽 −𝛼 < 1−2∆
имеем
𝑃
∑︁ 𝑃
∑︁
𝑔1 (𝑓 (𝑥)) 6 𝐷(𝛼, 𝛽) 6 𝑔2 (𝑓 (𝑥)),
𝑥=1 𝑥=1

где 𝑔1 (𝑥) и 𝑔2 (𝑥) – “стаканчики” Виноградова, отвечающие пара-

метрам 𝛼 + Δ Δ Δ Δ
2 , 𝛽 − 2 , ∆, 𝑟 и 𝛼 − 2 , 𝛽 + 2 , ∆, 𝑟, соответственно.
Из условия теоремы немедленно получаем, что

𝐷(𝛼, 𝛽) = (𝛽 − 𝛼)𝑃 + 𝑂(𝑅 + ∆𝑃 ).

Это соотношение распространяется на случай произвольных 𝛼

и 𝛽, 0 < 𝛽 − 𝛼 6 1 с помощью равенства

1 1
𝐷(𝛼, 𝛽) = 𝐷(𝛼, 𝛼 + ) + 𝐷(𝛼 + , 𝛽)
2 2
при 1 − 2∆ 6 𝛽 − 𝛼 6 1 и равенства

𝐷(𝛼, 𝛽) = 𝐷(𝛼, 𝛼 + 1 − 2∆) − 𝐷(𝛽, 𝛼 + 1 − 2∆)

при 0 < 𝛽 − 𝛼 6 2∆.

Будем считать, что 𝑅 < 0.1𝑃 , так как в противном случае
утверждение теоремы тривиально. Возьмем 𝑛 = [𝑃 𝑅−1 ]. Имеем
при 𝑘 = 1, . . . , 𝑛 (︂ )︂
𝑘 𝑘
𝐷 0, = 𝑃 + 𝑅𝑘 ,
𝑛 𝑛
8 § 1. Дробные доли вещественных функций

где 𝑅𝑘 ≪ 𝑅 + ∆𝑃 . Отсюда находим при 𝑘 = 1, . . . , 𝑛

(︂ )︂
𝑘−1 𝑘 𝑃
𝐷 , = + 𝑅𝑘 − 𝑅𝑘−1 .
𝑛 𝑛 𝑛

Легко видеть, что справедливы оценки

𝑛 (︂ )︂ 𝑃 𝑛 (︂ )︂
∑︁ 𝑘−1 𝑘−1 𝑘 ∑︁ ∑︁ 𝑘 𝑘−1 𝑘
𝐷 , 6 {𝑓 (𝑥)} 6 𝐷 , .
𝑛 𝑛 𝑛 𝑥=1
𝑛 𝑛 𝑛
𝑘=1 𝑘=1

(︀ 𝑘−1
, 𝑛𝑘 , находим
)︀
Пользуясь полученными соотношениями для 𝐷 𝑛

𝑛 (︂ )︂ 𝑛 𝑛
∑︁ 𝑘 𝑘−1 𝑘 𝑃 ∑︁ 1 ∑︁
𝐷 , = 2 𝑘+ 𝑘(𝑅𝑘 − 𝑅𝑘−1 )
𝑛 𝑛 𝑛 𝑛 𝑛
𝑘=1 𝑘=1 𝑘=1
(︂ )︂ 𝑛 𝑛
1 𝑃 1 ∑︁ 1 ∑︁
= 𝑃 +𝑂 + (𝑘𝑅𝑘 − (𝑘 − 1)𝑅𝑘−1 ) − 𝑅𝑘−1
2 𝑛 𝑛 𝑛
𝑘=1 𝑘=1
1
= 𝑃 + 𝑂(𝑅 + ∆𝑃 ),
2
𝑛 (︂ )︂ ∑︁𝑛 (︂ )︂
∑︁ 𝑘−1 𝑘−1 𝑘 𝑘 𝑘−1 𝑘
𝐷 , = 𝐷 ,
𝑛 𝑛 𝑛 𝑛 𝑛 𝑛
𝑘=1 𝑘=1
𝑛 (︂ )︂
1 ∑︁ 𝑃
− + 𝑂(𝑅 + ∆𝑃 )
𝑛 𝑛
𝑘=1
1
= 𝑃 + 𝑂(𝑅 + ∆𝑃 ).
2
Этим доказательство завершается.

Пусть 𝑓 (𝑥) – вещественная функция. Обозначим через 𝐷𝑃 (𝛼, 𝛽)

количество 𝑥 = 1, . . . , 𝑃 с условием 𝛼 6 {𝑓 (𝑥)} < 𝛽. Последова-
тельность дробных долей функции 𝑓 (𝑥) называется равномерно
распределенной, если при любых 0 6 𝛼 < 𝛽 6 1 справедливо ра-
венство
1
lim 𝐷𝑃 (𝛼, 𝛽) = 𝛽 − 𝛼.
𝑃 →+∞ 𝑃

Рассмотрим общий критерий равномерного распределения, свя-

зывающий вопросы распределения дробных долей с оценками
тригонометрических сумм.
§ 1. Дробные доли вещественных функций 9

Теорема 3 (критерий Г. Вейля). Необходимым и доста-

точным условием равномерности распределения дробных долей
функции 𝑓 (𝑥) является выполнение равенства
𝑃
1 ∑︁ 2𝜋𝑖𝑚𝑓 (𝑥)
lim 𝑒 =0
𝑃 →+∞ 𝑃
𝑥=1

при любом целом 𝑚 ̸= 0.

Доказательство. Достаточность. Пусть 0 < 𝛾 < 1, 0 <
𝜀 < min 𝛾2 , 1−𝛾 1
(︀ )︀
2 , 8 , 𝑟 = 1. Имеют место неравенства
𝑃
∑︁ 𝑃
∑︁
𝑔1 (𝑓 (𝑥)) 6 𝐷𝑃 (0, 𝛾) 6 𝑔2 (𝑓 (𝑥)),
𝑥=1 𝑥=1

где 𝑔1 (𝑥) и 𝑔2 (𝑥) – “стаканчики” Виноградова, отвечающие пара-

метрам 2𝜀 , 𝛾 − 2𝜀 , 𝜀, 1 и −𝜀 𝜀
2 , 𝛾 + 2 , 𝜀, 1, соответственно. Пользуясь
разложением функции 𝑔1 (𝑓 (𝑥)) в ряд Фурье, получим
𝑃
∑︁ +∞
∑︁ 𝑃
∑︁
𝑔1 (𝑓 (𝑥)) = (𝛾 − 𝜀)𝑃 + 𝑎𝑚 𝑒2𝜋𝑖𝑚𝑓 (𝑥) .
𝑥=1 𝑚=−∞ 𝑥=1
𝑚̸=0

Для коэффициента 𝑎𝑚 теорема 1 дает оценку

(︂ )︂
1 1
|𝑎𝑚 | 6 min , .
|𝑚| |𝑚|2 𝜀
Возьмем 𝑁 = [𝜀−2 ]. Поскольку при любом целом 𝑚 ̸= 0
𝑃
1 ∑︁ 2𝜋𝑖𝑚𝑓 (𝑥)
lim 𝑒 = 0,
𝑃 →+∞ 𝑃
𝑥=1

найдется 𝑃0 (𝜀) такое, что при 𝑃 > 𝑃0 (𝜀) и 0 < |𝑚| 6 𝑁 имеет
место оценка
⃒ 𝑃 2𝜋𝑖𝑚𝑓 (𝑥) ⃒
⃒ ∑︁ ⃒
⃒ 𝑒 ⃒ 6 𝜀𝑃 .
⃒ ⃒ ln 𝑁
𝑥=1
Для |𝑚| > 𝑁 оценим тригонометрическую сумму тривиально,
т.е. числом ее слагаемых 𝑃 . Таким образом, получим при 𝑃 >
𝑃0 (𝜀)
⃒ 𝑃 ⃒ 𝑁
⃒ ∑︁ ⃒ ∑︁ 1 𝜀𝑃 ∑︁ 1
⃒ 𝑔1 (𝑓 (𝑥)) − 𝛾𝑃 ⃒ 6 𝜀𝑃 + 2 +2 𝑃 6 6𝜀𝑃.
⃒
𝑥=1
⃒
𝑚=1
𝑚 ln 𝑁 𝑚2 𝜀
𝑚>𝑁
10 § 1. Дробные доли вещественных функций

Аналогично получаем, что

⃒ 𝑃 ⃒
⃒ ∑︁ ⃒
⃒
⃒ 𝑔2 (𝑓 (𝑥)) − 𝛾𝑃 ⃒⃒ 6 6𝜀𝑃,
𝑥=1

откуда
|𝐷𝑃 (0, 𝛾) − 𝛾𝑃 | 6 6𝜀𝑃
при 𝑃 > 𝑃0 (𝜀). В силу произвольности 𝜀 это означает, что

1
lim 𝐷𝑃 (0, 𝛾) = 𝛾,
𝑃 →+∞ 𝑃

то есть дробные доли 𝑓 (𝑥) распределены равномерно.

Необходимость. Зададим 𝑚 ̸= 0 и произвольное 𝑞 ∈ N. Пусть
𝑀𝑘 обозначает множество тех 𝑥 = 1, . . . , 𝑃 , для которых 𝑘𝑞 6
{𝑓 (𝑥)} < 𝑘+1
𝑞 . Имеем

𝑃
∑︁ 𝑞−1 ∑︁
∑︁
𝑒2𝜋𝑖𝑚𝑓 (𝑥) = 𝑒2𝜋𝑖𝑚𝑓 (𝑥) .
𝑥=1 𝑘=0 𝑥∈𝑀𝑘

Вычислим внутреннюю сумму. При 𝑥 ∈ 𝑀𝑘 справедливо пред-

ставление
𝑘 𝜃𝑥
{𝑓 (𝑥)} = + ,
𝑞 𝑞
где 0 6 𝜃𝑥 < 1. Имеем
(︂ )︂)︂(︂
∑︁ ∑︁ 𝑚𝑘 |𝑚|
𝑒2𝜋𝑖𝑚𝑓 (𝑥) = 𝑒2𝜋𝑖 𝑞 1+𝑂
𝑞
𝑥∈𝑀𝑘 𝑥∈𝑀𝑘
(︂ )︂ (︂ (︂ )︂ )︂
𝑘 𝑘+1 𝑚𝑘 𝑘 𝑘 + 1 |𝑚|
= 𝐷𝑃 , 𝑒2𝜋𝑖 𝑞 + 𝑂 𝐷𝑃 , .
𝑞 𝑞 𝑞 𝑞 𝑞

Отсюда находим
𝑃 𝑞−1 (︂ )︂ (︂ )︂
∑︁
2𝜋𝑖𝑚𝑓 (𝑥)
∑︁ 𝑘 𝑘+1 2𝜋𝑖 𝑚𝑘 |𝑚|
𝑒 = 𝐷𝑃 , 𝑒 𝑞 +𝑂 𝑃 .
𝑥=1
𝑞 𝑞 𝑞
𝑘=0

Зададим произвольное 𝜀 > 0 и выберем 𝑞 столь большим, что

остаточный член будет по модулю меньше 𝜀𝑃 . Поскольку дробные
Задачи к § 1 11

доли 𝑓 (𝑥) распределены равномерно, можно выбрать 𝑃0 (𝜀) так,

чтобы при 𝑃 > 𝑃0 (𝜀) и 𝑘 = 0, . . . , 𝑞 − 1 выполнялось неравенство
⃒ (︂ )︂ ⃒
⃒𝐷𝑃 𝑘 , 𝑘 + 1 − 1 𝑃 ⃒ 6 𝜀𝑃 .
⃒ ⃒
⃒ 𝑞 𝑞 𝑞 ⃒ 𝑞

Таким образом, имеем

⃒ 𝑃 𝑞−1 ⃒
⃒ ∑︁ 2𝜋𝑖𝑚𝑓 (𝑥) 1 ∑︁ 2𝜋𝑖 𝑚𝑘
⃒
⃒ 𝑒 − 𝑃 𝑒 𝑞 ⃒ 6 2𝜀𝑃,
⃒
𝑥=1
𝑞 ⃒
𝑘=0

причем полная линейная тригонометрическая сумма в левой ча-

сти равна нулю, так как 0 < |𝑚| < 𝑞 и, следовательно, 𝑞 - 𝑚.
В силу произвольности 𝜀 получаем, что
𝑃
1 ∑︁ 2𝜋𝑖𝑚𝑓 (𝑥)
lim 𝑒 = 0,
𝑃 →+∞ 𝑃
𝑥=1

чем доказательство завершается.

Задачи к § 1
1. Доказать, что сумма
𝑞
∑︁ 𝑎𝑥
𝑒2𝜋𝑖 𝑞

𝑥=1

равна 𝑞 при 𝑎, делящемся на 𝑞, и равна нулю в противном случае.

2. Доказать, что при (𝑎, 𝑞) = 1 имеет место равенство
𝑞
∑︁ 𝑎𝑥
𝑒2𝜋𝑖 𝑞 = 𝜇(𝑞).
𝑥=1
(𝑥,𝑞)=1

3. Доказать, что
⃒ 𝑁 ⃒ (︂ )︂
⃒ ∑︁ 2𝜋𝑖𝛼𝑥 ⃒ 1
⃒
⃒ 𝑒 ⃒ 6 min 𝑁, 2‖𝛼‖ ,
⃒
𝑥=1

где ‖𝛼‖ = min({𝛼}, 1 − {𝛼}) – расстояние от 𝛼 до ближайшего

целого числа.
12 Задачи к § 1

4. Доказать, что при (𝑎, 𝑞) = 1 модуль суммы Гаусса

𝑞
∑︁ 𝑎𝑥2
𝑒2𝜋𝑖 𝑞

𝑥=1
√ √
равен 𝑞 при нечетном 𝑞, 2𝑞 при 𝑞, делящемся на четыре, и ра-
вен нулю при 𝑞 вида 4𝑛 + 2.
5. Получить оценку для неполной суммы Гаусса (𝑁 < 𝑞)
𝑁
∑︁ 𝑎𝑥2 √
𝑒2𝜋𝑖 𝑞 ≪ 𝑞 ln 𝑞
𝑥=1

при (𝑎, 𝑞) = 1.
6. Доказать, что последовательность дробных долей функции
𝛼𝑥 + 𝛽 равномерно распределена в том и только в том случае,
когда 𝛼 иррационально.
§ 2. Формула замены тригонометрической суммы 13

§ 2. Формула замены тригонометрической

суммы более короткой
В ряде случаев тригонометрическую сумму удается с хорошей
точностью приблизить другой тригонометрической суммой, име-
ющей меньшее по сравнению с исходной суммой число слагаемых,
то есть “более короткой”. Таким образом, уже тривиальная оценка
второй суммы дает нетривиальную оценку для первой. Докажем
вначале теорему о приближении тригонометрической суммы сум-
мой интегралов специального вида.
Теорема 4. Пусть 𝑓 (𝑥) и 𝜙(𝑥) – вещественные функции,
удовлетворяющие на отрезке [𝑎, 𝑏] следующим условиям:
1) 𝑓 ′′ (𝑥) и 𝜙′ (𝑥) непрерывны;
2) 𝑓 ′′ (𝑥) > 0;
3) существуют 𝐻 > 0, 𝑈 > 𝑏 − 𝑎 такие, что

𝜙(𝑥) ≪ 𝐻, 𝜙′ (𝑥) ≪ 𝐻𝑈 −1 .

Тогда при любом ∆ ∈ (0, 1) справедливо равенство

∑︁
𝜙(𝑥)𝑒2𝜋𝑖𝑓 (𝑥) =
𝑎<𝑥6𝑏
∑︁ ∫︁ 𝑏
= 𝜙(𝑥)𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥 + 𝑂(𝐻 ln(𝛽 − 𝛼 + 2)),
𝛼−Δ6𝑛6𝛽+Δ 𝑎

где 𝛼 = 𝑓 ′ (𝑎), 𝛽 = 𝑓 ′ (𝑏), постоянная в знаке 𝑂 зависит только

от ∆.
Доказательство. Достаточно доказать теорему в случае
𝜙(𝑥) = 1. Действительно, совершая преобразование Абеля (тео-
рема 5 прошлого семестра), получим

∑︁ ∑︁ ∫︁ 𝑏 ∑︁
𝜙(𝑥)𝑒 2𝜋𝑖𝑓 (𝑥)
= 𝜙(𝑏) 𝑒 2𝜋𝑖𝑓 (𝑥)
− 𝜙′ (𝑢) 𝑒2𝜋𝑖𝑓 (𝑥) 𝑑𝑢.
𝑎<𝑥6𝑏 𝑎<𝑥6𝑏 𝑎 𝑎<𝑥6𝑢

Обозначая 𝛾 = 𝑓 ′ (𝑢), имеем

∑︁ ∑︁ ∫︁ 𝑢
𝑒2𝜋𝑖𝑓 (𝑥) = 𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥 + 𝑂(ln(𝛽 − 𝛼 + 2)).
𝑎<𝑥6𝑢 𝛼−Δ6𝑛6𝛾+Δ 𝑎
14 § 2. Формула замены тригонометрической суммы

При 𝑛 > 𝛾 + ∆, интегрируя по частям, найдем

∫︁ 𝑢 ∫︁ 𝑢 2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥)
1 𝑑𝑒 1
𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥 = ′ (𝑥) − 𝑛
≪ ,
𝑎 2𝜋𝑖 𝑎 𝑓 𝑛 − 𝛾
так как функция в знаменателе отрицательна и монотонно воз-
растает. Таким образом,
∑︁ ∑︁ ∫︁ 𝑢
2𝜋𝑖𝑓 (𝑥)
𝑒 = 𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥 + 𝑂(ln(𝛽 − 𝛼 + 2)).
𝑎<𝑥6𝑢 𝛼−Δ6𝑛6𝛽+Δ 𝑎

Подставляя полученное равенство в первую формулу, находим

∑︁
𝜙(𝑥)𝑒2𝜋𝑖𝑓 (𝑥) =
𝑎<𝑥6𝑏
∑︁ (︂ ∫︁ 𝑏
= 𝜙(𝑏) 𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥
𝛼−Δ6𝑛6𝛽+Δ 𝑎
∫︁ 𝑏 (︂ ∫︁ 𝑢 )︂ )︂
− 𝜙′ (𝑢) 𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥 𝑑𝑢 + 𝑂(𝐻 ln(𝛽 − 𝛼 + 2))
𝑎 𝑎
∑︁ ∫︁ 𝑏
= 𝜙(𝑥)𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥 + 𝑂(𝐻 ln(𝛽 − 𝛼 + 2)).
𝛼−Δ6𝑛6𝛽+Δ 𝑎

Далее, достаточно доказать теорему в случае 0 < 𝛼 − ∆ 6 1.

Действительно, выберем целое 𝑘 так, чтобы 0 < 𝛼 − ∆ + 𝑘 6 1
и пусть 𝑓1 (𝑥) = 𝑓 (𝑥) + 𝑘𝑥. Тогда 𝛼1 = 𝛼 + 𝑘 ∈ (∆, 1 + ∆] и
∑︁ ∑︁
𝑒2𝜋𝑖𝑓 (𝑥) = 𝑒2𝜋𝑖𝑓1 (𝑥)
𝑎<𝑥6𝑏 𝑎<𝑥6𝑏
∑︁ ∫︁ 𝑏
= 𝑒2𝜋𝑖(𝑓1 (𝑥)−𝑛𝑥) 𝑑𝑥 + 𝑂(ln(𝛽 − 𝛼 + 2))
𝛼1 −Δ6𝑛6𝛽1 +Δ 𝑎

∑︁ ∫︁ 𝑏
= 𝑒2𝜋𝑖(𝑓 (𝑥)−(𝑛−𝑘)𝑥) 𝑑𝑥 + 𝑂(ln(𝛽 − 𝛼 + 2)).
𝛼−Δ6𝑛−𝑘6𝛽+Δ 𝑎

Итак, считаем 𝜙(𝑥) = 1 и 𝛼 − ∆ ∈ (0, 1]. Применяя формулу

суммирования Эйлера (теорема 9 прошлого семестра), получим
∑︁ ∫︁ 𝑏 ∫︁ 𝑏
𝑒2𝜋𝑖𝑓 (𝑥) = 𝑒2𝜋𝑖𝑓 (𝑥) 𝑑𝑥 − 2𝜋𝑖 𝜌(𝑥)𝑓 ′ (𝑥)𝑒2𝜋𝑖𝑓 (𝑥) 𝑑𝑥 + 𝑂(1),
𝑎<𝑥6𝑏 𝑎 𝑎
§ 2. Формула замены тригонометрической суммы 15

1
где 𝜌(𝑥) = 2 − {𝑥}. Первый интеграл есть 𝑂(1), так как

𝑏 𝑏
𝑑𝑒2𝜋𝑖𝑓 (𝑥)
∫︁ ∫︁
2𝜋𝑖𝑓 (𝑥) 1 1 1
𝑒 𝑑𝑥 = ≪ < .
𝑎 2𝜋𝑖 𝑎 𝑓 ′ (𝑥) 𝛼 ∆

Здесь мы пользовались тем, что 𝑓 ′ (𝑥) положительна и монотонно

возрастает. При нецелых 𝑥 функция 𝜌(𝑥) представляется своим
рядом Фурье
+∞
1 ∑︁ sin 2𝜋𝑚𝑥
𝜌(𝑥) = .
𝜋 𝑚=1 𝑚

Поскольку значения 𝜌(𝑥) в целых точках не влияют на величину

интеграла, имеем
∫︁ +∞
𝑏 ∑︁
∑︁
2𝜋𝑖𝑓 (𝑥) sin 2𝜋𝑚𝑥 ′
𝑒 = −2𝑖 𝑓 (𝑥)𝑒2𝜋𝑖𝑓 (𝑥) 𝑑𝑥 + 𝑂(1).
𝑎 𝑚=1
𝑚
𝑎<𝑥6𝑏

Докажем возможность почленного интегрирования ряда в пра-

вой части последней формулы. Поскольку функция 𝑓 ′ (𝑥)𝑒2𝜋𝑖𝑓 (𝑥)
ограничена на отрезке [𝑎, 𝑏], достаточно показать, что
∫︁ 𝑏 ⃒⃒ ∑︁ ⃒
sin 2𝜋𝑚𝑥 ⃒⃒
⃒ 𝑑𝑥 −−−−−→ 0.
⃒
𝑚
⃒
𝑎 ⃒ ⃒ 𝑁 →+∞
𝑚>𝑁

С одной стороны, совершая преобразование Абеля и пользуясь

оценкой линейной тригонометрической суммы (задача 3 к § 1),
получим

∑︁ sin 2𝜋𝑚𝑥 ∑︁ 𝑒2𝜋𝑖𝑚𝑥

= Im
𝑚 𝑚
𝑁 <𝑚6𝑀 𝑁 <𝑚6𝑀
∫︁ 𝑀
1 ∑︁
2𝜋𝑖𝑚𝑥
∑︁ 𝑑𝑢 1
= Im 𝑒 + Im 𝑒2𝜋𝑖𝑚𝑥 2
≪
𝑀 𝑁 𝑢 𝑁 ‖𝑥‖
𝑁 <𝑚6𝑀 𝑁 <𝑚6𝑢

при любом 𝑀 . С другой стороны, имеем

𝑁 𝑁
∫︁ 𝑥 ∑︁
∑︁ sin(2𝜋𝑚𝑥)
= 2𝜋 cos(2𝜋𝑚𝑢) 𝑑𝑢.
𝑚=1
𝑚 0 𝑚=1
16 § 2. Формула замены тригонометрической суммы

Но для подынтегрального выражения находим следующее пред-

ставление
𝑁
∑︁ 𝑁
∑︁
cos 2𝜋𝑚𝑢 = Re 𝑒2𝜋𝑖𝑚𝑢
𝑚=1 𝑚=1
1
𝑒2𝜋𝑖(𝑁 + 2 )𝑢 − 𝑒𝜋𝑖𝑢 1 sin 𝜋(2𝑁 + 1)𝑢
= Re =− + ,
2𝑖 sin 𝜋𝑢 2 2 sin 𝜋𝑢
откуда при 𝑥 ∈ 0, 12 получим
[︀ ]︀

𝑁 ∫︁ 𝑥
∑︁ sin 2𝜋𝑚𝑥 sin 𝜋(2𝑁 + 1)𝑢
= −𝜋𝑥 + 𝑑𝑢
𝑚=1
𝑚 0 𝑢
∫︁ 𝑥 (︂ )︂
1 1
+𝜋 sin 𝜋(2𝑁 + 1)𝑢 − 𝑑𝑢
0 sin 𝜋𝑢 𝜋𝑢
∫︁ 𝜋(2𝑁 +1)𝑥
sin 𝑢
= −𝜋𝑥 + 𝑑𝑢
𝑢
∫︁ 𝜋𝑥0 (︂ )︂
1 1
+ sin(2𝑁 + 1)𝑢 − 𝑑𝑢.
0 sin 𝑢 𝑢
Поскольку второй интеграл в правой части ]︀максимален при верх-
нем пределе, равном 𝜋, имеем при 𝑥 ∈ 0, 12 оценку
[︀

⃒ 𝑁 sin 2𝜋𝑚𝑥 ⃒ 𝜋
⃒ ∑︁ ⃒ ∫︁ 𝜋 ∫︁ 𝜋2 (︂ )︂
sin 𝑢 1 1
⃒ ⃒6 + 𝑑𝑢 + − 𝑑𝑢 ≪ 1.
⃒
𝑚=1
𝑚 ⃒ 2 0 𝑢 0 sin 𝑢 𝑢

Эта же оценка справедлива при всех 𝑥 в силу нечетности и пе-

риодичности синуса. Таким образом, собирая вместе полученные
оценки, находим
⃒ ∑︁ ⃒ (︂ )︂
⃒ sin 2𝜋𝑚𝑥 ⃒⃒ 1
⃒ ≪ min 1,
⃒ 𝑚 ⃒ 𝑁 ‖𝑥‖
𝑁 <𝑚6𝑀

при любом 𝑀 . Устремив 𝑀 к бесконечности, получаем

∫︁ 𝑏 ⃒⃒ ∑︁ ⃒ ∫︁ 𝑏 (︂ )︂
sin 2𝜋𝑚𝑥 ⃒⃒ 1 1
⃒ 𝑑𝑥 ≪ min 1, 𝑑𝑥 ≪ √ −−−−−→ 0,
⃒
𝑚 𝑁 ‖𝑥‖
⃒
𝑎 ⃒
𝑚>𝑁
⃒ 𝑎 𝑁 𝑁 →+∞

что и доказывает возможность почленного интегрирования со-

ответствующего ряда. Проводя последнюю оценку, мы разбили
§ 2. Формула замены тригонометрической суммы 17

отрезок [𝑎, 𝑏] на два множества – √1𝑁 -окрестности целых точек

и дополнение к ним.
Итак, имеем следующее равенство

+∞
1 𝑏
∑︁ ∑︁ ∫︁
𝑒 2𝜋𝑖𝑓 (𝑥)
+ 𝑂(1) = −2𝑖 sin(2𝜋𝑚𝑥)𝑓 ′ (𝑥)𝑒2𝜋𝑖𝑓 (𝑥) 𝑑𝑥
𝑚=1
𝑚 𝑎
𝑎<𝑥6𝑏
+∞ (︂ ∫︁ 𝑏 ∫︁ 𝑏 )︂
∑︁ 1 ′ 2𝜋𝑖(𝑓 (𝑥)−𝑚𝑥) ′ 2𝜋𝑖(𝑓 (𝑥)+𝑚𝑥)
= 𝑓 (𝑥)𝑒 𝑑𝑥 − 𝑓 (𝑥)𝑒 𝑑𝑥 .
𝑚=1
𝑚 𝑎 𝑎

Возьмем второй интеграл по частям

∫︁ 𝑏
𝑓 ′ (𝑥)𝑒2𝜋𝑖(𝑓 (𝑥)+𝑚𝑥) 𝑑𝑥 =
𝑎
𝑏
𝑓 ′ (𝑥)
∫︁
1 𝛽
= 𝑑𝑒2𝜋𝑖(𝑓 (𝑥)+𝑚𝑥) ≪ .
2𝜋𝑖 𝑎 𝑓 ′ (𝑥) + 𝑚 𝛽+𝑚

Здесь мы пользовались тем, что дробь под интегралом положи-

тельна и монотонно возрастает. Находим

+∞
∑︁ 𝛽 ∑︁ 1 ∑︁ 1
≪𝛽 +𝛽 ≪ ln(𝛽 + 2).
𝑚=1
𝑚(𝛽 + 𝑚) 𝑚𝛽 𝑚2
𝑚6𝛽 𝑚>𝛽

Первый интеграл возьмем по частям при 𝑚 > 𝛽 + ∆. Имеем

∫︁ 𝑏
𝑓 ′ (𝑥)𝑒2𝜋𝑖(𝑓 (𝑥)−𝑚𝑥) 𝑑𝑥 =
𝑎
𝑏
𝑓 ′ (𝑥)
∫︁
1 𝛽
= 𝑑𝑒2𝜋𝑖(𝑓 (𝑥)−𝑚𝑥) ≪ .
2𝜋𝑖 𝑎 𝑓 ′ (𝑥) − 𝑚 𝑚−𝛽

Здесь мы пользовались тем, что дробь под интегралом отрица-

тельна и монотонно убывает. Находим

∑︁ 𝛽 ∑︁ 1 ∑︁ 1
≪𝛽 +𝛽
𝑚(𝑚 − 𝛽) 𝑚2 𝛽(𝑚 − 𝛽)
𝑚>𝛽+Δ 𝑚>2𝛽 𝛽+Δ<𝑚62𝛽

≪ ln(𝛽 + 2).
18 § 2. Формула замены тригонометрической суммы

Таким образом, имеем

∑︁
𝑒2𝜋𝑖𝑓 (𝑥) + 𝑂(ln(𝛽 + 2)) =
𝑎<𝑥6𝑏
∫︁ 𝑏
∑︁ 1
= 𝑓 ′ (𝑥)𝑒2𝜋𝑖(𝑓 (𝑥)−𝑚𝑥) 𝑑𝑥
𝑚 𝑎
𝛼−Δ6𝑚6𝛽+Δ
∫︁ 𝑏
∑︁ 1
= 𝑒−2𝜋𝑖𝑚𝑥 𝑑𝑒2𝜋𝑖𝑓 (𝑥)
2𝜋𝑖𝑚 𝑎
𝛼−Δ6𝑚6𝛽+Δ
(︂ ∫︁ 𝑏 (︂ )︂)︂
∑︁ 1
= 𝑒2𝜋𝑖(𝑓 (𝑥)−𝑚𝑥) 𝑑𝑥 + 𝑂
𝑎 𝑚
𝛼−Δ6𝑚6𝛽+Δ
∑︁ ∫︁ 𝑏
= 𝑒2𝜋𝑖(𝑓 (𝑥)−𝑚𝑥) 𝑑𝑥 + 𝑂(ln(𝛽 + 2)),
𝛼−Δ6𝑚6𝛽+Δ 𝑎

что и завершает доказательство.

Важным частным случаем доказанной теоремы является
утверждение о приближении тригонометрической суммы инте-
гралом.
Следствие (ван дер Корпут). Пусть функции 𝑓 (𝑥) и 𝜙(𝑥)
удовлетворяют условиям теоремы 4 и, кроме того,

|𝑓 ′ (𝑥)| 6 𝛿 < 1

при 𝑥 ∈ [𝑎, 𝑏]. Тогда справедливо равенство

∑︁ ∫︁ 𝑏
𝜙(𝑥)𝑒2𝜋𝑖𝑓 (𝑥) = 𝜙(𝑥)𝑒2𝜋𝑖𝑓 (𝑥) 𝑑𝑥 + 𝑂(𝐻).
𝑎<𝑥6𝑏 𝑎

Доказательство. Возьмем в теореме 4 ∆ = 1−𝛿 2 . Тогда 𝛽 +

∆ 6 1+𝛿2 < 1 и 𝛼 − ∆ > − 1+𝛿
2 > −1, то есть в правой части
останется единственное слагаемое с 𝑛 = 0, если только 𝛼 − ∆ 6
0 6 𝛽+∆. В противном случае формула также будет справедлива,
поскольку
∫︁ 𝑏
𝜙(𝑥)𝑒2𝜋𝑖𝑓 (𝑥) 𝑑𝑥 = 𝑂(𝐻),
𝑎
что получается интегрированием по частям. Этим доказательство
завершается.
§ 2. Формула замены тригонометрической суммы 19

Теперь мы готовы к доказательству основной теоремы этого

параграфа.
Теорема 5. Пусть вещественные функции 𝑓 (𝑥) и 𝜙(𝑥) удо-
влетворяют на отрезке [𝑎, 𝑏] следующим условиям:
1) 𝑓 (4) (𝑥) и 𝜙′′ (𝑥) непрерывны;
2) существуют 𝐻, 𝐴 > 0 и 𝑈 > 𝑏 − 𝑎 такие, что
𝑓 (2) (𝑥) ≍ 𝐴−1 , 𝑓 (3) (𝑥) ≪ 𝐴−1 𝑈 −1 , 𝑓 (4) (𝑥) ≪ 𝐴−1 𝑈 −2 ,
𝜙(𝑥) ≪ 𝐻, 𝜙′ (𝑥) ≪ 𝐻𝑈 −1 , 𝜙′′ (𝑥) ≪ 𝐻𝑈 −2 .
Тогда, определяя числа 𝑥𝑛 из уравнения 𝑓 ′ (𝑥𝑛 ) = 𝑛, будем иметь
∑︁
𝜙(𝑥)𝑒2𝜋𝑖𝑓 (𝑥) =
𝑎<𝑥6𝑏
𝜋𝑖
∑︁ 𝜙(𝑥𝑛 ) 2𝜋𝑖(𝑓 (𝑥𝑛 )−𝑛𝑥𝑛 )
=𝑒 4 𝑐(𝑛) √︀ 𝑒 + 𝑅,
𝑓 ′ (𝑎)6𝑛6𝑓 ′ (𝑏)
𝑓 ′′ (𝑥𝑛 )

где
{︃
1, 𝑓 ′ (𝑎) < 𝑛 < 𝑓 ′ (𝑏),
𝑐(𝑛) = 1
2, 𝑛 = 𝑓 ′ (𝑎) или 𝑛 = 𝑓 ′ (𝑏),
𝑅 ≪ 𝐻𝐴𝑈 −1 + 𝐻 ln(𝑓 ′ (𝑏) − 𝑓 ′ (𝑎) + 2) + 𝐻𝑇 (𝑎) + 𝐻𝑇 (𝑏),
{︃
0, 𝑓 ′ (𝑐) ∈ Z,
𝑇 (𝑐) = √
min(‖𝑓 ′ (𝑐)‖−1 , 𝐴), 𝑓 ′ (𝑐) ∈ / Z.
Доказательство. Пусть 𝑓 ′ (𝑎) и 𝑓 ′ (𝑏) не являются целыми
числами. Возьмем в теореме 4 ∆ = 1/2. Имеем
∑︁ ∑︁ ∫︁ 𝑏
2𝜋𝑖𝑓 (𝑥)
𝜙(𝑥)𝑒 = 𝜙(𝑥)𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥
𝑎<𝑥6𝑏 𝑓 ′ (𝑎)−0.56𝑛6𝑓 ′ (𝑏)+0.5 𝑎

+ 𝑂(𝐻 ln(𝑓 ′ (𝑏) − 𝑓 ′ (𝑎) + 2)).

При [𝑓 ′ (𝑎)] + 1 6 𝑛 6 [𝑓 ′ (𝑏)] применим к интегралам в правой
части теорему об асимптотическом значении тригонометрических
интегралов (теорема 20 прошлого семестра). Находим
∫︁ 𝑏
𝜋𝑖 𝜙(𝑥𝑛 ) 2𝜋𝑖(𝑓 (𝑥𝑛 )−𝑛𝑥𝑛 )
𝜙(𝑥)𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥 = 𝑒 4 √︀ 𝑒
𝑎 𝑓 ′′ (𝑥𝑛 )
√ )︀)︀
+ 𝑂(𝐻𝐴𝑈 −1 ) + 𝑂 𝐻 min |𝑓 ′ (𝑎) − 𝑛|−1 , 𝐴
(︀ (︀
√ )︀)︀
+ 𝑂 𝐻 min |𝑓 ′ (𝑏) − 𝑛|−1 , 𝐴 ,
(︀ (︀
20 § 2. Формула замены тригонометрической суммы

где 𝑥𝑛 определяется из уравнения 𝑓 ′ (𝑥𝑛 ) = 𝑛. Суммируя послед-

ние соотношения по 𝑛, получим

∑︁ ∫︁ 𝑏
𝜙(𝑥)𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥 =
[𝑓 ′ (𝑎)]<𝑛6[𝑓 ′ (𝑏)] 𝑎

𝜋𝑖 𝜙(𝑥 )
√︀ 𝑛 𝑒2𝜋𝑖(𝑓 (𝑥𝑛 )−𝑛𝑥𝑛 )
∑︁
=𝑒 4

𝑓 ′ (𝑎)6𝑛6𝑓 ′ (𝑏)
𝑓 ′′ (𝑥𝑛 )
+ 𝑂(𝐻𝑇 (𝑎) + 𝐻𝑇 (𝑏)) + 𝑂(𝐻 ln(𝑓 ′ (𝑏) − 𝑓 ′ (𝑎) + 2)).

Если же 𝑛 = [𝑓 ′ (𝑎)] или 𝑛 = [𝑓 ′ (𝑏)] + 1, то точка 𝑥𝑛 лежит вне

отрезка [𝑎, 𝑏]. В этом случае, интегрируя по частям, имеем

𝑏 ⃒𝑏
𝜙(𝑥)𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) ⃒⃒
∫︁
2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥)
𝜙(𝑥)𝑒 𝑑𝑥 =
𝑎 2𝜋𝑖(𝑓 ′ (𝑥) − 𝑛) ⃒𝑎
𝑏
𝜙′ (𝑥)(𝑓 ′ (𝑥) − 𝑛) − 𝜙(𝑥)𝑓 ′′ (𝑥) 2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥)
∫︁
1
− 𝑒 𝑑𝑥
2𝜋𝑖 𝑎 (𝑓 ′ (𝑥) − 𝑛)2
≪ 𝐻‖𝑓 ′ (𝑐)‖−1 + 𝐻𝐴𝑈 −1 ,

где 𝑐 = 𝑎 при 𝑛 = [𝑓 ′ (𝑎)] и 𝑐 = 𝑏 при 𝑛 = [𝑓 ′ (𝑏)] + 1. С другой

стороны,
√
∫︁ 𝑏
2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥)
∫︁ 𝑏− 𝐴 √
𝜙(𝑥)𝑒 𝑑𝑥 = √ 𝜙(𝑥)𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥 + 𝑂(𝐻 𝐴)
𝑎 𝑎+ 𝐴
⃒𝑏−√𝐴
𝜙(𝑥)𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) ⃒⃒
=
2𝜋𝑖(𝑓 ′ (𝑥) − 𝑛) ⃒𝑎+√𝐴
∫︁ 𝑏−√𝐴 ′
1 𝜙 (𝑥)(𝑓 ′ (𝑥) − 𝑛) − 𝜙(𝑥)𝑓 ′′ (𝑥) 2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥)
− √ 𝑒 𝑑𝑥
2𝜋𝑖 𝑎+ 𝐴 (𝑓 ′ (𝑥) − 𝑛)2
√ √
+ 𝑂(𝐻 𝐴) ≪ 𝐻 𝐴 + 𝐻𝐴𝑈 −1 ,
√ √ √
ибо 𝑓 ′ (𝑎 + 𝐴) − [𝑓 ′ (𝑎)] > 𝑓 ′ (𝑎 + 𝐴) − 𝑓 ′ (𝑎) = 𝑓 ′′ (𝜉) 𝐴 ≍ √1𝐴 . Со-
бирая вместе полученные оценки, доказываем искомую формулу.
Пусть теперь 𝑓 ′ (𝑎) и(или) 𝑓 ′ (𝑏) являются целыми числами. В
этом случае доказательство проводится аналогично, но учитыва-
ется, что согласно доказательству теоремы об асимптотическом
значении тригонометрических интегралов (теорема 20 прошлого
Задачи к § 2 21

семестра) при 𝑛 = 𝑓 ′ (𝑎) и(или) 𝑛 = 𝑓 ′ (𝑏) имеет место формула

∫︁ 𝑏
𝜙(𝑥)𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥 =
𝑎
1 𝜋𝑖 𝜙(𝑐) 2𝜋𝑖(𝑓 (𝑐)−𝑛𝑐)
= 𝑒 4 √︀ 𝑒 + 𝑂(𝐻𝐴𝑈 −1 + 𝐻𝑇 (𝑑)),
2 𝑓 ′′ (𝑐)

где 𝑐 = 𝑎, 𝑑 = 𝑏 при 𝑛 = 𝑓 ′ (𝑎) и 𝑐 = 𝑏, 𝑑 = 𝑎 при 𝑛 = 𝑓 ′ (𝑏). Этим

доказательство завершается.

Задачи к § 2
1. Доказать, что при фиксированном 𝜎0 > 0 и при 𝜎0 6 𝜎 6 2,
2𝜋 6 |𝑡| 6 𝜋𝑥 имеет место следующее представление для дзета-
функции Римана:
∑︁ 1 𝑥1−𝑠
𝜁(𝑠) = + + 𝑂(𝑥−𝜎 ).
𝑛𝑠 𝑠−1
𝑛6𝑥

2. (Приближенное функциональное уравнение Харди–Литтл-

вуда) Доказать, что при фиксированных ℎ, 𝜎0 > 0 и при 𝜎0 6 𝜎 6
2, 𝑥, 𝑦 > ℎ, 2𝜋𝑥𝑦 = |𝑡| справедлива формула
(︂ )︂ 2 −𝜎 ∑︁ 1
∑︁ 1 𝑡 1
−2𝜋𝑖𝜃(𝑡)
𝜁(𝑠) = +𝑒
𝑛𝑠 2𝜋 𝑛1−𝑠
𝑛6𝑥 𝑛6𝑦
1
+ 𝑂(𝑡 2 −𝜎 𝑦 𝜎−1
ln 𝑡 + 𝑥 −𝜎
ln 𝑡),
𝑡 𝑡 𝑡
где 𝜃(𝑡) = 2𝜋 ln 2𝜋 − 2𝜋 − 18 .
3. Пользуясь приближенным функциональным уравнением
Харди–Литтлвуда, получить оценку
(︂ )︂
1 1
𝜁 + 𝑖𝑡 ≪ 𝑡 4 .
2
22 § 3. Метод Г. Вейля. Оценка 𝜁(𝑠) на критической прямой

§ 3. Метод Г. Вейля. Оценка 𝜁(𝑠) на

критической прямой
Г. Вейлем был разработан метод оценки полиномиальных три-
гонометрических сумм, состоящий в последовательном пониже-
нии степени многочлена за счет линейной замены переменной
суммирования.
Теорема 6 (неравенство Г. Вейля). Пусть 𝑘 > 2, 𝐾 =
2𝑘−1 ,
𝑓 (𝑥) = 𝛼𝑥𝑘 + 𝛼𝑘−1 𝑥𝑘−1 + · · · + 𝛼1 𝑥,
где 𝛼, 𝛼1 , . . . , 𝛼𝑘−1 ∈ R, 𝛼 ̸= 0. Тогда имеет место неравенство
⃒ 𝑃
⃒ ∑︁ 2𝜋𝑖𝑓 (𝑥) ⃒𝐾
⃒
⃒ 𝑒 ⃒ 6 22𝐾 𝑃 𝐾−1
⃒ ⃒
𝑥=1
𝑃
∑︁−1 𝑃
∑︁−1
+ 2𝐾 𝑃 𝐾−𝑘 ··· min(𝑃, ‖𝛼𝑘!𝑟1 . . . 𝑟𝑘−1 ‖−1 ).
𝑟1 =1 𝑟𝑘−1 =1

Доказательство. Имеем

⃒ 𝑃 2𝜋𝑖𝑓 (𝑥) ⃒2 ∑︁
𝑃 ∑︁
𝑃
⃒ ∑︁ ⃒
⃒
⃒ 𝑒 ⃒ =
⃒ 𝑒2𝜋𝑖(𝑓 (𝑥)−𝑓 (𝑦))
𝑥=1 𝑥=1 𝑦=1
𝑃 𝑥−1 𝑃 −1 𝑋2
∑︁ ∑︁ ∑︁ ∑︁ 𝑘−1
= 𝑒2𝜋𝑖(𝑓 (𝑥)−𝑓 (𝑥−𝑟1 )) = 𝑒2𝜋𝑖(𝑟1 𝛼𝑘𝑥 +··· )

𝑥=1 𝑟1 =𝑥−𝑃 𝑟1 =1−𝑃 𝑥=𝑋1

−1
𝑃
⃒ 𝑋2 2𝜋𝑖(𝑟 𝛼𝑘𝑥𝑘−1 +··· ) ⃒
∑︁ ⃒ ∑︁ ⃒
6 ⃒
⃒ 𝑒 1 ⃒,
⃒
𝑟1 =1−𝑃 𝑥=𝑋1

где сделана линейная замена переменной суммирования 𝑦 = 𝑥 −

𝑟1 , причем 𝑋1 = max(1, 𝑟1 + 1), 𝑋2 = min(𝑃, 𝑟1 + 𝑃 ). Если 𝑘 = 2,
то в правой части стоит линейная тригонометрическая сумма.
Оценивая ее (см. задачу 3 к § 1), получим
⃒ 𝑃 𝑃 −1
⃒ ∑︁ 2𝜋𝑖𝑓 (𝑥) ⃒2
⃒
∑︁
⃒
⃒ 𝑒 ⃒ 6𝑃 +2
⃒ min(𝑃, ‖𝛼𝑟1 ‖−1 ),
𝑥=1 𝑟1 =1

что доказывает искомое неравенство в случае 𝑘 = 2.

§ 3. Метод Г. Вейля. Оценка 𝜁(𝑠) на критической прямой 23

Пусть теперь 𝑘 > 3. Тогда в правой части стоит полиноми-

альная сумма, но многочлен уже имеет степень 𝑘 − 1 и старший
коэффициент 𝑟1 𝛼𝑘. Предположим справедливость оценки Г. Вей-
ля для этой суммы и докажем ее для исходной суммы. Применяя
неравенство Гельдера, получим
(︃ 𝑃 −1 ⃒ 𝑋 ⃒)︃ 𝐾2
⃒ 𝑃 2𝜋𝑖𝑓 (𝑥) ⃒𝐾 2
⃒ ∑︁ ⃒ ∑︁ ⃒ ∑︁ 𝑘−1
𝑒2𝜋𝑖(𝑟1 𝛼𝑘𝑥 +··· ) ⃒⃒
⃒
⃒
⃒ 𝑒 ⃒ 6
⃒
⃒
⃒
𝑥=1 𝑟1 =1−𝑃 𝑥=𝑋1
−1
(︂ 𝑃∑︁ )︂ 𝐾2 −1 𝑃 −1 ⃒ 𝑋2 ⃒𝐾
∑︁ ⃒ ∑︁ 2𝜋𝑖(𝑟 𝛼𝑘𝑥𝑘−1 +··· ) ⃒ 2
6 1 · ⃒
⃒ 𝑒 1 ⃒
⃒
𝑟1 =1−𝑃 𝑟1 =1−𝑃 𝑥=𝑋1
−1
(︃ 𝑃 (︂
𝐾 𝐾 𝐾 𝐾 𝐾
∑︁
−1 −1 −𝑘+1
6 (2𝑃 ) 2 𝑃 2 + 2𝐾 𝑃 2 +22 𝑃 2

𝑟1 =1−𝑃
𝑃
∑︁−1 𝑃
∑︁−1 )︂)︃
−1
(︀ )︀
× ... min 𝑃, ‖𝑟1 𝛼𝑘(𝑘 − 1)!𝑟2 . . . 𝑟𝑘−1 ‖ .
𝑟2 =1 𝑟𝑘−1 =1

Доказательство завершается раскрытием скобок и приведением

подобных слагаемых.
Некоторые тригонометрические суммы, такие как дзетовая
сумма, могут быть приближены полиномиальными. Таким обра-
зом, метод Г. Вейля дает оценки и для этих сумм.
Теорема 7 (Г. Вейль). Справедлива оценка
(︂ )︂
1 1 3
𝜁 + 𝑖𝑡 ≪ 𝑡 6 ln 2 𝑡.
2
Доказательство. Согласно приближенному функциональ-
ному уравнению Харди–Литтлвуда (задача 2 к § 2), имеем
(︂ )︂ ⃒ ⃒
1 ⃒ ∑︁ 1 ⃒⃒ 1
𝜁 + 𝑖𝑡 ≪ ⃒
⃒ 1 + 𝑡− 4 ln 𝑡,
2 √𝑡 𝑛 2 +𝑖𝑡 ⃒
𝑛6 2𝜋
√︁
𝑡
где мы положили 𝑥 = 𝑦 = 2𝜋 . Разобьем сумму по 𝑛 на две: по
√︁
1 1 𝑡
𝑛 6 10𝑡 3 и по 10𝑡 3 < 𝑛 6 2𝜋 . Первую сумму оценим тривиаль-
но, то есть суммой модулей слагаемых. Находим
(︂ )︂ ⃒ ⃒
1 ⃒ ∑︁ 1 ⃒⃒ 1
𝜁 + 𝑖𝑡 ≪ ⃒⃒ 1 + 𝑡6 .
2 1 √ 𝑡 𝑛2 +𝑖𝑡 ⃒
10𝑡 3 <𝑛6 2𝜋
24 § 3. Метод Г. Вейля. Оценка 𝜁(𝑠) на критической прямой

Теперь разобьем сумму по √︁ 𝑛 на ≪ ln 𝑡 сумм по 𝑁 < 𝑛 6 𝑁1 , где

1 𝑡
𝑁1 6 2𝑁 и 10𝑡 3 6 𝑁 6 2𝜋 , и выберем среди них наибольшую
по модулю. Имеем
⃒ ⃒
(︂ )︂ ⃒ ⃒ ⃒ ⃒
1 ⃒ ∑︁ 1 ⃒ 1 ln 𝑡 ⃒ ∑︁ −𝑖𝑡 ⃒
⃒ 1
𝜁 + 𝑖𝑡 ≪ ln 𝑡⃒
⃒ 1
⃒ +𝑡 ≪ √ ⃒
6 ⃒ 𝑛 ⃒ + 𝑡6 .
2 𝑛2 +𝑖𝑡 ⃒ 𝑁 ⃒𝑁 <𝑛6𝑁2
𝑁 <𝑛6𝑁1 ⃒

Здесь мы совершили преобразование Абеля (теорема 5 прошло-

го семестра), причем 𝑁2 6 𝑁1 таково, что сумма в правой части
имеет наибольший модуль. Не ограничивая общности, можно счи-
5
тать, что 𝑁2 − 𝑁 >
[︀ 𝑁− 1. ]︀
6

Положим 𝜇 = 𝑁 𝑡 3 > 10 и разобьем сумму по 𝑛 на 𝑙 сумм,

1
длины которых не превосходят 𝜇, причем 𝑙 ≍ 𝑁𝜇 ≍ 𝑡 . Имеем
3

⃒ ⃒ 𝑙−1 ⃒ 𝜇1 ⃒
∑︁ ⃒ ∑︁⃒ ∑︁ −𝑖𝑡 ln(𝑁 +𝜈𝜇+𝑟) ⃒
−𝑖𝑡 ⃒
⃒
⃒
⃒ 𝑛 ⃒6
⃒
⃒ 𝑒 ⃒,
⃒
𝑁 <𝑛6𝑁2 𝜈=0 𝑟=1

где 𝜇1 6 𝜇. Применим к внутренней сумме преобразование Абеля

(теорема 5 прошлого семестра) следующим образом

⃒ 𝜇1 −𝑖𝑡 ln(𝑁 +𝜈𝜇+𝑟) ⃒ ⃒ ∑︁

⃒ ∑︁ ⃒ ⃒ 𝜇1 ⃒
𝑟
−𝑖𝑡 ln(1+ 𝑁 +𝜈𝜇 )⃒
⃒
⃒
⃒ 𝑒 ⃒=⃒
⃒ ⃒ 𝑒 ⃒
𝑟=1 𝑟=1
⃒𝜇
1
𝑟 𝑟2
⃒∑︁
−𝑖𝑡( 𝑁 +𝜈𝜇 − 2(𝑁 +𝜈𝜇)2)
=⃒ 𝑒 ×
⃒
⃒
𝑟=1
⃒
𝑟 𝑟 2
𝑟
⃒
−𝑖𝑡(ln(1+ 𝑁 +𝜈𝜇 )− 𝑁 +𝜈𝜇 + 2(𝑁 +𝜈𝜇)2 )⃒
×𝑒 ⃒
⃒
⃒ 𝜇2 −𝑖𝑡( 𝑟 − 𝑟2 2 ) ⃒
⃒ ∑︁ ⃒
≪ ⃒⃒ 𝑒 𝑁 +𝜈𝜇 2(𝑁 +𝜈𝜇) ⃒,
⃒
𝑟=1

где 𝜇2 6 𝜇1 таково, что модуль суммы в правой части наиболь-

ший. Здесь мы пользовались тем, что производная соответству-
𝑡𝑟 2 1
ющей функции при 0 6 𝑟 6 𝜇 есть ≪ 𝑁 3 ≪ 𝜇 . Теперь применим

к сумме в правой части неравенство Вейля при 𝑘 = 2. Имеем

⎯
𝜇1 𝜇
⎸ (︃ ⃦ ⃦−1 )︃
𝑟 𝑟2 𝑡𝑟
−𝑖𝑡( 𝑁 +𝜈𝜇 − 2(𝑁 +𝜈𝜇)2 )
∑︁ ⎸ ∑︁ ⃦ ⃦
𝑒 ≪ 𝜇+
⎷ min 𝜇, ⃦ ⃦
⃦ 2𝜋(𝑁 + 𝜈𝜇)2 ⃦ .
𝑟=1 𝑟=1
§ 3. Метод Г. Вейля. Оценка 𝜁(𝑠) на критической прямой 25

Собирая вместе все полученные оценки, находим

(︂ )︂
1 1 ln 𝑡 √
𝜁 + 𝑖𝑡 ≪ 𝑡 6 + √ 𝑙 𝜇
2 𝑁
⎯
𝜇
𝑙−1 ⎸
(︃ ⃦ ⃦−1 )︃
ln 𝑡 ∑︁ ⎸∑︁ ⃦ 𝑡𝑟 ⃦
+√ ⎷ min 𝜇, ⃦ 2
⃦ .
𝑁 𝜈=0 𝑟=1 ⃦ 2𝜋(𝑁 + 𝜈𝜇) ⃦

Применяя к последней сумме неравенство Коши и пользуясь

условиями на параметры 𝑙, 𝜇 и 𝑁 , получим
⎯
(︂ )︂ 1
⎸ 𝜇 𝑙−1 (︃ ⃦ ⃦−1 )︃
1 1 𝑡 6 ln 𝑡 ⎸∑︁ ∑︁ ⃦ 𝑡𝑟 ⃦
𝜁 + 𝑖𝑡 ≪ 𝑡 6 ln 𝑡 + √ ⎷ min 𝜇, ⃦ 2
⃦ .
2 𝑁 𝑟=1 𝜈=0
⃦ 2𝜋(𝑁 + 𝜈𝜇) ⃦

Оценим внутреннюю сумму. Выражение под знаком расстоя-

ния до ближайшего целого положительно и монотонно убывает
с ростом 𝜈. Имеем
𝑡𝑟 𝑡𝑟
−
2𝜋(𝑁 + 𝜈𝜇)2 2𝜋(𝑁 + (𝜈 + 1)𝜇)2
𝑡𝑟𝜇(2𝑁 + (2𝜈 + 1)𝜇) 𝑡𝑟𝜇 𝑟
= ≍ 3 ≍ 2.
2𝜋(𝑁 + 𝜈𝜇)2 (𝑁 + (𝜈 + 1)𝜇)2 𝑁 𝜇
Таким образом, значения этих дробей попадают на промежуток
длины ≪ 𝜇𝑟𝑙2 . Разобьем его на ≪ 𝜇𝑟𝑙2 промежутков длины 12 , имею-
щих своими концами целые либо полуцелые числа (легко видеть,
что 𝜇𝑟𝑙2 ≫ 1). На каждом из этих промежутков соответствующая
часть суммы оценится как
∑︁ 𝜇2 𝜇2 𝜇2
𝜇+ ≪𝜇+ ln 𝑡 ≪ ln 𝑡,
2
𝑟𝑘 𝑟 𝑟
𝑘6 𝜇𝑟

причем первое слагаемое добавлено на случай, если какое-либо

значение дроби окажется близким к целому числу. Здесь мы су-
щественно использовали вышеприведенную оценку разности по-
следовательных дробей. Находим
𝑙−1
(︃ ⃦ ⃦−1 )︃
∑︁ ⃦ 𝑡𝑟 ⃦ 𝑟𝑙 𝜇2 1
min 𝜇, ⃦ ⃦
⃦ 2𝜋(𝑁 + 𝜈𝜇)2 ⃦ ≪ 2
· ln 𝑡 ≪ 𝑡 3 ln 𝑡,
𝜈=0
𝜇 𝑟
𝜇 ∑︁
𝑙−1
(︃ ⃦ ⃦−1 )︃
∑︁ ⃦ 𝑡𝑟 ⃦ 1
min 𝜇, ⃦ ⃦
⃦ 2𝜋(𝑁 + 𝜈𝜇)2 ⃦ ≪ 𝜇𝑡 3 ln 𝑡 ≪ 𝑁 ln 𝑡.
𝑟=1 𝜈=0
26 Задачи к § 3

Доказательство завершается )︀ подстановкой полученной оценки

в неравенство для 𝜁 12 + 𝑖𝑡 .
(︀

Задачи к § 3
1. Пусть 𝑘 > 2, 𝐾 = 2𝑘−1 , 𝑓 (𝑥) = 𝛼𝑥𝑘 + 𝛼𝑘−1 𝑥𝑘−1 + . . . + 𝛼1 𝑥,
𝛼, 𝛼1 , . . . , 𝛼𝑘−1 ∈ R. В случае, когда для 𝛼 справедливо рацио-
нальное приближение
𝑎 𝜃
𝛼= + 2
𝑞 𝑞
с (𝑎, 𝑞) = 1, |𝜃| < 1, доказать следующую оценку
𝑃 (︁ )︁
1 1 𝑘 1
∑︁
𝑒2𝜋𝑖𝑓 (𝑥) ≪ 𝑃 𝑞 − 𝐾 + 𝑃 1− 𝐾 + 𝑃 1− 𝐾 𝑞 𝐾 (𝑃 𝑞)𝜀 ,
𝑥=1

где 𝜀 – произвольно малое фиксированное положительное число.

2. (Теорема Дирихле) Доказать, что для любых 𝛼 ∈ R и 𝜏 ∈ N
существуют 𝑎 ∈ Z и 𝑞 ∈ N такие, что (𝑎, 𝑞) = 1, 𝑞 6 𝜏 и

𝑎 𝜃
𝛼= + ,
𝑞 𝑞𝜏

где |𝜃| < 1.

3. Доказать, что дробные доли многочлена 𝛼𝑘 𝑥𝑘 + 𝛼𝑘−1 𝑥𝑘−1 +
· · · + 𝛼1 𝑥 распределены равномерно в том и только в том случае,
если хотя бы один из коэффициентов 𝛼1 , . . . , 𝛼𝑘 иррационален.
§ 4. Метод ван дер Корпута. Проблема Гаусса 27

§ 4. Метод ван дер Корпута. Проблема Гаусса

Весьма общий метод оценки тригонометрических сумм с функ-
цией, имеющей непрерывную 𝑘-ую производную, был предложен
ван дер Корпутом. Основой метода является следующая теорема.
Теорема 8 (ван дер Корпут). Пусть 𝑘 > 2, 𝐾 = 2𝑘−1 ,
𝑓 (𝑥) ∈ C𝑘 [𝑎, 𝑏], 𝑏 − 𝑎 > 1. Если выполнены неравенства

0 < 𝜆𝑘 6 𝑓 (𝑘) (𝑥) 6 ℎ𝜆𝑘 ,

то справедлива оценка
1 1
∑︁ 2 2 − 2𝐾−2
𝑒2𝜋𝑖𝑓 (𝑛) ≪ ℎ 𝐾 (𝑏 − 𝑎)𝜆𝑘2𝐾−2 + (𝑏 − 𝑎)1− 𝐾 𝜆𝑘 ,
𝑎<𝑛6𝑏

причем постоянная в знаке Виноградова абсолютна.

Доказательство. Рассмотрим вначале случай 𝑘 = 2. Если
𝜆2 > 1, то утверждение теоремы тривиально. Если же 0 < 𝜆2 < 1,
то применим теорему 4, полагая ∆ = 21 . Имеем

∑︁ ∑︁ ∫︁ 𝑏
2𝜋𝑖𝑓 (𝑛)
𝑒 = 𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) 𝑑𝑥
𝑎
𝑎<𝑛6𝑏 𝑓 ′ (𝑎)− 12 6𝑛6𝑓 ′ (𝑏)+ 12

+ 𝑂 (ln(𝑓 ′ (𝑏) − 𝑓 ′ (𝑎) + 2)) .

Рассмотрим интеграл в правой части последнего равенства. Вто-

рая производная функции, стоящей в экспоненте, больше 𝜆2 . Сле-
довательно, ее первая производная на отрезке [𝑎, 𝑏] обращается
в нуль не более одного раза. Разобьем отрезок [𝑎, 𝑏] на множества
𝑀1 , 𝑀2 , 𝑀3 (некоторые из них могут быть и пустыми) следую-
′
√ образом: в 𝑀1 войдут те значения 𝑥, для′ которых 𝑓√(𝑥)−𝑛 <
щим
− 𝜆2 ; в 𝑀3 – те значения 𝑥, для которых 𝑓 (𝑥) −√ 𝑛 > 𝜆2 ; в 𝑀2
войдут те значения 𝑥, для которых |𝑓 ′ (𝑥) − 𝑛| 6 𝜆2 . Легко ви-
деть, что ⃒ ∫︁ ⃒
1
2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) ⃒ 6 𝜇(𝑀2 ) 6 2𝜆− 2 ,
⃒ ⃒
⃒
⃒ 𝑒 𝑑𝑥 ⃒ 2
𝑀2

ибо по формуле конечных приращений Лагранжа

√︀
2 𝜆2 > 𝑓 ′′ (𝜉)𝜇(𝑀2 ) > 𝜆2 𝜇(𝑀2 ).
28 § 4. Метод ван дер Корпута. Проблема Гаусса

Интегралы по множествам 𝑀1 и 𝑀3 легко оцениваются интегри-

рованием по частям

𝑑𝑒2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥) ⃒⃒
⃒ ∫︁ ⃒ ⃒ ∫︁ ⃒
⃒ 2𝜋𝑖(𝑓 (𝑥)−𝑛𝑥)
⃒ ⃒ 1 −1
⃒ 𝑒 𝑑𝑥⃒ = ⃒
⃒ ⃒
′
6 𝜆2 2 ,
⃒
𝑀3 2𝜋 𝑀3 𝑓 (𝑥) − 𝑛 ⃒

где мы существенно пользуемся монотонностью функции 𝑓 ′ (𝑥) −

𝑛. Собирая вместе полученные оценки, находим
− 12
∑︁
𝑒2𝜋𝑖𝑓 (𝑛) ≪ (𝑓 ′ (𝑏) − 𝑓 ′ (𝑎) + 2)𝜆2 + ln(𝑓 ′ (𝑏) − 𝑓 ′ (𝑎) + 2).
𝑎<𝑛6𝑏

Остается лишь заметить, что второе слагаемое в правой части

всегда меньше первого, и согласно формуле конечных прираще-
ний Лагранжа 𝑓 ′ (𝑏) − 𝑓 ′ (𝑎) = 𝑓 ′′ (𝜉)(𝑏 − 𝑎) 6 ℎ𝜆2 (𝑏 − 𝑎).
Покажем теперь, что при достаточно большой, но не зави-
сящей от 𝑘, постоянной 𝐴 в знаке Виноградова в формулиров-
ке теоремы можно сделать индукционный переход от 𝑘 − 1 к 𝑘.
При этом можно считать 0 < 𝜆𝑘 < 1, так как в противном
случае утверждение теоремы тривиально. Положим при 𝑟 > 0
𝑔(𝑥) = 𝑓 (𝑥 + 𝑟) − 𝑓 (𝑥). Тогда

𝑔 (𝑘−1) (𝑥) = 𝑓 (𝑘−1) (𝑥 + 𝑟) − 𝑓 (𝑘−1) (𝑥) = 𝑟𝑓 (𝑘) (𝜉),

где 𝑥 6 𝜉 6 𝑥 + 𝑟. Отсюда следует, что при 𝑎 6 𝑥 6 𝑏 − 𝑟

𝑟𝜆𝑘 6 𝑔 (𝑘−1) (𝑥) 6 ℎ𝑟𝜆𝑘 .

Согласно предположению индукции, имеем

∑︁ (︀ 4 1 4 1 )︀
𝑒2𝜋𝑖𝑔(𝑛) 6 𝐴 ℎ 𝐾 (𝑏 − 𝑎)(𝑟𝜆𝑘 ) 𝐾−2 + (𝑏 − 𝑎)1− 𝐾 (𝑟𝜆𝑘 )− 𝐾−2 .
𝑎<𝑛6𝑏−𝑟

Пусть 𝑞 – некоторое натуральное число, не превосходящее 𝑏 − 𝑎.

Тогда справедливо следующее неравенство:
𝑞−1⃒
∑︁ ∑︁ ⃒
2𝜋𝑖𝑔(𝑛) ⃒
⃒ ⃒
⃒
⃒ 𝑒 ⃒6
𝑟=1 𝑎<𝑛6𝑏−𝑟
(︂ 1
)︂
4 1 4 1 − 1
6 2𝐴 ℎ 𝐾 (𝑏 − 𝑎)𝑞 1+ 𝐾−2 𝜆𝑘𝐾−2 + (𝑏 − 𝑎)1− 𝐾 𝑞 1− 𝐾−2 𝜆𝑘 𝐾−2 ,
§ 4. Метод ван дер Корпута. Проблема Гаусса 29

ибо в силу формулы конечных приращений Лагранжа

(︂ )︂
1 1 1 1
𝑟 1− 𝐾−2
− (𝑟 − 1)1− 𝐾−2
> 1− 𝑟− 𝐾−2 .
𝐾 −2

Обозначим 𝑒(𝑛) = 𝑒2𝜋𝑖𝑓 (𝑛) при 𝑎 < 𝑛 6 𝑏 и 𝑒(𝑛) = 0 в против-

ном случае. Пусть 𝑞 6 𝑏 − 𝑎. Имеем
𝑞
∑︁ ∑︁ 1 ∑︁ ∑︁
𝑒2𝜋𝑖𝑓 (𝑛) = 𝑒(𝑛) = 𝑒(𝑛 + 𝑚).
𝑞 𝑚=1
𝑎<𝑛6𝑏 𝑛∈Z 𝑛∈Z

Применяя неравенство Коши, найдем

⃒ ∑︁ 2𝜋𝑖𝑓 (𝑛) ⃒2 ⃒ 𝑞
⃒ ⃒ (︂ )︂ ∑︁⃒ ∑︁ ⃒2
⃒ 6 1
∑︁ ⃒
⃒ 𝑒 1 ⃒ 𝑒(𝑛 + 𝑚)⃒
⃒ ⃒ 𝑞2 ⃒ ⃒
𝑎<𝑛6𝑏 𝑎−𝑞<𝑛6𝑏−1 𝑛∈Z 𝑚=1
⃒ 𝑞 ⃒2
2(𝑏 − 𝑎) ∑︁ ∑︁ ⃒ ⃒
6 ⃒ 𝑒(𝑛 + 𝑚)⃒⃒ .
𝑞2 ⃒
𝑛∈Z 𝑚=1

Легко видеть, что

⃒ 𝑞 𝑞
⃒ ∑︁ ⃒2 ∑︁
|𝑒(𝑛 + 𝑚)|2
⃒
⃒
⃒ 𝑒(𝑛 + 𝑚)⃒ =
⃒
𝑚=1 𝑚=1
∑︁
+ 2 Re 𝑒(𝑛 + 𝑚1 )𝑒(𝑛 + 𝑚2 ).
16𝑚1 <𝑚2 6𝑞

Имеем следующие равенства

𝑞
∑︁ ∑︁ 𝑞 ∑︁
∑︁
|𝑒(𝑛 + 𝑚)|2 = |𝑒(𝑛 + 𝑚)|2 6 2𝑞(𝑏 − 𝑎),
𝑛∈Z 𝑚=1 𝑚=1 𝑛∈Z
∑︁ ∑︁
𝑒(𝑛 + 𝑚1 )𝑒(𝑛 + 𝑚2 )
𝑛∈Z 16𝑚1 <𝑚2 6𝑞
𝑞−1 ∑︁
∑︁ ∑︁ 𝑞−𝑟
= 𝑒(𝑛 + 𝑚)𝑒(𝑛 + 𝑚 + 𝑟)
𝑛∈Z 𝑟=1 𝑚=1
𝑞−1
∑︁ ∑︁ 𝑞−1
∑︁ ∑︁
= (𝑞 − 𝑟) 𝑒(𝑛)𝑒(𝑛 + 𝑟) = (𝑞 − 𝑟) 𝑒2𝜋𝑖𝑔(𝑛) .
𝑟=1 𝑛∈Z 𝑟=1 𝑎<𝑛6𝑏−𝑟
30 § 4. Метод ван дер Корпута. Проблема Гаусса

Собирая вместе все полученные оценки, находим

𝑞−1⃒
(︃ ⃒)︃
⃒ ∑︁ 2𝜋𝑖𝑓 (𝑛) ⃒2
⃒ ⃒
4(𝑏 − 𝑎) ∑︁ ⃒ ∑︁ 2𝜋𝑖𝑔(𝑛) ⃒
⃒
⃒ 𝑒 ⃒ 6 (𝑏 − 𝑎) + ⃒ 𝑒 ⃒ .
⃒ ⃒ 𝑞 ⃒
𝑟=1 𝑎<𝑛6𝑏−𝑟
𝑎<𝑛6𝑏

Подставим сюда полученную выше оценку для второго слага-

емого в правой части. Имеем
⃒ ∑︁ ⃒
⃒ ⃒ 2(𝑏 − 𝑎)
2𝜋𝑖𝑓 (𝑛) ⃒
⃒
⃒ 𝑒 ⃒ 6 √𝑞
𝑎<𝑛6𝑏
√ (︀ 2 1 2 1
+ 4 𝐴 ℎ 𝐾 (𝑏 − 𝑎)(𝑞𝜆𝑘 ) 2𝐾−4 + (𝑏 − 𝑎)1− 𝐾 (𝑞𝜆𝑘 )− 2𝐾−4 .
)︀

[︀ − 1 ]︀
Выберем 𝑞 = 𝜆𝑘 𝐾−1 + 1. Условие 𝑞 6 𝑏 − 𝑎 можно считать вы-
1
− 4
полненным, так как при 2𝜆𝑘 𝐾−1 > (𝑏−𝑎) 𝐾 утверждение теоремы
тривиально. При таком выборе 𝑞 получим оценку
√
⃒ ∑︁ ⃒
1 1
2
2𝜋𝑖𝑓 (𝑛) ⃒
⃒ ⃒ 2𝐾−2
⃒
⃒ 𝑒 ⃒ 6 2(𝑏 − 𝑎)𝜆𝑘 + 8 𝐴ℎ 𝐾 (𝑏 − 𝑎)𝜆𝑘2𝐾−2
𝑎<𝑛6𝑏
√ 2 − 1
+ 4 𝐴(𝑏 − 𝑎)1− 𝐾 𝜆𝑘 2𝐾−2 .
Взяв 𝐴 достаточно
√ большим, но не зависящим от 𝑘, добьемся того,
что 2 + 8 𝐴 < 𝐴, и обоснуем индукционный переход от 𝑘 − 1 к 𝑘.
Этим доказательство завершается.
Метод ван дер Корпута широко применяется при оценке три-
гонометрических сумм. Одной из задач, в которой метод ван
дер Корпута дает существенное продвижение, является пробле-
ма Гаусса о числе целых точек в круге. Введем обозначение
∑︁
𝐾(𝑅) = 1.
𝑛,𝑚∈Z
𝑛2 +𝑚2 6𝑅

Величина 𝐾(𝑅) есть количество

√ точек с целыми координатами,
лежащими в круге радиуса 𝑅. Асимптотическое значение 𝐾(𝑅)
при 𝑅 → +∞ есть площадь круга 𝜋𝑅, а задача получения воз-
можно лучшей оценки остатка известна как проблема Гаусса.
Теорема 9. Справедлива следующая асимптотическая фор-
мула (︀ 1 5
𝐾(𝑅) = 𝜋𝑅 + 𝑂 𝑅 3 − 1506 ln 𝑅 .
)︀
§ 4. Метод ван дер Корпута. Проблема Гаусса 31

Доказательство.
√︀ Рассмотрим криволинейную трапецию
√
0 < 𝑥 6 𝑅/2, 0 < 𝑦 6 𝑅 − 𝑥2 . Весь круг 𝑥2 +𝑦 2 6 𝑅 состоит из
восьми подобных трапеций.√︀Учитывая пересечения этих областей
по квадратам со стороной 𝑅/2 и целые точки, лежащие на осях
координат, имеем
√ ∑︁ [︀√︀ ]︀ (︀[︀√︀ ]︀)︀2
𝐾(𝑅) = 1 + 4[ 𝑅] + 8 𝑅 − 𝑥2 − 4 𝑅/2
√
𝑥6 𝑅/2
∑︁ √︀ √ {︀√︀ }︀ √
=8 𝑅 − 𝑥2 − 2𝑅 + 4 2𝑅 𝑅/2 + 4 𝑅
√
𝑥6 𝑅/2
∑︁ {︀√︀ }︀
−8 𝑅 − 𝑥2 + 𝑂(1).
√
𝑥6 𝑅/2

Вычислим первую сумму в правой части, пользуясь формулой

суммирования Эйлера (теорема 9 прошлого семестра).
∫︁ √𝑅/2 √︀ (︂ )︂ √︂
∑︁ √︀
2 2
1 {︀√︀ }︀ 𝑅
𝑅−𝑥 = 𝑅 − 𝑥 𝑑𝑥 + − 𝑅/2
√ 0 2 2
𝑥6 𝑅/2
∫︁ √𝑅/2
1√ (︀√︀ )︀ 𝑑2 √︀
− 𝑅 + 𝜎 𝑅/2 + 𝜎(𝑥) 2 𝑅 − 𝑥2 𝑑𝑥
2 0 𝑑𝑥
√ √ {︃ √︂ }︃ √︂
𝜋𝑅 𝑅 𝑅 𝑅 𝑅 𝑅
= + + √ − − + 𝑂(1).
8 4 2 2 2 2 2

Здесь мы пользовались тем, что первый интеграл равен√площа-

ди рассматриваемой криволинейной трапеции, функция 𝑅 − 𝑥2
выпукла, а |𝜎(𝑥)| 6 18 . Подставляя полученное равенство в фор-
мулу для 𝐾(𝑅), находим
√ ∑︁ {︀√︀ }︀
𝐾(𝑅) = 𝜋𝑅 + 2 2𝑅 − 8 𝑅 − 𝑥2 + 𝑂(1).
√
𝑥6 𝑅/2

Оценивая сумму дробных долей тривиально, получим результат

Гаусса (︀√ )︀
𝐾(𝑅) = 𝜋𝑅 + 𝑂 𝑅 .
Вычислим сумму
∑︁ {︀√︀ }︀
𝜎= 𝑅 − 𝑥2 .
√
𝑥6 𝑅/2
32 § 4. Метод ван дер Корпута. Проблема Гаусса

Для этого возьмем 𝑟 = [ln 𝑅] > 1, 0 < ∆ < 18 , ∆ 6 𝛽 − 𝛼 6 1 − ∆.

Согласно теореме 2 нам достаточно вычислить сумму
∑︁ (︀√︀ )︀
𝜎0 = 𝑔 𝑅 − 𝑥2 ,
√
𝑥6 𝑅/2

где 𝑔(𝑥) – функция теоремы 1, отвечающая параметрам 𝑟, ∆,

𝛼, 𝛽. Согласно теореме 1 функция 𝑔(𝑥) разлагается в ряд Фурье
+∞
∑︁
𝑔(𝑥) = 𝛽 − 𝛼 + 𝑐𝑚 𝑒2𝜋𝑖𝑚𝑥 ,
𝑚=−∞
𝑚̸=0

причем для коэффициентов 𝑐𝑚 справедлива оценка

(︂ (︂ )︂𝑟 )︂
1 1 𝑟
|𝑐𝑚 | 6 min , .
𝜋|𝑚| 𝜋|𝑚| 𝜋|𝑚|∆
Отсюда находим соотношение
[︂√︂ ]︂ +∞ √
𝑅 ∑︁ ∑︁
𝑅−𝑥2
𝜎0 = (𝛽 − 𝛼) + 𝑐𝑚 𝑒2𝜋𝑖𝑚 .
2 𝑚=−∞
√
𝑚̸=0 𝑥6 𝑅/2

При |𝑚| > ∆−1 ln 𝑅 оценим внутреннюю сумму тривиально

∑︁ ∑︁ √
2
√ ∑︁ 1 (︁ 𝑟 )︁𝑟
𝑐𝑚 𝑒2𝜋𝑖𝑚 𝑅−𝑥 ≪ 𝑅
√ 𝑚 𝜋𝑚∆
|𝑚|>Δ−1 ln 𝑅 𝑥6 𝑅/2 𝑚>Δ−1 ln 𝑅
√
≪ 𝑅𝜋 −𝑟 ≪ 1.
Таким образом, имеем
√︂
√
(︂ ⃒ ⃒ )︂
𝑅 ∑︁ 1 ⃒⃒ ∑︁
−2𝜋𝑖𝑚 𝑅−𝑥2 ⃒
⃒
𝜎0 = (𝛽 − 𝛼) +𝑂 𝑒 ⃒+1 .
2 𝑚⃒ √
𝑚6Δ−1 ln 𝑅 𝑥6 𝑅/2

Заменим внутреннюю сумму более

√︁ короткой. Применим к ней тео-
𝑅
√
2
рему 5, полагая 𝑎 = 0, 𝑏 = 2 , 𝑓 (𝑥) = −𝑚 𝑅 − 𝑥 , 𝐻 = 1,
√︀ √
𝑈 = 𝑅/2, 𝐴 = 𝑅/𝑚. Нетрудно проверить, что условия теоре-
мы 5 выполнены. Имеем
√
𝑚𝑥 𝑛 𝑅 𝑚𝑅
𝑓 ′ (𝑥) = √ , 𝑥𝑛 = √ , 𝑓 ′′ (𝑥) = .
𝑅 − 𝑥2 𝑛2 + 𝑚 2 (𝑅 − 𝑥2 )3/2
§ 4. Метод ван дер Корпута. Проблема Гаусса 33

Отсюда находим следующее равенство

√
∑︁ √ 𝜋𝑖
∑︁ 𝑒−2𝜋𝑖 𝑅(𝑛2 +𝑚2 )
1
−2𝜋𝑖𝑚 𝑅−𝑥2
𝑒 = 𝑒 𝑚𝑅
4 4
√ 𝑛6𝑚
(𝑛2 + 𝑚2 )3/4
𝑥6 𝑅/2
(︀ 1 1
+ 𝑂 𝑅 4 𝑚− 2 + ln(𝑚 + 2) .
)︀

Оценивая сумму в правой части тривиально, получим

1√
√︂
𝑅 (︀ 1
+ 𝑂 𝑅 4 ∆− 2 ln 𝑅 + 1 ,
)︀
𝜎0 = (𝛽 − 𝛼)
2
что согласно теореме 2 дает для суммы 𝜎 соотношение
(︀ √ 1√
√︂
1 𝑅 1
+ 𝑂 ∆ 𝑅 + 𝑅 4 ∆− 2 ln 𝑅 + 1 .
)︀
𝜎=
2 2
1 1
Выбирая ∆ = 𝑅− 6 ln 3 𝑅, получаем результат В. Серпинского
(︀ 1 )︀
𝐾(𝑅) = 𝜋𝑅 + 𝑂 (𝑅 ln 𝑅) 3 .
Мы же оценим сумму в правой части нетривиально, исполь-
зуя теорему ван дер Корпута. Совершая преобразование Абеля
(теорема 5 прошлого семестра), находим
√
∑︁ 𝑒−2𝜋𝑖 𝑅(𝑛2 +𝑚2 ) √
− 32
∑︁
−2𝜋𝑖 𝑅(𝑛2 +𝑚2 )
≪ 𝑚 𝑒 ,
𝑛6𝑚
(𝑛2 + 𝑚2 )3/4 𝑛6𝑥

где 𝑥 – некоторое число, не превосходящее 𝑚. Для оценки суммы

в правой части √︀ применим теорему ван дер Корпута, полагая 𝑘 =
6, 𝑓 (𝑛) = − 𝑅(𝑛2 + 𝑚2 ). Имеем
√
(︂ )︂
11 3 1
𝑓 (6) (𝑛) = 360 𝑅(𝑛2 + 𝑚2 )− 2 𝑚2 𝑛4 − 𝑛2 𝑚2 + 𝑚4 .
2 8
На промежутке [0, 𝑥] может лежать нуль 𝑓 (6) (𝑛) равный
√︀ √
3− 7
𝑛0 = 𝑚.
2
Пусть 𝑚 > 10. Разобьем отрезок [0, 𝑥] на ≪ ln 𝑚 промежутков
𝐸0 , 𝐸1 , 𝐸2 , . . . , 𝐸−1 , 𝐸−2 , . . ., где
𝐸0 = [𝑛0 − 1, 𝑛0 + 1],
𝐸𝜈 = [𝑛0 + 2𝜈−1 , 𝑛0 + 2𝜈 ], 𝜈 = 1, 2, . . . ,
𝜈 𝜈−1
𝐸−𝜈 = [𝑛0 − 2 , 𝑛0 − 2 ], 𝜈 = 1, 2, . . . ,
34 § 4. Метод ван дер Корпута. Проблема Гаусса

При 𝜈 > 1 длина 𝐸±𝜈 равна 2𝜈−1 , а при 𝑛 ∈ 𝐸±𝜈

⃒ (6) ⃒ √
⃒𝑓 (𝑛)⃒ ≍ 𝑅𝑚−6 2𝜈 .
√
Применим теорему 8, полагая 𝜆6 = 𝑅 𝑚−6 2𝜈 . Если 𝑓 (6) (𝑛) отри-
цательна, следует рассмотреть комплексно сопряженную сумму.
При 𝜈 > 1 находим
∑︁ √ 2 2 (︀√ )︀ 1 15 (︀√ )︀− 1
𝑒−2𝜋𝑖 𝑅(𝑛 +𝑚 ) ≪ 2𝜈 𝑅 𝑚−6 2𝜈 62 + 2 16 𝜈 𝑅 𝑚−6 2𝜈 62 ,
𝑛∈𝐸±𝜈
∑︁ √ (︂
√ )︀ 1 15 (︀√ )︀− 1
−2𝜋𝑖 𝑅(𝑛2 +𝑚2 )
𝑒 ≪𝑚 𝑅 𝑚−5 62 + 𝑚 16 𝑅 𝑚−5 62 + 1.
𝑛6𝑥

Имеем окончательно
√
⃒ ⃒
∑︁ 1 ⃒⃒ ∑︁ −2𝜋𝑖𝑚 𝑅−𝑥2 ⃒
⃒
𝑒
𝑚⃒ √ ⃒
𝑚6Δ−1 ln 𝑅 𝑥6 𝑅/2
1 8 18 15 239
∑︁ ∑︁
≪ 𝑅 4 + 𝑅 31 𝑚− 31 + 𝑅 62 𝑚− 496
𝑚6Δ−1 ln 𝑅 𝑚6Δ−1 ln 𝑅
1 8
− 13 15
− 257
≪𝑅 +𝑅 ∆
4 31 31 ln 𝑅 + 𝑅 ∆
62 496 ln 𝑅.
1 5
Выбирая ∆ = 𝑅− 6 − 1506 и пользуясь теоремой 2, получим
√︂
1 𝑅 (︀ 1 5
+ 𝑂 𝑅 3 − 1506 ln 𝑅 ,
)︀
𝜎=
2 2
что и завершает доказательство.
Задачи к § 4 35

Задачи к § 4
1. Доказать оценку
(︂ )︂
1 1 1
𝜁 + 𝑖𝑡 ≪ 𝑡 6 − 492 ln 𝑡.
2

2. Доказать, что
∑︁ (︀ 1 1
𝜏 (𝑛) = 𝑥 ln 𝑥 + (2𝐶 − 1)𝑥 + 𝑂 𝑥 3 − 246 ln2 𝑥 ,
)︀

𝑛6𝑥

где 𝐶 – постоянная Эйлера,

а) пользуясь теоремой 2 аналогично доказательству теоре-
мы 9;
б) пользуясь формулой Вороного (теорема 21 прошлого се-
местра).
36 § 5. Суммы с простыми числами. Проблема Гольдбаха

§ 5. Суммы с простыми числами. Проблема

Гольдбаха

Линейные тригонометрические суммы с простыми числами

впервые были рассмотрены Виноградовым в 1937 году. Для их
оценки им был предложен так называемый метод сглаживания,
то есть сведения к суммам по подряд идущим натуральным чис-
лам.

𝑎
Теорема 10. Пусть 𝛼 = 𝑞 + 𝑞𝜃2 , где 𝑞 6 𝑁 , (𝑎, 𝑞) = 1, |𝜃| 6 1.
Тогда имеет место оценка
√︂
∑︁ (︀ 𝑞 1 1 )︀
𝑒 2𝜋𝑖𝛼𝑝
≪ 𝑁 ln 𝑁2
+ + 𝑁−6 .
𝑁 𝑞
𝑝6𝑁

Доказательство. Рассмотрим сумму

∑︁
𝑆= Λ(𝑛)𝑒2𝜋𝑖𝛼𝑛 ,
√
𝑁 <𝑛6𝑁

где Λ(𝑛) – функция Мангольдта (см. задачу 1 к § 4 прошлого

семестра). Имеет место тождество
∑︁ ∑︁
𝑆= 𝜇(𝑑) ln 𝑙𝑒2𝜋𝑖𝛼𝑑𝑙
√
𝑑6 𝑁 𝑙6 𝑁
𝑑
∑︁ ∑︁ ∑︁
− 𝜇(𝑑) Λ(𝑛) 𝑒2𝜋𝑖𝛼𝑛𝑑𝑟 = 𝑊1 − 𝑊2 .
√ √ 𝑁
𝑑6 𝑁 𝑛6 𝑁 𝑟6 𝑛𝑑

Действительно,
∑︁ ∑︁ ∑︁ ∑︁ ∑︁
𝑊1 = 𝜇(𝑑) Λ(𝑛)𝑒2𝜋𝑖𝛼𝑑𝑙 = 𝑒2𝜋𝑖𝛼𝑘 𝜇(𝑑)Λ(𝑛),
√
𝑑6 𝑁 𝑙6 𝑁
𝑑
𝑛|𝑙 𝑘6𝑁 𝑛𝑑|𝑘
√
𝑑6 𝑁
∑︁ ∑︁
𝑊2 = 𝑒2𝜋𝑖𝛼𝑘 𝜇(𝑑)Λ(𝑛).
𝑘6𝑁 𝑛𝑑|𝑘
√
𝑛,𝑑6 𝑁
§ 5. Суммы с простыми числами. Проблема Гольдбаха 37

∑︀
Здесь мы пользовались тем, что 𝑑|𝑛 Λ(𝑑) = ln 𝑛. Далее находим
∑︁ ∑︁
𝑊1 − 𝑊2 = 𝑒2𝜋𝑖𝛼𝑘 𝜇(𝑑)Λ(𝑛)
𝑘6𝑁
√ 𝑛𝑑|𝑘 √
𝑑6 𝑁 ,𝑛> 𝑁
∑︁ ∑︁ ∑︁
= 𝑒2𝜋𝑖𝛼𝑘 Λ(𝑛) 𝜇(𝑑).
√ 𝑘
𝑁 <𝑘6𝑁 𝑛|𝑘
√ 𝑑| 𝑛
𝑛> 𝑁

Согласно теореме 2 прошлого семестра внутренняя сумма отлич-

на от нуля лишь при 𝑛 = 𝑘, что и доказывает требуемое тожде-
ство.
Оценим 𝑊1 . Разобьем внутреннюю сумму на ≪ ln 𝑁 сумм
с пределами, различающимися не более чем вдвое, и вынесем мо-
нотонный множитель ln 𝑙 за знак суммы с помощью преобразова-
ния Абеля. Имеем
∑︁ ⃒⃒ ∑︁ ⃒
2 2𝜋𝑖𝛼𝑑𝑙 ⃒
⃒
𝑊1 ≪ ln 𝑁 ⃒ 𝑒 ⃒,
√
⃒
𝑑6 𝑁 𝑋<𝑙6𝑋1

где 𝑋 6 𝑁𝑑 . Теперь под знаком модуля стоит линейная тригоно-

метрическая сумма, для оценки которой воспользуемся задачей 3
к § 1.
(︂ )︂
2
∑︁ 𝑁 1
𝑊1 ≪ ln 𝑁 min , .
√ 𝑑 ‖𝛼𝑑‖
𝑑6 𝑁

В сумме по 𝑑 выделим слагаемые с 𝑑 6 2𝑞 , а оставшуюся часть

√
разобьем на ≪ 𝑞𝑁 + 1 сумм длины 𝑞. При 𝛼 6 2𝑞 произведение 𝑎𝑑
пробегает некоторые ненулевые и различные вычеты по модулю 𝑞,
а |𝜃𝑑| 6 2𝑞 . Поэтому в каждом случае справедлива оценка
∑︁ 1 ∑︁ 𝑞
≪ 1 ≪ 𝑞 ln 𝑞 ≪ 𝑞 ln 𝑁.
‖𝛼𝑑‖ 𝑞 𝑛 −
𝑑6 𝑞2 𝑛6 4 2

Если же 𝑑 = 𝑞𝑡 + 𝑟 при фиксированном 𝑡 ∈ N и 𝑟, меняющемся

в пределах от − 2𝑞 до 2𝑞 , то

⃦ 𝑎𝑟 + 𝑏 3𝜃′ ⃦
⃦ ⃦
‖𝛼𝑑‖ = ⃦
⃦ 𝑞 + ⃦,
2𝑞 ⃦
38 § 5. Суммы с простыми числами. Проблема Гольдбаха

где |𝜃′ | 6 1, a 𝑏 ∈ Z не зависит от 𝑟. Поскольку 𝑎𝑟 + 𝑏 пробегает

все вычеты по модулю 𝑞, находим
(︂ )︂
∑︁ 𝑁 1 𝑁 ∑︁ 𝑞 𝑁
min , ≪ + ≪ + 𝑞 ln 𝑁.
𝑞 𝑞𝑡 + 𝑟 ‖𝛼(𝑞𝑡 + 𝑟)‖ 𝑞𝑡 𝑛 𝑞𝑡
|𝑟|6 2 𝑛6𝑞

Окончательно имеем
(︃ √ )︃
𝑁 ∑︁ 𝑁
𝑊1 ≪ + 1 𝑞 ln3 𝑁 + ln2 𝑁
𝑞 √ 𝑞𝑡
𝑁
𝑡6 𝑞
(︂ )︂
𝑞 1 1
≪ 𝑁 ln3 𝑁 + + 𝑁−2 .
𝑁 𝑞
1
Для оценки
√ 𝑊2 разобьем ее на суммы 𝑊3 по 𝑑 6 𝑁 3 и 𝑊4 по
1
𝑁 < 𝑑 6 𝑁 . Оценим 𝑊3 . Имеем
3

∑︁ ∑︁ ∑︁ ⃒⃒ ∑︁ ⃒
𝑒2𝜋𝑖𝛼𝑘𝑟 ≪ ln2 𝑁 2𝜋𝑖𝛼𝑘𝑟 ⃒
⃒
𝑊3 = 𝑎(𝑘) ⃒
⃒ 𝑒 ⃒,
𝑘6𝑁 5/6 𝑟6 𝑁
𝑘
𝑘6𝑁 5/6 𝑋<𝑟6𝑋1

𝑁
где 𝑋 6 𝑘, а
∑︁ ∑︁
𝑎(𝑘) = 𝜇(𝑑)Λ(𝑛) ≪ Λ(𝑛) = ln 𝑘.
𝑛𝑑=𝑘 √ 𝑛|𝑘
𝑑6𝑁 1/3 ,𝑛6 𝑁

Действуя также, как при оценке 𝑊1 , получим

(︂ )︂
𝑞 1 1
𝑊3 ≪ 𝑁 ln3 𝑁 + + 𝑁−6 .
𝑁 𝑞
Оценим 𝑊4 . Разобьем сумму по 𝑑 на ≪ ln 𝑁 сумм с пределами,
различающимися не более чем вдвое. Имеем
⃒ ⃒
⃒ ∑︁ ∑︁ ∑︁
𝑒2𝜋𝑖𝛼𝑛𝑑𝑟 ⃒⃒
⃒
𝑊4 ≪ ln 𝑁 ⃒⃒ 𝜇(𝑑) Λ(𝑛)
√ 𝑁
𝑋<𝑑6𝑋1 𝑛6 𝑁 𝑟6 𝑛𝑑
⃒ ⃒
∑︁ ⃒ ∑︁
2𝜋𝑖𝛼𝑘𝑑 ⃒
⃒
≪ ln 𝑁 ⃒
⃒ 𝑎(𝑘)𝑒 ⃒,
𝑋<𝑑6𝑋1 𝑘6 𝑁
𝑑
√
где 𝑁 1/3 6 𝑋 6 𝑁, а
∑︁ ∑︁
𝑎(𝑘) = Λ(𝑛) ≪ Λ(𝑛) = ln 𝑘.
𝑛𝑟=𝑘
√ 𝑛|𝑘
𝑛6 𝑁
§ 5. Суммы с простыми числами. Проблема Гольдбаха 39

Применяя неравенство Коши, находим

∑︁ ⃒⃒ ∑︁ ⃒2
𝑊42 ≪ 𝑋 ln2 𝑁 2𝜋𝑖𝛼𝑘𝑑 ⃒
⃒
⃒
⃒ 𝑎(𝑘)𝑒 ⃒
𝑋<𝑑6𝑋1 𝑘6 𝑁
𝑑
∑︁ ∑︁
= 𝑋 ln2 𝑁 𝑎(𝑘1 )𝑎(𝑘2 ) 𝑒2𝜋𝑖𝛼(𝑘1 −𝑘2 )𝑑 ,
𝑁 𝑋<𝑑6𝑋2
𝑘1 ,𝑘2 6 𝑋

где 𝑋2 = min 𝑋1 , 𝑘𝑁1 , 𝑘𝑁2 . Пользуясь оценкой 𝑎(𝑘) и задачей 3

(︀ )︀

к §1, получим
(︂ 2 −1
∑︁ 𝑘∑︁ (︂ )︂)︂
1
𝑊42 ≪ 𝑋 ln4 𝑁 𝑁 + min 𝑋,
𝑁 𝑘3 =1
‖𝛼𝑘3 ‖
𝑘2 6 𝑋
(︂
∑︁ (︂ 𝑘2 )︂ )︂
≪ 𝑋 ln4 𝑁 𝑁 + + 1 (𝑋 + 𝑞 ln 𝑁 )
𝑁
𝑞
𝑘2 6 𝑋

𝑁𝑞 𝑁2 𝑁2
(︂ )︂
5
≪ 𝑋 ln 𝑁 𝑁 + + 2+ .
𝑋 𝑋 𝑞𝑋

Раскрывая скобки,
√ извлекая квадратный корень и учитывая, что
𝑁 1/3 6 𝑋 6 𝑁 , находим
(︂√︂ )︂
𝑞 1 1
𝑊4 ≪ 𝑁 ln3 𝑁 + + 𝑁−6 .
𝑁 𝑞

Поскольку 1 6 𝑞 6 𝑁 , такая же оценка справедлива для суммы 𝑆.

Легко видеть, что имеет место соотношение
(︃ )︃
∑︁ ∑︁ ∑︁
ln 𝑝 𝑒2𝜋𝑖𝛼𝑝 = 𝑆 + 𝑂 ln 𝑝 + Λ(𝑛) ,
√
𝑝6𝑁 𝑝𝑘 6𝑁 𝑛6 𝑁
𝑘>2

√ √
√
∑︀
но 𝑛6 𝑁 Λ(𝑛) = 𝜓( 𝑁 ) ≪ 𝑁 , а
[︂ ]︂
∑︁ ∑︁ ∑︁ ∑︁ ln 𝑁
ln 𝑝 = ln 𝑝 16 ln 𝑝
√ √ ln 𝑝
𝑝𝑘 6𝑁 𝑝6 𝑁 26𝑘6 ln 𝑁
ln 𝑝 𝑝6 𝑁
𝑘>2
(︀√ )︀ √
6𝜋 𝑁 ln 𝑁 ≪ 𝑁 .
40 § 5. Суммы с простыми числами. Проблема Гольдбаха

Здесь мы пользуемся результатом задачи 2 к § 4 прошлого семест-

ра. Таким образом,
(︂√︂ )︂
∑︁
2𝜋𝑖𝛼𝑝 3 𝑞 1 − 16
ln 𝑝 𝑒 ≪ 𝑁 ln 𝑁 + +𝑁 ,
𝑁 𝑞
𝑝6𝑁

и доказательство завершается применением преобразования Абе-

ля.
Оценка линейной тригонометрической суммы с простыми чис-
лами дала ключ к решению тернарной проблемы Гольдбаха, то
есть задачи о представимости любого достаточно большого нечет-
ного числа суммой трех простых чисел. Метод решения этой
и многих других так называемых аддитивных задач восходит
к Харди и Литтлвуду и носит название кругового метода.
Теорема 11 (Виноградов). Для числа решений 𝐽(𝑁 ) урав-
нения 𝑝1 + 𝑝2 + 𝑝3 = 𝑁 справедлива асимптотическая формула

𝑁2 𝑁2
(︂ )︂
𝐽(𝑁 ) = 𝜎(𝑁 ) + 𝑂 ,
2 ln3 𝑁 ln4 𝑁

где
∏︁ (︂ 1
)︂ ∏︁ (︂
1
)︂
𝜎(𝑁 ) = 1− 1+ .
(𝑝 − 1)2 (𝑝 − 1)3
𝑝|𝑁 𝑝-𝑁

В частности, если 𝑁 нечетно, то 𝜎(𝑁 ) > 1 и любое достаточ-

но большое нечетное число представимо суммой трех простых
чисел.
Доказательство. Имеем

∑︁ ∑︁ ∫︁ 1
𝐽(𝑁 ) = 1= 𝑒2𝜋𝑖𝛼(𝑝1 +𝑝2 +𝑝3 −𝑁 ) 𝑑𝛼
𝑝1 +𝑝2 +𝑝3 =𝑁 𝑝1 ,𝑝2 ,𝑝3 6𝑁 0
∫︁ 1
= 𝑆 3 (𝛼)𝑒−2𝜋𝑖𝛼𝑁 𝑑𝛼,
0

где введено обозначение

∑︁
𝑆(𝛼) = 𝑒2𝜋𝑖𝛼𝑝 .
𝑝6𝑁
§ 5. Суммы с простыми числами. Проблема Гольдбаха 41

Пусть 𝐴 и 𝐵 – некоторые положительные числа, 𝐿 = ln 𝑁 ,

𝜏 = 𝑁 𝐿−𝐴 , 𝑄 = 𝐿𝐵 . В силу периодичности подынтегральной
функции с периодом 1 найдем
∫︁ 1+ 𝜏1
𝐽(𝑁 ) = 𝑆 3 (𝛼)𝑒−2𝜋𝑖𝛼𝑁 𝑑𝛼.
1
𝜏

[︀ 1 1
]︀
Согласно задаче 2 к §3 каждое 𝛼 из промежутка 𝜏,1 + 𝜏 пред-
ставляется в виде
𝑎
𝛼 = + 𝑧,
𝑞
1
где 1 6 𝑞 6 𝜏 , (𝑎, 𝑞) = 1 и |𝑧| 6 𝑞𝜏 . Разобьем отрезок интегриро-
вания на два множества: 𝐸1 , в которое войдут те 𝛼, для которых
𝑞 6 𝑄, и 𝐸2 – дополнение к 𝐸1 . Легко видеть, что отрезки, со-
ставляющие множество 𝐸1 , не пересекаются. Действительно, рас-
стояние между их центрами есть
⃒ 𝑎 𝑎′ ⃒ |𝑎𝑞 ′ − 𝑎′ 𝑞|
⃒ ⃒
⃒ − ⃒= 1
⃒𝑞 ′ ′
> ′,
𝑞 ⃒ 𝑞𝑞 𝑞𝑞

ибо (𝑎, 𝑞) = (𝑎′ , 𝑞 ′ ) = 1, а сумма их полудлин равна

1 1 2𝑄 1
+ ′ 6 ′ < ′.
𝑞𝜏 𝑞𝜏 𝑞𝑞 𝜏 𝑞𝑞
Таким образом,
∫︁
𝐽1 (𝑁 ) = 𝑆 3 (𝛼)𝑒−2𝜋𝑖𝛼𝑁 𝑑𝛼
𝐸1
𝑞 ∫︁ 1 (︂ )︂
∑︁ ∑︁ 𝑞𝜏 𝑎 𝑎
= 𝑆 3
+ 𝑧 𝑒−2𝜋𝑖( 𝑞 +𝑧)𝑁 𝑑𝑧.
𝑎=1
1
− 𝑞𝜏 𝑞
𝑞6𝑄
(𝑎,𝑞)=1

Для оценки интеграла по множеству 𝐸2 заметим, что 𝑄 < 𝑞 6 𝜏

при 𝛼 ∈ 𝐸2 , и воспользуемся оценкой теоремы 10 для 𝑆(𝛼). Имеем
∫︁ ∫︁
𝐽2 (𝑁 ) = 𝑆 3 (𝛼)𝑒−2𝜋𝑖𝛼𝑁 𝑑𝛼 6 max |𝑆(𝛼)| |𝑆(𝛼)|2 𝑑𝛼
𝐸2 𝛼∈𝐸2 𝛼∈𝐸2
(︂√︂ )︂ ∫︁ 1
𝜏 1 1
≪ 𝑁 𝐿2 + + 𝑁−6 |𝑆(𝛼)|2 𝑑𝛼
𝑁 𝑄 0
𝐴 𝐵
≪ 𝑁 2 𝐿− 2 +1 + 𝑁 2 𝐿− 2 +1 .
42 § 5. Суммы с простыми числами. Проблема Гольдбаха

Итак,
𝐴 𝐵
𝐽(𝑁 ) = 𝐽1 (𝑁 ) + 𝑂 𝑁 2 𝐿− 2 +1 + 𝑁 2 𝐿− 2 +1 .
(︀ )︀

Теперь найдем асимптотическую формулу для 𝑆 𝑎𝑞 + 𝑧 . Раз-

(︀ )︀

бивая суммирование по простым на прогрессии по модулю 𝑞, на-

ходим
√
(︂ )︂
𝑎 ∑︁ 𝑎
𝑆 +𝑧 = 𝑒2𝜋𝑖 𝑞 𝑝 𝑒2𝜋𝑖𝑧𝑝 + 𝑂( 𝑁 )
𝑞 √
𝑁 <𝑝6𝑁
𝑞
∑︁ 𝑎𝑙 √
= 𝑒2𝜋𝑖 𝑞 𝑇 (𝑙) + 𝑂( 𝑁 ),
𝑙=1
(𝑙,𝑞)=1
где
∑︁ ∑︁
𝑒2𝜋𝑖𝑧𝑝 = 𝜋(𝑛; 𝑞, 𝑙) − 𝜋(𝑛 − 1; 𝑞, 𝑙) 𝑒2𝜋𝑖𝑧𝑛 .
(︀ )︀
𝑇 (𝑙) =
√
𝑝≡𝑙
√ (mod 𝑞) 𝑁 <𝑛6𝑁
𝑁 <𝑝6𝑁

Примем без доказательства так называемую теорему Зигеля–

Вальфиша о распределении простых чисел в арифметической
прогрессии: при 𝑞 6 ln𝑐 𝑥, (𝑙, 𝑞) = 1 имеет место формула
∫︁ 𝑥 √
∑︁ 1 𝑑𝑢
+ 𝑂 𝑥𝑒−𝑐1 ln 𝑥 .
(︀ )︀
𝜋(𝑥; 𝑞, 𝑙) = 1=
𝜙(𝑞) 2 ln 𝑢
𝑝6𝑥
𝑝≡𝑙 (mod 𝑞)

Совершая с 𝑇 (𝑙) преобразование Абеля и пользуясь теоремой

Зигеля–Вальфиша, находим
∫︁ 𝑁 ∫︁ 𝑁 (︂ ∫︁ 𝑥 )︂
1 𝑑𝑢 2𝜋𝑖𝑧𝑁 1 𝑑𝑢
𝑇 (𝑙) = ·𝑒 − √ 𝑑𝑒2𝜋𝑖𝑧𝑥
𝜙(𝑞) √𝑁 ln 𝑢 𝑁 𝜙(𝑞) √𝑁 ln 𝑢
(︁ √ )︁ (︁ √ )︁
+ 𝑂 𝑁 𝑒−𝑐1 𝐿 + 𝑂 𝑁 2 |𝑧|𝑒−𝑐1 𝐿
1 ∑︁ ∫︁ 𝑛 𝑑𝑢
= · 𝑒2𝜋𝑖𝑧𝑛
𝜙(𝑞) √ 𝑛−1 ln 𝑢
𝑁 <𝑛6𝑁
√ 𝑁 2 −𝑐1 √𝐿
(︂ )︂
+ 𝑂 𝑁 𝑒−𝑐1 𝐿 + 𝑒 .
𝜏
Здесь после отделения остаточного члена мы совершили обратное
1
преобразование Абеля и учли, что |𝑧| 6 𝑞𝜏 . Далее, так как
∫︁ 𝑛 (︂ )︂
𝑑𝑢 1 1
= +𝑂 ,
𝑛−1 ln 𝑢 ln 𝑢 𝑛 ln2 𝑢
§ 5. Суммы с простыми числами. Проблема Гольдбаха 43

а 𝜏 = 𝑁 𝐿−𝐴 , то

1 ∑︁ 𝑒2𝜋𝑖𝑧𝑛 √ )︀
+ 𝑂 𝑁 𝑒−𝑐2 𝐿 .
(︀
𝑇 (𝑙) =
𝜙(𝑞) ln 𝑛
2<𝑛6𝑁

Подставляя это выражение в равенство для 𝑆 𝑎𝑞 + 𝑧 и пользуясь

(︀ )︀

результатом задачи 2 к § 1, получим

𝜇(𝑞) ∑︁ 𝑒2𝜋𝑖𝑧𝑛 √ )︀
(︂ )︂
𝑎
+ 𝑂 𝑁 𝑒−𝑐2 𝐿 .
(︀
𝑆 +𝑧 =
𝑞 𝜙(𝑞) ln 𝑛
2<𝑛6𝑁

Возводя последнее неравенство в куб, найдем

(︂ )︂ (︂ ∑︁ 2𝜋𝑖𝑧𝑛 )︂3 √ )︀
𝑎 𝜇(𝑞) 𝑒
𝑆3 + 𝑂 𝑁 3 𝑒−𝑐2 𝐿 ,
(︀
+𝑧 =
𝑞 𝜙3 (𝑞) ln 𝑛
2<𝑛6𝑁

откуда сразу получаем, что

∫︁ 1 )︂(︂
𝑞𝜏𝑎
+ 𝑧 𝑒−2𝜋𝑖( 𝑞 +𝑧)𝑁 𝑑𝑧 =
𝑎
𝑆3
1
− 𝑞𝜏 𝑞
∫︁ 1 (︂ ∑︁ 2𝜋𝑖𝑧𝑛 )︂3
𝜇(𝑞) −2𝜋𝑖 𝑎𝑞 𝑁 𝑞𝜏 𝑒
= 3 𝑒 𝑒−2𝜋𝑖𝑧𝑁 𝑑𝑧
𝜙 (𝑞) 1
− 𝑞𝜏 ln 𝑛
2<𝑛6𝑁

𝑁 𝐿 −𝑐2 √𝐿
(︂ 2 𝐴 )︂
+𝑂 𝑒 .
𝑞

Распространим интеграл в правой части на весь отрезок − 12 , 12 .

[︀ ]︀

Обозначая
∫︁ 12 (︂ ∑︁ 2𝜋𝑖𝑧𝑛 )︂3
𝑒
κ(𝑁 ) = 𝑒−2𝜋𝑖𝑧𝑁 𝑑𝑧,
−2 1 ln 𝑛
2<𝑛6𝑁

имеем
∫︁ 1
(︂ ∑︁ 2𝜋𝑖𝑧𝑛 )︂3
𝑞𝜏 𝑒
𝑒−2𝜋𝑖𝑧𝑁 𝑑𝑧 =
1
− 𝑞𝜏 ln 𝑛
2<𝑛6𝑁
(︃∫︁ 1 ⃒ )︃
∑︁ 𝑒2𝜋𝑖𝑧𝑛 ⃒3
⃒
2⃒
= κ(𝑁 ) + 𝑂 ⃒ ⃒ 𝑑𝑧 .
1
⃒ ln 𝑛 ⃒
𝑞𝜏 2<𝑛6𝑁
44 § 5. Суммы с простыми числами. Проблема Гольдбаха

Совершая преобразование Абеля и пользуясь результатом зада-

чи 3 к § 1, находим при 0 < 𝑧 6 12
∑︁ 𝑒2𝜋𝑖𝑧𝑛 ⃒
1 ⃒⃒ ∑︁ 2𝜋𝑖𝑧𝑛 ⃒⃒
⃒
≪ 𝑒
ln 𝑛 ln 𝑁 ⃒ ⃒
2<𝑛6𝑁 2<𝑛6𝑁
∫︁ 𝑁 ⃒ ∑︁ ⃒
2𝜋𝑖𝑧𝑛 ⃒ 𝑑𝑢 1
⃒ ⃒
+ 𝑒 ⃒ 𝑢 ln2 𝑢 ≪ 𝑧 ,
⃒
⃒
2 2<𝑛6𝑢

откуда сразу получаем, что

∫︁ 𝑞𝜏1 (︂ ∑︁ 2𝜋𝑖𝑧𝑛 )︂3
𝑒
𝑒−2𝜋𝑖𝑧𝑁 𝑑𝑧 = κ(𝑁 ) + 𝑂(𝑞 2 𝜏 2 )
− 𝑞𝜏1 ln 𝑛
2<𝑛6𝑁

= κ(𝑁 ) + 𝑂(𝑁 2 𝐿2𝐵−2𝐴 ).

Итак, имеем
𝑞
∑︁ ∑︁ 𝜇(𝑞) −2𝜋𝑖 𝑎𝑞 𝑁
𝐽1 (𝑁 ) = κ(𝑁 ) 𝑒 + 𝑂(𝑁 2 𝐿2𝐵−2𝐴 ).
𝑎=1
𝜙3 (𝑞)
𝑞6𝑄
(𝑎,𝑞)=1

Здесь мы пользуемся оценкой 𝜙(𝑞) из задачи 3 к § 1 прошлого

семестра. Теперь распространим суммирование по 𝑞 до бесконеч-
ности. Обозначая
𝑞
+∞ ∑︁
∑︁ 𝜇(𝑞) −2𝜋𝑖 𝑎𝑁
𝜎(𝑁 ) = 𝑒 𝑞 ,

𝑞=1 𝑎=1
𝜙3 (𝑞)
(𝑎,𝑞)=1

получаем
𝑞 (︂ ∑︁ )︂
∑︁ ∑︁ 𝜇(𝑞) −2𝜋𝑖 𝑎𝑞 𝑁 1
𝑒 = 𝜎(𝑁 ) + 𝑂
𝑎=1
𝜙3 (𝑞) 2
𝜙 (𝑞)
𝑞6𝑄 𝑞>𝑄
(𝑎,𝑞)=1
+∞
(ln ln 𝑢)2
(︂ ∫︁ )︂
= 𝜎(𝑁 ) + 𝑂 𝑑𝑢 .
𝑄 𝑢2

Собирая вместе все полученные оценки, имеем окончательно

𝐽(𝑁 ) = 𝜎(𝑁 )κ(𝑁 )

𝐵 𝐴
+ 𝑂 κ(𝑁 )𝐿−𝐵+1 + 𝑁 2 𝐿2𝐵−2𝐴 + 𝑁 2 𝐿− 2 +1 + 𝑁 2 𝐿− 2 +1 .
(︀ )︀
§ 5. Суммы с простыми числами. Проблема Гольдбаха 45

Вычислим κ(𝑁 ). Имеем

⃒ ∑︁ 2𝜋𝑖𝑧𝑛 ∑︁ 𝑒2𝜋𝑖𝑧𝑛 ⃒⃒ ∑︁ (︂ 1 )︂
⃒ 𝑒 1
⃒ − ⃒6 −
⃒ ln 𝑛 ln 𝑁 ⃒ ln 𝑛 ln 𝑁
2<𝑛6𝑁 2<𝑛6𝑁 2<𝑛6𝑁
∫︁ 𝑁 (︂ )︂
1 1 𝑁
6 − 𝑑𝑢 ≪ 2 .
2 ln 𝑢 ln 𝑁 ln 𝑁
Таким образом,
⃒ ∫︁ 21 (︂ ∑︁ 2𝜋𝑖𝑧𝑛 )︂3 ⃒
⃒ 𝑒 −2𝜋𝑖𝑧𝑁
⃒
⃒κ(𝑁 ) − 𝑒 𝑑𝑧 ⃒
⃒ ⃒
⃒ −2 1 ln 𝑁 ⃒
2<𝑛6𝑁
∫︁ 12 ⃒ ∑︁ 2𝜋𝑖𝑧𝑛 ⃒2 ⃒ ∑︁ 2𝜋𝑖𝑧𝑛 ⃒2 )︃
(︃
𝑁 ⃒ 𝑒 ⃒ ⃒ 𝑒 ⃒
≪ 2 ⃒ ⃒ +⃒ ⃒ 𝑑𝑧.
ln 𝑁 − 12 ⃒ ln 𝑛 ⃒ ⃒ ln 𝑁 ⃒
2<𝑛6𝑁 2<𝑛6𝑁

Отсюда находим
1 )︂3
𝑁2
∫︁ (︂ ∑︁ (︂ )︂
1 2
2𝜋𝑖𝑧𝑛 −2𝜋𝑖𝑧𝑁
κ(𝑁 ) = 𝑒 𝑒 𝑑𝑧 + 𝑂 .
ln3 𝑁 − 12 2<𝑛6𝑁
ln4 𝑁

Интеграл в правой части последнего равенства есть не что иное,

как число решений уравнения 𝑛1 +𝑛2 +𝑛3 = 𝑁 при 3 6 𝑛1 , 𝑛2 , 𝑛3 6
𝑁 . Имеем
∫︁ 21 (︂ ∑︁ )︂3 𝑁 −6
∑︁ 𝑁2
𝑒2𝜋𝑖𝑧𝑛 𝑒−2𝜋𝑖𝑧𝑁 𝑑𝑧 = (𝑁 − 𝑛3 − 5) = + 𝑂(𝑁 ).
− 12 𝑛 =3
2
2<𝑛6𝑁 3

Отсюда
𝑁2 𝑁2
(︂ )︂
κ(𝑁 ) = + 𝑂 .
2 ln3 𝑁 ln4 𝑁
Собирая вместе все полученные оценки и выбирая 𝐴 = 12 и 𝐵 =
10, получим окончательно
𝑁2 𝑁2
(︂ )︂
𝐽(𝑁 ) = 𝜎(𝑁 ) + 𝑂 .
2 ln3 𝑁 ln4 𝑁
Осталось вычислить 𝜎(𝑁 ). Докажем мультипликативность функ-
ции
𝑞
∑︁ 𝑎𝑁
𝑇 (𝑞) = 𝑒−2𝜋𝑖 𝑞 .
𝑎=1
(𝑎,𝑞)=1
46 § 5. Суммы с простыми числами. Проблема Гольдбаха

Пусть (𝑞1 , 𝑞2 ) = 1; имеем

𝑞∑︁
1 𝑞2
𝑎𝑁
𝑇 (𝑞1 𝑞2 ) = 𝑒−2𝜋𝑖 𝑞1 𝑞2
𝑎=1
(𝑎,𝑞1 𝑞2 )=1
𝑞1 𝑞2
(𝑎1 𝑞2 +𝑎2 𝑞1 )𝑁
𝑒−2𝜋𝑖
∑︁ ∑︁
= 𝑞1 𝑞 2
= 𝑇 (𝑞1 )𝑇 (𝑞2 ).
𝑎1 =1 𝑎2 =1
(𝑎1 ,𝑞1 )=1 (𝑎2 ,𝑞2 )=1

Поскольку функции 𝜇(𝑞) и 𝜙(𝑞) мультипликативны, мы имеем аб-

солютно сходящийся ряд мультипликативных функций. Согласно
тождеству Эйлера (теорема 4 прошлого семестра), находим
+∞ ∏︁ (︂ )︂
∑︁ 𝜇(𝑞) 1
𝜎(𝑁 ) = 𝑇 (𝑞) = 1 − 𝑇 (𝑝) .
𝑞=1
𝜙3 (𝑞) 𝑝
(𝑝 − 1)3

В случае 𝑝 | 𝑁 имеем 𝑇 (𝑝) = 𝑝 − 1, а в случае 𝑝 - 𝑁 – 𝑇 (𝑝) = −1,

поэтому
∏︁ (︂ 1
)︂ ∏︁ (︂
1
)︂
𝜎(𝑁 ) = 1− 1 + .
(𝑝 − 1)2 (𝑝 − 1)3
𝑝|𝑁 𝑝-𝑁

Таким образом, при 𝑁 – четном 𝜎(𝑁 ) = 0, а при нечетном 𝑁

∏︁ (︂ )︂
1 ∏︁
(︂
1
)︂
2 12
𝜎(𝑁 ) > 1− 2 1+ 3
> = 2 > 1.
𝑝
𝑝 (𝑝 − 1) 𝜁(2) 𝜋
𝑝-𝑁

Этим доказательство завершается.