Sharp higher-order Hardy inequality with distance to the boundary

Let BRB_R be the ball of radius RR in RN\mathbb{R}^N, let 1<p<1<p<\infty, let k2k\geq 2, and let uCck(BR)u\in C_c^k(B_R). Write dist(x,BR)\operatorname{dist}(x,\partial B_R) for the distance from xx to the boundary. Boundary-distance Hardy conjecture. The inequality

(j=1kjp1p)pBRupdist(x,BR)kpdxBRkupdx\left(\prod_{j=1}^{k}\frac{jp-1}{p}\right)^p\int_{B_R}\frac{|u|^p}{\operatorname{dist}(x,\partial B_R)^{kp}}\,dx\leq\int_{B_R}|\nabla^k u|^p\,dx

holds. Moreover, the constant (j=1k(jp1)/p)p\left(\prod_{j=1}^{k}(jp-1)/p\right)^p is optimal and is not attained by any nonzero uu for which the right-hand side is finite. This is a proposed sharp higher-order Hardy inequality governed by distance to the boundary; the source does not provide a resolution.

Sources & referencesView supporting material

Primary source

Megumi Sano, “Improvements and generalizations of two Hardy type inequalities and their applications to the Rellich type inequalities”, arXiv:2104.01737 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.