Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1
2 Capı́tulo 12. El lenguaje de las funciones generatrices
entero con ciertas caracterı́sticas, para el número de árboles casi binarios, etc. Una regla de
recurrencia (complementada con unas condiciones iniciales) es, sin duda, una buena manera
de describir una sucesión (an ). Pero, en muchas ocasiones, no nos permite entender cómo
es la sucesión: si crece o decrece, cómo de deprisa lo hace, etc. En el capı́tulo 8 aprendimos
diversas técnicas para resolver, esto es, para obtener una fórmula para los an en función de n
en ciertos tipos de ecuaciones de recurrencia. Pero no siempre es posible resolver y obtener
tal fórmula cerrada, e incluso en el caso de obtenerla, pudiera ser tan complicada que fuera
difı́cil extraer la información que encierra.
Versión preliminar, 9 de diciembre de 2018
[. . . ] una función generatriz es una cuerda de la ropa en la que tendemos una sucesión
de números para exhibirla.
La función generatriz4 de una sucesión (an )n≥0 es la función A(x) dada por la serie de
potencias
∞
A(x) = an xn .
n=0
Simplemente, se decide considerar a los números an como los sucesivos coeficientes de una
serie de potencias que nombramos como A(x). A veces abreviamos y escribimos
A(x) ←→ (an )∞
n=0
an = coefn [A(x)] .
de potencias F (x) es al menos R = 3/5 y, en cualquier caso, que ese radio es positivo.
El lector √
aplicado recordará que de la fórmula de Binet del ejemplo 8.2.1 se deducı́a que
Fn ∼ τ n / 5,√cuando n → ∞, ası́ que el radio de convergencia es, de hecho, 1/τ . Recordemos
que 1/τ = ( 5 − 1)/2 ≈ 0.6180 . . . Pero no queremos hacer uso de esto, pues justamente la
fórmula de Binet es un objetivo del análisis de la presente modesta ilustración.
¿Qué nos dice la recurrencia de los (Fn )n≥0 sobre la función F (x)?
Las funciones F (x), xF (x) y x2 F (x) están las tres definidas (al menos) en el intervalo
(−3/5, 3/5); sus series de potencias son
Versión preliminar, 9 de diciembre de 2018
F (x) = F0 + F1 x+ F2 x2 + F3 x3 + · · · ,
xF (x) = F0 x+ F1 x2 + F2 x3 + · · · ,
2
x F (x) = F0 x2 + F1 x3 + · · · .
es decir,
x
F (x) = , para |x| < 3/5 .
1 − x − x2
¡Vaya!, una fórmula explı́cita para F (x). Si evaluamos en x = ±1/2 (que están dentro del
intervalo de convergencia), obtenemos
∞
∞
Fn Fn
=2 y (−1)n+1 = 2/5 .
n=0
2n n=0
2n
¡Asombroso!, ¿verdad? ¡Hum!, aunque a decir verdad estas identidades se podrı́an haber
obtenido, como el lector aplicado podrá comprobar sin dificultad, de la fórmula de Binet
combinada con la oportuna sumación de algunas series geométricas. Bueno, vale, de acuerdo,
lector, la exclamación queda rebajada del escalafón de lo asombroso al pelotón de lo curioso.
Y sobre los propios Fn , ¿qué podemos decir? Los Fn son los coeficientes de Taylor de la
función F (x) = x/(1 − x − x2 ). ¿Cómo podemos obtener el desarrollo en serie de potencias
de x/(1 − x − x2 )? Anticipando un argumento general que describiremos con parsimonia
en el apartado 12.3, le respondemos, lector, que se consigue combinando la técnica de la
descomposición en fracciones simples, bien conocida del cálculo de primitivas, con la expresión
de la suma de la serie geométrica.
Veamos. Las raı́ces de 1 − x − x2 son justamente α = 1/τ y β = −τ . La descomposición
en fracciones simples de x/(1 − x − x2 ) resulta ser
x 1 α 1 β
= √ − √ ,
1 − x − x2 5 α−x 5 β−x
B. El método simbólico
El método simbólico es, en primer lugar, un procedimiento de generación de objetos com-
binatorios apoyándose en las virtudes de las operaciones algebraicas de polinomios y de series
de potencias que, en segundo lugar, con adecuada elección de la variables de los polinomios
usados en la representación, permite codificar con un polinomio o con una serie de potencias
el número de esos objetos de interés an que tienen tamaño n, es decir, obtener la función
generatriz asociada a la sucesión (an )n≥0 .
Ilustramos a continuación el método simbólico, que desarrollaremos en todo su esplendor
Versión preliminar, 9 de diciembre de 2018
Cada uno de ellos se puede describir, de forma compacta e informativa, de la manera siguiente:
{1α , 2β , 3γ } con 0 ≤ α ≤ 2, 0 ≤ β ≤ 1 y 0 ≤ γ ≤ 2,
De manera que los multiconjuntos y los monomios son la misma cosa: basta con dar una lista
de tres números, (α, β, γ), que cumplan las restricciones señaladas arriba, para tener, en un
caso, un multiconjunto de los que queremos generar y contar, y en el otro un sumando en el
desarrollo del polinomio. La regla (biyección) que permite pasar de unos objetos a otros es
x1 α x2 β x3 γ ←→ {1α , 2β , 3γ }
Versión preliminar, 9 de diciembre de 2018
. . , 1, 2, β .veces
= 1, α .veces . . , 2, 3, γ veces
... ,3 .
Además, el grado total de cada monomio coincide con el tamaño del multiconjunto que tiene
asociado.
Recuento. Tras este ejercicio de generación y codificación, la cuestión de contar el número
de multiconjuntos de tamaño digamos k que podemos formar con los elementos {1, 2, 3},
respetando las restricciones señaladas, se reduce al de contar cuántos monomios de grado
total k aparecen en el desarrollo del producto de polinomios escrito anteriormente.
El truco básico para llevar a cabo este recuento consiste en identificar las variables. Si en
el producto
(1 + x1 + x21 )(1 + x2 )(1 + x3 + x23 )
ponemos x1 = x2 = x3 = x, entonces todos los monomios de grado total k del desarrollo del
producto se transforman en xk , y el coeficiente de xk de
registra, entonces, cuántos k-multiconjuntos hay con las restricciones impuestas; por ejemplo,
hay tres multiconjuntos de tamaño 4 con las dichas restricciones. Compruebe el lector, revi-
sando el listado de la página anterior, que hay 1, 2, 5, 5, 3 y 1 multiconjuntos con respectivos
tamaños 0, 1, . . . , 5.
Como ilustración adicional del método simbólico, sigue a continuación la representación
y el correspondiente recuento de las posibles formas de dar cambio usando monedas de
unas denominaciones concretas. El tratamiento simbólico de este ejemplo, tan mercantil él,
contiene una variante (generalización de hecho) del truco de identificar variables.
Ejemplo 12.0.1 El cambio de moneda. Disponemos de monedas de uno, dos, cinco y
diez céntimos de euro. Queremos contar de cuántas maneras distintas podemos dar el cambio
de, digamos, diez euros.
Si llamamos, respectivamente, x1 , x2 , x5 y x10 al número de monedas de 1, 2, 5 y 10
céntimos que entran en un cambio de éstos, estamos buscando las soluciones de
x1 + 2x2 + 5x5 + 10x10 = 1000
,
x1 , x2 , x5 , x10 ≥ 0
porque 10 euros son 1000 céntimos de euro y debemos tener en cuenta el valor de cada moneda.
La anterior no es una ecuación diofántica al uso, como las que analizamos con detalle en el
apartado 5.1.3, pues las variables x aparecen multiplicadas por ciertos coeficientes.
P2 −→ 2 2 2 2 2 2 2 2 2 2 2 ...
donde el primer sı́mbolo significa que no se utiliza ninguna moneda de dos céntimos. Hagamos
lo mismo con las monedas de cinco céntimos:
P5 −→ ...
Versión preliminar, 9 de diciembre de 2018
5 5 5 5 5 5 5 5 5 5 5
Supongamos, por el momento, que se nos permite dar cambio utilizando monedas de dos
y cinco céntimos. Las posibles combinaciones (que llamaremos P2,5 ) serán
P2,5 −→ 2 5 2 5 2 5 5 2 5 5 5 2 5 5 5 5 ···
2 5 2 5 2 5 5 2 5 5 5 2 5 5 5 5 ···
2 2 5 2 2 5 2 2 5 5 2 2 5 5 5
···
.. .. ..
. . .
(Obsérvese que el orden de presentación de las monedas no importa). Podemos asociar a P2
un polinomio en una variable x2 ,
El producto de los polinomios P2 (x2 ) y P5 (x5 ) codifica todas las configuraciones de monedas
que se pueden obtener al mezclar los dos tipos:
P2 (x2 ) P5 (x5 ) = 1 + x2 + x22 + x32 + · · · 1 + x5 + x25 + x35 + · · ·
= 1 1 + x5 + x25 + · · · + x2 1 + x5 + x25 + · · · + x22 1 + x5 + x25 + · · · + · · ·
Por ejemplo, dos monedas de dos y tres de cinco se corresponde con el término x22 x35 .
Introducimos los polinomios análogos P1 (x1 ), para las monedas de un céntimo, y para las
de diez, P10 (x10 ). De esta manera, toda la información sobre las configuraciones de monedas
que pueden aparecer usando los cuatro tipos de monedas queda codificada con el producto
de polinomios
P1 (x1 ) P2 (x2 ) P5 (x5 ) P10 (x10 ) = 1 + xj + x2j + x3j + · · · .
j=1,2,5,10
El objetivo, recuerde lector, es contar de cuántas maneras se puede dar cambio de diez
euros con estos cuatro tipos de monedas. Consideremos una configuración de monedas cual-
quiera, por ejemplo, la que contiene a monedas de 1, b de 2, c de 5 y d de 10. El “valor” de
esta combinación es a + 2b + 5c + 10d. Pero el término que en la representación simbólica
anterior lleva asociada esta configuración es
xa1 xb2 xc5 xd10 pasa a ser xa x2b x5c x10d = xa+2b+5c+10d ,
C. Intervalo de convergencia
Recuerde,
n lector, avive el seso y despierte (con la ayuda del capı́tulo 7), que un polinomio
k
P (x) = k=0 pk x puede verse a la vez como la lista de sus coeficientes
(p0 , p1 , . . . ,
pn ) o como
la función real que a x ∈ R le asigna el valor nk=0 pk xk . De hecho, si nk=0 pk xk = nk=0 qk xk ,
para todo x ∈ R si y sólo si pk = qk , para cada 1 ≤ k ≤ n. Es decir, dos polinomios de grado n
coinciden como funciones si y sólo si son iguales en cuanto listas. Se trata de dos puntos de
vista complementarios, uno más algebraico o combinatorio y otro más analı́tico.
Las funciones generatrices pueden considerarse10 como polinomios de grado infinito. La
sucesión (an )n≥0 es el objeto algebraico/combinatorio. Nos gustarı́a disponer, paralelamente,
del
∞punto nde vista analı́tico de una función, es decir, que la función generatriz A(x) =
n=0 an x definiera, de hecho, una función.
9
Fugaz, si cabe.
10
Eulerianos estamos, Sancho.
Por esta razón vamos a restringirnos ab initio, decididamente y sin complejos, a las
sucesiones de números reales (an )n≥0 que llamamos lentas, o de la clase L, que son aquellas
que verifican la condición de crecimiento
() L = lı́m sup n |an | < +∞ .
n→∞
Si (an )n≥0 es una sucesión lenta, la correspondiente serie de potencias ∞ n
n=0 an x tiene
radio de convergencia positivo R > 0. De hecho, como bien sabe el lector (teorema 4.3.1 de
Versión preliminar, 9 de diciembre de 2018
son dos series de potencias asociadas a sucesiones de las que llamamos lentas y con radios de
convergencia respectivos RA y RB , entonces, para un δ > 0,
si y sólo si
an = bn , para todo entero n ≥ 0 .
Por supuesto, el tal δ no debe exceder RA ni RB .
Este hecho identifica las sucesiones lentas como listas infinitas, con sus funciones genera-
trices como . . . ¡funciones!, dadas por series de potencias de radio de convergencia positivo.
De manera que dos series de potencias coinciden como funciones (en un intervalo común de
definición) si y sólo si las listas de coeficientes son iguales.
Conviene resaltar, y resaltamos, que si partimos de una función f (x) que se puede repre-
sentar como serie de potencias de x en un intervalo (−δ, δ), es decir, que f (x) = ∞ n=0 an x
n
para x ∈ (−δ, δ), entonces, claro, f (x) es la función generatriz de los an . Los an son los coefi-
cientes del desarrollo de Taylor de f alrededor de x = 0, es decir, an = f (n) (0)/n!, para cada
n ≥ 0. Revise, lector, si le parece bien, el apartado 4.3 dedicado a las series de potencias.
El que una sucesión (an )n≥0 cumpla la condición () de pertenencia a L equivale a afirmar
que para un cierto M ∈ (1, +∞) se tiene que
|an | ≤ M n , para n ≥ 0 .
Esto quiere decir que los an crecen a lo sumo como una función exponencial de n, a saber,
exp(ln(M ) n); de ahı́ lo de “lentas”11 .
Sucesiones tan interesantes como an = n!, para n ≥ 0, que cuenta permutaciones de
{1, . . . , n}, o an = nn , para n ≥ 1, que cuenta aplicaciones de {1, 2, . . . , n} en sı́ mismo,
no son de la clase L, ∞y quedan fuera
∞ denlan discusión inmediata que sigue: sólo para x = 0
n
convergen las series n=0 n! x y n=0 n x . Pero le anticipamos, lector, que estas sucesiones
11
¡Vaya!, ası́ que las exponenciales van a ritmo de paseo. ¿El factorial quién es, Bolt?
sı́ caen dentro del ámbito de las llamadas funciones generatrices exponenciales, que son de la
forma
∞
an n
x ,
n!
n=0
x 1 n
e = x ,
n=0
n!
De manera que(1 + x)k es la función generatriz, con radio de convergencia +∞, que codifica
la sucesión nk n≥0 ; sucesión ésta que se hace 0 en cuanto n ≥ k. Además, para cada entero
k ≥ 0, tenemos, véase el ejemplo 4.3.7, que
∞
1 n+k n
= x , para |x| < 1 .
(1 − x)k+1 k
n=0
Multiplicando por xk obtenemos, tras la oportuna renominación del ı́ndice de sumación, que
∞
∞
xk n n n n
= x = x , para |x| < 1 .
(1 − x)k+1 k n=0
k
n=k
convergencia +∞. La sucesión nk n≥0 (ı́ndice superior fijo en k) se hace 0 para n < k, y su
función generatriz tiene radio de convergencia 1.
Por mor de su relevancia y utilidad ulterior (en concreto para el desarrollo en serie de
potencias de funciones racionales, véase el apartado 12.2.3), registramos a continuación una
variante del desarrollo anterior, que se obtiene con un sencillo cambio de escala. Para cada
a = 0 y cada entero k ≥ 0, consideremos el desarrollo de la función x
→ 1/(a − x)k+1 para
|x| < 1/|a|; tras escribirla en la forma
1 1 1
Versión preliminar, 9 de diciembre de 2018
= k+1 ,
(a − x)k+1 a (1 − x/a)k+1
se obtiene
∞
1 n+k 1
= xn , |x| < 1/|a| .
(a − x)k+1
n=0
k an+k+1
En el caso k = 0, tenemos
1 ∞
1
= xn .
a−x an+1
n=0
• El desarrollo en serie de potencias
1 ∞
1 n
ln = x , para |x| < 1,
1−x n=1
n
nos dice, claro, que ln(1/(1 − x)) es la función generatriz de la sucesión (an )n≥0 dada por
an = 1/n, si n ≥ 1, y a0 = 0, es decir, de los recı́procos de los enteros ≥ 1. El radio de
convergencia de esta serie de potencias es 1.
• Como hemos visto en la introducción, la función generatriz F (x) de la sucesión de
Fibonacci (Fn )n≥0 es
∞
x
F (x) = Fn xn = ,
n=0
1 − x − x2
√
que tiene radio de convergencia ( 5 − 1)/2.
A. Suma/combinación lineal
Sea (cn )n≥0 la sucesión suma, es decir, la sucesión dada por cn = an +bn , para cada n ≥ 0.
Denotemos por C(x) a su función generatriz. No sorprenderá al lector que C(x) coincida con
Versión preliminar, 9 de diciembre de 2018
A(x) + B(x):
A(x) ←→ (an )n≥0
=⇒ A(x) + B(x) ←→ (an + bn )n≥0
B(x) ←→ (bn )n≥0
Lector, el lema anterior nos dice, primero, que la función generatriz C(x) cuyos coeficientes
son cn = αan + βbn , para cada n ≥ 0, es una serie de potencias con radio de convergencia RC
positivo (de hecho, se tiene que RC ≥ mı́n(RA , RB )); y segundo, que para cualquier |x| < RC ,
se tiene que C(x) = αA(x) + βB(x).
O en otras palabras, letánicas14 , la combinación lineal de sucesiones lentas es una sucesión
lenta.
El argumento para probar el lema 12.1.1 es bien directo; inténtelo el lector interesado, y
si no, vea los detalles en el apartado 12.2.1.
Este producto de Cauchy es una cierta sorpresa; aunque no para quien recuerde la regla
de multiplicación de polinomios (apartado 7.2), claro15 .
Denotemos por C(x) a la función generatriz asociada a los (cn )n≥0 .
¿A qué operación de las funciones generatrices corresponde este producto de Cauchy de
sucesiones?, se estará preguntando el lector. Pues, al producto usual, el producto punto a
punto de las funciones generatrices:
C(x) = A(x)B(x) .
Versión preliminar, 9 de diciembre de 2018
Como en el caso de la suma, y para no perder el hilo de la argumentación que ahora nos
interesa, diferimos al apartado 12.2.1 la justificación de que
1. C(x) tiene radio de convergencia RC que cumple RC ≥ mı́n(RA , RB ),
2. y que C(x) = A(x)B(x) para todo x tal que |x| < RC .
En otras palabras, la convolución de dos sucesiones lentas es asimismo una sucesión lenta.
Para apaciguar, que no aplacar, la potencial desazón metodológica que pudiera embargar
al lector de estricta observación matemática el uso de resultados sin demostración, le pro-
ponemos la siguiente justificación puramente formal, que trata las series de potencias como
polinomios y en la que alegremente y hasta desconsideradamente intercambiamos orden de
sumación y agrupamos sumandos sin miramientos ni escrúpulos:
∞
∞ ∞ ∞
A(x) · B(x) = ak xk bj xj = ak bj xk+j
k=0 j=0 k=0 j=0
∞
∞ n
= ak bj xn = aj bn−j xn .
n=0 k+j=n; n=0 j=0
k,j≥0
Observe, lector, y ésta es la clave, que para cada n ≥ 0, hemos agrupado los sumandos donde x
aparece con exponente n. Pero, insistimos, el apartado 12.2.1 justifica que A(x) B(x) = C(x).
La regla de multiplicación del lema 12.1.2 se puede extender, sin mucha dificultad, aunque
con cierta complejidad notacional, al producto de varias funciones generatrices. Especialmente
interesante resulta el cálculo de las sucesivas potencias de una función generatriz A(x) =
∞ n
n=0 an x . El caso del cuadrado es, simplemente,
∞
2
A (x) = aj1 aj2 xn ,
n=0 j1 +j2 =n;
j1 ,j2 ≥0
15
A primera vista, la regla del producto cn = an bn , para n ≥ 0, puede parecer más natural. Este tipo de
producto se conoce como producto de Hadarmad. Pero para las discusiones combinatorias que nos conciernen,
es mucho menos relevante que su homólogo de Cauchy.
aplicando directamente el lema 12.1.2. Observe, lector, cómo hemos escrito los coeficientes,
preparando el caso de potencias mayores, como la tercera, que quedarı́a
∞
A3 (x) = aj1 aj2 aj3 xn ,
n=0 j1 +j2 +j3 =n;
j1 ,j2 ,j3 ≥0
∞
Am (x) = a(m) n
n x , donde a(m)
n = aj1 · · · ajm .
n=0 j1 +···+jm =n;
j1 ,...,jm ≥0
y, por consiguiente,
(α + β)n αj β n−j
n
= , para cada n ≥ 0 ,
n! j! (n − j)!
j=0
∞ ∞
1 1
= αn xn y = β n xn ,
1 − αx 1 − βx
n=0 n=0
conoce bien y sobre la que nos extenderemos en el apartado 12.2.3. Igualando n-ésimos co-
eficientes deducimos que
una identidad que podrı́a también haberse obtenido usando en la última suma la fórmula de
la suma de una progresión geométrica finita. ♣
Versión preliminar, 9 de diciembre de 2018
y para m ≥ 0, tomemos
∞
xm j
= xj , para |x| < 1 .
(1 − x)m+1 m
j=0
n n
de donde tras ligero aseo algebraico y usando que n−j = j , obtenemos que
n
n
(−1)j j(j − 1) · (j − m + 1) = 0 , para n > m ≥ 0 .
j
j=0
j=0
C. Composición/sustitución
Tenemos una serie de potencias ∞ n
n=0 an y con radio de convergencia RA positivo. Esta
serie de potencias define una función A(y) para y en el intervalo (−RA , RA ). Hemos denotado
la variable de la serie de potencias como y, en lugar de la habitual x, por razones que se harán
patentes en un momento.
Tenemos además otra serie de potencias ∞ n
n=0 bn x con radio de convergencia RB > 0 y
con ¡atención!, hipótesis adicional y crucial, b0 = 0. Esta serie de potencias define a su vez la
función B(x) para x ∈ (−RB , RB ), con B(0) = 0.
Interesa entender la función C(x) que se obtiene componiendo estas dos funciones:
Para que esta composición tenga sentido, la hipótesis B(0) = 0 es fundamental. Veamos la
razón. Como B(0) = 0, y B(x) es continua en x = 0, podemos hallar 0 < T ≤ RB de
manera que
|B(x)| < RA , si |x| < T .
Observe, lector, que esto significa que si x ∈ (−T, T ) entonces y = B(x) está en el dominio
de definición de A(y), y que podemos evaluar la función A en el punto B(x). Sin la condición
B(0) = 0 no podrı́amos asegurar ni siquiera que A(B(x)) estuviera bien definida.
La pregunta natural, ¿verdad, lector?, es si la función (A ◦ B)(x), la composición de A(y)
con B(x), se puede representar mediante una serie de potencias en un cierto intervalo en
torno a x = 0, y, si es ése el caso, cómo se obtiene esa serie de potencias a partir de las de
A(y) y B(x).
La respuesta es que la serie de potencias de la composición (A ◦ B)(x) de las dos series de
potencias efectivamente converge en un intervalo en torno a x = 0, y se obtiene sustituyendo
formalmente la y de la serie A(y) por y = B(x): las funciones se componen y las series se
sustituyen.
Empezamos con un ejemplo sencillo, e interesante a la par. Digamos que B(x) = x2 . En
este caso,
∞
A(B(x)) = A(x2 ) = an x2n ,
n=1
(a0 , 0, a1 , 0, a2 , 0, a3 , 0 . . . )
Observe, lector, cómo hemos “separado” la lista de los coeficientes originales de A(x). Tome
nota de este truco, lector,
√ para futuros usos. El radio de convergencia de la serie de potencias
de A(x ) es, claro, RA . Extienda el lector el argumento al caso en el que B(x) = xm ,
2
con m ≥ 2.
Pero claro, el anterior es un caso bastante especial. ¿Y si B(x) fuera un polinomio más
Versión preliminar, 9 de diciembre de 2018
donde, usando las reglas de multiplicación del apartado anterior, tenemos que, para k ≥ 1,
() b(k)
n = b1 · · · bk .
1 ≥1,...,k ≥1
1 +···+k =n
(0) (0)
La potencia k = 0 es especial: bn = 0 si n ≥ 1 y b0 = 1.
Observe, lector, que los ı́ndices de la suma múltiple anterior son todos ≥ 1, porque desde
(k)
el principio hemos fijado que b0 = 0. Ası́ que bn = 0 si n ≤ k, lo que es reflejo de que la
serie de potencias () de B k (x) empieza (como mı́nimo) con la potencia xk , pues B(0) = 0.
Vamos ahora a sustituir las series de potencias de () en la serie de potencias que define
A(y), formalmente, con alegrı́a, y sin la menor consideración hacia cuestiones de convergen-
cia, para luego cambiar orden de sumación, con desparpajo, como si no nos fuera nada en
ello, como cuando rebosantes de entusiasmo nos venimos arriba, para obtener la siguiente
expresión de (A ◦ B)(x) como serie de potencias:
∞ ∞
∞ ∞
n
A B(x) = ak B k (x) = ak b(k)
n x n
= x n
ak b(k)
n .
k=0 k=0 n=k n=0 k=0
(k)
donde para n ≥ 0 y 0 ≤ k ≤ n, los bn vienen dados por la expresión () anterior.
La justificación del lema 12.1.3, con las oportunas menciones al radio de convergencia de
la serie de potencias de la composición, aparecen en el apartado 12.2.1.
La fórmula de los coeficientes de la composición es bastante aparatosa; en la práctica,
uno calcula la expresión para las potencias de B(x), la sustituye en la de A(y), para después
tratar de asear la expresión obtenida en busca de una fórmula para los coeficientes. Veamos
una ilustración.
Ejemplo 12.1.3 Sustitución y Fibonacci. Comprobamos que, para cada n ≥ 0,
n
Versión preliminar, 9 de diciembre de 2018
k
Fn+1 = .
n−k
k=0
Por tanto,
∞ ∞ 2k
1 1 k k
F (x) = x = x = x B(x) = xm+1 ,
1 − (x + x2 ) 1 − B(x) m−k
k=0 k=0 m=k
∞ k
= xm+1 ,
m=0
m−k
m/2≤k≤m
m
k k
Fm+1 = = ,
m−k m−k
m/2≤k≤m k=0
n
n
1 1
cn = an b(k)
n = .
k!
1 · · ·
k
k=1 k=1 1 ≥1,...,k ≥1
1 +···+k =n
Pero como la composición es la función 1/(1 − x), cuyos coeficientes son todos 1, obtenemos
que, para cada n ≥ 1,
n
1 1
1= .
k!
1 · · ·
k
k=1 1 ≥1,...,k ≥1
1 +···+k =n
A. Suma. Imaginemos que tenemos objetos de dos tipos, A y B. Para cada n ≥ 0, hay an
objetos de tipo A y tamaño n, mientras que existen bn objetos de tipo B y tamaño n.
Supongamos que las clases A y B son disjuntas, es decir, que no hay objetos que per-
tenezcan a las dos clases. Formamos ahora una clase C reuniendo los objetos de A y los B.
En C hay cn = an + bn objetos de tamaño n.
La función generatriz de la clase suma es la suma de las funciones generatrices de las
clases.
Versión preliminar, 9 de diciembre de 2018
B. Producto (de Cauchy). Imaginemos que tenemos objetos de dos tipos, A y B. Para
cada n ≥ 0, hay an objetos de tipo A y tamaño n, mientras que existen bn objetos de tipo B
y tamaño n.
El objetivo es formar objetos de tamaño total n que estén formados por uno de tipo A
y otro de tipo B. Para construirlos, aplicamos las reglas combinatorias de la suma y del
producto:
En total, si llamamos cn al número de objetos que podemos construir con esas caracterı́sticas,
se tendrá que
n
cn = ak bn−k .
k=0
En términos de las funciones generatrices asociadas, si llamamos A(x) y B(x) a las funciones
generatrices asociadas a las sucesiones (an ) y (bn ), respectivamente, la función A(x)B(x) será
la función generatriz de los cn .
La función generatriz de la clase producto es el producto de las funciones generatrices de
las clases.
Para ilustrar esta interpretación, consideremos el siguiente ejemplo.
El que estas dos cantidades coinciden es la fórmula de Vandermonde del lema 5.1.2.
n n
n=0 n=0
Vandermonde (re)justificado. ♣
12.1.3. Transformaciones
Discutimos a continuación un verdadero vademecum de transformaciones de una sucesión
(an )n≥0 dada, al tiempo que, en paralelo, exhibimos
cómo se reflejan estas transformaciones
en la correspondiente función generatriz A(x) = ∞ a
n=0 n x n.
Suponemos, claro, que (an )n≥0 es una sucesión lenta, es decir, que A(x) tiene radio de
convergencia positivo.
Pertinaz, y un tanto cansinamente, hemos de admitir, seguiremos la pista del radio de
convergencia de la serie de potencias B(x) transformada de la A(x), para asegurarnos de que
es un número positivo, aunque aquı́, como verá el lector, el análisis será generalmente directo.
A(x) ←→ (an )∞
n=0 =⇒ . . ., 0, a0 , a1 , a2 , . . . ) = (an−m )∞
xm A(x) ←→ (0, 0, (m) n=0 .
A(x) − a0 = a1 x + a2 x2 + a3 x3 + · · ·
A(x) − a0
x B(x) = A(x) − a0 =⇒ B(x) = .
x
No se azare, lector, por la presencia de una x en el denominador; es pura apariencia: la serie
de la función A(x) − a0 no tiene término independiente, ası́ que al dividirla por x obtenemos
una serie de potencias legal. Obsérvese que, de hecho, los radios de convergencia de B(x) y
de A(x) coinciden.
El caso general sigue los mismos argumentos.
1−x 1
vuelve a ser, como debe, .
x3 1−x
Y ası́ podrı́amos seguir repitiendo la operación, para conseguir factores extra n en el coefi-
ciente.
Por abreviar, llamemos D al operador que actúa sobre una función derivándola primero
y multiplicándola por x después. Y denotemos por D k a la aplicación sucesiva k veces del
operador, con el convenio de que D 0 es la identidad, es decir, D 0 (A(x)) ≡ A(x).
Ası́ que la función x/(1 − x)2 codifica la sucesión de los enteros no negativos, que es una
progresión aritmética que arranca en 0 y tiene diferencia 1. Con más generalidad, la función
generatriz de una progresión aritmética general (a + dn)n≥0 , que empieza en un cierto a y
tiene diferencia d, es
a xk a + x (k − a)
+ = ←→ (a, a + k, a + 2k, a + 3k, . . . ) = (a + d n)n≥0 .
1 − x (1 − x)2 (1 − x)2
Cerciórese el lector, combinando la regla de derivación (lema 12.1.6) con la de la suma de
Versión preliminar, 9 de diciembre de 2018
lema 12.1.1
m
lema 12.1.6
m
coefn [DP (A(x))] = γj coefn [D j (A(x))] = γj nj an = an P (n).
j=0 j=0
Es decir,
m
DP (A(x)) ←→ γj nj an = P (n) an n≥0 .
n≥0
j=1
En particular, tomando A(x) = ∞ n=0 x = 1/(1 − x), obtenemos que
n
1
DP ←→ (P (n))n≥0 . ♣
1−x
B1. Derivadas. Tras la discusión anterior, es natural e ineludible, ¿verdad, lector?, pre-
guntarse por el efecto que tiene sobre la sucesión (an )n≥0 la simple derivación de su función
generatriz A(x). Con “simple derivación” nos referimos a tan solo derivar, sin luego multipli-
car por x, como hemos hecho en las lı́neas anteriores. Observe, lector, que
∞
∞
A (x) = n an xn−1 = (n + 1) an+1 xn
n=1 n=0
∞ ∞
A (x) = n(n − 1) an xn−2 = (n + 2)(n + 1) an+2 xn
n=2 n=0
n=0
B2. Derivadas D sucesivas. Sea A(x) una función generatriz. El operador D nos da, por
definición, D(A)(x) = xA (x).
Si D-derivamos sucesivamente unas pocas veces vamos obteniendo
D 2 (A)(x) = xA (x) + x2 A (x)
D 3 (A)(x) = xA(1) (x) + 3x2 A(2) (x) + x3 A(3) (x)
D 4 (A)(x) = xA(1) (x) + 7x2 A(2) (x) + 6x3 A(3) (x) + x4 A(4) (x)
..
.
A partir de la segunda linea hemos pasado a la notación A(k) (x) para denotar derivada (usual)
k-ésima de A(x), para evitar la proliferación descontrolada de las primas: A··· . Sugerente,
¿verdad, lector? ¿No reconoce los coeficientes? ¡Números de Stirling de segunda especie! Sı́,
ası́ es. Y de primera especie, también.
Proposición 12.1.7 (Fórmula de Cesàro) Para cualquier función generatriz A(x) y cual-
quier entero n ≥ 1 se tiene que
n
n
D n (A)(x) = S(n, k) xk A(k) (x) y xn A(n) (x) = s(n, k) D k (A)(x) .
k=1 k=1
k=1
n
n
= S(n, k) kxk A(k) (x) + S(n, k) xk+1 A(k+1) (x)
k=1 k=1
n
n+1
= S(n, k) kxk A(k) (x) + S(n, k − 1) xk Ak (x)
k=1 k=2
n+1
n+1
= S(n, k) kxk A(k) (x) + S(n, k − 1) xk Ak (x)
k=1 k=1
n+1
n+1
= (S(n, k)k + S(n, k − 1)) x A k (k)
(x) = S(n + 1, k) xk A(k) (x)
k=1 k=1
Hemos usado que S(n, n + 1) = S(n, 0) = 0 y la recurrencia básica de los números de Stirling
de segunda especie (apartado 5.3.1).
La segunda expresión del enunciado se obtiene k de la primera
fijandox y aplicando inver-
sión de Stirling (ejercicio 5.3.8) a las sucesión x A (x) k≥1 y D (x) k≥1 .
(k) k
Ejemplo 12.1.7 El cambio de base en los polinomios
n
xn = S(n, k) x↓k , para cada n ≥ 1
k=0
B3. División de an por n. Nos preguntamos ahora por la transformación que lleva la
sucesión (an )n≥0 , con a0 = 0, en la sucesión (bn )n≥0 dada por b0 = 0 y bn = an /n, para
n ≥ 1. Nótese que ahora se multiplica an por n−1 , y no por n.
Con la debida atención a los valores iniciales a0 = 0 y b0 = 0, ésta es la operación inversa
de la multiplicación por n que en el lado de la función generatriz se traduce en derivación, o
mejor, en aplicación de D, ası́ que en este lado esperamos ahora. . . integración.
∞
Pongamos que A(x) = ∞ n
n=1 an x y que B(x) =
n
n=1 bn x . Observe, lector, que A(x)
y B(x) tienen el mismo radio de convergencia, y que como a0 = 0, la función A(x)/x es
Versión preliminar, 9 de diciembre de 2018
asimismo una serie de potencias con el mismo radio de convergencia que A(x).
Tenemos que
∞
∞
xB (x) = n bn xn = an xn = A(x),
n=1 n=1
de manera que x
A(y)
B(x) = dy ;
0 y
es decir, B(x) es la integral definida de A(x)/x que en x = 0 vale B(0) = 0.
Como ilustración tomemos A(x) = x/(1 − x), que es la función generatriz de (0, 1, 1, . . .).
La función generatriz B(x) de la sucesión (0, 1, 1/2, 1/3, . . .) de los recı́procos de los números
naturales es x x 1
A(y) 1
B(x) = dy = dy = ln ,
0 y 0 1−y 1−x
ası́ que
1 1
ln ←→ (0, 1, 1/2, 1/3, . . .) =
1−x n n≥1
un resultado éste que conocı́amos y que hemos recordado en la introducción de este capı́tulo.
La discusión anterior invita ahora a aplicar otra vez la integración para ası́ obtener la fun-
ción generatriz de (1/n2 )n≥1 (y, ya puestos, iterar, y obtener las de las sucesiones (1/nk )n≥1 ,
para entero k ≥ 3).
La función generatriz de (1/n2 )n≥1 es
x
1 1
ln dy .
0 y 1−y
¡Hum!, tras unos cuantos infructuosos intentos de aplicar la panoplia al uso de trucos de
integración: integración por partes, cambios de variables,. . . , le avisamos lector de que no,
que no hay una fórmula, que no existe una expresión explı́cita y cerrada de la integral anterior
en términos de funciones elementales: logaritmos, potencias, exponenciales. ¡Es lo que hay!
A la función17
∞
1 n
Li(x, k) = k
x
n=1
n
cuyos coeficientes son los números 1/nk , donde k es un entero ≥ 1, se le denomina poliloga-
ritmo de orden k. Para k = 1 tenemos una fórmula, Li(x, 1) = ln(1/(1 − x)), pero no ası́ para
k ≥ 2. Observe lector en todo caso que Li(x, k) está definida en el intervalo −1 < x < 1, pues
la serie de potencias que la define tiene radio de convergencia R = 1.
Versión preliminar, 9 de diciembre de 2018
Buscamos fórmulas cerradas para estas sumas; es decir, a ser posible nos gustarı́a disponer
de fórmulas que dependieran explı́citamente de n. Las sumas son parecidas, pero en cuanto
a exhibir fórmula cerrada, en la primera tendremos más éxito que en la segunda.
Para analizar la primera suma, consideremos, para n ≥ 0, el polinomio
n
1 n k
An (x) = x .
k+1 k
k=0
(nótese cuán hábilmente hemos derivado el producto de x por A(x), en lugar de derivar
únicamente A(x), o aplicarle el operador D). De manera que
1 x 1 (1 + x)n+1 − 1
An (x) = (1 + y)n dy = .
x 0 n+1 x
Evaluando en x = 1 se obtiene la fórmula cerrada buscada
n
1 n 2n+1 − 1
= .
k+1 k n+1
k=0
No ha estado mal, ¿verdad, lector? Aunque hay que señalar que ambas fórmulas se pueden
obtener directamente de la conocida identidad (lema 5.1.3)
1 n 1 n+1
= , para 0 ≤ k ≤ n ,
k+1 k n+1 k+1
17
¡Puro y adánico afán nominativo!
n+1
1 n+1
n n
1 n 1 n+1 1
= = = (2n+1 − 1) ,
k+1 k n+1 k+1 n+1 k n+1
k=0 k=0 k=1
m m
donde hemos usado que j=0 j = 2m , para cada m ≥ 0. Por otro lado,
1
n n+1
(−1)k+1 n k n+1 1
Versión preliminar, 9 de diciembre de 2018
= (−1) = ,
k+1 k n+1 k n+1
k=0 k=1
m
j m
donde hemos usado que j=0 (−1) j = 0, para cada m ≥ 0.
Vamos ahora con la segunda suma. Es muy próxima, en apariencia, a la primera suma,
pero en cuanto a obtener fórmula es bien distinta. Para n ≥ 1, consideremos el polinomio
n
1 n k
Bn (x) = x .
k k
k=1
n n
1 n 2k
() = − Hn .
k k k
k=1 k=1
¿Ya está?, dirá el lector, ¿y la suma nk=1 2k /k? ¿Tiene fórmula cerrada? No, que sepa-
mos18 . En cualquier caso, nuestro dilecto viejo conocido Hn tampoco tiene fórmula cerrada.
Curiosamente, la suma alternada análoga tiene expresión más sencilla:
0
(1 + y)n − 1 1
zn − 1 1
Bn (−1) = dy = dz = (1 + z + · · · + z n−1 ) dz = Hn ,
−1 y 0 z−1 0
18
¡Helao mas dejao!
es decir,
n
1 k n
(−1) = Hn .
k k
k=1
A pesar de cuán diversas son en cuanto a admitir fórmula cerrada, y como es aparente,
las dos sumas son similares cuando n es grande. Vea el lector interesado los detalles en el
ejercicio 12.1.5. ♣
n
k=0 ak y diferencias an − an−1 . Nos interesa, para empezar, la
Versión preliminar, 9 de diciembre de 2018
C. Sumas parciales
sucesión de sumas parciales de (an )n≥0 , es decir, la sucesión (sn )n≥0 dada por
n
sn = aj = a0 + a1 + · · · + an , para todo n ≥ 0.
j=0
En términos de A(x) = n=0 an xn , ¿cuál es la función generatriz S(x) de (sn )n≥0 ? Bien
sencillo, basta multiplicar A(x) por 1/(1 − x) = ∞ n
n=0 x , la función generatriz de la sucesión
constante (1, 1, 1, . . .), pues por la regla del producto de Cauchy de sucesiones se tiene que
1
∞ ∞ ∞
n ∞
A(x) = 1 · xj an xn ) = 1 · aj xn = sn xn = S(x) .
1−x n=0 n=0 n=0
j=0 j=0
A(x) ∞ n
A(x) ←→ (an )∞ =⇒ ←→ ak .
n=0
1−x n=0
k=0
Tome nota, lector, de que si el radio de convergencia de A(x) es R > 0, entonces (le-
ma 12.1.2) el radio de convergencia de A(x)/(1 − x) es al menos mı́n(1, R), que es positivo
en cualquier caso.
Ejemplo 12.1.9 Calculemos de nuevo la suma de los primeros n números naturales.
Resultado bien conocido, ¿verdad, lector?19 , desde el ya lejano y gaussiano ejemplo 1.2.1.
Obtengámoslo una vez más, ahora mediante funciones generatrices. Como vimos unas páginas
atrás, la función x/(1 − x)2 es la función generatriz de la sucesión (0, 1, 2, 3, . . . ). Es decir,
que su coeficiente k-ésimo es, justamente, k.
Ahora, usando el lema 12.1.9, resulta que
1 x x
n ∞
= ←→ k
1 − x (1 − x)2 (1 − x)3 n=0
k=0
Pero como
∞
∞
∞
1 n+2 n x n + 2 n+1 n + 1 n
= x =⇒ = x = x ,
(1 − x)3 2 (1 − x)3 2 2
n=0 n=0 n=1
19
No lo niegue: hasta la cansina saciedad, ha dicho para sı́, querido lector.
deducimos que
n
n+1 n(n + 1)
sn = k= = , para n ≥ 1 .
2 2
k=0
Para n = 0 se tiene, claro, que s0 = 0.
Sı́, lector, argumentos análogos permiten obtener la suma de los primeros n cuadrados,
cubos, etc. (consúltense los ejercicios 12.1.2 y 12.1.3). ♣
n
Ejemplo 12.1.10 Función generatriz de la sucesión de números armónicos Hn = k=1 1/k,
Versión preliminar, 9 de diciembre de 2018
para n ≥ 1:
1 1 ∞
ln = H n xn .
1−x 1−x
n=1
Note lector cómo las operaciones de los lemas 12.1.9 y 12.1.10 son inversas una de la otra:
algo evidente en el lado de las funciones generatrices (dividir por (1 − x) y luego multiplicar
por (1 − x), o viceversa), y también en el lado de las sucesiones. Por ejemplo, si tomamos la
sucesión de diferencias dn = an − an−1 (con el convenio a−1 = 0 de antes) y calculamos sus
sumas parciales,
n n
dk = (ak − ak−1 ) = an ,
k=0 k=0
por simple cancelación telescópica. Y al revés, si tomamos la sucesión de sumas parciales sn
y calculamos diferencias,
n
n−1
sn − sn−1 = ak − ak = an .
k=0 k=0
El lector interesado podrá encontrar, en el ejercicio 12.1.6, cómo proceder si desea iterar
estas operaciones: bien haciendo sumas parciales de sumas parciales de. . . , bien diferenciando
diferencias ad infinitum.
sólo sobreviven22 los términos de ı́ndice par (multiplicados por 2), ası́ que
∞
A(x) + A(−x)
= an xn = a2k x2k .
2 n par k=0
A(x) + A(−x)
A(x) ←→ (an )∞
n=0 =⇒ ←→ (a0 , 0, a2 , 0, a4 , 0, a6 , 0, . . . ) .
2
La lista de coeficientes de (A(x) + A(−x))/2 tiene ceros en las posiciones impares, como
aquella que se obtenı́a, en el apartado de la composición, considerando A(x2 ). Las ponemos
en paralelo:
A(x) + A(−x)
←→ (a0 , 0, a2 , 0, a4 , 0, a6 , 0, . . . ) y A(x2 ) ←→ (a0 , 0, a1 , 0, a2 , 0, a3 , 0, . . . )
2
¡Atención!, en el filtrado del lema 12.1.11 han desaparecido los coeficientes de ı́ndice impar,
los a2j+1 ; en la evaluación en x2 simplemente se han esparcido y reubicado, pero no ha
desaparecido ninguno.
20
¡En la vida, querido lector, hay que tener sueños!
21
. . . cualquiera de los nuestros, claro.
22
¡Qué violencia!
Quizás el lector quiera combinar los dos efectos para conseguir la función generatriz P (x)
de la sucesión (a2k )k≥0 (sin los ceros intermedios). Obsérvese que
∞ ∞
A(x) + A(−x)
= a2k x2k , mientras que P (x) = a2k xk .
2
k=0 k=0
A(x) + A(−x)
Versión preliminar, 9 de diciembre de 2018
A(x) − A(−x)
A(x) ←→ (an )∞
n=0 =⇒ ←→ (0, a1 , 0, a3 , 0, a5 , 0, . . . ) .
2
Como antes, si nos interesamos por la función generatriz I(x) de la sucesión (a2k+1 )k≥0
(sin los ceros intermedios), observando que
∞ ∞
A(x) − A(−x)
= a2k+1 x2k+1 , mientras que I(x) = a2k+1 xk ,
2
k=0 k=0
se deduce que
A(x) − A(−x)
I(x2 ) = , para |x|2 < R ,
2x
√
lo que nos da que I(x) tiene radio de convergencia al menos R y que, si disponemos de una
expresión explı́cita para A(x), la fórmula para I(x) se obtiene sustituyendo x2 por x en la
expresión de (A(x) + A(−x))/(2x).
El lector inquieto estará ya preguntándose si existe, análogamente, un plan detallado para
seleccionar, por ejemplo, los términos de la sucesión cuyo ı́ndice sea un múltiplo de 3, o quizás
de 4, o más generalmente, de un entero m ≥ 2. Lo hay, sı́. Aunque, como se podrá imaginar,
no se trata de una operación tan sencilla como ésta del caso par o impar. El ejercicio 12.1.7
contiene los detalles. Aunque, ¡atención!, será allı́ necesario evaluar series de potencias en
números complejos, en concreto en las m-ésimas raı́ces de la unidad, para aprovechar sus
benditas propiedades combinativas. Por cierto, en el caso par hemos combinado A(x) con
A(−x); observe, lector, por si le pone sobre la pista, que 1 y −1, son las dos raı́ces cuadradas
de la unidad. Y ya puesto sobre la pista, no pierda la presa y consulte el citado ejercicio.
Ilustramos a continuación esta técnica de filtrado de coeficientes (pares y/o impares).
en x = 1.
No le ocultamos al lector23 que esto se sigue directamente de que kj=0 (−1)j kj = 0 para
cada k ≥ 1, que a su vez resulta simplemente de evaluar (1 + x)k = kj=0 kj xj en x = −1.
Por cierto, si en lugar de filtrar por múltiplos de 2 queremos filtrar por múltiplos de 3, la
respuesta no es, como ingenuamente pudiera pensarse, 2k /3, sino el más aparatoso
k 1
= 2k + 2 cos kπ3 , para k ≥ 1 .
3j 3
j≥0
El ejercicio 12.1.8 pide comprobar esta fórmula, ası́ como la correspondiente al caso de los
múltiplos de 4 y, además que, para cualquier N , la suma de coeficientes binómicos con ı́ndice
inferior que son múltiplos de un N e ı́ndice superior k vale aproximadamente 2k /N si k es
grande. ♣
Ejemplo 12.1.12 Filtrado de números de Fibonacci. Las funciones generatrices de los
números de Fibonacci de ı́ndice par y de ı́ndice impar son:
∞
∞
x 1−x
F2n xn = y F2n+1 xn =
1 − 3x + x2 1 − 3x + x2
n=0 n=0
1 ∞
F (x) + F (−x) x −x x2
G(x) = = + = = F2n x2n .
2 2 1 − x − x2 1 + x − x2 1 − 3x2 + x4
n=0
23
¡Faltarı́a más!. ¡Transparencia, transparencia!
24
¡Brrm!, ¡brrm!
Observe, lector, que G(x) es en realidad una función de x2 , y que en su desarrollo en serie de
potencias sólo aparecen potencias del tipo x2n . Definimos la función H(x) mediante H(x2 ) =
G(x) (es decir, cambiamos x2 por x en la fórmula de G(x)) para obtener que
∞
x
H(x) = = F2n xn
1 − 3x + x2
n=0
Con un argumento análogo, se obtiene que la función generatriz de los números de Fibo-
nacci de ı́ndice impar es
∞
1−x
F2n+1 xn = ;
n=0
1 − 3x + x2
un resultado que también se puede obtener a partir de la función generatriz H(x) de los
Fibonacci de ı́ndice par sin más que observar que F2n+1 = F2n+2 − F2n . ♣
12.1.1 Si f (x), g(x) y h(x) son las funciones generatrices de las sucesiones (an ), (bn ) y (cn ),
respectivamente, ¿cuáles son los coeficientes de la función f (x)g(x)h(x)?
12.1.2 Compruébese que
∞ ∞
n
x + x2 x + x2
= n2 xn y dedúzcase que = k 2
xn .
(1 − x)3 n=0
(1 − x)4 n=0 k=0
Versión preliminar, 9 de diciembre de 2018
Calcúlense los coeficientes de la función de la derecha para comprobar que que la suma de los prime-
ros n cuadrados vale n(n + 1)(2n + 1)/6. Constrúyase también el argumento que permite evaluar la
suma de los primeros n cubos.
12.1.3 Considérense las dos funciones
n
n
xn+1 − 1
f (x) = xk = y g(x) = k xk .
x−1
k=0 k=1
Compruébese que g(x) = xf (x). Obsérvese que g(1) = f (1) nos da el valor de la suma de los
n primeros números naturales. Calcúlese f (1), derivando directamente en la fórmula de f (x) (y
aplicando dos veces la regla de L’Hôpital). Constrúyase un argumento similar para comprobar que la
suma de los primeros n cuadrados vale n(n + 1)(2n + 1)/6.
12.1.4 Recordando, del ejercicio 8.3.1, que Fn2 + Fn+1
2
= F2n+1 para cada n ≥ 0, y apelando al
ejemplo 12.1.12, compruébese que
∞
x(1 − x)
Fn2 xn = .
n=0
1 − 2x − 2x2 + x3
del ejemplo 12.1.8. Téngalo a mano, lector. Comprobamos aquı́ que an ∼ bn , cuando n → ∞.
De hecho, como an = (2n+1 − 1)/n, se tiene que an ∼ 2n+1 /n cuando n → ∞. El objetivo del
ejercicio es comprobar que, asimismo,
2n+1
bn ∼ cuando n → ∞.
n
a) Observa primero que
n
n
1 n 1 n
bn = ≥ = an − 1,
k k k+1 k
k=1 k=1
Fijamos λ ∈ (0, 1) (que luego haremos tender a 1), para separar los sumandos importantes de la
suma de los que lo son menos, como sigue:
n
2k 2k 2k
bn < = + .
k k k
k=1 1≤k≤λn λn<k≤n
Comprueba que
Versión preliminar, 9 de diciembre de 2018
2k 2k 1 2n+1
≤ n 2λn , y que < .
k k λ n
1≤k≤λn λn<k≤n
para cualquier λ ∈ (0, 1), y, por consiguiente, que lı́m supn→∞ nbn /2n+1 ≤ 1.
12.1.6 Iteración de sumas parciales y de diferencias.
a) Partimos de una sucesión (an )n≥0 con función generatriz A(x). Consideramos primero la
sucesión de sumas parciales, que aquı́ denotamos como
n
sn1 = aj , para n ≥ 0 ,
j=0
k+1
Pretendemos obtener una fórmula para sn en términos de los (an ) de partida.
Prueba que, para cada k ≥ 0,
∞
1
sk+1
n xn A(x),
n=0
(1 − x)k+1
y deduce que
n
k+j
sk+1
n = an−j , para n ≥ 0 y k ≥ 0 .
j=0
k
1 1
Definamos la sucesión (dn )n≥0 de diferencias (de orden 1), dada por dn = an − an−1 , para
n ≥ 0. Su función generatriz es
∞
d1 n
n x = (1 − x)A(x) .
n=0
n=0
y deduce que
n
k
dk
n = (−1)j an−j , para n ≥ 0 y k ≥ 1 .
j=0
j
Filtrado de coeficientes
En los ejercicios que siguen usaremos algunas propiedades de las raı́ces N -ésimas de la unidad. Se
permite25 el uso liberal de argumentos complejos en las funciones generatrices involucradas.
12.1.7 Selección de coeficientes con ı́ndices múltiplos de un entero. Ya hemos visto que
si f (x) es la función generatriz de la sucesión (an ), entonces g(x) = (f (x) + f (−x))/2 genera la
sucesión (a0 , 0, a2 , 0, a4 , 0, a6 , . . . ). Descubriremos en este ejercicio cómo hallar la función generatriz
de la sucesión en la que sólo aparecen los términos de ı́ndice múltiplo de un cierto N .
a) Compruébese (a mano) que
(véase la página 32). Utilı́cese esto para comprobar que si f (x) genera la sucesión (an ), entonces
N
1
g(x) = f (ω j x) genera la sucesión (a0 , 0, . . . , 0, aN , 0, . . . , 0, a2N , 0, . . . ).
N j=1
c) Obsérvese que la función g(x) definida en el apartado anterior es una serie de potencias de xN .
Verifı́quese, finalmente, que la función h(x) definida a través de h(xN ) = g(x) genera la lista de
coeficientes (a0 , aN , a2N , a3N , . . . ).
25
¡Vaya!, muchas gracias, ¡qué magnanimidad!
k 1 k
N −1
l k
= 2 + (1 + ωN ) ,
Nj N
j≥0 l=1
12.1.9 Recordando que la función ex genera la sucesión (1/n!), y utilizando el ejercicio 12.1.7,
obténganse fórmulas explı́citas 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!
12.1.10 Compruébese, que análogamente a la derivación usual, para el operador D se cumple la regla
de Leibniz para derivadas de orden superior:
n
n
Dk (AB)(x) = Dk (A)(x) Dn−k (B)(x)
k
k=0
1 1
|an | < y |bn | < .
ρn ρn
B. Producto. Sea (cn )n≥0 la sucesión producto de Cauchy de (an )n≥0 y (bn )n≥0 . Conside-
remos la serie de potencias que tiene estos cn como coeficientes:
∞
∞
n
C(x) = cn xn = aj bn−j xn .
n=0 n=0 j=0
() RC ≥ mı́n{RA , RB } .
Observe lector, que, en particular, el lema nos dice que el radio de convergencia de C(x)
es positivo.
Demostración. Para verificar la cota () bastará comprobar que si 0 < ρ < mı́n(RA , RB ),
entonces RC ≥ ρ. Fijemos un tal ρ.
En virtud de la fórmula de Cauchy–Hadamard existe un entero N = Nρ ≥ 1 tal que
1 1
|an | ≤ y |bn | ≤ , para n > N .
ρn ρn
Como cada cn involucra todos los aj y todos los bj con j ≤ n, para acotar los cn será menester
disponer de cotas de los an y de los bn válidas para todos los n ≥ 0. Para ello argumentamos
como sigue: tomemos H = máx{|an |ρn ; 0 ≤ n ≤ N } y J = máx{|bn |ρn ; 0 ≤ n ≤ N } y,
finalmente, Mρ = máx{1, H, J}. Entonces,
Mρ Mρ
|an | ≤ y |bn | ≤ , para todo n ≥ 0 ,
ρn ρn
lo que nos permite acotar
n
n
1 1 1
|cn | ≤ |aj | |bn−j | ≤ Mρ2 j n−j
= Mρ2 (n + 1) n , para todo n ≥ 0.
ρ ρ ρ
j=0 j=0
Por consiguiente,
n 1
lı́m sup |cn | ≤ .
n→∞ ρ
La fórmula de Cauchy–Hadamard nos dice entonces que 1/RC ≤ 1/ρ, es decir, RC ≥ ρ, como
era menester.
Conviene notar, y hacemos constar, que RC puede ser mayor que mı́n{RA , RB }. Por
ejemplo, si A(x) = 1 − x, con coeficientes (1, −1, 0, 0 . . . ) y RA = +∞, y si B(x) = 1/(1 − x),
con coeficientes (1, 1, 1, . . . ) y RB = 1, entonces
Versión preliminar, 9 de diciembre de 2018
n
c0 = a0 b0 = 1 y cn = aj bn−j = a0 bn + a1 bn−1 = 1 − 1 = 0 para n ≥ 1,
j=0
∞
1+x 2x
A(x) = =1+ =1+2 xn ←→ (1, 2, 2, 2, . . . )
1−x 1−x
n=1
∞ ∞
1−x 2x
B(x) = = 1− = 1−2x (−1)n xn = 1+2 (−1)n xn ←→ (1, −2, 2, −2, 2, . . . )
1+x 1+x n=0 n=1
n
n−1
cn = aj bn−j = 2 · (−1)n + 4 (−1)j + 2,
j=0 j=1
que resulta ser 0, como se comprueba en un instante distinguiendo si n es par o impar. Ası́
que C(x) ≡ 1 y tiene radio de convergencia RC = +∞.
El lema 12.2.1 garantiza la convergencia de la serie de potencias C(x) en un entorno del
origen. El siguiente resultado comprueba que, en ese rango, la función C(x) es, de hecho, el
producto puntual de A(x) y B(x):
C(x) = A(x)B(x).
Por supuesto, lector, el teorema 12.2.2 se cumple trivialmente si A(x) y B(x) fueran
polinomios. Hacemos notar que si A(x) y B(x) fueran polinomios con grados a lo sumo k
entonces A(x)B(x) es un polinomio de grado a lo sumo 2k.
Demostración. Para cada entero N ≥ 0, denotamos por AN (x), BN (x) y CN (x), respec-
tivamente, a los polinomios que
se obtienen truncando A(x), B(x) y C(x) en el término de
grado N . Por ejemplo, AN (x) = N n
n=0 an x .
Para x tal que |x| < mı́n{RA , RB }, tenemos que lı́mN →∞ AN (x) = A(x), lı́mN →∞ BN (x) =
B(x) y lı́mN →∞ CN (x) = C(x).
Si tuviéramos que AN (x)BN (x) = CN (x), tomando lı́mites cuando N → ∞ ya tendrı́amos
el resultado buscado. Pero no, no es el caso, pero casi. Veamos.
Para N ≥ 0, consideremos una versión truncada de los cn que denotamos cN,n :
cN,n = aj bk .
k+j=n;
0≤k,j≤N
Versión preliminar, 9 de diciembre de 2018
¡Deuda saldada!26
26
¡Qué alivio!
Quizás, lector, no esté de más comprobar que si ya supiéramos que el producto A(x) B(x)
es una función que se puede representar como serie de potencias en un cierto intervalo (−δ, δ)
para cierto δ > 0, entonces∞la serie de potencias A(x)B(x) es precisamente C(x). Veamos.
n
Denotemos por D(x) = n=0 dn x a la serie de potencias A(x)B(x). Queremos ver que las
series D(x) y C(x) coinciden, es decir, que tienen los mismos coeficientes: dn = cn , para
n ≥ 0. Esto se sigue de la regla de Leibniz para la derivada n-ésima de un producto, pues
n j
dn D n d A dn−j B
n! dn = (0) = (0) n−j (0)
dxn j dxj
Versión preliminar, 9 de diciembre de 2018
dx
j=0
n
n
n
= j! aj (n − j)! bn−j = n! aj bn−j = n! cn , para k ≥ 0 .
j
j=0 j=0
en dos sentidos: si efectivamente C(x) viene dada por una serie de potencias (con cierto radio
de convergencia), y si ése es el caso, cómo se escriben sus coeficientes en términos de los de
A(y) y B(x).
Recuerde, lector, que la exigencia B(0) = 0 permite encontrar un entorno del 0 en el que
los valores de y = B(x) queden dentro del radio de convergencia de A(y), de manera que la
composición esté bien definida.
La respuesta a la cuestión, ya recogida en el lema 12.1.3, es que la serie de potencias de
la composición (A ◦ B)(x) de las dos series de potencias se obtiene sustituyendo formalmente
la y de la serie A(y) por y = B(x): las funciones se componen y las series se sustituyen.
Más concretamente, consideramos las sucesivas potencias de B(x): para cada k ≥ 0,
∞
B(x)k = b(k) n
n x , para |x| < RB .
n=k
(0) (0)
junto con el caso especial k = 0, para el que bn = 0 si n ≥ 1 y b0 = 1.
27
Lo que probablemente nos agradeció.
Como la fórmula de Cauchy–Hadamard sólo atiende a los valores absolutos de los coeficientes,
los radios de convergencia de las series B(x)
y B(x) coinciden. Además B(0) = 0, ası́ que
podemos hallar un radio T > 0 tal que T ≤ RB y de manera que
B(|x|) < RA , para |x| < T .
Observe, lector, que se tiene la siguiente comparación entre los coeficientes de las potencias
de B(x) y los de las potencias de B(x)
(k)
() bn ≤ bj · · · bj = b(k)
n , para n ≥ 0, k ≥ 0 .
1 k
j1 ≥1,...,jk ≥1
j1 +j2 +···+jk =n
Y, ya puestos y para completar, incorporemos al elenco a la serie de potencias A(y) dada
por
∞
A(y) = |an | xn
n=0
Teorema 12.2.3 (de sustitución de series de potencias) Con las notaciones anterio-
res, enfatizando que B(0) = 0, se tiene que para cada n ≥ 0, la serie numérica cn :=
∞ (k)
k=0 ak bn es absolutamente convergente.
Además, la composición A ◦ B es analı́tica y, de hecho,
∞
(A ◦ B)(x) = cn xn , para |x| < T .
n=0
Versión preliminar, 9 de diciembre de 2018
n=0 k=0
Esto nos dice para empezar que, en efecto, para cada n ≥ 0, la serie
∞
cn := ak b(k)
n
k=0
es absolutamente convergente.
Como la serie ( ) es convergente el siguiente intercambio de orden de sumación está
justificado:
∞
∞
∞ ∞
∞
∞
cn xn = ak b(k) n
n x = ak b(k) n
n x = ak B(x)k = A B(x)
n=0 n=0 k=0 k=0 n=0 k=0
En suma,
∞
cn xn = A B(x) , si |x| < T ,
n=0
n=0
Hemos escrito que el rango de la serie abarca desde n = 0 hasta n = ∞, pero, en realidad, la
suma se para en n = k, pues nk = 0, si n > k.
Además, para entero k ≥ 0 se tiene que
∞
xk n n
(‡) = x , para cada x ∈ (−1, 1) .
(1 − x)k+1 k
n=0
En realidad, podrı́amos comenzar la sumación en n = k pues nk = 0, si n < k.
Estas dos colecciones de funciones generatrices correspondientes a sucesiones de corte
binómico constituyen el caso de exponente α entero de la familia binómica que se deriva del
siguiente teorema.
Atención, insistimos, el teorema es válido para cualquier número real α ∈ R, entero o no,
positivo o negativo.28 El teorema afirma que para cualquier α el intervalo de convergencia de
la serie de potencias contiene al intervalo (−1, 1); en algún caso se tiene convergencia en un
intervalo mayor, por ejemplo29 si α es entero no negativo, en cuyo caso la serie de potencias
es, de hecho, un polinomio y se tiene convergencia en todo R.
Introducimos notación: para α ∈ R y n entero, n ≥ 1, llamamos coeficiente binómico
generalizado a
α α(α − 1) · · · (α − n + 1)
:= ;
n n!
para n = 0 convenimos α0 = 1, cualquiera que sea α ∈ R. Nótese que en el numerador de αn
aparecen
α un total de n factores. Por supuesto, cuando α es un entero mayor o igual que n,
n coincide con el habitual coeficiente binómico.
28
Parece ser que este resultado, en sucesivas generalizaciones de los α admisibles (entero, racional, real), es
debido a Newton, Maclaurin, Euler y, finalmente, Abel. Nada menos.
29
En realidad, éste es el único caso: el radio de convergencia de una serie binómica es R = 1 si α no es un
entero no negativo, mientras que R = +∞ si α es un entero no negativo.
términos, el teorema (general) del binomio nos dice que para cada α ∈ R la
En estos
sucesión αn , con n ≥ 0, es lenta (y da lugar a radio de convergencia al menos 1), y que su
función generatriz es la función (1 + x)α .
Note lector que para α ∈ R y x ∈ (−1, 1), la cantidad (1 + x)α es un número real bien
definido. Prudentemente30 nos restringimos a ese intervalo para evitar problemas como la
combinación x = −1 y α < 0. Observe lector que
d
(1 + x)α = α(1 + x)α−1 , para x ∈ (−1, 1) ,
Versión preliminar, 9 de diciembre de 2018
dx
y, en general, que
dn α
n
(1 + x) = α(α − 1)(α − 2) · · · (α − n + 1) (1 + x)
α α−n
= n! (1 + x)α−n ,
dx n
lo que en x = 0 nos da que
dn
α α
n
(1 + x) x=0 = n! .
dx n
α n
Esto significa que la serie de potencias ∞ n=0 n x es la serie de Taylor de x
→ (1 + x) y
α
El teorema (general) del binomio con exponente α = −(k + 1) nos dice entonces que
∞
−(k+1) n k+n
(1 + x) = (−1) xn , para todo x ∈ (−1, 1) .
k
n=0
Antes de abordar la demostración del teorema 12.2.4, vamos a exhibir dos casos particu-
lares relevantes adicionales, a saber, los que corresponden a los exponentes a α = ±1/2.
Ejemplo 12.2.2 El caso α = 1/2 y los números de Catalan.
√
Buscamos el desarrollo en serie de potencias de la función 1 + x, para |x| < 1:
∞
√ 1/2 1/2 n
1 + x = (1 + x) = x .
n
n=0
1/2
Versión preliminar, 9 de diciembre de 2018
¡Vaya, vaya! La función de la izquierda genera una sucesión de números que son ya viejos
conocidos, los números Cn de Catalan,
1 2n
Cn = , para n ≥ 0 ,
n+1 n
sobre cuyas interpretaciones combinatorias nos extendimos en el ejemplo 2.3.2 y cuya expre-
sión explı́cita ya habı́amos obtenido en el ejemplo 5.1.6. En suma,
√ ∞ √ ∞
1 − 1 − 4x n+1 1 − 1 − 4x
= Cn x y por tanto, = Cn xn
2 2x
n=0 n=0
−1/2 1 2n
n
= (−1) 2n , para n ≥ 1 .
n 2 n
∞
1 n 1 2n n
√ =1+ (−1) 2n x , para x ∈ (−1, 1) ,
1+x 2 n
n=1
o, con el cambio −x → x,
∞
1 1 2n n
() √ =1+ x , para x ∈ (−1, 1) .
1−x n=1
22n n
d 1
arc sen(x) = √ , para x ∈ (−1, 1) ,
dx 1 − x2
Por cierto, como todos los coeficientes de este desarrollo son positivos, se tiene (véase el
abeliano lema 4.3.6) que
1 ∞
π 2n 1
= lı́m arcsin(x) = .
2 x↑1 22n n 2n + 1
n=0
¡Qué cosas!
El desarrollo del arcocoseno se obtiene sin más que observar que arc cos(x) = π/2 −
arcsin(x) para todo x ∈ (−1, 1):
∞
π 1 2n 1
arc cos(x) = − x2n+1
2 n=0 22n n 2n + 1
1 2n n
√ = x ,
1 − 4x n
n=0
válido para |x| < 1/4. Este último desarrollo en serie de potencias se obtiene del ejemplo 12.2.2
sin más que observar que
1 − √1 − 4x 1
=√ , cuando |x| < 1/4 .
2 1 − 4x ♣
Por cierto, el que este lı́m sup no excede 1 se deduce asimismo de que
∞
n+k n 1
x = , para todo x ∈ (−1, 1) .
k (1 − x)k+1
n=0
∞ α
Ası́ que el radio de convergencia de la serie de potencias n=0 n xn es al menos 1.
Confirmación de que Bα (x) = (1 + x)α , para x ∈ (−1, 1).
Por tanto,
Bα (x) = α Bα (x) − xBα (x) , para todo x ∈ (−1, 1) ,
Versión preliminar, 9 de diciembre de 2018
es decir,
Bα (x)(1 + x) = αBα (x) , para todo x ∈ (−1, 1) .
Utilizando esta identidad, deducimos que, para todo x ∈ (−1, 1),
B (x) B (x) (1 + x)α − B (x) α (1 + x)α−1
α α
= α = 0.
(1 + x)α (1 + x)2α
Q(x) = (x − α1 )(x − α2 ) · · · (x − αm )
Tratemos primero el caso en que las raı́ces αj de Q(x) son raı́ces simples, es decir, de
multiplicidad 1. En este caso, la descomposición en fracciones simples de P (x)/Q(x) es
P (x) cj
m
=
Q(x) x − αj
j=1
para ciertas constantes cj que dependen, claro, del polinomio P . Esta identidad es válida
para todo x: cuando x = αj ambos lados de la identidad se hacen infinito.
Versión preliminar, 9 de diciembre de 2018
P (x) −cj n
∞ m
f (x) = = x .
Q(x) αn+1
j
n=0 j=1
1
Ejemplo 12.2.4 Desarrollo de f (x) = en serie de potencias de x.
x2 − 2x + 2
En este caso Q(x) = x2 − 2x + 2 tiene raı́ces 1± i. La descomposición en fracciones simples
nos da
1 i 1 i 1
= − ,
x2 − 2x + 2 2 ((1 + i) − x) 2 ((1 − i) − x)
de donde
i
∞
1 1 1
= − xn .
x2 − 2x + 2 2 (1 + i)n+1 (1 − i)n+1
n=0
√
Escribiendo 1 ± i = 2 exp(±iπ/4) y tras la pertinente manipulación compleja obtenemos
∞
sen(π(n + 1)/4)
1
= √ n+1 xn .
x2 − 2x + 2 n=0 2
Este ejemplo ilustra la aseveración de más arriba de que el álgebra de los números complejos
ya se encargará de exhibir los coeficientes de Taylor cómo números reales. ♣
En el caso de que Q(x) tenga raı́ces múltiples, la descomposición en fracciones simples de
P (x)/Q(x) resulta en una suma de sumandos del tipo
c
,
(x − α)j
con α = 0 y entero j ≥ 2, que tienen desarrollos explı́citos tales como
∞
c j n+j−1 1
= (−1) c xn
(x − α) j
n=0
j − 1 α j+n
En el ejemplo 7.5.1 del capı́tulo dedicado a los polinomios ya obtuvimos que la descom-
posición de f (x) en fracciones simples es
1+i 1 1−i 1 1 1 1
f (x) = −3 − x + + − − .
4 1 − ix 4 1 + ix 2 1 − x (1 − x)2
Si preferimos la descomposición real, podemos sumar los dos sumandos con números comple-
jos (que son conjugado uno del otro, ası́ que su suma será real) y obtener
1 1−x 1 1 1
f (x) = −3 − x + − − .
21+x 2 2 1 − x (1 − x)2
Para el desarrollo en serie de potencias de f (x) podemos usar, indistinta y equivalen-
temente, bien la descomposición compleja para luego pasar a real el desarrollo complejo
obtenido, bien utilizar directamente la descomposición real.
Si optamos por la primera alternativa, usamos la serie geométrica (y familia) para desa-
rrollar en serie de potencias:
∞
1+i n 1−i 1 n+1 n
f (x) = −3 − x + i + (−i) − −
n
x
4 4 2 1
n=0
∞ n in+1 3
i
= −3 − x + 1 + (−1)n + 1 − (−1)n − − n xn .
n=0
4 4 2
asunto éste, querido lector, de lo más clásico, una joya de (la historia de)
las matemáticas. El planteamiento de esta cuestión se remonta al me-
nos hasta Pietro Mengoli en 1644. Recuerde lector que el cura Mengoli
sabı́a (y ası́ se lo comunicó al mundo33 ) que la serie armónica divergı́a Figura 12.1: Johann
(y
∞ seguirá divergiendo por los siglos de los siglos, amén), y también que Bernoulli
n=1 1/(n(n + 1)) = 1. Ası́ que, puestos en modo matemático, pregun-
tarse por la suma de los recı́procos de los cuadrados era (es) completa-
mente natural, y hasta inevitable.
Fue Jacob Bernoulli quien desde Basilea (de ahı́ lo de problema de Basilea), popularizó
el reto de calcular (), proclamando, cuando claudicó en su empeño de resolverlo:
[. . . ] serı́a muy grande nuestro agradecimiento si alguien nos comunicara este cálculo
que, hasta ahora, ha eludido nuestros esfuerzos.
[. . . ] de este modo el más ferviente deseo de mi hermano se hace realidad. . . ¡si estu-
viera aquı́!
Por supuesto, lector, la suma de () es finita, porque, como 2n2 ≥ n(n + 1) para cada
n ≥ 1, se tiene
∞ ∞
1 1
2
≤ 2 = 2.
n=1
n n=1
n(n + 1)
Imbuidos como estamos del puro espı́ritu de usuario de funciones generatrices ineludible-
mente hemos de considerar y consideramos la serie de potencias:
∞
1 n
f (x) = x .
n=1
n2
Esta serie de potencias tiene a (−1, 1) como intervalo de convergencia. Por el lema 4.3.6 del
lı́mite de Abel, la suma de (†) es simplemente lı́mx↑1 f (x).
En el estudio de la derivación de funciones generatrices en el apartado 12.1 ya nos las
vimos con esta serie de potencias. En concreto, en la discusión que sigue al lema 12.1.8, vimos
que, para |x| < 1,
x
1 1
∞
1 n
f (x) = x = ln dy ,
n2 0 y 1−y
n=1
Con una pizca de ingenio, podemos evitar el moderadamente amenazante logaritmo y rees-
cribir (†) en la forma
∞ 1 1
1 1
(††) = dy dx ,
n2 0 0 1 − xy
n=1
Pero bueno, dirá el lector, ¿tan difı́cil es calcular la integral doble (††)?: se integra sobre
el cuadrado [0, 1] × [0, 1] la función (x, y)
→ 1/(1 − xy), ni el dominio de integración ni la
función a integrar parecen entrañar dificultades35 .
35
Las hay. Pero se puede lidiar con ellas. Consulte el lector interesado el artı́culo A proof that Euler missed:
evaluating ζ(2) the easy way, de Tom Apostol (“The Mathematical Intelligencer, vol. 5 (1983), no. 3, 59–60.
¡Vaya! ¡Puf! Hace falta algo más. ¡Puf!36 Por favor, que entre Euler en escena, ya, pero
ya. Sutilı́sima, inopinada, mágica e insospechadamente, Euler apela al desarrollo de Taylor
del arcoseno. En el ejemplo 12.2.3 obtuvimos, lector, ese desarrollo:
∞
1 2n 1
(‡) arcsin(x) = 2n
x2n+1 para −1 < x < 1.
n=0
2 n 2n + 1
I=√ dx
0 1 − x2
de dos maneras diferentes y al comparar los resultados de los cálculos casi aflorará la buscada
suma de la serie.
√
(a) Como arcsin (x) = 1/ 1 − x2 , tenemos que
1
arcsin(x)2 1 π 2
I= arcsin(x) d(arcsin(x)) = = .
0 2 0 8
(b) Usando37 el desarrollo en serie de potencias () se obtiene que
1 ∞ ∞ 1 2n+1
1 2n 1 dx 1 2n 1 x
I= x 2n+1
√ = √ dx .
0 n=0
22n n 2n + 1 1−x 2
n=0
22n n 2n + 1 0 1 − x2
La última integral se obtuvo in illo tempore en el ejemplo 8.1.21:
1 2n+1
x 22n 1
√ dx = 2n ,
0 1−x 2
n
2n +1
lo que sumado al cálculo anterior nos dice que
1
I= .
n2
n impar
de donde
∞
∞
1 4 1 4 π2 π2
= = = .
n2 3 (2k + 1)2 3 8 6
n=1 k=0
36
. . . según consta que dijo en este punto Jacob Bernoulli mientras su mirada se perdı́a a través de los
cristales de la ventana en el infinito. . .
37
Queda como ejercicio para el lector con inclinaciones hacia el análisis matemático comprobar que se
pueden intercambiar los sı́mbolos de integración y sumación. Puede, por ejemplo, considerar la integral entre
0 y 1 − ε, donde tenemos convergencia uniforme, y concluir con un argumento de monotonı́a.
12.2.1 Sean A(x) y B(x) dos series de potencias con radios de convergencia respectivos RA y RB ,
ambos positivos. Sea C(x) la serie suma C(x) = A(x) + B(x) y RC su radio de convergencia.
Compruébese que si RA = RB entonces RC = mı́n(RA , RB ).
Compruébese que si RA = RB , entonces RC puede tomar cualquier valor en el rango [mı́n(RA , RB ), +∞].
12.2.2 Sea 0 < a < b < c. Dénse ejemplos de series de potencias A(x), B(x) y C(x) con radios de
convergencia respectivos a, b y c y tales que A(x)B(x) = C(x), para cada x ∈ (−a, a).
12.2.3 Obténgase el desarrollo en serie de potencias de x de las funciones (1 ± x)m/2 , con m entero.
Versión preliminar, 9 de diciembre de 2018
da lugar a una función racional si y sólo si hay un entero positivo k, números r1 , r2 , . . . , rk y polinomios
p1 (x), p2 (x), . . . , pk (x) y entero M > 0 tales que
∞ n
∞ n
12.2.5 Sean A(x) = n=0 an x y B(x) = n=0 bn x dos funciones racionales con radios de
convergencia RA > y RB > 0. Considérese la serie de potencias C(x) dada por (producto de Hadamard
de A(x) y B(x))
∞
C(x) = (an bn )xn
n=0
que tiene radio de convergencia ≥ RA · RB , y demuéstrese que C(x) es una función racional.
12.2.6 La que sigue es una demostración alternativa, también de Euler, de que ∞ 2 2
n=1 1/n = π /6.
Partimos del siguiente polinomio de grado m:
m
2m + 1
Pm (x) = (−1)j xm−j .
j=0
2j + 1
Utilizando la fórmula de de Moivre (lema 1.1.1) y la fórmula del binomio, se comprueba que
a) Compárense las partes imaginarias de las dos fórmulas anteriores para deducir que
e) Ahora vamos a utilizar las dos siguientes estimaciones de tamaño de la función cotangente.
Por un lado,
1
cot θ < (si θ ∈ (0, π/2)).
θ
Por otro, como sen θ < θ si θ ∈ (0, π/2), se tiene que
cos2 θ 1 1
cot2 θ = = −1> 2 −1 (si θ ∈ (0, π/2)).
sen2 θ sen2 θ θ
Utilı́cense 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
f) Por último, pásese al lı́mite m → ∞ en las desigualdades del apartado anterior para obtener el
resultado deseado.
F (x) = Fn xn ,
n=0
dimos dos pasos:
1. Traducción de las condiciones sobre los Fn (recurrencia y condiciones iniciales) en una
ecuación sobre F :
F (x) = (x + x2 ) F (x) + x,
que tras despejar da una expresión explı́cita para F :
x
F (x) = .
1 − x − x2
2. Desarrollo en serie de potencias (con la técnica de la descomposición en fracciones
simples) de la expresión de la función F , para obtener la fórmula de Binet:
√ √
1 1 + 5 n 1 − 5 n
Fn = √ − , para n ≥ 0 ,
5 2 2
que, en suma, nos da la solución de la ecuación en recurrencias.
Como vamos a ver en los apartados que siguen, ese mismo planteamiento puede aplicarse,
con ligeras variaciones, a la resolución de recurrencias generales. Discutiremos para empezar
el caso de las recurrencias lineales, homogéneas y con coeficientes constantes como la de
Fibonacci, para a continuación extender y adaptar el enfoque primero a ecuaciones lineales
más generales, luego a recurrencias en dos variables, y, finalmente, a sistemas lineales de
recurrencias.
Lo primero, ¿verdad lector?, deberı́a ser comprobar que la serie de potencias anterior tiene
radio de convergencia positivo. Por no interrumpir el relato, postponemos esta comprobación
al lema 12.3.2, y proseguimos centrándonos en describir una expresión cerrada (una fórmula,
vaya) de la función generatriz A(x) de (an )n≥0 .
Lo vamos a hacer únicamente41 en el caso en que la sucesión (an )n≥0 cumpla una recu-
rrencia lineal homogénea de coeficientes constantes y de grado r = 3. Este caso particular
Versión preliminar, 9 de diciembre de 2018
ya contiene todos los ingredientes (del caso de grado r general), y nos ahorra una pizca de
notación, lo que siempre es de agradecer.
Supongamos que los an cumplen la recurrencia
con condiciones iniciales aj = γj , para j = 0, 1, 2. Aquı́ los βj y los γj son parámetros dados.
Entendemos, claro, que β3 = 0, para que la ecuación sea de grado (exactamente) 3.
Consideremos el polinomio B(x) = 3j=1 βj xj que codifica los coeficientes de la recurren-
cia (nótese que B(0) = 0), y los polinomios
vinculados a las condiciones iniciales. Note, amable lector, la peculiar indexación que hemos
elegido para estos polinomios Cj (x). Recalcamos que el polinomio B(x) y los polinomios
Cj (x) son datos. Por supuesto, la inclusión de ese conspicuo C3 (x) ≡ 0 es pura conveniencia
notacional.
Remedamos ahora (paso a paso) el argumento de la resolución de la recurrencia de Fibo-
nacci de la introducción del capı́tulo, aplicando las condiciones iniciales (CI) en los primeros
términos, la regla de recurrencia (R) a partir del coeficiente n = 3, y efectuando las habitua-
les manipulaciones con las funciones generatrices que van apareciendo, al tiempo que vamos
incorporando en la expresión los polinomios anteriores:
∞
∞
n (CI+R) 2
A(x) = an x = γ0 + γ1 x + γ2 x + (β1 an−1 + β2 an−2 + β3 an−3 ) xn
n=0 n=3
∞
∞
∞
n n
= C0 (x) + β1 an−1 x + β2 an−2 x + β3 an−3 xn
n=3 n=3 n=3
∞ ∞
∞
n−1 2 n−2 3
= C0 (x) + β1 x an−1 x + β2 x an−2 x + β3 x an−3 xn−3
n=3 n=3 n=3
∞ ∞
∞
= C0 (x) + β1 x an xn + β2 x2 an xn + β3 x3 an xn
n=2 n=1 n=0
= C0 (x) + β1 x (A(x) − C1 (x)) + β2 x (A(x) − C2 (x)) + β3 x3 (A(x) − C3 (x)) ,
2
41
Postponen la cuestión de la convergencia, ahora se parapetan en un caso sencillo. . . están medio blandetes.
es decir,
3
A(x) 1 − B(x) = C0 (x) − βj xj Cj (x) ,
j=1
y, finalmente, 3
C0 (x) − j=1 βj xj Cj (x)
A(x) = .
1 − B(x)
Lo interesante de esta fórmula es que nos dice que la función generatriz A(x) resulta
Versión preliminar, 9 de diciembre de 2018
3 una función
ser racional A(x) = P (x)/Q(x), donde P (x) es el polinomio P (x) = C0 (x) −
j=1 βj x Cj (x) y donde Q(x) es el polinomio Q(x) = 1 − B(x). El numerador P (x) tiene
j
Proposición 12.3.1 Sea (an )n≥0 una sucesión y A(x) su función generatriz.
Los (an ) satisfacen una regla de recurrencia de grado r como la de la ecuación () si
y sólo si la función generatriz A(x) es una función racional A(x) = P (x)/Q(x), donde el
denominador Q(x) no se anula en x = 0 y tiene grado r, y P (x) tiene grado a lo sumo r − 1.
Como el polinomio P (x) tiene, por hipótesis, grado a lo sumo r − 1, se tiene que
coef[n] A(x)(1 − B(x) = 0 , para n ≥ r .
Pero esto significa que, para n ≥ r, aplicando la regla del producto de Cauchy,
n
r
0 = an − βj an−j = an − βj an−j .
j=1 j=1
Nótese cómo la suma se trunca en j = r porque ése es el grado de B(x). De manera que
los an cumplen la ecuación en recurrencia
r
an = βj an−j , para n ≥ r ,
j=1
que es una ecuación de grado r, puesto que βr = 0, ya que el polinomio B(x) = 1 − Q(x)
tiene grado r.
En el enunciado anterior se asume que los (an )n≥0 cumplen la ecuación () de grado r
en sentido estricto, es decir, para n ≥ r. El ejercicio 12.3.7 pide comprobar el resultado
correspondiente cuando nos conformamos con que la ecuación en recurrencias se cumpla en
sentido laxo: para n ≥ N , con N ≥ r, no necesariamente N = r.
1
RA ≥ .
1+Υ
Demostración. Sea Δ = máxj=0,1,...,r−1 {|aj |}. Vamos a comprobar (por inducción) que
Para los |aj | con 0 ≤ j ≤ r − 1, esta cota se cumple por la mera definición de Δ y porque
1 + Υ ≥ 1. Dado m ≥ r, supongamos que la acotación se cumple para 0 ≤ n < m. Usamos
la recurrencia, la hipótesis de inducción, la definición de Υ y la fórmula de la suma de una
progresión geométrica para acotar |am |:
r
r
r
m
|am | ≤ |βj | |am−j | ≤ Υ |am−j | ≤ Δ · Υ (1 + Υ) m−j
≤Δ·Υ (1 + Υ)m−j
j=1 j=1 j=1 j=1
m−1
(1 + Υ)m − 1
=Δ·Υ (1 + Υ)j = Δ · Υ < Δ · (1 + Υ)m ,
(1 + Υ) − 1
j=0
1
RA ≥ ,
1+Υ
como querı́amos.
El ejercicio 12.3.2 pide, lector, extender (casi remedar) el argumento del ejemplo 12.3.1
para comprobar que si A(x) es la función generatriz de una sucesión (an )n≥0 que cumple una
recurrencia (lineal de coeficientes constantes de grado r, pero no homogénea)
r
an = βj an−j + P (n) , para n ≥ r,
j=1
donde P es un polinomio dado, entonces A(x) es una función racional que usando la técnica
de fracciones simples se puede desarrollar directamente en serie de potencias.
Como ilustración de lo que puede ocurrir al manejar recurrencias lineales con coeficientes
no constantes, consideremos el siguiente ejemplo:
Ejemplo 12.3.2 Consideramos la sucesión de números (an ) dada por a0 = 1 y
2n
(n + 1) an+1 = 3 an + , para cada n ≥ 0.
n!
Tras identificar las series de potencias que aquı́ aparecen, a saber de izquierda a derecha, la
derivada de A(x), la propia A(x) y la función e2x , obtenemos la ecuación que debe verificar
la función generatriz:
(†) A (x) = 3 A(x) + e2x .
Lector, ésta es una ecuación diferencial (lineal de orden 1 con coeficientes constantes) para
A(x). Y aunque este tipo de ecuaciones no forman parte del (casi inabarcable) negociado
del que trata este libro, para no dejarle con la intriga, le proponemos el siguiente truco para
resolverla, conocido en los ambientes43 como “de factor integrante”: multiplicando A(x) por
e−3x , derivando y aplicando (†) obtenemos
A(x)e−3x = A (x) e−3x − 3A(x)e−3x = e−3x A (x) − 3A(x) = e−3x e2x = e−x .
de donde obtenemos
1
(2 · 3n − 2n ) ,
an = para n ≥ 0 ,
n!
la expresión de los an que andábamos buscando. ♣
En algunas de las ecuaciones de recurrencia que vimos en el apartado 8.1, el término
general de la sucesión depende de todos los anteriores:
43
Diferenciales, ellos.
44
El lector avisado y ducho en la resolución de ecuaciones diferenciales lineales de coeficientes constantes
se habrá percatado de que e−2x es una solución particular de (†) y de que b e3x es la solución general de la
ecuación homogénea A (x) = 3 A(x).
Ejemplo 12.3.3 En el ejemplo 8.1.9 del capı́tulo de recurrencias veı́amos que los núme-
ros Mn , que cuentan el número de posibles montones (con ciertas caracterı́sticas especiales)
de barriles con n de ellos en la primera fila, cumplen que
n−1
Mn = 1 + (n − j)Mj para cada n ≥ 2,
j=1
de donde asimismo se deduce directamente y con mucha menos faena la identidad () usando
que M0 = 0 y que M1 = 1.
Para obtener el requerido desarrollo de potencias de M (x) podrı́amos aplicar la técnica de
fracciones simples. Si ası́ procediéramos, los Mn aparecerı́an√como expresiones que combinan
potencias de las dos raı́ces del denominador, a saber, (3 ± 5)/2. ¡Caramba!
45
Preferiblemente suyo, el dedo.
Pero alternativamente podemos tirar de memoria y evocar el ejemplo 12.1.12 que nos dice
que la función generatriz de los números de Fibonacci de ı́ndice par viene dada por
∞
x
F2n xn =
1 − 3x + x2
n=0
n=0
de donde
Mn = F2n − F2(n−1) = F2n−1 , para cada n ≥ 1 .
¡Voilà!, como ya sabı́amos del mencionado ejemplo 8.1.9 del capı́tulo de recurrencias. ♣
Si la ecuación en recurrencias no es lineal, las dificultades aumentan considerablemente,
y sólo en casos muy particulares vamos a disponer de métodos de resolución explı́cita. Por
su especial relevancia en cuestiones combinatorias, proponemos considerar a continuación el
siguiente ejemplo.
Ejemplo 12.3.4 La sucesión de los números de Catalan (Cn ) viene definida por
n−1
Cn = C0 Cn−1 + C1 Cn−2 + · · · + Cn−2 C1 + Cn−1 C0 = Ck Cn−1−k para cada n ≥ 1,
k=0
si convenimos en que C0 = 1.
En el ejemplo 5.1.6 obtuvimos ya una fórmula para estos números. Ahora abordamos la
cuestión utilizando funciones generatrices. Si C(x) es la función generatriz de la sucesión (Cn ),
∞
∞
k−1 ∞
k−1
k k
C(x) = Ck x = 1 + Cj Ck−1−j x = 1 + x Cj Ck−1−j xk−1
k=0 k=1 j=0 k=1 j=0
∞
n
=1+x Cj Cn−j xn = 1 + x C 2 (x) ,
n=0 j=0
Ahora sólo resta visitar el ejemplo 12.2.2 del apartado sobre la familia binómica que nos daba
√ ∞
1 − 1 − 4x 1 2n n
= x ,
2x n+1 n
n=0
de donde se obtiene, usando que C(n − 1, 0) = 1, la siguiente recurrencia para las funciones
generatrices fn (x):
fn (x) = (1 + x) fn−1 (x) para cada n ≥ 1.
Si ahora iteramos esta relación hasta llegar al valor inicial, f0 (x) ≡ 1, se deduce que
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) xn−1 + x C(n − 1, k) xn−1
n=1 n=1
∞ ∞
=x C(n, k − 1) xn + C(n, k) xn ,
n=0 n=0
de donde
gk (x) = x gk−1 (x) + x gk (x) ;
esto es,
x
gk (x) = gk−1 (x) para cada k ≥ 1.
1−x
De nuevo, iterando, llegamos a que
2 k
x x x xk
gk (x) = gk−1 (x) = gk−2 (x) = · · · = g0 (x) = .
1−x 1−x 1−x (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
Fı́jese, lector, en que para cada n fijo, fn (x) codifica los coeficientes binómicos de un “piso”
del triángulo de Tartaglia (en realidad, un número finito de coeficientes):
n n n n
fn (x) = (1 + x)n
←→ , , ,..., , 0, 0, . . . .
0 1 2 n
Mientras que, para k fijo, gk (x) codifica (la sucesión infinita de) los coeficientes binómicos de
una diagonal:
xk k k+1 k+2
Versión preliminar, 9 de diciembre de 2018
gk (x) = ←→ 0, 0, . . . , 0, , , ,... .
(1 − x)k+1 k k k ♣
que es una regla de recurrencia que involucra derivadas, y que por tanto se salen del marco
de las recurrencias tratadas aquı́.
b) Definimos ahora, para cada k ≥ 1, la función generatriz
∞
∞
Fk (x) = S(n, k) xn = S(n, k) xn .
n=0 n=k
es decir,
x
si k ≥ 2 ,
Versión preliminar, 9 de diciembre de 2018
k
x 1 k
Fk (x) = = xk , para cada k ≥ 1.
1 − jx 1 − jx
j=1 j=1
k
1 γj
k
k
Fk (x) = x = .
1 − jx 1 − jx
j=1 j=1
Queremos obtener los coeficientes γj (que, como k está fijo, para no sobrecargar la notación,
(k)
no decoramos γj ). Fijemos 1 ≤ l ≤ k. Multiplicando Fk (x) por (1 − lx) y tomando lı́mite
cuando x → 1/l, obtenemos, usando la expresión de Fk (x) como producto, que
1 1 1 1
lı́m Fk (x) (1 − lx) = = (−1)k−l ;
x→1/l l k 1 − j/l l! (k − l)!
1≤j≤k;
j
=l
k
1 k (−1)k−j
Fk (x) = .
k! j 1 − jx
j=1
Podemos desarrollar ahora cada uno de los sumandos 1/(1 − jx) e intercambiar orden de
sumación, que es legal pues se trata de una suma finita de series de potencias, para obtener
que
Versión preliminar, 9 de diciembre de 2018
k ∞ ∞ k
1 k k−j
n n
1 k
Fk (x) = (−1) j x = (−1)k−j j n xn .
k! j n=0 n=0
k! j
j=1 j=1
En conjunto, obtenemos el siguiente sistema de ecuaciones que han de cumplir A(x) y B(x):
A(x)(1 − 3x) = 1 + xB(x) ,
B(x)(1 − x) = 2x A(x) ;
Versión preliminar, 9 de diciembre de 2018
recuerde, lector, que las “incógnitas” son aquı́ las series A(x) y B(x). Resolviendo este sistema
obtenemos que
1−x 2x
A(x) = 2 y B(x) = 2 .
x − 4x + 1 x − 4x + 1
Finalmente, desarrollando en serie de potencias se obtiene la solución de la cuestión planteada:
∞ √ √
3+ 3 √ n 3− 3 √ n n
A(x) = (2 + 3) + (2 − 3) x
6 6
n=0
∞ √ √
3 √ n 3 √
B(x) = (2 + 3) − (2 − 3)n xn
n=0
3 3
Los coeficientes de A(x) y de B(x) son, respectiva y justamente, las sucesiones (an )n≥0 y
(bn )n≥0 que satisfacen el sistema de recurrencias y las condiciones iniciales. ♣
12.3.1 Sea (an )n≥0 una sucesión y sea A(x) su función generatriz.
Demuéstrese que si los an cumplen una cierta ecuación en recurrencias lineal homogénea con
coeficientes constantes de grado r para n ≥ N (no necesariamente N = r), entonces A(x) es una
función racional A(x) = P (x)/Q(x) donde el polinomio Q no se anula en x = 0 y tiene grado r y
donde el polinomio P tiene grado a lo sumo N − 1.
Demuéstrese el enunciado recı́proco.
12.3.2 Este ejercicio extiende el ejemplo 12.3.1.
(a) Sea P (x) un polinomio cualquiera. Compruébese que
Versión preliminar, 9 de diciembre de 2018
∞
P (n) xn es una función racional .
n=0
Conviene quizás, lector, comprobar primero que para cualquier entero k ≥ 0 se tiene que
∞
d (k) 1
nk xn = x ,
n=0
dx 1−x
donde (x d/dx)(k) significa aplicar sucesivamente k veces la operación de derivar primero y luego
multiplicar por x.
(b) Supóngase que β1 , β2 , . . . , βr y α0 , α1 , . . . , αr−1 son números reales y que P (x) es un polinomio.
Consideremos la siguiente ecuación en recurrencias (lineal con coeficientes constantes, de grado r, no
homogénea con término de no homogeneidad polinómico)
r
an = βj an−j + P (n) , para n ≥ k ,
j=1
Obténganse las respectivas funciones generatrices y compruébese que an = An = F2n para cada n ≥ 1.
12.3.6 Para cada n, k ≥ 0, llamemos b(n, k) al número de subconjuntos de {1, 2, . . . , n} de tamaño
k que no contienen enteros consecutivos (esta cuestión ya la tratamos en el ejercicio 5.1.16 y, con
un lenguaje distinto, pero equivalente, en el apartado 8.3.5). Nótese 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) Pruébese 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ón generatriz de los b(n, k) para cada k fijo. Compruébese que
1 x x2
F0 (x) = , F1 (x) = , Fk (x) = Fk−1 (x), si k ≥ 2.
1−x (1 − x)2 1−x
12.3.7 Sea (an )n≥0 una sucesión y sea A(x) su función generatriz.
Demuéstrese que si los an cumplen una cierta ecuación en recurrencias lineal homogénea con
coeficientes constantes de grado r para n ≥ N (no necesariamente N = r), entonces A(x) es una
función racional A(x) = P (x)/Q(x) donde el polinomio Q no se anula en x = 0 y tiene grado r y
donde el polinomio P tiene grado a lo sumo N − 1.
Demuéstrese el enunciado recı́proco.
y si disponemos de una fórmula explı́cita para la función generatriz B(x) de la sucesión (bn ),
entonces automáticamente tenemos una fórmula para la función generatriz A(x) de la su-
cesión (an ), la dada por A(x) = B(x)/(1 − x). Este truco (sumas parciales) se usó en el
ejemplo 12.1.9 para obtener la fórmula de la suma de los primeros números naturales, y lo
volvemos a ver en acción en la siguiente ilustración.
Ejemplo 12.4.1 Llamamos Fk al k-ésimo número de Fibonacci. Para cada n ≥ 0,
n
Fk = Fn+2 − 1.
k=0
Ésta es una de las múltiples identidades con números de Fibonacci que tan entretenidos
nos tuvieron en el capı́tulo 8. La identidad anterior se puede probar por inducción, usando,
claro, la recurrencia de Fibonacci.
Por lo tanto,
1 x ∞ n
Fk xn para |x| < 1/τ ,
Versión preliminar, 9 de diciembre de 2018
=
1 − x 1 − x − x2 n=0
k=0
sin más que aplicar el lema 12.1.9 sobre sumas parciales.
Por otro lado,
∞
∞
∞
F (x) − F0 − F1 x 1 F (x) − x 1
(Fn+2 − 1) x = n
Fn+2 x −
n
xn = − = − ,
x2 1−x x2 1−x
n=10 n=0 n=0
donde hemos aplicado el lema 12.1.5 de desplazamiento y la serie geométrica. Pero como
F (x) − x 1 1 1 x 1 1+x x
− = − + −x) = − + = ,
x 2 1−x 1−x x 1−x−x
2 2 1−x 1 − x − x 2 (1 − x)(1 − x − x2 )
concluimos que los miembros de la derecha y de la izquierda del enunciado tienen la misma
función generatriz (en un cierto entorno de x = 0) y, por tanto, sus coeficientes coinciden. ♣
Una estrategia alternativa para obtener una fórmula para () pasa por considerar la serie
de potencias
∞
bk,n xk ,
k=0
asegurarse de que tiene radio de convergencia ≥ 1, obtener una fórmula explı́cita para la
función f (x) asociada y, finalmente, a la Abel, obtener an como lı́mx↑1 f (x). Si la serie de
arriba es en realidad un polinomio, basta evaluar en x = 1. Como ejemplo, el cálculo de
n
n
an =
k
k=0
fórmula cerrada razonable y con cierta estructura, quizá podamos sumar esa serie de Bk (x)
y obtener una fórmula cerrada para A(x) y de ahı́ obtener fórmulas para los an .
Este enfoque pasará por un cambio de orden de sumación, ası́ que suponemos de partida
que para un cierto R > 0 se cumple que
∞
∞
(†) |bk,n | Rn < +∞ .
n=0 k=0
1 x k
∞
∞
∞
xk
A(x) = Bk (x) = = .
(1 − x)k+1 1−x 1−x
k=0 k=0 k=0
De que |x| < 1/2 se deduce que |x/(1 − x)| < 1 y sumando la serie geométrica tenemos que
1 1 1
A(x) = = .
1 − x 1 − x/(1 − x) 1 − 2x
De aquı́ se obtiene el anunciado an = 2n . ♣
n
Ejemplo 12.4.3 Calculemos una vez más las (archi-)conocidas sumas an = k=0 k.
Los bk,n son en este caso n=0 n=1 n=2 n=3 n=4 ···
k =0 0 0 0 0 0 ···
k, si 0 ≤ k ≤ n, k =1 0 1 1 1 1 ···
bk,n = k =2 0 0 2 2 2 ···
0, si k > n. k =3 0 0 0 3 3 ···
k =
.. 4 0. 0. 0. 0. 4. ···
. . . . . ..
De manera que, para k ≥ 0, . . . . . . .
∞
∞
∞
1
Bk (x) = bk,n xn = kxn = k xk xn−k = k xk , si |x| < 1 .
1−x
n=0 n=k n=k
es decir,
∞
n+1
A(x) = xn
2
n=0
n+1
de donde, y como es archisabido, ¿verdad, lector?, an = 2 para n ≥ 0. ♣
bk,n = 2 ,
2k
Nótese que, para k > n, se tiene que bk,n = 0. Ası́ que, para cada n, la suma representada
por an abarca en realidad desde k = 0 hasta k = n.
Para k ≥ 0, la función generatriz Bk (x) viene dada por
∞ ∞ ∞
n n + k n−k n [n+k=m] m m−2k m−k
Bk (x) = bk,n x = 2 x = 2 x
2k 2k
n=0 n=k m=2k
∞
1 m () 1 (2x)2k 1 x k
= 2k k (2x)m = 2k k = .
2 x 2k 2 x (1 − 2x)2k+1 1 − 2x (1 − 2x)2
m=2k
que es una serie finita, pues 0 < η < 1. Ası́ que la condición de convergencia (†) se cumple
tomando R < 1/4.
De manera que podemos poner que
∞
1 1 1 − 2x
A(x) = Bk (x) = x = , si |x| < 1/4 .
1 − 2x 1 − (1 − 4x)(1 − x)
k=0
(1 − 2x)2
Fracciones simples y variantes de la serie geométrica se combinan para darnos que
∞ ∞ ∞
1 − 2x 2/3 1/3 2 n 1 n 2 n 1
A(x) = = + = (4x) + x = 4 + xn .
(1 − 4x)(1 − x) 1 − 4x 1 − x 3 3 3 3
n=0 n=0 n=0
¡Vaya, vaya! ♣
Lector, para cada posible valor de M hay sendas colecciones de sumas (αn )n≥0 y (βn )n≥0 .
No incluimos, en la notación, ninguna mención a M , para no recargarla.
Para M fijo, cada αn y cada βn viene dado por una suma finita; en ambos casos el
Versión preliminar, 9 de diciembre de 2018
n=0 n=1 n=2 n=3 n=4 n=5 n=6 n=7 n=8 ···
k =0 0 0 0 1 4 10 20 35 56 ···
M n + k k =1 0 0 3 12 30 60 105 168 252 ···
−→ k =2 0 3 12 30 60 105 168 252 360 ···
k M k =3 1 4 10 20 35 56 84 120 165 ···
k =
.. 4 0. 0. 0. 0. 0. 0. 0. 0. 0. ···
. . . . . . . . . ..
. . . . . . . . . . .
n=0 n=1 n=2 n=3 n=4 n=5 n=6 n=7 n=8 ···
k =0 1 1 1 1 1 1 1 1 1 ···
M n k =1 0 6 12 18 24 30 36 42 48 ···
2k −→ k =2 0 0 12 36 72 120 180 252 336 ···
k k k =3 0 0 0 8 32 80 160 280 448 ···
k =
. 4 0. 0. 0. 0. 0. 0. 0. 0. 0. ···
.. .. .. .. .. .. .. .. .. .. ..
.
Observe, lector, que estas matrices no tienen la estructura triangular de las de los ante-
riores ejemplos; compruebe, de paso, que las sumas por columnas coinciden para estos casos
particulares; lo que no deja de ser ciertamente misterioso.
Sean A(x) y B(x) las funciones generatrices respectivas de (αn )n≥0 y (βn )n≥0 . Aquı́, de
nuevo, aligeramos notación ahorrándonos unos subı́ndices que indiquen de qué M se trata.
Vamos a comprobar que A(x) = B(x) para x en un cierto intervalo común de convergencia,
de los que deduciremos la igualdad de sus coeficientes.
Analizamos las primeras sumas. Llamemos
∞
∞
M n+k M n+k
Ak (x) = xn = xn
n=0
k M k n=0
M
∞
∞
∞
n+k n n+k n [m=n−M +k] M −k M +m m xM −k
x = x = x x = .
M M M (1 − x)M +1
n=0 n=M −k m=0
Ası́ que, para |x| < 1, tenemos la siguiente expresión cerrada para A(x), tras intercambiar
órdenes de sumación:
∞
M
∞
M M
n M n+k n M xM −k
A(x) = αn x = x = Ak (x) =
k M k (1 − x)M +1
n=0 n=0 k=0 k=0 k=0
M
M
1 M M −k 1 M j (1 + x)M
= x = x = .
(1 − x)M +1 k (1 − x)M +1 j (1 − x)M +1
k=0 j=0
∞
k M n
Bk (x) = 2 xn
k k
n=0
En suma, hemos comprobado que A(x) = B(x) para todo x ∈ (−1, 1), y, por tanto, como
se habı́a propuesto, que αn = βn para cada n ≥ 0. ♣
Observe, lector, que las sumas anteriores sólo llegan hasta j = n, por la presencia de los
coeficientes binómicos.
Se dice que la sucesión (bn ) es la transformada binómica inferior de (an ), y viceversa.
Observe, lector, que todas las sumas que aparecen en las expresiones anteriores son finitas:
por ejemplo, cada an depende sólo de b0 , b1 , . . . , bn . Por eso, en cuanto a cuestiones de con-
vergencia, no es necesaria ninguna exigencia sobre las sucesiones involucradas en este asunto.
Transformación binómica superior. Sin embargo, la trasformación binómica superior,
que recordamos a continuación, sı́ que requiere una hipótesis adicional sobre las sucesiones.
Versión preliminar, 9 de diciembre de 2018
Partimos ahora de dos sucesiones (an ) y (bn ) finitas. Es decir, an = bn = 0 para todo
n ≥ N , para un cierto entero N ≥ 1. El teorema de inversión binómica en este caso, teorema
5.1.30, nos dice que
∞ ∞
j j
an = (−1)j bj , para n ≥ 0 si y sólo si bn = (−1)j aj , para n ≥ 0 .
n n
j=0 j=0
es decir,
Versión preliminar, 9 de diciembre de 2018
N
(−x)N +1 − 1
B(x) = (−1)j xj = .
−x − 1
j=0
+1 N
N + 1 n−1 N + 1 n
N
(1 + y)N +1 − 1
A(x) = B(−1 − x) = = x = x .
y n=1
n n=0
n + 1
De donde se concluye la siguiente identidad binómica, bien conocida ella (ejemplo 5.1.5):
N
j N +1
= , para 0 ≤ n ≤ N .
n n+1
j=n
El análisis que nos condujo a la relación () es válido para sucesiones (bj )j≥0 que son
nulas a partir de un término en adelante. La pregunta natural es: ¿podemos ampliar el rango
de validez e incorporar sucesiones más generales? Veamos.
Partamos de una sucesión (bn )n≥0 , sin la restricción a priori de que bn = 0 sea cero de
un término en adelante. La posible aplicación de la trasformación superior impone severas
restricciones sobre los bj . Veamos los primeros términos.
∞ j
Para poder definir a0 necesitamos que j=0 (−1) bjsea sumable y esto requiere que
∞ j
lı́mj→∞ bj = 0. Para poder definir a1 se necesita que j=0 (−1) jbj sea sumable y esto
Versión preliminar, 9 de diciembre de 2018
sea sumable, lo que requiere que lı́mj→∞ (j 2 − j)bj = 0, que con la exigencia del caso a1 exige
lı́mj→∞ j 2 bj = 0. En suma, la mera definición de los an requiere que lı́mj→∞ j n bj = 0 para
todo n ≥ 0. Es decir, para la simple aplicación de la transformación inferior se requiere que
la sucesión bj tienda a cero más rápidamente que j −n para cualquier n ≥ 0.
Lema 12.4.1 Sea (bj )j≥0 una sucesión dada. La transformación binómica superior de (bj )j≥0
está bien definida si y sólo si lı́mj→∞ j n bj = 0 para todo n ≥ 0.
(¡asombroso!), como ya vimos en el ejemplo 5.1.7. Pero, y por eso exhibimos este ejemplo,
a la sucesión transformada superior (an )n≥0 , que es constantemente 2, ya no le podrı́amos
aplicar la transformación superior. La conclusión es que para tener regla de inversión hemos
de restringir un poco más el tipo de sucesiones (bn )n≥0 .
Definición 12.4.2 Decimos de una sucesión (bj )j≥0 que es una sucesión entera si
Observe, lector, que la función generatriz B(x) de una sucesión (bj )j≥0 entera tiene radio
de convergencia infinito, es decir, su intervalo de convergencia es todo R, y recı́procamente.
La transformación binómica superior está bien definida para las sucesiones enteras, pues
si (bj )j≥0 es entera, entonces, por ejemplo, para un cierto entero N ≥ 0 se tiene
1
|bj | ≤ , para j ≥ N ,
2j
y, por tanto, lı́mj→∞ j n |bj | = 0, para todo n ≥ 0.
Lema 12.4.3 Si (bj )j≥0 es una sucesión entera, entonces su transformada binómica superior
(an )n≥0 es asimismo entera.
Queremos intercambiar orden de sumación en esta serie doble (con x fijo). Para justificarlo
vamos a comprobar que la serie doble de los valores absolutos es finita. Veamos. En una serie
de términos positivos podemos reordenar y agrupar relajadamente:
∞ j ∞
j ∞
j j
|bj | |x| =
n
|bj | |x| =
n
|bj |(1 + |x|)j
n=0
n n=0
n
j=0 j=0 j=0
Para ε > 0 (cuyo valor fijaremos en breve) se tiene |bj | ≤ Mε εj , para todo j ≥ 0. Por tanto,
∞
j ∞
j j
|bj | |x| ≤ Mε
n
ε (1 + |x|) ,
n
j=0 n=0 j=0
∞
j ∞
j 1
Versión preliminar, 9 de diciembre de 2018
|bj | |x| ≤ Mε
n
= 2 Mε < +∞ .
n=0
n 2j
j=0 j=0
∞
j
∞
∞
∞
j j
B(−1 − x) = bj (−1) j
x = n
x n
bj (−1)j = xn an = A(x) ,
n=0
n n=0
n n=0
j=0 j=n
Lema 12.4.4 (Inversión binómica superior y funciones generatrices) Sea (bj )j≥0
una sucesión entera, y sea (an )n≥0 su transformación binómica superior. Llamemos B(x) y
A(x) a las respectivas funciones generatrices. Entonces
Para cualquier sucesión (bj )j≥0 , su transformación binómica inferior (an )n≥0 está bien
definida, pues para cada n ≥ 0 la fórmula para an sólo involucra un número finito de los bj ;
de hecho aquellos con 0 ≤ j ≤ n. La transformación binómica inferior de (an )n≥0 devuelve
los (bj )j≥0 .
Denotemos por B(x) y A(x) las respectivas funciones generatrices y por RB y RA los
correspondientes radios de convergencia. Comprobamos, primero, que estos dos radios de
convergencia no pueden ser independientes uno del otro.
Lema 12.4.5 Con las notaciones anteriores, RA > 0 si y sólo si RB > 0, y además
1 1
− ≤ 1.
RA RB
De donde, también, RA = 0 si y sólo si RB = 0.
Demostración. Supongamos que RB > 0. Tomemos ρ > 1/RB . Entonces, para un cierto
M > 0, se tiene que |bj | ≤ M ρj . Note, lector, que en la fórmula de an intervienen todos
los bj con j = 0, 1, . . . , n; por eso conviene controlar el tamaño de todos ellos (y no sólo de
un cierto ı́ndice en adelante), aún a costa de pagar con ese factor M .
En particular, esto dice que asimismo RA > 0. Para completar la demostración observe,
lector, que intercambiando ahora los papeles de A y B se obtiene complementariamente
que 1/RB ≤ 1 + 1/RA .
La acotación del lema 12.4.5 equivale a que
RB RA
RA ≥ y RB ≥ .
1 + RB 1 + RA
Y hay ejemplos en los que se tiene igualdad en la desigualdad de este lema 12.4.5. Por ejemplo,
si tomamos un número T positivo cualquiera, y consideramos la sucesión bj = (−1)j /T j ,
para cada j ≥ 0, entonces B(x) tiene radio de convergencia RB = T . Pero su transformada
binómica inferior es an = (1 + 1/T )n , para cada n ≥ 0. Y por tanto, A(x) tiene radio de
convergencia RA = T /(1 + T ).
El siguiente resultado exhibe cómo se codifica las transformación binómica inferior con
funciones generatrices.
Lema 12.4.6 (Inversión binómica inferior y funciones generatrices) Sea (bj )j≥0 una
sucesión con función generatriz B(x) de radio de convergencia RB > 0. Sea (an )n≥0 la trans-
formada binómica inferior de (bj )j≥0 y sea A(x) su función generatriz. Entonces
1 −x RB
A(x) = B , para |x| < .
1−x 1−x 1 + RB
< .
1 + (1/s) 1 + RB
Esto es posible, pues |x| < RB /(1 + RB ) y equivale a que (1 + s)|x| < 1 y s > 1/RB .
Por la fórmula de Cauchy–Hadamard se tiene que, para un cierto M = Ms ,
que resulta ser una cantidad finita usando que (1 + s)|x| < 1.
Ahora ya podemos intercambiar el orden de sumación en ( ) y escribir
−x ∞
∞ ∞
1 n j n
B = x bj (−1) = xn an = A(x) ,
1−x 1−x j
n=0 j=0 n=0
La función generatriz A(x) de los an viene dada, al menos para los valores de x tales que
|x| < RB /(1 + RB ), por
1 −x x
A(x) = B = .
1−x 1−x 1 − 3x + x2
j=0
√
Observe, lector, que RA = (3 − 5)/2 y que 1/RA − 1/RB = 1.
La transformada binómica inferior de los números de Fibonacci propiamente dichos es la
sucesión (cn ) dada por
n
j n
cn = (−1) Fj , para cada n ≥ 0 .
j
j=0
1 −x 1
−x
−x
1−x
C(x) = F = x2
= = −F (x) .
1−x 1−x 1−x 1+ x
− 1 − x − x2
1−x (1−x)2
Si llamamos
1 2j
bn = j , para n ≥ 0,
2 j
los an del enunciado,
n
n (−1)j 2j
an = , para n ≥ 0,
j 2j j
j=0
1 −x j
N N
1 P (x)
A(x) = bj = bj (−1)j xj (1 − x)N −j = ,
1−x 1−x (1 − x)N +1 (1 − x)N +1
j=0 j=0
Proposición 12.4.7 Si (an )n≥0 es la transformada inferior de (bj )j≥0 y ésta sólo tiene un
número finito de términos no nulos, entonces la función generatriz A(x) de los an tiene radio
de convergencia exactamente 1.
En particular, la sucesión (an )n≥0 tiene un número infinito de términos no nulos.
En otras palabras, la segunda parte del enunciado afirma que las dos sucesiones (bj )j≥0
y (an )n≥0 no pueden ser ambas nulas de un N en adelante. El lector muy avisado puede
considerar este lema como una suerte de principio de incertidumbre de la transformada
Versión preliminar, 9 de diciembre de 2018
binómica inferior.
Vale, de acuerdo.
Tampoco, entonces, le ha de extrañar que sólo tratemos sucesiones dobles (ck,n )k,n≥0 tales
que para ciertos R > 0 y S > 0 se tenga que
|ck,n | Rk S n < +∞.
k,n≥0
Esto conlleva, en particular, que si x, y son números reales tales que |x| < R e |y| < S,
entonces la serie () es absolutamente convergente y que, por tanto, se pueda calcular su
valor sumando primero por filas y luego por columnas, o al revés.
Observe lector que si fijamos |y| < S, entonces
∞
∞
x
→ C(x, y) = ck,n y n xk
k=0 n=0
es una
∞serie denpotencias de x con radio de convergencia al menos R y cuyo coeficiente k-ésimo
es n=0 ck,n y , para k ≥ 0. Es decir, si para k ≥ 0 definimos la función generatriz
∞
Bk (y) = ck,n y n , para |y| < S ,
n=0
entonces podemos interpretar C(x, y) como una serie de potencias de x cuyos coeficientes son
series de potencias de y:
∞
C(x, y) = Bk (y) xk , para |x| < R, |y| < S .
k=0
Análogamente, podemos interpretar C(x, y) como una serie de potencias de y cuyos co-
eficientes son series de potencias de x: si para n ≥ 0 definimos la función generatriz
∞
An (x) = ck,n xk , para |x| < R ,
k=0
entonces
∞
C(x, y) = An (x)y n , para |x| < R, |y| < S .
Versión preliminar, 9 de diciembre de 2018
n=0
A estas dos formas de expresar C(x, y) como función generatriz de la sucesión (Bk (y))k≥0
y como función generatriz de la sucesión (An (x))n≥0 las podrı́amos denominar funciones
generatrices iteradas.
Ejemplo 12.4.9
n 1
xk y n = , si |x| < 1, |y| < 1/2 .
k 1 − (1 + x)y
n,k≥0
Aquı́ hemos usado que en una serie doble de términos positivos la suma doble y las dos sumas
iteradas o son las tres infinitas, o son las tres finitas y coinciden. La condición (1 + R)S < 1
se cumple, por ejemplo, si R < 1 y S < 1/2.
Para x e y tales que (1 + |x|)|y| < 1, la convergencia absoluta nos permite transformar la
suma doble en iterada y escribir
n ∞
n
n k n
∞
1
k n n
x y = y x = y (1 + x)n = .
k k 1 − (1 + x)y
k,n≥0 n=0 k=0 n=0
es decir,
1
C(x, y) = .
1 − (1 + x)y
Si ponemos x = y, con |x| = |y| < 1/2, entonces por una parte
∞
1
C(x, x) = = Fj+1 xj ,
1 − x − x2
j=0
donde los Fj son los números de Fibonacci. Por otro lado, también se tiene que
n ∞
j −k j
n+k
C(x, x) = x = x .
k k
n,k≥0 j=0 k≥0
yk
Bk (y) = , para k ≥ 0 ,
Versión preliminar, 9 de diciembre de 2018
(1 − y)k+1
mientras que
An (x) = (1 + x)n , para n ≥ 0 .
♣
Ejemplo 12.4.10 La relación de ortogonalidad del lema 5.1.28:
∞
n k
(−1) k+m
= δn,m , para n, m ≥ 0 .
k m
k=0
Si n < m, ambos lados valen 0. Para n ≥ m, las sumas de la izquierda abarcan en realidad
desde k = m hasta k = n.
Consideremos la función generatriz de dos variables
∞
k+m n k
C(x, y) = (−1) xn y m .
k m
n,m≥0 k=0
La serie que define C(x, y) es convergente para, por ejemplo, |y| < 1 e |x| < 1/3. En ese
rango, el intercambio de sumación está justificado, pues si |y| < 1 e |x| < 1/3, entonces para
la serie de términos positivos
∞
1 |x|(1 + |y|) k
∞
∞
n k |x|k
|x|n |y|m = (1+|y|)k
= < +∞,
k m (1 − |x|)k+1 1 − |x| 1 − |x|
n,m≥0 k=0 k=0 k=0
puesto que
|x| (1 + |y|) |y|<1 2|x| |x|<1/3 2/3
< < = 1.
1 − |x| 1 − |x| 2/3
Y también la sumación final, puesto que si |y| < 1 e |x| < 1/3,
x (1 − y) |x| |1 − y| 1/3 · 2
= < = 1.
1−x |1 − x| 2/3
n=0 n,m≥0