Is this a valid way to prove this modified harmonic series diverges?

Question

I am trying to find a way to prove that $$\dfrac 11 + \dfrac 12 + \dfrac 13 + \dfrac 14 + \cdots \color{red}{-} \dfrac 18 + \cdots$$

where the pattern repeats every $8$ terms. Knowing about the Riemann Series Theorem, I am a little hesitant about manipulating conditionally convergent series at all. Granted that the harmonic series diverges, is the following a valid way to prove my series diverges?

$$\dfrac 11 + \dfrac 12 + \dfrac 13 + \cdots + \dfrac 17 - \dfrac 18 + \cdots = \sum_{n=1}^{\infty} \dfrac 1n - 2 \cdot \dfrac 18\sum_{n=1}^{\infty} \dfrac 1n $$

$$=\dfrac 34 \sum_{n=1}^{\infty} \dfrac 1n$$

Since the harmonic series diverges, so does $\dfrac 34$ times it.

Answer 1

Your idea is a good one, but, as you suspected, you need to be more careful about this sort of manipulation of conditionally convergent series.

One way to carry out your argument correctly, but with only minor changes, is by looking at partial sums:

Let's write $$a_n=\begin{cases}1,&\text{ if }n\text{ is not a multiple of 8} \\-1,&\text{ if }n\text{ is a multiple of 8},\end{cases},$$ so that your series is $\sum_{n=1}^\infty \frac{a_n}{n}.$

Then for any natural number $N,$

\begin{align} \sum_{n=1}^{8N}\frac{a_n}{n} &= \sum_{n=1}^{8N}\frac1{n}-2\sum_{n=1}^N \frac1{8n} \\&=\sum_{n=1}^{8N}\frac1{n}-\frac1{4}\sum_{n=1}^N \frac1{n} \\&\ge\sum_{n=1}^{8N}\frac1{n}-\frac1{4}\sum_{n=1}^{8N} \frac1{n} \\&\quad\scriptsize{\quad\text{(because we can only be subtracting *more* positive numbers)}} \\&=\frac3{4}\sum_{n=1}^{8N}\frac1{n}, \end{align}

which approaches $\infty$ as $N$ approaches $\infty,$ since the harmonic series diverges.

Answer 2

This proof isn't valid because of the Riemann series theorem; the original series could still converge even though some rearrangement of it diverges. It's important to focus on the partial sums.

You can argue along the lines that the series $$\sum_{k=0}^{\infty} \frac{1}{8k+1} = 1 + \frac{1}{9} + \frac{1}{17} + \cdots$$ already diverges by comparing its partial sums to the partial sums of the harmonic series $\frac{1}{8} \Big( 1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} \Big).$

Answer 3

To expand on Mitchell Spector's answer, let's generalize to the problem where every $b$th term is negated.

By the same argument, we get $$\begin{align} \sum_{n=1}^{bN}\frac{a_n}{n} &= \sum_{n=1}^{bN}\frac1{n}-2\sum_{n=1}^N \frac1{bn} \\&=\sum_{n=1}^{bN}\frac1{n}-\frac2{b}\sum_{n=1}^N \frac1{n} \\&\ge\sum_{n=1}^{bN}\frac1{n}-\frac2{b}\sum_{n=1}^{bN} \frac1{n} \\&=\left(1-\frac2{b}\right)\sum_{n=1}^{bN}\frac1{n} \end{align}$$

This is nice, since we can see that the divergence proof holds for $b \geq 3$, but fails for $b=2$. This is not strange, since the series for $b=2$ is known to converge to $\log 2$.

Answer 4

Note that $$ \begin{align} &{\tiny\sum_{k=0}^\infty}{\tiny\left(\frac1{8k+1}+\frac1{8k+2}+\frac1{8k+3}+\frac1{8k+4}+\frac1{8k+5}+\frac1{8k+6}+\frac1{8k+7}-\frac1{8k+8}\right)}\\ &={\tiny\sum_{k=0}^\infty}{\tiny\left(\frac1{8k+1}+\frac1{8k+2}+\frac1{8k+3}+\frac1{8k+4}+\frac1{8k+5}+\frac1{8k+6}\right)+{\tiny\sum_{k=0}^\infty}\left(\frac1{8k+7}-\frac1{8k+8}\right)}\\ \end{align} $$ For the left hand sum, we have $$ \begin{align} &{\small\sum_{k=0}^\infty\left(\frac1{8k+1}+\frac1{8k+2}+\frac1{8k+3}+\frac1{8k+4}+\frac1{8k+5}+\frac1{8k+6}\right)}\\ &\ge{\small\frac68\sum_{k=0}^\infty\frac1{k+1}} \end{align} $$ which diverges.

For the right hand sum, we have $$ \begin{align} &{\small\sum_{k=0}^\infty\left(\frac1{8k+7}-\frac1{8k+8}\right)}\\ &\le{\small\frac1{56}+\frac18\sum_{k=1}^\infty\left(\frac1{8k}-\frac1{8k+8}\right)}\\ &=\frac{15}{448} \end{align} $$ A divergent sum plus a convergent sum diverges.