Formula:KLS:09.01:04

From DRMF
Revision as of 08:34, 22 December 2019 by Move page script (talk | contribs) (Move page script moved page Formula:KLS:09.01:04 to F:KLS:09.01:04)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


1 2 ⁢ π ⁢ ∫ 0 ∞ | Γ ⁡ ( a + i ⁢ x ) ⁢ Γ ⁡ ( b + i ⁢ x ) ⁢ Γ ⁡ ( c + i ⁢ x ) ⁢ Γ ⁡ ( d + i ⁢ x ) Γ ⁡ ( 2 ⁢ i ⁢ x ) | 2 ⁢ W m ⁡ ( x 2 ; a , b , c , d ) ⁢ W n ⁡ ( x 2 ; a , b , c , d ) ⁢ 𝑑 x + Γ ⁡ ( a + b ) ⁢ Γ ⁡ ( a + c ) ⁢ Γ ⁡ ( a + d ) ⁢ Γ ⁡ ( b - a ) ⁢ Γ ⁡ ( c - a ) ⁢ Γ ⁡ ( d - a ) Γ ⁡ ( - 2 ⁢ a ) ⁢ ∑ k = 0 , 1 , 2 ⁢ … a + k < 0 ( 2 ⁢ a ) k ⁢ ( a + 1 ) k ⁢ ( a + b ) k ⁢ ( a + c ) k ⁢ ( a + d ) k ( a ) k ⁢ ( a - b + 1 ) k ⁢ ( a - c + 1 ) k ⁢ ( a - d + 1 ) k ⁢ k ! ⁢ W m ⁡ ( - ( a + k ) 2 ; a , b , c , d ) ⁢ W n ⁡ ( - ( a + k ) 2 ; a , b , c , d ) = Γ ⁡ ( n + a + b ) ⁢ ⋯ ⁢ Γ ⁡ ( n + c + d ) Γ ⁡ ( 2 ⁢ n + a + b + c + d ) ⁢ ( n + a + b + c + d - 1 ) n ⁢ n ! ⁢ δ m , n 1 2 superscript subscript 0 superscript Euler-Gamma 𝑎 imaginary-unit 𝑥 Euler-Gamma 𝑏 imaginary-unit 𝑥 Euler-Gamma 𝑐 imaginary-unit 𝑥 Euler-Gamma 𝑑 imaginary-unit 𝑥 Euler-Gamma 2 imaginary-unit 𝑥 2 Wilson-polynomial-W 𝑚 superscript 𝑥 2 𝑎 𝑏 𝑐 𝑑 Wilson-polynomial-W 𝑛 superscript 𝑥 2 𝑎 𝑏 𝑐 𝑑 differential-d 𝑥 Euler-Gamma 𝑎 𝑏 Euler-Gamma 𝑎 𝑐 Euler-Gamma 𝑎 𝑑 Euler-Gamma 𝑏 𝑎 Euler-Gamma 𝑐 𝑎 Euler-Gamma 𝑑 𝑎 Euler-Gamma 2 𝑎 subscript 𝑘 0 1 2 … 𝑎 𝑘 0 Pochhammer-symbol 2 𝑎 𝑘 Pochhammer-symbol 𝑎 1 𝑘 Pochhammer-symbol 𝑎 𝑏 𝑘 Pochhammer-symbol 𝑎 𝑐 𝑘 Pochhammer-symbol 𝑎 𝑑 𝑘 Pochhammer-symbol 𝑎 𝑘 Pochhammer-symbol 𝑎 𝑏 1 𝑘 Pochhammer-symbol 𝑎 𝑐 1 𝑘 Pochhammer-symbol 𝑎 𝑑 1 𝑘 𝑘 Wilson-polynomial-W 𝑚 superscript 𝑎 𝑘 2 𝑎 𝑏 𝑐 𝑑 Wilson-polynomial-W 𝑛 superscript 𝑎 𝑘 2 𝑎 𝑏 𝑐 𝑑 Euler-Gamma 𝑛 𝑎 𝑏 ⋯ Euler-Gamma 𝑛 𝑐 𝑑 Euler-Gamma 2 𝑛 𝑎 𝑏 𝑐 𝑑 Pochhammer-symbol 𝑛 𝑎 𝑏 𝑐 𝑑 1 𝑛 𝑛 Kronecker-delta 𝑚 𝑛 {\displaystyle{\displaystyle{\displaystyle\frac{1}{2\pi}\int_{0}^{\infty}\left% |\frac{\Gamma\left(a+\mathrm{i}x\right)\Gamma\left(b+\mathrm{i}x\right)\Gamma% \left(c+\mathrm{i}x\right)\Gamma\left(d+\mathrm{i}x\right)}{\Gamma\left(2% \mathrm{i}x\right)}\right|^{2}{}W_{m}\!\left(x^{2};a,b,c,d\right)W_{n}\!\left(% x^{2};a,b,c,d\right)\,dx{}+\frac{\Gamma\left(a+b\right)\Gamma\left(a+c\right)% \Gamma\left(a+d\right)\Gamma\left(b-a\right)\Gamma\left(c-a\right)\Gamma\left(% d-a\right)}{\Gamma\left(-2a\right)}{}\sum_{\begin{array}[]{c}{\scriptstyle k=0% ,1,2\ldots}\\ {\scriptstyle a+k<0}\end{array}}\frac{{\left(2a\right)_{k}}{\left(a+1\right)_{% k}}{\left(a+b\right)_{k}}{\left(a+c\right)_{k}}{\left(a+d\right)_{k}}}{{\left(% a\right)_{k}}{\left(a-b+1\right)_{k}}{\left(a-c+1\right)_{k}}{\left(a-d+1% \right)_{k}}k!}{}W_{m}\!\left(-(a+k)^{2};a,b,c,d\right)W_{n}\!\left(-(a+k)^{2}% ;a,b,c,d\right){}=\frac{\Gamma\left(n+a+b\right)\cdots\Gamma\left(n+c+d\right)% }{\Gamma\left(2n+a+b+c+d\right)}{\left(n+a+b+c+d-1\right)_{n}}n!\,\delta_{m,n}% }}}

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

∫ {\displaystyle{\displaystyle{\displaystyle\int}}}  : integral : http://dlmf.nist.gov/1.4#iv
Γ Γ {\displaystyle{\displaystyle{\displaystyle\Gamma}}}  : Euler's gamma function : http://dlmf.nist.gov/5.2#E1
i i {\displaystyle{\displaystyle{\displaystyle\mathrm{i}}}}  : imaginary unit : http://dlmf.nist.gov/1.9.i
W n subscript 𝑊 𝑛 {\displaystyle{\displaystyle{\displaystyle W_{n}}}}  : Wilson polynomial : http://dlmf.nist.gov/18.25#T1.t1.r2
Σ Σ {\displaystyle{\displaystyle{\displaystyle\Sigma}}}  : sum : http://drmf.wmflabs.org/wiki/Definition:sum
( a ) n subscript 𝑎 𝑛 {\displaystyle{\displaystyle{\displaystyle(a)_{n}}}}  : Pochhammer symbol : http://dlmf.nist.gov/5.2#iii
δ m , n subscript 𝛿 𝑚 𝑛 {\displaystyle{\displaystyle{\displaystyle\delta_{m,n}}}}  : Kronecker delta : http://dlmf.nist.gov/front/introduction#Sx4.p1.t1.r4

Bibliography

Equation in Section 9.1 of KLS.

URL links

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


Retrieved from "https://drmf-beta.wmflabs.org/index.php?title=Formula:KLS:09.01:04&oldid=3275"