Family of integrable bounds for the logarithmic derivative of Kummer's function (Q6491648)

The authors investigate an invertible family of lower and upper bounds for the logarithmic derivative \(M'(a, b, z)/M(a, b, z)\) of Kummer's function \[M(a,b,z) := {}_1 F_1(a;b;z) = \sum\limits_{n=0}^\infty \frac{(a)_n}{(b)_n}\frac{z^n}{(n!)},\] when \(0 < a < b\). These derived bounds are well-defined, asymptotically precise, numerically accurate, and straightforward to compute. In addition, the list of known bounds for the logarithmic derivative of Kummer's function is extended and the lower bound on a significant part of the domain is improved. Moreover, the authors present a connection to the family of bounds for modified Bessel function ratios, see [\textit{D. E. Amos}, Math. Comput. 28, 239--251 (1974; Zbl 0277.65006)]. Finally, employing closed-form integration, bounds for the logarithm of Kummer's function \(\log M (a, b, z)\) are derived. These may be used in a wide range of applications when computing Kummer's function in standard precision could easily cause underflow or overflow.