Académique Documents
Professionnel Documents
Culture Documents
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:
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 :
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:
como dividiendo:
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:
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:
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
) (
A 1 y A2
( 12 5 )+ A ( 1+25 )
F2 =A 1
1 5
1+ 5
+ A2
2
2
) (
1
5
((
15
1+ 5
2
2
) (
))
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
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:
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:
)? Se ve claramente que
d +
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.