{"entities":{"Q2591203":{"pageid":2601946,"ns":120,"title":"Item:Q2591203","lastrevid":44426253,"modified":"2025-11-22T20:41:05Z","type":"item","id":"Q2591203","labels":{"en":{"language":"en","value":"Konstruktion der s\u00e4mtlichen L\u00f6sungen einer Riemannschen Funktionalgleichung durch Dirichletreihen mit Eulerscher Produktentwicklung. I, II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2510635"}},"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":"Q2591203$B97C9E1E-7F61-47F6-8EA3-F5890811AEE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a60e9f4e35875caf10d244e7a99ed37400ae6b6","datavalue":{"value":{"text":"Konstruktion der s\u00e4mtlichen L\u00f6sungen einer Riemannschen Funktionalgleichung durch Dirichletreihen mit Eulerscher Produktentwicklung. I, II.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2591203$6F18E03F-D124-4A4E-8F8E-E6886F22BA12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc061b5471cfc9ea1d9fcf3b38e68837d025d18f","datavalue":{"value":"65.0355.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591203$37C656E8-1A33-4CA7-82E0-2D91C80212E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3044d84f6b674aff4d5ddb6754cf6b4588ac3d69","datavalue":{"value":"10.1007/BF01597364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591203$8D820489-FCBB-4DD7-912B-444AA8AB0019","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":"Q2591203$0DAD1D18-AF99-4B49-8ECD-3DA268642B40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q2591203$A4B58A03-9AE0-4538-BEAB-0CC0591F8708","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f495823f68032942a37421135d51828cf25d7087","datavalue":{"value":"https://eudml.org/doc/160007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2591203$68ADA7A7-C840-49C9-8CD9-8DAD3A2F17CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fff0f6fe93df69634fef254eeefefaee76415d0b","datavalue":{"value":"\\textbf{I.} Durch die Methode der Metrisierung der Modulformen der Art \\(\\{\\overline{\\varGamma}, - r\\}\\) erh\u00e4lt Verf. einen tieferen Einblick in die Wirkungsweise des von \\textit{Hecke} eingef\u00fchrten Operators \\(T_n\\) (Math. Ann., Berlin, 114 (1937), 1-28, 316-351; F. d. M. \\(63_{\\text{I}}\\), 339). Ist n\u00e4mlich \\(\\mathfrak K\\) ein Fundamentalbereich der Grenzkreisgruppe \\(\\overline{\\varGamma}\\) und  \\[  (\\varphi (\\tau), f (\\tau)) = \\iint\\limits_{\\mathfrak K} f(\\tau) \\overline{\\varphi (\\tau)} y^{r-2} \\, dx dy  \\]  das Skalarprodukt der unit\u00e4ren Geometrie im Raum der ganzen Modulformen, so gilt, falls \\(\\overline{\\varGamma}\\) die volle Modulgruppe \\(\\overline{\\varGamma} (1)\\) ist, eine Grundformel, die f\u00fcr den Beweis der folgenden S\u00e4tze bereits alles Wesentliche enth\u00e4lt.  Grundformel: es gilt  \\[  (f (\\tau) | T_n, \\varphi (\\tau))= (f(\\tau ), \\varphi (\\tau) | T_n)  \\]  f\u00fcr beliebige ganze Spitzenformen \\(f (\\tau)\\) und \\(\\varphi (\\tau)\\) der geraden Dimension \\(-r\\) (\\(r \\geqq 4\\)) zur vollen Modulgruppe (Satz 3). Auf den Beweis dieser Formel, der die Beziehungen von Skalarprodukten bzgl. \\(\\overline{\\varGamma} (1)\\) zu solchen bzgl. der Kongruenzuntergruppe \\(\\overline{\\varGamma} (n)\\) benutzt, sei hier aus Raummangel nicht n\u00e4her eingegangen.  Die Grundformel l\u00e4\u00dft erkennen, da\u00df die Umsetzungsmatrizen \\(\\varLambda (n)\\) einer normierten Orthogonalbasis  \\[  \\mathfrak q (\\tau) = \\{\\varphi_1 (\\tau) \\}, \\varphi_2 (\\tau), \\dots, \\varphi_\\mu (\\tau)\\}  \\]  der Schar \\(\\mathfrak S_0\\) der ganzen Spitzenformen bei Anwendung von \\(T_n\\) Hermitesche Matrizen sind. Da sie \u00fcberdies nach Satz 11 (\\textit{Hecke}) paarweise vertauschbar sind, sind sie nach S\u00e4tzen der linearen Algebra simultan auf Diagonalgestalt transformierbar (Satz 4).  Mithin gilt, weil nach Satz 25 (\\textit{Hecke}) die Eisensteinreihe der Dimension \\(-r \\) bereits Eigenfunktion f\u00fcr alle \\(T_n\\) ist, der Satz l \u00fcber die Existenz eines vollen Systems linear unabh\u00e4ngiger ganzer Modulformen, die Eigenfunktionen der \\(T_n\\) sind mit reellen Eigenwerten.  Dadurch lassen sich nun die S\u00e4tze 16, 23 und 24 (\\textit{Hecke}) zu einer weit umfassenderen Aussage \u00fcber die Dirichletreihen, die L\u00f6sungen einer Riemannschen Funktionalgleichung sind, ausdeuten. Satz 2 besagt:  1) Es existieren h\u00f6chstens endlich viele linear unabh\u00e4ngige L\u00f6sungen \\(H_j (s)\\) (\\(1 \\leqq j \\leqq \\varkappa\\)) mit angebbarem \\(\\varkappa\\).  2) Die \\(H_j (s)\\) besitzen eine angebbare Eulersche Produktentwicklung.  3) Das L\u00f6sungssystem der \\(H_j (s)\\) ist durch die lineare Unabh\u00e4ngigkeit und durch die Existenz des Eulerprodukts bis auf die Reihenfolge eindeutig bestimmt.  4) Eine der Dirichletreihen \\(H_j (s)\\) ist \\(\\zeta (s) \\zeta (s - r + 1)\\), alle anderen sind ganze Funktionen von \\(s\\).  F\u00fcr \\(r \\equiv 0 (4)\\) folgt genauer, da\u00df jede L\u00f6sung eine solche Linearkombination \\(Z_k (s)\\) der Epsteinschen Zetafunktionen  \\[  E(s,Q)= \\sum_{\\mathfrak m }(\\tfrac 12 Q( \\mathfrak m))^{-s}  \\]  ist, die ein Eulerprodukt besitzt. Die \\(Z_k (s)\\) (\\(1 \\leqq k \\leqq \\varkappa\\)) sind dadurch als linear unabh\u00e4ngige L\u00f6sungen mit irgendeinem Eulerprodukt bis auf die Reihenfolge eindeutig bestimmt (Erg\u00e4nzung zu Satz 2).  \\textbf{II.} Verf. dehnt die f\u00fcr die volle Modulgruppe \\(\\overline{\\varGamma} (1)\\) im ersten Teil bewiesene Theorie auf Formen der Stufe \\(Q\\) mit \\((n, Q) = 1\\) aus, die nach \\textit{E. Hecke} (Math. Ann., Berlin, 114 (1937), 316-351; F. d. M. \\(63_{\\text{I}}\\), 339) jeweils zu einem festen Teiler \\(t\\) von \\(Q\\) und einem Charakter \\(\\varepsilon (n)\\) mod \\(Q\\) geh\u00f6ren. -- Satz 5 besagt einen Satz 4 fast entsprechenden Sachverhalt f\u00fcr \\(\\overline{\\varGamma} (Q)\\), n\u00e4mlich die Existenz einer normierten Orthogonalbasis \\(v_1 (\\tau), v_2 (\\tau), \\dots, v_\\mu (\\tau)\\) der bei allen \\(T_n\\) mit \\((n, Q) = 1\\) invarianten Teilschar \\(\\mathfrak S_0 (t, \\varepsilon, Q)\\), f\u00fcr die  \\[  v_i (\\tau) | T_n = \\omega_i (n) v_i (\\tau) \\qquad (1 \\leqq i \\leqq \\mu)  \\]  gilt. Die Eigenwerte \\(\\omega_i (n)\\) sind hier nicht reell, sondern gen\u00fcgen der Beziehung \\(\\omega_i (n) = \\varepsilon (n)\\, \\overline {\\omega_i (n)}\\). Die volle Diagonalgestalt ist erst erreicht, wenn sie auch bei den Heckeschen Operatoren \\(T^t_m\\) gilt; das ist richtig f\u00fcr \\(t = 1\\), oder falls jeder Primteiler von \\(t\\) in \\(t_1 = Q/t\\) aufgeht, denn f\u00fcr \\((m, t_1) > 1\\) \u00fcberf\u00fchrt \\(T^t_m\\) alle Formen von \\(\\mathfrak S (t,\\varepsilon, Q)\\) in 0. Weiter folgt mit Hilfe von S\u00e4tzen von Hecke eine Aussage \u00fcber die Dirichletreihen, die L\u00f6sungen einer Riemannschen Funktionalgleichung sind. Satz 6: Es gibt eine Basis \\(\\{H_i (s)\\}\\) der der Schar \\(\\mathfrak S_0 (t,\\varepsilon, Q)\\) zugeordneten Schar \\(\\mathfrak T_0 (t,\\varepsilon, Q)\\) von Dirichletreihen in der Gestalt  \\[  H_i(s) = t^{-s} H_i^{(Q)} (s) \\prod_{(p, Q)=1}\\left( 1 - \\frac {\\omega_i (p)}{p^s} + \\frac {p^{r-1}\\varepsilon (p)}{p^{2s}} \\right)^{-1},  \\]  die ganze Funktionen von \\(s\\) sind. \\(H_i^{(Q)} (s)\\) sind Dirichletreihen \\(\\sum\\limits_{n=1}^\\infty b_{in} n^{-s}\\), deren \\(b_{in}\\) nur dann nicht verschwinden, wenn \\(n\\) nur Primfaktoren enth\u00e4lt, die in \\(t\\) und nicht in \\(t_1\\) aufgehen (\\(b_{i1} = 1\\)). Sonst ist \\(H_i^{(Q)} (s) = 1\\), und es gilt in diesem Fall die eindeutige Bestimmtheit der Basis von \\(\\mathfrak T_0 (t, \\varepsilon, Q)\\) durch lineare Unabh\u00e4ngigkeit und Produktentwicklung.  Zum Beweis wird wieder durch Metrisierung eine Grundformel hergeleitet (Satz 9):  \\[  (f(\\tau)| T_n, \\varphi (\\tau)) = \\varepsilon (n) (f(\\tau), \\varphi (\\tau)|T_n),  \\]  aus der folgt, da\u00df die Umsetzungsmatrix \\(\\varLambda(n)\\) einer normierten Orthogonalbasis von \\(\\mathfrak S_0 (t, \\varepsilon, Q)\\) der Beziehung \\(\\varLambda(n) = \\varepsilon (n) \\overline{\\varLambda (n)}{}^\\prime\\) gen\u00fcgt. \\(\\varLambda (n)\\) ist daher mit \\(\\overline{\\varLambda (n)}{}^\\prime\\) vertauschbar und daher unit\u00e4r auf Diagonalform zu transformieren. Da weiter nach Hecke auch \\(\\varLambda (n)\\) und \\(\\varLambda (m)\\) vertauschbar sind, gilt wieder simultane Transformation der endlich vielen linear unabh\u00e4ngigen \\(\\varLambda (n)\\) auf Diagonalgestalt. Verf. betrachtet weiter das Verhalten zweier linear unabh\u00e4ngigen Systeme \\(f_ i (\\tau)\\) und \\(\\varphi_k (\\tau)\\), die bei \\(T_n\\) beide in sich \u00fcbergehen mit den Umsetzungsmatrizen \\(\\varLambda(n)\\) und \\(P(n)\\). Dann gilt Satz 14: \\(\\varLambda (n) \\varGamma = \\varepsilon (n)\\varGamma \\overline{P(n)}{}^\\prime\\) mit \\(\\varGamma = (f_i (\\tau ), \\varphi_k (\\tau))\\). Geh\u00f6ren daher \\(f (\\tau)\\) und \\(\\varphi (\\tau)\\) zum gleichen Teiler \\(t\\) und Charakter \\(\\varepsilon (n)\\), und sind beide Eigenfunktionen bei \\(T_n\\), so stimmen entweder alle Eigenwerte \u00fcberein oder \\(f (t)\\) und \\(\\varphi (\\tau)\\) stehen aufeinander senkrecht, d. h. es gilt \\((f(\\tau ), \\varphi (\\tau)) = 0\\) (Satz 15).  Daraus folgt der wichtige Satz 16:  Jede Schar \\(\\mathfrak S_0 (t, \\varepsilon, Q)\\) zerf\u00e4llt auf eine und nur eine Weise in Teilscharen \\(\\mathfrak S_1\\), \\(\\mathfrak S_2 \\dots \\mathfrak S_m\\), die aus Eigenfunktionen zu \\(T_n\\) mit \\((n, Q) = 1\\) bestehen. Alle Formen von \\(\\mathfrak S_k\\) haben gleiche Eigenwerte, Formen aus verschiedenen Teilscharen stehen aufeinander senkrecht. Zu jeder Schar \\(\\mathfrak S_0 (t, \\varepsilon, Q)\\) geh\u00f6rt daher ein fester Eigenwertvektor. Daraus folgt die Eindeutigkeit, falls \\(m = \\mu\\) ist. Zum Schlu\u00df f\u00fchrt Verf. die Theorie der Primzahlstufe \\(Q = q\\) durch, bei der f\u00fcr \\(t= q\\) nicht \\(t\\) in \\(t_1\\) aufgeht. Dabei werden die auf Grund der Heckeschen Darstellungstheorie eingef\u00fchrten Teilscharen getrennt untersucht. Die Metrisierung braucht nicht erneut angewendet zu werden. Satz 7 und 8 entsprechen den S\u00e4tzen 5 und 6.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2591203$220084CC-0091-469A-9F96-8405AB4B6815","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a6c03f6b8130155fb3ada1526fda23c501a307d","datavalue":{"value":"2510635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591203$1FA26DCE-D138-45C8-94E2-D72DA8B266DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ca2f533ff1981a357ede4687b3a3f521f1ed17","datavalue":{"value":{"entity-type":"item","numeric-id":759789,"id":"Q759789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2591203$F9C078C4-A7FC-4F54-95C9-ECAFEA3C4A39","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":"Q2591203$F68610D4-7934-4BCC-BB93-4EA3F70DB583","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12547e36fe4c85f63dbf421efe86c996a140b18e","datavalue":{"value":{"entity-type":"item","numeric-id":2645489,"id":"Q2645489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2591203$1B6E9312-7D0E-4C91-B9FE-F4115E793C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"861b1f2650c2e3276294a47fba10b2e8dbbc11fe","datavalue":{"value":{"entity-type":"item","numeric-id":2646254,"id":"Q2646254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2591203$8E83672E-20B4-4507-A553-590857192ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8405d9a9183ec7bc034211aa1aad4ac83b471c6","datavalue":{"value":{"entity-type":"item","numeric-id":2646147,"id":"Q2646147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2591203$1DA8E3AB-44D3-4298-872B-B334D49A9196","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fba0f9cf02c826fc9ab8b3ed792bed43f2cf3489","datavalue":{"value":"W2029599902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591203$E7085DFC-9345-4D7F-981A-D49DAA581F9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2591203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2591203"}}}}}