Formula:KLS:09.09:13

From DRMF
Revision as of 00:34, 6 March 2017 by imported>SeedBot (DRMF)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


[ \HyperpFq 01 @ @ - - N + i ν ( x + i ) t \HyperpFq 01 @ @ - - N - i ν ( x - i ) t ] N = n = 0 N ( n - 2 N - 1 ) n ( - N + i ν ) n ( - N - i ν ) n n ! P n ( x ; ν , N ) t n fragments subscript fragments [ \HyperpFq 01 @ @ N imaginary-unit ν fragments ( x imaginary-unit ) t \HyperpFq 01 @ @ N imaginary-unit ν fragments ( x imaginary-unit ) t ] 𝑁 superscript subscript 𝑛 0 𝑁 Pochhammer-symbol 𝑛 2 𝑁 1 𝑛 Pochhammer-symbol 𝑁 imaginary-unit 𝜈 𝑛 Pochhammer-symbol 𝑁 imaginary-unit 𝜈 𝑛 𝑛 pseudo-Jacobi-polynomial 𝑛 𝑥 𝜈 𝑁 superscript 𝑡 𝑛 {\displaystyle{\displaystyle{\displaystyle\left[\HyperpFq{0}{1}@@{-}{-N+% \mathrm{i}\nu}{(x+\mathrm{i})t}\,\HyperpFq{0}{1}@@{-}{-N-\mathrm{i}\nu}{(x-% \mathrm{i})t}\right]_{N}{}=\sum_{n=0}^{N}\frac{{\left(n-2N-1\right)_{n}}}{{% \left(-N+\mathrm{i}\nu\right)_{n}}{\left(-N-\mathrm{i}\nu\right)_{n}}n!}P_{n}% \!\left(x;\nu,N\right)t^{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

F q p subscript subscript 𝐹 𝑞 𝑝 {\displaystyle{\displaystyle{\displaystyle{{}_{p}F_{q}}}}}  : generalized hypergeometric function : http://dlmf.nist.gov/16.2#E1
i i {\displaystyle{\displaystyle{\displaystyle\mathrm{i}}}}  : imaginary unit : http://dlmf.nist.gov/1.9.i
Σ Σ {\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
P n subscript 𝑃 𝑛 {\displaystyle{\displaystyle{\displaystyle P_{n}}}}  : pseudo Jacobi polynomomal : http://drmf.wmflabs.org/wiki/Definition:pseudoJacobi

Bibliography

Equation in Section 9.9 of KLS.

URL links

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