About the Project
31 Heun FunctionsProperties

§31.7 Relations to Other Functions

  1. §31.7(i) Reductions to the Gauss Hypergeometric Function
  2. §31.7(ii) Relations to Lamé Functions

§31.7(i) Reductions to the Gauss Hypergeometric Function

31.7.1 F12(α,β;γ;z)=H(1,αβ;α,β,γ,δ;z)=H(0,0;α,β,γ,α+β+1γ;z)=H(a,aαβ;α,β,γ,α+β+1γ;z).

Other reductions of H to a F12, with at least one free parameter, exist iff the pair (a,p) takes one of a finite number of values, where q=αβp. Below are three such reductions with three and two parameters. They are analogous to quadratic and cubic hypergeometric transformations (§§15.8(iii)15.8(v)).

31.7.2 H(2,αβ;α,β,γ,α+β2γ+1;z)=F12(12α,12β;γ;1(1z)2),
31.7.3 H(4,αβ;α,β,12,23(α+β);z)=F12(13α,13β;12;1(1z)2(114z)),
31.7.4 H(12+i32,αβ(12+i36);α,β,13(α+β+1),13(α+β+1);z)=F12(13α,13β;13(α+β+1);1(1(32i32)z)3).

For additional reductions, see Maier (2005). Joyce (1994) gives a reduction in which the independent variable is transformed not polynomially or rationally, but algebraically.

§31.7(ii) Relations to Lamé Functions

With z=sn2(ζ,k) and

31.7.5 a =k2,
q =14ah,
α =12ν,
β =12(ν+1),
γ =δ=ϵ=12,

equation (31.2.1) becomes Lamé’s equation with independent variable ζ; compare (29.2.1) and (31.2.8). The solutions (31.3.1) and (31.3.5) transform into even and odd solutions of Lamé’s equation, respectively. Similar specializations of formulas in §31.3(ii) yield solutions in the neighborhoods of the singularities ζ=K, K+iK, and iK, where K and K are related to k as in §19.2(ii).