Dynamical Systems

2021

• Paper 1, Section II, A

  Dynamical Systems | Part II, 2021

  (a) State the properties defining a Lyapunov function for a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$. State Lyapunov's first theorem and La Salle's invariance principle.

  (b) Consider the system

  $$\begin{aligned} &\dot{x}=y \\ &\dot{y}=-\frac{2 x\left(1-x^{2}\right)}{\left(1+x^{2}\right)^{3}}-k y \end{aligned}$$

  Show that for $k>0$ the origin is asymptotically stable, stating clearly any arguments that you use.

  $$\left[\text { Hint: } \frac{d}{d x} \frac{x^{2}}{\left(1+x^{2}\right)^{2}}=\frac{2 x\left(1-x^{2}\right)}{\left(1+x^{2}\right)^{3}} \cdot\right]$$

  (c) Sketch the phase plane, (i) for $k=0$ and (ii) for $0<k \ll 1$, giving brief details of any reasoning and identifying the fixed points. Include the domain of stability of the origin in your sketch for case (ii).

  (d) For $k>0$ show that the trajectory $\mathbf{x}(t)$ with $\mathbf{x}(0)=\left(1, y_{0}\right)$, where $y_{0}>0$, satisfies $0<y(t)<\sqrt{y_{0}^{2}+\frac{1}{2}}$ for $t>0$. Show also that, for any $\epsilon>0$, the trajectory cannot remain outside the region $0<y<\epsilon$.

  comment

• Paper 2, Section II, A

  Dynamical Systems | Part II, 2021

  Consider a modified van der Pol system defined by

  $$\begin{aligned} &\dot{x}=y-\mu\left(\frac{1}{3} x^{3}-x\right) \\ &\dot{y}=-x+F \end{aligned}$$

  where $\mu>0$ and $F$ are constants.

  (a) A parallelogram PQRS of width $2 L$ is defined by

  $$\begin{array}{ll} P=(L, \mu f(L)), & Q=(L, 2 L-\mu f(L)) \\ R=(-L,-\mu f(L)), & S=(-L, \mu f(L)-2 L) \end{array}$$

  where $f(L)=\frac{1}{3} L^{3}-L$. Show that if $L$ is sufficiently large then trajectories never leave the region inside the parallelogram.

  Hence show that if $F^{2}<1$ there must be a periodic orbit. Explain your reasoning carefully.

  (b) Use the energy-balance method to analyse the behaviour of the system for $\mu \ll 1$, identifying the difference in behaviours between $F^{2}<1$ and $F^{2}>1$.

  (c) Describe the behaviour of the system for $\mu \gg 1$, using sketches of the phase plane to illustrate your arguments for the cases $0<F<1$ and $F>1$.

  comment

• Paper 3, Section II, A

  Dynamical Systems | Part II, 2021

  Consider the system

  $$\begin{aligned} &\dot{x}=\mu y+\beta x y+y^{2}, \\ &\dot{y}=x-y-x^{2} \end{aligned}$$

  where $\mu$ and $\beta$ are constants with $\beta>0$.

  (a) Find the fixed points, and classify those on $y=0$. State how the number of fixed points depends on $\mu$ and $\beta$. Hence, or otherwise, deduce the values of $\mu$ at which stationary bifurcations occur for fixed $\beta>0$.

  (b) Sketch bifurcation diagrams in the $(\mu, x)$-plane for the cases $0<\beta<1, \beta=1$ and $\beta>1$, indicating the stability of the fixed points and the type of the bifurcations in each case. [You are not required to prove that the stabilities or bifurcation types are as you indicate.]

  (c) For the case $\beta=1$, analyse the bifurcation at $\mu=-1$ using extended centre manifold theory and verify that the evolution equation on the centre manifold matches the behaviour you deduced from the bifurcation diagram in part (b).

  (d) For $0<\mu+1 \ll 1$, sketch the phase plane in the immediate neighbourhood of where the bifurcation of part (c) occurs.

  comment

• Paper 4, Section II, A

  Dynamical Systems | Part II, 2021

  (a) A continuous map $F$ of an interval into itself has a periodic orbit of period 3 . Prove that $F$ also has periodic orbits of period $n$ for all positive integers $n$.

  (b) What is the minimum number of distinct orbits of $F$ of periods 2,4 and 5 ? Explain your reasoning with a directed graph. [Formal proof is not required.]

  (c) Consider the piecewise linear map $F:[0,1] \rightarrow[0,1]$ defined by linear segments between $F(0)=\frac{1}{2}, F\left(\frac{1}{2}\right)=1$ and $F(1)=0$. Calculate the orbits of periods 2,4 and 5 that are obtained from the directed graph in part (b).

  [In part (a) you may assume without proof:

  (i) If $U$ and $V$ are non-empty closed bounded intervals such that $V \subseteq F(U)$ then there is a closed bounded interval $K \subseteq U$ such that $F(K)=V$.

  (ii) The Intermediate Value Theorem.]

  comment

2020

• Paper 1, Section II, 32E

  Dynamical Systems | Part II, 2020

  (i) For the dynamical system

  $$\dot{x}=-x\left(x^{2}-2 \mu\right)\left(x^{2}-\mu+a\right),$$

  sketch the bifurcation diagram in the $(\mu, x)$ plane for the three cases $a<0, a=0$ and $a>0$. Describe the bifurcation points that occur in each case.

  (ii) For the case when $a<0$ only, confirm the types of bifurcation by finding the system to leading order near each of the bifurcations.

  (iii) Explore the structural stability of these bifurcations by adding a small positive constant $\epsilon$ to the right-hand side of $(\uparrow)$ and by sketching the bifurcation diagrams, for the three cases $a<0, a=0$ and $a>0$. Which of the original bifurcations are structurally stable?

  comment

• Paper 2, Section II, E

  Dynamical Systems | Part II, 2020

  (a) State and prove Dulac's criterion. State clearly the Poincaré-Bendixson theorem.

  (b) For $(x, y) \in \mathbb{R}^{2}$ and $k>0$, consider the dynamical system

  $$\begin{aligned} &\dot{x}=k x-5 y-(3 x+y)\left(5 x^{2}-6 x y+5 y^{2}\right) \\ &\dot{y}=5 x+(k-6) y-(x+3 y)\left(5 x^{2}-6 x y+5 y^{2}\right) \end{aligned}$$

  (i) Use Dulac's criterion to find a range of $k$ for which this system does not have any periodic orbit.

  (ii) Find a suitable $f(k)>0$ such that trajectories enter the disc $x^{2}+y^{2} \leqslant f(k)$ and do not leave it.

  (iii) Given that the system has no fixed points apart from the origin for $k<10$, give a range of $k$ for which there will exist at least one periodic orbit.

  comment

• Paper 3, Section II, E

  Dynamical Systems | Part II, 2020

  (a) A dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ has a fixed point at the origin. Define the terms asymptotic stability, Lyapunov function and domain of stability of the fixed point $\mathbf{x}=\mathbf{0}$. State and prove Lyapunov's first theorem and state (without proof) La Salle's invariance principle.

  (b) Consider the system

  $$\begin{aligned} \dot{x} &=-2 x+x^{3}+\sin (2 y), \\ \dot{y} &=-x-y^{3} \end{aligned}$$

  (i) Show that trajectories cannot leave the square $S=\{(x, y):|x|<1,|y|<1\}$. Show also that there are no fixed points in $S$ other than the origin. Is this enough to deduce that $S$ is in the domain of stability of the origin?

  (ii) Construct a Lyapunov function of the form $V=x^{2} / 2+g(y)$. Deduce that the origin is asymptotically stable.

  (iii) Find the largest rectangle of the form $|x|<x_{0},|y|<y_{0}$ on which $V$ is a strict Lyapunov function. Is this enough to deduce that this region is in the domain of stability of the origin?

  (iv) Purely from using the Lyapunov function $V$, what is the most that can be deduced about the domain of stability of the origin?

  comment

• Paper 4, Section II, E

  Dynamical Systems | Part II, 2020

  (a) Let $F: I \rightarrow I$ be a continuous map defined on an interval $I \subset \mathbb{R}$. Define what it means (i) for $F$ to have a horseshoe and (ii) for $F$ to be chaotic. [Glendinning's definition should be used throughout this question.]

  (b) Consider the map defined on the interval $[-1,1]$ by

  $$F(x)=1-\mu|x|$$

  with $0<\mu \leqslant 2$.

  (i) Sketch $F(x)$ and $F^{2}(x)$ for a case when $0<\mu<1$ and a case when $1<\mu<2$.

  (ii) Describe fully the long term dynamics for $0<\mu<1$. What happens for $\mu=1$ ?

  (iii) When does $F$ have a horseshoe? When does $F^{2}$ have a horseshoe?

  (iv) For what values of $\mu$ is the map $F$ chaotic?

  comment

2019

• Paper 1, Section II, E

  Dynamical Systems | Part II, 2019

  For a dynamical system of the form $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$, give the definition of the alpha-limit set $\alpha(\mathbf{x})$ and the omega-limit set $\omega(\mathbf{x})$ of a point $\mathbf{x}$.

  Consider the dynamical system

  $$\begin{aligned} &\dot{x}=x^{2}-1, \\ &\dot{y}=k x y, \end{aligned}$$

  where $\mathbf{x}=(x, y) \in \mathbb{R}^{2}$ and $k$ is a real constant. Answer the following for all values of $k$, taking care over boundary cases (both in $k$ and in $\mathbf{x}$ ).

  (i) What symmetries does this system have?

  (ii) Find and classify the fixed points of this system.

  (iii) Does this system have any periodic orbits?

  (iv) Give $\alpha(\mathbf{x})$ and $\omega(\mathbf{x})$ (considering all $\mathbf{x} \in \mathbb{R}^{2}$ ).

  (v) For $\mathbf{x}_{0}=\left(0, y_{0}\right)$, give the orbit of $\mathbf{x}_{0}$ (considering all $y_{0} \in \mathbb{R}$ ). You should give your answer in the form $y=y\left(x, y_{0}, k\right)$, and specify the range of $x$.

  comment

• Paper 2, Section II, E

  Dynamical Systems | Part II, 2019

  For a map $F: \Lambda \rightarrow \Lambda$ give the definitions of chaos according to (i) Devaney (Dchaos) and (ii) Glendinning (G-chaos).

  Consider the dynamical system

  $$F(x)=a x \quad(\bmod 1)$$

  on $\Lambda=[0,1)$, for $a>1$ (note that $a$ is not necessarily an integer). For both definitions of chaos, show that this system is chaotic.

  comment

• Paper 3, Section II, E

  Dynamical Systems | Part II, 2019

  Consider a dynamical system of the form

  $$\begin{aligned} &\dot{x}=x(1-y+a x) \\ &\dot{y}=r y(-1+x-b y) \end{aligned}$$

  on $\Lambda=\{(x, y): x>0$ and $y>0\}$, where $a, b$ and $r$ are real constants and $r>0$.

  (a) For $a=b=0$, by considering a function of the form $V(x, y)=f(x)+g(y)$, show that all trajectories in $\Lambda$ are either periodic orbits or a fixed point.

  (b) Using the same $V$, show that no periodic orbits in $\Lambda$ persist for small $a$ and $b$ if $a b<0$.

  [Hint: for $a=b=0$ on the periodic orbits with period $T$, show that $\int_{0}^{T}(1-x) d t=0$ and hence that $\int_{0}^{T} x(1-x) d t=\int_{0}^{T}\left[-(1-x)^{2}+(1-x)\right] d t<0$.]

  (c) By considering Dulac's criterion with $\phi=1 /(x y)$, show that there are no periodic orbits in $\Lambda$ if $a b<0$.

  (d) Purely by consideration of the existence of fixed points in $\Lambda$ and their Poincaré indices, determine those $(a, b)$ for which the possibility of periodic orbits can be excluded.

  (e) Combining the results above, sketch the $a-b$ plane showing where periodic orbits in $\Lambda$ might still be possible.

  comment

• Paper 4, Section II, E

  Dynamical Systems | Part II, 2019

  Consider the dynamical system

  $$\begin{aligned} &\dot{x}=x+y^{2}-a \\ &\dot{y}=y\left(4 x-x^{2}-a\right) \end{aligned}$$

  for $(x, y) \in \mathbb{R}^{2}, a \in \mathbb{R}$.

  Find all fixed points of this system. Find the three different values of $a$ at which bifurcations appear. For each such value give the location $(x, y)$ of all bifurcations. For each of these, what types of bifurcation are suggested from this analysis?

  Use centre manifold theory to analyse these bifurcations. In particular, for each bifurcation derive an equation for the dynamics on the extended centre manifold and hence classify the bifurcation.

  comment

2018

• Paper 1, Section II, E

  Dynamical Systems | Part II, 2018

  Consider the system

  $$\dot{x}=-2 a x+2 x y, \quad \dot{y}=1-x^{2}-y^{2}$$

  where $a$ is a constant.

  (a) Find and classify the fixed points of the system. For $a=0$ show that the linear classification of the non-hyperbolic fixed points is nonlinearly correct. For $a \neq 0$ show that there are no periodic orbits. [Standard results for periodic orbits may be quoted without proof.]

  (b) Sketch the phase plane for the cases (i) $a=0$, (ii) $a=\frac{1}{2}$, and (iii) $a=\frac{3}{2}$, showing any separatrices clearly.

  (c) For what values of a do stationary bifurcations occur? Consider the bifurcation with $a>0$. Let $y_{0}, a_{0}$ be the values of $y, a$ at which the bifurcation occurs, and define $Y=y-y_{0}, \mu=a-a_{0}$. Assuming that $\mu=O\left(x^{2}\right)$, find the extended centre manifold $Y=Y(x, \mu)$ to leading order. Further, determine the evolution equation on the centre manifold to leading order. Hence identify the type of bifurcation.

  comment

• Paper 2, Section II, 32E

  Dynamical Systems | Part II, 2018

  Consider the system

  $$\dot{x}=y, \quad \dot{y}=x-x^{3}+\epsilon\left(1-\alpha x^{2}\right) y,$$

  where $\alpha$ and $\epsilon$ are real constants, and $0 \leqslant \epsilon \ll 1$. Find and classify the fixed points.

  Show that when $\epsilon=0$ the system is Hamiltonian and find $H$. Sketch the phase plane for this case.

  Suppose now that $0<\epsilon \ll 1$. Show that the small change in $H$ following a trajectory of the perturbed system around an orbit $H=H_{0}$ of the unperturbed system is given to leading order by an equation of the form

  $$\Delta H=\epsilon \int_{x_{1}}^{x_{2}} F\left(x ; \alpha, H_{0}\right) d x$$

  where $F$ should be found explicitly, and where $x_{1}$ and $x_{2}$ are the minimum and maximum values of $x$ on the unperturbed orbit.

  Use the energy-balance method to find the value of $\alpha$, correct to leading order in $\epsilon$, for which the system has a homoclinic orbit. [Hint: The substitution $u=1-\frac{1}{2} x^{2}$ may prove useful.]

  Over what range of $\alpha$ would you expect there to be periodic solutions that enclose only one of the fixed points?

  comment

• Paper 3, Section II, 32E

  Dynamical Systems | Part II, 2018

  Consider the system

  $$\dot{x}=y, \quad \dot{y}=\mu_{1} x+\mu_{2} y-(x+y)^{3}$$

  where $\mu_{1}$ and $\mu_{2}$ are parameters.

  By considering a function of the form $V(x, y)=f(x+y)+\frac{1}{2} y^{2}$, show that when $\mu_{1}=\mu_{2}=0$ the origin is globally asymptotically stable. Sketch the phase plane for this case.

  Find the fixed points for the general case. Find the values of $\mu_{1}$ and $\mu_{2}$ for which the fixed points have (i) a stationary bifurcation and (ii) oscillatory (Hopf) bifurcations. Sketch these bifurcation values in the $\left(\mu_{1}, \mu_{2}\right)$-plane.

  For the case $\mu_{2}=-1$, find the leading-order approximation to the extended centre manifold of the bifurcation as $\mu_{1}$ varies, assuming that $\mu_{1}=O\left(x^{2}\right)$. Find also the evolution equation on the extended centre manifold to leading order. Deduce the type of bifurcation, and sketch the bifurcation diagram in the $\left(\mu_{1}, x\right)$-plane.

  comment

• Paper 4, Section II, E

  Dynamical Systems | Part II, 2018

  Let $F: I \rightarrow I$ be a continuous one-dimensional map of an interval $I \subset \mathbb{R}$. Define what it means (i) for $F$ to have a horseshoe (ii) for $F$ to be chaotic. [Glendinning's definition should be used throughout this question.]

  Prove that if $F$ has a 3 -cycle $x_{1}<x_{2}<x_{3}$ then $F$ is chaotic. [You may assume the intermediate value theorem and any corollaries of it.]

  State Sharkovsky's theorem.

  Use the above results to deduce that if $F$ has an $N$-cycle, where $N$ is any integer that is not a power of 2 , then $F$ is chaotic.

  Explain briefly why if $F$ is chaotic then $F$ has $N$-cycles for many values of $N$ that are not powers of 2. [You may assume that a map with a horseshoe acts on some set $\Lambda$ like the Bernoulli shift map acts on $[0,1)$.]

  The logistic map is not chaotic when $\mu<\mu_{\infty} \approx 3.57$ and it has 3 -cycles when $\mu>1+\sqrt{8} \approx 3.84$. What can be deduced from these statements about the values of $\mu$ for which the logistic map has a 10-cycle?

  comment

2017

• Paper 1, Section II, A

  Dynamical Systems | Part II, 2017

  Consider the dynamical system

  $$\begin{aligned} &\dot{x}=-x+x^{3}+\beta x y^{2} \\ &\dot{y}=-y+\beta x^{2} y+y^{3} \end{aligned}$$

  where $\beta>-1$ is a constant.

  (a) Find the fixed points of the system, and classify them for $\beta \neq 1$.

  Sketch the phase plane for each of the cases (i) $\beta=\frac{1}{2}$ (ii) $\beta=2$ and (iii) $\beta=1$.

  (b) Given $\beta>2$, show that the domain of stability of the origin includes the union over $k \in \mathbb{R}$ of the regions

  $$x^{2}+k^{2} y^{2}<\frac{4 k^{2}\left(1+k^{2}\right)(\beta-1)}{\beta^{2}\left(1+k^{2}\right)^{2}-4 k^{2}} .$$

  By considering $k \gg 1$, or otherwise, show that more information is obtained from the union over $k$ than considering only the case $k=1$.

  $\left[\right.$ Hint: If $B>A, C$ then $\left.\max _{u \in[0,1]}\left\{A u^{2}+2 B u(1-u)+C(1-u)^{2}\right\}=\frac{B^{2}-A C}{2 B-A-C} \cdot\right]$

  comment

• Paper 2, Section II, A

  Dynamical Systems | Part II, 2017

  (a) State Liapunov's first theorem and La Salle's invariance principle. Use these results to show that the fixed point at the origin of the system

  $$\ddot{x}+k \dot{x}+\sin ^{3} x=0, \quad k>0,$$

  is asymptotically stable.

  (b) State the Poincaré-Bendixson theorem. Show that the forced damped pendulum

  $$\dot{\theta}=p, \quad \dot{p}=-k p-\sin \theta+F, \quad k>0,$$

  with $F>1$, has a periodic orbit that encircles the cylindrical phase space $(\theta, p) \in \mathbb{R}[\bmod 2 \pi] \times \mathbb{R}$, and that it is unique.

  [You may assume that the Poincaré-Bendixson theorem also holds on a cylinder, and comment, without proof, on the use of any other standard results.]

  (c) Now consider $(*)$ for $F, k=O(\epsilon)$, where $\epsilon \ll 1$. Use the energy-balance method to show that there is a homoclinic orbit in $p \geqslant 0$ if $F=F_{h}(k)$, where $F_{h} \approx 4 k / \pi>0$.

  Explain briefly why there is no homoclinic orbit in $p \leqslant 0$ for $F>0$.

  comment

• Paper 3, Section II, A

  Dynamical Systems | Part II, 2017

  State, without proof, the centre manifold theorem. Show that the fixed point at the origin of the system

  $$\begin{aligned} &\dot{x}=y-x+a x^{3} \\ &\dot{y}=r x-y-y z \\ &\dot{z}=x y-z \end{aligned}$$

  where $a \neq 1$ is a constant, is nonhyperbolic at $r=1$. What are the dimensions of the linear stable and (non-extended) centre subspaces at this point?

  Make the substitutions $2 u=x+y, 2 v=x-y$ and $\mu=r-1$ and derive the resultant equations for $\dot{u}, \dot{v}$ and $\dot{z}$.

  The extended centre manifold is given by

  $$v=V(u, \mu), \quad z=Z(u, \mu),$$

  where $V$ and $Z$ can be expanded as power series about $u=\mu=0$. What is known about $V$ and $Z$ from the centre manifold theorem? Assuming that $\mu=O\left(u^{2}\right)$, determine $Z$ to $O\left(u^{2}\right)$ and $V$ to $O\left(u^{3}\right)$. Hence obtain the evolution equation on the centre manifold correct to $O\left(u^{3}\right)$, and identify the type of bifurcation distinguishing between the cases $a>1$ and $a<1$.

  If now $a=1$, assume that $\mu=O\left(u^{4}\right)$ and extend your calculations of $Z$ to $O\left(u^{4}\right)$ and of the dynamics on the centre manifold to $O\left(u^{5}\right)$. Hence sketch the bifurcation diagram in the neighbourhood of $u=\mu=0$.

  comment

• Paper 4, Section II, A

  Dynamical Systems | Part II, 2017

  Consider the one-dimensional map $F: \mathbb{R} \rightarrow \mathbb{R}$ defined by

  $$x_{i+1}=F\left(x_{i} ; \mu\right)=x_{i}\left(a x_{i}^{2}+b x_{i}+\mu\right),$$

  where $a$ and $b$ are constants, $\mu$ is a parameter and $a \neq 0$.

  (a) Find the fixed points of $F$ and determine the linear stability of $x=0$. Hence show that there are bifurcations at $\mu=1$, at $\mu=-1$ and, if $b \neq 0$, at $\mu=1+b^{2} /(4 a)$.

  Sketch the bifurcation diagram for each of the cases:

  $$\text { (i) } a>b=0, \quad \text { (ii) } a, b>0 \text { and (iii) } a, b<0 \text {. }$$

  In each case show the locus and stability of the fixed points in the $(\mu, x)$-plane, and state the type of each bifurcation. [Assume that there are no further bifurcations in the region sketched.]

  (b) For the case $F(x)=x\left(\mu-x^{2}\right)$ (i.e. $\left.a=-1, b=0\right)$, you may assume that

  $$F^{2}(x)=x+x\left(\mu-1-x^{2}\right)\left(\mu+1-x^{2}\right)\left(1-\mu x^{2}+x^{4}\right) .$$

  Show that there are at most three 2-cycles and determine when they exist. By considering $F^{\prime}\left(x_{i}\right) F^{\prime}\left(x_{i+1}\right)$, or otherwise, show further that one 2-cycle is always unstable when it exists and that the others are unstable when $\mu>\sqrt{5}$. Sketch the bifurcation diagram showing the locus and stability of the fixed points and 2-cycles. State briefly what you would expect to occur for $\mu>\sqrt{5}$.

  comment

2016

• Paper 1, Section II, E

  Dynamical Systems | Part II, 2016

  Consider the dynamical system

  $$\begin{aligned} &\dot{x}=x(y-a), \\ &\dot{y}=1-x-y^{2}, \end{aligned}$$

  where $-1<a<1$. Find and classify the fixed points of the system.

  Use Dulac's criterion with a weighting function of the form $\phi=x^{p}$ and a suitable choice of $p$ to show that there are no periodic orbits for $a \neq 0$. For the case $a=0$ use the same weighting function to find a function $V(x, y)$ which is constant on trajectories. [Hint: $\phi \dot{\mathbf{x}}$ is Hamiltonian.]

  Calculate the stable manifold at $(0,-1)$ correct to quadratic order in $x$.

  Sketch the phase plane for the cases (i) $a=0$ and (ii) $a=\frac{1}{2}$.

  comment

• Paper 2, Section II, E

  Dynamical Systems | Part II, 2016

  Consider the nonlinear oscillator

  $$\begin{aligned} \dot{x} &=y-\mu x\left(\frac{1}{2}|x|-1\right), \\ \dot{y} &=-x \end{aligned}$$

  (a) Use the Hamiltonian for $\mu=0$ to find a constraint on the size of the domain of stability of the origin when $\mu<0$.

  (b) Assume that given $\mu>0$ there exists an $R$ such that all trajectories eventually remain within the region $|\mathbf{x}| \leqslant R$. Show that there must be a limit cycle, stating carefully any result that you use. [You need not show that there is only one periodic orbit.]

  (c) Use the energy-balance method to find the approximate amplitude of the limit cycle for $0<\mu \ll 1$.

  (d) Find the approximate shape of the limit cycle for $\mu \gg 1$, and calculate the leading-order approximation to its period.

  comment

• Paper 3, Section II, E

  Dynamical Systems | Part II, 2016

  Consider the dependence of the system

  $$\begin{aligned} \dot{x} &=\left(a-x^{2}\right)\left(a^{2}-y\right) \\ \dot{y} &=x-y \end{aligned}$$

  on the parameter $a$. Find the fixed points and plot their location in the $(a, x)$-plane. Hence, or otherwise, deduce that there are bifurcations at $a=0$ and $a=1$.

  Investigate the bifurcation at $a=1$ by making the substitutions $u=x-1, v=y-1$ and $\mu=a-1$. Find the extended centre manifold in the form $v(u, \mu)$ correct to second order. Find the evolution equation on the extended centre manifold to second order, and determine the stability of its fixed points.

  Use a plot to show which branches of fixed points in the $(a, x)$-plane are stable and which are unstable, and state, without calculation, the type of bifurcation at $a=0$. Hence sketch the structure of the $(x, y)$ phase plane very close to the origin for $|a| \ll 1$ in the cases (i) $a<0$ and (ii) $a>0$.

  comment

• Paper 4, Section II, E

  Dynamical Systems | Part II, 2016

  Consider the map defined on $\mathbb{R}$ by

  $$F(x)= \begin{cases}3 x & x \leqslant \frac{1}{2} \\ 3(1-x) & x \geqslant \frac{1}{2}\end{cases}$$

  and let $I$ be the open interval $(0,1)$. Explain what it means for $F$ to have a horseshoe on $I$ by identifying the relevant intervals in the definition.

  Let $\Lambda=\left\{x: F^{n}(x) \in I, \forall n \geqslant 0\right\}$. Show that $F(\Lambda)=\Lambda$.

  Find the sets $\Lambda_{1}=\{x: F(x) \in I\}$ and $\Lambda_{2}=\left\{x: F^{2}(x) \in I\right\}$.

  Consider the ternary (base-3) representation $x=0 \cdot x_{1} x_{2} x_{3} \ldots$ of numbers in $I$. Show that

  $$F\left(0 \cdot x_{1} x_{2} x_{3} \ldots\right)=\left\{\begin{array}{ll} x_{1} \cdot x_{2} x_{3} x_{4} \ldots & x \leqslant \frac{1}{2} \\ \sigma\left(x_{1}\right) \cdot \sigma\left(x_{2}\right) \sigma\left(x_{3}\right) \sigma\left(x_{4}\right) \ldots & x \geqslant \frac{1}{2} \end{array},\right.$$

  where the function $\sigma\left(x_{i}\right)$ of the ternary digits should be identified. What is the ternary representation of the non-zero fixed point? What do the ternary representations of elements of $\Lambda$ have in common?

  Show that $F$ has sensitive dependence on initial conditions on $\Lambda$, that $F$ is topologically transitive on $\Lambda$, and that periodic points are dense in $\Lambda$. [Hint: You may assume that $F^{n}\left(0 \cdot x_{1} \ldots x_{n-1} 0 x_{n+1} x_{n+2} \ldots\right)=0 \cdot x_{n+1} x_{n+2} \ldots$ for $x \in \Lambda$.]

  Briefly state the relevance of this example to the relationship between Glendinning's and Devaney's definitions of chaos.

  comment

2015

• Paper 1, Section II, 28B

  Dynamical Systems | Part II, 2015

  (a) What is a Lyapunov function?

  Consider the dynamical system for $\mathbf{x}(t)=(x(t), y(t))$ given by

  $$\begin{aligned} &\dot{x}=-x+y+x\left(x^{2}+y^{2}\right) \\ &\dot{y}=-y-2 x+y\left(x^{2}+y^{2}\right) \end{aligned}$$

  Prove that the origin is asymptotically stable (quoting carefully any standard results that you use).

  Show that the domain of attraction of the origin includes the region $x^{2}+y^{2}<r_{1}^{2}$ where the maximum possible value of $r_{1}$ is to be determined.

  Show also that there is a region $E=\left\{\mathbf{x} \mid x^{2}+y^{2}>r_{2}^{2}\right\}$ such that $\mathbf{x}(0) \in E$ implies that $|\mathbf{x}(t)|$ increases without bound. Explain your reasoning carefully. Find the smallest possible value of $r_{2}$.

  (b) Now consider the dynamical system

  $$\begin{aligned} \dot{x} &=x-y-x\left(x^{2}+y^{2}\right) \\ \dot{y} &=y+2 x-y\left(x^{2}+y^{2}\right) \end{aligned}$$

  Prove that this system has a periodic solution (again, quoting carefully any standard results that you use).

  Demonstrate that this periodic solution is unique.

  comment

• Paper 2, Section II, B

  Dynamical Systems | Part II, 2015

  (a) An autonomous dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{2}$ has a periodic orbit $\mathbf{x}=\mathbf{X}(t)$ with period $T$. The linearized evolution of a small perturbation $\mathbf{x}=\mathbf{X}(t)+\boldsymbol{\eta}(t)$ is given by $\eta_{i}(t)=\Phi_{i j}(t) \eta_{j}(0)$. Obtain the differential equation and initial condition satisfied by the matrix $\Phi(t)$.

  Define the Floquet multipliers of the orbit. Explain why one of the multipliers is always unity and give a brief argument to show that the other is given by

  $$\exp \left(\int_{0}^{T} \nabla \cdot \mathbf{f}(\mathbf{X}(t)) d t\right)$$

  (b) Use the energy-balance method for nearly Hamiltonian systems to find leading-order approximations to the two limit cycles of the equation

  $$\ddot{x}+\epsilon\left(2 \dot{x}^{3}+2 x^{3}-4 x^{4} \dot{x}-\dot{x}\right)+x=0$$

  where $0<\epsilon \ll 1$.

  Determine the stability of each limit cycle, giving reasoning where necessary.

  [You may assume that $\int_{0}^{2 \pi} \cos ^{4} \theta d \theta=3 \pi / 4$ and $\int_{0}^{2 \pi} \cos ^{6} \theta d \theta=5 \pi / 8$.]

  comment

• Paper 3, Section II, B

  Dynamical Systems | Part II, 2015

  Consider the dynamical system

  $$\begin{aligned} &\dot{x}=-\mu+x^{2}-y \\ &\dot{y}=y(a-x) \end{aligned}$$

  where $a$ is to be regarded as a fixed real constant and $\mu$ as a real parameter.

  Find the fixed points of the system and determine the stability of the system linearized about the fixed points. Hence identify the values of $\mu$ at given $a$ where bifurcations occur.

  Describe informally the concepts of centre manifold theory and apply it to analyse the bifurcations that occur in the above system with $a=1$. In particular, for each bifurcation derive an equation for the dynamics on the extended centre manifold and hence classify the bifurcation.

  What can you say, without further detailed calculation, about the case $a=0$ ?

  comment

• Paper 4, Section II, B

  Dynamical Systems | Part II, 2015

  Let $f: I \rightarrow I$ be a continuous one-dimensional map of an interval $I \subset \mathbb{R}$. Explain what is meant by the statements (i) that $f$ has a horseshoe and (ii) that $f$ is chaotic (according to Glendinning's definition).

  Assume that $f$ has a 3-cycle $\left\{x_{0}, x_{1}, x_{2}\right\}$ with $x_{1}=f\left(x_{0}\right), x_{2}=f\left(x_{1}\right), x_{0}=f\left(x_{2}\right)$ and, without loss of generality, $x_{0}<x_{1}<x_{2}$. Prove that $f^{2}$ has a horseshoe. [You may assume the intermediate value theorem.]

  Represent the effect of $f$ on the intervals $I_{a}=\left[x_{0}, x_{1}\right]$ and $I_{b}=\left[x_{1}, x_{2}\right]$ by means of a directed graph, explaining carefully how the graph is constructed. Explain what feature of the graph implies the existence of a 3-cycle.

  The map $g: I \rightarrow I$ has a 5-cycle $\left\{x_{0}, x_{1}, x_{2}, x_{3}, x_{4}\right\}$ with $x_{i+1}=g\left(x_{i}\right), 0 \leqslant i \leqslant 3$ and $x_{0}=g\left(x_{4}\right)$, and $x_{0}<x_{1}<x_{2}<x_{3}<x_{4}$. For which $n, 1 \leqslant n \leqslant 4$, is an $n$-cycle of $g$ guaranteed to exist? Is $g$ guaranteed to be chaotic? Is $g$ guaranteed to have a horseshoe? Justify your answers. [You may use a suitable directed graph as part of your arguments.]

  How do your answers to the above change if instead $x_{4}<x_{2}<x_{1}<x_{3}<x_{0}$ ?

  comment

2014

• Paper 1, Section I, D

  Dynamical Systems | Part II, 2014

  Consider the system

  $$\begin{aligned} &\dot{x}=y+x y \\ &\dot{y}=x-\frac{3}{2} y+x^{2} \end{aligned}$$

  Show that the origin is a hyperbolic fixed point and find the stable and unstable invariant subspaces of the linearised system.

  Calculate the stable and unstable manifolds correct to quadratic order, expressing $y$ as a function of $x$ for each.

  comment

• Paper 2, Section I, D

  Dynamical Systems | Part II, 2014

  Consider the system

  $$\begin{aligned} \dot{x} &=-x+y+y^{2} \\ \dot{y} &=\mu-x y \end{aligned}$$

  Show that when $\mu=0$ the fixed point at the origin has a stationary bifurcation.

  Find the centre subspace of the extended system linearised about $(x, y, \mu)=(0,0,0)$.

  Find an approximation to the centre manifold giving $y$ as a function of $x$ and $\mu$, including terms up to quadratic order.

  Hence deduce an expression for $\dot{x}$ on the centre manifold, and identify the type of bifurcation at $\mu=0$.

  comment

• Paper 3, Section $I$, D

  Dynamical Systems | Part II, 2014

  Define the Poincaré index of a closed curve $\mathcal{C}$ for a vector field $\mathbf{f}(\mathbf{x}), \mathbf{x} \in \mathbb{R}^{2}$.

  Explain carefully why the index of $\mathcal{C}$ is fully determined by the fixed points of the dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ that lie within $\mathcal{C}$.

  What is the Poincaré index for a closed curve $\mathcal{C}$ if it (a) encloses only a saddle point, (b) encloses only a focus and (c) encloses only a node?

  What is the Poincaré index for a closed curve $\mathcal{C}$ that is a periodic trajectory of the dynamical system?

  A dynamical system in $\mathbb{R}^{2}$ has 2 saddle points, 1 focus and 1 node. What is the maximum number of different periodic orbits? [For the purposes of this question, two orbits are said to be different if they enclose different sets of fixed points.]

  comment

• Paper 3, Section II, D

  Dynamical Systems | Part II, 2014

  Let $f: I \rightarrow I$ be a continuous one-dimensional map of an interval $I \subset \mathbb{R}$. Explain what is meant by saying that $f$ has a horseshoe.

  A map $g$ on the interval $[a, b]$ is a tent map if

  (i) $g(a)=a$ and $g(b)=a$;

  (ii) for some $c$ with $a<c<b, g$ is linear and increasing on the interval $[a, c]$, linear and decreasing on the interval $[c, b]$, and continuous at $c$.

  Consider the tent map defined on the interval $[0,1]$ by

  $$f(x)= \begin{cases}\mu x & 0 \leqslant x \leqslant \frac{1}{2} \\ \mu(1-x) & \frac{1}{2} \leqslant x \leqslant 1\end{cases}$$

  with $1<\mu \leqslant 2$. Find the corresponding expressions for $f^{2}(x)=f(f(x))$.

  Find the non-zero fixed point $x_{0}$ and the points $x_{-1}<\frac{1}{2}<x_{-2}$ that satisfy

  $$f^{2}\left(x_{-2}\right)=f\left(x_{-1}\right)=x_{0}=f\left(x_{0}\right) .$$

  Sketch graphs of $f$ and $f^{2}$ showing the points corresponding to $x_{-2}, x_{-1}$ and $x_{0}$. Indicate the values of $f$ and $f^{2}$ at their maxima and minima and also the gradients of each piece of their graphs.

  Identify a subinterval of $[0,1]$ on which $f^{2}$ is a tent map. Hence demonstrate that $f^{2}$ has a horseshoe if $\mu \geqslant 2^{1 / 2}$.

  Explain briefly why $f^{4}$ has a horseshoe when $\mu \geqslant 2^{1 / 4}$.

  Why are there periodic points of $f$ arbitrarily close to $x_{0}$ for $\mu \geqslant 2^{1 / 2}$, but no such points for $2^{1 / 4} \leqslant \mu<2^{1 / 2}$ ? Explain carefully any results or terms that you use.

  comment

• Paper 4, Section I, D

  Dynamical Systems | Part II, 2014

  Consider the map $x_{n+1}=\lambda x_{n}\left(1-x_{n}^{2}\right)$ for $-1 \leqslant x_{n} \leqslant 1$. What is the maximum value, $\lambda_{\max }$, for which the interval $[-1,1]$ is mapped into itself?

  Analyse the first two bifurcations that occur as $\lambda$ increases from 0 towards $\lambda_{\max }$, including an identification of the values of $\lambda$ at which the bifurcation occurs and the type of bifurcation.

  What type of bifurcation do you expect as the third bifurcation? Briefly give your reasoning.

  comment

• Paper 4, Section II, D

  Dynamical Systems | Part II, 2014

  A dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ has a fixed point at the origin. Define the terms Lyapunov stability, asymptotic stability and Lyapunov function with respect to this fixed point. State and prove Lyapunov's first theorem and state (without proof) La Salle's invariance principle.

  (a) Consider the system

  $$\begin{aligned} &\dot{x}=y \\ &\dot{y}=-y-x^{3}+x^{5} \end{aligned}$$

  Construct a Lyapunov function of the form $V=f(x)+g(y)$. Deduce that the origin is asymptotically stable, explaining your reasoning carefully. Find the greatest value of $y_{0}$ such that use of this Lyapunov function guarantees that the trajectory through $\left(0, y_{0}\right)$ approaches the origin as $t \rightarrow \infty$.

  (b) Consider the system

  $$\begin{aligned} &\dot{x}=x+4 y+x^{2}+2 y^{2}, \\ &\dot{y}=-3 x-3 y . \end{aligned}$$

  Show that the origin is asymptotically stable and that the basin of attraction of the origin includes the region $x^{2}+x y+y^{2}<\frac{1}{4}$.

  comment

2013

• Paper 1, Section I, C

  Dynamical Systems | Part II, 2013

  Consider the dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{n}$ which has a hyperbolic fixed point at the origin.

  Define the stable and unstable invariant subspaces of the system linearised about the origin. Give a constraint on the dimensions of these two subspaces.

  Define the local stable and unstable manifolds of the origin for the system. How are these related to the invariant subspaces of the linearised system?

  For the system

  $$\begin{aligned} &\dot{x}=-x+x^{2}+y^{2} \\ &\dot{y}=y+y^{2}-x^{2} \end{aligned}$$

  calculate the stable and unstable manifolds of the origin, each correct up to and including cubic order.

  comment

• Paper 2, Section I, $7 \mathrm{C}$

  Dynamical Systems | Part II, 2013

  Let $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ be a two-dimensional dynamical system with a fixed point at $\mathbf{x}=\mathbf{0}$. Define a Lyapunov function $V(\mathbf{x})$ and explain what it means for $\mathbf{x}=\mathbf{0}$ to be Lyapunov stable.

  For the system

  $$\begin{aligned} &\dot{x}=-x-2 y+x^{3} \\ &\dot{y}=-y+x+\frac{1}{2} y^{3}+x^{2} y \end{aligned}$$

  determine the values of $C$ for which $V=x^{2}+C y^{2}$ is a Lyapunov function in a sufficiently small neighbourhood of the origin.

  For the case $C=2$, find $V_{1}$ and $V_{2}$ such that $V(\mathbf{x})<V_{1}$ at $t=0$ implies that $V \rightarrow 0$ as $t \rightarrow \infty$ and $V(\mathbf{x})>V_{2}$ at $t=0$ implies that $V \rightarrow \infty$ as $t \rightarrow \infty$

  comment

• Paper 3, Section I, C

  Dynamical Systems | Part II, 2013

  A one-dimensional map is defined by

  $$x_{n+1}=F\left(x_{n}, \mu\right)$$

  where $\mu$ is a parameter. What is the condition for a bifurcation of a fixed point $x_{*}$ of $F$ ?

  Let $F(x, \mu)=x\left(x^{2}-2 x+\mu\right)$. Find the fixed points and show that bifurcations occur when $\mu=-1, \mu=1$ and $\mu=2$. Sketch the bifurcation diagram, showing the locus and stability of the fixed points in the $(x, \mu)$ plane and indicating the type of each bifurcation.

  comment

• Paper 3, Section II, C

  Dynamical Systems | Part II, 2013

  Let $f: I \rightarrow I$ be a continuous map of an interval $I \subset \mathbb{R}$. Explain what is meant by the statements (a) $f$ has a horseshoe and (b) $f$ is chaotic according to Glendinning's definition of chaos.

  Assume that $f$ has a 3-cycle $\left\{x_{0}, x_{1}, x_{2}\right\}$ with $x_{1}=f\left(x_{0}\right), x_{2}=f\left(x_{1}\right), x_{0}=f\left(x_{2}\right)$, $x_{0}<x_{1}<x_{2}$. Prove that $f^{2}$ has a horseshoe. [You may assume the Intermediate Value Theorem.]

  Represent the effect of $f$ on the intervals $I_{a}=\left[x_{0}, x_{1}\right]$ and $I_{b}=\left[x_{1}, x_{2}\right]$ by means of a directed graph. Explain how the existence of the 3 -cycle corresponds to this graph.

  The map $g: I \rightarrow I$ has a 4-cycle $\left\{x_{0}, x_{1}, x_{2}, x_{3}\right\}$ with $x_{1}=g\left(x_{0}\right), x_{2}=g\left(x_{1}\right)$, $x_{3}=g\left(x_{2}\right)$ and $x_{0}=g\left(x_{3}\right)$. If $x_{0}<x_{3}<x_{2}<x_{1}$ is $g$ necessarily chaotic? [You may use a suitable directed graph as part of your argument.]

  How does your answer change if $x_{0}<x_{2}<x_{1}<x_{3}$ ?

  comment

• Paper 4, Section I, C

  Dynamical Systems | Part II, 2013

  Consider the system

  $$\begin{aligned} &\dot{x}=y+a x+b x^{3} \\ &\dot{y}=-x \end{aligned}$$

  What is the Poincaré index of the single fixed point? If there is a closed orbit, why must it enclose the origin?

  By writing $\dot{x}=\partial H / \partial y+g(x)$ and $\dot{y}=-\partial H / \partial x$ for suitable functions $H(x, y)$ and $g(x)$, show that if there is a closed orbit $\mathcal{C}$ then

  $$\oint_{\mathcal{C}}\left(a x+b x^{3}\right) x d t=0$$

  Deduce that there is no closed orbit when $a b>0$.

  If $a b<0$ and $a$ and $b$ are both $O(\epsilon)$, where $\epsilon$ is a small parameter, then there is a single closed orbit that is to within $O(\epsilon)$ a circle of radius $R$ centred on the origin. Deduce a relation between $a, b$ and $R$.

  comment

• Paper 4, Section II, C

  Dynamical Systems | Part II, 2013

  Consider the dynamical system

  $$\begin{aligned} &\dot{x}=(x+y+a)(x-y+a) \\ &\dot{y}=y-x^{2}-b \end{aligned}$$

  where $a>0$.

  Find the fixed points of the dynamical system. Show that for any fixed value of $a$ there exist three values $b_{1}>b_{2} \geqslant b_{3}$ of $b$ where a bifurcation occurs. Show that $b_{2}=b_{3}$ when $a=1 / 2$.

  In the remainder of this question set $a=1 / 2$.

  (i) Being careful to explain your reasoning, show that the extended centre manifold for the bifurcation at $b=b_{1}$ can be written in the form $X=\alpha Y+\beta \mu+p(Y, \mu)$, where $X$ and $Y$ denote the departures from the values of $x$ and $y$ at the fixed point, $b=b_{1}+\mu, \alpha$ and $\beta$ are suitable constants (to be determined) and $p$ is quadratic to leading order. Derive a suitable approximate form for $p$, and deduce the nature of the bifurcation and the stability of the different branches of the steady state solution near the bifurcation.

  (ii) Repeat the calculations of part (i) for the bifurcation at $b=b_{2}$.

  (iii) Sketch the $x$ values of the fixed points as functions of $b$, indicating the nature of the bifurcations and where each branch is stable.

  comment

2012

• Paper 1, Section I, $7 \mathrm{D}$

  Dynamical Systems | Part II, 2012

  State the Poincaré-Bendixson theorem.

  A model of a chemical process obeys the second-order system

  $$\dot{x}=1-x(1+a)+x^{2} y, \quad \dot{y}=a x-x^{2} y$$

  where $a>0$. Show that there is a unique fixed point at $(x, y)=(1, a)$ and that it is unstable if $a>2$. Show that trajectories enter the region bounded by the lines $x=1 / q$, $y=0, y=a q$ and $x+y=1+a q$, provided $q>(1+a)$. Deduce that there is a periodic orbit when $a>2$.

  comment

• Paper 2, Section I, D

  Dynamical Systems | Part II, 2012

  Consider the dynamical system

  $$\dot{x}=\mu x+x^{3}-a x y, \quad \dot{y}=\mu-x^{2}-y,$$

  where $a$ is a constant.

  (a) Show that there is a bifurcation from the fixed point $(0, \mu)$ at $\mu=0$.

  (b) Find the extended centre manifold at leading non-trivial order in $x$. Hence find the type of bifurcation, paying particular attention to the special values $a=1$ and $a=-1$. [Hint. At leading order, the extended centre manifold is of the form $y=\mu+\alpha x^{2}+\beta \mu x^{2}+\gamma x^{4}$, where $\alpha, \beta, \gamma$ are constants to be determined.]

  comment

• Paper 3, Section I, D

  Dynamical Systems | Part II, 2012

  State without proof Lyapunov's first theorem, carefully defining all the terms that you use.

  Consider the dynamical system

  $$\begin{aligned} &\dot{x}=-2 x+y-x y+3 y^{2}-x y^{2}+x^{3} \\ &\dot{y}=-2 y-x-y^{2}-3 x y+2 x^{2} y \end{aligned}$$

  By choosing a Lyapunov function $V(x, y)=x^{2}+y^{2}$, prove that the origin is asymptotically stable.

  By factorising the expression for $\dot{V}$, or otherwise, show that the basin of attraction of the origin includes the set $V<7 / 4$.

  comment

• Paper 3, Section II, D

  Dynamical Systems | Part II, 2012

  Consider the dynamical system

  $$\ddot{x}-(a-b x) \dot{x}+x-x^{2}=0, \quad a, b>0 .$$

  (a) Show that the fixed point at the origin is an unstable node or focus, and that the fixed point at $x=1$ is a saddle point.

  (b) By considering the phase plane $(x, \dot{x})$, or otherwise, show graphically that the maximum value of $x$ for any periodic orbit is less than one.

  (c) By writing the system in terms of the variables $x$ and $z=\dot{x}-\left(a x-b x^{2} / 2\right)$, or otherwise, show that for any periodic orbit $\mathcal{C}$

  $$\oint_{\mathcal{C}}\left(x-x^{2}\right)\left(2 a x-b x^{2}\right) d t=0$$

  Deduce that if $a / b>1 / 2$ there are no periodic orbits.

  (d) If $a=b=0$ the system (1) is Hamiltonian and has homoclinic orbit

  $$X(t)=\frac{1}{2}\left(3 \tanh ^{2}\left(\frac{t}{2}\right)-1\right)$$

  which approaches $X=1$ as $t \rightarrow \pm \infty$. Now suppose that $a, b$ are very small and that we seek the value of $a / b$ corresponding to a periodic orbit very close to $X(t)$. By using equation (3) in equation (2), find an approximation to the largest value of $a / b$ for a periodic orbit when $a, b$ are very small.

  [Hint. You may use the fact that $\left.(1-X)=\frac{3}{2} \operatorname{sech}^{2}\left(\frac{t}{2}\right)=3 \frac{d}{d t}\left(\tanh \left(\frac{t}{2}\right)\right)\right]$

  comment

• Paper 4, Section I, D

  Dynamical Systems | Part II, 2012

  Describe the different types of bifurcation from steady states of a one-dimensional map of the form $x_{n+1}=f\left(x_{n}\right)$, and give examples of simple equations exhibiting each type.

  Consider the map $x_{n+1}=\alpha x_{n}^{2}\left(1-x_{n}\right), 0<x_{n}<1$. What is the maximum value of $\alpha$ for which the interval is mapped into itself?

  Show that as $\alpha$ increases from zero to its maximum value there is a saddle-node bifurcation and a period-doubling bifurcation, and determine the values of $\alpha$ for which they occur.

  comment

• Paper 4, Section II, D

  Dynamical Systems | Part II, 2012

  What is meant by the statement that a continuous map of an interval $I$ into itself has a horseshoe? State without proof the properties of such a map.

  Define the property of chaos of such a map according to Glendinning.

  A continuous map $f: I \rightarrow I$ has a periodic orbit of period 5 , in which the elements $x_{j}, j=1, \ldots, 5$ satisfy $x_{j}<x_{j+1}, j=1, \ldots, 4$ and the points are visited in the order $x_{1} \rightarrow x_{3} \rightarrow x_{4} \rightarrow x_{2} \rightarrow x_{5} \rightarrow x_{1}$. Show that the map is chaotic. [The Intermediate Value theorem can be used without proof.]

  comment

2011

• Paper 1, Section I, C

  Dynamical Systems | Part II, 2011

  Find the fixed points of the dynamical system (with $\mu \neq 0$ )

  $$\begin{aligned} &\dot{x}=\mu^{2} x-x y \\ &\dot{y}=-y+x^{2} \end{aligned}$$

  and determine their type as a function of $\mu$.

  Find the stable and unstable manifolds of the origin correct to order $4 .$

  comment

• Paper 2, Section I, C

  Dynamical Systems | Part II, 2011

  State the Poincaré-Bendixson theorem for two-dimensional dynamical systems.

  A dynamical system can be written in polar coordinates $(r, \theta)$ as

  $$\begin{aligned} &\dot{r}=r-r^{3}(1+\alpha \cos \theta) \\ &\dot{\theta}=1-r^{2} \beta \cos \theta \end{aligned}$$

  where $\alpha$ and $\beta$ are constants with $0<\alpha<1$.

  Show that trajectories enter the annulus $(1+\alpha)^{-1 / 2}<r<(1-\alpha)^{-1 / 2}$.

  Show that if there is a fixed point $\left(r_{0}, \theta_{0}\right)$ inside the annulus then $r_{0}^{2}=(\beta-\alpha) / \beta$ and $\cos \theta_{0}=1 /(\beta-\alpha)$.

  Use the Poincaré-Bendixson theorem to derive conditions on $\beta$ that guarantee the existence of a periodic orbit.

  comment

• Paper 3, Section I, C

  Dynamical Systems | Part II, 2011

  For the map $x_{n+1}=\lambda x_{n}\left(1-x_{n}^{2}\right)$, with $\lambda>0$, show the following:

  (i) If $\lambda<1$, then the origin is the only fixed point and is stable.

  (ii) If $\lambda>1$, then the origin is unstable. There are two further fixed points which are stable for $1<\lambda<2$ and unstable for $\lambda>2$.

  (iii) If $\lambda<3 \sqrt{3} / 2$, then $x_{n}$ has the same sign as the starting value $x_{0}$ if $\left|x_{0}\right|<1$.

  (iv) If $\lambda<3$, then $\left|x_{n+1}\right|<2 \sqrt{3} / 3$ when $\left|x_{n}\right|<2 \sqrt{3} / 3$. Deduce that iterates starting sufficiently close to the origin remain bounded, though they may change sign.

  [Hint: For (iii) and (iv) a graphical representation may be helpful.]

  comment

• Paper 3, Section II, C

  Dynamical Systems | Part II, 2011

  Explain what is meant by a steady-state bifurcation of a fixed point $\mathbf{x}_{0}(\mu)$ of a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x}, \mu)$ in $\mathbb{R}^{n}$, where $\mu$ is a real parameter.

  Consider the system in $x \geqslant 0, y \geqslant 0$, with $\mu>0$,

  $$\begin{aligned} \dot{x} &=x\left(1-y^{2}-x^{2}\right), \\ \dot{y} &=y\left(\mu-y-x^{2}\right) . \end{aligned}$$

  (i) Show that both the fixed point $(0, \mu)$ and the fixed point $(1,0)$ have a steady-state bifurcation when $\mu=1$.

  (ii) By finding the first approximation to the extended centre manifold, construct the normal form near the bifurcation point $(1,0)$ when $\mu$ is close to unity, and show that there is a transcritical bifurcation there. Explain why the symmetries of the equations mean that the bifurcation at $(0,1)$ must be of pitchfork type.

  (iii) Show that two fixed points with $x, y>0$ exist in the range $1<\mu<5 / 4$. Show that the solution with $y<1 / 2$ is stable. Identify the bifurcation that occurs at $\mu=5 / 4$.

  (iv) Draw a sketch of the values of $y$ at the fixed points as functions of $\mu$, indicating the bifurcation points and the regions where each branch is stable. [Detailed calculations are not required.]

  comment

• Paper 4, Section I, $7 \mathrm{C}$

  Dynamical Systems | Part II, 2011

  (i) Explain the use of the energy balance method for describing approximately the behaviour of nearly Hamiltonian systems.

  (ii) Consider the nearly Hamiltonian dynamical system

  $$\ddot{x}+\epsilon \dot{x}\left(-1+\alpha x^{2}-\beta x^{4}\right)+x=0, \quad 0<\epsilon \ll 1$$

  where $\alpha$ and $\beta$ are positive constants. Show that, for sufficiently small $\epsilon$, the system has periodic orbits if $\alpha^{2}>8 \beta$, and no periodic orbits if $\alpha^{2}<8 \beta$. Show that in the first case there are two periodic orbits, and determine their approximate size and their stability.

  What can you say about the existence of periodic orbits when $\alpha^{2}=8 \beta ?$

  [You may assume that

  $$\left.\int_{0}^{2 \pi} \sin ^{2} t d t=\pi, \quad \int_{0}^{2 \pi} \sin ^{2} t \cos ^{2} t d t=\frac{\pi}{4}, \quad \int_{0}^{2 \pi} \sin ^{2} t \cos ^{4} t d t=\frac{\pi}{8}\right]$$

  comment

• Paper 4, Section II, C

  Dynamical Systems | Part II, 2011

  (i) State and prove Lyapunov's First Theorem, and state (without proof) La Salle's Invariance Principle. Show by example how the latter result can be used to prove asymptotic stability of a fixed point even when a strict Lyapunov function does not exist.

  (ii) Consider the system

  $$\begin{aligned} &\dot{x}=-x+2 y+x^{3}+2 x^{2} y+2 x y^{2}+2 y^{3}, \\ &\dot{y}=-y-x-2 x^{3}+\frac{1}{2} x^{2} y-3 x y^{2}+y^{3} \end{aligned}$$

  Show that the origin is asymptotically stable and that the basin of attraction of the origin includes the region $x^{2}+2 y^{2}<2 / 3$.

  comment

2010

• Paper 1, Section I, D

  Dynamical Systems | Part II, 2010

  Consider the 2-dimensional flow

  $$\dot{x}=-\mu x+y, \quad \dot{y}=\frac{x^{2}}{1+x^{2}}-\nu y$$

  where $x(t)$ and $y(t)$ are non-negative, the parameters $\mu$ and $\nu$ are strictly positive and $\mu \neq \nu$. Sketch the nullclines in the $x, y$ plane. Deduce that for $\mu<\mu_{c}$ (where $\mu_{c}$ is to be determined) there are three fixed points. Find them and determine their type.

  Sketch the phase portrait for $\mu<\mu_{c}$ and identify, qualitatively on your sketch, the stable and unstable manifolds of the saddle point. What is the final outcome of this system?

  comment

• Paper 2, Section I, D

  Dynamical Systems | Part II, 2010

  Consider the 2-dimensional flow

  $$\dot{x}=\mu\left(\frac{1}{3} x^{3}-x\right)+y, \quad \dot{y}=-x$$

  where the parameter $\mu>0$. Using Lyapunov's approach, discuss the stability of the fixed point and its domain of attraction. Relevant definitions or theorems that you use should be stated carefully, but proofs are not required.

  comment

• Paper 3, Section I, D

  Dynamical Systems | Part II, 2010

  Let $I=[0,1)$. The sawtooth (Bernoulli shift) map $F: I \rightarrow I$ is defined by

  $$F(x)=2 x[\bmod 1]$$

  Describe the effect of $F$ using binary notation. Show that $F$ is continuous on $I$ except at $x=\frac{1}{2}$. Show also that $F$ has $N$-periodic points for all $N \geqslant 2$. Are they stable?

  Explain why $F$ is chaotic, using Glendinning's definition.

  comment

• Paper 3, Section II, D

  Dynamical Systems | Part II, 2010

  Describe informally the concepts of extended stable manifold theory. Illustrate your discussion by considering the 2-dimensional flow

  $$\dot{x}=\mu x+x y-x^{3}, \quad \dot{y}=-y+y^{2}-x^{2},$$

  where $\mu$ is a parameter with $|\mu| \ll 1$, in a neighbourhood of the origin. Determine the nature of the bifurcation.

  comment

• Paper 4, Section I, D

  Dynamical Systems | Part II, 2010

  Consider the 2-dimensional flow

  $$\dot{x}=y+\frac{1}{4} x\left(1-2 x^{2}-2 y^{2}\right), \quad \dot{y}=-x+\frac{1}{2} y\left(1-x^{2}-y^{2}\right)$$

  Use the Poincaré-Bendixson theorem, which should be stated carefully, to obtain a domain $\mathcal{D}$ in the $x y$-plane, within which there is at least one periodic orbit.

  comment

• Paper 4, Section II, D

  Dynamical Systems | Part II, 2010

  Let $I=[0,1]$ and consider continuous maps $F: I \rightarrow I$. Give an informal outline description of the two different bifurcations of fixed points of $F$ that can occur.

  Illustrate your discussion by considering in detail the logistic map

  $$F(x)=\mu x(1-x),$$

  for $\mu \in(0,1+\sqrt{6}]$.

  Describe qualitatively what happens for $\mu \in(1+\sqrt{6}, 4]$.

  [You may assume without proof that

  $$x-F^{2}(x)=x(\mu x-\mu+1)\left(\mu^{2} x^{2}-\mu(\mu+1) x+\mu+1\right)$$

  comment

2009

• Paper 1, Section I, E

  Dynamical Systems | Part II, 2009

  Let $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ be a two-dimensional dynamical system with a fixed point at $\mathbf{x}=\mathbf{0}$. Define a Lyapunov function $V(\mathbf{x})$ and explain what it means for $\mathbf{x}=\mathbf{0}$ to be Lyapunov stable.

  Determine the values of $\beta$ for which $V=x^{2}+\beta y^{2}$ is a Lyapunov function in a sufficiently small neighbourhood of the origin for the system

  $$\begin{aligned} &\dot{x}=-x+2 y+2 x y-x^{2}-4 y^{2}, \\ &\dot{y}=-y+x y . \end{aligned}$$

  What can be deduced about the basin of attraction of the origin using $V$ when $\beta=2 ?$

  comment

• Paper 2, Section I, E

  Dynamical Systems | Part II, 2009

  For each of the one-dimensional systems

  (i) $\dot{x}=\mu^{2}-a^{2}+2 a x^{2}-x^{4}$,

  (ii) $\dot{x}=x\left(\mu^{2}-a^{2}+2 a x^{2}-x^{4}\right)$,

  determine the location and stability of all the fixed points. For each system sketch bifurcation diagrams in the $(\mu, x)$ plane in each of the two cases $a>0$ and $a<0$. Identify and carefully describe all the bifurcation points that occur.

  [Detailed calculations are not required, but bifurcation diagrams must be clearly labelled, and the locations of bifurcation points should be given.]

  comment

• Paper 3, Section I, E

  Dynamical Systems | Part II, 2009

  Consider the one-dimensional real map $x_{n+1}=F\left(x_{n}\right)=r x_{n}^{2}\left(1-x_{n}\right)$, where $r>0$. Locate the fixed points and explain for what ranges of the parameter $r$ each fixed point exists. For what range of $r$ does $F$ map the open interval $(0,1)$ into itself?

  Determine the location and type of all the bifurcations from the fixed points which occur. Sketch the location of the fixed points in the $(r, x)$ plane, indicating stability.

  comment

• Paper 3, Section II, E

  Dynamical Systems | Part II, 2009

  Consider the dynamical system

  $$\begin{aligned} &\dot{x}=-a x-2 x y, \\ &\dot{y}=x^{2}+y^{2}-b, \end{aligned}$$

  where $a \geqslant 0$ and $b>0$.

  (i) Find and classify the fixed points. Show that a bifurcation occurs when $4 b=a^{2}>0$.

  (ii) After shifting coordinates to move the relevant fixed point to the origin, and setting $a=2 \sqrt{b}-\mu$, carry out an extended centre manifold calculation to reduce the two-dimensional system to one of the canonical forms, and hence determine the type of bifurcation that occurs when $4 b=a^{2}>0$. Sketch phase portraits in the cases $0<a^{2}<4 b$ and $0<4 b<a^{2}$.

  (iii) Sketch the phase portrait in the case $a=0$. Prove that periodic orbits exist if and only if $a=0$.

  comment

• Paper 4, Section I, $7 \mathbf{E}$

  Dynamical Systems | Part II, 2009

  Consider the two-dimensional dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ given in polar coordinates by

  $$\begin{aligned} &\dot{r}=\left(r-r^{2}\right)(r-g(\theta)), \\ &\dot{\theta}=r, \end{aligned}$$

  $$\begin{aligned} & \dot{\theta}=r, \end{aligned}$$

  where $g(\theta)$ is continuously differentiable and $2 \pi$-periodic. Find a periodic orbit $\gamma$ for $(*)$ and, using the hint or otherwise, compute the Floquet multipliers of $\gamma$ in terms of $g(\theta)$. Explain why one of the Floquet multipliers is independent of $g(\theta)$. Give a sufficient condition for $\gamma$ to be asymptotically stable.

  Investigate the stability of $\gamma$ and the dynamics of $(*)$ in the case $g(\theta)=2 \sin \theta$.

  [Hint: The determinant of the fundamental matrix $\Phi(t)$ satisfies

  $$\frac{d}{d t} \operatorname{det} \Phi=(\nabla \cdot \mathbf{f}) \operatorname{det} \Phi$$

  comment

• Paper 4, Section II, E

  Dynamical Systems | Part II, 2009

  Let $I, J$ be closed bounded intervals in $\mathbb{R}$, and let $F: \mathbb{R} \rightarrow \mathbb{R}$ be a continuous map.

  Explain what is meant by the statement that ' $I F$-covers $J$ ' (written $I \rightarrow J)$. For a collection of intervals $I_{0}, \ldots, I_{k}$ define the associated directed graph $\Gamma$ and transition matrix $A$. Derive an expression for the number of (not necessarily least) period- $n$ points of $F$ in terms of $A$.

  Let $F$ have a 5 -cycle

  $$x_{0}<x_{1}<x_{2}<x_{3}<x_{4}$$

  such that $x_{i+1}=F\left(x_{i}\right)$ for $i=0, \ldots, 4$ where indices are taken modulo 5 . Write down the directed graph $\Gamma$ and transition matrix $A$ for the $F$-covering relations between the intervals $\left[x_{i}, x_{i+1}\right]$. Compute the number of $n$-cycles which are guaranteed to exist for $F$, for each integer $1 \leqslant n \leqslant 4$, and the intervals the points move between.

  Explain carefully whether or not $F$ is guaranteed to have a horseshoe. Must $F$ be chaotic? Could $F$ be a unimodal map? Justify your answers.

  Similarly, a continuous map $G: \mathbb{R} \rightarrow \mathbb{R}$ has a 5 -cycle

  $$x_{3}<x_{1}<x_{0}<x_{2}<x_{4}$$

  For what integer values of $n, 1 \leqslant n \leqslant 4$, is $G$ guaranteed to have an $n$-cycle?

  Is $G$ guaranteed to have a horseshoe? Must $G$ be chaotic? Justify your answers.

  comment

2008

• 1.I.7A

  Dynamical Systems | Part II, 2008

  Sketch the phase plane of the system

  $$\begin{aligned} &\dot{x}=y \\ &\dot{y}=-x+x^{2}-k y \end{aligned}$$

  (i) for $k=0$ and (ii) for $k=1 / 10$. Include in your sketches any trajectories that are the separatrices of a saddle point. In case (ii) shade the domain of stability of the origin.

  comment

• 2.I.7A

  Dynamical Systems | Part II, 2008

  Explain the difference between a stationary bifurcation and an oscillatory bifurcation for a fixed point $\mathbf{x}_{0}$ of a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x} ; \mu)$ in $\mathbb{R}^{n}$ with a real parameter $\mu$.

  The normal form of a Hopf bifurcation in polar coordinates is

  $$\begin{aligned} &\dot{r}=\mu r-a r^{3}+O\left(r^{5}\right) \\ &\dot{\theta}=\omega+c \mu-b r^{2}+O\left(r^{4}\right) \end{aligned}$$

  where $a, b, c$ and $\omega$ are constants, $a \neq 0$, and $\omega>0$. Sketch the phase plane near the bifurcation for each of the cases (i) $\mu<0<a$, (ii) $0<\mu, a$, (iii) $\mu, a<0$ and (iv) $a<0<\mu$.

  Let $R$ be the radius and $T$ the period of the limit cycle when one exists. Sketch how $R$ varies with $\mu$ for the case when the limit cycle is subcritical. Find the leading-order approximation to $d T / d \mu$ for $|\mu| \ll 1$.

  comment

• 3.I.7A

  Dynamical Systems | Part II, 2008

  State the normal-form equations for (i) a saddle-node bifurcation, (ii) a transcritical bifurcation and (iii) a pitchfork bifurcation, for a one-dimensional map $x_{n+1}=F\left(x_{n} ; \mu\right)$.

  Consider a period-doubling bifurcation of the form

  $$x_{n+1}=-x_{n}+\alpha+\beta x_{n}+\gamma x_{n}^{2}+\delta x_{n}^{3}+O\left(x_{n}^{4}\right),$$

  where $x_{n}=O\left(\mu^{1 / 2}\right), \alpha, \beta=O(\mu)$, and $\gamma, \delta=O(1)$ as $\mu \rightarrow 0$. Show that

  $$X_{n+2}=X_{n}+\hat{\mu} X_{n}-A X_{n}^{3}+O\left(X_{n}^{4}\right),$$

  where $X_{n}=x_{n}-\frac{1}{2} \alpha$, and the parameters $\hat{\mu}$ and $A$ are to be identified in terms of $\alpha, \beta$, $\gamma$ and $\delta$. Deduce the condition for the bifurcation to be supercritical.

  comment

• 3.II.14A

  Dynamical Systems | Part II, 2008

  Define the Poincaré index of a simple closed curve, not necessarily a trajectory, and the Poincaré index of an isolated fixed point $\mathbf{x}_{0}$ for a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{2}$. State the Poincaré index of a periodic orbit.

  Consider the system

  $$\begin{aligned} &\dot{x}=y+a x-b x^{3} \\ &\dot{y}=x^{3}-x \end{aligned}$$

  where $a$ and $b$ are constants and $a \neq 0$.

  (a) Find and classify the fixed points, and state their Poincaré indices.

  (b) By considering a suitable function $H(x, y)$, show that any periodic orbit $\Gamma$ satisfies

  $$\oint_{\Gamma}\left(x-x^{3}\right)\left(a x-b x^{3}\right) d t=0$$

  where $x(t)$ is evaluated along the orbit.

  (c) Deduce that if $b / a<1$ then the second-order differential equation

  $$\ddot{x}-\left(a-3 b x^{2}\right) \dot{x}+x-x^{3}=0$$

  has no periodic solutions.

  comment

• 4.I.7A

  Dynamical Systems | Part II, 2008

  Let $F: I \rightarrow I$ be a continuous one-dimensional map of an interval $I \subset \mathbb{R}$. State when $F$ is chaotic according to Glendinning's definition.

  Prove that if $F$ has a 3 -cycle then $F^{2}$ has a horseshoe.

  [You may assume the Intermediate Value Theorem.]

  comment

• 4.II.14A

  Dynamical Systems | Part II, 2008

  Explain the difference between a hyperbolic and a nonhyperbolic fixed point $\mathbf{x}_{0}$ for a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{n}$.

  Consider the system in $\mathbb{R}^{2}$, where $\mu$ is a real parameter,

  $$\begin{aligned} &\dot{x}=x\left(\mu-x+y^{2}\right) \\ &\dot{y}=y\left(1-x-y^{2}\right) \end{aligned}$$

  Show that the fixed point $(\mu, 0)$ has a bifurcation when $\mu=1$, while the fixed points $(0, \pm 1)$ have a bifurcation when $\mu=-1$.

  [The fixed point at $(0,-1)$ should not be considered further.]

  Analyse each of the bifurcations at $(\mu, 0)$ and $(0,1)$ in turn as follows. Make a change of variable of the form $\mathbf{X}=\mathbf{x}-\mathbf{x}_{0}(\mu), \nu=\mu-\mu_{0}$. Identify the (non-extended) stable and centre linear subspaces at the bifurcation in terms of $X$ and $Y$. By finding the leading-order approximation to the extended centre manifold, construct the evolution equation on the extended centre manifold, and determine the type of bifurcation. Sketch the local bifurcation diagram, showing which fixed points are stable.

  [Hint: the leading-order approximation to the extended centre manifold of the bifurcation at $(0,1)$ is $Y=a X$ for some coefficient a.]

  Show that there is another fixed point in $y>0$ for $\mu<1$, and that this fixed point connects the two bifurcations.

  comment

2007

• 1.I.7E

  Dynamical Systems | Part II, 2007

  Given a non-autonomous $k$ th-order differential equation

  $$\frac{d^{k} y}{d t^{k}}=g\left(t, y, \frac{d y}{d t}, \frac{d^{2} y}{d t^{2}}, \ldots, \frac{d^{k-1} y}{d t^{k-1}}\right)$$

  with $y \in \mathbb{R}$, explain how it may be written in the autonomous first-order form $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ for suitably chosen vectors $\mathbf{x}$ and $\mathbf{f}$.

  Given an autonomous system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{n}$, define the corresponding flow $\boldsymbol{\phi}_{t}(\mathbf{x})$. What is $\phi_{s}\left(\phi_{t}(\mathbf{x})\right)$ equal to? Define the orbit $\mathcal{O}(\mathbf{x})$ through $\mathbf{x}$ and the limit set $\omega(\mathbf{x})$ of $\mathbf{x}$. Define a homoclinic orbit.

  comment

• 2.I.7E

  Dynamical Systems | Part II, 2007

  Find and classify the fixed points of the system

  $$\begin{aligned} &\dot{x}=\left(1-x^{2}\right) y \\ &\dot{y}=x\left(1-y^{2}\right) \end{aligned}$$

  What are the values of their Poincaré indices? Prove that there are no periodic orbits. Sketch the phase plane.

  comment

• 3.I.7E

  Dynamical Systems | Part II, 2007

  State the Poincaré-Bendixson Theorem for a system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{2}$.

  Prove that if $k^{2}<4$ then the system

  $$\begin{aligned} &\dot{x}=x-y-x^{3}-x y^{2}-k^{2} x y^{2} \\ &\dot{y}=y+x-x^{2} y-y^{3}-k^{2} x^{2} y \end{aligned}$$

  has a periodic orbit in the region $2 /\left(2+k^{2}\right) \leqslant x^{2}+y^{2} \leqslant 1$.

  comment

• 3.II.14E

  Dynamical Systems | Part II, 2007

  The Lorenz equations are

  $$\begin{aligned} &\dot{x}=\sigma(y-x) \\ &\dot{y}=r x-y-x z \\ &\dot{z}=x y-b z \end{aligned}$$

  where $r, \sigma$ and $b$ are positive constants and $(x, y, z) \in \mathbb{R}^{3}$.

  (i) Show that the origin is globally asymptotically stable for $0<r<1$ by considering a function $V(x, y, z)=\frac{1}{2}\left(x^{2}+A y^{2}+B z^{2}\right)$ with a suitable choice of constants $A$ and $B$

  (ii) State, without proof, the Centre Manifold Theorem.

  Show that the fixed point at the origin is nonhyperbolic at $r=1$. What are the dimensions of the linear stable and (non-extended) centre subspaces at this point?

  (iii) Let $\sigma=1$ from now on. Make the substitutions $u=x+y, v=x-y$ and $\mu=r-1$ and derive the resulting equations for $\dot{u}, \dot{v}$ and $\dot{z}$.

  The extended centre manifold is given by

  $$v=V(u, \mu), \quad z=Z(u, \mu)$$

  where $V$ and $Z$ can be expanded as power series about $u=\mu=0$. What is known about $V$ and $Z$ from the Centre Manifold Theorem? Assuming that $\mu=O\left(u^{2}\right)$, determine $Z$ correct to $O\left(u^{2}\right)$ and $V$ to $O\left(u^{3}\right)$. Hence obtain the evolution equation on the extended centre manifold correct to $O\left(u^{3}\right)$, and identify the type of bifurcation.

  comment

• 4.I.7E

  Dynamical Systems | Part II, 2007

  By considering the binary representation of the sawtooth $\operatorname{map}, F(x)=2 x[\bmod 1]$ for $x \in[0,1)$, show that:

  (i) $F$ has sensitive dependence on initial conditions on $[0,1)$.

  (ii) $F$ has topological transitivity on $[0,1)$.

  (iii) Periodic points are dense in $[0,1)$.

  Find all the 4-cycles of $F$ and express them as fractions.

  comment

• 4.II.14E

  Dynamical Systems | Part II, 2007

  Consider the one-dimensional map $F: \mathbb{R} \rightarrow \mathbb{R}$ defined by

  $$x_{i+1}=F\left(x_{i}\right)=x_{i}\left(a x_{i}^{2}+b x_{i}+\mu\right)$$

  where $a$ and $b$ are constants, $\mu$ is a parameter and $a \neq 0$.

  (i) Find the fixed points of $F$ and determine the linear stability of $x=0$. Hence show that there are bifurcations at $\mu=1$, at $\mu=-1$ and, if $b \neq 0$, at $\mu=1+b^{2} / 4 a$.

  Sketch the bifurcation diagram for each of the cases:

  $$\text { (1) } a>b=0, \quad \text { (2) } a, b>0 \text { and (3) } a, b<0$$

  In each case show the locus and stability of the fixed points in the $(\mu, x)$-plane, and state the type of each bifurcation. [Assume that there are no further bifurcations in the region sketched.]

  (ii) For the case $F(x)=x\left(\mu-x^{2}\right)$ (i.e. $\left.a=-1, b=0\right)$, you may assume that

  $$F^{2}(x)=x+x\left(\mu-1-x^{2}\right)\left(\mu+1-x^{2}\right)\left(1-\mu x^{2}+x^{4}\right)$$

  Show that there are at most three 2-cycles and determine when they exist. By considering $F^{\prime}\left(x_{i}\right) F^{\prime}\left(x_{i+1}\right)$, or otherwise, show further that one 2-cycle is always unstable when it exists and that the others are unstable when $\mu>\sqrt{5}$. Sketch the bifurcation diagram showing the locus and stability of the fixed points and 2 -cycles. State briefly what you would expect to occur in the region $\mu>\sqrt{5}$.

  comment

2006

• 1.I.7E

  Dynamical Systems | Part II, 2006

  Find the fixed points of the system

  $$\begin{aligned} &\dot{x}=x(x+2 y-3) \\ &\dot{y}=y(3-2 x-y) \end{aligned}$$

  Local linearization shows that all the fixed points with $x y=0$ are saddle points. Why can you be certain that this remains true when nonlinear terms are taken into account? Classify the fixed point with $x y \neq 0$ by its local linearization. Show that the equation has Hamiltonian form, and thus that your classification is correct even when the nonlinear effects are included.

  Sketch the phase plane.

  comment

• 1.II.14E

  Dynamical Systems | Part II, 2006

  (a) An autonomous dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{2}$ has a periodic orbit $\mathbf{x}=\mathbf{X}(t)$ with period $T$. The linearized evolution of a small perturbation $\mathbf{x}=\mathbf{X}(t)+\boldsymbol{\eta}(t)$ is given by $\eta_{i}(t)=\Phi_{i j}(t) \eta_{j}(0)$. Obtain the differential equation and initial condition satisfied by the matrix $\boldsymbol{\Phi}(t)$.

  Define the Floquet multipliers of the orbit. Explain why one of the multipliers is always unity and show that the other is given by

  $$\exp \left(\int_{0}^{T} \nabla \cdot \mathbf{f}(\mathbf{X}(t)) d t\right)$$

  (b) Use the 'energy-balance' method for nearly Hamiltonian systems to find a leadingorder approximation to the amplitude of the limit cycle of the equation

  $$\ddot{x}+\epsilon\left(\alpha x^{2}+\beta \dot{x}^{2}-\gamma\right) \dot{x}+x=0,$$

  where $0<\epsilon \ll 1$ and $(\alpha+3 \beta) \gamma>0$.

  Compute a leading-order approximation to the nontrivial Floquet multiplier of the limit cycle and hence determine its stability.

  [You may assume that $\int_{0}^{2 \pi} \sin ^{2} \theta \cos ^{2} \theta d \theta=\pi / 4$ and $\int_{0}^{2 \pi} \cos ^{4} \theta d \theta=3 \pi / 4$.]

  comment

• 2.I.7E

  Dynamical Systems | Part II, 2006

  Explain what is meant by a strict Lyapunov function on a domain $\mathcal{D}$ containing the origin for a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{n}$. Define the domain of stability of a fixed point $\mathbf{x}_{0}$.

  By considering the function $V=\frac{1}{2}\left(x^{2}+y^{2}\right)$ show that the origin is an asymptotically stable fixed point of

  $$\begin{aligned} &\dot{x}=-2 x+y+x^{3}-x y^{2} \\ &\dot{y}=-x-2 y+6 x^{2} y+4 y^{3} \end{aligned}$$

  Show also that its domain of stability includes $x^{2}+y^{2}<\frac{1}{2}$ and is contained in $x^{2}+y^{2} \leqslant 2$.

  comment

• 2.II.14E

  Dynamical Systems | Part II, 2006

  Let $F: I \rightarrow I$ be a continuous one-dimensional map of an interval $I \subset \mathbb{R}$. Explain what is meant by saying (a) that $F$ has a horseshoe, (b) that $F$ is chaotic (Glendinning's definition).

  Consider the tent map defined on the interval $[0,1]$ by

  $$F(x)= \begin{cases}\mu x & 0 \leqslant x<\frac{1}{2} \\ \mu(1-x) & \frac{1}{2} \leqslant x \leqslant 1\end{cases}$$

  with $1<\mu \leqslant 2$.

  Find the non-zero fixed point $x_{0}$ and the points $x_{-1}<\frac{1}{2}<x_{-2}$ that satisfy

  $$F^{2}\left(x_{-2}\right)=F\left(x_{-1}\right)=x_{0} .$$

  Sketch a graph of $F$ and $F^{2}$ showing the points corresponding to $x_{-2}, x_{-1}$ and $x_{0}$. Hence show that $F^{2}$ has a horseshoe if $\mu \geqslant 2^{1 / 2}$.

  Explain briefly why $F^{4}$ has a horseshoe when $2^{1 / 4} \leqslant \mu<2^{1 / 2}$ and why there are periodic points arbitrarily close to $x_{0}$ for $\mu \geqslant 2^{1 / 2}$, but no such points for $2^{1 / 4} \leqslant \mu<2^{1 / 2}$.

  comment

• 3.I.7E

  Dynamical Systems | Part II, 2006

  State the normal-form equations for (a) a saddle-node bifurcation, (b) a transcritical bifurcation, and (c) a pitchfork bifurcation, for a dynamical system $\dot{x}=f(x, \mu)$.

  Consider the system

  $$\begin{aligned} &\dot{x}=\mu+y-x^{2}+2 x y+3 y^{2} \\ &\dot{y}=-y+2 x^{2}+3 x y \end{aligned}$$

  Compute the extended centre manifold near $x=y=\mu=0$, and the evolution equation on the centre manifold, both correct to second order in $x$ and $\mu$. Deduce the type of bifurcation and show that the equation can be put in normal form, to the same order, by a change of variables of the form $T=\alpha t, X=x-\beta \mu, \tilde{\mu}=\gamma(\mu)$ for suitably chosen $\alpha, \beta$ and $\gamma(\mu)$.

  comment

• 4.I.7E

  Dynamical Systems | Part II, 2006

  Consider the logistic map $F(x)=\mu x(1-x)$ for $0 \leqslant x \leqslant 1,0 \leqslant \mu \leqslant 4$. Show that there is a period-doubling bifurcation of the nontrivial fixed point at $\mu=3$. Show further that the bifurcating 2 -cycle $\left(x_{1}, x_{2}\right)$ is given by the roots of

  $$\mu^{2} x^{2}-\mu(\mu+1) x+\mu+1=0 .$$

  Show that there is a second period-doubling bifurcation at $\mu=1+\sqrt{6}$.

  comment

2005

• 1.I.7B

  Dynamical Systems | Part II, 2005

  State Dulac's Criterion and the Poincaré-Bendixson Theorem regarding the existence of periodic solutions to the dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{2}$. Hence show that

  $$\begin{aligned} &\dot{x}=y \\ &\dot{y}=-x+y\left(\mu-2 x^{2}-y^{2}\right) \end{aligned}$$

  has no periodic solutions if $\mu<0$ and at least one periodic solution if $\mu>0$.

  comment

• 1.II.14B

  Dynamical Systems | Part II, 2005

  Consider the equations

  $$\begin{aligned} &\dot{x}=\left(a-x^{2}\right)\left(a^{2}-y\right) \\ &\dot{y}=x-y \end{aligned}$$

  as a function of the parameter $a$. Find the fixed points and plot their location in the $(a, x)$ plane. Hence, or otherwise, deduce that there are bifurcations at $a=0$ and $a=1$.

  Investigate the bifurcation at $a=1$ by making the substitutions $u=x-1, v=y-x$ and $\mu=a-1$. Find the equation of the extended centre manifold to second order. Find the evolution equation on the centre manifold to second order, and determine the stability of its fixed points.

  Show which branches of fixed points in the $(a, x)$ plane are stable and which are unstable, and state, without calculation, the type of bifurcation at $a=0$. Hence sketch the structure of the $(x, y)$ phase plane very near the origin for $|a| \ll 1$ in the cases (i) $a<0$ and (ii) $a>0$.

  The system is perturbed to $\dot{x}=\left(a-x^{2}\right)\left(a^{2}-y\right)+\epsilon$, where $0<\epsilon \ll 1$, with $\dot{y}=x-y$ still. Sketch the possible changes to the bifurcation diagram near $a=0$ and $a=1$. [Calculation is not required.]

  comment

• 2.I.7B

  Dynamical Systems | Part II, 2005

  Define Lyapunov stability and quasi-asymptotic stability of a fixed point $\mathbf{x}_{0}$ of a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$.

  By considering a Lyapunov function of the form $V=g(x)+y^{2}$, show that the origin is an asymptotically stable fixed point of

  $$\begin{aligned} &\dot{x}=-y-x^{3} \\ &\dot{y}=x^{5} \end{aligned}$$

  [Lyapunov's Second Theorem may be used without proof, provided you show that its conditions apply.]

  comment

• 2.II.14B

  Dynamical Systems | Part II, 2005

  Prove that if a continuous map $F$ of an interval into itself has a periodic orbit of period three then it also has periodic orbits of least period $n$ for all positive integers $n$.

  Explain briefly why there must be at least two periodic orbits of least period $5 .$

  [You may assume without proof:

  (i) If $U$ and $V$ are non-empty closed bounded intervals such that $V \subseteq F(U)$ then there is a closed bounded interval $K \subseteq U$ such that $F(K)=V$.

  (ii) The Intermediate Value Theorem.]

  comment

• 3.I.7B

  Dynamical Systems | Part II, 2005

  Define the stable and unstable invariant subspaces of the linearisation of a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ at a saddle point located at the origin in $\mathbb{R}^{n}$. How, according to the Stable Manifold Theorem, are the stable and unstable manifolds related to the invariant subspaces?

  Calculate the stable and unstable manifolds, correct to cubic order, for the system

  $$\begin{aligned} &\dot{x}=x+x^{2}+2 x y+3 y^{2} \\ &\dot{y}=-y+3 x^{2} \end{aligned}$$

  comment

• 4.I.7B

  Dynamical Systems | Part II, 2005

  Find and classify the fixed points of the system

  $$\begin{aligned} &\dot{x}=x(1-y) \\ &\dot{y}=-y+x^{2} . \end{aligned}$$

  Sketch the phase plane.

  What is the $\omega$-limit for the point $(2,-1)$ ? Which points have $(0,0)$ as their $\omega$-limit?

  comment

2003

• B1.17

  Dynamical Systems | Part II, 2003

  Consider the one-dimensional map $f: \mathbb{R} \rightarrow \mathbb{R}$, where $f(x)=\mu x^{2}(1-x)$ with $\mu$ a real parameter. Find the range of values of $\mu$ for which the open interval $(0,1)$ is mapped into itself and contains at least one fixed point. Describe the bifurcation at $\mu=4$ and find the parameter value for which there is a period-doubling bifurcation. Determine whether the fixed point is an attractor at this bifurcation point.

  comment

• B3.17

  Dynamical Systems | Part II, 2003

  Let $f: I \rightarrow I$ be a continuous one-dimensional map of the interval $I \subset \mathbb{R}$. Explain what is meant by saying (a) that the map $f$ is topologically transitive, and (b) that the map $f$ has a horseshoe.

  Consider the tent map defined on the interval $[0,1]$ by

  $$f(x)= \begin{cases}\mu x & 0 \leqslant x<\frac{1}{2} \\ \mu(1-x) & \frac{1}{2} \leqslant x \leqslant 1\end{cases}$$

  for $1<\mu \leqslant 2$. Show that if $\mu>\sqrt{2}$ then this map is topologically transitive, and also that $f^{2}$ has a horseshoe.

  comment

• B4.17

  Dynamical Systems | Part II, 2003

  Let $f: S^{1} \rightarrow S^{1}$ be an orientation-preserving invertible map of the circle onto itself, with a lift $F: \mathbb{R} \rightarrow \mathbb{R}$. Define the rotation numbers $\rho_{0}(F)$ and $\rho(f)$.

  Suppose that $\rho_{0}(F)=p / q$, where $p$ and $q$ are coprime integers. Prove that the map $f$ has periodic points of least period $q$, and no periodic points with any least period not equal to $q$.

  Now suppose that $\rho_{0}(F)$ is irrational. Explain the distinction between wandering and non-wandering points under $f$. Let $\Omega(x)$ be the set of limit points of the sequence $\left\{x, f(x), f^{2}(x), \ldots\right\}$. Prove

  (a) that the set $\Omega(x)=\Omega$ is independent of $x$ and is the smallest closed, non-empty, $f$-invariant subset of $S^{1}$;

  (b) that $\Omega$ is the set of non-wandering points of $S^{1}$;

  (c) that $\Omega$ is either the whole of $S^{1}$ or a Cantor set in $S^{1}$.

  comment

2002

• B1.17

  Dynamical Systems | Part II, 2002

  Let $f_{c}$ be the map of the closed interval $[0,1]$ to itself given by

  $$f_{c}(x)=c x(1-x), \text { where } 0 \leqslant c \leqslant 4 .$$

  Sketch the graphs of $f_{c}$ and (without proof) of $f_{c}^{2}$, find their fixed points, and determine which of the fixed points of $f_{c}$ are attractors. Does your argument work for $c=3 ?$

  comment

• B3.17

  Dynamical Systems | Part II, 2002

  Let $\mathcal{A}$ be a finite alphabet of letters and $\Sigma$ either the semi-infinite space or the doubly infinite space of sequences whose elements are drawn from $\mathcal{A}$. Define the natural topology on $\Sigma$. If $W$ is a set of words, denote by $\Sigma_{W}$ the subspace of $\Sigma$ consisting of those sequences none of whose subsequences is in $W$. Prove that $\Sigma_{W}$ is a closed subspace of $\Sigma$; and state and prove a necessary and sufficient condition for a closed subspace of $\Sigma$ to have the form $\Sigma_{W}$ for some $W$.

  $$\begin{aligned} &\text { If } \mathcal{A}=\{0,1\} \text { and } \quad W=\{000,111,010,101\} \end{aligned}$$

  what is the space $\Sigma_{W}$ ?

  comment

• B4.17

  Dynamical Systems | Part II, 2002

  Let $\mathcal{S}$ be a metric space, $F$ a map of $\mathcal{S}$ to itself and $P$ a point of $\mathcal{S}$. Define an attractor for $F$ and an omega point of the orbit of $P$ under $F$.

  Let $f$ be the map of $\mathbb{R}$ to itself given by

  $$f(x)=x+\frac{1}{2}+c \sin ^{2} 2 \pi x$$

  where $c>0$ is so small that $f^{\prime}(x)>0$ for all $x$, and let $F$ be the map of $\mathbb{R} / \mathbb{Z}$ to itself induced by $f$. What points if any are

  (a) attractors for $F^{2}$,

  (b) omega points of the orbit of some point $P$ under $F$ ?

  Is the cycle $\left\{0, \frac{1}{2}\right\}$ an attractor?

  In the notation of the first two sentences, let $\mathcal{C}$ be a cycle of order $M$ and assume that $F$ is continuous. Prove that $\mathcal{C}$ is an attractor for $F$ if and only if each point of $\mathcal{C}$ is an attractor for $F^{M}$.

  comment

2001

• B1.17

  Dynamical Systems | Part II, 2001

  Define topological conjugacy and $C^{1}$-conjugacy.

  Let $a, b$ be real numbers with $a>b>0$ and let $F_{a}, F_{b}$ be the maps of $(0, \infty)$ to itself given by $F_{a}(x)=a x, F_{b}(x)=b x$. For which pairs $a, b$ are $F_{a}$ and $F_{b}$ topologically conjugate? Would the answer be the same for $C^{1}$-conjugacy? Justify your statements.

  comment

• B3.17

  Dynamical Systems | Part II, 2001

  If $A=\left(\begin{array}{ll}0 & 1 \\ 1 & 1\end{array}\right)$ show that $A^{n+2}=A^{n+1}+A^{n}$ for all $n \geqslant 0$. Show that $A^{5}$ has trace 11 and deduce that the subshift map defined by $A$ has just two cycles of exact period 5. What are they?

  comment

• B4.17

  Dynamical Systems | Part II, 2001

  Define the rotation number $\rho(f)$ of an orientation-preserving circle map $f$ and the rotation number $\rho(F)$ of a lift $F$ of $f$. Prove that $\rho(f)$ and $\rho(F)$ are well-defined. Prove also that $\rho(F)$ is a continuous function of $F$.

  State without proof the main consequence of $\rho(f)$ being rational.

  comment