Relacin de recurrencia

Definicin
Una ecuacin recurrente es un tipo especfico de relacin de recurrencia. Una relacin
de recurrencia para la sucesin
es una ecuacin que relaciona
con
alguno de sus predecesores
.
Las condiciones iniciales para la sucesin
son valores dados en forma
explcita para un nmero finito de trminos de la sucesin.
Resolver una relacin de recurrencia consiste en determinar una frmula explcita
(cerrada) para el trmino general , es decir una funcin no recursiva de n.
Hay dos mtodos para resolver relaciones recurrentes : iteracin y un mtodo especial
que se aplica a las relaciones de recurrencia lineales homogneas con coeficientes
constantes.
Un ejemplo de una relacin de recurrencia es el siguiente:

Algunas definiciones de recurrencia pueden tener relaciones muy

complejas(caticas) y sus comportamientos, a veces son estudiados por los fsicos
y matemticos en un campo de las matemticas conocido como anlisis no lineal.
Resolucin:
Iteracin
Para resolver una relacin de recurrencia asociada a la sucesin:
por
iteracin, utilizamos la relacin de recurrencia para escribir el n-simo trmino
en
trminos de algunos de sus predecesores. Luego utilizamos de manera sucesiva la
relacin de recurrencia para reemplazar cada uno de los trminos por algunos de sus
predecesores. Continuamos hasta llegar a alguno de los casos base.

Recurrencias Lineales
Una relacin de recurrencia es lineal de grado k si tiene la siguiente estructura:

siendo
funciones reales de , y
una funcin de n.
El adjetivo lineal indica que cada trmino de la secuencia est definido como una
funcin lineal de sus trminos anteriores. El orden de una relacin de recurrencia
lineal es el nmero de trminos anteriores exigidos por la definicin.
En la relacin
el orden es dos, porque debe haber al menos dos
trminos anteriores (ya sean usados o no).
Ejemplos :

Ecuacin de Recurrencia lineal homognea con coeficientes constantes

Se llama ecuacin de recurrencia lineal homognea de grado k, con coeficientes
constantes, a una expresin del tipo:

Para poder encontrar una solucin, hacen falta unas condiciones de contorno
o iniciales
, siendo k el grado de la ecuacin.
La recurrencia lineal, junto con las condiciones iniciales
, determinan la
secuencia nica.
Sea la ecuacin de recurrencia lineal homognea de orden k anterior, se denomina
ecuacin caracterstica a la ecuacin de grado k:

La generacin de la funcin racional

Las secuencias lineales recursiva son precisamente las secuencias cuya funcin de
generacin es una funcin racional: el denominador es el polinomio auxiliar (a una
transformacin), y el numerador se obtiene con los valores iniciales.
El caso ms sencillo son las secuencias peridicas,an = an d, nd que tienen
secuencia
y funcin de generacin una suma de una serie
geomtrica:

Ms general, dada la relacin de recurrencia:

con funcin de generacin

la serie es aniquilada por ad y anteriormente por el polinomio:

Eso es, multiplicando la funcin de generacin por el polinomio

como el coeficiente en xn, que desaparece (por la relacin de recurrencia) para n d.

As:

como dividiendo:

expresando la funcin de generacin como una funcin racional. El denominador

es xdp(1 / x), una transformacin del polinomio auxiliar (equivalente, invirtiendo el
orden de los coeficientes); tambin se puede usar cualquier mltiplo de esta, pero esta
normalizacin es elegida por ambas porque la relacin simple del polinomio auxiliar, y
de ese modo b0 = a0.
Relacin con la diferencia de ecuaciones
Dada una secuencia
como

de nmeros reales: la primera diferencia

La segunda diferencia
que se puede simplificar a

se define como

se define

,
. Ms general: la diferencia

se

define como
A diferencia de la ecuacin es una ecuacin compuesta por an y sus diferencias. Cada
relacin de recurrencia puede ser formulada como una ecuacin de diferencia. Por el
contrario, cada ecuacin de diferencia puede ser formulada como una relacin de
recurrencia. Algunos autores as utilizan los dos trminos intercambiables. Por ejemplo,
la ecuacin de la diferencia:

es equivalente a la relacin de recurrencia:

De este modo se puede resolver relaciones de recurrencia por la reiteracin como

ecuaciones diferencia, y luego la solucin de la ecuacin de diferencia, anlogamente
como una solucin de ecuaciones diferenciales ordinarias.
Ver escala de tiempo de clculo para la unificacin de la teora de las ecuaciones de
diferencia con la de las ecuaciones diferenciales.
Resolucin
Sean

Una ecuacin de recurrencia lineal homognea,

su
ecuacin caracterstica y,
las races de la ecuacin caracterstica con
multiplicidades
respectivamente. La solucin de esta ecuacin
sera:
Con

el polinomio de grado menor o igual que

coeficientes de los polinomios

ecuacin de recurrencia.

. Para poder calcular los

, necesitamos saber las condiciones iniciales de la

En resumen:
Resolucin de ecuaciones homogneas de primer grado, segundo orden:
a) Se pasan al primer miembro los trminos an, an 1, an 2, los cuales tambin podran
figurar como an + 2, an + 1, an
b) Se reemplaza an por r2, an 1 por r y an 2 por 1, quedando una ecuacin de segundo
grado con races reales y distintas r1 y r2.
c) Se plantea
d) Debemos tener como dato los valores de los dos primeros trminos de la
sucesin:

. Utilizando estos datos ordenamos el sistema de 2x2:

La resolucin de este sistema nos da como resultado los valores u0 y v0, que son
nmeros reales conocidos.
e) La solucin general es:
n

an =u0 r 1 + v 0 r 2

Ejemplo: Nmeros de Fibonacci

Los nmeros de Fibonacci estn definidos usando la siguiente relacin de recurrencia
lineal:
Fn =Fn1 + F n2
con los valores inciales:
F1=1, F 2=1, .
La secuencia de nmeros de Fibonacci comienza: 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89,
El objetivo de la resolucin de la ecuacin de recurrencia encontrar una forma cerrada
para calcular los nmeros de Fibonacci.

La ecuacin caracterstica es la siguiente:

2
x x1=0
Cuyas soluciones son:
1 5
1+ 5
x 1 = y x 2=
2
2
Por lo tanto la solucin general es:
F ( n ) =A 1 (x 1 )n+ A 2 ( x 2 )n
Sustituyendo los valores que tenemos se tiene que:
n
n
1 5
1+ 5
Fn =A 1
+ A2
2
2

) (

A 1 y A2

Para encontrar los valores de

F1= A 1

( 12 5 )+ A ( 1+25 )

F2 =A 1

1 5
1+ 5
+ A2
2
2

resolvemos las siguientes ecuaciones:

) (

Es decir resolvemos el sistema:

( 125 )+ A ( 1+25 )=1

1 5
1+ 5
A(
+ A ( ) =1
2 )
2
A1

Al resolverlo tenemos las siguientes soluciones;

1
1
A 1=
y A 2=
5
5
Por lo tanto la forma cerrada para la sucesin de Fibonacci es;
Fn =

1
5

((

15
1+ 5

2
2

) (

))

Ecuacin de Recurrencia lineal no homognea con coeficientes constantes

Recibe el nombre de ecuacin de recurrencia lineal no homognea de grado k, con
coeficientes
constantes,
una
expresin
del
tipo:

Resolucin
La solucin general sera:
de
recurrencia
lineal
ecuacin:

, donde
es la solucin de la ecuacin
homognea
asociada
es
decir
la
y

donde
es la solucin particular que depende de la funcin F(n). Por lo tanto los
pasos a seguir seran, primero calcular la solucin de la ecuacin homognea, calcular
una solucin particular para F(n) y sumarla a la homognea, y a continuacin aplicar las
condiciones iniciales para calcular las constantes. En la siguiente tabla, encontramos
cuales son las posibles soluciones particulares:

F(n)

C, constante

C0, constante

C0 + C1n

n2

C0 + C1n + C2n2

C0rn

ntrn

rn(C0 + C1n + C2n2)

C0sen(An) + C1cos(An)

C0sen(An) + C1cos(An)

C0rnsen(An) + C1rncos(An)

C0rnsen(An) + C1rncos(An)

Consideraciones:
1.- Si F(n) es una combinacin lineal de algunas de las funciones de la tabla anterior, su
solucin particular es la combinacin lineal de las soluciones particulares de esas
mismas funciones.

2.- Si uno de los sumandos de F(n) es el producto de una constante por una solucin de
la ecuacin caracterstica homognea asociada, entonces es necesario multiplicar la
solucin particular correspondiente a este sumando por la menor potencia de n, n tal
que este nuevo producto no sea solucin de la ecuacin caracterstica homognea
asociada.
Ejemplo: Torres de Hani
La ecuacin de recurrencia asociada con el problema de las Torres de Hani es la
siguiente:

Con las condiciones iniciales:

Se resuelve la siguiente homognea:

La ecuacin caracterstica es: x 2 = 0, entonces x = 2

Entonces :
A continuacin, se resuelve la ecuacin particular:
, entonces
B = 1.
, entonces igualando con las condiciones iniciales la solucin
es :
Recurrencias No lineales
Para resolver recurrencias no lineales tenemos muchas opciones de las cuales:

Buscar transformaciones o cambios de variables que hagan la recurrencia lineal.

Para el caso
el Teorema Maestro.

, hay un teorema muy til que es

El Teorema maestro es un mtodo matemtico que se usa para resolver ciertos casos
particulares de ecuaciones de recurrencia como la siguiente:
Consideremos una funcin t(n) que no sea decreciente:

con constantes a 1 y b 2. Obtenemos

Nota: (orden exacto), O (orden superior), (orden inferior), segn la notacin de

Landau.
Ejemplos de casos no vlidos para el Teorema maestro

Esta no es vlida porque a = 2n no es constante.

En esta a = 0.5 no cumple la condicin a1.

Ejemplo de resolucin
Veamos ahora un ejemplo de resolucin de una recurrencia no lineal:

Utilizando el teorema maestro:

1.) Obtenemos a=2, b=2, d = log22 =1 y f (n) = 0.
2.) Probamos la primera sentencia del teorema maestro:
d +

Existe > 0 tal que f (n) O[orden superior]( n

)? Se ve claramente que

d +

para > 0 es 0 igual que f (n).

Ya sabemos que la solucin del orden exacto de nd = n1 = n.
Ahora vamos a ver que ninguna de las otras sentencias puede ser verdadera:

La 2 sentencia no puede ser porque no existe ningn valor de k para el cual

(ndlogkn)=0
d +
La 3 sentencia no puede ser porque n
para d = 1, ya es mayor que 0.

Ahora resolvamos la recurrencia (el resultado debe ser de orden n, como ya hemos
calculado):

t (n) = 2t(n/2)
m = log22
2m = n
>>1.Sustituimos n en la ecuacin recurrente:
t(2m) = 2t(2m/2)
-> t(2m) = 2t(2m 1)
s (m) = t(2m)
>>2.Sustituimos t(2m) por s (m) y t(2m 1) por s (m-1)
s (m) = 2s (m-1)
>>Resolvemos esta ecuacin recurrente
r - 2 = 0 -> r = 2
s (m) = z2m
>>Deshacemos el cambio 2:
t(2m) = 2(z2m 1)
-> t(2m) = z2m
>>Deshacemos el cambio 1:
t (n) = zn
Nota: z la calcularamos con el caso base de la recurrencia inicial.
Observamos que t (n) = zn es de orden n tal como habamos calculado con el teorema
maestro.