Explicit constants in $L^p$-Hardy inequalities for Aharonov-Bohm potentials

Abstract

For the two-dimensional Aharonov-Bohm potential $A_β$ with flux $β\notin\mathbb{Z}$ and $1<p<2$, Cazacu, Krejčiř\'ık, Lam and Laptev proved by a compactness argument that their constant $λ_β(p)$ in the $L^p$-Hardy inequality strictly exceeds the free constant $\big(\tfrac{2-p}{p}\big)^p$, and asked for a constructive proof with explicit estimates and for comparability of $λ_β(p)$ with a quantity depending on $\text{dist}(β,\mathbb{Z})$. We answer both questions by using a compactness-free two-sided bound for the twisted angular constant. Our explicit Hardy constant is $$\big[\big(\tfrac{2-p}{p}\big)^{2}+\big(\tfrac{\sin(π\text{dist}(β,\mathbb{Z}))}π\big)^{2}\big]^{p/2},\quad 1<p<2.$$ As a byproduct we observe that when $p\ge 2$ the Aharonov--Bohm field produces an $L^p$-Hardy inequality with the usual homogeneous weight $|x|^{-p}$. Our approach also provides new $L^p$-Hardy inequalities with explicit constants for the complex AB potentials.