• # Paper 4, Section I, G

Let $S$ denote the set of continuous real-valued functions on the interval $[0,1]$. For $f, g \in S$, set

$d_{1}(f, g)=\sup \{|f(x)-g(x)|: x \in[0,1]\} \quad \text { and } \quad d_{2}(f, g)=\int_{0}^{1}|f(x)-g(x)| d x$

Show that both $d_{1}$ and $d_{2}$ define metrics on $S$. Does the identity map on $S$ define a continuous map of metric spaces $\left(S, d_{1}\right) \rightarrow\left(S, d_{2}\right) ?$ Does the identity map define a continuous map of metric spaces $\left(S, d_{2}\right) \rightarrow\left(S, d_{1}\right)$ ?

comment
• # Paper 4, Section II, G

What does it mean to say that a function $f$ on an interval in $\mathbf{R}$ is uniformly continuous? Assuming the Bolzano-Weierstrass theorem, show that any continuous function on a finite closed interval is uniformly continuous.

Suppose that $f$ is a continuous function on the real line, and that $f(x)$ tends to finite limits as $x \rightarrow \pm \infty$; show that $f$ is uniformly continuous.

If $f$ is a uniformly continuous function on $\mathbf{R}$, show that $f(x) / x$ is bounded as $x \rightarrow \pm \infty$. If $g$ is a continuous function on $\mathbf{R}$ for which $g(x) / x \rightarrow 0$ as $x \rightarrow \pm \infty$, determine whether $g$ is necessarily uniformly continuous, giving proof or counterexample as appropriate.

comment

• # Paper 4, Section I, G

State the principle of the argument for meromorphic functions and show how it follows from the Residue theorem.

comment

• # Paper 4, Section II, A

A linear system is described by the differential equation

$y^{\prime \prime \prime}(t)-y^{\prime \prime}(t)-2 y^{\prime}(t)+2 y(t)=f(t),$

with initial conditions

$y(0)=0, \quad y^{\prime}(0)=1, \quad y^{\prime \prime}(0)=1$

The Laplace transform of $f(t)$ is defined as

$\mathcal{L}[f(t)]=\tilde{f}(s)=\int_{0}^{\infty} e^{-s t} f(t) d t$

You may assume the following Laplace transforms,

\begin{aligned} \mathcal{L}[y(t)] &=\tilde{y}(s) \\ \mathcal{L}\left[y^{\prime}(t)\right] &=s \tilde{y}(s)-y(0) \\ \mathcal{L}\left[y^{\prime \prime}(t)\right] &=s^{2} \tilde{y}(s)-s y(0)-y^{\prime}(0) \\ \mathcal{L}\left[y^{\prime \prime \prime}(t)\right] &=s^{3} \tilde{y}(s)-s^{2} y(0)-s y^{\prime}(0)-y^{\prime \prime}(0) \end{aligned}

(a) Use Laplace transforms to determine the response, $y_{1}(t)$, of the system to the signal

$f(t)=-2$

(b) Determine the response, $y_{2}(t)$, given that its Laplace transform is

$\tilde{y}_{2}(s)=\frac{1}{s^{2}(s-1)^{2}} .$

(c) Given that

$y^{\prime \prime \prime}(t)-y^{\prime \prime}(t)-2 y^{\prime}(t)+2 y(t)=g(t)$

leads to the response with Laplace transform

$\tilde{y}(s)=\frac{1}{s^{2}(s-1)^{2}},$

determine $g(t)$.

comment

• # Paper 4, Section I, B

Give an expression for the force $\mathbf{F}$ on a charge $q$ moving at velocity $\mathbf{v}$ in electric and magnetic fields $\mathbf{E}$ and $\mathbf{B}$. Consider a stationary electric circuit $C$, and let $S$ be a stationary surface bounded by $C$. Derive from Maxwell's equations the result

$\mathcal{E}=-\frac{d \Phi}{d t}$

where the electromotive force $\mathcal{E}=\oint_{C} q^{-1} \mathbf{F} \cdot d \mathbf{r}$ and the flux $\Phi=\int_{S} \mathbf{B} \cdot d \mathbf{S}$.

Now assume that $(*)$ also holds for a moving circuit. A circular loop of wire of radius $a$ and total resistance $R$, whose normal is in the $z$-direction, moves at constant speed $v$ in the $x$-direction in the presence of a magnetic field $\mathbf{B}=\left(0,0, B_{0} x / d\right)$. Find the current in the wire.

comment

• # Paper 4, Section II, B

Write down the velocity potential for a line source flow of strength $m$ located at $(r, \theta)=(d, 0)$ in polar coordinates $(r, \theta)$ and derive the velocity components $u_{r}, u_{\theta}$.

A two-dimensional flow field consists of such a source in the presence of a circular cylinder of radius $a(a centred at the origin. Show that the flow field outside the cylinder is the sum of the original source flow, together with that due to a source of the same strength at $\left(a^{2} / d, 0\right)$ and another at the origin, of a strength to be determined.

Use Bernoulli's law to find the pressure distribution on the surface of the cylinder, and show that the total force exerted on it is in the $x$-direction and of magnitude

$\frac{m^{2} \rho}{2 \pi^{2}} \int_{0}^{2 \pi} \frac{a d^{2} \sin ^{2} \theta \cos \theta}{\left(a^{2}+d^{2}-2 a d \cos \theta\right)^{2}} d \theta$

where $\rho$ is the density of the fluid. Without evaluating the integral, show that it is positive. Comment on the fact that the force on the cylinder is therefore towards the source.

comment

• # Paper 4, Section II, F

Suppose that $D$ is the unit disc, with Riemannian metric

$d s^{2}=\frac{d x^{2}+d y^{2}}{1-\left(x^{2}+y^{2}\right)}$

[Note that this is not a multiple of the Poincaré metric.] Show that the diameters of $D$ are, with appropriate parametrization, geodesics.

Show that distances between points in $D$ are bounded, but areas of regions in $D$ are unbounded.

comment

• # Paper 4, Section I, H

Let $M$ be a free $\mathbb{Z}$-module generated by $e_{1}$ and $e_{2}$. Let $a, b$ be two non-zero integers, and $N$ be the submodule of $M$ generated by $a e_{1}+b e_{2}$. Prove that the quotient module $M / N$ is free if and only if $a, b$ are coprime.

comment
• # Paper 4, Section II, $11 H$

Let $V=(\mathbb{Z} / 3 \mathbb{Z})^{2}$, a 2-dimensional vector space over the field $\mathbb{Z} / 3 \mathbb{Z}$, and let $e_{1}=\left(\begin{array}{c}1 \\ 0\end{array}\right), e_{2}=\left(\begin{array}{c}0 \\ 1\end{array}\right) \in V .$

(1) List all 1-dimensional subspaces of $V$ in terms of $e_{1}, e_{2}$. (For example, there is a subspace $\left\langle e_{1}\right\rangle$ generated by $\left.e_{1} .\right)$

(2) Consider the action of the matrix group

$G=G L_{2}(\mathbb{Z} / 3 \mathbb{Z})=\left\{\left(\begin{array}{ll} a & b \\ c & d \end{array}\right) \mid a, b, c, d \in \mathbb{Z} / 3 \mathbb{Z}, \quad a d-b c \neq 0\right\}$

on the finite set $X$ of all 1-dimensional subspaces of $V$. Describe the stabiliser group $K$ of $\left\langle e_{1}\right\rangle \in X$. What is the order of $K$ ? What is the order of $G$ ?

(3) Let $H \subset G$ be the subgroup of all elements of $G$ which act trivially on $X$. Describe $H$, and prove that $G / H$ is isomorphic to $S_{4}$, the symmetric group on four letters.

comment

• # Paper 4, Section I, F

Define the notion of an inner product on a finite-dimensional real vector space $V$, and the notion of a self-adjoint linear map $\alpha: V \rightarrow V$.

Suppose that $V$ is the space of real polynomials of degree at most $n$ in a variable $t$. Show that

$\langle f, g\rangle=\int_{-1}^{1} f(t) g(t) d t$

is an inner product on $V$, and that the map $\alpha: V \rightarrow V$ :

$\alpha(f)(t)=\left(1-t^{2}\right) f^{\prime \prime}(t)-2 t f^{\prime}(t)$

comment
• # Paper 4, Section II, F

(i) Show that the group $O_{n}(\mathbb{R})$ of orthogonal $n \times n$ real matrices has a normal subgroup $S O_{n}(\mathbb{R})=\left\{A \in O_{n}(\mathbb{R}) \mid \operatorname{det} A=1\right\}$.

(ii) Show that $O_{n}(\mathbb{R})=S O_{n}(\mathbb{R}) \times\left\{\pm I_{n}\right\}$ if and only if $n$ is odd.

(iii) Show that if $n$ is even, then $O_{n}(\mathbb{R})$ is not the direct product of $S O_{n}(\mathbb{R})$ with any normal subgroup.

[You may assume that the only elements of $O_{n}(\mathbb{R})$ that commute with all elements of $O_{n}(\mathbb{R})$ are $\pm I_{n}$.]

comment

• # Paper 4, Section I, E

Consider a Markov chain $\left(X_{n}\right)_{n} \geqslant 0$ with state space $\{a, b, c, d\}$ and transition probabilities given by the following table.

\begin{tabular}{c|cccc} & $a$ & $b$ & $c$ & $d$ \ \hline$a$ & $1 / 4$ & $1 / 4$ & $1 / 2$ & 0 \ $b$ & 0 & $1 / 4$ & 0 & $3 / 4$ \ $c$ & $1 / 2$ & 0 & $1 / 4$ & $1 / 4$ \ $d$ & 0 & $1 / 2$ & 0 & $1 / 2$ \end{tabular}

By drawing an appropriate diagram, determine the communicating classes of the chain, and classify them as either open or closed. Compute the following transition and hitting probabilities:

• $\mathbb{P}\left(X_{n}=b \mid X_{0}=d\right)$ for a fixed $n \geqslant 0$

• $\mathbb{P}\left(X_{n}=c\right.$ for some $\left.n \geqslant 1 \mid X_{0}=a\right)$.

comment

• # Paper 4, Section I, A

(a) By considering strictly monotonic differentiable functions $\varphi(x)$, such that the zeros satisfy $\varphi(c)=0$ but $\varphi^{\prime}(c) \neq 0$, establish the formula

$\int_{-\infty}^{\infty} f(x) \delta(\varphi(x)) d x=\frac{f(c)}{\left|\varphi^{\prime}(c)\right|}$

Hence show that for a general differentiable function with only such zeros, labelled by $c$,

$\int_{-\infty}^{\infty} f(x) \delta(\varphi(x)) d x=\sum_{c} \frac{f(c)}{\left|\varphi^{\prime}(c)\right|}$

(b) Hence by changing to plane polar coordinates, or otherwise, evaluate,

$I=\int_{0}^{\infty} \int_{0}^{\infty}\left(x^{3}+y^{2} x\right) \delta\left(x^{2}+y^{2}-1\right) d y d x$

comment
• # Paper 4, Section II, B

Defining the function $G_{f_{3}}\left(\mathbf{r} ; \mathbf{r}_{0}\right)=-1 /\left(4 \pi\left|\mathbf{r}-\mathbf{r}_{0}\right|\right)$, prove Green's third identity for functions $u(\mathbf{r})$ satisfying Laplace's equation in a volume $V$ with surface $S$, namely

$u\left(\mathbf{r}_{0}\right)=\int_{S}\left(u \frac{\partial G_{f_{3}}}{\partial n}-\frac{\partial u}{\partial n} G_{f_{3}}\right) d S$

A solution is sought to the Neumann problem for $\nabla^{2} u=0$ in the half plane $z>0$ :

$u=O\left(|\mathbf{x}|^{-a}\right), \quad \frac{\partial u}{\partial r}=O\left(|\mathbf{x}|^{-a-1}\right) \text { as }|\mathbf{x}| \rightarrow \infty, \quad \frac{\partial u}{\partial z}=p(x, y) \text { on } z=0$

where $a>0$. It is assumed that $\int_{-\infty}^{\infty} \int_{-\infty}^{\infty} p(x, y) d x d y=0$. Explain why this condition is necessary.

Construct an appropriate Green's function $G\left(\mathbf{r} ; \mathbf{r}_{0}\right)$ satisfying $\partial G / \partial z=0$ at $z=0$, using the method of images or otherwise. Hence find the solution in the form

$u\left(x_{0}, y_{0}, z_{0}\right)=\int_{-\infty}^{\infty} \int_{-\infty}^{\infty} p(x, y) f\left(x-x_{0}, y-y_{0}, z_{0}\right) d x d y$

where $f$ is to be determined.

Now let

$p(x, y)= \begin{cases}x & |x|,|y|

By expanding $f$ in inverse powers of $z_{0}$, show that

$u \rightarrow \frac{-2 a^{4} x_{0}}{3 \pi z_{0}^{3}} \quad \text { as } \quad z_{0} \rightarrow \infty .$

comment

• # Paper 4, Section II, H

(1) Prove that if $X$ is a compact topological space, then a closed subset $Y$ of $X$ endowed with the subspace topology is compact.

(2) Consider the following equivalence relation on $\mathbb{R}^{2}$ :

$\left(x_{1}, y_{1}\right) \sim\left(x_{2}, y_{2}\right) \Longleftrightarrow\left(x_{1}-x_{2}, y_{1}-y_{2}\right) \in \mathbb{Z}^{2}$

Let $X=\mathbb{R}^{2} / \sim$ be the quotient space endowed with the quotient topology, and let $p: \mathbb{R}^{2} \rightarrow X$ be the canonical surjection mapping each element to its equivalence class. Let $Z=\left\{(x, y) \in \mathbb{R}^{2} \mid y=\sqrt{2} x\right\} .$

(i) Show that $X$ is compact.

(ii) Assuming that $p(Z)$ is dense in $X$, show that $\left.p\right|_{Z}: Z \rightarrow p(Z)$ is bijective but not homeomorphic.

comment

• # Paper 4, Section I, C

Suppose $x_{0}, x_{1}, \ldots, x_{n} \in[a, b] \subset \mathbf{R}$ are pointwise distinct and $f(x)$ is continuous on $[a, b]$. For $k=1,2, \ldots, n$ define

$I_{0, k}(x)=\frac{f\left(x_{0}\right)\left(x_{k}-x\right)-f\left(x_{k}\right)\left(x_{0}-x\right)}{x_{k}-x_{0}}$

and for $k=2,3, \ldots, n$

$I_{0,1, \ldots, k-2, k-1, k}(x)=\frac{I_{0,1, \ldots, k-2, k-1}(x)\left(x_{k}-x\right)-I_{0,1, \ldots, k-2, k}(x)\left(x_{k-1}-x\right)}{x_{k}-x_{k-1}}$

Show that $I_{0,1}, \ldots, k-2, k-1, k(x)$ is a polynomial of order $k$ which interpolates $f(x)$ at $x_{0}, x_{1}, \ldots, x_{k}$.

Given $x_{k}=\{-1,0,2,5\}$ and $f\left(x_{k}\right)=\{33,5,9,1335\}$, determine the interpolating polynomial.

comment

• # Paper 4, Section II, E

A factory produces three types of sugar, types $X$, $Y$, and $Z$, from three types of syrup, labelled $A, B$, and C. The following table contains the number of litres of syrup necessary to make each kilogram of sugar.

\begin{tabular}{c|ccc} & $\mathrm{X}$ & $\mathrm{Y}$ & $\mathrm{Z}$ \ \hline $\mathrm{A}$ & 3 & 2 & 1 \ $\mathrm{~B}$ & 2 & 3 & 2 \ $\mathrm{C}$ & 4 & 1 & 2 \end{tabular}

For instance, one kilogram of type $\mathrm{X}$ sugar requires 3 litres of $\mathrm{A}, 2$ litres of $\mathrm{B}$, and 4 litres of C. The factory can sell each type of sugar for one pound per kilogram. Assume that the factory owner can use no more than 44 litres of $\mathrm{A}$ and 51 litres of $\mathrm{B}$, but is required by law to use at least 12 litres of C. If her goal is to maximize profit, how many kilograms of each type of sugar should the factory produce?

comment

• # Paper 4, Section I, D

Determine the possible values of the energy of a particle free to move inside a cube of side $a$, confined there by a potential which is infinite outside and zero inside.

What is the degeneracy of the lowest-but-one energy level?

comment

• # Paper 4, Section II, E

Consider a collection $X_{1}, \ldots, X_{n}$ of independent random variables with common density function $f(x ; \theta)$ depending on a real parameter $\theta$. What does it mean to say $T$ is a sufficient statistic for $\theta$ ? Prove that if the joint density of $X_{1}, \ldots, X_{n}$ satisfies the factorisation criterion for a statistic $T$, then $T$ is sufficient for $\theta$.

Let each $X_{i}$ be uniformly distributed on $[-\sqrt{\theta}, \sqrt{\theta}]$. Find a two-dimensional sufficient statistic $T=\left(T_{1}, T_{2}\right)$. Using the fact that $\hat{\theta}=3 X_{1}^{2}$ is an unbiased estimator of $\theta$, or otherwise, find an unbiased estimator of $\theta$ which is a function of $T$ and has smaller variance than $\hat{\theta}$. Clearly state any results you use.

comment

• # Paper 4, Section II, D

A function $\theta(\phi)$ with given values of $\theta\left(\phi_{1}\right)$ and $\theta\left(\phi_{2}\right)$ makes the integral

$I=\int_{\phi_{1}}^{\phi_{2}} \mathcal{L}\left(\theta, \theta^{\prime}\right) d \phi$

stationary with respect to small variations of $\theta$ which vanish at $\phi_{1}$ and $\phi_{2}$. Show that $\theta(\phi)$ satisfies the first integral of the Euler-Lagrange equation,

$\mathcal{L}\left(\theta, \theta^{\prime}\right)-\theta^{\prime}\left(\partial \mathcal{L} / \partial \theta^{\prime}\right)=C,$

for some constant $C$. You may state the Euler-Lagrange equation without proof.

It is desired to tow an iceberg across open ocean from a point on the Antarctic coast (longitude $\phi_{1}$ ) to a place in Australia (longitude $\phi_{2}$ ), to provide fresh water for irrigation. The iceberg will melt at a rate proportional to the difference between its temperature (the constant $T_{0}$, measured in degrees Celsius and therefore negative) and the sea temperature $T(\theta)>T_{0}$, where $\theta$ is the colatitude (the usual spherical polar coordinate $\left.\theta\right)$. Assume that the iceberg is towed at a constant speed along a path $\theta(\phi)$, where $\phi$ is the longitude. Given that the infinitesimal arc length on the unit sphere is $\left(d \theta^{2}+\sin ^{2} \theta d \phi^{2}\right)^{1 / 2}$, show that the total ice melted along the path from $\phi_{1}$ to $\phi_{2}$ is proportional to

$I=\int_{\phi_{1}}^{\phi_{2}}\left(T(\theta)-T_{0}\right)\left(\theta^{\prime 2}+\sin ^{2} \theta\right)^{1 / 2} d \phi$

Now suppose that in the relevant latitudes, the sea temperature may be approximated by $T(\theta)=T_{0}(1+3 \tan \theta)$. (Note that $(1+3 \tan \theta)$ is negative in the relevant latitudes.) Show that any smooth path $\theta(\phi)$ which minimizes the total ice melted must satisfy

$\theta^{\prime 2}=\sin ^{2} \theta\left(\frac{1}{4} k^{2} \tan ^{2} \theta \sin ^{2} \theta-1\right),$

and hence that

$\sin ^{2} \theta=\frac{2}{1-\left(1+k^{2}\right)^{1 / 2} \sin 2\left(\phi-\phi_{0}\right)},$

where $k$ and $\phi_{0}$ are constants.

[Hint:

$\int \frac{d x}{x\left(\alpha^{2} x^{4}+x^{2}-1\right)^{1 / 2}}=\frac{1}{2} \arcsin \left[\frac{x^{2}-2}{x^{2}\left(1+4 \alpha^{2}\right)^{1 / 2}}\right]$

comment