As
| 7.12.1 | ||||
|
ⓘ
| ||||
both expansions being valid when ().
When the remainder terms are bounded in magnitude by the first neglected terms, and have the same sign as these terms when . When the remainder terms are bounded in magnitude by times the first neglected terms. For these and other error bounds see Olver (1997b, pp. 109–112), with and replaced by ; compare (7.11.2).
The asymptotic expansions of and are given by (7.5.3), (7.5.4), and
| 7.12.2 | |||
|
ⓘ
| |||
| 7.12.3 | |||
|
ⓘ
| |||
as in . The remainder terms are given by
| 7.12.4 | |||
|
ⓘ
| |||
| 7.12.5 | |||
|
ⓘ
| |||
where, for and ,
| 7.12.6 | |||
|
ⓘ
| |||
| 7.12.7 | |||
|
ⓘ
| |||
When , and are bounded in magnitude by the first neglected terms in (7.12.2) and (7.12.3), respectively, and have the same signs as these terms when . They are bounded by times the first neglected terms when .
See Olver (1997b, p. 115) for an expansion of with bounds for the remainder for real and complex values of .