[go: up one dir, main page]

29 Lamé FunctionsLamé Functions

§29.3 Definitions and Basic Properties

Contents
  1. §29.3(i) Eigenvalues
  2. §29.3(ii) Distribution
  3. §29.3(iii) Continued Fractions
  4. §29.3(iv) Lamé Functions
  5. §29.3(v) Normalization
  6. §29.3(vi) Orthogonality
  7. §29.3(vii) Power Series

§29.3(i) Eigenvalues

For each pair of values of ν and k there are four infinite unbounded sets of real eigenvalues h for which equation (29.2.1) has even or odd solutions with periods 2⁢K⁡ or 4⁢K⁡. They are denoted by aν2⁢m⁡(k2), aν2⁢m+1⁡(k2), bν2⁢m+1⁡(k2), bν2⁢m+2⁡(k2), where m=0,1,2,…; see Table 29.3.1.

Table 29.3.1: Eigenvalues of Lamé’s equation.
eigenvalue h parity period
aν2⁢m⁡(k2) even 2⁢K⁡
aν2⁢m+1⁡(k2) odd 4⁢K⁡
bν2⁢m+1⁡(k2) even 4⁢K⁡
bν2⁢m+2⁡(k2) odd 2⁢K⁡

§29.3(ii) Distribution

The eigenvalues interlace according to

The eigenvalues coalesce according to

If ν is distinct from 0,1,…,m−1, then

29.3.6 (aνm⁡(k2)−bνm⁡(k2))⁢ν⁢(ν−1)⁢⋯⁢(ν−m+1)>0.

If ν is a nonnegative integer, then

29.3.7 aνm⁡(k2)+aνν−m⁡(1−k2)=ν⁢(ν+1),
m=0,1,…,ν,
29.3.8 bνm⁡(k2)+bνν−m+1⁡(1−k2)=ν⁢(ν+1),
m=1,2,…,ν.

For the special case k=k′=1/2 see Erdélyi et al. (1955, §15.5.2).

§29.3(iii) Continued Fractions

The quantity

29.3.9 H=2⁢aν2⁢m⁡(k2)−ν⁢(ν+1)⁢k2

satisfies the continued-fraction equation

29.3.10 βp−H−αp−1⁢γpβp−1−H−αp−2⁢γp−1βp−2−H−⁢⋯=αp⁢γp+1βp+1−H−αp+1⁢γp+2βp+2−H−⁢⋯,

where p is any nonnegative integer, and

29.3.11 αp={(ν−1)⁢(ν+2)⁢k2,p=0,12⁢(ν−2⁢p−1)⁢(ν+2⁢p+2)⁢k2,p≥1,
29.3.12 βp =4⁢p2⁢(2−k2),
γp =12⁢(ν−2⁢p+2)⁢(ν+2⁢p−1)⁢k2.

The continued fraction following the second negative sign on the left-hand side of (29.3.10) is finite: it equals 0 if p=0, and if p>0, then the last denominator is β0−H. If ν is a nonnegative integer and 2⁢p≤ν, then the continued fraction on the right-hand side of (29.3.10) terminates, and (29.3.10) has only the solutions (29.3.9) with 2⁢m≤ν. If ν is a nonnegative integer and 2⁢p>ν, then (29.3.10) has only the solutions (29.3.9) with 2⁢m>ν.

The quantity H=2⁢aν2⁢m+1⁡(k2)−ν⁢(ν+1)⁢k2 satisfies equation (29.3.10) with

29.3.13 βp={2−k2+12⁢ν⁢(ν+1)⁢k2,p=0,(2⁢p+1)2⁢(2−k2),p≥1,
29.3.14 αp =12⁢(ν−2⁢p−2)⁢(ν+2⁢p+3)⁢k2,
γp =12⁢(ν−2⁢p+1)⁢(ν+2⁢p)⁢k2.

The quantity H=2⁢bν2⁢m+1⁡(k2)−ν⁢(ν+1)⁢k2 satisfies equation (29.3.10) with

29.3.15 βp={2−k2−12⁢ν⁢(ν+1)⁢k2,p=0,(2⁢p+1)2⁢(2−k2),p≥1,
29.3.16 αp =12⁢(ν−2⁢p−2)⁢(ν+2⁢p+3)⁢k2,
γp =12⁢(ν−2⁢p+1)⁢(ν+2⁢p)⁢k2.

The quantity H=2⁢bν2⁢m+2⁡(k2)−ν⁢(ν+1)⁢k2 satisfies equation (29.3.10) with

29.3.17 αp =12⁢(ν−2⁢p−3)⁢(ν+2⁢p+4)⁢k2,
βp =(2⁢p+2)2⁢(2−k2),
γp =12⁢(ν−2⁢p)⁢(ν+2⁢p+1)⁢k2.

§29.3(iv) Lamé Functions

The eigenfunctions corresponding to the eigenvalues of §29.3(i) are denoted by 𝐸𝑐ν2⁢m⁡(z,k2), 𝐸𝑐ν2⁢m+1⁡(z,k2), 𝐸𝑠ν2⁢m+1⁡(z,k2), 𝐸𝑠ν2⁢m+2⁡(z,k2). They are called Lamé functions with real periods and of order ν, or more simply, Lamé functions. See Table 29.3.2. In this table the nonnegative integer m corresponds to the number of zeros of each Lamé function in (0,K⁡), whereas the superscripts 2⁢m, 2⁢m+1, or 2⁢m+2 correspond to the number of zeros in [0,2⁢K⁡).

Table 29.3.2: Lamé functions.
boundary conditions
eigenvalue
h
eigenfunction
w⁡(z)
parity of
w⁡(z)
parity of
w⁡(z−K⁡)
period of
w⁡(z)
dw/dz|z=0=dw/dz|z=K⁡=0 aν2⁢m⁡(k2) 𝐸𝑐ν2⁢m⁡(z,k2) even even 2⁢K⁡
w⁡(0)=dw/dz|z=K⁡=0 aν2⁢m+1⁡(k2) 𝐸𝑐ν2⁢m+1⁡(z,k2) odd even 4⁢K⁡
dw/dz|z=0=w⁡(K⁡)=0 bν2⁢m+1⁡(k2) 𝐸𝑠ν2⁢m+1⁡(z,k2) even odd 4⁢K⁡
w⁡(0)=w⁡(K⁡)=0 bν2⁢m+2⁡(k2) 𝐸𝑠ν2⁢m+2⁡(z,k2) odd odd 2⁢K⁡

§29.3(v) Normalization

29.3.18 ∫0K⁡dn⁡(x,k)⁢(𝐸𝑐ν2⁢m⁡(x,k2))2⁢dx =14⁢π,
∫0K⁡dn⁡(x,k)⁢(𝐸𝑐ν2⁢m+1⁡(x,k2))2⁢dx =14⁢π,
∫0K⁡dn⁡(x,k)⁢(𝐸𝑠ν2⁢m+1⁡(x,k2))2⁢dx =14⁢π,
∫0K⁡dn⁡(x,k)⁢(𝐸𝑠ν2⁢m+2⁡(x,k2))2⁢dx =14⁢π.

For dn⁡(z,k) see §22.2.

To complete the definitions, 𝐸𝑐νm⁡(K⁡,k2) is positive and d𝐸𝑠νm⁡(z,k2)/dz|z=K⁡ is negative.

§29.3(vi) Orthogonality

For m≠p,

29.3.19 ∫0K⁡𝐸𝑐ν2⁢m⁡(x,k2)⁢𝐸𝑐ν2⁢p⁡(x,k2)⁢dx =0,
∫0K⁡𝐸𝑐ν2⁢m+1⁡(x,k2)⁢𝐸𝑐ν2⁢p+1⁡(x,k2)⁢dx =0,
∫0K⁡𝐸𝑠ν2⁢m+1⁡(x,k2)⁢𝐸𝑠ν2⁢p+1⁡(x,k2)⁢dx =0,
∫0K⁡𝐸𝑠ν2⁢m+2⁡(x,k2)⁢𝐸𝑠ν2⁢p+2⁡(x,k2)⁢dx =0.

For the values of these integrals when m=p see §29.6.

§29.3(vii) Power Series

For power-series expansions of the eigenvalues see Volkmer (2004b).