Sharp discrete Hardy constants in low dimensions

Abstract

For $d\ge3$, let $\lambda_d$ denote the sharp constant in the nearest-neighbor Hardy inequality on $\mathbb Z^d$ with Euclidean inverse-square weight for functions vanishing at the origin. Recent work established that the continuous Hardy coefficient \[ C_d=\frac{(d-2)^2}{4} \] is sharp in dimensions three and four, while it is not sharp for $d\ge9$. We prove $\lambda_d=C_d$ for the remaining cases $5\le d\le8$. The proof uses reciprocal edge fields and pointwise estimates for the associated vertex weights. The exterior estimates follow from polynomial inequalities, and the weights near the origin are treated by explicit estimates and local corrections.