Fwd: Pls help me translate Laguerre poly to Hermite type "Hn" in MMA 2.
- To: mathgroup at smc.vnet.net
- Subject: [mg5705] Fwd: [mg5683] Pls help me translate Laguerre poly to Hermite type "Hn" in MMA 2.
- From: BobHanlon at aol.com
- Date: Sat, 11 Jan 1997 14:29:04 -0500
- Sender: owner-wri-mathgroup at wolfram.com
To be a polynomial, the first parameter in LaguerreL must be an integer. For
non-integer values of the first parameter, LaguerreL is the generalized
Laguerre function.
The transformation which you used is only valid for restricted values of the
parameters and these restrictions should be included in the transformation's
definition:
lag[n_Integer, a_/; a == -1/2, x_] :=
(((-1)^n)/(n! * 2^(2*n))) * HermiteH[2*n, Sqrt[x]]
Comparing the first several values:
Table[LaguerreL[n, -1/2, x] == lag[n, -1/2, x],
{n, 0, 7}] // Simplify
{True, True, True, True, True, True, True, True}
The generalized Laguerre function is equivalent to the confluent
hypergeometric function. The transformation is (generalization of A&S
22.5.54)
lag[nu_, a_, x_] := Binomial[nu + a, nu] *
Hypergeometric1F1[-nu, a + 1, x]
lag[1/2, -1/2, 1]
1
Sqrt[Pi] Binomial[0, -]
2
1 1
Hypergeometric1F1Regularized[-(-), -, 1]
2 2
% /. Binomial[x_, y_] -> Gamma[x+1]/(Gamma[y+1] *
Gamma[x-y+1])
1 1
2 Hypergeometric1F1Regularized[-(-), -, 1]
2 2
------------------------------------------
Sqrt[Pi]
% == LaguerreL[1/2, -1/2, 1]
True
A&S 13.6.15 would enable you to express this specific confluent hypergeometic
function in terms of the Weber (parabolic cylinder) function.
In version 3.0 both lag[1/2, -1/2, 1] and LaguerreL[1/2, -1/2, 1] result in
2 (E - Sqrt[Pi] Erfi[1])/Pi
---------------------
Forwarded message:
From: hucka at eecs.umich.edu (Michael Hucka)
To: mathgroup at smc.vnet.net
To: mathgroup at smc.vnet.net
I have a certain expression in my work that Mathematica 2.2 simplifies to
something containing a generalized Laguerre polynomial (LaguerreL). The form
of the Laguerre is one with n = 1/2, a = -1/2, which MMA 2.2 apparently won't
express in simpler terms than, for example,
In[66]:= LaguerreL[1/2, -1/2, x]
1 1
Out[66]= LaguerreL[-, -(-), x]
2 2
I need to simplify my original expression further. We don't have Mathematica
3.0 yet, only version 2.2, which doesn't have the FunctionExpand command,
which is what I really need for my problem. So I'm trying to express the
generalized Laguerre in terms of another polynomial. My copy of Abramowitz
and Stegun _Handbook of Mathematical Functions_ says that the generalized
Laguerre polynomial where a = -1/2 can be expressed as follows:
n
(-1/2) (-1) _
L (x) = ------- H (\/x )
n 2n 2n
n! 2
where H is the Hermite type "n" polynomial. So I've tried the following
definition in Mathematica 2.2:
lag[n_, a_, x_] := (((-1)^n)/(n! * 2^(2*n))) * HermiteH[2*n, Sqrt[x]]
This seems right to me, but it does not seem to yield the same answers as
LaguerreL[n, -1/2, x]. For example:
In[74]:= LaguerreL[1/2, -1/2, 1]
1 1
2 Hypergeometric1F1Regularized[-(-), -, 1]
2 2
Out[74]= ------------------------------------------
Sqrt[Pi]
In[75]:= lag[1/2, -1/2, 1]
2 I
Out[75]= --------
Sqrt[Pi]
In[76]:= N[%%]
Out[76]= -0.131794
In[77]:= N[%%]
Out[77]= 1.12838 I
I must be doing something very wrong, but I just can't see it. Can someone
else please help me resolve this?
In addition, if someone has access to MMA 3.0 and would run FunctionExpand on
LaguerreL[1/2, -1/2, x] and send me the result, I'd appreciate it.
--
Mike Hucka hucka at umich.edu <URL:
http://ai.eecs.umich.edu/people/hucka>
Ph.D. candidate, computational models of human visual processing, U-M AI Lab
UNIX admin & programmer/analyst, EECS Dept., University of Michigan