Consider the series

Determine whether the series converges or diverges. If it converges, determine whether it converges conditionally or absolutely.

If then the series diverges, if the series converges conditionally, and if , then the series converges absolutely.

*Proof.* **Case 1.** Assume . Then

so the series must diverge.

**Cases 2 & 3.** Assume . The series converges since

Now, we can apply the Leibniz rule since (for ),

Further, the sequence is monotonically decreasing since

But,

since , and for

Hence, the derivative is always negative, so the function is decreasing. Therefore, the series of terms taking this function value on the integers must be decreasing as well. By the Leibniz rule, this means the series converges for all .

Finally, we must show this convergence is conditional if and absolute if . So, we consider,

Considering the series we have

This means the two series will converge or diverge together. But, we know converges for and diverges for . Hence, the series in the exercise converges conditionally if and absolutely if

Ok, for everyone doing this exercise: REARRANGMENT only allowed when the series is ABSOLUTELY CONVERGENT. It means, for any s 1, is solved by doing the limit-ratio test with 1/n^s. Case s = 0 is separate. s< 0: separate case too, where terms do not tend to 0. Case s 0: for this use the dirichlet’s test – very simple if you manage to notice it.

Looks like some mistakes on this one. Firstly, the derivatives are wrong, but more over, Leibniz’ rule can’t be used as stated here because the (-1)^n term was incorporated into the series (no longer alternating). Fix is easy- odd and even terms get ADDED, the series is still monotonic decreasing so the same result.

Okay correction: No need to differentiate at all because the series is equivalent to -Σ(-1)^n/n^s , which as we know converges for s>0. The series as stated is not alternating at all- the partial sums are all positive- until the odd-even terms are grouped slightly different. This rearrangement apparently is allowed because the terms alternate, so I’m curious why the rearrangement is allowed yet the series is not absolutely convergent (I know rearrangements are covered in next chapter).

So summarizing, I see from where you separated into odd-even on the first line how things would reassemble into -Σ(-1)^n/n^s but am having trouble seeing the intermediary steps using sigma notation, or do we just make the logical jump at this point?

READ THIS ONE: Okay, so the sums do alternate, but Σ(-1)^n/(n+(-1)^n)^s is the same as -Σ(-1)^n/n^s, which is the correct form. (your method was incorrect as the alternating nature of the series was ‘baked into’ the two series for odd and even terms.) I see how to transform now the sums, by changing the index from n=2 to n=1. My question, which may be obvious, is isn’t thus a rearrangement technically? And is this rearrangement allowed when it involves alternating odd-even?