*In which we meet three really important tests for convergence.*

- Our motto for this part of the course is “Tests for convergence are an aid to thinking, not a substitute for thinking”.
- We reminded ourselves of the definition of absolute convergence.
- Theorem 9 (Absolute convergence implies convergence)
*If the complex series is absolutely convergent then it is convergent.*We proved this first for the case that is real for all , by splitting into non-negative and negative terms, and then used this to deduce the result even when is complex. - Theorem 10 (Ratio test)
*Let be a complex series with for all . Suppose that there is some real number such that as . If , then the series converges absolutely (and so converges). If , then the series diverges.*We saw that this was essentially comparison with a geometric series. (The root test, on Examples Sheet 1, has a similar flavour to the ratio test.) - Theorem 11 (Cauchy condensation test)
*Let be a decreasing sequence of positive numbers. Then converges if and only if converges.*We proved one direction by collecting terms in blocks corresponding to powers of 2, and we’ll do the other direction similarly next time.

#### Understanding today’s lecture

- Keep adding these new tests and new examples to your series grids. Are you starting to get a feel for which tests are useful for which types of series?
- We said that the ratio test is inconclusive if the ratio tends to 1 or if the ratio does not have a limit. Find examples to explore this.
- The Cauchy condensation test was for series where is a decreasing sequence of positive numbers. What happens if the sequence isn’t decreasing, or the terms aren’t all positive? You should get into the habit of investigating whether conditions like this are necessary.
- Can you prove the other direction of the Cauchy condensation test?

#### Further reading

There are lots of books and websites that explain these standard tests of convergence. If you come across any good examples, please do share recommendations in the comments below.

Also, if you find alternative proofs of any of the results in lectures then please leave a comment to tell others about it: it’s always good to have more than one argument (even if I don’t have time to give more in lectures).

This isn’t directly related to the Analysis I course, but hopefully might be interesting: a blog post about the size of Gauss sums, which links closely with this business of sums with and without cancellation (and which has some pictures).

#### Preparation for Lecture 6

For which is the series convergent?

We have seen that every absolutely convergent series is convergent. Are there any series that are convergent but not absolutely convergent?

January 28, 2013 at 4:40 pm

Hi, Dr Neale, I am right in thinking that the conditions we put on the ratio test could be weakened a little? Specifically, I’m thinking that for the argument for the series converging to work, we do not necessarily need (the modulus of the ratio between consecutive terms) to converge, as long as there exists a point (in your sequence) after which it is bounded above by some x which is strictly less than 1.

For example, a series in which terms are alternately 1/2 of the previous term, or 1/4 of the previous term has a non-convergent sequence of ratios, but a ratio test type argument will show it converges.

There might also be a similar thing for the divergent case.

January 28, 2013 at 8:35 pm

Indeed. The idea of the ratio test is “compare with a geometric series”, and there are lots of ways of making that work that aren’t exactly the same as the ratio test. So, like the comparison test, it’s important to be comfortable with the idea of the proof as well as the statement of the test, and as you say comparison with a geometric series is a very useful idea. Thanks for drawing attention to it.

January 28, 2013 at 9:15 pm

Hi Dr. Neale, I seem to have found some alternative proof to Theorem 9. The idea is to make a cauchy sequence from the partial sums of the “absolute” sequence, and use the triangle inequality to show that the partial sums of the original sequence form a cauchy sequence. In full:

converges

therefore partial sums converge

therefore partial sums form cauchy sequence

therefore, for all there exists s.t. for all ,

thus

and as for all , ,

thus

but by repeated use of triangel inequality,

So

and

So partial sums form a cauchy sequence, and therefore converges. So converges.

Anyone see any mistakes?

[Edited to put the symbols into LaTeX. –VRN.]January 28, 2013 at 9:50 pm

I’ve used my magic powers to make the symbols in your comment show up nicely. You should be able to use LaTeX by typing a dollar symbol, then the word ‘latex’, then your LaTeX code, then another dollar symbol.

Hopefully I haven’t introduced any typos — let me know if I have.

I’ll let others think about the argument before I say anything. Any comments, anyone?

January 29, 2013 at 5:55 pm

Thanks, there’s only one small typo. The second line of sums should read

[Now fixed. –VRN]January 29, 2013 at 5:58 pm

It turns out that it’s important that you type the first dollar symbol, then the word `latex’ without a space between it and the dollar symbol, then a space, then the LaTeX!

January 30, 2013 at 10:11 am

This is a nice argument, and is a good illustration of how we can use the General Principle of Convergence in both directions: start with a convergent sequence, deduce that it’s Cauchy, obtain another Cauchy sequence, and deduce that it also converges.

Thanks for sharing it!

January 30, 2013 at 1:43 pm

[…] Expositions of interesting mathematical results « Analysis I: Lecture 5 […]

February 27, 2013 at 12:19 pm

[…] Lemma 41 The power series and have infinite radius of convergence. The proof is an exercise (e.g. using the ratio test). […]

March 6, 2013 at 12:33 pm

[…] yet again, and then we deduced (ii) from it. This was slightly reminiscent of our proof that absolute convergence of a series implies convergence: splitting into non-negative and negative parts and then recombining to obtain the original or the […]

March 13, 2013 at 12:21 pm

[…] We used the integral test to consider the examples of and . We’d previously thought about series like this using the Cauchy condensation test. […]