De Wikipedia, la enciclopedia libre
En matemáticas , una serie polinómica
{
p
n
(
z
)
}
{\displaystyle \{p_{n}(z)\}}
tiene una representación de Appell generalizada si la función generadora de los polinomios toma la forma:
K
(
z
,
w
)
=
A
(
w
)
Ψ
(
z
g
(
w
)
)
=
∑
n
=
0
∞
p
n
(
z
)
w
n
{\displaystyle K(z,w)=A(w)\Psi (zg(w))=\sum _{n=0}^{\infty }p_{n}(z)w^{n}}
donde la función de generación o núcleo
K
(
z
,
w
)
{\displaystyle K(z,w)}
se compone de la serie
A
(
w
)
=
∑
n
=
0
∞
a
n
w
n
{\displaystyle A(w)=\sum _{n=0}^{\infty }a_{n}w^{n}\quad }
con
a
0
≠
0
{\displaystyle a_{0}\neq 0}
y
Ψ
(
t
)
=
∑
n
=
0
∞
Ψ
n
t
n
{\displaystyle \Psi (t)=\sum _{n=0}^{\infty }\Psi _{n}t^{n}\quad }
y todos los
Ψ
n
≠
0
{\displaystyle \Psi _{n}\neq 0}
y
g
(
w
)
=
∑
n
=
1
∞
g
n
w
n
{\displaystyle g(w)=\sum _{n=1}^{\infty }g_{n}w^{n}\quad }
con
g
1
≠
0.
{\displaystyle g_{1}\neq 0.}
Dado lo anterior, no es difícil demostrar que
p
n
(
z
)
{\displaystyle p_{n}(z)}
es un polinomio de grado
n
{\displaystyle n}
.
Los polinomios de Boas-Buck es una clase de polinomios un poco más general.
Representación explícita[ editar ]
Los polinomios de Appell generalizados tienen la representación explícita
p
n
(
z
)
=
∑
k
=
0
n
z
k
Ψ
k
h
k
.
{\displaystyle p_{n}(z)=\sum _{k=0}^{n}z^{k}\Psi _{k}h_{k}.}
La constante es
h
k
=
∑
P
a
j
0
g
j
1
g
j
2
⋯
g
j
k
{\displaystyle h_{k}=\sum _{P}a_{j_{0}}g_{j_{1}}g_{j_{2}}\cdots g_{j_{k}}}
donde esta suma se extiende sobre todas las particiones de
n
{\displaystyle n}
en partes de
k
+
1
{\displaystyle k+1}
; es decir, la suma se extiende sobre todo
{
j
}
{\displaystyle \{j\}}
de tal manera que
j
0
+
j
1
+
⋯
+
j
k
=
n
.
{\displaystyle j_{0}+j_{1}+\cdots +j_{k}=n.\,}
Para los polinomios de Appell, esto se convierte en la fórmula
p
n
(
z
)
=
∑
k
=
0
n
a
n
−
k
z
k
k
!
.
{\displaystyle p_{n}(z)=\sum _{k=0}^{n}{\frac {a_{n-k}z^{k}}{k!}}.}
De manera equivalente, una condición necesaria y suficiente para que el núcleo
K
(
z
,
w
)
{\displaystyle K(z,w)}
pueda escribirse como
A
(
w
)
Ψ
(
z
g
(
w
)
)
{\displaystyle A(w)\Psi (zg(w))}
con
g
1
=
1
{\displaystyle g_{1}=1}
es que
∂
K
(
z
,
w
)
∂
w
=
c
(
w
)
K
(
z
,
w
)
+
z
b
(
w
)
w
∂
K
(
z
,
w
)
∂
z
{\displaystyle {\frac {\partial K(z,w)}{\partial w}}=c(w)K(z,w)+{\frac {zb(w)}{w}}{\frac {\partial K(z,w)}{\partial z}}}
donde
b
(
w
)
{\displaystyle b(w)}
y
c
(
w
)
{\displaystyle c(w)}
tienen la serie de potencias
b
(
w
)
=
w
g
(
w
)
d
d
w
g
(
w
)
=
1
+
∑
n
=
1
∞
b
n
w
n
{\displaystyle b(w)={\frac {w}{g(w)}}{\frac {d}{dw}}g(w)=1+\sum _{n=1}^{\infty }b_{n}w^{n}}
y
c
(
w
)
=
1
A
(
w
)
d
d
w
A
(
w
)
=
∑
n
=
0
∞
c
n
w
n
.
{\displaystyle c(w)={\frac {1}{A(w)}}{\frac {d}{dw}}A(w)=\sum _{n=0}^{\infty }c_{n}w^{n}.}
Sustituyendo
K
(
z
,
w
)
=
∑
n
=
0
∞
p
n
(
z
)
w
n
{\displaystyle K(z,w)=\sum _{n=0}^{\infty }p_{n}(z)w^{n}}
inmediatamente da la relación de recurrencia .
z
n
+
1
d
d
z
[
p
n
(
z
)
z
n
]
=
−
∑
k
=
0
n
−
1
c
n
−
k
−
1
p
k
(
z
)
−
z
∑
k
=
1
n
−
1
b
n
−
k
d
d
z
p
k
(
z
)
.
{\displaystyle z^{n+1}{\frac {d}{dz}}\left[{\frac {p_{n}(z)}{z^{n}}}\right]=-\sum _{k=0}^{n-1}c_{n-k-1}p_{k}(z)-z\sum _{k=1}^{n-1}b_{n-k}{\frac {d}{dz}}p_{k}(z).}
Para el caso especial de los polinomios de Brenke, se tiene que
g
(
w
)
=
w
{\displaystyle g(w)=w}
y, por lo tanto, todos los
b
n
=
0
{\displaystyle b_{n}=0}
, simplificando significativamente la relación de recursión.
Ralph P. Boas, Jr. and R. Creighton Buck, Polynomial Expansions of Analytic Functions (Second Printing Corrected) , (1964) Academic Press Inc., Publishers New York, Springer-Verlag, Berlín. Library of Congress Card Number 63-23263.
William C. Brenke, On generating functions of polynomial systems , (1945) American Mathematical Monthly, 52 pp. 297–301.
W. N. Huff, The type of the polynomials generated by f(xt) φ(t) (1947) Duke Mathematical Journal, 14 pp. 1091–1104.