{"entities":{"Q1829654":{"pageid":1840396,"ns":120,"title":"Item:Q1829654","lastrevid":70930800,"modified":"2026-04-13T18:18:57Z","type":"item","id":"Q1829654","labels":{"en":{"language":"en","value":"Arithmetische Eigenschaften einer Klasse transzendental-transzendenter Funktionen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2563207"}},"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":"Q1829654$9936625B-B1F5-44C9-BCA6-E4B3179AEFDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22bd3730f0f1c46788205ef0f446524f75a937f3","datavalue":{"value":{"text":"Arithmetische Eigenschaften einer Klasse transzendental-transzendenter Funktionen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1829654$7A2D88D3-D833-4AA1-A434-BF758B872A42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa9619ed7fa1fd0091f57ee19aaa46a73052ebb6","datavalue":{"value":"56.0186.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1829654$134BABF2-806D-42E6-9F55-DBE6E6BF3047","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdb352ad205e04ea4701ccbc2f6982968c829e51","datavalue":{"value":"10.1007/BF01194652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1829654$7E1E10EB-C7C5-4252-AF3A-012FB063326A","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":"Q1829654$850A1671-1CA8-4DDB-8688-55E72CD9151F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa7b89c2fb45b2a4b2542838fa1207277c05a6db","datavalue":{"value":{"time":"+1930-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":"Q1829654$8C98C1FE-7DB0-4E20-9DA9-FC94245F4E74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"829cbe55c690e3fcffe4cfc6a43fb9a9777502ea","datavalue":{"value":"https://eudml.org/doc/168245","type":"string"},"datatype":"url"},"type":"statement","id":"Q1829654$675136E8-718C-4EF3-91A0-D92AD5FB352E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f246d335a97d232ccaaaf207e373d98780021724","datavalue":{"value":"Verf. zeigt: ``Die Elemente der quadratischen Matrix  \\[ \\varOmega=\\bigl(o_{\\alpha\\beta}\\bigr),\\;\\; \\varOmega^k=\\bigl(0_{\\alpha\\beta}^{(k)}\\bigr)\\qquad (\\alpha,\\beta=1,2,\\dots,n) \\]  seien nichtnegative ganze rationale Zahlen. Die zugeh\u00f6rige charakteristische Gleichung  \\[ \\varPhi(\\varrho)\\equiv|\\,\\varOmega-\\varrho E\\,|=0,\\quad E= \\text{Einheitsmatrix}, \\]  sei im K\u00f6rper der rationalen Zahlen irreduzibel und besitze eine Wurzel \\(\\varrho_1\\) die gr\u00f6\u00dfer als 1 und der absolute Betrag der anderen Wurzeln ist. F\u00fcr gro\u00dfes \\(k\\) ist dann asymptotisch  \\[ \\varOmega^k\\sim\\varrho_1^k\\varGamma,\\;\\varGamma= \\bigl(c_{\\alpha\\beta}\\bigr)\\qquad (\\alpha,\\beta=1,2,\\dots,n), \\]  wobei die Elemente der Matrix \\(\\varGamma\\) positiv sind. Bedeuten \\(z_1\\), \\(z_2\\), \\dots, \\(z_n\\) komplexe Ver\u00e4nderliche, so sei mit  \\[ z^{(k)}=\\varOmega^k\\,z \\]  die Transformation  \\[ z_\\alpha^{(k)}=\\textstyle \\prod\\limits_{\\beta=1}^{n} \\displaystyle z_\\beta^{o_{\\alpha\\beta}^{(k)}}\\qquad (\\alpha=1,2,\\dots,n) \\]  bezeichnet. Weiter seien \\(a_1 > 0\\), \\(a_2 >0\\), \\dots, \\(a_m >0\\) algebraische Zahlen und \\(b_1\\,(z)\\not\\equiv0\\), \\dots, \\(b_m\\,(z)\\not\\equiv0\\) \\(m\\) rationale Funktionen in den \\(z_\\alpha\\) mit algebraischen Koeffizienten, die f\u00fcr \\(z_1=\\cdots=z_n=0\\) verschwinden. Die Potenzreihen  \\[ f_\\mu(z)=\\textstyle \\sum\\limits_{h_1=0}^{\\infty }\\cdots \\sum\\limits_{h_n=0}^{\\infty } \\displaystyle f_{h_1\\cdots h_n}^{(\\mu)}z_1^{h_1}\\cdots z_n^{h_n} \\qquad(\\mu=1,2,\\dots,m) \\]  sollen den Funktionalgleichungen  \\[ f_\\mu(z)=a_\\mu f_\\mu(\\varOmega z)+b_\\mu(z)\\qquad (\\mu=1,2,\\dots,m) \\]  gen\u00fcgen, und es seien ihre Taylorkoeffizienten gleich algebraischen Zahlen. Ferner bestehe zwischen ihnen keine algebraische Funktionalgleichung  \\[ F\\,(f_1(z),f_2(z),\\dots,f_m(z)|z)=0, \\]  wo das Polynom \\(F(w_1, w_2, \\dots, w_m | z)\\) nicht identisch verschwindet.  Wenn dann die algebraischen Zahlen \\(\\mathfrak z_1\\), \\(\\mathfrak z_2\\), \\dots, \\(\\mathfrak z_m\\) den Ungleichungen  \\[ \\mathfrak z_1\\mathfrak z_2\\cdots\\mathfrak z_m\\neq0,\\;\\;\\Re \\biggl(\\sum_{\\beta=1}^{n} c_{1\\beta}\\,\\log\\,\\mathfrak z_\\beta\\biggr)<0 \\]  gen\u00fcgen, wenn ferner die Nenner der rationalen Funktionen \\(b_1(z), b_2(z), \\ldots, b_m(z)\\) in keinem der Punkte \\(\\mathfrak z\\), \\(\\varOmega\\mathfrak z\\), \\(\\varOmega^2\\mathfrak z, \\ldots\\) gleich Null sind, so sind die Zahlen \\(f_1(\\mathfrak z), \\ldots, f_m(\\mathfrak z)\\) algebraisch unabh\u00e4ngig in bezug auf den K\u00f6rper der algebraischen Zahlen.''  Der Gedankengang der Arbeit ist folgender: Das erste und zweite Kapitel bringt funktionentheoretische Entwicklungen \u00fcber notwendige und hinreichende Bedingungen f\u00fcr die Unabh\u00e4ngigkeit der Funktionen \\(f_\\mu(z)\\). Dann folgt der eigentliche Beweis des zitierten Satzes, der etwa so verl\u00e4uft:  \\(t_{\\alpha_1,\\alpha_2\\cdots\\alpha_m}\\) seien endlich viele, etwa \\(\\mathfrak n\\), Parameter. Es sei  \\[ F\\,(z\\,|\\,t)=\\textstyle \\sum\\limits_{\\alpha} \\displaystyle t_{\\alpha_1\\cdots\\alpha_m}f_1\\,(z)^{\\alpha_1}\\cdots f_m\\,(z)^{\\alpha_m} \\]  ein Polynom in den \\(f_\\mu\\). Dann besteht bei beliebigem ganzem \\(k > 0\\) die Funktionalgleichung  \\[ F(z\\,|\\,t)=F(\\varOmega^k z\\,|\\,t^{(k)}). \\tag{*} \\]  \\(\\mathfrak u\\) sei die Menge der Punkte \\(z\\) mit  \\[ z_1z_2\\cdots z_n\\neq0,\\;\\;\\Re \\biggl(\\sum_{\\beta=1}^{n} c_{1\\beta}\\,\\log\\, z_\\beta\\biggr)<0,\\;\\; b_\\mu^\\ast(\\varOmega^k z) \\ne 0 \\]  f\u00fcr \\(\\mu=1, \\ldots, m\\) und \\(k = 0, 1, 2, \\ldots\\), wo \\(b_\\mu^\\ast(z)\\) den Nenner von \\(b_\\mu(z)\\) bedeute. \\(\\mathfrak z\\) sei ein fester Punkt in \\(\\mathfrak u\\); \\(t_{\\alpha_1\\cdots\\alpha_m}\\) sei ein festes System von Zahlen, die nicht alle verschwinden. In (*) gehen die \\(t_{\\alpha_1\\cdots\\alpha_m}^{(k)}\\) aus den \\(t_{\\alpha_1\\cdots\\alpha_m}\\) durch eine lineare homogene Transformation mit von \\(k\\) und von den \\(z_\\alpha\\) abh\u00e4ngenden Koeffizienten hervor. Mit \\(t_{\\alpha_1\\cdots\\alpha_m}^{(k)}\\) seien die zu \\(k\\) und den zu dem festen Punkt \\(\\mathfrak z\\) geh\u00f6rigen Werten \\(\\mathfrak z_\\alpha\\) geh\u00f6renden linear Transformierten der \\(t_{\\alpha_1\\cdots\\alpha_m}\\) bezeichnet.  Verf. f\u00fchrt nun folgenden \u00c4quivalenzbegriff ein: \\(A(z | t)\\) sei ein beliebiges Polynom. Es sei  \\[ A\\,(z\\,|\\,t)\\sim 0\\,(\\mathfrak z\\,|\\,\\mathfrak t), \\]  wenn f\u00fcr alle gen\u00fcgend gro\u00dfen \\(k\\)  \\[ A\\,\\bigl(\\varOmega^k\\mathfrak z\\,|\\,\\mathfrak t^{(k)}\\bigr)=0 \\]  ist. Sonst sei  \\[ A\\,(z\\,|\\,t)\\nsim0\\,(\\mathfrak z\\,|\\,\\mathfrak t). \\]  Vermittelst einiger einfacher Eigenschaften dieses \u00c4quivalenzbegriffs l\u00e4\u00dft sich dann zeigen: Es seien die Voraussetzungen des eingangs zitierten Satzes erf\u00fcllt, so da\u00df ein algebraischer Zahlk\u00f6rper \\(K(s)\\) vom Grade \\(k\\) existiert, in dem die Werte \\(\\mathfrak z_\\alpha\\), \\(\\mathfrak t_{\\alpha_1\\cdots\\alpha_m}\\), \\(\\alpha_\\mu\\), die Koeffizienten der \\(b_\\mu(z)\\) und die Koeffizienten der \\(f_\\mu(z)\\) liegen. Dann gibt es bei gen\u00fcgend gro\u00dfem ganzem \\(p\\) \\(p+1\\) Polynome \\(\\mathfrak A_h\\,(z\\,|\\,t)\\) (\\(h = 0\\), 1, \\dots, \\(p\\)) mit folgenden Eigenschaften:  (A) Die \\(\\mathfrak A_h\\) sind in den \\(z_\\alpha\\) und \\(t_{\\alpha_1\\cdots\\alpha_m}\\) h\u00f6chstens vom Grad \\(p\\).  (B) Die Koeffizienten der \\(\\mathfrak A_h\\) liegen in \\(K(s)\\).  (C) \\(\\mathfrak A_0\\,(z\\,|\\,t)\\nsim 0(\\mathfrak z\\,|\\,\\mathfrak t)\\).  (D) Die Reihe  \\[ \\textstyle \\sum\\limits_{h=0}^{p} \\mathfrak A_h\\,(z\\,|\\,t)\\cdot F\\,(z\\,|\\,t)^h= \\sum\\limits_{h_1=0}^{\\infty }\\cdots\\sum\\limits_{h_n=0}^{\\infty } \\mathfrak E_{h_1\\cdots h_n}(t)\\cdot z_1^{h_1}\\cdots z_n^{h_n} \\]  hat als Koeffizienten Polynome in den \\(t_{\\alpha_1\\cdots\\alpha_n}\\), und f\u00fcr  \\[ h_1+h_2+\\cdots+h_n\\leqq 2^{ -3-\\tfrac{\\mathfrak n}{n}}\\cdot p^{1+\\tfrac{1}{n}}-1 \\]  ist  \\[ \\mathfrak E_{h_1\\cdots h_n}(t)\\sim0\\,(\\mathfrak z\\,|\\,\\mathfrak t). \\]  Aus diesen Tatsachen lassen sich zwei Ungleichungen herleiten, aus denen der eingangs zitierte Satz leicht per reductionem ad absurdum folgt. Zum Schlu\u00df wird die funktionentheoretische Transzendental-Transzendenz der Reihe  \\[ \\textstyle \\sum\\limits_{h=1}^{\\infty } \\displaystyle [h\\omega]\\,z^h, \\]  mit einer reellen positiven quadratischen Irrationalit\u00e4t \\(\\omega\\), vermittelst des eingangs zitierten Satzes bewiesen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1829654$B1F844E3-4881-471B-B9F1-2817A9EAC636","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cdbbbadd6a0f51224f0901f78847e129fcc704d","datavalue":{"value":"11J91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1829654$5236D50D-7D94-4D30-ADA2-7A7B3AC6C4A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c071bb0c6caf91f4640f7628d55da6432602bbc","datavalue":{"value":"2563207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1829654$BA7FF6DE-975F-488B-B4E8-ECC32B875A32","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":"Q1829654$B624DC49-8AF1-4718-B34F-A6C0FD1D53B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1ed9d7c2e816c44194b0fe165b0305242f23195","datavalue":{"value":"W2063525313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1829654$C3AAD8BE-35BA-4453-ABA0-62B0CA052628","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cff1f9735642fd8e8811887827122ed6cee9a6a","datavalue":{"value":{"entity-type":"item","numeric-id":6481736,"id":"Q6481736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1829654$C419425E-8AFC-4589-B2A4-7F4799E8AEFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetische Eigenschaften einer Klasse transzendental-transzendenter Funktionen.","badges":[]}}}}}