Formula:KLS:14.12:06

From DRMF
Jump to navigation Jump to search


x ⁢ p ^ n ⁡ ( x ) = p ^ n + 1 ⁡ ( x ) + ( A n + C n ) ⁢ p ^ n ⁡ ( x ) + A n - 1 ⁢ C n ⁢ p ^ n - 1 ⁡ ( x ) 𝑥 little-q-Jacobi-polynomial-monic-p 𝑛 𝑥 𝑎 𝑏 𝑞 little-q-Jacobi-polynomial-monic-p 𝑛 1 𝑥 𝑎 𝑏 𝑞 subscript 𝐴 𝑛 subscript 𝐶 𝑛 little-q-Jacobi-polynomial-monic-p 𝑛 𝑥 𝑎 𝑏 𝑞 subscript 𝐴 𝑛 1 subscript 𝐶 𝑛 little-q-Jacobi-polynomial-monic-p 𝑛 1 𝑥 𝑎 𝑏 𝑞 {\displaystyle{\displaystyle{\displaystyle x{\widehat{p}}_{n}\!\left(x\right)=% {\widehat{p}}_{n+1}\!\left(x\right)+(A_{n}+C_{n}){\widehat{p}}_{n}\!\left(x% \right)+A_{n-1}C_{n}{\widehat{p}}_{n-1}\!\left(x\right)}}}

Substitution(s)

C n = a ⁢ q n ⁢ ( 1 - q n ) ⁢ ( 1 - b ⁢ q n ) ( 1 - a ⁢ b ⁢ q 2 ⁢ n ) ⁢ ( 1 - a ⁢ b ⁢ q 2 ⁢ n + 1 ) subscript 𝐶 𝑛 𝑎 superscript 𝑞 𝑛 1 superscript 𝑞 𝑛 1 𝑏 superscript 𝑞 𝑛 1 𝑎 𝑏 superscript 𝑞 2 𝑛 1 𝑎 𝑏 superscript 𝑞 2 𝑛 1 {\displaystyle{\displaystyle{\displaystyle C_{n}=aq^{n}\frac{(1-q^{n})(1-bq^{n% })}{(1-abq^{2n})(1-abq^{2n+1})}}}} &
A n = q n ⁢ ( 1 - a ⁢ q n + 1 ) ⁢ ( 1 - a ⁢ b ⁢ q n + 1 ) ( 1 - a ⁢ b ⁢ q 2 ⁢ n + 1 ) ⁢ ( 1 - a ⁢ b ⁢ q 2 ⁢ n + 2 ) subscript 𝐴 𝑛 superscript 𝑞 𝑛 1 𝑎 superscript 𝑞 𝑛 1 1 𝑎 𝑏 superscript 𝑞 𝑛 1 1 𝑎 𝑏 superscript 𝑞 2 𝑛 1 1 𝑎 𝑏 superscript 𝑞 2 𝑛 2 {\displaystyle{\displaystyle{\displaystyle A_{n}=q^{n}\frac{(1-aq^{n+1})(1-abq% ^{n+1})}{(1-abq^{2n+1})(1-abq^{2n+2})}}}}


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

& : logical and
p ^ n subscript ^ 𝑝 𝑛 {\displaystyle{\displaystyle{\displaystyle{\widehat{p}}_{n}}}}  : monic little q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -Jacobi polynomial : http://drmf.wmflabs.org/wiki/Definition:moniclittleqJacobi

Bibliography

Equation in Section 14.12 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:14.12:06&oldid=4945"