| 10.23.1 | |||
| . | |||
If and the upper signs are taken, then the restriction on is unnecessary.
| 10.23.2 | |||
| . | |||
The restriction is unnecessary when and is an integer. Special cases are:
| 10.23.3 | |||
| 10.23.4 | |||
| , | |||
| 10.23.5 | |||
Define
| 10.23.6 | ||||
the branches being continuous and chosen so that and as . If , are real and positive and , then and are real and nonnegative, and the geometrical relationship is shown in Figure 10.23.1.
| 10.23.7 | |||
| . | |||
| 10.23.8 | |||
| , , | |||
where is Gegenbauer’s polynomial (§18.3). The restriction is unnecessary in (10.23.7) when and is an integer, and in (10.23.8) when .
The degenerate form of (10.23.8) when is given by
| 10.23.9 | |||
| . | |||
See also §10.12.
For expansions of products of Bessel functions of the first kind in partial fractions see Rogers (2005).
| 10.23.10 | |||
| , | |||
where is the distance of the nearest singularity of the analytic function from ,
| 10.23.11 | |||
| , | |||
and is Neumann’s polynomial, defined by the generating function:
| 10.23.12 | |||
| . | |||
is a polynomial of degree in and
| 10.23.13 | |||
| . | |||
Assume satisfies
| 10.23.18 | |||
and define
| 10.23.19 | |||
| , | |||
where is as in §10.21(i). If , then
| 10.23.20 | |||
provided that is of bounded variation (§1.4(v)) on an interval with . This result is proved in Watson (1944, Chapter 18) and further information is provided in this reference, including the behavior of the series near and .
As an example,
| 10.23.21 | |||
| . | |||
(Note that when the left-hand side is 1 and the right-hand side is 0.)