Función hipergeométrica generalizada

Gráfico de la función hipergeométrica generalizada pFq(a b z) con a=(2,4,6,8) y b=(2,3,5,7,11) en el plano complejo de -2-2i a 2+2i creado con la función de Mathematica 13.1 ComplexPlot3D

En matemáticas, una serie hipergeométrica generalizada es una serie de potencias en la que el ratio de coeficientes sucesivos indexados por n es una función racional de n. La serie, si es convergente, define una función hipergeométrica generalizada, que luego puede definirse en un dominio más amplio del argumento mediante continuación analítica. La serie hipergeométrica generalizada a veces se denomina simplemente serie hipergeométrica, aunque este término también se refiere a veces a la serie hipergeométrica gaussiana. Las funciones hipergeométricas generalizadas incluyen la función hipergeométrica (gaussiana) y la función hipergeométrica confluente como casos especiales, que a su vez tienen muchas funciones especiales particulares como casos especiales, tales como funciones elementales, funciones de Bessel, y los polinomios ortogonales clásicos.

Notación

Una serie hipergeométrica se define formalmente como una serie de potencias

${\beta }_0+{\beta }_{1}z+{\beta }_2{z}^2+\dots =\sum _{n⩾0}{\beta }_n{z}^n$

en la que la razón de coeficientes sucesivos es una función racional de n. Eso es,

$\frac{{\beta }_{n+1}}{{\beta }_n}=\frac{A(n)}{B(n)}$

donde A(n) y B(n) son polinomios de n.

Por ejemplo, en el caso de la serie para la función exponencial,

$1+\frac{z}{1!}+\frac{z^2}{2!}+\frac{z^3}{3!}+\cdots ,$

se tiene:

${\beta }_n=\frac{1}{n!},\frac{{\beta }_{n+1}}{{\beta }_n}=\frac{1}{n+1}.$

lo cual satisface la definición con Plantilla:Math y Plantilla:Math.

Es costumbre factorizar el término principal, así que β₀ se asume que tiene valor 1. Los polinomios se pueden factorizar en factores lineales de la forma (a_j + n) y (b_k + n) respectivamente, donde los a_j y b_k son números complejos.

Por razones históricas, se supone que (1 + n) es un factor de B. Si este no es ya el caso, tanto A como B pueden multiplicarse por este factor; el factor se cancela por lo que los términos no cambian y no hay pérdida de generalidad.

La razón entre coeficientes consecutivos ahora tiene la forma

$\frac{c(a_1+n)\cdots (a_p+n)}{d(b_1+n)\cdots (b_q+n)(1+n)}$,

donde c y d son los coeficientes principales deA yB. La serie entonces tiene la forma

$1+\frac{a_1\cdots a_p}{b_1\cdots b_q\cdot 1}\frac{cz}{d}+\frac{a_1\cdots a_p}{b_1\cdots b_q\cdot 1}\frac{(a_1+1)\cdots (a_p+1)}{(b_1+1)\cdots (b_q+1)\cdot 2}{\left(\frac{cz}{d}\right)}^2+\cdots$,

o, escalando z por el factor apropiado y reorganizando,

$1+\frac{a_1\cdots a_p}{b_1\cdots b_q}\frac{z}{1!}+\frac{a_1(a_1+1)\cdots a_p(a_p+1)}{b_1(b_1+1)\cdots b_q(b_q+1)}\frac{z^2}{2!}+\cdots$.

Esto tiene la forma de una función generadora exponencial. Esta serie generalmente se denota por

${}_p{F}_q(a_1,\dots ,a_p;b_1,\dots ,b_q;z)$

ó

${}_p{F}_q[\begin{array}{cccc}{a}_1& a_2& \cdots & a_p\\ b_1& b_2& \cdots & b_q\end{array};z].$

Usando el factorial ascendente o símbolo de Pochhammer

$\begin{array}{cc}(a{)}_0& =1,\\ (a{)}_n& =a(a+1)(a+2)\cdots (a+n-1),& & n\ge 1\end{array}$

que puede ser escrito como

${}_p{F}_q(a_1,\dots ,a_p;b_1,\dots ,b_q;z)=\sum _{n=0}^{\mathrm{\infty }}\frac{(a_1{)}_n\cdots (a_p{)}_n}{(b_1{)}_n\cdots (b_q{)}_n}\frac{z^n}{n!}.$

(Nótese que este uso del símbolo de Pochhammer no es estándar; sin embargo, es el uso estándar en este contexto).

Referencias

• Plantilla:Cite book
• Plantilla:Cite book
• Plantilla:Cite journal
• Plantilla:Cite journal
• Plantilla:Cite book
• Plantilla:Cite book (the first edition has Plantilla:Isbn)
• Plantilla:Cite journal (a reprint of this paper can be found in Carl Friedrich Gauss, Werke, p. 125)
• Plantilla:Citation

• Plantilla:Cite book (part 1 treats hypergeometric functions on Lie groups)
• Plantilla:Cite journal
• Plantilla:Cite journal
• Plantilla:Cite journal
• Plantilla:Cite journal
• Plantilla:Cite journal
• Plantilla:Cite journal
• Plantilla:Cite book (there is a 2008 paperback with Plantilla:Isbn)
• Plantilla:Cite book

Enlaces externos

• The book "A = B", this book is freely downloadable from the internet.
• MathWorld
  • Plantilla:MathWorld
  • Plantilla:MathWorld
  • Plantilla:MathWorld
  • Plantilla:MathWorld