Difference between revisions of "CDS 140a Winter 2014 Homework 6"

From Murray Wiki
Jump to navigationJump to search
 
Line 11: Line 11:
'''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
'''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).
this homework set (including reading).
<!-- 2014 TA comments: People had questions on all of the problems.  Most of them had questions about the attractors, attracting sets, omega limits, and alpha limits. --> 


<ol>
<ol>
Line 25: Line 27:


<!-- Added for 2014 -->
<!-- Added for 2014 -->
<!-- 2014 TA comments People had questions about the first problem, the problem with H(x) and they had to take hte chain rule.  For part b of that problem, it seemed the correct way to relate the eigenvalues was by relating the product of the eigenvalues of the linear system of of v-field with the product of the eigenvalues of the linear sytem of the other v-field, by the factor k_0, if anybody comes up with anything other than that that would be interesting. -->
<li> '''Perko, Section 3.1, problem 6, 7''':
<li> '''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
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
Line 54: Line 57:
</li>
</li>


<!-- For problem 3, some people were confused about what the wording of the problem stated with "a trajectory".  It seemed likely that one might expect the wording to say "for all trajectories", or "there exists a trajectory such that...", I think ambiguity may have confused some. -->
<li> '''Perko, Section 3.2, problem 5''':<br>
<li> '''Perko, Section 3.2, problem 5''':<br>



Latest revision as of 22:58, 31 January 2015

R. Murray Issued: 11 Feb 2014 (Tue)
ACM 101b/AM 125b/CDS 140a, Winter 2014

(PDF)

Due: 19 Feb 2014 (Wed) @ noon

__MATHJAX__

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).


  1. 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.
  2. 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?

  3. 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?

  4. 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.

  5. 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$).