J. Pila

Counting Bessel zeros and applications

We establish o-minimal definability results and develop point-counting machinery applicable to the zeros of a Bessel function of fixed non-negative real parameter. We also give an Ax-Schanuel theorem for Bessel functions of fixed (complex) parameters and exponential functions. We combine these to prove a sparsity resul...