Funciones Generatrices Aplicaciones Dr. Eric Jeltsch F.

______________________________________________________________________
Escuela Ingeniera en Computacin, Universidad de La Serena.
1
Funciones generatrices
En lo que sigue vamos a asociar funciones a sucesiones infinitas de nmeros. Por ejemplo,
mediante la relacin .

La funcin f(x) es lo que llamaremos funcin generatriz de la sucesin a
n
. Las llamamos
funciones aunque, a priori, puede que la serie no converja y no tengamos una funcin. Cuando
queramos considerar a f como una funcin para, por ejemplo, sustituir un cierto valor de x, habr
que ser muy cuidadoso con las cuestiones de convergencia. Pero mientras no sea se el caso,
podremos argumentar todo mediante series formales.

El nmero a
n
, que generalmente ser la respuesta a un cierto problema combinatorio, ser el
coeficiente de x
n
, en la serie de potencias anterior. Esto lo resumiremos muchas veces con la
notacin

Funciones generatrices de suma conocida
Si conocemos la suma de una funcin generatriz, es decir, si disponemos de una expresin para la
funcin, entonces tenemos grandes ventajas. Por ejemplo, si resulta que la serie de potencias


que converge en un cierto intervalo (R,R) y conocemos la expresin de f(x), entonces podremos
evaluar la funcin (y cualquiera de sus derivadas) en valores de x que cumplan que |x| < R. En
particular, podremos calcular los coeficientes mediante



que no es sino la frmula de Taylor habitual (aunque, en general, este mtodo de clculo de
coeficientes es poco prctico). Veamos algunos ejemplos.

Ejemplos

1) El ejemplo bsico es la suma de la serie geomtrica, que ya la hemos estado viendo

se relaciona con

que, desde el punto de vista analtico, slo tiene sentido si |x| < 1. Ahora, en este nuevo lenguaje
generatriz, resulta que 1/(1 x) es la funcin generatriz de la sucesin infinita de unos.

En otras palabras, a
n
= Coeficiente
n
[1/(1 x)] = 1 para cada n = 0, 1, 2 . . . . . Esta ser nuestra serie
de potencias bsica, para entender el concepto que est detrs de las funciones generatrices y as
entender su aplicacin en el contexto de medir la eficiencia de algoritmos representados por
recurrencias.

Ahora, otra de las bien conocida es la que define la funcin exponencial, que ya expresamos de las
tres formas habituales:
Funciones Generatrices Aplicaciones Dr. Eric Jeltsch F.
______________________________________________________________________
Escuela Ingeniera en Computacin, Universidad de La Serena.
2
a) b) c) a
n
= Coeficiente
n
[e
x
] = 1/n!, para todo n 0.

Observar que la serie de potencias de la izquierda converge para cualquier valor de x.

2) El teorema del binomio nos proporciona otro caso conocido: para m 1,



Esta representacin es vlida para todo x porque, en realidad, la serie de potencias es un
polinomio, pues para m n los coeficientes binmicos son nulos.

3) Veremos ahora algunas operaciones entre funciones generatrices. Por ejemplo

a) Sumar y multiplicar por constantes

Sean dos funciones generatrices f(x) y g(x), asociadas a dos sucesiones de nmeros, a
n
y b
n
,
respectivamente. Y sean y dos nmeros cualesquiera. Esta primera regla nos dice cules son los
coeficientes de la funcin f(x) + g(x). Lo que se espera es,



b) Producto de funciones
f(x) * g(x),




Aplicacin del mtodo de producto de funciones
Basado en este tema se usan funciones generatrices para contar estructuras de datos, como por
ejemplo los rboles binarios. En principio consideremos la convolucin de la sucesin a
1
, a
2
,
a
3
..como la expresin a
0
a
0
, a
0
a
1
+ a
1
a
0
, a
0
a
2
+ a
1
a
1
+ a
2
a
0
, que corresponde a f(x)
2
. Para f(x) funcin
generatriz de a
0
, a
1
, a
2
,..


i
i
i
x a x f

=
=
0
) (
Funciones Generatrices Aplicaciones Dr. Eric Jeltsch F.
______________________________________________________________________
Escuela Ingeniera en Computacin, Universidad de La Serena.
3
Por lo tanto para determinar el n de rboles binarios de nodos 1, 2, 3 , 4 , , n nodos, se aplica la
convolucin en el sentido siguiente, donde b
n
corresponde al n de rboles binarios ordenados con
n-vrtices


Sea f(x) la funcin generatriz para b
0
, b
1
, b
2
..de donde la expresin anterior queda

Generando la ecuacin cuadrtica en f(x).
La que luego de descomponer el binomio, se obtiene el coeficiente b
n
que corresponde b
n
= 1/(n+1)
Comb(2n,n), que son los nmeros de Catalan. Para verificar el resultado veamos que el nmero de
rboles binarios con 1-nodo es 1, con 2-nodos es 2, con 3-nodos es 5, etc.

c) Desplazar coeficientes
En muchas ocasiones interesa considerar la sucesin de nmeros que se obtiene de una dada
desplazando los coeficientes hacia la derecha o hacia la izquierda. Consideremos la funcin
generatriz f(x) de una cierta sucesin a
n
. Si multiplicamos por x, obtenemos una nueva funcin h(x) =
xf(x).


Es decir, el coeficiente de xf(x) es el coeficiente n 1 de f(x). Pero cuidado, para n 1: el
coeficiente cero de xf(x) es ahora 0, es decir

Y si multiplicamos ahora por una potencia mayor, x
m
, con m 1, desplazamos la sucesin hacia la
derecha m posiciones y tendremos m ceros al principio. Luego la regla se escribir



La ltima expresin es simplemente una notacin que nos permite abreviar, en la que aplicamos el
convenio de que si el ndice del coeficiente es negativo, entonces el coeficiente vale cero. El
desplazamiento de coeficientes requiere entonces un cierto cuidado. Por ejemplo, partimos de una
sucesin (a0, a1, a2, . . . ) asociada a una funcin f(x) y nos preguntamos por la funcin generatriz
g(x) asociada a la sucesin (a1, a2, a3, . . . ). Observar que los coeficientes b
n
de esta nueva
funcin vienen dados por b
n
= a
n+1
, para cada n 0. Primero, claro, hay que eliminar el coeficiente
a0, de manera que debemos considerar la funcin
0 1 1 1 1 0 1
.. b b b b b b b b b
n n n n n
+ + + + =
+
1
0 1 1 1 1 0
1
1
) .. (
+

+
+
+ + + + =
n
n n n n
n
n
x b b b b b b b b x b
1
0 1 1 1 1 0
0
1
1
0
) .. (
+

=
+
+

=
+ + + + =

n
n n n n
n
n
n
n
x b b b b b b b b x b
2
0 1 1 1 1 0
0
0
)) ( ( ) .. ( ) ) ( ( x f x x b b b b b b b b x b x f
n
n n n n
n
= + + + + =

) 2 /( 4 1 ) ( x x x x f =
Funciones Generatrices Aplicaciones Dr. Eric Jeltsch F.
______________________________________________________________________
Escuela Ingeniera en Computacin, Universidad de La Serena.
4

f(x) a
0
= a
1
x + a
2
x
2
+ a
3
x
3
+

Pero esto no es todava g(x), pues la funcin f(x) a
0
est asociada a la sucesin de nmeros (0, a1,
a2, . . . ). Observar que, de paso, hemos hallado una regla que permite sustituir un coeficiente
cualquiera por 0; aqu lo hemos hecho para el primer coeficiente, pero Ud. podra hacerlo sobre
cualquier funcin generatriz de la sucesin. La funcin que buscamos, g(x), est asociada a (a1, a2,
a3, . . . ). De manera que, con la regla de desplazamiento hacia la derecha, xg(x) genera la sucesin
(0, a1, a2, a3, . . . ), que es, precisamente, f(x) a0. De manera que



Aplicacin del mtodo
Consideremos la funcin 1/(1x), asociada a la sucesin (1, 1, 1, . . . ). Entonces,



Pero si desplazamos, por ejemplo, la sucesin hacia la izquierda tres posiciones, volvemos a tener la
sucesin de unos. No hay problema, porque, como Ud. podr comprobar, la funcin



d) Derivar una funcin
Si tenemos una funcin f que genera unos ciertos a
n
, qu funcin generar la sucesin (na
n
)? . La
idea es buscar una operacin que aplicada a f logre que sus coeficientes aparezcan multiplicados por
la posicin que ocupan. La estructura especial de las series de potencias nos muestra que la
derivacin es una buena operacin para lograrlo.




Volvamos a nuestra tpica serie. Sabemos que 1/(1 x) genera la sucesin (1, 1, 1, . . . ). Luego si
aplicamos esta regla se tiene que



O en forma ms general, podemos obtener la sucesin de nmeros (0, d, 2d, 3d, 4d, . . . ), que
estn en progresin aritmtica que empieza en 0 y de diferencia d:



Funciones Generatrices Aplicaciones Dr. Eric Jeltsch F.
______________________________________________________________________
Escuela Ingeniera en Computacin, Universidad de La Serena.
5
O ms general an,



Aplicacin de las funciones generatrices para resolver recurrencias.

Con tantos casos por considerar para la relacin de recurrencia lineal no homognea, ahora
recibiremos la ayuda de la funcin generatriz. Esta tcnica encontrar las soluciones particular y
homognea de a
n
y tambin incorporar las condiciones iniciales dadas; adems, podremos hacer
ms cosas con este mtodo. Demostraremos este mtodo en los ejemplos siguientes

Resuelva la relacin a
n
3a
n-1
= n, n 1, a
0
=1. para mayor informacin vea Grimaldi(texto gua)

Esta relacin representa un conjunto infinito de ecuaciones:

(n = 1) a
1
3a
0
= 1
(n = 2) a
2
3a
1
= 2
(n = 3) a
3
3a
2
= 3

Al multiplicar la primera de estas ecuaciones por x, la segunda por x
2
, la tercera por x
3
, etctera,
obtenemos

(n =1 ) a
1
x
1
3a
0
x
1
= 1x
1

(n = 2) a
2
x
2
3a
1
x
2
= 2 x
2

(n = 3) a
3
x
3
3a
2
x
3
= 3 x
3

. . .
. . .
. . .

Si sumamos este segundo conjunto de ecuaciones, vemos que

=1 n
a
n
x
n
- 3

=1 n
a
n-1
x
n
=

=1 n
nx
n
. (1)
el objetivo es despejar a
n
en trminos de n. Para esto, sea f(x) =

=0 n
a
n
x
n
la funcin generatriz
(ordinaria) para la sucesin a
0
, a
1
, a
2
, Entonces podemos volver a escribir la ecuacin (1) como
(f(x) a
0
) 3x

=1 n
a
n-1
x
n-1
=

=1 n
nx
n
(=

=0 n
nx
n
). (2)
Como

=1 n
a
n-1
x
n-1
=

=0 n
a
n
x
n
= f(x), el lado izquierdo de la ecuacin (2) se convierte en
(f(x) 1) 3xf(x).

Antes de continuar, volvamos a considerar la funcin generatriz f(x) = 1/1-x, correspondiente a la
sucesin 0, 1, 2, 3,... Para ello, recordemos que 1 / (1-x)
2
= d/dx( 1/1-x ) = 1 + 2x + 3x
2
+ .,

Por lo tanto, x / ( 1 x )
2
= x + 2x
2
+ 3x
3
+ .,y (f(x) -1) - 3xf(x) = x /(1-x)
2
, despejando f(x) se
tiene f(x) = 1/(1-3x) + x/(1-x)
2
(1-3x). Si usamos descomposicin en fracciones parciales se tiene
que A= -1/4, B= -1/2, C= . Por lo tanto, se tiene f(x) = (7/4)/(1-3x) + (-1/4)/(1-x) + (-1/2)/(1-x)
2
.


Funciones Generatrices Aplicaciones Dr. Eric Jeltsch F.
______________________________________________________________________
Escuela Ingeniera en Computacin, Universidad de La Serena.
6



Aplicaciones:

Sean f(x), g(x) y h(x) funciones generatriz asociada a las sucesiones (a
n
), (b
n
) y (c
n
),
respectivamente.

Se pide determinar la sucesin (c
n
), para cuando
a) (c
n
)

= (a
n
), con constante, y sea vlido que h(x) = f(x),
b) (c
n
) = (a
n
) + (b
n
), y sea vlido que h(x) = f(x) + g(x),
c) (c
n
) = (a
n+1
), y sea vlido que h(x) = 1/z[f(x) - a
0
]
d) Si c
0
= 0, y c
n
= a
n - 1
, entonces es vlido que h(x) = xf(x),
e) Si c
0
= 0, y c
n
= a
n
/ n, entonces es vlido que

f) Si (c
n
) = (n+1)(a
n
), y sea vlido que
g) Si (c
n
) = n(a
n
), y sea vlido que


Con ayuda de lo anterior se pide determinar la forma cerrada para la recurrencia en donde a
n
=0 y

De la misma manera para la relacin
a
n
= 1/6(a
n-1
+ a
n -2
), n 2, a
0
=0, a
1
=1,
b
n
= 3/2b
n-1
+ b
n -2
, n 2, b
0
=0, b
1
=1 y
c
n
= 1/2c
n-1
+ 3
n
, n 1, c
0
=0.


i
i
i
x a x f

=
=
0
) (
i
i
i
x b x g

=
=
0
) (
dx
x
a x f
x h
x

=
0
0 ) (
) (
)) ( ( ) ( x xf
dx
d
x h =
)) ( ( ) ( x f
dx
d
x x h =
i
i
i
x c x h

=
=
0
) (

=
+ + =
1
0
2
) 1 (
n
i
i n
c
n
n a