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

Ähnlich wie die \textit{Watson}sche Theorie (Proc. London math. Soc. (2) 35 (1933), 156-199; F.~d.~M. 59\(_{\text{II}}\), 1079) die Theorie der Fourier-Transformation im Raume \(L^2\) auf eine ganz allgemeine Klasse von Transformationen überträgt, wird hier die \textit{Titchmarsh}sche Theorie (Proc. London math. Soc. (2) 23 (1924), 279-289; F.~d.~M. 50, 201) für Funktionen des Raumes \(L^p\,(p > 1)\) auf eine allgemeine Klasse von Transformationen übertragen. Satz: Es sei \(\mathfrak{R}\lambda > 0\) oder \(< - \frac{1}{2}\), und \(\chi_{\lambda}(x)\) erfülle die Bedingungen: 1) \(\qquad \dfrac{\chi_{\lambda}(x)}{x}\) gehört zu \(L^2(0,\infty)\) und genügt der Gleichung \[ \int\limits_{0}^{\infty} \frac{\chi_{\lambda}(xy)\chi_{\lambda}(yz)}{y^2} \, dy = \left\{ \begin{aligned} \pm \frac{1}{2 \lambda} (xz)^{\frac{1}{2}} \left( \frac{z}{x} \right)^{\pm \lambda} & \quad (x>z) \\ \pm \frac{1}{2 \lambda} (xz)^{\frac{1}{2}} \left( \frac{x}{z} \right)^{\pm \lambda} & \quad (x<z) \end{aligned} \right. \] für jedes \(x\) und \(z\) in \((0,\infty)\), wobei die oberen Vorzeichen für \(\mathfrak{R}\lambda > 0\), die unteren für \(\mathfrak{R}\lambda < 0\) zu nehmen sind. 2a) Es gibt eine fast überall definierte Funktion \(\omega_{\lambda}(x)\), so daß \[ \begin{aligned} & \chi_{\lambda}(x)=x^{-\lambda+\frac{1}{2}}\int\limits_{0}^{x} t^{\lambda-\frac{1}{2}} \omega_{\lambda}(t)\, dt \qquad (\mathfrak{R}\lambda > 0), \\ & \chi_{\lambda}(x)=-x^{-\lambda+\frac{1}{2}}\int\limits_{x}^{\infty} t^{\lambda-\frac{1}{2}} \omega_{\lambda}(t)\, dt \qquad (\mathfrak{R}\lambda < -\frac{1}{2}). \end{aligned} \] 2b) Es gibt eine Zahl \(m_{\lambda}\), so daß \(|\omega_{\lambda}(x)| \leqq m_{\lambda}\). 2c) \(\dfrac{\chi_{\lambda}(x)}{x}\) gehört zu \(L^{p_1}(0,\infty)\) mit \(1 < p_1 < 2\). \noindent Wenn nun \(f(x)\) zu \(L^p (0, \infty)\) \((1 < p \leqq 2)\) gehört, so existiert die Funktion \[ g(x)= {\underset{a \to \infty} {{\overset {(p')} {\text{l. i. m.}}}}} \int\limits_{0}^{a} f(y) \omega_{\lambda}(xy) \, dy = x^{-\lambda+\frac{1}{2}} \frac{d}{dx} \left\{ x^{\lambda-\frac{1}{2}} \int\limits_{0}^{\infty} \frac{\chi_{\lambda}(xy)}{y} f(y)\, dy\right\} \] mit \(\dfrac{1}{p}+\dfrac{1}{p'}=1\) fast überall und gehört zu \(L^{p'}(0, \infty)\). Es ist \[ \left( \int\limits_{0}^{\infty} |g(x)|^{p'}\, dx \right)^{\frac{1}{p'}} \leqq A_{\lambda}^{\frac{1}{p'}}\, m_{\lambda}^{\frac{2-p}{p}} \left( \int\limits_{0}^{\infty} |f(x)|^{p}\, dx \right)^{\frac{1}{p}}. \] \(g(x)\) heißt die \(\chi_{\lambda}\)-Transformierte von \(f(x)\). Gehören \(f_1(x)\) und \(f_2(x)\) beide zu \(L^p (0, \infty)\) und sind \(g_1(x)\) und \(g_2(x)\) ihre \(\chi_{\lambda}\)-Transformierten, so ist \[ \int\limits_{0}^{\infty} f_1(x) g_2(x) \, dx = \int\limits_{0}^{\infty} f_2(x) g_1(x) \, dx. \] Für \(p \geqq p_1\) gilt auch die reziproke Transformationsformel: \[ f(x)=x^{-\lambda+\frac{1}{2}} \frac{d}{dx} \left\{ x^{\lambda-\frac{1}{2}} \int\limits_{0}^{\infty} \frac{\chi_{\lambda}(xy)}{y} g(y)\, dy\right\}. \] Das \textit{Titchmarsh}sche Ergebnis für die cos-Transformation geht hieraus für \[ \lambda=\frac{1}{2}, \quad \omega_{\lambda}(x)=\left( \frac{2}{\pi} \right)^{\frac{1}{2}}\cos \, x, \quad \chi_{\lambda}(x)=\left( \frac{2}{\pi} \right)^{\frac{1}{2}}\sin \, x, \quad m_{\lambda}=\left( \frac{2}{\pi} \right)^{\frac{1}{2}} \] hervor. Hier ist \(A_{\lambda}=1\), und die Bedingungen sind für jedes \(p_1 > 1\) erfüllt. Der obige Satz wird noch weiter verallgemeinert. (IV 8 A.)