Note on Ramanujan's arithmetical function \(\tau (n)\). (Q1444988): Difference between revisions

Die hier betrachtete Funktion \(\tau (n)\) ist definiert durch \[ f(x) = x \{(1 - x) (1 - x^2) (1 - x^3)\dots \}^{24} = \sum_{n=1}^\infty \tau (n) x^n \] und ist von \textit{S. Ramanujan} untersucht worden in einer Abhandlung ``On certain arithmetical functions'' [Trans. Cambridge Phil. Soc. 22, 159--184 (1916; Zbl 07426016)], vgl. auch \textit{L. J. Mordell} [Proc. Camb. Philos. Soc. 19, 117--124 (1917; JFM 46.0605.01)]. Während Ramanujan nur bewiesen hatte \(\tau (n) = O(n^7)\) und \(\tau (n) = \Omega (n^5)\), gelingt es Hardy jetzt zu beweisen: \[ \tau(n) = \Omega \left(n^{\frac{11}{2}} \right), \tag{1} \] \[ \tau(n) = O \left(n^6 \right), \tag{2} \] \[T(n) = \sum_{\nu =1}^n \tau(\nu)^2. \tag{3} \] Es gibt es zwei positive absolute Konstanten \(A\), \(B\), so daß \((An^{12} < T (n) < Bn^{12} \) ist, woraus folgt, daß die mittlere Größenordnung von \(\tau (n)\) gerade \(O \left(n^{\frac {11}{2}}\right)\) ist. (1) ist schnell bewiesen aus einem Mordellschen Resultat. (2) folgt durch Anwendung der Cauchyschen Integralformel aus der Abschätzung \[ f(x) = f\left(re^{i \vartheta} \right) = O ((1-r)^{-6}) \] gleichmäßig in \(\vartheta\), die ihrerseits mit Hilfe der Modultransformationen hergeleitet wird. Die obere Ungleichung (3) folgt aus derselben Abschätzung und dem Hilfssatz: Ist \[ g(r) = \sum_0^\infty a_nr^n \] mit \(a_n \geqq 0\) und für alle \(r < 1\), aber hinreichend nahe bei 1 \[ h(1-r)^{-\alpha} < g(r) < k(1-r)^{-\alpha} \] mit zwei positiven Konstanten \(h\) und \(k\), so gibt es zwei positive Konstanten \(p\) und \(q\), so daß \[ pn^\alpha < a_0 + \cdots + a_n < qn^\alpha \] für alle hinreichend großen \(n\) ist. Für die untere Ungleichung (3) wird außer diesem Hilfssatz noch die Jacobische Identität \[ \{(1 - x) (1 - x^2) (1 - x^3)\dots \}^3 = 1 - 3x + 5x^3 - 7x^6 + \cdots \] herangezogen und die Cauchy-Schwarzsche Ungleichung benutzt.