Note on the function \(\int\limits_x^\infty e^{\frac12(x^2-t^2)}dt\). (Q1503036)

Mit Hülfe des Fourierschen Doppelintegrals beweist man, daß unter gewissen Bedingungen, denen \(\varphi(x)\) genügen muß, aus \[ \psi(\alpha) = \sqrt{\frac2{\pi}} \int_0^\infty \cos\alpha x\varphi(x)dx \] folgt: \[ \varphi(\alpha) = \sqrt{\frac2{\pi}} \int_0^\infty \cos\alpha x\psi(x)dx; \] ebenso aus \[ \psi(\alpha) = \sqrt{\frac2{\pi}} \int_0^\infty \sin\alpha x\varphi(x)dx \] folgt: \[ \varphi(\alpha) = \sqrt{\frac2{\pi}} \int_0^\infty \sin\alpha x\psi(x)dx. \] Cauchy nennt \(\varphi(x)\) und \(\psi(x)\) reziproke Funktionen erster, bzw. zweiter Art. Die Formel \[ e^{-\frac12a^2} = \sqrt{\frac2{\pi}} \int_0^\infty \cos\alpha xe^{-\frac12x^2}dx \] zeigt, daß eine Funktion ihre eigne reziproke erster Art sein kann. Ein Beispiel für eine Funktion, die ihre eigne reziproke zweiter Art ist, hat Cauchy nicht gegeben. Verf. zeigt, daß die im Titel genannte Funktion \[ \varphi(\alpha) = \int_x^\infty e^{\frac12(x^2-t^2)}dt \] ihre eigne reziproke zweiter Art ist. Sind \(\varphi(x)\) und \(\psi(x)\) reziproke Funktionen erster Art, und stehen die reellen Größen \(\alpha\), \(\beta\) in der Beziehung \(\alpha\beta = \pi\), so ist, wie Cauchy bewiesen hat, unter gewissen Bedingungen \[ \begin{aligned} &\sqrt{\alpha}\{\frac12\varphi(0) + \varphi(\alpha) + \varphi(2\alpha) +\cdots\}\\ = &\sqrt{\beta}\{\frac12\psi(0) + \psi(\beta) + \psi(2\beta) +\cdots\}.\end{aligned} \] Sind \(\varphi(x)\) und \(\psi(x)\) reziproke Funktionen zweiter Art, so gilt, wie schon Schlömilch bewiesen hat und der Verf. neu beweist, die Formel \[ \sqrt{\lambda}\sum_0^\infty (-1)^n\varphi\{(n+\frac12)\lambda\} = \sqrt{\mu} \sum_0^\infty (-1)^n\psi\{(n+\frac12)\mu\},\quad \lambda\mu = 2\pi. \] Aus dieser ergeben sich unter Benutzung des Umstandes, daß die Funktion \[ \int_x^\infty e^{\frac12(x^2-t^2)}dt \] ihre eigne reziproke zweiter Art ist, drei Integralformeln, die der Verf. am Anfang seiner Arbeit direkt beweist: \[ a^\frac14\int_0^\infty \frac{e^{-a\xi^2}d\xi}{\operatorname{ch}\pi\xi} = b^\frac14\int_0^\infty \frac{e^{-b\xi^2}d\xi}{\operatorname{ch}\pi\xi},\quad ab = \pi^2, \] \[ a^\frac14\int_0^\infty \frac{e^{-a\xi^2}d\xi}{1+2\operatorname{ch}\pi\xi} = b^\frac14\int_0^\infty \frac{e^{-b\xi^2}d\xi}{1+2\operatorname{ch}\pi\xi},\quad ab = (\frac34\pi)^2, \] \[ a^\frac14\int_0^\infty \frac{\operatorname{ch}\frac12\pi\xi}{\operatorname{ch}\pi\xi}e^{-a\xi^2}d\xi = b^\frac14\int_0^\infty \frac{\operatorname{ch}\frac12\pi\xi}{\operatorname{ch}\pi\xi}e^{-b\xi^2}d\xi,\quad ab = (\frac12\pi)^2. \] Hier ist \(a\) reell. Man kann sie aber leicht auf andere Werte von \(a\) ausdehnen.