Hilbert-Waring Theorem/Variant Form

Theorem

For each $k \in \Z: k \ge 2$, there exists a positive integer $G \left({k}\right)$ such that every sufficiently large positive integer can be expressed as a sum of at most $G \left({k}\right)$ $k$th powers.

Particular Cases

Hilbert-Waring Theorem -- Variant Form: $k = 2$

The case where $k = 2$ is proved by Lagrange's Four Square Theorem‎:

$G \left({2}\right) = 4$

That is, every sufficiently large positive integer can be expressed as the sum of at most $4$ squares.

Hilbert-Waring Theorem -- Variant Form: $k = 3$

The case where $k = 3$ is:

Every sufficiently large positive integer can be expressed as the sum of a number of positive cubes.

The exact number is the subject of ongoing research, but at the time of writing ($11$th February $2017$) it is known that it is between $4$ and $7$.

That is:

$4 \le \map G 3 \le 7$

Hilbert-Waring Theorem -- Variant Form: $k = 4$

The case where $k = 4$ is:

Every sufficiently large positive integer can be expressed as the sum of at most $16$ $4$th powers.

That is:

$\map G 4 = 16$

Hilbert-Waring Theorem -- Variant Form: $k = 7$

The case where $k = 7$ is:

Every sufficiently large positive integer can be expressed as the sum of a number of positive $7$th powers.

The exact number is the subject of ongoing research, but at the time of writing ($20$th December $2018$) it is known that it is between $8$ and $33$.

That is:

$8 \le \map G 3 \le 33$

Proof

This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Also known as

The Hilbert-Waring Theorem is often referred to as Waring's Problem, which was how it was named before David Hilbert proved it in $1909$.

Source of Name

This entry was named for David Hilbert and Edward Waring.

Historical Note

The Hilbert-Waring Theorem was conjectured by Edward Waring in $1770$ in Meditationes Algebraicae, and was generally referred to as Waring's problem.

It was proved by David Hilbert in $1909$.

Its variant form was investigated by Godfrey Harold Hardy and John Edensor Littlewood.

The assertion is that for each $k$ there exist such a number $G \left({k}\right)$.

The problem remains to determine what that $G \left({k}\right)$ actually is.