Sucesiones Recursivas Lineales

Una sucesin se llama recursiva lineal si existe un k IN y una transformacin lineal o o e o e : Ck C tal que cada trmino de la sucesin es obtenido aplicando a los k trminos anteriores.

a0 = c0 . . . . . . ak1 = ck1 an = b1 an1 + . . . + bk ank

nk

(1)

Ej: los nmeros de Fibonacci u

a0

Es una sucesin que est perfectamente denida, es decir, dado n IN puedo calcular an , o a pero para eso tengo que calcular todos los trminos anteriores. e Lo que queremos entonces es una frmula cerrada, que dependa de n. Por ejemplo, para o saber si es polinomial o exponencial. Las sucesiones que verican la ecuacin de recurrencia (sin las condiciones iniciales) forman o un espacio vectorial. Es decir: 1. S1 = {an }nIN y S2 = {bn }nIN son solucin de (1), entonces S3 = {an + bn }nIN es o solucin de (1). o 2. S1 = {an }nIN es solucin de (1), C, entonces S2 = {an }nIN es solucin de (1). o o Hay innitas soluciones, una para cada k-upla de valores iniciales, y la dimensin del espacio o vectorial de soluciones es k. Entonces, si uno encuentra una base S1 = {a1 }nIN , . . . , Sk = n o {ak }nIN de soluciones de la ecuacin (1), queda nalmente un sistema de ecuaciones lineales n 1 a1 0 1 a1 k1 + + 2 a2 0 .. 2 a2 k1 que tiene solucin unica 1 , . . . , k . o Ahora, cmo encontramos una base de soluciones? o Vamos a empezar buscando soluciones del tipo an = n . Entonces debe vericar n = b1 n1 + . . . + bk nk para n k. Como no nos interesa la solucin trivial idnticamente o e nk . Tenemos entonces: nula, podemos suponer = 0 y dividir por k b1 k1 b2 k2 . . . bk = 0 . + ... + k ak 0 = c0 . = . .

1 a n

= 1 = 1 = an1 + an2

n2

+ . . . + k ak k1 = ck1

Algoritmos y Estructuras de Datos III

Cuando las ra ces de ese polinomio son simples, 1 , . . . , k , una base de soluciones es k n n }, . . . , {n }. Entonces toda solucin S va a tener la forma a = {1 o n j=1 j j , donde k cada j es una constante. Cuando las ra de ese polinomio no son simples, 1 , . . . , r , con multiplicidades m1 , . . . , mr ces respectivamente, una base de soluciones es {n }, {nn }, . . . , {nm1 1 n }, . . . , {n }, . . . , r 1 1 1 {nmr 1 n }. Entonces toda solucin S va a tener la forma an = r Pj (n)n , donde o r j=1 j cada Pj es un polinomio nulo o de grado a lo sumo mj .

Ejemplo 1 (Fibonacci)
a0

El polinomio queda 2 1 = 0, y las ra ces son S1 : an = 1+ 5 2

n

= 1 a1 = 1 a n = an1 + an2

1 5 2 .

n2 Una base de soluciones es 1 5 2

n

, S2 : an =

La solucin general es de la forma 1 S1 + 2 S2 , y el sistema queda: o + 2 = 1 1+ 5 1 5 1 ( 2 ) + 2 ( 2 ) = 1 1 = 1+ 55 y 2 = 1 55 . Entonces 2 2 1 1+ 5 2

n+1

y resolviendo se obtiene sucesin de Fibonacci es o

la frmula cerrada para la o

n+1

1 an = 5

1 5

1 5 2

como el trmino negativo tiende a cero, y la otra ra es mayor que 1, la sucesin crece en e z o forma exponencial. Ejemplo 2
a0

El polinomio queda 2 2 + 1 = 0, o sea, ( 1)2 = 0, tiene al 1 como ra doble. Una z n = 1, S : a = n.1n = n. El sistema queda: base de soluciones es entonces S1 : an = 1 2 n 1 = 1 1 + 2 = 4 y resolviendo se obtiene 1 = 1 y 2 = 3. Entonces la frmula cerrada es an = 3n + 1, la o sucesin crece en forma lineal. o

1 a n

= 1 = 4 = 2an1 an2

n1