On general transforms with kernels of the Fourier type. (Q2617389)

(1) Die Resultate von \textit{G. N. Watson} (General transforms, Proceedings L. M. S: (2) 35 (1933). 156-199; F. d. M. \(59_{\text{II}}\)) sind von \textit{Titchmarsh} (A proof of a theorem of \textit{Watson}, Journal L. M. S. 8 (1933), 217-220; F. d. M. \(59_{\text{II}}\)) und \textit{Plancherel} (Sur les fomules de réciprocité du type de \textit{Fourier}, Journal L. M. S. 8 (1933), 220-226; F. d. M. \(59_{\text{II}}\)) durch Approximation vermittels Funktionsreihen mit gewissen Eigenschaften bewiesen worden. Verf. erreicht dasselbe durch Grenzübergänge mir quadratischen Mittelwerten. \textit{Watson} leitet Bedingungen ab, die \(\chi (y)\) erfüllen muß, damit folgender Satz richtig ist: Zu jeder Funktion \(f(x)\) aus \(L^2(0,\infty )\) gibt es ein \(g(x)\) aus \(L^2(0,\infty )\), so daß \[ \int \limits _0^xg(u)du= \int \limits _0^\infty \frac {\chi (xy)}yf(y)dy \] ist. Die Beziehung zwischen \(f\) und \(g\) ist reziprok, d. h. \[ \int \limits _0^xf(u)du=\int \limits _0^\infty \frac {\chi (xy)}yg(y)dy. \] Ferner ist \[ \int \limits _0^\infty f^2(x)dx= \int \limits _0^\infty g^2(x)dx. \] \textit{Watson} zeigt, daß\^^Mfür \[ \int \limits _0^\infty \frac {\chi (xy)\chi (yz)}{y^2}dy= \text{Min}(x,z)\leqno (*) \] der Satz richtig ist, und daß, wenn \[ \varOmega (\frac 12+it)\varOmega (\frac 12-it)=1\leqno (**) \] und \(\frac {\chi (y)}y\) die \textit{Mellin}-Transformierte von \(\frac {\varOmega (\frac 12+it)}{\frac 12-it}\) ist, die Beziehung (*) gilt. Verf. geht direkt von (**) zu dem Satz über und beweist (*) später. (2) Es wird fogender Satz über selbstreziproke Funktionen bewiesen: \(\frac {\chi (y)}y\) gehöre zu \(L^2(0,\infty )\); es sei \[ \frac {\varOmega (\frac 12+it)}{\frac 12-it}=\underset {T\rightarrow \infty } {\text{limes in medio}}\int \limits _{\frac 1T}^T \chi (y)y^{it-\frac 32}dy \] und \(\varOmega \) erfülle die Bedingung (**). Eine notwendige und hinreichende Bedingung dafür, daß\^^Meine Funktion aus \(L^2(0,\infty )\) selbstreziprok ist, d. h. die Gleichung \[ \int \limits _0^xf(u)du=\int \limits _0^\infty \frac {\chi (xy)}yf(y)dy \] erfüllt, besteht darin, daß \[ f(x)=\underset {T\rightarrow \infty } {\text{limes in medio}}\int \limits _{-T}^{+T}F(\frac 12+it)x^{-\frac 12-it}dt \] ist, wo \(F\left (\frac 12+it\right )\) zu \(L^2(-\infty,\infty )\) gehört und der Gleichung \[ F(\frac 12+it)=F(\frac 12-it) \varOmega (\frac 12+it) \] genügt. Hieraus ergibt sich für \(\chi (y)=\left (\frac 2\pi \right )^\frac 12\sin y\) das von \textit{Hardy} und \textit{Titmarsch} (Quarterly Jour. (Oxford series) 1 (1930), 196-231 (F. d. M. \(56_{\text{II}}\), 1016) Theorem 1) erhaltene Resultat: Notwendig und hinreichend dafür, daß\ ein \(f(x)\) aus \(L^2(0,\infty )\) selbstreziprok in der \(\cos \)-Transformation ist, ist die Bedingung \[ f(x)=\underset {T\rightarrow \infty } {\text{limes in medio}}\frac 1{2\pi } \int \limits _{-T}^{+T}F(\frac 12+it)x^{-\frac 12-it}dt, \] wo \(F(\frac 12+it)\) zu \(L^2(-\infty,\infty )\) gehört und der Gleichug \[ F\left (\frac 12+it\right )=\left (\frac 2\pi \right )^\frac 12\varGamma \left (\frac 12+it\right )\cos \left [\frac \pi 2\left (\frac 12+it\right ) \right ]F\left (\frac 12-it\right ) \] genügt.