Articulo de referencia

Secuencia de apelación

En matemáticas , una sucesión de Appell , llamada así en honor a Paul Émile Appell , es cualquier sucesión de polinomios. { pag norte ( incógnita ) } norte = 0 , 1 , 2 , … {\dis...

En matemáticas , una sucesión de Appell , llamada así en honor a Paul Émile Appell , es cualquier sucesión de polinomios.{pagnorte(incógnita)}norte=0,1,2,{\displaystyle \{p_{n}(x)\}_{n=0,1,2,\ldots }}satisfaciendo la identidad

ddincógnitapagnorte(incógnita)=nortepagnorte1(incógnita),{\displaystyle {\frac {d}{dx}}p_{n}(x)=np_{n-1}(x),}

y en el cualpag0(incógnita){\displaystyle p_{0}(x)}es una constante distinta de cero.

Entre las secuencias de Appell más notables, además del ejemplo trivial{incógnitanorte}{\displaystyle \{x^{n}\}}son los polinomios de Hermite , los polinomios de Bernoulli y los polinomios de Euler . Toda sucesión de Appell es una sucesión de Sheffer , pero la mayoría de las sucesiones de Sheffer no son sucesiones de Appell. Las sucesiones de Appell tienen una interpretación probabilística como sistemas de momentos .

Caracterizaciones equivalentes de secuencias de Appell

Se puede comprobar fácilmente que las siguientes condiciones sobre secuencias de polinomios son equivalentes:

  • Paranorte=1,2,3,{\displaystyle n=1,2,3,\ldots },
ddincógnitapagnorte(incógnita)=nortepagnorte1(incógnita){\displaystyle {\frac {d}{dx}}p_{n}(x)=np_{n-1}(x)}
ypag0(incógnita){\displaystyle p_{0}(x)}es una constante distinta de cero;
  • Para alguna secuencia{donorte}norte=0{\textstyle \{c_{n}\}_{n=0}^{\infty }}de escalares condo00{\displaystyle c_{0}\neq 0},
pagnorte(incógnita)=k=0norte(nortek)dokincógnitanortek;{\displaystyle p_{n}(x)=\sum _ {k=0}^{n}{\binom {n}{k}}c_{k}x^{nk};}
  • Para la misma secuencia de escalares,
pagnorte(incógnita)=(k=0dokk¡Dk)incógnitanorte,{\displaystyle p_{n}(x)=\left(\sum _{k=0}^{\infty }{\frac {c_{k}}{k!}}D^{k}\right)x^{n},}
dónde
D=ddincógnita;{\displaystyle D={\frac {d}{dx}};}
  • Paranorte=0,1,2,{\displaystyle n=0,1,2,\ldots },
pagnorte(incógnita+y)=k=0norte(nortek)pagk(incógnita)ynortek.{\displaystyle p_{n}(x+y)=\sum _{k=0}^{n}{\binom {n}{k}}p_{k}(x)y^{nk}.}

Fórmula de recursión

Suponer

pagnorte(incógnita)=(k=0dokk¡Dk)incógnitanorte=Sincógnitanorte,{\displaystyle p_{n}(x)=\left(\sum _{k=0}^{\infty }{c_{k} \over k!}D^{k}\right)x^{n}=Sx^{n},}

donde la última igualdad se toma para definir el operador linealS{\displaystyle S}en el espacio de polinomios enincógnita{\displaystyle x}. Dejar

T=S1=(k=0dokk¡Dk)1=k=1akk¡Dk{\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}}

sea ​​el operador inverso, los coeficientesak{\displaystyle a_{k}}siendo aquellos del recíproco usual de una serie de potencias formal , de modo que

Tpagnorte(incógnita)=incógnitanorte.{\displaystyle Tp_{n}(x)=x^{n}.\,}

En las convenciones del cálculo umbral , a menudo se trata esta serie de potencias formal.T{\displaystyle T}como representación de la secuencia de Appellpagnorte{\displaystyle p_{n}}. Se puede definir

registroT=registro(k=0akk¡Dk){\displaystyle \log T=\log \left(\sum _{k=0}^{\infty }{\frac {a_{k}}{k!}}D^{k}\right)}

mediante el uso del desarrollo en serie de potencias habitual de laregistro(incógnita){\displaystyle \log(x)}y la definición habitual de composición de series de potencias formales. Entonces tenemos

pagnorte+1(incógnita)=(incógnita(registroT))pagnorte(incógnita).{\displaystyle p_{n+1}(x)=(x-(\log T)')p_{n}(x).\,}

(Esta diferenciación formal de una serie de potencias en el operador diferencialD{\displaystyle D}es un ejemplo de diferenciación de Pincherle .

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

Subgrupo de los polinomios de Sheffer

El conjunto de todas las sucesiones de Appell es cerrado bajo la operación de composición umbral de sucesiones polinómicas, definida como sigue. Supongamos que{pagnorte(incógnita):norte=0,1,2,}{\displaystyle \{p_{n}(x)\colon n=0,1,2,\ldots \}}y{qnorte(incógnita):norte=0,1,2,}{\displaystyle \{q_{n}(x)\colon n=0,1,2,\ldots \}}son secuencias polinómicas, dadas por

pagnorte(incógnita)=k=0norteanorte,kincógnitak y qnorte(incógnita)=k=0nortebnorte,kincógnitak.{\displaystyle p_{n}(x)=\sum _{k=0}^{n}a_{n,k}x^{k}{\text{ y }}q_{n}(x)=\sum _{k=0}^{n}b_{n,k}x^{k}.}

Luego la composición umbralpagq{\displaystyle p\circ q}es la secuencia polinómica cuyonorte{\displaystyle n}el término es

(pagnorteq)(incógnita)=k=0norteanorte,kqk(incógnita)=0knorteanorte,kbk,incógnita{\displaystyle (p_{n}\circ q)(x)=\sum _{k=0}^{n}a_{n,k}q_{k}(x)=\sum _{0\leq \ell \leq k\leq n}a_{n,k}b_{k,\ell }x^{\ell }}

(el subíndicenorte{\displaystyle n}aparece enpagnorte{\displaystyle p_{n}}, puesto que este es elnorte{\displaystyle n}el término -ésimo de esa secuencia, pero no enq{\displaystyle q}(ya que esto se refiere a la secuencia en su conjunto y no a uno de sus términos).

Bajo esta operación, el conjunto de todas las secuencias de Sheffer es un grupo no abeliano , pero el conjunto de todas las secuencias de Appell es un subgrupo abeliano . Que es abeliano se puede ver considerando el hecho de que toda secuencia de Appell es de la forma

pagnorte(incógnita)=(k=0dokk¡Dk)incógnitanorte,{\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 secuencias de Appell corresponde a la multiplicación de estas series de potencias formales en el operadorD{\displaystyle D}.

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, al utilizar la identidad

ddincógnitapagnorte(incógnita)=pagnorte1(incógnita){\displaystyle {d \over dx}p_{n}(x)=p_{n-1}(x)}

en cambio.

Polinomios hipergeométricos de Appell

La enorme clase de polinomios de Appell se puede obtener en términos de la función hipergeométrica generalizada .

DejarΔ(k,norte){\displaystyle \Delta (k,-n)}denotan la matriz dek{\displaystyle k}proporciones

nortek,norte1k,,nortek+1k,nortenorte0,knorte.{\displaystyle -{\frac {n}{k}},-{\frac {n-1}{k}},\ldots ,-{\frac {n-k+1}{k}},\quad n\in {\mathbb {N} }_{0},k\in \mathbb {N} .}

Consideremos el polinomio Anorte,pag,q(k)(a,b;metro,incógnita)=incógnitanortek+pagFq(a1,a2,,apag,Δ(k,norte);b1,b2,,bq;metroincógnitak),norte,metronorte0,knorte{\displaystyle A_{n,p,q}^{(k)}(a,b;m,x)=x^{n}{}_{k+p}F_{q}\left({a_{1}},{a_{2}},\ldots ,{a_{p}},\Delta (k,-n);{b_{1}},{b_{2}},\ldots ,{b_{q}};{\frac {m}{x^{k}}}\right),\quad n,m\in \mathbb {N} _{0},k\in \mathbb {N} }

dóndek+pagFq{\displaystyle {}_{k+p}F_{q}}es la función hipergeométrica generalizada.

Teorema. La familia de polinomios{Anorte,pag,q(k)(a,b;metro,incógnita)}{\displaystyle \{A_{n,p,q}^{(k)}(a,b;m,x)\}}es la secuencia de Appell para cualquier parámetro naturala,b,pag,q,metro,k{\displaystyle a,b,p,q,m,k}.

Por ejemplo, sipag=0,q=0,{\displaystyle p=0,q=0,}k=metro,{\displaystyle k=m,}metro=(1)khkk{\displaystyle m=(-1)^{k}h{k^{k}}}luego los polinomiosAnorte,pag,q(k)(metro,incógnita){\displaystyle A_{n,p,q}^{(k)}(m,x)}se convierten en los polinomios de Gould-Hoppergramonortemetro(incógnita,h){\displaystyle g_{n}^{m}(x,h)}y sipag=0,q=0,metro=2,k=2{\displaystyle p=0,q=0,m=-2,k=2}se convierten en los polinomios de HermiteHnorte(incógnita){\displaystyle H_{n}(x)}.

Véase también

Referencias

  • Appell, Paul (1880). "Sur una clase de polinomios" . Annales Scientifiques de l'École Normale Supérieure . 2ª Serie. 9 : 119–144 . doi : 10.24033/asens.186 .
  • Roman, Steven; Rota, Gian-Carlo (1978). "El cálculo umbral" . Advances in Mathematics . 27 (2): 95– 188. doi : 10.1016/0001-8708(78)90087-7 ..
  • Rota, Gian-Carlo; Kahaner, D.; Odlyzko, Andrew (1973). "Cálculo de operadores finitos" . Journal of Mathematical Analysis and Applications . 42 (3): 685– 760. doi : 10.1016/0022-247X(73)90172-8 . Reimpreso en el libro del mismo título, Academic Press, Nueva York, 1975.
  • Steven Roman. El cálculo umbral . Publicaciones Dover .
  • Theodore Seio Chihara (1978). Introducción a los polinomios ortogonales . Gordon and Breach, Nueva York. ISBN 978-0-677-04150-6.
  • Bedratyuk, L.; Luno, N. (2020). "Algunas propiedades de los polinomios hipergeométricos generalizados de Appell". Carpathian Math. Publ . 12 (1): 129– 137. arXiv : 2005.01676 . doi : 10.15330/cmp.12.1.129-137 .