Serie de Appel

En matemáticas, una serie de Appell, llamada así por Paul Émile Appell, es cualquier serie polinómica $\{p_n(x){\}}_{n=0,1,2,\dots }$ que satisface la identidad

$\frac{d}{dx}{p}_n(x)=n{p}_{n-1}(x),$

y en la que $p_0(x)$ es una constante distinta de cero.

Entre las series de Appell más notables, además del ejemplo trivial $\{x^n\}$, se encuentran los polinomios de Hermite, los polinomios de Bernoulli y el polinomio de Euler. Cada serie de Appell es una serie de Sheffer, aunque la mayoría de las series de Sheffer no son series de Appell.

Caracterizaciones equivalentes de las series de Appell

Puede verse con facilidad que las siguientes condiciones de las series polinómicas son equivalentes:

• Para $n=1,2,3,\dots$,

$\frac{d}{dx}{p}_n(x)=n{p}_{n-1}(x)$

y $p_0(x)$ es una constante distinta de cero;

• Para alguna serie $\{c_n{\}}_{n=0}^{\mathrm{\infty }}$ de escalares con $c_0\ne 0$,

$p_n(x)=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})c_k{x}^{n-k};$

• Para la misma serie de los escalares,

$p_n(x)=\left(\sum _{k=0}^{\mathrm{\infty }}\frac{c_k}{k!}{D}^k\right)x^n,$

donde

$D=\frac{d}{dx};$

• Para $n=0,1,2,\dots$,

$p_n(x+y)=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})p_k(x)y^{n-k}.$

Fórmula de recursión

Supóngase que

$p_n(x)=\left(\sum _{k=0}^{\mathrm{\infty }}\frac{c_k}{k!}{D}^k\right)x^n=S{x}^n,$

donde se toma la última igualdad para definir el operador lineal $S$ en el espacio de polinomios en $x$. Sea

$T=S^{-1}={\left(\sum _{k=0}^{\mathrm{\infty }}\frac{c_k}{k!}{D}^k\right)}^{-1}=\sum _{k=1}^{\mathrm{\infty }}\frac{a_k}{k!}{D}^k$

el operador inverso, los coeficientes $a_k$ son los del recíproco habitual de una serie formal de potencias, de modo que

$T{p}_n(x)=x^n.$

En las convenciones del cálculo umbral, a menudo se considera que esta serie formal de potencias $T$ representa la serie de $p_n$ de Appell. Se puede definir

$\log T=\log \left(\sum _{k=0}^{\mathrm{\infty }}\frac{a_k}{k!}{D}^k\right)$

utilizando la expansión en serie de potencias habitual de la función $\log (x)$ y la definición habitual de composición de serie formal de potencias. Entonces, se tiene que

$p_{n+1}(x)=(x-(\log T{)}^{\prime })p_n(x).$

(Esta diferenciación formal de una serie de potencias en el operador diferencial $D$ es una instancia de la diferencial de Pincherle).

En el caso de los polinomios de Hermite, esto se reduce a la fórmula de recursión convencional para esa serie.

Subgrupo de los polinomios de Sheffer

El conjunto de todas las series de Appell se cierra bajo la operación de la composición umbral de series polinómicas, que se define a continuación. Supóngase que $\{p_n(x):n=0,1,2,\dots \}$ y $\{q_n(x):n=0,1,2,\dots \}$ son series polinomiales, dadas por

$p_n(x)=\sum _{k=0}^n{a}_{n,k}{x}^k\text{ and }{q}_n(x)=\sum _{k=0}^n{b}_{n,k}{x}^k.$

Entonces, la composición de umbral $p\circ q$ es la serie polinomial cuyo término $n$th es

$(p_n\circ q)(x)=\sum _{k=0}^n{a}_{n,k}{q}_k(x)=\sum _{0\le k\le \ell \le n}{a}_{n,k}{b}_{k,\ell }{x}^{\ell }$

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

Bajo esta operación, el conjunto de todas las series de Sheffer es un grupo no abeliano, pero el conjunto de todas las series de Appell es un subgrupo abeliano. Se puede ver que es abeliano considerando el hecho de que cada serie de Appell es de la forma

$p_n(x)=\left(\sum _{k=0}^{\mathrm{\infty }}\frac{c_k}{k!}{D}^k\right)x^n,$

y que la composición umbral de las series de Appell corresponde a la multiplicación de estas series formales de potencias mediante el operador $D$.

Otra convención diferente

Otra convención seguida por algunos autores (véase Chihara) define este concepto de una manera diferente, en conflicto con la definición original de Appell, usando la identidad

$\frac{d}{dx}{p}_n(x)=p_{n-1}(x)$

en lugar del criterio anterior.

Véase también

• Serie de Sheffer
• Cálculo umbral
• Polinomios de Appell generalizados
• Producto de Wick

Referencias

• Plantilla:Cita publicación
• Plantilla:Cita publicación.
• Plantilla:Cita publicación Reimpreso en el libro con el mismo título, Academic Press, Nueva York, 1975.
• Plantilla:Cite book
• Plantilla:Cite book

Enlaces externos

• Plantilla:Springer
• Appell Sequence en MathWorld