MathGroup Archive 2005

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Infinite sum of gaussians

  • To: mathgroup at smc.vnet.net
  • Subject: [mg56053] Re: [mg55955] Infinite sum of gaussians
  • From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
  • Date: Thu, 14 Apr 2005 08:55:15 -0400 (EDT)
  • References: <20050413142142.78605.qmail@web25305.mail.ukl.yahoo.com>
  • Sender: owner-wri-mathgroup at wolfram.com


On 13 Apr 2005, at 23:21, Valeri Astanoff wrote:

> Seems that only odd derivatives are null... Maybe this could explain?
>
Yes, you are right. Checking this again i see that Mathematica returns


f[z_]:=Sum[E^((-(1/2))*(z- k)^2), {k, -Infinity, Infinity}] -
    Cos[2*Pi*z]*(EllipticTheta[3, 0, 1/Sqrt[E]] -
      Sqrt[2*Pi]) - Sqrt[2*Pi]


D[f[z],{z,2}]/.z->0


4*Pi^2*(EllipticTheta[3, 0, 1/Sqrt[E]] - Sqrt[2*Pi]) +
   Sum[k^2/E^(k^2/2) - E^(-(k^2/2)),
    {k, -Infinity, Infinity}]

Which now definitely does not look like zero.
In fact I was too much in a hurry and too convinced that the result 
must be true (and if it were true this would have to be zero), so I 
declared it "obvious" without careful checking. This demonstrates how 
one can always "prove' any result one beleives to be true.
Of course the fact that the odd derivatives are zero follows simply 
form the fact that we have an analytic even function (of period 1). So 
maybe after all the this termwise differentiation  of a double infinite 
series is valid, and my mistake was simply to believe that the even 
derivatives were 0 whiteout careful checking.

Andrzej


  • Prev by Date: Re: Problem with evaluation of Besel Functions
  • Next by Date: Re: local symbols inside Module
  • Previous by thread: Re: Infinite sum of gaussians
  • Next by thread: Re: Infinite sum of gaussians