| operations |
| comment | | "parent_author":"",<br>"parent_permlink":"mathematics",<br>"author":"team-leibniz",<br>"permlink":"the-harmonic-series-how-is-it-possible-that-adding-a-series-of-numbers-that-tends-towards-zero-sums-to-infinity",<br>"title":"The Harmonic Series - How is it possible that adding a series of numbers that tends towards zero sums to infinity?",<br>"body":"<center>![ (http:\/\/i.imgur.com\/CZAOcuo.png)<\/center>\n\nOne of the reasons I love mathematics so much is it can simultaneously build up a strong set of convictions and intuitions. And just when you believe you have it all figured out,<br> an interesting problem or paradox can come along that challenges everything you thought made logical sense.\n\n## Enter the Harmonic Series\n\nThe **Harmonic Series**,<br> is expressed mathematically as the infinite series of fractions that follow the given pattern:\n\n<center>![ (http:\/\/i.imgur.com\/vifeHmZ.png)<\/center>\n\nYou might recognize the term harmonic from music. And you would be correct. Consider the following:\n\n> When a string,<br> for example the low low C on a piano,<br> vibrates,<br> it oscillates up and down over the length of the string. The wavelength of this frequency then is twice the length of the string,<br> since it takes a full excursion back and forth to begin to create the air oscillations that our ears perceive as sound. \n>\n> The wavelength of a string's frequency then is 2L,<br> or twice the length of the string. ([*Source* (http:\/\/legacy.earlham.edu\/~tobeyfo\/musictheory\/Book1\/FFH1_CH2\/2M_HarmonicSeries.html))\n\n\n<center>![ (http:\/\/legacy.earlham.edu\/~tobeyfo\/musictheory\/Book1\/FFH1_CH2\/images\/harmonic_partials.png)<\/center>\n\nThis means that whenever you play a string on an instrument,<br> it will vibrate at its full length and at any integer divisions of the string. These correspond with pitches that we perceive as sound. Below is the harmonic series represented musically for \"Middle C\":\n\n<center>![ (http:\/\/legacy.earlham.edu\/~tobeyfo\/musictheory\/Book1\/FFH1_CH3_OLD\/images\/10-HarmonicSeries.png)<\/center>\n\n## So the idea of this sequence is rooted in music theory. When you get to the mathematical theory behind it,<br> it's even better!\n\nWhen I first learned about series and infinite sums,<br> I was completely floored by the concept. It is possible to take an infinite sum and have a finite upper bound for its result.\n\nTake,<br> for instance,<br> the following infinite sum:\n\n<center>![ (http:\/\/i.imgur.com\/UWSPaOI.png)<\/center>\n\nIf you logically work your way through this,<br> the terms of the series are tending to zero. Every time,<br> we are adding a negligible amount to the overall sum. While we are stacking up items to infinity,<br> the overall stack of items is not rising out of control. \n\nHow do we know this? We could look at *partial sums* of terms. These are sums of the first 2 terms,<br> 3 terms,<br> 4 terms,<br> and so forth. If that pattern has a limit,<br> the overall sum should also have a limit.\n\n<center>![ (http:\/\/i.imgur.com\/J12fADP.png)<\/center>\n\nFor this particular sum,<br> this can also be explained with a unit square. If you continue to half a `1 x 1`unit square (Area = 1) to infinity,<br> when you sum up the individual parts,<br> their upper bound should be 1,<br> even though the process of halving would continue forever.\n\n<center>![ (http:\/\/i.imgur.com\/MDkgS3s.png)<\/center>\n\n## This all makes intuitive sense. That is,<br> of course,<br> until you get to the Harmonic Series.\n\n If you are to sum the series of fractions `1 + (1\/2) + (1\/3) + ...` to infinity,<br> despite the fact the terms are decreasing towards zero,<br> the entire sum tends to infinity.\n\n<center>![ (http:\/\/i.imgur.com\/vifeHmZ.png)<\/center>\n\nFrom an intuitive sense,<br> the fact the terms are decreasing to zero means that eventually you are adding negligible amounts every time. So,<br> why is it these negligible amounts make the entire sum tend to infinity?\n\n## They are not moving to zero *fast* enough\n\nConsider partial sums. Last time with a sum that had a bound,<br> these sums tended to *something*. This time,<br> we aren't getting the same behavior:\n\n<center>![ (http:\/\/i.imgur.com\/tV520gB.png)<\/center>\n\nSo,<br> informally,<br> this sequence of partial sums has no limit. This should mean the entire series has no limit and diverges to infinity. \n\n## More formally,<br> something like this is really happening. \n\n<center>![ (http:\/\/i.imgur.com\/okfvzin.png)<\/center>\n\nThis image above is from the [following site (http:\/\/www.mathematik.com\/Harmonic\/) with a sobering reality if you were to try to brute force compute further partial sums of the harmonic series:\n\n> The harmonic series diverges - but so slowly,<br> that a numerical experiment does not show that. Even if a machine would have been adding terms at a rate of 10-9 seconds and would have started 15 billion years ago,<br> (about 1017 seconds),<br> the value of the sum would still be about Log(1026) which is less then 60. ([*Source* (http:\/\/www.mathematik.com\/Harmonic\/))\n\n\nTherefore,<br> without partial sums,<br> this image demonstrates that if you replace successive terms of the harmonic series with terms that are less,<br> you will get a comparable infinite sum of `1\/2`. \n\nIntuitively,<br> if one sums up `1\/2` an infinite amount of times,<br> it would not have a limiting value. But,<br> the harmonic series is a series of terms *even greater* than this summation. So,<br> by comparison it is greater than something that has no limit,<br> so it too must have no limit.\n\n___\n\n## Proofs with Calculus\n\nCalculus. Nice,<br> friendly calculus. With it,<br> and comparison testing,<br> we have a really awesome way to actually prove this sum diverges.\n\nTake,<br> for instance,<br> a geometric representation of the harmonic series as follows:\n\n<center>![ (http:\/\/i.imgur.com\/uDl7KAg.png)<\/center>\n\nEvery bar on this chart represents a rectangle with a height of each term of the harmonic series,<br> with every width being 1. Geometrically,<br> the area of each bar represents each term of the harmonic series. Superimposed on the same graph is `f(x) = 1\/x`. This is a continuous function,<br> that is only shown on the interval `[1,<br> \u221e)`. For those that have taken calculus before,<br> you will recognize these bars as a left hand *Riemann Sum* that is to approximate the area under the curve.\n\nNotice how all of the bars on this graph are over the curve `f(x) = 1\/x`. This means the combined area of the bars all together must be strictly greater than the area contained between the curve `1\/x` and the *x*-axis. Thankfully,<br> calculus gives us a way to calculate this area using improper integration:\n\n<center>![ (http:\/\/i.imgur.com\/g1E4rmA.png)<\/center>\n\nBecause the integral diverges to infinity,<br> the sum of our rectangles must also diverge to infinity. \n\n## The slickest proof I've ever seen - it only involves intuition and a counterexample.\n\nThe following proof comes to us from [Leo Goldmahker from the University of Toronto (https:\/\/web.williams.edu\/Mathematics\/lg5\/harmonic.pdf). It is SUPER straightforward to understand because it involves a counterexample to start. \n\nSuppose the harmonic series *DOES* have a finite sum,<br> `H`. If it does,<br> it can be proven that the sum has another equivalent sum that is in terms of itself plus `1\/2`. Of course,<br> this is nonsense,<br> and our original assumption of a finite sum must be rejected.\n\n<center>![ (http:\/\/i.imgur.com\/hB9zCDI.png)<\/center>\n\n___\n\n## The Alternating Harmonic Series\n\nIn the irony of ironies,<br> if you decide to alternate every term of the harmonic series from positive to negative,<br> the series actually converges. In fact,<br> it famously converges to `ln(2)`.\n\n<center>![ (http:\/\/i.imgur.com\/GjCnhul.png)<\/center>\n\nWhy exactly? The quick answer is that when we flip every other term to a negative value,<br> it helps the entirety of the sum get to zero faster. This gives it more of a fighting chance to have a convergent value.\n\nIt can also be easy to tell with partial sums why this is occurring. Below is a graph of the first 400 partial sums of the series. In it,<br> it is fairly easy to tell a limiting value of around 0.7,<br> approximately the value of `ln(2)`. \n\n<center>![ (http:\/\/i.imgur.com\/2reKBpp.png)<\/center>\n\nThe proof of why exactly the sum converges to `ln(2)` can get fairly heavy,<br> so I prefer the visual approach. The following is my favorite demonstration of this fact,<br> and it comes to us from [Matt Hudelson at Washington State University (http:\/\/www.maa.org\/sites\/default\/files\/Hudleson-MMz-201007804.pdf). \n\nIn this,<br> he starts off with a unit square and partitions bits of it away to form a pattern of the alternating harmonic series. This visual shows a limiting value that converges to `ln(2)`.\n\n\n<center>![ (http:\/\/i.imgur.com\/4eV3x8J.png)<\/center>\n___\n\n\n## When it comes to the infinite,<br> I have learned one incontrovertible fact throughout my studies:\n\nWhatever I think is happening most likely is not. \n\n<center>![ (https:\/\/media.giphy.com\/media\/mPytjcsG3XS4o\/giphy.gif)<\/center>\n\nI am absolutely fascinated with infinities and the intuitive and sometimes counterintuitive ideas that can be explored. And,<br> this topic is just the tip of the iceberg. But,<br> in positive news,<br> it does remind me to consistently expect that no matter how much I think I know about the world,<br> there is always more to learn. \n\nThat is the true beauty of mathematics that keeps me coming back for more!\n___\n\n## Sources:\n\n1. [Music Pictures - Earlham College (http:\/\/legacy.earlham.edu\/~tobeyfo\/musictheory\/Book1\/FFH1_CH2\/2M_HarmonicSeries.html)\n2. [Partial Sums to (1\/2) - Mathematik (http:\/\/www.mathematik.com\/Harmonic\/)\n3. [Confused GIF - Giphy (https:\/\/media.giphy.com\/media\/mPytjcsG3XS4o\/giphy.gif)\n___\n\n[![ (https:\/\/img1.steemit.com\/0x0\/http:\/\/i.imgur.com\/olhuYuH.png) (https:\/\/steemit.com\/@team-leibniz)",<br>"json_metadata":" \"tags\":[\"mathematics\",<br>\"blog\",<br>\"writing\",<br>\"paradox\",<br>\"patterns\" ,<br>\"image\":[\"http:\/\/i.imgur.com\/CZAOcuo.png\",<br>\"http:\/\/i.imgur.com\/vifeHmZ.png\",<br>\"http:\/\/legacy.earlham.edu\/~tobeyfo\/musictheory\/Book1\/FFH1_CH2\/images\/harmonic_partials.png\",<br>\"http:\/\/legacy.earlham.edu\/~tobeyfo\/musictheory\/Book1\/FFH1_CH3_OLD\/images\/10-HarmonicSeries.png\",<br>\"http:\/\/i.imgur.com\/UWSPaOI.png\",<br>\"http:\/\/i.imgur.com\/J12fADP.png\",<br>\"http:\/\/i.imgur.com\/MDkgS3s.png\",<br>\"http:\/\/i.imgur.com\/tV520gB.png\",<br>\"http:\/\/i.imgur.com\/okfvzin.png\",<br>\"http:\/\/i.imgur.com\/uDl7KAg.png\",<br>\"http:\/\/i.imgur.com\/g1E4rmA.png\",<br>\"http:\/\/i.imgur.com\/hB9zCDI.png\",<br>\"http:\/\/i.imgur.com\/GjCnhul.png\",<br>\"http:\/\/i.imgur.com\/2reKBpp.png\",<br>\"http:\/\/i.imgur.com\/4eV3x8J.png\",<br>\"https:\/\/media.giphy.com\/media\/mPytjcsG3XS4o\/giphy.gif\",<br>\"https:\/\/img1.steemit.com\/0x0\/http:\/\/i.imgur.com\/olhuYuH.png\" ,<br>\"links\":[\"http:\/\/legacy.earlham.edu\/~tobeyfo\/musictheory\/Book1\/FFH1_CH2\/2M_HarmonicSeries.html\",<br>\"http:\/\/www.mathematik.com\/Harmonic\/\",<br>\"https:\/\/web.williams.edu\/Mathematics\/lg5\/harmonic.pdf\",<br>\"http:\/\/www.maa.org\/sites\/default\/files\/Hudleson-MMz-201007804.pdf\",<br>\"https:\/\/media.giphy.com\/media\/mPytjcsG3XS4o\/giphy.gif\",<br>\"https:\/\/steemit.com\/@team-leibniz\" " |
|