GetWiki

{{Short description|Theorem in number theory}}In number theory, Vinogradov's theorem is a result which implies that any sufficiently large odd integer can be written as a sum of three prime numbers. It is a weaker form of Goldbach's weak conjecture, which would imply the existence of such a representation for all odd integers greater than five. It is named after Ivan Matveyevich Vinogradov, who proved it in the 1930s. Hardy and Littlewood had shown earlier that this result followed from the generalized Riemann hypothesis, and Vinogradov was able to remove this assumption. The full statement of Vinogradov's theorem gives asymptotic bounds on the number of representations of an odd integer as a sum of three primes. The notion of "sufficiently large" was ill-defined in Vinogradov's original work, but in 2002 it was shown that 101346 is sufficiently large.Archived at Ghostarchive{{cbignore}} and the weblink" title="web.archive.org/web/20130925215243weblink">Wayback Machine{{cbignore}}: AV MEDIA,weblink Terrence Tao - Structure and Randomness in the prime numbers, UCLA, YouTube, {{cbignore}}JOURNAL,weblink 10.4064/aa105-2-3, On the Vinogradov bound in the three primes Goldbach conjecture, 2002, Liu, M. C., Wang, T. Z., Acta Arithmetica, 105, 2, 133–175, free, Additionally numbers up to 1020 had been checked via brute force methods,JOURNAL,weblink 10.1090/S0025-5718-98-00928-4, Checking the odd Goldbach conjecture up to 10²⁰, 1998, Saouter, Yannick, Mathematics of Computation, 67, 222, 863–866, free, thus only a finite number of cases to check remained before the odd Goldbach conjecture would be proven or disproven. In 2013, Harald Helfgott proved Goldbach's weak conjecture for all cases.

Statement of Vinogradov's theorem

Let A be a positive real number. Then where using the von Mangoldt function Lambda, and

A consequence

If N is odd, then G(N) is roughly 1, hence N^2 ll r(N) for all sufficiently large N. By showing that the contribution made to r(N) by proper prime powers is Oleft(N^{3over 2}log^2Nright), one sees that This means in particular that any sufficiently large odd integer can be written as a sum of three primes, thus showing Goldbach's weak conjecture for all but finitely many cases.

Strategy of proof

The proof of the theorem follows the Hardy–Littlewood circle method. Define the exponential sum Then we have where tilde{r} denotes the number of representations restricted to prime powers leq N. Hence If alpha is a rational number frac{p}{q}, then S(alpha) can be given by the distribution of prime numbers in residue classes modulo q. Hence, using the Siegel–Walfisz theorem we can compute the contribution of the above integral in small neighbourhoods of rational points with small denominator. The set of real numbers close to such rational points is usually referred to as the major arcs, the complement forms the minor arcs. It turns out that these intervals dominate the integral, hence to prove the theorem one has to give an upper bound for S(alpha) for alpha contained in the minor arcs. This estimate is the most difficult part of the proof.If we assume the Generalized Riemann Hypothesis, the argument used for the major arcs can be extended to the minor arcs. This was done by Hardy and Littlewood in 1923. In 1937 Vinogradov gave an unconditional upper bound for |S(alpha)|. His argument began with a simple sieve identity, the resulting terms were then rearranged in a complicated way to obtain some cancellation. In 1977 R. C. Vaughan found a much simpler argument, based on what later became known as Vaughan's identity. He proved that if |alpha-frac{a}{q}|