Corchete de Lagrange
# Corchete de Lagrange

En mecánica hamiltoniana, los corchetes de Lagrange son expresiones cercamente relacionadas con los corchetes de Poisson. Estos fueron introducidos por Joseph Louis Lagrange en 1808–1810 como proposición de la formulación matemática de la mecánica clásica, pero han caído en desuso respecto a los corchetes de Poisson.

## Definición

Supóngase que $\ (q_{1},q_{2},...,q_{n},p_{1},...,p_{n})$ es un sistema de coordenadas canónicas en un espacio de fase. Si cada una está expresada como función de dos variables $\ u$ y $\ v$, entonces el corchete de Lagrange de $\ u$ y $\ v$ está definido como:

   $[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}}\right).$

## Propiedades

* Los corchetes de Lagrange no dependen del sistema de coordenadas canónicas $\ (p,q)$, si $\ (Q,P)=(Q_{1},...,Q_{n},P_{1},...,P_{n})$ es otro sistema de coordenadas canónicas, entonces tenemos que:

   $\ Q=Q(q,p),P=P(q,p)$
    es una transformación canónica. El corchete entonces es un invariante de la transformación, en el sentido de que:
   $\ [u,v]_{q,p}=[u,v]_{Q,P}.$
    Por lo tanto, los subíndices suelen ser omitidos.
* Si $\ \Omega$ es una forma simpléctica en un espacio de fase bidimensional $\ W$ y $\ u^{1}...u^{2n}$ forma un sistema de coordenadas en $\ W$, entonces las coordenadas canónicas $\ (p,q)$ pueden ser expresadas como funciones de las coordenadas $\ u$ y la matriz de los corchetes de Lagrange:

   $[u_{i},u_{j}]_{p,q},\quad 1\leq i,j\leq 2n$
    representan los componentes de $\ \Omega$, vistos como tensores, en las coordenadas $\ u$. Ésta matriz es la matriz inversa de la matriz formada por los corchetes de Poisson:
   $\{u_{i},u_{j}\},\quad 1\leq i,j\leq 2n$
    de las coordenadas $\ u$.
* Como un corolario de las propiedades anteriores, las coordenadas $\ (Q,P)=(Q_{1},...,Q_{n},P_{1},...,P_{n})$ en un espacio de fase son canónicas si y solo si los corchetes de Lagrange entre ellos tienen la forma:

   $[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}.$
