Hamiltonian vector field

Hamiltonian vector field

In mathematics and physics, a Hamiltonian vector field on a symplectic manifold is a vector field, defined for any energy function or Hamiltonian. Named after the physicist and mathematician Sir William Rowan Hamilton, a Hamiltonian vector field is a geometric manifestation of Hamilton's equations in classical mechanics. The integral curves of a Hamiltonian vector field represent solutions to the equations of motion in the Hamiltonian form. The diffeomorphisms of a symplectic manifold arising from the flow of a Hamiltonian vector field are known as canonical transformations in physics and (Hamiltonian) symplectomorphisms in mathematics.

Hamiltonian vector fields can be defined more generally on an arbitrary Poisson manifold. The Lie bracket of two Hamiltonian vector fields corresponding to functions "f" and "g" on the manifold is itself a Hamiltonian vector field, with the Hamiltonian given by the
Poisson bracket of "f" and "g".

Definition

Suppose that ("M","ω") is a symplectic manifold. Since the symplectic form "ω" is nondegenerate, it sets up a linear isomorphism

: omega:TM o T^*M,

between the tangent bundle TM and the cotangent bundle T^*M, with the inverse

: Omega:T^*M o TM, quad Omega=omega^{-1}.

Therefore, one-forms on a symplectic manifold "M" may be identified with vector fields and every differentiable function H:M omathbb{R} determines a unique vector field "X""H", called the Hamiltonian vector field with the Hamiltonian "H", by requiring that for every vector field "Y" on "M", the identity

:mathrm{d}H(Y) = omega(X_H,Y),

must hold.

Note: Some authors define the Hamiltonian vector field with the opposite sign. One has to be mindful of varying conventions in physical and mathematical literature.

Examples

Suppose that "M" is a 2"n"-dimensional symplectic manifold. Then locally, one may choose canonical coordinates (q^1,ldots ,q^n,p_1,ldots,p_n) on "M", in which the symplectic form is expressed as

:omega=sum_i mathrm{d}q^i wedge mathrm{d}p_i.

Then the Hamiltonian vector field with Hamiltonian "H" takes the form

:X_H = left( frac{partial H}{partial p_i}, - frac{partial H}{partial q^i} ight) = Omega,mathrm{d}H,

where "Ω" is a 2"n" by 2"n" square matrix

:Omega =egin{bmatrix}0 & I_n \-I_n & 0 \end{bmatrix}.

Suppose that "M" = R2n is the 2"n"-dimensional symplectic vector space with (global) canonical coordinates.

* If H=p_i then X_H=partial/partial q^i;
* if H=q^i then X_H=-partial/partial p^i;
* if H=1/2sum (p_i)^2 then X_H=sum p_ipartial/partial q^i;
* if H=1/2sum a_{ij} q^i q^j, a_{ij}=a_{ji} then X_H=-sum a_{ij} p_ipartial/partial q^j.

Properties

* The assignment fmapsto X_f is linear, so that the sum of two Hamiltonian functions transforms into the sum of the corresponding Hamiltonian vector fields.

* Suppose that (q^1,ldots ,q^n,p_1,ldots,p_n) are canonical coordinats on "M" (see above). Then a curve gamma(t)=(q(t),p(t)) is an integral curve of the Hamiltonian vector field "X""H" if and only if it is a solution of the Hamilton's equations:

:dot{q}^i = frac {partial H}{partial p_i}:dot{p}_i = - frac {partial H}{partial q^i}.

* The Hamiltonian "H" is constant along the integral curves, that is, H(gamma(t)) is actually independent of "t". This property corresponds to the conservation of energy in Hamiltonian mechanics.

* More generally, if two functions "F" and "H" have a zero Poisson bracket (cf. below), then "F" is constant along the integral curves of "H", and similarly, "H" is constant along the integral curves of "F". This fact is the abstract mathematical principle behind Noether's theorem.

*Symplectic form omega is preserved by Hamiltonian flow; or equivalently, Lie derivative mathcal{L}_{X_H} omega= 0

Poisson bracket

The notion of a Hamiltonian vector field leads to a skew-symmetric, bilinear operation on the differentiable functions on a symplectic manifold "M", the Poisson bracket, defined by the formula :{f,g} = omega(X_f,X_g)= df(X_g) = mathcal{L}_{X_g} f

where mathcal{L}_X denotes the Lie derivative along a vector field "X". Moreover, one can check that the following identity holds:

: X_{{f,g= [X_f,X_g] ,

where the right hand side represents the Lie bracket of the Hamiltonian vector fields with Hamiltonians "f" and "g". As a consequence, the Poisson bracket satisfies the Jacobi identity

: {{f,g},h}+{{g,h},f}+{{h,f},g}=0,

which means that the vector space of differential functions on "M", endowed with the Poisson bracket, has the structure of a Lie algebra over R, and the assignment fmapsto X_f is a Lie algebra homomorphism, whose kernel consists of the locally constant functions (constant functions if "M" is connected).

References

*"See section 3.2".
*
*


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Symplectic vector field — In physics and mathematics, a symplectic vector field is one whose flow preserves a symplectic form. That is, if (M,omega) is a symplectic manifold, then a vector field Xinmathfrak{X}(M) is symplectic if its flow preserves the symplectic… …   Wikipedia

  • Hamiltonian mechanics — is a re formulation of classical mechanics that was introduced in 1833 by Irish mathematician William Rowan Hamilton. It arose from Lagrangian mechanics, a previous re formulation of classical mechanics introduced by Joseph Louis Lagrange in 1788 …   Wikipedia

  • Hamiltonian — may refer toIn mathematics : * Hamiltonian system * Hamiltonian path, in graph theory * Hamiltonian group, in group theory * Hamiltonian (control theory) * Hamiltonian matrix * Hamiltonian flow * Hamiltonian vector field * Hamiltonian numbers (or …   Wikipedia

  • Hamiltonian system — In classical mechanics, a Hamiltonian system is a physical system in which forces are velocity invariant. Hamiltonian systems are studied in Hamiltonian mechanics. In mathematics, a Hamiltonian system is a system of differential equations which… …   Wikipedia

  • Field (physics) — The magnitude of an electric field surrounding two equally charged (repelling) particles. Brighter areas have a greater magnitude. The direction of the field is not visible …   Wikipedia

  • Vector flow — In mathematics, the vector flow refers to a set of closely related concepts of the flow determined by a vector field. These appear in a number of different contexts, including differential topology, Riemannian geometry and Lie group theory. These …   Wikipedia

  • Geodesics as Hamiltonian flows — In mathematics, the geodesic equations are second order non linear differential equations, and are commonly presented in the form of Euler–Lagrange equations of motion. However, they can also be presented as a set of coupled first order equations …   Wikipedia

  • Hamiltonian lattice gauge theory — In physics, Hamiltonian lattice gauge theory is a calculational approach to gauge theory and a special case of lattice gauge theory in which the space is discretized but time is not. The Hamiltonian is then re expressed as a function of degrees… …   Wikipedia

  • Lagrangian and Eulerian specification of the flow field — This article is about fluid mechanics. For the use of generalized coordinates in classical mechanics, see generalized coordinates, Lagrangian mechanics and Hamiltonian mechanics In fluid dynamics and finite deformation plasticity the Lagrangian… …   Wikipedia

  • Molecular Hamiltonian — In atomic, molecular, and optical physics as well as in quantum chemistry, molecular Hamiltonian is the name given to the Hamiltonian representing the energy of the electrons and nuclei in a molecule. This Hermitian operator and the associated… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”