Relación de Recurrencia Lineal
Def: Una serie (secuencia o sucesión) infinita de números a0 , a1 , a2 , … puede representarse
mediante una expresión recursiva llamada relación de recurrencia, donde cada término an depende
de uno o más términos precedentes an-1 , an-2 , … junto con uno o más valores iniciales a0 , a1 , …
Def: Una relación de recurrencia lineal general de orden 1 con coeficiente constante tiene la
forma an+1 + C an = f(n) , n≥0 donde C es una constante, siendo la función f:N→R. Si n N : f(n)=0
entonces dicha relación es además homogénea, en caso contrario es no homogénea.
Ej: La serie 5, 15, 45, … puede representarse como an+1 = 3 an , n≥0 , a0 = 5 (relación de recurrencia
lineal de orden 1 con coeficiente constante, homogénea)
Ej: A continuación se muestran varias relaciones de recurrencia con sus características
an+1 = 7 an-1 Lineal, Orden 2, Coeficientes constantes, Homogénea
an+1 = an-1 – an-2 Lineal, Orden 3, Coeficientes constantes, Homogénea
an = 5 an-1 + 1 Lineal, Orden 1, Coeficiente constante, No homogénea
an - an-1 = 2 n Lineal, Orden 1, Coeficiente constante, No homogénea
an+1 = n an Lineal, Orden 1, Coeficiente variable
2
an = (an-1) No lineal
Teorema: Sea una relación de recurrencia lineal homogénea de orden 1 con la forma
an+1 = C an (donde n≥0 , C constante) su solución única es an = a0 Cn (para n≥0)
Ej: an = 5 3n (para n≥0) es la solución de la relación de recurrencia an+1 = 3 an (para n≥0 , a0 = 5)
Def: Una relación de recurrencia lineal homogénea de orden K con coeficientes constantes
tiene la siguiente forma general
an = C1 an-1 + C2 an-2 + … + CK an-K (para n≥K , con CK 0, K=1,2,…) (1)
Substituyendo en (1) an = C rn (con C 0, r 0) se obtiene la siguiente expresión
rn = C1 C rn-1 + C2 C rn-2 + … CK C rn-K (para n≥K , con CK 0, K=1,2,…) (2)
Dividiendo entre C rn-K para luego restar el lado derecho a ambos lados de (2), se obtiene el
siguiente polinomio característico, cuyas raíces son las raíces características
rK - C1 rK-1 - C2 rK-2 - … - CK-1 r - CK = 0 (con CK 0, K=1,2,…) (3)
De modo que an = C rn es una solución de (1) si y sólo si r es una raíz característica de (3)
Caso particular: K=2
Una relación de recurrencia lineal homogénea de orden 2 con coeficientes constantes tiene la
siguiente forma an = C1 an-1 + C2 an-2 (para n≥2 , con C2 0) siendo su polinomio característico
r2 - C1 r - C2 = 0 cuyas raíces características r1, r2 pueden ser:
Reales r1 r2 , si (C1)2 + 4 C2 > 0
Real única r = r1 = r2 , si (C1)2 + 4 C2 = 0
Complejas , si (C1)2 + 4 C2 < 0
Teorema: Si una relación de recurrencia lineal homogénea de orden 2 con coeficientes constantes
de forma an = C1 an-1 + C2 an-2 (para n≥2 , con C2 0) cuyo polinomio característico r2 - C1 r - C2 = 0
tiene raíces características reales r1 r2 , entonces
an = α1 (r1)n + α2 (r2)n (para n≥0 , con α1,α2 constantes) es solución de dicha relación de recurrencia.
Ej: Para resolver la relación de recurrencia an = an-1 + 2 an-2 (para n≥2 , con a0 = 2 , a1 = 7)
se tiene que su polinomio característico: r2 - r - 2 = 0 tiene raíces características r1 = 2 , r2 = -1
de modo que (según teorema anterior) debe cumplirse: an = α1 (r1)n + α2 (r2)n (con n≥0 , α1,α2 cttes.)
para n=0 : a0 = α1 (r1)0 + α2 (r2)0 → 2 = α1 20 + α2 (-1)0 → α1 + α2 = 2
para n=1 : a1 = α1 (r1)1 + α2 (r2)1 → 7 = α1 21 + α2 (-1)1 → 2 α1 - α2 = 7
de donde resulta: α1 = 3 , α2 = -1 , para finalmente tener la solución: an = 3 2n - (-1)n (con n≥0)
Teorema: Si una relación de recurrencia lineal homogénea de orden 2 con coeficientes constantes
de forma an = C1 an-1 + C2 an-2 (para n≥2 , con C2 0) cuyo polinomio característico r2 - C1 r - C2 = 0
tiene única raíz característica real r , entonces
an = α1 rn + α2 n rn (para n≥0 , con α1,α2 constantes) es solución de dicha relación de recurrencia.
Ej: Para resolver la relación de recurrencia an = 6 an-1 - 9 an-2 (para n≥2 , con a0 = 1 , a1 = 6)
se tiene que su polinomio característico: r2 - 6 r + 9 = 0 tiene raíz característica única r = 3
de modo que (según teorema anterior) debe cumplirse: an = α1 rn + α2 n rn (con n≥0 , α1,α2 cttes.)
para n=0 : a0 = α1 r0 + α2 0 r0 → 1 = α1 30 + α2 0 30 → α1 = 1
para n=1 : a1 = α1 r1 + α2 1 r1 → 6 = α1 31 + α2 1 31 → 3 α1 + 3 α2 = 6
de donde resulta: α1 = 1 , α2 = 1 , para finalmente tener la solución: an = 3n + n 3n (con n≥0)
Tarea: Sea an = “Cantidad de secuencias de n bits sin 0’s consecutivos” (para n≥1) plantear y
resolver la correspondiente relación de recurrencia, con valores iniciales a1=1, a2=3, a3=4, a4=7,…