equation 22.46 eq:ham-jacobi

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on definition 24.36 Poisson manifold ¶
  • depends_on definition 25.2 Poisson algebra ¶
  • depends_on definition 24.37 Casimir function ¶
    • depends_on proposition 24.41 The free rigid body is a Lie–Poisson system ¶
      • depends_on remark 24.48 Reduction is what physicists do without saying so ¶
        • depends_on example A.573 The abelian case, and eliminating a cyclic coordinate ¶
      • depends_on remark 24.42 The intermediate axis ¶
    • depends_on remark 29.27 Euler's equations as a Lie–Poisson system ¶
    • depends_on theorem 24.38 Symplectic foliation, quoted ¶
  • depends_on definition 24.40 Lie–Poisson bracket ¶
    • depends_on proposition 24.41 The free rigid body is a Lie–Poisson system ¶ ↺
    • depends_on remark 29.27 Euler's equations as a Lie–Poisson system ¶ ↺
  • depends_on theorem 24.38 Symplectic foliation, quoted ¶ ↺
• depends_on lemma A.616 The four identities ¶
  • depends_on theorem A.617 Jacobi identity for the Dirac bracket ¶
• depends_on proposition A.654 The Yang–Mills case ¶
• depends_on proposition 26.13 The first-class functions close ¶
  • depends_on proposition 26.43 The hypersurface-deformation algebra ¶
  • depends_on proposition 26.37 Constraint structure of Yang–Mills theory ¶
• depends_on proposition 24.15 Poisson bracket from the symplectic form ¶
  • depends_on definition 24.37 Casimir function ¶ ↺
  • depends_on theorem 24.45 Noether, symplectic form ¶
    • depends_on proposition A.571 Invariant Hamiltonians descend with their flows ¶
• depends_on theorem A.617 Jacobi identity for the Dirac bracket ¶ ↺
• depends_on theorem 22.38 Poisson's theorem ¶
  • depends_on proposition 25.12 The algebra of generators closes ¶
  • depends_on remark 22.39 Poisson's theorem does not manufacture new constants ¶