Dynamical systems and ergodic theory Definition
Action-angle coordinates
Builds on Symplectic manifoldHamiltonian systemDiffeomorphismTorus
Definition
Let be a symplectic manifold of dimension , let be smooth, and let be open. Let be the -torus. Action-angle coordinates for on are given by a diffeomorphism , with open, written , such that:
- on ;
- on for a smooth function .
The are the actions and the are the angles.
Remarks
Here the convention is on , so that the actions play the role of momenta and the angles the role of positions. In these coordinates the Hamiltonian system reads and , so .
Example: the harmonic oscillator on . Put and with . A short computation gives , and , so both clauses hold with .
Non-example: polar coordinates , with give , but , so clause 1 fails.
For an integrable system, the actions can be computed as over basic cycles of an invariant torus, when .
Reading path
To understand this page from the ground up, read these 72 pages in order. The foundations come first.
- Element definition
- Euclidean space object
- Function concept
- Hamiltonian system concept
- Proposition concept
- Real numbers object
- Symplectic manifold concept
- Set definition
- Total derivative concept
- Function of several variables concept
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Differentiable function of several variables concept
- Set-builder notation concept
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Diffeomorphism concept
- Union of a family of sets definition
- Uniqueness quantifier definition
- Binary relation definition
- Universal set definition
- Topological space definition
- Reflexive relation definition
- Symmetric relation definition
- Transitive relation definition
- Complement definition
- Function definition
- Subspace topology definition
- Basis of a topology definition
- Equivalence relation definition
- Preimage of a set definition
- Product topology definition
- Metric space definition
- Codomain definition
- Function composition definition
- Injective function definition
- Equivalence class definition
- Open ball definition
- Surjective function definition
- Metric topology definition
- Quotient set definition
- Bijective function definition
- Open set definition
- Quotient topology definition
- Inverse function definition
- Continuous map of topological spaces definition
- Hausdorff space definition
- Open cover definition
- Closed set definition
- Homeomorphism definition
- Complement of an open set is closed statement
- Compact space definition
- Universal property of the quotient topology statement
- Continuity via closed sets statement
- Compact set definition
- Compactness via open covers statement
- Continuous image of a compact set is compact statement
- Compact subsets of a Hausdorff space are closed statement
- Closed subsets of compact sets are compact statement
- Continuous bijection from a compact space to a Hausdorff space is a homeomorphism statement
- Circle as a quotient of the real line example
- Torus example
- Action-angle coordinates definition
Further reading
About this page
| Tag | GC9R87YZ6A |
|---|---|
| URI | m2://GC9R87YZ6A |
| Kind | definition |
| Writing | W0 stub |
| MSC | 37J35, 70H06 |
| Defines | Action-angle coordinates |
| Uses | Symplectic manifold, Hamiltonian system, Diffeomorphism, Torus |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.