{"entities":{"Q5922892":{"pageid":8056249,"ns":120,"title":"Item:Q5922892","lastrevid":97783592,"modified":"2026-06-05T15:24:47Z","type":"item","id":"Q5922892","labels":{"en":{"language":"en","value":"\u00dcber die Bestimmung Dirichletscher Reihen durch ihre Funktionalgleichung."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2520562"}},"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":"Q5922892$12409DD8-8B02-4697-966A-F6F7E4246689","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1a9aa701e45d552a89e5b739b82f05e52282d86","datavalue":{"value":{"text":"\u00dcber die Bestimmung Dirichletscher Reihen durch ihre Funktionalgleichung.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5922892$E02B7DEA-5C73-4D9C-8F9A-C094A010DA58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3409529aac365c4ef7c2511094b5fb84ec827867","datavalue":{"value":"63.0264.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922892$A267AE81-3404-4D30-B18C-62A023F0F66A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4eaa4afd9d31e4c2aaca75d41fc46cac16366ee","datavalue":{"value":"10.1007/BF01565437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922892$611C9920-C288-4429-BFAF-AF121BE2A980","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef4b7d5a9df057827c761a7559dd261dc44774e","datavalue":{"value":{"entity-type":"item","numeric-id":566041,"id":"Q566041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922892$0D6F4164-AA26-4E49-948F-7FD0BA988BA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922892$394D11C7-C38C-493E-B9A0-55AF52635266","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4fd24e618322be35613a64fc5f86a90753a27b1","datavalue":{"value":{"time":"+1936-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":"Q5922892$378125D5-8A50-43AE-A955-C3BD4BEE70DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87c66b38e6d769717f4e644304a9987445318b78","datavalue":{"value":"https://eudml.org/doc/159847","type":"string"},"datatype":"url"},"type":"statement","id":"Q5922892$FF171E55-7634-4688-AA9E-D33DC43AC0E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"84a9453695fea9f9502da47a194287e886c7a370","datavalue":{"value":"Sei \\(\\lambda > 0\\), \\(k > 0\\). Eine Funktion \\(\\varphi(s)\\) (\\(s\\) komplex) hei\u00dft von der Signatur \\(\\{\\lambda, k, \\gamma\\}\\), wenn  (1) \\((s-k)\\varphi(s)\\) eine ganze Funktion von endlichem Geschlecht ist,  (2) mit \\(R(s)= (2\\pi)^{-s}\\lambda^s\\varGamma(s)\\varphi(s)\\) die Gleichung \\(R (s) = \\gamma R (k - s)\\) besteht (so da\u00df \\(\\gamma =\\pm 1\\)),  (3) \\(\\varphi(s)\\) in eine \\textit{Dirichlet}reihe \\(\\sum\\limits_{n=1}^\\infty a_nn^{-s}\\) entwickelbar ist, die irgendwo konvergiert. Verf. beweist zun\u00e4chst mit der \\textit{Mellin}schen Integralformel: Die Dimension der linearen Schar der \\(\\varphi(s)\\) zu \\(\\{\\lambda,k,\\gamma\\}\\) ist gleich der Dimension der linearen Schar der f\u00fcr \\(\\mathfrak J(\\tau)>0\\) regul\u00e4ren analytischen Funktionen \\(f(\\tau)\\), welche  (a) \\(f(\\tau+\\lambda)=f(\\tau)\\), \\(f\\left(\\dfrac{-1}{\\tau}\\right)=\\gamma(-i\\tau)^kf(\\tau)\\) \\ \\ \\(((- i\\tau)^k > 0\\) f\u00fcr \\(\\tau=iv\\), \\(v > 0\\)) erf\u00fcllen,  (b) bei \\(i\\;\\infty\\) eine in \\(e^{2\\pi i\\frac\\tau\\lambda}\\) regul\u00e4re \\textit{Fourier}entwicklung besitzen,  (c) der Absch\u00e4tzung \\(f(u+iv)=O(v^{-K})\\) f\u00fcr reelle \\(u\\), \\(v\\), gleichm\u00e4\u00dfig in \\(u\\) f\u00fcr \\(v\\to+0\\) und festes \\(K>0\\) gen\u00fcgen.  Die von \\(\\tau+\\lambda\\) und \\(-\\dfrac1\\tau\\) erzeugte Substitutionsgruppe \\(\\mathfrak G(\\lambda)\\) ist f\u00fcr \\(\\lambda> 2\\) vom \\textit{Schottky}-Typus, sonst eine Grenzkreisgruppe. F\u00fcr \\(\\lambda > 2\\) ergibt sich die genannte Dimension stets zu \\(\\infty\\), da eine automorphe Form \\(f(\\tau)\\) zu \\(\\mathfrak G(\\lambda)\\) in der unteren Halbebene beliebige Pole erhalten kann. \\(\\mathfrak G(2)\\) ist die Gruppe des Thetanullwertes  \\[  \\vartheta(\\tau)=\\vartheta_{00}(\\tau)=\\sum_{m\\;\\text{ganz}} e^{\\pi i\\tau m^2},  \\]  dessen Potenz \\(\\vartheta_{00}^\\beta(\\tau)\\) (\\(\\beta>0\\)) ein \\(\\varphi(s)\\) zu \\(\\left\\{2,\\dfrac\\beta2,1\\right\\}\\) definiert. Mit gewissen aus der Theorie der algebraischen Funktionen bekannten Methoden wird dann gezeigt, da\u00df die Dimension der Signatur \\(\\{2,k,1\\}\\) gleich \\(\\left[\\dfrac k4\\right]+1\\), die Dimension der Signatur \\(\\{2, k,-1\\}\\) gleich \\(\\left[\\dfrac{k-2}4\\right]+1\\) ist. Im Falle \\(0 <\\lambda < 2\\) l\u00e4\u00dft sich die Dimension analog, aber umst\u00e4ndlicher bestimmen; Satz 6, S. 689 gibt das Resultat. Da das Koeffizientengesetz der \\(\\mathfrak G(\\lambda)\\) mit \\(0<\\lambda<2\\) \\(\\left(\\lambda=2\\cos\\dfrac\\pi q, \\;q \\;\\text{ganz} \\;\\geqq3\\right)\\) unbekannt ist, sobald \\(q > 3\\), kann f\u00fcr die bei \\(i\\infty\\) nicht verschwindenden \\(f\\) die Absch\u00e4tzung (c) nicht bewiesen werden. Daher wei\u00df man noch nicht, ob es ein \\(\\varphi\\) einer (algebraisch m\u00f6glichen) Signatur \\(\\{\\lambda,k,\\gamma\\}\\) mit dem Pol \\(s = k\\) gibt.  Zu den Beweisen ist zu bemerken, da\u00df die allgemeine Theorie der automorphen Funktionen nicht benutzt wird, sondern da\u00df die aus der Theorie der Dreiecksgruppen erforderlichen S\u00e4tze ad hoc hergeleitet werden. Bei der Durchf\u00fchrung spielen die Schwierigkeiten, (c) zu realisieren, eine wesentliche Rolle; sie werden (abgesehen von dem genannten Fall) \u00fcberraschend einfach aus dem Wege ger\u00e4umt.  Ergebnisse \u00fcber spezielle Funktionen: Gewisse Kombinationen von Produkten \\(\\zeta(s)L(s)\\) \\(\\left(L\\text{-Reihe zum Charakter} \\;\\chi(n)=\\left(\\dfrac{-4}n\\right)\\right)\\) und gewisse \\(\\zeta\\)-Funktionen mit Gr\u00f6\u00dfencharakteren des \\textit{Gau\u00df}schen Zahlk\u00f6rpers sind die s\u00e4mtlichen Funktionen \\(\\{2, k, \\gamma\\}\\) mit ganzen \\(k\\leqq5\\), also durch ihre Signatur eindeutig bestimmt. Ebenso sind die zu \\(\\vartheta^{2k}(\\tau)\\) geh\u00f6rigen \\textit{Dirichlet}reihen \\(\\{2, k, 1\\}\\) f\u00fcr \\(0 < k < 4\\) (\\(k\\) reell) eindeutig bestimmt. Sie variieren stetig u. a. von  \\[  \\zeta(2s) \\;(k=\\tfrac12) \\;\\text{bis} \\;\\zeta(s)\\zeta(s-1) \\;(1- 2^{2-2s}) \\;(k = 2).  \\]   Die beiden letzten Paragraphen behandeln das analoge Problem f\u00fcr vektorielle \\textit{Dirichlet}reihen. Seien \\(\\lambda>0\\), \\(k > 0\\), \\(\\mathfrak C\\) eine quadratische Matrix von \\(N^2\\) Elementen \\(c_{r,l}\\), \\(q\\) eine nat\u00fcrliche Zahl, \\(b_1, b_2,\\ldots, b_N\\) ganz. Gesucht wird der Vektor \\(\\mathfrak g (s)\\) der \\(\\varphi_l(s)\\), \\(1\\leqq l\\leqq N\\), die (1) erf\u00fcllen, mit \\(\\mathfrak R(s)= (2\\pi)^{-s}\\lambda^s\\varGamma(s)\\mathfrak g(s)\\) der Gleichung  \\[  \\mathfrak R(k-s) =\\mathfrak{CR}(s) \\tag{\\(2^\\prime\\)}  \\]  gen\u00fcgen und  (\\(3'\\)) eine irgendwo konvergente Entwicklung wie in (3), nur mit der Nebenbedingung \\(n\\equiv b_l\\;(\\hskip-1.5ex\\mod q)\\) besitzen. Wie eingangs wird ein Zusammenhang zwischen diesen \\(\\mathfrak g(s)\\) und \\textit{Riemann}schen Formenscharen \\(\\mathfrak F\\) bestimmter Art der Gruppe \\(\\mathfrak G\\left(\\dfrac\\lambda q\\right)\\) hergestellt. Da aus der linearen Unabh\u00e4ngigkeit der \\(\\varphi_l(s)\\) speziell \\(\\mathfrak C^2 =\\) Einheitsmatrix \\(\\mathfrak E\\) folgt, wird stets  \\[  \\mathfrak C^2=\\mathfrak E \\tag{\\(4'\\)}  \\]  vorausgesetzt; au\u00dferdem wird nur der Fall \\(\\lambda = q\\) (also \\(\\mathfrak G\\left(\\dfrac\\lambda q\\right)=\\) Modulgruppe) behandelt. Zun\u00e4chst ergibt sich in der Gruppe der Matrizen, die \\(\\mathfrak F\\) umsetzen, eine Darstellung \\(\\mathfrak D\\) der inhomogenen Modulgruppe. Ist \\(\\mathfrak D\\) unit\u00e4r-orthogonal, so findet man eine einfache Bedingung f\u00fcr die Funktionen aus \\(\\mathfrak F\\), die polfreien \\(\\mathfrak g (s)\\) entsprechen. Ist \\(\\mathfrak D\\) endlich (also \\(k\\) rational), so existiert em Normalteiler \\(\\mathfrak N\\) der Modulgruppe \\(\\mathfrak G\\), dessen Faktorgruppe mit \\(\\mathfrak D\\) einstufig isomorph ist. Hier l\u00e4\u00dft sich durch die Darstellungstheorie und den \\textit{Riemann-Roch}schen Satz die (notwendig endliche) Dimension des linearen Gebildes der \\(\\mathfrak g (s)\\) bestimmen. Dies wird angewendet, um zu zeigen, da\u00df das System der \\textit{Dirichlet}reihen, die den vom Verf. fr\u00fcher (Math. Ann. 97 (1926), 210-242; F. d. M. 52, 377 (JFM 52.0377.*)-378) aufgestellten Modulformen \\(\\vartheta_k(\\tau; \\varrho,\\mathfrak a, \\sqrt D)\\) entsprechen, einem Gleichungssystem (\\(2'\\)) gen\u00fcgt, dessen L\u00f6sungsgebilde endliche Dimension besitzt. Diese \\textit{Dirichlet}reihen sind gewisse \\(\\zeta\\)-Funktionen mit Gr\u00f6\u00dfencharakteren.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5922892$01422EF8-2DA2-4C80-A25B-7FCC6776CC4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca3d0d1954f440d57ed87b0368d874e68426e0a8","datavalue":{"value":"2520562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922892$642B5FE7-D35F-4A24-825C-3E8CD7AE7F4E","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":"Q5922892$D628E05B-FA0D-460C-BE40-3E815E29C5C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2753c2f3600a30cd74926504b73ad2709ca1c5","datavalue":{"value":{"entity-type":"item","numeric-id":2644925,"id":"Q2644925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922892$0717059D-62FE-44CC-9825-179D8AF89361","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2f93c59f52ad021c67290c882f3e346e5432008","datavalue":{"value":"W1998935705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922892$F189F76D-B2DB-4EAB-A26A-0AF6D038D0C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber die Bestimmung Dirichletscher Reihen durch ihre Funktionalgleichung. (scientific article; zbMATH DE number 2520562)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C3%9Cber_die_Bestimmung_Dirichletscher_Reihen_durch_ihre_Funktionalgleichung._(scientific_article;_zbMATH_DE_number_2520562)"}}}}}