Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ndice
Gua del tema
II
11
12
12
4.1. Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
16
18
21
Referencias
22
Asignatura:
Matemtica Discreta
Titulo de la Unidad:
Relaciones de recurrencia
2 semanas
II
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
1.
F1 = 1 y Fn = Fn1 + Fn2
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 .
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
1
1
n (n + 1) (2n + 1) = 1 2 3 = 1 = b1 ), luego es cierto el resultado.
6
6
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
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
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
k 2 k + 2k
(k + 1)2 (k + 1)
k2 k
+k =
=
.
2
2
2
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.
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.
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.
n 1. Pero la
n N
4
n 1, r constante y x0 = A es
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.
n > 1, r constante y x0 = A
n1
X
rn1j ej
n N
(3)
j=0
0
X
j=0
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
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
n N, n 1
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
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.
3.1.
Para que la expresin anterior sea cero se debe cumplir r = 0 (solucin trivial), o bien r2 a1 ra2 = 0.
expresin x2 a1 x a2 = 0. Al polinomio P () = k a1 k1 a2
le llamaremos polinomio
(2)
(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)
!
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)
= (1 + j)n y
(2)
(2)
(2)
(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)
sean complejas, z1 y z2 , estas sern conjugadas, z2 = z1 , y las soluciones distintas sern xn = z1n y
(2)
1 n
(z + z1n ) = Re(z1n )
2 1
yn(2) =
1
(z n z1n ) = Im(z1n )
2j 1
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)
(2)
(1)
(2)
(2)
c2 xn
(2)
c2 xn+1
= yn+1
yn
(4)
de la matriz Wn =
es diferente de cero, es decir wn =
(1)
(2)
(1)
(2)
xn+1 xn+1
xn+1 xn+1
(1)
(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)
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)
(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)
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
(1)
(2)
(2)
Demostracin.
(1)
(2)
(2)
(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)
(2)
(1)
(2)
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
(1)
(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)
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.
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)
(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
(2)
(1)
(2)
n N
7n+2
es una
20
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
3.3.
Soluciones particulares
En este apartado describiremos el mtodo de variacin de las constantes para encontrar una
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.
Economa, la Fsica, la Biologa o la Ingeniera, en los que se dispone de conjuntos de datos discreto
12
49
20
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)
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
(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
(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
(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
(2)
(k)
(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
{(x1n ), (x2n ), . . . , (xkn )} son linealmente independiente, si y slo si existe una submatriz de orden k k
regular.
(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)
22 22
W2 = W (22 , 22 , 1) = 23 32
24 42
1
32
5
2
1 ; W5 = W (2 , 5 , 1) = 64
1
128
son
25 1
36 1
49 1
15
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
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.
16
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 .
n n0 + k
Si
n < n0
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
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)
(2)
(k)
4.3.
18
(5)
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.
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
x = 2, x = 5, x = 15
0
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
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.
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
x = 1, x = 2, x = 1
0
20
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
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)
(2)
(1)
(1)
(1)
(2)
(2)
(2)
(2)
(2)
(1)
(2)
(1)
(2)
(1)
(2)
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
[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