Nonlocal Hardy type inequalities with optimal constants and remainder terms
Using a groundstate transformation, we give a new proof of the optimal Stein-Weiss inequality of Herbst [\int_{\R^N} \int_{\R^N} \frac{φ(x)}{\abs{x}^\fracα{2}} I_α(x - y) \frac{φ(y)}{\abs{y}^\fracα{2}}\dif x \dif y \le \mathcal{C}_{N,α, 0}\int_{\R^N} \absφ^2,] and of its combinations with the Hardy inequality by Beckner [\int_{\R^N} \int_{\R^N} \frac{φ(x)}{\abs{x}^\frac{α+ s}{2}} I_α(x - y) \frac{φ(y)}{\abs{y}^\frac{α+ s}{2}}\dif x \dif y \le \mathcal{C}_{N, α, 1} \int_{\R^N} \abs{\nabla φ}^2,] and with the fractional Hardy inequality [\int_{\R^N} \int_{\R^N} \frac{φ(x)}{\abs{x}^\frac{α+ s}{2}} I_α(x - y) \frac{φ(y)}{\abs{y}^\frac{α+ s}{2}}\dif x \dif y \le \mathcal{C}_{N, α, s} \mathcal{D}_{N, s} \int_{\R^N} \int_{\R^N} \frac{\bigabs{φ(x) - φ(y)}^2}{\abs{x-y}^{N+s}}\dif x \dif y] where (I_α) is the Riesz potential, (0 < α< N) and (0 < s < \min(N, 2)). We also prove the optimality of the constants. The method is flexible and yields a sharp expression for the remainder terms in these inequalities.