Está en la página 1de 44

Cap tulo 6

Ecuaciones de recurrencia
En argumentos lgicos o en algoritmos, cuando hay que dilucidar o resolver una sucesin o o de casos, el matemtico busca averiguar la estructura comn y la conexin de cada caso con a u o el anterior. La tcnica es astuta: si podemos reducir cada caso al anterior (con un argumento e general), al nal slo nos quedar un primer caso por resolver, del que se deducirn todos. o a a Esta es la esencia del mtodo de induccin, al que aqu nos estamos reriendo en el sentido e o inductivo en el que habitualmente se encuentra en la prctica, y no en el deductivo con el a que ineludiblemente se presenta su argumentacin (como hicimos en la seccin 1.2). o o Supongamos que los casos que nos interesan son clculos de cierto tipo, como podr a an ser los de evaluar el nmero de estructuras (conjuntos, quizs listas) de tamao o longitud n u a n con ciertas caracter sticas. Obsrvese que cada caso, que se corresponde con cada valor de n, e da lugar a un clculo distinto. Ahora, el proceso por el que reducimos un caso al anterior a dar como fruto una ecuacin general que liga los respectivos resultados. Estas son las ecuaa o ciones de (o en) recurrencias, o simplemente recurrencias, a las que dedicamos este cap tulo. No son asunto nuevo en este libro: hemos deducido ya recurrencias para coecientes binmio cos, nmeros de Stirling, y tambin aparecieron en la discusin sobre la ecacia de algoritmos u e o como la transformada rpida de Fourier o el mtodo de Strassen, por citar algunos ejemplos. a e Comenzaremos este cap tulo con una seccin en la que el lector podr encontrar un amplio o a muestrario de cuestiones y argumentos que nos conducen a ecuaciones en recurrencias, que hemos clasicado en funcin de cunta informacin sobre los casos anteriores hace falta o a o conocer y de cunta complejidad tienen los casos en s Esta primera seccin pretende ilustrar a . o la tcnica artesana de esta forma de argumentar. e Luego explicaremos cmo resolver ecuaciones de recurrencia, o en otras palabras, cmo o o obtener una frmula general de las sucesiones de nmeros que las verican, centrndonos en o u a el caso de las ecuaciones de recurrencia lineales y de coecientes constantes, que son quizs a las ms habituales, y sin duda las ms sencillas. Tambin esbozaremos algunos argumentos a a e que se pueden utilizar en ciertas variaciones de stas. e En la ultima seccin nos dejaremos deslumbrar por la razn aurea, producto de la ecuacin o o o en recurrencias ms famosa y fascinante, la ecuacin de Fibonacci. a o La extraordinariamente fruct fera tcnica general de las funciones generatrices, que permie te, en principio, tratar todo tipo de ecuaciones de recurrencia, habr de esperar al cap a tulo 10. 341

342

Cap tulo 6. Ecuaciones de recurrencia

6.1.

Algunos ejemplos

Presentamos en esta seccin inicial una serie de ejemplos, de naturaleza muy diversa, o en cuyo anlisis encontraremos un variado muestrario de ecuaciones de recurrencia. Algunos a de ellas podremos ya resolverlas, con trucos ad hoc; la resolucin de las restantes habr de o a esperar a disponer de tcnicas ms generales, como las que expondremos en la seccin 6.2 y e a o en el cap tulo 10 dedicado a las funciones generatrices. Por resolver una ecuacin de recurrencia, algo que ya avisamos al lector es en general o tarea harto complicada, entendemos hallar una frmula expl o cita para la sucesin de nmeros o u que verican la recurrencia. 1. En funcin del caso anterior o Las ecuaciones de recurrencia ms sencillas son aqullas en las que el valor de un cierto a e trmino de la sucesin depende unicamente del valor del trmino anterior. e o e Ejemplo 6.1.1 Queremos contar el nmero de listas de longitud n 1 formadas con ceros u y unos. Llamemos an a la respuesta, para cada n. No parece un ejemplo muy apasionante, dado que la regla del producto nos permite obtener directamente la respuesta: an = 2n , para cada n 1. Abordemos el problema desde otro punto de vista, planteando una recurrencia entre los nmeros an . Para construir una lista de u longitud n con ceros y unos tomamos primero una lista de longitud n1 con las caracter sticas n pedidas (lo podremos hacer de an1 formas distintas). Luego, a cada una de ellas, le aadimos un 0 o un 1, para obtener as todas las posibles listas de longitud n. Como este procedimiento asocia a cada posible lista de longitud n 1 dos listas distintas de longitud n, se tendr que a () an = 2 an1 para n 2.

Necesitamos, adems, un valor inicial, el nmero de listas de longitud 1: a1 = 2. El problema a u o queda as resuelto en el siguiente sentido: el conocimiento de a1 y la relacin () nos permiten a calcular a2 ; con a2 , aplicando de nuevo (), evaluamos a3 , etc. Pero en este caso, adems, podemos resolver la recurrencia y obtener una frmula expl o cita para los an : basta aplicar reiteradamente la regla para obtener que, para cada n 1, an = 2 an1 = 2 (2an2 ) = 22 an2 = 23 an3 = = 2n1 a1 = 2n .

u Ejemplo 6.1.2 Llamemos an al nmero de regiones del plano que determinan n rectas. Estas rectas deben ser tales que por cualquier punto del plano pasen a lo sumo dos de ellas; y tales que ninguna de ellas sea paralela a ninguna otra. Calculemos los primeros casos: para n = 1, tenemos una recta, que divide al plano en dos regiones. Para n = 2, n = 3 y n = 4 aparecen cuatro, siete y once regiones, respectivamente: n=2
1 3 2 4 5 3

n=3
1 6 2 7 4

8 9 5 10 11 3

n=4
1 6 2 7 4

(versin preliminar 23 de octubre de 2008) o

6.1. Algunos ejemplos

343

Ya tenemos los primeros cuatro valores a1 = 2, a2 = 4, a o a3 = 7 y a4 = 11. Pero este anlisis pictrico no nos va a llevar mucho ms all, pues el dibujo se complica enora a memente y corremos el riesgo de olvidarnos alguna re1 gin. Toca pensar: jmonos en cmo pasamos de n = 2 a o e o 2 n = 3. Al aadir una recta, y como las dos rectas viejas n 3 deben cortar a la nueva, lo que hacemos es aadir tres n 4 regiones del plano. El paso del caso n = 3 al caso n = 4 n es anlogo (vase el dibujo): de nuevo aadimos una reca e ta, que corta a las tres existentes y crea cuatro regiones nuevas. La generalizacin de este o argumento nos permite deducir que la regla de recurrencia es
2 3

an = an1 + n

para cada n 2.

Como conocemos el valor para el primer caa an1 = n so, a1 = 2, podremos calcularlos todos. El lector a n a n1 n1 n2 = podr resolver la recurrencia sin ms que aplicar a a . . . . . . . . . reiteradamente la regla de recursin. Alternativao = 2 a2 a1 mente, como la regla de recurrencia nos dice que an a1 = 2 + 3 + + (n 1) + n la diferencia entre dos trminos consecutivos es e justamente el valor del ndice (an an1 = n), podemos escribir todas estas diferencias y u sumarlas, como hacemos a la derecha. Como a1 = 2 y sabemos sumar los n primeros nmeros naturales, llegamos a la solucin nal: o
n n

an = 2 +
j=2

j =1+
j=1

j =1+

n(n + 1) 2

para cada n 1.

Ejemplo 6.1.3 Las torres de Hanoi. Cuenta la leyenda1 que los monjes de un monasterio de 1 2 3 Hanoi miden el tiempo que falta para la llegada del n del mundo con el siguiente procedimiento: disponen de tres agujas de diamante, en una de las cuales se apilan 64 discos de oro distintos, ordenados por tamaos. Cada n segundo mueven un disco de una aguja a otra, y su tarea nalizar (y con ella el mundo) a cuando logren transportarlos todos a otra aguja. Pero, atencin!, a lo largo del proceso nunca o se puede colocar un disco sobre otro de dimetro ms pequeo. a a n Como prepararnos para el n del mundo supondr sin duda un notable ajetreo, vamos a a estimar el tiempo de que dispondremos. Para ello, planteamos el problema ya en general: nimo nmero de movimientos necesario para transportar u tenemos n discos y llamamos an al m los n discos desde una aguja a otra. Por ejemplo, a1 = 1, porque nos basta con un movimiento n para pasar el disco a otra aguja. El clculo de a2 requiere ya un pequeo argumento: podemos, a
1

En realidad, la historia que sigue es el adorno literario que concibi el matemtico francs Lucas en 1883. o a e

(versin preliminar 23 de octubre de 2008) o

344

Cap tulo 6. Ecuaciones de recurrencia

por ejemplo, pasar el disco pequeo a otra aguja, luego el grande a la tercera, para nalmente n pasar el pequeo a esta tercera aguja, como en la gura: n
-

Como en dos movimientos no se puede hacer, concluimos que la descrita es la mejor estrategia posible, y que, por tanto, a2 = 3. Si partimos de tres discos, podemos pasar los dos menores a una segunda aguja (con el procedimiento anterior, de tres movimientos), luego pasar el mayor a la tercera aguja, para nalmente llevar los dos discos menores sobre ese disco mayor (de nuevo tres movimientos). En total, 7 movimientos. Aunque ahora no est claro si se puede hacer el trasvase con menos. a El procedimiento esbozado en el caso n = 3 se puede generalizar: si tenemos n discos, pasamos n 1 a una segunda aguja, luego el mayor disco a la aguja nal y, por ultimo, pasamos los n 1 discos a esa tercera aguja. Es un algoritmo recursivo: el procedimiento para mover n discos se apoya, dos veces, en el (ya conocido) mtodo para mover n 1. Se e deduce entonces que el nmero m u nimo de movimientos para transportar n discos cumple que an 2 an1 + 1 para cada n 2,

e o porque con 2an1 + 1 movimientos lo sabemos hacer. Obsrvese que no es una ecuacin de recurrencia, sino una desigualdad. Pero lo que nos gustar es comprobar que, en realidad, la a relacin se cumple con un = en lugar de un . Deducir o amos as que nuestra estrategia de movimientos es la mejor posible. Esto requiere un argumento extra. Vemoslo: si tenemos n discos, en algn momento tendremos que mover el disco mayor, a u para lo que necesitaremos haber llevado el resto de los discos a otra aguja, pues debe quedar una aguja libre. Esto requiere, como m nimo, an1 movimientos. Una vez movido el disco grande a una aguja, tendremos que mover los restantes n 1 discos sobre l, y esto exige, al e menos, otros an1 movimientos (sea cual sea la estrategia que empleemos). As que an 2 an1 + 1 , para n 2. Reuniendo ambas condiciones, ya podemos armar que, para cada n 2, an = 2 an1 + 1 La condicin inicial ya la hemos visto, es a1 = 1. La resolvemos por simple aplicacin repetida o o de la regla de recurrencia: an = 2 an1 + 1 = 2 (2 an2 + 1) + 1 = 22 an2 + 2 + 1 = 22 (2 an3 + 1) + 2 + 1 = 23 an3 + 22 + 2 + 1 = 23 (2 an4 + 1) 22 + 2 + 1 = 24 an4 + 23 + 22 + 2 + 1
n1

= = 2n1 a1 + 2n2 + 2n3 + + 2 + 1 =


j=0

2j =

1 2n = 2n 1 . 12

Del caso n = 64 deducimos que el n del mundo llegar dentro de a64 = 264 1 segundos, a esto es, ms de medio billn de aos! Parece que, despus de todo, la profec de los monjes a o n e a de Hanoi no deber ser una de nuestras mayores preocupaciones. a (versin preliminar 23 de octubre de 2008) o

6.1. Algunos ejemplos

345

Ejemplo 6.1.4 Calculemos el valor de la siguiente aparentemente complicada integral2 :

(n + 1) =
0

tn et dt ,

para cada n 0.

El caso n = 0 es muy sencillo: (1) = 0 et dt = et 0 = 1 . Vamos a obtener una ecuacin de recurrencia para los nmeros (n), pero no a travs de argumentos combinatorios, o u e como hasta ahora, sino por medio de manipulaciones algebraicas basadas en el mtodo de e integracin por partes. Sea ahora n 1 y escojamos o u = tn = du = n tn1 dt dv = et dt = v = et para la aplicacin de la habitual frmula de integracin por partes: o o o

(n + 1) =
0

tn et dt = tn et
=0

+n
0

tn1 et dt = n (n) .
(n)

La ecuacin de recurrencia resulta ser o (n + 1) = n (n) para n 1.

Obsrvese que ahora el coeciente que acompaa al trmino anterior no es una constante. e n e Pero la resolucin es, de nuevo, sencilla, por iteracin: o o (n + 1) = n (n) = n(n 1) (n 1) = = n(n 1) . . . 3 2 (1) . Como el valor inicial era (1) = 1, concluimos que, quizs sorprendentemente, a

(n + 1) =
0

tn et dt = n! .

Antes de seguir adelante, parmonos a reexionar sobre el procedimiento general see guido en los anlisis que hemos hecho hasta aqu pues nos servir, con las modicaciones a , a que exijan los posteriores ejemplos que vayamos viendo, como protocolo general: 1. empezamos analizando el primer caso, digamos el valor de a1 ; e 2. luego buscamos argumentos que nos permitan establecer el valor de cada an en trminos del correspondiente an1 ; 3. con esto ya tenemos resuelto el problema, pues de a1 y la regla de recurrencia obtenemos e el valor de a2 , luego ste nos permite calcular a3 , etc.; 4. pero, cuando sea posible, iremos ms all en el anlisis y resolveremos la recurrencia. a a a Esto es, obtendremos una frmula expl o cita an = f (n) para cada n 1.
Que es un caso particular de la funcin gamma, denida como (z + 1) = o con Re(z) > 1.
2

tz et dt para cada z C

(versin preliminar 23 de octubre de 2008) o

346

Cap tulo 6. Ecuaciones de recurrencia

2. En funcin de los dos casos anteriores o En muchas ocasiones, para determinar el valor de un trmino de la sucesin, bastar dispoe o a ner del valor de los dos anteriores. Sern normalmente ejemplos en los que nos encontraremos a con una disyuntiva: una opcin nos llevar al caso anterior, mientras que la otra se escribir en o a a trminos del que est dos posiciones ms all. e a a a u Ejemplo 6.1.5 Llamemos an al nmero de listas de longitud n, formadas con ceros y unos, que no tienen unos consecutivos. Nos jamos, por ejemplo, en la ultima posicin. Caben dos posibilidades, que la lista acabe o en 0 o en 1. Las que acaban en 0 se construyen dando una de longitud n 1 que cumpla las condiciones (ceros y unos, sin unos consecutivos) y a adindole un 0 al nal (comprubese que n e e es una biyeccin). Las acabadas en 1 llevan, necesariamente, un 0 en la penltima posicin; o u o as que habr tantas como listas de longitud n 2 que cumplan las condiciones: a 0 an1 una de longitud n 1 an 0 1 an2
una de longitud n 2 obligado!

Por tanto, la regla de recurrencia ser, para cada n 3, a an = an1 + an2 Una ecuacin muy especial, conocida como la ecuacin de Fibonacci, que volver a apareo o a cer en los siguientes ejemplos. Observemos que los valores iniciales, que permiten arrancar a la sucesin, son aqu a1 = 2 y a2 = 3. o Ejemplo 6.1.6 Tenemos una escalera con n peldaos y en cada paso se permite subir 1 n u o 2 peldaos. Llamamos an al nmero de formas distintas de subir la escalera con ese tipo n de pasos (dos formas de subir sern distintas si la secuencia de pasos seguida es distinta). a Para contar cuntas de estas peculiares ascensiones de una escalera con n peldaos hay, las a n clasicaremos atendiendo a cmo se completa la escalada. Hay dos posibilidades: o llegar al peldao n 1 y luego subir el ultimo peldao en un paso; n n o llegar al n 2 y luego un paso de dos peldaos. n As que la relacin de recurrencia es, de nuevo, an = an1 + an2 para cada n 3. Aunque o ahora los valores iniciales no son los del ejemplo anterior, sino que a1 = 1 y a2 = 2. Como las condiciones iniciales son distintas, las sucesiones de nmeros no coinciden, aunque en u realidad una est desplazada una posicin de la otra: a o a1 a2 a3 a4 a5 a6 # listas del ejemplo 6.1.5 2 3 5 8 13 21 # caminos en la escalera 1 2 3 5 8 13 Como veremos en el siguiente ejemplo, el comportamiento asinttico de la sucesin no depende o o de los valores iniciales, sino que viene dictado por la ecuacin. o (versin preliminar 23 de octubre de 2008) o

6.1. Algunos ejemplos Ejemplo 6.1.7 Un modelo de cunicultura.

347

Fibonacci3 introdujo la sucesin que lleva su nombre4 como modelo o para la reproduccin de conejos. Part Fibonacci de ciertas hiptesis, a o a o saber: (a) los conejos viven eternamente; (b) cada mes, un par de adultos de distinto sexo da lugar a un nuevo par de conejos de distinto sexo; y (c) cada conejo se hace adulto a los dos meses de vida, momento en el que u comienza a tener descendencia. Designemos por Fn el nmero de pares de conejos al nal del mes n. Partimos de un par de conejos que nacen en el primer mes; esto es, F1 = 1. Al cabo de un mes seguiremos teniendo una pareja de conejos, todav no adultos: F2 = 1. En el tercer mes a ya tenemos una pareja de adultos, que da lugar a una pareja de recin e nacidos: F3 = 2. En el cuarto mes seguiremos teniendo una pareja de adultos, que tendr descendencia. Y la pareja nacida en el mes anterior a Figura 6.1: Fibonacci tendr ahora un mes. En total, habr tres parejas de conejos: F4 = 3. a a Y as sucesivamente. , La tabla de la derecha recoge las Mes 1 2 3 4 5 6 7 distintas poblaciones al comienzo de Parejas de adultos 0 0 1 1 2 3 5 u cada mes. El nmero de parejas en Parejas con un mes de edad 0 1 0 1 1 2 3 el mes n es la suma del nmero de u Parejas de recin nacidos e 1 0 1 1 2 3 5 parejas en el mes n 1 ms las paa Nmero total de parejas, Fn 1 1 2 3 5 8 13 u rejas que nacen en el propio mes n. De stas hay tantas como parejas adultas hubiera en el mes n. Y a su vez, tantas como parejas e en el mes n 2 (pues se tardan dos meses en ser adulto). En total, para cada n 3, Fn = Fn1 + Fn2 ; de nuevo, la ecuacin de Fibonacci. o o a Si denimos F0 = 0, la ecuacin de recurrencia es vlida para cada n 2. En lo sucesivo u reservaremos el nombre de Fn para los nmeros siguientes: Denicin 6.1 La sucesin de nmeros de Fibonacci (Fn ) cumple, para cada n 2, que o o u Fn = Fn1 + Fn2
F0 0
3

(la ecuacin de Fibonacci) o


F6 8 F7 13 F8 21 F9 34 F10 55 F11 89 F12 144

e o junto con las condiciones iniciales F0 = 0, F1 = 1. Los primeros trminos de esta sucesin son
F1 1 F2 1 F3 2 F4 3 F5 5

La ilustracin que aqu reproducimos es la cabeza de la estatua que erigieron cerca del r Arno los o o ciudadanos de Pisa en honor de Leonardo de Pisa (1170-1250), tambin llamado Fibonacci (hijo de Bonacci). e Fibonacci viaj por todo el Mediterrneo y en el curso de sus viajes tom contacto con las Matemticas que los o a o a a rabes hab recopilado. Su Liber Abaci de 1202 tuvo una enorme inuencia en su tiempo. En l se recog an e an numerosos resultados sobre Geometr y Teor de Nmeros, adems de cuestiones prcticas sobre problemas a a u a a mercantiles, mtodos de multiplicacin, etc. El texto estableci denitivamente en Occidente los numerales e o o arbigos y el sistema hind de numeracin. a u o 4 Fue el matemtico francs Edouard Lucas (1842-1891) el que as la bautiz. En el ejemplo 6.3.1 veremos a e o una sucesin de nmeros que lleva su nombre y que est muy relacionada con los de Fibonacci. Lucas trao u a baj fundamentalmente en Teor de Nmeros, con estudios sobre la sucesin de Fibonacci o sobre criterios de o a u o primalidad (criterio de Lucas-Lehmer). Tambin gustaba de proponer juegos y acertijos matemticos, como el e a de las torres de Hanoi que ve amos en el ejemplo 6.1.3, que recogi en sus Rcrations mathmatiques de 1882. o e e e

(versin preliminar 23 de octubre de 2008) o

348

Cap tulo 6. Ecuaciones de recurrencia

Aunque tendremos que esperar a la seccin 6.2 para obtener una frmula para estos o o o nmeros Fn , podemos ya analizar su comportamiento asinttico; esto es, el orden de magnitud u e de los nmeros Fn cuando n . Observemos, para empezar, los valores numricos de u sucesivas razones de nmeros de Fibonacci consecutivos: u
1/1 1 2/1 2 3/2 1,5000 5/3 1,6666 8/5 1,6000 13/8 1,6250 21/13 1,6153 34/21 1,6190 55/34 1,6176 89/55 1,6181 144/89 1,6179

Que parecen indicar que los nmeros Fn crecen, ms o menos, con una tasa ja, pues el u a cociente de dos nmeros de Fibonacci consecutivos Fn /Fn1 es, aproximadamente, como una u constante x > 1 (en torno a 1,61 y pico) cuando n es grande. En otras palabras, parece que Fn = x. l m n Fn1 Si fuera cierta esta intuicin heur o stica, qu condicin habr de cumplir ese hipottico nmee o a e u ro x? Reescribamos la ecuacin de Fibonacci para exhibir cocientes de trminos consecutivos: o e Fn 1 =1+ . Fn = Fn1 + Fn2 = Fn1 Fn1 Fn2 Pasando al l mite n , el nmero x deber cumplir que u a 1 x = 1 + ; o en otras palabras, que x2 x 1 = 0 . x Las soluciones de esta ecuacin de segundo grado son los nmeros 1+2 5 y 12 5 . El segundo o u de ellos, un nmero negativo, no puede ser esa tasa ja de crecimiento, pues los Fn son u positivos. El otro, la ra positiva de la z ecuacin, es un nmero sobre el que ya hablamos o u 1+ 5 en el cap tulo 1: la razn aurea = 2 , a cuyas asombrosas peculiaridades dedicaremos o toda la seccin 6.3. o Pero pongmonos serios (y formales): es cierto o no que Fn /Fn1 tiende a cuando a n ? Restamos primero a ambos lados de la ecuacin de Fibonacci, utilizamos que o = 1 + 1/ y reordenamos los trminos astutamente, para obtener que: e 1 Fn2 Fn2 Fn2 1 Fn =1+ = = Fn1 Fn1 Fn1 Fn1 Ahora, tomamos valores absolutos: 1 Fn2 Fn1 Fn = Fn1 Fn1 Fn2 < 1 Fn1 , Fn2 Fn1 . Fn2

donde hemos utilizado que los nmeros de Fibonacci forman una sucesin creciente y que, por u o e a o tanto, Fn2 /Fn1 < 1. Obsrvese la simetr de la expresin: a la derecha y a la izquierda tenemos la diferencia entre un cociente de nmeros de Fibonacci consecutivos y la razn u o a urea; pero a la derecha, de ndices ms pequeos! Iterando esta desigualdad, llegamos a que a n 1 Fn1 1 Fn2 1 1 F2 Fn < < 2 < < n2 = n2 1 . Fn1 Fn2 Fn3 F1 Como > 1, deducimos que |Fn /Fn1 | 0 cuando n y que, por tanto, Fn /Fn1 cuando n . (versin preliminar 23 de octubre de 2008) o

6.1. Algunos ejemplos Ejemplo 6.1.8 Desbarajustes.

349

En la subseccin 3.2.3 nos ocupamos del nmero Dn de desbarajustes de {1, . . . , n}, las o u permutaciones de {1, . . . , n} en las que ningn s u mbolo ocupaba su posicin natural. Obo tuvimos entonces una frmula (un tanto complicada) para Dn , utilizando el principio de o inclusin/exclusin. Buscamos ahora una relacin de recurrencia para estos nmeros. o o o u Los primeros valores son fciles de calcular, por simple enumeracin de casos: D1 = 0, a o D2 = 1 y D3 = 2. Analicemos el caso n = 4, que ya contiene los ingredientes del caso general. Tomemos un desbarajuste de los que cuenta D3 ; por ejemplo, 1 2 3 3 1 2 .

Queremos construir un desbarajuste de cuatro posiciones a partir de l. El elemento 4 no e puede ir en la cuarta posicin (no ser desbarajuste), as que necesariamente ha de ir en una o a de las tres anteriores. Si va, por ejemplo, en la primera, colocaremos en la cuarta posicin el o elemento que antes iba en la primera (para que siga siendo un desbarajuste); y lo mismo si va en la segunda o en la tercera: 1 2 3 4 3 1 2 1 2 3 4 4 1 2 3 , 1 2 3 4 3 4 2 1 , 1 2 3 4 3 1 4 2

As que, para cada desbarajuste de tres posiciones podemos formar 3 desbarajustes de cua tro posiciones (uno por cada posible posible posicin en la que colocar el 4). Sin embargo, o hay unos desbarajustes de cuatro posiciones que no podemos construir de esta manera: por ejemplo, el siguiente: 1 2 3 4 , 4 3 2 1 pues construir este desbarajuste con el procedimiento anterior requerir haber partido de a una permutacin que no es un desbarajuste, la lista (1, 3, 2). Aunque convendr el lector que o a este desbarajuste de longitud 4 es muy especial: en l, el 4 y el 1 forman un ciclo. e Pero para construir un desbarajuste (de longitud 4) en el que el 4 y otro elemento formen una transposicin, basta construir un desbarajuste con el resto de las posiciones (en este caso, o dos). Tenemos, adems, libertad para elegir el elemento con el que el 4 forma ciclo: puede a ser el 1, el 2 o el 3. De manera que de estos desbarajustes de longitud 4 hay 3D2 . De donde deducimos que D4 = 3 D3 + 3 D2 . Hagamos el argumento en el caso general de un Dn n 1 2 3 4 cualquiera. Tenemos, por un lado, los desbarajustes en los que n forma una transposicin con algn otro o u n 1 e elemento. En el esquema de la derecha, el 1. De stos tendremos (n 1)Dn2 , porque hay n 1 candidatos Desbarajuste de n 2 posiciones a formar la transposicin con n. o Por otro lado, tendremos los desbarajustes en los que la situacin anterior no ocurre, es o decir, en los que el elemento n no forma ciclo de orden 2 con otro elemento. Pero stos son e (versin preliminar 23 de octubre de 2008) o

350

Cap tulo 6. Ecuaciones de recurrencia

justamente los desbarajustes que se pueden formar a partir de los de n 1 posiciones con el siguiente proceso: por cada desbarajuste de n 1 posiciones, elegimos una posicin i para o colocar el elemento n; en la posicin n colocamos lo que hubiera en la posicin i. o o
1 2 3 i j n1 n 1 2 3 i n n1 n j

De stas habr (n 1)Dn1 . En total, e a Dn = (n 1)Dn1 + (n 1)Dn2 para n 3.

Note el lector que esta relacin requiere, para obtener el valor de un cierto trmino, el o e conocimiento de los dos anteriores. Pero, a diferencia de lo que ocurr con los ejemplos a anteriores, los coecientes no son constantes, sino que dependen del paso en que estemos. Afortunadamente, podemos encontrar un truco que nos permite reducir esta ecuacin a o una que slo involucra el trmino anterior, que resolveremos luego por simple iteracin. La o e o clave es observar que podemos reescribir la recurrencia como Dn nDn1 = Dn1 + (n 1)Dn2 = [Dn1 (n 1)Dn2 ] . En estos nuevos trminos, slo queda iterar la relacin: e o o Dn nDn1 = [Dn1 (n 1)Dn2 ] = (1)2 [Dn2 (n 2)Dn3 ] = = = (1)n2 [D2 2D1 ] = (1)n2 = (1)n , donde hemos utilizado los valores iniciales D2 = 1 y D1 = 0. As que, para cada n 2, Dn nDn1 = (1)n , que, obsrvese, involucra slo el trmino anterior. Si dividimos toda la expresin por n!, e o e o Dn1 (1)n Dn = , n! (n 1)! n! obtenemos una ecuacin que se resuelve con el procedimiento (ya visto en el ejemplo 6.1.2) o de sumar todas estas expresiones desde n hasta 1. As llegamos a que Dn D1 = n! 1! En otras palabras, como D1 = 0,
n n j=2

(1)j . j!

Dn = n!
j=2

(1)j = n! j!

n j=0

(1)j , j!

porque los trminos j = 0 y j = 1 se cancelan entre s Es, claro, el mismo resultado que el e . que obten amos con el principio de inclusin/exclusin. o o (versin preliminar 23 de octubre de 2008) o

6.1. Algunos ejemplos

351

En ocasiones, las condiciones iniciales que determinan, junto a la ecuacin de recurreno cia, los valores de la sucesin, no son como las que hemos visto hasta aqu o . Ejemplo 6.1.9 La ruina del jugador5 . Para analizar este ejemplo, al que volveremos en diversas ocasiones a lo largo de este cap tulo, apelaremos a que el lector est familiarizado con ciertos conceptos probabil a sticos, en particular, con la nocin de probabilidad condicionada (en caso contrario, puede consultarse o primero el cap tulo 7). Queremos apostar nuestro dinero en un cierto juego. En cada partida apostamos 1 euro. Si ganamos, nos devuelven el euro apostado junto con otro ms, y en caso contrario perdemos el a euro apostado. La probabilidad de ganar cada partida es p, un nmero entre 0 y 1 (la de perder u ser q = 1 p). Fijamos a priori una cota de N euros, y slo abandonaremos el juego cuando a o nuestra fortuna acumulada tras sucesivas partidas la haya alcanzado o cuando nos hayamos arruinado6 . Supongamos que al empezar a jugar disponemos de n euros (0 n N ). La pregunta es: cul es la probabilidad, que llamaremos a(n), de que nos arruinemos? a Observe el lector que a(0) = 1, porque si la fortuna inicial es 0, no podremos ni siquiera empezar a jugar. Por otro lado, a(N ) = 0, porque si al principio tenemos N euros, tal y como hemos convenido, nos retiramos. Como dec amos antes, no son stas unas condiciones e iniciales al uso, pero sern sucientes7 . a Supongamos que 0 < n < N . Para obtener la regla de recurrencia que cumplen los a(n), vamos a condicionar sobre el resultado de la primera partida. Llamemos G al suceso ganar la primera (cuya probabilidad es p) y P al suceso perder la primera (de probabilidad q = 1 p). Entonces, P(ruina) = P(ruina|G) P(G) + P(ruina|P ) P(P ) . Pero si hemos ganado la primera partida, tendremos n + 1 euros; y la probabilidad de arruinarnos es la misma que si hubiramos empezado a jugar con esos n + 1 euros. El mismo e argumento, hecho para el caso de la prdida de la primera partida, nos lleva a que e a(n) = p a(n + 1) + q a(n 1) Relacin que conviene escribir como o a(n + 2) = q 1 a(n + 1) a(n) p p para cada 0 n N 2 para cada 1 n N 1.

Resolveremos este problema (la regla de recurrencia junto con las condiciones a(0) = 1 y a(N ) = 0) en el ejemplo 6.2.2, donde comprobaremos la extraordinaria importancia que tiene el que estemos ante un juego equilibrado (p = q = 0,5) o no (p = q).
O es que quizs conoce el lector algn jugador que no acabe en la ruina? a u Acaso podr amos estar jugando indenidamente? No es el caso: se puede demostrar, pero esto requiere el manejo del clculo de probabilidades, que el juego acaba, con uno u otro resultado, con probabilidad 1. a 7 Quizs el lector avezado preferir llamarlas condiciones de contorno o de frontera. a a
6 5

(versin preliminar 23 de octubre de 2008) o

352

Cap tulo 6. Ecuaciones de recurrencia

3. En funcin de todos los casos anteriores o Ejemplo 6.1.10 Contemos el nmero de arboles con raz casi binarios que podemos formar u con n vrtices y en los que distinguiremos entre derecha e izquierda. e Aunque ms adelante (en la seccin 8.2.3) los estudiaa o remos con ms detalle, no es dif entender lo que a cil = es un arbol binario con ra la ra es el vrtice que z: z e situamos (curiosamente) ms arriba, y el que sea (caa si)binario quiere decir que cada vrtice puede tener hasta dos descendientes hacia abajo. e En cuanto a la diferencia entre izquierda y derecha, el dibujo de la derecha muestra dos u a rboles que nosotros consideraremos como distintos. Sea Cn al nmero de arboles con estas caracter sticas. Los primeros valores son C1 = 1 y C2 = 2. En el siguiente dibujo exhibimos los cinco rboles distintos que se pueden formar con tres vrtices: a e

As que C3 = 5. Puede el lector entretenerse dibujando los 14 arboles con cuatro vrtices que existen para comprobar que C4 = 14. Argumentemos e a e en general, para Cn : cualquier arbol de este tipo tendr k vrtices a la k nk1 izquierda de la ra y n 1 k a la derecha, donde 0 k n 1, como z vrtices e vrtices e a z en el dibujo. Las elecciones del rbol que va a la izquierda de la ra y la del que va a la derecha son independientes, y para contar el nmero de posibles elecciones de u ambos tendremos en cuenta la diferencia izquierda-derecha. Aplicando las reglas de la suma y del producto y deniendo, como resulta conveniente, C0 = 1, obtenemos que
n1

Cn = C0 Cn1 + C1 Cn2 + + Cn2 C1 + Cn1 C0 =


k=0

Ck Cn1k

Ahora, para calcular un cierto trmino Cn , necesitamos conocer todos los anteriores. Esta e recurrencia es la que cumplen los nmeros de Catalan, como ya vimos en el ejemplo 2.3.3. u As que hemos encontrado otro problema combinatorio cuya respuesta est en estos nmeros, a u de los que ya obtuvimos una frmula expl o cita (vase el ejemplo 3.1.3). Resolveremos esta e recurrencia utilizando las tcnicas de las funciones generatrices (vase el ejemplo 10.4.5). e e Ejemplo 6.1.11 El problema de los montones de barriles. Miramos, desde un lateral, la carga de un camin lleno de barriles de cerveza8 . Nos interesan o las disposiciones de barriles en las que, en cada la, los barriles forman una tira continua; y cada barril, por una simple cuestin de equilibrio, ha de apoyarse en dos de la la inferior: o
S es un montn de 6 barriles o No lo es Tampoco

Interesa conocer Mn , el nmero de montones distintos que tienen n barriles en la la base. u


8

Dejamos al lector que proponga la marca, en funcin de su ideolog cervecera. o a

(versin preliminar 23 de octubre de 2008) o

6.1. Algunos ejemplos

353

Por ejemplo, M1 = 1 y M2 = 2. Si n = 3, tenemos los cinco posibles montones del dibujo. Compruebe el lector que hay 13 posibles montones con 4 barriles en la base. Cualquier montn con n barriles en la base tiene encima un montn con una base de j o o barriles, donde 0 j n 1. Una vez elegido j y decidido que tipo de montn es (de los Mj o posibles), solo queda colocarlo: si j = 0, no tenemos eleccin (y queda unicamente la la o original); pero si j = 0, el lector puede comprobar que hay n j posibles posiciones. As que
n1

Mn = 1 +
j=1

(n j)Mj

para cada n 2.

Ms adelante (vase el ejemplo 10.4.4), y ya con funciones generatrices, deduciremos que Mn a e es, simplemente, el nmero de Fibonacci F2n1 , para cada n 1. u Ejemplo 6.1.12 Los nmeros de Bell. u El nmero de Bell B(n) cuenta, como ya vimos en la subseccin 3.3.1, el nmero total de u o u particiones de {1, . . . , n} en bloques no vac B(1) = 1, B(2) = 2, B(3) = 5, etc. Quereos: mos escribir una recurrencia para B(n + 1) (algo que ped amos hacer en el ejercicio 3.3.3). Fijmonos en un bloque especial, el que contiene al elemento n + 1. Este bloque estar fore a mado, adems de por el n + 1, por un cierto subconjunto de {1, . . . , n}. Llamemos n k al a tamao de ese subconjunto, donde 0 k n (obsrvese que tanto k = 0 como k = n estn n e a n permitidos). Un subconjunto de ese tamao puede ser elegido de nk maneras distintas. n Una vez decididos qu elementos acompa an a n + 1 en su bloque, basta partir en bloques e n los k elementos restantes. De todo esto se deduce que, para cada n 1,
n

B(n + 1) = 1 +
k=1

n B(k) nk

B(n + 1) =
k=0

n B(k) k

para cada n 0.

A la derecha hemos decidido, por convenio (y comodidad), que B(0) = 1. 4. Mirando lejos

En los ejemplos vistos hasta aqu el clculo de un trmino de la sucesin requiere el , a e o conocimiento del anterior, de los dos anteriores. . . e incluso de todos los anteriores. Pero a veces la recurrencia es ms caprichosa, y exige buscar el trmino que est un cierto nmero a e e u de posiciones antes, o todas las de un cierto bloque anterior de la sucesin. o Ejemplo 6.1.13 Un algoritmo para calcular el mximo y el mnimo de n nmeros. a u La estrategia que seguiremos se inscribe dentro de los procedimientos de divide y vencers, a de los que ya hemos visto algn ejemplo anteriormente: las multiplicaciones de nmeros o u u matrices de las secciones 4.5 y 4.4, o la Transformada rpida de Fourier de la subseccin 4.6.5. a o Partimos de una lista de n nmeros (a1 , . . . , an ) y queremos determinar el mayor y el menor de u ellos utilizando comparaciones entre pares de nmeros. Para cada n 2, vamos a llamar Cn u al nmero de comparaciones necesarias para determinar el mximo y el m u a nimo de los n nmeros siguiendo el procedimiento que pasamos a describir. u (versin preliminar 23 de octubre de 2008) o

354

Cap tulo 6. Ecuaciones de recurrencia

Vamos a analizar primero el caso en el que n es un nmero par. El primer caso, algo u o a especial, es C2 = 1, pues basta con hacer una comparacin para determinar cul de los dos nmeros es mayor y cul menor. Si n es un nmero par 4, partimos la lista exactamente u a u por la mitad. Para obtener el mximo y el m a nimo de los n nmeros, determinamos primero u el mximo y el m a nimo de cada uno de los bloques, y luego comparamos el mximo de los a dos bloques (una comparacin) y el m o nimo de los dos (otra comparacin). As que o Cn = C n + C n + 2 2 2 para cada n par 4.

Para el caso de longitud n impar, de nuevo n = 3 es especial, y el resultado es C3 = 3. El argumento general, para n = 2k + 1 5 es como el de antes, con la salvedad de que ahora debemos cortar en un bloque de k nmeros y otro de k + 1. Si el lector completa el argumento u para este caso y rene los dos, llegar a la frmula general siguiente: u a o Cn = C
n 2

+C

n 2

+2

para cada n 4,

o que junto con los valores C2 = 1 y C3 = 3 permite obtener la sucesin (Cn ) completa. Ejemplo 6.1.14 Los nmeros de Leibniz. u Escribimos los n meros naturales en base 2: u
0 0 1 1 2 10 3 11 4 100 5 101 6 110 7 111 8 1000 9 1001 10 1010 11 1011 12 1100 13 1101 14 1110 15 1111

y sumamos los d gitos de esos desarrollos binarios. Llamemos L(n) al resultado de esas sumas:
n L(n) 0 0 1 1 2 1 3 2 4 1 5 2 6 2 7 3 8 1 9 2 10 2 11 3 12 2 13 3 14 3 15 4

Se cuenta que fue Leibniz el que primero se j en la sucesin (L(n)) o o mientras esperaba a ser recibido en audiencia por el Papa, a quien iba a plantear una propuesta para unicar las distintas iglesias cristianas9 . Obsrvese que si, para un cierto k, n < 2k , entonces los desarrollos e o binarios de n y n + 2k coinciden excepto en la primera posicin: n + 2k llevar un 1 y a n le podemos poner un 0. De manera que a L(n + 2k ) = L(n) + 1
Figura 6.2: Leibniz

si 0 n < 2k . As que para calcular el valor de L(n + 2k ) necesitamos mirar al nmero L(n), u que est mucho antes en la sucesin. a o
Los matemticos de antao ten intereses muy diversos. En todo caso, curiosa manera de preparar a n an una entrevista para un asunto de tan aparente trascendencia. Gottfried Leibniz (1646-1716), el matemtico y a lsofo alemn protagonista de este chascarrillo, es considerado, junto con Newton, el inventor del Clculo. o a a Leibniz invent notaciones que han llegado a nuestros d como dx o el s o as, mbolo , y reglas (que hoy llevan su nombre) como la de diferenciacin de productos. Para 1676 hab completado su formulacin del Clculo, o a o a incluyendo el Teorema Fundamental. Newton hab desarrollado su mtodo de uxiones en 1671, aunque su a e trabajo no fue publicado hasta 1736, y acus a Leibniz de plagio. Una polmica histrica: quin fue antes? o e o e Fuera quien fuera, parece claro que ambos llegaron a sus conclusiones de manera independiente y que, por supuesto, ambos merecen una posicin destacada en el Olimpo matemtico. o a
9

(versin preliminar 23 de octubre de 2008) o

6.1. Algunos ejemplos

355

Veamos cmo se generan recursivamente los valores de la sucesin: los vamos a agrupar o o dependiendo del bloque didico [2k , 2k+1 ) al que pertenezcan. Empezamos con a (L(0), L(1)) = (0, 1) y entonces L(2), L(3) = L(0 + 2), L(1 + 2) = L(0) + 1, L(1) + 1 = 0, 1 + 1, 1 = 1, 2 . El siguiente bloque se obtendr a L(4),L(5), L(6), L(7) = L(0 + 4), L(1 + 4), L(2 + 4), L(3 + 4) = L(0) + 1, L(1) + 1, L(2) + 1, L(3) + 1 = 0, 1, 1, 2 + 1, 1, 1, 1 = 1, 2, 2, 3 . El procedimiento es sencillo: para calcular los de un bloque didico, tomamos la lista de todos a los anteriores y les sumamos, a cada uno de ellos, 1. Por ejemplo, el siguiente bloque ser a (L(8), L(9), L(10), L(11), L(12), L(13), L(14), L(15)) = = (L(0), L(1), L(2), L(3), L(4), L(5), L(6), L(7)) + (1, 1, 1, 1, 1, 1, 1, 1) = (1, 2, 2, 3, 2, 3, 3, 4). Obsrvese que estos n meros cumplen adems que e u a L(2n) = L(n) , porque multiplicar por 2 signica rodar los coecientes del desarrollo binario de n una unidad, aadir un cero a la derecha: por ejemplo, 7 = (101)2 y 14 = (1010)2 ; 31 = (11111)2 y n e o 62 = (111110)2 . La identidad anterior es tambin una recurrencia para la sucesin (Ln ). 5. Ecuaciones con dos parmetros a En el cap tulo 3 analizamos diversas familias de n meros que dependen de dos parmeu a tros: coecientes binmicos, nmeros de Stirling de primera y segunda especie, nmero de o u u particiones de un entero en un cierto nmero de partes, etc. Para cada uno de ellos, encontrau mos relaciones de recurrencia y valores iniciales que permit calcularlos. Por recordarlos, an veamos un par de casos. Ejemplo 6.1.15 Coecientes binmicos y nmeros de Stirling de segunda especie. o u El nmero de subconjuntos de tamao k que se pueden extraer del conjunto {1, . . . , n}, u n C(n, k), satisface la recurrencia doble C(n, k) = C(n 1, k) + C(n 1, k 1) para cada n 1 y para cada k 1. Las condiciones iniciales son las de los bordes del tringulo a de Tartaglia: C(n, 0) = 1, para todo n 0 y C(n, n) = 1, para todo n 0. Disponemos, adems, de una frmula cerrada para estos nmeros: a o u C(n, k) = n k = n! , k! (n k)!

vlida para cada n, k 0. Sobre lo ecaz que resulta el clculo con la frmula o con la a a o recurrencia ya reexionamos en la subseccin 3.1.1. o (versin preliminar 23 de octubre de 2008) o

356

Cap tulo 6. Ecuaciones de recurrencia

Cuando contbamos el nmero de particiones en k bloques no vac del conjunto {1, . . . , n}, a u os obten amos los nmeros de Stirling de segunda especie, S(n, k), que satisfac la relacin u an o S(n, k) = kS(n 1, k) + S(n 1, k 1) junto con los valores frontera S(n, n) = 1 y S(n, 1) = 1. Tambin en esta ocasin tenemos e o una frmula: o k1 1 k S(n, k) = (1)j (k j)n , k! j
j=0

algo complicada, en todo caso. 6. Sistemas de ecuaciones

A veces, asociado a un cierto parmetro, digamos n, tenemos dos (o ms) sucesiones de a a nmeros. Calcular un trmino de una de estas sucesiones puede involucrar, tanto a trminos u e e de su propia sucesin, como a trminos de la otra (u otras). En estos casos, tendremos un o e sistema de ecuaciones de recurrencia. u Ejemplo 6.1.16 Calculemos an , el nmero de listas de longitud n con ceros y unos con un nmero par (o cero) de ceros. u Como es igualmente probable el que aparezca un nmero par o un nmero impar de ceros, la u u mbolo que puede intuicin nos dice que an = 2n /2 = 2n1 . Pero veamos. Nos jamos en el s o aparecer en la ultima posicin: si es un 1, el resto de la lista no es sino una de longitud n 1 o con ceros y unos con un nmero par de ceros (de las que hay an1 ). Pero si aparece un 0, lo u que queda es una lista de longitud n 1 con un nmero impar de ceros. u Vaya!, mezclamos aqu otro tipo de ob 1 an1 jetos. Inventemos un nombre para ellos y nmero par de ceros u veamos cmo salimos del aprieto. Si lla- an o 0 bn1 u mamos bn , al nmero de n-listas de ceros nmero impar de ceros u y unos con un nmero impar de ceros, pou dremos establecer la biyeccin que aparece a la derecha, que nos dice que, para n 1, o an = an1 + bn1 , o siendo los valores iniciales a1 = b1 = 1. Pero como hemos introducido una nueva (sucesin) incgnita, se hace necesario establecer una ecuacin para ella. Con un razonamiento anloo o a go al anterior, pero ahora para las listas que cuenta bn , llegamos al siguiente sistema de ecuaciones de recurrencia, () an = an1 + bn1 bn = an1 + bn1 . o bien an bn = 1 1 1 1 an1 bn1 .

A la derecha hemos escrito el sistema en forma matricial; como veremos en la subseccin 6.2.3, o las tcnicas del Algebra Lineal, como el clculo de autovalores y la diagonalizacin, son las e a o herramientas adecuadas para la resolucin del problema. Obsrvese, de todas formas, que este o e a ejemplo tan sencillo se puede resolver a mano. De () deducimos que an = bn . Adems, u an + bn es el nmero total de listas, 2n . De donde obtenemos que an = 2n1 para cada n. (versin preliminar 23 de octubre de 2008) o

6.1. Algunos ejemplos 7. Desdoblamiento

357

En ocasiones, una sucesin de nmeros obedece a varias ecuaciones de recurrencia; o, ms o u a bien, en la sucesin conviven varias subsucesiones (por ejemplo, los trminos de o e ndice par y los de ndice impar), cada una de las cuales tiene su propia ecuacin. o
1

Ejemplo 6.1.17 Queremos calcular la integral Jn =

xn , para cada entero n 0. 1 x2

Para calcular J0 usamos el cambio de variables x = sen(t):


1

J0 =

1 dx = 1 x2

/2 0

cos(t) dt = . cos(t) 2

u a La integral J1 es an ms sencilla:
1

J1 =

x dx = 1 x2 1 x2

1 0

= 1.

La relacin de recurrencia se obtiene integrando por partes, como en el ejemplo 6.1.4: elegimos o u = xn1 , x dx , dv = 1 x2 para obtener que, para n 2, Jn = xn1 1 x2
1 0

du = (n 1) xn2 ; v = 1 x2 ,

+ (n 1)
0

xn2

1 x2 dx = (n 1)
0

xn2

1 x2 dx .

Parece que nos hemos salido de la familia de integrales Jk ; pero un sencillo truco nos permite volver a ella: Jn = (n 1) = (n 1)
0 1 0 1

xn2 xn2

1 x2 dx = (n 1)
1 0

1 0 xn

1 x2 xn2 dx 1 x2 dx .

dx (n 1) 1 x2
Jn2

1 x2
Jn

Reordenando trminos llegamos a que e Jn = n1 Jn2 , n para cada n 2.

Esta recurrencia es fcil de resolver, basta iterarla. Observemos que los trminos pares y los a e impares forman dos sucesiones independientes. Por ejemplo, en el caso par, n = 2k, J2k = 2k 1 (2k 1)(2k 3) (2k 1)(2k 3) 3 1 J2k2 = J2k4 = = J0 . 2k (2k)(2k 2) (2k)(2k 2) 4 2
=/2

(versin preliminar 23 de octubre de 2008) o

358

Cap tulo 6. Ecuaciones de recurrencia

Multiplicando numerador y denominador por los factores pares que faltan, llegamos a que J2k = (2k)! (2k)! (2k)! = = 2 2 = 2 k k (k 1) 2 1)2 2 (2k (2k 2) 4 2) (2 (2k k!) 2 2k . k 22k+1

Una manipulacin parecida llev a Wallis a una frmula para estimar el valor de (vase la o o o e subseccin 2.4.4). Y en el caso impar, n = 2k + 1, o J2k+1 = 2k (2k)(2k 2) (2k)(2k 2) 4 2 J2k1 = J2k3 = = J1 . 2k + 1 (2k + 1)(2k 1) (2k + 1)(2k 1) 5 3
=1

Reescribiendo adecuadamente los factores, obtenemos que J2k+1 2k k! 22k = = (2k + 1)! 2k + 1
2

1 2k k

Obsrvese que se tiene que e 1 , 2 2k + 1 de manera que bastar calcular una de las dos sucesiones. a J2k J2k+1 = 8. Modelos dinmicos discretos a Es frecuente que el anlisis de cmo evoluciona una cierta cantidad en el tiempo nos a o permita especicar la tasa de variacin por unidad de tiempo. Esta informacin da lugar, o o de manera natural, a una ecuacin de recurrencia, como ilustramos en los siguientes dos o ejemplos. Ejemplo 6.1.18 Sobre tipos de inters y prstamos. e e Sabe el lector realmente cmo se devuelve un prstamo o cmo se amortiza una hipoteca? o e o En la escritura de un prstamo hipotecario, all por las ultimas pginas, aparece una frmula e a a o algo misteriosa que determina, en funcin de los parmetros del contrato (vencimiento, tipo o a de inters, etc.), el pago mensual al que nos comprometemos. De dnde sale esa frmula? e o o Por si el lector no est ducho en la materia, empezaremos con una pequea introduccin a a n o las nociones de tipo de inters y capitalizacin. e o El inters es la cantidad que se percibe por un prstamo de dinero en un periodo de e e tiempo. Tras ese periodo de tiempo, una unidad de dinero, digamos un euro, se transforma en 1 1+I (capital + intereses).

Si la cantidad inicial es de, por ejemplo, M euros, tras el periodo de tiempo, se tendrn a M (1 + I) euros. La cantidad I es el tipo de inters, el inters percibido por un prstamo e e e de una unidad de dinero10 .
Es conveniente sealar que el tipo de inters que consideraremos aqu est expresado en tantos por uno. Es n e a frecuente que un tipo de inters se exprese tambin en tantos por ciento, as que habr que hacer la conversin e e a o correspondiente. Por ejemplo, un tipo de inters I = 0,1 en tantos por 1 es lo mismo que uno del 10 %. e
10

(versin preliminar 23 de octubre de 2008) o

6.1. Algunos ejemplos

359

Un mtodo de capitalizacin es un contrato que contiene unas reglas de acumulacin e o o de pagos de intereses sobre un capital dado. Para especicar un contrato de capitalizacin o (compuesta) se requieren los siguientes datos: un periodo de tiempo t (normalmente, un ao), n un tipo de inters R (en tantos por uno) asociado a ese periodo de tiempo; e y una frecuencia de capitalizacin, m (generalmente, un divisor de 12 o incluso m = ). o En un contrato como ste decimos que capitae 0 t lizamos cada t/m. Por ejemplo, podr amos tener 1 2 3 m1 t m t m t t m m un contrato con un tipo de inters R anual y una e frecuencia de capitalizacin mensual; esto corresponder a tomar t = 1 ao y m = 12. La o a n regla de capitalizacin asociada a los tres datos del contrato signica que o en tiempo 0, el capital es C.
R En tiempo t/m, el capital acumulado ser C 1 + m , el correspondiente al inters a e producido por el tipo de inters (que est asociado a t) durante ese periodo de tiempo. e a R En tiempo 2 t/m, el capital acumulado ser C 1 + m , porque aplicamos la regla a de inters al capital acumulado hasta el vencimiento anterior. e 2

As calcular amos el valor del capital en cada instante intermedio. En tiempo t, el R m valor del capital ser C 1 + m , pues hemos efectuado m capitalizaciones sucesivas. a La capitalizacin podr ir ms all. Por ejemplo, el capital en tiempo 2 t = 2m (t)/m o a a a R 2m . En general, el valor en tiempo t, donde t es un mltiplo de t/m, u ser C 1 + m a t=k t , m ser C a 1+ R m
k

Amortizacin de un prstamo. Pasemos al problema que nos interesa, el anlisis de o e a cmo se devuelve un prstamo. Un banco nos presta una cantidad V y tenemos N aos para o e n devolverlo. Por supuesto, tendremos que pagar unos intereses, que siguen una regla de una composicin mensual con tipo de inters anual R. Es decir, cada mes pagaremos un inters o e e (que calcularemos con R) por la cantidad de dinero que debamos en ese momento al banco; y adems querremos ir devolviendo el capital prestado. a El mtodo ms habitual en los prstamos hipotecarios es el llamado sistema francs, e a e e en el que se paga una cantidad ja P cada mes. Con el resto de los datos del contrato, queremos calcular cul es el montante de ese pago mensual jo. Llamemos Dn a la deuda a que mantenemos con el banco tras n meses: En el instante inicial, debemos la cantidad total, D0 = V . R Tras el pago del primer mes, D1 = V 1 + 12 P , porque se han acumulado unos intereses y hemos realizado un pago de P . R Tras el segundo mes, D2 = D1 1 + 12 P ; ahora acumulamos intereses sobre la deuda que manten amos con el banco. (versin preliminar 23 de octubre de 2008) o

360

Cap tulo 6. Ecuaciones de recurrencia En un mes cualquiera, la deuda con el banco ser el resultado de restar a la deuda del a mes anterior (ms los intereses correspondientes) el pago jo de P . Esto es, a Dn = Dn1 1 + Al terminar el contrato D12 N = 0. R 12 P para cada n 1.

Llamemos, por comodidad, a = 1 + R/12. Queremos resolver Dn = a Dn1 P para n 1 , junto con la condicin inicial D0 = V . o

a Disponemos adems de la condicin extra D12 N = 0, que como veremos nos permitir obtener a o el valor de P . De nuevo resolvemos la ecuacin de recurrencia por iteracin: o o Dn = a Dn1 P = a (a Dn2 P ) P = a2 Dn2 aP P = a3 Dn3 a2 P aP P an 1 , = = an D0 P (an1 + an2 + + a2 + a1 + 1) = an D0 P a1 donde hemos utilizado la frmula de la suma de una progresin geomtrica nita. Como o o e D0 = V y a = 1 + R/12, tras unas cuantas manipulaciones llegamos a que Dn = R 12 P + 1+ R 12
n

12 P . R

a Utilizando que D12 N = 0, el lector podr obtener que el valor de P es P =V 1 R 12 1 (1 + R/12)12 N .

En cada mes, parte del pago P se destina al pago de los intereses, y otra parte a la amortizacin de capital. Estos repartos var durante la vida del prstamo. Sea In a la cantidad o an e invertida en intereses y Cn la destinada a capital, de manera que P = In + Cn . En el mes n se pagan los intereses generados desde el ultimo pago, esto es, In = Dn1 R/12. Animamos al lector a que obtenga las expresiones expl ci60000 tas de In y Cn a partir de las de Dn y P . Si, por ejemplo, el 50000 montante del prstamo es de V = 60000 euros, se devuelve e 40000 en n = 20 aos y el tipo de inters anual es R = 0,05, el pago n e 30000 mensual (jo) resulta ser P = 395, 97 euros. Las grcas de a 20000 la izquierda muestran cmo va disminuyendo la deuda con o 10000 el banco a lo largo de los 240 meses de vida del prstamo e 0 50 100 150 200 (grca superior) y qu parte del pago mensual se destina a e 400 a intereses y qu parte a capital (grca inferior; como es e a bien sabido, al principio pagamos sobre todo intereses) El 300 lector podr extraer conclusiones sobre la conveniencia de a 200 esa prctica, tan habitual, de cancelar el prstamo cuando a e est prximo al vencimiento. Existen otros sistemas de amora o 100 tizacin de prstamos, que explicamos en los ejercicios 6.1.4 o e 0 y 6.1.5. 50 100 150 200 (versin preliminar 23 de octubre de 2008) o

6.1. Algunos ejemplos Ejemplo 6.1.19 Cmo se administran medicamentos. o

361

Para tratar una cierta enfermedad tomamos una cantidad ja C de medicamento cada N horas. Buscamos un modelo matemtico que permita determinar los valores de los parmetros a a C y N para que (1) la cantidad de medicamento en el organismo no supere nunca un cierto umbral de toxicidad B; y (2) que esa cantidad de medicamento siempre est por encima de e un umbral de ecacia A, por debajo del cual el medicamento no surte efecto. Tras cada N horas, slo una fraccin d (un nmero entre 0 y 1) de la cantidad de medicao o u mento presente en el organismo se mantiene; el resto desaparece. Digamos que esta eliminacin sigue un modelo de decaimiento exponencial: si en un cierto momento hay una cantidad o D de medicamento, tras un tiempo t slo quedar D ek t , donde k > 0 es una cantidad (la o a constante de decaimiento) que depender de diversos factores y que supondremos conocida. a Esto supone que, en realidad, d no es un nuevo parmetro, sino que est relacionado con N a a a mediante d = ekN . Si N muy grande, es decir, las tomas estn muy espaciadas, entonces d ser muy cercano a 0, y casi todo el medicamento desaparecer entre una toma y la siguiena a te. Vamos a suponer, por simplicidad, que el paso del medicamento al torrente sangu neo es instantneo. Las tomas se producen en tiempos t0 , t1 , t2 , . . . , separadas cada N horas. a a Llamaremos yn e xn , respectivamente, a las cantidades de frmaco en sangre justo antes e inmediatamente despus de la toma de tiempo tn . e Los nmeros yn cumplen que u yn = d xn1 para cada n 1,

porque slo se mantendr una fraccin d de la cantidad presente tras la toma anterior. o a o Asimismo, se cumple que xn = yn + C para cada n 1 y, por tanto, xn = d xn1 + C , ecuacin que se resuelve por simple iteracin (y utilizando que x0 = C). Dejamos al lector la o o comprobacin de que las frmulas correspondientes son o o 1 dn+1 para cada n 1. 1d Nuestro objetivo es elegir valores de los para B metros C (cantidad en cada toma) y de N x4 x3 x2 (periodo de tiempo entre tomas; recurdese e x1 que jar N equivale a especicar d) de max0 = C nera que, como se muestra en el dibujo de la y4 y3 izquierda, la cantidad de medicamento en sany2 y1 gre se mantenga siempre entre los dos l mites A A y B (por supuesto, C ha de estar ya en el t0 t1 t2 t3 t4 rango adecuado). El asunto es ms delicado de lo que pudiera parecer. Observemos que ambas sucesiones, a (xn ) e (yn ), son crecientes, pues d < 1, y necesitamos que, para cada n, yn = C y xn = C xn = C 1 dn+1 B 1d y que yn = C d dn+1 A. 1d d dn+1 1d

(versin preliminar 23 de octubre de 2008) o

362

Cap tulo 6. Ecuaciones de recurrencia


C B

La condicin de la derecha se cumplir si el primero de o a los yn , esto es, y1 = dC, lo hace. Para la de la izquierda, ser suciente con exigir que se cumpla para el ltimo de a u m los xn , esto es, para el l n xn , que vale C/(1d). As que debe cumplirse que

A C d B y dC A = C B(1 d) . 0 1 1d d C Y esto no es siempre posible. La regin del plano (d, C) deo 6 terminada por la doble desigualdad anterior es la encerrada entre las grcas de A/d y B(1d). . . y esa regin bien pudiea o B ra ser vac En los dibujos observamos las dos posibilidades: a! si B est cercano a A, el problema no tiene solucin. a o A Un anlisis ms detallado, que dejamos como ejercicio 6.1.6 a a d al lector, nos dice que tendremos toda una regin de pares de o 1 0 n valores (d, C) admisibles para el sistema siempre que11 B 4A. Lo que nos permite disear la estrategia de tomas (decidiendo el tiempo entre tomas o jando la cantidad de medicamento por toma). El ejercicio 6.1.6 tambin contiene estos detalles. e 9. Una estrategia de supervivencia Cerramos esta seccin con un ejemplo, algo inclasicable, en el que aparecen muchas de o las tcnicas y argumentos que hemos visto hasta aqu e . Ejemplo 6.1.20 El problema de Josefo. El que vamos a explicar a continuacin es, quizs, uno de los primeo a ros problemas combinatorios de la Historia, una variacin sobre el o n 2 problema original que preocupaba a Flavio Josefo12 . Tenemos n pern1 3 sonas sentadas a una mesa circular y vamos eliminando a la segunda persona que nos vayamos encontrando en el sentido de las agujas del 4 reloj (empezando a contar desde la primera posicin), hasta que slo o o o, o una sobreviva. El desaf por supuesto, es calcular la posicin inicial, que llamaremos J(n), que debe ocupar una persona si quiere sobrevivir. Instamos al lector inquieto a que se entrene calculando a mano los primeros casos:
1

n J(n)

1 1

2 1

3 3

4 1

5 3

6 5

7 7

8 1

9 3

10 5

11 7

12 9

13 11

14 13

15 15

16 1

11 La ratio entre B y A depende del medicamento en cuestin, y en los casos reales puede llegar a ser de o tan solo 2 a 1 (aqu estamos exigiendo 4 a 1). Aunque esta razn se puede reducir si nos damos un grado de o libertad extra, como es el que la primera toma sea especial (y algo mayor, por ejemplo). 12 El historiador jud Flavio Josefo (37-circa 100) particip en la revuelta contra Roma del ao 66 y escap a o o n o la matanza que tuvo lugar despus de la toma de la ciudadela de Josapata. Se cuenta, quizs ya con un tono e a algo legendario, que 41 rebeldes fueron cercados por las tropas romanas y que, antes de ser capturados, optaron por el suicidio colectivo. Slo Josefo y otro compaero no parec muy convencidos de la utilidad del sacricio, o n an as que nuestro personaje propuso el siguiente sistema de inmolacin: sentados a una mesa circular, se ir o a eliminando a cada tercera persona hasta que slo dos sobrevivieran. Estos dos ultimos deber ser los ultimos o an en morir. Josefo calcul las posiciones que deb ocupar l y un compaero para sobrevivir al proceso. o an e n

(versin preliminar 23 de octubre de 2008) o

6.1. Algunos ejemplos

363

Obsrvese que todas las posiciones de supervivencia son impares (como corresponde a e que en la primera pasada eliminamos todas las posiciones pares). La tabla parece sugerir un cierto patrn (de bloques didicos) en esas posiciones de supervivencia. o a 1 1 Empezamos con el caso par, con n = 2k per2k1 2 3 2k sonas. Queremos evaluar J(2k). En la pri2k3 2k1 5 mera pasada eliminamos a todas las perso3 nas que ocupen posiciones pares, como se 4 7 muestra en la gura. Queda una conguracin con k personas, aunque ahora no numeradas de 1 a k. Si estuvieran bien numeradas, o la posicin de supervivencia vendr dada directamente por J(k). Observemos que la posio a cin 2 ahora est etiquetada con 3, la 3 con 5, la 4 con 7, la 5 con 9, etc. Esto es, hemos o a doblado cada posicin y le hemos restado 1. Si m es la posicin superviviente con el oro o den (1, 2, . . . , k) (de manera que m = J(k)), con el nuevo etiquetado (1, 3, 5, . . . , 2k 1) el superviviente ser 2m 1. As llegamos a que a () J(2k) = 2 J(k) 1 , para cada k 1.
1 3

El caso impar, n = 2k + 1, es anlogo. a 2k+1 2k+1 2 5 Ahora la primera pasada elimina a las per2k1 2k 7 3 sonas que ocupan posiciones pares, y an sou breviven k+1 personas. Observamos tambin e 4 9 que la siguiente v ctima es la que ocupaba la a posicin 1. Tras estos pasos, nos queda la conguracin de la gura. Con argumentos anlogos o o a los de antes (cuyos detalles dejamos al lector) establecemos que, para cada k 1, () J(2k + 1) = 2 J(k) + 1 .

Las reglas () y (), junto con el valor J(1) = 1, permiten generar la sucesin (J(n)). En o general, la simple iteracin de estas dos expresiones no permite hallar una frmula expl o o cita para J(n), pues en cada paso hay que comprobar la paridad de los sucesivos valores que vamos encontrando. Aunque si, por ejemplo, n fuera una potencia de 2, digamos n = 2m , entonces el lector podr comprobar, por simple iteracin, que J(2m ) = 1. a o Pero, y si escribimos n en binario, n = (ak , ak1 , . . . , a1 , a0 )2 , donde los aj {0, 1} y o u ak = 1? Si n es par (esto es, si a0 = 0), la relacin () requiere calcular el nmero de Josefo en o n/2, cuya expresin binaria es (ak , ak1 , . . . , a2 , a1 )2 (slo hay que eliminar la ultima cifra del o desarrollo binario). Por otro lado, si n es impar, () nos conduce a (n 1)/2, cuya expresin o en binario, como puede comprobar el lector, es tambin (ak , ak1 , . . . , a2 , a1 )2 . e En estos nuevos trminos, la relacin de recurrencia se simplica notablemente: e o J ((ak , ak1 , . . . , a1 , a0 )2 ) = 2 J ((ak , ak1 , . . . , a1 )2 ) + (1)a0 +1 , pues sumamos 1 dependiendo del valor de a0 . Iterando esta regla y utilizando que ak = 1, o el lector podr llegar a que, si (ak , ak1 , . . . , a1 , a0 )2 es la expresin en binario de n, entonces a
k

J ((ak , . . . , a0 )2 ) =
j=0

(1)aj +1 2j .

(versin preliminar 23 de octubre de 2008) o

364

Cap tulo 6. Ecuaciones de recurrencia

EJERCICIOS DE LA SECCION 6.1 6.1.1 Este ejercicio hace referencia a la sucesin de nmeros de Leibniz (L(n)) del ejemplo 6.1.14. o u (a) Comprubese, recordando la discusin de la subseccin 4.2.4, que #{k n : e o o
2 1
n

n k

es impar} = 2L(n) .

(b) Comprubese, por induccin, que si n 0, entonces e o


k=0 1

2L(k) = 3n .

6.1.2 Sea In =
0

xn ex dx, n 0.

(a) Comprubese que I0 = e 1 y obtngase que In = e nIn1 , para cada n 1. e e (b) Para resolver la recurrencia anterior, consideramos los nmeros Jn = (1)n+1 In /(n! e), para cada u n 0, que como podr comprobar el lector, verican que a Jn = Jn1 + (1)n+1 n! para cada n 1.

Resulvase esta recurrencia para obtener una frmula para Jn y la correspondiente frmula para In . e o o

6.1.3 Denamos Hn =
0

et sinn (t)dt . Comprubese que H0 = 1 y H1 = 1/2, y que e n(n 1) Hn2 , 1 + n2 para cada n 2.

Hn =

Dedzcanse las frmulas para las integrales de ndice par H2k y las de ndice impar H2k+1 . u o 6.1.4 Este ejercicio y el siguiente utilizan los trminos del ejemplo 6.1.18. En un sistema alternativo e de amortizacin de prstamos, cada mes se paga una cantidad Pn , con la que se pagan los intereses o e In generados en el periodo anterior y se amortiza una cantidad ja C de capital: Pn = In + C, para n 1. Ahora el pago mensual no es jo, sino que va decreciendo con el tiempo. u o (a) Obtngase una frmula para Dn , la deuda con el banco en el mes n. Dedzcase, de la condicin e o D12 N = 0, el valor de C. (b) Con estas expresiones, obtnganse los valores de In y de Pn . Dibjese la grca de los pagos de e u a intereses y capital para los datos R = 0,05, N = 20 aos y V = 10 millones de euros. n 6.1.5 Una tercera forma de amortizacin es el llamado sistema americano. Dados los datos R, o V y N como antes, se devuelve toda la deuda y sus intereses en un unico pago al nal del contrato. Esto es, se hace un pago en el mes 12 N de Pnal = V 1+ R 12
12 N

Para acumular ese capital se crea un fondo al que se contribuye con una cantidad ja P cada mes; este dinero se capitaliza mensualmente con un tipo de inters anual S (generalmente, distinto de R). e o Se pide establecer una frmula para An , el capital acumulado tras la aportacin del mes n. Y, con la o condicin de que A12 N = Pnal , obtener el valor de P . o 6.1.6 Estamos con el modelo de toma de medicamentos explicado en el ejemplo 6.1.19. (a) Hllense los rangos de los parmetros d y C en los que mantendremos la cantidad de medicamento a a entre los lmites A y B. Comprubese que si B 4A, estos rangos realmente existen. e

(versin preliminar 23 de octubre de 2008) o

6.1. Algunos ejemplos

365

(b) Supongamos que A = 3 y B = 16. Determnense los rangos para los parmetros d y C. a (c) Supongamos que el medicamento est caracterizado por un valor de k = 0,1. Si C = 10, qu rango a e para N sera posible? y cul sera el rango admisible para C si quisiramos que N = 8 horas? a e 6.1.7 Estamos con el problema de Josefo del ejemplo 6.1.20. Supongamos que la expresin binaria o de n es (ak , ak1 , . . . , a1 , a0 )2 , donde ak = 1. (a) Consideremos el nmero N cuya expresin en binario tiene la misma longitud que la de n y sus u o k cifras son todo unos; esto es, N = j=0 2j . Calclese 2n N y comprubese que coincide con J(n). u e (b) Dedzcase de lo anterior que si escribimos n = 2k + l, con 0 l < 2k , entonces u J(2k + l) = 2l + 1 . (c) Aplquese esta frmula al clculo de J(134) y J(1356). o a (d) Dedzcase que u J((ak , ak1 , . . . a1 , a0 )2 ) = (ak1 , ak2 , . . . , a1 , a0 , ak )2 , de forma que podemos obtener J(n) sin ms que permutar cclicamente la expresin binaria de n. a o (e) Ciertos nmeros de Josefo cumplen que J(n) = n/2. Es el caso, por ejemplo, de 2, 10, 42, 170, u etc. Caractercense los nmeros para los que esto ocurre. u 6.1.8 En el problema original de Josefo, se elimina a la tercera persona que vamos encontrando en el sentido de las agujas del reloj. Lncese sin miedo el lector a analizar esta cuestin para descubrir a o que, si n = 41, entonces las dos posiciones que sobreviven son la 16 (penltimo) y la 31 (ltimo). u u 6.1.9 Consideremos una funcin f : X X , donde X = {1, . . . , N } (f no tiene por qu ser o e necesariamente una biyeccin, es decir, una permutacin de X ). Sea a0 X . Denimos a1 = f (a0 ), o o e a2 = f (a1 ) y, en general, an = f (an1 ). Comprubese que existe un n0 y un k tales que an+k = an para todo n n0 . 6.1.10 Analcense, a la luz del ejercicio anterior, los siguientes sistemas dinmicos para diversos a valores de a0 : (a) El conjunto X = {0, 1, . . . , 6} y la funcin f : X X , donde f (n) es el resto de dividir 3n por 7. o (b) Sea X = {0, 1, . . . , 9999}. La regla f es la siguiente: dado n X , consideramos los nmeros a (que u tiene las mismas cifras que n, pero ordenadas de menor a mayor) y b (mismas cifras que n, pero de mayor a menor). Finalmente, f (n) = b a. Por ejemplo, si n = 3075, entonces a = 0357 y b = 7530, de manera que f (n) = 7173. 6.1.11 Variamos el esquema de reproduccin de Fibonacci del ejemplo 6.1.7 de la siguiente forma: o los conejos tienen dos parejas de descendientes cuando tienen 2 meses, y tres parejas a partir del u a tercer mes de vida. Llamemos an al nmero de conejos que en el mes n tienen 3 meses de vida o ms, bn a los que tienen exactamente 2 meses y cn a los de 1 mes. Suponemos que c0 = 1 y a0 = b0 = 0. Escrbase una recurrencia (matricial) para (an , bn , cn ). 6.1.12 Considrese la sucesin (u(n)) de signos 1 dada por la siguiente regla: e o n=1 u(2n) = u(n) , para cada n 1 y u(2n + 1) = (1)n , para cada n 0. (a) Escrbanse los primeros trminos. e (b) Observemos que todo nmero natural n se puede escribir de manera unica en la forma n = u 2r (2s + 1), con r 0 y s 0, sin ms que agrupar los doses de su desarrollo en primos. Comprubese a e que la regla de recurrencia anterior se puede escribir como sigue: u(2r (2s + 1)) = (1)s .

(versin preliminar 23 de octubre de 2008) o

366

Cap tulo 6. Ecuaciones de recurrencia

6.2.

Resolucin de ecuaciones de recurrencia o

Como el lector podr imaginar, tras leer la seccin anterior, la variedad de ecuaciones de a o recurrencia que se pueden plantear es inmensa. En la mayor de las ocasiones, resolverlas es a una tarea dif cil. En esta seccin nos vamos a limitar a estudiar algunos casos particulares, o sobre todo las ecuaciones lineales. Hay mtodos para resolver otras familias de ecuaciones, e pero dado que las funciones generatrices, que introduciremos en el cap tulo 10, nos permitirn a abordar estos problemas ms fcilmente, obviaremos su descripcin. a a o

6.2.1.

Ecuaciones lineales, homogneas y con coecientes constantes e

En esta subseccin nos interesaremos por las sucesiones (an ) que son solucin de o o n=0 ecuaciones como la siguiente: ( ) A0 an + A1 an1 + + Ak ank = 0 para cada n k,

u donde los A0 , A1 , . . . , Ank son ciertos nmeros dados, con A0 , Ak = 0, y k 1. Observemos que, de manera muy sinttica, estamos representando innitas condiciones para los e trminos de la sucesin. Sin prdida alguna de generalidad, podemos suponer (dividiendo ( ) e o e o previamente por A0 ) que A0 = 1, as que reescribiremos la ecuacin de la siguiente forma: ( ) an = B1 an1 + B2 an2 + + Bk ank para cada n k,

para insistir en que cada trmino de la sucesin (a partir de un cierto e o ndice) se escribe como combinacin lineal (con coecientes constantes) de unos cuantos trminos anteriores. o e Obsrvese cmo ( ) es una receta para calcular el trmino an si disponemos de los valores de e o e tulo de la subseccin quiere o an1 , . . . , ank . La homogeneidad a la que nos referimos en el t decir que no aparecen trminos extra que no dependan de los propios aj . Esto resulta ser e fundamental en el anlisis que vamos a hacer. En la subseccin 6.2.2 veremos cmo podremos a o o tratar el caso en que aparezcan trminos no homogneos. e e El nmero de trminos anteriores involucrados ser el grado de la ecuacin (la que u e a o hemos escrito arriba ser de grado k). Necesitaremos, adems, k condiciones iniciales para a a que la sucesin arranque; en el caso de arriba, los nmeros a0 , a1 , . . . , ak1 , los primeros k o u trminos de la sucesin. A partir de ellos, y aplicando ( ) reiteradamente, obtendremos e o o tulo, todos los valores de (an ). De todos los que hemos visto en la primera seccin de este cap slo los ejemplos 6.1.1, 6.1.5, 6.1.6, 6.1.7 y 6.1.9 son de este tipo (aunque los ejemplos 6.1.2, o 6.1.3, 6.1.18 y 6.1.19 conduc tambin a ecuaciones lineales con trminos no homogneos, an e e e que trataremos en la subseccin 6.2.2). o El caso k = 1, la ecuacin de primer grado, es especialmente sencillo, pues para o , o resolverla basta aplicar reiteradamente13 la regla hasta llegar al valor inicial. As si la ecuacin n o es an = B1 an1 , para cada n 1, y el valor inicial es a0 , entonces la solucin es an = B1 a0 para cada n 0 (vanse algunas variaciones en el ejercicio 6.2.1). e
Como ya hemos hecho en varias ocasiones, incluso permitiendo la presencia de un trmino extra constante e (ejemplos 6.1.3, 6.1.18 y 6.1.19). En realidad podemos resolver cualquier ecuacin del tipo xn = f (n)xn1 + o g(n), donde f (n) y g(n) son ciertas funciones, por simple iteracin. Aunque, como imaginar el lector, excepto o a en algunos casos especialmente sencillos (vase el ejemplo 6.1.4), las frmulas que se obtienen son inmanejables. e o
13

(versin preliminar 23 de octubre de 2008) o

6.2. Resolucin de ecuaciones de recurrencia o

367

As que podemos restringir nuestro estudio al caso k 2. Y, de hecho, los ingredientes del anlisis general que vamos a desarrollar estn ya presentes en el caso de la ecuacin a a o lineal homognea de segundo orden, a la que aadimos dos condiciones iniciales: e n an = an1 + an2 () a0 = p , a1 = q . para cada n 2;

e Los datos son , , p y q, y el objetivo es obtener una frmula para an en trminos de n. o Aunque conviene recordar que no siempre la frmula cerrada para la solucin es la manera o o ms ecaz de calcular los valores de la sucesin (la ecuacin de recurrencia podr ser un a o o a mejor mtodo). El inters por obtener una tal frmula est justicado, adems de quizs por e e o a a a razones estticas, por que en muchas ocasiones nos permite entender el comportamiento e e de los an (por ejemplo, para n grande) en trminos de ciertas cantidades que en un primer vistazo podr pasar inadvertidas. an Una solucion de la ecuacin () es una sucesin (an ) cuyos trminos (a partir de a2 ) o o e n=0 veriquen la ecuacin. La sucesin ser solucin del problema completo cuando, adems, los o o a o a o dos primeros trminos, a0 y a1 , valgan p y q respectivamente. Observe el lector que la ecuacin e tiene, en principio, innitas soluciones (una por cada posible eleccin de valores iniciales a0 o y a1 ), pues basta arrancar la sucesin a partir de ese par de valores iniciales (por arrancar o o la sucesin entenderemos jar dos valores iniciales para a0 y a1 y luego utilizar la ecuacin () o o a para ir obteniendo sucesivamente a2 , a3 , a4 . . . ). Pero slo una de estas sucesiones es, adems, solucin del problema completo (justamente aqulla para la que a0 = p y a1 = q)14 . o e A. Estructura de las soluciones de la ecuacin o La estructura de las (innitas) soluciones de la ecuacin () es especialmente interesante. o Obsrvese que ser solucin de la ecuacin nada dice sobre los valores que pudieran tener los e o o dos primeros trminos. Todo se debe a las siguientes dos propiedades: e o 1. Si (an ) y (bn ) son dos soluciones de (), entonces la sucesin (cn ) denida mediante e cn = an + bn para cada n 0 tambin lo es, puesto que, para cada n 2, cn = an + bn = an1 + an2 + bn1 + bn2 = (an1 + bn1 ) + (an2 + bn2 ) = cn1 + cn2 . o u 2. Anlogamente, si (an ) es solucin de () y r es un cierto nmero real jo, entonces la a e e o sucesin (cn ) denida a travs de cn = r an para cada n tambin es solucin de (). o As que el conjunto de soluciones de () no es cualquier cosa, sino que tiene estructura, en o o concreto la de espacio vectorial15 : la combinacin lineal de sucesiones que sean solucin de () es una sucesin que sigue siendo solucin. o o
14 Animamos al lector interesado a que pruebe, utilizando el principio de induccin fuerte, que si dos suo o cesiones (an ) y (bn ) son solucin de () y se cumple que a0 = b0 y a1 = b1 , entonces an = bn para todo n. Obsrvese que los dos trminos que coinciden deben ser consecutivos para que funcione el argumento. e e 15 El lector avisado sabr identicar los conceptos de base y dimensin que aparecern impl a o a citamente en nuestros argumentos. Si adems est versado en la teor de resolucin de ecuaciones diferenciales, muchas de a a a o las tcnicas que aparecern en esta seccin le resultarn familiares. e a o a

(versin preliminar 23 de octubre de 2008) o

368

Cap tulo 6. Ecuaciones de recurrencia

Esta observacin tiene consecuencias muy relevantes. Digamos que (an ) y (bn ) son dos o soluciones distintas de la ecuacin (con ms precisin, deben ser linealmente independientes, o a o lo que en este caso slo supone que no deben ser una mltiplo de la otra). Por simplicar o u o el argumento, supongamos que son (an ) = (0, 1, . . . ), la solucin que empieza con 0 y 1, y (bn ) = (1, 0, . . . ), la que empieza con 1 y 0. Ahora consideremos otra solucin cualquiera de la ecuacin, digamos (cn ) = (c0 , c1 , c2 , . . . ). o o Formamos la sucesin (dn ) denida mediante o dn = c1 an + c0 bn para cada n. o o o Ya sabemos que (dn ) es solucin de la ecuacin, pues es una combinacin lineal de soluciones. Pero, adems, sus dos primeros trminos coinciden con los de (cn ). As que ambas sucesiones, a e (cn ) y (dn ), han de ser la misma. Si el lector se anima a rehacer el argumento anterior con dos sucesiones (an ) y (bn ) generales, como pedimos hacer en el ejercicio 6.2.2, llegar a la conclusin de que, si encontramos a o dos soluciones distintas (linealmente independientes), cualquier otra solucin de la ecuacin o o se puede escribir como combinacin lineal de ellas. o B. Forma de las soluciones de la ecuacin o Pues ya est, no? Tomamos dos soluciones de la ecuacin, por ejemplo dos tan sencillas a o como las que empiezan, respectivamente, por (0, 1, . . . ) y por (1, 0, . . . ). Aplicando reiteradamente la ecuacin, descubrimos que los primeros trminos de estas sucesiones son o e (an ) 0 1 2 + 3 + 2 (bn ) 1 0 2 + 2 4 + 32 + 2 3 + 2 2

Y cualquier otra solucin de la ecuacin se escribir como combinacin lineal de estas dos: o o a o su trmino general ser de la forma e a cn = Aan + Bcn , donde A y B son dos ciertas constantes (que en realidad quedarn determinadas en cuanto a jemos las condiciones iniciales). Pero no, ste no es el nal de la historia, porque no parece posible que de la expresin e o anterior podamos extraer una frmula cerrada y manejable en funcin del o o ndice n para el trmino general de una solucin cualquiera. e o Ser, quizs, que no estamos eligiendo bien las dos soluciones especiales. Recordemos a a que la unica restriccin es que han de ser sucesiones que veriquen la ecuacin y que sean o o distintas (linealmente independientes). Pero parece razonable buscar soluciones con cierta estructura. Podr amos, por ejemplo, buscar soluciones cuyos trminos estn en progresin aritmtica. e e o e Fijamos entonces un primer trmino a0 y exigimos que el siguiente sea de la forma a1 = a0 +d. e El parmetro d est a nuestra disposicin. La ecuacin de recurrencia nos dice que el tercer a a o o e trmino ha de ser a2 = (a0 + d) + a0 y buscamos un valor de d para el que ese trmino sea e el siguiente en la progresin, esto es, a0 + 2d. Enseguida nos damos cuenta de que no vamos o por buen camino. (versin preliminar 23 de octubre de 2008) o

6.2. Resolucin de ecuaciones de recurrencia o

369

Sin desanimarnos, lo volvemos a intentar, pero ahora con trminos que estn en progresin e e o geomtrica. Empezamos, por ejemplo, con (1, r, . . . ). Los siguientes trminos son e e (1, r, r + , (r + ) + r, . . . ) . Ahora ajustamos r para que el tercer trmino est en progresin geomtrica con los anteriores; e e o e esto es, r ha de cumplir que r + = r2 . e Vamos con el cuarto trmino. Querr e amos que ( r + ) + r = r 3 . Pero obsrvese que (r + ) + r = r 2 + r = r( r + ) = r 3 .
=r 2 =r 2

Oooh! (de asombro): sale gratis. El mismo valor de r que nos permite ajustar el tercer trmino consigue hacerlo con el cuarto. El lector podr comprobar que lo mismo ocurre para e a los siguientes. As que existe una solucin de la ecuacin de la forma an = r n (recurdese que o o e esto ya ocurr en las ecuaciones de primer grado), una frmula de lo ms sencilla. Adems, a o a a la ecuacin de segundo grado que dene el valor de r adecuado puede tener otra solucin, o o que nos permitir construir otra sucesin, tambin con trminos en progresin geomtrica, a o e e o e con la que completar el anlisis del problema. a C. Mtodo de resolucin del problema completo e o Ya estamos en condiciones de resumir y formalizar estas ideas. Buscamos soluciones (an ) de la ecuacin () cuyos trminos estn en progresin geomtrica; es decir, que sean de la o e e o e u forma an = r n , para todo n 0, donde r es un cierto nmero no nulo que determinaremos en un momento. El que sea solucin exige que o r n = r n1 + r n2 para cada n 2. Pero estas innitas condiciones se resumen, en realidad, dividiendo por r n2 , en una sola, r2 = r + (el lector que haya estudiado el ejemplo 6.1.7 encontrar familiar este argumento). A la ecuaa cin algebraica as obtenida se le llama ecuacin caracter o o stica. El anlisis depender de a a qu tipo de soluciones tenga esta ecuacin de segundo grado. e o Caso 1. La ecuacin caracter o stica tiene dos ra ces reales distintas
n ces. Sabemos que las sucesiones denidas por an = r1 Llamemos r1 y r2 a estas dos ra n y bn = r2 son soluciones de (). Son adems, distintas (linealmente independientes), porque a o a o r1 = r2 . As que cualquier otra solucin se escribir como combinacin lineal de ellas. Es decir, podemos escribir la solucin general de () como o n n A r1 + B r2

donde A y B son dos constantes cualesquiera. Ahora buscamos la (nica) solucin que verica u o las dos condiciones iniciales, para lo que bastar determinar los valores de A y B adecuados a mediante sencillas relaciones algebraicas. Lo vemos en un ejemplo. (versin preliminar 23 de octubre de 2008) o

370

Cap tulo 6. Ecuaciones de recurrencia

Ejemplo 6.2.1 Consideremos la sucesin de nmeros de Fibonacci (Fn ) dada por F0 = 0, o u F1 = 1 y Fn = Fn1 + Fn2 para cada n 2. La ecuacin caracter o stica correspondiente es r 2 r 1 = 0, cuyas soluciones son, como ya o o sabemos, r1 = (1 + 5)/2 y r2 = (1 5)/2; as que la solucin general de la ecuacin de Fibonacci es 1 5 n 1+ 5 n +B . A 2 2 En esta frmula tenemos codicadas todas las soluciones de la ecuacin de Fibonacci. Queda o o determinar los valores de A y B que corresponden a la sucesin que nos incumbe, la que tiene o como valores iniciales 0 y 1. Slo hay que escribir los casos n = 0 y n = 1 de la frmula y o o resolver el sistema de ecuaciones correspondiente: 0 = F0 = A + B 1 1 y B = . = A = 5 5 1 = F1 = A 1+ 5 + B 1 5
2 2

De manera que el n-simo nmero de Fibonacci se puede escribir como e u 1+ 5 n 1 5 n 1 1 Fn = 2 2 5 5 la llamada frmula de Binet, de 1843 (aunque Daniel Bernoulli y Euler ya la conoc o an hacia 1724). Pasan cinco siglos desde que Fibonacci se interesara por estos nmeros hasta u que se obtiene esta expresin. Nada menos que cinco siglos separan las simples manipulaciones o con la ecuacin del nivel de abstraccin que supone el anlisis que aqu hemos hecho y que o o a nos ha conducido a esta frmula. o Frmula, por cierto, algo sorprendente; obsrvese que los distintos trminos, que invoo e e lucran ra ces de 5, se combinan mgicamente para dar siempre un entero. Quizs no sea la a a descubre, o ms bien hace expl a cimanera ms ecaz de calcular el valor de un cierto Fn , pero a o ta, la relacin entre estos nmeros de Fibonacci y = 1+2 5 , la razn aurea. Compruebe el o u lector que la frmula se puede reescribir como o 1 1 n . Fn = n 5 Adems, como > 1, segundo sumando se hace muy pequeo cuando n es grande, de a el n manera que Fn n / 5 cuando n . Lo que demuestra el resultado que vimos en el ejemplo 6.1.7 sobre el comportamiento asinttico de las razones entre nmeros de Fibonacci o u consecutivos: Fn =. l m n Fn1 Ms an, como 5 > 2, a u 1 para cada n 0. 2 a o a As que Fn es el entero ms prximo a n / 5. Si n es par, Fn estar ligeramente por encima de n / 5; y si n es impar, ligeramente por debajo. 1 5 < (versin preliminar 23 de octubre de 2008) o 1
n

6.2. Resolucin de ecuaciones de recurrencia o Caso 2. La ecuacin caracter o stica tiene una ra real doble z

371

z o La ecuacin caracter o stica r 2 r = 0 tiene una unica ra (doble) r1 slo si los coecientes y son muy especiales. En concreto, con la ayuda de la frmula cuadrtica (el o a 2 + 4 ha de ser 0), obtenemos que tienen que ser de la forma = 2r y = r 2 . radicando 1 1 La ecuacin de recurrencia con la que estamos es, pues, o
2 an = 2r1 an1 r1 an2 ,

para cada n 2.

2 3 o o Sabemos que (an ) = (1, r1 , r1 , r1 , . . . ) es una solucin de la ecuacin, pero falta otra. No queremos que sea un mltiplo de sta, y parece razonable suponer que ha de depender de r1 . u e Podr amos intentarlo con la sucesin (bn ), que empieza con (0, r1 , . . . ) y que cumple las o condiciones requeridas. Miremos el aspecto de sus primeros trminos: e 2 2 b2 = 2r1 b1 r1 b0 = 2r1 , 2 3 3 3 b3 = 2r1 b2 r1 b1 = 4r1 r1 = 3r1 , 2 4 4 4 b4 = 2r1 b3 r1 b2 = 6r1 2r1 = 4r1 .

De lo ms atractivo (y sorprendente): las sucesivas cancelaciones hacen que los trminos de la a e n o sucesin sean de la forma nr1 , para cada n 0, de nuevo una frmula sencilla y manejable. o z El lector puede comprobar ms formalmente que, efectivamente, si r1 es una ra doble de la a n o ecuacin caracter o stica, entonces la sucesin dada por bn = n r1 para cada n es una solucin o de la ecuacin de recurrencia. As que la solucin general se puede escribir como o o
n n A r1 + B n r1

De nuevo, los valores de A y B se determinarn con las condiciones iniciales. a Por supuesto, hab una razn, adems de las heur a o a sticas que hemos expuesto aqu para , elegir la forma particular de esta segunda solucin (vase el ejercicio 6.2.3). No hay tal Deus o e ex machina, al que a veces somos tan acionados en los textos de Matemticas. a Ejemplo 6.2.2 La ruina del jugador, revisada. En el ejemplo 6.1.9 presentbamos los ingredientes del problema: empezamos a jugar con n a euros, donde 0 n N , para cierto N jo. En cada partida ganamos con probabilidad p y perdemos con probabilidad q = 1 p. Si a(n) es la probabilidad de arruinarnos, entonces a(n + 2) = q 1 a(n + 1) a(n) , p p si 0 n N 2.

Las condiciones iniciales, un tanto inusuales, son a(0) = 1 y a(N ) = 0. La ecuacin o caracter stica es, en este caso, q 1 r 2 r + = 0, p p cuyas soluciones son r1 = q/p y r2 = 1. Llamemos, por comodidad, al cociente q/p. Hay dos casos, dependiendo de si = 1 o no. (versin preliminar 23 de octubre de 2008) o

372

Cap tulo 6. Ecuaciones de recurrencia

Caso p = q (es decir, = 1). Obsrvese que, en cada partida, la probabilidad de ganar e no es la misma que la de perder. Si estuviramos hablando de una moneda, dir e amos que est cargada. Cuando jugamos a la ruleta, apostando al rojo o al negro, estamos en este a caso, como luego explicaremos (de hecho, en el caso en que la probabilidad de ganar p es menor que la de perder q, como el lector se habr imaginado ya). a Como las ra ces de la ecuacin caracter o stica son distintas, la solucin general ser o a a(n) = A 1n + B n . Ahora, con ayuda de las condiciones iniciales, determinamos A y B: a(0) = A + B = 1 a(N ) = A + B con lo que la solucin es o a(n) = N 1 + n , N 1 1 N (donde, recordemos, = q/p). N =0 = A= N 1 N y B= 1 , 1 N

Caso p = q = 1/2 Ahora hay una unica ra de la ecuacin caracter z o stica, r1 = r2 = 1, y la solucin general se puede escribir como o a(n) = A 1n + B n 1n = A + Bn. De las condiciones iniciales obtenemos que A = 1 y B = 1/N , con lo que a(n) = 1 n . N

El comportamiento de las dos soluciones es bien diferente: en el caso p = q, es una funcin o lineal de n, mientras que en el otro es una funcin exponencial. o Para entender realmente qu supone esto, supongamos que estamos en un casino europeo e apostando al rojo: de los 36 nmeros, hay 18 rojos y otros 18 negros. Pero hay tambin una u e casilla, la del 0, que no lleva color; si sale el 0, la banca se lleva todas las apuestas. Parece poco negocio para el casino, pero. . . La probabilidad de ganar es p = 18/37, mientras que la de perder es q = 19/37, ligeramente superior, debido a la presencia de esta casilla extra con el 0. El cociente = q/p vale 1,0555. Prcticamente 1, pero no exactamente 1. a Las grcas que aparecen a continuacin comparan los valores de a(n) en el rango 0 a o n N con = 1 y = 1,0555. Marcamos en el eje horizontal los posibles valores de n, nuestra fortuna inicial, y en el eje vertical los correspondientes de a(n), la probabilidad de arruinarse cuando empezamos a jugar con n euros. Con = 1, claro, tenemos una recta. Pero la grca para = 1,0555 es bien diferente. a A la izquierda representamos el caso en que N = 40, en el que ya se aprecia una cierta diferencia entre ambas grcas. La de la derecha corresponde a N = 200, y la discrepancia a es ya espectacular. (versin preliminar 23 de octubre de 2008) o

6.2. Resolucin de ecuaciones de recurrencia o


1 0.8 0.6 0.4 0.2
1 0.8 0.6 0.4 0.2

373

10

20 n

30

40

20

40

60

80 100 120 140 160 180 200 n

Obsrvese que, en la grca de la derecha, la probabilidad de arruinarse es prcticamente 1 e a a (en el caso = 1, 0555) a menos que n est muy, pero que muy cercano a N = 200. Digamos e que estamos jugando a doblar o arruinarse. Es decir, partimos de una fortuna n que es la mitad de N (N = 2n). Si el juego es equilibrado ( = 1), la probabilidad de arruinarse es siempre un 1/2, sea cual sea N . Pero en la ruleta ( = 1,0555), para N = 40 tenemos una probabilidad de ruina de casi el 70 %. . . y si estamos con N = 200, nos arruinaremos en ms a del 98 % de las ocasiones. Las conclusiones quedan para el lector. Caso 3. La ecuacin caracter o stica tiene dos ra ces complejas ces La ecuacin caracter o stica tiene coecientes reales, as que sabemos16 que las dos ra complejas son conjugadas una de la otra. Digamos que son z1 = a + bi y z2 = z 1 = a bi. El lector puede comprobar que las sucesiones (an ) y (bn ) denidas, para cada n, mediante n n o an = z1 y bn = z2 respectivamente, son soluciones de la ecuacin de recurrencia, as que su solucin general se puede escribir como o
n n n A z1 + B z2 = A z1 + B z n , 1

donde A y B, como siempre, se determinan con las condiciones iniciales. Pero todo en este problema, los coecientes de la ecuacin y los propios trminos de o e la sucesin, son nmeros reales. Y obtenemos una solucin escrita en trminos de nmeros o u o e u complejos. Pese a la advertencia de Hadamard (vase la pgina 22), puede que esto no nos e a deje muy satisfechos. . . y eso que, aceptando esta escritura con nmeros complejos, la frmula u o que se obtiene es de lo ms manejable! a As que intentaremos encontrar otro par de soluciones, que cumplan las condiciones habi tuales, cuyos trminos sean nmeros reales y de manera que la frmula que obtengamos siga e u o siendo razonable. Nuestras soluciones especiales empiezan con (an ) = (1, z1 , . . . ) y (bn ) = (1, z 1 , . . . ) . Usando la forma polar, podemos escribir z1 = rei y z1 = rei . Pero entonces, recordando n n la casi mgica frmula de Euler-De Moivre, z1 = r n ein , mientras que z1 = r n ein . As que, a o n y z n son uno el conjugado complejo del otro. Por lo tanto, z n + z n es 1 1 para cualquier n, z1 1 n z n es un n mero imaginario puro. u un nmero real, mientras que z1 1 u
16 En el caso de la ecuacin de segundo grado es obvio. Para ecuaciones de mayor grado, ya vimos el o argumento en la demostracin de la proposicin 4.48. o o

(versin preliminar 23 de octubre de 2008) o

374

Cap tulo 6. Ecuaciones de recurrencia Esto nos sugiere denir dos nuevas sucesiones (an ) y (bn ) mediante an = an + bn 2 y bn = an bn 2i (para cada n 0)

cuyos primeros trminos resultan ser e an = bn = 1 + 1 z1 + z 1 , ,... 2 2 1 1 z1 z 1 , ,... 2i 2i = (1, Re(z1 ), . . . ) = (0, Im(z1 ), . . . )

Pero ms an, los trminos generales se pueden escribir de manera muy sencilla: a u e an = bn =
n z1 + z n ein + ein 1 = rn = r n cos(n) , 2 2 n z1 z n ein ein 1 = rn = r n sin(n) . 2i 2i

Perfecto: todos los trminos son reales, y la frmula es sencilla. Decidimos entonces emplear, e o para describir la solucin general de la ecuacin, la expresin o o o C r n cos(n) + D r n sen(n)
n=0

donde, recordemos, r = |z1 | y = arg(z1 ) y z1 es una de las ra ces complejas de la ecuacin o caracter stica. Ejemplo 6.2.3 Queremos encontrar la sucesin de nmeros (an ) denidos por o u an = 2 an1 2 an2 , para cada n 2,

junto con las condiciones iniciales a0 = 1 y a1 = 1. ces De la ecuacin caracter o stica r 2 2r + 2 = 0 obtenemos ra i y z2 = z 1 = 1 i = 2 ei 4 . z1 = 1 + i = 2 e 4 La solucin general de la ecuacin se puede escribir como o o A (1 + i)n + B (1 i)n Pero tambin con la siguiente expresin alternativa: e o 2n/2 C cos n + D sen n 4 4
n=0 n=0

Con las condiciones iniciales determinamos que C = 1 y que D = 0, as que la respuesta buscada es, para cada n 0, n . an = 2n/2 cos 4 Comprubese que, a pesar de escribirse de esta forma algo extravagante, los trminos de la e e sucesin son todos enteros. o (versin preliminar 23 de octubre de 2008) o

6.2. Resolucin de ecuaciones de recurrencia o

375

Todos los argumentos que hemos desarrollado hasta aqu para el caso de la ecuacin de o segundo grado se aplican, mutatis mutandis, a las ecuaciones lineales, homogneas y con e coecientes constantes de grado k. Dejamos al lector que reconstruya la teor para el caso a general, y nos limitamos a exponer el resultado bsico, as como a ilustrarlo con un ejemplo. a Teorema 6.1 Dado k 1, la solucin general de la ecuacin o o an = 1 an1 + 2 an2 + + k ank se puede escribir de la forma
n n n P1 (n) r1 + P2 (n) r2 + + Ps (n) rs n=0

o donde r1 , r2 , . . . , rs son las races distintas (reales o complejas) de la ecuacin caracterstica r k = 1 r k1 + 2 r k2 + + k1 r + k y cada Pi (n) es un polinomio genrico (con coecientes arbitrarios) de grado igual a la mule tiplicidad de la correspondiente raz ri menos uno. Ejemplo 6.2.4 Consideremos la ecuacin an = 4an1 6an2 +6an3 5an4 +2an5 , para o cada n 5, junto con las condiciones iniciales a(0) = a(1) = a(2) = a(3) = 0 y a(4) = 1. Las ra ces de la ecuacin caracter o stica (una qu ntica) r 5 = 4r 4 6r 3 + 6r 2 5r + 2 , son los nmeros 2, 1 (ra doble), i y i (dos ra u z ces complejas conjugadas, como debe ser). As que, conforme al teorema anterior, la solucin general de la ecuacin de recurrencia se o o puede escribir como (A1 + A2 n)1n + A3 2n + A4 in + A5 (i)n
n=0

O, si queremos evitar la presencia de n meros complejos, como u n + B5 1n sin n . (B1 + B2 n)1n + B3 2n + B4 1n cos 2 2 n=0 Si ahora imponemos las cinco condiciones iniciales, obtendremos un sistema de cinco ecuaciones de las que podemos determinar los valores de los nmeros B1 , . . . , B5 . Dejamos al lector u la comprobacin (algo tediosa) de que la solucin del problema es la sucesin dada por o o o an = o bien 1 1 1 n 1 2 n+ + i 5 2 10 20 [(i)n in ] para cada n 0,

1 1 1 1 n + sin n . an = n + 2n cos 2 5 5 2 10 2 Ambas frmulas, pese a su alambicada escritura, representan a la sucesin de nmeros (eno o u teros) cuyos primeros trminos son e (0, 0, 0, 0, 1, 4, 10, 22, 47, 98, 200, 404, 813, 1632, 3270, . . . ) El lector podr deducir, a partir de la frmula anterior, que an 2n /5 cuando n . a o (versin preliminar 23 de octubre de 2008) o

376

Cap tulo 6. Ecuaciones de recurrencia

6.2.2.

Ecuaciones lineales, no homogneas y con coecientes constantes e

Consideramos ahora un caso ms general, en el que la ecuacin contiene un trmino extra a o e que depende del ndice n: an + B1 an1 + B2 an2 + + Bk ank = f (n) , donde f (n) es una cierta funcin no nula. De nuevo, y por simplicar la exposicin, supono o gamos que nuestra ecuacin es de grado dos, o () an + an1 + an2 = f (n) para cada n 2.

Tendremos, adems, dos condiciones iniciales, los valores de a0 y a1 . a Centrmonos en las soluciones de la ecuacin (), a la que nos referiremos como ecuacin e o o o inhomognea. Sean (an ) y (bn ) dos soluciones de () y consideremos la sucesin suma (cn ) e e denida por cn = an + bn para cada n. Obsrvese que cn + cn1 + cn2 = (an + bn ) + (an1 + bn1 ) + (an2 + bn2 ) = an + an1 + an2 + bn + bn1 + bn2 = f (n) + f (n) = 2f (n) . o No obtenemos f (n), as que (cn ) ya no es solucin de () y, por tanto, no tenemos la estupenda estructura (vectorial) de antes. Pero no todo est perdido. Al menos sigue ocurriendo que la solucin del problema (ecuaa o cin inhomognea ms valores iniciales) existe (basta arrancar la sucesin) y es unica. De o e a o nuevo, los dos valores iniciales determinan completamente la solucin que nos interesa. As que o lo que buscamos es una forma adecuada de escribir la solucin general de la ecuacin (), o o para lo que nos apoyaremos en lo que ya sabemos de las ecuaciones homogneas. e Planteamos la ecuacin homognea asociada a nuestro problema: o e () an + an1 + an2 = 0 , para cada n 2.

De esta ecuacin sabemos cmo calcular su solucin general, que ser de la forma (Abn +Bcn ), o o o a o donde (bn ) y (cn ) son sucesiones solucin de () (con el aspecto que corresponda a cada caso, dependiendo de las ra de la ecuacin caracter ces o stica). Ahora viene la observacin clave: consideremos una solucin particular de la ecuacin (). o o o Vale una cualquiera, por ejemplo la que obtenemos arrancando la sucesin a partir de dos o o valores iniciales que jemos. Llamemos (dn ) a esta solucin. Lo que armamos es que cualquier sucesin de la forma o Abn + Bcn + dn , donde A y B son parmetros, es solucin de la ecuacin inhomognea (). Dejamos que el a o o e lector haga la comprobacin pertinente. o Pero adems, toda solucin de () se puede escribir como arriba. Es, una vez ms, un a o a o argumento de unicidad: si (n ) es una solucin que empieza por (0 , 1 , . . . ), podemos encontrar A y B que determinen una sucesin que es solucin de () y que empieza como (n ). o o As que han de ser la misma. Los detalles quedan como ejercicio 6.2.4 para el lector. (versin preliminar 23 de octubre de 2008) o

6.2. Resolucin de ecuaciones de recurrencia o

377

El problema queda resuelto (excepto por un pequeo detalle que explicaremos luego). Si n o queremos encontrar la expresin de la sucesin de nmeros (an ) que cumplen la ecuacin o o u an + an1 + an2 = f (n) , junto con las condiciones iniciales a0 = p y a1 = q, (1) analizamos primero la ecuacin homognea asociada, o e an + an1 + an2 = 0, y determinamos la solucin general de esta ecuacin, que ser de la forma (Abn +Bcn ). o o a (2) Calculamos una solucin particular de la ecuacin completa; digamos que es la suo o cesin (dn ). o (3) Ya tenemos la solucin general de la ecuacin completa, (Abn + Bcn + dn ). Y ahora (y o o no antes) imponemos las condiciones iniciales para determinar los nmeros A y B. u o Ejemplo 6.2.5 Encontremos la sucesin de nmeros (an ) que satisface la ecuacin de o u recurrencia an = an1 + an2 + 7, junto con las condiciones iniciales a0 = 0 y a1 = 1. La ecuacin homognea asociada es la de Fibonacci, de la que conocemos bien la forma de o e la solucin (vase el ejemplo 6.2.1). Ahora nos damos cuenta (!) de que la sucesin cuyos o e o trminos son todos iguales a 7 es solucin de la ecuacin. Ntese que nos referimos unicae o o o mente a la ecuacin (los dos primeros valores de esta sucesin son, claro, 7 y 7). As que o o la solucin general de la ecuacin completa se puede escribir como o o 1 5 n 1+ 5 n +B 7. A 2 2 a Imponiendo los valores iniciales a0 = 1 y a1 = 1, y tras unos laboriosos clculos, determinamos los valores de A y B y concluimos que la solucin que buscamos viene dada por o n 1+ 5 1 5 n 7 9 5 7 9 5 + + 7 para cada n 0. an = 2 10 2 2 10 2 Mtodo de los coecientes indeterminados e El detalle al que nos refer amos es nuestra constante preocupacin por que la frmula o o obtenida sea manejable. Desde luego, la expresin de la parte homognea de la solucin lo o e o es, que para eso hicimos todo el esfuerzo antes. Pero, cmo obtener una solucin particular o o con una expresin sencilla? Si, por ejemplo, la obtenemos partiendo de dos valores iniciales o cualesquiera, es casi seguro que no la tendr. Aunque no existe un mtodo general para a e obtener estas soluciones agradables, disponemos sin embargo de reglas (casi trucos) ad hoc que se aplican cuando la funcin f (n) tiene una forma espec o ca. Queda siempre tambin, e claro, el mtodo de prueba y error. e Lo vemos en un ejemplo, en el que tambin advertiremos las posibles dicultades del e procedimiento, que se denomina mtodo de los coecientes indeterminados. Se trata, e esencialmente, de buscar soluciones particulares dentro de la misma familia de funciones a la que pertenezca f (n) (obsrvese que, en el ejemplo anterior, la solucin particular era una e o constante, como el trmino no homogneo). e e (versin preliminar 23 de octubre de 2008) o para cada n 2,

378

Cap tulo 6. Ecuaciones de recurrencia Digamos que nos enfrentamos con la ecuacin o an an1 an2 = 3n .

Buscamos una solucin particular de la ecuacin, e intentamos encontrar una de la forma o o n , donde C es una constante que est a nuestra disposicin, y que determinamos con a o an = C3 la propia ecuacin: o an an1 an2 = 3n = C3n C3n1 C3n2 = 3n
9 n 53

9C 3C C = 9 ,

de donde obtenemos que C = 9/5. Y, efectivamente, an = la ecuacin, como puede comprobar el lector. o Pero ahora imaginemos que la ecuacin es o an an1 an2 = n ,

es una solucin particular de o

donde es la razn aurea. Probamos, como antes, con una solucin del tipo an = C n : o o an an1 an2 = n = C n C n1 C n2 = n = C( 2 1) = 2 . e Y no hay manera de determinar C, porque 2 1 = 0. El mtodo no funciona, no puede o o e ces de la funcionar, porque n es ya solucin de la ecuacin homognea ( era una de las ra ecuacin caracter o stica), as que no puede ser solucin de la completa. o Inspirndonos en algn argumento que hicimos anteriormente, podr a u amos intentar con n: soluciones de la forma an = C n 5+ 5 2 = . = Cn( 1) + C(2 + ) = = C = 2+ 10 Ya tendr amos determinado el valor de C y, por tanto, una solucin particular. o Las ideas de este mtodo se pueden aplicar tambin a ecuaciones en las que el trmino no e e e homogneo sea un polinomio o una funcin seno o coseno. Como las funciones generatrices nos e o permitirn resolver todos estos casos (vase la seccin 10.4), no entraremos en ms detalles. a e o a
2 2

an an1 an2 = n = Cn n C(n 1) n1 C(n 2) n2 = n

6.2.3.

Sistemas de ecuaciones de recurrencia

Consideremos un sistema de dos ecuaciones de recurrencia lineales17 (de grado uno), homogneas y con coecientes constantes: e () an = 1,1 an1 + 1,2 bn1 , bn = 2,1 an1 + 2,2 bn1 , para cada n 1,

u a donde los ij son ciertos nmeros reales; adems tendremos unas condiciones iniciales a0 = p y b0 = q. Resulta conveniente escribir este sistema en forma matricial: () an bn = 1,1 1,2 2,1 2,2
A
17 En la seccin 10.4 aprenderemos a resolver sistemas de ecuaciones de recurrencia con otras herramientas o (funciones generatrices) que, en principio, permiten abordar sistemas de ecuaciones de rdenes mayores que 1. o

an1 bn1

para n 1,

(versin preliminar 23 de octubre de 2008) o

6.2. Resolucin de ecuaciones de recurrencia o

379

Llamaremos matriz de transicin18 a la matriz A. Buscamos dos sucesiones (an ) y (bn ) o que satisfagan las ecuaciones y las dos condiciones iniciales a0 = p y a1 = q. La resolucin es sencilla y directa: aplicamos reiteradamente la relacin () hasta llegar o o al caso n = 0, que conocemos (de manera anloga a lo que hac a amos cuando se trataba de una unica ecuacin de primer orden). En el lenguaje matricial, la iteracin de la regla de o o recurrencia se traduce, simplemente, en la multiplicacin de matrices: o an bn = 1,1 1,2 2,1 2,2 an1 bn1 = 1,1 1,2 2,1 2,2
2

an2 bn2

= =

1,1 1,2 2,1 2,2

a0 b0

Como conocemos los valores de a0 y b0 , todo el problema se reduce al de calcular la potencia n-esima de la matriz de transicin A. Es esto sencillo? La respuesta es casi obvia: depende o (de cmo sea la matriz A, claro). Veamos un par de ejemplos primero. o Ejemplo 6.2.6 Supongamos que tenemos un sistema de ecuaciones an = 2 an1 , bn = 3 bn1 , para cada n 1, junto con las condiciones iniciales a0 = 7 y b0 = 5. El sistema es muy especial: las dos ecuaciones estn desacopladas (para resolver una ecuaa cin no necesitamos la informacin de la otra). As que podr o o amos optar por resolver cada ecuacin por su lado. Pero tambin podemos seguir el procedimiento general: o e an bn = 2 0 0 3
n

a0 b0

As que hay que calcular la potencia n-sima de una matriz diagonal. El lector comprobar sin e a dicultad que n 2n 0 2 0 = . 0 3n 0 3 As que an bn = 2n 0 0 3n a0 b0 = 2n a0 3n b0 = 7 2n 5 3n .

Leyendo componente a componente, obtenemos las soluciones de cada ecuacin. o an = 2 an1 bn = an1 + 2 bn1

Ejemplo 6.2.7 Consideremos ahora las condiciones iniciales a0 = 1, b0 = 3 y el sistema para cada n 1.

La solucin del problema viene dada (escrita en forma matricial) por o an bn


18

2 0 1 2

1 3

El nombre viene sugerido por la siguiente interpretacin: tenemos un cierto sistema descrito por los valores o o de las sucesiones an y bn en cada tiempo n. La matriz A nos dice cmo evoluciona el sistema de un instante de tiempo al siguiente, cul es la regla de transicin entre ambos estados. a o

(versin preliminar 23 de octubre de 2008) o

380

Cap tulo 6. Ecuaciones de recurrencia

Aunque la matriz no es diagonal, su forma es muy especial. No es muy dif convencerse cil (calculando los primeros casos y luego utilizando induccin) de que o 2 0 1 2
n

2n 0 n1 2n n2

de manera que la solucin del problema es o an bn = 0 2n n1 2n n2 1 3 = 2n n 2n1 + 3 2n

Comprubese que, efectivamente, las sucesiones an = 2n y bn = n 2n1 + 3 2n verican el e sistema de ecuaciones y las condiciones iniciales. Hemos visto que hay dos casos especialmente sencillos: cuando la matriz es diagonal, A= 0 0 , porque entonces An = n 0 0 n ,

o cuando la matriz es de la forma A= 0 1 , en cuyo caso An = n 0 n n1 n .

En general, la matriz de transicin A no ser tan sencilla. Pero hemos destacado estos dos o a casos porque nos van a permitir resolver el caso general. Si para ciertos nmeros y y para u cierta matriz P (2 2 e invertible) pudiramos escribir la matriz A de la siguiente manera: e A=P 0 0 P 1 ,

a e entonces el clculo de An ser inmediato. Vase, por ejemplo, el caso de la potencia 2: a A2 = P 0 0 P 1


2

=P

0 0

P 1 P

0 0

P 1 P

2 0 0 2

P 1 ,

donde hemos utilizado que P P 1 = I, la matriz identidad 2 2. Un argumento similar (o una prueba por induccin) nos permite deducir que o An = P n 0 0 n P 1 ,

con lo que el problema se resolver efectuando este producto de tres matrices (recordemos a que al nal habr que multiplicar tambin por el vector de condiciones iniciales). a e Lo mismo ocurrir si A se pudiera escribir como a A=P 0 1 P 1 , en cuyo caso tendr amos que An = P n 0 n1 n n P 1 .

(versin preliminar 23 de octubre de 2008) o

6.2. Resolucin de ecuaciones de recurrencia o

381

Al lector que haya pasado por un curso de Algebra lineal bsica todo esto le resultar faa a miliar. Gran parte del esfuerzo que se emplea en uno de esos cursos va dirigido al problema de la diagonalizacin o, en su caso, de la obtencin de formas cannicas. Una de sus mejores o o o aplicaciones la encontramos, precisamente, en el clculo de potencias de una matriz. a El resultado bsico sobre estas cuestiones asegura que, dada una matriz A de dimensioa nes 2 2, podremos escribirla de una de las dos siguientes formas19 : A=P 0 0 P 1 , o bien A=Q 0 1 Q1 ,

donde los nmeros y son los llamados autovalores de la matriz (en el segundo caso, u ser un autovalor doble), y la matriz P ( Q) es invertible. Estas matrices se calculan a partir a o de los autovectores asociados a los autovalores. Todo esto forma parte del folklore habitual de los cursos de Algebra lineal, as que no entraremos en los detalles y nos limitaremos a ver un par ejemplos, en los que supondremos cierto manejo con estos conceptos. Ejemplo 6.2.8 Una reaccin en cadena: en un cierto medio hay atomos de un determio nado elemento, contra los que lanzamos dos tipos de partculas, A y B. Cuando una partcula A choca con un tomo, ste se desintegra, dando lugar a 2 del tipo A y a 3 del tipo B. Si es a e una partcula B la que choca, entonces se producen 1 de A y 4 de B. Interesa el nmero de u partculas de cada clase tras n unidades de tiempo, si partimos de 2 de tipo A y 1 de tipo B. u culas de tipo A y B, respectivamente, tras n unidades Llamemos an y bn al nmero de part de tiempo. Los procesos de desintegracin se traducen en el sistema de recurrencias o an = 2 an1 + bn1 , bn = 3 an1 + 4 bn1 , para cada n 1,

e mientras que la condicin inicial es a0 = 2 y b0 = 1. En trminos matriciales o an bn = 2 1 3 4 an1 bn1 , cuya solucin es o an bn = 2 1 3 4
n

2 1

para cada n 1. As que, si llamamos M a la matriz de transicin del sistema, slo resta o o calcular su potencia n, para lo que ser necesario diagonalizarla. Empecemos calculando sus a autovalores, las soluciones de la ecuacin o det 2 1 3 4 = 0, es decir, (2 )(4 ) 3 = 0,

u que resultan ser 1 = 1 y 2 = 5. El subespacio asociado al autovalor 1 es el ncleo de la aplicacin representada por la matriz M 1 I. As que debemos considerar el sistema o 1 1 3 3 x y = 0 0 ,

que nos dice que podemos tomar como autovector asociado al autovalor 1 = 1 a v1 = (1, 1).
Llamadas formas cannicas de Jordan. En realidad, estamos obviando algunas sutilezas, porque lo exo puesto es cierto si permitimos que los autovalores sean nmeros complejos. Si no son reales, hay otras formas u cannicas que nos permiten escribir la matriz en trminos reales. o e
19

(versin preliminar 23 de octubre de 2008) o

382

Cap tulo 6. Ecuaciones de recurrencia

u El subespacio asociado al autovalor 2 = 5 viene dado por el ncleo de M 2 I, y si procedemos de manera anloga, obtenemos un posible autovector, v2 = (1, 3) para este a autovalor. Ya tenemos la matriz P de cambio de base, P = 1 1 1 3 , cuya inversa es P 1 = 1 4 3 1 1 1 y por tanto M = P 1 0 0 5 P 1 .

Calcular entonces M n ya no representa dicultad alguna: Mn = 1 4 1 1 1 3 1n 0 0 5n 3 1 1 1 = 1 4 3 + 5n 1 + 5n 3 + 3 5n 1 + 3 5n .

Finalmente, la solucin del problema es o an bn


tiempo
0 1

=
2

1 4
3

3 + 5n 1 + 5n n 1 + 3 5n 3 + 3 5
4 5

2 1

1 4

5 + 3 5n 5 + 9 5n

As que, en tiempo n, hay an = 1 (5 + 3 5n ) 4 part culas de tipo A, mientras que de tipo B Tipo A 2 5 20 95 470 2345 habr bn = 1 (5 + 9 5n ). A la izquierda listaa 4 Tipo B 1 10 55 280 1405 7030 mos los primeros casos. Ambas poblaciones crecen muy rpidamente, como corresponde al carcter exponencial de las soluciones. Y, como a a la propia dinmica del sistema suger va a haber ms part a a, a culas del tipo B que del tipo A. Pero podr interesarnos saber cul es la razn entre las dos poblaciones, si se aproxima a a o a un l mite nito o no. Obsrvese que, para n muy grande, an 3 5n y bn 9 5n , por lo que e 4 4 la razn entre las poblaciones se aproxima (y bastante rpidamente) a una proporcin 1:3. o a o Esto ya no era tan obvio con slo mirar las recurrencias! o
0 0 0 0 En el caso de dimensin 2, la forma de Jordan no diagonal apao 1 0 0 0 rece cuando la matriz A tiene un autovalor doble , y el ncleo de u 0 1 0 0 A I slo tiene dimensin 1 (slo hay un autovector asociado). Si o o o . . . .. . . . . . . . . . . . . . consideramos matrices de dimensin d, la descripcin se complica o o 0 0 0 0 un poco: la forma de la matriz cannica de Jordan depender de la o a 0 0 0 1 multiplicidad de los autovalores y del nmero de autovectores que u tenga asociado cada uno de ellos. Pero, esencialmente, es una matriz diagonal por cajas, donde cada una de las cajas es de la forma que aparece a la derecha. Veamos un ejemplo:

Ejemplo 6.2.9 Consideremos el siguiente an = bn = a0 = 1, b0 = 3, c0 = 2 y cn =

problema: 2 an1 + bn1 + cn1 3 bn1 bn1 + 3 cn1 para cada n 1.


n 1 1 0 3 3 2

La solucin del sistema viene dada por la ecuacin a 2 o o n matricial que escribimos a la derecha. Los autovalores bn = 0 de A (las soluciones de det(A I) = 0) son los nmeros u cn 0 2 y 3 (ste, un autovalor doble). Para el autovalor sime ple, = 2, el clculo del ncleo de A 2 I nos dice que podemos tomar a u (versin preliminar 23 de octubre de 2008) o

1 3 1

como autovector

6.2. Resolucin de ecuaciones de recurrencia o

383

o o asociado a v1 = (1, 0, 0). Pero el subespacio asociado al autovalor 3 slo tiene dimensin 1. Concretamente, el ncleo de A 3 I est generado por el vector (1, 0, 1). La matriz cannica u a o no va a ser diagonal, as que tendremos que recurrir a un sustituto. Calculamos el ncleo de u 2 , que resulta estar generado por los vectores (1, 0, 1) y (0, 1, 0). Tomamos la matriz (A 3 I) ahora un vector que est en el ncleo de (A 3 I)2 pero no en el de A 3 I; v2 = (1, 1, 1) e u podr valer. Ahora calculamos a t t v3 = (A 3 I) v2 , para obtener v3 = (1, 0, 1). Estos tres vectores forman (al ponerlos como columnas) la matriz P que mostramos a continuacin, junto con su inversa P 1 : o
1 P = 0 0 1 1 1 1 0 , P 1 = 0 1 1 0 0 1 1 0 1 1 de manera que 2 0 A=P 0 3 0 1 0 0 P 1 . 3

El clculo de An es ahora ya muy sencillo: a


2n n A =P 0 0 0 3n n 3n1 n 0 2 0 P 1 = 0 0 3n n 3n1 3n n 3n1 3n 2n 0 3n

Finalmente, la solucin del sistema se obtiene multiplicando M n por el vector de condiciones o iniciales, y el resultado es an = 2n + (n + 2) 3n , bn = 3n+1 y cn = (n + 2) 3n .
EJERCICIOS DE LA SECCION 6.2 6.2.1 Consideramos la ecuacin de recurrencia xn = xn1 + , para cada n 1, junto con el valor o e inicial x0 . Comprubese que (a) si = 0, entonces xn = n x0 para cada n 0; (b) si = 1, entonces xn = n + x0 para cada n 0; (c) si = 1, entonces xn = n x0 + n 1 1 , para cada n 0.

o 6.2.2 Consideremos dos sucesiones (an ) y (bn ) linealmente independientes y que sean solucin de la ecuacin an = an1 + an2 para cada n 2. Sea (cn ) otra solucin de la ecuacin. Comprubese o o o e o que la sucesin (cn ) puede escribirse como combinacin lineal de las sucesiones (an ) y (bn ). o 6.2.3 Estamos con la ecuacin an = an1 + an2 , para cada n 2, junto con las condiciones inio o ciales a0 y a1 . Suponemos que r y s son las dos races (reales y distintas) de la ecuacin caracterstica asociada. Comprubese que la solucin de la ecuacin de recurrencias (y las condiciones iniciales) se e o o puede escribir como r n sn + a 0 sn . (a1 a0 s) rs Ahora suponemos que r y s se hacen cada vez ms prximas (en el lmite, estaremos en el caso de a o una raz doble de la ecuacin caracterstica). Comprubese, quizs apelando a la nocin de derivada, o e a o que la solucin en el caso de raz doble se puede escribir como combinacin lineal de sn y nsn . o o

(versin preliminar 23 de octubre de 2008) o

384
6.2.4 Consideremos la ecuacin inhomognea o e () an an1 an2 = f (n)

Cap tulo 6. Ecuaciones de recurrencia

y la homognea asociada e

()

an an1 an2 = 0 .

(a) La suma de dos soluciones de () no es solucin de (), mientras que la suma de dos soluciones de o () s que es solucin de (). Comprubese que la resta de dos soluciones de () es solucin de (). o e o (b) Comprubese que toda solucin de () se puede escribir como la suma de la solucin general de () e o o con una solucin particular de (). o 6.2.5 (a) Hllese una frmula para los nmeros un que verican: u0 = a, u1 = b y un+2 = un + n a o u para cada n 1. (b) Un triple lineal es una lista de 3 nmeros naturales a, b, c, ordenados, a < b < c, y tales que u u u c b = b a. Sea Tn el nmero de triples lineales formados con nmeros comprendidos entre 1 y n. Prubese que e T2n+1 = T2n + n y obtngase una recurrencia anloga para T2n . Hllese una frmula para Tn . e a a o 6.2.6 Resulvanse las recurrencias: e (a) an+3 = 4an+2 5an+1 + 2an , n 0 con condiciones iniciales a0 = a1 = 0 y a2 = 1. (b) an+3 = 3an+2 3an+1 + an , n 0 con condiciones iniciales a0 = a1 = 0 y a2 = 1. (c) an+2 = 2an+1 + 2an + n, n 0 con condiciones iniciales a0 = 0 y a1 = 2. 6.2.7 En un juego en el que p = 0,49, hacemos apuestas de 1 cha y nos retiramos cuando tengamos 100 chas. Qu cantidad inicial de chas deberemos tener para poder asegurar que tenemos, al menos, e un 50 % de oportunidades de terminar ganando? 6.2.8 Hllense las sucesiones (an ) y (bn ) dadas por a0 = 1, b0 = 0 y a 2an = 5an1 + bn1 2bn = an1 + 5bn1 6.2.9 Consideremos la gura que dibujamos a la derecha. Colocamos una cha (aleatoriamente) en una de las posiciones a, b c y luego la movemos o siguiendo los caminos posibles del dibujo (todos los movimientos son igualmene te probables). Llamamos an a la probabilidad de que la cha est en a tras n movimientos (de forma anloga se denen bn y cn ). a (a) Mustrese que: an + bn + cn = 1, e n = 0, 1, 2 . . . (b) Calclense an , bn y cn . Estmense estas probabilidades en el lmite n . u (c) Cmo cambiara el problema si la distribucin inicial no fuera aleatoria? Por ejemplo, si sabemos o o que la cha est inicialmente en a. a 6.2.10 La sucesin (an ) est denida por una ecuacin de recurrencia lineal y homognea de grado m. o a o e Sea r el mximo mdulo de las races de la ecuacin caracterstica correspondiente. Prubese que a o o e l sup m
n

b a

|an | < + . rn

(versin preliminar 23 de octubre de 2008) o