Recurrencias lineales: la ecuación característica y la fórmula de Binet
Una recurrencia lineal de coeficientes constantes de orden expresa cada término como combinación lineal fija de los anteriores: Con valores iniciales la sucesión queda determinada. El ejemplo más conocido es la sucesión de Fibonacci, con y , que da Calcular término a término es sencillo, pero una fórmula cerrada da directamente y muestra cómo crece la sucesión. Este artículo explica cómo obtenerla.
La ecuación característica. Se prueba una solución de la forma , con . Desplazar el índice multiplica por , así que la recurrencia de Fibonacci se convierte en y, al dividir entre , en la ecuación característica Sus raíces son , el número áureo, y . Es la misma idea que en las ecuaciones diferenciales lineales, donde se prueba porque derivar la multiplica por .
Superposición. Como la recurrencia es lineal, cualquier combinación lineal de soluciones es también solución. Con raíces distintas se obtienen soluciones independientes y la solución general es su combinación; para Fibonacci, Si una raíz es doble, aporta y : en la raíz doble da . Un par de raíces complejas aporta , que es real.
Las condiciones iniciales. Los valores iniciales fijan las constantes mediante un sistema lineal. Para Fibonacci, da y da ; como , resulta y . Es la fórmula de Binet: (La calculadora escribe en lugar de : es el mismo número, racionalizado.)
Lo que dice la fórmula. Una expresión con raíces irracionales da siempre números enteros. Como , el término tiende a y, en valor absoluto, es menor que : es el entero más próximo a , la sucesión crece geométricamente con razón y el cociente tiende al número áureo.
Otras vías. La misma fórmula se obtiene con la función generatriz : la recurrencia se convierte en la ecuación algebraica , y su descomposición en fracciones simples da los coeficientes. También con la potencia de una matriz, porque y esa potencia se calcula diagonalizando. Cuando la recurrencia tiene término independiente, la solución es la general de la homogénea más una particular, como en las ecuaciones diferenciales lineales.
Con la calculadora. La calculadora de recurrencias plantea la ecuación característica, construye la solución raíz a raíz, fija las constantes con los valores iniciales y ofrece la vía de la función generatriz. Pueden probarse a(n+2)=a(n+1)+a(n), a(0)=0, a(1)=1, a(n+2)-2*a(n+1)+a(n)=0 o a(n+1)=2*a(n)+1, a(0)=0.