Generatrices PDF

Captulo 10
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
an = an1 + an2 para cada n 3,
como vimos en el ejemplo 6.1.5. Nuestra ecuaci on de recurrencia favorita, la de Fibonacci.

Aunque los an no son exactamente los n umeros de Fibonacci Fn , pues las condiciones iniciales
son ligeramente distintas (recuerdese la denicion 6.1). En paginas anteriores han ido pare-
ciendo ecuaciones de recurrencia para los coecientes binomicos, los n umeros de Stirling, el
numero de particiones de un entero con ciertas caractersticas, etc. Una regla de recurrencia
(complementada con unas condiciones iniciales) es, sin duda, una buena manera de describir
una sucesion (an ). Pero, en muchas ocasiones, no nos permite entender como es la sucesion:
si crece o decrece, como de deprisa lo hace, etc. En el captulo 6 aprendimos diversas tecni-
cas para resolver, esto es, obtener una formula para los an en funci on de n, ciertos tipos de
ecuaciones de recurrencia. Pero no siempre es posible hacerlo, e incluso en el caso de tenerla,
pudiera ser tan complicada que fuera difcil extraer la informacion que encierra.
En general, no nos interesa un termino en concreto, sino toda la sucesion (an ). Si queremos
aprender sobre la sucesion (an ) en s, una posibilidad, en muchos casos la mejor posible, es
1
Perd
onesenos el oximoron.
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
donde ya hemos aplicado el teorema del binomio. Derivando y sustituyendo en x = 1 (tanto

en la serie de potencias como en la expresion nal de la funci
on), obtenemos que
100

99 100
100 2 = n .
n
n=0
O, en otras palabras, que

100 100 100
1 100 n n
50 = 100 n = n=0
100 100 ,
2 n=0 n n=0 n
que nos dice el tama

no medio de los subconjuntos es 50.
2
Valga el pleonasmo. Adivinar a posteriori es m
as habitual y sencillo.
(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
on generatriz3 de los (an ). Usamos la palabra funci

f (x) es la funci on aunque, a priori,
puede que la serie no converja y no tengamos realmente una funci on. A veces, por ejemplo
cuando queramos sustituir x por un valor determinado, s que tendremos que prestar atenci on
a las cuestiones de convergencia. Pero mientras no sea ese el caso, podramos argumentar todo
mediante series formales (vease la seccion 10.7).
El numero an , que generalmente sera la respuesta a un cierto problema combinatorio, es el
coeciente de xn en la serie de potencias anterior, lo que resumiremos a veces con la notacion
an = Coefn [f (x)] .
A. Funciones generatrices de suma conocida

Si disponemos de una expresi on para la funcion generatriz, entonces
tenemos grandes
n
ventajas. Por ejemplo, si resulta que la serie de potencias f (x) = n=0 an x converge en
un cierto intervalo (R, R) y conocemos la expresion de f (x), entonces podremos evaluar
on (y cualquiera de sus derivadas) en valores de x que cumplan que |x| < R. En
la funci
particular, podremos calcular los coecientes mediante la formula de Taylor habitual,
f (n) (0)
an = ,
n!
aunque, en general, este metodo de calculo de coecientes es poco practico. De todo esto
hablaremos en la seccion 10.3, pero, por ahora, veamos algunos ejemplos.
Por razones que pronto se har an evidentes, nuestra serie de potencias b
asica, que debe-
remos tener siempre en mente, es la suma de la serie geometrica,

1
xn = ,
n=0
1x
olo tiene sentido si |x| < 1. En este nuevo lenguaje,

que, desde el punto de vista analtico, s
1/(1 x) es la funci
on generatriz de la sucesion innita de unos:
1
(1)
n=0 ; o tambien Coefn [1/(1 x)] = 1 para cada n = 0, 1, 2 . . . .
1x
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
Tambien conocemos ya la serie de potencias que dene la funcion exponencial:

xn
1 1
= ex ; ex ; o bien Coefn [ex ] = para cada n 0.
n=0
n! n! n=0 n!
Observese que la serie de potencias de la izquierda converge para cualquier valor de x.
El teorema del binomio nos proporciona otro caso conocido: para m 1,

m n
(1 + x)m = x .
n
n=0
Esta representacion es valida para todo x porque, en realidad,
la serie de potencias es un
m
polinomio, pues para n > m los coecientes binomicos n son nulos:

m m m m
(1 + x) , ,..., , 0, 0, . . . ;
0 1 m
on f (x) = (1 x)m1 , para m 0.

Ejemplo 10.1.1 Calculemos los coeficientes de la funci
Observese que el caso m = 0 corresponde a la serie geometrica, cuyo desarrollo ya conocemos.
Notese tambien que, al derivar sucesivamente,

1 1 1 2 1 6
= 2
, = 3
, = ,...
1x (1 x) 1x (1 x) 1x (1 x)4
generamos, salvo constantes, la familia de funciones en las que estamos interesados. Mientras
estemos en |x| < 1, todas estas manipulaciones son validas (vease la subesccion 10.3.1).
on (1 x)m1 , para cierto m 0,
As que tiene sentido calcular los coecientes de la funci
mediante la formula de Taylor.
Sea entonces f (x) = (1 x)m1 , y calculemos sus derivadas sucesivas:
m+1 (m + 1)(m + 2) (m + 1)(m + 2) (m + n)
f (x) = , f (x) = , . . . , f (n) (x) = .
(1 x)m+2 (1 x)m+3 (1 x)m+n+1
As que
(m + n)!
f (n) (0) = .
m!
Por tanto,
1 (n) 1 (m + n)! m+n
Coefn [f (x)] = f (0) = = .
n! n! m! m
Es decir,

1 m+n n
= x .
(1 x)m+1 m
n=0
O, escrito de otro modo,

1 m+n m m+1 m+2
= , , ,... .
(1 x)m+1 m n=0 m m m
Notese que m es un par ametro jo y que n es el ndice de la sucesi
on. Cuando m = 0,
recuperamos la sucesion que vale uno para cada n.
(versi
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
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
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.
Regla 1: Sumar y multiplicar por constantes

umeros, (an )
Sean dos funciones generatrices f (x) y g(x), asociadas a dos sucesiones de n
y (bn ), respectivamente, y sean y dos n
umeros cualesquiera. Esta primera regla tiene que
ver con los coecientes de la funcion f (x) + g(x). No hay grandes sorpresas, son los que
uno espera:

f (x) (an )
n=0
= f (x) + g(x) ( an + bn )
n=0
g(x) (bn )
n=0
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.
Regla 2: Producto de funciones

La siguiente regla considera el producto puntual de dos funciones generatrices f (x) y
g(x) asociadas a las sucesiones (an ) y (bn ), respectivamente. Empezamos con las primeras
manipulaciones:

f (x) g(x) = ak xk bj xj = ak bj xk+j .
k=0 j=0 k=0 j=0
Ahora viene el paso clave para la f

ormula que presentaremos luego. Se trata de determinar el
coeciente n-esimo de la serie de potencias f (x)g(x). Obtendremos terminos con xn cuando
los ndices k y j sean tales que k + j = n. Y cada combinaci on de estas contribuira con
el producto ak bj correspondiente. As que, si llamamos cn a los coecientes de f (x)g(x),
podemos escribir que
cn = ak bj .
k+j=n
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
a escribir el valor de c2 , listando, simplemente, los posibles pares (k, j)

El lector ya podr
que cumplan que k + j = 2. Llegara as sin dicultad a que c2 = a0 b2 + a1 b1 + a2 b0 .
Tras este analisis preliminar, la regla general es casi obvia:
n

cn = ak bnk ,
k=0
el llamado producto de Cauchy:

f (x) (an )
n=0
n
= f (x) g(x) ak bnk
g(x) (bn ) n=0
n=0 k=0
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:
1. Llamamos k al tama no del objeto de tipo A elegido. El par

ametro k, por supuesto, se
movera entre 0 y n.
2. Elegimos el objeto de tipo A de tama a hacer de ak formas.
no k. Esto se podr
3. Elegimos el objeto de tipo B, que tendr no n k: se podr
a que ser de tama a hacer de
bnk maneras.
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
10.2. Manipulaci
Sus funciones generatrices asociadas son

11 n 14
A(x) = x = (1 + x)11 y B(x) = xn = (1 + x)14 .
n=0
n n=0
n
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
Y si generalizamos el argumento (con s mujeres, t hombres y un comite de n personas),

tendremos una prueba, con funciones generatrices, de la identidad de Vandermonde,
n
s t s+t
= ,
j nj n
j=0
que ya ha aparecido en varias ocasiones (veanse las subsecciones 3.1.1 y 3.1.3).
Regla 3: Desplazar coecientes

En muchas ocasiones interesa considerar la sucesion de n umeros que se obtiene de una
dada desplazando los coecientes hacia la derecha o hacia la izquierda. Consideremos la
on generatriz f (x) de una cierta sucesion (an ). Si multiplicamos por x,
funci

x f (x) = a0 x + a1 x2 + a2 x3 + = aj xj+1 = an1 xn .
j=0 n=1
Es decir, el coeciente n-esimo de xf (x) es el coeciente n 1 de f (x). Pero cuidado, s

olo
para n 1, pues el coeciente cero de xf (x) es ahora 0:
xf (x) (0, a0 , a1 , a2 , . . . ) .
Y si multiplicamos por una potencia mayor, xm , con m 1, desplazamos la sucesion hacia

la derecha m posiciones y tendremos m ceros al principio. La regla general es
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
El desplazamiento de coecientes en el otro sentido requiere un an alisis mas cuidadoso.

Por ejemplo, partimos de una sucesion (a0 , a1 , a2 , . . . ) asociada a una funci on f (x) y nos
preguntamos por la funcion generatriz g(x) asociada a la sucesi on (a1 , a2 , a3 , . . . ). Observese
on vienen dados por bn = an+1 , para cada n 0.
que los coecientes bn de esta nueva funci
Primero, claro, hay que eliminar el coeciente a0 , as que debemos considerar la funci on
f (x) a0 = a1 x + a2 x2 + a3 x3 +
Esto no es todava g(x), pues la funci on f (x) a0 esta asociada a la sucesion5 de n umeros
(0, a1 , a2 , . . . ).
La funci on que buscamos, g(x), esta asociada a (a1 , a2 , a3 , . . . ). As que, con la regla de
desplazamiento hacia la derecha, xg(x) genera la sucesion (0, a1 , a2 , a3 , . . . ), que es, precisa-
mente, f (x) a0 . De manera que
f (x) a0
xg(x) = f (x) a0 = g(x) = .
x
Ay!, una x en el denominador, y se supone que esto es una serie de potencias centrada en
el 0. Pero no debemos preocuparnos, porque la serie de la funcion f (x) a0 no tiene termino
independiente, as que al dividirla por x obtenemos una serie de potencias legal.
El caso general sigue los mismos argumentos. Dado m 1, si f (x) es la funci
on generatriz
on (an ), entonces
de la sucesi
f (x) a0 a1 x am1 xm1

(am , am+1 , am+2 , . . . ) = (an+m )
n=0
xm
La operacion del numerador sustituye los primeros m coecientes por 0 y la division por
xm los elimina.
Resumimos las dos reglas de desplazamiento de coecientes:
Coefn [f (x)] = Coefn+m [xm f (x)] ,

f (x) a0 a1 x am1 xm1
(si n m) Coefn [f (x)] = Coefnm .
xm
Y, como ejemplo de aplicaci on 1/(1 x), asociada a la sucesion
on, consideremos la funci
(1, 1, 1, . . . ). Entonces,
x x2
(0, 1, 1, 1 . . . ) , (0, 0, 1, 1, . . . ) , etc.
1x 1x
Observese que si desplazamos, por ejemplo, la sucesion hacia la izquierda tres posiciones, vol-
vemos a tener la sucesion de unos. No hay problema, porque, como el lector podr a comprobar,
la funci
on
1 2
1x 1 x x 1
3
vuelve a ser .
x 1x
5
Observese que, de paso, hemos hallado una regla que permite sustituir un coeficiente cualquiera por 0.
Aqu lo hemos hecho para el primer coeficiente, pero el lector podra reflexionar sobre cu al es la funci on
generatriz de la sucesion en la que, por ejemplo, sustituimos el vigesimo coeficiente de la original por 0. . . La
respuesta, claro, es f (x) a19 x19 .
(versi
10.2. Manipulaci
Regla 4: Derivar (y algo m

as)
Si tenemos una funci on f (x) que genera unos ciertos (an ), que funci on generar
a la
sucesion (n an )? Buscamos una operacion que, aplicada a f (x), haga que sus coecientes
aparezcan multiplicados por la posicion que ocupan. La estructura especial de las series de
potencias nos hace sospechar que esa operacion va a ser la derivaci
on (o casi):

n
f (x) = an x = f (x) = n an xn1 .
n=0 n=1
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:
x f (x) (0a0 , 1a1 , 2a2 , 3a3 , . . . ) = (n an )

n=0
Si lo que queremos es obtener la funci on asociada a la sucesion (n2 an ), el mismo argumento,

on x f (x) (cuyos coecientes son n an ), nos lleva a que
pero ahora aplicado a la funci

x x f (x) (n2 an ) n=0 .
Y as podramos seguir. Cada factor n extra en el coeciente se obtiene repitiendo la opera-

cion. Por abreviar, llamemos (x d/dx) al operador que act ua sobre una funci
on derivandola
primero y multiplic andola por x despues. Entonces, si la potencia (xd/dx)m indica que hay
que repetir m veces la operacion, tenemos que, para cada m 1,

d m
f (x) (an )
n=0 = x (f (x)) (nm an )
n=0
dx
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
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
Observese que el primer coeciente de f (x) queda sin determinar.

Ejemplo 10.2.2 Partimos de f (x) = 1/(1 x) y queremos conocer los coeficientes de f (x).
Los coecientes de f (x) son todos 1, as que, siguiendo la regla de integraci
on,

1 n
f (x) = b0 + x .
n
n=1
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
Regla 6: Obtener sumas parciales

La funcion 1/(1 x), aquella cuyos coecientes son todos unos, es muy especial. Veamos
el efecto que tiene, sobre los coecientes de una cierta funcion f (x), la multiplicaci
on por la
serie b
asica. Aplicamos, simplemente, la regla 2:

n
1
f (x) = as xs xt = ak xn .
1x
s=0 t=0 n=0 k=0
As que el coeciente n-esimo de la funcion f (x)/(1 x) es la suma de los n primeros

coecientes de la funcion f (x). El efecto de dividir por 1x es que devuelve lo que llamaremos
las sumas parciales de los coecientes originales.

n
f (x)
f (x) (an )
n=0 = (a0 , a0 + a1 , a0 + a1 + a2 , . . . ) = ak
1x n=0
k=0
(versi
10.2. Manipulaci
Ejemplo 10.2.3 Calculemos de nuevo la suma de los primeros n n

umeros naturales.
El resultado ya lo conocemos (vease, por ejemplo, el ingenioso argumento que expusimos en
la pagina 42). Obteng amoslo con funciones generatrices. Sabemos que la funci on x/(1 x)2
esta asociada a los n
umeros (0, 1, 2, 3, . . . ). Es decir, que su coeciente k-esimo es, justamen-
te, k. Esto lo obtuvimos utilizando la regla 4.
Ahora, con esta nueva regla, resulta que

n
1 x x
= k
1 x (1 x)2 (1 x)3 n=0
k=0
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
Definimos H0 = 0. Queremos encontrar la funci

on generatriz de estos Hn .
Ya sabemos, del ejemplo 10.2.2, que

1 n 1
g(x) = x = log
n 1x
n=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
Regla 7: Eliminar coecientes

Eliminar (esto es, sustituir por 0) algunos coecientes de f (x) es sencillo (vease la nota
al pie de la p
agina 756). En ocasiones es necesario eliminar un conjunto innito de ellos, por
ejemplo los coecientes de ndice par, para quedarnos con los de ndice impar. O quiz as nos
interese rescatar u
nicamente los coecientes cuyos ndices sean, digamos, m ultiplos de 5.
(versi
Veamos el primer caso: f (x) es la funci

on generatriz de una sucesi umeros (an ) y
on de n
queremos quedarnos u
nicamente con los coecientes de ndice par. Si escribimos

n n
f (x) = an x , entonces f (x) = an (x) = an (1)n xn
n=0 n=0 n=0
Observese que si f (x) tiene sentido para un cierto x, es decir, si x esta dentro del radio de
convergencia, entonces x tambien lo estara y tendr
a sentido hablar de f (x). Ahora, como
el lector atento ya habra imaginado, sumamos las dos series:
f (x) + f (x) = (a0 + a1 x + a2 x2 + a3 x3 + ) + (a0 a1 x + a2 x2 a3 x3 + ) .
S
olo sobreviven los terminos de ndice impar (multiplicados por 2), as que

f (x) + f (x)
= an xn = a2k x2k .
2 n par k=0
Ya podemos escribir la regla correspondiente:

f (x) + f (x)
f (x) (an )
n=0 = (a0 , 0, a2 , 0, a4 , 0, a6 , 0, . . . )
2
De manera an aloga, si restamos ambas series, seleccionaremos los terminos de ndice impar
(que apareceran tambien multiplicados por 2), as que
f (x) f (x)
f (x) (an )
n=0 = (0, a1 , 0, a3 , 0, a5 , 0, . . . )
2
Seleccionar los terminos cuyos ndices son m ultiplos de 3 o de 4, o en general de un cierto
entero, es algo mas complicado, y requiere entender esta series de potencias en el contexto
de la variable compleja (vease el ejercicio 10.2.4).
Un asunto algo m as delicado es formar la funci on generatriz g(x) cuyos coecientes son,
digamos, los de ndice par de la f (x) (sin los ceros intermedios). Empecemos, por ejemplo,
con la funci
on generatriz de los numeros de Fibonacci,

x
f (x) = Fn xn = .
1 x x2
n=0
La funci
on generatriz de la sucesion (F0 , 0, F2 , 0, F4 , 0, . . . ) se obtiene como sigue:
1

2n f (x) + f (x) x x x2
g(x) = F2n x = = + = .
n=0
2 2 1 x x2 1 + x x2 1 3x2 + x4
olo aparecen potencias del tipo x2n y, como

Se trata de una serie de potencias en la que s
on de x2 . As que la funci
debe ser, g(x) es, en realidad, una funci on denida a traves de
2
h(x ) = g(x),

x
h(x) = = F2n xn
1 3x + x2
n=0
esta asociada a la sucesion (F0 , F2 , F4 , . . . ). El lector podr
a encontrar la versi
on general de
este procedimiento en el ejercicio 10.2.4.
(versi
10.2. Manipulaci
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

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
(mas adelante, en la subseccion 10.5.2, insistiremos en el uso de las funciones generatrices

para la vericaci
on de identidades).
Ejemplo 10.2.6 La funci on generatriz f (x) est on (an ), y ahora to-
a asociada a la sucesi
mamos g(x) = 1 + x. Queremos describir los coeficientes de la funci
on f (g(x)) = f (1 + x).
Procedemos formalmente, intercambiando los ndices de sumaci
on:

k

k k n k
f (1 + x) = ak (1 + x) = ak x = ak xn .
n n
k=0 k=0 n=0 n=0 k=n
As llegamos a otra nueva regla:

k
f (x) (an )
n=0 = f (1 + x) ak
n n=0
k=n
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
Calculense los coeficientes de la funci

on de la derecha para comprobar que que la suma de los primeros
n cuadrados vale n(n + 1)(2n + 1)/6. Constr uyase tambien el argumento que permite evaluar la suma
de los primeros n cubos.
(versi
10.2. Manipulaci
10.2.3 Considerense las dos funciones

n
n

k xn+1 1
f (x) = x = y g(x) = k xk .
x1
k=0 k=1

Compruebese que g(x) = xf (x). Observese que g(1) = f (1) nos da el valor de la suma de los
n primeros numeros naturales. Calc ulese f (1), derivando directamente en la f
ormula de f (x) (y
aplicando dos veces la regla de LH
opital). Constr uyase un argumento similar para comprobar que la
suma de los primeros n cuadrados vale n(n + 1)(2n + 1)/6.
10.2.4 Selecci on de coeficientes con ndices m ultiplos de un entero. Ya hemos visto que
si f (x) es la funci on generatriz de la sucesi on (an ), entonces g(x) = (f (x) + f (x))/2 genera la
sucesion (a0 , 0, a2 , 0, a4 , 0, a6 , . . . ). Descubriremos en este ejercicio como hallar la funci
on generatriz
de la sucesion en la que s olo aparecen los terminos de ndice m ultiplo de un cierto N , para lo que
usaremos algunas propiedades de las races N -esimas de la unidad.
(a) Compruebese (a mano) que
f (x) + f (ix) + f (x) + f (ix)
g(x) = genera la sucesi
on (a0 , 0, 0, 0, a4, 0, 0, 0, a8 , 0, . . . ).
4
(b) Dado N 2, consideramos las races N -esimas de la unidad, 1, , 2 , . . . , N 1 , con = e2 i/N ,
que cumplen que
N 1
1 j t 0 si t no es m ultiplo de N ;
( ) =
N j=0 1 si t es multiplo de N
(vease la p on (an ), entonces

agina 32). Utilcese esto para comprobar que si f (x) genera la sucesi
N
1
g(x) = f ( j x) genera la sucesi
on (a0 , 0, . . . , 0, aN , 0, . . . , 0, a2N , 0, . . . ).
N j=1
(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!
10.2.6 La funcion x/(1 x x2 ) genera los n

umeros de Fibonacci (Fn ). Utilcese el ejercicio 10.2.4
para comprobar que

x2 x(1 x2 )
F2n x2n = y que F2n+1 x2n+1 =
n=0
1 3x2 + x4 n=0
1 3x2 + x4
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
10.3. Series de potencias y funciones generatrices

La relacion de listas de n
umeros con funciones

(an )
n=0 f (x) = an xn
n=0
es un camino de ida y vuelta. Si tenemos la sucesi

on (an ), nos interesa codicarla con su
funci
on generatriz

f (x) = an xn .
n=0
Se trata de una funci
on, de una serie de potencias, que, a veces, podemos considerar como
un objeto puramente algebraico. El camino de vuelta tambien es relevante: en ocasiones
partiremos de una funci on f (x) que querremos desarrollar (si es que se puede) en serie de
potencias, un desarrollo que ser
a v
alido en un cierto intervalo centrado en el origen.
Nos interesan las dos direcciones. Porque aunque empecemos con (an ) y le asociemos su
funci on generatriz f (x) para tener toda la sucesi on codicada, luego, una vez reconocida
f (x), querremos desarrollarla en serie de potencias para as obtener propiedades (f ormula,
comportamiento asint otico) de los an .
En este proceso resulta muy u til conocer la versi
on analtica de la teora de las series
de potencias, a la que vamos a dedicar esta seccion. Estudiaremos, por un lado, las propie-
dades que tienen las series de potencias en cuanto funciones (subseccion 10.3.1). Por otro,
repasaremos las diversas herramientas de que disponemos para obtener el desarrollo en serie
de potencias de una funci on f (x): empezaremos, en la subseccion 10.3.2, con un recordato-
rio de ciertas cuestiones de representabilidad en serie de potencias. En la subseccion 10.3.3
describiremos el metodo de las fracciones simples, que quizas sea ya familiar al lector, y que
es especialmente u til a la hora de desarrollar funciones racionales. En la subsecci on 10.3.4
nos ocuparemos de la otra gran familia de funciones de interes, la relacionada con la serie
geometrica y el teorema del binomio. Por u ltimo, la subsecci
on 10.3.5 constituira, o al menos
as lo esperamos, un puro divertimento para el lector: se trata de analizar los maravillosos
argumentos que desarroll o Euler para sumar los inversos de los cuadrados.
10.3.1. Series de potencias como funciones

Consideramos la funci
on

f (x) = an xn ,
n=0
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
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
La de la izquierda, la serie arm

onica, diverge. La de la derecha, sin embargo, converge (ob-
tendremos su valor en el ejercicio 10.3.9). Esto es una consecuencia directa del siguiente
resultado sobre series alternadas, que ya hemos utilizado alguna vez en captulos anteriores:
Teorema 10.1 Sea (an ) una sucesi n decreciente de terminos no negativos, a0 a1 0.

o
Si lmn an = 0, entonces la serie n
n=0 (1) an converge. Y el error cometido al truncar
la serie en un cierto termino est
a controlado por el tamano del primer termino despreciado:
t

n
(1) an (1)n an at+1 .
n=0 n=0
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
Si < 1, la serie converge, y diverger a si > 1. De nuevo, = 1 no nos dice nada.

Supongamos que tenemos una serie de potencias n an xn y que conocemos el valor del
lmite del criterio del cociente para la serie numerica asociada n=0 an , Entonces podr
amos
intentar aplicar el criterio del cociente a los n umeros que sumamos en la serie de potencias:

an+1 xn+1 n
= |x| an+1
an xn an |x| .
(versi
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
Una vez calculado el radio de convergencia R, la serie de potencias converge absolutamente

para los valores de x en el intervalo8 |x| < R, diverge si |x| > R; y en |x| = R podemos tener
convergencia y/o divergencia.
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
C. Comportamiento en los extremos del intervalo de convergencia

La serie de potencias n
n=0 an x dene una funci on en el intervalo (R, R), dado por
su radio de convergencia R. Es un intervalo abierto; nada se dice del comportamiento en los
extremos de ese intervalo.

La serie geometrica es un buen ejemplo de ello. n
n=0 x coincide con 1/(1 x) en el
intervalo (1, 1). En x = 1, 1/(1 x) vale 1/2, pero la serie no converge. En x = 1, la
funci
on 1/(1x) no esta denida; pero si nos aproximamos a 1 desde la regi
on de convergencia
(1, 1), tiende a , mientras que la serie tambien diverge a .
Vamos a ver a continuaci
on c
omo la convergencia de la serie numerica que se obtiene al
sustituir x = R (o, analogamente, x = R) en la serie de potencias nos dice que la funcion
esta adecuadamente denida por la serie en ese punto. En realidad, podemos restringirnos al
caso en el que el radio de convergencia es R = 1 y bastara analizar la sustituci
on en x = 1
(el lector podr
a comprobarlo completando los detalles del ejercicios 10.3.7).
Antes de tratar el caso general, estudiaremos el caso particular en los coecientes sean
no negativos, porque es m
as sencillo y tiene peculiaridades interesantes.
7
Es, esencialmente, el criterio de la raz (aunque tambien podramos emplear una versi on con el criterio del
cociente, vease el ejercicio 10.3.2). El smbolo lm sup es el lmite superior de una sucesi
on, una cantidad que,
a diferencia de los lmites ordinarios, siempre existe (aunque cuando el lmite ordinario existe, coincide con el
lmite superior). M as sobre radios de convergencia y comportamiento de los coeficientes, en la secci on 12.3.
8
En la versi
on compleja, la regi on de convergencia no es un intervalo, sino un disco centrado en el origen.
9
El lector sabr
a, sin duda, de las sutilezas que encierra la noci on de convergencia uniforme.
(versi
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
En este caso, el analisis de la convergencia es directo, porque si |x| < 1,

|an xn | < |an | < + .
n=0 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
porque en la segunda suma multiplicamos cada termino (positivo) por el xn correspondiente,

que es siempre < 1. Ademas, f (x) es una funcion que crece con x. As que existir
a el lmite
cuando x 1 y cumplir
a que

an lm f (x) .
x1
n=0
10
El resultado que aqu vamos a obtener aqu (caso de coeficientes no negativos) es tambien cierto incluso
si la serie numerica diverge a + (vease el lema 11.2).
(versi
Por otra parte, como todos los terminos son positivos,

N
N

n n
lm f (x) = lm an x lm an x = an .
x1 x1 x1
n=0 n=0 n=0
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
C.2) El Lema de Abel

La continuidad vista anteriormente es general; este es el contenido
del siguiente resultado11 , que ennoblecemos con el nombre de Abel12 :
n
Lema 10.2 (Abel) Si la serie de potencias f(x) = n=0 an x tiene
radio de convergencia 1 y la serie numerica n=0 an converge, entonces

lm f (x) = an .
x1
n=0
Dejamos la demostracion como ejercicio para el lector (vease el ejerci-

cio 10.3.6) y nos dedicamos a ilustrarlo con la siguiente aplicaci
on.
1 Figura 10.1: Abel
Ejemplo 10.3.1 Calculemos el valor de la serie n=1 n (n+1) .
El metodo habitual de c
alculo parte de la siguiente observaci
on:
1 1 1
= para cada n 1,
n (n + 1) n n+1

11

Que conviene poner en perspectiva. Abel estaba interesado en dar sentido a sumas del tipo n an mediante
el lmx1 n an xn . Si este u
ltimo lmite existe, se dice que la serie original es sumable Abel. Este metodo de
sumaci
on permite, por ejemplo, decidir que n (1)n (una serie en principio divergente) se pueda interpretar
como lmx1 n (1)n xn = lmx1 1/(1 + x) = 1/2. Lo que el lema 10.2 asegura es que si

n an ya es

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
que nos basta para obtener el resultado deseado:

N
1 1 1 1 1 1 1 1
= lm = lm 1 + + +
n (n + 1) N n n+1 N 2 2 3 N N +1
n=1 n=1

1
= lm 1 = 1.
N N +1
El enfoque alternativo, que utiliza funciones generatrices, comienza escribiendo

1 x2 x3 x4
(x) = xn+1 = + + + ,
n (n + 1) 12 23 34
n=1
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
olo queda, y es un ejercicio sencillo de Calculo, obtener el lmite cuando x 1 de (x) =

S
(1 x) log(1 x) + x; ese lmite resulta valer 1.
10.3.2. Funciones como series de potencias

Una funci on f (x) denida e innitamente derivable en un intervalo (D, D) alrededor del
origen se dice representable en serie de potencias (en un intervalo (E, E), no necesariamente
el anterior) si

f (x) = an xn para todo x (E, E).
n=0
Como la serie converge en (E, E), el radio de convergencia R sera E. Derivando termino
a termino, obtenemos que
f (n) (0)
an = ,
n!
as que la serie de potencias es, precisamente, la serie de Taylor de f (x) en el 0. La represen-
tacion, si es valida, es u
nica.
(versi
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
Ahora bien, el radio de convergencia de esta serie es R = 1. Cu al es la razon por la que

la serie representa a una funci on tan magnca como f (x) s
olo en el intervalo (1, 1)? De
nuevo, la respuesta hay que buscarla en los n umeros complejos. El denominador de f (x) se
anula en i y i, as que, vista como una funci
on compleja, la serie de potencias converge en
el disco de radio 1.
2
Mas sorprendente es el caso de la funcion f (x) = e1/x si x = 0 y f (0) = 0. El lec-
tor podr a comprobar que f (n) (0) = 0 para todo n, as que la serie de Taylor asociada es
identicamente nula. Y claro, solo representa a f (x) en x = 0. En la terminologa de antes,
D = R = (la funci on es innitamente derivable en todo x, y la serie de Taylor converge
para todo x), pero E = 0 (la serie de Taylor solo representa a la funci
on en x = 0).
As que hay que exigirle mas a la funci
on. Por ejemplo, condiciones sobre el tama no de la
funcion y sus derivadas. Una ilustracion de esto es lo siguiente: si existe una constante A > 0
tal que |f (n) (x)| An para todo n y para todo x en un cierto entorno de x = 0, entonces la
serie de Taylor representa a la funcion en ese entorno.
Afortunadamente, en la pr actica nuestras funciones ser
an cocientes de polinomios, o va-
riaciones sobre series de potencias ya conocidas, y las cuestiones de representabilidad seran
sencillas. Por ejemplo, un resultado que utilizaremos (implcitamente) en muchas ocasiones
es el siguiente:
Teorema 10.3 Si f (x) es representable en serie de potencias en (R, R) y f (0) = 0, enton-

on 1/f (x) es representable en serie de potencias en un cierto intervalo (R , R ).
ces la funci
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
10.3.3. Desarrollo en serie de potencias de cocientes de polinomios

En muchas ocasiones nos enfrentaremos con el problema de obtener la serie de potencias
asociada a un cociente de polinomios
P (x) 1
= P (x) .
Q(x) Q(x)
El que esta funci

on es representable en serie de potencias es justo lo que acabamos de ver.
Lo que nos interesa ahora es c
omo obtener ese desarrollo.
En realidad, podramos limitarnos a desarrollar 1/Q(x). Una vez hecho, multiplicarla por
P (x) no consistir
a mas que en aplicar, las veces que sea necesario, las reglas de manipulacion
de funciones generatrices (suma de funciones, desplazamiento de coecientes, multiplicaci on
por constantes) que aprendimos en la seccion 10.2.
Pero claro, tenemos el Teorema Fundamental del Algebra (teorema 4.44), que nos dice
que si el polinomio Q(x) tiene grado k, entonces podemos escribir que
1 C
= ,
Q(x) (x 1 ) 1 (x t )rt
r
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
(donde convergen estas series de potencias?). Como veremos en la subseccion siguiente,

todas estas series son miembros de una familia mucho mas numerosa.
Vista la versatilidad de la serie basica, observamos que si consiguieramos reescribir la
expresion que obtuvimos antes para 1/Q(x) como una suma de terminos del tipo
1 1 1
, o bien , o quiz
as , etc.,
(x j ) (x j )2 (x j )3
incluso permitiendo la presencia de terminos polin omicos en el numerador, el calculo de la

serie de potencias de 1/Q(x) sera sencillo. Esto es lo que justica el metodo de fracciones
simples que pasamos a explicar.
(versi
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
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 .
Comparando con 1 x llegamos a que los n umeros A, B, C1 y C2 son soluci

on del siguiente
sistema de ecuaciones:

iA iB C1 = 0 ,

(1 2i)A + (1 + 2i)B + C + C = 0 ,
1 2

(i 2)A (i + 2)B C1 = 1 ,

A + B + C1 + C2 = 1 .
Esto es,
1+i 1i 1
A= , B= , C1 = , D = 1 .
4 4 2
(versi
Ahora ya podemos escribir nuestra funci

on f (x) de una forma adecuada:
1+i 1 1i 1 1 1 1
f (x) = 3 x + + .
4 1 ix 4 1 + ix 2 1 x (1 x)2
Finalmente, utilizamos la serie geometrica (y familia) para desarrollar en serie de potencias:

1+i n 1i n 1 n+1
f (x) = 3 x + i + (i) xn
4 4 2 1
n=0
n
in+1 3
i n
= 3 x + 1 + (1) + 1 (1) n xn .
n
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.
10.3.4. La serie geom

etrica y la familia bin
omica
La familia de la serie geometrica es mas numerosa de lo que uno sospechara. Veamos,
por ejemplo, lo que nos dice la f
ormula del binomio:

m m n m(m 1) (m n + 1) n
(1 + x) = x = x .
n n!
n=0 n=0
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
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
Tras unas sencillas manipulaciones, deducimos que

1 1 4x 1 2n n
= x .
2x n+1 n
n=0
As que la funci
on de la izquierda genera una sucesion de n
umeros que son ya viejos conocidos,
los numeros de Catalan, sobre cuyas interpretaciones combinatorias nos extendimos en el
ejemplo 2.3.3 y cuya expresi on explcita ya habamos obtenido en el ejemplo 3.1.3.
Ejemplo 10.3.4 Las funciones trigonometricas inversas.
Sorprendentemente, la f ormula del binomio nos permite hallar los desarrollo en serie potencias
de inversas de funciones trigonometricas, como por ejemplo el arcoseno. La clave es que su
derivada es
d 1
arcsin(x) = .
dx 1 x2
Desarrollemos entonces la funcion de la derecha con el teorema del binomio; para ello, calcu-
lemos primero

1/2 (1/2) (1/2 1) (1/2 2) (1/2 n + 1)
=
n n!
(1/2) (3/2) (5/2) (1 2n)/2 (1)n 1 3 5 (2n 1)
= = .
n! 2n n!
Con esto, y utilizando que 2n n! = 2 4 6 2n,

1 1/2 1 1 3 5 (2n 1) 2n
= (1)n x2n = 1 + x
1 x2 n 2n n!
n=0 n=1

1 (2n)! 2n (2n)! 1 2n 2n 1 2n
= 1+ x =1+ x = x .
n=1
2n n! 2 4 6 2n n=1
2n n! 2n n! n=0
n 22n
Ahora queremos integrar esta serie. Con ayuda de la Regla 5 de la secci
on 10.2, mas la
observaci
on de que arcsin(0) = 0 (que nos permite jar el valor del primer coeciente),
obtenemos que

1 2n 1
arcsin(x) = x2n+1 .
22n n 2n + 1
n=0
De la misma manera se pueden obtener los desarrollos del arcocoseno (aunque bastara aplicar
que arc cos(x) = /2 arcsin(x)) y de la arcotangente (vease el ejercicio 10.3.10).
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
Si f (x) = (1 + x) , se comprueba sin dicultad que, para cada n,

f (n) (0) ( 1)( 2) ( n + 1)
= ,
n! n!
as que los coecientes tiene la forma que proponamos en el enunciado del teorema 10.4.
Para probar el resultado deberamos comprobar que el resto (del que se puede obtener una
on) tiende a 0 cuando n .
expresion explcita en terminos de la funci
Sin embargo, ese no es el enfoque que adoptaremos aqu14 . Nuestra estrategia sera la
siguiente: argumentaremos como si supieramos que la funci on (1 + x) se puede desarrollar
en serie de potencias, para comprobar que esta ha de tener una forma especca. El paso nal
consistira en probar algunas propiedades de la serie que obtendremos que nos permitir an
deducir que, efectivamente, coincide con la funci on (1 + x) (en la regi
on adecuada).
Empecemos descubriendo la expresion que deberan tener los coecientes de la serie, de
la manera en la que lo habra hecho Newton, utilizando el metodo de los los coecientes
indeterminados. Esto supone escribir, para R,

(1 + x) = cn xn ,
n=0
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
As que, igualando coecientes, obtenemos que

c+1
n = cn + cn1 si n 1.
Es decir, obtenemos una ley de recurrencia (por cierto, la misma que en el caso de los
coecientes binomicos) que nos permite obtener la sucesion (c+1
n ) a partir de (cn ).
Cuando = m, con m un entero positivo, adem as de que cm m
0 = 1, sabemos que cm = 1;
y esto basta, va la construcci angulo de Tartaglia, para conocer la forma de los cm
on del tri n.

Pero en el caso general solo tenemos que c0 = 1. As que debemos intentar algo m as. La
identidad
d
(1 + x) = (1 + x)1 (1 + x) = (1 + x) (1 + x) ,
dx
traducida a la serie (insistimos en que por ahora son c
alculos formales), nos da

cn xn = (1 + x) n cn xn1 = (n + 1)cn+1 xn + n cn xn .
n=0 n=1 n=0 n=1
14
Vease, por ejemplo, en el texto An
alisis Matem atico, T.M. Apostol, Ed. Reverte, una discusi
on de la
convergencia de la serie bin
omica estimando el resto.
(versi
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
para obtener la siguiente ecuaci

on diferencial para B :
B (x) = B (x) xB (x) = B (x)(1 + x) = B (x) .
Utilizando esta identidad, deducimos que

B (x) B (x)(1 + x) B (x)(1 + x)1
= = 0.
(1 + x) (1 + x)2
As que
B (x) = (constante) (1 + x) .
Pero como B (0) = 1, podemos concluir, nalmente, que
B (x) = (1 + x)
para 1 < x < 1, como queramos demostrar.
(versi
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
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
Ya estamos cerca: solo queda observar que

1 1

1 1 1 1 1 1
2
= 2
+ 2
= 2
+ 2
= 2
+ ,
n n par
n n (2k) (2k + 1) 4 k (2k + 1)2
n=1 n impar k=1 k=0 k=1 k=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
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
Si mantenemos nuestra fe en la validez de estos argumentos, podemos desarrollar el producto

innito en serie de potencias e igualarlo a la expresi
on original de P (x), para obtener que
2 4 5

x x x 1 1 1 1
1 + + = 1 + + + + x2 +
3! 5! 6! 2 4 2 9 2 16 2
olo resta igualar los coecientes de x2 para obtener18 nalmente que
Y ahora s

1 1 1 1 1 1 2
= 2 1+ + + + = = .
3! 4 9 16 k2 6
k=1
Aun dara Euler una tercera prueba, que mostramos con cierto detalle en el ejercicio
110.3.13.
o explotando estas ideas para obtener los valores de las series del tipo k=1 kp , para
Y sigui
valores pares de p. As, por ejemplo19 ,

1 4 1 6 1 8 1 10
= , = , = , = .
k4 90 k6 945 k8 9450 k10 93555
k=1 k=1 k=1 k=1
17
Esto dista de ser un detalle trivial. Euler saba que la factorizaci
on usando los ceros era correcta, en
particular, para sen(x)/x. Pero esto no es un hecho general. Por ejemplo, la funci on ex sen(x)/x tiene los
mismos ceros y no coincide con el producto infinito.
18
El mismo argumento permite obtener la f ormula de Wallis (que hemos visto con detalle en la sub-
secci
on 2.4.4), al menos en la version en la que el propio Wallis la escriba. Si el lector eval
ua la funci
on
P (x) = sin(x)/x en x = /2, podra obtener, tras unas cuantas manipulaciones, que
2 13 35 57 79
=
22 42 62 82
(comp arese con las expresiones de la subsecci on 2.4.4).
19
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
10.3
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
10.3.3 Sea (an ) una sucesi

on de n umeros que cumplen que |an | C M n , donde C y M son ciertas

constantes positivas. Compruebese que la serie de potencias n=0 an xn tiene un radio de convergen-
cia R 1/M .
10.3.4 Utilcese un argumento similar al del ejemplo 10.3.1 para comprobar que

1
= 1, donde (Fn ) es la sucesi
on de Fibonacci.
F F
n=2 n1 n+1
10.3.5 Sea (a0 , a1 , a2 , a3 , . . . ) una cierta sucesi

on de numeros reales para la que lmn an = L.
(a) Consideremos, en primer lugar, las sucesiones (yn ) y ( yn ) dadas, para cada n 0, por
n n
1 1 n
yn = ak e yn = n ak .
n+1 2 k
k=0 k=0
Observese que la primera es la sucesi

on de las medias aritmeticas, y la segunda, la sucesi
on de lo que
llamaramos las medias binomicas. Compruebese que el lmite de ambas sucesiones es L.
(b) Mas generalmente,
n consideremos unos n umeros Mn,k positivos que cumplen que (1) Mn,k = 0 si
k > n; (2) k=0 Mn,k = 1 para cada n; y (3) lmn Mn,k = 0 para cada k. Demuestrese que la
sucesi
on

yn = Mn,k ak tiende a L cuando n .
k=0
(c) Ahora, dos promedios con claro sabor probabilstico. Consideramos

k
y(p) = p(1 p)k ak e y() = e ak ,
k!
k=0 k=0
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
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!
10.3.9 Utilcese el apartado a) del ejercicio anterior para comprobar que

1 (1)n+1
= log(2) = .
n=1
n 2n n=1
n
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
10.3.11 Pruebese que

(1)n+1 2
= .
n=1
n2 12
(versi
10.3.12 Obtengase el desarrollo de (1 x)m/2 , con m entero.

10.3.13 Otra demostracion de Euler de que 1 2
n=1 n2 /6. Partimos del siguiente polinomio
de grado m:
m

2m + 1
Pm (x) = (1)j xmj .
2j + 1
j=0
Utilizando la f
ormula de de Moivre (p
agina 28) y la f
ormula del binomio, se comprueba que
ei (2m+1) = cos((2m + 1)) + i sin((2m + 1)) ,

2m + 1
2m+1
i (2m+1) 2m+1
e = (cos + i sin ) = (cos )2m+1k (sin )k ik .
k
k=0
(a) Comp
arense las partes imaginarias de las dos f
ormulas anteriores para deducir que
sin((2m + 1)) = (sin )2m+1 Pm (cot2 ) .
(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
uzcase, a partir del coeficiente de xm1 de Pm (x), que

(d) Ded
m m
2 k m (2m 1)
rk = cot = .
2m + 1 3
k=1 k=1
(e) Ahora vamos a utilizar las dos siguientes estimaciones de tama

no de la funci
on cotan-
gente. Por un lado,
1
cot < (si (0, /2)).

Por otro, como sin < si (0, /2), se tiene que
cos2 1 1
cot2 = 2 = 2 1 > 2 1 (si (0, /2)).
sin sin
Utilcense estas dos estimaciones en la identidad del apartado anterior para deducir que
m
2 2m (2m 1) 1 2 4 m(m + 1)
< < .
6 (2m + 1)2 k2 6 (2m + 1)2
k=1
(g) Por ultimo, pasese al lmite m en las desigualdades del apartado anterior para
obtener el resultado deseado.
(versi
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
El lector que se encuentre comodo con la notaci

on de los sumatorios puede hacer todo
este proceso manipulando las series directamente:

f (x) = Fn xn = F0 + F1 x + Fn xn = F0 + F1 x + (Fn1 + Fn2 ) xn
n=0 n=2 n=2

= F0 + F1 x + Fn1 xn + Fn2 xn = F0 + F1 x + x Fn1 xn1 + x2 Fn2 xn2
n=2 n=2 n=2 n=2

= F0 + F1 x + x Fn xn + x2 Fn xn = F0 + F1 x + x [f (x) F0 ] + x2 f (x)
n=1 n=0
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
on es valida, en principio, en |x| < 1/ ).

(esta expresi
Sigamos. Lo que nos interesan son los coecientes de f (x), esto es, los n
umeros de Fibo-
nacci Fn . Est
an ah, encerrados en las tripas de la funci 2
on x/(1xx ). S
olo hay que sacarlos
a la luz, desarrollando la funcion en serie de potencias. Ahora sabemos hacerlo, aplicando el
metodo de fracciones simples. La ecuacion 1 x x2 = 0 tiene dos races,

51 51
= y = ,
2 2
de forma que
1 x x2 = (x )(x )
(cuidado con los signos). Y podremos escribir
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
De esta expresion, y utilizando los valores de y , leemos directamente el valor de los

coecientes:
5 1+ 5 n 5 1 5 n
Fn = ,
5 2 5 2
la f
ormula de Binet que ya conocamos (vease el ejemplo 6.2.1).
(versi
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
Si ahora utilizamos el teorema del binomio, podremos desarrollar el parentesis interior:

$ k %
$ k %
x k k
= x xkl (x2 )l = x xk+l
1 x x2 l l
k=0 l=0 k=0 l=0
$ % $ n %
k n l

= x xn = xn+1 .
l l
n=0 lk n=0 l=0
l+k =n
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
expresion que ya obtuvimos, por ejemplo, en la subsecci

on 6.3.5.
Los mismos argumentos que hemos utilizado aqu se aplican a cualquier ecuaci on lineal
homogenea, con coecientes constantes y grado k. Subamos el grado de dicultad: una ecua-
cion de recurrencia lineal y con coecientes constantes, pero con un termino no homogeneo.
Ejemplo 10.4.2 Queremos hallar la sucesi umeros (an ) que verifica que a0 = 0,
on de n
a1 = 1 y an = an1 + an2 + n si n 2.
on f (x) que genera los (an ) y traducimos la informaci
Construimos la funci on que tenemos
sobre estos n
umeros en una ecuaci
on sobre f (x):

n n1 2 n2
f (x) = a0 + a1 x + (an1 + an2 + n)x = x + x an1 x +x an2 x + nxn
n=2 n=2 n=2 n=2

1
= x + x f (x) + x2 f (x) + x .
(1 x)2
Hemos utilizado aqu que conocemos bien la funci on asociada a la sucesion cuyo coeciente
n-esimo es, precisamente, n. Ya tenemos la ecuacion para f (x),
1
f (x) = x f (x) + x2 f (x) + ,
(1 x)2
de la que obtenemos que
1
f (x) = .
(1 x)2 (1 x x2 )
Los coecientes de esta funcion se pueden obtener desarrollando en serie de potencias, utili-
zando fracciones simples, ejercicio que dejamos al lector.
(versi
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!
Como siempre, empezamos introduciendo la funcion generatriz f (x) asociada a la sucesion:

f (x) = an xn .
n=0
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 .
Esta es una ecuaci on general viene dada20 por

on diferencial para f (x), cuya soluci
f (x) = C e3x e2x ,
donde C es una constante. El que a0 = 1 exige que f (0) = 1; y con esta informaci
on extra
podemos concluir que
f (x) = 2 e3x e2x .
Desarrollar esta funci umeros an , es sencillo:
on en serie de potencias, y con ello, obtener los n

3n 2n
f (x) = 2 xn xn ,
n=0
n! n=0
n!
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
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
junto con la condici

on inicial M1 = 1.
Considerese la funcion generatriz M (x) asociada a la sucesion (Mn ). Utilizamos la condicion
inicial y la ecuaci
on de recurrencia para escribir que

n1

n1

M (x) = Mn xn = x + 1+ (n j)Mj xn = x + xn + (n j)Mj xn
n=1 n=2 j=1 n=2 n=2 j=1

x2 x
=x+ + Mj (n j)xn = + Mj xj (n j)xnj
1x 1x
j=1 n=j+1 j=1 n=j+1

x j k x x x x
= + Mj x kx = + Mj xj = + M (x) ,
1x 1 x (1 x)2 1 x (1 x)2
j=1 k=1 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
ltima suma entre parentesis es el coeciente n-esimo de la funcion C 2 (x).

pues la u
(versi
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
El caso n = 0 es especial: f0 (x) = C(0, 0) = 1. Para n 1,

k
fn (x) = C(n, k) x = C(n, 0) + C(n 1, k 1) + C(n 1, k) xk
k=0 k=1

k1
= 1+x C(n 1, k 1) x + C(n 1, k) xk
k=1 k=1

= 1+x C(n 1, j) xj + C(n 1, k) xk C(n 1, 0) ,
j=0 k=0
de donde obtenemos una ecuacion de recurrencia para las funciones fn (x):

fn (x) = (1 + x) fn1 (x) para cada n 1.
Si ahora iteramos esta relacion hasta llegar al valor inicial, f0 (x), obtenemos que
fn (x) = (1 + x)n .
Y utilizando la f
ormula del binomio, obtenemos la expresion habitual de los C(n, k).
(versi
Aunque tambien podramos considerar, para cada k fijo, la siguiente funci

on generatriz:

gk (x) = C(n, k) xn .
n=0
De nuevo, el caso k = 0 es especial:

1
g0 (x) = C(n, 0) xn = xn = .
n=0 n=0
1x
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
Parece que hemos obtenido el mismo resultado, pero jemonos en que

n n n n n
fn (x) = (1 + x) , , ,..., , 0, 0, . . . ,
0 1 2 n
mientras que

xk k k+1 k+2
gk (x) = 0, 0, . . . , 0, , , ,... ,
(1 x)k+1 k k k
Para cada n jo, fn (x) codica los coecientes binomicos de un piso del tri angulo de
umero nito de coecientes). Para k jo, gk (x) contiene los de
Tartaglia (en realidad, un n
una diagonal (por eso es una verdadera sucesi
on innita de n
umeros).
(versi
En un alarde de valenta y entusiasmo, podemos intentar un tercer enfoque. Se trata de

codicar todos los coecientes binomicos a la vez, aunque para ello necesitaremos recurrir a
un objeto mas general, como es una funcion de dos variables, digamos x e y:

F (x, y) = C(n, k) xn y k .
n=0 k=0
Para obtener una expresi on manejable de esta funcion, utilizamos de nuevo la informacion
sobre los C(n, k), separando los casos en que los ndices valgan 0:

k n
F (x, y) = C(0, k) y + C(n, 0) x + C(n, k) xn y k
k=0 n=1 n=1 k=1

1 n k
= 1+ 1 + C(n 1, k 1) x y + C(n 1, k) xn y k
1x
n,k=1 n,k=1

1
= +xy C(n, k) xn y k + x C(n, k) xn y k
1x
n,k=0 n=0 k=1

1 1
= + x y F (x, y) + x F (x, y) ,
1x 1x
de donde, despejando,
1
F (x, y) = .
1 x xy
Para desarrollarla en serie, aprovechamos que es una serie geometrica (y luego utilizamos el
teorema del binomio):
n n
1 n n n n n k n n k
= (x + xy) = x (1 + y) = x y = x y ,
1 x xy k k
n=0 n=0 n=0 k=0 n=0 k=0

de donde, por comparaci on, deducimos que C(n, k) = nk . El uso de funciones generatrices
en dos variables es muy util en ciertos contextos (vease, por ejemplo, el captulo 13).
C. Dos sucesiones, un par

ametro (sistemas de ecuaciones)
Veamos por u ltimo c
omo se manejan, con funciones generatrices, sistemas de ecua-
ciones de recurrencia. El metodo que seguiremos es analogo al utilizado para una u nica
ecuaci on. Ahora necesitaremos una funci on generatriz por cada sucesion de numeros de in-
teres, y el sistema de ecuaciones de recurrencia se transformara en un sistema de ecuaciones
para esas funciones generatrices. Al resolverlo obtendremos las expresiones de las funciones,
para, nalmente, desarrollar en serie cada una de ellas. Lo vemos en un ejemplo.
Ejemplo 10.4.6 Queremos encontrar las sucesiones (an ) y (bn ) que verifican que

an = 3 an1 + bn1 ,
para cada n 1,
bn = 2 an1 + bn1 ,
junto con las condiciones iniciales a0 = 1, b0 = 1.
(versi
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
Procediendo de manera an aloga con la segunda ecuaci

on, llegamos a que las funciones gene-
ratrices verican el sistema de ecuaciones siguiente:

A(x)(1 3x) = 1 + xB(x) ,
B(x)(1 x) = 2x A(x)
(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
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
10.4.3 Considerense las dos siguientes sucesiones de n

umeros:

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
(a) Pruebese, utilizando la ecuaci

on de recurrencia que verifican los numeros de Stirling de segunda
especie, S(n, k) = S(n 1, k 1) + kS(n 1, k), que
x
F1 (x) = y Fk (x) = x Fk1 (x) + k x Fk (x) si k 2.
1x
(b) Resuelvase la recurrencia y, utilizando fracciones simples, verifquese que
k
k
1 j kj j k1
Fk (x) = xk = xk , donde j = (1) .
j=1
1 jx j=1
1 jx (j 1)! (k j)!
(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
En lugar de seguir el procedimiento del ejercicio anterior, vamos a considerar la funci

on

mn m
Tn (x) = x .
m=1
m!
(versi
(a) Utilcese la identidad

k
k
kn = j! S(n, j)
j=1
j
(vease el ejemplo 3.3.3) para demostrar que
Tn (x) = Gn (x) ex .
(b) As que Gn (x) = ex Tn (x) (curioso!, el producto de dos series infinitas como ex y Tn (x) resulta
ser un polinomio). Utilcese esta relaci
on para obtener la f
ormula para los S(n, k) del ejercicio 10.4.5.
(c) El numero de Bell B(n),
n

B(n) = S(n, k) para cada n 1,
k=1
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!
10.4.8 Consideremos los n

umeros de Bell ordenados:
n

B(0)
= 1 y B(n) = S(n, k) k! para cada n 1.
k=1
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
(a) Compruebese que, si llamamos

B(n) n
B(x) = x ,
n=0
n!
entonces

ex B(x)
= 2B(x) 1.
(b) As que
1
B(x) = .
2 ex
Desarr
ollese en serie de potencias esta funci
on para obtener la siguiente f
ormula a la Dobinski:

jn
B(n) = .
j=0
2j+1
(versi
10.5. Otras aplicaciones

La utilidad de las funciones generatrices no se limita a la resoluci on de ecuaciones de
recurrencia. Se prestan tambien al calculo de sumas (ya hemos visto alg un ejemplo de ello),
al de medias, desviaciones estandar (en general, momentos de una sucesi on de n
umeros;
estos calculos los veremos en detalle, y con el lenguaje probabilstico correspondiente, en el
captulo 11); e incluso permiten entender de otra manera el principio de inclusi on/exclusi
on
(y versiones mas generales de el). Veamoslo.
10.5.1. etodo curalotodo

El m
En p aginas anteriores hemos conseguido calcular el valor de diversas sumas. En ocasiones,
utilizando las reglas de manipulaci on de funciones generatrices (veanse algunos ejemplos de
la seccion 10.2); en otras, evaluando ciertas funciones generatrices en x = 1, quiz
as apelando
al Lema de Abel (veanse, por ejemplo, varios ejercicios de la seccion 10.3).
Lo que vamos a proponer aqu es un procedimiento mecanico para obtener el valor de
sumas del tipo
an = bkn .
k
Para no perder generalidad, admitimos que los n umeros bkn puedan ser expresiones depen-
dientes del ndice de sumacion k, e incluso de n. Tampoco jamos a priori los lmites de
sumacion, que podran depender de n.
El paso clave del metodo que a continuaci
on presentamos, y al que nos referiremos como
el m etodo curalotodo21 , es el intercambio en el orden de sumaci on, que por cierto hemos
empleado ya en varias ocasiones en paginas anteriores. Este procedimiento, una gua ordenada
de como utilizar todas nuestras habilidades con las funciones generatrices para la evaluacion
de sumas, consta de los siguientes pasos:
1. Empezamos,
on (an ) con una funci
por supuesto, codicando la sucesi on generatriz,
f (x) = n an x .n
n
2. Funcion que reescribimos como f (x) = n k bkn x .
3. Con las precauciones que cada caso requiera, procedemos a intercambiar el orden de
sumacion:
f (x) = bkn xn .
k n
4. Identicamos la serie de potencias interior y obtenemos una funci

on (que quiz
as dependa
de k) que llamamos gk (x):
f (x) = gk (x).
k
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
10.5. Otras aplicaciones 797
Veamoslo en accion en un primer ejemplo sencillo.

n
Ejemplo 10.5.1 Calculemos de nuevo la conocida suma an = k=0 k.
Empezamos con

n
n
f (x) = an x = k xn .
n=0 n=0 k=0
on. Estamos sumando primero en k, con 0 k n,

Ahora intercambiamos el orden de sumaci
y luego en n, con 0 n . Al cambiar el orden, sumaremos primero en n (y, por tanto,
a cumplir que k n ) y luego en k, con 0 k . El resto son
el ndice n deber
manipulaciones bien conocidas:

1 k
f (x) = k xn = k xk xnk = k xk xn = kx .
1x
k=0 n=k k=0 n=k k=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
Ya tenemos una expresion explcita de f (x), que desarrollamos serie de potencias:

x n + 3 1 n n + 2 n+1 k + 1 k k + 1 k
=x x = x = x = x .
(1 x)3 31 2 2 2
n=0 n=0 k=1 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
Observemos que la suma llega, en realidad, hasta k = n. Seguimos el procedimiento habitual:

n

n n+k nk n k n+k
f (x) = an x = 2 x = 2 (2x)n .
2k 2k
n=0 n=0 k=0 k=0 n=k
Queremos estimar la suma en n; si el coeciente binomico tuviera 2k arriba, casi lo tendramos,

porque conocemos el siguiente desarrollo (recordemos el ejemplo 10.1.1):

1 n + 2k
= (2x)n .
(1 2 x)2 k+1 n=0 2k
(versi
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
Identicando los coecientes de f (x) como los an , terminamos:

2 n 1 22n+1 + 1
an = 4 + = .
3 3 3
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
Ejemplo 10.5.4 Otra identidad para los n

umeros de Fibonacci:
n
nk k
n
Fn+1 = = para cada n 0.
k nk
k=0 k=0
La identidad de la izquierda la obtuvimos, con argumentos combinatorios, en la subsec-

cion 6.3.5; y ya con funciones generatrices, en el ejemplo 10.4.1. Si el lector escribe con
detalle las dos sumas de la derecha, comprobara que efectivamente estamos sumando los mis-
mos coecientes binomicos, aunque en distinto orden. Para abordar la cuesti
on con funciones
generatrices, recordamos ahora dos series ya conocidas que apareceran durante los c alculos:

xk k m+k m j j k k
k+1
= x x = x y (1 + x) = xj .
(1 x) k k j
m=0 j=0 j=0
Las sumas las abordamos con el metodo curalotodo. Para la primera,

nk n k nk nk k m m
f (x) = x = x x = x x
n=0 k=0
k k m=0
k
k=0 n=k k=0
k
xk 1 x2 1 1 1
= xk = = = .
(1 x)k+1 1x 1x 1 x 1 x2 /(1 x) 1 x x2
k=0 k=0
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
As que las tres cantidades son, despues de todo, la misma.
10.5.3. Funciones generatrices y principio de inclusi

on/exclusi
on
El objeto de esta subseccion es aplicar las herramientas de las funciones generatrices para
responder a cuestiones que van algo m as alla de nuestro bien conocido principio de inclu-
sion/exclusi
on, que luego aplicaremos al estudio de objetos familiares, como los desbarajustes
o las aplicaciones sobreyectivas. La herramienta basica que emplearemos sera la sustituci on
de unas series de potencias en otras, que describamos en la regla 8 de la seccion 10.2.
Planteemos ya la cuestion que nos interesa: tenemos un conjunto X nito y una serie de
subconjuntos suyos, digamos A1 , A2 , . . . , An . Para jar ideas, identiquemos cada subcon-
junto con una cierta propiedad. Esto es,
Ak = {x X : x cumple la propiedad k} para cada k = 1, 2, . . . , n.
La pregunta a la que responde el principio de inclusi
on/exclusi
on habitual es
antos elementos de X cumplen al menos una de esas propiedades?

Pregunta 1 Cu
(versi
La respuesta es bien conocida: hemos de hallar el tama on de los Ak :

no de la uni
n

|A1 A2 An | = (1)r+1 r ,
r=1
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:
antos elementos de X cumplen exactamente t de esas propiedades?

Pregunta 2 Cu
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
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
Argumentando de la misma manera para el resto de los elementos, obtenemos que

t
2 = |Ai Aj | = t .
t=0
2
i=j
El argumento general nos lleva a la relaci

on

t
r = t para cada r = 0, 1, 2 . . . , n,
r
t=0
que nos permite conocer la sucesion (r ) si es que disponemos de los n umeros (t ). N

otese
que, en realidad, los lmites de la suma son mas peque
nos, tanto el inferior (empieza en t = r,
por el coeciente bin omico) como el superior (porque los t se anulan a partir de n).
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
Como B(x) genera la sucesion (t ), aplicando la regla 8 de la secci

on 10.2, deducimos que

t
B(1 + x) = t xr = A(x) ,
r=0 t=0
r
pues los coecientes son, justamente, los r . Hemos codicado as las relaciones entre las
sucesiones (r ) y (t ) con una u
nica relacion funcional entre sus funciones generatrices A(x)
y B(x). Ahora invertimos esta relaci on funcional,
B(x) = A(x 1) ,
y recogemos los frutos:

B(x) = t xt = A(x 1) = r (x 1)r = r (1)r (1 x)r
t=0 r=0 r=0

r r r
= r (1) (x)t = (1)r+t r xt .
t t
r=0 t=0 t=0 r=0
Ya tenemos la expresion que busc

abamos:

r
t = (1)rt r para cada t = 0, 1, 2, . . . , n.
r=0
t
(versi
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
Ar = {permutaciones de {1, . . . , n} con el smbolo r en la posici

on r-esima} .
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
umero de desbarajustes de {1, . . . , n} es

lo que nos permite concluir que el n
n
& n n
(1)r

Dn = X \ Ar = (1)r r = n! .
r!
r=1 r=0 r=0
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
Pero nuestro analisis da respuesta a preguntas m as complicadas. Por ejemplo, el n

umero de
permutaciones de {1, . . . , n} que jan exactamente t smbolos es, en nuestro lenguaje, t . Si
t > n, no hay tales permutaciones; en el resto de los casos, cuando 0 t n,

rt r rt n r
t = (1) r = (1) (n r)!
r=0
t r=0
r t
n n
r! n! n! r n! (1)rt
= (1)rt (n r)! = s (1)rt =
t!(r t)! r!(n r)! r! t t! r=t (r t)!
r=0 r=0
(el caso t = 0 se corresponde con los desbarajustes).

Si simplicamos un poco esta expresi
on, recuperamos una identidad ya conocida:
n n nt
n! (1)rt n (1)rt n (1)m n
t = = (n t)! = (n t)! = Dnt .
t! r=t (r t)! t r=t
(r t)! t m! t
m=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
Ejemplo 10.5.6 Sobre aplicaciones y n

umeros de Stirling.
Sea A el conjunto de las kn aplicaciones entre los conjuntos X = {1, . . . , n} y Y = {1, . . . , k}.
Denimos
Ar = {aplicaciones X Y tales que r no esta en la imagen} , para cada r = 1, . . . , k.
Ya vimos, en el ejemplo 3.1.7, que los r asociados a estos conjuntos venan dados por

k
r = |Ai1 Ai2 Air | = (k r)n , para cada r = 1, . . . , k.
r
1i1 <i2 <<ir n
Conviene denir, ademas, 0 = |A| = kn ; y, por supuesto, r = 0 si r > k.

Ahora consideramos, para cada t 0, los conjuntos

elementos de A que estan aplicaciones X Y que se
Bt = =
en exactamente t de los Aj saltan t elementos de Y
y llamemos t a sus tamanos. Claramente, t = 0 si t > k. El caso 0 es especial: es el n
umero
de aplicaciones sobreyectivas (las que no se saltan ningun elemento de Y) de X en Y.
Sabemos que los t y los r estan relacionados mediante la siguiente formula:

r
t = (1)rt r .
r
t
Por ejemplo, para t = 0, obtenemos la f

ormula del ejercicio 3.1.7 para el n
umero de aplica-
ciones sobreyectivas de X a Y:
k k
r k n k m k
0 = (1) (k r) = (1) (1) mn .
r m
r=0 m=0
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
Comparando con la expresi

on de 0 que tenamos arriba, descubrimos que

k
t = #{aplicaciones sobreyectivas {1, . . . , n} {1, . . . , k t}} .
t
Lo que tampoco nos sorprende: si queremos construir aplicaciones que se salten t elementos
de la imagen, los elegimos primero y luego establecemos una aplicacion sobreyectiva al resto
de los k t elementos.
Pero tenemos unos n umeros estrechamente ligados con este problema, los S(n, k), los
n
umeros de Stirling de segunda especie. Recordemos de la subseccion 3.3.1 que aplicaciones
sobreyectivas de {1, . . . , n} en {1, . . . , k} hay exactamente k! S(n, k).
(versi
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
Los t se escriben en funcion de n

umeros de Stirling de la siguiente manera:

k
t = (k t)! S(n, k t) .
t
Y como los Bt son una particion de A, el conjunto total de las aplicaciones X Y,
k k
n k
0 = k = t = (k t)! S(n, k t) ,
t
t=0 t=0
una f
ormula que ya apareca en el ejemplo 3.3.3.
10.5
10.5.1 Utilcese el metodo curalotodo para comprobar que

n
n

n (n + 1) (2n + 1)
(a) k2 = . (b) F2k1 = F2n .
6
k=0 k=1
umero natural m. Demuestrese que, para todo n 1, an = bn , donde

10.5.2 Fijemos un n

m n+k m n k
an = y bn = 2 .
k m k k
k=0 k=0
10.5.3 Consideremos las aplicaciones de un conjunto X de n elementos en un conjunto Y de n

elementos. Demuestrese que el n
umero medio de elementos en la imagen de una tal aplicaci
on es
n(n 1)n
n
nn

umero medio es aproximadamente n 1 1/e .
y que, por consiguiente, para n grande ese n
10.5.4 Sean (r ) y (t ) dos sucesiones relacionadas mediante

r
r = (1)t t para cada r = 0, 1, 2, . . .
t=0
t
Llamemos A(x) y B(x) a las funciones generatrices asociadas a las sucesiones (n ) y (n ).

(a) Compruebese que
1 x 1 y
A(x) = B y que, por tanto, B(y) = A .
1x 1x 1y y1
(b) Ded
uzcase que

t
t = (1)r r para cada t = 0, 1, 2, . . .
r=0
r
(versi

Generatrices PDF

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Generatrices PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Captulo 10

an = an1 + an2 para cada n 3,

como vimos en el ejemplo 6.1.5. Nuestra ecuaci on de recurrencia favorita, la de Fibonacci.

donde ya hemos aplicado el teorema del binomio. Derivando y sustituyendo en x = 1 (tanto

O, en otras palabras, que

que nos dice el tama

on generatriz3 de los (an ). Usamos la palabra funci

A. Funciones generatrices de suma conocida

olo tiene sentido si |x| < 1. En este nuevo lenguaje,

Tambien conocemos ya la serie de potencias que dene la funcion exponencial:

on f (x) = (1 x)m1 , para m 0.

Regla 1: Sumar y multiplicar por constantes

Regla 2: Producto de funciones

Ahora viene el paso clave para la f

a escribir el valor de c2 , listando, simplemente, los posibles pares (k, j)

el llamado producto de Cauchy:

1. Llamamos k al tama no del objeto de tipo A elegido. El par

Sus funciones generatrices asociadas son

Y si generalizamos el argumento (con s mujeres, t hombres y un comite de n personas),

que ya ha aparecido en varias ocasiones (veanse las subsecciones 3.1.1 y 3.1.3).

Regla 3: Desplazar coecientes

Es decir, el coeciente n-esimo de xf (x) es el coeciente n 1 de f (x). Pero cuidado, s

Y si multiplicamos por una potencia mayor, xm , con m 1, desplazamos la sucesion hacia

El desplazamiento de coecientes en el otro sentido requiere un an alisis mas cuidadoso.

f (x) a0 a1 x am1 xm1

Regla 4: Derivar (y algo m

x f (x) (0a0 , 1a1 , 2a2 , 3a3 , . . . ) = (n an )

Si lo que queremos es obtener la funci on asociada a la sucesion (n2 an ), el mismo argumento,

Y as podramos seguir. Cada factor n extra en el coeciente se obtiene repitiendo la opera-

Observese que el primer coeciente de f (x) queda sin determinar.

Regla 6: Obtener sumas parciales

As que el coeciente n-esimo de la funcion f (x)/(1 x) es la suma de los n primeros

Ejemplo 10.2.3 Calculemos de nuevo la suma de los primeros n n

Definimos H0 = 0. Queremos encontrar la funci

Regla 7: Eliminar coecientes

Veamos el primer caso: f (x) es la funci

Ya podemos escribir la regla correspondiente:

olo aparecen potencias del tipo x2n y, como

(mas adelante, en la subseccion 10.5.2, insistiremos en el uso de las funciones generatrices

As llegamos a otra nueva regla:

Calculense los coeficientes de la funci

10.2.3 Considerense las dos funciones

(vease la p on (an ), entonces

10.2.6 La funcion x/(1 x x2 ) genera los n

10.3. Series de potencias y funciones generatrices

es un camino de ida y vuelta. Si tenemos la sucesi

10.3.1. Series de potencias como funciones

La de la izquierda, la serie arm

Teorema 10.1 Sea (an ) una sucesi n decreciente de terminos no negativos, a0 a1 0.

Si < 1, la serie converge, y diverger a si > 1. De nuevo, = 1 no nos dice nada.

Una vez calculado el radio de convergencia R, la serie de potencias converge absolutamente

C. Comportamiento en los extremos del intervalo de convergencia

En este caso, el analisis de la convergencia es directo, porque si |x| < 1,

porque en la segunda suma multiplicamos cada termino (positivo) por el xn correspondiente,

Por otra parte, como todos los terminos son positivos,

C.2) El Lema de Abel

Dejamos la demostracion como ejercicio para el lector (vease el ejerci-

que nos basta para obtener el resultado deseado:

olo queda, y es un ejercicio sencillo de Calculo, obtener el lmite cuando x 1 de (x) =

10.3.2. Funciones como series de potencias

Ahora bien, el radio de convergencia de esta serie es R = 1. Cu al es la razon por la que

Teorema 10.3 Si f (x) es representable en serie de potencias en (R, R) y f (0) = 0, enton-