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 , {\displaystyle \{p_{n}(x)\}_{n=0,1,2,\ldots }} que satisface la identidad

d d x p n ( x ) = n p n 1 ( x ) , {\displaystyle {\frac {d}{dx}}p_{n}(x)=np_{n-1}(x),}

y en la que p 0 ( x ) {\displaystyle p_{0}(x)} es una constante distinta de cero.

Entre las series de Appell más notables, además del ejemplo trivial { x n } {\displaystyle \{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 , {\displaystyle n=1,2,3,\ldots } ,
d d x p n ( x ) = n p n 1 ( x ) {\displaystyle {\frac {d}{dx}}p_{n}(x)=np_{n-1}(x)}
y p 0 ( x ) {\displaystyle p_{0}(x)} es una constante distinta de cero;
  • Para alguna serie { c n } n = 0 {\textstyle \{c_{n}\}_{n=0}^{\infty }} de escalares con c 0 0 {\displaystyle c_{0}\neq 0} ,
p n ( x ) = k = 0 n ( n k ) c k x n k ; {\displaystyle p_{n}(x)=\sum _{k=0}^{n}{\binom {n}{k}}c_{k}x^{n-k};}
  • Para la misma serie de los escalares,
p n ( x ) = ( k = 0 c k k ! D k ) x n , {\displaystyle p_{n}(x)=\left(\sum _{k=0}^{\infty }{\frac {c_{k}}{k!}}D^{k}\right)x^{n},}
donde
D = d d x ; {\displaystyle D={\frac {d}{dx}};}
  • Para n = 0 , 1 , 2 , {\displaystyle n=0,1,2,\ldots } ,
p n ( x + y ) = k = 0 n ( n k ) p k ( x ) y n k . {\displaystyle p_{n}(x+y)=\sum _{k=0}^{n}{\binom {n}{k}}p_{k}(x)y^{n-k}.}

Fórmula de recursión

Supóngase que

p n ( x ) = ( k = 0 c k k ! D k ) x n = S x n , {\displaystyle p_{n}(x)=\left(\sum _{k=0}^{\infty }{c_{k} \over k!}D^{k}\right)x^{n}=Sx^{n},}

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

T = S 1 = ( k = 0 c k k ! D k ) 1 = k = 1 a k k ! D k {\displaystyle T=S^{-1}=\left(\sum _{k=0}^{\infty }{\frac {c_{k}}{k!}}D^{k}\right)^{-1}=\sum _{k=1}^{\infty }{\frac {a_{k}}{k!}}D^{k}}

el operador inverso, los coeficientes a k {\displaystyle a_{k}} son los del recíproco habitual de una serie formal de potencias, de modo que

T p n ( x ) = x n . {\displaystyle Tp_{n}(x)=x^{n}.\,}

En las convenciones del cálculo umbral, a menudo se considera que esta serie formal de potencias T {\displaystyle T} representa la serie de p n {\displaystyle p_{n}} de Appell. Se puede definir

log T = log ( k = 0 a k k ! D k ) {\displaystyle \log T=\log \left(\sum _{k=0}^{\infty }{\frac {a_{k}}{k!}}D^{k}\right)}

utilizando la expansión en serie de potencias habitual de la función log ( x ) {\displaystyle \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 ) ) p n ( x ) . {\displaystyle p_{n+1}(x)=(x-(\log T)')p_{n}(x).\,}

(Esta diferenciación formal de una serie de potencias en el operador diferencial D {\displaystyle 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 , } {\displaystyle \{p_{n}(x)\colon n=0,1,2,\ldots \}} y { q n ( x ) : n = 0 , 1 , 2 , } {\displaystyle \{q_{n}(x)\colon n=0,1,2,\ldots \}} son series polinomiales, dadas por

p n ( x ) = k = 0 n a n , k x k  and  q n ( x ) = k = 0 n b n , k x k . {\displaystyle 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 q {\displaystyle p\circ q} es la serie polinomial cuyo término n {\displaystyle n} th es

( p n q ) ( x ) = k = 0 n a n , k q k ( x ) = 0 k n a n , k b k , x {\displaystyle (p_{n}\circ q)(x)=\sum _{k=0}^{n}a_{n,k}q_{k}(x)=\sum _{0\leq k\leq \ell \leq n}a_{n,k}b_{k,\ell }x^{\ell }}

(El subíndice n {\displaystyle n} aparece en p n {\displaystyle p_{n}} , ya que este es el término n {\displaystyle n} th de esa serie, pero no en q {\displaystyle 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 ) = ( k = 0 c k k ! D k ) x n , {\displaystyle p_{n}(x)=\left(\sum _{k=0}^{\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 {\displaystyle 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

d d x p n ( x ) = p n 1 ( x ) {\displaystyle {d \over dx}p_{n}(x)=p_{n-1}(x)}

en lugar del criterio anterior.

Véase también

Referencias

  • Appell, Paul (1880). «Sur une classe de polynômes». Annales scientifiques de l'Escuela Normal Superior de París 2me série 9: 119-144. 
  • Roman, Steven; Rota, Gian-Carlo (1978). «The Umbral Calculus». Advances in Mathematics 27 (2): 95-188. doi:10.1016/0001-8708(78)90087-7. .
  • Rota, Gian-Carlo; Kahaner, D.; Odlyzko, Andrew (1973). «Finite Operator Calculus». Journal of Mathematical Analysis and its Applications 42 (3): 685-760. doi:10.1016/0022-247X(73)90172-8.  Reimpreso en el libro con el mismo título, Academic Press, Nueva York, 1975.
  • Steven Roman. The Umbral Calculus. Dover Publications. 
  • Theodore Seio Chihara (1978). An Introduction to Orthogonal Polynomials. Gordon and Breach, New York. ISBN 0-677-04150-0. 

Enlaces externos

Control de autoridades
  • Proyectos Wikimedia
  • Wd Datos: Q1090038
  • Wd Datos: Q1090038