Hardy's inequality
= Hardy's inequality
{c}
{wiki}
<Hardy's inequality> bounds averages or weighted functions by their original size or <derivatives>. For $p>1$ and $f\geq0$, its integral form is $\int_0^\infty(x^{-1}\int_0^xf(t)\,dt)^p\,dx\leq(p/(p-1))^p\int_0^\infty f(x)^p\,dx$. Spatial weighted forms include the <Hardy inequality in Euclidean space>.