A mean value theorem. (Q2585271)

Als Analogon eines im wesentlichen von \textit{M. Riesz} (C. R. Acad. Sci., Paris, 152 (1911), 1651-1654 (F. d. M. 42, 272 (JFM 42.0272.*)); Acta Litt. Sci. Univ. Hungaricae, Szeged, Sect. Sci. math. 1 (1923), 114-126 (F. d. M. 49, 707 (JFM 49.0707.*)); vgl. auch \textit{G. H. Hardy, M. Riesz}, Cambridge math. Tracts 18 (1915; F. d. M. 45, 387 (JFM 45.0387.*)), S. 28, sowie \textit{S. Ver\-blunsky}, Proc. London math. Soc. (2) 32 (1931), 163-199 (F. d. M. \(57_{\text{I}}\), 294)) herrührenden Mittelwertsatzes für Integrale beweist Verf. für Summen: Ist \(0\leqq\alpha\leqq1\) und \(0\leqq m\leqq n\), so gut für beliebige \(a_\nu\) \[ \bigg|{\sum_{\nu=0}^{m}}A_{n-\nu}^{\alpha-1}a_\nu\bigg|\leqq \mathop{\operatorname{Max}}_{0\leqq\mu\leqq m} \bigg|{\sum_{\nu=0}^{\mu}}A_{\mu-\nu}^{\alpha-1}a_\nu\bigg|, \tag{1} \] wo die Größen \(A_\nu^\sigma\) durch die Identität \[ \sum_{\nu=0}^{\infty} A_\nu^\sigma x^\nu=(1-x)^{-\sigma-1}\qquad (|x|<1) \] erklärt sind. Für \(\alpha>1\) und \(\alpha<0\) wird die Behauptung falsch. Der Beziehung (1) lassen sich Abschätzungen folgender Art entnehmen: Für 0 \(<\alpha<1\) und \(d_1\geqq d_2\geqq\cdots\geqq d_n\geqq0\) gilt \[ \bigg|{\sum_{\nu=0}^{n}}A_{n-\nu}^{\alpha-1}d_\nu a_\nu\bigg|\leqq d_1\mathop{\operatorname{Max}}_{0\leqq\nu\leqq n} \bigg|{\sum_{\lambda=0}^{\nu}}A_{\nu-\lambda}^{\alpha-1}a_\lambda\bigg|; \] für \(0 < \alpha< 1\) und \(0\leqq d_1\leqq d_2\leqq\cdots\leqq d_n\) gilt \[ \bigg|{\sum_{\nu=0}^{n}}A_{n-\nu}^{\alpha-1}d_\nu a_\nu\bigg|\leqq 2d_n\mathop{\operatorname{Max}}_{0\leqq\nu\leqq n} \bigg|{\sum_{\lambda=0}^{\nu}}A_{\nu-\lambda}^{\alpha-1}a_\lambda\bigg|. \]