(07/05/2014, 02:11 PM)JmsNxn Wrote: Thats an awesome gadget you got there! I love that.
I'm grumpy that my continuum sum using FC won't work here because you're using gaussians. But besides that this is quite beautiful. To me the only thing that's lacking is some rigor and epsilons and deltas, which I'm sure wouldn't take much to put in here.
Yes, we need to find a condition for when the continuum sum will converge given a convergent \( f(z) \) Hermite series. And I suppose the bit at the beginning about the integral might need to be improved a little -- we could, e.g. show that it is always smaller than a known convergent integral to make the proof complete.