Una serie de potencias formal (o, en contextos analíticos, una serie de potencias convergente) cuyos coeficientes codifican una sucesión de números o cantidades combinatorias, permitiendo manipulaciones algebraicas para estudiar esa sucesión.

Principio

Traducir operaciones sobre sucesiones a operaciones algebraicas sobre series: la convolución de coeficientes corresponde al producto de funciones generadoras, la diferenciación y multiplicación por monomios desplazan índices, y las relaciones algebraicas se convierten en ecuaciones funcionales para la serie.

Demostración

La función generadora ordinaria de la sucesión de Fibonacci {F_n} es F(z)=∑_{n≥0} F_n z^n; usando la recurrencia F_n = F_{n-1}+F_{n-2} se obtiene F(z) = z/(1 − z − z^2), de la que se derivan formas cerradas y asintóticas mediante descomposición en fracciones parciales.

Aplicación incorrecta

Tratar una función generadora formal como si convergiera en un conjunto abierto sin justificación, o usar operaciones analíticas (integración, métodos de contorno) sobre series puramente formales sin establecer un radio de convergencia o una justificación algebraica.

Consecuencia

Las funciones generadoras convierten recurrencias combinatorias en ecuaciones algebraicas o diferenciales sobre series, a menudo permitiendo expresiones cerradas, extracción de coeficientes (por expansión de series o análisis de singularidades) y estimaciones asintóticas.

Inversión

Las funciones generadoras de momentos o características en probabilidad son transformadas afines pero emplean esperanzas de exponenciales; enfatizan propiedades analíticas (convergencia, analiticidad) e interpretación probabilística en lugar de codificación combinatoria formal.

Límite

Se aplican como series de potencias formales (herramienta algebraica sin convergencia asumida) o como funciones generadoras analíticas (requiriendo convergencia en un dominio); excluyen transformadas que no codifican sucesiones por coeficientes de series de potencias salvo reinterpretación explícita.

Tensión semántica

El término abarca la combinatoria algebraica formal (series formales) y la combinatoria analítica (funciones con convergencia y análisis de singularidades); la tensión es si se trata la serie como simbólica o como objeto analítico cuyas singularidades controlan los coeficientes.

Síntesis

Una función generadora empaqueta una sucesión en una serie de potencias de modo que manipulaciones algebraicas y analíticas de la serie producen identidades combinatorias, formas cerradas e información asintótica sobre la sucesión original.