Let $0 < \delta < 1$, and let $I_\delta$ be the set of all complex numbers $\mu$ such that $-1/2 + \delta < \Re \mu < 1/2 -\delta$. Is there a polynomial $P_\delta$ such that for all $\mu \in I_\delta$, $$ \sup_{y > 0} y^{1/2} \frac{|K_\mu(2 \pi y)|}{|K_\mu(2 \pi)|} < P_\delta(\Im \mu) $$ with $K_\mu$ the $K$-Bessel function?
In general, are there any reasonable lower bounds on $K$-Bessel functions of non-real order?
We need this in a work on the distribution of rational points on a class of algebraic varieties.
Thanks!