Archive for the ‘IA Analysis’ Category

A few analysis resources

March 12, 2014

This will be my final post associated with the Analysis I course, for which the last lecture was yesterday. It’s possible that I’ll write further relevant posts in the nearish future, but it’s also possible that I won’t. This one is a short one to draw attention to other material that can be found on the web that may help you to learn the course material. It will be an incomplete list: further suggestions would be welcome in the comments below.

A good way to test your basic knowledge of (some of) the course would be to do a short multiple-choice quiz devised by Vicky Neale. If you don’t get the right answer first time for every question, then it will give you an idea of the areas of the course that need attention.

Terence Tao has also created a number of multiple-choice quizzes, some of which are relevant to the course. They can be found on this page. The quiz on continuity expects you to know the definitions of adherent points and limit points, which I did not discuss in lectures.

How do the power-series definitions of sin and cos relate to their geometrical interpretations?

March 2, 2014

I hope that most of you have either asked yourselves this question explicitly, or at least felt a vague sense of unease about how the definitions I gave in lectures, namely

\displaystyle \cos x = 1 - \frac{x^2}{2!}+\frac{x^4}{4!}-\dots


\displaystyle \sin x = x - \frac{x^3}{3!}+\frac{x^5}{5!}-\dots,

relate to things like the opposite, adjacent and hypotenuse. Using the power-series definitions, we proved several facts about trigonometric functions, such as the addition formulae, their derivatives, and the fact that they are periodic. But we didn’t quite get to the stage of proving that if x^2+y^2=1 and \theta is the angle that the line from (0,0) to (x,y) makes with the line from (0,0) to (1,0), then x=\cos\theta and y=\sin\theta. So how does one establish that? How does one even define the angle? In this post, I will give one possible answer to these questions.

Differentiating power series

February 22, 2014

I’m writing this post as a way of preparing for a lecture. I want to discuss the result that a power series \sum_{n=0}^\infty a_nz^n is differentiable inside its circle of convergence, and the derivative is given by the obvious formula \sum_{n=1}^\infty na_nz^{n-1}. In other words, inside the circle of convergence we can think of a power series as like a polynomial of degree \infty for the purposes of differentiation.

A preliminary question about this is why it is not more or less obvious. After all, writing f(z)=\sum_{n=0}^\infty a_nz^n, we have the following facts.

  1. Writing S_N(z)=\sum_{n=0}^Na_nz^n, we have that S_N(z)\to f(z).
  2. For each N, S_N'(z)=\sum_{n=1}^Nna_nz^{n-1}.

If we knew that S_N'(z)\to f'(z), then we would be done.

Ah, you might be thinking, how do we know that the sequence (S_N'(z)) converges? But it turns out that that is not the problem: it is reasonably straightforward to show that it converges. (Roughly speaking, inside the circle of convergence the series \sum_na_nz^{n-1} converges at least as fast as a GP, and multiplying the nth term by n doesn’t stop a GP converging (as can easily be seen with the help of the ratio test). So, writing g(z) for \sum_{n=1}^\infty na_nz^{n-1}, we have the following facts at our disposal.

  1. S_N(z)\to f(z)
  2. S_N'(z)\to g(z)

Doesn’t it follow from that that f'(z)=g(z)?

Taylor’s theorem with the Lagrange form of the remainder

February 11, 2014

There are countless situations in mathematics where it helps to expand a function as a power series. Therefore, Taylor’s theorem, which gives us circumstances under which this can be done, is an important result of the course. It is also the one result that I was dreading lecturing, at least with the Lagrange form of the remainder, because in the past I have always found that the proof is one that I have not been able to understand properly. I don’t mean by that that I couldn’t follow the arguments I read. What I mean is that I couldn’t reproduce the proof without committing a couple of things to memory, which I would then forget again once I had presented them. Briefly, an argument that appears in a lot of textbooks uses a result called the Cauchy mean value theorem, and applies it to a cleverly chosen function. Whereas I understand what the mean value theorem is for, I somehow don’t have the same feeling about the Cauchy mean value theorem: it just works in this situation and happens to give the answer one wants. And I don’t see an easy way of predicting in advance what function to plug in.

I have always found this situation annoying, because a part of me said that the result ought to be a straightforward generalization of the mean value theorem, in the following sense. The mean value theorem applied to the interval [x,x+h] tells us that there exists y\in (x,x+h) such that f'(y)=\frac{f(x+h)-f(x)}h, and therefore that f(x+h)=f(x)+hf'(y). Writing y=x+\theta h for some \theta\in(0,1) we obtain the statement f(x+h)=f(x)+hf'(x+\theta h). This is the case n=1 of Taylor’s theorem. So can’t we find some kind of “polynomial mean value theorem” that will do the same job for approximating f by polynomials of higher degree?

Now that I’ve been forced to lecture this result again (for the second time actually — the first was in Princeton about twelve years ago, when I just suffered and memorized the Cauchy mean value theorem approach), I have made a proper effort to explore this question, and have realized that the answer is yes. I’m sure there must be textbooks that do it this way, but the ones I’ve looked at all use the Cauchy mean value theorem. I don’t understand why, since it seems to me that the way of proving the result that I’m about to present makes the whole argument completely transparent. I’m actually looking forward to lecturing it (as I add this sentence to the post, the lecture is about half an hour in the future), since the demands on my memory are going to be close to zero.

How to work out proofs in Analysis I

February 3, 2014

Now that we’ve had several results about sequences and series, it seems like a good time to step back a little and discuss how you should go about memorizing their proofs. And the very first thing to say about that is that you should attempt to do this while making as little use of your memory as you possibly can.

Suppose I were to ask you to memorize the sequence 5432187654321. Would you have to learn a string of 13 symbols? No, because after studying the sequence you would see that it is just counting down from 5 and then counting down from 8. What you want is for your memory of a proof to be like that too: you just keep doing the obvious thing except that from time to time the next step isn’t obvious, so you need to remember it. Even then, the better you can understand why the non-obvious step was in fact sensible, the easier it will be to memorize it, and as you get more experienced you may find that steps that previously seemed clever and nonobvious start to seem like the natural thing to do.

For some reason, Analysis I contains a number of proofs that experienced mathematicians find easy but many beginners find very hard. I want to try in this post to explain why the experienced mathematicians are right: in a rather precise sense many of these proofs really are easy, in the sense that if you just repeatedly do the obvious thing you will solve them. Others are mostly like that, with perhaps one smallish idea needed when the obvious steps run out. And even the hardest ones have easy parts to them.

Introduction to Cambridge IA Analysis I 2014

January 11, 2014

This term I shall be giving Cambridge’s course Analysis I, a standard first course in analysis, covering convergence, infinite sums, continuity, differentiation and integration. This post is aimed at people attending that course. I plan to write a few posts as I go along, in which I will attempt to provide further explanations of the new concepts that will be covered, as well as giving advice about how to solve routine problems in the area. (This advice will be heavily influenced by my experience in attempting to teach a computer, about which I have reported elsewhere on this blog.)

I cannot promise to follow the amazing example of Vicky Neale, my predecessor on this course, who posted after every single lecture. However, her posts are still available online, so in some ways you are better off than the people who took Analysis I last year, since you will have her posts as well as mine. (I am making the assumption here that my posts will not contribute negatively to your understanding — I hope that proves to be correct.) Having said that, I probably won’t cover exactly the same material in each lecture as she did, so the correspondence between my lectures and her posts won’t be as good as the correspondence between her lectures and her posts. Nevertheless, I strongly recommend you look at her posts and see whether you find them helpful.

You will find this course much easier to understand if you are comfortable with basic logic. In particular, you should be clear about what “implies” means and should not be afraid of the quantifiers \exists and \forall. You may find a series of posts I wrote a couple of years ago helpful, and in particular the ones where I wrote about logic (NB, as with Vicky Neale’s posts above, they appear in reverse order). I also have a few old posts that are directly relevant to the Analysis I course (since they are old posts you may have to click on “older entries” a couple of times to reach them), but they are detailed discussions of Tripos questions rather than accompaniments to lectures. You may find them useful in the summer, and you may even be curious to have a quick look at them straight away, but for now your job is to learn mathematics rather than trying to get good at one particular style of exam, so I would not recommend devoting much time to them yet.

A look at a few Tripos questions V

May 8, 2012

Here is the final analysis question from 2003.

12C. State carefully the formula for integration by parts for functions of a real variable.

Let f:(-1,1)\to\mathbb{R} be infinitely differentiable. Prove that for all n\geq 1 and for all t\in(-1,1),

\displaystyle f(t)=f(0)+f'(0)t+\frac 1{2!}f''(0)t^2+\dots
\displaystyle \dots+\frac 1{(n-1)!}f^{(n-1)}(0)t^{n-1}+\frac 1{(n-1)!}\int_0^tf^{(n)}(x)(t-x)^{n-1}dx.

By considering the function f(x)=\log(1-x) at x=1/2, or otherwise, prove that the series

\displaystyle \sum_{n=1}^\infty\frac 1{n2^n}

converges to \log 2.

A look at a few Tripos questions IV

May 2, 2012

This post belongs to a series that began here. Next up is a question about integration.

11B. Let f:[a,b]\to\mathbb{R} be continuous. Define the integral \int_a^bf(x)dx. (You are not asked to prove existence.)

Suppose that m, M are real numbers such that m\leq f(x)\leq M for all x\in [a,b]. Stating clearly any properties of the integral that you require, show that

\displaystyle m(b-a)\leq\int_a^bf(x)dx\leq M(b-a).

The function g:[a,b]\to\mathbb{R} is continuous and non-negative. Show that

\displaystyle m\int_a^bg(x)dx\leq\int_a^bf(x)g(x)dx\leq M\int_a^bg(x)dx.

Now let f be continuous on [0,1]. By suitable choice of g show that

\displaystyle \lim_{n\to\infty}\int_0^{1/\sqrt{n}}nf(x)e^{-nx}dx=f(0),

and by making an appropriate change of variable, or otherwise, show that

\displaystyle \lim_{n\to\infty}\int_0^1nf(x)e^{-nx}dx=f(0).

A look at a few Tripos questions III

April 30, 2012

Here’s another one.

10F. State without proof the Integral Comparison Test for the convergence of a series \sum_{n=1}^\infty a_n of non-negative terms.

Determine for which positive real numbers \alpha the series \sum_{n=1}^\infty n^{-\alpha} converges.

In each of the following cases determine whether the series is convergent or divergent:

(i) \displaystyle \sum_{n=3}^\infty \frac 1{n\log n},

(ii) \displaystyle \sum_{n=3}^\infty \frac 1{n\log n(\log\log n)^2},

(iii) \displaystyle \sum_{n=3}^\infty \frac 1{n^{1+1/n}\log n}.

A look at a few Tripos questions II

April 28, 2012

This is the second in a series of posts that started here. In the first post I explained what I’m up to. Now let me just continue with some more questions. I’m now on to the harder Section II questions. Here’s the first one I want to look at. Even though it makes the posts shortish, I think I’m going to stick to one long question per post.

9F. Prove the Axiom of Archimedes.

Let x be a real number in [0,1] and let m,n be positive integers. Show that the limit

\displaystyle \lim_{m\to\infty}[\lim_{n\to\infty} \cos^{2n}(m!\pi x)]

exists, and that its value depends on whether x is rational or irrational.

[You may assume standard properties of the cosine function provided they are clearly stated.]