proposition 22.9 Time derivative of the Hamiltonian
open in the book ·
parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:261
· p. 808
Rests on
- depends_on equation 22.4 eq:ham-pdot ¶
- depends_on equation 22.3 eq:ham-qdot ¶
- proves proof ch:05-hamiltonian-mechanics@proof-3 ¶
Supports
-
depends_on
theorem 22.10
Conservation of the Hamiltonian
¶
-
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
¶
-
depends_on
proposition 23.9
Separation of the time
¶
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 |
→ | eq:ham-pdot | declared | parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:266 |
depends_on |
→ | eq:ham-qdot | declared | parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:266 |
depends_on |
← | Conservation of the Hamiltonian | declared | parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:289 |
proves |
← | ch:05-hamiltonian-mechanics@proof-3 | declared | parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:269 |