Serie hipergeométrica básica

En matemáticas, las series hipergeométricas básicas, o q-series hipergeométricas, son generalizaciones q-análogas de las series hipergeométricas generalizadas, y son a su vez generalizadas por las series hipergeométricas elípticas. Una serie x_n se denomina hipergeométrica si la relación de los términos sucesivos x_n+1/ x_n es una función racional de n. Si la razón de términos sucesivos es una función racional de qⁿ, entonces la serie se denomina serie hipergeométrica básica. El número q se llama base.

La serie hipergeométrica básica ${\displaystyle {}_{2}\phi _{1}(q^{\alpha },q^{\beta };q^{\gamma };q,x)}$ fue considerada por primera vez por Eduard Heine en 1846. Se convierte en la serie hipergeométrica ${\displaystyle F(\alpha ,\beta ;\gamma ;x)}$ en el límite cuando la base ${\displaystyle q=1}$.

Hay dos formas de series hipergeométricas básicas, la serie hipergeométrica básica unilateral φ, y la serie hipergeométrica básica bilateral más general ψ. La serie hipergeométrica básica unilateral se define como

${\displaystyle \;_{j}\phi _{k}\left[{\begin{matrix}a_{1}&a_{2}&\ldots &a_{j}\\b_{1}&b_{2}&\ldots &b_{k}\end{matrix}};q,z\right]=\sum _{n=0}^{\infty }{\frac {(a_{1},a_{2},\ldots ,a_{j};q)_{n}}{(b_{1},b_{2},\ldots ,b_{k},q;q)_{n}}}\left((-1)^{n}q^{n \choose 2}\right)^{1+k-j}z^{n}}$

donde

${\displaystyle (a_{1},a_{2},\ldots ,a_{m};q)_{n}=(a_{1};q)_{n}(a_{2};q)_{n}\ldots (a_{m};q)_{n}}$

y

${\displaystyle (a;q)_{n}=\prod _{k=0}^{n-1}(1-aq^{k})=(1-a)(1-aq)(1-aq^{2})\cdots (1-aq^{n-1})}$

es el símbolo q-Pochhammer. El caso especial más importante es cuando j = k + 1, que se convierte en

${\displaystyle \;_{k+1}\phi _{k}\left[{\begin{matrix}a_{1}&a_{2}&\ldots &a_{k}&a_{k+1}\\b_{1}&b_{2}&\ldots &b_{k}\end{matrix}};q,z\right]=\sum _{n=0}^{\infty }{\frac {(a_{1},a_{2},\ldots ,a_{k+1};q)_{n}}{(b_{1},b_{2},\ldots ,b_{k},q;q)_{n}}}z^{n}.}$

Esta serie se llama balanceada si a₁ ... a_{k + 1} = b₁ ...b_kq. La serie se llama bien equilibrada si a₁q = a₂b₁ = ... = a_{k + 1}b_k y muy bien equilibrada si además a₂ = −a₃ = qa₁^1/2. La serie hipergeométrica básica unilateral es un q-análogo de la serie hipergeométrica ya que

${\displaystyle \lim _{q\to 1}\;_{j}\phi _{k}\left[{\begin{matrix}q^{a_{1}}&q^{a_{2}}&\ldots &q^{a_{j}}\\q^{b_{1}}&q^{b_{2}}&\ldots &q^{b_{k}}\end{matrix}};q,(q-1)^{1+k-j}z\right]=\;_{j}F_{k}\left[{\begin{matrix}a_{1}&a_{2}&\ldots &a_{j}\\b_{1}&b_{2}&\ldots &b_{k}\end{matrix}};z\right]}$

se cumple (Koekoek y Swarttouw (1996)).
La serie hipergeométrica básica bilateral, correspondiente a la serie hipergeométrica bilateral, se define como

${\displaystyle \;_{j}\psi _{k}\left[{\begin{matrix}a_{1}&a_{2}&\ldots &a_{j}\\b_{1}&b_{2}&\ldots &b_{k}\end{matrix}};q,z\right]=\sum _{n=-\infty }^{\infty }{\frac {(a_{1},a_{2},\ldots ,a_{j};q)_{n}}{(b_{1},b_{2},\ldots ,b_{k};q)_{n}}}\left((-1)^{n}q^{n \choose 2}\right)^{k-j}z^{n}.}$

El caso especial más importante es cuando j = k, puesto que se convierte en

${\displaystyle \;_{k}\psi _{k}\left[{\begin{matrix}a_{1}&a_{2}&\ldots &a_{k}\\b_{1}&b_{2}&\ldots &b_{k}\end{matrix}};q,z\right]=\sum _{n=-\infty }^{\infty }{\frac {(a_{1},a_{2},\ldots ,a_{k};q)_{n}}{(b_{1},b_{2},\ldots ,b_{k};q)_{n}}}z^{n}.}$

La serie unilateral puede obtenerse como un caso especial de la bilateral igualando una de las variables b a q, al menos cuando ninguna de las variables a es potencia de q, ya que todos los términos con n < 0 desaparecen.

Algunas expresiones de series simples son

${\displaystyle {\frac {z}{1-q}}\;_{2}\phi _{1}\left[{\begin{matrix}q\;q\\q^{2}\end{matrix}}\;;q,z\right]={\frac {z}{1-q}}+{\frac {z^{2}}{1-q^{2}}}+{\frac {z^{3}}{1-q^{3}}}+\ldots }$

,

${\displaystyle {\frac {z}{1-q^{1/2}}}\;_{2}\phi _{1}\left[{\begin{matrix}q\;q^{1/2}\\q^{3/2}\end{matrix}}\;;q,z\right]={\frac {z}{1-q^{1/2}}}+{\frac {z^{2}}{1-q^{3/2}}}+{\frac {z^{3}}{1-q^{5/2}}}+\ldots }$

y

${\displaystyle \;_{2}\phi _{1}\left[{\begin{matrix}q\;-1\\-q\end{matrix}}\;;q,z\right]=1+{\frac {2z}{1+q}}+{\frac {2z^{2}}{1+q^{2}}}+{\frac {2z^{3}}{1+q^{3}}}+\ldots .}$

El teorema q-binomial (publicado la primera vez en 1811 por Heinrich August Rothe)^[1]​^[2]​ establece que

${\displaystyle \;_{1}\phi _{0}(a;q,z)={\frac {(az;q)_{\infty }}{(z;q)_{\infty }}}=\prod _{n=0}^{\infty }{\frac {1-aq^{n}z}{1-q^{n}z}}}$

la cual se se obtiene aplicando repetidamente la identidad

${\displaystyle \;_{1}\phi _{0}(a;q,z)={\frac {1-az}{1-z}}\;_{1}\phi _{0}(a;q,qz).}$

El caso especial de a = 0 está íntimamente relacionado con la q-exponencial.

El teorema binomial de Cauchy es un caso especial del teorema q-binomial.^[3]​

${\displaystyle \sum _{n=0}^{N}y^{n}q^{n(n+1)/2}{\begin{bmatrix}N\\n\end{bmatrix}}_{q}=\prod _{k=1}^{N}\left(1+yq^{k}\right)\qquad (|q|<1)}$

Srinivasa Ramanujan dio la identidad

${\displaystyle \;_{1}\psi _{1}\left[{\begin{matrix}a\\b\end{matrix}};q,z\right]=\sum _{n=-\infty }^{\infty }{\frac {(a;q)_{n}}{(b;q)_{n}}}z^{n}={\frac {(b/a,q,q/az,az;q)_{\infty }}{(b,b/az,q/a,z;q)_{\infty }}}}$

válida para |q| < 1 y |b/a| < |z| < 1. Identidades similares para ${\displaystyle \;_{6}\psi _{6}}$ habían sido dadas por Bailey. Tales identidades pueden ser entendidas como generalizaciones del producto triple de Jacobi, que pueden ser escritas usando q-series como

${\displaystyle \sum _{n=-\infty }^{\infty }q^{n(n+1)/2}z^{n}=(q;q)_{\infty }\;(-1/z;q)_{\infty }\;(-zq;q)_{\infty }.}$

Ken Ono dio una serie de potencias formal relacionada^[4]​

${\displaystyle A(z;q){\stackrel {\rm {def}}{=}}{\frac {1}{1+z}}\sum _{n=0}^{\infty }{\frac {(z;q)_{n}}{(-zq;q)_{n}}}z^{n}=\sum _{n=0}^{\infty }(-1)^{n}z^{2n}q^{n^{2}}.}$

Como un análogo de la integral de Barnes para las series hipergeométricas, Watson mostró que

${\displaystyle {}_{2}\phi _{1}(a,b;c;q,z)={\frac {-1}{2\pi i}}{\frac {(a,b;q)_{\infty }}{(q,c;q)_{\infty }}}\int _{-i\infty }^{i\infty }{\frac {(qq^{s},cq^{s};q)_{\infty }}{(aq^{s},bq^{s};q)_{\infty }}}{\frac {\pi (-z)^{s}}{\sin \pi s}}ds}$

donde los polos de ${\displaystyle (aq^{s},bq^{s};q)_{\infty }}$ se encuentran a la izquierda del contorno y los polos restantes se encuentran a la derecha. Hay una integral de contorno similar para _r+1φ_r. Esta integral de contorno da una continuación analítica de la función hipergeométrica básica en z.

La función hipergeométrica básica matricial se puede definir de la siguiente manera:

${\displaystyle {}_{2}\phi _{1}(A,B;C;q,z):=\sum _{n=0}^{\infty }{\frac {(A;q)_{n}(B;q)_{n}}{(C;q)_{n}(q;q)_{n}}}z^{n},\quad (A;q)_{0}:=1,\quad (A;q)_{n}:=\prod _{k=0}^{n-1}(1-Aq^{k}).}$

El criterio del cociente muestra que esta función matricial es absolutamente convergente.^[5]​

• Identidad de Dixon
• Identidades de Rogers–Ramanujan

• Plantilla:Dlmf
• W.N. Bailey, Generalized Hypergeometric Series, (1935) Cambridge Tracts in Mathematics and Mathematical Physics, No.32, Cambridge University Press, Cambridge.
• William Y. C. Chen and Amy Fu, Semi-Finite Forms of Bilateral Basic Hypergeometric Series (2004)
• Exton, H. (1983), q-Hypergeometric Functions and Applications, New York: Halstead Press, Chichester: Ellis Horwood, ISBN 0853124914, ISBN 0470274530, ISBN 978-0470274538
• Sylvie Corteel and Jeremy Lovejoy, Frobenius Partitions and the Combinatorics of Ramanujan's ${\displaystyle \,_{1}\psi _{1}}$ Summation
• Fine, Nathan J. (1988), Basic hypergeometric series and applications, Mathematical Surveys and Monographs 27, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1524-3, MR 956465 .
• Gasper, George; Rahman, Mizan (2004), Basic hypergeometric series, Encyclopedia of Mathematics and its Applications 96 (2nd edición), Cambridge University Press, ISBN 978-0-521-83357-8, MR 2128719 .
• Heine, Eduard (1846), «Über die Reihe ${\displaystyle 1+{\frac {(q^{\alpha }-1)(q^{\beta }-1)}{(q-1)(q^{\gamma }-1)}}x+{\frac {(q^{\alpha }-1)(q^{\alpha +1}-1)(q^{\beta }-1)(q^{\beta +1}-1)}{(q-1)(q^{2}-1)(q^{\gamma }-1)(q^{\gamma +1}-1)}}x^{2}+\cdots }$», Journal für die reine und angewandte Mathematik 32: 210-212 .
• Victor Kac, Pokman Cheung, Quantum calculus, Universitext, Springer-Verlag, 2002. ISBN 0-387-95341-8
• Koekoek, Roelof; Swarttouw, Rene F. (1996), The Askey scheme of orthogonal polynomials and its q-analogues, Technical University Delft, no. 98-17 .. Section 0.2
• Andrews, G. E., Askey, R. and Roy, R. (1999). Special Functions, Encyclopedia of Mathematics and its Applications, volume 71, Cambridge University Press.
• Eduard Heine, Theorie der Kugelfunctionen, (1878) 1, pp 97–125.
• Eduard Heine, Handbuch die Kugelfunctionen. Theorie und Anwendung (1898) Springer, Berlin.

• Weisstein, Eric W. «q-Hypergeometric Function». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.