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.
Suppose that (q1, ..., qn, p1, ..., pn) 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 The concept of Lagrange brackets can be expanded to that of matrices by defining the Lagrange matrix.
Consider the following canonical transformation:
η =
, the Lagrange matrix is defined as
( η ) =
is the symplectic matrix under the same conventions used to order the set of coordinates.
( η ) = [
η
η
η
η
η
η
η
η
η
η
{\displaystyle {\mathcal {L}}_{ij}(\eta )=[M^{T}JM]_{ij}=\sum _{k=1}^{N}\left({\frac {\partial \varepsilon _{k}}{\partial \eta _{i}}}{\frac {\partial \varepsilon _{N+k}}{\partial \eta _{j}}}-{\frac {\partial \varepsilon _{N+k}}{\partial \eta _{i}}}{\frac {\partial \varepsilon _{k}}{\partial \eta _{j}}}\right)=\sum _{k=1}^{N}\left({\frac {\partial Q_{k}}{\partial \eta _{i}}}{\frac {\partial P_{k}}{\partial \eta _{j}}}-{\frac {\partial P_{k}}{\partial \eta _{i}}}{\frac {\partial Q_{k}}{\partial \eta _{j}}}\right)=[\eta _{i},\eta _{j}]_{\varepsilon }}
The Lagrange matrix satisfies the following known properties:
( η )
( η )
( η )
is known as a Poisson matrix and whose elements correspond to Poisson brackets.
The last identity can also be stated as the following:
η
Note that the summation here involves generalized coordinates as well as generalized momentum.
The invariance of Lagrange bracket can be expressed as:
, which directly leads to the symplectic condition: