Functions representable by two Laplace integrals. (Q2607890)

Wenn eine \textit{Laplace}-Transformierte \[ f(z)=\int\limits_0^\infty e^{-zt}\varphi(t)\,dt \] auf zwei verschiedene Arten in Reihen entwickelbar ist, deren Glieder \textit{Laplace}-Transformierte sind, so ergeben sich daraus zwei verschiedene Entwicklungen von \(\varphi(t)\), nämlich nach den jenen Gliedern entsprechenden Funktionen, vorausgesetzt, daß die gliedweise Anwendung der \textit{Laplace}-Transformation erlaubt ist. Das bekannteste Beispiel ist \[ f(z)\equiv\frac{\operatorname{ctg}\sqrt{-z}}{-\sqrt{-z}}= \frac1z+2\sum_{n=1}^\infty\frac1{z+n^2\pi^2}= \frac1{\sqrt z}+2\sum_{n=1}^\infty\frac{e^{-2n\sqrt z}}{\sqrt z}; \] die entsprechende Funktion \(\varphi(t)\) ist die \(\vartheta_3\)-Nullfunktion, und die gliedweise Entsprechung ergibt deren lineare Transformationsformel: \[ 1+2\sum_{n=1}^\infty e^{-n^2\pi^rt}=\frac1{\sqrt{\pi t}}+ 2\sum_{n=1}^\infty\frac{e^{-\frac{n^2}t}}{\sqrt{\pi t}}. \] Es werden nun zwei ganz allgemeine Fälle betrachtet, wo die Funktion \(f(z)\) von demselben Charakter wie in diesem Beispiel ist. Damit \(f(z)\) eine Exponentialentwicklung besitzt, wird es als periodisch, und damit es eine Partialbruchentwicklung hat, als meromorph vorausgesetzt. Der erste der beiden allgemeinen Sätze lautet: \(f(z)\) sei eine meromorphe Funktion mit der einfachen primitiven Periode \(\gamma\) und an den Enden eines Periodenstreifens beschränkt. Ferner sei \[ f(z)-\sum_{i=1}^N\frac{2c_iz}{z^2-p_i^2\gamma^2} \qquad \left(0\leqq p_i\leqq\frac12;\;p_i\neq p_j\right) \] im primitiven Periodenstreifen analytisch. Dann ist bei reellem \(\gamma=\alpha\) die Funktion \(\dfrac{f(\sqrt{-s})-C}{-\sqrt{-s}}\) bei passend gewähltem \(C\) die \textit{Laplace}-Transformierte einer Funktion, die sich auf folgende beide Arten ausdrücken läßt: \[ 2\sum_{i=1}^N\sum_{n=-\infty}^{+\infty} c_ie^{-(n+p_i)^2\alpha^2t}= 2\sqrt{\frac\pi{\alpha^2t}}\sum_{i=1}^N\sum_{n=-\infty}^{+\infty} c_i\cos2n\pi p_ie^{-\frac{n^2\pi^2}{\alpha^2t}}. \] Hieraus folgt für \(0\leqq p\leqq\frac12\): \[ \sum_{n=-\infty}^{+\infty} e^{-(n+p)^2\alpha^2t}= \sqrt{\frac\pi{\alpha^2t}}\sum_{n=-\infty}^{+\infty} \cos2n\pi p e^{-\frac{n^2\pi^2}{\alpha^2t}}. \] Der zweite Satz unterscheidet sich von diesem dadurch, daß auf der linken Seite in \(\varphi(t)\) der Koeffizient \(c_i(n+p_i)\) heißt, während rechts \(c_in\) \(\sin2n\pi p_i\) auftritt. In diesen Sätzen sind enthalten: Die Darstellungen von ctg, tg, cosec, sec und der entsprechenden hyperbolischen Funktionen als \textit{Laplace}-Transformierte, sowie die linearen Transformationen der vier elliptischen Thetanullfunktionen. Vgl. hierzu \textit{G. Doetsch}, Compositio math., Groningen, 1 (1934), 85-97 (F.~d.~M. 60\(_{\text{I}}\), 306). (IV~4~E, 6~A, C.)