{"entities":{"Q1461433":{"pageid":1472173,"ns":120,"title":"Item:Q1461433","lastrevid":72150873,"modified":"2026-04-14T02:58:26Z","type":"item","id":"Q1461433","labels":{"en":{"language":"en","value":"Some problems of ``Partitio Numerorum''. IV: The singular series in Waring's problem and the value of the number \\(G(k)\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2600710"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1461433$302387C2-E052-4D1F-87B0-AB8381081AE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66201ba7d14ab9c908f78edfb9fbbc8a79c93bc0","datavalue":{"value":{"text":"Some problems of ``Partitio Numerorum''. IV: The singular series in Waring's problem and the value of the number \\(G(k)\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1461433$F871A35C-91A2-4716-ABAF-F4589489D862","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a59a249bfbcad6902485db4c32262dd0c1b0585a","datavalue":{"value":"48.0146.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1461433$D58FF27A-30ED-4F6E-8FD4-3ACDC69F8EE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb1e2b77ae3436c94e29bcb690c77a5e08fa9217","datavalue":{"value":"10.1007/BF01482074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1461433$2A8955A6-4285-40FD-BF5A-01A36736A1EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b24373a56945feaf39a48733650f345fe2e3dba4","datavalue":{"value":{"entity-type":"item","numeric-id":565531,"id":"Q565531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1461433$0180FD66-C25A-4DD1-A1CC-B2BD07051A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"951d960b33079265ada82386f50e111ac96eb2bb","datavalue":{"value":{"entity-type":"item","numeric-id":565532,"id":"Q565532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1461433$D976732E-2C8E-4DF1-BA3E-EB77DB1390AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1461433$D24599B1-3CE2-4317-8734-536C855BF4EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c78db76ef31aaf15e1381fe5a0a5a64cf5094e9","datavalue":{"value":{"time":"+1922-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1461433$69F9D823-12C1-418A-9655-713AD3CFC967","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"428b9d199cf8fde2e5dfa6bcec90d6f39c69a12c","datavalue":{"value":"https://eudml.org/doc/167675","type":"string"},"datatype":"url"},"type":"statement","id":"Q1461433$5BB480BF-4F70-40A0-ACCD-B1D73DF0CF73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5cbf49c0574400d0c8d26015d68c324a0015187a","datavalue":{"value":"1. Es seien \\(k\\) und \\(s\\) ganz, \\(k > 2\\), \\(s > 0\\), \\(K = 2^{k-1}\\), \\(\\varkappa = 1 - \\tfrac 1K\\), \\(a = \\tfrac 1k\\), \\(r(n) = r_{k, s}(n)\\) f\u00fcr \\(n > 0\\) der Koeffizient von \\(x^n\\) in  \\[  \\left(1 + 2\\sum_{h=1}^\\infty x^{h^k}\\right)^s = 1 + \\sum_{h=1}^\\infty r_{k, s}(n) x^n  \\]  (so da\u00df insbesondere dann und nur dann \\(r(n) > 0\\) ist, wenn die diophantische Gleichung  \\[  n = \\sum_{\\nu=1}^s h_\\nu^k, \\quad h_\\nu \\geq 0 \\tag{1}  \\]  l\u00f6sbar ist).  In der 1. und 2. Abhandlung der Serie (JFM 47.0114.02; JFM 48.0142.01) war bewiesen:  1. F\u00fcr \\(s > 2K + 1\\) ist bei jedem \\(\\varepsilon > 0\\)  \\[  r(n) = C n^{s a-1} S + O(n^{(s-4)a\\chi + 2a + \\varepsilon}), \\tag{2}  \\]  wo \\(C\\) eine positive, von \\(k\\) und \\(s\\) abh\u00e4ngige Konstante ist, \\(S\\) die sog. singular series, die von \\(k, s\\) und \\(n\\) abh\u00e4ngt.  2. F\u00fcr \\(s \\geq s_0(k)\\) ist  \\[  S > \\sigma > 0, \\tag{3}  \\]  wo \\(\\sigma = \\sigma(k, s)\\) von \\(n\\) frei ist. So entstand der neue Beweis des Waring-Hilbertschen Satzes, indem f\u00fcr \\(s \\geq (k - 2) K + 5\\)  \\[  sa - 1 > (s - 4) a \\varkappa + 2 a  \\]  ist; aber nicht etwa der Beweis, da\u00df (1) mit \\(s = (k - 2)K + 5\\) f\u00fcr alle gro\u00dfen \\(n\\) l\u00f6sbar ist; denn f\u00fcr das kleinste \\(s_0\\) bei (3) war bisher keine so niedrige Schranke hergeleitet worden.  Dies geschieht hier, und zwar wird auf Vorrat gearbeitet (da ja Versch\u00e4rfungen des \\(O\\)-Gliedes in (2) denkbar sind). Nicht nur wird \\(s_0 \\leq (k - 2)K + 5\\) bewiesen, sondern sogar \\(s_0 \\leq 4 k\\) (was f\u00fcr \\(k \\geqq 4\\) besser ist), und vieles mehr.  Sehr interessant, wenn auch f\u00fcr das Hauptziel unwesentlich, ist die Entdeckung der Tatsache, da\u00df die singular series bereits f\u00fcr \\(s \\geqq 4\\) absolut konvergiert. Da\u00df sie, sofern konvergent, \\(\\geq 0\\) ist, ist leicht zu zeigen; aber \\(\\geqq 0\\), selbst \\(> 0\\) gen\u00fcgt nicht f\u00fcr die Anwendung von (2), da eine von \\(n\\) freie positive untere Schranke (oder wenigstens eine Absch\u00e4tzung der Form \\(S > c(k) n^{-\\tfrac ak + c(k)}, \\quad c(k) > 0\\) bei \\(s = (k - 2) K + 5\\)) erforderlich ist.  Die Methode ist elementar-zahlentheoretisch mit vielen Ankl\u00e4ngen an die Kreisteilungstheorie, die allerdings nur Werkzeug und Material, nicht brauchbare Werte f\u00fcr den vorliegenden Zweck mitgebracht hat.  Auf Grund der formalen Zerlegung  \\[  S = \\sum_{q=1}^\\infty A_q = \\prod_p \\chi_p, \\quad \\chi_p = A_1+ A_p + A_{p^2} + \\cdots  \\]  (auf Grund von \\(A_{q_1 q_2} = A_{q_1} A_{q_2}\\) f\u00fcr \\((q_1, q_2) = 1\\)) kommt alles auf die Berechnung von \\(A_{p^\\lambda}\\) heraus. Es zeigt sich, da\u00df die Reihe \\(\\chi_p\\) stets im Endlichen abbricht (d. h. da\u00df \\(A_{p^\\lambda} = 0\\) f\u00fcr \\(\\lambda > \\lambda_0 = \\lambda_0(k, s, n, p)\\), wo \u00fcbrigens \\(\\lambda_0\\) noch von \\(s\\) frei ist) und sogar bei festen \\(k, n\\) bis auf endlich viele \\(p\\) (f\u00fcr \\(p > p_0(k, n)\\)) schon beim zweiten Glied (\\(\\lambda_0 = 1\\)). \\(\\chi_p\\) wird explizit durch Wurzelanzahlen gewisser Kongruenzen  \\[  x_1^k + \\cdots + x_s^k \\equiv m  \\]  nach Primzahlpotenzmoduln dargestellt, und all dies wird sehr geschickt verarbeitet.  Unter den an sich interessanten Hilfss\u00e4tzen sei noch der folgende hervorgehoben, der, so einfach er auch bewiesen wird, doch in der klassischen Kreisteilungstheorie vermi\u00dft wird: Ist \\(\\varrho\\) primitive \\(p\\)-te Einheitswurzel, so ist  \\[  |\\sum_{h=1}^p \\varrho^{h^k}| \\leq (k-1) \\sqrt{p}.  \\]  Also derselbe Exponent \\(\\frac 12\\) rechts, wie bei \\(k = 2\\) wohlbekannt.  Die obige Ungleichung \\(s_0 \\leqq 4k\\) ergibt sich als ganz spezieller Fall des folgenden Satzes: \\(\\varGamma(k)\\) sei das kleinste positive \\(s\\) (Existenz wird bewiesen), so da\u00df \\(\\chi_p = \\chi_p(k, s, n)\\) bei allen \\(p\\), \\(n\\) gleichm\u00e4\u00dfig eine positive untere Grenze hat. Dann ist \\(s_0 \\leqq \\text{ Max }(\\varGamma(k), 4)\\). F\u00fcr \\(\\varGamma(k)\\) wird eben \\(\\varGamma (k) \\leqq 4k\\) bewiesen; f\u00fcr alle \\(k\\), die nicht gewisse wohlpr\u00e4zisierte 3 Ausnahmetypen haben, sogar \\(\\varGamma(k) \\leqq k + 1\\). Die Schranke \\(k + 1\\) ist darum wichtig, weil bekanntlich nicht f\u00fcr alle gro\u00dfen Zahlen (1) mit \\(s = k\\) l\u00f6sbar ist, so da\u00df im Falle \\(s < k +1\\) ein Satz \\(S > \\sigma > 0\\) nichts n\u00fctzt, indem dann das \\(O\\)-Glied der etwa versch\u00e4rften Relation (2) verpflichtet ist, zu st\u00f6ren. Kurz gesagt: F\u00fcr fast alle \\(k\\) ist jetzt die singular series viel besser abgesch\u00e4tzt, als jemals von Nutzen sein kann; also mindestens so gut, als je gebraucht wird. Und f\u00fcr die (unendlich vielen) Ausnahme-\\(k\\) ist sie besser albgesch\u00e4tzt, als z. Z. von Nutzen sein kann.  Was die Bezeichnungen betrifft, so sei f\u00fcr die Bequemlichkeit des Lesers folgendes bemerkt:  \\(\\varGamma(k)\\) ist nicht \\(\\varGamma(k)\\) (die Eulersche Gammafunktion, die auch vorkommt, in der Definition von \\(C\\)). \\(\\pi\\) ist nicht \\(\\pi\\) (Ludolfsche Zahl, die auch vorkommt, aber verschleiert, indem \\(e_q(x)\\) bedeutet: \\(e^{\\frac{2\\pi i x}{q}}\\)), sondern eine Primzahl. \\(\\chi_\\pi\\) ist nicht \\(\\chi_\\pi\\) (Charakter, der auch vorkommt und auch \\(\\chi_\\varkappa\\) hei\u00dft; \\(\\varkappa = 1, \\varkappa = 2 = \\pi, \\ldots\\)), sondern die obige Reihe. \\(\\varphi\\) ist nicht \\(\\varphi\\) (die Eulersche zahlentheoretische Funktion, die auch vorkommt, aber in den kritischen F\u00e4llen \\(\\varPhi\\) hei\u00dft), sondern dauernde Abk\u00fcrzung f\u00fcr den um 1 (bzw. 2 bei \\(\\pi = 2\\)) vermehrten Exponenten \\(\\theta\\) der h\u00f6chsten Potenz von \\(\\pi\\), die in \\(k\\) aufgeht.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1461433$326DC151-0581-4745-98DB-ED5DAF523A8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6daec8f0f62a45b7531075ba9a9659a070a97496","datavalue":{"value":"11P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1461433$9D670E28-0028-487C-BEF4-E4DE1816EE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f13ac0da886a15260454d5531a785703a2b0d5b7","datavalue":{"value":"11P55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1461433$81ACC355-816E-445C-8136-8777E50BCDFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7612fed1385fc1b9f1616b8283418f9cd8158667","datavalue":{"value":"2600710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1461433$3E8F9883-B711-407C-BEE8-9D197E239DEE","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1461433$1157C978-8318-4DFE-BE5B-000D3BA10719","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some problems of ``Partitio Numerorum''. IV: The singular series in Waring's problem and the value of the number \\(G(k)\\).","badges":[]}}}}}