The alternating harmonic series is defined as

It is well known that the harmonic series diverges. Slightly less well known is that the alternating harmonic series converges to a very clean limit -- strangely enough, it turns out to be ln 2. This fact, if it comes up, is usually proved just as a trivial consequence of the Euler-Mascheroni constant's most common identity. Not only is that proof beyond the reach of many undergrads, it's also so trivial as to border on inane. It's like using a sledgehammer to pound in a nail: of course it works, but is it really the best way? Someone pass me a hammer.

Consider the following series:

The first few terms of this sequence are,

It turns out that the limit of this series as n goes to infinity is ln 2, which is kind of a cool result in its own right. If you're skeptical, try to come up with a proof -- it's a fun exercise. Spoiler alert: it's easily done geometrically using the integral from 1 to 2 of 1/x.

Convinced? Great. Now, then -- let's do a little algebra with this sequence. Note how nicely it telescopes down.

This gives us the difference between subsequent terms. We know the first term, too, so let's bop the two together:

This is a central result in our proof. In fact, we're almost done. Let's turn our attention back to the alternating harmonic series for a second. Consider its partial sums, which we'll denote by S, subscripted with the partial sum number:

Notice that as the subscript grows, the difference between subsequent terms diminishes, and in fact it (of course) goes to zero in the limit. Because of this, in order to prove the limit of this series of partial sums, it would suffice to establish the limit only for terms with either even or odd subscripts. I've got a good feeling about the even ones. Let's start by matching their terms up into pairs -- S_6 is included to illustrate the idea, and then we take it out for a spin:

So our even sums are equivalent to subsequent terms of our series

*a*! But, wait, didn't we already agree that we know a's limit? You know what, I think we did...

And that's it! The sequence equality could also of course also have been proved mechanically by induction, but look at this -- there really is a certain aesthetic appeal to the direct proof, isn't there?

Interesting enough, the normal harmonic series approaches ln n + the euler-mascheroni constant as n -> infinity

ReplyDeleteTry proving that one ;)

here's a fun proof i learned a while back

Deleteln n + euler-mascheroni constant diverges, of course, as n->infty

so we have to prove that normal harmonic series diverges

how do we prove that the normal harmonic series diverges?

well, it's a famous result that the sum of the reciprocals of the primes is divergent

if we write both the positive integers and the primes as monotonic increasing sequences, there's a trivial bijection, and for each term > 3, the prime is greater than the integer

so the sum of the reciprocals of the positive integers must be less than the sum of reciprocals of the positive primes, which is known to be divergent, so the harmonic series diverges

now, you might ask, how do we know that the sum of reciprocals of primes diverges? exercise for the reader :)

proving the harmonic series diverges is simple, however, proving that it converges to the above function is much trickier.

Delete