The Harmonic Series

If you would have to guess the value of the following expression (the harmonic series), what would you do?

\[\sum_{n=1}^\infty\,\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+\cdots\]

The value of the individual terms clearly goes to zero if \(n\) goes to infinity. But does that mean that the total sum will be finite? Well, it doesn’t. This was already proven by Nicole Oresme in about 1350. The proof is actually surprisingly easy, it goes as follows.

If we replace each term in the series by a term that is smaller than or equal to the original one, then the total sum will surely be smaller. So we have

\[1\;\;+\;\;\frac{1}{2}\;\;+\;\;\frac{1}{3}+\frac{1}{4}\;\;+\;\frac{1}{5}+\frac{1}{6}+\frac{1}{7}+\frac{1}{8}\;\;+\;\;\cdots\;\;>\;\;1\;\;+\;\;\frac{1}{2}\;\;+\;\;\frac{1}{4}+\frac{1}{4}\;\;+\;\;\frac{1}{8}+\frac{1}{8}+\frac{1}{8}+\frac{1}{8}\;\;+\;\;\cdots\]

But the right-hand series is equal to

\[1+\frac{1}{2}+\frac{1}{2}+\frac{1}{2}+\cdots=\infty,\]

which means that the sum of the original series must be infinite as well.

Shouldn’t We Use a Computer For This?

The fun starts when you try to approximate the harmonic series using a computer. This is not a good idea, of course, but it shows very well that you should be careful to understand what you are doing before implementing a numerical solution for a mathematical problem.

The most straightforward way, simply adding terms starting at 1, is even worse than you would expect. It not only does not provide the right answer, it also makes you believe that the series actually converges. What happens? The terms that you add keep getting smaller and smaller, until they are so small that they actually don’t increase the sum anymore, since they are smaller than the precision that the computer keeps for that sum. If you use single precision floating point numbers, this happens when \(n\) is 2097152; the sum at that point is a whopping 15.4. Adding further terms won’t increase the sum anymore, which could lead to the conclusion that 15.4 is the correct result.

Adding the terms the other way around, so starting with the largest \(n\), is much better. The added terms are comparable in size, so less precision is lost. A more important advantage of starting “at the end” is that you are aware that you are only calculating a partial sum, so you won’t conclude that your result is the final solution.

Sloooowly

We know from the proof that the sum of the harmonic series is infinite, and we know from the numerical experiments that it increases rather slowly. The sum passes 10 when \(n\) is 12367; it passes 100 when \(n\) is 15092688622113788323693563264538101449859497 (I am not making this up). The harmonic series is a very nice demonstration of the subtleness of mathematics. Try to image the infinite succession of ever smaller terms that still produces a sum that outgrows any number, even though the terms added become really ridiculously small… By the way, now that you are convinced that the harmonic series grows very slowly, you will possibly be surprised that the harmonic series of primes, the sum of the reciprocals of the primes,

\[\sum_{n=1}^\infty\,\frac{1}{p_n}=\frac{1}{2}+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\frac{1}{11}+\frac{1}{13}+\frac{1}{17}+\cdots,\]

also grows to infinity!

khosrotash (not verified)

Fri, 07/28/2017 - 10:40

HI
can I post my proof to you for sharing ?
this my try:
----------------------------------------------------------------------------------
Let's group the terms as follows:$$A=\frac11+\frac12+\frac13+\frac14+\cdots\\ $$
$$
A=\underbrace{(\frac{1}{1}+\frac{1}{2}+\frac{1}{3}+\cdots+\frac{1}{9})}_{\color{red} {9- terms}}
+\underbrace{(\frac{1}{10}+\frac{1}{11}+\frac{1}{12}+\cdots+\frac{1}{99})}_{\color{red} {90- terms}}\\+\underbrace{(\frac{1}{101}+\frac{1}{102}+\frac{1}{103}+\cdots+\frac{1}{999})}_{\color{red} {900- terms}}+\cdots \\ \to $$
$$\\A>9 \times(\frac{1}{10})+(99-10+1)\times \frac{1}{100}+(999-100+1)\times \frac{1}{1000}+... \\A>\frac{9}{10}+\frac{90}{100}+\frac{90}{100}+\frac{900}{1000}+...\\ \to A>\underbrace{\frac{9}{10}+\frac{9}{10}+\frac{9}{10}+\frac{9}{10}+\frac{9}{10}+\frac{9}{10}+...}_{\color{red} {\text{ m group} ,\text{ and} \space m\to \infty}} \to \infty
$$

Showing that \(A\) diverges by grouping numbers.

This is a nice variation on the proof given above. It's really cool that you've taken the time to work this out!

You've written 90/100 twice in the second to last line of your proof. If you'll agree, I'll correct it!

Add new comment

The content of this field is kept private and will not be shown publicly.
Spam avoidance measure, sorry for this.

Restricted HTML

  • Allowed HTML tags: <a href hreflang> <em> <strong> <cite> <blockquote cite> <code> <ul type> <ol start type> <li> <dl> <dt> <dd> <h2 id> <h3 id> <h4 id> <h5 id> <h6 id>
  • Lines and paragraphs break automatically.
  • Web page addresses and email addresses turn into links automatically.
Submitted on 24 May 2011