Does it make mathematical sense to do an absolute convergence test if the original series diverges?

Question

Reason I ask I know a series can converge but then when you apply the absolute convergence test it may diverge. I understand this part. One concludes absolute convergence is a stronger condition!

But what happens if the original series diverges and the terms are negative , how do I know that by making it positive it won't become convergent? In this scenario you would never know that absolute convergence was the strongest condition.

The solution would be that it makes no mathematical sense to apply absolute convergence to a divergent series. Or is this just by definition maybe?

Answer 1

As you know and stated,

If a series is absolutely convergent, then it is convergent.

By contrapositive:

If a series is divergent, then it is not absolutely convergent.

So indeed, performing an absolute convergence test on a divergent series is pointless: you know the answer already.

---

For your specific point (to which the above of course applies, but can be dealt with more specifically as well): theorems for positive series apply to negative series as well. This is simply because $\sum_n a_n$ converges iff $\sum_n (-a_n)$ converges.

Answer 2

Note that if $\sum a_n$ diverges, with $a_n$ negative, also $\sum |a_n|=-\sum a_n$ diverges.

Answer 3

If the original series diverges then it cannot possibly be absolutely convergent.

Hint: Cauchy criterion for convergence. For all $m > n$ sufficiently large

$$\left|\sum_{k=n}^m a_k\right| \leqslant \sum_{k=n}^m |a_k| < \epsilon$$

Answer 4

Note that the following mathematical propositions are equivalent

$$(P\implies Q)\equiv (\neg Q\implies \neg P)$$

Now take

$P : $ (The series $\sum(a_n)_n$ converges absolutely )

and

$Q: $ ( The series $\sum(a_n)_n$ converges )

and we have,

((The series $\sum(a_n)_n$ converges absolutely ) $\implies$ The series $\sum(a_n)_n$ converges) )

Hence we have

((The series $\sum(a_n)_n$ diverges ) $\implies$ The series $\sum(a_n)_n$ diverges absolutely ) )

what can you conclude?

Answer 5

Let $a_n$ be any divergent series. Define $$b_n=\left\{ \begin{array}{lc} a_n & \mbox{ if } a_n \geq 0 \\ 0& \mbox{ if } a_n < 0 \\ \end{array} \right. \\ c_n=\left\{ \begin{array}{lc} -a_n & \mbox{ if } a_n < 0 \\ 0& \mbox{ if } a_n \geq \\ \end{array} \right. \\$$

Then, $\sum b_n, \sum c_n$ are non-negative series and $$\sum_{k=1}^n a_k =\left(\sum_{k=1}^n b_k \right)-\left(\sum_{k=1}^n c_k \right) \\ \sum_{k=1}^n |a_k| =\left(\sum_{k=1}^n b_k \right)+\left(\sum_{k=1}^n c_k \right) $$

Since $b_n, c_n$ are non-negative, the following results are obvious:

Lemma 1 If $\sum_{k=1}^\infty |a_k| <\infty$ then $$\sum_{k=1}^\infty b_k <\infty \\ \sum_{k=1}^\infty c_k <\infty$$

Lemma 2: If $\sum_{k=1}^\infty b_k, \sum_{k=1}^\infty c_k$ are convergent, then so is $$\sum_{k=1}^n a_k =\left(\sum_{k=1}^n b_k \right)-\left(\sum_{k=1}^n c_k \right) $$

It is easy to conclude from here that divergence of the series implies that $\sum_{k=1}^\infty |a_k|=\infty$.