Critical logarithmic higher-order Hardy inequality

About 5 years old · traced to

Let BRB_R be the ball of radius RR in RN\mathbb{R}^N, let N>k≥2N>k\geq 2, and let u∈Cck(BR)u\in C_c^k(B_R). Critical logarithmic Hardy conjecture. The inequality

(∏j=1kjN−kN)N/k∫BR∣u∣N/k∣x∣N(log⁡R∣x∣)N dx≤∫BR∣∇ku∣N/k dx\left(\prod_{j=1}^{k}\frac{jN-k}{N}\right)^{N/k}\int_{B_R}\frac{|u|^{N/k}}{|x|^N\left(\log\frac{R}{|x|}\right)^N}\,dx\leq\int_{B_R}|\nabla^k u|^{N/k}\,dx

holds. Moreover, the constant (∏j=1k(jN−k)/N)N/k\left(\prod_{j=1}^{k}(jN-k)/N\right)^{N/k} is optimal and is not attained by any nonzero uu for which the right-hand side is finite. This is the critical-exponent logarithmic counterpart of the proposed higher-order Hardy inequalities; the source gives no evidence that it has been proved or refuted.

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.