{"entities":{"Q5924322":{"pageid":8058166,"ns":120,"title":"Item:Q5924322","lastrevid":41302286,"modified":"2025-04-28T13:28:34Z","type":"item","id":"Q5924322","labels":{"en":{"language":"en","value":"\u00dcber numeri abundantes."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2537480"}},"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":"Q5924322$F151AE1C-23BB-4E0C-BEBD-381C24A544C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2eb0d7a04707bf7200b91fd6921a2d3e4876a85","datavalue":{"value":{"text":"\u00dcber numeri abundantes.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5924322$923DD4AE-681F-47F9-8394-41BF7621506C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"727fc5e3e16898408d21b6ed7ded286898ce148d","datavalue":{"value":"60.0146.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924322$28B7F380-4975-4329-8829-5898355F41FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"156b6c839582d5c8b9ab627b54765e071dc0b107","datavalue":{"value":{"entity-type":"item","numeric-id":559394,"id":"Q559394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924322$D877EA74-9076-465F-9848-A73104076D68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5229eeedf2f969cf3cb5fc8ccac583c702705ed8","datavalue":{"value":{"time":"+1933-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":"Q5924322$4BE82EB7-6EE0-46C8-A145-7AD4DE23A86E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"adf2c89a22866b40956933154504a830fea5769e","datavalue":{"value":"Eine Zahl \\(m\\), f\u00fcr welche  \\[  \\sigma (m)=\\sum _{d\\mid m}d\\ge km  \\]  ist, hei\u00dfe \\(k\\)-abundant (\\(k\\ge 1\\)). \\(A(k,n)\\) bezeichne die Anzahl der \\(k\\)-abundanten Zahlen \\(\\le  n\\). Eine \\(k\\)-abundante Zahl hei\u00dfe primitiv \\(k\\)-abundant, wenn sie keinen echten \\(k\\)-abundanten Teiler besitzt. Verf. beweist die folgenden beiden S\u00e4tze:  I.  \\[ \\lim _{n\\rightarrow \\infty }\\frac {A(k,n)}{n}=A(k)  \\]  existiert f\u00fcr jedes \\(k\\) und ist eine stetige Funktion von \\(k\\).  II. Sind \\(a_1,a_2,\\dots \\) die primitiven \\(k\\)-abundanten Zahlen, und setzt man  \\[  A_\\nu = \\frac 1{a_\\nu } -\\sum _{\\mu <\\nu }\\frac 1{a_{\\mu \\nu }} +\\sum _{\\lambda <\\mu <\\nu } \\frac 1{a_{\\lambda \\mu \\nu }}-\\cdots +\\frac {(-1)^{\\nu -1}}{a_{12\\dots \\nu }},  \\]  (wo \\(a_{\\alpha \\beta \\dots \\varrho }\\) das kleinste gemeinsame Vielfache von \\(a_\\alpha, a_\\beta,\\dots, a_\\varrho \\) bedeutet), so ist  \\[  A(k)=\\sum _{\\nu =1}^\\infty A_\\nu.  \\]  Der Beweis von Satz I (der \u00fcbrigens unabh\u00e4ngig vom Verf. auch vom Ref. und von \\textit{S. Chowla} (siehe das folgende Referat) bewiesen wurde), geschieht im Anschlu\u00df an ein Kriterium von \\textit{I. Schoenberg} [Math. Z. 28, 171--199 (1928;  JFM 54.0212.02)] und zwar \\S \\,3, Satz II). Verf. beweist n\u00e4mlich erstens, da\u00df  \\[  \\lim _{n\\rightarrow \\infty }\\frac 1n\\sum _{\\nu =1}^n\\left (\\frac {\\nu }{\\sigma (\\nu )}\\right )^s = \\Phi (s) \\]  f\u00fcr jedes reelle oder komplexe \\(s\\) existiert und die Produktdarstellung  \\[  \\Phi (s) = \\prod _p\\left \\{1+\\sum _{l=1}^\\infty p^l\\left [\\left (\\frac {1-p^{-l-1} }{1-p^{-1}}\\right )^{-s} - \\left (\\frac {1-p^{-l}}{1-p^{-1}}\\right )^{-s}\\right ]\\right \\}  \\]  besitzt, zweitens -- durch eine kleine Ab\u00e4nderung eines Schoenbergschen Verfahrens (Schoenberg beweist den gleichen Satz I f\u00fcr die Zahlen \\(\\frac {\\varphi (\\nu )}{\\nu }\\) statt \\(\\frac {\\sigma (\\nu )}{\\nu }\\), wo \\(\\varphi (\\nu )\\) die Eulersche Funktion bedeutet; loc. cit. \\S \\S 19--20, 196--198) -- da\u00df  \\[  \\int _0^x|\\Phi (it)| \\,dt = o(x).  \\]  Hieraus folgt nach Schoenberg, da\u00df die Zahlen \\(\\frac {\\nu }{\\sigma (\\nu )}\\) asymptotisch stetig verteilt sind, d. h. da\u00df Satz I richtig ist.  Der Beweis von II erfolgt unter Benutzung einer anderen Darstellung von \\(A(k)\\). Setzt man n\u00e4mlich  \\[  \\prod (P) = \\prod _{p\\le P}\\left (1-\\frac 1p\\right ) \\qquad (P \\text{ Primzahl})  \\]  und \\(\\varepsilon _P(m)=1\\), wenn jeder Primteiler von \\(m\\) kleiner oder gleich \\(P\\) ist, andernfalls \\(=0\\), so ist  \\[  A(k)=\\lim _{P\\rightarrow \\infty }\\prod (P)\\sum _{\\substack{ m=1\\\\ \\frac {\\sigma (m)}{m}\\ge k}} ^\\infty \\frac {\\varepsilon _P(m)}{m}, \\tag{+} \\]  was mit Hilfe des schon bewiesenen Satzes I geschlossen wird. Hieraus schlie\u00dft Verf. unter Benutzung der von \\textit{Dickson} bewiesenen Tatsache, da\u00df es nur endlich viele primitive \\(k\\)-abundante Zahlen gibt, die aus endlich vielen gegebenen Primzahlen gebildet sind, da\u00df  \\[  \\sum _1^\\infty A_\\nu \\ge A(k)  \\]  ist, was zusammen mit der trivialen Tatsache  \\[  \\sum _1^\\infty A_\\nu \\le A(k)  \\]  den Satz II ergibt. (An fr\u00fcheren Arbeiten \u00fcber abundante Zahlen vgl. \\textit{L. E. Dickson} [Quart. J. 44, 264--296 (1913; JFM 44.0221.02); Am. J. Math. 35, 413--422 (1913; JFM 44.0220.02); ibid. 35, 423--426 (1913; JFM 44.0221.01)], \\textit{F. Behrend} [Sitzungsber. Preu\u00df. Akad. Wiss., Phys.-Math. Kl. 1932, 322--328 (1932); ibid. 1933, 280--293 (1933; JFM 59.0169.05)]; vgl. ferner: \\textit{S. M. Shah}, vorstehendes Referat JFM 60.0146.01).  Die s\u00e4mtlichen Resultate, die hier f\u00fcr die Zahlen  \\[  f(\\nu )= \\frac \\nu {\\sigma (\\nu )}  \\]  gewonnen wurden, lassen sich auf alle zahlentheoretische Funktionen \\(f(\\nu )\\) mit den folgenden Eigenschaften \u00fcbertragen:  1.  \\[ 0<f(\\nu )\\le 1. \\]   2.  \\[ f(\\mu.\\nu )=f(\\mu ).f(\\nu ), \\text{ wenn } (\\mu,\\nu )=1; f(1)=1.  \\]   3. Es gibt zwei positive Konstanten \\(C, c\\) so, da\u00df f\u00fcr alle Primzahlen \\(p\\) und alle \\(l\\ge 1\\) die Ungleichung  \\[  0\\le f(p^{l-1})-f(p^l) \\le Cp^{-lc}  \\]  erf\u00fcllt ist.  4. Die Zahlen \\(\\log f(p)\\) sind von einer gewissen Primzahl \\(p\\) an linear unabh\u00e4ngig, d. h. eine Relation  \\[  \\sum _{i=1}^r C_i\\log f(p_i)=0 \\qquad (p_i\\ge p_0)  \\]  mit ganzen rationalen (nicht s\u00e4mtlich verschwindenden) \\(C_i\\) ist unm\u00f6glich.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5924322$7A6D04AA-AF5B-4105-8AE0-812DD7D20CB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"350ad9e3cb57303f41763f7e3b29497fcb98dda4","datavalue":{"value":"11A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924322$9B698CE7-7389-4F39-8A3F-D3514DC60512","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b62b1748e67905f354d4448d47b2ba9e46d9f85","datavalue":{"value":"2537480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924322$277A8B63-48AE-4B67-A259-5B2E14E42EC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24337587ada6dc355407f48fc7f5f1c3d24bce9e","datavalue":{"value":"abundant numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5924322$72A09A6E-314A-460B-AFD4-48E828B81691","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":"Q5924322$360D7D52-3819-496B-BF90-13C94D1F2FA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa4b97e50aade273529f0c73b23d26850bb793bd","datavalue":{"value":{"entity-type":"item","numeric-id":6480962,"id":"Q6480962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924322$9E433BA6-F17D-4FDD-8B86-B0461CABCE95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5924322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5924322"}}}}}