20 2. SYMPLECTIC GEOMETRY AND ANALYSIS Section 2.5 will generalize this example and provide more geometric insight. 2.4. HAMILTONIAN VECTOR FIELDS We will later be very concerned with dynamics compatible with the symplec- tic structure introduced earlier. These dynamics are generated by Hamil- tonian vector fields: DEFINITION. Given f C∞(R2n), we define the corresponding Hamil- tonian vector field, Hf, by requiring (2.4.1) σ(z, Hf) = df(z) for all z = (x, ξ). So (2.4.2) Hf = ∂ξf, ∂x− ∂xf, ∂ξ = n j=1 (fξ j ∂x j fx j ∂ξ j ). Another way of writing Hf uses the contraction defined in Appendix B: LEMMA 2.8 (Differentials and Hamiltonian vector fields). We have (2.4.3) df = −(Hf σ). Proof. This follows directly from the definition, as we can calculate for each z that (Hf σ)(z) = σ(Hf,z) = −σ(z, Hf) = −df(z). DEFINITION. If f, g C∞(R2n), we define their Poisson bracket (2.4.4) {f, g} := Hfg = σ(∂f, ∂g). That is, (2.4.5) {f, g} = ∂ξf, ∂xg− ∂xf, ∂ξg = n j=1 (fξ j gx j fx j j ). LEMMA 2.9 (Brackets, commutators). (i) We have Jacobi’s identity (2.4.6) {f, {g, h}} + {g, {h, f}} + {h, {f, g}} = 0 for all functions f, g, h C∞(R2n). (ii) Furthermore, (2.4.7) H{f,g} = [Hf,Hg].
Previous Page Next Page