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 eine solche gemeinsame Summandenanzahl geben müsse. Das Waringsche Problem gilt heute als gelöst.
Das Waringsche Problem
Formulierung
Zu jedem natürlichen Exponenten <math>k \in \mathbb{N} </math> existiert eine natürliche Zahl <math>g(k) \in \mathbb{N}</math> derart, dass jede Zahl <math>n \in \mathbb{N}</math> als Summe von höchstens <math>g(k)</math> <math>k</math>-ten Potenzen dargestellt werden kann, also eine Darstellung der Form
- <math>n = {a_1}^k + {a_2}^k \cdots + {a_g}^k</math>
mit natürlichen Zahlen <math>g, \ a_1,a_2,\dots,a_g\in\mathbb{N} </math> besitzt, wobei <math>g \leq g(k)</math> ist.
Erläuterungen
Darüber hinaus wird dann üblicherweise nach der kleinsten derartigen Zahl <math>g(k)</math> gefragt. Beispielsweise besagt der Vier-Quadrate-Satz, dass jede natürliche Zahl durch eine Summe von vier Quadratzahlen darstellbar ist, also <math>g(2)\le 4</math>. Da, wie die Zahl <math>7 = 2^2 + 1^2 + 1^2 + 1^2</math> zeigt, drei Quadrate nicht immer genügen, muss <math>g(2)\ge 4</math> sein, insgesamt also <math>g(2) = 4</math>.
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 <math>g(2) = 4, g(3) = 9</math> und <math>g(4) = 19</math>.
Lösungen für kleine Exponenten
Warings Vermutung wurde 1909 von David Hilbert bewiesen.<ref>David Hilbert: Beweis für die Darstellbarkeit der ganzen Zahlen durch eine feste Anzahl <math>n</math>-ter Potenzen (Waringsches Problem). In: Mathematische Annalen. 67 (1909), S. 281–300. Vgl. Erhard Schmidt: Zum Hilbertschen Beweise des Waringschen Theorems. (Aus einem an Herrn Hilbert gerichteten Briefe.) In: Mathematische Annalen. 74 (1913), Nr. 2, S. 271–274.</ref> Die Aussage wird deshalb manchmal auch als Satz von Waring-Hilbert bezeichnet. Der Hilbertsche Beweis wurde 1912 durch Robert Remak und Erik Stridsberg vereinfacht.<ref>Erik Stridsberg: Sur la démonstration de M.(onsieur) Hilbert du théorème de Waring. In: Mathematische Annalen. 72 (1912), S. 145–152; Robert Remak: Bemerkung zu Herrn Stridsbergs Beweis des Waringschen Theorems. In: Mathematische Annalen 72 (1912), S. 153–156.</ref> 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.<ref>Juri Wladimirowitsch Linnik: Элементарное решение проблемы Waring’a по методу Шнирельмана [= Elementarnoe rešenie problemy Waring’a po metodu Šnirel’mana. (Elementare Lösung des Waringschen Problems mit Schnirelmans Methode.)] (PDF; 614 kB) In: Recueil Mathématique. Математический Сборник [= Matematičeskij Sbornik (Mathematische Sammlung)] N. F. 12/54 (1943), Nr. 2, S. 225–230.</ref>
- k = 2
- Durch den Vier-Quadrate-Satz ist <math>g(2) = 4</math> bewiesen.
- k = 3
- Dass <math>g(3) = 9</math> ist, wurde in den Jahren 1909 bis 1912 von Arthur Wieferich und Aubrey J. Kempner (1880–1973) bewiesen.<ref>Arthur Wieferich: Beweis des Satzes, daß sich eine jede ganze Zahl als Summe von höchstens neun positiven Kuben darstellen läßt. In: Mathematische Annalen. 66 (1909), S. 95–101.</ref><ref>Aubrey John Kempner: Bemerkungen zum Waringschen Problem. In: Mathematische Annalen. 72 (1912), S. 387–399.</ref> Edmund Landau konnte ebenfalls bereits im Jahr 1909 zeigen, dass nur endlich viele natürliche Zahlen neun Kuben benötigen,<ref>Edmund Landau: Über eine Anwendung der Primzahltheorie auf das Waringsche Problem in der elementaren Zahlentheorie. In: Mathematische Annalen. 66 (1909), S. 102–105.</ref> 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.<ref>Leonard Eugene Dickson: All integers except 23 and 239 are sums of eight cubes. (PDF; 376 kB) In: Bulletin of the American Mathematical Society. 45 (1939), S. 588–591.</ref> Schon Arthur Wieferich vermutete, dass tatsächlich nur 15 Zahlen acht und nur 121 Zahlen sieben Kuben benötigen.<ref>Arthur Wieferich: Beweis des Satzes, daß sich eine jede ganze Zahl als Summe von höchstens neun positiven Kuben darstellen läßt. In: Mathematische Annalen. 66 (1909), hier S. 95: „Tabellen der kleinsten Anzahlen von positiven Kuben, in die sich die ganzen Zahlen zerlegen lassen, sind […] für die Zahlen bis 40.000 aufgestellt worden. Aus ihnen ergab sich, daß bis zur Grenze 40.000 hin alle Zahlen größer als 239 sich durch höchstens 8, oberhalb 454 durch höchstens 7 und oberhalb 8.042 durch höchstens 6 Kuben darstellen lassen, so daß vermutlich über eine gewisse Grenze (8.042) hinaus eine jede ganze Zahl als Summe von höchstens 6 Kuben darstellbar ist.“</ref> 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.<ref>Vgl. W. S. Baer: Über die Zerlegung der ganzen Zahlen in sieben Kuben. In: Mathematische Annalen. 74 (1913), Nr. 4, S. 511–514. – François Bertault; Olivier Ramaré; Paul Zimmermann: On sums of seven cubes. (PDF; 243 kB) In: Mathematics of Computation. 68 (1999), Nr. 227, S. 1303–1310.</ref>
- Den Beweis des Sieben-Kuben-Satzes konnte als erster 1941 Juri Linnik führen,<ref>Juri Wladimirowitsch Linnik: On the representation of large numbers as sums of seven cubes. (О разложении больших чисел на семь кубов [= O razloženii bol’šich čsel na sem’ kubov. (Über die Darstellung großer Zahlen als Summe von sieben Kuben.)]) (PDF; 600 kB) In: Comptes Rendus (Doklady) de l’Académie des Sciences de l’URSS. N. F. 35 (1942), Nr. 6, S. 162 ff. Auch in: Recueil Mathématique Математический Сборник [= Matematičeskij Sbornik (Mathematische Sammlung)] N. F. 12/54 (1943), Nr. 2, S. 218–224.</ref> von George Leo Watson wurde er 1951 deutlich vereinfacht.<ref>George Leo Watson: A proof of the seven cubes theorem. In: Journal of the London Mathematical Society. 26 (1951), S. 153–156.</ref>
- k = 4
- <math>g(4) = 19</math> wurde 1986 von Ramachandran Balasubramanian, François Dress und Jean-Marc Deshouillers gezeigt.<ref>Ramachandran Balasubramanian; Jean-Marc Deshouillers; François Dress: Problème de Waring pour les bicarrés. In: Comptes rendus de l’Académie des sciences. Série I: Mathematique 303 (1986), Nr. 4, S. 85–88, Nr. 5, S. 161–163.</ref> 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.<ref>Harold Davenport: On Waring’s Problem for Fourth Powers. In: Annals of Mathematics. 40 (1939), Nr. 4, S. 731–747.</ref> Dieser Wert kann nicht verbessert werden.<ref>Aubrey John Kempner: Bemerkungen zum Waringschen Problem. In: Mathematische Annalen. 72 (1912), hier S. 395–396 (§ 4. Es kommen in der natürlichen Zahlreihe immer wieder Zahlen vor, die mindestens 16 positive Biquadrate erfordern).</ref>
- k = 5 ... 7
- <math>g(5) = 37</math> wurde im Jahr 1964 von Chen Jingrun nachgewiesen.<ref>Chen Jingrun: <templatestyles src="Webarchiv/styles.css" />{{#if:20151218175036
| {{#ifeq: 20151218175036 | *
| {{#if: Waring’s Problem for g(5) = 37 | {{#invoke:WLink|getEscapedTitle|Waring’s Problem for g(5) = 37}} | {{#invoke:Webarchiv|getdomain|http://math.scichina.com:8081/sciAe/fileup/PDF/64ya0335.pdf}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20151218175036}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: Waring’s Problem for g(5) = 37 | {{#invoke:WLink|getEscapedTitle|Waring’s Problem for g(5) = 37}} | {{#invoke:Webarchiv|getdomain|http://math.scichina.com:8081/sciAe/fileup/PDF/64ya0335.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20151218175036}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: Waring’s Problem for g(5) = 37 | {{#invoke:WLink|getEscapedTitle|Waring’s Problem for g(5) = 37}} | {{#invoke:Webarchiv|getdomain|http://math.scichina.com:8081/sciAe/fileup/PDF/64ya0335.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: Waring’s Problem for g(5) = 37 | {{#invoke:WLink|getEscapedTitle|Waring’s Problem for g(5) = 37}} | {{#invoke:Webarchiv|getdomain|http://math.scichina.com:8081/sciAe/fileup/PDF/64ya0335.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: Waring’s Problem for g(5) = 37 | {{#invoke:WLink|getEscapedTitle|Waring’s Problem for g(5) = 37}} | {{#invoke:Webarchiv|getdomain|http://math.scichina.com:8081/sciAe/fileup/PDF/64ya0335.pdf}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: Waring’s Problem for g(5) = 37 | {{#invoke:WLink|getEscapedTitle|Waring’s Problem for g(5) = 37}} | {{#invoke:Webarchiv|getdomain|http://math.scichina.com:8081/sciAe/fileup/PDF/64ya0335.pdf}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20151218175036|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|http://math.scichina.com:8081/sciAe/fileup/PDF/64ya0335.pdf}}
|| {{#if: || }}
}}{{#if: Waring’s Problem for g(5) = 37
| {{#if: {{#invoke:WLink|isBracketedLink|Waring’s Problem for g(5) = 37}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://math.scichina.com:8081/sciAe/fileup/PDF/64ya0335.pdf%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://math.scichina.com:8081/sciAe/fileup/PDF/64ya0335.pdf%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://math.scichina.com:8081/sciAe/fileup/PDF/64ya0335.pdf }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}} (PDF; 501 kB) In: Scientia Sinica. 13 (1964), S. 1547–1568. Auch in: Chinese Mathematics. Acta Scientiarum Mathematicarum. 6 (1965), S. 105–127.</ref>
- <math>g(6) = 73</math> wurde im Jahr 1940 von S. Sivasankaranarayana Pillai gezeigt<ref>Subbayya Sivasankaranarayana Pillai: On Waring’s problem g(6) = 73. In: Proceedings of the Indian Academy of Sciences A 12 (1940). S. 30–40.</ref>, sowie
- <math>g(7) = 143</math> wurde im Jahr 1937 von Leonard E. Dickson gezeigt.
Allgemeine Lösung
Durch die Arbeiten von Leonard Dickson, Pillai, R. K. Rubugunday und Ivan M. Niven sind nun alle anderen <math>g(k)</math> ebenfalls bekannt.<ref>Leonard Eugene Dickson: The Waring Problem and its generalizations. In: Bulletin of the American Mathematical Society. 42 (1936), S. 833–842.</ref><ref>Subbayya Sivasankaranarayana Pillai: On Waring’s Problem. In: Journal of the Indian Mathematical Society. 2 (1936), Nr. 2, S. 16–44; vgl. Sarvadaman Chowla: Pillai’s Exact Formulae for the Number g(n) in Waring’s Problem. (PDF; 41 kB) In: Proceedings of the Indian Academy of Sciences. A 4 (1936), S. 261.</ref><ref>Shri Raghunath Krishna Rubugunday: On g(k) in Waring’s problem. In: Journal of the Indian Mathematical Society. 6 (1942), Nr. 2, S. 192–198.</ref><ref>Ivan Morton Niven: An unsolved case of the Waring Problem. In: American Journal of Mathematics. 66 (1944), S. 137–143.</ref>
- <math>g(k) =
\begin{cases} \left \lfloor \left(\frac{3}{2} \right)^k \right \rfloor +2^k - 2 & \text{ für } k\le 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 \ge (2^k-1) \left \lfloor \left( \frac{3}{2} \right)^k \right \rfloor \end{cases} </math>, wobei <math>c_k\in \{2,3\}</math> und <math>\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</math>.<ref>W. J. Ellison: Waring’s problem. In: American Mathematical Monthly. 1971, Band 78, Seiten 10–36, Theorem 4.1.</ref>
Es wird vermutet, dass der zweite Fall für kein <math>k</math> auftritt. Die Bedingung für den ersten Fall ist für alle <math>6\le k \le 200.000</math> erfüllt<ref>R. M. Stemmler: The ideal Waring theorem for exponents 401–200,000. In: Math. Comp. 1964, Band 18, Seiten 144–146.</ref> und es ist bekannt, dass es höchstens endlich viele <math>k</math> geben kann, für die der zweite Fall überhaupt in Frage käme.<ref>K. Mahler: On the fractional parts of powers of real numbers. In: Mathematika. 1957, Band 4, Seiten 122–124.</ref> Sollte sich diese Vermutung bestätigen, so könnte man obige Formel zu
- <math>g(k) = \left \lfloor \left(\frac{3}{2} \right)^k \right \rfloor +2^k - 2</math>
vereinfachen.
k 1 2 3 4 5 6 7 8 9 10 … g(k) 1 4 9 19 37 73 143 279 548 1079 …
Für größere <math>k</math> kann die Anzahl auch mit <math>g(k) \approx 2^k</math> abgeschätzt werden.
Kleinste Zahl a(k)
Die jeweils kleinste Zahl <math>a(k),</math> die im Waringschen Problem die maximale Anzahl <math>g(k)</math> an Summanden benötigt, ist für kleine <math>k</math>:
k 1 2 3 4 5 6 7 8 9 10 … g(k) 1 4 9 19 37 73 143 279 548 1079 … a(k) 1 7 23 79 223 703 2175 6399 19455 58367 …
Beispiel für <math>k=3</math>: 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 <math>23 = 2^3+2^3+1^3+1^3+1^3+1^3+1^3+1^3+1^3</math>.
Siehe auch
Quellen und Literatur
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- Edward Waring: Meditationes algebraicae. Cambridge 31782.
- Dennis Weeks (Hrsg.): Meditationes algebraicae. An English translation of the work of Edward Waring. Providence: American Mathematical Society, 1991. ISBN 0821801694.
Weblinks
|1|= – Quellen und Volltexte |0|-= |X|x= |#default= –
}}{{#if: | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}{{#invoke:TemplatePar|check
|opt= 1= 2= lang= suffix= |template=Vorlage:Wikisource |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt }}
- {{#if: | {{{author}}} | Eric W. Weisstein }}: Waring’s Problem. In: MathWorld (englisch). {{#if: WaringsProblem | {{#ifeq: {{#property:P2812}} | WaringsProblem | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}
- Christoph Pöppe: Fast jede natürliche Zahl ist Summe von vier Kuben in Spektrum.de vom 1. Oktober 1993
Einzelnachweise
<references />
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Archiv-URL
- Wikipedia:Vorlagenfehler/Parameter:URL
- Wikipedia:Vorlagenfehler/Parameter:Linktext
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Linktext fehlt
- Wikipedia:Wikidata P2812 verschieden
- Wikipedia:Wikidata P2812 fehlt
- Zahlentheorie