Bemerkungen im Anschluß\ an den Beweis eines Satzes von Hardy über die Zetafunktion. (Q1465699)

Zu seinem ersten Beweis, daß\ die \(\zeta\)-Funktion unendlich viele Nullstellen auf \(\sigma = \frac 12\) hat, brauchte Hardy die Tatsache, daß\ die Thetareihe \(\sum_{n =-\infty}^\infty e^{- n^2\pi y}\) mit ihren sämtlichen Ableitungen bei \(y \to i\) gegen Null strebt. Nachdem Landau diesen Nachweis einfacher, nur unter Benutzung der linearen Thetatransformationsformel, erbracht hatte, gibt Mellin einen neuen, recht durchsichtigen Beweis mit Hilfe der ohnedies von Hardy benutzten Beziehung \[ \sum_{n =1}^\infty e^{-n^2 \pi y} = \frac {1}{2\pi i}\int_{a- i\infty}^{a +i \infty} \pi^{-s}\Gamma(s)\zeta(2s) y^{-s} ds\;(a> \frac 12). \] Der Gedankengang wird allgemeiner zur Untersuchung des Verhaltens von \(\sum_{n =1}^\infty e^{-n^\kappa y}(\kappa \geqq 1\) ganz) bei Annäherung an \(y = \frac pq \pi i\) benutzt (vgl. die vorige Besprechung). Hardy schrieb versehentlich die ständig benutzte Formel \[ e^{-x} = \frac {1}{2\pi i}\int_{a-i\infty}^{a +i\infty} \Gamma(z)x^{-z} dz\;(a>0, {\mathfrak R}x>0) \] Cahen zu; Mellin macht die Bemerkung, daß\ er sie aus einer früheren Pincherleschen Arbeit kennt und schon vor Cahen verwendet hat.