Sharp higher-order Hardy inequality with distance to the boundary

About 5 years old · traced to

Let BRB_R be the ball of radius RR in RN\mathbb{R}^N, let 1<p<∞1<p<\infty, let k≥2k\geq 2, and let u∈Cck(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=1kjp−1p)p∫BR∣u∣pdist⁡(x,∂BR)kp dx≤∫BR∣∇ku∣p dx\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(jp−1)/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.

References

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.