Notes on the generalized derivative of Riemann-Liouville and its application to Leibniz's formula. I, II. (Q573086): Difference between revisions

Die Derivierte \(D^{\alpha}\) und das Integral \(I^{\alpha}\) beliebiger, auch nicht ganzzahliger Ordnung \(\alpha\) wird in der üblichen \textit{Riemann}schen Weise definiert. Ist \(f(z)\) in der Umgebung des Nullpunktes regulär: \[ f(z) = \sum_{n=0}^{\infty} a_n z^n, \] so ist \[ I^{\alpha}f(z) = \sum_{n=0}^{\infty} \frac{\varGamma (n+1)}{\varGamma (n+\alpha+1)} a_n z^{n+\alpha} \] und \[ D^{\alpha}f(z) = z^{-\alpha}\sum_{n=0}^{\infty} \frac{\varGamma (n+1)}{\varGamma (n-\alpha+1)} a_n z^n \qquad (\alpha>0). \] Sind \(u\) und \(v\) beide in der Nähe des Nullpunktes regulär, so gilt die schon von \textit{Liouville} betrachtete Verallgemeinerung der \textit{Leibniz}schen Formel: \[ D^{\alpha}(uv) = D^{\alpha} u \cdot v + {\alpha \choose 1} \, D^{\alpha-1} u \cdot D v + {\alpha \choose 2} \, D^{\alpha-2} u \cdot D^2 v + \cdots \, . \] Für reelle Variable gilt folgender Restgliedsatz : Ist \(u(z)\) stetig und \(v(z)\) \(n\)-mal stetig differenzierbar, dann ist: \[ I^{\alpha}(uv) = \sum_{r=0}^{n-1} {-\alpha \choose r} \, I^{\alpha+r} u \cdot D^{r} v + R_n \] mit \[ R_n = \frac{(-1)^n}{\varGamma(\alpha)} \int\limits_{a}^{z} I^n [(z-x)^{\alpha-1} u(x)] \cdot D^n v(x)\, dx. \] Mit Hilfe dieser Formel werden für eine Anzahl von Integralen konvergente bzw. asymptotische Reihenentwicklungen aufgestellt. Ist \(f(z)\) in \(a \leqq z \leqq A\) unbeschränkt oft differenzierbar und \(a < b < A\), so gilt der verallgemeinerte \textit{Taylor}sche Satz: \[ f(z) = \sum_{r=-m}^{n-1} \frac{(z-b)^{\alpha+r}}{\varGamma(\alpha+r+1)} D^{\alpha+r} f(b) + R_n +R_m' \] mit \[ R_n = \int\limits_{b}^{z} \frac{(z-x)^{\alpha+n-1}}{\varGamma(\alpha+n)} D^{\alpha+n} f(x)\, dx = I^{\alpha+n} \, D^{\alpha+n} \, f(z) \] und \[ R_m' = \int\limits_{a}^{b} \frac{(z-x)^{\alpha-m-1}}{\varGamma(\alpha-m)} f^{(\alpha-m)}(x)\, dx. \] Hieraus ergibt sich, daß die \textit{Riemann}sche Entwicklung (Werke (2. Aufl. 1892; F. d. M. 24, 21 (JFM 24.0021.*)-22), S. 358) \[ \frac{z^{\mu}}{\varGamma(\mu+1)} = \sum_{n=-\infty}^{+\infty} \frac{(z-b)^{\alpha+n} b^{\mu-\alpha-n}}{\varGamma(\alpha+n+1) \varGamma(\mu-\alpha-n+1)} \] bei reellen Variablen nur für \(z=2b\) und bei komplexen Variablen für \(|z-b|=|b|\) konvergiert, wenn \(\mu>-1\) ist.