{"entities":{"Q572224":{"pageid":573991,"ns":120,"title":"Item:Q572224","lastrevid":62854377,"modified":"2026-04-11T08:45:53Z","type":"item","id":"Q572224","labels":{"en":{"language":"en","value":"\u00dcber die Mittelwerts\u00e4tze der Gitterpunktlehre. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2555906"}},"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":"Q572224$16561A2C-E066-4060-AEEF-4E6A86B36699","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b41c30cad1ebd55ae43fa15fa1d3a1d1009d2a83","datavalue":{"value":{"text":"\u00dcber die Mittelwerts\u00e4tze der Gitterpunktlehre. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q572224$EE7F2AB8-72E9-447A-A7A8-861FC1A8D7E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c51b085373521582b3c67b7e30818c569ea5c302","datavalue":{"value":"57.0215.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q572224$EC21C44E-737B-459C-8178-485C39BA9BA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6d70da7c3f1ea701b688f5149febc80795c0ca4","datavalue":{"value":"10.1007/BF01174343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q572224$FF0E2309-5B21-406B-8A3E-BD19BC30F888","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":"Q572224$4105D243-0A10-4288-AF9A-98384B00F009","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0130902a9dcdeca58c7452ef77c67f7d7741a88","datavalue":{"value":{"time":"+1931-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":"Q572224$B65CBF5E-A6AB-4F4C-AB44-46E30FAB5867","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04a5451bb596bcbec0e23146889f0a81a1b6c5f0","datavalue":{"value":"https://eudml.org/doc/168261","type":"string"},"datatype":"url"},"type":"statement","id":"Q572224$41C54182-BD06-43D3-805D-CE09A9F294BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54a2dc7d98c620c706be1fc93a999e5f1abf3c00","datavalue":{"value":"Nach einer eingehenden historischen Einleitung, in der er die wichtigsten Ergebnisse \u00fcber Gitterpunkte in mehrdimensionalen Ellipsoiden zusammenfa\u00dft, wendet sich Verf. dem eigentlichen Gegenstande der ersten Arbeit zu, der in der Absch\u00e4tzung der Integrale  \\[  R(x)=\\frac1x\\int\\limits_{0}^{x}|P(y)|\\,dy\\text{ und } T(x)=\\bigg(\\frac1x\\int\\limits_{0}^{x}P^2(y)\\,dy\\bigg)^{\\frac12}  \\]  besteht. Darin ist \\(P(y)\\) der ``Gitterrest'', d.h. die Differenz zwischen Gitterpunktsanzahl und Volumen, f\u00fcr das abgeschlossene Ellipsoid \\(Q (u)\\leqq x\\), wobei \\(Q\\) mit ganzem \\(r\\geqq2\\) eine positiv definite quadratische Form in \\(r\\) Ver\u00e4nderlichen ist.  F\u00fcr diese Mittelwertintegrale erh\u00e4lt der Verf. Folgendes:  \\[  \\displaylines{\\rlap{\\indent(1)}\\hfill \\liminf_{x\\to\\infty}x^{\\tfrac{-r+1}4}R(x)>0. \\hfill}  \\]   (2) F\u00fcr rationales \\(Q\\) (a. h. ein \\(Q\\), dessen Koeffizienten rational oder rationale Vielfache derselben Irrationalit\u00e4t sind) ist  \\[  \\liminf_{x\\to\\infty}x^{-\\tfrac r2+1}R(x)>0.  \\]   (3) F\u00fcr eine ``Quadratform'', d. h. eine Form von der Gestalt \\(\\sum\\limits_{j=1}^{r}\\alpha_ju_j^2\\) mit positiven \\(\\alpha_j\\), ist  \\[  \\displaylines{\\rlap{\\text{f\u00fcr \\(r = 2\\)}}\\hfill R (x) =O (x^{\\frac14}\\log^2 x), \\hfill\\cr \\rlap{\\text{f\u00fcr \\(r = 3\\)}}\\hfill R (x) =O (x^{\\frac12}\\log x),\\;\\hfill}  \\]  und f\u00fcr \\(r > 3\\)  \\[  R (x) =O (x^{\\tfrac r2-1}).  \\]  (Dies gilt f\u00fcr rationale \\textit{und} irrationale Quadratformen.) Eine einfache \u00dcberlegung auf Grund der \\textit{Schwarz}schen Ungleichung zeigt, da\u00df es zum Beweis dieser S\u00e4tze gen\u00fcgt, Folgendes zu zeigen:  (4) F\u00fcr eine Quadratform gilt:  \\[  \\begin{aligned} \\int\\limits_{0}^{x}P^2(y)\\,dy=O(x^{\\frac23}\\log^4x)\\text{ f\u00fcr }r&= 2,\\\\ \\int\\limits_{0}^{x}P^2(y)\\,dy=O(x^2\\log^2x)\\text{ f\u00fcr }r&= 3,\\\\ \\int\\limits_{0}^{x}P^2(y)\\,dy=O(x^3)\\text{ f\u00fcr }r&= 4; \\end{aligned}  \\]   \\[  \\displaylines{\\rlap{\\indent(5)}\\hfill \\liminf_{x\\to\\infty}x^{\\tfrac{-r-3}4}\\int\\limits_{0}^{x} \\operatorname{Max}(0,P(y))\\,dy>0, \\hfill\\cr \\hfill \\liminf_{x\\to\\infty}x^{\\tfrac{-r-3}4}\\int\\limits_{0}^{x} \\operatorname{Max}(0,-P(y))\\,dy>0, \\hfill}  \\]  was reichlich gen\u00fcgt.  (6) F\u00fcr rationale Formen gilt  \\[  \\liminf_{x\\to\\infty}x^{-\\tfrac r2}\\int\\limits_{0}^{x} |P(y)|\\,dy>0.  \\]  (6) ergibt sich sehr einfach direkt durch Betrachtungen \u00fcber die Irrationalit\u00e4t, deren rationale Vielfache die Koeffizienten von \\(Q\\) sind, und \u00fcber ein mit dieser Irrationalit\u00e4t zusammenh\u00e4ngendes Intervall f\u00fcr \\(x\\). (5) wird bewiesen unter Benutzung des Zusammenhangs der Funktion \\(P (x)\\) und ihrer Integrale mit mit \\textit{Bessel}schen Funktionen gebildeten unendlichen Reihen (\\textit{Hardy-Landau}sche Identit\u00e4t). Der Grundgedanke des Ansatzes stammt von \\textit{Landau} (\u00dcber die Anzahl der Gitterpunkte in gewissen Bereichen IV, Nachrichten G\u00f6ttingen 1924, 137-150; F. d. M. 50, 115 (JFM 50.0115.*)-116), der ihn zum Beweis von  \\[  P(x) =\\varOmega\\bigg(x^{\\tfrac{r-1}4}\\bigg)  \\]  f\u00fcr alle \\(r\\geqq2\\) verwendet hat. In der in der vorliegenden Arbeit benutzten Gestalt hat zuerst Verf. diese Methode auf den zweidimensionalen Fall f\u00fcr allgemeinere Bereiche angewendet (1924; F. d. M. 50, 118 (JFM 50.0118.*)).  Die Hauptschwierigkeit liegt im Beweis des ersten der zuletzt zitierten drei S\u00e4tze. Verf. verwendet hierzu eine Methode, in deren Richtung sich auch fr\u00fchere Untersuchungen von ihm bewegen (vgl. z. B. die Arbeit des Verf. in Math. Ann. 100 (1928), 699-721; F. d. M. 54, 203 (JFM 54.0203.*)). Er geht dazu aus von der Thetareihe  \\[  \\vartheta(s)=\\sum\\limits_{n=-\\infty}^{+\\infty}e^{-n^2s},  \\]  die f\u00fcr \\(\\mathfrak R(s)> 0\\) absolut konvergent ist. Mittels der nach wachsender Gr\u00f6\u00dfe angeordneten (offenbar positiven) Werte \\(\\lambda_n\\) der zugrundegelegten Quadratform f\u00fcr ganzzahlige Werte der Ver\u00e4nderlichen und der Anzahl \\(a_n\\) der Darstellungen von \\(\\lambda_n\\) durch die Form ergibt sich f\u00fcr \\(\\mathfrak R(s) > 0\\) die \\textit{Dirichlet}sche Reihenentwicklung  \\[  \\displaylines{\\rlap{\\indent(7)}\\hfill \\prod_{j=1}^r\\vartheta(\\alpha_js)\\sum\\limits_{n=0}^{\\infty}a_ne^{-\\lambda_ns}, \\hfill}  \\]  und die Koeffizientensumme \\(\\sum\\limits_{\\lambda_n\\leqq x}a_n\\) stellt die Gitterpunktanzahl des Bereichs \\(Q (u)\\leqq x\\) dar.  Die Koeffizienten der Reihe (7) lassen sich als Integrale in der \\(s\\)-Ebene darstellen, wobei der Integrationsweg eine Parallele zur imagin\u00e4ren Achse ist. Diese Integrale werden abgesch\u00e4tzt vermittels der \\textit{Hardy-Littlewood}schen Methode der \\textit{Farey}zerschneidung des Integrationsweges.","type":"string"},"datatype":"string"},"type":"statement","id":"Q572224$1CD48B06-F9EB-4626-95F9-149E8C94465B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bfaa289149cdbcc5a8e1a200849fee365e6f740","datavalue":{"value":"2555906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q572224$8810EE2B-5500-4D42-8809-676526C28726","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47c5f20bcde9b3c674e89b8ddd73fb271977e9da","datavalue":{"value":{"entity-type":"item","numeric-id":772129,"id":"Q772129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q572224$C5CC913B-1096-479A-A0EF-1864E81E465A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"258a7dbe29499c019fbca304b7ebff7ba719f0ce","datavalue":{"value":"Q105701055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q572224$FD12624D-47FD-40C6-99A9-EE8971019326","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":"Q572224$13EB1623-CC30-4D30-A70A-B87B1FED393E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20f61b2da8d6fe1f9664c731214770236754c4d5","datavalue":{"value":"W4231971689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q572224$AD68F344-307E-4786-BC17-DF40FF653E39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber die Mittelwerts\u00e4tze der Gitterpunktlehre. I.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C3%9Cber_die_Mittelwerts%C3%A4tze_der_Gitterpunktlehre._I."}}}}}