E.g.f. for Hermite
FRANCISCO SALINAS
franciscodesalinas at hotmail.com
Wed Apr 7 19:13:49 CEST 2004
Karol PENSON wrote:
>Dear Seqfans,I have a question related to my investigations of some
>integer sequences:
>
> Do you know, or do you know how to obtain in closed form the exponential
>generating function of the Hermite polynomials whose order is a multiple
>of three, i.e. I am looking for , im Maple notation:
>
> sum(t^n*HermiteH(3*n,x)/n!,n=0..infinity)= ????
>
Only in terms of the hypergeometric function 2F0 or the Kummer function U
(and hence, of the Whittaker function W).
See: 'A triple lacunary generating function for Hermite polynomials' by Ira
M. Gessel and Pallavi Jayawant, 4 Mar 2004 (
http://arxiv.org/abs/math.CO/0403086 ), from where the following exponential
generating function for HermiteH(3*n,x) can be obtained (the paper gives one
for a different normalization h(3*n,x),
h(n,x)=(I^n/2^(n/2))*HermiteH(n,-I*x/sqrt(2)) ):
exp(1/6912*(-1+sqrt(1+48*x*t))^3*(1+3*sqrt(1+48*x*t))/(t^2)) *
hypergeom([1/6, 5/6],[],-432*t^2/((1+48*x*t)^(3/2))) / ((1+48*x*t)^(1/4))
(in Maple notation)
Now, for x < 0, we have 2F0(a,b,x)= hypergeom([a, b],[],x) = (-1/x)^a
*KummerU(a,1+a-b,-1/x), and so hypergeom([1/6,
5/6],[],-432*t^2/((1+48*x*t)^(3/2))) can be substituted by
((1+48*x*t)^(3/2)/(432*t^2))^(1/6) *
KummerU(1/6,1/3,(1+48*x*t)^(3/2)/(432*t^2)).
_________________________________________________________________
MSN Amor: busca tu ½ naranja http://latino.msn.com/autos/
More information about the SeqFan
mailing list