Función hiperxeométrica

En matemáticas, a función hiperxeométrica gaussiana ou ordinaria 2F1 (a,b; c; z) é unha función especial representada pola serie hiperxeométrica, que inclúe moitas outras funcións especiais como casos específicos. É unha solución dunha ecuación diferencial ordinaria linear de segunda orde (EDO). Cada EDO linear de segunda orde con tres puntos singulares regulares pódese transformar nesta ecuación..

 Serie hiperxeométrica 
A función hiperxeométrica está definida para  pola serie de potencias

Está  indefinida (ou é infinita) se  é igual a un enteiro non positivo. Aquí  é o símbolo de Pochhammer ( ascendente),  que se define por:

A serie remata se  ou  é un número enteiro non positivo, nese caso a función redúcese a un polinomio:

Para argumentos complexos  con  pódese continuar analiticamente por calquera camiño do plano complexo que evite os puntos de ramificación 1 e infinito. Na práctica, a maioría das implementacións informáticas da función hiperxeométrica adoptan un corte de rama ao longo da liña .

Cando , onde  é un número enteiro non negativo, temos . Dividindo polo valor  da función gamma, temos o límite:

 é o tipo máis común das series hiperxeométricas xeneralizadas , e ás veces denótase simplemente como .

 Casos especiais 
Moitas das funcións matemáticas comúns pódense expresar en termos da función hiperxeométrica, ou como casos límites desta. Algúns exemplos típicos son

Cando a = 1 e b = c, a serie redúcese a unha serie xeométrica simple, é dicir

de aí, o nome hiperxeométrico. Esta función pódese considerar como unha xeneralización da serie xeométrica.

A función hiperxeométrica confluente (ou función de Kummer) pódese dar como límite da función hiperxeométrica

polo que todas as funcións que son esencialmente casos especiais dela, como as funcións de Bessel, poden expresarse como límites de funcións hiperxeométricas. Estes inclúen a maioría das funcións de uso común da física matemática.

 Ecuación diferencial hiperxeométrica 
A función hiperxeométrica é unha solución da ecuación diferencial hiperxeométrica de Euler

que ten tres puntos singulares regulares: 0,1 e ∞. A xeneralización desta ecuación a tres puntos singulares regulares arbitrarios vén dada pola ecuación diferencial de Riemann. Calquera ecuación diferencial linear de segunda orde con tres puntos singulares regulares pódese converter á ecuación diferencial hiperxeométrica mediante un cambio de variables.

 Fórmulas integrais 

 Tipo Euler 
Se B é a función beta, entón

sempre que z non sexa un número real maior ou igual a 1. Isto pódese demostrar expandindo (1 − zx )−a utilizando o teorema binomial e logo integrando termo por termo para z cun valor absoluto menor que 1, e por continuación analítica. Cando z é un número real maior ou igual a 1, debe utilizarse a continuación analítica, porque (1 − zx ) é cero nalgún punto do soporte da integral, polo que o valor da integral pode estar mal definido. Isto foi dado por Euler en 1748 e implica as transformacións hiperxeométricas de Euler e Pfaff.

 Integral de Barnes 
Barnes utilizou a teoría dos residuos para avaliar a integral de Barnes

como

onde se debuxa o contorno para separar os polos 0, 1, 2... dos polos −a, −a−1, ... , - b, - b−1, ... . Isto é válido sempre que z non sexa un número real non negativo.

 Fracción continua de Gauss 
Gauss utilizou as fraccións continuas para dar varias formas de escribir un cociente de dúas funcións hiperxeométricas como unha fracción continua, por exemplo:

 Notas  

 Véxase tamén 

 Bibliografía 
 Paul Appell et Joseph Kampé de Fériet, Fonctions hypergéométriques et hypersphériques, Gauthier-Villars, Paris, 1926
 Daniel Duverney, Introduction aux fonctions hypergéométriques, Ellipses, 2020
Édouard Goursat, Leçons sur les séries hypergéométriques et sur quelques fonctions qui s'y rattachent, coll. « Actualités scientifiques et industrielles » (n° 333), Hermann, 1936
 R. Groux et P. Soulat, Les fonctions spéciales vues par les problèmes, Éditions Cépaduès, 2009
 Alfred Pringsheim et Georg Faber, « Séries hypergéométriques », dans Jules Molk (éd.), Encyclopédie des sciences mathématiques pures et appliquées, , vol. 2, Gauthier-Villars, 1911 (Fonctions de variables complexes, )
 Outros artigos 
Distribución hiperxeométrica
Ecuación diferencial de Riemann
Serie hiperxeométrica xeneralizada

 Ligazóns externas 

 John Pearson, Computation of Hypergeometric Functions (University of Oxford, MSc Thesis)
 Marko Petkovsek, Herbert Wilf and Doron Zeilberger, The book "A = B" 


Categoría:Análise complexa
Categoría:Serie matemática
Categoría:Wikipedia:Páxinas con traducións non revisadas