Waringsches Problem
# Waringsches Problem

Das Waringsche Problem ist ein Problem der Zahlentheorie. Es verallgemeinert den Vier-Quadrate-Satz, der besagt, dass jede natürliche Zahl als Summe von vier Quadratzahlen dargestellt werden kann. In seinem Werk Meditationes algebraicae (1770) stellte Edward Waring die Vermutung auf, dass es für jeden Exponenten k eine solche gemeinsame Summandenanzahl geben müsse. Das Waringsche Problem gilt heute als gelöst.

## Das Waringsche Problem
### Formulierung

Zu jedem natürlichen Exponenten $k\in \mathbb {N}$ existiert eine natürliche Zahl $g(k)\in \mathbb {N}$ derart, dass jede Zahl $n\in \mathbb {N}$ als Summe von höchstens $g(k)$ $k$-ten Potenzen dargestellt werden kann, also eine Darstellung der Form
    $n={a_{1}}^{k}+{a_{2}}^{k}\cdots +{a_{g}}^{k}$
mit natürlichen Zahlen $g,\ a_{1},a_{2},\dots ,a_{g}\in \mathbb {N}$ besitzt, wobei $g\leq g(k)$ ist.

### Erläuterungen

Darüber hinaus wird dann üblicherweise nach der kleinsten derartigen Zahl $g(k)$ gefragt. Beispielsweise besagt der Vier-Quadrate-Satz, dass jede natürliche Zahl durch eine Summe von vier Quadratzahlen darstellbar ist, also $g(2)\leq 4$. Da, wie die Zahl $7=2^{2}+1^{2}+1^{2}+1^{2}$ zeigt, drei Quadrate nicht immer genügen, muss $g(2)\geq 4$ sein, insgesamt also $g(2)=4$.
Während man also 4 Quadrate für die Zahl 7 benötigt, sind 9 Kubikzahlen für die Zahl 23 erforderlich und 19 vierte Potenzen für die Zahl 79. Waring vermutete, dass diese Werte die höchstmöglichen sind, also $g(2)=4,g(3)=9$ und $g(4)=19$.

## Lösungen für kleine Exponenten

Warings Vermutung wurde 1909 von David Hilbert bewiesen. Die Aussage wird deshalb manchmal auch als Satz von Waring-Hilbert bezeichnet. Der Hilbertsche Beweis wurde 1912 durch Robert Remak und Erik Stridsberg vereinfacht. Einen elementaren Beweis für das Waringsche Problem, der andere Ideen als Hilbert nutzte, lieferte 1942 Juri Wladimirowitsch Linnik mithilfe von Ergebnissen von Lew Schnirelman.
k=2: Durch den Vier-Quadrate-Satz ist $g(2)=4$ bewiesen.
k=3: Dass $g(3)=9$ ist, wurde in den Jahren 1909 bis 1912 von Arthur Wieferich und Aubrey J. Kempner (1880–1973) bewiesen. Edmund Landau konnte ebenfalls bereits im Jahr 1909 zeigen, dass nur endlich viele natürliche Zahlen neun Kuben benötigen, jede hinreichend große Zahl also als Summe von acht Kuben darstellbar ist, und Leonard E. Dickson fand 1939, dass 23 und 239 die beiden einzigen Zahlen sind, die tatsächlich neun Kuben benötigen. Schon Arthur Wieferich vermutete, dass tatsächlich nur 15 Zahlen acht und nur 121 Zahlen sieben Kuben benötigen. Heute wird allgemein angenommen, dass man nur für Zahlen ≤ 454 acht Kuben (oder neun für 23 und 239), für Zahlen ≤ 8.042 sieben Kuben und für Zahlen ≤ 1.290.740 sechs Kuben benötigt, alle hinreichend großen Zahlen also als Summe von fünf Kuben darstellbar sind. Den Beweis des Sieben-Kuben-Satzes konnte als erster 1941 Juri Linnik führen, von George Leo Watson wurde er 1951 deutlich vereinfacht.
k=4: $g(4)=19$ wurde 1986 von Ramachandran Balasubramanian, François Dress und Jean-Marc Deshouillers gezeigt. Bereits seit 1939 weiß man außerdem, dass jede hinreichend große Zahl als Summe von 16 Biquadraten darstellbar ist, die Menge der Zahlen, die tatsächlich 17, 18 oder 19 vierte Potenzen benötigen, also endlich ist. Dieser Wert kann nicht verbessert werden.
k>4: $g(5)=37$ wurde im Jahr 1964 von Chen Jingrun nachgewiesen. S. Sivasankaranarayana Pillai zeigte 1940 $g(6)=73$, und Leonard E. Dickson 1937 $g(7)=143$.

## Allgemeine Lösung

Durch die Arbeiten von Leonard Dickson, Pillai, R. K. Rubugunday und Ivan M. Niven sind nun alle anderen g(k) ebenfalls bekannt.
    $g(k)={\begin{cases}\left\lfloor \left({\frac {3}{2}}\right)^{k}\right\rfloor +2^{k}-2&{\text{ für }}k\leq 6{\text{ oder }}3^{k}-2^{k}+2<(2^{k}-1)\left\lfloor \left({\frac {3}{2}}\right)^{k}\right\rfloor \\\left\lfloor \left({\frac {3}{2}}\right)^{k}\right\rfloor +\left\lfloor \left({\frac {4}{3}}\right)^{k}\right\rfloor +2^{k}-c_{k}&{\text{ für }}k>6{\text{ und }}3^{k}-2^{k}+2\geq (2^{k}-1)\left\lfloor \left({\frac {3}{2}}\right)^{k}\right\rfloor \end{cases}}$,
wobei $c_{k}\in \{2,3\}$ und $\textstyle c_{k}=2\Leftrightarrow \left\lfloor \left({\frac {3}{2}}\right)^{k}\right\rfloor \cdot \left\lfloor \left({\frac {4}{3}}\right)^{k}\right\rfloor +\left\lfloor \left({\frac {3}{2}}\right)^{k}\right\rfloor +\left\lfloor \left({\frac {4}{3}}\right)^{k}\right\rfloor =2^{k}$.
Es wird vermutet, dass der zweite Fall für kein k auftritt. Die Bedingung für den ersten Fall ist für alle $6\leq k\leq 200.000$ erfüllt und es ist bekannt, dass es höchstens endlich viele $k$ geben kann, für die der zweite Fall überhaupt in Frage käme. Sollte sich diese Vermutung bestätigen, so könnte man obige Formel zu
    $g(k)=\left\lfloor \left({\frac {3}{2}}\right)^{k}\right\rfloor +2^{k}-2$
vereinfachen.
(Folge A002804 in OEIS)
Für größere $k$ kann die Anzahl auch mit $g(k)\approx 2^{k}$ abgeschätzt werden.

## Kleinste Zahl a(k)

Die jeweils kleinste Zahl $a(k),$ die im Waringschen Problem die maximale Anzahl $g(k)$ an Summanden benötigt, ist für kleine $k$:
(Folge A018886 in OEIS)
Beispiel für $k=3$: Demnach ist jede Zahl als Summe von 9 Dreierpotenzen (Kuben) darstellbar. 23 ist die kleinste Zahl, die nicht als Summe von weniger als 9 Kuben dargestellt werden kann, es ist $23=2^{3}+2^{3}+1^{3}+1^{3}+1^{3}+1^{3}+1^{3}+1^{3}+1^{3}$.

## Quellen und Literatur

* Helmut Koch, Herbert Pieper: Zahlentheorie. Ausgewählte Methoden und Ergebnisse (= Studienbücherei). VEB Deutscher Verlag der Wissenschaften, Berlin 1976.
* Melvyn B. Nathanson: Additive Number Theory. The Classical Bases (= Graduate Texts in Mathematics. Band 164). Springer-Verlag, New York 1996, ISBN 0-387-94656-X.
* Edward Waring: Meditationes algebraicae. Cambridge $^3$1782.
* Dennis Weeks (Hrsg.): Meditationes algebraicae. An English translation of the work of Edward Waring. Providence: American Mathematical Society, 1991. ISBN 0821801694.