Beitrag zu Watsons ``General transforms''. (Q2607886)

\textit{Watson} (Proc. London math. Soc. (2) 35 (1933), 156-199; F.~d.~M. 59\(_{\text{II}}\), 1079-1080) hat die notwendige und hinreichende Bedingung dafür angegeben, daß ein quadratisch integrierbarer Kern eine involutorische Funktionaltransformation vermittelt, derart, daß die Gleichungen \[ \int\limits_0^x\psi(\xi)\,d\xi=\int\limits_0^\infty\frac{\chi(xy)}y\cdot \varphi(y)\,dy, \quad \int\limits_0^x\varphi(\xi)\,d\xi=\int\limits_0^\infty\frac{\overline\chi(xy)}y \cdot\psi(y)\,dy \tag{1} \] gegenseitig auseinander folgen; sie lautet \[ \int\limits_0^\infty\frac{\chi(xy)\cdot\overline\chi(zy)}{y^2}\,dy= \min(x,z). \tag{2} \] Für diesen Satz und seine Verallgemeinerungen gibt Verf. einen überraschend einfachen und eleganten Beweis; er beruht darauf, daß zuerst durch die Transformation \[ \varphi(e^{2x})=e^{-x}\cdot F(x), \quad \psi(e^{2x})=e^{-x}\cdot G(x), \quad \chi(e^{2x})=e^{x}\cdot\varTheta(x) \] die Beziehungen (1) und (2) umgeschrieben werden in \[ \begin{gathered} \int\limits_{-\infty}^x e^\xi G(\xi)\,d\xi=e^x\cdot \int\limits_{-\infty}^{+\infty}\varTheta(x+\xi)F(\xi)\,d\xi, \quad \int\limits_{-\infty}^x e^\xi F(\xi)\,d\xi=e^x\cdot \int\limits_{-\infty}^{+\infty}\overline\varTheta(x+\xi)G(\xi)\,d\xi, \tag{1\('\)}\\ \int\limits_{-\infty}^{+\infty}\overline\varTheta(x+\xi)\varTheta(\xi)\,d\xi= \tfrac12e^{-|x|} \tag{2\('\)} \end{gathered} \] und diese durch die \textit{Fourier}transformation \[ f(x)=\mathfrak F(F)=\int\limits_{-\infty}^{+\infty}e^{-ixy}F(y)\,dy \] in Beziehungen zwischen den Transformierten \(f\), \(g\), \(\vartheta\) übergeführt werden, deren algebraischer Zusammenhang sofort evident ist. Da auf Grund der Faltung (2\('\)) sich \[ |\vartheta(y)|=\frac1{\sqrt{1+y^2}} \] ergibt, kann man sofort den allgemeinsten Kern \(\varTheta(x)\) bzw. \(\dfrac{\chi(x)}x\) angeben, der (2\('\)) bzw. (2) erfüllt. Damit überhaupt zwei Funktionen \(F(x)\), \(G(x)\) in einer involutorischen Funktionalbeziehung der Form (1\('\)) zu einander stehen, ergibt sich als kennzeichnend die Gleichung \[ |f(-y)|=|g(y)| \] zwischen ihren \textit{Fourier}transformierten. Daraus folgt \[ \int\limits_{-\infty}^{+\infty}\overline F(x+\xi)F(\xi)\,d\xi= \int\limits_{-\infty}^{+\infty}G(x+\xi)\overline G(\xi)\,d\xi, \] was für \(x=0\) den \textit{Parseval}schen Satz in sich schließt.