[go: up one dir, main page]

14 Legendre and Related FunctionsReal Arguments

§14.19 Toroidal (or Ring) Functions

Contents
  1. §14.19(i) Introduction
  2. §14.19(ii) Hypergeometric Representations
  3. §14.19(iii) Integral Representations
  4. §14.19(iv) Sums
  5. §14.19(v) Whipple’s Formula for Toroidal Functions

§14.19(i) Introduction

When ν=n−12, n=0,1,2,…, μ∈ℝ, and x∈(1,∞) solutions of (14.2.2) are known as toroidal or ring functions. This form of the differential equation arises when Laplace’s equation is transformed into toroidal coordinates (η,θ,ϕ), which are related to Cartesian coordinates (x,y,z) by

14.19.1 x =c⁢sinh⁡η⁢cos⁡ϕcosh⁡η−cos⁡θ,
y =c⁢sinh⁡η⁢sin⁡ϕcosh⁡η−cos⁡θ,
z =c⁢sin⁡θcosh⁡η−cos⁡θ,

where the constant c is a scaling factor. Most required properties of toroidal functions come directly from the results for Pνμ⁡(x) and 𝑸νμ⁡(x). In particular, for μ=0 and ν=±12 see §14.5(v).

§14.19(ii) Hypergeometric Representations

With 𝐅 as in §14.3 and ξ>0,

14.19.2 Pν−12μ⁡(cosh⁡ξ)=Γ⁡(12−μ)π1/2⁢(1−e−2⁢ξ)μ⁢e(ν+(1/2))⁢ξ⁢𝐅⁡(12−μ,12+ν−μ;1−2⁢μ;1−e−2⁢ξ),
μ≠12,32,52,….

§14.19(iii) Integral Representations

With ξ>0,

14.19.4 Pn−12m⁡(cosh⁡ξ) =Γ⁡(n+m+12)⁢(sinh⁡ξ)m2m⁢π1/2⁢Γ⁡(n−m+12)⁢Γ⁡(m+12)⁢∫0π(sin⁡ϕ)2⁢m(cosh⁡ξ+cos⁡ϕ⁢sinh⁡ξ)n+m+(1/2)⁢dϕ,
14.19.5 𝑸n−12m⁡(cosh⁡ξ) =Γ⁡(n+12)Γ⁡(n+m+12)⁢Γ⁡(n−m+12)⁢∫0∞cosh⁡(m⁢t)(cosh⁡ξ+cosh⁡t⁢sinh⁡ξ)n+(1/2)⁢dt,
m<n+12.

§14.19(iv) Sums

With ξ>0,

14.19.6 𝑸−12μ⁡(cosh⁡ξ)+2⁢∑n=1∞Γ⁡(μ+n+12)Γ⁡(μ+12)⁢𝑸n−12μ⁡(cosh⁡ξ)⁢cos⁡(n⁢ϕ)=(12⁢π)1/2⁢(sinh⁡ξ)μ(cosh⁡ξ−cos⁡ϕ)μ+(1/2),
ℜ⁡μ>−12.

§14.19(v) Whipple’s Formula for Toroidal Functions