ГлавнаяВ теории чисел теорема Виноградова является результатом, из которого следует, что любое достаточно большое нечётное целое число может быть записано как сумма трёх простых чисел. Это более слабая форма слабой гипотезы Гольдбаха, которая подразумевает существование такого представления для всех нечётных целых чисел, превышающих пять.
Теорема названa в честь Ивана Матвеевича Виноградова, который доказал её в 1930-х годах. Харди и Литтлвуд ранее показали, что этот результат вытекает из обобщенной гипотезы Римана, и Виноградов смог устранить это предположение. Полное изложение теоремы Виноградова даёт асимптотические оценки числа представлений нечётного целого числа в виде суммы трёх простых чисел. Понятие «достаточно большой» было плохо определено в оригинальной работе Виноградова, но в 2002 году было показано, что 101346 является достаточно большим. Кроме того, числа до 10 20 {displaystyle 10^{20}} были проверены методами грубой силы, таким образом, остается только конечное число случаев для проверки, прежде чем будет доказана или опровергнута нечётная гипотеза Гольдбаха.
Утверждение теоремы Виноградова
Пусть A — положительное действительное число. Затем
r ( N ) = 1 2 G ( N ) N 2 + O ( N 2 log − A N ) , {displaystyle r(N)={1 over 2}G(N)N^{2}+Oleft(N^{2}log ^{-A}N ight),}где
r ( N ) = ∑ k 1 + k 2 + k 3 = N Λ ( k 1 ) Λ ( k 2 ) Λ ( k 3 ) , {displaystyle r(N)=sum _{k_{1}+k_{2}+k_{3}=N}Lambda (k_{1})Lambda (k_{2})Lambda (k_{3}),}используя функцию Мангольдта Λ {displaystyle Lambda } , и
G ( N ) = ( ∏ p ∣ N ( 1 − 1 ( p − 1 ) 2 ) ) ( ∏ p ∤ N ( 1 + 1 ( p − 1 ) 3 ) ) . {displaystyle G(N)=left(prod _{pmid N}left(1-{1 over {left(p-1 ight)}^{2}} ight) ight)left(prod _{p mid N}left(1+{1 over {left(p-1 ight)}^{3}} ight) ight).}Следствие
Если N нечётно, то G(N) примерно равно 1, следовательно N 2 ≪ r ( N ) {displaystyle N^{2}ll r(N)} , для всех достаточно больших N. Показывая, что вклад, вносимый в r(N) соответствующими главными силами, таков O ( N 3 2 log 2 N ) {displaystyle Oleft(N^{3 over 2}log ^{2}N ight)} , можно видеть, что
N 2 log − 3 N ≪ {displaystyle N^{2}log ^{-3}Nll } (количество способов N может быть записано в виде суммы трёх простых чисел)Это означает, в частности, что любое достаточно большое нечётное целое число может быть записано как сумма трёх простых чисел, что показывает слабую гипотезу Гольдбаха для всех случаев, кроме конечного числа. В 2013 году Харальд Хелфготт доказал слабую гипотезу Гольдбаха для всех случаев.
Стратегия доказательства
Доказательство теоремы следует методу круга Харди-Литтлвуда. Определите экспоненциальную сумму
S ( α ) = ∑ n = 1 N Λ ( n ) e ( α n ) {displaystyle S(alpha )=sum _{n=1}^{N}Lambda (n)e(alpha n)} .Тогда у нас есть
S ( α ) 3 = ∑ n 1 , n 2 , n 3 ≤ N Λ ( n 1 ) Λ ( n 2 ) Λ ( n 3 ) e ( α ( n 1 + n 2 + n 3 ) ) = ∑ n ≤ 3 N r ~ ( n ) e ( α n ) {displaystyle S(alpha )^{3}=sum _{n_{1},n_{2},n_{3}leq N}Lambda (n_{1})Lambda (n_{2})Lambda (n_{3})e(alpha (n_{1}+n_{2}+n_{3}))=sum _{nleq 3N}{ ilde {r}}(n)e(alpha n)} ,где r ~ {displaystyle { ilde {r}}} обозначает количество представлений, ограниченных простыми степенями ≤ N {displaystyle leq N} . Следовательно
r ( N ) = ∫ 0 1 S ( α ) 3 e ( − α N ) d α {displaystyle r(N)=int _{0}^{1}S(alpha )^{3}e(-alpha N);dalpha } .Если α {displaystyle alpha } это рациональное число p q {displaystyle {frac {p}{q}}} , то S ( α ) {displaystyle S(alpha )} оно может быть задано распределением простых чисел в классах вычетов по модулю q {displaystyle q} . Следовательно, используя теорему Сигеля-Вальфиса, мы можем вычислить вклад вышеупомянутого интеграла в малых окрестностях рациональных точек с малым знаменателем. Множество действительных чисел, близких к таким рациональным точкам, обычно называют главными дугами, дополнение образует второстепенные дуги. Оказывается, что эти интервалы доминируют над интегралом, поэтому для доказательства теоремы необходимо дать верхнюю оценку для S ( α ) {displaystyle S(alpha )} для α {displaystyle alpha } , содержащихся в малых дугах. Эта оценка является самой сложной частью доказательства.
Если мы примем обобщённую гипотезу Римана, аргумент, используемый для главных дуг, может быть распространен на второстепенные дуги. Это было сделано Харди и Литтлвудом в 1923 году. В 1937 году Виноградов дал безусловную верхнюю границу для | S ( α ) | {displaystyle |S(alpha )|} . Его аргумент начался с простого определения сита, затем полученные термины были переставлены сложным образом, чтобы получить некоторую отмену. В 1977 году Р. К. Воэн нашёл гораздо более простой аргумент, основанный на том, что позже стало известно как личность Воана (англ. Vaughan’s identity). Он доказал, что если | α − a q | < 1 q 2 {displaystyle |alpha -{frac {a}{q}}|<{frac {1}{q^{2}}}} , то
| S ( α ) | ≪ ( N q + N 4 / 5 + N q ) log 4 N {displaystyle |S(alpha )|ll left({frac {N}{sqrt {q}}}+N^{4/5}+{sqrt {Nq}} ight)log ^{4}N} .Используя теорему Сигеля-Вальфиса, мы можем иметь дело с q {displaystyle q} произвольными степенями log N {displaystyle log N} , используя теорему об аппроксимации Дирихле, которую мы получаем | S ( α ) | ≪ N log A N {displaystyle |S(alpha )|ll {frac {N}{log ^{A}N}}} на малых дугах. Следовательно, интеграл по малым дугам может быть ограничен сверху
C N log A N ∫ 0 1 | S ( α ) | 2 d α ≪ N 2 log A − 1 N {displaystyle {frac {CN}{log ^{A}N}}int _{0}^{1}|S(alpha )|^{2};dalpha ll {frac {N^{2}}{log ^{A-1}N}}} ,что даёт термин ошибки в теореме.