remark 22.36 The whole dynamics in one operation
open in the book ·
parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:1207
· p. 819
- remark -- no derivation owed by its kind
Rests on
-
depends_on
remark 22.5
Units
¶
- depends_on equation 22.1 eq:ham-hamiltonian ¶
- depends_on equation 21.43 eq:lag-generalized-momentum ¶
-
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 ¶
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 |
→ | Units | declared | parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:1223 |
depends_on |
→ | Evolution of a phase-space function | declared | parts/03-classical-mechanics/05-hamiltonian-mechanics.tex:1223 |