Tema 3

Relaciones de recurrencia
3.1 Relaciones de recurrencia

Denicin 3.1.1. Una relacin de recurrencia para una sucesin {a0 , a1 , a2 , a3 , . . . } es una o o o los trminos que le preceden. Los valores de los trminos necesarios para empezar a calcular e e recurrencia si su trmino general verica dicha relacin. e o

frmula que expresa cada trmino an , a partir de cierto n0 N, en funcin de uno o ms de o e o a se llaman condiciones iniciales. Se dice que una sucesin es una solucin de la relacin de o o o

Ejemplo 3.1.2. Ejemplos particulares de relaciones de recurrencia son las de las forma an = an1 + d (progresin aritmtica), an = ran1 (progresin geomtrica). Sus soluciones son, o e o e respectivamente, an = a0 + dn y an = ao rn . Por otra parte uno de los ejemplos ms estudiados es la sucesin de Fibonacci que viene a o dada por a0 = a1 = 1 y an = an1 + an2 para todo n 2.

3.2

Relaciones de recurrencia lineales homogneas e

Si an = c1 an1 + c2 an2 + cm anm , para n m, se dice que la relacin de recurrencia es o lineal homognea de orden m. e Denicin 3.2.1. Llamaremos ecuacin caracter o o stica de la relacin de recurrencia o an = c1 an1 + c2 an2 a la ecuacin r2 c1 r c2 = 0. A sus ra o ces se les llama ra ces caracter sticas. Teorema 3.2.2. Dada la relacin de recurrencia an = c1 an1 + c2 an2 con c1 = 0 = c2 , se o verica i) es ra caracter z stica si y solo si an = n es solucin de la relacin de recurrencia, o o ii) si es ra doble de la ecuacin caracter z o stica, entonces an = nn es solucin de la o relacin de recurrencia, o iii) si T y S son soluciones de la relacin de recurrencia, entonces S + T y kS tambin lo o e son, para todo k R. 19

20

Relaciones de recurrencia

Teorema 3.2.3. Dada la relacin de recurrencia an = c1 an1 + c2 an2 con c1 = 0 = c2 : o i) Si la ecuacin x2 c1 x c2 = 0 tiene dos soluciones reales distintas y se tiene que o an = C1 n + C2 n . ii Si la ecuacin x2 c1 x c2 = 0 tiene una solucin real doble se tiene que an = o o (C1 + C2 n)n . C1 y C2 se determinan a partir de las condiciones iniciales a0 y a1 . Ejemplo 3.2.4. Para la sucesin de Fibonacci, aplicando el teorema anterior se obtiene que o n n 1+ 5 1 5 1 1 . an = 2 2 5 5 Observacin 3.2.5. Todo lo anterior es generalizable a relaciones de recurrencia del tipo o an = c1 an1 + c2 an2 + ck ank .

3.3

Relaciones de recurrencia lineales no homogneas e

Si an = c1 an1 +c2 an2 +cm anm +g(n), para n m, se dice que la relacin de recurrencia o es lineal no homognea de orden m. A la relacin an = c1 an1 +c2 an2 +cm anm , resultante e o de eliminar g(n) se le llama relacin de recurrencia lineal homognea asociada. o e

Proposicin 3.3.1. Si T y S son soluciones de la relacin de recurrencia lineal no homognea, o o e entonces S T es solucin de la relacin de recurrencia lineal homognea asociada. o o e Observacin 3.3.2. Pasos para resolver una relacin de recurrencia lineal no homognea: o o e Se obtiene la solucin general de la ecuacin homognea asociada. o o e Se obtiene una solucin particular de la relacin de recurrencia no homognea. o o e La suma de la solucin general de la ecuacin lineal homognea asociada y de una solucin o o e o particular de la relacin de recurrencia lineal no homognea nos da la solucin general o e o de la relacin de recurrencia lineal no homognea. o e La solucin espec o ca se obtiene a partir de las condiciones iniciales. Observacin 3.3.3. Una solucin particular (xn ) de la relacin de recurrencia lineal no hoo o o mognea se puede encontrar en algunos casos especiales. e Si g(n) = Pk (n) (polinomio de grado k), entonces xn = Qk (n) (polinomio de grado k), excepto si 1 es ra caracter z stica con multiplicidad s, en cuyo caso xn = ns Qk (n). Si g(n) = pan , p R, entonces xn = qan , q R, excepto si a es ra caracter z stica con multiplicidad s, en cuyo caso xn = qns an . Si g(n) = an Pk (n), entonces xn = an Qk (n), excepto si a es ra caracter z stica con multiplicidad s, en cuyo caso xn = ns an Qk (n).