{"entities":{"Q5907739":{"pageid":8020944,"ns":120,"title":"Item:Q5907739","lastrevid":97831085,"modified":"2026-06-05T15:30:46Z","type":"item","id":"Q5907739","labels":{"en":{"language":"en","value":"On the representation of numbers in the form \\(ax^2+by^2+cz^2+dt^2\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2581338"}},"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":"Q5907739$07094F62-D7E9-4014-8A5E-6EEC492FAE40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b97f47cd3ab75da222dadaf89af3ca70c9812e90","datavalue":{"value":{"text":"On the representation of numbers in the form \\(ax^2+by^2+cz^2+dt^2\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5907739$60257ADE-9364-4FA0-8A98-F3A21BC172B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec15850f0a142998ed200835f2809bf7f9a18d53","datavalue":{"value":"53.0155.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907739$E4C7BC05-A72E-453E-A445-5AE2DCD43D3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f10f0c7f4a06d7014c56542b24e27f13c6bbab3a","datavalue":{"value":"10.1007/BF02564120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907739$986AD438-9857-4341-BC16-5DB298C816C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4edb7f8425e2fb06faabea0ad3c09e62dbb640ec","datavalue":{"value":{"entity-type":"item","numeric-id":568388,"id":"Q568388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5907739$AED96C15-A0E6-4384-B66A-A077C294FF77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"09f456a274e455e5e5b05b055e42e0cbb108679d","datavalue":{"value":{"entity-type":"item","numeric-id":163102,"id":"Q163102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5907739$70FC0EC5-0C85-44A8-92E1-56509667CA5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4972e080949a70f1a149b7211b9f337dff7de501","datavalue":{"value":{"time":"+1927-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":"Q5907739$96393845-8E23-4202-A3D1-ADF06E364C68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"35783e8448839bc4dbb007e9fc504eaccdbfc09a","datavalue":{"value":"Die Frage der Darstellbarkeit einer positiven Zahl \\(n\\) in der Form \\(a_1 x_1^2 + \\cdots + a_s x_s^2\\) l\u00e4\u00dft sich, wie der Verfasser in seiner Dissertation (Groningen 1924; JFM 50.0095.05) gezeigt hat, unmittelbar mit der Hardy-Littlewoodschen Methode in Angriff nehmen. Doch erh\u00e4lt man zun\u00e4chst nur f\u00fcr \\(s\\geq 5\\) Ergebnisse, w\u00e4hrend dagegen f\u00fcr \\(s = 4\\) das Fehlerglied von derselben Gr\u00f6\u00dfenordnung ausf\u00e4llt wie das Hauptglied. In der vorliegenden Arbeit gelingt es nun dem Verfasser, f\u00fcr die Anzahl \\(r(n)\\) der Darstellungen einer positiven ganzen Zahl \\(n\\) in der Form  \\[  ax^2 + by^2 + cz^2 + dt^2 \\tag{1}  \\]  zu beweisen  \\[  r(n)= \\frac {\\pi^2}{\\sqrt{ab\\, cd}}\\,n S(n) + O\\left(n^{\\tfrac{17}{18} + \\varepsilon} \\right), \\tag{2}  \\]  w\u00e4hrend die urspr\u00fcngliche Methode ein Fehlerglied \\(O\\left(n^{1 + \\varepsilon} \\right)\\) ergeben hatte. Diese Verbesserung erzielt der Verf. durch eine methodische Verfeinerung, die darin besteht, da\u00df die bei der Integration \u00fcber die einzelnen Fareybogen gemachten Fehler nicht einzeln in ihren absoluten Betr\u00e4gen addiert werden, sondern diejenigen, die zu Fareybogen gleichen Nenners \\(q\\) geh\u00f6ren, zun\u00e4chst gesammelt werden und von dieser Summe erst der absolute Betrag gebildet und \u00fcber alle \\(q\\leq N\\) summiert wird, wo \\(N\\) die Ordnung der Fareyzerschneidung ist.   Dabei ist noch eine Schwierigkeit zu bemerken: die Fareybogen gleichen Nenners \\(q\\), die durch  \\[  w \\;= \\exp \\left(-\\frac 1n + \\frac {2\\pi ip}q + i\\vartheta \\right) \\text{ mit } -\\frac{2\\pi}{q(q+q^{\\prime\\prime})} \\leqq \\vartheta \\leqq \\frac{2\\pi}{q(q+q^{\\prime})}  \\]  angegeben werden, (wo \\(\\dfrac{p^{\\prime\\prime}}{q^{\\prime\\prime}}\\), \\(\\dfrac{p}{q}\\), \\(\\dfrac{p^\\prime}{q^\\prime}\\) benachbarte Fareybr\u00fcche in dieser Reihenfolge sind) sind nicht kongruent. Sie haben aber das St\u00fcck \\(|\\vartheta| \\leq \\dfrac{2\\pi}{q(q+N)}\\) gemeinsam. Es kommt dann alles auf den folgenden Hilfssatz an (Lemma 5 der vorliegenden Arbeit):  ``Es seien \\(N\\), \\(\\mu\\), \\(q\\), \\(\\lambda\\), \\(\\varLambda\\) ganze positive Zahlen, \\(u\\), \\(v\\) ganz und \\(0 < \\mu \\leqq q\\), \\(\\varLambda | q\\). Ferner sei zu jedem \\(p\\) mit \\((p, q) = 1\\) die Zahl \\(p_1\\) so bestimmt, da\u00df \\(0 < p_1 \\leq q\\), \\(p_1 + p' + N \\equiv 0 \\bmod q\\) mit \\(pp' \\equiv 1\\bmod q\\) ist. Dann ist  \\[  \\sum_{_{\\substack{ p, p \\equiv \\lambda \\pmod{\\varLambda} \\\\ p_1 \\leq \\mu}}} \\exp \\left(\\frac{2\\pi iup}{q} + \\frac{2\\pi ivp}{q}\\right) = O\\left(q^{\\tfrac 78 + \\varepsilon} (u, q)^{\\tfrac 14}\\right) \\tag{3}  \\]  gleichm\u00e4\u00dfig in allen vorkommenden Parametern (au\u00dfer \\(\\varepsilon\\)).''   Durch die Heranziehung dieses Hilfssatzes gelingt die obenerw\u00e4hnte Zusammenfassung von Fehlergliedern, die zu gleichem Nenner \\(q\\) geh\u00f6ren. Die Rechnung ergibt das Resultat (2). Die singul\u00e4re Reihe ist hierin  \\[  S(n) = \\sum_{q=1}^\\infty A_q, \\quad A_q = q^{-4} \\sum_{_{\\substack{ p \\bmod{q} \\\\ (p, q) = 1 }}} S_{ap, q} S_{bp, q} S_{cp, q} S_{dp, q} e^{-\\tfrac{2\\pi inp}{q}}, \\quad A_1 = 1,  \\]  mit \\(S_{l, q} \\equiv \\sum\\limits_{i=0}^{q-1} \\exp \\dfrac{2\\pi ilj^2}{q}\\).   Der zweite Teil der Arbeit besch\u00e4ftigt sich mit den zahlentheoretischen Konsequenzen der Gleichung (2). In \\S 4 werden die F\u00e4lle festgestellt, in denen  \\[  S(n) > \\frac{K}{\\log\\log n}  \\]  f\u00fcr alle hinreichend gro\u00dfen \\(n\\) ist. In diesen F\u00e4llen ist offenbar jedes hinreichend gro\u00dfe \\(n\\) in der Form (1) darstellbar. Dann bleiben noch die F\u00e4lle \u00fcbrig, in denen \\(S(n)\\) f\u00fcr unendlich viele \\(n\\) verschwindet und die, in denen \\(S(n)\\) f\u00fcr eine gewisse Teilfolge der nat\u00fcrlichen Zahlen \\(n\\) st\u00e4rker gegen Null geht als \\(n^{-\\tfrac 1{18}}\\). Da die Formel (2) hier keine Ausk\u00fcnfte mehr gibt, so werden diese F\u00e4lle in \\S 5 rein zahlentheoretisch diskutiert. Es stellt sich heraus, da\u00df hier nur sowohl F\u00e4lle vorkommen, in denen alle hinreichend gro\u00dfen Zahlen durch die Form (1) dargestellt werden, als auch solche, in denen unendlich viele Zahlen nicht dargestellt werden k\u00f6nnen. Es ist bemerkenswert, da\u00df die Form \\(x^2 + y^2 + z^2 + t^2\\), die bekanntlich alle Zahlen darstellt, durch die Gleichung (2) nicht erfa\u00dft wird, sondern da\u00df hierbei \\(S(n)\\) f\u00fcr eine gewisse Teilfolge der \\(n\\) wie \\(n^{-1}\\) gegen Null geht. Es ist dem Verfasser gelungen, das, was er das Problem \\(P\\) nennt, n\u00e4mlich die Entscheidung, ob eine Form alle hinreichend gro\u00dfen Zahlen darstellt oder nicht, mit Ausnahme ganz weniger spezieller Formen zu erledigen.   Auf die analytische Untersuchung ist der Verf. \u00fcbrigens inzwischen zur\u00fcckgekommen [Abh. Hamb. 5, 337--352 (1927; JFM 53.0346.01)]. Er beweist hier eine viel allgemeinere Formel als (2), die diese als Spezialfall umfa\u00dft, sogar mit dem Fehlerglied \\(O(x^{\\frac 78} + \\varepsilon)\\), und beweist auch zugleich die f\u00fcr seine Methode grundlegende Formel (3) mit dem besseren Fehlerglied \\(O(q^{\\frac 34 + \\varepsilon} (\\mu, q)^{\\frac 14})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5907739$90E492AA-D590-4F23-BF01-C3097510C0FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6daec8f0f62a45b7531075ba9a9659a070a97496","datavalue":{"value":"11P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907739$5ABDE65D-1BBF-4D67-B4CB-54D6BBAA6F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f13ac0da886a15260454d5531a785703a2b0d5b7","datavalue":{"value":"11P55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907739$52DE49A4-FF13-4751-A2F3-FAB1E03ED463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"495845c8213cf842ac820948f1353b4cef3062a2","datavalue":{"value":"11E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907739$24E1D554-4F84-4ACA-8370-B1328F859437","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"233e7c97dffb0bd3ed152fb0d7cb23acd34e91cb","datavalue":{"value":"2581338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907739$F6BABBBC-69F9-4A46-A78D-216617F50049","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":"Q5907739$62EFE17D-6A91-4146-9091-CC0BC873BDD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the representation of numbers in the form \\(ax^2+by^2+cz^2+dt^2\\). (scientific article; zbMATH DE number 2581338)","badges":[]}}}}}