Тригонометрические суммы¶

Тригонометрические суммы — это конечные суммы вида \(S = \sum_{n=1}^{N} e^{2\pi i f(n)}\), где \(f(n)\) — вещественная функция, обычно принимающая рациональные или целые значения, а \(e^{2\pi i \alpha} = \cos(2\pi \alpha) + i \sin(2\pi \alpha)\) — комплексная экспонента. Тригонометрические суммы являются одним из основных инструментов аналитической теории чисел, позволяя изучать распределение целых чисел, свойства арифметических функций и решать диофантовы уравнения. Основная задача при работе с тригонометрическими суммами — получение нетривиальных оценок их модуля, то есть доказательство того, что \(|S|\) значительно меньше тривиальной границы \(N\). Развитие методов оценки тригонометрических сумм связано с именами таких математиков, как И. М. Виноградов, Г. Вейль, К. Л. Зигель, Х. Хассе, А. Вейль и других.

¶История

Первые тригонометрические суммы появились в работах К. Ф. Гаусса в начале XIX века. В 1801 году он рассмотрел суммы вида \(\sum_{n=0}^{p-1} e^{2\pi i n^2 / p}\), где \(p\) — простое число, которые теперь называются суммами Гаусса. Гаусс вычислил их точное значение: \(\sum_{n=0}^{p-1} e^{2\pi i n^2 / p} = \sqrt{p}\) при \(p \equiv 1 \pmod{4}\) и \(i\sqrt{p}\) при \(p \equiv 3 \pmod{4}\). Эти суммы стали основой для доказательства квадратичного закона взаимности.

В начале XX века Г. Вейль систематизировал методы оценки тригонометрических сумм с полиномиальной функцией \(f(n) = \alpha_k n^k + \dots + \alpha_1 n\). В 1916 году он доказал, что для иррационального \(\alpha_k\) сумма \(\sum_{n=1}^{N} e^{2\pi i (\alpha_k n^k + \dots + \alpha_1 n)}\) имеет порядок \(O(N^{1-1/k + \varepsilon})\), что привело к решению проблемы равномерного распределения дробных долей многочленов.

Значительный вклад внёс И. М. Виноградов, который в 1930-х годах разработал метод среднего значения для оценок сумм с простыми числами. Его метод позволил получить оценки для сумм вида \(\sum_{p \le N} e^{2\pi i \alpha p}\), где \(p\) — простое число, и стал ключевым в доказательстве теоремы о представлении нечётных чисел в виде суммы трёх простых (проблема Гольдбаха).

В 1940-х годах А. Вейль обобщил суммы Гаусса на случай конечных полей, доказав гипотезу Римана для кривых над конечными полями. Это привело к точным оценкам для сумм с рациональными функциями, известным как оценки Вейля.

¶Классификация

Тригонометрические суммы классифицируются по виду функции \(f(n)\) и области суммирования.

¶По типу функции \(f(n)\)

• Линейные суммы: \(f(n) = \alpha n + \beta\), где \(\alpha\) — вещественное число. Пример: \(\sum_{n=1}^{N} e^{2\pi i \alpha n}\). При рациональном \(\alpha = a/q\) сумма выражается через геометрическую прогрессию и равна \(0\) при \(q \nmid N\).
• Квадратичные суммы: \(f(n) = \alpha n^2 + \beta n + \gamma\). Сюда относятся суммы Гаусса и суммы Клостермана.
• Полиномиальные суммы: \(f(n) = \alpha_k n^k + \dots + \alpha_1 n + \alpha_0\) с \(k \ge 3\). Оценки таких сумм сложны и требуют методов Вейля или Виноградова.
• Суммы с простыми числами: \(f(n) = \alpha n\), где \(n\) пробегает только простые числа. Пример: \(\sum_{p \le N} e^{2\pi i \alpha p}\).
• Суммы с мультипликативными функциями: \(f(n) = \alpha \log n\) или \(f(n) = \alpha n \cdot \chi(n)\), где \(\chi\) — характер Дирихле.

¶По области суммирования

• Полные суммы: суммирование по всем вычетам по модулю \(q\), например, \(\sum_{n=0}^{q-1} e^{2\pi i f(n)/q}\).
• Неполные суммы: суммирование по части вычетов, например, \(\sum_{n=1}^{N} e^{2\pi i f(n)/q}\) при \(N < q\).
• Суммы по арифметическим прогрессиям: \(n\) пробегает числа вида \(a + m d\).
• Суммы по множествам специального вида: например, по числам без квадратов или по числам, представимым суммой двух квадратов.

¶Методы оценки

¶Тривиальная оценка

Для любой суммы \(|S| \le N\), где \(N\) — число слагаемых. Задача состоит в получении нетривиальной оценки \(|S| \le N^{1-\delta}\) с \(\delta > 0\).

¶Метод Вейля

Основан на разложении функции \(f(n)\) в ряд и использовании неравенства Ван дер Корпута. Для полинома степени \(k\) с иррациональным старшим коэффициентом \(\alpha_k\) оценка имеет вид \(|S| \le C_k N^{1-1/k} \log N\), где \(C_k\) — константа, зависящая от \(k\).

¶Метод Виноградова

Метод среднего значения применяется для сумм с простыми числами. Виноградов показал, что для \(\alpha\), близкого к рациональному числу \(a/q\) с малым \(q\), сумма \(\sum_{p \le N} e^{2\pi i \alpha p}\) оценивается как \(O(N \log^{-A} N)\) для любого \(A > 0\). Этот метод использует решето Эратосфена и свойства распределения простых чисел.

¶Оценки Вейля

Для сумм вида \(\sum_{n=0}^{q-1} e^{2\pi i f(n)/q}\), где \(f(n)\) — многочлен с целыми коэффициентами, не сводящийся к константе по модулю \(q\), справедлива оценка \(|S| \le (k-1) \sqrt{q}\), где \(k\) — степень многочлена. Это следует из гипотезы Римана для кривых над конечными полями, доказанной А. Вейлем.

¶Метод ван дер Корпута

Используется для оценок сумм с монотонной функцией \(f(n)\). Если \(f'(x)\) монотонна и \(|f'(x)| \ge \lambda > 0\) на отрезке \([a, b]\), то \(\left|\sum_{n=a}^{b} e^{2\pi i f(n)}\right| \le \frac{1}{\lambda} + O(1)\).

¶Применение

¶Проблема Гольдбаха

В 1937 году И. М. Виноградов, используя оценки тригонометрических сумм с простыми числами, доказал, что любое достаточно большое нечётное число представимо в виде суммы трёх простых чисел. Это стало одним из важнейших результатов аналитической теории чисел.

¶Распределение дробных долей

Тригонометрические суммы позволяют изучать равномерность распределения последовательностей \(\{f(n)\}\) по модулю 1. Критерий Вейля утверждает, что последовательность \(\{f(n)\}\) равномерно распределена тогда и только тогда, когда для любого целого \(m \neq 0\) выполняется \(\lim_{N \to \infty} \frac{1}{N} \sum_{n=1}^{N} e^{2\pi i m f(n)} = 0\).

¶Квадратичный закон взаимности

Суммы Гаусса используются в доказательстве квадратичного закона взаимности Гаусса, который описывает, когда число \(p\) является квадратичным вычетом по модулю \(q\).

¶Оценки для дзета-функции Римана

Тригонометрические суммы применяются для оценки \(\zeta(1/2 + it)\) и доказательства нулевых областей. Например, метод Виноградова даёт оценку \(\zeta(1/2 + it) = O(t^{1/6} \log t)\).

¶Криптография

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

¶Примеры

¶Сумма Гаусса

Для нечётного простого числа \(p\): \[ G(a, p) = \sum_{n=0}^{p-1} e^{2\pi i a n^2 / p}, \quad a \in \mathbb{Z}. \] Известно, что \(|G(a, p)| = \sqrt{p}\) при \(p \nmid a\).

¶Сумма Клостермана

Для целых \(a, b\) и модуля \(q\): \[ K(a, b; q) = \sum_{n=1, \gcd(n, q)=1}^{q} e^{2\pi i (a n + b n^{-1}) / q}, \] где \(n^{-1}\) — обратный элемент по модулю \(q\). Оценка Вейля даёт \(|K(a, b; q)| \le \tau(q) \sqrt{q}\), где \(\tau(q)\) — число делителей \(q\).

¶Сумма Рамануджана

\[ c_q(n) = \sum_{k=1, \gcd(k, q)=1}^{q} e^{2\pi i k n / q}. \] Эти суммы выражаются через функцию Эйлера и используются в теории рядов.

¶Интересные факты

• Тригонометрические суммы тесно связаны с теорией характеров Дирихле: сумма Гаусса для характера \(\chi\) равна \(\sum_{n=1}^{q} \chi(n) e^{2\pi i n / q}\).
• Метод Виноградова первоначально был разработан для решения проблемы Варинга — представления чисел в виде суммы \(k\)-х степеней.
• Оценки Вейля для сумм с рациональными функциями являются аналогом гипотезы Римана для кривых и были доказаны в 1940-х годах.
• В 2013 году Х. Хельфготт, используя тригонометрические суммы, завершил доказательство слабой проблемы Гольдбаха для всех нечётных чисел больше 5.

¶Критика

Основная критика в области тригонометрических сумм связана с технической сложностью методов. Оценки Виноградова и Вейля требуют глубоких знаний алгебраической геометрии и теории чисел, что делает их малодоступными для начинающих. Кроме того, многие оценки являются неэффективными — они не дают конкретных констант, а только порядок роста. В последние десятилетия предпринимаются попытки упростить доказательства, например, с использованием методов гармонического анализа.

¶Источники

• Виноградов И. М. Метод тригонометрических сумм в теории чисел. — М.: Наука, 1971.
• Карацуба А. А. Основы аналитической теории чисел. — М.: Наука, 1983.
• Иванec Г., Ковальский Э. Аналитическая теория чисел. — М.: МЦНМО, 2004.
• Вейль А. Основы теории чисел. — М.: Мир, 1972.
• Харди Г. Х., Райт Э. М. Введение в теорию чисел. — М.: Наука, 1980.