With
, as in (29.2.5), we
have
Here
with
,
, and
as in (29.3.11) and
(29.3.12), and
When
, where
is a nonnegative integer, it follows from
§2.9(i) that for any value of
the system
(29.6.4)–(29.6.6) has a unique recessive solution
; furthermore
In the special case
,
, there is a unique nontrivial
solution with the property
,
. This solution
can be constructed from (29.6.4) by backward recursion, starting
with
and an arbitrary nonzero value of
, followed by
normalization via (29.6.5) and (29.6.6). Consequently,
reduces to a Lamé polynomial; compare
§§29.12(i) and 29.15(i).
An alternative version of the Fourier series expansion (29.6.1) is given by
Here
is as in §22.2, and
with
, and
now defined by
and
Here
with
,
, and
as in (29.3.13) and
(29.3.14), and
Also,
where
with
and
Here
with
,
, and
as in (29.3.15),
(29.3.16), and
Also,
where
with
and
Here
with
,
, and
as in (29.3.17), and
Also,
where
with
and