The Zeta Function:Finding a general formula Part 3

The Cauchy Product Formula tells us that

\(\displaystyle(\sum_{n=0}^{\infty} a_n )(\sum_{n=0}^{\infty} b_n )=\sum_{j=0}^{\infty} c_j\)

,where cj=k=0jak.bjkc_j=\displaystyle\sum_{k=0}^{j} a_k.b_{j-k}

From last time we got

1=n=0βnn!.zn.n=0zn(n+1)!1=\displaystyle\sum_{n=0}^{\infty}\frac{\beta_n}{n!}.z^n.\sum_{n=0}^{\infty} \frac{z^{n}}{(n+1)!}

So using the formula from above we get

1=j=0k=0jβkk!.(jk+1)!zj1=\displaystyle\sum_{j=0}^{\infty}\sum_{k=0}^{j} \frac{\beta_k}{k!.(j-k+1)!}z^j

Since j does not depend on k, we can multiply the rightmost sum by (j+1)!(j+1)! and divide by that in the inner sum.But when doing that, we get a binomial in the right sum

So

1=j=01(j+1)!k=0j(j+1k)βkzk1=\displaystyle\sum_{j=0}^{\infty}\frac{1}{(j+1)!}\sum_{k=0}^{j} \binom{j+1}{k}\beta_kz^k

When j=0, the output is 1(because β0\beta_0 must be 1), so the sum of all the others is exactly 0.But we defined z not to be equal to 0, so

k=0j(j+1k)βk=0\displaystyle\sum_{k=0}^{j} \binom{j+1}{k}\beta_k=0.

Thus we can find a relation between the βk\beta_k's and , as we know β0=1\beta_0=1, we can find all terms in the sequence (these numbers are called Bernoulli numbers).

So now we have found the terms in the infinite series for zez1\displaystyle\frac{z}{e^z-1}.

So

π.s.cotan(π.s)=π.i.s+2π.i.se2π.i.s1=π.i.s+n=0βnn!(2π.i.s)n\displaystyle\pi.s.cotan(\pi.s)=\pi.i.s + \frac{2\pi.i.s}{e^{2\pi.i.s}-1}=\pi.i.s + \sum_{n=0}^{\infty}\frac{\beta_n}{n!}(2\pi.i.s)^n.

Note that the function xcotanxx cotan x is even, thus all the powers in its series must be even, so β2k+1=0\beta_{2k+1}=0 for k>0k>0.

Now let's rewrite that sum of ours, starting from n=2.

π.s.cotan(π.s)=π.i.s+β00!+β11!.2π.i.s+n=2βnn!(2π.i.s)n\displaystyle\pi.s.cotan(\pi.s)=\pi.i.s + \frac{\beta_0}{0!}+\frac{\beta_1}{1!}.2\pi.i.s+\sum_{n=2}^{\infty}\frac{\beta_n}{n!}(2\pi.i.s)^n

But β1=0.5\beta_1=-0.5, so the first and the third cancel.Also, β2k+1=0\beta_{2k+1}=0, so we can again rewrite our sum

π.s.cotan(π.s)=1+n=1β2n2n!(2π.i.s)2n\displaystyle \pi.s.cotan(\pi.s)= 1+\sum_{n=1}^{\infty}\frac{\beta_{2n}}{2n!}(2\pi.i.s)^{2n}

Now let's put a 12-\frac{1}{2} in the sum so we get a -2 up front.

We get

π.s.cotan(π.s)=12n=112.β2n2n!(2π.i.s)2n\displaystyle \pi.s.cotan(\pi.s)= 1-2\sum_{n=1}^{\infty} -\frac{1}{2}.\frac{\beta_{2n}}{2n!}(2\pi.i.s)^{2n}

From Part 2 we know that

π.s.cotan(π.s)=12.n=1ζ(2n).s2n\displaystyle \pi.s.cotan(\pi.s)=1-2.\sum_{n=1}^{\infty} \zeta (2n).s^{2n}

So comparing the coefficients we get that

12.β2n2n!(2π.i.s)2n=ζ(2n).s2n-\frac{1}{2}.\frac{\beta_{2n}}{2n!}(2\pi.i.s)^{2n} = \zeta(2n).s^{2n}

So, finally

ζ(2n)=(1)n+1β2n2n!.22n1.π2n\displaystyle\boxed{\zeta(2n)=(-1)^{n+1}\frac{\beta_{2n}}{2n!}.2^{2n-1}.\pi^{2n}}

#RiemannZetaFunction #Goldbach'sConjurersGroup #TorqueGroup #InfiniteSeries

Note by Bogdan Simeonov
7 years, 1 month ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

There are no comments in this discussion.

×

Problem Loading...

Note Loading...

Set Loading...