On some extensions of Hardy's inequality (Q1063713)

Im Anschluß an seine frühere Arbeit in Can. Math. Bull. 20, 307-312 (1977; Zbl 0398.26020)] beweist Verf. folgenden Satz: g sei stetig, nichtnegativ und nichtabnehmend auf [c,d] mit \(g(c)=0\) und \(g(d)=\infty\); f sei nichtnegativ und L-S-integrierbar bezüglich g auf [c,d], und für \(\delta\) \(\neq 0\) sei \[ F(x):=\int^{x}_{c}f(t)dg(t)\quad (\delta <0),\quad:=\int^{d}_{x}f(t)dg(t)\quad (\delta >0). \] Ferner gelte für \(p\geq 1\) oder \(p<0\int^{d}_{c}g(x)^{\delta p- 1}[g(x)f(x)]^ pdg(x)<\infty\) und für \(0<p\leq 1\) sei \(\int^{d}_{c}g(x)^{\delta p-1}F(x)dg(x)<\infty.\) Dann ist mit \(c\leq a<b\leq d\) \[ \int^{b}_{a}g(x)^{\delta p-1}F(x)^ pdg(x)\leq \delta^{-1}[g(b)^{\delta p}F(b)^ p-g(a)^{\delta p}F(a)^ p]+ \] \[ | \delta |^{-p}\int^{b}_{a}g(x)^{\delta p- 1}[g(x)f(x)]^ pdg(x) \] für \(p\geq 1\) oder \(p<0\), während sich für \(0<p\leq 1\) die Ungleichung umkehrt. Der Faktor \(| \delta |^{- p}\) ist bestmöglich. Für \(p=1\) oder \(f=0\) ist die Ungleichung strikt. - Für \(\delta =(1-p)/p\quad (r\neq 1\) und \(p\geq 1\) oder \(p<0)\) ergeben sich Ungleichungen, die als Verallgemeinerungen zu der oben angeführten Arbeit des Verf. angesehen werden können. Weitere interessante Ungleichungen ergeben sich durch Spezialisierung von f(x), g(x) und \(\delta\).