Recuurencia

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 1
2. Relaciones de recurrencia lineales de primer orden 4
2.1. Relacin lineal homognea con coecientes constantes . . . . . . . . . . . . . . . . . . . 4
2.2. Relacin lineal completa con coecientes constantes . . . . . . . . . . . . . . . . . . . . 5
3. Relaciones de recurrencia lineales de segundo orden 6
3.2. Relacin lineal completa con coecientes 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.4. Soluciones particulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Referencias 22
I
Matemtica Discreta (UPM). Curso 2010/11. 2
o
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 Runi 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, tras-
puesta, inversa).
Habilidades de clculo con matrices.
Conocer conceptos y clculo de determinantes (denicin, 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
o
Objetivo general: Comprender que los mtodos recursivos son fundamentales para el anlisis de
problemas relacionados con los algoritmos.
Objetivos Especcos:
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 coecientes cons-
tantes.
Resolver con soltura relaciones de recurrencia lineales homogneas de segundo orden con
coecientes constantes.
Hallar soluciones particulares de recurrencia lineales de segundo orden con coecientes cons-
tantes.
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 coecientes constantes.
Conocer y utilizar mtodos para el clculo de soluciones particulares de relaciones de recu-
rrencia lineales con coecientes constantes.
Resolver algunas relaciones de recurrencia lineales con coecientes 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
o
1. Introduccin a las relaciones de recurrencia
Consideramos la sucesin a
0
, a
1
, . . . , donde a
n
= 4n n N. Para determinar el valor de a
7
calculamos a
7
= 4 7 = 28 y no tenemos necesidad de conocer el valor de los 6 trminos anteriores.
Ntese que la sucesin (a
n
)
nN
satisface la relacin s
n+1
= s
n
+ 4, pero que la sucesin de
trmino general b
n
= 4n + 4 tambin satisface la relacin s
n+1
= s
n
+ 4. Si conocemos uno de los
trminos de la sucesin, por ejemplo s
3
= 20 entonces la solucin queda unvocamente determinada
por s
n
= a
n
= 4(n + 2) n N.
Otra forma de denir una sucesin es por induccin. La sucesin de Fibonacci, F
n
, es un ejemplo
de sucesin denida recursivamente, F
0
= 0; F
1
= 1 y F
n
= F
n1
+ F
n2
n 2. Pero ahora si
deseamos obtener el valor de F
7
deberemos conocer los previos F
2
= F
1
+F
0
= 1 + 0 = 1
F
3
= F
2
+F
1
= 1 + 1 = 2
F
4
= F
3
+F
2
= 2 + 1 = 3
F
5
= F
4
+F
3
= 3 + 2 = 5
F
6
= F
5
+F
4
= 5 + 3 = 8
F
7
= F
6
+F
5
= 8 + 5 = 13
Sabiendo la expresin exacta para los trminos de la sucesin de Fibonacci:
F
n
=
1
5
_
1 +
5
2
_
n
5
_
1
5
2
_
n
,
podemos hallar el valor de un trmino cualquiera sin necesidad de conocer otros, por ejemplo F
30
=
832040.
Los ejemplos mencionados son casos particulares de un conjunto ms amplo de cuestiones re-
lacionadas 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 aproxima-
damente 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.
Denicin 1.1. Un conjunto en el que se especican algunos de sus elementos y que el resto de
elementos se denen a partir de los conocidos se dice que es un conjunto denido recursivamente. En
particular, una sucesin S : N R est denida recursivamente si:
1. n
0
N tal que se conocen los valores S
1
, . . . , S
n
0
.
1
o
2. Para n > n
0
el trmino S
n
est denida en trminos de S
1
, . . . , S
n1
; S
n
= f(S
1
, . . . , S
n1
).
Observacin 1.1. Los valores S
1
, . . . , S
n
0
se denominan condiciones iniciales y a la funcin que des-
cribe a S
n
en trminos de sus predecesores se llama relacin de recurrencia, o ecuacin en diferencias,
para S
n
.
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 dene por recurrencia el factorial de
los nmeros naturales.
2. La sucesin a
n+1
= a
n
para n 1 y C est denida recursivamente. Son soluciones de
dicha relacin
Si = 2 y a
0
= 1, entonces (a
n
) = (1, 2, 4, . . .)
Si = 2 y a
0
= 3, entonces (a
n
) = (3, 6, 12, . . .)
Si = 2 y a
0
= 5, entonces (a
n
) = (5, 10, 20, . . .)
Si = 3 y a
0
= 5, entonces (a
n
) = (5, 15, 45, . . .)
El conocimiento del valor de y a
0
determina completamente la sucesin.
3. Dada la secuencia de nmeros reales b
1
, b
2
, . . . vericando que
b
1
= 1; b
n
b
n1
= n
2
n 2
Por b
n
= b
n1
+n
2
= b
n2
+(n1)
2
+n
2
= . . . = b
1
+2
2
+. . . +n
2
= 1
2
+. . . +n
2
. Probaremos
que b
n
=
1
6
n (n + 1) (2n + 1) n 1
a) Para n = 1, se tiene
1
6
n (n + 1) (2n + 1) =
1
6
1 2 3 = 1 = b
1
), luego es cierto el resultado.
b) Supongamos que el resultado es cierto para n k.
c) Sea n = k + 1 entonces, b
k+1
= b
k
+ (k + 1)
2
=
1
6
k (k + 1) (2k + 1) + (k + 1)
2
=
= (k +1)
1
6
(k (2k +1) +6(k +1)) = (k +1)
1
6
(k +2) (2k +2 +1)) =
1
6
(k +1) ((k +1) +
1) (2(k + 1) + 1).
Luego, por el principio de induccin, se cumple que b
n
=
1
6
n (n + 1) (2n + 1).
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
o
El inters mensual ser de
3
12
= 0, 25 %. Si el valor del depsito al cabo de n meses es d
n
, entonces
d
n+1
= d
n
+0, 0025 d
n
= 1, 0025 d
n
d
12
= 1000 (1, 0025)
12
= 1030, 41, as que despus de
un ao el cliente tendr 1030, 41 C.
5. Supongamos que tenemos una lista de n nmeros reales, a
1
, . . . , a
n
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 a
n
< a
n1
se intercambian los valores. A continuacin
comparamos a
n1
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 nalizar la ordenacin. Si c
n
es el nmero de comparaciones para ordenar n elementos tendremos la siguiente relacin de
recurrencia:
c
1
= 0; c
n
= c
n1
+ (n 1) n 2
Para hallar los primeros trminos podramos ir sustituyendo. Vamos a demostrar, por induccin
que, en general, c
n
=
n
2
n
2
.
a) Para n = 1, se tiene
n
2
n
2
= 0 = c
1
, luego es cierto el resultado.
b) Supongamos que el resultado es cierto para n k.
c) Sea n = k + 1 entonces, c
k+1
= c
k
+k =
k
2
k
2
+k =
k
2
k + 2k
2
=
(k + 1)
2
(k + 1)
2
.
Luego, por el principio de induccin, se cumple que c
n
=
n
2
n
2
.
Denicin 1.2. Una sucesin (x
n
)
nN
de nmeros complejos diremos que es recursiva lineal de orden
k y con coecientes constantes si se puede expresar como
x
n
= a
1
x
n1
+a
2
x
n2
+. . . +a
k
x
nk
+e
n
(1)
para n > k y donde a
1
, a
2
, . . . , a
k
son constantes reales, o complejas, jas. En el caso de que el
trmino e
n
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 (x
n1
x
n3
, o sen x
n1
)
Conociendo los primeros k elementos todos los siguientes se pueden hallar mediante una com-
binacin lineal de los k precedentes, y dichas ecuaciones se conocen como condiciones de frontera, o
iniciales.
3
o
En estos apuntes consideraremos el caso de que los coecientes a
1
, . . . , a
k
son constantes. Una
recursin lineal general de orden k tiene por expresin
x
n
= a
1
(n) x
n1
+a
2
(n) x
n2
+. . . +a
k
(n) x
nk
+e
n
Ejemplo 1.2. La sucesin de Fibonacci, F
n
, denida por, F
0
= 0; F
1
= 1 y F
n
= F
n1
+F
n2
n
2 es un ejemplo de relacin lineal de segundo orden y homognea.
Un ejemplo de ecuacin de recurrencia lineal con coecientes constantes de orden 4 y no homo-
gnea es x
n
= 2 x
n1
+ 3 x
n2
4 x
n3
+ 2 x
n4
+n.
2. Relaciones de recurrencia lineales de primer orden
Las relaciones de recurrencia lineales ms simples son las de primer orden
Denicin 2.1. Una sucesin (x
n
)
nN
de nmeros complejos diremos que es recursiva lineal de primer
orden y con coecientes constantes si se puede expresar como
x
n
= k x
n1
+e
n
(2)
para n > 1 y donde k es una constante ja. Si e
n
= 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 coecientes constantes
Las relaciones de recurrencia lineales homogneas de primer orden y con coecientes constantes
son de la forma x
n
= k x
n1
.
Ejemplo 2.1. Una progresin geomtrica de razn r es una sucesin de nmeros donde el cociente de
cualquier trmino entre el que le precede es r, es decir
x
n+1
x
n
= r x
n+1
= r x
n
, por lo que tenemos
una ecuacin de recurrencia lineal, de primer orden y homognea.
Dada la sucesin 3, 9, 27, 81, . . ., es sencillo comprobar que x
n+1
= 3 x
n
n 1. Pero la
sucesin 5, 15, 45, 225, . . ., tambin verica x
n+1
= 3 x
n
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 x
n+1
= r x
n
n 1, r constante y x
0
= A es
nica y viene dada por
x
n
= A r
n
n N
4
o
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.
Consideremos A = 0, si x
n
= A r
n
n N
x
n+1
x
n
=
A r
n+1
A r
n
= r, luego es solucin de la
ecuacin y se cumple la condicin inicial x
0
= A r
0
= A.
Ejemplo 2.2. Para resolver x
n+1
= 3 x
n
con la condicin x
2
= 18, consideramos la solucin general
que es x
n
= x
0
3
n
. Para n = 2 se tiene que x
2
= x
0
9 = 18 a
0
= 2 x
n
= 2 3
n
n N.
2.2. Relacin lineal completa con coecientes constantes
Ahora consideramos la Ecuacin (2) completa.
Proposicin 2.2. La solucin general de la relacin x
n+1
= r x
n
+e
n
n > 1, r constante y x
0
= A
es nica y viene dada por
x
n
= A r
n
+
n1
j=0
r
n1j
e
j
n N (3)
Demostracin. La unicidad de la solucin es trivial. Para demostrar la frmula anterior razonaremos
por induccin.
1. Si n = 1, x
1
= A r +
0
j=0
r
j
e
j
= r A+e
0
= r x
0
+e
0
, luego se cumple la relacin.
2. Supongamos que se cumple para todo n k.
3. Sea n = k + 1 entonces, x
n+1
= r x
n
+e
n
= r
_
_
A r
n
+
n1
j=0
r
n1j
e
j
_
_
+e
n
=
= A r
n+1
+
n1
j=0
r r
n1j
e
j
+r
0
e
n
= A r
n+1
+
n
j=0
r
nj
e
j
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 x
n+1
x
n
= d x
n+1
= x
n
+ d, luego es una
relacin lineal no homognea de orden uno.
Sea la relacin x
n+1
= x
n
+ 2 para n 1, con x
0
= 1. Si aplicamos el resultado (3) obtenemos
x
n
= 1 1
n
+
n1
j=0
1
n1j
2 = 1 + 2 n = 2n + 1 n N, n 1
Es decir, los nmeros enteros impares positivos.
5
o
Observacin 2.1.
1. Si la relacin lineal homognea con coecientes constantes es x
n+1
= r x
n
para n > n
0
, y la
condicin inicial es x
n
0
= A entonces, la solucin general es x
n
= A r
nn
0
, para n n
0
.
2. Se puede demostrar que dada la relacin lineal homognea con coecientes variables x
n+1
= a
n
x
n
para n > n
0
, y la condicin inicial x
n
0
= x
0
, la solucin es x
n
=
_
n1
i=n
0
a
n
_
x
0
, para n n
0
.
3. Si la relacin lineal con coecientes constantes es x
n+1
= r x
n
+ e
n
para n > n
0
, y la condicin
inicial es x
n
0
= A entonces, la solucin general es x
n
= A r
nn
0
+
n1
j=n
0
r
n1j
e
j
, para n n
0
.
4. Tambin se puede demostrar que dada la relacin lineal con coecientes variables y de primer
orden x
n+1
= a
n
x
n
+ e
n
para n > n
0
, con la condicin inicial x
n
0
= A entonces, la solucin
general es x
n
= A
n1
i=n
0
a
n
+
n1
j=n
0
_
_
n1
i=j+1
a
n
_
_
e
j
, para n n
0
.
Ejemplo 2.4. Vimos al comienzo que si c
n
era el nmero de comparaciones para ordenar n elementos
entonces, c
1
= 0; c
n
= c
n1
+ (n 1) n 2 c
n+1
= c
n
+ n n 1, que es una relacin lineal
de primer orden con coecientes constantes. Aplicando la (3) obtenemos c
n
= 0 1
n
+
n1
j=0
1
n1j
j =
= 1 + . . . + (n 1) =
(1 +n 1)(n 1)
2
=
n
2
n
2
. Se ha empleado que la suma de los k primeros
trminos de una progresin aritmtica es la suma del primero y el ltimo multiplicada por el nmero
de trminos dividido por 2. El resultado conrma 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, x
n
= a
1
x
n1
+a
2
x
n2
+e
n
, con a
1
y a
2
constantes, a
2
= 0.
Comenzaremos suponiendo que la secuencia e
n
es idnticamente cero.
Si tuvisemos una solucin de la forma x
n
= r
n
entonces la relacin verica
0 = x
n
a
1
x
n1
a
2
x
n2
= r
n
a
1
r
n1
a
2
r
n2
= r
n2
(r
2
a
1
r a
2
)
Para que la expresin anterior sea cero se debe cumplir r = 0 (solucin trivial), o bien r
2
a
1
ra
2
= 0.
6
o
Denicin 3.1. Dada la relacin de recurrencia lineal homognea de coecientes constantes y de
segundo orden x
n
a
1
x
n1
a
2
x
n2
= 0, se denomina ecuacin caracterstica asociada, a la
expresin x
2
a
1
x a
2
= 0. Al polinomio P() =
k
a
1

k1
a
2
le llamaremos polinomio
caracterstico y a sus ceros races caractersticas.
Ejemplo 3.1. En la recurrencia que dene la sucesin de Fibonacci, F
n
= F
n1
+ F
n2
, la ecuacin
caracterstica es x
2
x 1 = 0 y sus races caractersticas son
1
1 + 4
2
.
Proposicin 3.1. Sea la relacin x
n
a
1
x
n1
a
2
x
n2
= 0. Si z
1
y z
2
son dos ceros distintos del
polinomio caracterstico, entonces x
(1)
n
= z
n
1
y x
(2)
n
= z
n
2
son soluciones de la relacin. Si el cero z
1
es
raz doble del polinomio caracterstico, entonces x
(1)
n
= z
n
1
y x
(2)
n
= nz
n1
1
son soluciones de la relacin.
Demostracin. Para el caso de races distintas, para i = 1, 2 se tiene
x
n
a
1
x
n1
a
2
x
n2
= z
n
i
a
1
z
n1
i
a
2
z
n2
i
= z
n2
i
(z
2
i
a
1
z
i
a
2
) = 0,
donde la ltima igualdad es consecuencia de ser z
i
raz del polinomio caracterstico.
Para el caso de raz doble, la comprobacin de que x
(1)
n
es solucin coincide con el apartado
precedente. Para x
(2)
n
se cumple x
n
a
1
x
n1
a
2
x
n2
= n z
n1
1
a
1
(n1)z
n2
1
a
2
(n2)z
n3
1
=
= z
n3
1
((n2+2) z
2
1
a
1
(n2+1) z
1
a
2
(n2)) = z
n3
1
(n2) (z
2
1
a
1
z
1
a
2
) +z
n2
1
(2z
1
a
1
)
Por ser z
1
cero doble del polinomio caracterstico P() =
2
a
1
a
2
= ( z
1
)
2
y por tanto,
P(z
1
) = 0, y P
() = 2 ( z
1
) = 2 a
1
P
(z
1
) = 0 = 2z
1
a
1
. Luego, se cumple la relacin, ya
que n z
n1
1
a
1
(n 1)z
n2
1
a
2
(n 2)z
n3
1
= z
n3
1
(n 2) 0 +z
n2
1
0 = 0
Ejemplo 3.2. Para la sucesin de Fibonacci, F
n
= F
n1
+ F
n2
, son soluciones de la relacin las
sucesiones x
(1)
n
=
_
1 +
5
2
_
n
y x
(2)
n
=
_
1
5
2
_
n
.
Ejemplo 3.3. Dada la relacin x
n
= 2x
n1
2x
n2
, el polinomio caracterstico es P() =
2
2 +2.
Puesto que las races de P() son 1 j, las secuencias de nmeros complejos z
(1)
n
= (1 + j)
n
y
z
(2)
n
= (1 j)
n
son soluciones de la relacin dada.
Proposicin 3.2. Si x
(1)
n
y x
(2)
n
son dos soluciones de x
n
a
1
x
n1
a
2
x
n2
= 0, y si c
1
y c
2
son dos
constantes arbitrarias, entonces la sucesin y
n
= c
1
x
(1)
n
+ c
2
x
(2)
n
tambin es solucin de la relacin
considerada.
Demostracin. Esta propiedad es consecuencia de la linealidad de las relaciones.
y
n
a
1
y
n1
a
2
y
n2
= c
1
x
(1)
n
+c
2
x
(2)
n
a
1
(c
1
x
(1)
n1
+c
2
x
(2)
n1
) a
2
(c
1
x
(1)
n2
+c
2
x
(2)
n2
) =
= c
1
(x
(1)
n
a
1
x
(1)
n1
a
2
x
(1)
n2
) +c
2
(x
(2)
n
a
1
x
(2)
n1
a
2
x
(2)
n2
) = 0,
donde la ltima igualdad es consecuencia de que x
(i)
n
son soluciones de la relacin dada.
7
o
Observacin 3.1. Supongamos que dada la relacin x
n
a
1
x
n1
a
2
x
n2
= 0, con a
1
, a
2
R y
a
2
= 0, deseamos encontrar soluciones reales. En el caso de que las races del polinomio caracterstico
sean complejas, z
1
y z
2
, estas sern conjugadas, z
2
= z
1
, y las soluciones distintas sern x
(1)
n
= z
n
1
y
x
(2)
n
= z
1
n
= z
n
1
, por ser el conjugado del producto igual al producto de conjugados.
Para cualquier nmero complejo, z, se verica que
1
2
(z+z) = Re(z) y
1
2j
(zz) = Im(z), siendo
Re(z) e Im(z) las partes real e imaginaria, respectivamente, de z. Entonces, aplicando el resultado
previo, las sucesiones
y
(1)
n
=
1
2
(z
n
1
+z
n
1
) = Re(z
n
1
) y y
(2)
n
=
1
2j
(z
n
1
z
n
1
) = Im(z
n
1
)
son soluciones de la relacin.
Ejemplo 3.4. Sea la relacin x
n
= 2 x
n1
2 x
n2
para n 2, x
0
= 1 y x
1
= 2.
La ecuacin caracterstica es
2
2+2 = 0 y sus races = 1j. Entonces, la solucin general
es
y
n
= c
1
(1+j)
n
+c
2
(1j)
n
= c
1
(
2)
n
(cos n /4+j senn /4)+c
2
(
2)
n
(cos n /4j senn /4) =
= (
2)
n
((c
1
+c
2
) cos n /4 +j(c
1
c
2
) sen n /4) = (
2)
n
(k
1
cos n /4 +k
2
senn /4)
Teniendo en cuenta las condiciones iniciales, x
0
= 1 = k
1
y x
1
= 2 =

2(k
1
2
2
+ k
2
2
2
) = k
1
+ k
2
,
por lo que k
1
= 1, k
2
= 1 y la solucin es y
n
= (
2)
n
(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
homognea, x
(1)
n
y x
(2)
n
, y dada otra solucin y
n
, siempre es posible encontrar constantes c
1
y c
2
tales
que y
n
= c
1
x
(1)
n
+c
2
x
(2)
n
? Si fuese as a la combinacin lineal c
1
x
(1)
n
+c
2
x
(2)
n
la podramos denominar
solucin general.
Para que se pueda expresar cualquier solucin particular como combinacin lineal de dos solu-
ciones halladas se debe cumplir que, para dos enteros consecutivos n y n+1,el siguiente sistema tenga
solucin.
c
1
x
(1)
n
+c
2
x
(2)
n
= y
n
c
1
x
(1)
n+1
+c
2
x
(2)
n+1
= y
n+1
_
_
_
(4)
Por la teora de sistemas de ecuaciones lineales este sistema admite solucin nica si el determinante
de la matriz W
n
=
_
_
x
(1)
n
x
(2)
n
x
(1)
n+1
x
(2)
n+1
_
_
es diferente de cero, es decir w
n
=
x
(1)
n
x
(2)
n
x
(1)
n+1
x
(2)
n+1
= 0
8
o
Denicin 3.2. Dadas las secuencias x
(1)
n
y x
(2)
n
llamaremos matriz de Casorati de orden n asociada
a la secuencia a
W(n) = W(x
(1)
n
, x
(2)
n
) =
_
_
x
(1)
n
x
(2)
n
x
(1)
n+k1
x
(2)
n+k1
_
_
y a su determinante w(n) = w(x
(1)
n
, x
(2)
n
) = det W(n) =
x
(1)
n
x
(2)
n
x
(1)
n+k1
x
(2)
n+k1
casoratiano de las
secuencias.
Ejemplo 3.5.
1. Las secuencias ((1)
n
)
nN
y (1
n
= 1)
nN
tienen la siguiente la matriz de Casorati de orden n y
casoratiano
W((1)
n
, 1) =
_
_
(1)
n
1
(1)
n+1
1
_
_
; w((1)
n
, 1) =
(1)
n
1
(1)
n+1
1
= (1)
n
(1)
n+1
= 2 (1)
n
= 0
2. Dadas las secuencias (z
n
1
)
nN
y (z
n
2
=)
nN
, donde z
1
y z
2
son dos races no nulas y distintas de
la ecuacin caracterstica asociada a la relacin x
n
= a
1
x
n1
+ a
2
x
n2
, tienen la siguiente la
matriz de Casorati de orden n y casoratiano
W(z
n
1
, z
n
2
) =
_
_
z
n
1
z
n
2
z
n+1
1
z
n+1
2
_
_
; w(z
n
1
, z
n
2
) =
z
n
1
z
n
2
z
n+1
1
z
n+1
2
= z
n
1
z
n+1
2
z
n+1
1
z
n
2
= z
n
1
z
n
2
(z
2
z
1
) = 0
Denicin 3.3. Dos sucesiones x
(1)
n
y x
(2)
n
, denidas sobre un subconjunto I de nmeros enteros (no
necesariamente soluciones de una relacin lineal) se dice que son linealmente dependientes si existen
dos constantes, c
1
y c
2
, no nulas simultneamente tales que c
1
x
(1)
n
+ c
2
x
(2)
n
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 (1
n
= 1)
nN
. Si fuesen dependientes existiran
dos constantes, c
1
y c
2
, que verican para cualquier entero positivo n
c
1
(1)
n
+c
2
1 = 0
c
1
(1)
n+1
+c
2
1 = 0
_
_
_
por ser el casoratiano no nulo (ver Ejemplo prevo) c
1
= c
2
= 0
Por lo que las secuencias son independientes.
Denicin 3.4. Si (x
n
)
nN
e (y
n
)
nN
son sucesiones cualesquiera, y c
1
y c
2
son dos constantes arbi-
trarias, la sucesin (c
1
x
n
+c
2
y
n
)
nN
se llama combinacin lineal de las sucesiones (x
n
)
nN
e (y
n
)
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
o
Proposicin 3.3. Sean x
(1)
n
y x
(2)
n
dos soluciones de la relacin lineal x
n
a
1
x
n1
a
2
x
n2
= 0, y
la sucesin de sus casoratianos W = (w
n
)
nN
.
1. Si x
(1)
n
y x
(2)
n
son linealmente dependientes, entonces W es la sucesin constantemente igual a
cero.
2. Si w
m
= 0 para algn entero m, entonces las sucesiones son linealmente dependientes
Demostracin.
1. Si x
(1)
n
y x
(2)
n
son linealmente dependientes, entonces existen constantes, c
1
y c
2
, no nulas simul-
tneamente tales que c
1
x
(1)
n
+ c
2
x
(2)
n
= 0 n N. Sea un entero n cualquiera, entonces el
sistema
c
1
x
(1)
n
+c
2
x
(2)
n
= 0
c
1
x
(1)
n+1
+c
2
x
(2)
n+1
= 0
es lineal, homogneo y con solucin (c
1
, c
2
) no trivial, por lo que el determinante de los coe-
cientes, es decir w
n
, debe ser cero.
2. Si w
m
= 0 para algn entero m, entonces el sistema homogneo de dos ecuaciones
c
1
x
(1)
m
+c
2
x
(2)
m
= 0
c
1
x
(1)
m+1
+c
2
x
(2)
m+1
= 0
tiene solucin no trivial (c
1
, c
2
) y la sucesin y
n
= c
1
x
(1)
n
+c
2
x
(2)
n
= 0 es solucin de la relacin
x
n
a
1
x
n1
a
2
x
n2
= 0, por lo que x
(1)
n
y x
(2)
n
son linealmente dependientes.
Una consecuencia inmediata es el siguiente corolario.
Corolario 3.1. En las mismas hiptesis de la proposicin anterior, si w
m
= 0 para algn entero m,
entonces w
n
= 0 n N, y las soluciones x
(1)
n
y x
(2)
n
son linealmente independientes.
Ejemplo 3.7. Si (z
n
1
)
nN
y (z
n
2
)
nN
son dos races no nulas y distintas de la ecuacin caracterstica
asociada a la relacin x
n
= a
1
x
n1
+a
2
x
n2
, hemos visto en un ejemplo precedente que los casoratianos
eran diferentes de cero, luego las sucesiones (z
n
1
)
nN
y (z
n
2
)
nN
Teorema 3.1. Toda solucin de x
n
= a
1
x
n1
+ a
2
x
n2
puede expresarse como una combinacin
lineal de dos soluciones jas linealmente independientes.
Demostracin. Por la Prop. 3.2, dadas dos soluciones de la relacin una combinacin lineal de las
mismas es tambin solucin.
10
o
Si x
(1)
n
y x
(2)
n
son dos soluciones particulares de la relacin dada, de forma que toda solucin se
puede expresar como combinacin lineal de las dos, y
n
= c
1
x
(1)
n
+c
2
x
(2)
n
, entonces las constantes c
1
y
c
2
deben ser solucin de
c
1
x
(1)
m
+c
2
x
(2)
m
= y
m
c
1
x
(1)
m+1
+c
2
x
(2)
m+1
= y
m+1
_
_
_
para un m jo, por lo que el determinante w(x
(1)
n
, x
(2)
n
) = 0. Por el
Corolario previo las soluciones x
(1)
n
y x
(2)
n
Observacin 3.2. Para obtener la solucin de una relacin de recurrencia lineal, de segundo orden,
con coecientes constantes y homognea se proceder de la siguiente manera:
1. Formar la ecuacin caracterstica y hallar sus races, z
1
y z
2
.
2. Obtener la solucin general: c
1
z
n
1
+c
2
z
n
2
, o bien c
1
z
n
1
+c
2
n z
n1
1
en el caso de que z
1
= z
2
.
3. Utilizar las condiciones iniciales para determinar c
1
y c
2
.
3.2. Relacin lineal completa con coecientes constantes
Para resolver relaciones de la forma x
n
= a
1
x
n1
+ a
2
x
n2
+ e
n
, donde e
n
depende de n,
veremos un resultado que arma que toda solucin se puede obtener como suma de la solucin general
de la relacin homognea ms una solucin particular.
Teorema 3.2. Sea y
n
una solucin particular de x
n
= a
1
x
n1
+ a
2
x
n2
+ e
n
, y sean x
(1)
n
y x
(2)
n
dos soluciones linealmente independientes de x
n
= a
1
x
n1
+ a
2
x
n2
. Entonces toda solucin x
n
de
x
n
= a
1
x
n1
+a
2
x
n2
+e
n
puede expresarse como x
n
= c
1
x
(1)
n
+c
2
x
(2)
n
+y
n
, siendo c
1
y c
2
constantes
adecuadas.
Demostracin. La sucesin (y
n
)
nN
verica y
n
= a
1
y
n1
+ a
2
y
n2
+ e
n
n N. Si (x
n
)
nN
es
una solucin arbitraria de x
n
= a
1
x
n1
+ a
2
x
n2
+ e
n
, entonces (x
n
y
n
= d
n
)
nN
es solucin de
x
n
= a
1
x
n1
+ a
2
x
n2
, sin ms que restar. Por el T
a
. 3.1 existen constantes, c
1
y c
2
, de forma que
d
n
= c
1
x
(1)
n
+ c
2
x
(2)
n
, siendo x
(1)
n
y x
(2)
n
soluciones linealmente independientes de la homognea. Por
tanto,
x
n
= d
n
+y
n
= c
1
x
(1)
n
+c
2
x
(2)
n
+y
n
n N
Ejemplo 3.8. Dada la relacin x

n
= 5 x
n1
6 x
n2
+7
n
, vamos a comprobar que y
n
=
7
n+2
20
es una
solucin particular y determinar la forma de todas las soluciones.
5 y
n1
6 y
n2
+7
n
= 5
7
n+1
20
6
7
n
20
+7
n
= 7
n
_
7
20

6
20
+ 1
_
= 7
n
35 6 + 20
20
= 7
n
49
20
=
7
n+2
20
= y
n
11
o
Luego, y
n
es una solucin particular.
La ecuacin caracterstica de la relacin es
2
5 +6 = 0, cuyas races son 2 y 3. Por lo que
las soluciones son x
n
= c
1
2
n
+c
2
3
n
+
1
20
7
n+2
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, e
n
es una
funcin polinmica, exponencial o trigonomtrica.
I.- Supongamos que e
n
= (l
0
+l
1
n+. . .+l
k
n
k
) b
n
es el producto de un polinomio por una exponencial.
Ntese que se incluyen las funciones polinmicas (cuando b = 1) y las exponenciales (con l
1
=
. . . = l
k
= 0) como casos particulares. La forma que adopta la solucin particular depende de las
races de la ecuacin caracterstica
Tipo de raz Solucin particular
b no es raz (C
0
+C
1
n +. . . +C
k
n
k
) b
n
b es raz simple n(C
0
+C
1
n +. . . +C
k
n
k
) b
n
b es raz doble n
2
(C
0
+C
1
n +. . . +C
k
n
k
) b
n
II.- Supongamos que e
n
= b
n
cos n, o b
n
sen n, es decir que e
n
es de tipo trigonomtrico (si b es
complejo consideramos e
n
= b
n
= |b|
n
e
jn
). La solucin particular la buscaremos entre las que
tienen la forma e
n
= b
n
(Acos n+Bsen n). En el caso de que b j sean races de la ecuacin
caracterstica, entonces la solucin particular adopta la forma e
n
= n b
n
(Acos n +Bsen n)
Ejemplo 3.9. En el ejemplo anterior considerbamos la relacin x
n
= 5 x
n1
6 x
n2
+7
n
. Dado que
e
n
= 7
n
y que 7 no es raz de la ecuacin caracterstica, buscamos una solucin del tipo y
n
= C
0
7
n
.
Entonces
C
0
7
n
5 C
0
7
n1
+6 C
0
7n 27
n
= 7
n2
(C
0
7
2
5 C
0
7+6 C
0
7
2
) = 0 C
0
(4935+6) = 49 C
0
=
49
20
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
o
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 coecientes 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
S
R
= {(x
n
)
nN
: con x
n
R y n = 1, 2, . . .}
o de nmeros complejos S
C
= {(w
n
)
nN
: con w
n
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
ocasiones la sucesin se describe para el conjunto de ndices N
{0}.
Si la sucesin (x
n
)
nN
verica que x
n
= l n N la denotaremos por (l)
nN
, o simplemente (l).
Proposicin 4.1. El conjunto S
R
, respectivamente S
C
, con la suma y el producto por escalares habitua-
les tiene estructura de R-espacio vectorial, respectivamente C-espacio vectorial, de dimensin innita.
Demostracin. En la demostracin utilizaremos el conjunto S
R
, para S
C
las consideraciones son
anlogas. Recordemos que las operaciones mencionadas se denen como:
Suma: (x
n
)
nN
+ (y
n
)
nN
= (x
n
+y
n
)
nN
(x
n
), (y
n
) S
R
Producto por escalares: (x
n
)
nN
= ( x
n
)
nN
(x
n
) S
R
y R
La estructura de espacio vectorial (con la suma es grupo abeliano y con el producto por escalares
verica 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
o
La dimensin es innita porque el conjunto {(0, 0, . . . , 0, 1
(n
, 0, . . .) : n N} es libre, o
linealmente independiente,y generador, por lo que es base, e innito.
Nota 4.1. Recordemos que las sucesiones {(x
(1)
n
), (x
(2)
n
), . . . , (x
(k)
n
)} son linealmente independientes
si y slo si
1
(x
(1)
n
)
nN
+
2
(x
(2)
n
)
nN
+. . . +
k
(x
(k)
n
)
nN
= (0)
nN

1
=
2
= . . . =
k
= 0
Para estudiar la independencia de un conjunto nito de sucesiones {(x
1
n
), (x
2
n
), . . . , (x
k
n
)} se
analizan submatrices de las matrices innitas
_
_
_
_
_
_
_
_
_
_
_
_
x
(1)
1
x
(2)
1
x
(k)
1
x
(1)
2
x
(2)
2
x
(k)
2
.
.
.
.
.
.
.
.
.
.
.
.
x
(1)
n
x
(2)
n
x
(k)
n
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
_
_
_
_
Proposicin 4.2. Las sucesiones {(x
(1)
n
), (x
(2)
n
), . . . , (x
(k)
n
)} son linealmente independiente si y slo
si existen k ndices, {n
1
, . . . , n
k
}, en N tales que la matriz cuadrada
_
_
_
_
_
_
_
_
x
(1)
n
1
x
(2)
n
1
x
(k)
n
1
x
(1)
n
2
x
(2)
n
2
x
(k)
n
2
.
.
.
.
.
.
.
.
.
.
.
.
x
(1)
n
k
x
(2)
n
k
x
(k)
n
k
_
_
_
_
_
_
_
_
es regular (tiene rango k, o tiene determinante no nulo).
Demostracin. La combinacin lineal
1
(x
(1)
n
) +
2
(x
(2)
n
) +. . . +
k
(x
(k)
n
) = (0), siendo
1
,
2
, . . . ,
k
elementos del conjunto considerado, R o C, y donde (0) representa la sucesin idnticamente cero, se
puede expresar como
_
_
_
_
_
_
_
_
_
_
_
_
x
(1)
1
x
(2)
1
x
(k)
1
x
(1)
2
x
(2)
2
x
(k)
2
.
.
.
.
.
.
.
.
.
.
.
.
x
(1)
n
x
(2)
n
x
(k)
n
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
2
.
.
.
k
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
_
_
0
0
.
.
.
0
.
.
.
_
_
_
_
_
_
_
_
_
_
_
_
Es un sistema lineal innito 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 coecientes tiene
rango mximo, es decir k. Decir que la solucin
1
=
2
= . . . =
k
= 0 es nica, equivale a decir que
14
o
{(x
1
n
), (x
2
n
), . . . , (x
k
n
)} 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.
Denicin 4.1. Dadas las secuencias {(x
1
n
), (x
2
n
), . . . , (x
k
n
)} llamaremos matriz de Casorati de orden
j, con j N, a
W
j
= W
j
(x
1
n
, x
2
n
, . . . , x
k
n
)) = W(x
(1)
j
, x
(2)
j
, . . . , x
(k)
j
) =
_
_
_
_
_
_
_
_
x
(1)
j
x
(2)
j
x
(k)
j
x
(1)
j+1
x
(2)
j+1
x
(k)
j+1
.
.
.
.
.
.
.
.
.
.
.
.
x
(1)
j+k1
x
(2)
j+k1
x
(k)
j+k1
_
_
_
_
_
_
_
_
y a su determinante, w
j
= w(x
(1)
j
, x
(2)
j
, . . . , x
(k)
j
) = det W
j
(x
1
n
, x
2
n
, . . . , (x
k
n
)), casoratiano de las
secuencias.
Ntese que para cada ndice j la matriz de Casorati puede ser diferente.
Ejemplo 4.1. Dadas las sucesiones {(2
n
), (n
2
), (1
n
)} las matrices de Casorati de ordenes 2 y 5 son
W
2
= W(2
2
, 2
2
, 1) =
_
_
_
_
_
2
2
2
2
1
2
3
3
2
1
2
4
4
2
1
_
_
_
_
_
=
_
_
_
_
_
2 2 1
8 9 1
16 16 1
_
_
_
_
_
; W
5
= W(2
5
, 5
2
, 1) =
_
_
_
_
_
32 25 1
64 36 1
128 49 1
_
_
_
_
_
y los correspondientes casoratianos son w
2
= 238 y w
5
= 3360
Como consecuencia de la Prop.4.2
Corolario 4.1. Si el casoratiano de orden h
de las sucesiones {(x

1
n
), (x
2
n
), . . . , (x
k
n
)} es no nulo, es
decir w
h
= 0, para algn h
N, entonces son linealmente independientes.

Demostracin. Si existe un ndice h
N, con w
h
= 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
o
Proposicin 4.3. Sean r
1
, r
2
, . . . , r
p
C {0} todos diferentes entre si, i.e. r
i
= r
j
si i = j,
con i, j N, entonces el conjunto de p secuencias, con p 1, {(r
n
1
)
nN
, (r
n
2
)
nN
, . . . , (r
n
p
)
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
w
1
= w
1
(r
n
1
, r
n
2
, . . . , r
n
p
)) =
r
1
r
2
r
p
r
2
1
r
2
2
r
2
p
.
.
.
.
.
.
.
.
.
.
.
.
r
p
1
r
p
2
r
p
p
= r
1
r
2
r
p
p
i,j=1
i>j
(r
i
r
j
) = 0
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 {(r
n
)
nN
, (nr
n
)
nN
, . . . , (n
p
r
n
)
nN
},
con p 1, es linealmente independiente.
Demostracin. El casoratiano de primer orden para las p + 1 secuencias (r
n
), (nr
n
), . . . , (n
p
r
n
) es
w
1
= w
1
(r
n
1
, r
n
2
, . . . , r
n
p
)) =
r r r
r
2
2r
2
2
p
r
2
.
.
.
.
.
.
.
.
.
.
.
.
r
p+1
(p + 1)r
p+1
(p + 1)
p+1
r
p+1
Sacando factor comn r en la primera la, r

2
en la segunda y as sucesivamente hasta r
p+1
en la ltima
la obtenemos
w
1
= rr
2
r
p+1
1 1 1
1 2 2
p
.
.
.
.
.
.
.
.
.
.
.
.
1 (p + 1) (p + 1)
p+1
= r
(p+1)(p+2)
2

p+1
= 1! 2! (p 1)! p! r
(p+1)(p+2)
2
donde la ltima igualdad es consecuencia de que
p+1
es un determinante de tipo Vandermonde, con
lo que w
1
= 0.
4.2. Soluciones y condiciones iniciales
Recordemos que la relacin de recurrencia lineal de orden k con coecientes constantes es
x
n
= a
1
x
n1
+a
2
x
n2
+. . . +a
k
x
nk
+e
n
16
o
para n > k y donde a
1
, a
2
, . . . , a
k
son constantes reales, o complejas, jas y a
k
= 0. En el caso de que
el trmino e
n
sea cero diremos que la relacin es lineal y homognea.
Si adems, se conocen algunos valores x
1
, . . . , x
n
0
, que llamamos condiciones iniciales, podremos
determinar una solucin, es decir secuencia, (x
n
)
nN
, que verique 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
coecientes constantes homognea, x
n
= a
1
x
n1
+a
2
x
n2
+. . . +a
k
x
nk
, es un subespacio vectorial
de S
C
.
Demostracin. Evidentemente la sucesin constantemente igual a cero, (0), es una de la soluciones.
Sean (x
n
) e (y
n
) soluciones de la ecuacin, entonces
x
n
= a
1
x
n1
+a
2
x
n2
+. . . +a
k
x
nk
y
n
= a
1
y
n1
+a
2
y
n2
+. . . +a
k
y
nk
Sean , C y sea la sucesin (z
n
= x
n
+y
n
)
nN
.
a
1
z
n1
+a
2
z
n2
+. . .+a
k
z
nk
= a
1
(x
n1
+y
n1
)+a
2
(x
n2
+y
n2
)+. . .+a
k
(x
nk
+y
nk
) =
= (a
1
x
n1
+a
2
x
n2
+. . . +a
k
x
nk
) +(a
1
y
n1
+a
2
y
n2
+. . . +a
k
y
nk
) = x
n
+ y
n
= z
n
Luego, (x
n
+y
n
)
nN
es solucin y por tanto S es subespacio vectorial de S
C
.
Proposicin 4.6. Sean n
0
N, suele ser n
0
= 1, y c
1
, . . . , c
k
C constantes cualesquiera con
x
n
0
= c
1
, x
n
0
+1
= c
2
, . . . , x
n
0
+k1
= c
k
. Entonces existe una nica solucin de x
n
= a
1
x
n1
+
a
2
x
n2
+. . . +a
k
x
nk
+e
n
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 n
0
+k x
n
= a
1
x
n1
+a
2
x
n2
+. . . +a
k
x
nk
+e
n
Si n < n
0
x
n
=
x
n+k
a
1
x
n+k1
a
2
x
n+k2
. . . a
k1
x
n1
e
n+k
a
k
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 coecientes constantes tiene dimensin
k.
17
o
Teorema 4.1. Sea y
n
una solucin particular de la Relacin 1. Entonces, z
n
es solucin de la Relacin
1 si y slo si y
n
z
n
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.
Proposicin 4.7. Sean x
(1)
n
, x
(2)
n
, . . . , x
(k)
n
k soluciones de la relacin lineal homognea
x
n
= a
1
x
n1
+a
2
x
n2
+. . . +a
k
x
nk
,
y la sucesin de sus casoratianos W = (w
n
)
nN
. Las siguientes armaciones son equivalentes
1. x
(1)
n
, x
(2)
n
, . . . , x
(k)
n
2. W es la sucesin constantemente igual a cero, es decir w
n
= 0 n N.
3. w
m
= 0 para algn entero m.
Observacin 4.3. Al igual que para resolver las relaciones de recurrencia lineales de segundo orden
con coecientes 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 veriquen las condiciones iniciales impuestas.
Para hallar la solucin general de la relacin homognea obtendremos k soluciones linealmente
independientes a partir de las races de la ecuacin caracterstica.
Denicin 4.2. Dada la relacin de recurrencia lineal y homognea de coecientes constantes
x
n
a
1
x
n1
a
2
x
n2
. . . +a
k
x
nk
= 0
llamaremos ecuacin caracterstica asociada, a la expresin
x
k
a
1
x
k1
a
2
x
k2
. . . a
k1
x a
k
= 0 (5)
El polinomio P() =
k
a
1

k1
a
2

k2
. . . a
k1
a
k
se denomina polinomio caracterstico
y a sus ceros races caractersticas.
18
o
Nota 4.2. Esta denicin 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.
n
a
1
x
n1
a
2
x
n2
. . . + a
k
x
nk
= 0. Si es raz de la
ecuacin caracterstica, entonces x
n
=
n
es una solucin de la relacin dada.
Demostracin. Se utilizan los mismos argumentos de la Prop. 3.1.
n
a
1
x
n1
a
2
x
n2
. . . a
k
x
nk
= 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
x
n
= A
1
n
1
+A
2
n
2
+. . . +A
k
n
k
,
siendo A
1
, A
2
, . . . , A
k
constantes arbitrarias.
Demostracin. El conjunto G = {(
n
1
)
nN
, (
n
2
)
nN
, . . . , (
n
k
)
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
A
1
n
1
+A
2
n
2
+. . . +A
k
n
k
.
Ejemplo 4.2. Consideramos la relacin lineal homognea de orden tres x
n
= 6 x
n1
11 x
n2
+6 x
n3
con las condiciones iniciales x
0
= 2, x
1
= 5 y x
2
= 15, que denotaremos por P1
x
n
= 6 x
n1
11 x
n2
+ 6 x
n3
x
0
= 2, x
1
= 5, x
2
= 15
_
_
_
(P1)
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 x
n
= A
1
1
n
+A
2
2
n
+A
3
3
n
. Para determinar las constantes,
A
i
, utilizamos las condiciones iniciales y se forma el sistema
x
0
= 2 = A
1
+A
2
+A
3
x
1
= 5 = A
1
+A
2
2 +A
3
3
x
2
= 15 = A
1
+A
2
4 +A
3
9
_
_
A
1
= 1, A
2
= 1, A
3
= 2
Luego la solucin al problema P1 es x
n
= 2 3
n
2
n
+ 1.
A continuacin abordamos el caso de que las races de la ecuacin caracterstica sean mltiples.
Denicin 4.3. Dado el polinomio P(x) con coecientes 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() = 0.
19
o
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, . . . , P
(h1
() = 0 y P
(h
() = 0.
Demostracin.
) Si P(x) = (x )
h
Q(x) evidentemente P() = 0. P
(x) = (x )
h1
(h Q(x) + (x ) Q
(x)
y P
() = 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 = 0 porque Q() = 0.
) Si el grado del polinomio P(x) es n el desarrollo en serie de Taylor alrededor de es
P(x) = (x )
h
_
P
(h
()
h!
+
P
(h+1
()
(h + 1)!
+. . . +
P
(n
()
n!
_
= (x )
h
Q(x)
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 ecua-
cin caracterstica de la relacin x
n
= a
1
x
n1
+ a
2
x
n2
+ . . . + a
k
x
nk
, entonces el conjunto
{(
n
)
nN
, (n
n
)
nN
, . . . , (n
h1
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 (n
m
n
)
nN
es solucin de x
n
= a
1
x
n1
+a
2
x
n2
+. . . +a
k
x
nk
.
Corolario 4.2. Sea la relacin x
n
= a
1
x
n1
+a
2
x
n2
+. . . +a
k
x
nk
, con polinomio caracterstico
P(x). Si las races no nulas son
1
,
2
, . . . ,
l
con orden de multiplicidad h
1
, h
2
, . . . , h
l
, respectiva-
mente, y h
1
+h
2
+. . . +h
l
= k, entonces la solucin general de la relacin dada es
x
n
=
_
A
11
n
1
+A
12
n
n
1
+. . . +A
1h
1
n
h
1
1
n
1
_
+. . . +
_
A
l1
n
l
+A
l2
n
n
l
+. . . +A
lh
l
n
h
l
1
n
l
_
siendo A
1j
constantes arbitrarias.
Ejemplo 4.3. Sea la relacin lineal homognea de orden tres x
n
= 3 x
n1
3 x
n2
6 x
n3
con las
condiciones iniciales x
0
= 1, x
1
= 2 y x
2
= 1, que denotaremos por P2
x
n
= 3 x
n1
3 x
n2
6 x
n3
x
0
= 1, x
1
= 2, x
2
= 1
_
_
_
(P2)
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 x
n
= A
1
(1)
n
+ A
2
n (1)
n
+ A
3
n
2
(1)
n
. Para
20
o
determinar las constantes usamos las condiciones iniciales, obteniendo
x
0
= 1 = A
1
x
1
= 2 = A
1

2
A
3
x
2
= 1 = A
1
+A
2
2 +A
3
4
_
_
A
1
= 1, A
2
= 3, A
3
= 2
Luego la solucin al problema P2 es x
n
= (1)
n
+ 3 n(1)
n
2 n
2
(1)
n
= (1)
n
(2 n
2
+ 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 par-
ticular de la relacin de recurrencia suponiendo que el trmino independiente, e
n
, es una funcin
polinmica, exponencial o trigonomtrica.
I.- Supongamos que e
n
= (l
0
+l
1
n+. . .+l
k
n
k
) b
n
es el producto de un polinomio por una exponencial
(polinmicas con b = 1 y exponenciales con l
1
= . . . = l
k
= 0). La forma que adopta la solucin
particular depende de las races de la ecuacin caracterstica
Tipo de raz Solucin particular
b no es raz (C
0
+C
1
n +. . . +C
k
n
k
) b
n
b es raz simple n(C
0
+C
1
n +. . . +C
k
n
k
) b
n
b es raz mltiple de orden h n
h
(C
0
+C
1
n +. . . +C
k
n
k
) b
n
II.- Si e
n
es de tipo trigonomtrico, e
n
= b
n
cos n, o b
n
sen n. En caso de que b sea complejo consi-
deramos e
n
= b
n
= |b|
n
e
jn
). La forma de solucin particular es e
n
= b
n
(Acos n+Bsen n). Si
b j son adems races de la ecuacin caracterstica de orden h, entonces la solucin particular
adopta la forma e
n
= n
h1
b
n
(Acos n +Bsen 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 x
n
=
6 x
n1
9 x
n2
+e
n
cuando e
n
= 3
n
, e
n
= n 3
n
, e
n
= n
2
2
n
y e
n
= (n
2
+ 1)3
n
.
El polinomio caracterstico es x
2
6x+9 y la nica raz (doble) es x = 3. Por lo que la solucin
general de la ecuacin homognea es x
n
= A
1
3
n
+A
2
n 3
n
.
Para la forma de la solucin particular se debe tener en cuenta si las races caractersticas
intervienen en e
n
.
21
o
1. Si e
n
= 3
n
, y puesto que 3 es raz doble del polinomio caracterstico, la solucin particular ser
de la forma y
n
= B n
2
3
n
. Sustituyendo en la relacin y operando
B n
2
3
n
= 6B (n1)
2
3
n1
9B (n2)
2
3
n2
+3
n
B n
2
3
n
= 2B (n1)
2
3
n
B (n2)
2
3
n
+3
n
Dividiendo por 3
n
e igualando los coecientes de los polinomios de grado tres en n obtenemos
B =
1
2
. Luego, la solucin es z
n
=
1
2
n
2
3
n
+A
1
3
n
+A
2
n 3
n
2. Si e
n
= n 3
n
, por ser 3 raz caracterstica la forma de la solucin particular es y
n
= n
2
(Bn+C)3
n
.
3. Si e
n
= n
2
2
n
, por no ser 2 raz caracterstica la forma de la solucin particular es y
n
= (Bn
2
+
Cn +D)2
n
.
4. Si e
n
= (n
2
+1)3
n
, por ser 3 raz la forma de la solucin particular es y
n
= n
2
(Bn
2
+Bn+C)3
n
.
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.
Proposicin 4.12. Si (x
(1)
n
) es solucin de x
n
= a
1
x
n1
+ a
2
x
n2
+ . . . + a
k
x
nk
+ e
n
y (x
(2)
n
)
es solucin de x
n
= a
1
x
n1
+ a
2
x
n2
+ . . . + a
k
x
nk
+ f
n
, entonces (x
(1)
n
+ x
(2)
n
) es solucin de
x
n
= a
1
x
n1
+a
2
x
n2
+. . . +a
k
x
nk
+e
n
+f
n
Demostracin. Por ser soluciones de los problemas mencionados se verica que
x
(1)
n
= a
1
x
(1)
n1
+a
2
x
(1)
n2
+. . . +a
k
x
(1)
nk
+e
n
x
(2)
n
= a
1
x
(2)
n1
+a
2
x
(2)
n2
+. . . +a
k
x
(2)
nk
+f
n
Sumando obtenemos x
(1)
n
+x
(2)
n
= a
1
(x
(1)
n1
+x
(2)
n1
) +a
2
(x
(1)
n2
+x
(2)
n2
) +. . . +a
k
(x
(1)
nk
+x
(2)
nk
) +e
n
+f
n
.
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
o
[3] R.L. Grimaldi, Matemtica discreta y combinatoria. Una introduccin con aplicaciones, Prentice-
Hall, 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, 5
a
ed., McGraw-Hill Iberoamericana, 2004.
[7] A.A. Samarski, E.S. Nikolaev, Mtodos de solucin de las ecuaciones reticulares, Ed. Mir, 1982.
23

Recuurencia

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Recuurencia

Încărcat de

Drepturi de autor:

Formate disponibile

Tema 4: Relaciones de recurrencia

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

{0}, como en la sucesin de Fibonacci.

Ejemplo 3.8. Dada la relacin x

de las sucesiones {(x

N, entonces son linealmente independientes.

, que es la matriz de Casorati de orden h

de las sucesiones, es regular.

Sacando factor comn r en la primera la, r

() = 0. Continuando con el proceso llegamos a que P

S-ar putea să vă placă și