Redheffer-type bounds for normalized Bessel functions

Let u>1 u>-1, let ju,1j_{ u,1} denote the first positive zero of the Bessel function JuJ_ u, and let Ju\mathcal{J}_ u denote the normalized Bessel function used in the source. Define

ϑu=ju,124(ν+1)(ν+2),ηu=1.\vartheta_ u=\frac{j_{ u,1}^2}{4(\nu+1)(\nu+2)},\qquad \eta_ u=1.

Redheffer-type bounds conjecture. For x<ju,1|x|<j_{ u,1},

(ju,12ju,12x2)ϑuJν+1(x)Jν(x)(ju,12ju,12x2)ηu,\left(\frac{j_{ u,1}^2}{j_{ u,1}^2-x^2}\right)^{\vartheta_ u}\leq\frac{\mathcal{J}_{\nu+1}(x)}{\mathcal{J}_\nu(x)}\leq\left(\frac{j_{ u,1}^2}{j_{ u,1}^2-x^2}\right)^{\eta_ u},

where Jν\mathcal{J}_\nu is the normalized Bessel function of the first kind. The constants ϑu\vartheta_ u and ηu\eta_ u are best possible. The bounds would follow from the proposed monotonicity of the coefficient sequence discussed immediately before the conjecture; that monotonicity was established only for ν=12\nu=-\frac12 in the source, so the claim remains open for general ν>1\nu>-1.

Sources & referencesView supporting material

Primary source

Árpád Baricz and Khaled Mehrez, “Redheffer type bounds for Bessel and modified Bessel functions of the first kind”, arXiv:1701.08446 (2017).

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.