English

A family of entire functions connecting the Bessel function $J_1$ and the Lambert $W$ function

Classical Analysis and ODEs 2021-01-19 v2 Complex Variables

Abstract

Motivated by the problem of determining the values of α>0\alpha>0 for which fα(x)=eα(1+1/x)αx, x>0f_\alpha(x)=e^\alpha - (1+1/x)^{\alpha x},\ x>0 is a completely monotonic function, we combine Fourier analysis with complex analysis to find a family φα\varphi_\alpha, α>0\alpha>0, of entire functions such that fα(x)=0esxφα(s)ds, x>0.f_\alpha(x) =\int_0^\infty e^{-sx}\varphi_\alpha(s)\,ds, \ x>0. We show that each function φα\varphi_\alpha has an expansion in power series, whose coefficients are determined in terms of Bell polynomials. This expansion leads to several properties of the functions φα\varphi_\alpha, which turn out to be related to the well known Bessel function J1J_1 and the Lambert WW function. On the other hand, by numerically evaluating the series expansion, we are able to show the behavior of φα\varphi_\alpha as α\alpha increases from 00 to \infty and to obtain a very precise approximation of the largest α>0\alpha>0 such that φα(s)0,s>0\varphi_\alpha(s)\geq0,\, s>0, or equivalently, such that fαf_\alpha is completely monotonic.

Keywords

Cite

@article{arxiv.1903.07574,
  title  = {A family of entire functions connecting the Bessel function $J_1$ and the Lambert $W$ function},
  author = {Christian Berg and Eugenio Massa and Ana P. Peron},
  journal= {arXiv preprint arXiv:1903.07574},
  year   = {2021}
}

Comments

accepted for publication in Constructive Approximation