27 Functions of Number TheoryAdditive Number Theory27.12 Asymptotic Formulas: Primes27.14 Unrestricted Partitions

- §27.13(i) Introduction
- §27.13(ii) Goldbach Conjecture
- §27.13(iii) Waring’s Problem
- §27.13(iv) Representation by Squares

Whereas multiplicative number theory is concerned with functions arising from
prime factorization, additive number theory treats functions related to
addition of integers. The basic problem is that of expressing a given positive
integer $n$ as a sum of integers from some prescribed set $S$ whose members are
primes, squares, cubes, or other special integers. Each representation of $n$
as a sum of elements of $S$ is called a *partition* of $n$, and the number
$S(n)$ of such partitions is often of great interest. The subsections that
follow describe problems from additive number theory. See also
Apostol (1976, Chapter 14) and Apostol and Niven (1994, pp. 33–34).

*Every even integer $n>4$ is the sum of two odd primes.* In this case,
$S(n)$ is the number of solutions of the equation $n=p+q$, where $p$ and $q$
are odd primes. Goldbach’s assertion is that $S(n)\ge 1$ for all even
$n>4$. This conjecture dates back to 1742 and was undecided in 2009,
although it has been confirmed numerically up to very
large numbers. Vinogradov (1937) proves that every sufficiently large
odd integer is the sum of three odd primes, and Chen (1966) shows
that every sufficiently large even integer is the sum of a prime and a number
with no more than two prime factors.

The current status of Goldbach’s conjecture is described in the Wikipedia.

This problem is named after Edward Waring who, in 1770, stated without proof and with limited numerical evidence, that every positive integer $n$ is the sum of four squares, of nine cubes, of nineteen fourth powers, and so on. Waring’s problem is to find, for each positive integer $k$, whether there is an integer $m$ (depending only on $k$) such that the equation

27.13.1 | $$n={x}_{1}^{k}+{x}_{2}^{k}+\mathrm{\cdots}+{x}_{m}^{k}$$ | ||

has nonnegative integer solutions for all $n\ge 1$. The smallest $m$ that exists for a given $k$ is denoted by $g\left(k\right)$. Similarly, $G\left(k\right)$ denotes the smallest $m$ for which (27.13.1) has nonnegative integer solutions for all sufficiently large $n$.

Lagrange (1770) proves that $g\left(2\right)=4$, and during the next 139 years the existence of $g\left(k\right)$ was shown for $k=3,4,5,6,7,8,10$. Hilbert (1909) proves the existence of $g\left(k\right)$ for every $k$ but does not determine its corresponding numerical value. The exact value of $g\left(k\right)$ is now known for every $k\le 200,000$. For example, $g\left(3\right)=9$, $g\left(4\right)=19$, $g\left(5\right)=37$, $g\left(6\right)=73$, $g\left(7\right)=143$, and $g\left(8\right)=279$. A general formula states that

27.13.2 | $$g\left(k\right)\ge {2}^{k}+\lfloor \frac{{3}^{k}}{{2}^{k}}\rfloor -2,$$ | ||

for all $k\ge 2$, with equality if $4\le k\le 200,000$. If ${3}^{k}=q{2}^{k}+r$ with $$, then equality holds in (27.13.2) provided $r+q\le {2}^{k}$, a condition that is satisfied with at most a finite number of exceptions.

The existence of $G\left(k\right)$ follows from that of $g\left(k\right)$ because $G\left(k\right)\le g\left(k\right)$, but only the values $G\left(2\right)=4$ and $G\left(4\right)=16$ are known exactly. Some upper bounds smaller than $g\left(k\right)$ are known. For example, $G\left(3\right)\le 7$, $G\left(5\right)\le 23$, $G\left(6\right)\le 36$, $G\left(7\right)\le 53$, and $G\left(8\right)\le 73$. Hardy and Littlewood (1925) conjectures that $$ when $k$ is not a power of 2, and that $G\left(k\right)\le 4k$ when $k$ is a power of 2, but the most that is known (in 2009) is $$ for some constant $c$. A survey is given in Ellison (1971).

For a given integer $k\ge 2$ the function ${r}_{k}\left(n\right)$ is defined as the number of solutions of the equation

27.13.3 | $$n={x}_{1}^{2}+{x}_{2}^{2}+\mathrm{\cdots}+{x}_{k}^{2},$$ | ||

where the ${x}_{j}$ are integers, positive, negative, or zero, and the order of the summands is taken into account.

Jacobi (1829) notes that ${r}_{2}\left(n\right)$ is the coefficient of ${x}^{n}$ in the square of the theta function $\vartheta \left(x\right)$:

27.13.4 | $$\vartheta \left(x\right)=1+2\sum _{m=1}^{\mathrm{\infty}}{x}^{{m}^{2}},$$ | ||

$$. | |||

(In §20.2(i), $\vartheta \left(x\right)$ is denoted by ${\theta}_{3}(0,x)$.) Thus,

27.13.5 | $${(\vartheta \left(x\right))}^{2}=1+\sum _{n=1}^{\mathrm{\infty}}{r}_{2}\left(n\right){x}^{n}.$$ | ||

One of Jacobi’s identities implies that

27.13.6 | $${(\vartheta \left(x\right))}^{2}=1+4\sum _{n=1}^{\mathrm{\infty}}\left({\delta}_{1}(n)-{\delta}_{3}(n)\right){x}^{n},$$ | ||

where ${\delta}_{1}(n)$ and ${\delta}_{3}(n)$ are the number of divisors of $n$ congruent respectively to 1 and 3 (mod 4), and by equating coefficients in (27.13.5) and (27.13.6) Jacobi deduced that

27.13.7 | $${r}_{2}\left(n\right)=4\left({\delta}_{1}(n)-{\delta}_{3}(n)\right).$$ | ||

Hence ${r}_{2}\left(5\right)=8$ because both divisors, $1$ and $5$, are congruent to $1\phantom{\rule{0.949em}{0ex}}(mod4)$. In fact, there are four representations, given by $5={2}^{2}+{1}^{2}={2}^{2}+{(-1)}^{2}={(-2)}^{2}+{1}^{2}={(-2)}^{2}+{(-1)}^{2}$, and four more with the order of summands reversed.

By similar methods Jacobi proved that ${r}_{4}\left(n\right)=8{\sigma}_{1}\left(n\right)$ if $n$ is odd, whereas, if $n$ is even, ${r}_{4}\left(n\right)=24$ times the sum of the odd divisors of $n$. Mordell (1917) notes that ${r}_{k}\left(n\right)$ is the coefficient of ${x}^{n}$ in the power-series expansion of the $k$th power of the series for $\vartheta \left(x\right)$. Explicit formulas for ${r}_{k}\left(n\right)$ have been obtained by similar methods for $k=6,8,10$, and $12$, but they are more complicated. Exact formulas for ${r}_{k}\left(n\right)$ have also been found for $k=3,5$, and $7$, and for all even $k\le 24$. For values of $k>24$ the analysis of ${r}_{k}\left(n\right)$ is considerably more complicated (see Hardy (1940)). Also, Milne (1996, 2002) announce new infinite families of explicit formulas extending Jacobi’s identities. For more than 8 squares, Milne’s identities are not the same as those obtained earlier by Mordell and others.