Está en la página 1de 26

Tema 4: Relaciones de recurrencia

A. Mndez, E. Martn, C. Ortiz y J. Sendra


Abril de 2011

ndice
Gua del tema

II

1. Introduccin a las relaciones de recurrencia

2. Relaciones de recurrencia lineales de primer orden

2.1. Relacin lineal homognea con coeficientes constantes . . . . . . . . . . . . . . . . . . .

2.2. Relacin lineal completa con coeficientes constantes . . . . . . . . . . . . . . . . . . . .

3. Relaciones de recurrencia lineales de segundo orden

3.1. Relacin lineal homognea con coeficientes constantes . . . . . . . . . . . . . . . . . . .

3.2. Relacin lineal completa con coeficientes constantes . . . . . . . . . . . . . . . . . . . .

11

3.3. Soluciones particulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

4. Relaciones de recurrencia lineales de orden superior

12

4.1. Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

4.2. Soluciones y condiciones iniciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

16

4.3. Relacin lineal homognea con coeficientes constantes . . . . . . . . . . . . . . . . . . .

18

4.4. Soluciones particulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

21

Referencias

22

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

Gua del tema 4

Asignatura:

Matemtica Discreta

Titulo de la Unidad:

Relaciones de recurrencia

Semanas de imparticin en el cuatrimestre:

2 semanas

Requisitos para seguir con aprovechamiento el tema


Manejar con soltura las operaciones con polinomios.
Conocer algunas caractersticas sobre las races de un polinomio relacionadas con el grado del
mismo.
Hallar races de polinomios de grado menor o igual que dos.
Manejar el mtodo de Ruffini para el clculo de races de polinomios de orden superior a dos.
Conocer conceptos de espacios vectoriales (operaciones, combinaciones lineales, dependencia e
independencia lineal, bases, dimensin).
Conocer conceptos de matrices (tipos especiales, operaciones y propiedades de las mismas, traspuesta, inversa).
Habilidades de clculo con matrices.
Conocer conceptos y clculo de determinantes (definicin, propiedades elementales, relacin con
dependencia lineal ).
Relacionar los sistemas de ecuaciones lineales con matrices.
Conocer soluciones de sistemas de ecuaciones lineales basados en matrices y determinantes.
Tener nociones de nmeros complejos.
Conocer y utilizar el principio de induccin matemtica.
Conocer el concepto de sucesin y algunas sucesiones particulares (progresiones aritmticas y
geomtricas).
Objetivos

II

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

Objetivo general: Comprender que los mtodos recursivos son fundamentales para el anlisis de
problemas relacionados con los algoritmos.
Objetivos Especficos:
Conocer ejemplos de relaciones de recurrencia.
Plantear problemas en trminos de relaciones de recurrencia.
Discernir si una relacin de recurrencia es lineal y, en su caso, conocer el orden.
Resolver con soltura relaciones de recurrencia lineales de primer orden con coeficientes constantes.
Resolver con soltura relaciones de recurrencia lineales homogneas de segundo orden con
coeficientes constantes.
Hallar soluciones particulares de recurrencia lineales de segundo orden con coeficientes constantes.
Ser capaz de generalizar y aplicar los conceptos concernientes a las recurrencias lineales de
segundo orden.
Utilizar las races caractersticas para resolver relaciones de recurrencia lineales homogneas
con coeficientes constantes.
Conocer y utilizar mtodos para el clculo de soluciones particulares de relaciones de recurrencia lineales con coeficientes constantes.
Resolver algunas relaciones de recurrencia lineales con coeficientes constantes.
Contenidos tericos
Relaciones de recurrencia.
1. Introduccin; Relaciones de recurrencia lineales.
2. Relaciones de recurrencia lineales de primer orden.
3. Relaciones de recurrencia lineales de segundo orden.
4. Relaciones de recurrencia lineales homogneas.
5. Soluciones general y particular: Races caractersticas.
Evaluacin Se entregarn los ejercicios propuestos antes de la fecha lmite

lunes 16 de mayo de 2011


III

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

1.

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

Introduccin a las relaciones de recurrencia


Consideramos la sucesin a0 , a1 , . . . , donde an = 4n n N. Para determinar el valor de a7

calculamos a7 = 4 7 = 28 y no tenemos necesidad de conocer el valor de los 6 trminos anteriores.


Ntese que la sucesin (an )nN satisface la relacin sn+1 = sn + 4, pero que la sucesin de
trmino general bn = 4n + 4 tambin satisface la relacin sn+1 = sn + 4. Si conocemos uno de los
trminos de la sucesin, por ejemplo s3 = 20 entonces la solucin queda unvocamente determinada
por sn = an = 4(n + 2) n N.
Otra forma de definir una sucesin es por induccin. La sucesin de Fibonacci, Fn , es un ejemplo
de sucesin definida recursivamente, F0 = 0;

F1 = 1 y Fn = Fn1 + Fn2

deseamos obtener el valor de F7 deberemos conocer los previos

n 2. Pero ahora si

F2 = F1 + F0 = 1 + 0 = 1

F3 = F2 + F1 = 1 + 1 = 2
F4 = F3 + F2 = 2 + 1 = 3
F5 = F4 + F3 = 3 + 2 = 5
F6 = F5 + F4 = 5 + 3 = 8
F7 = F6 + F5 = 8 + 5 = 13
Sabiendo la expresin exacta para los trminos de la sucesin de Fibonacci:

!n
!n
1
1+ 5
1 5
1
Fn =

,
2
2
5
5
podemos hallar el valor de un trmino cualquiera sin necesidad de conocer otros, por ejemplo F30 =
832040.
Los ejemplos mencionados son casos particulares de un conjunto ms amplo de cuestiones relacionadas con problemas de la tcnica y que se expresan de ecuaciones diferenciales, o en derivadas
parciales. Las soluciones exactas y con condiciones iniciales, a veces, solo pueden obtenerse aproximadamente y uno de los mtodos es la discretizacin. La idea de consiste en cambiar el conjunto donde
varan los parmetros (segmento, rectngulo, etc.) por un conjunto discreto de puntos, o nodos, que
formarn redes y las ecuaciones que rigen el fenmeno aplicadas a los nodos de la malla forman unas
relaciones en diferencias, o ecuaciones en diferencias.
Definicin 1.1. Un conjunto en el que se especifican algunos de sus elementos y que el resto de
elementos se definen a partir de los conocidos se dice que es un conjunto definido recursivamente. En
particular, una sucesin S : N R est definida recursivamente si:
1. n0 N tal que se conocen los valores S1 , . . . , Sn0 .

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

2. Para n > n0 el trmino Sn est definida en trminos de S1 , . . . , Sn1 ;

Sn = f (S1 , . . . , Sn1 ).

Observacin 1.1. Los valores S1 , . . . , Sn0 se denominan condiciones iniciales y a la funcin que describe a Sn en trminos de sus predecesores se llama relacin de recurrencia, o ecuacin en diferencias,
para Sn .
S
A veces, la sucesin se describe para N {0}, como en la sucesin de Fibonacci.
Ejemplo 1.1.
1. Sea 0! = 1 y n N n! = (n 1)! n. De esta forma se define por recurrencia el factorial de
los nmeros naturales.
2. La sucesin an+1 = an para n 1 y C est definida recursivamente. Son soluciones de
dicha relacin
Si = 2 y a0 = 1, entonces (an ) = (1, 2, 4, . . .)
Si = 2 y a0 = 3, entonces (an ) = (3, 6, 12, . . .)
Si = 2 y a0 = 5, entonces (an ) = (5, 10, 20, . . .)
Si = 3 y a0 = 5, entonces (an ) = (5, 15, 45, . . .)
El conocimiento del valor de y a0 determina completamente la sucesin.
3. Dada la secuencia de nmeros reales b1 , b2 , . . . verificando que
b1 = 1;

bn bn1 = n2

n 2

Por bn = bn1 + n2 = bn2 + (n 1)2 + n2 = . . . = b1 + 22 + . . . + n2 = 12 + . . . + n2 . Probaremos


1
que bn = n (n + 1) (2n + 1)
n 1
6
a) Para n = 1, se tiene

1
1
n (n + 1) (2n + 1) = 1 2 3 = 1 = b1 ), luego es cierto el resultado.
6
6

b) Supongamos que el resultado es cierto para n k.


1
c) Sea n = k + 1 entonces, bk+1 = bk + (k + 1)2 = k (k + 1) (2k + 1) + (k + 1)2 =
6
1
1
1
= (k + 1) (k (2k + 1) + 6(k + 1)) = (k + 1) (k + 2) (2k + 2 + 1)) = (k + 1) ((k + 1) +
6
6
6
1) (2(k + 1) + 1).
Luego, por el principio de induccin, se cumple que bn =

1
n (n + 1) (2n + 1).
6

4. Un banco paga un inters del 3 % anual para cuentas de ahorro, con un inters compuesto mensual.
Un cliente deposita 1000 C el da 1 de febrero, cunto dinero tendr depositado justo un ao
despus?
2

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

3
= 0, 25 %. Si el valor del depsito al cabo de n meses es dn , entonces
12
= dn + 0, 0025 dn = 1, 0025 dn d12 = 1000 (1, 0025)12 = 1030, 41, as que despus de

El inters mensual ser de


dn+1

un ao el cliente tendr 1030, 41 C.


5. Supongamos que tenemos una lista de n nmeros reales, a1 , . . . , an R que deseamos ordenar de
manera ascendente. El siguiente mtodo, llamado de la burbuja, acta como sigue: se compara
el ltimo elemento con su predecesor si an < an1 se intercambian los valores. A continuacin
comparamos an1 con su predecesor inmediato procediendo de la misma manera. Tras n 1
comparaciones el nmero ms pequeo de la lista se encuentra en el primer lugar. Repetimos el
proceso para los n 1 restantes. Para determinar la complejidad de este algoritmo en funcin
del tamao de la lista contamos el total de comparaciones hasta finalizar la ordenacin. Si cn
es el nmero de comparaciones para ordenar n elementos tendremos la siguiente relacin de
recurrencia:
c1 = 0;

cn = cn1 + (n 1)

n 2

Para hallar los primeros trminos podramos ir sustituyendo. Vamos a demostrar, por induccin
n2 n
que, en general, cn =
.
2
a) Para n = 1, se tiene

n2 n
= 0 = c1 , luego es cierto el resultado.
2

b) Supongamos que el resultado es cierto para n k.


c) Sea n = k + 1 entonces, ck+1 = ck + k =

k 2 k + 2k
(k + 1)2 (k + 1)
k2 k
+k =
=
.
2
2
2

Luego, por el principio de induccin, se cumple que cn =

n2 n
.
2

Definicin 1.2. Una sucesin (xn )nN de nmeros complejos diremos que es recursiva lineal de orden
k y con coeficientes constantes si se puede expresar como
xn = a1 xn1 + a2 xn2 + . . . + ak xnk + en

(1)

para n > k y donde a1 , a2 , . . . , ak son constantes reales, o complejas, fijas. En el caso de que el
trmino en sea cero diremos que la relacin es lineal y homognea.
Observacin 1.2. Se denominan ecuaciones lineales porque los valores de la sucesin no aparecen
multiplicados entre si, ni afectados por otras funciones (xn1 xn3 , o sen xn1 )
Conociendo los primeros k elementos todos los siguientes se pueden hallar mediante una combinacin lineal de los k precedentes, y dichas ecuaciones se conocen como condiciones de frontera, o
iniciales.

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

En estos apuntes consideraremos el caso de que los coeficientes a1 , . . . , ak son constantes. Una
recursin lineal general de orden k tiene por expresin
xn = a1 (n) xn1 + a2 (n) xn2 + . . . + ak (n) xnk + en
Ejemplo 1.2. La sucesin de Fibonacci, Fn , definida por, F0 = 0;

F1 = 1 y Fn = Fn1 +Fn2

2 es un ejemplo de relacin lineal de segundo orden y homognea.


Un ejemplo de ecuacin de recurrencia lineal con coeficientes constantes de orden 4 y no homognea es xn = 2 xn1 + 3 xn2 4 xn3 + 2 xn4 + n.

2.

Relaciones de recurrencia lineales de primer orden


Las relaciones de recurrencia lineales ms simples son las de primer orden

Definicin 2.1. Una sucesin (xn )nN de nmeros complejos diremos que es recursiva lineal de primer
orden y con coeficientes constantes si se puede expresar como
xn = k xn1 + en

(2)

para n > 1 y donde k es una constante fija. Si en = 0 para cualquier n diremos que es homognea. En
el caso de conocer algn valor particular diremos que es una condicin de frontera.

2.1.

Relacin lineal homognea con coeficientes constantes


Las relaciones de recurrencia lineales homogneas de primer orden y con coeficientes constantes

son de la forma xn = k xn1 .


Ejemplo 2.1. Una progresin geomtrica de razn r es una sucesin de nmeros donde el cociente de
xn+1
cualquier trmino entre el que le precede es r, es decir
= r xn+1 = r xn , por lo que tenemos
xn
una ecuacin de recurrencia lineal, de primer orden y homognea.
Dada la sucesin 3, 9, 27, 81, . . ., es sencillo comprobar que xn+1 = 3 xn
sucesin 5, 15, 45, 225, . . ., tambin verifica xn+1 = 3 xn

n 1. Pero la

n 1. La nica diferencia apreciable es

que empiezan por valores distintos


A continuacin vemos un resultado que nos proporciona un mtodo general de resolucin de
estas relaciones recurrentes.
Proposicin 2.1. La solucin general de la relacin xn+1 = r xn
nica y viene dada por
xn = A rn

n N
4

n 1, r constante y x0 = A es

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

Demostracin. La unicidad es trivial, ya que si existiese otra solucin con la misma condicin inicial
los siguientes trminos necesariamente coinciden con los trminos de la dada.
En el caso de que A sea cero la sucesin es constantemente igual a cero y la solucin se puede
expresar de otras formas.
xn+1
A rn+1
=
= r, luego es solucin de la
xn
A rn
ecuacin y se cumple la condicin inicial x0 = A r0 = A.

Consideremos A 6= 0, si xn = A rn

n N

Ejemplo 2.2. Para resolver xn+1 = 3 xn con la condicin x2 = 18, consideramos la solucin general
que es xn = x0 3n . Para n = 2 se tiene que x2 = x0 9 = 18 a0 = 2 xn = 2 3n

2.2.

n N.

Relacin lineal completa con coeficientes constantes


Ahora consideramos la Ecuacin (2) completa.

Proposicin 2.2. La solucin general de la relacin xn+1 = r xn + en

n > 1, r constante y x0 = A

es nica y viene dada por


xn = A rn +

n1
X

rn1j ej

n N

(3)

j=0

Demostracin. La unicidad de la solucin es trivial. Para demostrar la frmula anterior razonaremos


por induccin.
1. Si n = 1, x1 = A r +

0
X

rj ej = r A + e0 = r x0 + e0 , luego se cumple la relacin.

j=0

2. Supongamos que se cumple para todo n k.

3. Sea n = k + 1 entonces, xn+1 = r xn + en = r A rn +

n1
X

rn1j ej + en =

j=0

= A rn+1 +

n1
X

r rn1j ej + r0 en = A rn+1 +

j=0

n
X

rnj ej

j=0

Como queramos demostrar.

Ejemplo 2.3. Una progresin aritmtica de razn d es una sucesin donde la diferencia entre un
trmino y el que le precede es la constante d, es decir xn+1 xn = d xn+1 = xn + d, luego es una
relacin lineal no homognea de orden uno.
Sea la relacin xn+1 = xn + 2 para n 1, con x0 = 1. Si aplicamos el resultado (3) obtenemos
n

xn = 1 1 +

n1
X

1n1j 2 = 1 + 2 n = 2n + 1

j=0

Es decir, los nmeros enteros impares positivos.


5

n N, n 1

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

Observacin 2.1.
1. Si la relacin lineal homognea con coeficientes constantes es xn+1 = r xn para n > n0 , y la
condicin inicial es xn0 = A entonces, la solucin general es xn = A rnn0 , para n n0 .
2. Se puede demostrar que dada la relacin lineal homognea con coeficientes
variables xn+1 = an xn
n1 !
Y
para n > n0 , y la condicin inicial xn0 = x0 , la solucin es xn =
an x0 , para n n0 .
i=n0

3. Si la relacin lineal con coeficientes constantes es xn+1 = r xn + en para n > n0 , y la condicin


n1
X
nn0
inicial es xn0 = A entonces, la solucin general es xn = A r
+
rn1j ej , para n n0 .
j=n0

4. Tambin se puede demostrar que dada la relacin lineal con coeficientes variables y de primer
orden xn+1 = an xn + en para n> n0 , con
la condicin inicial xn0 = A entonces, la solucin
n1
n1
n1
Y
Y
X

general es xn = A
an +
an ej , para n n0 .
i=n0

j=n0

i=j+1

Ejemplo 2.4. Vimos al comienzo que si cn era el nmero de comparaciones para ordenar n elementos
entonces, c1 = 0; cn = cn1 + (n 1) n 2 cn+1 = cn + n n 1, que es una relacin lineal
n1
X
de primer orden con coeficientes constantes. Aplicando la (3) obtenemos cn = 0 1n +
1n1j j =
j=0

(1 + n 1)(n 1)
n2 n
= 1 + . . . + (n 1) =
=
. Se ha empleado que la suma de los k primeros
2
2
trminos de una progresin aritmtica es la suma del primero y el ltimo multiplicada por el nmero
de trminos dividido por 2. El resultado confirma la solucin vista anteriormente.

3.

Relaciones de recurrencia lineales de segundo orden


Antes de tratar el problema general, consideraremos con detalle el caso de recurrencia lineales

de segundo orden, xn = a1 xn1 + a2 xn2 + en , con a1 y a2 constantes, a2 6= 0.

3.1.

Relacin lineal homognea con coeficientes constantes


Comenzaremos suponiendo que la secuencia en es idnticamente cero.
Si tuvisemos una solucin de la forma xn = rn entonces la relacin verifica
0 = xn a1 xn1 a2 xn2 = rn a1 rn1 a2 rn2 = rn2 (r2 a1 r a2 )

Para que la expresin anterior sea cero se debe cumplir r = 0 (solucin trivial), o bien r2 a1 ra2 = 0.

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

Definicin 3.1. Dada la relacin de recurrencia lineal homognea de coeficientes constantes y de


segundo orden

xn a1 xn1 a2 xn2 = 0, se denomina ecuacin caracterstica asociada, a la

expresin x2 a1 x a2 = 0. Al polinomio P () = k a1 k1 a2

le llamaremos polinomio

caracterstico y a sus ceros races caractersticas.


Ejemplo 3.1. En la recurrencia que define la sucesin de Fibonacci,
Fn = Fn1 + Fn2 , la ecuacin
1 1+4
caracterstica es x2 x 1 = 0 y sus races caractersticas son
.
2
Proposicin 3.1. Sea la relacin xn a1 xn1 a2 xn2 = 0. Si z1 y z2 son dos ceros distintos del
(1)

(2)

polinomio caracterstico, entonces xn = z1n y xn = z2n son soluciones de la relacin. Si el cero z1 es


(1)

(2)

raz doble del polinomio caracterstico, entonces xn = z1n y xn = nz1n1 son soluciones de la relacin.
Demostracin. Para el caso de races distintas, para i = 1, 2 se tiene
xn a1 xn1 a2 xn2 = zin a1 zin1 a2 zin2 = zin2 (zi2 a1 zi a2 ) = 0,
donde la ltima igualdad es consecuencia de ser zi raz del polinomio caracterstico.
(1)

Para el caso de raz doble, la comprobacin de que xn es solucin coincide con el apartado
(2)

precedente. Para xn se cumple

xn a1 xn1 a2 xn2 = n z1n1 a1 (n 1)z1n2 a2 (n 2)z1n3 =

= z1n3 ((n 2 + 2) z12 a1 (n 2 + 1) z1 a2 (n 2)) = z1n3 (n 2) (z12 a1 z1 a2 ) + z1n2 (2z1 a1 )


Por ser z1 cero doble del polinomio caracterstico P () = 2 a1 a2 = ( z1 )2 y por tanto,
P (z1 ) = 0, y P 0 () = 2 ( z1 ) = 2 a1 P 0 (z1 ) = 0 = 2z1 a1 . Luego, se cumple la relacin, ya
que n z1n1 a1 (n 1)z1n2 a2 (n 2)z1n3 = z1n3 (n 2) 0 + z1n2 0 = 0

Ejemplo 3.2. Para


sucesin
Fn = Fn1 + Fn2 , son soluciones de la relacin las
la
!n de Fibonacci,

!
n
1+ 5
1 5
(1)
(2)
sucesiones xn =
y xn =
.
2
2
Ejemplo 3.3. Dada la relacin xn = 2xn1 2xn2 , el polinomio caracterstico es P () = 2 2 + 2.
(1)

Puesto que las races de P () son 1 j, las secuencias de nmeros complejos zn

= (1 + j)n y

(2)

zn = (1 j)n son soluciones de la relacin dada.


(1)

(2)

Proposicin 3.2. Si xn y xn son dos soluciones de xn a1 xn1 a2 xn2 = 0, y si c1 y c2 son dos


(1)

(2)

constantes arbitrarias, entonces la sucesin yn = c1 xn + c2 xn tambin es solucin de la relacin


considerada.
Demostracin. Esta propiedad es consecuencia de la linealidad de las relaciones.
(1)

(2)

(1)

(2)

(2)
yn a1 yn1 a2 yn2 = c1 x(1)
n + c2 xn a1 (c1 xn1 + c2 xn1 ) a2 (c1 xn2 + c2 xn2 ) =
(1)

(1)

(2)

(2)

(2)
= c1 (x(1)
n a1 xn1 a2 xn2 ) + c2 (xn a1 xn1 a2 xn2 ) = 0,
(i)

donde la ltima igualdad es consecuencia de que xn son soluciones de la relacin dada.


7

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

Observacin 3.1. Supongamos que dada la relacin xn a1 xn1 a2 xn2 = 0, con a1 , a2 R y


a2 6= 0, deseamos encontrar soluciones reales. En el caso de que las races del polinomio caracterstico
(1)

sean complejas, z1 y z2 , estas sern conjugadas, z2 = z1 , y las soluciones distintas sern xn = z1n y
(2)

xn = z1 n = z1n , por ser el conjugado del producto igual al producto de conjugados.


1
1
(z+z) = Re(z) y
(zz) = Im(z), siendo
2
2j
Re(z) e Im(z) las partes real e imaginaria, respectivamente, de z. Entonces, aplicando el resultado
Para cualquier nmero complejo, z, se verifica que

previo, las sucesiones


yn(1) =

1 n
(z + z1n ) = Re(z1n )
2 1

yn(2) =

1
(z n z1n ) = Im(z1n )
2j 1

son soluciones de la relacin.


Ejemplo 3.4. Sea la relacin xn = 2 xn1 2 xn2 para n 2, x0 = 1 y x1 = 2.
La ecuacin caracterstica es 2 2 + 2 = 0 y sus races = 1 j. Entonces, la solucin general
es

yn = c1 (1+j)n +c2 (1j)n = c1 ( 2)n (cos n /4+j sen n /4)+c2 ( 2)n (cos n /4j sen n /4) =

= ( 2)n ((c1 + c2 ) cos n /4 + j(c1 c2 ) sen n /4) = ( 2)n (k1 cos n /4 + k2 sen n /4)

2
2
Teniendo en cuenta las condiciones iniciales, x0 = 1 = k1 y x1 = 2 = 2(k1
+ k2
) = k1 + k2 ,
2
2
n
por lo que k1 = 1, k2 = 1 y la solucin es yn = ( 2) (cos n /4 + sen n /4), que resulta ser real pese
a que las races de la ecuacin caracterstica eran complejas.
En el ejemplo precedente hemos encontrado una solucin particular, a partir de una solucin
general, determinando el valor de constantes. Ahora bien, dadas dos soluciones conocidas de la ecuacin
(1)

(2)

homognea, xn y xn , y dada otra solucin yn , siempre es posible encontrar constantes c1 y c2 tales


(1)

(2)

(1)

(2)

que yn = c1 xn + c2 xn ? Si fuese as a la combinacin lineal c1 xn + c2 xn la podramos denominar


solucin general.
Para que se pueda expresar cualquier solucin particular como combinacin lineal de dos soluciones halladas se debe cumplir que, para dos enteros consecutivos n y n + 1,el siguiente sistema tenga
solucin.
(1)
c1 xn
(1)
c1 xn+1

(2)
c2 xn

(2)
c2 xn+1

= yn+1

yn

(4)

Por la teora de sistemas


de ecuaciones
nica si el determinante

lineales este sistema admite solucin


(1)
(2)
(1)
(2)
xn
xn
xn
xn
6= 0

de la matriz Wn =
es diferente de cero, es decir wn =
(1)
(2)
(1)
(2)

xn+1 xn+1
xn+1 xn+1

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

(1)

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

(2)

Definicin 3.2. Dadas las secuencias xn y xn llamaremos matriz de Casorati de orden n asociada
a la secuencia a

(2)

W (n) = W (x(1)
n , xn ) =

(2)

(1)

xn

xn

(1)
xn+k1

(2)
xn+k1

(2)
x(1)
xn
n
(1)
(2)

y a su determinante w(n) = w(xn , xn ) = det W (n) =


(2)
x(1)
n+k1 xn+k1
secuencias.

casoratiano de las

Ejemplo 3.5.
1. Las secuencias ((1)n )nN y (1n = 1)nN tienen la siguiente la matriz de Casorati de orden n y
casoratiano

W ((1)n , 1) =

(1)
1
n
= (1)n (1)n+1 = 2 (1)n 6= 0
; w((1) , 1) =

n+1
(1)
1
1

(1)n
(1)n+1

2. Dadas las secuencias (z1n )nN y (z2n =)nN , donde z1 y z2 son dos races no nulas y distintas de
la ecuacin caracterstica asociada a la relacin xn = a1 xn1 + a2 xn2 , tienen la siguiente la
matriz de Casorati de orden n y casoratiano

n
n
n
z
z
z
z2n
1
2
n
n
n
n
; w(z1 , z2 ) = 1
W (z1 , z2 ) =
n+1 n+1
z1
z1n+1 z2n+1
z2
(1)

= z1n z n+1 z n+1 z2n = z1n z2n (z2 z1 ) 6= 0


2
1

(2)

Definicin 3.3. Dos sucesiones xn y xn , definidas sobre un subconjunto I de nmeros enteros (no
necesariamente soluciones de una relacin lineal) se dice que son linealmente dependientes si existen
(1)

(2)

dos constantes, c1 y c2 , no nulas simultneamente tales que c1 xn + c2 xn es la sucesin cero sobre


I. Si no existen dichas constantes se dice que las sucesiones son linealmente independientes.
Ejemplo 3.6. Consideramos las sucesiones ((1)n )nN y (1n = 1)nN . Si fuesen dependientes existiran
dos constantes, c1 y c2 , que verifican para cualquier entero positivo n

c1 (1)n + c2 1 = 0
por ser el casoratiano no nulo (ver Ejemplo prevo) c1 = c2 = 0
c (1)n+1 + c 1 = 0
1

Por lo que las secuencias son independientes.


Definicin 3.4. Si (xn )nN e (yn )nN son sucesiones cualesquiera, y c1 y c2 son dos constantes arbitrarias, la sucesin (c1 xn + c2 yn )nN se llama combinacin lineal de las sucesiones (xn )nN e (yn )nN .
En general no es sencillo comprobar si dos sucesiones son, o no, linealmente dependientes,
pero en el caso de que ambas sean soluciones de una relacin lineal homognea de segundo orden la
dependencia est relacionada con el valor del casoratiano.
9

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

(1)

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

(2)

Proposicin 3.3. Sean xn y xn dos soluciones de la relacin lineal xn a1 xn1 a2 xn2 = 0, y


la sucesin de sus casoratianos W = (wn )nN .
(1)

(2)

1. Si xn y xn son linealmente dependientes, entonces W es la sucesin constantemente igual a


cero.
2. Si wm = 0 para algn entero m, entonces las sucesiones son linealmente dependientes

Demostracin.
(1)

(2)

1. Si xn y xn son linealmente dependientes, entonces existen constantes, c1 y c2 , no nulas simul(1)

(2)

tneamente tales que c1 xn + c2 xn = 0 n N. Sea un entero n cualquiera, entonces el


sistema
(1)

(2)

c1 xn + c2 xn
(1)

= 0

(2)

c1 xn+1 + c2 xn+1 = 0
es lineal, homogneo y con solucin (c1 , c2 ) no trivial, por lo que el determinante de los coeficientes, es decir wn , debe ser cero.
2. Si wm = 0 para algn entero m, entonces el sistema homogneo de dos ecuaciones
(1)

(2)

c1 xm + c2 xm
(1)

= 0

(2)

c1 xm+1 + c2 xm+1 = 0
(1)

(2)

tiene solucin no trivial (c1 , c2 ) y la sucesin yn = c1 xn + c2 xn = 0 es solucin de la relacin


(1)

(2)

xn a1 xn1 a2 xn2 = 0, por lo que xn y xn son linealmente dependientes.

Una consecuencia inmediata es el siguiente corolario.


Corolario 3.1. En las mismas hiptesis de la proposicin anterior, si wm 6= 0 para algn entero m,
entonces wn 6= 0

(1)

(2)

n N, y las soluciones xn y xn son linealmente independientes.

Ejemplo 3.7. Si (z1n )nN y (z2n )nN son dos races no nulas y distintas de la ecuacin caracterstica
asociada a la relacin xn = a1 xn1 +a2 xn2 , hemos visto en un ejemplo precedente que los casoratianos
eran diferentes de cero, luego las sucesiones (z1n )nN y (z2n )nN son linealmente independientes.
Teorema 3.1. Toda solucin de xn = a1 xn1 + a2 xn2 puede expresarse como una combinacin
lineal de dos soluciones fijas linealmente independientes.
Demostracin. Por la Prop. 3.2, dadas dos soluciones de la relacin una combinacin lineal de las
mismas es tambin solucin.
10

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

(1)

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

(2)

Si xn y xn son dos soluciones particulares de la relacin dada, de forma que toda solucin se
(1)

(2)

puede expresar como combinacin lineal de las dos, yn = c1 xn + c2 xn , entonces las constantes c1 y
c2 deben ser solucin de
(1)

(2)

c1 xm + c2 xm
(1)

ym
(1)
(2)
para un m fijo, por lo que el determinante w(xn , xn ) 6= 0. Por el

= ym+1

(2)

c1 xm+1 + c2 xm+1

(1)

(2)

Corolario previo las soluciones xn y xn son linealmente independientes.

Observacin 3.2. Para obtener la solucin de una relacin de recurrencia lineal, de segundo orden,
con coeficientes constantes y homognea se proceder de la siguiente manera:
1. Formar la ecuacin caracterstica y hallar sus races, z1 y z2 .
2. Obtener la solucin general: c1 z1n + c2 z2n , o bien c1 z1n + c2 n z1n1 en el caso de que z1 = z2 .
3. Utilizar las condiciones iniciales para determinar c1 y c2 .

3.2.

Relacin lineal completa con coeficientes constantes


Para resolver relaciones de la forma xn = a1 xn1 + a2 xn2 + en , donde en depende de n,

veremos un resultado que afirma que toda solucin se puede obtener como suma de la solucin general
de la relacin homognea ms una solucin particular.
(1)

(2)

Teorema 3.2. Sea yn una solucin particular de xn = a1 xn1 + a2 xn2 + en , y sean xn y xn

dos soluciones linealmente independientes de xn = a1 xn1 + a2 xn2 . Entonces toda solucin xn de


(1)

(2)

xn = a1 xn1 +a2 xn2 +en puede expresarse como xn = c1 xn +c2 xn +yn , siendo c1 y c2 constantes
adecuadas.
Demostracin. La sucesin (yn )nN verifica yn = a1 yn1 + a2 yn2 + en

n N. Si (xn )nN es

una solucin arbitraria de xn = a1 xn1 + a2 xn2 + en , entonces (xn yn = dn )nN es solucin de


xn = a1 xn1 + a2 xn2 , sin ms que restar. Por el Ta . 3.1 existen constantes, c1 y c2 , de forma que
(1)

(2)

(1)

(2)

dn = c1 xn + c2 xn , siendo xn y xn soluciones linealmente independientes de la homognea. Por


tanto,
(2)
xn = dn + yn = c1 x(1)
n + c2 xn + yn

n N

Ejemplo 3.8. Dada la relacin xn = 5 xn1 6 xn2 + 7n , vamos a comprobar que yn =

7n+2
es una
20

solucin particular y determinar la forma de todas las soluciones.

7n+1
7n n
7
6
35 6 + 20
49
7n+2
n
n
5 yn1 6 yn2 +7 = 5
6
+7 = 7

+ 1 = 7n
= 7n
=
= yn
20
20
20 20
20
20
20
11

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

Luego, yn es una solucin particular.


La ecuacin caracterstica de la relacin es 2 5 + 6 = 0, cuyas races son 2 y 3. Por lo que
1
las soluciones son xn = c1 2n + c2 3n + 7n+2
20

3.3.

Soluciones particulares
En este apartado describiremos el mtodo de variacin de las constantes para encontrar una

solucin particular de la relacin de recurrencia suponiendo que el trmino independiente, en es una


funcin polinmica, exponencial o trigonomtrica.
I.- Supongamos que en = (l0 +l1 n+. . .+lk nk ) bn es el producto de un polinomio por una exponencial.
Ntese que se incluyen las funciones polinmicas (cuando b = 1) y las exponenciales (con l1 =
. . . = lk = 0) como casos particulares. La forma que adopta la solucin particular depende de las
races de la ecuacin caracterstica
Tipo de raz
b no es raz
b es raz simple
b es raz doble

Solucin particular
(C0 + C1 n + . . . + Ck nk ) bn
n(C0 + C1 n + . . . + Ck nk ) bn
n2 (C0 + C1 n + . . . + Ck nk ) bn

II.- Supongamos que en = bn cos n, o bn sen n, es decir que en es de tipo trigonomtrico (si b es
complejo consideramos en = bn = |b|n ejn ). La solucin particular la buscaremos entre las que
tienen la forma en = bn (A cos n + B sen n). En el caso de que b j sean races de la ecuacin
caracterstica, entonces la solucin particular adopta la forma en = n bn (A cos n + B sen n)
Ejemplo 3.9. En el ejemplo anterior considerbamos la relacin xn = 5 xn1 6 xn2 + 7n . Dado que
en = 7n y que 7 no es raz de la ecuacin caracterstica, buscamos una solucin del tipo yn = C0 7n .
Entonces
C0 7n 5 C0 7n1 +6 C0 7n 27n = 7n2 (C0 72 5 C0 7+6 C0 72 ) = 0 C0 (4935+6) = 49 C0 =
Que resulta ser la solucin particular de la que partamos.

4.

Relaciones de recurrencia lineales de orden superior


Las colecciones de secuencias de datos aparecen en problemas muy variados relacionados con la

Economa, la Fsica, la Biologa o la Ingeniera, en los que se dispone de conjuntos de datos discreto

12

49
20

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

que se pueden modelizar a travs de una relacin de recurrencia, por ejemplo unidades anuales de
produccin de cierta materia prima.
Adems de los tipo de problemas mencionados, tambin se puede considerar un abanico mucho
ms amplo de cuestiones relacionadas con problemas de la tcnica y que se expresan como ecuaciones
diferenciales, o en derivadas parciales. Las soluciones exactas y con condiciones iniciales, a veces, slo
se pueden obtener aproximadamente y uno de los mtodos es la discretizacin. La idea consiste en
cambiar el conjunto donde varan los parmetros (segmento, rectngulo, etc.) por un conjunto discreto
de puntos, o nodos, que formarn redes, o mallas, y las ecuaciones que rigen el fenmeno aplicadas a
los nodos de la malla forman unas relaciones en diferencias, o ecuaciones en diferencias.

4.1.

Generalidades
Para tratar de resolver una relacin lineal general con coeficientes constantes de la forma (1)

consideraremos el conjunto de las sucesiones y generalizaremos algunos de los procedimientos vistos en


las secciones precedentes.
Trabajaremos sobre el conjunto de las sucesiones de nmeros reales
SR = {(xn )nN : con xn R y n = 1, 2, . . .}
o de nmeros complejos

SC = {(wn )nN : con wn C y n = 1, 2, . . .}, en el campo de la ingeniera

a cada elemento de los conjuntos anteriores se denomina seal discreta. Como ya comentamos en
S
ocasiones la sucesin se describe para el conjunto de ndices N {0}.
Si la sucesin (xn )nN verifica que xn = l n N la denotaremos por (l)nN , o simplemente (l).
Proposicin 4.1. El conjunto SR , respectivamente SC , con la suma y el producto por escalares habituales tiene estructura de R-espacio vectorial, respectivamente C-espacio vectorial, de dimensin infinita.
Demostracin. En la demostracin utilizaremos el conjunto SR , para SC las consideraciones son
anlogas. Recordemos que las operaciones mencionadas se definen como:
Suma: (xn )nN + (yn )nN = (xn + yn )nN

(xn ), (yn ) SR

Producto por escalares: (xn )nN = ( xn )nN

(xn ) SR y R

La estructura de espacio vectorial (con la suma es grupo abeliano y con el producto por escalares
verifica que es distributiva respecto de los escalares y respecto de las sucesiones, asociativa respecto de
los escalares y elemento neutro para la operacin) es consecuencia de las propiedades de la suma y el
producto de nmeros reales.
13

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

(n
La dimensin es infinita porque el conjunto {(0, 0, . . . , 0, 1, 0, . . .) : n N} es libre, o
linealmente independiente,y generador, por lo que es base, e infinito.
(1)

(2)

(k)

Nota 4.1. Recordemos que las sucesiones {(xn ), (xn ), . . . , (xn )} son linealmente independientes
si y slo si
(2)
(k)
1 (x(1)
n )nN + 2 (xn )nN + . . . + k (xn )nN = (0)nN 1 = 2 = . . . = k = 0

Para estudiar la independencia de un conjunto finito de sucesiones {(x1n ), (x2n ), . . . , (xkn )} se


analizan submatrices de las matrices infinitas

(1)
(2)
x1

x1
(1)
(2)
x
x2

2
.
..
..
..
.
.

x(1) x(2)
n
n
.
..
..
.
(1)

(k)

x1

(k)
x2

..
.

(k)

xn
..
.

(2)

(k)

Proposicin 4.2. Las sucesiones {(xn ), (xn ), . . . , (xn )} son linealmente independiente si y slo
si existen k ndices, {n1 , . . . , nk }, en N tales que la matriz cuadrada

(1)

(2)

xn1

xn1

(k)

xn1

(1)
(2)
xn2 xn2

..
..
..
.
.
.

(1)
(2)
xnk xnk

(k)

xn2
..
.

(k)

xnk

es regular (tiene rango k, o tiene determinante no nulo).


(1)

(2)

(k)

Demostracin. La combinacin lineal 1 (xn ) + 2 (xn ) + . . . + k (xn ) = (0), siendo 1 , 2 , . . . , k


elementos del conjunto considerado, R o C, y donde (0) representa la sucesin idnticamente cero, se
puede expresar como

(1)

(2)

x1

x1
(1)
(2)
x
x2

2
.
..
..
..
.
.

x(1) x(2)
n
n
.
..
..
.

(k)

x1

(k)

x2
..
.

(k)

xn
..
.

0


0

.
= ..


0

.
..

1
2
..
.
k

Es un sistema lineal infinito y homogneo, siendo las incgnitas 1 , 2 , . . . , k , por lo que siempre
admite la solucin idnticamente cero. La solucin es nica si y slo si la matriz de coeficientes tiene
rango mximo, es decir k. Decir que la solucin 1 = 2 = . . . = k = 0 es nica, equivale a decir que

14

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

{(x1n ), (x2n ), . . . , (xkn )} son linealmente independiente, si y slo si existe una submatriz de orden k k
regular.

Para estudiar la independencia lineal de funciones de variable continua se utiliza el wronsquiano,


en analoga para el anlisis de la independencia de sucesiones consideraremos el casoratiano, cuya
versin para dos sucesiones es la Def. 3.2.
Definicin 4.1. Dadas las secuencias {(x1n ), (x2n ), . . . , (xkn )} llamaremos matriz de Casorati de orden
j, con j N, a

(1)

xj

(2)

xj

(1)
(2)
xj+1
xj+1
(1)
(2)
(k)
1
2
k
Wj = Wj (xn , xn , . . . , xn )) = W (xj , xj , . . . , xj ) =

..
..
..

.
.
.

(1)
(2)
xj+k1 xj+k1
(1)

(2)

(k)

xj

(k)

xj+1
..
.

(k)

xj+k1

(k)

y a su determinante, wj = w(xj , xj , . . . , xj ) = det Wj (x1n , x2n , . . . , (xkn )), casoratiano de las


secuencias.
Ntese que para cada ndice j la matriz de Casorati puede ser diferente.
Ejemplo 4.1. Dadas las sucesiones

22 22

W2 = W (22 , 22 , 1) = 23 32

24 42

{(2n ), (n2 ), (1n )}



1
2
2


1 = 8 9

1
16 16

las matrices de Casorati de ordenes 2 y 5

1
32

5
2
1 ; W5 = W (2 , 5 , 1) = 64

1
128

son

25 1

36 1

49 1

y los correspondientes casoratianos son w2 = 238 y w5 = 3360


Como consecuencia de la Prop.4.2
Corolario 4.1. Si el casoratiano de orden h de las sucesiones {(x1n ), (x2n ), . . . , (xkn )} es no nulo, es
decir wh 6= 0, para algn h N, entonces son linealmente independientes.
Demostracin. Si existe un ndice h N, con wh 6= 0, entonces la submatriz con ndices consecutivos
desde h hasta (h + k 1) , que es la matriz de Casorati de orden h de las sucesiones, es regular.
Observacin 4.1. Si bien que un casoratiano sea no nulo implica que las sucesiones sean linealmente
independientes, el recproco no es cierto, es decir puede ocurrir que todos los casoratianos sean nulos
y que las secuencias sean linealmente independientes, por ejemplo si x = (1, 0, 1, 0, 0, 0, 0, . . .) e y =
(1, 0, 0, 0, 0, 0, 0, . . .), entonces todos los casoratianos son cero y sin embargo existe una submatriz de
orden 2 2, la formada por los ndices 1 y 3, regular.

15

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

Proposicin 4.3. Sean r1 , r2 , . . . , rp C {0} todos diferentes entre si, i.e. ri 6= rj si i 6= j,


con i, j N, entonces el conjunto de p secuencias, con p 1, {(r1n )nN , (r2n )nN , . . . , (rpn )nN } es
linealmente independiente.
Demostracin. El caso p = 1 es trivial y el caso p = 2 est desarrollado en el Ejemplo 3.5(2). Para
el caso general se puede comprobar que

n
n
n
w1 = w1 (r1 , r2 , . . . , rp )) =

r1 r2
r12 r22
..
.. . .
.
.
.
r1p r2p

rp

p
Y
rp2
= r1 r2 rp
(ri rj ) 6= 0
..
.
i,j=1
i>j
p
rp

donde la ltima igualdad es consecuencia de ser las constantes no nulas y diferentes.

Proposicin 4.4. Si r C{0}, entonces el conjunto de p+1 secuencias {(rn )nN , (nrn )nN , . . . , (np rn )nN },
con p 1, es linealmente independiente.
Demostracin. El casoratiano de primer orden para las p + 1 secuencias (rn ), (nrn ), . . . , (np rn ) es

2
r
2r2

n
n
n

w1 = w1 (r1 , r2 , . . . , rp )) = .
..
..
..
.
.

p+1
r
(p + 1)rp+1

r
2p r 2
..
.
(p + 1)p+1 rp+1

Sacando factor comn r en la primera fila, r2 en la segunda y as sucesivamente hasta rp+1 en la ltima
fila obtenemos

2
p+1
w1 = rr r

1
..
.

2
..
.

..
.

2p
..
.

1 (p + 1)

(p + 1)p+1

(p+1)(p+2)
(p+1)(p+2)
=r
2
2
p+1 = 1! 2! (p 1)! p! r

donde la ltima igualdad es consecuencia de que p+1 es un determinante de tipo Vandermonde, con
lo que w1 6= 0.

4.2.

Soluciones y condiciones iniciales


Recordemos que la relacin de recurrencia lineal de orden k con coeficientes constantes es
xn = a1 xn1 + a2 xn2 + . . . + ak xnk + en

16

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

para n > k y donde a1 , a2 , . . . , ak son constantes reales, o complejas, fijas y ak 6= 0. En el caso de que
el trmino en sea cero diremos que la relacin es lineal y homognea.
Si adems, se conocen algunos valores x1 , . . . , xn0 , que llamamos condiciones iniciales, podremos
determinar una solucin, es decir secuencia, (xn )nN , que verifique la ecuacin y las condiciones iniciales.
El siguiente resultado generaliza el caso de las relaciones homogneas de segundo orden de la
Prop. 3.2.
Proposicin 4.5. El conjunto, S, de soluciones de la la relacin de recurrencia lineal de orden k con
coeficientes constantes homognea, xn = a1 xn1 + a2 xn2 + . . . + ak xnk , es un subespacio vectorial
de SC .
Demostracin. Evidentemente la sucesin constantemente igual a cero, (0), es una de la soluciones.
Sean (xn ) e (yn ) soluciones de la ecuacin, entonces
xn = a1 xn1 + a2 xn2 + . . . + ak xnk
yn = a1 yn1 + a2 yn2 + . . . + ak ynk
Sean , C y sea la sucesin (zn = xn + yn )nN .
a1 zn1 +a2 zn2 +. . .+ak znk = a1 (xn1 +yn1 )+a2 (xn2 +yn2 )+. . .+ak (xnk +ynk ) =
= (a1 xn1 + a2 xn2 + . . . + ak xnk ) + (a1 yn1 + a2 yn2 + . . . + ak ynk ) = xn + yn = zn
Luego, (xn + yn )nN es solucin y por tanto S es subespacio vectorial de SC .

Proposicin 4.6. Sean n0 N, suele ser n0 = 1, y c1 , . . . , ck C constantes cualesquiera con


xn0 = c1 , xn0 +1 = c2 , . . . , xn0 +k1 = ck . Entonces existe una nica solucin de xn = a1 xn1 +
a2 xn2 + . . . + ak xnk + en y cumpliendo las condiciones dadas.
Demostracin. La obtencin de la solucin se realiza iterativamente haca adelante y haca atrs a
partir de los valores conocidos y, adems, es nica por construccin.
Si

n n0 + k

Si

n < n0

xn = a1 xn1 + a2 xn2 + . . . + ak xnk + en


xn+k a1 xn+k1 a2 xn+k2 . . . ak1 xn1 en+k
xn =
ak

Observacin 4.2. Se puede demostrar que la dimensin del subespacio vectorial S formado por las
soluciones de la la relacin de recurrencia lineal de orden k con coeficientes constantes tiene dimensin
k.
17

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

Teorema 4.1. Sea yn una solucin particular de la Relacin 1. Entonces, zn es solucin de la Relacin
1 si y slo si yn zn es solucin de la relacin homognea asociada.
Demostracin. Se deja como ejercicio.

Ntese que las soluciones de la relacin completa se obtienen como suma de una solucin
particular de la completa y alguna solucin de la relacin homognea asociada.
A continuacin enunciamos sin demostracin un resultado que generaliza el de la Prop. 3.3.
(1)

(2)

(k)

Proposicin 4.7. Sean xn , xn , . . . , xn k soluciones de la relacin lineal homognea


xn = a1 xn1 + a2 xn2 + . . . + ak xnk ,
y la sucesin de sus casoratianos W = (wn )nN . Las siguientes afirmaciones son equivalentes
(1)

(2)

(k)

1. xn , xn , . . . , xn son linealmente independientes.


2. W es la sucesin constantemente igual a cero, es decir wn = 0 n N.
3. wm = 0 para algn entero m.
Observacin 4.3. Al igual que para resolver las relaciones de recurrencia lineales de segundo orden
con coeficientes constantes procederemos a calcular todas las soluciones de la ecuacin homognea
(siguiente subseccin), despus trataremos de hallar una solucin particular y, por ltimo, determinar
las constantes para que se verifiquen las condiciones iniciales impuestas.

4.3.

Relacin lineal homognea con coeficientes constantes


Para hallar la solucin general de la relacin homognea obtendremos k soluciones linealmente

independientes a partir de las races de la ecuacin caracterstica.


Definicin 4.2. Dada la relacin de recurrencia lineal y homognea de coeficientes constantes
xn a1 xn1 a2 xn2 . . . + ak xnk = 0
llamaremos ecuacin caracterstica asociada, a la expresin
xk a1 xk1 a2 xk2 . . . ak1 x ak = 0
El polinomio P () = k a1 k1 a2 k2 . . . ak1 ak
y a sus ceros races caractersticas.

18

(5)

se denomina polinomio caracterstico

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

Nota 4.2. Esta definicin ampla la dada para relaciones lineales de orden dos.
Se considera primeramente el caso de que las k races caractersticas sean diferentes entre si y,
a continuacin el caso de multiplicidad de dichas races.
Proposicin 4.8. Sea la relacin xn a1 xn1 a2 xn2 . . . + ak xnk = 0. Si es raz de la
ecuacin caracterstica, entonces xn = n es una solucin de la relacin dada.
Demostracin. Se utilizan los mismos argumentos de la Prop. 3.1.

Proposicin 4.9. Sea la relacin xn a1 xn1 a2 xn2 . . . ak xnk = 0. Si 1 , 2 , . . . , k son las


races de la ecuacin caracterstica y son distintas entre si, entonces la solucin general de la relacin
dada es
xn = A1 n1 + A2 n2 + . . . + Ak nk ,
siendo A1 , A2 , . . . , Ak constantes arbitrarias.
Demostracin. El conjunto G = {(n1 )nN , (n2 )nN , . . . , (nk )nN } es linealmente independiente
(Prop. 4.3). Adems, segn la Observ. 4.2, la dimensin del conjunto de soluciones es k, con lo que
G es una base y cualquier elemento se puede expresar como combinacin lineal, es decir de la forma
A1 n1 + A2 n2 + . . . + Ak nk .

Ejemplo 4.2. Consideramos la relacin lineal homognea de orden tres xn = 6 xn1 11 xn2 +6 xn3
con las condiciones iniciales x0 = 2, x1 = 5 y x2 = 15, que denotaremos por P 1

xn = 6 xn1 11 xn2 + 6 xn3


(P 1)

x = 2, x = 5, x = 15
0

El polinomio caracterstico es P () = 3 6 2 + 11 6 y sus races 1 = 1, 2 = 2 y 3 = 3, que son


distintas, entonces la solucin general es xn = A1 1n + A2 2n + A3 3n . Para determinar las constantes,
Ai , utilizamos las condiciones iniciales y se forma el sistema

x0 = 2 =
A1 + A2 + A3

A1 = 1, A2 = 1, A3 = 2
x1 = 5 = A1 + A2 2 + A3 3

x2 = 15 = A1 + A2 4 + A3 9
Luego la solucin al problema P 1 es xn = 2 3n 2n + 1.
A continuacin abordamos el caso de que las races de la ecuacin caracterstica sean mltiples.
Definicin 4.3. Dado el polinomio P (x) con coeficientes en C, es decir P (x) C[x], diremos que
C es una raz mltiple de orden h de la ecuacin P (x) = 0, si P (x) = (x )h Q(x), con
Q(x) C[x] y Q() 6= 0.
19

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

Proposicin 4.10. Sea el polinomio P (x), con P (x) C[x]. C es una raz mltiple de orden h
de la ecuacin P (x) = 0 si y slo si P () = 0, P 0 () = 0, . . . , P (h1 () = 0 y P (h () 6= 0.
Demostracin.
) Si P (x) = (x )h Q(x) evidentemente P () = 0. P 0 (x) = (x )h1 (h Q(x) + (x ) Q0 (x)
y P 0 () = 0. Continuando con el proceso llegamos a que P (h1 (x) = (x )(h(h 1) 2 Q(x) +
(x )h1 Q(h1 (x)) y P (h1 () = 0. Por ltimo, P (h (x) = h! Q(x) + (x )h Q(h (x), por tanto
P (h () = h! Q() + 0 6= 0 porque Q() 6= 0.

) Si el grado del polinomio P (x) es n el desarrollo en serie de Taylor alrededor de es


"
#
(h ()
(h+1 ()
(n ()
P
P
P
P (x) = (x )h
+
+ ... +
= (x )h Q(x)
h!
(h + 1)!
n!
Obtenindose el resultado con Q(x) la suma entre corchetes.

Proposicin 4.11. Si es una raz no nula con orden de multiplicidad h (h > 1) de la ecuacin caracterstica de la relacin xn = a1 xn1 + a2 xn2 + . . . + ak xnk , entonces el conjunto
{(n )nN , (nn )nN , . . . , (nh1 n )nN } es un conjunto de soluciones linealmente independientes.
Demostracin. Son independientes por la Prop. 4.4.
Queda como ejercicio demostrar que si m {0, 1, 2, . . . , h1}, entonces la secuencia (nm n )nN
es solucin de xn = a1 xn1 + a2 xn2 + . . . + ak xnk .

Corolario 4.2. Sea la relacin xn = a1 xn1 + a2 xn2 + . . . + ak xnk , con polinomio caracterstico
P (x). Si las races no nulas son 1 , 2 , . . . , l con orden de multiplicidad h1 , h2 , . . . , hl , respectivamente, y h1 + h2 + . . . + hl = k, entonces la solucin general de la relacin dada es

xn = A11 n1 + A12 nn1 + . . . + A1h1 nh1 1 n1 + . . . + Al1 nl + Al2 nnl + . . . + Alhl nhl 1 nl
siendo A1j constantes arbitrarias.
Ejemplo 4.3. Sea la relacin lineal homognea de orden tres xn = 3 xn1 3 xn2 6 xn3 con las
condiciones iniciales x0 = 1, x1 = 2 y x2 = 1, que denotaremos por P 2

xn = 3 xn1 3 xn2 6 xn3


(P 2)

x = 1, x = 2, x = 1
0

El polinomio caracterstico es P () = 3 + 3 2 + 3 + 1 y su nica raz es = 1, con orden de


multiplicidad 3. Entonces la solucin general es xn = A1 (1)n + A2 n (1)n + A3 n2 (1)n . Para

20

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

determinar las constantes usamos las condiciones iniciales, obteniendo

x0 = 1 = A1

A1 = 1, A2 = 3, A3 = 2
x1 = 2 = A1 2 A3

x2 = 1 = A1 + A2 2 + A3 4
Luego la solucin al problema P 2 es xn = (1)n + 3 n(1)n 2 n2 (1)n = (1)n (2 n2 + 3 n + 1).

4.4.

Soluciones particulares
Como ya se ha mencionado las soluciones de una relacin lineal completa se obtienen como suma

de una solucin particular de la completa y alguna solucin de la relacin homognea asociada. En este
apartado describiremos dos mtodos de clculo de soluciones particulares, el mtodo de variacin de
las constantes, que ya se mencion en la Seccin 4.3 y el mtodo de reduccin a ecuacin homognea.
El mtodo de variacin de las constantes que exponemos es para encontrar una solucin particular de la relacin de recurrencia suponiendo que el trmino independiente, en , es una funcin
polinmica, exponencial o trigonomtrica.
I.- Supongamos que en = (l0 +l1 n+. . .+lk nk ) bn es el producto de un polinomio por una exponencial
(polinmicas con b = 1 y exponenciales con l1 = . . . = lk = 0). La forma que adopta la solucin
particular depende de las races de la ecuacin caracterstica
Tipo de raz

Solucin particular
(C0 + C1 n + . . . + Ck nk ) bn

b no es raz

n(C0 + C1 n + . . . + Ck nk ) bn

b es raz simple
b es raz mltiple de orden h

nh (C0 + C1 n + . . . + Ck nk ) bn

II.- Si en es de tipo trigonomtrico, en = bn cos n, o bn sen n. En caso de que b sea complejo consideramos en = bn = |b|n ejn ). La forma de solucin particular es en = bn (A cos n + B sen n). Si
b j son adems races de la ecuacin caracterstica de orden h, entonces la solucin particular
adopta la forma en = nh1 bn (A cos n + B sen n)
Ejemplo 4.4. Con objeto de ilustrar el mtodo consideraremos el caso de relaciones de orden dos.
Analizaremos la forma de soluciones particulares de la relacin lineal homognea de orden dos xn =
6 xn1 9 xn2 + en cuando en = 3n , en = n 3n , en = n2 2n y en = (n2 + 1)3n .
El polinomio caracterstico es x2 6x + 9 y la nica raz (doble) es x = 3. Por lo que la solucin
general de la ecuacin homognea es xn = A1 3n + A2 n 3n .
Para la forma de la solucin particular se debe tener en cuenta si las races caractersticas
intervienen en en .
21

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

1. Si en = 3n , y puesto que 3 es raz doble del polinomio caracterstico, la solucin particular ser
de la forma yn = B n2 3n . Sustituyendo en la relacin y operando
B n2 3n = 6B (n1)2 3n1 9B (n2)2 3n2 +3n B n2 3n = 2B (n1)2 3n B (n2)2 3n +3n
Dividiendo por 3n e igualando los coeficientes de los polinomios de grado tres en n obtenemos
1
1
B = . Luego, la solucin es zn = n2 3n + A1 3n + A2 n 3n
2
2
2. Si en = n 3n , por ser 3 raz caracterstica la forma de la solucin particular es yn = n2 (Bn+C)3n .
3. Si en = n2 2n , por no ser 2 raz caracterstica la forma de la solucin particular es yn = (Bn2 +
Cn + D)2n .
4. Si en = (n2 + 1)3n , por ser 3 raz la forma de la solucin particular es yn = n2 (Bn2 + Bn + C)3n .
Como ejercicio calcula las constantes, si existen, de los tres ltimos casos.
El segundo mtodo consiste en realizar una combinacin lineal de las relaciones de recurrencia
desplazadas de forma que se obtenga una relacin lineal homognea, aunque de grado superior, que
puede resolverse en ocasiones.
(1)

(2)

Proposicin 4.12. Si (xn ) es solucin de xn = a1 xn1 + a2 xn2 + . . . + ak xnk + en y (xn )


(1)

(2)

es solucin de xn = a1 xn1 + a2 xn2 + . . . + ak xnk + fn , entonces (xn + xn ) es solucin de


xn = a1 xn1 + a2 xn2 + . . . + ak xnk + en + fn
Demostracin. Por ser soluciones de los problemas mencionados se verifica que
(1)

(1)

(1)

(1)

(2)

(2)

(2)

(2)

xn = a1 xn1 + a2 xn2 + . . . + ak xnk + en


xn = a1 xn1 + a2 xn2 + . . . + ak xnk + fn
(1)

(2)

(1)

(2)

(1)

(2)

(1)

(2)

Sumando obtenemos xn + xn = a1 (xn1 + xn1 ) + a2 (xn2 + xn2 ) + . . . + ak (xnk + xnk ) + en + fn .

Referencias
[1] E. Bujalance, J.A. Bujalance, A.F. Costa, E. Martnez, Elementos de Matemtica Discreta, Sanz
y Torres, Madrid, 1993.
[2] E. Bujalance, J.A. Bujalance, A.F. Costa, E. Martnez, Problemas de Elementos de Matemtica
Discreta, Sanz y Torres, Madrid, 1993.

22

Matemtica Discreta (UPM). Curso 2010/11. 2o semestre

Martn, E.; Mndez, A.; Ortiz, C.; Sendra, J.

[3] R.L. Grimaldi, Matemtica discreta y combinatoria. Una introduccin con aplicaciones, PrenticeHall, Mxico, 1998.
[4] R.L. Grimaldi, Matemtica discreta y combinatoria, Addison-Wesley Iberoamericana, 1989.
[5] P. Henrici, Elementos de anlisis numrico, Ed. Trillas, Mxico, 1972.
[6] K. H. Rosen, Matemtica discreta y sus aplicaciones, 5a ed., McGraw-Hill Iberoamericana, 2004.
[7] A.A. Samarski, E.S. Nikolaev, Mtodos de solucin de las ecuaciones reticulares, Ed. Mir, 1982.

23

También podría gustarte