|
|
|
|
rectification theorem
|
(Theorem)
|
|
|
Let $U$ be an open subset of $\mathbb{R}^n$ and let $f\in C^1(U)$ be a continuous differentiable vector field $$f\colon U \to \mathbb{R}^n.$$ If there exists $x_0\in U$ such that $f(x_0)\neq 0$ then there exists $U_0\subset U$ an open neighborhood of $x_0$ such that there exists a diffeomorphism of class $C^1$ $$F\colon U_0 \to V$$ where $V$ is an open subset of $\mathbb{R}^n$ such that $$[DF(x)]f(x)=e_1$$ for all $x\in U_0$ where $[DF(x)]$ is the Jacobian of the diffeomorphism $F$ evaluated at $x$ and $e_1=(1,0,\ldots,0)$ is the first
vector of the canonical basis of $\mathbb{R}^n$ . More generally if the vector field $f$ is of class $C^r$ then so is the diffeomorphism $F$ . [AVI]
- AVI
- Arnold, V.I.: Ordinary Differential Equations (translated by R.A. Silverman). The MIT Press, Cambridge, 1973.
|
"rectification theorem" is owned by Daume.
|
|
(view preamble | get metadata)
Cross-references: canonical basis, vector, Jacobian, class, diffeomorphism, neighborhood, open, vector field, differentiable, continuous, open subset
This is version 9 of rectification theorem, born on 2005-01-18, modified 2005-02-12.
Object id is 6649, canonical name is FlowBoxTheorem.
Accessed 1905 times total.
Classification:
| AMS MSC: | 34-00 (Ordinary differential equations :: General reference works ) | | | 34A12 (Ordinary differential equations :: General theory :: Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|