29 Lamé FunctionsLamé Functions

§29.8 Integral Equations

Let w⁡(z) be any solution of (29.2.1) of period 4⁢K⁡, w2⁡(z) be a linearly independent solution, and 𝒲⁡{w,w2} denote their Wronskian. Also let x be defined by

29.8.1 x=k2⁢sn⁡(z,k)⁢sn⁡(z1,k)⁢sn⁡(z2,k)⁢sn⁡(z3,k)−k2k′2⁢cn⁡(z,k)⁢cn⁡(z1,k)⁢cn⁡(z2,k)⁢cn⁡(z3,k)+1k′2⁢dn⁡(z,k)⁢dn⁡(z1,k)⁢dn⁡(z2,k)⁢dn⁡(z3,k),

where z,z1,z2,z3 are real, and sn, cn, dn are the Jacobian elliptic functions (§22.2). Then

29.8.2 μ⁢w⁡(z1)⁢w⁡(z2)⁢w⁡(z3)=∫−2⁢K⁡2⁢K⁡𝖯ν⁡(x)⁢w⁡(z)⁢dz,

where 𝖯ν⁡(x) is the Ferrers function of the first kind (§14.3(i)),

29.8.3 μ=2⁢σ⁢τ𝒲⁡{w,w2},

and σ (= ±1) and τ are determined by

29.8.4 w⁡(z+2⁢K⁡) =σ⁢w⁡(z),
w2⁡(z+2⁢K⁡) =τ⁢w⁡(z)+σ⁢w2⁡(z).

A special case of (29.8.2) is

where

29.8.6 y=1k′⁢dn⁡(z,k)⁢dn⁡(z1,k).

Others are:

29.8.8 𝐸𝑠ν2⁢m+1⁡(z1,k2)⁢dw2⁡(z)/dz|z=K⁡+dw2⁡(z)/dz|z=−K⁡dw2⁡(z)/dz|z=0=k2k′⁢cn⁡(z1,k)⁢∫−K⁡K⁡cn⁡(z,k)⁢d𝖯ν⁡(y)dy⁢𝐸𝑠ν2⁢m+1⁡(z,k2)⁢dz,

and

29.8.9 𝐸𝑠ν2⁢m+2⁡(z1,k2)⁢dw2⁡(z)/dz|z=K⁡−dw2⁡(z)/dz|z=−K⁡w2⁡(0)=−k4k′⁢sn⁡(z1,k)⁢cn⁡(z1,k)⁢∫−K⁡K⁡sn⁡(z,k)⁢cn⁡(z,k)⁢d2𝖯ν⁡(y)dy2⁢𝐸𝑠ν2⁢m+2⁡(z,k2)⁢dz.

For further integral equations see Arscott (1964a), Erdélyi et al. (1955, §15.5.3), Shail (1980), Sleeman (1968a), and Volkmer (1982, 1983, 1984).