Re: Known recursion link to Hermite polynomials not solved in Mathematica

*To*: mathgroup at smc.vnet.net*Subject*: [mg69536] Re: Known recursion link to Hermite polynomials not solved in Mathematica*From*: Roger Bagula <rlbagula at sbcglobal.net>*Date*: Fri, 15 Sep 2006 06:44:46 -0400 (EDT)*References*: <ee647q$5nb$1@smc.vnet.net> <eebd4g$l8m$1@smc.vnet.net>

Paul Abbott wrote: > > > I don't think so. If you try > > ExponentialGeneratingFunction[{a[0] == 1, a[1] == 2, > a[n] == a[n - 1] - (n - 1) a[n - 2]}, a[n], n, z] > > you will find that the solution involves Exp[-(z - 1)^2 / 2] -- which > leads to HermiteH -- but that this multiplies > > Erfi[(z - 1)/Sqrt[2]] > > Cheers, > Paul > > _______________________________________________________________________ > Paul Abbott Phone: 61 8 6488 2734 > School of Physics, M013 Fax: +61 8 6488 1014 > The University of Western Australia (CRICOS Provider No 00126G) > AUSTRALIA http://physics.uwa.edu.au/~paul > Paul Abbott, I've done some investigation of your solution. With Bessel function recurrences you are allowed negative and rational quantum numbers, but not with HermiteH. What appears to happen is that the normal integral function which is called the error function behaves in a way to make this up for these negative or integral states. The two types ( Bessel and Hermite-error function) seem to be mirrors of each other except for this. 1) The Hermite-error function type a[n]=a0* a[n - 1] + (b0*n +c0) a[n - 2]: a0,b0,c0 Integers 2) The Bessel type is: a[n]=(a0*n+b0) a[n - 1] + c0 a[n - 2]: a0,b0,c0 Integers The result is more a reflection of the limitations of the current mathematical notation in Mathematica than the actual sequential recursions. It seems strange that the mathematics of probability ( which is widely used in many fields) should be less solvable ( Using the RSolve level of discrete functions) in Mathematica than that of the Bessel function which isn't all that used in the real world. As far as I know no one ( or can search) has noticed or reported this type of recurrence or this symmetry property before. Roger Bagula