Funciones discretas holonómicas

Funciones discretas holonómicas
Facebook Twitter Flipboard E-mail

Una función discreta F(m1,..., mn) se dice holonómica si satisface una relación de recurrencia lineal homogénea con coeficientes polinómicos. Un teorema asombroso de Stafford afirma que todas las funciones holonómicas pueden escribirse en términos de solo dos ecuaciones generadoras. En la práctica, sin embargo, normalmente usamos n ecuaciones, una para cada una de las variables, que son satisfechas por F. Pueden tener la forma

Podemos reescribirlaa como

Holonómica

Ahora suponemos que queremos considerar

Holonómica

Eliminando mm de n operadores P(i), i = 1,..., n, y siendo Emn = I como antes, podemos obtener n-1 operadores Q(i)(Emn, m1,..., mn-1), i = 1,...,n-1, que eliminan a. Por lo tanto a es holonómica en todas sus variables. Continuando, podemos ver que sumando una función holonómica con algun subconjunto de sus variables resulta una función holonómica.

Referencias | Wikipedia Referencias | M.Petkovšek, H.Wilf, A=B, 1997

Comentarios cerrados
Inicio