Just lately, I fell to wondering what the sum of the following infinite series was:$$1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\frac{1}{5}-\cdots = \sum_{n=1}^{\infty}(-1)^{n+1} \, \frac{1}{n}$$This can be called the alternating harmonic series. I knew that the harmonic series diverged but I was certain its alternating equivalent was convergent. But what did it converge to? Of course, the answer to such questions is always close at hand but the question had been bouncing around in my head without my doing anything to answer it. Today, I decided to answer it.
It turns out that the question of convergence of this sum can be decided for a much broader category of sums using what's referred to the Alternating Series Test but also Leibniz's test, Leibniz's rule, or the Leibniz criterion. Here is a statement of the test:
A series of the form:$$\sum_{n=0}^{\infty} (-1)^{n} a_n = a_0-a_1 + a_2 - a_3 + \cdots$$where \(a_n\) are all positive (or all negative) is called an alternating series. The alternating series test then says that if |\(a_n\)| decreases monotonically and \( \displaystyle \lim_{n \rightarrow \infty} a_n=0\) then the alternating series converges.
There are plenty of sources that will prove this to be true but I'll just use the result here, namely that the series converges because it satisfies the alternating test criteria. The question remains however, of what the sum converges to. Let's use SageMathCell to find the answer. Figure 1 shows the result.
Figure 1: permalink |
Figure 2: permalink |
\frac1{1+t}&=1-t+t^2-\cdots+(-t)^{n-1}+\frac{(-t)^n}{1+t}\\
\int_0^x \frac{dt}{1+t}&=\int_0^x \left(1-t+t^2-\cdots+(-t)^{n-1}+\frac{(-t)^n}{1+t}\right)\ dt\\
\ln(1+x)&=x-\frac{x^2}{2}+\frac{x^3}{3}-\cdots+(-1)^{n-1}\frac{x^n}{n}+(-1)^n \int_0^x \frac{t^n}{1+t}\ dt\\
&= \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} x^n \end{align}$$
Figure 3: created in GeoGebra |
No comments:
Post a Comment