On a conjecture regarding the extrema of Bessel functions and its generalization

It was conjectured by Á. Elbert in J. Comput. Appl. Math. 133 (2001) 65–83 that, given two consecutive real zeros of a Bessel function Cν of order ν, jν,κ and jν,κ+1, the zero of the derivative between such two zeros j ν,κ satisfies j ν,κ > jν,κ jν,κ+1. We prove that this inequality holds for any Bessel function of any real order. In addition to these lower bounds, upper bounds are obtained. In this way we bracket the zeros of the derivative. It is discussed how similar relations can be obtained for other special functions which are solutions of a second order ODE; in particular, the case of the zeros of αCν +xC ν is considered.  2003 Elsevier Science (USA). All rights reserved