6. ECUACIONES DE RECURRENCIA.

6.1. Introduccin.
Las relaciones de recurrencia pueden considerarse como tcnicas avanzadas
de conteo. Resuelven problemas cuya solucin no puede obtenerse usando
variaciones, permutaciones, combinaciones o con las tcnicas derivadas del
principio de inclusin-exclusin.





Recordemos que una sucesin es una funcin f: A. Para indicar la imagen
en el conjunto A de n, esto es f(n), se emplea el smbolo an.
Una

sucesin suele denotarse por a0,a1,a2,a3,..., por {an:n }, por

{an}n o por {an}. A los elementos a0,a1,a2... se les llama trminos de la
sucesin, de an se dice que es el trmino general.
Para introducir la teora de las relaciones de recurrencia, tomemos como
ejemplo la conocida sucesin de Fibonacci 1,1,2,3,5,8,13,... donde cada
trmino, a partir del tercero, se obtiene sumando los dos anteriores, esto es:
an=an-1+an-2
si n3,
Una expresin de este tipo, en la que el trmino general de la sucesin se
escribe en funcin de algunos otros trminos anteriores, recibe los nombres de
relacin de recurrencia, ecuacin de recurrencia o ecuacin en diferencias.
La relacin de recurrencia no determina de manera nica la sucesin. Para
ello es necesario conocer algunos trminos de la sucesin, lo que llamaremos
condiciones iniciales o condiciones frontera. En el caso anterior a1=1 y a2=1.
Ejemplo: Las sucesiones
1,2,4,8,16,...
3,6,12,24,48,...
satisfacen la misma relacin de recurrencia an=2an-1, si n1. La condicin
inicial a0=1 junto con esta relacin de recurrencia determinan de forma nica
la primera. El conjunto {an=2an-1 si n1, a0=3} define la segunda.
Si queremos obtener un trmino concreto de una sucesin dada en forma
recurrente debemos ir obteniendo todos los anteriores lo cual no parece muy
prctico, (cual es el valor a100 en la sucesin de Fibonacci?). Interesa pues,
determinar una expresin del tipo an=g(n) en la que el trmino general de la
133

sucesin dependa slo de la posicin que ocupa y no de trminos anteriores. A

una expresin de este tipo se llama solucin de la ecuacin de recurrencia.
Ejemplo 1. Para las siguientes ecuaciones de recurrencia la solucin se obtiene
de forma elemental.
1.1) Para an=3an-1 si n1, a0=5 se tiene
a0= 5,
a1= 3a0= 3x5,
a2= 3a1= 32x5,
y aplicando induccin se obtiene la sucesin solucin es
an= 3nx5
1.2) Sea an-an-1=(n-1) si n1 con a1=0. Despejando an=an-1+(n-1) se tiene
a1= 0,
a2= a1+1= 0+1,
a3= a2+2= 0+1+2,
...
an= 0+1+2+...+(n-1) =(n-1)n/2
1.3) an-nan-1=0 si n1, a0=1
a0= 1,
a1= 1.a0= 1,
a2= 2.a1= 2x1,
a3= 3.a2= 3x2x1,
...
an= nx(n-1)x...x3x2x1= n!
No nos ocuparemos de ecuaciones como esta ltima en la que el coeficiente
de an-1 es variable. Trataremos slamente de las ecuaciones recurrencia
lineales con coeficientes constantes que definimos a continuacin.
Definicin. Una ecuacin de recurrencia lineal de orden k con coeficientes
constantes es una relacin
cnan+cn-1an-1+...+cn-kan-k= bn, nk
(I)
donde cn,cn-1,...,cn-k son constantes con cn y cn-k0 y {bn}n es una sucesin
conocida. Diremos que (I) es homognea si bn=0.
Centraremos nuestra atencin en el clculo explcito de la solucin de
tales ecuaciones. El problema consiste en determinar la solucin {an}n en
134

forma cerrada, es decir expresar an como una funcin conocida de n. Si fijamos

condiciones iniciales, esto es valores para a0,a1,...,ak-1, la solucin de (I)
est unvocamente determinada.
En general encontrar la solucin de una ecuacin de recurrencia no es
fcil. Veamos cmo hacerlo para cierta familia de ecuaciones de recurrencia.

6.2. Ecuacin de recurrencia lineal homognea.

Antes de generalizar, comenzamos obteniendo la solucin de la ecuacin
homognea de primer y segundo orden.
La ecuacin de recurrencia homognea de orden 1
an= c.an-1 n1, c0
verifica an= can-1= c2an-2= c3an-3= ...= cna0.
Por tanto la solucin es de la forma an= .cn con , 0. El valor de viene
determinado por la condicin frontera.
La ecuacin de recurrencia homognea de orden 2 es
cnan + cn-1an-1 + cn-2an-2 = 0, n2
y su solucin general es de la forma
an= .s1n + .s2n
con , y donde {s1n} y {s2n} son dos sucesiones solucin independientes de
la ecuacin. (Dos sucesiones son independientes si una no es mltiplo escalar
de la otra). Si bien se puede demostrar que tales soluciones siempre existen,
nos centramos en la manera prctica de obtenerlas.
Donde buscar estas soluciones particulares?. La idea nos la da la
ecuacin de orden 1. Si probamos con una de la forma an=rn, siendo r0 (r=0
correspondera a la solucin trivial) se tiene,
cnrn + cn-1rn-1 + cn-2rn-2= 0
rn-2 (cnr2 + cn-1r + cn-2)= 0
y como r0, para que rn sea solucin debe ser raz del polinomio
P() =cn2 + cn-1 + cn-2
Al polinomio P() se le llama polinomio caracterstico de la ecuacin de
recurrencia y sus races determinan la forma de la solucin. As,
135

(a) si P() tiene sus dos races distintas r1 y r2 (ambas reales o ambas
n
n
complejas), entonces r1 y r2 son las soluciones independientes buscadas y la
solucin general es
an= .r1 +.r2
(b) si P() tiene una nica raz real r de multiplicidad 2, entonces claramente
n
la sucesin rn es una solucin y se puede probar (hgase) que nr es otra
solucin independiente de la anterior. Luego la solucin general es
n

an= .r +.nr
En ambos casos los valores de y se determinan utilizando las
condiciones frontera.
n

an + an-1 - 6an-2= 0, n2
Ejemplo 2. Resolvamos a =1, a =2
0
1


La ecuacin caracterstica r2+r-6=0 tiene dos races reales distintas que son 2
y -3, y por tanto la solucin general es
an= .2n+ .(-3)n
Para determinar y con las condiciones frontera para n=0 (a0=.20+.(-3)0=1)
y n=1 (a1=.21+.(-3)1=2) obtenemos el sistema

+=1
2-3=2

cuya solucin, =1 y =0, nos permite establecer que la solucin nica de la

ecuacin de recurrencia dada es an= 2n.

an - 6an-1 + 9an-2= 0, n2
Ejemplo 3. Resolvamos a =5, a =12
0
1


Polinomio caracterstico: r2-6r+9

Races: 3 (una raz doble)
Soluciones particulares: 3n y n3n
Solucin general: an=.3n+.n3n

Las condiciones frontera para n=0 y n=1 determinan el sistema

solucin es =5 y =-1.
Solucin de la ecuacin de recurrencia: an=5.3n- n3n
136

=5
3+3=12 cuya

Ejemplo 4. Resolvamos


an=2an-1-2an-2, n2
a0=1, a1=2

Polinomio caracterstico: r2-2r+2

Races: 1+i y 1-i (dos races distintas complejas)
Solucin general: En principio es de la forma
n
n
an=.(1+i) +.(1-i)
pero utilizando propiedades de los nmeros complejos se tiene

    

    



(1+i)= 2 (cos + isen )

y
(1-i)= 2 (cos - isen )
4
4
4
4

    

    
























n 
n

n 
n

(1+i) = 2 (cos n + isen n ) y

(1-i) = 2 (cos n - isen n )
4
4
4
4
de donde

    


an= 2n [(+)cos n
+
(-)isen
n
4
4]
y llamando k1=+ y k2=(-)i,
las
condiciones
frontera
para
n=0
y
n=1
determinan
el
sistema

k1cos 0 + k2sen 0 = 1

    
cuya solucin es k1=1 y k2=1.













2 [k1cos + k2sen ] =2
4
4

(Observar que en principio k1 y k2 eran nmeros complejos, finalmente resultan

ser reales).

    













Solucin de la ecuacin de recurrencia: an= 2n[cos n + sen n]
4
4
Generalizando los resultados anteriores para la ecuacin de recurrencia
homognea de orden k
cnan + cn-1an-1 +...+ cn-kan-k= 0 , nk
se
tiene
que
si
{s1n},{s2n},...,{skn}
son
soluciones
particulares
independientes, entonces su solucin general es
an= 1.s1n + 2.s2n +...+ k.skn
donde 1,2,...,k son constantes que se determinan utilizando las condiciones
iniciales.
Para encontrar estas soluciones particulares probamos con una de la forma
an=rn, siendo r0 (r=0 correspondera a la solucin trivial). Entonces,
cnrn + cn-1rn-1 +...+ cn-krn-k= 0
rn-k (cnrk + cn-1rk-1 +...+ cn-k)= 0
137

por lo que para que rn sea solucin de la ecuacin, r debe ser raz del
polinomio
P()=cnk+cn-1k-1+...+cn-k
al
que
llamaremos
polinomio
caracterstico de la ecuacin homognea de grado k.
En funcin de cmo sean las races
distinguimos dos casos:
(a) Todas las races de P() son simples.
Si P() tiene sus k races distintas,
n
r1 ,

del

polinomio

r1,r2,...,rk,

caracterstico

entonces

las

soluciones independientes son

r2 ,...y rk y la solucin general es
n
n
n
an= 1r1 + 2r2 +...+ krk
(b) P() tiene alguna raz de multiplicidad >1.
Sea P()=(-r1)k1.(-r2)k2...(-rt)kt con k1+k2...kt=k. Es decir P() tiene
races
distintas
r1,r2,...,rt
con
multiplicidad
k1,k2,...,kt
respectivamente.
Entonces
cada
raz
del
polinomio
cararacterstico
contribuye con tantas soluciones como indique su multiplicidad. Esto es,
para cada j= 1,...,t se tiene que las kj sucesiones independientes
(r )n, n(r )n, n2(r )n, ..., nkj-1(r )n
j
j
j
j
son solucin de la ecuacin de recurrencia.
Como escribiras la solucin general?

2an+3 = an+2 + 2an+1 - an,

Ejemplo 5. a =0, a =1, a =2
0
1
2

n0

Polinomio caracterstico: 2r3-r2-2r+1

Races: 1,-1, 1/2
Solucin general: an=.1n + (-1)n + (1/2)n
Las condiciones frontera para n=0,n=1

+ + =0
- + 1/2 =1
+ + 1/4 =2

n=2

determinan

cuya solucin es =5/2, =1/6, =-8/3

Solucin: an= 52 + 16 (-1)n - 83 (1/2)n

Ejemplo 6. an -3an-1+ 3an-2 - an-3 =0, n3,

Polinomio caracterstico: r3-3r2+3r-1
Races: 1 (raz triple)
Solucin general: an= .(1n) + .(n1n) + .(n21n)
138

el

sistema

6.3 Ecuacin de recurrencia lineal no homognea.

Consideremos la ecuacin de recurrencia lineal de orden k
cnan+cn-1an-1+...+cn-kan-k= bn,
nk
(I)
llamaremos ecuacin de recurrencia homognea asociada a (I) a la ecuacin
cnan+cn-1an-1+...+cn-kan-k= 0, nk
Enunciamos sin demostracin la siguiente propiedad:
Cualquier solucin {an} de (I), verificando determinadas condiciones iniciales
a0,a1,...,ak-1, se puede escribir como
an= pn+hn
donde {pn} es una solucin particular de (I) y {hn} es la solucin de la
homognea asociada.
Ya hemos visto en el apartado anterior cual es la solucin de la ecuacin
de recurrencia homognea. Respecto de cmo obtener una solucin particular de
(I) podemos decir que no hay mtodos generales. Sin embargo, se espera que con
los ejemplos que se ponen se adquiera cierta destreza para encontrarlas.
Probaremos con soluciones particulares pn de la forma sugerida por bn. Por
ejemplo si la sucesin bn es una funcin polinmica en n de grado t, podemos
probar con una solucin particular tambin polinmica del mismo grado.
Ejemplo 6. Para encontrar una solucin particular de la ecuacin de recurrencia
an+2an-1=3, como bn=3 es una constante, probamos con an=A. Sustituyendo en la
ecuacin se tiene A+2A=3. Es decir A=1. Por tanto an=1 es una solucin
particular.
Ejemplo 7. En la ecuacin an+2an-1= n2-n-1, bn=n2-n-1 es un polinomio en n de
grado 2. Probamos si puede ser solucin una sucesin del mismo tipo,
an=An2+Bn+C. Y efectivamente se obtienen los valores A=1/3, B=1/9, C=-13/27.
Ejemplo 8. Consideramos ahora an - 3an-1 = 5 (7n). Aqu probamos con una
sucesin de la forma an=A.7n. Sustituyendo en la ecuacin, tenemos A(7n)
-3A(7n-1)= 5.(7n), de donde A=35/4. Esto es, una solucin particular es
an=(35/4).7n
139

Ejemplo 9. La tcnica mostrada en los ejemplos anteriores slo ser vlida

cuando bn o algn sumando de bn no contenga ningn factor que sea solucin de
la homognea. As para
an - an-1 = 2
si probamos con una sucesin constante de la forma an=A, al sustituir nos da
una contradiccin (0=2), de lo que se deduce que no existe ninguna solucin
particular de esta forma (polinmica de grado 0). En estos casos pobraremos con
soluciones polinmicas de grado superior al que tiene la sucesin bn. Para
nuestro ejemplo tomando una de la forma an=A+Bn, obtenemos A=0, B=2 y por tanto
la solucin particular es {2n}.
Ejemplo 10. Dada la ecuacin
an - 3an-1 = 5 (3n)
probamos con pn=A3n. La sustitucin de an por A3n nos lleva a la contradiccin
0=5. (Observa que aqu la solucin de la homognea asociada es hn=3n).
No existe, por tanto, ninguna solucin particular de la forma {A3n}.
En este caso, probamos con una de la forma {An3n} y obtenemos que {5n3n} es una
solucin particular.
Recordad que la solucin general ser de la forma an=.3n+5.n.3n donde el valor
de se determinara aplicando las condiciones iniciales.
En general, construiremos una solucin particular pn de la ecuacin (I)
segn se indica en los siguientes apartados:
(a) Si bn es un mltiplo constante de una de las siguientes formas y no es
solucin de la homognea asociada, entonces pn tiene la forma mostrada en
la tabla (K, r, , , B, A0, A1,...At-1 y At son constantes):





b




n

































































p




n
























































































K
n
n2
nt
rn
ntrn
sen n
cos n

A
A1n + A0
A2n2 + A1n + A0
Atnt+At-1nt-1+...+A1n+A0
Arn
rn(Atnt+At-1nt-1+...+A1n+A0)
Asen(n) + Bcos(n)
Asen(n) + Bcos(n)
140

(Las constantes A,B,A0,A1,...At-1,At se determinan sustituyendo pn en la

ecuacin dada).
(b) Si bn consta de una suma de mltiplos constantes de trminos como los de la
primera columna de la tabla anterior, entonces pn est formada por la suma
de los trminos correspondientes de la segunda columna.
(c) Si un sumando de bn contiene un factor (rn) que es solucin de la homognea
asociada y r es raz de multiplicidad k en el polinomio caracterstico,
entonces la parte de pn correspondiente a ese sumando debe multiplicarse
k
por n .
Ejemplo 11. Resolvamos la siguiente ecuacin de recurrencia
an - 2an-1 + an-2 = 3, n2
con las condiciones iniciales a0=1/2, a1=3.
La solucin de la homognea asociada es hn= (1n)+ n(1n).
En principio, la forma de bn nos sugiere que probemos una solucin particular
constante. Pero, puesto que 1n es factor de bn=3, 1n es solucin de la
homognea y 1 es raz caracterstica de multiplicidad 2, lo adecuado es probar
con An2. Efectivamente se encuentra la solucin particular pn=(3/2)n2.
De la forma de la solucin general an= + n + (3/2)n2 y de las
condiciones iniciales, obtenemos los valores de =1/2 y =1. Por tanto la
solucin es
an= 1/2 + n + (3/2)n2

___________________________________________________________________________
Bibliografa:
. Grimaldi, Ralph P. "Matemticas discreta y combinatoria". 3a edicin. Ed.
Addison-Wesley Iberoamericana, 1997. Captulo 10.
. Rosen, K.H. "Discrete Mathematics and its applications" 3rd ed. Ed. McGraw-Hill,
1995. Captulo 5.
141

6.4. Problemas.
1.- Encontrar la relacin de recurrencia que determina de manera nica las
siguientes sucesiones:
a) {2, 10, 50, 250,...}
b) {6, -18, 54, -162, ...}
c) {1, 1/3, 1/9, ...}
d) {7, 14/4, 28/25, 56/125,...}
2.- El nmero de bacterias en un cultivo de laboratorio es de 1000 unidades.
Sabemos que ese nmero se incrementa en un 250% cada 2 horas. Encontrar una
relacin de recurrencia para conocer lo que ocurrir al cabo de un da.
3.- Suponiendo que una bici ocupa una plaza de aparcamiento para bicis y una moto
ocupa dos, encontrar una relacin de recurrencia que nos d el nmero de
formas posibles de aparcar bicis y motos en un aparcamiento de n plazas.
4.- Encontrar una ecuacin de recurrencia con la que obtener el nmero de formas
de apilar n fichas de pquer de color rojo, blanco, verde y azul de modo que
no haya fichas azules consecutivas.
5.- Encontrar una ecuacin de recurrencia con la que obtener el nmero de
regiones en las que queda dividido un plano al trazar en l n rectas, de
forma que se corten dos a dos y tal que tres rectas no tengan un punto en
comn.
6.- Encontrar la solucin general de las siguientes ecuaciones de recurrencia.
a) an+1 - 1.5an = 0, n0
b) 4an - 5an-1 = 0, n1
c) 3an+1 - 4an= 0, n0, a1=5
d) 2an - 3an-1= 0, n1, a4=81
7.- Resolver las siguientes ecuaciones de recurrencia
a) an= 5an-1 + 6an-2, n2, a0=1, a1=3
b) an+2 - 11an+1 + 5an=0, n0, a0=2, a1=-8
c) 3an+1= 2an + an-1, n1, a0=7, a1=3
d) an+2 + an=0, n0, a0=0, a1=3
142

e) an - 6an-1 + 9an-2=0, n2, a0=5, a1=12

f) an + 2an-1 + 2an-2=0, n2, a0=1, a1=3
g) an - 3an-1 + 3an-2 - an-3=0, n3, a0=1, a1=2, a2=5
8.- Si a0=0, a1=1, a2=4 y a3=37 verifican la relacin de
an+2+ban+1+can=0 para n0 con b,c constantes, dar la expresin de an.

recurrencia

9.- Resolver cada una de las ecuaciones de recurrencia obtenidas en los problemas
3, 4 y 5.
10.- Encontrar la solucin general de las siguientes ecuaciones de recurrencia.
a)
b)
c)
d)

an+1
an+1
an+1
an+1

an =
an =
2an=
2an=

2n+3, n0; a0=1

3n2-n, n0; a0=3
5, n0; a0=1
2n, n0; a0=1
n

11.- Usar una relacin de recurrencia para deducir la frmula de

i=0

12.- Resolver las siguientes

a) an+2 + 3an+1 + 2an=
b) an+2 + 4an+1 + 4an=
c) an+2 + 4an+1 + 4an=

ecuaciones de recurrencia
3n, n0; a0=0, a1=1
7, n0; a0=1, a1=2
n2, n0; a0=0, a1=2

d) an+2 - an= sen(n/2), n0; a0=1, a1=1

143

i2.