Zeta (2k) formula derivation!

  • Thread starter yasiru89
  • Start date
  • #1
107
0
Using the not so legitimate sum,
[tex]\sum_{n = 0}^{ + {\infty}} \exp {in{\theta}} = \frac {1}{2} + \frac {1}{2} i\cot {\frac {{\theta}}{2}}[/tex]

I was able to obtain (by differentiation) valid expressions for the analytic continuation of the [tex]{\zeta}[/tex] series for negative integers(and 0)

Putting [tex]{\theta} = {\pi} + {\theta}[/tex]
in the real part of the above equation I have,
[tex]\sum_{n = 1}^{ + {\infty}} ( - 1)^{n - 1} \cos {n{\theta}} = \frac {1}{2}[/tex]

I proceeded to integrate this equation 0 to [tex]{\theta}[/tex] 2k times in the hopes of finding the general formula for [tex]{\zeta}(2k)[/tex]

However I am stuck at,
[tex]\frac {( - 1)^{k}{\theta}^{2k}}{2{(2k)}!} = \sum_{n = 1}^{ + {\infty}} ( - 1)^{n - 1} n^{ - 2k} \cos {n{\theta}} + \sum_{n = 1}^{ + {\infty}} ( - 1)^{n - 1} n^{ - 2k} \sum_{r = 0}^{k - 1} ( - 1)^{r - 1} \frac {n^{2r}}{{(2r)}!} {\theta}^{2r}[/tex]

No idea what to make of that troublesome finite series or how to introduce the Bernoulli numbers to the mix!

Any assistance would be greatly appreciated! Thanks!

PS- people who'll feed me the convergence issues shouldn't even bother replying! I need this derivation only, I know many other proofs but none so interesting. I think the Bernoulli numbers might come into the mix somewhere between the calculation!
 

Answers and Replies

  • #2
1,851
7
Why not take the Laplace transformation w.r.t.[tex]\theta[/tex]of both sides of the first equation and then expand both sides in powers of 1/s?
 
  • #3
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,950
19
PS- people who'll feed me the convergence issues shouldn't even bother replying!
Rather than pre-emptively attack people for pointing out that none of this makes sense given the usual meaning of the symbols you're using -- why not state what meaning you are giving them? :grumpy:
 
  • #4
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,950
19
As long as we're throwing caution to the wind, did you notice that interchanging the order of that summation yields one of the usual sums for the Zeta function?
 
  • #5
107
0
Rather than pre-emptively attack people for pointing out that none of this makes sense given the usual meaning of the symbols you're using -- why not state what meaning you are giving them? :grumpy:


Well aren't we grumpy today? I'm only trying to show with this particular instance that the analytic continuation of the geometric series when applied to the zeta function is consistent. While that's a mouthful, people are too stuck up to even consider this and harp on about convergence issues, I only meant to save them the trouble of replying (I suppose that's lost on you):frown:

And duh, I got to the point where we can say that,

[tex] {\zeta}(2k) = \sum_{r = 0}^{k} (-1)^{r-1} \frac{{\pi}^{2r}}{{(2r)}!} (1 - 2^{1-2(k-r)}) {\zeta}(2(k-r)) [/tex]

The relation is recursive and works(try k=1 for the classic Basel problem), I just need a general form for the zeta s with the Bernoulli numbers in it!!!

And I don't want to bring in integral transforms at all, I'm convinced a very simple operation should do the trick!!
 
  • #6
Gib Z
Homework Helper
3,346
6
[tex]\sum_{n = 0}^{ + {\infty}} \exp {in{\theta}} = \frac {1}{2} + \frac {1}{2} i\cot {\frac {{\theta}}{2}}[/tex]

And that series is obviously incorrect because comparing only real parts, the function being summed corresponds to cos ntheta, and [tex]\sum_{n=0}^{\infty} \cos (n\theta) = \frac{1}{2}[/tex] for any theta..which does not seem to be the case.
 
  • #7
1,851
7
[tex]\sum_{n=0}^{\infty}\exp\left(i n\theta\right)=\frac{i}{2}\frac{\exp\left(-i\frac{\theta}{2}\right)}{\sin\left(\frac{\theta}{2}\right)}[/tex]
 
  • #8
Gib Z
Homework Helper
3,346
6
Yes I don't see how that changes my argument; when you take only the Real or Imaginary co efficients it implies certain results about the summations of the cosines and sines (from Euler's Formula). It leads to the cosine summation in post 6 to be equal to a certain constant, for all values of theta, which is definitely not true.
 
  • #9
1,851
7
Yes I don't see how that changes my argument; when you take only the Real or Imaginary co efficients it implies certain results about the summations of the cosines and sines (from Euler's Formula). It leads to the cosine summation in post 6 to be equal to a certain constant, for all values of theta, which is definitely not true.


Note that for the series to converge [tex]\theta[/tex] must have a positive imaginary part. Now, Euler's formula for [tex]\exp\left(i z\right)[/tex] is, of course, also valid for complex [tex]z[/tex]. However, the two terms for cannot be taken apart as they separately diverge. If you take [tex]\theta[/tex] real than we must replace [tex]\theta\rightarrow\theta + i\epsilon[/tex]. So, the late terms in the summation of the cosine term diverge as [tex]\sim\exp\left(\epsilon n\right)[/tex]
 
  • #10
  • #11
107
0
Gib Z, see why Hurkyl went all ballistic on me! Once again allow me to stress that we are working on divergent series! Thanks for the links Count Iblis!
 
  • #12
Gib Z
Homework Helper
3,346
6
You should have stated that instead of [itex]\theta[/itex] you were actually taking the limit [tex]\lim_{a\to 0} \theta + ia[/tex]. There is indeed a difference...and I can not say I am familiar with this particular method of the derivation, so I will butt you and hope you know what you are doing.
 
  • #13
1,851
7
Well, it's Yasiru's problem, not mine. But I'm a physicist and in physics we are usually very sloppy. We write down formulae and when we find out that it doesn't converge we plug in [tex]i\epsilon[/tex] at the right places to give the formula the right meaning. :biggrin:
 
  • #14
107
0
I get what you mean but here [tex]{\theta}[/tex] is rather arbitrary and even if I use the incremental imaginary part it quickly disappears in the limit and [tex]{\theta} = {\pi}[/tex] simply. Which reduces to the formula in my 2nd post.
I know what you mean by that it isn't a standard derivation but so far it's a beautiful one, isn't it?
 
  • #15
107
0
Further a forced convergence like that isn't necessary since the 2nd formula onward(of the 1st post) are completely valid.
 
  • #16
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,950
19
You should have stated that instead of [itex]\theta[/itex] you were actually taking the limit [tex]\lim_{a\to 0} \theta + ia[/tex]. There is indeed a difference...and I can not say I am familiar with this particular method of the derivation, so I will butt you and hope you know what you are doing.
One of the key ideas about analytic functions is that knowledge of their behavior on any open set is enough to reconstruct their behavior everywhere.

e.g. if you consider the series
[tex]f(z) = \sum_{n = 0}^{+\infty} z^n[/tex]
this is clearly only defined for [itex]|z| < 1[/itex]. However, on that circle, we have the identity [itex]f(z) = 1/(1 - z)[/itex]. [itex]1/(1-z)[/itex] is, of course, defined everywhere except [itex]z=1[/itex]. However, we can still use the series to derive its properties, even though it's only defined on the circle! e.g. to find its derivative:

[tex]
\frac{d}{dz} \frac{1}{1-z} = \frac{d}{dz} \sum_{n = 0}^{+\infty} z^n
= \sum_{n = 0}^{+\infty} (n+1) z^n
= \left( \sum_{m = 0}^{+\infty} z^m \right)^2 = \frac{1}{(1-z)^2}[/tex]

Because this identity is valid on the entire disk, it must also be valid everywhere else too. (Except, of course, at [itex]z = 1[/itex].)


yasiru89's plan, I assume, is to use the series form of [itex]1/2 + (1/2) i \cot (z / 2)[/itex] to help him derive some identity, and then find a way to specialize it to z = 0. (or maybe [itex]-\pi[/itex], or something like that)
 
Last edited:
  • #17
107
0
Thank you for your troubles, I managed to put [itex]\theta = \pi[/tex] and make it completely rigorous under Euler summation (the power series method Hurkyl mentioned, but without any specific reference to the analytic continuation- though this is hinted to by the formula).

The resulting recursive identity is basically equivalent to the sort of recursions you use to get the Bernoulli numbers anyway so I realised the 'closed form' isn't really any more efficient.
Along the way (to establish the base case [itex]\zeta(0) = -\frac{1}{2}[/tex]) I took a long detour and found a neat asymptotic variant of Euler's summation formula! (its already known though, see Ramanujan's Summation by Eric Delabaere at http://algo.inria.fr/seminars)
Interestingly, comparing [itex]\zeta(2k)[/tex] and [itex]\zeta(-k)[/tex] for k a positive integer (or zero) we might even be able to define Bernoulli numbers at negative values, but that might be redundant as well...
 

Related Threads on Zeta (2k) formula derivation!

Replies
2
Views
3K
  • Last Post
Replies
1
Views
2K
Replies
2
Views
3K
Replies
2
Views
22K
Replies
2
Views
3K
  • Last Post
Replies
3
Views
789
  • Last Post
Replies
2
Views
2K
Replies
9
Views
2K
Replies
3
Views
2K
  • Last Post
Replies
7
Views
2K
Top