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
Ahora suponemos que queremos considerar
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