Consider \(\dot {x}=\mathbf {f}(x)\) where \(x\in \mathbb {R}^n\) and \(\mathbf {f}\in C^1(\mathbb {R}^n,\mathbb {R}^n)\). Suppose that the solution through any point \(x_0\in \mathbb {R}^n\) exists for all \(t\in \mathbb {R}\).
- Define the \(\alpha \)- and \(\omega \)-limit sets of a point \(x_0\in \mathbb {R}^n\).
- Consider the nonlinear spring equation \[ x''+\mu x'+g(x)=0 \] where \(g(x)\) is an odd function of \(x\), \(g'(x)>0\) and \(\mu \ge 0\). Translate this equation to the \(\dot {x}=\mathbf {f}(x)\) form and linearize about the trivial equilibrium. What conclusions can be made about the stability of this equilibrium?
- Define what is meant by a Lyapunov function for the above equation; derive one and verify that it is a Lyapunov function. Describe the \(\alpha \)- and \(\omega \)-limit sets of a point \(x_0\in \mathbb {R}^n\) for the case \(\mu =0\) and for the case \(\mu >0\). Make a conclusion about the stability of the trivial equilibrium for each of these two cases.