13.2.1 | |||
This equation has a regular singularity at the origin with indices and , and an irregular singularity at infinity of rank one. It can be regarded as the limiting form of the hypergeometric differential equation (§15.10(i)) that is obtained on replacing by , letting , and subsequently replacing the symbol by . In effect, the regular singularities of the hypergeometric differential equation at and coalesce into an irregular singularity at .
The first two standard solutions are:
13.2.2 | |||
and
13.2.3 | |||
except that does not exist when is a nonpositive integer. In other cases
13.2.4 | |||
The series (13.2.2) and (13.2.3) converge for all . is entire in and , and is a meromorphic function of . is entire in , , and .
Although does not exist when , , many formulas containing continue to apply in their limiting form. In particular,
13.2.5 | |||
When , , is a polynomial in of degree not exceeding ; this is also true of provided that is not a nonpositive integer.
Another standard solution of (13.2.1) is , which is determined uniquely by the property
13.2.6 | |||
, , | |||
where is an arbitrary small positive constant. In general, has a branch point at . The principal branch corresponds to the principal value of in (13.2.6), and has a cut in the -plane along the interval ; compare §4.2(i).
When , , is a polynomial in of degree :
13.2.7 | |||
Similarly, when , ,
13.2.8 | |||
When , , and ,
13.2.9 | |||
When , , and , ,
13.2.10 | |||
When ,
13.2.12 | |||
Except when each branch of is entire in and . Unless specified otherwise, however, is assumed to have its principal value.
13.2.13 | |||
Next, in cases when or , where is a nonnegative integer,
13.2.14 | |||
13.2.15 | |||
In all other cases
13.2.16 | ||||
, , | ||||
13.2.17 | ||||
13.2.18 | ||||
, , | ||||
13.2.19 | ||||
13.2.20 | ||||
, | ||||
13.2.21 | ||||
13.2.22 | ||||
, . | ||||
Except when (polynomial cases),
13.2.23 | |||
, | |||
where is an arbitrary small positive constant.
For see (13.2.6).
Fundamental pairs of solutions of (13.2.1) that are numerically satisfactory (§2.7(iv)) in the neighborhood of infinity are
13.2.24 | , | ||
, | |||
, | |||
13.2.25 | , | ||
, | |||
. | |||
A fundamental pair of solutions that is numerically satisfactory near the origin is
13.2.26 | |||
. | |||
When , a fundamental pair that is numerically satisfactory near the origin is and
13.2.27 | |||
if , or and
13.2.28 | |||
if , or and
13.2.29 | |||
if .
When , a fundamental pair that is numerically satisfactory near the origin is and
13.2.30 | |||
if , or and
13.2.31 | |||
if , or and
13.2.32 | |||
if .
13.2.33 | ||||
13.2.34 | ||||
13.2.35 | ||||
13.2.36 | ||||
13.2.37 | ||||
13.2.38 | ||||
13.2.39 | ||||
13.2.40 | ||||
13.2.41 | |||
Also, when is not an integer
13.2.42 | |||
13.2.43 | |||
13.2.44 | |||