CDS 140a Winter 2014 Homework 6
R. Murray | Issued: 11 Feb 2014 (Tue) |
ACM 101b/AM 125b/CDS 140a, Winter 2014 | Due: 19 Feb 2014 (Wed) @ noon |
Note: In the upper left hand corner of the second page of your homework set, please put the number of hours that you spent on this homework set (including reading).
- Perko, Section 3.1, problem 6, 7:
Two vector fields $f, g \in C^k({\mathbb R}^n)$ are said to be $C^k$ equivalent on ${\mathbb R}^n$ if there is a homeomorphism $H:{\mathbb R}^n \to {\mathbb R}^n$ with $H, H^{-1} \in C^k({\mathbb R}^n)$ that maps trajectories of $\dot x = f(x)$ to trajectories of $\dot y = g(y)$. If $\phi(t)$ and $\psi(t)$ are the dynamics systems defined by $f$ and $g$ respectively, then $f$ and $g$ are equivalent if and only if there exists a strictly increasing function $\tau(x, t)$ such that $\partial \tau/\partial t > 0$ and
<amsmath> H \bigl(\phi_t (x) \bigr) = \psi_{\tau(x, t)} \bigl(H (x) \bigr).
</amsmath>Show the following:
(a) The equilibrium points of $\dot x = f(x)$ are mapped to equilibrium points of $\dot y = g(y)$.
(b) The eigenvalues of $Df(x_0)$ and the eigenvalues of $Dg(H(x_0))$ differ by the positive multiplicative constant $k_0 = \frac{\partial \tau}{\partial t}(x_0, 0)$.
- Hint: see the problem statements in Perko for some ideas if you get stuck
- This problem can be used to show that the stability of equilibrium points is the same for topologically equivalent systems, since the sign of the real part of the eigenvalues will not be changed.
- Perko, Section 3.2, problem 1:
Sketch the phase portrait for the system
<amsmath> \begin{aligned} \dot x &= x - x^3 \\ \dot y &= - y \end{aligned}
</amsmath>and answer the following questions:
(a) Show that the interval $[-1, 1]$ on the $x$-axis is an attracting set for the system. Determine whether this set is an attractor or not and justify your answer.
(b) Are either of the intervals $(0, 1]$ or $[1, \infty)$ attractors?
(c) Are any of the infinite intervals $(0, \infty)$, $[0, \infty)$. $(-1, \infty)$, $[-1, \infty)$ or $(-\infty, \infty)$ on the x-axis attracting sets for this system?
- Perko, Section 3.2, problem 5:
(a) According to the corollary of Theorem 2 (in Section 3.2), every $\omega$-limit set is an invariant set of the flow $\phi_t$ of $\dot x = f(x)$. Give an example to show that not every set invariant with respect to the flow $\phi_t$ is the $\alpha$- or $\omega$-limit set of a trajectory of $\dot x = f(x)$.
(b) Any stable limit cycle $\Gamma$ is an attracting set and $\Gamma$ is the $\omega$-limit set of every trajectory in a neighborhood of $\Gamma$. Give an example to show that not every attracting set $A$ is the $\omega$-limit set of a trajectory in a neighborhood of $A$.
(c) Is the cylinder in Example 3 of Section 3.2 an attractor for the system in that example?
- Perko, Section 3.2, problem 6: Consider the Lorenz system
<amsmath> \begin{aligned} \dot x &= \sigma (y -x) \\ \dot y &= \rho x - y - x z \\ \dot z &= x y - \beta z \end{aligned}
</amsmath>with $\sigma, \rho, \beta > 0$.
(a) Show that the system is invariant under the transformation $(x, y, z, t) \to (-x, -y, z, t)$.
(b) Show that the $z$-axis is invariant under the flow of the system and that it consists of three trajectories (orbits).
(c) Compute the equilibrium points for the system for the case $\rho > 1$ and show that the equilibrium point at the origin has a one-dimensional unstable manifold $W^u(0)$.
(d) For $\rho \in (0, 1)$, use the Lyapunov function $V(x, y, z) = \rho x^2 + \sigma y^2 + \sigma z^2$ to show that the origin is global asymptotically stable.
- Perko, Section 3.3, problem 8:
Consider the system
<amsmath> \aligned \dot x &= -y + x(1-x^2 - y^2)(4 - x^2 - y^2) \\ \dot y &= x + y(1-x^2 - y^2)(4 - x^2 - y^2) \\ \dot z &= z. \endaligned
</amsmath>(a) Show that there are two periodic orbits $\Gamma_1$ and $\Gamma_2$ in the $x, y$ plane and determine their stability.
(b) Show that there are two invariant cylinders for this system given by $x^2 + y^2 = 1$ and $x^2 + y^2 = 4$.
(c) Describe $W^s(\Gamma_j)$ and $W^u(\Gamma_j)$, $j = 1,2$, for the full system (in ${\mathbb R}^3$).