theorem 22.10 Conservation of the Hamiltonian
open in the book ·
parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:285
· p. 808
Rests on
-
depends_on
proposition 22.9
Time derivative of the Hamiltonian
¶
- depends_on equation 22.4 eq:ham-pdot ¶
- depends_on equation 22.3 eq:ham-qdot ¶
- proves proof ch:05-hamiltonian-mechanics@proof-3 ¶
- proves proof ch:05-hamiltonian-mechanics@proof-4 ¶
Supports
-
depends_on
proposition 23.9
Separation of the time
¶
-
depends_on
proposition 23.10
The characteristic function is the abbreviated action
¶
- depends_on remark 23.11 Whose principle, and where it fails ¶
- depends_on remark 23.12 Two functions, two roles ¶
-
depends_on
proposition 23.10
The characteristic function is the abbreviated action
¶
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 |
→ | Time derivative of the Hamiltonian | declared | parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:289 |
depends_on |
← | Separation of the time | declared | parts/03-classical-mechanics/06-hamilton-jacobi.tex:315 |
proves |
← | ch:05-hamiltonian-mechanics@proof-4 | declared | parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:292 |