On an elementary approach to the fractional Hardy inequality (Q4699573)

Let \(1\leq p \leq \infty\), \(\alpha \in\mathbb R \setminus \{0\}\) and assume that \(\int^t_0 u(s)ds\) exists for any \(t\in (0,\infty)\). Then \[ \Big(\int^{\infty}_0 \Big|\frac{u(t)}{t^{\alpha}}\Big|^p \frac{dt}{t} \Big)^{1/p} \leq C (\alpha) \Big(\int^{\infty}_0 \Big|\frac{u(t) - \bar u(t)}{t^{\alpha}} \Big|^p \frac{dt}{t} \Big)^{1/p}, \] where \(C(\alpha)=1+|\alpha|^{-1}\), \(\bar u(t) = t^{-1} \int^t_0 u(s)ds\), provided that either \(\alpha>0\) and \(\lim_{t\rightarrow 0+} \bar u(t) = 0\), or \(\alpha<0\) and \(\lim_{t\rightarrow \infty} \bar u (t) = 0\). This is the main result of the paper. Moreover, the authors make use of it to derive some fractional Hardy-type inequalities and inequalities involving \(\|f\|_{L_{p,q}}\) and \(\|f_{\#}\|_{L_{p,q}}\) or the quasi-norm of \(f_{\#}\) in a weighted \(L_q\)-space (here the symbol \(L_{p,q}\) stands for the Lorentz space and \(f_{\#} (t) := t^{-1} \int^t_0 f(s) ds - f(t), \;t> 0\)).