## [Función Generadora](/es/node/57870) Definición 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 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 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 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 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 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 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 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 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.