Liouville-Green expansions of exponential form, with an application to modified Bessel functions

Linear second order differential equations of the form d2w/dz2 − {u2f(u, z) + g(z)}w = 0 are studied, where |u| → ∞ and z lies in a complex bounded or unbounded domain D. If f(u, z) and g(z) are meromorphic in D, and f(u, z) has no zeros, the classical Liouville-Green/WKBJ approximation provides asymptotic expansions involving the exponential function. The coefficients in these expansions either multiply the exponential or in an alternative form appear in the exponent. The latter case has applications to the simplification of turning point expansions as well as certain quantum mechanics problems, and new computable error bounds are derived. It is shown how these bounds can be sharpened to provide realistic error estimates, and this is illustrated by an application to modified Bessel functions of complex argument and large positive order. Explicit computable error bounds are also derived for asymptotic expansions for particular solutions of the nonhomogeneous equations of the form d2w/dz2 − {u2f(z) + g(z)}w = p(z).