Tipo binomial

• Como consecuencia de esta definición, el teorema del binomio puede establecerse diciendo que la serie {xⁿ: n = 0, 1, 2, ...} es de tipo binomial.
• La serie de factoriales descendentes está definida por

${\displaystyle (x)_{n}=x(x-1)(x-2)\cdot \cdots \cdot (x-n+1).}$

(en la teoría de funciones especiales, esta misma notación denota los factoriales descendente y ascendente, aunque este uso actual es universal en el campo de la combinatoria). Se entiende que el producto es 1 si n = 0, ya que en ese caso es un producto vacío. Esta serie polinómica es de tipo binomial.

• Del mismo modo los factoriales ascendentes

${\displaystyle x^{(n)}=x(x+1)(x+2)\cdot \cdots \cdot (x+n-1)}$

son una serie polinómica de tipo binomial.

• Los polinomios de Abel

${\displaystyle p_{n}(x)=x(x-an)^{n-1}\,}$

son una serie polinómica de tipo binomial.

• Los polinomios de Touchard

${\displaystyle p_{n}(x)=\sum _{k=1}^{n}S(n,k)x^{k}}$

donde S (n, k) es el número de particiones de un conjunto de tamaño n en k subconjuntos disjuntos no vacíos, es una serie de polinomios de tipo binomial. Eric Temple Bell los llamó polinomios exponenciales, y este término también aparece así en distintos textos. Los coeficientes S (n, k) son los números de Stirling de segunda especie. Esta serie tiene una conexión curiosa con la distribución de Poisson: si X es una variable aleatoria con una distribución de Poisson con el valor esperado λ, entonces E (Xⁿ) = p_n(λ). En particular, cuando λ = 1, se tiene que el n-ésimo momento de la distribución de Poisson con el valor esperado 1 es el número de particiones de un conjunto de tamaño n, llamado n-ésimo número de Bell. Este hecho sobre el momento n de una distribución de Poisson en particular constituye la fórmula de Dobinski.

Se puede mostrar que una serie polinómica {p_n(x): n = 0, 1, 2, ...} es de tipo binomial si y solo si se cumplen las tres condiciones siguientes :

• Es una aplicación lineal en el espacio de polinomios en x, que se caracteriza por:

${\displaystyle p_{n}(x)\mapsto np_{n-1}(x)}$

es equivariante al cambio, y

• p₀(x) = 1 para todo x, y
• p_n(0) = 0 para n> 0.

(La afirmación de que este operador es equivariante al cambio equivale a decir que la serie polinómica es una serie de Sheffer; el conjunto de series de tipo binomial se incluye correctamente dentro del conjunto de series de Sheffer).

Para cualquier serie a₁, a₂, a₃, ... de escalares, sea

${\displaystyle p_{n}(x)=\sum _{k=1}^{n}B_{n,k}(a_{1},\dots ,a_{n-k+1})x^{k}.}$

donde B_n,k (a₁, ..., a_n−k+1) es un polinomio de Bell. Entonces esta serie polinómica es de tipo binomial. Téngase en cuenta que para cada n ≥ 1,

${\displaystyle p_{n}'(0)=a_{n}.\,}$

El principal resultado de estas relaciones se expresa como:

Teorema: Todas las series polinómicas de tipo binomial son de esta forma.

Un resultado de Mullin y Rota, repetido por Rota, Kahaner y Odlyzko (véanse las referencias que figuran a continuación) indica que cada serie polinómica { p_n(x) }_n de tipo binomial está determinada por la serie {  p_n′(0) }_n, pero esas fuentes no mencionan los polinomios de Bell.

Esta serie de escalares también está relacionada con el operador delta. Sea

${\displaystyle P(t)=\sum _{n=1}^{\infty }{a_{n} \over n!}t^{n}.}$

Entonces

${\displaystyle P^{-1}\left({d \over dx}\right)\,}$

Es el operador delta de esta serie.

Para las series a_n, b_n, n = 0, 1, 2, ..., se define un tipo de convolución por

${\displaystyle (a{\mathbin {\diamondsuit }}b)_{n}=\sum _{j=0}^{n}{n \choose j}a_{j}b_{n-j}.}$

Sea ${\displaystyle a_{n}^{k\diamondsuit }\,}$ el n-ésimo término de la serie

${\displaystyle \underbrace {a{\mathbin {\diamondsuit }}\cdots {\mathbin {\diamondsuit }}a} _{k{\text{ factors}}}.\,}$

Entonces, para cualquier serie a_i, i = 0, 1, 2, ..., con a₀ = 0, la serie definida por p₀ (x) = 1 y

${\displaystyle p_{n}(x)=\sum _{k=1}^{n}{a_{n}^{k\diamondsuit }x^{k} \over k!}\,}$

para n ≥ 1, es de tipo binomial, y cada serie de tipo binomial es de esta forma. Este resultado se debe a Alessandro di Bucchianico (véanse las referencias que figuran a continuación).

Las series polinómicas de tipo binomial son precisamente aquellas cuyas funciones generadoras son series de potencias formales (no necesariamente convergentes) de la forma

${\displaystyle \sum _{n=0}^{\infty }{p_{n}(x) \over n!}t^{n}=e^{xf(t)}}$

donde f (t) es una serie de potencias formal cuyo término constante es cero y cuyo término de primer grado no es cero. Se puede demostrar mediante el uso de la versión de serie de potencias de la fórmula de Faà di Bruno que

${\displaystyle f(t)=\sum _{n=1}^{\infty }{p_{n}\,'(0) \over n!}t^{n}.}$

El operador delta de la serie es f⁻¹ (D), por lo que

${\displaystyle f^{-1}(D)p_{n}(x)=np_{n-1}(x).}$

El conjunto de todas las series polinómicas de tipo binomial es un grupo en el que su operación definitoria es la "composición umbral" de las series polinómicas. Esta operación se define de la siguiente manera. Suponiendo {p_n (x): n = 0, 1, 2, 3, ...} y {q_n (x): n = 0, 1, 2, 3, ...} son series polinómicas, y

${\displaystyle p_{n}(x)=\sum _{k=0}^{n}a_{n,k}\,x^{k}.}$

Luego, la composición umbral p o q es la serie polinómica cuyo término n es

${\displaystyle (p_{n}\circ q)(x)=\sum _{k=0}^{n}a_{n,k}\,q_{k}(x)}$

(el subíndice n aparece en p_n, ya que este es el término n de esa serie, pero no en q, ya que se refiere a la serie como un todo en vez de a cada uno de sus términos).

Con el operador delta definido por una serie de potencias en D como antes, la biyección natural entre los operadores delta y las series polinómicas de tipo binomial, también definidas anteriormente, es un isomorfismo de grupo, en el que la operación de grupo formal sobre las series de potencias es la composición formal de las series de potencias.

La serie κ_n de los coeficientes de los términos de primer grado en una serie polinómica de tipo binomial pueden denominarse cumulantes de la serie polinómica. Se puede demostrar que toda la serie polinómica de tipo binomial está determinada por sus cumulantes, de acuerdo con el análisis incluido en el artículo titulado cumulante. Así

${\displaystyle p_{n}'(0)=\kappa _{n}=\,}$ es el n-ésimo cumulante

y

${\displaystyle p_{n}(1)=\mu _{n}'=\,}$ es el n-ésimo momento.

Estos son cumulantes formales y momentos formales, en oposición a los cumulantes de una distribución de probabilidad y los momentos de una distribución de probabilidad.

Sea

${\displaystyle f(t)=\sum _{n=1}^{\infty }{\frac {\kappa _{n}}{n!}}t^{n}}$

la función generadora del cumulante (formal). Entonces

${\displaystyle f^{-1}(D)\,}$

es el operador delta asociado con la serie polinómica, es decir, se tiene que

${\displaystyle f^{-1}(D)p_{n}(x)=np_{n-1}(x).\,}$

El concepto del tipo binomial tiene aplicaciones en combinatoria, probabilidad, estadística y una gran variedad de otros campos.

• Anexo:Relaciones factoriales y binomial
• Binomial-QMF (filtros wavelet de Daubechies)

• G.-C. Rota, D. Kahaner, and A. Odlyzko, "Finite Operator Calculus," Journal of Mathematical Analysis and its Applications, vol. 42, no. 3, June 1973. Reprinted in the book with the same title, Academic Press, New York, 1975.
• R. Mullin and G.-C. Rota, "On the Foundations of Combinatorial Theory III: Theory of Binomial Enumeration," in Graph Theory and Its Applications, edited by Bernard Harris, Academic Press, New York, 1970.

Como sugiere su título, la segunda de las referencias anteriores está dedicada explícitamente a las aplicaciones para la enumeración combinatoria.

• di Bucchianico, Alessandro. Probabilistic and Analytical Aspects of the Umbral Calculus, Ámsterdam, CWI, 1997.

• Weisstein, Eric W. «Binomial-Type Sequence». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.