[go: up one dir, main page]

About the Project
13 Confluent Hypergeometric FunctionsKummer Functions

§13.2 Definitions and Basic Properties

Contents
  1. §13.2(i) Differential Equation
  2. §13.2(ii) Analytic Continuation
  3. §13.2(iii) Limiting Forms as z0
  4. §13.2(iv) Limiting Forms as z
  5. §13.2(v) Numerically Satisfactory Solutions
  6. §13.2(vi) Wronskians
  7. §13.2(vii) Connection Formulas

§13.2(i) Differential Equation

Kummer’s Equation

13.2.1 zd2wdz2+(bz)dwdzaw=0.

This equation has a regular singularity at the origin with indices 0 and 1b, and an irregular singularity at infinity of rank one. It can be regarded as the limiting form of the hypergeometric differential equation (§15.10(i)) that is obtained on replacing z by z/b, letting b, and subsequently replacing the symbol c by b. In effect, the regular singularities of the hypergeometric differential equation at b and coalesce into an irregular singularity at .

Standard Solutions

The first two standard solutions are:

13.2.2 M(a,b,z)=s=0(a)s(b)ss!zs=1+abz+a(a+1)b(b+1)2!z2+,

and

13.2.3 𝐌(a,b,z)=s=0(a)sΓ(b+s)s!zs,

except that M(a,b,z) does not exist when b is a nonpositive integer. In other cases

13.2.4 M(a,b,z)=Γ(b)𝐌(a,b,z).

The series (13.2.2) and (13.2.3) converge for all z. M(a,b,z) is entire in z and a, and is a meromorphic function of b. 𝐌(a,b,z) is entire in z, a, and b.

Although M(a,b,z) does not exist when b=n, n=0,1,2,, many formulas containing M(a,b,z) continue to apply in their limiting form. In particular,

13.2.5 limbnM(a,b,z)Γ(b)=𝐌(a,n,z)=(a)n+1(n+1)!zn+1M(a+n+1,n+2,z).

When a=n, n=0,1,2,, 𝐌(a,b,z) is a polynomial in z of degree not exceeding n; this is also true of M(a,b,z) provided that b is not a nonpositive integer.

Another standard solution of (13.2.1) is U(a,b,z), which is determined uniquely by the property

13.2.6 U(a,b,z)za,
z, |phz|32πδ,

where δ is an arbitrary small positive constant. In general, U(a,b,z) has a branch point at z=0. The principal branch corresponds to the principal value of za in (13.2.6), and has a cut in the z-plane along the interval (,0]; compare §4.2(i).

When a=m, m=0,1,2,, U(a,b,z) is a polynomial in z of degree m:

13.2.7 U(m,b,z)=(1)m(b)mM(m,b,z)=(1)ms=0m(ms)(b+s)ms(z)s.

Similarly, when ab+1=n, n=0,1,2,,

13.2.8 U(a,a+n+1,z)=(1)n(1an)nza+nM(n,1an,z)=zas=0n(ns)(a)szs.

When b=n+1, n=0,1,2,, and a0,1,2,,

13.2.9 U(a,n+1,z)=(1)n+1n!Γ(an)k=0(a)k(n+1)kk!zk(lnz+ψ(a+k)ψ(1+k)ψ(n+k+1))+1Γ(a)k=1n(k1)!(1a+k)nk(nk)!zk.

When b=n+1, n=0,1,2,, and a=m, m=0,1,2,,

13.2.10 U(m,n+1,z)=(1)m(n+1)mM(m,n+1,z)=(1)ms=0m(ms)(n+s+1)ms(z)s.

When b=n, n=0,1,2,, the following equation can be combined with (13.2.9) and (13.2.10):

13.2.11 U(a,n,z)=zn+1U(a+n+1,n+2,z).

§13.2(ii) Analytic Continuation

When m,

13.2.12 U(a,b,ze2πim)=2πieπibmsin(πbm)Γ(1+ab)sin(πb)𝐌(a,b,z)+e2πibmU(a,b,z).

Except when z=0 each branch of U(a,b,z) is entire in a and b. Unless specified otherwise, however, U(a,b,z) is assumed to have its principal value.

§13.2(iii) Limiting Forms as z0

Next, in cases when a=n or n+b1, where n is a nonnegative integer,

13.2.14 U(n,b,z)=(1)n(b)n+O(z),
13.2.15 U(n+b1,b,z)=(1)n(2b)nz1b+O(z2b).

In all other cases

13.2.16 U(a,b,z) =Γ(b1)Γ(a)z1b+O(z2b),
b2, b2,
13.2.17 U(a,2,z) =1Γ(a)z1+O(lnz),
13.2.18 U(a,b,z) =Γ(b1)Γ(a)z1b+Γ(1b)Γ(ab+1)+O(z2b),
1b<2, b1,
13.2.19 U(a,1,z) =1Γ(a)(lnz+ψ(a)+2γ)+O(zlnz),
13.2.20 U(a,b,z) =Γ(1b)Γ(ab+1)+O(z1b),
0<b<1,
13.2.21 U(a,0,z) =1Γ(a+1)+O(zlnz),
13.2.22 U(a,b,z) =Γ(1b)Γ(ab+1)+O(z),
b0, b0.

§13.2(iv) Limiting Forms as z

Except when a=0,1, (polynomial cases),

13.2.23 𝐌(a,b,z)ezzab/Γ(a),
|phz|12πδ,

where δ is an arbitrary small positive constant.

For U(a,b,z) see (13.2.6).

§13.2(v) Numerically Satisfactory Solutions

Fundamental pairs of solutions of (13.2.1) that are numerically satisfactory (§2.7(iv)) in the neighborhood of infinity are

13.2.24 U(a,b,z),
ezU(ba,b,eπiz),
12πphz32π,
13.2.25 U(a,b,z),
ezU(ba,b,eπiz),
32πphz12π.

A fundamental pair of solutions that is numerically satisfactory near the origin is

13.2.26 M(a,b,z),z1bM(ab+1,2b,z),
b.

When b=n+1=1,2,3,, a fundamental pair that is numerically satisfactory near the origin is M(a,n+1,z) and

13.2.27 k=1nn!(k1)!(nk)!(1a)kzkk=0(a)k(n+1)kk!zk(lnz+ψ(a+k)ψ(1+k)ψ(n+k+1)),

if an0,1,2,, or M(a,n+1,z) and

13.2.28 k=1nn!(k1)!(nk)!(1a)kzkk=0a(a)k(n+1)kk!zk(lnz+ψ(1ak)ψ(1+k)ψ(n+k+1))+(1)1a(a)!k=1a(k1+a)!(n+1)kk!zk,

if a=0,1,2,, or M(a,n+1,z) and

13.2.29 k=an(k1)!(nk)!(ka)!zk,

if a=1,2,,n.

When b=n=0,1,2,, a fundamental pair that is numerically satisfactory near the origin is zn+1M(a+n+1,n+2,z) and

13.2.30 k=1n+1(n+1)!(k1)!(nk+1)!(an)kznk+1k=0(a+n+1)k(n+2)kk!zn+k+1(lnz+ψ(a+n+k+1)ψ(1+k)ψ(n+k+2)),

if a0,1,2,, or zn+1M(a+n+1,n+2,z) and

13.2.31 k=1n+1(n+1)!(k1)!(nk+1)!(an)kznk+1k=0an1(a+n+1)k(n+2)kk!zn+k+1(lnz+ψ(ank)ψ(1+k)ψ(n+k+2))+(1)na(an1)!k=an(k+a+n)!(n+2)kk!zn+k+1,

if a=n1,n2,n3,, or zn+1M(a+n+1,n+2,z) and

13.2.32 k=a+n+1n+1(k1)!(nk+1)!(kan1)!znk+1,

if a=0,1,,n.

§13.2(vi) Wronskians

13.2.33 𝒲{𝐌(a,b,z),z1b𝐌(ab+1,2b,z)} =sin(πb)zbez/π,
13.2.34 𝒲{𝐌(a,b,z),U(a,b,z)} =zbez/Γ(a),
13.2.35 𝒲{𝐌(a,b,z),ezU(ba,b,e±πiz)} =ebπizbez/Γ(ba),
13.2.36 𝒲{z1b𝐌(ab+1,2b,z),U(a,b,z)} =zbez/Γ(ab+1),
13.2.37 𝒲{z1b𝐌(ab+1,2b,z),ezU(ba,b,e±πiz)} =zbez/Γ(1a),
13.2.38 𝒲{U(a,b,z),ezU(ba,b,e±πiz)} =e±(ab)πizbez.

§13.2(vii) Connection Formulas

Kummer’s Transformations

13.2.39 M(a,b,z) =ezM(ba,b,z),
13.2.40 U(a,b,z) =z1bU(ab+1,2b,z).
13.2.41 1Γ(b)M(a,b,z)=eaπiΓ(ba)U(a,b,z)+e±(ba)πiΓ(a)ezU(ba,b,e±πiz).

Also, when b is not an integer

13.2.42 U(a,b,z)=Γ(1b)Γ(ab+1)M(a,b,z)+Γ(b1)Γ(a)z1bM(ab+1,2b,z).
13.2.43 2πiezΓ(b)Γ(ab+1)M(ba,b,z)=ebπiU(a,b,eπiz)ebπiU(a,b,eπiz),
13.2.44 2πiezΓ(a)Γ(ab+1)U(ba,b,z)=eaπiU(a,b,eπiz)eaπiU(a,b,eπiz).