[go: up one dir, main page]

19 Elliptic IntegralsSymmetric Integrals

§19.18 Derivatives and Differential Equations

Contents
  1. §19.18(i) Derivatives
  2. §19.18(ii) Differential Equations

§19.18(i) Derivatives

19.18.2 ddx⁡RG⁡(x+a,x+b,x+c)=12⁢RF⁡(x+a,x+b,x+c).

Let ∂j=∂/∂zj, and 𝐞j be an n-tuple with 1 in the jth place and 0’s elsewhere. Also define

19.18.3 wj =bj/∑j=1nbj,
a′ =−a+∑j=1nbj.

The next two equations apply to (19.16.14)–(19.16.18) and (19.16.20)–(19.16.23).

19.18.4 ∂jR−a⁡(𝐛;𝐳)=−a⁢wj⁢R−a−1⁡(𝐛+𝐞j;𝐳),
19.18.5 (zj⁢∂j+bj)⁢R−a⁡(𝐛;𝐳)=wj⁢a′⁢R−a⁡(𝐛+𝐞j;𝐳).

§19.18(ii) Differential Equations

19.18.6 (∂∂x+∂∂y+∂∂z)⁢RF⁡(x,y,z)=−12⁢x⁢y⁢z,
19.18.8 ∑j=1n∂jR−a⁡(𝐛;𝐳)=−a⁢R−a−1⁡(𝐛;𝐳).
19.18.9 (x⁢∂∂x+y⁢∂∂y+z⁢∂∂z)⁢RF⁡(x,y,z)=−12⁢RF⁡(x,y,z),
19.18.10 ((x−y)⁢∂2∂x⁢∂y+12⁢(∂∂y−∂∂x))⁢RF⁡(x,y,z)=0,

and two similar equations obtained by permuting x,y,z in (19.18.10).

More concisely, if v=R−a⁡(𝐛;𝐳), then each of (19.16.14)–(19.16.18) and (19.16.20)–(19.16.23) satisfies Euler’s homogeneity relation:

19.18.11 ∑j=1nzj⁢∂jv=−a⁢v,

and also a system of n⁢(n−1)/2 Euler–Poisson differential equations (of which only n−1 are independent):

19.18.12 (zj⁢∂j+bj)⁢∂lv=(zl⁢∂l+bl)⁢∂jv,

or equivalently,

19.18.13 ((zj−zl)⁢∂j∂l+bj⁢∂l−bl⁢∂j)⁢v=0.

Here j,l=1,2,…,n and j≠l. For group-theoretical aspects of this system see Carlson (1963, §VI). If n=2, then elimination of ∂2v between (19.18.11) and (19.18.12), followed by the substitution (b1,b2,z1,z2)=(b,c−b,1−z,1), produces the Gauss hypergeometric equation (15.10.1).

The next four differential equations apply to the complete case of RF and RG in the form R−a⁡(12,12;z1,z2) (see (19.16.20) and (19.16.23)).

The function w=R−a⁡(12,12;x+y,x−y) satisfies an Euler–Poisson–Darboux equation:

19.18.14 ∂2w∂x2=∂2w∂y2+1y⁢∂w∂y.

Also W=R−a⁡(12,12;t+r,t−r), with r=x2+y2, satisfies a wave equation:

19.18.15 ∂2W∂t2=∂2W∂x2+∂2W∂y2.

Similarly, the function u=R−a⁡(12,12;x+i⁢y,x−i⁢y) satisfies an equation of axially symmetric potential theory:

19.18.16 ∂2u∂x2+∂2u∂y2+1y⁢∂u∂y=0,

and U=R−a⁡(12,12;z+i⁢ρ,z−i⁢ρ), with ρ=x2+y2, satisfies Laplace’s equation:

19.18.17 ∂2U∂x2+∂2U∂y2+∂2U∂z2=0.