Formula:KLS:09.08:37

From DRMF
Jump to navigation Jump to search


C n λ ( cos θ ) = 2 Γ ( λ + 1 2 ) π missing missing 12 Γ ( λ + 1 ) ( 2 λ ) n ( λ + 1 ) n ( sin θ ) 1 - 2 λ e i ( n + 1 ) θ \HyperpFq 21 @ @ 1 - λ , n + 1 n + λ + 1 e 2 i θ ultraspherical-Gegenbauer-polynomial 𝜆 𝑛 𝜃 2 Euler-Gamma 𝜆 1 2 missing missing 12 Euler-Gamma 𝜆 1 Pochhammer-symbol 2 𝜆 𝑛 Pochhammer-symbol 𝜆 1 𝑛 superscript 𝜃 1 2 𝜆 imaginary-unit 𝑛 1 𝜃 \HyperpFq 21 @ @ 1 𝜆 𝑛 1 𝑛 𝜆 1 2 imaginary-unit 𝜃 {\displaystyle{\displaystyle{\displaystyle C^{\lambda}_{n}\left(\cos\theta% \right)=\frac{2\Gamma\left(\lambda+\frac{1}{2}\right)}{{\pi^{\frac{missing}{% missing}}}12\Gamma\left(\lambda+1\right)}\frac{{\left(2\lambda\right)_{n}}}{{% \left(\lambda+1\right)_{n}}}(\sin\theta)^{1-2\lambda}\Im{{\mathrm{e}^{\mathrm{% i}(n+1)\theta}}\HyperpFq{2}{1}@@{1-\lambda,n+1}{n+\lambda+1}{{\mathrm{e}^{2% \mathrm{i}\theta}}}}}}}

Proof

We ask users to provide proof(s), reference(s) to proof(s), or further clarification on the proof(s) in this space.

Symbols List

i i {\displaystyle{\displaystyle{\displaystyle\mathrm{i}}}}  : imaginary unit : http://dlmf.nist.gov/1.9.i
C n μ subscript superscript 𝐶 𝜇 𝑛 {\displaystyle{\displaystyle{\displaystyle C^{\mu}_{n}}}}  : ultraspherical/Gegenbauer polynomial : http://dlmf.nist.gov/18.3#T1.t1.r5
cos cos {\displaystyle{\displaystyle{\displaystyle\mathrm{cos}}}}  : cosine function : http://dlmf.nist.gov/4.14#E2
Γ Γ {\displaystyle{\displaystyle{\displaystyle\Gamma}}}  : Euler's gamma function : http://dlmf.nist.gov/5.2#E1
π 𝜋 {\displaystyle{\displaystyle{\displaystyle\pi}}}  : ratio of a circle's circumference to its diameter : http://dlmf.nist.gov/5.19.E4
( a ) n subscript 𝑎 𝑛 {\displaystyle{\displaystyle{\displaystyle(a)_{n}}}}  : Pochhammer symbol : http://dlmf.nist.gov/5.2#iii
sin sin {\displaystyle{\displaystyle{\displaystyle\mathrm{sin}}}}  : sine function : http://dlmf.nist.gov/4.14#E1
z 𝑧 {\displaystyle{\displaystyle{\displaystyle\Im{z}}}}  : imaginary part : http://dlmf.nist.gov/1.9#E2
e e {\displaystyle{\displaystyle{\displaystyle\mathrm{e}}}}  : the base of the natural logarithm : http://dlmf.nist.gov/4.2.E11
F q p subscript subscript 𝐹 𝑞 𝑝 {\displaystyle{\displaystyle{\displaystyle{{}_{p}F_{q}}}}}  : generalized hypergeometric function : http://dlmf.nist.gov/16.2#E1

Bibliography

Equation in Section 9.8 of KLS.

URL links

We ask users to provide relevant URL links in this space.