Namespaces
Variants
Actions

Difference between revisions of "Additive number theory"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex done)
 
Line 1: Line 1:
 +
{{TEX|done}}
 +
 
The branch of number theory dealing with problems involving the partitioning (or decomposition) of integers into summands of a given type, and also with the algebraic and geometric analogues of such problems concerning algebraic number fields and sets of lattice points. These problems are said to be additive, and the ones usually considered are partition problems of large integers.
 
The branch of number theory dealing with problems involving the partitioning (or decomposition) of integers into summands of a given type, and also with the algebraic and geometric analogues of such problems concerning algebraic number fields and sets of lattice points. These problems are said to be additive, and the ones usually considered are partition problems of large integers.
  
Line 5: Line 7:
 
The first systematic results in this field were obtained in 1748 by L. Euler, who employed power series to study the partition of integers into positive summands; in particular, he investigated the problem of partitioning a given number into a given number of summands.
 
The first systematic results in this field were obtained in 1748 by L. Euler, who employed power series to study the partition of integers into positive summands; in particular, he investigated the problem of partitioning a given number into a given number of summands.
  
Many classical problems in additive number theory are solved by means of generating functions. This method was introduced by Euler and forms the basis of the analytic methods developed by G.H. Hardy, J.E. Littlewood and I.M. Vinogradov. As a first step, assign to given sequences <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a0106801.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a0106802.png" /> is an integer, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a0106803.png" />) the power series
+
Many classical problems in additive number theory are solved by means of generating functions. This method was introduced by Euler and forms the basis of the analytic methods developed by G.H. Hardy, J.E. Littlewood and I.M. Vinogradov. As a first step, assign to given sequences $  A _ {i} = \{ a _ {i} \} $(
 +
where $  a _ {i} \geq  0 $
 +
is an integer, and $  i = 1,\  2 ,\dots $)  
 +
the power series
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a0106804.png" /></td> </tr></table>
+
$$
 +
f _ {i} ( z ) \  = \  \sum _ {0 \leq a _ {i} < \infty} z  ^ {a} _ {i}  $$
  
 
and consider the corresponding generating function
 
and consider the corresponding generating function
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a0106805.png" /></td> </tr></table>
+
$$
 +
F ( z ) \  = \  \prod _ {i=1} ^ { k }  f _ {i} ( z ) \  = \
 +
\sum _ {n = 0} ^  \infty  r ( n ) z  ^ {n} ,
 +
$$
 +
 
 +
where  $  r(n) = r _ {k,A} (n) $
 +
is the number of representations of the number  $  n $
 +
in the form
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a0106806.png" /> is the number of representations of the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a0106807.png" /> in the form
+
$$
 +
n \  = \  a _ {1} + \dots + a _ {k} ,\ \
 +
a _ {i} \  \in \  A _ {i} ,\ \  A \  = \  \{ A _ {1} ,\  A _ {2} ,\dots \} .
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a0106808.png" /></td> </tr></table>
+
Here  $  r(n) $
 +
can be calculated using the Cauchy integral. In Vinogradov's method trigonometric sums
  
Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a0106809.png" /> can be calculated using the Cauchy integral. In Vinogradov's method trigonometric sums
+
$$
 +
f _ {i} ( \alpha ) \  = \  \sum _ {0 \leq  a _ {i} \leq  n}
 +
e ^ {2 \pi i \alpha a _ i} ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068010.png" /></td> </tr></table>
+
$$
 +
r ( n ) \  = \  \int\limits _ { 0 } ^ { 1 }  F ( \alpha ) e ^ {2 \pi i \alpha a _ i} \  d \alpha ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068011.png" /></td> </tr></table>
+
are used instead of power series. A main part of  $  r(n) $,
 +
located in intervals distributed over neighbourhoods of rational points, is extracted. Instead of the analytic properties of  $  F(z) $
 +
which, in several problems of additive number theory, necessitate the use of hypotheses related to the Riemann hypothesis (cf. [[Riemann hypotheses|Riemann hypotheses]]), a crucial role in the calculation of  $  r (n) $
 +
is played by purely arithmetic estimates of trigonometric sums by Vinogradov's method, and by the law of the distribution of prime numbers in arithmetic progressions, obtained by the analytic methods of the theory of Dirichlet  $  L $-
 +
functions. It was found that, depending on  $  k $,
 +
either  $  r(n) \neq 0 $
 +
for all  $  n \geq  1 $
 +
or  $  r(n) \neq 0 $
 +
for sufficiently large  $  n $(
 +
$  n \geq  n _ {0} (A) $),
 +
or the relation  $  r(n) \neq 0 $
 +
is valid for almost all values of  $  n $,
 +
i.e.
  
are used instead of power series. A main part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068012.png" />, located in intervals distributed over neighbourhoods of rational points, is extracted. Instead of the analytic properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068013.png" /> which, in several problems of additive number theory, necessitate the use of hypotheses related to the Riemann hypothesis (cf. [[Riemann hypotheses|Riemann hypotheses]]), a crucial role in the calculation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068014.png" /> is played by purely arithmetic estimates of trigonometric sums by Vinogradov's method, and by the law of the distribution of prime numbers in arithmetic progressions, obtained by the analytic methods of the theory of Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068015.png" />-functions. It was found that, depending on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068016.png" />, either <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068017.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068018.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068019.png" /> for sufficiently large <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068020.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068021.png" />), or the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068022.png" /> is valid for almost all values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068023.png" />, i.e.
+
$$
 +
\lim\limits _ {x \rightarrow \infty} \
 +
\left \{
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068024.png" /></td> </tr></table>
+
\frac{\sum _ {\begin{array}{c}
 +
n \leq  x , \\
 +
r( n ) \neq 0
 +
\end{array}
 +
} 1}{x}
 +
\right \} \  = \  1 ,
 +
$$
  
or, finally, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068025.png" /> can be expressed by an asymptotic formula. The smallest number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068026.png" /> satisfying one of the properties above is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068027.png" />, or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068028.png" />, respectively. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068029.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068030.png" /> is the sequence of prime numbers, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068031.png" />, then one obtains Vinogradov's theorem: Every sufficiently large odd integer can be represented as a sum of three prime numbers; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068032.png" />, one obtains Chudakov's theorem: Almost all even integers can be represented as a sum of two prime numbers.
+
or, finally, $  r(n) $
 +
can be expressed by an asymptotic formula. The smallest number $  k $
 +
satisfying one of the properties above is denoted by $  g(A),\  G(A),\  G _ {0} (A) $,  
 +
or $  k _ {0} (A) $,  
 +
respectively. If $  \{ a _ {i} \} = \{ p \} $,  
 +
where $  \{ p \} $
 +
is the sequence of prime numbers, and $  k = 3 $,  
 +
then one obtains Vinogradov's theorem: Every sufficiently large odd integer can be represented as a sum of three prime numbers; if $  k = 2 $,  
 +
one obtains Chudakov's theorem: Almost all even integers can be represented as a sum of two prime numbers.
  
Certain problems in additive number theory are solved by studying the structure of the sets obtained by addition of sequences <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068033.png" /> given only in terms of their densities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068034.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068035.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068036.png" />, then the positivity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068037.png" /> implies that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068038.png" />. The application of this result to problems in additive number theory in which sequences of density zero are added, is realized by constructing a new sequence, with a positive density, from the given sequence. This is done, mainly, by sieve methods (cf. [[Sieve method|Sieve method]]), by which it can be proved that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068039.png" /> is positive. It was shown by L.G. Shnirel'man in this way that positive integers can be represented as a sum of a bounded number of prime summands, while Yu.V. Linnik found an elementary solution of Waring's problem.
+
Certain problems in additive number theory are solved by studying the structure of the sets obtained by addition of sequences $  A _ {i} = \{ a _ {i} \} $
 +
given only in terms of their densities $  d (A _ {i} ) = \inf _ {n} \  A _ {i} (n) / n $,  
 +
where $  A _ {i} (n) = \sum _ {1 \leq  a _ {i}  \leq  n} 1 $.  
 +
If $  A _ {1} = \dots = A _ {k} = A $,  
 +
then the positivity of $  d ( A _ {i} ) $
 +
implies that $  g(A) < \infty $.  
 +
The application of this result to problems in additive number theory in which sequences of density zero are added, is realized by constructing a new sequence, with a positive density, from the given sequence. This is done, mainly, by sieve methods (cf. [[Sieve method|Sieve method]]), by which it can be proved that $  d(A _ {i} ) $
 +
is positive. It was shown by L.G. Shnirel'man in this way that positive integers can be represented as a sum of a bounded number of prime summands, while Yu.V. Linnik found an elementary solution of Waring's problem.
  
The elementary sieve methods of V. Brun (cf. [[Brun sieve|Brun sieve]]) and of A. Selberg (cf. [[Selberg sieve|Selberg sieve]]), if applied to a number of problems in additive number theory, yield results which are as yet unobtainable by analytic tools. However, the most advanced solutions of certain problems in additive number theory are obtained by combining analytic and elementary methods. In sieve methods, the principle of sieving the prime numbers out of the sequence of positive integers (cf. [[Eratosthenes, sieve of|Eratosthenes, sieve of]]) is extended to other sequences as well. Thus, a simultaneous, suitably accurate, sieving of the prime numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068040.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068041.png" />, respectively (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068042.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068043.png" /> are suitably chosen positive constants) out of the sequences <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068044.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068045.png" /> yields a solution of the so-called Goldbach–Euler quasi-problem on the representation of an even integer as a sum of two numbers one of which has at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068046.png" />, while the other has at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068047.png" /> prime factors.
+
The elementary sieve methods of V. Brun (cf. [[Brun sieve|Brun sieve]]) and of A. Selberg (cf. [[Selberg sieve|Selberg sieve]]), if applied to a number of problems in additive number theory, yield results which are as yet unobtainable by analytic tools. However, the most advanced solutions of certain problems in additive number theory are obtained by combining analytic and elementary methods. In sieve methods, the principle of sieving the prime numbers out of the sequence of positive integers (cf. [[Eratosthenes, sieve of|Eratosthenes, sieve of]]) is extended to other sequences as well. Thus, a simultaneous, suitably accurate, sieving of the prime numbers $  \leq  n ^ {\theta _ 1} $
 +
and $  \leq  n ^ {\theta _ 2} $,  
 +
respectively (where $  \theta _ {1} < 1 $
 +
and $  \theta _ {2} < 1 $
 +
are suitably chosen positive constants) out of the sequences $  \{ m \} $
 +
and $  \{ 2n - m \} $
 +
yields a solution of the so-called Goldbach–Euler quasi-problem on the representation of an even integer as a sum of two numbers one of which has at most $  k _ {1} $,  
 +
while the other has at most $  k _ {2} $
 +
prime factors.
  
Linnik in 1959 successfully solved the Hardy–Littlewood problem by the [[Dispersion method|dispersion method]] developed by him. He showed [[#References|[2]]] that any sufficiently large integer can be represented as the sum of a prime number and two squares of integers. The dispersion method yielded solutions of several so-called binary problems, viz. how to find the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068048.png" /> of solutions of the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068049.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068050.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068051.png" /> run through given sequences which are sufficiently well distributed in arithmetic progressions. Linnik's method involves the use of elementary concepts of probability theory, which were also employed by P.L. Chebyshev in his proof of the law of large numbers. It consists of reducing the given binary equation to a large number of auxiliary equations for which the expected number of solutions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068052.png" /> and the true numbers of solutions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068053.png" /> of the equations are connected. If it is shown by a computation of the dispersion that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068054.png" /> does not differ much from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068055.png" /> "in the mean" , then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010680/a01068056.png" /> (within an acceptable error). The dispersion method was also employed in the study of the general Hardy–Littlewood equation.
+
Linnik in 1959 successfully solved the Hardy–Littlewood problem by the [[Dispersion method|dispersion method]] developed by him. He showed [[#References|[2]]] that any sufficiently large integer can be represented as the sum of a prime number and two squares of integers. The dispersion method yielded solutions of several so-called binary problems, viz. how to find the number $  Q (n) $
 +
of solutions of the equation $  \alpha + \beta = n $,  
 +
where $  \alpha $
 +
and $  \beta $
 +
run through given sequences which are sufficiently well distributed in arithmetic progressions. Linnik's method involves the use of elementary concepts of probability theory, which were also employed by P.L. Chebyshev in his proof of the law of large numbers. It consists of reducing the given binary equation to a large number of auxiliary equations for which the expected number of solutions $  S _ {i} (n) $
 +
and the true numbers of solutions $  Q _ {i} (n) $
 +
of the equations are connected. If it is shown by a computation of the dispersion that $  Q _ {i} (n) $
 +
does not differ much from  $  S _ {i} (n) $"
 +
in the mean" , then $  Q (n) = \sum S _ {i} (n) $(
 +
within an acceptable error). The dispersion method was also employed in the study of the general Hardy–Littlewood equation.
  
 
The range of application of the dispersion method intersects with the range of application of the method of the [[Large sieve|large sieve]], developed in 1941 by Linnik. The method makes it possible to sieve out sequences with the aid of prime numbers, with an increasing number of discarded residues. Actually, the method of the large sieve is a consequence of the laws of distribution of weakly-dependent random variables.
 
The range of application of the dispersion method intersects with the range of application of the method of the [[Large sieve|large sieve]], developed in 1941 by Linnik. The method makes it possible to sieve out sequences with the aid of prime numbers, with an increasing number of discarded residues. Actually, the method of the large sieve is a consequence of the laws of distribution of weakly-dependent random variables.
Line 43: Line 117:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I.M. Vinogradov,  , ''Selected works'' , Springer  (1985)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  Yu.V. Linnik,  "The dispersion method in binary additive problems" , Amer. Math. Soc.  (1963)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L.-K. Hua,  "Abschätzungen von Exponentialsummen und ihre Anwendung in der Zahlentheorie" , ''Enzyklopaedie der Mathematischen Wissenschaften mit Einschluss ihrer Anwendungen'' , '''1''' :  2  (1959)  (Heft 13, Teil 1)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  H.H. Ostmann,  "Additive Zahlentheorie" , Springer  (1956)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  N.G. Chudakov,  ''Uspekhi Mat. Nauk'' , '''4'''  (1938)  pp. 14–33</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  B.M. Bredikhin,  "The dispersion method and definite binary additive problems"  ''Russian Math. Surveys'' , '''20''' :  2  (1965)  pp. 85–125  ''Uspekhi Mat. Nauk'' , '''20''' :  2  (1965)  pp. 89–130</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  H. Davenport,  "Multiplicative number theory" , Springer  (1980)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  H. Halberstam,  H.-E. Richert,  "Sieve methods" , Acad. Press  (1974)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I.M. Vinogradov,  , ''Selected works'' , Springer  (1985)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  Yu.V. Linnik,  "The dispersion method in binary additive problems" , Amer. Math. Soc.  (1963)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L.-K. Hua,  "Abschätzungen von Exponentialsummen und ihre Anwendung in der Zahlentheorie" , ''Enzyklopaedie der Mathematischen Wissenschaften mit Einschluss ihrer Anwendungen'' , '''1''' :  2  (1959)  (Heft 13, Teil 1)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  H.H. Ostmann,  "Additive Zahlentheorie" , Springer  (1956)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  N.G. Chudakov,  ''Uspekhi Mat. Nauk'' , '''4'''  (1938)  pp. 14–33</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  B.M. Bredikhin,  "The dispersion method and definite binary additive problems"  ''Russian Math. Surveys'' , '''20''' :  2  (1965)  pp. 85–125  ''Uspekhi Mat. Nauk'' , '''20''' :  2  (1965)  pp. 89–130</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  H. Davenport,  "Multiplicative number theory" , Springer  (1980)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  H. Halberstam,  H.-E. Richert,  "Sieve methods" , Acad. Press  (1974)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====

Latest revision as of 13:03, 8 February 2020


The branch of number theory dealing with problems involving the partitioning (or decomposition) of integers into summands of a given type, and also with the algebraic and geometric analogues of such problems concerning algebraic number fields and sets of lattice points. These problems are said to be additive, and the ones usually considered are partition problems of large integers.

Classical problems in additive number theory include: the representation of a number as a sum of four squares, nine cubes, etc. (cf. Waring problem); the representation of a given number as a sum of not more than three prime numbers (cf. Goldbach problem); and the representation of a given number as a sum of one prime number and two squares (cf. Hardy–Littlewood problem). Problems in additive number theory are solved by analytic, algebraic, elementary and mixed methods, and also by methods based on probabilistic concepts. Depending on the method selected, additive problems form a part of various branches of number theory — analytic, algebraic and probabilistic number theory.

The first systematic results in this field were obtained in 1748 by L. Euler, who employed power series to study the partition of integers into positive summands; in particular, he investigated the problem of partitioning a given number into a given number of summands.

Many classical problems in additive number theory are solved by means of generating functions. This method was introduced by Euler and forms the basis of the analytic methods developed by G.H. Hardy, J.E. Littlewood and I.M. Vinogradov. As a first step, assign to given sequences $ A _ {i} = \{ a _ {i} \} $( where $ a _ {i} \geq 0 $ is an integer, and $ i = 1,\ 2 ,\dots $) the power series

$$ f _ {i} ( z ) \ = \ \sum _ {0 \leq a _ {i} < \infty} z ^ {a} _ {i} $$

and consider the corresponding generating function

$$ F ( z ) \ = \ \prod _ {i=1} ^ { k } f _ {i} ( z ) \ = \ \sum _ {n = 0} ^ \infty r ( n ) z ^ {n} , $$

where $ r(n) = r _ {k,A} (n) $ is the number of representations of the number $ n $ in the form

$$ n \ = \ a _ {1} + \dots + a _ {k} ,\ \ a _ {i} \ \in \ A _ {i} ,\ \ A \ = \ \{ A _ {1} ,\ A _ {2} ,\dots \} . $$

Here $ r(n) $ can be calculated using the Cauchy integral. In Vinogradov's method trigonometric sums

$$ f _ {i} ( \alpha ) \ = \ \sum _ {0 \leq a _ {i} \leq n} e ^ {2 \pi i \alpha a _ i} , $$

$$ r ( n ) \ = \ \int\limits _ { 0 } ^ { 1 } F ( \alpha ) e ^ {2 \pi i \alpha a _ i} \ d \alpha , $$

are used instead of power series. A main part of $ r(n) $, located in intervals distributed over neighbourhoods of rational points, is extracted. Instead of the analytic properties of $ F(z) $ which, in several problems of additive number theory, necessitate the use of hypotheses related to the Riemann hypothesis (cf. Riemann hypotheses), a crucial role in the calculation of $ r (n) $ is played by purely arithmetic estimates of trigonometric sums by Vinogradov's method, and by the law of the distribution of prime numbers in arithmetic progressions, obtained by the analytic methods of the theory of Dirichlet $ L $- functions. It was found that, depending on $ k $, either $ r(n) \neq 0 $ for all $ n \geq 1 $ or $ r(n) \neq 0 $ for sufficiently large $ n $( $ n \geq n _ {0} (A) $), or the relation $ r(n) \neq 0 $ is valid for almost all values of $ n $, i.e.

$$ \lim\limits _ {x \rightarrow \infty} \ \left \{ \frac{\sum _ {\begin{array}{c} n \leq x , \\ r( n ) \neq 0 \end{array} } 1}{x} \right \} \ = \ 1 , $$

or, finally, $ r(n) $ can be expressed by an asymptotic formula. The smallest number $ k $ satisfying one of the properties above is denoted by $ g(A),\ G(A),\ G _ {0} (A) $, or $ k _ {0} (A) $, respectively. If $ \{ a _ {i} \} = \{ p \} $, where $ \{ p \} $ is the sequence of prime numbers, and $ k = 3 $, then one obtains Vinogradov's theorem: Every sufficiently large odd integer can be represented as a sum of three prime numbers; if $ k = 2 $, one obtains Chudakov's theorem: Almost all even integers can be represented as a sum of two prime numbers.

Certain problems in additive number theory are solved by studying the structure of the sets obtained by addition of sequences $ A _ {i} = \{ a _ {i} \} $ given only in terms of their densities $ d (A _ {i} ) = \inf _ {n} \ A _ {i} (n) / n $, where $ A _ {i} (n) = \sum _ {1 \leq a _ {i} \leq n} 1 $. If $ A _ {1} = \dots = A _ {k} = A $, then the positivity of $ d ( A _ {i} ) $ implies that $ g(A) < \infty $. The application of this result to problems in additive number theory in which sequences of density zero are added, is realized by constructing a new sequence, with a positive density, from the given sequence. This is done, mainly, by sieve methods (cf. Sieve method), by which it can be proved that $ d(A _ {i} ) $ is positive. It was shown by L.G. Shnirel'man in this way that positive integers can be represented as a sum of a bounded number of prime summands, while Yu.V. Linnik found an elementary solution of Waring's problem.

The elementary sieve methods of V. Brun (cf. Brun sieve) and of A. Selberg (cf. Selberg sieve), if applied to a number of problems in additive number theory, yield results which are as yet unobtainable by analytic tools. However, the most advanced solutions of certain problems in additive number theory are obtained by combining analytic and elementary methods. In sieve methods, the principle of sieving the prime numbers out of the sequence of positive integers (cf. Eratosthenes, sieve of) is extended to other sequences as well. Thus, a simultaneous, suitably accurate, sieving of the prime numbers $ \leq n ^ {\theta _ 1} $ and $ \leq n ^ {\theta _ 2} $, respectively (where $ \theta _ {1} < 1 $ and $ \theta _ {2} < 1 $ are suitably chosen positive constants) out of the sequences $ \{ m \} $ and $ \{ 2n - m \} $ yields a solution of the so-called Goldbach–Euler quasi-problem on the representation of an even integer as a sum of two numbers one of which has at most $ k _ {1} $, while the other has at most $ k _ {2} $ prime factors.

Linnik in 1959 successfully solved the Hardy–Littlewood problem by the dispersion method developed by him. He showed [2] that any sufficiently large integer can be represented as the sum of a prime number and two squares of integers. The dispersion method yielded solutions of several so-called binary problems, viz. how to find the number $ Q (n) $ of solutions of the equation $ \alpha + \beta = n $, where $ \alpha $ and $ \beta $ run through given sequences which are sufficiently well distributed in arithmetic progressions. Linnik's method involves the use of elementary concepts of probability theory, which were also employed by P.L. Chebyshev in his proof of the law of large numbers. It consists of reducing the given binary equation to a large number of auxiliary equations for which the expected number of solutions $ S _ {i} (n) $ and the true numbers of solutions $ Q _ {i} (n) $ of the equations are connected. If it is shown by a computation of the dispersion that $ Q _ {i} (n) $ does not differ much from $ S _ {i} (n) $" in the mean" , then $ Q (n) = \sum S _ {i} (n) $( within an acceptable error). The dispersion method was also employed in the study of the general Hardy–Littlewood equation.

The range of application of the dispersion method intersects with the range of application of the method of the large sieve, developed in 1941 by Linnik. The method makes it possible to sieve out sequences with the aid of prime numbers, with an increasing number of discarded residues. Actually, the method of the large sieve is a consequence of the laws of distribution of weakly-dependent random variables.

Additive number theory includes problems whose systematic study belongs to other branches of number theory: the problem of representing integers by quadratic or higher-degree expressions; and the study of Diophantine equations, which may be treated in the framework of general additive number theory.

In modern number theory various branches of additive number theory are now being intensively developed. There is a trend to transfer the problems and methods of additive number theory to arbitrary algebraic number fields.

References

[1] I.M. Vinogradov, , Selected works , Springer (1985) (Translated from Russian)
[2] Yu.V. Linnik, "The dispersion method in binary additive problems" , Amer. Math. Soc. (1963) (Translated from Russian)
[3] L.-K. Hua, "Abschätzungen von Exponentialsummen und ihre Anwendung in der Zahlentheorie" , Enzyklopaedie der Mathematischen Wissenschaften mit Einschluss ihrer Anwendungen , 1 : 2 (1959) (Heft 13, Teil 1)
[4] H.H. Ostmann, "Additive Zahlentheorie" , Springer (1956)
[5] N.G. Chudakov, Uspekhi Mat. Nauk , 4 (1938) pp. 14–33
[6] B.M. Bredikhin, "The dispersion method and definite binary additive problems" Russian Math. Surveys , 20 : 2 (1965) pp. 85–125 Uspekhi Mat. Nauk , 20 : 2 (1965) pp. 89–130
[7] H. Davenport, "Multiplicative number theory" , Springer (1980)
[8] H. Halberstam, H.-E. Richert, "Sieve methods" , Acad. Press (1974)

Comments

Elementary formulas for the number of partitions of an integer can be found in [a1], Chapt. XIX. To derive such formulas the method of generating functions (cf. Generating function) can be used.

The standard reference on the early historical aspects is, of course, [a2].

References

[a1] G.H. Hardy, E.M. Wright, "An introduction to the theory of numbers" , Clarendon Press (1979)
[a2] L.E. Dickson, "History of the theory of numbers" , 1–3 , Chelsea, reprint (1971)
How to Cite This Entry:
Additive number theory. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Additive_number_theory&oldid=44393
This article was adapted from an original article by B.M. Bredikhin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article