{"entities":{"Q2621667":{"pageid":2632410,"ns":120,"title":"Item:Q2621667","lastrevid":44504073,"modified":"2025-11-23T09:46:20Z","type":"item","id":"Q2621667","labels":{"en":{"language":"en","value":"\u00dcber die Entwicklungskoeffizienten einer allgemeinen Klasse automorpher Formen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2543750"}},"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":"Q2621667$A87D7F42-DC17-47B5-9F5A-1AC289C5113E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c25dbe54369d316cd8ac7da40bb464e1438aa30","datavalue":{"value":{"text":"\u00dcber die Entwicklungskoeffizienten einer allgemeinen Klasse automorpher Formen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2621667$43C93BDD-0EEC-49BC-97D0-1710D46D970E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5223a34ca53c17bd6caa5e0a5f7a6008a08bc0e","datavalue":{"value":"59.0392.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2621667$09197F13-5072-47B2-A138-79072F779BC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f600c96a549a6a8609183ea04cce628f2317d575","datavalue":{"value":"10.1007/BF01452843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2621667$0CB282A6-3EBF-46C7-B044-9808D748E71D","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":"Q2621667$43FEB114-32C1-4B04-B376-758F4F1DE78B","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":"Q2621667$B6989029-BDAE-413C-9D97-6BCC6980B19D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a90c601be989b486fea7e07c6c7be17e6adbe133","datavalue":{"value":"https://eudml.org/doc/159643","type":"string"},"datatype":"url"},"type":"statement","id":"Q2621667$B7236FE9-0167-403E-A95F-C4F4150EE765","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"90d4eab5add041a426a8b2c53ecadf8f85cbf8da","datavalue":{"value":"Die Entwicklungskoeffizienten von Modulformen, ebenso ihre summatorischen Funktionen, liefern Beispiele interessanter arithmetischer Funktionen, wie die Anzahl der Partitionen nat\u00fcrlicher Zahlen, die Anzahl der Gitterpunkte in Ellipsoiden usw., und es hat gro\u00dfes Interesse, hierf\u00fcr asymptotische Formeln zu gewinnen. Man kann sich hierzu der bekannten \\textit{Hardy-Littlewood}schen Methode bedienen. Einfachere Methoden werden jedoch von der Theorie der Modulformen selbst geliefert, die der Verf. in allgemeiner Gestalt in der zweiten Arbeit darstellt, w\u00e4hrend er in der ersten Arbeit eine kurze \u00dcbersicht gibt.   Sei z. B. \\(\\varGamma (N)\\) die Hauptkongruenzuntergruppe \\(N\\)-ter Stufe der Modulgruppe \\(\\varGamma (1)\\), \\(A=\\begin{pmatrix} a_0 & a_3\\\\ a_1 & a_2 \\end{pmatrix} \\) eine Matrix aus \\(\\varGamma (1),\\mathfrak S(A) \\) ein volles System von Matrizen \\newline \\(M=\\begin{pmatrix} m_0 &m_3\\\\ m_1 & m_2 \\end{pmatrix} \\) aus der Nebengruppe \\(A\\varGamma (N)\\) mit verschiedenen zweiten Zeilen \\(m_1,m_2\\), und \\(M(\\tau )=\\dfrac {m_0\\tau +m_3}{m_1\\tau +m_2}\\). Eine in der oberen Halbebene \\(\\mathfrak H:J(\\tau )>0\\), regul\u00e4re modulform \\(N\\)-ter Stufe und \\((-r)\\)-ter Dimension l\u00e4\u00dft sich als Linearkombination von endlichvielen der Reihen  \\[  G_{-r}(\\tau ;A,N;\\nu )=\\sum \\limits _{M\\subset \\mathfrak S(A)} \\frac {e^{2\\pi i\\tfrac {M(\\tau )}{N}\\nu }}{(m_1\\tau +m_2)^r} \\]  darstellen, wo \\(\\nu \\) gleich geeigneten ganzen rationalen Zahlen ist; f\u00fcr \\(r=2\\) sind hier noch konvergenzerzeugende Faktoren nach \\textit{Hecke} anzubrigen. Die so definierten Funktionen \\(G_{-r}(\\tau ;A,N;\\nu )\\) sind in \\(\\mathfrak H\\) regul\u00e4r, ebenso in den zu \\(-\\dfrac {a_2}{a_1}\\) nicht \u00e4quiva\\-lenten Spitzen, wo sie verschwinden; in den hierzu \u00e4quiva\\-lenten Spitzen haben sie dagegen f\u00fcr \\(\\nu <0\\) einen Pol der Ordnung \\(| \\nu | \\), sind regul\u00e4r und \\(\\neq 0\\) f\u00fcr \\(\\nu =0\\), und verschwinden f\u00fcr positives \\(\\nu \\).   Nach Potenzen von \\(e^{\\tfrac {2\\pi i\\tau }{N}}\\) entwickelt ist etwa  \\[  G_{-r}(\\tau ;A,N;\\nu )=\\sum \\limits _{n=-k}^{\\infty } a_ne^{2\\pi i\\tfrac {\\tau }{N}n}, \\]  wobei nur endlichviele negative Exponenten auftreten. F\u00fcr \\(\\nu =0\\) ist dann nach fr\u00fcheren Untersuchungen  \\[  a_n=Cn^{r-1}\\mathfrak S_r(n)=Cn^{r-1} \\quad \\underset {_{\\substack{ m_1\\equiv a_1(N)\\\\ m_1\\neq 0}} } {\\sum } \\frac {S_{m_1}(n)}{| m_1| ^r}, \\]  wo \\(S_{m_1}(n)\\) eine Summe gewisser Einheitswurzeln bezeichnet und \\(\\mathfrak S_r(n)\\) also von der Art der \\textit{Hardy-Littlewood}schen singul\u00e4ren Reihen ist. F\u00fcr \\(\\nu \\neq 0\\) leitet Verf. die Reihenentwicklung  \\[  a_n=Cn^{\\tfrac {r-1}{2}} \\quad \\underset {_{\\substack{ m_1\\equiv a_1(N)\\\\ m_1\\neq 0}} } {\\sum } \\frac {W_{m_1}(n,\\nu )}{| m_1| } J_{r-1}\\left ( 4\\pi \\frac {\\sqrt {\\nu n}}{N| m_1| }\\right ) \\tag{1} \\]  ab, in der \\(J_{r-1}\\) f\u00fcr die \\textit{Bessel}sche Funktion und \\(W_{m_1}(n,\\nu )\\) f\u00fcr eine sogenannte \\textit{Kloosterman}sche Summe steht. Im Falle der absoluten Invariante  \\[  j(\\tau )=\\frac {1}{12^3}e^{-2\\pi i\\tau }+\\sum \\limits _{0}^{\\infty } \\alpha _ne^{2\\pi in\\tau } \\]  findet man so  \\[ \\alpha _n=\\frac {\\pi i}{12^3\\sqrt n}\\sum \\limits _{m_1\\neq 0} \\frac {W_{m_1}}{| m_1| } J_1\\left ( -4\\pi i\\frac {\\sqrt n}{| m_1| }\\right ) \\qquad (n\\geqq 1) \\]  mit  \\[  W_{m_1}=\\underset {_{\\substack{ j\\mod m_1\\\\(j,m_1)=1}} } {\\sum } e^{2\\pi i\\tfrac {jn-h}{m_1}}, \\qquad hj\\equiv 1(m_1). \\]  Aus den erhaltenen exakten Reihenentwicklungen werden asymptotische Formeln gewonnen, indem nur \u00fcber \\(m_1\\)-Werte mit \\(| m_1| \\leqq \\sqrt n\\) summiert und der Rest vernachl\u00e4ssigt wird; alsdann m\u00fcssen Absch\u00e4tzungen f\u00fcr die auftretenden \\textit{Kloosterman}schen Summen (von \\textit{Kloosterman, Estermann, Walfisz, Sali\u00e9}) herangezogen werden. Ist z. B. \\(\\nu <0\\), und durchl\u00e4uft \\(n\\) eine geeignete arithmetische Progression, so ergibt sich auf diese Weise  \\[  a_n=Cn^{\\tfrac {r}{2}-\\tfrac {3}{4}}e^{c\\sqrt n} \\left ( 1+O\\left ( \\frac {1}{\\sqrt n}\\right ) \\right ) \\]  mit Konstanten \\(C\\neq 0, c>0\\). F\u00fcr \\(\\nu <0\\) ist die Gr\u00f6\u00dfenordnung der \\(a_n\\) dagegen nur eine Potenz von \\(n\\). Die Zerlegung der Modulform in eine lineare Kombination der Reihen \\(G_{-r}\\) f\u00fchrt zu entsprechenden allgemeinen Entwicklungen:  \\[  c_n=L_n+n^{r-1}\\mathfrak S_r^{*}(n)+O\\left ( n^{\\tfrac {r}{2}-\\tfrac {n}{2}}\\right ), \\]  wobei \\(L_n\\) aus endlich vielen Termen (1) bestent, wo aber nur \u00fcber \\(| m_1| \\leqq O(\\sqrt n)\\) summiert wird, und \\(\\mathfrak S_r^{*}(n)\\) eine Linearkombination aus endlich vielen \\(\\mathfrak S_r(n)\\), ferner \\(\\varkappa \\geqq 0\\) eine Konstante ist, die von der bekannten Gr\u00f6\u00dfenordnung der \\textit{Kloosterman}schen Summen abh\u00e4ngt. Im Fall \\(r=2\\) kommt man zu einer noch besseren Restabsch\u00e4tzung; wenn hier eine Teilfolge der Koeffizienten \\(c_n\\) rational ist und der Nenner jedes Gliedes in der festen nat\u00fcrlichen Zahl \\(d\\) aufgeht, so kann \\(d\\cdot c\\) genau erhalten werden, n\u00e4mlich als die n\u00e4chste ganze Zahl zu einem Ausdruck, der sich wieder als Summe von endlichvielen, n\u00e4mlich \\(O(\\sqrt n)\\), Gliedern \u00e4hnlich wie vorhin ergibt. So z. B. ist f\u00fcr hinreichend gro\u00dfes \\(n\\) der Koeffizient \\(\\alpha _n\\) von \\(j(\\tau )\\) zuletzt gleich der n\u00e4chsten zu  \\[  \\frac {\\pi i}{12^3\\sqrt n} \\sum \\limits _{0<| m_1| \\leqq \\sqrt n} \\frac {Wm_1}{| m_1| }J_1 \\left ( -4\\pi i\\frac {\\sqrt n}{| m_1| }\\right )  \\]  gelegenen rationalen Zahl des Nenners \\(12^3\\).   Die Methode der Arbeit kann sinngem\u00e4\u00df\\ auf beliebige Grenzkreisgruppen und die zugeh\u00f6rigen automorphen Formen angewendet werden. Bei den Untergruppen der Modulgruppe von endlichem Index hat man jedoch den Vorteil, gute Absch\u00e4tzungen f\u00fcr die \\textit{Kloosterman}schen Summen zu kennen; auch kann man hier aus den \\(G_{-r}\\) alle Formen gewinnen und bedarf zu diesem Zweck nur der Kenntnis des Verhaltens derselben in der Spitzen eines Fundamentalbereiches.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2621667$DAD37333-C87B-4017-9FF5-75B5ACB644DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1abc349710119c19babf21e452bc579fce23e3ab","datavalue":{"value":"2543750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2621667$A7675A8F-3711-4D39-8B10-975274259560","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":"Q2621667$F1011405-D9EB-4C35-ABDD-9BDBC8B6517B","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":"Q2621667$DB792632-85E6-4333-B4C4-6BB69211992B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2621667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2621667"}}}}}