On fractional integrals and derivatives. (Q2587203)

Die übliche Form der Integrale nichtganzer Ordnung und der Riemann-Liouvilleschen Derivierten wird durch Einführung eines komplexen Parameters \(\eta\), der in einer rechten Halbebene variiert, verallgemeinert, indem die Operatoren \[ \begin{matrix} \qquad & \r & \l & \l \\ (1) & I^+_{\eta, \alpha} f \;& = \dfrac 1{\varGamma (\alpha)} z^{-\eta - \alpha} \int\limits_0^z (z-t)^{\alpha - 1}t^\eta f(t)\, dt & = g^+_{\eta, \alpha}(z), \\ (2) & K^+_{\eta, \alpha} f \;& = \dfrac 1{\varGamma (\alpha)} z^{\eta} \int\limits_0^z (z-t)^{\alpha - 1}t^{-\eta -\alpha} f(t)\, dt & = h^+_{\eta, \alpha}(z) \end{matrix} \] und entsprechende andere \(I^-_{\eta, \alpha} f\) und \(K^-_{\eta, \alpha}f\), die statt auf den ``Anfangspunkt'' 0 auf den Anfangspunkt \(\infty\) (Weyl) zugeschnitten sind, eingeführt werden. Hierfür werden Formeln der partiellen Integration wie \[ \int\limits_0^\infty \, dz \varphi (z) I^+_{\eta, \alpha} f = \int\limits_0^\infty \, dz f (z) K^-_{\eta, \alpha} \varphi \] und Iterationsformeln wie \[ I^+_{\eta, \lambda} (I^+_{\eta + \lambda, \mu } f) = I^+_{\eta, \lambda + \mu } f \] unter geeigneten Voraussetzungen beweisen. -- Die den obigen Integraloperatoren entsprechenden Derivierten werden als Lösungen der Gleichungen (1), (2) usw. bei gegebenen \(g^+_{\eta, \alpha}\) usw. definiert. Sie erweisen sich als eindeutig. Um Bedingungen für ihre Existenz angeben zu können, werden die Integralgleichungen (1), usw. durch Anwendung der Mellin-Transformation in algebraische Gleichungen verwandelt, ähnlich wie das in \textit{Doetsch}, Theorie und Anwendung der Laplace-Transformation (1937; F. d. M. \(63_{\text{I}}\), 368), siehe S. 293-305, in dem üblichen Fall \(\eta = 0\) vermittels der Laplace-Transformation durchgeführt worden ist. Wird nämlich die Mellin-Transformation \(f_1 (\tau) = \mathfrak M \{ f\} \) für \(f(x) \in L_p (0, \infty)\) und \(1 \leqq p \leqq 2\) so definiert: \[ f_1 (\tau) = \int\limits_0^\infty f(x) x^{s-1}\, dx \qquad (p = 1), \] \[ f_1 (\tau) = \overset{(p^\prime)} {\underset{N\to \infty } {\text{l.i.m.}}} \int\limits_{1/N}^N f(x) x^{s-1}\, dx \qquad (1<p \leqq 2), \] wo \(\dfrac 1p + \dfrac 1{p^\prime} = 1\) und speziell \(s = \dfrac 1p + i\tau\) zu setzen ist, so gilt folgender ``Faltungssatz'' : Ist \(f \in L_p (0,\infty)\) \((1 \leqq p \leqq 2)\), \(K (x, y)\) homogen vom Grad \(-1\) und \(K (1, y) y^{-\tfrac 1{p^\prime}} \in L_1 (0, \infty)\), so besteht die Gleichung: \[ \mathfrak M \left\{ \int\limits_0^\infty K(t, y) f (t) dt\right\} = \int\limits_0^\infty K(1, z) z^{-\tfrac 1{p^\prime} + i\tau}\, dz \cdot \mathfrak M \{f\} . \] Im Falle (1) lautet diese Gleichung beispielsweise: \[ \mathfrak M \{I^+_{\eta, \alpha} f\} = \frac {\varGamma \left( \eta + \dfrac 1{p^\prime} - i \tau\right)} {\varGamma \left( \eta + \alpha + \dfrac 1{p^\prime} - i \tau\right)} \mathfrak M \{f\} . \] Hieraus ergibt sich für \(p = 2\) eine notwendige und hinreichende, für \(1 \leqq p < 2\) eine notwendige und für \(2 < p \leqq \infty\) eine hinreichende Bedingung für die Existenz einer Lösung \(f \in L_p (0,\infty)\) der Gleichung \( g (z) = I^+_{\eta, \alpha} f \left(\mathfrak R \eta > -\dfrac 1{p^\prime }\right)\).