Articulo de referencia

Polinomios de Angelescu

En matemáticas , los polinomios de Angelescu π n ( x ) son una serie de polinomios que generalizan los polinomios de Laguerre introducidos por Aurel Angelescu. Los polinomios se...

En matemáticas , los polinomios de Angelescu π n ( x ) son una serie de polinomios que generalizan los polinomios de Laguerre introducidos por Aurel Angelescu. Los polinomios se pueden expresar mediante la función generatriz.ϕ(t1t)exp(incógnitat1t)=norte=0πnorte(incógnita)tnorte.{\displaystyle \phi \left({\frac {t}{1-t}}\right)\exp \left(-{\frac {xt}{1-t}}\right)=\sum _{n=0}^{\infty }\pi _{n}(x)t^{n}.}[ 1 ] [ 2 ]

También pueden definirse mediante la ecuación πnorte(incógnita):=miincógnitaDnorte[miincógnitaAnorte(incógnita)],{\displaystyle \pi _{n}(x):=e^{x}D^{n}[e^{-x}A_{n}(x)],}dóndeAnorte(incógnita)norte¡{\displaystyle {\frac {A_{n}(x)}{n!}}}es un conjunto de polinomios de Appell . [ 3 ]

Propiedades

Relaciones de adición y recurrencia

Los polinomios de Angelescu satisfacen el siguiente teorema de adición:

(1)norter=0metroLmetro+norter(norte)(incógnita)πr(y)(norte+metror)¡r¡=r=0metro(1)r(norte1r)πnorter(incógnita+y)(metror)¡,{\displaystyle (-1)^{n}\sum _{r=0}^{m}{\frac {L_{m+nr}^{(n)}(x)\pi _{r}(y)}{(n+mr)!r!}}=\sum _{r=0}^{m}(-1)^{r}{\binom {-n-1}{r}}{\frac {\pi _{nr}(x+y)}{(mr)!}},}dóndeLmetro+norter(norte){\displaystyle L_{m+nr}^{(n)}}es un polinomio de Laguerre generalizado .

Un caso especial particularmente notable de esto es cuandonorte=0{\displaystyle n=0}, en cuyo caso la fórmula se simplifica aπmetro(incógnita+y)metro¡=r=0metroLmetror(incógnita)πr(y)(metror)¡r¡r=0metro1Lmetror1(incógnita)πr(y)(metror1)¡r¡.{\displaystyle {\frac {\pi _{m}(x+y)}{m!}}=\sum _{r=0}^{m}{\frac {L_{mr}(x)\pi _{r}(y)}{(mr)!r!}}-\sum _{r=0}^{m-1}{\frac {L_{mr-1}(x)\pi _{r}(y)}{(mr-1)!r!}}.}[ 4 ]

Los polinomios también satisfacen la relación de recurrencia.

πs(incógnita)=r=0norte(1)norte+r(norter)s¡(norte+sr)¡dnortedincógnitanorte[πnorte+sr(incógnita)],{\displaystyle \pi _{s}(x)=\sum _{r=0}^{n}(-1)^{n+r}{\binom {n}{r}}{\frac {s!}{(n+sr)!}}{\frac {d^{n}}{dx^{n}}}[\pi _{n+sr}(x)],}

lo cual se simplifica cuandonorte=0{\displaystyle n=0}aπs+1(incógnita)=(s+1)[πs(incógnita)πs(incógnita)]{\displaystyle \pi '_{s+1}(x)=(s+1)[\pi '_{s}(x)-\pi _{s}(x)]}. [ 4 ] Esto se puede generalizar a lo siguiente:

r=0s1(metro+norter1)¡Lmetro+norter1(metro+norte1)(incógnita)πrs(y)(sr)¡=1(metro+norte+s)¡dmetro+nortedincógnitametrodynorteπmetro+norte+s(incógnita+y),{\displaystyle -\sum _{r=0}^{s}{\frac {1}{(m+nr-1)!}}L_{m+nr-1}^{(m+n-1)}(x){\frac {\pi _{rs}(y)}{(sr)!}}={\frac {1}{(m+n+s)!}}{\frac {d^{m+n}}{dx^{m}dy^{n}}}\pi _{m+n+s}(x+y),}

un caso especial de lo cual es la fórmuladmetro+nortedincógnitametrodynorteπmetro+norte(incógnita+y)=(1)metro+norte(metro+norte)¡a0{\displaystyle {\frac {d^{m+n}}{dx^{m}dy^{n}}}\pi _{m+n}(x+y)=(-1)^{m+n}(m+n)!a_{0}}. [ 4 ]

Integrales

Los polinomios de Angelescu satisfacen las siguientes fórmulas integrales:

0miincógnita/2incógnita[πnorte(incógnita)πnorte(0)]dincógnita=r=0norte1(1)norter+1norte¡r¡πr(0)0[11/2+pag1]norter1d[11/2+pag]=r=0norte1(1)norter+1norte¡r¡πr(0)norter[1+(1)norter1]{\displaystyle {\begin{aligned}\int _{0}^{\infty }{\frac {e^{-x/2}}{x}}[\pi _{n}(x)-\pi _{n}(0)]dx&=\sum _{r=0}^{n-1}(-1)^{n-r+1}{\frac {n!}{r!}}\pi _{r}(0)\int _{0}^{\infty }[{\frac {1}{1/2+p}}-1]^{nr-1}d[{\frac {1}{1/2+p}}]\\&=\sum _{r=0}^{n-1}(-1)^{n-r+1}{\frac {n!}{r!}}{\frac {\pi _{r}(0)}{nr}}[1+(-1)^{nr-1}]\end{aligned}}}

0miincógnita[πnorte(incógnita)πnorte(0)]Lmetro(1)(incógnita)dincógnita={0 si metronortenorte¡(nortemetro1)¡πnortemetro1(0) si 0metronorte1{\displaystyle \int _{0}^{\infty }e^{-x}[\pi _{n}(x)-\pi _{n}(0)]L_{m}^{(1)}(x)dx={\begin{cases}0{\text{ si }}m\geq n\\{\frac {n!}{(nm-1)!}}\pi _{nm-1}(0){\text{ si }}0\leq m\leq n-1\end{cases}}}[ 4 ]

(Aquí,Lmetro(1)(incógnita){\displaystyle L_{m}^{(1)}(x)}es un polinomio de Laguerre.)

Mayor generalización

Podemos definir un q-análogo de los polinomios de Angelescu comoπnorte,q(incógnita):=miq(incógnitaqnorte)Dqnorte[miq(incógnita)PAGnorte(incógnita)]{\displaystyle \pi _{n,q}(x):=e_{q}(xq^{n})D_{q}^{n}[E_{q}(-x)P_{n}(x)]}, dóndemiq{\displaystyle e_{q}}ymiq{\displaystyle E_{q}}son las funciones q-exponencialesmiq(incógnita):=Πnorte=0(1qnorteincógnita)1=Σk=0incógnitak[k]¡{\displaystyle e_{q}(x):=\Pi _{n=0}^{\infty }(1-q^{n}x)^{-1}=\Sigma _{k=0}^{\infty }{\frac {x^{k}}{[k]!}}}ymiq(incógnita):=Πnorte=0(1+qnorteincógnita)=Σk=0qk(k1)2incógnitak[k]¡{\displaystyle E_{q}(x):=\Pi _{n=0}^{\infty }(1+q^{n}x)=\Sigma _{k=0}^{\infty }{\frac {q^{\frac {k(k-1)}{2}}x^{k}}{[k]!}}},Dq{\displaystyle D_{q}}es la q-derivada yPAGnorte{\displaystyle P_{n}}es un "conjunto q-Appell" (que satisface la propiedadDqPAGnorte(incógnita)=[norte]PAGnorte1(incógnita){\displaystyle D_{q}P_{n}(x)=[n]P_{n-1}(x)}). [ 3 ]

Este análogo q también puede darse como una función generadora:

norte=0πnorte,q(incógnita)tnorte(1;norte)=norte=0(1)norteqnorte(norte1)2tnortePAGnorte(incógnita)(1;norte)[1t]norte+1,{\displaystyle \sum _{n=0}^{\infty }{\frac {\pi _{n,q}(x)t^{n}}{(1;n)}}=\sum _{n=0}^{\infty }{\frac {(-1)^{n}q^{\frac {n(n-1)}{2}}t^{n}P_{n}(x)}{(1;n)[1-t]_{n+1}}},}donde empleamos la notación(a;k):=(1qa)(1qa+k1){\displaystyle (a;k):=(1-q^{a})\dots (1-q^{a+k-1})}y[a+b]norte=k=0norte[nortek]anortekbk{\displaystyle [a+b]_{n}=\sum _{k=0}^{n}{\begin{bmatrix}n\\k\end{bmatrix}}a^{n-k}b^{k}}. [ 3 ]

Referencias

  • Angelescu, A. (1938), "Sur sures polinomes généralisant les polynomes de Laguerre.", CR Acad. Ciencia. Roumanie (en francés), 2 : 199– 201, JFM 64.0328.01 
  • Boas, Ralph P.; Buck, R. Creighton (1958), Expansiones polinómicas de funciones analíticas , Ergebnisse der Mathematik und ihrer Grenzgebiete. Neue Folge., vol.  19, Berlín, Nueva York: Springer-Verlag , ISBN 9783540031239, MR 0094466 {{citation}}: Incompatibilidad de ISBN/Fecha ( ayuda )
  • Shukla, DP (1981). "Polinomios q-Angelescu" (PDF) . Publicaciones del Institut Mathématique . 43 : 205-213 .
  • Shastri, NA (1940). "Sobre el polinomio de Angelescu πn (x)" . Actas de la Academia India de Ciencias, Sección A. 11 ( 4): 312– 317. doi : 10.1007/BF03051347 . S2CID 125446896 .