La sucesión de Appel es una sucesión de polinomios que satisfacen la identidad:
,donde es una constante distinta de cero.
Nombrado por Paul Emil Appel . Entre las sucesiones de Appel más famosas, además del ejemplo trivial , se encuentran los polinomios de Hermite, los polinomios de Bernoulli y los polinomios de Euler . Cada secuencia de Appel es una secuencia de Schaeffer , pero en general, las secuencias de Schaeffer no son secuencias de Appel. Las sucesiones de Appel tienen una interpretación probabilística como sistemas de momentos .
Las siguientes condiciones sobre secuencias de polinomios son equivalentes a la definición de una secuencia de Appel:
Si un:
,donde la última igualdad define un operador lineal en el espacio de polinomios en , y:
es el operador inverso, donde los coeficientes son los coeficientes de la serie de potencia formal inversa , de modo que:
,(en la terminología del cálculo de sombras , a menudo se usa una serie de potencias formal en lugar de la propia secuencia de Appel ), entonces tenemos:
utilizando la expansión habitual de la serie para el logaritmo y la definición habitual de la composición de la serie formal. De dónde viene:
.(Esta diferenciación formal de una serie con respecto a un operador diferencial es un ejemplo de la derivada de Pinkerle ).
En el caso de los polinomios de Hermite , esto se reduce a la fórmula recursiva habitual para esta secuencia.
El conjunto de todas las sucesiones de Schaeffer se cierra bajo la composición de sombras de las sucesiones polinómicas, definida como sigue. Sean y sean secuencias polinómicas definidas como sigue:
.Entonces la composición de la sombra es una sucesión de polinomios, cuyo enésimo término tiene la forma:
(el subíndice aparece en , ya que es el miembro th de esta secuencia, pero no en , ya que aquí se refiere a toda la secuencia, no a uno de sus miembros).
Bajo tal operación, el conjunto de todas las secuencias de Schaeffer es un grupo no abeliano , pero el conjunto de todas las secuencias de Appel es un subgrupo abeliano . Su propiedad abeliana se deriva del hecho de que cada sucesión de Appel tiene la forma:
,y que el producto sombra de las sucesiones de Appel corresponde a la multiplicación de estas series de potencias formales por una variable operadora .