积分, IV, p. 140
令 f 为在空间 R+∗=]0,+∞[ 和 p-th 幂中定义的数值函数 ≥0 可积为勒贝格测度 (1<p<+∞)。 集合 F(x)=∫0xf(t)dt 对于所有 x>0。
a) 证明当x趋于0或+∞、F(x)=o(x(p−1)/p)时(使用Hölder的不等式)。
b) 证明函数 F(x)/x 是 p-th 幂可积于 R+∗ 且
∫0+∞(xF(x))pdx≤(p−1p)p∫0+∞(f(x))pdx
(哈代的不等式)。 (首先考虑f∈K(R+∗)的情况;对于每个紧凑区间[a,b]⊂R+∗,获得积分上界
∫ab(tF(t))pdt
通过部分积分并利用Hölder的不等式。)