English

Simple bounds with best possible accuracy for ratios of modified Bessel functions

Classical Analysis and ODEs 2023-04-17 v3

Abstract

The best bounds of the form B(α,β,γ,x)=(α+β2+γ2x2)/xB(\alpha,\beta,\gamma,x)=(\alpha+\sqrt{\beta^2+\gamma^2 x^2})/x for ratios of modified Bessel functions are characterized: if α\alpha, β\beta and γ\gamma are chosen in such a way that B(α,β,γ,x)B(\alpha,\beta,\gamma,x) is a sharp approximation for Φν(x)=Iν1(x)/Iν(x)\Phi_{\nu}(x)=I_{\nu-1} (x)/I_{\nu}(x) as x0+x\rightarrow 0^+ (respectively x+x\rightarrow +\infty) and the graphs of the functions B(α,β,γ,x)B(\alpha,\beta,\gamma,x) and Φν(x)\Phi_{\nu}(x) are tangent at some x=x>0x=x_*>0, then B(α,β,γ,x)B(\alpha,\beta,\gamma,x) is an upper (respectively lower) bound for Φν(x)\Phi_{\nu}(x) for any positive xx, and it is the best possible at xx_*. The same is true for the ratio Φν(x)=Kν+1(x)/Kν(x)\Phi_{\nu}(x)=K_{\nu+1} (x)/K_{\nu}(x) but interchanging lower and upper bounds (and with a slightly more restricted range for ν\nu). Bounds with maximal accuracy at 0+0^+ and ++\infty are recovered in the limits x0+x_*\rightarrow 0^+ and x+x_*\rightarrow +\infty, and for these cases the coefficients have simple expressions. For the case of finite and positive xx_* we provide uniparametric families of bounds which are close to the optimal bounds and retain their confluence properties.

Keywords

Cite

@article{arxiv.2207.02713,
  title  = {Simple bounds with best possible accuracy for ratios of modified Bessel functions},
  author = {J. Segura},
  journal= {arXiv preprint arXiv:2207.02713},
  year   = {2023}
}