On Poisson's summation formula. (Q2582301)

Die unter gewissen Voraussetzungen gültige Poissonsche Summenformel \[ \tfrac12 f(0) + \sum\limits_{n-1}^\infty f(n) = \int\limits_0^\infty f(t) dt + 2 \sum\limits_{n=1}^\infty \int\limits_0^\infty \cos 2\pi nt f(t) dt \] kann mit \[ g (x) = 2 \int\limits_0^\infty \cos 2\pi xt f(t) dt\quad \text{(Fouriersche cos-Transformierte)} \] in der Form \[ \tfrac12 f(0) +\sum\limits_{n=1}^\infty f(n)= \tfrac12 g(0) + \sum\limits_{n=1}^\infty g(n) \] geschrieben werden. In einer früheren Arbeit (Quart. J. Math. (Oxford Ser.) 9 (1938), 53-67 (JFM 64.0401.*); Theorem 2, Spezialfall \(a_n = 1\)) bewies Verf.: Wenn \(f(x)\) ein Integral ist und \(f(x)\) und \(xf'(x)\) zu \(L^2(0,\infty)\) gehören, so ist \[ \lim\limits_{N\to\infty}\bigg\{\sum\limits_{n=1}^\infty f(n)\int\limits_0^N f(t)dt\bigg\} = \lim\limits_{N\to\infty}\bigg\{\sum\limits_{n=1}^\infty g(n)\int\limits_0^N g(t)dt\bigg\}, \] wo \(g(x)\) aus der Fourierschen cos-Transformation in integrierter Gestalt entspringt: \[ \int\limits_0^x g(y)dy = \dfrac1\pi\int\limits_0^\infty \dfrac{\sin2\pi xy}{y} f(y)dy \] und so gewählt werden soll, daß es das Integral seiner Ableitung ist. In der gegenwärtigen Note wird dieser Satz auf den Raum \(L^p(0, \infty)\), \(1 < p\leqq 2\), verallgemeinert. Von \(f(x)\) wird dabei vorausgesetzt, daß es ein Integral ist, gegen 0 strebt für \(x\to\infty\) und daß \(xf'(x)\) zu \(L^p(0,\infty)\) gehört, \(g(x)\) wird definiert durch \[ g(x) = 2 \lim\limits_{T\to\infty}\int\limits_0^T \cos 2\pi xt f(t) dt. \] Weitere Verallgemeinerungen beziehen sich auf den Fall, daß \(f\) unstetig ist, und daß die Voraussetzung über \(xf'(x)\) für ein \(p\) in der Nähe des Nullpunktes und für ein anderes \(p\) im Unendlichen erfüllt ist. Als Beispiele werden aus der Poissonschen Summenformel in modifizierter Gestalt abgeleitet: die Funktionalgleichung der \(\zeta\)-Funktion und die Formeln \[ z^{-\tfrac14}e^{\tfrac{\pi z}{12}}\sum\limits_{n=0}^\infty p(n) e^{-2\pi nz}= z^{\tfrac14}e^{\tfrac{\pi}{12z}}\sum\limits_{n=0}^\infty p(n) e^{-2\pi \tfrac{n}z}, \] \[ 2 \sum\limits_{n=1}^\infty K_0(2\pi nz) -\dfrac1{2z}= \sum\limits_{n=1}^\infty\bigg\{(z^2+n^2)^{-\tfrac12}-\dfrac1n\bigg\} +\gamma+\log\dfrac{z}2. \] Zum Schluß wird die Poissonsche Formel auf den Fall erweitert, daß als Koeffizienten primitive Charaktere auftreten.