Notes on the theory of series. VI: Two inequalities. (Q1445130)

Ist \(f(x)=\sum a_n x^n\) und \((f(x))^{\varkappa} = \sum u_n x^n\) (\(\varkappa\) positiv-ganz), so werden in der Theorie der Fourierreihen und der Potenzreihen Kriterien für die Konvergenz von \(\sum |u_n|^2\) benötigt. Hier handelt es sich um den Nachweis, daß die Konvergenz von \[ (1) \qquad \sum n^{2\varkappa-2}|a_n|^{2\varkappa}, \qquad\qquad (2) \qquad \(\sum n^{(\varkappa-1)/\varkappa} |a_n|^2\)\( hinreichend ist. (1) haben die Verfasser schon früher [Math. Ann. 97, 159--209 (1926; JFM 52.0267.01)] auf komplizierten Wegen bewiesen; (2) kommt in ihren Untersuchungen über Integrale gebrochener Ordnung vor [Proc. Lond. Math. Soc. (2) 24, 211--246 (1925; JFM 51.0222.03)] und hat Berührung mit den in der vorstehend besprochenen Arbeit bewiesenen Sätzen. Statt (1) und (2) werden nun mit sehr einfachen Mitteln die folgenden allgemeinen Sätze bewiesen: \par 1. Sind \)\varkappa\( positive Zahlenfolgen \)a_n, b_n,\ldots, k_n\( (\)n = 0, 1,\ldots\(; \)a_0=\cdots=k_0=0\() gegeben, und wird \)\( u_n=\sum a_{\nu_1}b_{\nu_2}\ldots k_{\nu_{\varkappa}} \qquad (\nu_j\geqq 0, \nu_1+\cdots+\nu_{\varkappa}=n=1,2,\ldots) \)\( gesetzt, so ist \)\( \sum u_n^2\leqq (2M\varkappa)^{2\varkappa}(AB\ldots K)^{1/\varkappa}, \)\( wobei \)M\( eine absolute Konstante bedeutet und die Reihen \)\( A=\sum n^{2\varkappa-2} a_n^{2\varkappa},\ldots, K=\sum n^{2\varkappa-2}k_n^{2\varkappa} \)\( konvergent vorausgesetzt werden. \par 2. Ist \)A_x =\sum\limits_{n\leqq x} a_n,\ldots, K_x=\sum\limits_{n\leqq x} k_n\( und \)\omega=\frac12\varkappa\(, so ist \)\( \sum u_n^2\leqq M^{2\varkappa}(A^*+\cdots+K^*), \)\( falls die Reihen \)\( A^*=\sum a_n^2B_{\omega n}^2 C_{\omega n}^2\ldots K_{\omega n}^2,\quad B^*=\sum A^2_{\omega n} b^2_n C^2_{\omega n}\ldots K^2_{\omega n},\ldots \)\( konvergieren. \par 3. Es ist \)\sum u_n^2\leqq (2M\varkappa)^{2\varkappa}A'B'\cdots K'\(, falls die Reihen \)\( A'=\sum n^{(\varkappa-1)/\varkappa} a_n^2,\quad B'=\sum n^{(\varkappa-1)/\varkappa} b_n^2,\ldots \)\( konvergieren.\) \]