Transformada binomial

En matemáticas, en el campo de la combinatoria, la transformada binomial es una transformación de sucesiones, o sea, una transformación de una sucesión, que se obtiene calculando sus diferencias anteriores. Está relacionada con la transformada de Euler, que es el resultado de aplicar la transformada binomial a la sucesión asociada con la función generadora ordinaria. A veces se suele utilizar un caso especial de transformada de Euler para acelerar la sumación de series alternadas (véase aceleración de series). Otro caso especial se aplica a la serie hipergeométrica.

Definición

La transformada binomial, T, de una sucesión, { a n } {\displaystyle \{a_{n}\}} , es la sucesión { s n } {\displaystyle \{s_{n}\}} definida como

s n = k = 0 n ( 1 ) k ( n k ) a k {\displaystyle s_{n}=\sum _{k=0}^{n}(-1)^{k}{n \choose k}a_{k}}

Formalmente, la transformación se escribe como ( T a ) n = s n {\displaystyle (Ta)_{n}=s_{n}} , donde T es un operador de dimensión infinita con una matriz de elementos T n k {\displaystyle T_{nk}} :

s n = ( T a ) n = k = 0 T n k a k {\displaystyle s_{n}=(Ta)_{n}=\sum _{k=0}^{\infty }T_{nk}a_{k}}

La transformada es una involución, o sea,

T T = 1 {\displaystyle TT=1\,}

o, en notación indexada,

k = 0 T n k T k m = δ n m {\displaystyle \sum _{k=0}^{\infty }T_{nk}T_{km}=\delta _{nm}}

siendo δ la función delta de Kronecker. Se puede recuperar la serie original con

a n = k = 0 n ( 1 ) k ( n k ) s k {\displaystyle a_{n}=\sum _{k=0}^{n}(-1)^{k}{n \choose k}s_{k}}

La transformada binomial de una sucesión es la n-ésima diferencia anterior de la sucesión, igual a

s 0 = a 0 {\displaystyle s_{0}=a_{0}}
s 1 = ( a ) 0 = a 1 + a 0 {\displaystyle s_{1}=-(\triangle a)_{0}=-a_{1}+a_{0}}
s 2 = ( 2 a ) 0 = ( a 2 + a 1 ) + ( a 1 + a 0 ) = a 2 2 a 1 + a 0 {\displaystyle s_{2}=(\triangle ^{2}a)_{0}=-(-a_{2}+a_{1})+(-a_{1}+a_{0})=a_{2}-2a_{1}+a_{0}}
. . .
s n = ( 1 ) n ( n a ) 0 {\displaystyle s_{n}=(-1)^{n}(\triangle ^{n}a)_{0}}

donde Δ es el operador de diferencia anterior.

Algunos autores definen a la transformada binomial con un signo adicional, de manera que no sea inversa consigo misma:

t n = k = 0 n ( 1 ) n k ( n k ) a k {\displaystyle t_{n}=\sum _{k=0}^{n}(-1)^{n-k}{n \choose k}a_{k}}

cuya inversa es

a n = k = 0 n ( n k ) t k {\displaystyle a_{n}=\sum _{k=0}^{n}{n \choose k}t_{k}}

Estados desplazados

La transformada binomial es el operador de desplazamiento para los números de Bell. O sea,

B n + 1 = k = 0 n ( n k ) B k {\displaystyle B_{n+1}=\sum _{k=0}^{n}{n \choose k}B_{k}}

donde B n {\displaystyle B_{n}} son los números de Bell.

Función de generación ordinaria

La transformada conecta las funciones generadoras asociadas con las series. Para el caso de la función generadora ordinaria, sea

f ( x ) = n = 0 a n x n {\displaystyle f(x)=\sum _{n=0}^{\infty }a_{n}x^{n}}

y

g ( x ) = n = 0 s n x n {\displaystyle g(x)=\sum _{n=0}^{\infty }s_{n}x^{n}}

entonces

g ( x ) = ( T f ) ( x ) = 1 1 x f ( x 1 x ) {\displaystyle g(x)=(Tf)(x)={\frac {1}{1-x}}f\left({\frac {-x}{1-x}}\right)}

Transformada de Euler

La relación entre las funciones de generación ordinarias es a veces llamada la transformada de Euler. Existen dos tipos. En una de sus formas, es utilizada para acelerar la convergencia de una serie alternada. Es decir una que posee la siguiente identidad

n = 0 ( 1 ) n a n = n = 0 ( 1 ) n Δ n a 0 2 n + 1 {\displaystyle \sum _{n=0}^{\infty }(-1)^{n}a_{n}=\sum _{n=0}^{\infty }(-1)^{n}{\frac {\Delta ^{n}a_{0}}{2^{n+1}}}}

que se obtiene sustituyendo x=1/2 en la expresión previa. Por lo general los términos del lado derecho de la igualdad, se reducen en forma mucho más rápida, permitiendo de esta manera una sumación numérica rápida.

También es frecuente la aplicación de la transformada de Euler a la serie hipergeométrica 2 F 1 {\displaystyle \,_{2}F_{1}} . En este caso, la transformada de Euler toma la siguiente forma:

2 F 1 ( a , b ; c ; z ) = ( 1 z ) b 2 F 1 ( c a , b ; c ; z z 1 ) {\displaystyle \,_{2}F_{1}(a,b;c;z)=(1-z)^{-b}\,_{2}F_{1}\left(c-a,b;c;{\frac {z}{z-1}}\right)}

La transformada binomial, y su variación la transformada de Euler, se destacan por su conexión con la representación de un número mediante fracción continua. Sea 0 < x < 1 {\displaystyle 0<x<1} tal que su representación en fracción continua es

x = [ 0 ; a 1 , a 2 , a 3 , ] {\displaystyle x=[0;a_{1},a_{2},a_{3},\cdots ]}

entonces

x 1 x = [ 0 ; a 1 1 , a 2 , a 3 , ] {\displaystyle {\frac {x}{1-x}}=[0;a_{1}-1,a_{2},a_{3},\cdots ]}

y

x 1 + x = [ 0 ; a 1 + 1 , a 2 , a 3 , ] {\displaystyle {\frac {x}{1+x}}=[0;a_{1}+1,a_{2},a_{3},\cdots ]}

Función de generación exponencial

Considerando la función generadora exponencial, sea

f ¯ ( x ) = n = 0 a n x n n ! {\displaystyle {\overline {f}}(x)=\sum _{n=0}^{\infty }a_{n}{\frac {x^{n}}{n!}}}

y

g ¯ ( x ) = n = 0 s n x n n ! {\displaystyle {\overline {g}}(x)=\sum _{n=0}^{\infty }s_{n}{\frac {x^{n}}{n!}}}

entonces

g ¯ ( x ) = ( T f ¯ ) ( x ) = e x f ¯ ( x ) {\displaystyle {\overline {g}}(x)=(T{\overline {f}})(x)=e^{x}{\overline {f}}(-x)}

La transformada de Borel convierte a una función generadora ordinaria en la función generadora exponencial.

Representación integral

Cuando se puede interpolar la sucesión por medio de una función compleja, entonces la transformada binomial de la sucesión puede ser representada por medio de una integral de Nörlund-Rice sobre la función interpolante.

Generalizaciones

Prodinger dio una transformación relacionada, de tipo modular: sea

u n = k = 0 n ( n k ) a k ( c ) n k b k {\displaystyle u_{n}=\sum _{k=0}^{n}{n \choose k}a^{k}(-c)^{n-k}b_{k}}

lo cual conduce a

U ( x ) = 1 c x + 1 B ( a x c x + 1 ) {\displaystyle U(x)={\frac {1}{cx+1}}B\left({\frac {ax}{cx+1}}\right)}

donde U y B son las funciones generadoras ordinarias asociadas con las series { u n } {\displaystyle \{u_{n}\}} y { b n } {\displaystyle \{b_{n}\}} , respectivamente.

La transformada k-binomial ascendente se define algunas veces como

j = 0 n ( n j ) j k a j {\displaystyle \sum _{j=0}^{n}{n \choose j}j^{k}a_{j}}

La transformada k-binomial descendente es

j = 0 n ( n j ) j n k a j {\displaystyle \sum _{j=0}^{n}{n \choose j}j^{n-k}a_{j}} .

Ambas son homomorfismos del kernel de la transformada de Hankel de una serie.

Véase también

Referencias

  • Donald E. Knuth, The Art of Computer Programming Vol. 3, (1973) Addison-Wesley, Reading, MA.
  • Helmut Prodinger, Some information about the Binomial transform Archivado el 12 de marzo de 2007 en Wayback Machine., (1992)
  • Michael Z. Spivey and Laura L. Steil, The k-Binomial Transforms and the Hankel Transform, (2006)
Control de autoridades
  • Proyectos Wikimedia
  • Wd Datos: Q2604449
  • Wd Datos: Q2604449