example 25.24 A charged particle in a strong magnetic field

Rests on

• depends_on equation 25.25 eq:pq-fj-bracket ¶
• depends_on theorem 25.22 Faddeev–Jackiw equations and brackets ¶
  • depends_on definition 25.21 First-order action in general coordinates ¶
    • depends_on definition 13.103 Exterior derivative ¶
      • depends_on definition 13.98 $k$-form ¶
        • depends_on definition 13.83 Covector ¶
        • depends_on definition 13.84 Tensor ¶
      • depends_on definition 13.102 Wedge product ¶
        • depends_on definition 13.98 $k$-form ¶ ↺
        • depends_on equation 13.239 eq:mfd-dual-basis ¶
    • depends_on equation 25.20 eq:pq-phase-space-action ¶
  • depends_on lemma 16.18 Fundamental lemma ¶
    • depends_on definition 16.15 Variation; the first variation ¶
      • depends_on definition 16.11 Admissible class; functional ¶
        • depends_on definition 7.98 Functions of class $C^{1}$ ¶
        • depends_on theorem 7.40 Continuous functions are integrable ¶
      • depends_on equation 7.177 eq:ana-functional-derivative ¶
    • depends_on theorem 7.40 Continuous functions are integrable ¶ ↺
    • proves proof ch:14-calculus-of-variations@proof-8 ¶
  • depends_on theorem 25.3 The bracket is a Lie bracket ¶
    • depends_on equation 22.41 eq:ham-poisson-bracket ¶
    • depends_on equation 22.56 eq:ham-symplectic-matrix ¶
    • proves proof ch:08-poisson-quantum-bridge@proof-1 ¶
  • proves proof ch:08-poisson-quantum-bridge@proof-9 ¶

Supports

Nothing declares a dependency on this node yet.