Рациональные тригонометрические суммы
Рациональные тригонометрические суммы — комплексные суммы особого вида, которые могут использоваться при доказательстве теорем аналитической теории чисел
Определение
правитьРациональными тригонометрическими суммами называются суммы вида , где — многочлен с целыми коэффициентами, причём (при нетривиальном наибольшем общем делителе дробь можно сократить и привести к общему виду).
Некоторые оценки
правитьПри оценке рациональных тригонометрических сумм в математике рассматривают, как правило, верхнюю оценку на модуль суммы, так как его значительно проще оценивать. В связи с этим принимается, что , так умножение такой суммы на не изменяет её абсолютной величины.
Частные случаи
правитьЛинейные суммы
правитьЕсли , то, пользуясь нотацией Айверсона, можно указать, что . Доказательство этого факта тривиально следует из того, что сумма корней из единицы по любому целому основанию нулевая. Такие суммы называются линейными.
Суммы Гаусса (квадратичные)
правитьРациональные тригонометрические суммы над многочленами вида называются суммами Гаусса.
Для таких сумм известны точные значения абсолютной величины, а именно
Общие оценки
правитьДалее для удобства изложения примем .
Хуа вывел оценку , где — константа, зависящая только от . То есть при фиксированном .[1]
Если , то при простом верна более точная оценка .[2]
Частичные линейные суммы
правитьПользуясь стандартной формулой суммы геометрической прогрессии, можно вывести, что для выполнено
,
где означает дробную часть числа .
Невозможность некоторых нетривиальных оценок
правитьА. А. Карацуба доказал[3], что при существует бесконечно много простых , для которых , где при , то есть при таких для соответствующих тригонометрических сумм невозможны оценки сверху, необходимые для большинства приложений.
Применение
правитьВ первом доказательстве квадратичного закона взаимности (Гаусс, 1795) использовались суммы Гаусса над многочленом вида .
Виноградов с помощью рациональных тригонометрических сумм вывел приближённое описание распределения квадратичных вычетов и невычетов[2].
Рассматриваемые суммы могут также находить применение при доказательстве проблемы Варинга методами аналитической теории чисел.
История
правитьТригонометрические суммы впервые применил Гаусс в 1795 году для доказательства квадратичного закона взаимности.
См. также
правитьПримечания
править- ↑ И. Виноградов. Метод тригонометрических сумм в теории чисел. — Наука, 1971.
- ↑ 1 2 Б. И. Сегал. Тригонометрические суммы и некоторые их применения к теории чисел, том 1. — УМН, 1946.
- ↑ А. А. Карацуба, Об оценках полных тригонометрических сумм, Матем. заметки, 1967, том 1, выпуск 2, 199–208 . Дата обращения: 8 января 2018. Архивировано 8 января 2018 года.