proposition 22.37 Constants of motion
open in the book ·
parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:1237
· p. 819
Rests on
-
depends_on
corollary 22.35
cor:ham-evolution-static
¶
-
depends_on
theorem 22.34
Evolution of a phase-space function
¶
- depends_on equation 22.4 eq:ham-pdot ¶
- depends_on equation 22.41 eq:ham-poisson-bracket ¶
- depends_on equation 22.3 eq:ham-qdot ¶
- proves proof ch:05-hamiltonian-mechanics@proof-14 ¶
- proves proof ch:05-hamiltonian-mechanics@proof-15 ¶
-
depends_on
theorem 22.34
Evolution of a phase-space function
¶
- proves proof ch:05-hamiltonian-mechanics@proof-16 ¶
Supports
Nothing declares a dependency on this node yet.
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
→ | cor:ham-evolution-static | declared | parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:1241 |
proves |
← | ch:05-hamiltonian-mechanics@proof-16 | declared | parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:1244 |