Notes on some points in the integral calculus. LXVIII. (Q1440795)

Behandlung des folgenden (unter weniger allgemeinen Voraussetzungen bekannten) Satzes über den Grenzwert eines Integralhauptwertes: Wenn \(f(x)\) meßbar ist, und wenn \[ J_p=\left\{ \frac{1}{b-a} \int_a^b | f|^p dx \right\}^{\frac 1p} \] für hinreichend kleine positive \(p\) existiert, dann ist \[ \lim_{p \to +0} J_p=\text{exp} \left\{ \frac{1}{b-a} \int_a^b \log | f| dx \right\} \] oder \[ \lim_{p \to +0} J_p=0, \] je nachdem das Integral \[ I=\frac{1}{b-a} \int_a^b \log | f| dx \] existiert oder nicht. Verf. gibt für diesen Satz zwei Beweise; diese sind von Beweisen, die ihm von \textit{Littlewood} und \textit{Besicovitch} mitgeteilt worden sind, wesentlich verschieden. Der erstere Beweis operiert mit der bekannten, für positive \(u_1,\dots,u_n;v_1,\dots,v_n\) gültigen Ungleichung \[ \text{exp} \left\{ \frac{\sum u_\nu \log v_\nu}{\sum u_\nu} \right\} \leqq \frac{\sum u_\nu v_\nu}{\sum u_\nu} \leqq \text{exp}\frac{\sum u_\nu v_\nu \log v_\nu}{\sum u_\nu v_\nu}. \] Der letztere wird nur in dem Fall eines existierenden \(I\) durchgeführt und ergibt noch den folgenden Satz: Ist \(\sum_1^\infty a_n\) eine konvergente Reihe mit nicht negativen Gliedern und mit dem Summenwert Eins, und ist \(0<c<1\), so ist \[ \lim_{p \to +0} \left\{ \sum_1^\infty c_{np} a_n \right\}^{\frac 1p}=\text{exp} \left\{ \log c \sum_1^\infty na_n \right\} \;\text{oder}\;=0, \] je nachdem \(\sum na_n\) konvergent oder divergent ist. Beide Sätze der Arbeit sind Spezialfälle eines ebenfalls noch formulierten dritten Satzes.