The flow for a dynamical system is the function Φ(t,x) (more frequently written as Φt(x)) defined as the value at time t of the solution with initial data x at t=0. In fact, it is common to turn this inside out and define the flow to be the dynamical system.
The straightening theorem says that every nonequlibrium point has a neighbourhood on which you can choose new coordinates (u,v) so that the dynamical system becomes the trivial (or “straight”) u̇=1, v̇=0. (that should be u-dot and v-dot: Not all web browser display the dot.)
What remains is 10.5 (asymptotic stability from a weak Liapunov function). On second thought I'll skip 10.11.
Harald Hanche-Olsen Last update: 2009–05–27 12:24