{"entities":{"Q2598813":{"pageid":2609556,"ns":120,"title":"Item:Q2598813","lastrevid":44440203,"modified":"2025-11-22T22:54:38Z","type":"item","id":"Q2598813","labels":{"en":{"language":"en","value":"La r\u00e9partition modulo 1 et les nombres alg\u00e9briques."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2518009"}},"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":"Q2598813$40A4D3FB-3AA4-46D2-A1E8-7373BAC08D9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa0c9ece9fb7ee7c9e3303da87ac6ac8a709b147","datavalue":{"value":{"text":"La r\u00e9partition modulo 1 et les nombres alg\u00e9briques.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2598813$6CA3E763-0104-4673-B5AB-51BEDA6CEA14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"971492f4b46ec85d13761a6315ce2c66ed55e241","datavalue":{"value":"64.0994.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598813$8E45704D-765D-41E7-BF89-73F65AD24B92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cda0afde0d5e17a34779da604e17641e4caafdfb","datavalue":{"value":{"entity-type":"item","numeric-id":560084,"id":"Q560084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2598813$4841BE66-92B2-4CB3-A55B-9656E6433918","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2598813$F86DD7E4-199F-4B63-9E6A-19F6268D8B09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"253c2f0644947027d1067d27adf3a6c62e13c645","datavalue":{"value":"https://eudml.org/doc/82956","type":"string"},"datatype":"url"},"type":"statement","id":"Q2598813$4D5AD786-174F-4EF7-BD26-8122022344CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"59cdb5741c3a5e8f74128d465b4be32d8689a3cd","datavalue":{"value":"Eine Reihe sehr bemerkenswerter Ergebnisse \u00fcber die Verteilung der Zahlen einer Folge modulo 1, insbesondere, wenn die Zahlen der Folge einer linearen Rekursionsformel mit konstanten Koeffizienten gen\u00fcgen. Ein erster Satz lautet: ``Sei  \\[  u_{n+r}+\\beta_1 u_{n+r-1}+\\cdots+\\beta_r u_n=0  \\]  eine Rekursionsformel mit den charakteristischen Wurzeln \\(\\alpha_1,\\ldots,\\alpha_r\\), deren absolute Betr\u00e4ge gr\u00f6\u00dfer als 1 seien; ihre allgemeine L\u00f6sung \\(u_n\\) h\u00e4ngt in bekannter Weise von \\(r\\) willk\u00fcrlichen Parametern ab. Sei ferner \\(\\gamma_1,\\gamma_2,\\ldots\\) irgend eine Zahlenfolge. Dann gibt es f\u00fcr die Parameter h\u00f6chstens abz\u00e4hlbar viele Wertsysteme derart, da\u00df eine Folge ganzer Zahlen \\(g_1, g_2,\\ldots\\) existiert, f\u00fcr die  \\[  |u_n-\\gamma_n-g_n|<\\frac12 \\prod_{\\nu=1}^r\\frac1{|\\alpha_\\nu|+1}\\qquad (n=1, 2, 3, \\ldots )  \\]  ist''. Das Beweisprinzip ist \u00fcberraschend einfach und soll hier f\u00fcr \\(r=1\\) erl\u00e4utert werden. Dann handelt es sich um die Rekursionsformel \\(u_{n+1} -\\alpha u_n = 0\\) mit der allgemeinen L\u00f6sung \\(u_n=\\lambda \\alpha^n\\). Wenn nun  \\[  |\\lambda\\alpha^n-\\gamma_n-g_n|<\\frac12\\frac1{|\\alpha|+1}, \\quad |\\lambda\\alpha^{n+1}-\\gamma_{n+1}-g_{n+1}|<\\frac12\\frac1{|\\alpha|+1},  \\]  so folgt hieraus durch Elimination des Parameters \\(\\lambda\\):  \\[  |\\alpha(\\gamma_n+g_n)-\\gamma_{n+1}-g_{n+1}|<\\tfrac12.  \\]  Daher ist die ganze Zahl \\(g_{n+1}\\) durch \\(g_n\\) eindeutig bestimmt. Zu einer Anfangszahl \\(g_1\\) gibt es also \\textit{h\u00f6chstens eine} zugeh\u00f6rige Folge \\(g_1, g_2,\\ldots\\), und hierzu wegen \\(|\\alpha| > 1\\) \\textit{h\u00f6chstens einen} Parameterwert \\(\\lambda\\), n\u00e4mlich  \\[  \\lambda=\\lim_{n\\to\\infty}\\frac{\\gamma_n+g_n}{\\alpha^n}.  \\]  Ein weiterer Satz ist folgender: ``Sei  \\[  u_n=\\lambda_1\\alpha_1^n+\\cdots+\\lambda_r\\alpha_r^n  \\]  das allgemeine Glied einer Folge, wobei die \\(\\lambda_1,\\ldots,\\lambda_r\\) feste Zahlen, die \\(\\alpha_1,\\ldots,\\alpha_r\\) aber willk\u00fcrliche Parameter sind. Sei ferner \\(\\gamma_1, \\gamma_2,\\ldots\\) irgend eine Zahlenfolge. Dann gibt es in jedem abgeschlossenen Bereich der Parameter, in dem alle \\(\\alpha_\\nu\\) voneinander verschieden und absolut gr\u00f6\u00dfer als 1 sind, h\u00f6chstens abz\u00e4hlbar viele Parameterwertsysteme derart, da\u00df eine Folge ganzer Zahlen \\(g_1, g_2,\\ldots\\) existiert, f\u00fcr die von einem gewissen \\(n\\) an gilt:  \\[  |u_n-\\gamma_n-g_n|<\\frac{n-r}{(2+\\varepsilon)n} \\prod_{\\nu=1}^r\\frac1{|\\alpha_\\nu|+1}.  \\]   Sehr bemerkenswert sind auch die Anwendungen auf algebraische Zahlen; sie beruhen noch wesentlich auf dem Satz, da\u00df die Zahlen einer Folge \\(a_1, a_2,\\ldots\\), falls die Reihe  \\[  \\sum_n|a_{n+r}+\\beta_1a_{n+r-1}+\\cdots+\\beta_ra_n|^2  \\]  konvergiert, einer Rekursionsformel mit konstanten Koeffizienten gen\u00fcgen. Von den Resultaten sei folgender Satz hervorgehoben: ``Sei \\(\\alpha>1\\) und \\(\\varepsilon>0\\); wenn es dann eine Folge ganzer rationaler Zahlen \\(a_0, a_1,\\ldots\\) gibt derart, da\u00df  \\[  a_0>\\frac1{\\alpha-1},\\qquad |a_{n+1}-\\alpha a_n|<\\frac1{a_n^\\varepsilon}\\qquad (n=0,1,2, \\ldots ),  \\]  so ist \\(\\alpha\\) eine ganze algebraische Zahl h\u00f6chstens vom Grad \\(1+\\dfrac1\\varepsilon\\). Gleich \\(1+\\dfrac1\\varepsilon\\) ist der Grad nur, wenn \\(\\alpha\\) eine Einheit eines quadratischen K\u00f6rpers ist oder eines kubischen K\u00f6rpers, dessen konjugierte K\u00f6rper imagin\u00e4r sind. Sehr eigenartig und \u00fcberraschend ist schlie\u00dflich das folgende Transzendenzkriterium, f\u00fcr das der Beweis allerdings nur angedeutet ist: ``Die reelle Zahl \\(\\lambda\\) ist dann und nur dann transzendent, wenn die Reihe  \\[  \\sum_n\\sin^2(\\lambda\\pi x^n)  \\]  f\u00fcr alle reellen \\(x\\geqq 1\\) divergiert.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2598813$93CC8E88-44EF-42BD-8590-463DE883BD9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"01393ed76d4eea61ad4470a4159df4c1f8c3c433","datavalue":{"value":"11J71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598813$197F0ACF-F8BB-4900-9760-ED7063FB8CB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bd61db10c97d09de8391391b8084da41c388cb6","datavalue":{"value":"2518009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598813$85FAA37A-2544-453B-A7FF-7E260A5768D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f24bfff01c30ef226b43c9ba08ac9de32eaebc62","datavalue":{"value":{"entity-type":"item","numeric-id":1149477,"id":"Q1149477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2598813$ED99EE14-7369-4239-86EB-9EAE98C35FFD","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":"Q2598813$7C347FF6-C30E-41A5-BDA0-7639AD821EAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2598813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2598813"}}}}}