Lagrange bracket

Lagrange brackets are certain expressions closely related to Poisson brackets that were introduced by Joseph Louis Lagrange in 1808–1810 for the purposes of mathematical formulation of classical mechanics, but unlike the Poisson brackets, have fallen out of use.

Definition

Suppose that ("q"₁, …, "q"_"n", "p"₁, …, "p"_"n") is a system of canonical coordinates on a phase space. If each of them is expressed as a function of two variables, "u" and "v", then the Lagrange bracket of "u" and "v" is defined by the formula

:$[\; u,\; v\; ]\; \_\{p,q\}\; =\; sum\_\{i=1\}^n\; left(frac\{partial\; q\_i\}\{partial\; u\}\; frac\{partial\; p\_i\}\{partial\; v\}\; -\; frac\{partial\; p\_i\}\{partial\; u\}\; frac\{partial\; q\_i\}\{partial\; v\}\; ight).$

Properties

* Lagrange brackets do not depend on the system of canonical coordinates ("q", "p"). If ("Q","P") = ("Q"₁, …, "Q"_"n", "P"₁, …, "P"_"n") is another system of canonical coordinates, so that

::$Q=Q(q,p),\; P=P(q,p)$

:is a canonical transformation, then the Lagrange bracket is an invariant of the transformation, in the sense that

:: $[\; u,\; v]\; \_\{q,p\}\; =\; [u\; ,\; v]\; \_\{Q,P\}.$

:Therefore, the subscripts indicating the canonical coordinates are often omitted.

* If "Ω" is the symplectic form on the "2n"-dimensional phase space "W" and "u"_"1",…,"u"_"2n" form a system of coordinates on "W", then canonical coordinates ("q","p") may be expressed as functions of the coordinates "u" and the matrix of the Lagrange brackets

:: $[\; u\_i,\; u\_j\; ]\; \_\{p,q\},\; quad\; 1leq\; i,jleq\; 2n$

:represents the components of "Ω", viewed as a tensor, in the coordinates "u". This matrix is the inverse of the matrix formed by the Poisson brackets

:: $\{u\_i,\; u\_j\},\; quad\; 1leq\; i,jleq\; 2n$

:of the coordinates "u".

* As a corollary of the preceding properties, coordinates ("Q"₁, …, "Q"_"n", "P"₁, …, "P"_"n") on a phase space are canonical if and only if the Lagrange brackets between them have the form

:: $[Q\_i,\; Q\_j]\; \_\{p,q\}=0,\; quad\; [P\_i,P\_j]\; \_\{p,q\}=0,quad\; [Q\_i,\; P\_j]\; \_\{p,q\}=-\; [P\_j,\; Q\_i]\; \_\{p,q\}=delta\_\{ij\}.$

See also

* Lagrangian mechanics
* Hamiltonian mechanics

References

* Cornelius Lanczos, "The Variational Principles of Mechanics", Dover (1986), ISBN 0-486-65067-7.
* Iglesias, Patrick, "Les origines du calcul symplectique chez Lagrange" [The origins of symplectic calculus in Lagrange's work] , L'Enseign. Math. (2) 44 (1998), no. 3-4, 257--277. MathSciNet|id=1659212

External links

*