Exam
6410-2024-01
Spring 2024 · 7 questions in this exam.
Questions in This Exam
Ordered by the question sequence in the original exam.
-
Question 1
Let \(f(t,x):[0,\infty )\times \mathbb {R}^d\to \mathbb {R}^d\) be a continuous function and \(x_0\in \mathbb {R}^d\). Suppose that there are constants \(L,M<\infty \) such that
\[ |f(t,y)-f(t,z)|\le L|y-z|\quad \text {and}\quad |f(t,0)|\le M \]for all \(t\), \(y\), \(z\).
Show that the initial value problem
\[ \dot {x}=f(t,x) \]\[ x(0)=x_0 \]has a unique solution \(x(t)\in C^1([0,\infty ),\mathbb {R}^d)\). [Don’t just quote a result. State the theorem and give as complete and detailed a proof as you can.]
-
Question 2
-
Let \(A\) be a \(d\times d\) real matrix. State and prove a theorem that gives necessary and sufficient conditions on \(A\) so that every solution \(x(t)\) is bounded for \(t\in [0,\infty )\).
\[ \dot {x}=Ax. \tag {1} \] -
Let \(A(t)\) be a \(C^1\), \(T>0\) periodic, \(d\times d\) real continuous matrix function. State but don’t prove a theorem that gives necessary and sufficient conditions on \(A(t)\) so that every solution \(x(t)\) is bounded for \(t\in [0,\infty )\).
\[ \dot {x}=A(t)x. \]
-
-
Question 3
Let \(B(t)\) be a \(C^1\) real \(d\times d\) matrix function defined for \(t\in [0,\infty )\) such that
\[ \lim _{t\to \infty }B(t)=0. \]Let \(A\) be a real \(d\times d\) matrix such that \(\operatorname {Re}\lambda <0\) for all eigenvalues of \(A\). Show that there is \(\delta >0\) such that if \(|x_0|\le \delta \), then the initial value problem
\[ \dot {x}=Ax+B(t)x \](2)
\[ x(0)=x_0 \]has a solution such that \(x(t)\to 0\) as \(t\to \infty \). [Provide the complete proof. Do not just quote a theorem.]
[Hint: Use the variation of parameters formula and Gronwall’s Inequality, which says that for \(f(t)\), \(\phi (t)\) nonnegative continuous functions on the interval \([0,T]\) and for \(c_0\ge 0\), if \[ f(t)\le c_0+\int _0^t \phi (s)f(s)\,ds \] for all \(t\in [0,T]\), then \[ f(t)\le c_0\exp \left (\int _0^t \phi (s)\,ds\right ) \] for all \(t\in [0,T]\). You might first show that there is a constant \(k\) such that if \(\epsilon \) is small enough and \(|x_0|<\epsilon \) then the solution remains bounded \(|x(t)|\le k|x_0|\) for all \(t\in [0,T]\).]
-
Question 4
Prove that there exists a nonconstant periodic orbit.
\[ \dot {x}=y \]\[ \dot {y}=-x+y(1-x^2-2y^2). \] -
Question 5
Determine whether the given equilibrium point for the given system is Liapunov stable, is attractive, is asymptotically stable, or is not stable. Give a brief explanation.
- \((x,y,z)=(0,0,0)\) for \[ \begin {cases} \dot {x}=y-x,\\ \dot {y}=-y-xz,\\ \dot {z}=xy-z. \end {cases} \]
- \((x,y)=(0,0)\) for \[ \begin {cases} \dot {x}=-\dfrac {\partial V}{\partial x}(x,y),\\ \dot {y}=-\dfrac {\partial V}{\partial y}(x,y), \end {cases} \] where \(V(x,y)=x^4-x^2+y^2\).
- The zero solution \(x(t)=0\) for \(\ddot {x}+\dot {x}+g(x)=0\) where \(g\in C^1(\mathbb {R})\) and \(xg(x)>0\) for all \(x\ne 0\).
-
Question 6
Find the approximate center manifold at the origin. Use it to determine the stability type of the origin in the system
\[ \dot {x}=xy \]\[ \dot {y}=-y+x^2 \] -
Question 7
Let \(A\) be a real \(d\times d\) matrix such that \(\operatorname {Re}\lambda <0\) for all eigenvalues of \(A\). Consider the system
\[ \dot {x}=Ax+h(t) \tag {3} \]where \(h(t)\in \mathbb {R}^d\) is a \(T\)-periodic continuous function.
- Define the Poincare Map in this context and give an explicit formula for the Poincare Map in terms of \(A\) and \(h\)
- Show that there is a unique \(T\)-periodic solution of (3). [Hint: there is again an explicit equation in terms of \(A\) and \(h\).]
- What stability property does the periodic orbit have? Provide a justification of your answer with explicit calculation/proof.
- How could the requirements stipulated on the eigenvalues of \(A\) be generalized to still maintain the existence and uniqueness results for the periodic orbit from (b)?