About the Project
31 Heun FunctionsProperties

§31.3 Basic Solutions

Contents
  1. §31.3(i) Fuchs–Frobenius Solutions at z=0
  2. §31.3(ii) Fuchs–Frobenius Solutions at Other Singularities
  3. §31.3(iii) Equivalent Expressions

§31.3(i) Fuchs–Frobenius Solutions at z=0

H(a,q;α,β,γ,δ;z) denotes the solution of (31.2.1) that corresponds to the exponent 0 at z=0 and assumes the value 1 there. If the other exponent is not a positive integer, that is, if γ0,1,2,, then from §2.7(i) it follows that H(a,q;α,β,γ,δ;z) exists, is analytic in the disk |z|<1, and has the Maclaurin expansion

31.3.1 H(a,q;α,β,γ,δ;z)=j=0cjzj,
|z|<1,

where c0=1,

31.3.2 aγc1qc0=0,
31.3.3 Rjcj+1(Qj+q)cj+Pjcj1=0,
j1,

with

31.3.4 Pj =(j1+α)(j1+β),
Qj =j((j1+γ)(1+a)+aδ+ϵ),
Rj =a(j+1)(j+γ).

Similarly, if γ1,2,3,, then the solution of (31.2.1) that corresponds to the exponent 1γ at z=0 is

31.3.5 z1γH(a,(aδ+ϵ)(1γ)+q;α+1γ,β+1γ,2γ,δ;z).

When γ, linearly independent solutions can be constructed as in §2.7(i). In general, one of them has a logarithmic singularity at z=0.

§31.3(ii) Fuchs–Frobenius Solutions at Other Singularities

With similar restrictions to those given in §31.3(i), the following results apply. Solutions of (31.2.1) corresponding to the exponents 0 and 1δ at z=1 are respectively,

31.3.6 H(1a,αβq;α,β,δ,γ;1z),
31.3.7 (1z)1δH(1a,((1a)γ+ϵ)(1δ)+αβq;α+1δ,β+1δ,2δ,γ;1z).

Solutions of (31.2.1) corresponding to the exponents 0 and 1ϵ at z=a are respectively,

31.3.8 H(aa1,αβaqa1;α,β,ϵ,δ;aza1),
31.3.9 (aza1)1ϵH(aa1,(a(δ+γ)γ)(1ϵ)a1+αβaqa1;α+1ϵ,β+1ϵ,2ϵ,δ;aza1).

Solutions of (31.2.1) corresponding to the exponents α and β at z= are respectively,

31.3.10 zαH(1a,qaα(βϵ)αa(βδ);α,αγ+1,αβ+1,δ;1z),
31.3.11 zβH(1a,qaβ(αϵ)βa(αδ);β,βγ+1,βα+1,δ;1z).

§31.3(iii) Equivalent Expressions

Solutions (31.3.1) and (31.3.5)–(31.3.11) comprise a set of 8 local solutions of (31.2.1): 2 per singular point. Each is related to the solution (31.3.1) by one of the automorphisms of §31.2(v). There are 192 automorphisms in all, so there are 192/8=24 equivalent expressions for each of the 8. For example, H(a,q;α,β,γ,δ;z) is equal to

31.3.12 H(1/a,q/a;α,β,γ,α+β+1γδ;z/a),

which arises from the homography z~=z/a, and to

31.3.13 (1z)αH(aa1,qaαγa1;α,α+1δ,γ,α+1β;zz1),

which arises from z~=z/(z1), and also to 21 further expressions. The full set of 192 local solutions of (31.2.1), equivalent in 8 sets of 24, resembles Kummer’s set of 24 local solutions of the hypergeometric equation, which are equivalent in 4 sets of 6 solutions (§15.10(ii)); see Maier (2007).

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