The theory of general transforms for functions of the class \(L^p(0,\infty)\) (\(1 < p \leqq 2\)). II. (Q2591576)

Die Arbeit ist die Fortsetzung von Quart. J. Math. (Oxford Ser.) 9 (1938), 148-160 (JFM 64.0388.*). Die ``general transforms'', die betrachtet werden, sind von der Form: \[ g(x)=x^{-\lambda+\frac 12} \frac d{dx}\left\{x^{\lambda-\frac 12}\int\limits_0^\infty \frac{\chi_\lambda(xy)}yf(y)\,dy\right\}, \tag{1} \] wobei \(f(x)\) zu \(L^p(0,\infty)\) gehört, mit der Umkehrung \[ f(x)=x^{-\lambda+\frac 12} \frac d{dx}\left\{x^{\lambda-\frac 12}\int\limits_0^\infty \frac{\chi_\lambda(xy)}yg(y)\,dy\right\}. \tag{2} \] Um die in diesem Problemkreis heute übliche Theorie der Mellin-Transformation anwenden zu können, ist es nötig, der Mellin-Transformierten \(\dfrac{\varOmega_\lambda(s)}{\lambda+\frac 12-s}\) von \(\dfrac{\chi_\lambda(x)}x\) gewisse Bedingungen aufzuerlegen. Der Hauptsatz der Arbeit lautet: Es sei \(\lambda>0\) oder \(\lambda < - \left(\dfrac 12-\dfrac 1{P'}\right)\), wo \(1< P \leqq 2\) und \(\dfrac 1P+\dfrac 1{P'}=1\) ist. Ferner sei \(\varOmega_\lambda(s)\) eine analytische Funktion von \(s =\sigma + it\), die in dem Streifen \(\dfrac 1{P'}\leqq \sigma \leqq \dfrac 1P\) regulär ist und den folgenden Bedingungen genügt: \(\varOmega_\lambda(s) \varOmega_\lambda(1-s)=1\) im Streifen, \(\varOmega_\lambda(\sigma+it)\) und \(\varOmega_\lambda(\sigma-it)\) sind komplex konjugiert, \(\varOmega_\lambda(\sigma+it)\) ist für \(\dfrac 1{P'} \leqq \sigma \leqq \dfrac 12\) beschränkt, \(\varOmega_\lambda\left(\dfrac 1{P'}+it\right)= e^{i\xi t}k(t)\), wo \(\xi\) eine reelle Konstante ist und \(k(t)\) eine komplexe Funktion von \(t\) bedeutet, deren Ableitung zu \(L(0,\infty)\) gehört. Es sei \[ \frac{\chi_\lambda(x)}x=\operatornamewithlimits{l.i.m.}\limits _{T\to \infty}\frac 1{2\pi i} \int\limits_{\frac 12-iT}^{\frac 12+iT}\frac{\varOmega_\lambda(s)}{\lambda+\frac 12 -s}x^{-s}\,ds \] und \(P\leqq p \leqq 2\). Gehört dann \(f(x)\) zu \(L^p(0,\infty)\), so existiert die durch (1) definierte Funktion \(g(x)\) und erfüllt die Ungleichung \[ \int\limits_0^\infty \left|\frac 1xg\left(\frac 1x\right)\right|^p\,dx \leqq K_p \int\limits_0^\infty |f(x)|^p\,dx. \] Wenn bei \(\lambda > 0\) noch \(\lambda > \dfrac 12-\dfrac 1{P'}\) ist, \(\dfrac{\varOmega_\lambda(\sigma+it)}{\lambda+\frac 12-\sigma-it}\) zu \(L^{\tfrac 1\sigma}(-\infty, \infty)\) gehört und \[ |\varOmega_\lambda(\sigma+it)| =o\left(|t|^2\right) \quad \text{für} \;|t| \to \infty, \] gleichmäßig in \(\dfrac 12 \leqq \sigma \leqq \dfrac 1{P'}\) ist, dann besteht auch die Umkehrungsformel (2).