Professional Documents
Culture Documents
Funciones generatrices
Como el lector habra observado, en muchas cuestiones combinatorias que hemos venido
estudiando es natural especicar, aunque de forma generica1 , el tama no, n, de un conjunto
de referencia, o el paso (n tambien) de un proceso de construcci on combinatorio, o las veces
(n, como no!) que se repite un procedimiento. La respuesta a la cuesti on de interes, que
podemos nombrar, de manera generica tambien, como an , depende de n. Si por ejemplo n
on (an )
toma los valores 0, 1, 2, . . . , los resultados correspondientes forman una sucesi n=0 .
En ocasiones, disponemos de una f ormula para el termino general de la sucesion en funci
on
del par
ametro n. Por ejemplo, el n umero de subconjuntos de un conjunto de tama no n es
an = 2n . O, por ejemplo, si elegimos repetidamente n umeros +1 o 1 hasta un total de 2n y
sumamos los resultados, el n umero de elecciones en las que la suma nal vale 0 es an = 2n n .
En otras ocasiones, nuestro an
alisis nos permite obtener una regla de recurrencia para los
numeros an . Si por ejemplo an cuenta el n umero de listas de ceros y unos de longitud n en
las que no aparecen ceros consecutivos (pero s pueden aparecer unos consecutivos), entonces
747
748 Captulo 10. Funciones generatrices
aprehenderla mediante un u
nico objeto, una funci
on generatriz. En palabras de Wilf (de su
muy recomendable Generatingfunctionology),
una funci
on generatriz es una cuerda de la ropa en la que tendemos una sucesion de
n
umeros para exhibirla.
Estas funciones permiten codicar sucesiones de la siguiente manera:
(an )
n=0 an xn = f (x) .
n=0
Simplemente, decidimos que los n umeros an son los sucesivos coecientes de la serie de poten-
cias que nombramos como f (x). Al manipular f (x) estaremos manipulando la sucesion (an )
en su conjunto. Este enfoque, algo inocuo a primera vista, se revelar a (y este es el objetivo
de este captulo y los dos siguientes) un ecacsimo metodo.
Por ejemplo, al codicar la sucesi on desconocida (an ) que cumple
a0 = 0, a1 = 1, an = an1 + an2 para cada n 2,
obtendremos que la funci on generatriz asociada es
x
f (x) = .
1 x x2
Y de aqu, tras algunas manipulaciones, obtendremos, oh, sorpresa!, que
5 1+ 5 n 5 1 5 n
an = ,
5 2 5 2
para cada n 0, lo que nos habra costado adivinar a priori 2 .
Pero no s
olo esto. Tener la sucesion codicada como coecientes de una funci on tiene mu-
chas ventajas. Sea, por ejemplo, an el n umero de subconjuntos
de taman o n que podemos ex-
traer de un conjunto con 100 elementos. Sabemos que an = 100 n para cada n = 0, 1, . . . , 100,
mientras que an = 0 si n > 100. Escribamos entonces
100
n 100 n
f (x) = an x = x = (1 + x)100 ,
n
n=0 n=0
(versi
on preliminar 29 de octubre de 2008)
10.1. Introducci
on a las funciones generatrices 749
10.1. Introducci
on a las funciones generatrices
Es hora de que formalicemos un poco. En lo que sigue vamos a asociar funciones a
sucesiones innitas de n
umeros,
f (x) (an )
n=0 , mediante la regla f (x) = an xn .
n=0
an = Coefn [f (x)] .
3
En ocasiones, funciones generatrices ordinarias, para distinguirlas de las que se manejan en otros con-
textos: funciones generatrices de probabilidad (vease el captulo 11), funciones generatrices exponenciales o
funciones generatrices de Dirichlet (cons ultese, para estos dos tipos, el captulo 13). Estas otras funciones
generatrices son, simplemente, variaciones en el metodo de codificar: contienen la misma informaci on, pero
preparada para calculos y an
alisis particulares.
(versi
on preliminar 29 de octubre de 2008)
750 Captulo 10. Funciones generatrices
(versi
on preliminar 29 de octubre de 2008)
10.1. Introducci
on a las funciones generatrices 751
10.1.1. El m
etodo de las funciones generatrices
Vamos a ilustrar la manera en que hay que proceder (y las precauciones que habra que
tomar) a la hora de utilizar las funciones generatrices en el siguiente ejemplo, en el que
recurrimos a una de nuestras sucesiones favoritas, la de Fibonacci, denida por
F0 = 0, F1 = 1 y Fn = Fn1 + Fn2 para cada n 2.
El primer paso es asociar a estos n
umeros su funcion generatriz,
F (x) = Fn xn ,
n=0
de la que no sabemos, o al menos haremos como que no sabemos4 , si converge o no. Para
ilustrar la versatilidad de este enfoque de las funciones generatrices, no jamos todava nues-
tro objetivo; podra interesarnos obtener una f ormula cerrada para los Fn (esto es, resolver
la recurrencia), quizas calcular alguna serie numerica relacionada con los Fn , o quiz
as. . .
La informaci on de que disponemos es la ecuacion de recurrencia (y los valores iniciales),
as que la utilizamos para manipular la sucesi
on de numeros (elevaremos estas manipulaciones
formales a la categora de reglas en la seccion 10.2):
F (x) = F0 + F1 x + F2 x2 + F3 x3 +
= F0 + F1 x + (F0 + F1 )x2 + (F1 + F2 )x3 +
= F0 + F1 x + F0 x2 + F1 x3 + F2 x4 + + F1 x2 + F2 x3 + F3 x4 +
= F0 + F1 x + x2 F (x) + x(F (x) F0 )
= F (x)(1 x x2 ) = x ,
donde, en el ultimo paso, hemos utilizado los valores iniciales, F0 = 0 y F1 = 1. Sigue siendo
una identidad formal: el producto de F (x) por el polinomio (1 x x2 ) da como resultado
la sucesion de numeros (0, 1, 0, 0, . . . ), que hemos codicado como x. Seguimos: la soluci on
(formal) es que F (x) coincide con el producto de x por la recproca (formal) de (1 x x2 ),
que denotamos como 1/(1 x x2 ):
1
F (x) = x
1 x x2
(el lector que este interesado en el signicado preciso de lo que estamos denominando identi-
dades formales puede consultar la secci on x/(1 x x2 ) tiene
on 10.7). Ahora bien, la funci
un desarrollo de potencias, que llamamos simplemente (x). Esto es un resultado general
(vease el teorema 10.3), pero en este caso no hace falta apelar a el, pues basta observar que
x 1
= x = x (x + x2 )n ,
1 x x2 1 (x + x2 ) n=0
donde hemos utilizado la serie geometrica. As que, necesariamente, la expresi
on formal x/(1
x x2 ), esto es, F (x), debe coincidir con la serie de potencias (x).
4
De la f
ormula de Binet (vease la seccion 6.3) se deduce que Fn es pr acticamente igual a n / 5. Incluso
sin necesidad de conocer la f
ormula explcita, se comprueba por inducci on que Fn < 2n si n 1. De estas
estimaciones se puede deducir sin dificultad la convergencia de la serie para |x| < R con, por ejemplo, R = 1/2.
(versi
on preliminar 29 de octubre de 2008)
752 Captulo 10. Funciones generatrices
Si, como haremos en el ejemplo 10.4.1, nos interesara obtener una f ormula para los Fn ,
podramos reescribir los terminos (x + x2 )n que aparecen en la serie (x) utilizando, a su
vez, el teorema del binomio. O quiz as, directamente a partir de 1/(1 x x2 ), utilizar el
metodo de las fracciones simples para obtener, una vez mas, la f
ormula de Binet
n n
5 1+ 5 5 1 5
Fn = para cada n 0
5 2 5 2
Pero nuestro an alisis nos permite llegar mas alla. Por ejemplo, como veremos mas adelan-
te, la serie (x) converge en el intervalo (1/, 1/ ) (0, 6180, 0, 6180). Por supuesto, la
razon aurea tena que aparecer. As que, a posteriori, comprobamos que F (x) converge en ese
intervalo. De manera que tiene sentido evaluar F (x) en, digamos, x = 1/2, para obtener que
1 1/2
F (1/2) = Fn n
= = 2.
n=0
2 1 (1/2) (1/2)2
O quiz
as en x = /3, tambien en el intervalo de convergencia, para obtener la identidad
n /3 3
F ( /3) = Fn n
= 2
= .
3 1 ( /3) ( /3) 9 3 2
n=0
O, incluso, y con ciertas precauciones, atrevernos a evaluar la serie de potencias en un valor
extremo de la region de convergencia, como x = 1/ .
En los usos de funciones generatrices que iremos desgranando mas adelante, deberamos
incluir siempre justicaciones de esta ndole, aunque no insistiremos en ellas, sobre todo, para
no perder el hilo y repetirnos en exceso. Pero el lector esta ya avisado.
Guiados por los pasos que hemos ido dando en el ejemplo de los n umeros de Fibonacci,
podemos enunciar tres etapas para el metodo de las funciones generatrices:
La primera consiste, simplemente, en codicar la sucesion de interes con una funci on
generatriz. Siguiendo a Wilf, se trata de de colgar la sucesion de numeros de la cuerda
de tender ropa que es la funci on generatriz f (x).
El siguiente paso es hallar una expresi on adecuada para f (x). Para ello necesitaremos
manipular las expresiones que nos vayan apareciendo. En la secci on 10.2 veremos las
reglas necesarias para hacerlo.
Por ultimo, necesitaremos desarrollar f (x), pues, al n y al cabo, lo que nos interesan
son f
ormulas para los coecientes. O quizas nos baste con analizar la f (x) obtenida. O
mas aun, es posible que lo que interese sea evaluar la funcion f (x) en un cierto valor
de x. Esto requerira estudiar las propiedades de f (x) como funci on. Las herramientas
y los resultados que seran u
tiles en esta tarea los encontraremos en la seccion 10.3.
Con esto ya tendremos la tecnica. La seccion 10.4 nos permitir a comprobar la potencia
de las funciones generatrices para resolver ecuaciones de recurrencia. Y, nalmente, en la
seccion 10.5 veremos algunas otras cuestiones que el uso de las funciones generatrices resuelve.
En la seccion 10.7, y a modo de apendice, desarrollaremos parte del lenguaje de las series de
potencias formales. Dejamos, por su especial relevancia, el estudio del uso de las funciones
generatrices en ciertas cuestiones probabilsticas y combinatorias para los captulos 11 y 12,
respectivamente.
(versi
on preliminar 29 de octubre de 2008)
10.2. Manipulaci
on de funciones generatrices 753
10.2. Manipulaci
on de funciones generatrices
Veremos ahora como algunas operaciones entre funciones generatrices se traducen en sus
sucesiones asociadas; o viceversa. En todo lo que sigue, salvo cuando sea imprescindible hacer
un estudio explcito, supondremos que todas las manipulaciones estan bien justicadas. El
lector con inclinaciones analticas puede revisar el ejercicio 10.3.1; aquel cuyo espritu sea
mas algebraico y quiera interesarse por el punto de vista de las series formales de potencias
puede consultar la seccion 10.7.
As que al sumar (y/o multiplicar por constantes) funciones generatrices, estamos sumando
(y/o multiplicando por constantes) las sucesiones asociadas. La prueba es trivial y queda
como entretenimiento (ni siquiera ejercicio) para el lector.
En realidad es una suma doble, en los ndices k y j; pero s olo sumamos aquellos cuya suma
valga n. A un podemos reescribirla de forma m as manejable. Miremos los primeros casos. Por
ejemplo, para c0 , debemos considerar las maneras de escribir k + j = 0: solo hay una, k = 0 y
j = 0, as que c0 = a0 b0 . Para el segundo coeciente, c1 , ya hay mas posibilidades: tendremos
k + j = 1 cuando, o bien k = 0 y j = 1, o bien k = 1 y j = 0; es decir, c1 = a0 b1 + a1 b0 .
(versi
on preliminar 29 de octubre de 2008)
754 Captulo 10. Funciones generatrices
Interpretaci
on combinatoria del producto de dos funciones generatrices
Imaginemos que tenemos objetos de dos tipos, A y B. Para cada n, hay an objetos de
no n, mientras que existen bn objetos de tipo B y tama
tipo A y tama no n.
El objetivo es formar objetos de tamano total n que esten formados por uno de tipo A y
otro de tipo B. Para construirlos, aplicamos las reglas de la suma y del producto:
En total, si llamamos cn al n
umero de objetos que podemos construir con esas caractersticas,
se tendra que
n
cn = ak bnk .
k=0
En terminos de las funciones generatrices asociadas, si llamamos f (x) y g(x) a las funciones
generatrices asociadas a las sucesiones (an ) y (bn ), respectivamente, la funci on f (x)g(x)
on generatriz de los cn . Para ilustrar esta interpretacion, consideremos el siguiente
sera la funci
ejemplo.
Ejemplo 10.2.1 En un consejo de administraci on hay 25 personas, de las que 11 son
mujeres. Se quiere formar un comite con 10 personas.
a hacer? La respuesta es inmediata: hay 25
De cuantas formas se podr 10 comit
es distintos.
Pero ahora vamos a contarlos atendiendo al n umero de hombres y mujeres que hay en
ellos. En la terminologa anterior, los objetos de tipo A seran las posibles combinaciones de
mujeres que forman parte del comite, y los de tipo B, las de hombres:
formas de escoger n 11 formas de escoger n 14
an = # = , bn = # = .
de entre las 11 mujeres n de entre los 14 hombres n
(versi
on preliminar 29 de octubre de 2008)
10.2. Manipulaci
on de funciones generatrices 755
c1011de
La respuesta que buscamos es el coeciente la14funci
on A(x) B(x), un coeciente del
que ya sabemos, por la regla 2, que vale 10
j=0 j 10j . Pero, adem
as,
11 14 25 25
A(x) B(x) = (1 + x) (1 + x) = (1 + x) = Coef10 [A(x) B(x)] = .
10
As que hemos probado que
10
25 11 14
= .
10 j 10 j
j=0
xf (x) (0, a0 , a1 , a2 , . . . ) .
f (x) (an )
n=0 = xm f (x) (0, 0, (m)
. . ., 0, a0 , a1 , a2 , . . . ) = (anm )
n=0
La u
ltima expresion es simplemente una notacion que nos permite abreviar, en la que apli-
camos el convenio de que si el ndice del coeciente es negativo, entonces el coeciente vale
cero.
(versi
on preliminar 29 de octubre de 2008)
756 Captulo 10. Funciones generatrices
(versi
on preliminar 29 de octubre de 2008)
10.2. Manipulaci
on de funciones generatrices 757
As que f (x) esta asociada a la sucesion (1a1 , 2a2 , 3a3 , . . . ). Casi lo tenemos, salvo que el
primer coeciente debera ser 0a0 . As que debemos desplazar la sucesion hacia la derecha
una posicion, y esto ya lo aprendimos a hacer con la regla anterior:
Esta operaci on sera especialmente interesante, por ejemplo, a la hora de calcular medias,
algo que haremos varias veces mas adelante, en especial en el captulo 11. Por ahora, y como
ilustraci
on, veamos cual es la funci
on generatriz f (x) de la sucesion de numeros (0, 1, 2, 3, . . . ).
Sabemos que 1/(1 x) genera la sucesion (1, 1, 1, . . . ), as que no hay mas que aplicarle esta
regla para obtener lo que buscamos:
1 x
x = (0, 1, 2, 3, . . . ) .
1x (1 x)2
O, con m as generalidad, podemos obtener la funci on generatriz de la sucesi
on de numeros
(0, d, 2d, 3d, 4d, . . . ), la progresion aritmetica que empieza en 0 y cuya diferencia es d:
d xd
(d, d, d, d, . . . ) = (0, d, 2d, 3d, . . . )
1x (1 x)2
Con muy poco m as de esfuerzo se puede comprobar que la funcion generatriz de una progre-
sion aritmetica general, que empiece en un cierto a y tenga diferencia d, es
a xd a + x (d a)
+ 2
= (a, a + d, a + 2d, a + 3d, . . . ) .
1 x (1 x) (1 x)2
(versi
on preliminar 29 de octubre de 2008)
758 Captulo 10. Funciones generatrices
Regla 5: Integrar
Digamos que una cierta funcion f (x) tiene como coecientes a los n umeros (bn ), que
on f (x).
nos son desconocidos. Disponemos, sin embargo, de los coecientes (an ) de la funci
Como podemos escribir los bn en terminos de los an ? Observese que
n k1
f (x) = an x , y tambien que f (x) = kbk x = (n + 1)bn+1 xn .
n=0 k=1 n=0
olo tenemos que igualar coecientes en las dos expresiones de f (x) para obtener que bn+1 =
S
an /(n + 1) para cada n 0 y concluir que
a a a
0 1 2
f (x) (an )
n=0 = f (x) b0 , , , , . . .
1 2 3
1
on diferencial f (x) = 1x
Por otro lado, las funciones f (x) que verican la ecuaci vienen
1
dadas por f (x) = log 1x + C , donde C es una constante. Si sustituimos en x = 0,
obtenemos C = f (0) = b0 . As que
1 1 1 1
log 0, 1, , , , . . . .
1x 2 3 4
(versi
on preliminar 29 de octubre de 2008)
10.2. Manipulaci
on de funciones generatrices 759
As que la respuesta esta en el coeciente n-esimo de la funcion x/(1 x)3 . Conocemos (vease
el ejemplo 10.1.1) los coecientes de (1 x)3 , as que solo hay que utilizar la regla 3 para
concluir que, si n 1,
x 1 3 + (n 1) 1 n+1 n(n + 1)
Coefn = Coef n1 = = =
(1 x)3 (1 x)3 31 2 2
(tambien v
alido para n = 0). An alogos argumentos permiten obtener la suma de los prime-
ros n cuadrados, cubos, etc. (vease el ejercicio 10.2.2, y tambien el 10.2.3).
Ejemplo 10.2.4 Consideremos los n onicos Hn , dados, para cada n 1, por
umeros arm
n
1 1 1 1
Hn = 1 + + + + =
2 3 n j
j=1
(observese que el termino independiente, el valor g(0), es 0). As que no hay mas que apli-
car la regla de las sumas parciales para obtener que la funci on generatriz de los n
umeros
armonicos es
n 1 1
f (x) = Hn x = log .
n=0
1x 1x
(versi
on preliminar 29 de octubre de 2008)
760 Captulo 10. Funciones generatrices
(versi
on preliminar 29 de octubre de 2008)
10.2. Manipulaci
on de funciones generatrices 761
Regla 8: Composici
on
n
n
Partimos de dos funciones generatrices, f (x) = n=0 an x y g(x) = n=0 bn x , y trata-
mos de calcular los coecientes de su composicion
f (g(x)) = f g(x) .
En lo que sigue, necesitaremos efectuar este tipo de operaciones en varias ocasiones (por
ejemplo, en la subseccion 10.5.3 y en la seccion 11.2). Pero advertimos al lector de que se
trata de una operacion que no siempre esta bien denida, ni desde el punto de vista analtico,
ni siquiera desde el punto de vista de las series formales. Porque, si el lector se entretiene
comprobando los detalles (como sugerimos hacer en el ejercicio 10.7.7), los coecientes de la
serie de potencias resultante no tienen por que estar bien denidos, y resulta imprescindible
a
nadir algunas condiciones adicionales.
Afortunadamente, en los usos que aqu veremos, estaremos en las condiciones que justi-
can estos manejos, que ilustramos ahora con dos ejemplos.
Ejemplo 10.2.5 Partimos de una funcion generatriz f (x), asociada a la sucesi on (an ),
y tomamos g(x) = x/(1 x). Queremos describir los coeficientes de la funci
on f (g(x)) =
f (x/(1 x)).
Vamos a calcular, por comodidad, una pequena variacion, como es
1 x
f .
1x 1x
Procedemos formalmente, sustituyendo una funci on en la otra e intercambiando los ndices
de sumaci
on:
x
1 1 xk
k 1
k
m+k m
f = ak = ak x = ak x x
1x 1x 1x (1 x)k (1 x)k+1 k
k=0 k=0 k=0 m=0
n
m+k n n
= ak x = ak xn .
k k
n=0 k+m=n n=0 k=0
Los coecientes que se obtiene son sumas parciales de los an originales, pero ponderadas con
coecientes binomicos. Ya tenemos una nueva regla:
n
1 x n
f (x) (an )
n=0 = f ak
1x 1x k n=0
k=0
Notese que los coecientes de esta composicion son sumas finitas. Apliquemos esta regla a la
funci
on generatriz de los numeros de Fibonacci:
1 1 x x
si f (x) = 2
, entonces f = ,
1xx 1x 1x 1 3x + x2
como podr
a comprobar el lector sustituyendo una funci
on en la otra y simplicando.
(versi
on preliminar 29 de octubre de 2008)
762 Captulo 10. Funciones generatrices
Los coecientes de esta funcion son, por la regla que acabamos de exponer, nk=0 nk Fk .
Pero, como vimos en la Regla 7, son tambien los numeros F2n . De esta manera probamos que
n
n
F2n = Fk para cada n 0
k
k=0
Pero, atencion!, a diferencia del caso anterior, los coecientes de f (1 + x) son ahora sumas
infinitas, y por tanto no est a claro si estan bien denidos o no (depender a de los an que
consideremos). Si, por ejemplo, f (x) es un polinomio, la lista de coecientes an es nita y
tendra sentido denir esta composicion.
Si al lector le intriga este diferente comportamiento, puede revisar el ejercicio 10.7.7,
donde descubrir a que la sustituci
on tiene sentido si g(0) = 0 (como ocurra para el caso de
g(x) = x/(1 x). Para una funci on como g(x) = 1 + x (para la que g(0) = 0), deberemos
exigir condiciones adicionales a los an .
10.2
EJERCICIOS DE LA SECCION
10.2.1 Si f (x), g(x) y h(x) son las funciones generatrices de las sucesiones (an ), (bn ) y (cn ),
respectivamente, cu on f (x)g(x)h(x)? Si m 1, cu
ales son los coeficientes de las funci ales son los
on f m (x)?
coeficientes de la funci
10.2.2 Compruebese, utilizando las reglas 4 y 6, que
n
x + x2 x + x2
= n2 xn y que = k 2 xn .
(1 x)3 n=0
(1 x)4
n=0 k=0
(versi
on preliminar 29 de octubre de 2008)
10.2. Manipulaci
on de funciones generatrices 763
1 j t 0 si t no es m ultiplo de N ;
( ) =
N j=0 1 si t es multiplo de N
(c) Observese que la funci on g(x) definida en el apartado anterior es una serie de potencias de xN .
Verifquese, finalmente, que la funci on h(x) definida a traves de h(xN ) = g(x) genera la lista de
coeficientes (a0 , aN , a2N , a3N , . . . ).
10.2.5 Recordando que la funci on ex genera la sucesi on (1/n!), y utilizando el ejercicio 10.2.4,
obtenganse f
ormulas explcitas de las funciones generatrices de las sucesiones
1 1 1 1 1
0, 1, 0, , 0, , 0, , 0, . . . y 1, 0, 0, 0, , 0, 0, 0, , 0, . . .
3! 5! 6! 4! 8!
y para verificar que las funciones generatrices de las sucesiones (F0 , F2 , F4 , . . . ) y (F1 , F3 , F5 , . . . ) son
n x 1x
F2n x = y que F2n+1 xn =
n=0
1 3x + x2 n=0
1 3x + x2
(versi
on preliminar 29 de octubre de 2008)
764 Captulo 10. Funciones generatrices
una serie de potencias centrada en cero, donde (an ) es una cierta sucesion de n umeros y x es
la variable6 . Se trata de una suma de innitas funciones (a0 mas a1 x, mas a2 x2 , etc.), y como
tal proceso innito, hay que entenderlo en el sentido del lmite. El que una expresi on as tenga
sentido depender a, tanto de los coecientes an , como de los valores de x que consideremos.
6
Tanto los coeficientes como la variable pueden ser n
umeros complejos, aunque casi siempre ser
an para
nosotros n
umeros reales.
(versi
on preliminar 29 de octubre de 2008)
10.3. Series de potencias y funciones generatrices 765
A. Radio de convergencia
Dada una serie numerica innita del tipo n=0 an , decimos que la serie converge si
N
lmN n=0 an existe y es nito. Y decimos que la serie converge absolutamente si
lmN N n=0 |an | < +. Fij emonos en que, al introducir el valor absoluto, la convergencia
de la serie depende solo del tama no de los coecientes (del ritmo con el que decrecen a 0
cuando n ), y perdemos posibles cancelaciones que pudieran ayudar en la convergencia
de la serie original. Por eso, si una serie converge absolutamente, entonces tambien converge
en el sentido ordinario. Pero el recproco no es cierto en general. El ejemplo mas simple es el
de las series
1 (1)n+1
y .
n=1
n n=1
n
Son parte de cualquier curso de C alculo los criterios de convergencia de series numericas. Por
ejemplo, el criterio del cociente nos dice que si el lmite
an+1
= lm
n an
existe (puede ser innito), entonces la serie an converge si < 1 y diverge si > 1. En el
caso = 1, este criterio no decide y podemos tener convergencia o divergencia. Por ejemplo,
obtenemos = 1 al aplicar este criterio a las series con an = 1/n y an = 1/n2 . Y mientras
que la serie armonica diverge, la suma de los inversos de los cuadrados, como veremos en la
subseccion 10.3.5, vale 2 /6.
El criterio de la raz es semejante: ahora el lmite que interesa calcular es
= lm n |an | .
n
(versi
on preliminar 29 de octubre de 2008)
766 Captulo 10. Funciones generatrices
As que cuando |x| < , la serie de potencias convergera; y diverger a si |x| > (el mismo
argumento valdra si el fuera el del criterio de la raz).
De manera mas formal, una serie de potencias n
n=0 an x tiene asociado un numero R
(entre 0 e ), su radio de convergencia, que se calcula de la siguiente manera : 7
1
= lm sup n |an | .
R n
B. Derivadas
As que f (x) = n
n=0 an x es una funci
on bien denida en el intervalo (R, R). Pero mas
a
un, la serie converge uniformemente en cualquier intervalo cerrado contenido estricta-
mente en (R, R). Sin entrar en m as detalles9 , esto supone que la funcion f (x) se puede
diferenciar indenidamente, y que esas derivadas vuelven a ser series de potencias de nuevo
denidas en el intervalo (R, R). La derivada se obtiene, simplemente, derivando termino a
termino:
f (x) = nan xn1 para x (R, R).
n=1
(versi
on preliminar 29 de octubre de 2008)
10.3. Series de potencias y funciones generatrices 767
C.1) T
erminos no negativos: continuidad en x = 1
En muchas de las aplicaciones de las funciones generatrices, los coecientes de las series
de potencias seran no negativos. Dos ejemplos: en los problemas de recuento, los an no solo
son no negativos, sino adem as enteros; en las funciones generatrices de probabilidad, que
veremos en el captulo 11, los an seran n umeros no negativos cuya suma vale 1.
El interes de la cuestion,
como ejemplicamos mas adelante y en alg un ejercicio, es el
siguiente: queremos sumar a
n=0 n . Para ello, formamos la funci
on generatriz
f (x) = an xn ,
n=0
hallamos una expresi on analtica para f (x) y luego calculamos lmx1 f (x). El resultado es la
suma deseada.
Por su utilidad y uso frecuente, vamos a considerar en este apartado el caso particular en
que adem as de ser no negativos, los an cumplen10 que
an < + .
n=0
As que la serie de potencias converge absolutamente para |x| < 1; esto es, su radio de
convergencia ser a, al menos, 1.
Observemos que f (x) esta denida por la serie en (1, 1). Pero, en este caso, ademas
podemos sustituir x = 1 en la serie de potencias y denir f (1) mediante f (1) = n=0 an .
Ahora nos preguntamos por la relaci on entre estas dos deniciones de f (x): la obtenida en
(1, 1) (a traves de la serie de potencias) y la denicion en x = 1 que hemos hecho hace un
momento. O, en terminos mas tecnicos: es f (x) continua (por la izquierda) en x = 1?
Comprobemoslo. Para empezar,
an an xn = f (x) , en 0 < x < 1,
n=0 n=0
(versi
on preliminar 29 de octubre de 2008)
768 Captulo 10. Funciones generatrices
Y esto para cada N que consideremos. De estas dos observaciones deducimos que
n
lm f (x) = lm an x = an .
x1 x1
n=0 n=0
convergente, entonces tambien es sumable Abel (y el resultado de ambos procesos de sumaci on coinciden).
El ejemplo n (1)n nos muestra que el camino contrario, el que nos asegurara que si una serie es sumable
Abel, entonces es tambien convergente, no es cierto en general. Para que lo sea, es necesario imponer ciertas
condiciones a los coeficientes (los resultados correspondientes son conocidos como teoremas tauberianos).
12
La historia de Niels Henrik Abel (1802-1829), nacido en Noruega (entonces parte del reino danes), es una
de las m as tristes de las Matem aticas. Una vida marcada por los problemas econ omicos, de salud y tambien
por la mala suerte, que le acompa nara hasta su temprana muerte por tuberculosis. Parece ser que envi oa
Gauss sus trabajos sobre la imposibilidad de resolver la ecuaci on quntica por radicales, pero estos apareceran
sin abrir tras la muerte del genio de G ottingen. Tambien una famosa memoria sobre integrales elpticas que
envi o a la Academia de Paris fue extraviada y encontrada posteriormente por Cauchy. Se cuenta que, dos das
despues de la muerte de Abel, se escribieron dos cartas para el: en una de ellas se le comunicaba la aparici on del
tratado en la Academia de Paris. En la otra, Crelle, en cuya revista public o Abel gran parte de sus trabajos,
le confirmaba que le haba conseguido un puesto permanente en Berlin. En el a no 2002, el Gobierno noruego
instituy o el Premio Abel, que pretende ser un equivalente al Premio Nobel para las Matem aticas (campo en
el que, hasta ahora, s olo las Medallas Fields tenan un rango semejante). El lector interesado puede consultar
la semblanza de Abel titulada El Newton del Norte (La Gaceta de la RSME 5 (2002), no. 1), escrita en 1910
nada menos que por Jose Echegaray, matem atico espanol y Premio Nobel. . . aunque de Literatura, claro.
(versi
on preliminar 29 de octubre de 2008)
10.3. Series de potencias y funciones generatrices 769
que es una serie de potencias con coecientes positivos que tendra sentido y podr
a ser derivada
en |x| < 1. Derivando dos veces,
1 n x2 x3 1
(x) = x = x+ + + , (x) = xn = 1 + x + x2 + x3 + = .
n=1
n 2 3 n=0
1x
Una vez que hemos conseguido sumar la serie de potencias de (x), integrando una vez
obtenemos que
1
(x) = log
1x
on es cero, porque (0) = 0). Integrando de nuevo, y recordando
(la constante de integraci
que (0) = 0, obtenemos
(x) = (1 x) log(1 x) + x .
El lema de Abel, aplicado a (x), nos asegura que
1
lm (x) = .
x1 n (n + 1)
n=1
(versi
on preliminar 29 de octubre de 2008)
770 Captulo 10. Funciones generatrices
Pero el asunto es mas delicado de lo que pudiera parecer. Supongamos que partimos,
como parece razonable, de una funcion f (x) denida e innitamente derivable en un cierto
intervalo (D, D). Podemos formar, entonces, la serie de potencias
f (n) (0)
xn .
n=0
n!
Nos preguntamos si esta serie de potencias converge en algun punto adem as, claro, de en
x = 0. Y en el caso de que haya convergencia en un cierto valor de x, si la suma de la serie
coincide con f (x).
Por ejemplo, podemos considerar la funci on f (x) = 1/(1 + x2 ), que es innitamente
derivable en todo x R. La serie de Taylor asociada es
(1)n x2n .
n=0
Reexionemos sobre lo que supone esto. Tenemos una cierta sucesion de n umeros, una serie
formal f ; pero, adem
as, la serie de potencias que con ellos formamos representa a una cierta
funci
on f (x). Desde el punto de vista formal, podramos calcular la sucesion de n umeros
correspondiente a la recproca 1/f . Lo que aqu se arma es que una serie de potencias
asociada a esa nueva sucesion converge en (R , R ). Y con eso basta: no puede converger a
otra cosa que a la funci
on 1/f (x).
(versi
on preliminar 29 de octubre de 2008)
10.3. Series de potencias y funciones generatrices 771
P (x) 1
= P (x) .
Q(x) Q(x)
donde C es una cierta constante, los j son las races (en principio, complejas) de Q(x) y los
rj son las multiplicidades correspondientes. La suma r1 + + rt es justamente k.
Conocemos, por otro lado, los desarrollos en serie de potencias de
1 1 n+m n
= xn , = x , para m 1.
1x (1 x)m+1 m
n=0 n=0
(desde el punto de vista analtico, estas identidades son ciertas si |x| < 1, como prueba,
por ejemplo, el criterio del cociente). Manipulando estas expresiones, algo que dejamos como
ejercicio al lector, podemos obtener los desarrollos de las siguientes funciones: si a = 0 y b
son dos ciertas constantes,
1 (1)n bn n 1 n + m (1)n bn n
= x , = x , para m 1
a + bx n=0 an+1 (a + bx)m+1 n=0 m an+m+1
(versi
on preliminar 29 de octubre de 2008)
772 Captulo 10. Funciones generatrices
El m
etodo de fracciones simples
El objetivo13 es desarrollar en serie de potencias una funci
on racional del tipo
P (x)
f (x) = , donde P (x) y Q(x) son ciertos polinomios.
Q(x)
Primero, podemos suponer que el grado del polinomio del denominador es menor que el del
denominador, pues si no fuera as dividiramos un polinomio por otro y llegaramos a una
expresion del tipo
R(x)
T (x) + ,
Q(x)
donde R(x) ya es un polinomio de grado menor que el de Q(x). Los coecientes del polinomio
T (x) habra que tenerlos en cuenta, por supuesto: si tiene grado digamos k, inuiran en los
primeros k coecientes de la funcion. Por ejemplo,
x3 + 1 2
= (x 1) + 2 ,
x2 + x + 1 x +x+1
y solo restara desarrollar en serie el segundo termino (recordando que el termino x 1 habra
de ser tenido en cuenta al nal).
Supongamos entonces que estamos con P (x)/Q(x), y que el grado de Q(x) es mayor que
el de P (x). El primer paso es encontrar las races del polinomio del numerador, esto es, las
soluciones de Q(x) = 0. Sabemos bien que esto puede resultar complicado, y que no hay
f
ormulas explcitas si el polinomio es de grado alto. Pero supongamos que las soluciones son
los numeros i (con multiplicidades ri ). Podremos entonces escribir la funci on racional como
P (x) P (x)
=C .
Q(x) (x 1 )r1 (x t )rt
La constante C no desempe na papel alguno en el estudio que estamos haciendo (aunque a la
hora del c
alculo habra que tenerla en cuenta, por supuesto), as que supongamos que es 1.
El metodo de las fracciones simples consiste en reescribir la expresion anterior como
P (x) Ai,1
t
Ai,2 Ai,ri
= + + + ,
(x 1 )r1 (x t )rt (x i ) (x i )2 (x i )ri
i=1
donde los Ai,j son constantes que hay que determinar. Hay varias maneras de hacer esto,
pero quizas la mas sencilla es la de sumar los terminos del miembro de la derecha: en el
denominador nos volver a a quedar Q(x) y entonces bastara igualar los numeradores. De
ognitas Ai,j .
ah obtendremos un sistema de ecuaciones lineales que nos daran el valor de las inc
Una vez determinados los valores de estos n umeros, todo lo que nos queda son funciones que
sabemos desarrollar: de la serie geometrica y su familia.
13
Quiz as el lector este familiarizado con el uso de este metodo para integrar una funci
on racional P (x)/Q(x),
reescribiendola como suma de terminos con denominadores de la forma (ax +b)n , o de la forma (ax2 +bx+c)n ,
porque las integrales asociadas son inmediatas, en terminos de la funci on logaritmo o la funci
on arcotangente.
En nuestro an alisis nos limitaremos al primer tipo, pero a cambio deberemos manejar n umeros complejos.
(versi
on preliminar 29 de octubre de 2008)
10.3. Series de potencias y funciones generatrices 773
Notese que en todos estos argumentos, estamos dandonos la licencia de entender las series
de potencias como funciones de variable compleja; y los coecientes que obtendremos al nal
del desarrollo seran, en general, combinaciones de n
umeros complejos.
Veamos un ejemplo, algo complicado de calculo, pero sucientemente ilustrativo:
Ejemplo 10.3.2 Queremos desarrollar en serie de potencias la funci
on racional
P (x) x5 + x4 4 x3 + 4 x2 4 x + 4
f (x) = = .
Q(x) x4 + 2 x3 2 x2 + 2 x 1
El polinomio del numerador tiene grado mayor que el del denominador, as que habr a que
hacer una divisi
on previa. Aunque podramos limitarnos a desarrollar 1/Q(x), y luego multi-
plicar por P (x), hag
amoslo todo a la vez. La divisi
on de los polinomios nos permite escribir
1+x
f (x) = (x 3) + .
x4 + 2 x3 2 x2 + 2 x 1
Ahora, las cuatro soluciones de la ecuaci
on
x4 + 2 x3 3 x2 + 2 x 1 = 0
son i, i y 1 (esta, por partida doble). Y reescribir el polinomio en terminos de estas races
conduce a
Q(x) = x4 + 2 x3 3 x2 + 2 x 1 = (x i) (x + i)(x 1)2 = (1 i x) (1 + i x)(1 x)2 .
Observese como hemos reescrito los factores, preparando los c alculos posteriores. Olvidemo-
nos por el momento del termino x 3 (lo tendremos en cuenta al nal) y desarrollemos el
resto. El metodo de las fracciones simples nos sugiere escribirlo como (por comodidad, hemos
puesto el signo menos en el denominador)
1 x A B C1 C2
= + + + .
(1 i x) (1 + i x)(1 x)2 (1 i x) (1 + i x) 1 x (1 x)2
Si ahora sumamos a la derecha, el numerador que obtenemos resulta ser, tras el reordena-
miento adecuado,
x3 iAiBC1 +x2 (12i)A+(1+2i)B+C1 +C2 +x (i2)A(i+2)BC1 + A+B+C1 +C2 .
(versi
on preliminar 29 de octubre de 2008)
774 Captulo 10. Funciones generatrices
n=0
4 4 2
Los primeros coecientes de esta funcion (hay que tener cuidado con los dos primeros, en los
que inuye el termino 3 x) son
(4, 4, 4, 4, 5, 7, 8, 8, 9, 11, 12, 12, 13, )
En realidad, todos los coecientes que se obtienen son n umeros reales (mas a un, enteros
negativos). Pero esto es casualidad, porque nadie nos aseguraba, en principio, que los coe-
cientes del desarrollo tuvieran alg
un signicado especial. A un se puede escribir una f
ormula
mas compacta para los an (para n 2):
n 1 si n 0 o n 3 (mod 4),
an =
n 2 si n 1 o n 2 (mod 4)
La funci
on pareca complicada, pero sus coecientes son sorprendentemente sencillos.
La serie llega, en realidad, hasta n = m; la presencia del coeciente bin omico en la serie de
la izquierda lo hace evidente. Pero tambien con la escritura de la derecha: si n > m, entonces
algunos de los factores del numerador se anula.
Veamos, por otra parte, el desarrollo de la funcion (1 x)m1 :
1 m + n n (m + n)(m + n 1) (m + 2)(m + 1) n
= x = x
(1 x)m+1 n n!
n=0 n=0
(m 1)(m 2) ((m 1) n + 2)((m 1) n + 1)
= (x)n .
n!
n=0
Hemos cambiado de signo los n factores del numerador, y el (1)n resultante se lo hemos
incorporado a la x.
(versi
on preliminar 29 de octubre de 2008)
10.3. Series de potencias y funciones generatrices 775
Todos estos manejos persiguen descubrir la analoga que hay entre estos dos desarrollos,
el de (1 + x)m y el de (1 + (x))m1 . La simetra es evidente. Y es que ambos son casos
particulares del siguiente teorema:
Teorema 10.4 (Teorema del binomio) Para cada R, si |x| < 1, entonces
( 1)( 2) ( n + 1)
f (x) = (1 + x) = xn .
n!
n=0
Armamos aqu que la serie de potencias converge, con seguridad, para |x| < 1, pero en
algunos casos el intervalo de convergencia podra ser mayor. Por ejemplo, si es un entero
positivo, tenemos simplemente un polinomio (y la convergencia sera para todo x).
Antes de ver la demostraci on, vamos a aplicar el teorema a la obtencion de los desarrollos
en serie de unas cuantas funciones. Si es un entero positivo, tenemos la formula del binomio
habitual. Si = 1 y ponemos x en lugar de x, estamos con la serie geometrica. Tambien
hemos visto ya el caso = m 1, con m 0, y las posibles traslaciones y cambios de
escala en la variable. As que nos centraremos en otros valores de . Por comodidad, y s olo
por esta subseccion, consideraremos el coeciente bin omico generalizado
( 1) ( n + 1)
= ,
n n!
donde R (que coincide con el coeciente bin
omico habitual cuando = m).
Ejemplo 10.3.3 El caso = 1/2.
Estamos con la funcion 1 + x, para |x| < 1:
1 1/2 n 1/2 (1/2 1)(1/2 2) (1/2 n + 1) n
1 + x = (1 + x) 2 = x =1+ x ,
n=0
n n=1
n!
(1)n1 1 3 5 (2n 3)
=1+ xn .
2n n!
n=1
M as interesante, desde el punto de vista combinatorio, es el desarrollo de la funci on 1 4x
(en principio, para |x| < 1/4):
1/2 1/2 1 1 3 5 (2n 3)
(1 + (4x)) = (4x)n = 1 + (1)n1 n (4)n xn
n 2 n!
n=0 n=1
2n
1 3 5 (2n 3)(2n 1) n! n
= 1 x
n=1
2n 1 n! n!
1 1 3 (2n 1) 2 4 (2n 2) 2n n
= 1 x
2n 1 n! n!
n=1
1 (2n)! n
= 1 x .
n=1
2n 1 n! n!
(versi
on preliminar 29 de octubre de 2008)
776 Captulo 10. Funciones generatrices
La demostraci
on del teorema del binomio
on (1 + x) es innitamente derivable, al menos para valores
Para cualquier , la funci
de x sucientemente proximos a cero (digamos |x| < 1). La f ormula de Taylor nos dice que
una funci
on con n derivadas se puede escribir, en este caso cerca del 0, como
f (0) 2 f (n) (0) n
f (x) = f (0) + f (0) x + x + + x + Rn (x) ,
2! n!
on Rn (x) es el llamado resto de Taylor.
donde la funci
(versi
on preliminar 29 de octubre de 2008)
10.3. Series de potencias y funciones generatrices 777
donde los cn
son todava desconocidos. Por ahora entendemos esta igualdad (y los manejos
posteriores que haremos) en un sentido formal; ya los justicaremos mas adelante desde el
punto de vista analtico.
Observese (tomando x = 0) que c0 = 1 para cualquier . Primero,
c+1 n
n x = (1 + x)
+1
= (1 + x) (1 + x) = (1 + x) cn xn = cn xn + cn1 xn .
n=0 n=0 n=0 n=1
(versi
on preliminar 29 de octubre de 2008)
778 Captulo 10. Funciones generatrices
Igualando coecientes,
n
cn = (n + 1) cn+1 + n cn o, equivalentemente, cn+1 = c .
n+1 n
Ahora tenemos una recurrencia que involucra coecientes con el mismo ; como conocemos c0 ,
esta nueva identidad nos permite calcular toda la sucesi on (cn ). Por inducci
on, deducimos
que, para cada n,
( 1) . . . ( n + 1)
cn = = ,
n! n
donde hacemos uso, de nuevo, de la notaci on de los coecientes binomicos generalizados.
Por ahora hemos comprobado (al menos formalmente) que, al traducir las propiedades
de la funcion en los hipoteticos coecientes, estos han de tener una forma determinada. A un
hemos de probar que la serie con esos coecientes representa, efectivamente, a la funcion
(1 + x) . Llamemos
n
B (x) = x
n
n=0
a la serie de potencias que nos interesa. Apliquemosle el criterio del cociente:
n ( 1) . . . ( n) n
n+1 n! .
x x = |x| = |x|
n+1 n (n + 1)! ( 1) . . . ( n + 1) n+1
Es decir, si |x| < 1,
n n
lm sup xn+1
x = lm sup |x| = |x| < 1.
n n + 1 n n n+1
Esto supone que la serie de potencias converge uniformemente en cualquier intervalo de la
forma [a, a], donde a < 1. As que podemos derivar la serie termino a termino (compruebese
en especial la manipulacion de la segunda igualdad),
k
B (x) = n xn1 = ( k) xk = x k xk
n k k k
n=1 k=0 k=0 k=0
(versi
on preliminar 29 de octubre de 2008)
10.3. Series de potencias y funciones generatrices 779
10.3.5. De c
omo Euler venci
o a los Bernoulli
Nuestro objetivo es obtener el valor de la serie
1
.
n=1
n2
Este calculo, una vez que se saba que la serie armonica 1
n=1 n diverg
a,
fue uno de los grandes retos de la matematica del siglo XVIII. Por su-
puesto, la suma es nita, porque, como 2n2 n(n + 1) para cada n 1,
y recordando el ejemplo 10.3.1,
1 2
2
= 2. Figura 10.2: Johann
n n(n + 1)
n=1 n=1 Bernoulli
Esto ya lo saba Leibniz, quien, tras conseguir sumar los inversos de los
n
umeros n(n + 1)/2 (los n umeros triangulares, vease el ejercicio 1.2.3),
se propuso sumar los inversos de los numeros cuadrados. Pero no fue capaz, ni tampoco Jacob
Bernoulli, que concedera que
[. . . ] sera muy grande nuestro agradecimiento si alguien nos comunicara este c
alculo que,
hasta ahora, ha eludido nuestros esfuerzos.
A
nos despues de la muerte de Jacob, Euler fue capaz de completar el c
alculo. Johann Ber-
noulli15 dira:
De este modo el mas ferviente deseo de mi hermano se hace realidad. . . si estuviera aqu!
Un primer intento, aprovechando que los coecientes son positivos, sera considerar
1 n
f (x) = x ,
n2
n=1
serie de potencias que converge uniformemente si |x| < 1, y buscar el valor de f (x) en
x = 1. Podremos derivarla (y multiplicarla por x) dos veces, y luego integrar para obtener
x2 x3 1 1
x f (x) = x+ + + = x f (x) = 1+x+x2 + = = x f (x) = log .
2 3 1x 1x
Pero as no vamos por buen camino, porque no hay una expresi on analtica u
til para f (x),
que permita luego calcular el valor f (1), al menos en el sentido del lmite x 1.
15
Johann Bernoulli (1667-1748) era un puro Bernoulli: competitivo, celoso de los dem as miembros ma-
tematicos de su familia, acab o enfrentado, tanto a su hermano Jacob como a su propio hijo Daniel (veanse
sus notas biogr aficas en las p
aginas 505 y 456, respectivamente). No crea el lector que estos enfrentamientos
a los que nos referimos eran peleas en la cocina de casa: los bravos Bernoulli acostumbraban a airear sus
disputas p ublicamente. Como otros miembros de la familia, fue obligado a estudiar Medicina (su disertacion
doctoral verso sobre un modelo matem atico del movimiento muscular), aunque pronto se decantara por las
Matem aticas, de la mano (solo al principio!) de su hermano Jacob. A Johann se le recuerda especialmente por
sus aportaciones a lo que hoy conocemos como C alculo variacional (braquistocrona, problema isoperimetrico),
aunque tambien por sus trabajos en Mec anica y en la teora de los fluidos. Como ilustraci
on de las maniobras
que se gastaban estos Bernoulli, se dice que false o la fecha de publicaci on de obra Hydraulica (que aparecera
en 1739, pero datada en 1732), para adelantarse as a la Hydrodinamica de su hijo Daniel, de 1738.
(versi
on preliminar 29 de octubre de 2008)
780 Captulo 10. Funciones generatrices
Hace falta algo mas. La sorpresa: Euler. Sabemos (vease el ejemplo 10.3.4) que
1 2n 1
arcsin(x) = x2n+1 para 0 < x < 1.
22n n 2n + 1
n=0
Como todos los terminos son positivos, podemos (vease la subseccion 10.3.1) obtener el valor
de la funci
on en x = 1:
1 2n 1
= 2n
.
2 n=0 2 n 2n + 1
Vamos ahora a calcular la integral
1
arcsin(x)
I= dx
0 1 x2
de dos maneras diferentes: por un lado, integrando por partes,
1
1
arcsin(x)2 2
I= arcsin(x) d(arcsin(x)) = = .
0 2 0 8
Y por otro16 ,
1 1 2n+1
1 2n 1 2n+1 dx 1 2n 1 x
I= 2n
x = 2n
dx .
2 n 2n + 1 1x 2 2 n 2n + 1 0 1 x2
0 n=0 n=0
La u
ltima integral ya la obtuvimos en el ejemplo 6.1.17:
1 2n+1
x 22n 1
dx = .
0 1 x2 2n 2n + 1
n
De estos dos calculos concluimos que
2 1
= .
8 (2n + 1)2
n=0
de donde
1 4 1 4 2 2
= = = .
n=1
n2 3 (2k + 1)2 3 8 6
k=0
16
Queda como ejercicio para el lector con inclinaciones hacia el An alisis Matem
atico comprobar que se
pueden intercambiar los smbolos de integraci
on y sumaci
on. Puede, por ejemplo, considerar la integral entre
0 y 1 , donde tenemos convergencia uniforme, y concluir con un argumento de monotona.
(versi
on preliminar 29 de octubre de 2008)
10.3. Series de potencias y funciones generatrices 781
A. La primera demostraci
on de Euler
La que hemos descrito no fue, en realidad, la primera demostraci
on de Euler. Anterior-
mente haba propuesto la elegante prueba que pasamos a exponer. Partimos de la funci
on
x2 x4 x5 sin(x)
P (x) = 1 + + = ,
3! 5! 6! x
entendida (al menos as lo haca Euler) como un polinomio innito. Claramente, P (0) = 1,
y las races de la ecuacion P (x) = 0 vienen dados por x = k , para cada entero k = 0. Si
aceptamos que a este polinomio innito se le pueden aplicar los argumentos de factorizacion
de los polinomios usuales17 , podemos escribir que
x x x
x2
P (x) = 1 = 1 1+ = 1 2 2 .
k k k k
kZ\{0} k=1 k=1
plo,
Contra lo que podran sugerir estos primeros casos, no siempre aparece un 1 en el numerador. Por ejem-
n=1 n
12
= 12 691/638512875. La f ormula involucra los llamados n umeros de Bernoulli (vease el
ejercicio 10.7.5). Las sumas con exponente impar son mucho m
se sabe de ellas, no fue hasta 1978 cuando R. Apery demostr o que
as complicadas. Para dar idea de lo poco que
1
k=1 k3 era un n umero irracional. Ni
siquiera eso se sabe para los valores p = 5, 7, . . . . La demostraci
on de Apery usaba, en realidad, metodos que
eran ya conocidos por los matem aticos del siglo XVIII, y por Euler en particular. Van der Poorten titulaba su
recension del Math. Intelligencer 1 (1979) de la siguiente manera: A proof that Euler missed. . . Ap erys proof
of the irrationality of (3). Vease, por ejemplo, el artculo de Antonio C ordoba Disquisitio Numerorum (La
Gaceta de la RSME 4 (2001), no. 1).
(versi
on preliminar 29 de octubre de 2008)
782 Captulo 10. Funciones generatrices
10.3
EJERCICIOS DE LA SECCION
10.3.1 Supongamos que f (x) y g(x) son dos series de potencias que convergen en intervalos (R, R)
y (M, M ), respectivamente. D onde convergen las series de potencias f (x) + g(x) y f (x)g(x)?
Y f (x)/(1 x)? Compruebese que las series de potencias xm f (x) y f (m) (x) convergen en el mismo
intervalo que la f (x) original.
10.3.2 Compruebese que, dada una sucesi on de numeros (an ),
an+1 an+1
lm inf
lm inf |an | lm sup |an | lm sup
n n
n an n n n an
donde 0 < p < 1 y > 0. Compruebese que lmp0 y(p) = L. Que ocurre cuando p 1? Que ocurre
con y() cuando ?
10.3.6 Demostraci on del Lema de Abel (Lema10.2). Sea f (x) = n an xn una serie de poten-
n de convergencia 1 y supongamos que n an = A. Consideramos la sucesi
cias con radio on (cn ) dada
por cn = k=0 ak . Observese que lmn cn = A.
(a) Utilcese que a0 = c0 y an = cn cn1 si n 1 para comprobar que, para cualquier n 1,
n
n1
ak xk = (1 x) ck xk + cn xn para |x| < 1.
k=0 k=0
(versi
on preliminar 29 de octubre de 2008)
10.3. Series de potencias y funciones generatrices 783
Ded
uzcase que
f (x) = (1 x) cn xn .
n=0
on anterior para deducir, finalmente, que lmx1 f (x) = A.
(b) Utilcese la representaci
n
10.3.7 Partimosdel Lema de Abel (Lema 10.2): si n annx es una serie de potencias con radio de
convergencia 1 y n an converge, entonces lmx1 n an x = n an .
n
(a) Sea ahora
g(x) = n bn x una serie de potencias con radio de convergencia R > 0. Suponga-
mos que n bn Rn converge. Compruebese que f (x) = g(Rx) es una serie de potencias con radio de
convergencia 1. Aplquese el lema de Abel a f (x) para comprobar que lmxR g(x) = n bn Rn .
(b) Digamos que g(x) = n bn xn tiene radio de convergencia 1 y que n bn (1)n converge. Utilcese
un argumento similar al del apartado anterior para comprobar que lmx1 g(x) = n bn (1)n .
10.3.8 Utilcese la f
ormula de Taylor para encontrar los siguientes desarrollos en series de potencias:
x2 x3 x4
a) log(1 + x) = x + + alida para 1 < x 1);
(v
2 3 4
x3 x5 x7
b) sin(x) = x + + (v
alida para todo x);
3! 5! 7!
x2 x4 x6
c) cos(x) = 1 + + (v
alida para todo x);
2! 4! 6!
2
(x log(a)) (x log(a))3
d) ax = 1 + x log(a) + + + con a > 0 (v
alida para todo x).
2! 3!
Ambas series infinitas dan, como resultado, log(2) = 0.6931471806 . . . Pero quiz
as el lector quiera
entretenerse en comprobar computacionalmente el diferente grado de aproximaci
on que dan, sumando,
por ejemplo, los 100 primeros terminos de las dos series.
10.3.10 (a) Sabiendo que
d 1
arctan(x) = ,
dx 1 + x2
compruebese que
(1)n 2n+1
arctan(x) = x
n=0
2n + 1
(b) La serie numerica n (1)n /(2n + 1) converge (recuerdese el teorema 10.1). Aplquese el lema de
Abel a la funci
on arcotangente para obtener el siguiente metodo de c
alculo del n
umero :
1 1 1
= 4 1 + +
3 5 7
(versi
on preliminar 29 de octubre de 2008)
784 Captulo 10. Funciones generatrices
Utilizando la f
ormula de de Moivre (p
agina 28) y la f
ormula del binomio, se comprueba que
(a) Comp
arense las partes imaginarias de las dos f
ormulas anteriores para deducir que
(b) Ded
uzcase que los n
umeros (reales)
2 k
rk = cot , k = 1, . . . , m
2m + 1
son las m races del polinomio Pm (x).
(c) Compruebese que
m
Pm (x) = (2m + 1) (x rk ) .
k=1
(g) Por ultimo, pasese al lmite m en las desigualdades del apartado anterior para
obtener el resultado deseado.
(versi
on preliminar 29 de octubre de 2008)
10.4. Resolucion de ecuaciones de recurrencia 785
10.4. Resoluci
on de ecuaciones de recurrencia
Ya tenemos la tecnica, y es hora de aplicarla a un problema concreto, como es el de la
resolucion de ecuaciones de recurrencia. Ya vimos, en el captulo 6, algunos metodos, de otra
ndole, y nos disponemos ahora a tratarlas con el lenguaje de las funciones generatrices.
El punto de partida es una sucesi on (an ) que verica una cierta ecuacion de recurrencia
(y unas condiciones iniciales). Para resolver la recurrencia, esto es, para obtener una f
ormula
para an , seguiremos los siguientes pasos:
primero, codicaremos la sucesion (an ) con una funci on generatriz, digamos f (x).
El segundo paso consistira en utilizar la informaci on disponible sobre la sucesion (ecua-
cion de recurrencia y valores iniciales) para obtener una ecuaci on (algebraica, quiz as
diferencial) para f (x). Si somos capaces de resolverla, tendremos una expresi on de f (x).
Nos interesa obtener una f ormula para an , as que el paso nal ser
a desarrollar en serie
de potencias la funcion f (x).
Todo esto se puede entender como un proceso puramente formal (as lo haremos en la sec-
cion 10.7). No hay, por ejemplo, evaluaciones de la funci
on en punto alguno, as que podramos
obviar toda menci on a la convergencia de las series de potencias que vayan apareciendo.
A. Una sucesi
on, un par
ametro
Parte de este proceso ya lo hicimos, para la sucesion de numeros de Fibonacci, en la
subseccion 10.1.1. As que volvamos a tratar este caso, como ejemplo de una ecuacion de
recurrencia lineal, homogenea y con coecientes constantes.
Ejemplo 10.4.1 Consideremos la sucesi umeros de Fibonacci (Fn ) dada por F0 = 0
on de n
y F1 = 1 y Fn = Fn1 + Fn2 para cada n 2.
Empezamos asociando a los Fn su funci
on generatriz,
f (x) = Fn xn .
n=0
Transferimos ahora la informaci on de la ecuaci
on de recurrencia y las condiciones iniciales a
la funci
on generatriz. Sus dos primeros coecientes estan jados y los siguientes, del tercero
en adelante, los reescribimos siguiendo la ecuacion:
f (x) = F0 + F1 x+ F2 x2 + F3 x3 + F4 x4 + =
!" # !" # !" #
F1 x2 F2 x3 F3 x4
+ + +
F0 x2 F1 x3 F2 x4
= F0 + F1 x + F1 x + F2 x + F3 x + + F0 x + F1 x3 + F2 x4 +
2 3 4 2
Ahora, con ayuda de las reglas de desplazamiento de coecientes, identicamos las dos series
de potencias que han aparecido. Lo que queda, como el lector deber a comprobar, es que
f (x) = F0 + F1 x + x [f (x) F0 ] + x2 f (x) = x + f (x) x + x2 .
(versi
on preliminar 29 de octubre de 2008)
786 Captulo 10. Funciones generatrices
Ahora que tenemos una ecuacion (algebraica) para f (x), la resolvemos. Aqu, simplemente,
se trata de despejar la f (x):
x
f (x) = x + f (x) x + x2 = f (x) 1 x x2 = x = f (x) =
1 x x2
x x A B
2
= = + .
1xx (x )(x ) (x ) (x )
Igualando coecientes
de los numeradores, determinamos A y B, que resultan ser A = ( 5
5)/10 y B = ( 5 + 5)/10. Con ellos, y tras ciertas manipulaciones, obtenemos que
x 55 1 5+5 1 5 5 1 5+ 5 1
= = + xn .
1 x x2 10 x 10 x n=0 10 n+1 10 n+1
(versi
on preliminar 29 de octubre de 2008)
10.4. Resolucion de ecuaciones de recurrencia 787
Podramos haber intentado un enfoque alternativo, aprovechando que f (x) tiene un as-
pecto muy semejante a la serie geometrica:
x x
= = x (x + x2 )k .
1 x x2 1 (x + x2 )
k=0
As llegamos a una formula para el coeciente que acompana a xn+1 en el desarrollo de f (x)
umero Fn+1 :
que es, no puede ser otro, el n
n
nl
Fn+1 = ,
l
l=0
(versi
on preliminar 29 de octubre de 2008)
788 Captulo 10. Funciones generatrices
As que, si tenemos terminos no homogeneos, todo lo que necesitaremos sera sumar (ob-
tener una expresi on analtica de) la o las series de potencias que provengan de la parte no
homogenea. Sin embargo, el que la ecuaci on siga siendo lineal de coecientes constantes nos
asegura que el tipo de ecuaci on que obtendremos para f (x) seguir a siendo algebraica.
Para ver lo que puede ocurrir al manejar ecuaciones lineales con coecientes no constantes,
consideremos el siguiente ejemplo:
Ejemplo 10.4.3 Consideramos la sucesi umeros (an ) dada por a0 = 1 y
on de n
2n
(n + 1) an+1 = 3 an + , para cada n 0.
n!
Tal como viene escrita la recurrencia, conviene no despejar el termino de mayor ndice (en
este caso, an+1 ), sino trabajar directamente con ella. Como la recurrencia es v
alida para cada
n 0, se cumplir a que
2n
(n + 1) an+1 xn = 3 an xn + xn .
n=0 n=0 n=0
n!
on e2x ), obte-
Si identicamos las series que aparecen (la propia f (x), su derivada y la funci
nemos la ecuacion que debe vericar la funci
on generatriz:
f (x) = 3 f (x) + e2x .
de donde obtenemos
1
(2 3n 2n ) ,
an =
n!
la expresion de los an que and
abamos buscando.
= f (x) e
20
Se puede emplear, por ejemplo, un truco de factor integrante. Observese que
f (x)e3x 3x
3f (x)e3x = e3x f (x) 3f (x) = e3x e2x = ex ,
Integrando esta expresi
on, llegamos a la soluci
on general del texto.
(versi
on preliminar 29 de octubre de 2008)
10.4. Resolucion de ecuaciones de recurrencia 789
En algunas de las ecuaciones de recurrencia que vimos en la seccion 6.1, un cierto termino
de la sucesion dependa de todos los anteriores:
Ejemplo 10.4.4 En el ejemplo 6.1.11 veamos que los n umeros Mn , que contaban el n
umero
de posibles montones con n barriles en la primera fila, cumplan que
n1
Mn = 1 + (n j)Mj para cada n 2,
j=1
de donde
x(1 x)
M (x) = .
1 3x + x2
Ya solo resta desarrollar en serie de potencias (o revisar el ejercicio 10.2.6) para concluir que
Mn = F2n1 para cada n 1, donde (Fn ) es la sucesion de Fibonacci.
Si la ecuaci
on no es lineal, las dicultades aumentan enormemente, y solo en casos muy
particulares vamos a disponer de metodos de resolucion explcita. Por su especial relevancia
en cuestiones combinatorias, veamos el siguiente ejemplo.
Ejemplo 10.4.5 La sucesi umeros de Catalan (Cn ) viene definida por
on de los n
n1
Cn = C0 Cn1 + C1 Cn2 + + Cn2 C1 + Cn1 C0 = Ck Cn1k para cada n 1,
k=0
si convenimos en que C0 = 1.
En el ejemplo 3.1.3 obtuvimos ya una f ormula para estos n umeros. Ahora abordamos la
cuestion utilizando funciones generatrices. Si C(x) es la funci on (Cn ),
on generatriz de la sucesi
k1
k1
C(x) = Ck xk = 1 + Cj Ck1j xk = 1 + x Cj Ck1j xk1
k=0 k=1 j=0 k=1 j=0
n
= 1+x Cj Cnj xn == 1 + x C 2 (x) ,
n=0 j=0
(versi
on preliminar 29 de octubre de 2008)
790 Captulo 10. Funciones generatrices
Esta ecuacion de segundo grado (para C(x)) tiene dos posibles soluciones:
1 + 1 4x 1 1 4x
o bien .
2x 2x
El que C0 = 1, esto es, C(0) = 1, descarta la primera posibilidad (pero no la segunda, como
se puede comprobar, por ejemplo, con ayuda de la regla de LH opital). As que la funci
on
generatriz de los n
umeros de Catalan es la que aparece a la derecha. Ahora solo tenemos que
irnos al ejemplo 10.3.3 y revisar el c
alculo con el teorema del binomio que hicimos all para
tener la f
ormula para los n
umeros de Catalan.
B. Una sucesi
on, dos par
ametros
Como ya hemos visto en ocasiones, las ecuaciones de recurrencia pueden involucrar mas
de un par
ametro: es el caso de las que obtuvimos para los coecientes binomicos, los distintos
numeros de Stirling, etc. Nos planteamos ahora c omo tratar estas ecuaciones mediante las
funciones generatrices.
Para ilustrarlo, recurriremos a los numeros C(n, k), que cuentan el n umero de subcon-
juntos de tama no k que podemos extraer de {1, . . . , n}, y de los que ya disponemos de una
f
ormula explcita, la dada por los coecientes binomicos.
Digamos que n y k son enteros no negativos. Recordemos que las condiciones iniciales
eran C(n, 0) = 1 y C(n, n) = 1 (el caso (C(0, 0) = 1 es, simplemente, una convencion). La
on de recurrencia, si n 1 y 0 < k n, es
ecuaci
C(n, k) = C(n 1, k 1) + C(n 1, k) .
Podemos empezar considerando, para cada n fijo, la funci
on generatriz
fn (x) = C(n, k) xk .
k=0
(versi
on preliminar 29 de octubre de 2008)
10.4. Resolucion de ecuaciones de recurrencia 791
Para k 1,
gk (x) = C(n, k) xn = C(0, k) + C(n 1, k 1) + C(n 1, k) xn
n=0 n=1
= x C(n 1, k 1) xn1 + x C(n 1, k) xn1
n=1 n=1
= x C(n, k 1) xn + C(n, k) xn ,
n=0 n=0
de donde
gk (x) = x gk1 (x) + x gk (x) ;
esto es,
x
gk (x) = gk1 (x) para cada k 1.
1x
De nuevo, iterando, llegamos a que
2 k
x x x xk
gk (x) = gk1 (x) = gk2 (x) = = g0 (x) = .
1x 1x 1x (1 x)k+1
De manera que
xk k k + j j k + j j+k n n
gk (x) = =x x = x = x .
(1 x)k+1 k k k
j=0 j=0 n=k
(versi
on preliminar 29 de octubre de 2008)
792 Captulo 10. Funciones generatrices
(versi
on preliminar 29 de octubre de 2008)
10.4. Resolucion de ecuaciones de recurrencia 793
En la subsecci
on 6.2.3 vimos como resolver estos sistemas con las herramientas del Algebra
lineal. Introducimos ahora las funciones generatrices asociadas a las sucesiones (an ) y (bn ).
A(x) = an xn y B(x) = bn xn .
n=0 n=0
La primera ecuaci
on, escrita en terminos de estas dos funciones, viene a ser
A(x) = a0 + (3an1 + bn1 ) xn = 1+3x an1 xn1 +x bn1 xn1 = 1+x A(x)+x B(x) .
n=1 n=1 n=1
(recuerdese que las incognitas son aqu las series A(x) y B(x)). Resolviendo este sistema
obtenemos que
1x 2x
A(x) = 2 y B(x) = 2 .
x 4x + 1 x 4x + 1
Finalmente, desarrollamos en serie de potencias para obtener la solucion del problema:
3+ 3 n 3 3 n
A(x) = (2 + 3) + (2 3) xn
6 6
n=0
3 n 3 n
B(x) = (2 + 3) (2 3) xn
n=0
3 3
Los coecientes de A(x) y de B(x) son, respectivamente, las sucesiones (an ) y (bn ) que
satisfacen el sistema de ecuaciones y las condiciones iniciales.
10.4
EJERCICIOS DE LA SECCION
10.4.1 Para cada n 1, sea an el n umero de n-listas con smbolos {0, 1, 2, 3} que tienen un n umero
impar de ceros. Compruebese que a1 = 1 y que an+1 = 2an +4n para cada n 1. Ded uzcase, utilizando
funciones generatrices, que an = 12 (4n 2n ).
10.4.2 Consideremos la sucesi umeros (an )
on de n n=0 que satisface la recurrencia:
100
an = an2 + , n 2,
n
junto con las condiciones iniciales a0 = 1 y a1 = 100.
(a) Calculese la funci
on generatriz de esta sucesi
on.
(b) Escrbase una f
ormula para an y calc ulese a200 .
(versi
on preliminar 29 de octubre de 2008)
794 Captulo 10. Funciones generatrices
a1 = 1 A0 =
1
n
ak = 1 + ak1 + k1 j=1 ja para cada k 2. A n = k=0 kAnk , n 1.
Obtenganse las respectivas funciones generatrices y compruebese que an = An = F2n para cada n 1.
10.4.4 Para cada n, k 0, llamemos b(n, k) al n umero de subconjuntos de {1, 2, . . . , n} de tama
no
k que no contienen enteros consecutivos (esta cuesti on ya la tratamos en el ejercicio 3.1.15 y, con
un lenguaje distinto, pero equivalente, en la subseccion 6.3.5). Notese que b(n, k) = 0 si k > n y que
b(n, 0) = 1 si n 1, b(0, k) = 0 si k 1 y b(n, 1) = n si n 1. Definamos b(0, 0) = 1.
(a) Pruebese que
b(n, k) = b(n 2, k 1) + b(n 1, k) si n 2, k 1.
(b) Llamemos Fk (x) a la funci
on generatriz de los b(n, k) para cada k fijo. Compruebese que
1 x x2
F0 (x) = , F1 (x) = , Fk (x) = Fk1 (x), si k 2.
1x (1 x)2 1x
(c) Resuelvase la recurrencia para las funciones Fk (x) y ded
uzcase que
nk+1
b(n, k) = .
k
10.4.5 Para k 1 fijo, consideramos la sucesi umeros de Stirling de segunda especie (S(n, k))
on de n n=1
y su funci
on generatriz asociada:
Fk (x) = S(n, k)xn (n
otese que la suma empieza realmente en n = k).
n=1
(c) Desarr
ollense los terminos 1/(1jx) para deducir la habitual f
ormula para los n
umeros de Stirling
k
(1)k k
S(n, k) = (1)m mn .
k! m=1 m
10.4.6 Vamos ahora a cambiar el punto de vista, para considerar, para n 1 fijo, la funci on generatriz
on (S(n, k))
(en realidad, un polinomio) de la sucesi k=1 (n
otese que ahora es k el
ndice de la sucesi
on),
Gn (x) = S(n, k) xk .
k=1
(versi
on preliminar 29 de octubre de 2008)
10.4. Resolucion de ecuaciones de recurrencia 795
cuenta el numero de particiones en bloques no vacos del conjunto {1, 2, . . . , n}, Sustit
uyase x = 1 en
on del apartado (b) para obtener la f
la expresi ormula de Dobinski:
1 jn
B(n) = para cada n 1,
e j=1 j!
que permite calcular B(n) en terminos de una serie infinita que converge muy r
apidamente. Por ejem-
plo, B(10) = 115975, mientras que la suma de los 15 primeros terminos de la serie da 115974, 978.
10.4.7 Utilcese el ejercicio anterior para comprobar que, si definimos B(0) = 1,
B(n) n
x = exp (ex 1) .
n=0
n!
Estos n
umeros verifican la ecuaci
on de recurrencia siguiente (vease el ejercicio 3.3.4):
n
n
B(n) = B(n j) para cada n 1
j=1
j
(versi
on preliminar 29 de octubre de 2008)
796 Captulo 10. Funciones generatrices
5. Hecho esto, evaluamos la suma de funciones para conseguir una expresi on para f (x).
6. El paso nal consiste en desarrollar en serie de potencias la funci
on f (x) para obtener
los an , sus coecientes.
21
En homenaje poco disimulado al snake oil method de Wilf.
(versi
on preliminar 29 de octubre de 2008)
10.5. Otras aplicaciones 797
Empezamos con
n
n
f (x) = an x = k xn .
n=0 n=0 k=0
De nuevo esta serie de potencias es conocida, es la que obtenemos al aplicar x d/dx a la serie
asica 1/(1 x):
b
1 k 1 1 x
f (x) = kx = x = .
1x 1x 1x (1 x)3
k=0
k+1
De aqu deducimos, nalmente, el bien conocido resultado ak = 2 = k(k + 1)/2.
Ejemplo 10.5.2 Calculemos las siguientes sumas (algo m
as complicadas):
n+k
an = 2nk , n = 0, 1, 2, . . .
2k
k=0
(versi
on preliminar 29 de octubre de 2008)
798 Captulo 10. Funciones generatrices
Ser
a cuestion de hacer que aparezca ese 2k arriba, a ver que pasa. Pasa algo bueno:
k 2k + n k n k k 2k + n k
f (x) = 2 (2x) = 2 (2x) (2x)nk
2k 2k
k=0 n=k k=0 n=k
j + 2k 1
= 2k (2x)k (2x)j = xk
2k (1 2x)2k+1
k=0 j=0 k=0
k
1 x 1 1 1 2x
= 2
= x = .
(1 2x) (1 2x) (1 2x) 1 (12x)2 (1 4x)(1 x)
k=0
Ya tenemos la expresion de f (x) (la hemos escrito separando las races del polinomio del
numerador). S olo resta desarrollarla en serie, para lo que utilizamos fracciones simples:
1 2x 2/3 1/3 2 n 1 n 2 n 1
f (x) = = + = (4x) + x = 4 + xn .
(1 4x)(1 x) 1 4x 1 x 3 3 3 3
n=0 n=0 n=0
10.5.2. Verificaci
on de identidades
Partimos de un par de sucesiones (an ) y (bn ), y nuestro objetivo es probar que en realidad
son la misma. Para ello, basta vericar que sus respectivas funciones generatrices coinciden.
Veamos un ejemplo.
Ejemplo 10.5.3 Comprobemos que los n
umeros de Fibonacci satisfacen la relaci
on
F0 + F1 + + Fn = Fn+2 1 para cada n 0.
Esta es una identidad ya conocida, que se puede probar combinando inducci on y la ecuaci
on
de recurrencia de los Fn , como proponamos en el ejercicio 6.3.3. Abordemosla con funciones
generatrices. Recordemos que x/(1 x x2 ) es la funci on generatriz de los (Fn ).
Por un lado,
n
1 x
Fj xn = ,
n=0
1 x 1 x x2
j=0
pues, recordemos, el efecto de multiplicar por la serie basica 1/(1 x) es recuperar las sumas
parciales de los coecientes.
Por otro lado,
1 1
(Fn+2 1)xn = Fn+2 xn 2
xn =
Fn+2 xn+2
n=0 n=0 n=0
x n=0 1x
1 x 1 1 x 1 x
= 2 F0 F1 x = 2 x = .
x 1xx2 1x x 1xx2 1x (1 x)(1xx2 )
Y ya esta: las funciones generatrices coinciden, as que sus coecientes tambien.
(versi
on preliminar 29 de octubre de 2008)
10.5. Otras aplicaciones 799
Y para la segunda,
k n k k nk k k
g(x) = x = x x = x xm
nk nk m
n=0 k=0 k=0 n=k k=0 m=0
1 1
= k
x (1 + x)k = [x (1 + x)]k = = .
1 x (1 x) 1 x x2
k=0 k=0
(versi
on preliminar 29 de octubre de 2008)
800 Captulo 10. Funciones generatrices
donde
r = |Ai1 Ai2 Air | para cada 1 r n.
1i1 <i2 <<ir n
Es decir,
n
1 = |Aj | , 2 = |Ai Aj | , n = |A1 A2 An | .
j=1 i<j
on (r )
Para completar la sucesi r=0 , y por conveniencia, denimos 0 = |X |. N
otese que la
sucesion tiene un n
umero nito de terminos.
Planteamos ahora otra pregunta, con la que ganaremos algo de perspectiva:
Son, en realidad, multiples preguntas, una por cada valor de t entre 0 y n. Nos interesan
umeros t = |Bt |, los tama
los n nos de los conjuntos
Bt = {elementos de X que pertenecen a exactamente t de los Aj } para cada t 0.
As que esta segunda pregunta est a asociada a una sucesion (t ) que, de nuevo, s
olo tiene un
umero nito de terminos. Observemos que los conjuntos B0 , B1 , . . . , Bn forman, a diferencia
n
on de X .
de A1 , . . . , An , una verdadera partici
Buscamos relaciones entre las dos sucesiones de n umeros, (r ) y (t ). La primera la
descubrimos de inmediato: como hemos llamado 0 = |X |,
0 = t ,
t=0
sin mas que recordar que los conjuntos Bt forman una partici on de X .
Vamos, sin embargo, a obtener este resultado con un argumento de doble conteo, para
preparar el argumento general que aplicaremos en los otros casos.
Construimos una matriz cuyas columnas estan etiquetadas con los elementos de X or-
denados seg un el conjunto Bt al que pertenezcan: para distinguirlos, llamemos x1 , . . . , x0 a
los elementos de X que esten en B0 , y1 , . . . , y1 a los que esten en B1 , y as, sucesivamente,
hasta w1 , . . . , wn a los de Bn . Y que tenga una sola la, etiquetada con X . Escribimos un 1
si el elemento esta en X y un 0 en caso contrario:
B0 B1 Bn
x1 x 0 y1 y1 w1 wn
X 1 1 1 1 1 1
Por supuesto, todas las entradas de la matriz son unos, porque cada elemento de cada
columna
pertenece a X . Estos unos, sumados por las, dan |X |; y sumados por columnas, t=0 t .
(versi
on preliminar 29 de octubre de 2008)
10.5. Otras aplicaciones 801
Vamos con 1 . Construimos una matriz similar, aunque esta vez colocamos, como etique-
tas de las las, los distintos conjuntos A1 , . . . , An . Cada entrada de la matriz ser
a un 1 si el
elemento que determina la columna est a en el Ar de la la; y un 0 en caso contrario.
B0 B1 B2 Bn
x1 x 0 y1 y1 z1 z2 w1 wn
A1 0 0 1 0 0 0 1 1
A2 0 0 0 0 1 0 1 1
A3 0 0 0 0 1 1 1 1
.. .. .. .. .. .. .. .. .. .. .. .. .. ..
. . . . . . . . . . . . . .
An 0 0 0 1 0 1 1 1
Los elementos de B0 , los xj , no pertenecen a ninguno de los Ar , pues no cumplen propiedad
alguna; as que sus columnas llevar an ceros. Cada yj B1 cumple una u nica propiedad,
esta en uno (y solo uno) de los Ar , as que en su columna habr a un unico 1. Si zj B2 ,
zj cumplir a dos propiedades, es decir, estara en dos Ar distintos. Por tanto, en su columna
habr a dos unos. Y as, sucesivamente: en la columna de un elemento de Bt habr a t unos.
Si ahora sumamos las entradas de la matriz por las, obtenemos la suma de todos los |Ar |.
Si sumamos por columnas, las correspondientes a B0 aportar an cero unos (m as concretamen-
te, 0 0 ), las de B1 aportaran un 1 cada una; en total, 1 1 . Las de B2 , un 2 cada una, es
decir, 2 2 entre todas, y as sucesivamente. Es decir, que
1 = |Ar | = t t .
r=0 t=0
Vamos con 2 . Ahora, la matriz tendr a etiquetadas sus las con todas las posibles intersec-
ciones dos a dos de los Ar . Y colocaremos un uno si el elemento que determina la columna
esta en el Ai Aj que dene la la:
B0 B1 B2 Bn
x1 x0 y1 y1 z1 z2 w1 wn
A1 A2 0 0 0 0 0 0 1 1
A1 A3 0 0 0 0 1 0 1 1
A1 A4 0 0 0 0 1 1 1 1
.. .. .. .. .. .. .. .. .. .. .. .. .. ..
. . . . . . . . . . . . . .
An1 An 0 0 0 0 0 1 1 1
Las columnas de los elementos de B0 y B1 solo contienen ceros, porque ninguno de ellos
cumple dos propiedades a la vez. Sea un zj B2 : este elemento cumple exactamente dos
propiedades, as que estara exactamente en una de las intersecciones dos a dos. Por tanto, en
su columna habr an ceros. Cualquier uj B3 (que ya no representamos
a un uno, y el resto ser
en
3
la tabla) cumplir a en tres de los Ar . Por lo tanto, estar
a tres propiedades, es decir, estar a en
intersecciones dos a dos distintas (por ejemplo, si est
a en A 1 , A2 y A3 , estar
a en A1 A2 ,
2 3
A2 A3 y A1 A3 ). Luego habr a 2 unos en su columna. Si tenemos un elemento de B4 ,
estara en 42 intersecciones dos a dos; es decir, habr a 42 unos en su columna.
(versi
on preliminar 29 de octubre de 2008)
802 Captulo 10. Funciones generatrices
A. Inversi
on de la relaci
on con funciones generatrices
Pero, como veremos mas adelante, en muchas de las aplicaciones de interes dispondre-
mos de expresiones explcitas de los n umeros r . Si queremos obtener a partir de ellas las
correspondientes a los t , necesitaremos invertir la relaci on de arriba, es decir, escribir los
(t ) en funci
on de los (r ). Para ello, por supuesto, recurriremos a las funciones generatrices;
llamemos A(x) y B(x) a las asociadas a los r y los t , respectivamente:
A(x) = r xr y B(x) = t xt .
r=0 t=0
(versi
on preliminar 29 de octubre de 2008)
10.5. Otras aplicaciones 803
Analicemos ahora, con el lenguaje de las funciones generatrices, algunos ejemplos que ya
estudiamos en su momento con argumentos de tipo combinatorio.
Ejemplo 10.5.5 Sobre permutaciones y desbarajustes.
Sea X el conjunto de las permutaciones de {1, . . . , n}, de las que hay 0 = |X | = n!. Deni-
mos, para cada 1 r n, los conjuntos
En cada Ar estan todas las permutaciones que jan el elemento r en su posicion. Como ya
vimos en la subseccion 3.2.3, el tama
no de cada Ar es
n
r = (n r)! ,
r
Este resultado es inmediato en nuestro nuevo lenguaje: los desbarajustes son las permutacio-
nes que no jan smbolo alguno en su posici an en ninguno de los Ar ; hay
on, as que no est
0 elementos de estos, luego
n
r r (1)r
Dn = 0 = (1) r = (1)r r = n! .
0 r!
r=0 r=0 r=0
Esta identidad (que ya pedamos probar en el ejercicio 3.2.14) nos dice, simplemente, que
si queremos formar una permutaci on de {1, . . . , n} que je t smbolos, primero habremos de
decidir que t smbolos jamos y luego hacer un desbarajuste con el resto.
(versi
on preliminar 29 de octubre de 2008)
804 Captulo 10. Funciones generatrices
En el caso general,
k kt
rt r k n kmt k m k
t = (1) (k r) = (1) mn
r=t
t r m=0
t k m
kt
kt
kt k! (1)m mn k kt m kt
= (1) = (1) (1) mn
t! m! (k m t)! t m
m=0 m=0
(versi
on preliminar 29 de octubre de 2008)
10.5. Otras aplicaciones 805
on de 0 obtenemos la habitual f
As que, de la expresi ormula para los S(n, k):
k
1 r k
S(n, k) = (1) (k r)n .
k! r
r=0
una f
ormula que ya apareca en el ejemplo 3.3.3.
10.5
EJERCICIOS DE LA SECCION
(versi
on preliminar 29 de octubre de 2008)