About the Project
30 Spheroidal Wave FunctionsProperties

§30.8 Expansions in Series of Ferrers Functions

Contents
  1. §30.8(i) Functions of the First Kind
  2. §30.8(ii) Functions of the Second Kind

§30.8(i) Functions of the First Kind

where \mathsf{P}^{m}_{n+2k}\left(x\right) is the Ferrers function of the first kind (§14.3(i)), R=\left\lfloor\frac{1}{2}(n-m)\right\rfloor, and the coefficients a^{m}_{n,k}(\gamma^{2}) are given by

Let

30.8.3
A_{k}=-\gamma^{2}\frac{(n-m+2k-1)(n-m+2k)}{(2n+4k-3)(2n+4k-1)},
B_{k}=(n+2k)(n+2k+1)-2\gamma^{2}\frac{(n+2k)(n+2k+1)-1+m^{2}}{(2n+4k-1)(2n+4k+%
3)},
C_{k}=-\gamma^{2}\frac{(n+m+2k+1)(n+m+2k+2)}{(2n+4k+3)(2n+4k+5)}.

Then the set of coefficients a^{m}_{n,k}(\gamma^{2}), k=-R,-R+1,-R+2,\dots is the solution of the difference equation

(note that A_{-R}=0) that satisfies the normalizing condition

30.8.5 \sum_{k=-R}^{\infty}a_{n,k}^{m}(\gamma^{2})a_{n,k}^{-m}(\gamma^{2})\frac{1}{2n%
+4k+1}=\frac{1}{2n+1},

with

30.8.6 a_{n,k}^{-m}(\gamma^{2})=\frac{(n-m)!(n+m+2k)!}{(n+m)!(n-m+2k)!}a_{n,k}^{m}(%
\gamma^{2}).

Also, as k\to\infty,

and

§30.8(ii) Functions of the Second Kind

where \mathsf{P}^{m}_{n} and \mathsf{Q}^{m}_{n} are again the Ferrers functions and N=\left\lfloor\frac{1}{2}(n+m)\right\rfloor. The coefficients a^{m}_{n,k}(\gamma^{2}) satisfy (30.8.4) for all k when we set a^{m}_{n,k}(\gamma^{2})=0 for k<-N. For k\geq-R they agree with the coefficients defined in §30.8(i). For k=-N,-N+1,\dots,-R-1 they are determined from (30.8.4) by forward recursion using a^{m}_{n,-N-1}(\gamma^{2})=0. The set of coefficients {a^{\prime}}^{m}_{n,k}(\gamma^{2}), k=-N-1,-N-2,\dots, is the recessive solution of (30.8.4) as k\to-\infty that is normalized by

with

30.8.11 C^{\prime}=\begin{cases}\dfrac{\gamma^{2}}{4m^{2}-1},&\mbox{$n-m$ even},\\
-\dfrac{\gamma^{2}}{(2m-1)(2m-3)},&\mbox{$n-m$ odd}.\end{cases}

It should be noted that if the forward recursion (30.8.4) beginning with f_{-N-1}=0, f_{-N}=1 leads to f_{-R}=0, then a^{m}_{n,k}(\gamma^{2}) is undefined for n<-R and \mathsf{Qs}^{m}_{n}\left(x,\gamma^{2}\right) does not exist.