definition 26.16 Extended Hamiltonian
open in the book ·
parts/03-classical-mechanics/09-constrained-hamiltonian-dynamics.tex:468
· p. 904
- ground object -- no derivation owed
Rests on
-
depends_on
definition 26.8
Total Hamiltonian
¶
-
depends_on
definition 22.29
Poisson bracket
¶
-
depends_on
definition 7.97
Partial derivative; gradient
¶
-
depends_on
definition 7.26
Derivative of a function at a point
¶
- depends_on definition 7.16 Limit ¶
- depends_on definition 7.9 Real function ¶
-
depends_on
definition 5.15
Basis
¶
- depends_on definition 5.12 Subspace generated by a set of vectors ¶
- depends_on definition 5.14 Linear independence ¶
-
depends_on
definition 7.26
Derivative of a function at a point
¶
-
depends_on
definition 22.14
Phase-space coordinate transformation
¶
-
depends_on
definition 22.2
Hamiltonian
¶
- depends_on definition 21.34 Generalized momentum ¶
- depends_on definition 21.31 Lagrangian ¶
-
depends_on
definition 22.2
Hamiltonian
¶
-
depends_on
definition 7.97
Partial derivative; gradient
¶
-
depends_on
proposition 26.6
The canonical Hamiltonian is defined on the constraint
surface
¶
- depends_on equation 26.4 eq:cd-canonical-hamiltonian ¶
-
depends_on
proposition 26.5
Primary constraints
¶
-
depends_on
definition 26.3
Singular Lagrangian
¶
- depends_on equation 22.2 eq:ham-hessian ¶
- depends_on proposition 22.3 Invertibility of the Legendre map ¶
- depends_on remark 26.4 The constant-rank theorem is owed by Part II ¶
- proves proof ch:09-constrained-hamiltonian-dynamics@proof-1 ¶
-
depends_on
definition 26.3
Singular Lagrangian
¶
- proves proof ch:09-constrained-hamiltonian-dynamics@proof-2 ¶
-
depends_on
definition 22.29
Poisson bracket
¶
-
depends_on
theorem 26.14
First-class constraints generate gauge transformations
¶
- depends_on definition 26.8 Total Hamiltonian ¶ ↺
-
depends_on
proposition 26.10
The four outcomes
¶
-
depends_on
definition 26.9
Consistency conditions
¶
- depends_on equation 26.7 eq:cd-evolution ¶
- depends_on equation 26.2 eq:cd-primary ¶
- depends_on remark 26.7 The regularity assumption, stated once ¶
- proves proof ch:09-constrained-hamiltonian-dynamics@proof-3 ¶
-
depends_on
definition 26.9
Consistency conditions
¶
- proves proof ch:09-constrained-hamiltonian-dynamics@proof-5 ¶
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 |
→ | Total Hamiltonian | declared | parts/03-classical-mechanics/09-constrained-hamiltonian-dynamics.tex:476 |
depends_on |
→ | First-class constraints generate gauge transformations | declared | parts/03-classical-mechanics/09-constrained-hamiltonian-dynamics.tex:476 |