Monday Math 33

We know that the harmonic series diverges, but what about the alternating harmonic series ? The key is the Taylor series for the natural logarithm, known as the Mercator series:
, which is valid for -1<x≤1. Setting x=1 tells us that the alternating harmonic series converges to .

Now, recall the Riemann Zeta Function, which for is given by
Suppose we define an analogous function with alternating terms:
This series does not have a pole at s=1, and in fact, can be defined via analytic continuation to be defined over the entire complex plane. This function is called the Dirichlet eta function.

Now, let us consider the difference of the Riemann zeta and Dirichlet eta functions:

We see that the odd n terms cancel, leaving only the even terms:
and solving for eta,

which allows us to find exact values for the Dirichlet eta function at positive even integers (and find values for positive odd integers in terms of the zeta function of those integers).
The values for the first few integers are:


Tags: , , , , , ,

5 Responses to “Monday Math 33”

  1. johnsmithinfinith Says:

    Hi there. I just started blogging, myself and I’d wonder whether you could give me a couple of tips for starters;).
    Why I’m asking you? Well, your blog has a lot of interesting math stuff and I liked it from the beginning. So, I’m kinda interested about blogging from your point of view, because my idea was to, also, blog about some mathematical topics.
    Maybe you could take a brief look at my blog. Thanks!

  2. Monday Math 35 « Twisted One 151’s Weblog Says:

    […] , which gives us: . Plugging into our series, . We should recognize that last sum as the Dirichlet eta function. Thus, just as , we see […]

  3. Monday Math 74 « Twisted One 151’s Weblog Says:

    […] The Maclaurin series for is given by the Mercator series: for -1<x≤1. Thus where is the Dirichlet eta function. We also found here that , so […]

  4. Monday Math 133 « Twisted One 151's Weblog Says:

    […] Riemann zeta function has a pole at s=1, while the term in the brackets is zero at s=1. Recall from here that the Dirichlet eta function η(s), which is defined for all complex numbers s, is related to […]

  5. cody Says:

    Hi TwistedOne:

    Do you happen to know what

    SUM([(-1)^(n-1)*zeta(2n)]/n), n=1..infinity

    converges to?.

    I have tried finding its sum, but to no avail.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: