Current undergraduate course schedules are found here, and lecture lists here. Some supplemental information about lecturers and major changes to courses in the last few years is given on my page here. My term calendars can be found on this page.
Supervising
Teaching information for 2024–25
I have supervised the following courses (“sheets” links to the (current version of) the example sheets, “handouts” to the corresponding section below, although you may wish to look at the introductory section first):
- Michaelmas 2024
- Differential Equations (sheets) (handouts)
- Vectors and Matrices (sheets) (handouts)
- Groups (sheets)
- Vectors and Matrices (sheets) (handouts)
- Methods (sheets) (notes) (handouts)
- Linear Algebra (sheets)
- Lent 2024
- Analysis I (sheets) (handouts)
- Probability (sheets) (handouts)
- Complex Methods (sheets) (handouts)
- Further Complex Methods (sheets) (handouts)
- Michaelmas 2023
- Differential Equations (sheets) (handouts)
- Vectors and Matrices (sheets) (handouts)
- Methods (sheets) (notes) (handouts)
- Lent 2023
- Analysis I (sheets) (handouts)
- Probability (sheets) (handouts)
- Complex Analysis (sheets) (handouts)
- Complex Methods (sheets) (handouts)
- Michaelmas 2022
- Differential Equations (sheets) (handouts)
- Vectors and Matrices (sheets) (handouts)
- Methods (sheets) (notes) (handouts)
- Lent 2022
- Analysis I (sheets) (handouts)
- Probability (sheets) (handouts)
- Michaelmas 2021
- Differential Equations (sheets) (handouts)
- Vectors and Matrices (sheets) (handouts)
- Methods (sheets) (notes) (handouts)
- Lent 2021
- Analysis I (sheets) (handouts)
- Probability (sheets) (handouts)
- Complex Analysis (sheets) (handouts)
- Michaelmas 2020
- Vectors and Matrices (sheets) (handouts)
- Methods (sheets) (notes) (handouts)
- Lent 2020
- Analysis I (sheets) (handouts)
- Probability (sheets) (handouts)
- Michaelmas 2019
- Vectors and Matrices (sheets) (handouts)
- Lent 2019
- Analysis I (sheets) (handouts)
- Probability (sheets) (handouts)
- Asymptotic Methods (sheets) (notes) (handout)
- Michaelmas 2018
- Differential Equations (sheets) (handouts)
- Variational Principles (sheets) (handouts)
- Lent 2018
- Asymptotic Methods (sheets) (notes) (handout)
- Michaelmas 2016
- Quantum Mechanics (sheets) (handouts)
- Lent 2016
- Further Complex Methods (sheets) (handouts)
- Michaelmas 2015
- Principles of Quantum Mechanics (sheets) (handouts)
- Lent 2015
- Complex Analysis (sheets) (handouts)
- Michaelmas 2014
- Variational Principles (sheets) (handouts)
- Methods (sheets) (notes) (handouts)
- Lent 2014
- Complex Analysis (sheets) (handouts)
Lecture Notes
Asymptotic Methods
See separate page!
Methods
As requested by some, I have archived here (pdf) the lecture notes from the 2009 Methods course as given by Dr Caulfield. Please direct any comments to him. (As of writing, the schedules are identical. This document also includes at the end some notes on material from IB Variational Principles, from before it was separated into the VP course, quite a few years ago now (2009).)
Handouts
I have written quite a lot of handouts for courses I have supervised. As may be evident from the titles, they vary between summaries of formulae, more detailed explanations of things from the course, and the other category of Random Interesting Junk Related to the Course (and occasionally more than one of these). I have marked the latter, just in case.
Please note that these handouts are at least nominally a work in progress. This means that there may be typos (should you spot any, please let me know!), and the formatting and style may be somewhat inconsistent between handouts (and possibly also between what is here and what I actually hand out, which is more like Version 0 than Version 1). General feedback is also appreciated.
Any references to question numbers refer to the example sheets from last time I taught the course. I have indicated these on this page, although I may have missed some.
New items are marked with a “*”.
Vectors and Matrices
- Examples of things that are, and are not, vector spaces (Lots of examples of things that are vector spaces, including important ones like the trivial vector space, the space of column vectors, and spaces of linear maps between vector spaces. Also includes some examples that are not vector spaces, through violating at least one of the axioms. The main methods of constructing larger vector spaces out of smaller ones are also discussed, although this (starred) section is almost entirely [RIJRttC])
- Never be confused by a change of basis again (maybe) (One of the parts of this course that people often struggle with is how changing the basis of a vector space changes the components of vectors and linear maps, also known as matrices. This is an attempt to explain what is going on a bit more clearly by using “commutative” diagrams to distinguish the same vector space having different bases.)
- Dr Stephen Cowley’s comprehensive (and very comprehensible) lecture notes are available on his website here. (The “Teaching” link in the left frame.)
- A general discussion of topics that people tend to find difficult, in this course and in IB Linear Algebra, is given by David Mond here. It covers general vector spaces vs. \( \mathbb{R}^n \), some examples, bases and change-of-basis, determinant, and several multivariable calculus topics.
Differential Equations
- The integral \( \int_0^{\infty} \frac{\sin{x}}{x} \, dx \), also known as the Dirichlet integral, is very important in applications (as you will learn in IB Methods). G. H. Hardy wrote two papers about it, as a basic example of a definite integral that can be evaluated exactly (despite its integrand not having an elementary primitive) to determine whether it is reasonable to teach such definite integrals at school. Despite the age of the papers, the curriculum still agrees with his conclusion. [RIJRttC]
- Hardy, G.H., The Integral \( \int_0^{\infty} \frac{\sin{x}}{x} \, dx \), The Mathematical Gazette, Vol. 5, No. 80 (Jun–Jul 1909), pp. 98–103.
- Hardy, G.H., Further Remarks on the Integral \( \int_0^{\infty} \frac{\sin{x}}{x} \, dx \), The Mathematical Gazette, Vol. 8, No. 124 (Jul 1916), pp. 301–303.
- Proof of Differentiation Under the Integral Sign (A proper proof of Leibniz's rule for changing the order of a derivative and an integral. Skim it now, read it properly after you have studied integration rigorously in Analysis I.) [RIJRttC]
- The Cyclic Product Rule for Partial Derivatives (A geometric explanation of the rather counterintuitive rule \( (\partial x / \partial y) \rvert_z (\partial y / \partial z) \rvert_x (\partial z / \partial x) \rvert_y = -1 \).)
- The Versatile Wronskian (Every use of the Wronskian you’ll see in undergraduate mathematics.) [Starred sections are RIJRttC]
- Amusingly, only a couple of pages away from Hardy's second article is the following note from H. Piaggio, one general way of justifying the “multiply by another \(x\)” rule for repeated roots of the auxiliary equation:
(The same applies equally well to finding the particular integral.)
- The phase portrait diagram for 2D linear matrix differential equations I hand out is from TeXample.net, by Gernot Salzer.
- Series Solutions: The Method of Frobenius (Derivation of the Method, the algorithm that we actually use, and some examples of the various cases to which it applies.)
- Euler’s Trigonometrical Products and Partial Fraction Formulae (Derivation of Euler’s product formula \( \sin{\pi x} = \pi x \prod_{k=1}^{\infty} ( 1- x^2/k^2 ) \), “partial fractions” for the cotangent, and the other trigonometric and hyperbolic formulae of the same family.) [RIJRttC]
Groups
-
Why are Möbius transformations like matrices?
A geometric justification of why Möbius transformations behave like matrices (It's because they act as linear transformations on a projective space.)
Analysis I
- Introduction to Analysis I (What this course is for, reviews of recommended books, other book and resource recommendations.)
- Summary of Convergence Tests (A rather telegraphic summary of the conditions and conclusions of essentially every convergence test for series of real numbers known to man. (If you know any I've missed, I'll be happy to add them.)) [Mostly, but not entirely, RIJRttC]
- * The Root Test (One of the simplest convergence tests for series, that is not listed in the Schedules, and so may not be covered in lectures.)
- A number of contributions to the early work on rigorous convergence tests made by Abel. An historical article that describes one of these, arising out of a misunderstanding about the nature of the test
If \( \sum_n a_n \) converges, then \( n a_n \to 0 \).
is
- A beautiful proof of the twin results
- If \(\sum_n a_n\) converges, then we can find a sequence \(b_n\) so that \(a_n/b_n \to \infty\) and \( \sum_n b_n \) converges
- If \(\sum_n a_n\) diverges, then we can find a sequence \(b_n\) so that \(a_n/b_n \to 0\) and \( \sum_n b_n \) converges
(i.e., there is no slowest-converging or slowest-diverging series) is given in
- Cantor's original proof of the uncountability of \(\mathbb{R}\) (It's not the diagonal argument! It also applies to any linear continuum, which can be used to prove other facts about \(\mathbb{R}\).)
- The Fundamental Theorem of Calculus (Statements and proofs of the four (!) most common versions of the Fundamental Theorem of Calculus for the Darboux integral (that is, the definition used in this course, which is occasionally also called the Riemann integral). Beware [RIJRttC] that there is no consensus for which of these are called the Fundamental Theorem: the last section of this handout contains an extensive examination of the terminology used in “modern” Analysis I–level textbooks (roughly the last 50 years).)
Probability
-
More so than most other courses, various recent past lecturers have made their notes available online. Their course pages are listed below.
-
Why do we need to care about \(\sigma\)-algebras? (The structure of this course, doing the axioms followed immediately by the finite and countable cases where it's fine to take \(\mathcal{F} = 2^{\Omega}\), and only then the continuous probability, without much rigour possible, rather obscures why we even want \(\sigma\)-algebras in the first place. This handout aims to clarify that) [RIJRttC]
-
Table of some probability distributions (All the ones you need for this course, and some more that you may need in IB Statistics)
-
Short note about the Riemann zeta function (Brief description of why we care about the zeta function, via its connexion to primes and the relevance of the zeros, essentially a cleaner and properly referenced version of my tangent for the final question on Example Sheet 2) [RIJRttC]
-
The Galton–Watson process as known today began life as a model of the propagation and extinction of surnames: the traditional story traced its origin to the following question, posed by Francis Galton[1] in the Educational Times, Vol. 25, Issue 143 (Mar., 1873), Question 4001:
A large nation of whom we will only concern ourselves with the adult males, N in number, and who each bear separate surnames, colonise a district. Their law of population is such that, in each generation, \(a_0\) per cent. of the adult males have no male children who reach adult life; \(a_1\) have one such male child; \(a_2\) have two; and so on, up to \(a_5\) who have five. Find (1) what proportion of the surnames will have become extinct after \(r\) generations; and (2) how many instances there will be of the same surname being held by \(m\) persons.
[The Proposer remarks that a general solution of this problem would be of much aid in certain rather important statistical enquiries, and that he finds it a laborious matter to work it out numerically, in even the simplest special cases, and to only a few generations. In reality, the generations would overlap and mix, but it is not necessary to suppose them otherwise than as occurring in successive steps.]
This was answered by Reverend Henry William Watson in Educational Times Vol. 26, Issue 148, (Aug., 1874), pp. 115f. The two then presented a joint paper to the Journal of the Royal Anthropological Institute:
Alas, it turns out that not only does this article contain errors, it is also not the first discovery of this process, which was discussed (correctly) in 1845 by the obscure French statistician Irénée-Jules Bienaymé:
-
A handout (by Sinho Chewi) containing a discussion and more general proof of Wald’s identity may be found here. The nice feature of this particular handout is that it only introduces one concept from outside the scope of this course (stopping time), and then the proof itself requires only ideas from this course.
- * Gambler's Ruin the easy way (How to do most questions about random walks, not just simple ones, with martingales and the powerful tools they offer.) [RURttC]
- Inequalities in IA Probability (Statements, proof, consequences and some pictures for the two most important inequalities in the course, Markov and Jensen.) [Everything after the AM–GM inequality is RIJRttC]
-
Relating to Jensen’s inequality and convexity:
-
Jensen’s original paper is
It contains much of the origins of the theory of convex functions (and is based on an earlier paper in Danish, which is theoretically available on JSTOR here).
-
A good visual explanation is given by Needham in
- Why the Cumulative Distribution Function Is Enough (Specifically, enough to determine the entire probability distribution of a random variable. Also explains what a probability distribution actually is.) [RIJRttC, described as “unsuitable for first years” by a fellow(!)]
-
Unfortunately a lot of the interesting topics in this course are postponed to II Probability and Measure. A partial list is
- What a (probability) measure actually is, and why the axioms are the sensible ones.
- The correct way to define an integral on a probability space (Lebesgue integral), and its awesome convergence theorems.
- The better alternative to the MGF (the characteristic function, which exists for any probability distribution).
- The more general way to deal with random variables, including both discrete and continuous (Lebesgue–Stieltjes measure).
- More general conditions for Wald’s identity to hold, and random processes (martingales, also in II Stochastic Financial Models).
- Stronger and more useful Central Limit Theorems.
If you do plan to go to this course, be aware that it is not easy!
[1] Wikipedia gives the comprehensive description
an English Victorian era statistician, progressive, polymath, sociologist, psychologist, anthropologist, eugenicist, tropical explorer, geographer, inventor, meteorologist, proto-geneticist, and psychometrician.
(One may also add Trinity mathmo to this list.)
Vector Calculus
- * A venerable, but appalling, pun: an application of the change-of-variables in multiple integrals to history.
- * However, as appalling puns go, this must be the masterpiece.
-
* The example of iterated integrals not giving the same value,
\[ { \int_0^1 \bigg( \int_0^1 \frac{x^2-y^2}{(x^2+y^2)^2} \, dx \bigg) \, dy } \neq { \int_0^1 \bigg( \int_0^1 \frac{x^2-y^2}{(x^2+y^2)^2} \, dy \bigg) \, dx } , \]
goes back at least to Cauchy: see pp. 678–680 (pp. 394–396 of the reprint) of
(The integrals are improper, or a result about absolutely convergent double integrals would make the values the same. You may find it informative to consider the (improper) integrals with generic lower limits, to see how the value depends on the order in which the double limit is taken.)
G.H. Hardy gives more examples of iterated integrals with this property in
- Hardy, G.H. “Note on the inversion of a repeated integral”, Proceedings of the London Mathematical Society, Series 2, Volume 24, (1926) p.l–li. (Paywalled link) Reprinted in Collected Papers, Volume V.
- The two most useful pages on Wikipedia for this course, and many other applied ones:
- Summary of Concepts in Vector Calculus (A 10-page summary of all the material in the course)
Variational Principles
- The Legendre transform is perhaps the weirdest-looking part of the course. There are a few explanations available online to help fill in the gaps in the course’s treatment.
- Example Sheet 1, Question 6 [2017–18] is made much easier by first proving that the only rectangular parallelepipeds inscribable in a general ellipsoid are those with sides parallel to the axes. Several proofs of this result are given in the short article Rectangular Parallelepipeds in Ellipsoids by Duncan, Khavinson and Shapiro, SIAM Review Vol. 38, No. 4 (Dec. 1996), pp. 655–657.
- [2017–18] Sheet 1 Question 9: Minimal Surface of Revolution Bounded by Two Circles (the results obtained in this question are quite surprising; this is a summary, with some graphs and diagrams)
- The extra question set on Sheet 2 (to be treated as the third part of Question 6 [2017–18]) is as follows:
\( I[u] = \int (\det{Du}) \, dx \, dy \), where \( \det{Du} \) is the Jacobian determinant of the function \( u \colon \mathbb{R}^2 \to \mathbb{R}^2 \). What is strange about this example? Why does this happen?
- Summary of Concepts in Variational Principles (An 8-page summary of all the material in the course)
Methods
- Fourier Series: the Short Guide (a summary of the important formulae)
- Fourier Series/The Sine Product Formula/A Cotangent Series (a way to obtain the expression of the cotangent as a sum of reciprocals using Fourier Series) [RIJRttC]
- Separation of Variables (a description of the method, and the process for Laplace’s equation in the usual co-ordinate systems)
- Bessel Functions and Some of Their Many Identities (a summary of the theory of Bessel functions, sufficient for the course)
- The Fourier Transform (a summary of conventions, properties and a few of the common transform pairs) [Last section is RIJRttC]
- The Riemann Zeta Function at Positive Even Integers (sequel to the cotangent handout, introduces the Bernoulli numbers and derives the expansions of the singular trigonometrical functions, then the promised zeta values) [RIJRttC]
- Similarity Solution to the Diffusion Equation (a more careful discussion of the reduction of the diffusion equation to an ordinary differential equation using a similarity variable than is normally provided in lectures)
- Some Green’s Functions (a mixture of derivations and discussions of the multivariable Green’s functions in the course: Laplace in two and three dimensions, and the wave and diffusion equations in \(1+1\) dimensions)
- The Method of Characteristics (derivation of the Method and its applications: solving first-order linear, semilinear and quasilinear PDEs, classification of second-order linear PDEs; includes diagrams)
- Summary of Concepts in Methods (A 13-page summary of the course material.)
Quantum Mechanics
- Non-Degeneracy in One Dimension (a summary of how to show rigorously that bound states of the Schrödinger equation in one dimension are unique)
- Scattering Problems in One Dimension (a discussion of various issues in one-dimensional scattering, including the calculation of the reflexion and transmission coefficients for a rectangular barrier, some limits thereof, and [RIJRttC] the \(S\)-matrix)
- Operators in Quantum Mechanics (summary of pretty much everything this course does about operators, and some other useful facts)
- Orthogonal Polynomials in Quantum Mechanics (Derivations [RIJRttC] of the properties of Hermite, Legendre, associated Legendre and Laguerre polynomials, with applications to the course content: harmonic oscillator, spherical harmonics, hydrogen atom. Last page has a table of the properties that are worth remembering.)
- Summary of Formulae (A 4-page summary of the course material.)
Complex Analysis
- Automorphisms of the Unit Disc (a derivation of a couple of important automorphism groups, based on some of the example sheet questions; includes an explanation of the link between the group of Möbius transformations and the general linear group of \( 2 \times 2 \) matrices)
- Harmonic Functions and Conformal Maps (A fuller explanation of the proceedure for obtaining a new harmonic function from a known one on a conformally equivalent domain, containing the surprisingly complicated diagram explaining the process)
- Hardy’s proof of Hardy’s theorem (a detailed expansion of Hardy's paper showing that the Riemann zeta function has infinitely many zeros with real part \(\frac{1}{2} \): a testament to the power of complex analysis, that such a result actually
requires only a little more work to understand after a first course)
Complex Methods
- Sheet 1, Question 7 (Worked answer to the branch cuts question on the first example sheet that often causes people a lot of grief. Also relevant to II Further Complex Methods, which has a similar question on its own Example Sheet 1)
Principles of Quantum Mechanics
I have written some notes on a couple of the harder questions on the example sheets.
- Sheet 3, Questions 7&8 (including a full inductive proof of the (anti)symmetry result for identical particle states)
- Sheet 4, Questions 3&4 (including a [RIJRttC] summary of some of the strange effects that parity has in the Standard Model)
Further Complex Methods
- Analytic Functions from Their Real Part (a way of obtaining analytic functions with a given real part, without resorting to solving partial differential equations)
- Sheet 2, Questions 4&10 (two different proofs of the multiplication formula for the \( \Gamma \)-function, and evaluating terms in the series expansion of the Riemann \( \zeta \)-function using integrals)
- Sheet 3, Questions 7&8 (solutions to the last two questions on Sheet 3, concerning the Laplace Transform; the last part is particularly nasty, and for once the branch of \(\sqrt{s}\) that we choose matters)
- Elliptic Functions (notes on the theory of general elliptic functions, and a detailed summary of the Weierstrass elliptic functions and their uses)
- The Hypergeometric Function and the Papperitz Equation (notes covering the last part of the course, on the general differential equation with three regular singular points, its description with the Riemann \(P\)-symbol, and its solution using hypergeometric functions; summary of hypergeometric functions, including definitions, integral representations, differential equation and Kummer's connexion formulae)
- Modular Functions and Picard's Theorem (a summary of the derivation and properties of the modular \(\lambda \)-function, and its rôle in the proof of Picard's little theorem on entire functions which omit two points; also a short explanation of the monodromy part of the proof, but no details)
Asymptotic Methods
See separate page!
On the other hand, those looking for the History of Mathematics example sheet may find an archived copy here.
Acknowledgements
I would like to everyone who has read these handouts over the years, and especially those who have provided feedback, I wish I had kept a list! Special thanks go to Dr Thomas Forster and Daan van de Weem for their frequent help with proofreading, suggestions, and occasionally keeping me grounded with what students will find interesting and/or useful. Naturally any remaining errors are my own!