Круговой метод в теории чисел
Кругово́й ме́тод в тео́рии чи́сел, один из наиболее общих методов аддитивной теории чисел. Пусть – произвольные множества натуральных чисел, – натуральное число и – число решений уравнения
где , . Изучением величин занимается аддитивная теория чисел; например, если доказать, что больше нуля при всех , то это будет означать, что любое натуральное число является суммой слагаемых – чисел из множеств соответственно. Пусть, далее, – комплексное число, , и
Тогда функция
является производящей функцией величин . По формуле Коши
Последний интеграл изучается при . Окружность интегрирования разбивается на «большие» и «малые» дуги, центрами которых являются рациональные числа. Для целого ряда аддитивных задач удается достаточно полно исследовать интегралы по «большим» дугам, которые дают «главную» часть величины , и оценить интегралы по «малым» дугам, которые дают «остаточный» член асимптотической формулы для .
Введение И. М. Виноградовым в круговой метод тригонометрических сумм не только сильно упростило его применение, но и дало возможность единым способом решать широкий круг самых разных аддитивных задач. Основой кругового метода в форме тригонометрических сумм является следующая формула:
Из этой формулы следует, что
где
Конечные суммы называются тригонометрическими. Для исследования отрезок интегрирования разбивается на «большие» и «малые» дуги – отрезки с центрами в рациональных точках с «малыми» и «большими» знаменателями. Для многих аддитивных задач удаётся с хорошей точностью вычислить интегралы по «большим» дугам (тригонометрические суммы для из «больших» дуг близки к рациональным тригонометрическим суммам с малым знаменателем, хорошо вычисляются и являются «большими»); на «малых» же дугах, которые содержат основную долю точек отрезка , тригонометрические суммы «малы»; их удается нетривиально оценить, что позволяет получить асимптотическую формулу для (см. статью Метод Виноградова).
С помощью кругового метода в форме тригонометрических сумм и метода Виноградова оценок тригонометрических сумм получены наиболее сильные результаты в аддитивной теории чисел (см. также Проблема Варинга, Проблема Гольдбаха).