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 que 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 de 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 cn0 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 forma
134

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
cn0 y cn-k0
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(x) =cnx2 + cn-1x + cn-2
Al polinomio P(x) se le llama polinomio caracterstico de
recurrencia y sus races determinan la forma de la solucin. As,
135

la

ecuacin

de

(a) si P(x) 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(x) tiene una nica raz real r de multiplicidad 2, entonces claramente la
n
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 x2+x-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: x2-6x+9

Races: 3 (una raz doble)
Soluciones independientes: 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: x2-2x+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 aunque 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
homognea de orden k

resultados

anteriores

para

la

ecuacin

de

recurrencia

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(x)=cnxk+cn-1xk-1+...+cn-k al que llamaremos polinomio caracterstico de la
ecuacin homognea de orden k.
En funcin de cmo sean las races del polinomio caracterstico distinguimos
dos casos:
(a) Todas las races de P(x) son simples.
Si P(x) tiene sus k races distintas, r1, r2, ..., rk, entonces las k
n

soluciones independientes son r1 , r2 , ... y rk y la solucin general es

n
n
n
an= 1r1 + 2r2 +...+ krk
(b) P(x) tiene alguna raz de multiplicidad >1.
Sea P(x)= (x-r1)k1.(x-r2)k2...(x-rt)kt con k1+k2...kt=k. Es
races distintas r1, r2, ..., rt con multiplicidad

decir P(x) tiene

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
(rj)n, n(rj)n, n2(rj)n, ..., nkj-1(rj)n
son soluciones independientes de la ecuacin de recurrencia.
Como escribiras la solucin general?

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

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

n0

Polinomio caracterstico: 2x3-x2-2x+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

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: x3-3x2+3x-1
Races: 1 (raz triple)
Solucin general: an= .(1n) + .(n1n) + .(n21n)
138

determinan

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
a0,a1,...,ak-1, se puede escribir como

condiciones

iniciales

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
ejemplos que se ponen se
con soluciones particulares
sucesin bn es una funcin

mtodos generales. Sin embargo, se espera que con los

adquiera cierta destreza para encontrarlas. Probaremos
pn de la forma sugerida por bn. Por ejemplo si la
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=A7n. 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
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
139

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. (Observar 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.
Recordar 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
(Las constantes
ecuacin dada).

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)

A,B,A0,A1,...At-1,At

140

se

determinan

sustituyendo

pn

en

la

(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 por
nk.
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. AddisonWesley 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/5, 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
e) an - 6an-1 + 9an-2=0, n2, a0=5, a1=12
142

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) an+1 - an = 2n+3, n0; a0=1
b) an+1 - an = 3n2-n, n0; a0=3
c) an+1 - 2an= 5, n0; a0=1
d) an+1 - 2an= 2n, n0; a0=1
n

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

i=0

12.- Resolver las siguientes ecuaciones de recurrencia

a)
b)
c)
d)

an+2
an+2
an+2
an+2

+ 3an+1 + 2an= 3 , n0; a0=0, a1=1

+ 4an+1 + 4an= 7, n0; a0=1, a1=2
+ 4an+1 + 4an= n2, n0; a0=0, a1=2
- an= sen(n/2), n0; a0=1, a1=1

143

i2.