14

I'm doing a little project on the $\zeta$ function, and I am at a complete loss of what it is actually doing. I understand it is way over my head, but when I am plugging say $\zeta(1 + i)$ into WolframAlpha, what is it even calculating? Wikipedia and .edu sites don't seem to have an answer, which is making me think there is no single answer.

Thanks, smart people of MathStack!

EDIT:

Why is everyone voting to close this? I understand it's similar to a different question, but this question might provide someone with some different intuition. Either way - this helped me a ton! Thanks @Mixed_Math.

Bliebervik
  • 1,038
  • 1
    See the Wikipedia and Wolfram Math World articles on the subject. – Lucian Mar 08 '15 at 06:00
  • 3
    Oh gee, I didn't think of looking at what Wikipedia had to say!... But seriously, of course I looked at Wikipedia, had it made sense I wouldn't have come here. Thanks for the suggestion, though. – Bliebervik Mar 08 '15 at 06:23
  • 1
    Questions about the analytic continuation of the Riemann zeta function have been asked, and answered, on this site before. Have a look at the questions listed under "related", or do a site search for the keywords. – Gerry Myerson Mar 08 '15 at 06:34
  • 1
    I have done a lot of research thus far @GerryMyerson, but you're right. I'm wasting everybody's time - I should have looked before. Thanks! – Bliebervik Mar 08 '15 at 06:39
  • 2
    @Bliebervik Well what didn't you understand from the Wikipedia article? We're not psychic so, if you don't explain what you didn't understand from Wikipedia, how can we avoid spending hours on an answer and then you saying, "Nah, I don't understand that, either." – David Richerby Mar 08 '15 at 12:48
  • It's okay! MixedMath gave a great, easy-to-digest explanation for me. – Bliebervik Mar 08 '15 at 16:40
  • No, I wrote this myself, how could it be a duplicate? – Bliebervik Mar 08 '15 at 18:15
  • @Bliebervik Duplicate in the sense that the answers to the other question completely answer this one. – David Richerby Mar 08 '15 at 19:05

1 Answers1

38

The Riemann zeta function $\zeta(s)$ is a sum of reciprocals of powers of natural numbers,

$$\zeta(s) = \sum_{n \geq 1} \frac{1}{n^s}.$$

As written, this makes sense for complex numbers $s$ so long as $\text{Re } s > 1$. For these numbers, there is little more to be said.

But you've asked about an interesting number: $\zeta(1 + i)$, and $\text{Re }(1 + i) \not > 1$. What's happening there is a bit subtle, and a bit abusive in terms of notation.

It turns out there is another function (let's call it $Z(s)$) which makes sense for all complex numbers $s$ except for $s = 1$, and which exactly agrees with $\zeta(s)$ when $\text{Re } s > 1$. If you're familiar with some calculus or complex analysis, then you should also know that the function $Z(s)$ is also complex differentiable everywhere except for $s = 1$. This is a very special property that distinguishes $Z(s)$. The theory of complex analysis (in particular, the theory of "analytic continuation") gives that there can be at most one function that extends $\zeta(s)$ to a larger region, like $Z(s)$ does.

In this sense, we could realize that $Z(s)$ is uniquely determined by $\zeta(s)$. As it agrees with $\zeta(s)$ everywhere $\zeta(s)$ (initially) makes sense, it might even be reasonable to just use the name $\zeta(s)$ instead of $Z(s)$. That is, when I write $\zeta(s)$, what I'm really saying is $$\zeta(s) = \begin{cases} \zeta(s) & \text{if Re }s > 1 \\ Z(s) & \text{otherwise } \end{cases}$$ It is this function that W|A computes when you ask it for $\zeta(1 + i)$.

Although what I've written is true (and important), it doesn't answer one aspect of your question

What is it even calculating?

I mentioned there exists this function $Z(s)$, or rather that it is possible to give meaningful values to $\zeta(s)$ for all $s \neq 1$. But how? Stated differently, yo're asking what is the analytic continuation of the Riemann zeta function?

The continuation is unique, but the steps to get there are not. I'll give a very short, incomplete proof that describes one way to calculate $\zeta(1+i)$.

We start by considering $\displaystyle h(s) = \sum_{n \geq 1} \frac{2}{(2n)^s}$. Performing some rearrangements, $$\begin{align} h(s) &= \sum_{n \geq 1} \frac{2}{(2n)^s} \\ &= \frac{1}{2^{s - 1}} \sum_{n \geq 1} \frac{1}{n^s} \\ &= \frac{1}{2^{s - 1}} \zeta(s) \end{align}$$ Let's subtract this from the regular zeta function. On the one hand, $$ \zeta(s) - h(s) = \zeta(s)(1 - \frac{1}{2^{s-1}}).$$

On the other hand, $$ \begin{align}\zeta(s) - h(s) &= \sum_{n \geq 1} \left( \frac{1}{n^s} - \frac{2}{(2n)^s} \right) \\ &= \sum_{n \geq 1} \frac{(-1)^{n+1}}{n^s}, \end{align}$$ and this last series makes sense for $\text{Re } s > 0$. (If you haven't looked at alternating series before, this might not be obvious. But the idea is that the sign changes cancel out a lot of the growth, so much that it converges for a larger region).

In total, this means that $$\zeta(s) = (1 - 2^{s - 1})^{-1} \sum_{n \geq 1} \frac{(-1)^{n+1}}{n^s},$$ and you can just "plug in" $1+i$ here. [Notice that the problem when $s = 1$ is apparent here, as you cannot divide by $0$.] In practice, it's an infinite sum, so you'll take the first very many terms to get the value of $\zeta(1+i)$ to any precision you want.

For completeness, it also turns out that $$\pi^{-s/2} \zeta(s) \Gamma(\tfrac{s}{2}) = \pi^{(s-1)/2} \zeta(1-s) \Gamma(\tfrac{1-s}{2}),$$ which lets us transform values of $\zeta(s)$ for $\text{Re } s > 0$ into values when $\text{Re } s < 1$. The $\Gamma(z)$ function here is called the "Gamma function" (it's an integral, a sort of generalization of a factorial) and this equation is called the symmetric functional equation of the zeta function.

  • 3
    Very good read, interesting stuff! –  Mar 08 '15 at 06:00
  • In that last equation, can't you cancel the $\pi^{-s}$? – k_g Mar 08 '15 at 06:25
  • 1
    Very, very helpful. Thank you so much for taking the time to that. You are saying, though, that $\zeta(s) = (1 - 2^{s - 1})^{-1} \sum_{n \geq 1} \frac{(-1)^{n+1}}{n^s}$ is not the "all-encompassing" $\zeta$ function, as it were, then? – Bliebervik Mar 08 '15 at 06:31
  • You wrote "makes sense for complex numbers as long as $\text{Re } s > 1$". Doesn't it converge for all complex numbers except 1? – alancalvitti Mar 08 '15 at 07:16
  • @alancalvitti I think that is what mixedmath meant with the functional relation at the end of his post, though perhaps it wasn't remarked enough there's the singular point $;s=1;$, which is a simple pole of the zeta function. The expression of the $;s$-harmonic series at the beginning only converges for $;\text{Re},s>1;$ . – Timbuc Mar 08 '15 at 07:23
  • @k_g: you could when I first wrote it (incorrectly). But now you can't! – davidlowryduda Mar 08 '15 at 08:42
  • @Bliebervik not on its own. But between that and the last equation (the functional equation), you know/can calculate the zeta function everywhere. – davidlowryduda Mar 08 '15 at 08:43
  • Awesome. I would like to know where the idea to use $h(s)$ came from as well. I guess Riemann was a pretty smart dude who did some stuff. – Bliebervik Mar 08 '15 at 17:09
  • Let $\eta(x)$ mean the alternating zeta function. Then, there's a definition of $\eta$ that makes sense everywhere: $\lim_{x\to1^-}(x-2^{-s}x^2+3^{-s}x^3-4^{-s}x^4+\dotsb)$. Then, of course, $\zeta(x)=(1-2^{s-1})^{-1}\eta(x)$, so we can write zeta as this:$$\zeta(x)=(1-2^{s-1})^{-1} \lim_{x\to1^-} (x-2^{-s}x^2+3^{-s}x^3-4^{-s}x^4 +\dotsb)$$This definition makes sense everywhere, I believe. @Bliebervik (The alternating function $\eta$ is called the Dirichlet Eta function, I think.) – Akiva Weinberger Mar 09 '15 at 01:42
  • The latest identity is wrong :-( – Anixx Mar 10 '15 at 09:52
  • 1
    Even though I'm a number theorist, no one has ever accused me of getting factors of pi and two right. – davidlowryduda Mar 10 '15 at 12:28