13 Confluent Hypergeometric FunctionsKummer Functions

§13.3 Recurrence Relations and Derivatives

Contents
  1. §13.3(i) Recurrence Relations
  2. §13.3(ii) Differentiation Formulas

§13.3(i) Recurrence Relations

13.3.1 (b−a)⁢M⁡(a−1,b,z)+(2⁢a−b+z)⁢M⁡(a,b,z)−a⁢M⁡(a+1,b,z) =0,
13.3.2 b⁢(b−1)⁢M⁡(a,b−1,z)+b⁢(1−b−z)⁢M⁡(a,b,z)+z⁢(b−a)⁢M⁡(a,b+1,z) =0,
13.3.3 (a−b+1)⁢M⁡(a,b,z)−a⁢M⁡(a+1,b,z)+(b−1)⁢M⁡(a,b−1,z) =0,
13.3.4 b⁢M⁡(a,b,z)−b⁢M⁡(a−1,b,z)−z⁢M⁡(a,b+1,z) =0,
13.3.5 b⁢(a+z)⁢M⁡(a,b,z)+z⁢(a−b)⁢M⁡(a,b+1,z)−a⁢b⁢M⁡(a+1,b,z) =0,
13.3.6 (a−1+z)⁢M⁡(a,b,z)+(b−a)⁢M⁡(a−1,b,z)+(1−b)⁢M⁡(a,b−1,z) =0.
13.3.7 U⁡(a−1,b,z)+(b−2⁢a−z)⁢U⁡(a,b,z)+a⁢(a−b+1)⁢U⁡(a+1,b,z) =0,
13.3.8 (b−a−1)⁢U⁡(a,b−1,z)+(1−b−z)⁢U⁡(a,b,z)+z⁢U⁡(a,b+1,z) =0,
13.3.9 U⁡(a,b,z)−a⁢U⁡(a+1,b,z)−U⁡(a,b−1,z) =0,
13.3.10 (b−a)⁢U⁡(a,b,z)+U⁡(a−1,b,z)−z⁢U⁡(a,b+1,z) =0,
13.3.11 (a+z)⁢U⁡(a,b,z)−z⁢U⁡(a,b+1,z)+a⁢(b−a−1)⁢U⁡(a+1,b,z) =0,
13.3.12 (a−1+z)⁢U⁡(a,b,z)−U⁡(a−1,b,z)+(a−b+1)⁢U⁡(a,b−1,z) =0.

Kummer’s differential equation (13.2.1) is equivalent to

13.3.13 (a+1)⁢z⁢M⁡(a+2,b+2,z)+(b+1)⁢(b−z)⁢M⁡(a+1,b+1,z)−b⁢(b+1)⁢M⁡(a,b,z)=0,

and

13.3.14 (a+1)⁢z⁢U⁡(a+2,b+2,z)+(z−b)⁢U⁡(a+1,b+1,z)−U⁡(a,b,z)=0.

§13.3(ii) Differentiation Formulas

13.3.15 ddz⁡M⁡(a,b,z)=ab⁢M⁡(a+1,b+1,z),
13.3.18 dndzn⁡(zb−1⁢M⁡(a,b,z))=(b−n)n⁢zb−n−1⁢M⁡(a,b−n,z),
13.3.19 (z⁢ddz⁡z)n⁢(zb−a−1⁢e−z⁢M⁡(a,b,z))=(b−a)n⁢zb−a+n−1⁢e−z⁢M⁡(a−n,b,z),
13.3.22 ddz⁡U⁡(a,b,z)=−a⁢U⁡(a+1,b+1,z),
13.3.23 dndzn⁡U⁡(a,b,z)=(−1)n⁢(a)n⁢U⁡(a+n,b+n,z),
13.3.24 (z⁢ddz⁡z)n⁢(za−1⁢U⁡(a,b,z))=(a)n⁢(a−b+1)n⁢za+n−1⁢U⁡(a+n,b,z),
13.3.25 dndzn⁡(zb−1⁢U⁡(a,b,z))=(−1)n⁢(a−b+1)n⁢zb−n−1⁢U⁡(a,b−n,z),
13.3.26 (z⁢ddz⁡z)n⁢(zb−a−1⁢e−z⁢U⁡(a,b,z))=(−1)n⁢zb−a+n−1⁢e−z⁢U⁡(a−n,b,z),
13.3.27 dndzn⁡(e−z⁢U⁡(a,b,z))=(−1)n⁢e−z⁢U⁡(a,b+n,z),
13.3.28 dndzn⁡(zb−1⁢e−z⁢U⁡(a,b,z))=(−1)n⁢zb−n−1⁢e−z⁢U⁡(a−n,b−n,z).

Other versions of several of the identities in this subsection can be constructed with the aid of the operator identity

13.3.29 (z⁢ddz⁡z)n=zn⁢dndzn⁡zn,
n=1,2,3,….