About the Project
29 Lamé FunctionsLamé Polynomials

§29.12 Definitions

Contents
  1. §29.12(i) Elliptic-Function Form
  2. §29.12(ii) Algebraic Form
  3. §29.12(iii) Zeros

§29.12(i) Elliptic-Function Form

Throughout §§29.1229.16 the order ν in the differential equation (29.2.1) is assumed to be a nonnegative integer.

The Lamé functions 𝐸𝑐νm(z,k2), m=0,1,,ν, and 𝐸𝑠νm(z,k2), m=1,2,,ν, are called the Lamé polynomials. There are eight types of Lamé polynomials, defined as follows:

29.12.1 𝑢𝐸2nm(z,k2) =𝐸𝑐2n2m(z,k2),
29.12.2 𝑠𝐸2n+1m(z,k2) =𝐸𝑐2n+12m+1(z,k2),
29.12.3 𝑐𝐸2n+1m(z,k2) =𝐸𝑠2n+12m+1(z,k2),
29.12.4 𝑑𝐸2n+1m(z,k2) =𝐸𝑐2n+12m(z,k2),
29.12.5 𝑠𝑐𝐸2n+2m(z,k2) =𝐸𝑠2n+22m+2(z,k2),
29.12.6 𝑠𝑑𝐸2n+2m(z,k2) =𝐸𝑐2n+22m+1(z,k2),
29.12.7 𝑐𝑑𝐸2n+2m(z,k2) =𝐸𝑠2n+22m+1(z,k2),
29.12.8 𝑠𝑐𝑑𝐸2n+3m(z,k2) =𝐸𝑠2n+32m+2(z,k2),

where n=0,1,2,, m=0,1,2,,n. These functions are polynomials in sn(z,k), cn(z,k), and dn(z,k). In consequence they are doubly-periodic meromorphic functions of z.

The superscript m on the left-hand sides of (29.12.1)–(29.12.8) agrees with the number of z-zeros of each Lamé polynomial in the interval (0,K), while nm is the number of z-zeros in the open line segment from K to K+iK.

The prefixes u, s, c, d, 𝑠𝑐, 𝑠𝑑, 𝑐𝑑, 𝑠𝑐𝑑 indicate the type of the polynomial form of the Lamé polynomial; compare the 3rd and 4th columns in Table 29.12.1. In the fourth column the variable z and modulus k of the Jacobian elliptic functions have been suppressed, and P(sn2) denotes a polynomial of degree n in sn2(z,k) (different for each type). For the determination of the coefficients of the P’s see §29.15(ii).

Table 29.12.1: Lamé polynomials.
ν
eigenvalue
h
eigenfunction
w(z)
polynomial
form
real
period
imag.
period
parity of
w(z)
parity of
w(zK)
parity of
w(zKiK)
2n aν2m(k2) 𝑢𝐸νm(z,k2) P(sn2) 2K 2iK even even even
2n+1 aν2m+1(k2) 𝑠𝐸νm(z,k2) snP(sn2) 4K 2iK odd even even
2n+1 bν2m+1(k2) 𝑐𝐸νm(z,k2) cnP(sn2) 4K 4iK even odd even
2n+1 aν2m(k2) 𝑑𝐸νm(z,k2) dnP(sn2) 2K 4iK even even odd
2n+2 bν2m+2(k2) 𝑠𝑐𝐸νm(z,k2) sncnP(sn2) 2K 4iK odd odd even
2n+2 aν2m+1(k2) 𝑠𝑑𝐸νm(z,k2) sndnP(sn2) 4K 4iK odd even odd
2n+2 bν2m+1(k2) 𝑐𝑑𝐸νm(z,k2) cndnP(sn2) 4K 2iK even odd odd
2n+3 bν2m+2(k2) 𝑠𝑐𝑑𝐸νm(z,k2) sncndnP(sn2) 2K 2iK odd odd odd

§29.12(ii) Algebraic Form

With the substitution ξ=sn2(z,k) every Lamé polynomial in Table 29.12.1 can be written in the form

29.12.9 ξρ(ξ1)σ(ξk2)τP(ξ),

where ρ, σ, τ are either 0 or 12. The polynomial P(ξ) is of degree n and has m zeros (all simple) in (0,1) and nm zeros (all simple) in (1,k2). The functions (29.12.9) satisfy (29.2.2).

§29.12(iii) Zeros

Let ξ1,ξ2,,ξn denote the zeros of the polynomial P in (29.12.9) arranged according to

29.12.10 0<ξ1<<ξm<1<ξm+1<<ξn<k2.

Then the function

29.12.11 g(t1,t2,,tn)=(p=1ntpρ+14|tp1|σ+14(k2tp)τ+14)q<r(trtq),

defined for (t1,t2,,tn) with

29.12.12 0t1tm1tm+1tnk2,

attains its absolute maximum iff tj=ξj, j=1,2,,n. Moreover,

29.12.13 ρ+14ξp+σ+14ξp1+τ+14ξpk2+q=1qpn1ξpξq=0,
p=1,2,,n.

This result admits the following electrostatic interpretation: Given three point masses fixed at t=0, t=1, and t=k2 with positive charges ρ+14, σ+14, and τ+14, respectively, and n movable point masses at t1,t2,,tn arranged according to (29.12.12) with unit positive charges, the equilibrium position is attained when tj=ξj for j=1,2,,n.

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy