Serie hipergeométrica básica

Análogo Q de la serie hipergeométrica

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

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

Definición

Existen 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}}$

dónde

${\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 factorial desplazado en q . El caso especial más importante es cuando j = k + 1, cuando 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 equilibrada si a ₁ ... a _{k + 1} = b ₁ ... b _k q . Esta 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 análogo q 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 , cuando 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 se puede obtener como un caso especial de la bilateral fijando una de las variables b igual a q , al menos cuando ninguna de las variables a es una potencia de q , ya que todos los términos con n < 0 se desvanecen.

Serie sencilla

Algunas expresiones de series simples incluyen

${\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 }$

y

${\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 .}$

Elq-teorema del binomio

El teorema q -binomial (publicado por 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}}}$

que 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á estrechamente relacionado con el q-exponencial .

Teorema del binomio de Cauchy

El teorema binomial de Cauchy es un caso especial del teorema binomial q. ^[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)}$

La identidad de Ramanujan

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álido para | q | < 1 y | b / a | < | z | < 1. Bailey ha dado identidades similares para . Dichas identidades pueden entenderse como generalizaciones del teorema del triple producto de Jacobi , que puede escribirse utilizando series q como ${\displaystyle \;_{6}\psi _{6}}$

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

Ken Ono ofrece una serie de potencias formales relacionadas ^[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}}.}$

Integral de contorno de Watson

Como análogo de la integral de Barnes para la serie hipergeométrica, Watson demostró 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 se encuentran a la izquierda del contorno y los polos restantes se encuentran a la derecha. Existe 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 . ${\displaystyle (aq^{s},bq^{s};q)_{\infty }}$

Versión de matriz

La función matricial hipergeométrica básica 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}).}$

La prueba de razón muestra que esta función matricial es absolutamente convergente. ^[5]

Véase también

• La identidad de Dixon
• Identidades de Rogers y Ramanujan

Notas

1. Bressoud, DM (1981), "Algunas identidades para la terminación de series q ", Mathematical Proceedings of the Cambridge Philosophical Society , 89 (2): 211–223, Bibcode :1981MPCPS..89..211B, doi :10.1017/S0305004100058114, MR  0600238.
2. Benaoum, HB (1998), " h -análogo de la fórmula binomial de Newton", Journal of Physics A: Mathematical and General , 31 (46): L751–L754, arXiv : math-ph/9812011 , Bibcode :1998JPhA...31L.751B, doi :10.1088/0305-4470/31/46/001, S2CID  119697596.
3. Wolfram Mathworld: Teorema binomial de Cauchy
4. Gwynneth H. Coogan y Ken Ono , Una identidad de serie q y la aritmética de las funciones zeta de Hurwitz , (2003) Actas de la American Mathematical Society 131 , págs. 719–724
5. Ahmed Salem (2014) La función matricial hipergeométrica básica de Gauss y su ecuación de diferencia q matricial, Álgebra lineal y multilineal, 62:3, 347-361, DOI: 10.1080/03081087.2013.777437

Referencias

• Andrews, GE (2010), "Funciones q-hipergeométricas y relacionadas", en Olver, Frank WJ ; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), Manual del NIST de funciones matemáticas , Cambridge University Press, ISBN 978-0-521-19225-5, Sr.  2723248.
• WN Bailey, Series hipergeométricas generalizadas , (1935) Cambridge Tracts in Mathematics and Mathematical Physics, No. 32, Cambridge University Press, Cambridge.
• William YC Chen y Amy Fu, Formas semifinitas de series hipergeométricas básicas bilaterales (2004)
• Exton , H. (1983), Funciones hipergeométricas q y aplicaciones , Nueva York: Halstead Press, Chichester: Ellis Horwood, ISBN 0853124914 , ISBN 0470274530 , ISBN 978-0470274538   
• Sylvie Corteel y Jeremy Lovejoy, Particiones de Frobenius y la combinatoria de la suma 1 ψ 1 {\displaystyle \,_{1}\psi _{1}} de Ramanujan
• Fine, Nathan J. (1988), Series hipergeométricas básicas y aplicaciones, Mathematical Surveys and Monographs, vol. 27, Providence, RI: American Mathematical Society , ISBN 978-0-8218-1524-3, Sr.  0956465
• Gasper, George; Rahman, Mizan (2004), Series hipergeométricas básicas , Enciclopedia de matemáticas y sus aplicaciones, vol. 96 (2.ª ed.), Cambridge University Press , ISBN 978-0-521-83357-8, Sr.  2128719
• Heine, Eduard (1846), "Über die Reihe 1 + ( q α − 1 ) ( q β − 1 ) ( q − 1 ) ( q γ − 1 ) x + ( q α − 1 ) ( q α + 1 − 1 ) ( q β − 1 ) ( q β + 1 − 1 ) ( q − 1 ) ( q 2 − 1 ) ( q γ − 1 ) ( q γ + 1 − 1 ) x 2 + ⋯ {\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, Cálculo cuántico , Universitext, Springer-Verlag, 2002. ISBN 0-387-95341-8 
• Koekoek, Roelof; Swarttouw, Rene F. (1996). El esquema Askey de polinomios ortogonales y sus análogos q (Informe). Universidad Técnica de Delft. núm. 98-17.. Sección 0.2
• Andrews, GE, Askey, R. y Roy, R. (1999). Funciones especiales, Enciclopedia de matemáticas y sus aplicaciones, volumen 71, Cambridge University Press .
• Eduard Heine , Theorie der Kugelfunctionen , (1878) 1 , págs. 97-125.
• Eduard Heine, Handbuch die Kugelfunctionen. Theorie und Anwendung (1898) Springer, Berlín.

Enlaces externos

• Weisstein, Eric W. "Función q-hipergeométrica". MathWorld .