Recurrencia fn+2=afn+1+bfnfn+2=afn+1+bfnf_{n+2}=af_{n+1}+bf_n

Resuelve la recurrencia

(1) F norte + 2 = a F norte + 1 + b F norte norte norte 0
Dónde a , b > 0 y F 0 , F 1 son dados.

yo se que si

F norte + 1 = C norte F norte + d norte
entonces
F norte = F 0 k = 0 norte 1 C k + metro = 0 norte 1 d metro k = metro + 1 norte 1 C k   .
Pero no estoy seguro de cómo encontrar una solución a la recurrencia en cuestión. Estoy bastante seguro de que existe una forma cerrada, porque la sucesión de Fibonacci F norte (que viene dada por el caso a = b = F 1 = 1 y F 0 = 0 ) tiene una solución explícita, a saber
F norte = φ norte ψ norte 5
dónde
φ = 1 + 5 2 , ψ = 1 5 2 .
Es cierto que no sé cómo probar dicho resultado, pero estoy seguro de que hay algún tipo de generalización de la prueba para resolver mi recurrencia.

He definido la función generadora

F ( X ) = norte 0 F norte X norte
y demostrado que
F ( X ) = F 0 + ( F 1 a F 0 ) X 1 a X b X 2   .
Asi que por su puesto
F norte = 1 norte ! ( X ) norte F 0 + ( F 1 a F 0 ) X 1 a X b X 2 | X = 0
pero eso es demasiado ineficiente. ¿Hay una buena solución de forma cerrada para ( 1 ) ? Gracias.

El método habitual es estudiar el polinomio característico . Como esto es cuadrático en su caso, puede resolverlo todo de manera bastante explícita.
@lulu, ¿podría mostrarme cómo (en una respuesta)?
Adjunto un enlace que funciona todo. Ese enlace usa la recursividad de Fibonacci como un ejemplo concreto.
Relacionado, la forma más eficiente de calcular el norte -ésimo número de Fibonacci (o en general el norte -th término de cualquier relación de recurrencia no trivial) es usar la forma matricial y el cuadrado iterado , en lugar de la forma cerrada, porque la exponenciación de irracionales con precisión arbitraria es en realidad muy costosa desde el punto de vista computacional.

Respuestas (1)

Empiezas por encontrar dos sucesiones geométricas que resuelvan

(A.) X norte + 2 = a X norte + 1 + b X norte

Resolviendo para X , obtenemos

X norte + 2 = a X norte + 1 + b X norte X 2 = a X + b X 2 a X b = 0 X = a ± a 2 + 4 b 2

A partir de aquí, debemos suponer que a 2 + 4 b 0 .

Entonces F norte = α ( a + a 2 + 4 b 2 ) norte + β ( a a 2 + 4 b 2 ) norte

resolverá F norte + 2 = a F norte + 1 + b F norte para todos norte 0 .

Todavía tenemos que resolver F 0 = α + β y F 1 = α ( a + a 2 + 4 b 2 ) + β ( a a 2 + 4 b 2 ) para α y β , pero eso es relativamente trivial.