Let
be any functions of two variables
. Then the expression
(1)
|
is called a Lagrange bracket (Lagrange 1808; Whittaker 1944, p. 298).
The Lagrange brackets are anticommutative,
(2)
|
(Plummer 1960, p. 136).
If
are any functions of
variables
,
then
(3)
|
where the summation on the right-hand side is taken over all pairs of variables in the set
.
But if the transformation from to
is a contact transformation, then
(4)
|
giving
(5)
| |||
(6)
| |||
(7)
| |||
(8)
|
Furthermore, these may be regarded as partial differential equations which must be satisfied by ,
considered as function of
in order that the transformation from
one set of variables to the other may be a contact transformation.
Let
be
independent functions of the variables
. Then the Poisson
bracket
is connected with the Lagrange bracket
by
(9)
|
where
is the Kronecker delta. But this is precisely
the condition that the determinants formed from them are reciprocal (Whittaker 1944,
p. 300; Plummer 1960, p. 137).