{"entities":{"Q2591201":{"pageid":2601944,"ns":120,"title":"Item:Q2591201","lastrevid":44426247,"modified":"2025-11-22T20:41:01Z","type":"item","id":"Q2591201","labels":{"en":{"language":"en","value":"Contributions to the theory of Ramanujan's function \\(\\tau(n)\\) and similar arithmetical functions. I: The zeros of the function \\(\\sum\\limits_{n=1}^\\infty \\dfrac{\\tau(n)}{n^s}\\) on the line \\(\\Re s = \\dfrac{13}{2}\\) \\ II: The order of the Fourier coefficients of integral modular forms."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2510633"}},"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":"Q2591201$8A3E53F7-FAEA-4CAD-83AE-E14FCCA38939","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c9f04403d1158522fed9fbb7f7f2dda492dca26","datavalue":{"value":{"text":"Contributions to the theory of Ramanujan's function \\(\\tau(n)\\) and similar arithmetical functions. I: The zeros of the function \\(\\sum\\limits_{n=1}^\\infty \\dfrac{\\tau(n)}{n^s}\\) on the line \\(\\Re s = \\dfrac{13}{2}\\) \\ II: The order of the Fourier coefficients of integral modular forms.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2591201$9D4E3C58-4BDF-41D1-8C66-79987DA67EF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ec45d631e17201ce917d46e5d870014b87bea88","datavalue":{"value":"65.0353.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591201$6CB365CC-3C51-4A70-874D-C4656D9B4260","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b7c9c6e1758035a79481bebd387d6d6de8db1885","datavalue":{"value":{"entity-type":"item","numeric-id":558931,"id":"Q558931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2591201$DC923298-BD94-4884-BCC8-FCB1E06963AE","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":"Q2591201$FC2FC988-5E8A-43D3-8442-EE078DABDCDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce9ef216e7ed7692e9570831c720bd4211556b07","datavalue":{"value":"\\textbf{I:} Es sei \\(F (\\tau ) = \\sum\\limits_{n=1}^\\infty a(n) e^{2\\pi i n \\tau}\\) eine (nicht identisch verschwindende) ganze Spitzenform der Modulgruppe und von der (negativen geraden) Dimension \\(- k\\). Ihre Fourier-Koeffizienten gen\u00fcgen den Relationen  \\[  a (m) a (n) = a (mn) \\quad \\text{ bei } \\quad (m, n) = 1,  \\]   \\[  a (p^\\lambda ) = a(p)a (p^{\\lambda -1}) - p^{k-1} a (p^{\\lambda - 2}) \\,\\, (p \\text{ Primzahl}, \\, \\lambda \\geqq 2).  \\]  Die \\(F (\\tau )\\) sind die Eigenfunktionen der s\u00e4mtlichen Heckeschen Operatoren \\(T_n\\), \\( n \\geqq 1\\). Die Dirichlet-Reihe \\(D (s) = \\sum\\limits_\\infty^{n=1} a(n) n^{-s}\\) ist f\u00fcr \\(\\Re s > \\dfrac {k+1}2\\) absolut konvergent, gen\u00fcgt der Funktionalgleichung  \\[  R (s) = (2 \\pi )^{-s} \\varGamma (s) D(s)= (-1)^{\\tfrac k2}R(k - s)  \\]  und gestattet die Eulersche Produktentwicklung  \\[  D (s) = \\prod_{p} \\left( 1 - \\frac {a(p)}{p^s} + \\frac {p^{k-1}}{p^{2s}}\\right)^{-1}.  \\]  Daher spielt der Streifen \\(\\dfrac {k-1}2 \\leqq \\Re s \\leqq \\dfrac {k+1}2\\) die Rolle des kritischen Streifens der Riemannschen \\(\\zeta\\)-Funktion. Verf. beweist, da\u00df \\(D (s)\\) f\u00fcr \\(\\Re s = \\dfrac {k+1}2\\) nicht verschwindet. (Das Nichtverschwinden f\u00fcr \\(\\Re s > \\dfrac {k+1}2\\) folgt aus der absoluten Konvergenz des Eulerprodukts.) Der Beweis beruht, wie bei dem entsprechenden Satz \u00fcber die Riemannsche \\(\\zeta\\)-Funktion, auf der Anwendung einer geeignet gew\u00e4hlten trigonometrischen Ungleichung, ist aber erheblich komplizierter als dort.  \\textbf{II:} Es sei \\(H (\\tau)\\) eine ganze Spitzenform der vollen Modulgruppe \\(\\varGamma\\) von der (negativen geraden) Dimension \\(- k\\),  \\[  H (\\tau ) = \\sum_{n=1}^\\infty a_n e^{2\\pi i n \\tau }, \\quad f (s) = \\sum_{n=1}^\\infty | a_n|^2 n^{-s}.  \\]  Die Dirichletreihe \\(f(s)\\) konvergiert f\u00fcr \\(\\sigma = \\Re s >\\) \\, \\(k\\) absolut. Man hat mit \\(\\tau = x + iy \\) (\\(x\\) reell, \\(y > 0\\)):  \\[  \\int\\limits_{-\\tfrac 12}^{+\\tfrac 12} | H(x + iy) |^2 \\, dx = \\sum_{n=1}^\\infty |a_n|^2 e^{-4\\pi n y}  \\]  und daher wogen \\((4\\pi )^{-s} \\varGamma (s) n^{-s} = \\int\\limits_0^\\infty e^{-4\\pi n y}y^{s-1}\\, dy\\):  \\[  (4\\pi )^{-s} \\varGamma (s) f(s) = \\iint\\limits_{\\mathfrak B} y^{s-1} |H(\\tau)|^2 \\, dx dy = \\iint\\limits_{\\mathfrak B} y^{s-k+1} |H(\\tau)|^2 y^k \\, \\frac {dx dy}{y^2},  \\]  wo \\(\\mathfrak B\\) den Vertikalhalbstreifen \\(| x | \\leqq \\frac 12\\), \\( y > 0\\) darstellt. Nun sind einerseits \\(|H(\\tau)|^2 y^k\\) und \\(\\dfrac {dx dy}{y^2}\\) bei Modulsubstitutionen invariant, und \\(y^{s-k+1}\\) nimmt bei \\ \\(S =\\begin{pmatrix} a & b \\\\ c & d \\end{pmatrix} \\) aus \\(\\varGamma\\) den Faktor \\(| c\\tau + d |^{-2s + 2k -2}\\) auf; andererseits \u00fcberdecken die \\(SD\\), wenn \\(D\\) einen Fundamentalbereich von \\(\\varGamma\\) bezeichnet und \\(S\\) ein volles System von Modulsubstitutionen mit verschiedenen zweiten Zeilen \\(\\{c, d\\}\\) durchl\u00e4uft, den Streifen \\(\\mathfrak B\\) mod \\(1\\) genau zweimal einfach und l\u00fcckenlos. Daraus folgt  \\[  (4\\pi )^{-s} \\varGamma (s) f(s) = \\iint\\limits_{\\mathfrak B} y^{s-k+1} F(\\tau) |H(\\tau)|^2 \\,y^k \\, \\frac {dx dy}{y^2}  \\]  mit  \\[  F (\\tau) = \\sum_{(c,d) = 1} |c\\tau + d|^{-2s+2k -2}.  \\]  Hier l\u00e4\u00dft sich die Summationsbedingung \\((c, d) =1\\) durch Multiplikation mit der Riemannschen Funktion \\(\\zeta (2s - 2 k +2)\\) beseitigen. Die entstehende Summe wird unter erneuter Heranziehung des Eulerschen \\(\\varGamma\\)-Integrals durch  \\[  K(w) = K(w, \\tau) =\\sum_{_{\\substack{ m,\\, n = -\\infty \\\\ m, \\, n \\not = 0, \\, 0 }}}^{+\\infty} e^{- \\tfrac {\\pi w}{y} |m\\tau + n |^2}  \\]  ausgedr\u00fcckt. Das Verhalten dieser Funktion liefert die folgenden Ergebnisse:  \\(\\qquad f(s)\\) ist als meromorphe Funktion von \\(s\\) in die ganze \\(s\\)-Ebene fortsetzbar.  \\[  \\varphi (s) = (2 \\pi )^{-2s} \\varGamma (s) \\varGamma (s - k + 1) \\zeta (2s - 2k+2) f (s)  \\]  gen\u00fcgt der Funktionalgleichung \\(\\varphi (s) = \\varphi (2k -1 -s)\\) und ist bis auf die einfachen Pole \\(s = k\\), \\(s = k - 1\\) regul\u00e4r. \\, \\(f(s) \\) hat bei \\(s = k\\) einen einfachen Pol mit dem Residuum  \\[  k\\alpha = 12 \\frac {(4\\pi)^{k-1}}{\\varGamma (k)} \\iint\\limits_D |H (\\tau)|^2 y^k \\frac {dxdy}{y^2}.  \\]  Die genauere Diskussion der oben angedeuteten Integraldarstellung von \\((4\\pi)^{-s} \\varGamma (s) f(s)\\) f\u00fchrt mit Benutzung eines Landauschen Satzes zu der Aussage  \\[  \\sum_{n \\leqq x} |a_n|^2 = \\alpha x^k + O (x^{k - \\frac 25}),  \\]  so da\u00df insbesondere { \\(a_n = O\\left( x^{\\tfrac k2 - \\tfrac 15}\\right)\\) gegen\u00fcber \\( O\\left( x^{\\tfrac k2 - \\tfrac 16 +\\varepsilon}\\right)\\) als sch\u00e4rfste bisher bekannte Absch\u00e4tzung folgt. Die Verallgemeinerung der ganzen Untersuchung auf Modulformen h\u00f6herer Stufe liefert analoge Ergebnisse.}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2591201$57BB4933-76C1-4019-916E-56E8DDEF8E86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f3dedc28684b0ebee78e5c5824c7ef0f8abfd9a","datavalue":{"value":"2510633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591201$7EE42986-D1E8-4934-9D25-29D934D847EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f9fc30fabb7fa2aa172613fee9bf1ab5c01ea69","datavalue":{"value":{"entity-type":"item","numeric-id":1417914,"id":"Q1417914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2591201$19E3AA23-A4DC-4316-9AA4-B956C1E173CF","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":"Q2591201$8ED32506-3158-485E-9181-6E252700664B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2591201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2591201"}}}}}