×

Some properties of fractional integrals. I. (English) JFM 54.0275.05

Nach Liouville-Riemann pflegt man für nicht notwendig ganzes \(\alpha>0\) \[ f_\alpha(x)=\frac{1}{\Gamma(\alpha)} \int_A^x (x-t)^{\alpha-1} f(t)dt \] als \(\alpha\)-fach iteriertes Integral und für \(0<\beta<1\) \[ f^{(\beta)}(x)=\frac{d}{dx} f_{1-\beta}(x) \] als \(\beta\)-te Ableitung von \(f(x)\) anzusehen. Diese Definition hängt noch von dem “Anfangswert” \(A\) ab.
Es handelt sich nun darum, wenn \(f(x)\) gewissen Lebesgueschen Klassen angehört bzw. gewissen Lipschitzschen Bedingungen genügt, die \(f_\alpha\) und \(f^{(\beta)}\) auf analoge Eigenschaften zu untersuchen. Von den zahlreichen überaus interessanten Ergebnissen können hier nur die prägnantesten genannt werden. Alle Beweise sind völlig reell.
I. (Theorem 4.) Es sei \[ p>1,\;0<\alpha<\frac 1p,\;q=\frac{p}{1-p \alpha};\;0<a<b \leqq \infty. \] \(f(x)\) gehöre in \((a,b)\) zur Lebesgueschen Klasse \(L^p\). Dann gehört \(f_\alpha(x)\) (mit \(A=a\)) in \((a,b)\) zur Lebesgueschen Klasse \(L^q\), und es gilt \[ \int_a^b | f_\alpha(x)|^q dx \leqq K(p,\alpha) \;\left( \int_a^b | f(x)|^p dx \right)^{\frac pq}. \] II. Theorem 14, 15.) Es sei \[ k \geqq 0,\;\alpha>0,\;k+\alpha<1. \] \(f(x)\) gehöre in \((a,b)\) zu \(\text{Lip}k\) bzw. \(\text{Lip}^* k\), d. h. es genüge den Lipschitzbedingungen \[ f(x)-f(x-h)=O(h^k)\;\text{bzw.}\;o(h^k) \] gleichmäßig für alle \(a \leqq x-h<x \leqq b\).
Ferner sei auch \[ f(x)=O(x-a)^k\;\text{bzw.}\;o(x-a)^k \] für kleine \(x-a>0\).
Dann gehört \(f_\alpha(x)\) (mit \(A=a\)) zu \(\text{Lip}(k+\alpha)\) bzw. \(\text{Lip}^*(k+\alpha)\).
Diese Sätze gelten auch mit \(a=0,b=2\pi\), wenn \(f(x)\) die Periode \(2\pi\) hat, \[ \int_0^{2\pi} f(x)dx=0 \] ist und der Anfangswert \(A=-\infty\) genommen wird. (Theorem 5 und 18.) Dies ist für die Anwendungen auf Fourierreihen wichtig. Auch in den folgenden Sätzen ist dies vorausgesetzt.
III. (Theorem 19 (Verallgemeinerung eines Satzes von Weyl) und 20.)
Es sei \(0<\beta<k \leqq 1\). \(f(x)\) gehöre zu \(\text{Lip} k\) bzw. \(\text{Lip}^* k\). Dann existiert \(f^{(\beta)}(x)\), ist stetig und \(f(x)\) ist das \(\beta\)-te Integral von \(f^{(\beta)}(x)\). Überdies gehört \(f^{(\beta)}(x)\) zu \(\text{Lip}(k-\beta)\) bzw. \(\text{Lip}^*(k-\beta)\).

PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Bernstein, S.: Sur la convergence absolue des s?ries trigonom?triques, Comptes rendus, 8 June 1914.
[2] Hardy, G. H.: Some properties of integrals of fractional order, Messenger of Mathematics47 (1918), p. 145-150. · JFM 46.0408.01
[3] ?: Weierstrass’s non-differentiable function, Trans. Amer. Math. Soc.17 (1916), p. 301-325. · JFM 46.0401.03
[4] Hardy, G. H., and Littlewood, J. E.: Some properties of fractional integrals, Proc. London Math. Soc. (2),24 (1925), p. xxxvii-xli (Records for 12 March 1925).
[5] ??: On Parseval’s Theorem, Proc. London Math. Soc. (2),26 (1927), p. 287-294. · JFM 53.0256.03 · doi:10.1112/plms/s2-26.1.287
[6] Hardy, G. H., Littlewood, J. E., P?lya, G.: The maximum of a certain bilinear form, Proc. London Math. Soc. (2),25 (1926), p. 265-282. · JFM 52.0206.03 · doi:10.1112/plms/s2-25.1.265
[7] Jordan, C.: Cours d’analyse, ed. 2,3 (1896), p. 58-59. · JFM 27.0223.11
[8] Liouville, J.: Sur le calcul des diff?rentielles ? indices quelconques, Journal de l’?cole Polytechnique13 (1832), p. 1-69.
[9] Pollard, S.: On Parseval’s Theorem, Proc. London Math. Soc. (2),25 (1926), p. 237-246 (240). · JFM 52.0279.01 · doi:10.1112/plms/s2-25.1.237
[10] Riemann, B.: Versuch einer allgemeinen Auffassung der Integration und Differentiation, Werke, p. 331-344.
[11] Riesz, F.: Untersuchungen ?ber Systeme integrierbarer Funktionen, Math. Annalen69 (1910), p. 449-497. · JFM 41.0383.01 · doi:10.1007/BF01457637
[12] Riesz, M.: Les fonctions conjugu?es et les s?ries de Fourier, Comptes rendus, 28 April 1924.
[13] ?: Sur les fonctions conjugu?es, Math. Zeitschr.27 (1927), p. 218-244. · JFM 53.0259.02 · doi:10.1007/BF01171098
[14] Schlesinger, L., und Plessner, A., Lebesguesche Integrale und Fouriersche Reihen, Berlin 1926. · JFM 52.0237.01
[15] Sz?sz, O.: ?ber den Konvergenzexponenten der Fourierschen Reihen gewisser Funktionenklassen, M?nchener Sitzungsberichte (1922), p. 135-150. · JFM 48.0304.02
[16] Titchmarsh, E. C.: Reciprocal formulae for series and integrals, Math. Zeitschr.25 (1926), p. 321-347. · JFM 52.0213.03 · doi:10.1007/BF01283842
[17] ?: A note on Fourier transforms, Journal London Math. Soc.2 (1927), p. 148-150. · JFM 53.0274.02 · doi:10.1112/jlms/s1-2.3.148
[18] Weyl, H.: Bemerkungen zum Begriff des Differentialquotienten gebrochener Ordnung, Vierteljahrsschrift d. naturf. Ges. in Z?rich,62 (1917), p. 296-302.
[19] Zygmund, A: Sur la sommabilit? des s?ries de Fourier des fonctions v?rifiant la condition de Lipschitz, Bulletin de l’Acad. de Cracovie (1925), p. 1-9. · JFM 52.0271.02
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.