Über die Gauß-Fabersche Ungleichung für Integrale. (Q1445219)

Es sei \(\varPhi (x)\) eine für \(x\geqq 0\) nicht zunehmende Funktion, \(p\) eine nicht negative, nicht notwendig ganze Zahl; es existiere \[ K_p=\int _0^\infty x^p\varPhi (x)\,dx, \] und es sei \(K_0=1\). Für die von \(G\). Faber (Bemerkungen zu Sätzen der Gaußschen theoria combinationis observationum; Sitzungsberichte München 1922, 721 ; F. d. M. 48, 288 (JFM 48.0288.*)) hergeleitete Ungleichung \[ \{ (p+1)K_p\} ^\frac {1}{p}\geqq \{ (q+1)K_q\} ^\frac {1}{q},\text{ \;wenn \;} p > q, \] gibt Verf. die folgende Verallgemeinerung: \[ \Bigl\{ \frac {(l+1)K_l}{(k+1)K_k}\Bigr\} ^{n-m}\leqq \Bigl\{ \frac {(n+1)K_n}{(m+1)K_m}\Bigr\} ^{l-k}, \text{ \;wenn \;} k<l\leqq m<n. \] Der Beweis operiert mit einer von M. Fujiwara (Über die Gauß-Fabersche Ungleichung für Integrale; Japanese Journ. of Math. 2 (1926), 197-200; F. d. M. 52) für das Stieltjessche Integral \[ (p+1)K_p=L_p=\int _0^\infty x^{p+1}\,d\psi(x),\;\;(\psi (x)=-\varPhi (x)) \] aufgestellten Ungleichung: \[ L_\alpha L_\beta \geqq L_\gamma L_\delta, \text{ \;wenn \;} 0<\gamma <a,\;0<\beta <\delta \text{ \;und \;} \alpha +\beta =\gamma +\delta . \] Von dieser letzteren Ungleichung gibt Verf. die folgende Erweiterung: Es ist die Determinante \[ ||L_{\alpha _{ik}}||\geqq 0, \] wenn \[ \alpha _{ik} = p_i + q_k \;\;\;(i, k=1,2,3) \] gesetzt wird und \[ p_1<p_2<p_3,\;\;q_1<q_2<q_3 \] ist.