For (10.15.1) see
Watson (1944, pp. 61–62) or
Olver (1997b, p. 243). For
(10.15.2) use
(10.2.3). For
(10.15.3)–(10.15.5) see
Olver (1997b, p. 244).
(10.15.6)–(10.15.9) appear without proof in
Magnus et al. (1966, §3.3.3).
To derive (10.15.6) the left-hand side satisfies the differential
equation , obtained by differentiating (10.2.1)
with respect to , setting , and referring to
(10.16.1) for . This inhomogeneous equation for can be
solved by variation of parameters (§1.13(ii)), using the fact
that independent solutions of the corresponding homogeneous equation are
and with Wronskian
, and subsequently referring to (6.2.9) and
(6.2.11).
Similarly for (10.15.7).
(10.15.8) and
(10.15.9) follow from
(10.15.2),
(10.15.6),
(10.15.7), and
(10.16.1).