Capítulo 3 — Corchetes de Poisson
1. Definición de los Corchetes de Poisson
Los corchetes de Poisson constituyen una operación binaria sobre funciones definidas en el espacio de fases $\mathcal{M} = \mathbb{R}^{2n}$, introducida por Siméon Denis Poisson en 1809 en el contexto de la mecánica celeste. Representan la estructura algebraica fundamental del formalismo hamiltoniano y el puente natural hacia la mecánica cuántica.
Dadas dos funciones $f(q,p,t)$ y $g(q,p,t)$ diferenciables sobre el espacio de fases de $n$ grados de libertad, el corchete de Poisson se define como:
En notación vectorial compacta, si denotamos $z = (q_1, \dots, q_n, p_1, \dots, p_n)$ como las coordenadas del espacio de fases y $\nabla_z = (\partial_{q_1}, \dots, \partial_{q_n}, \partial_{p_1}, \dots, \partial_{p_n})$ como el gradiente completo, podemos expresar el corchete de Poisson mediante la matriz simpléctica canónica:
Esta formulación revela la profunda estructura geométrica subyacente: $J$ es una matriz antisimétrica que satisface $J^2 = -I_{2n}$, y define una estructura simpléctica sobre $\mathbb{R}^{2n}$. La forma bilineal $\omega(u,v) = u^T J v$ es la forma simpléctica canónica.
2. Propiedades Algebraicas
Los corchetes de Poisson satisfacen cinco propiedades algebraicas fundamentales que dotan al espacio de funciones diferenciables sobre el espacio de fases de una estructura de álgebra de Lie.
2.1 Bilinealidad
El corchete de Poisson es lineal en cada uno de sus argumentos. Para constantes $a, b \in \mathbb{R}$:
y análogamente para el segundo argumento. Esta propiedad es inmediata de la linealidad de las derivadas parciales en la definición.
2.2 Antisimetría
El intercambio de los argumentos cambia el signo del corchete:
Como consecuencia inmediata, el corchete de una función consigo misma es idénticamente nulo: $\{f, f\} = 0$.
2.3 Regla de Leibniz
El corchete de Poisson actúa como una derivación sobre el producto de funciones. Para tres funciones $f, g, h$:
Esta propiedad refleja que el operador $X_f = \{\cdot, f\}$ es una derivación del álgebra de funciones suaves sobre el espacio de fases, y por tanto un campo vectorial.
2.4 Identidad de Jacobi
La propiedad más profunda y no trivial de los corchetes de Poisson es la identidad de Jacobi:
Esta identidad, verificable mediante cálculo directo usando las derivadas parciales, es equivalente a la condición de integrabilidad de las ecuaciones de Hamilton y a la cerradura de la forma simpléctica $d\omega = 0$. La identidad de Jacobi garantiza que los campos hamiltonianos forman un álgebra de Lie bajo el conmutador de campos vectoriales.
Interpretación geométrica
La identidad de Jacobi no es una propiedad algebraica accidental. En geometría diferencial, expresa que la forma simpléctica $\omega = \sum_i dq_i \wedge dp_i$ es cerrada ($d\omega = 0$). Esta condición es la que distingue una estructura simpléctica de una mera forma bilineal antisimétrica. La cerradura de $\omega$ implica, vía el teorema de Darboux, la existencia local de coordenadas canónicas.
3. Corchetes Fundamentales
Las coordenadas canónicas mismas $(q_i, p_j)$ constituyen funciones sobre el espacio de fases. Al evaluar sus corchetes de Poisson mutuos obtenemos las relaciones fundamentales que caracterizan la estructura canónica:
Las dos primeras relaciones reflejan que las coordenadas $q_i$ son mutuamente independientes y que los momentos $p_i$ también lo son. La tercera relación es la fundamental: establece que cada coordenada $q_i$ es canónicamente conjugada a su momento $p_i$, y que pares con índices distintos son independientes.
Puente con la mecánica cuántica
En la cuantización canónica de Dirac, los corchetes de Poisson se reemplazan por conmutadores cuánticos: $\{A, B\} \to \frac{1}{i\hbar}[\hat{A}, \hat{B}]$. Los corchetes fundamentales se convierten en las relaciones canónicas de conmutación $[\hat{q}_i, \hat{p}_j] = i\hbar \delta_{ij}$, que constituyen la piedra angular de la teoría cuántica. El principio de correspondencia de Bohr establece que la mecánica cuántica debe reproducir los resultados clásicos en el límite $\hbar \to 0$, lo cual se logra precisamente mediante esta sustitución algebraica.
4. Constantes de Movimiento y Corchetes de Poisson
La utilidad práctica más inmediata de los corchetes de Poisson radica en su capacidad para caracterizar las constantes de movimiento de un sistema hamiltoniano. Sea $H(q,p)$ el Hamiltoniano del sistema; una función $f(q,p,t)$ es una constante de movimiento (o integral primera) si su derivada total se anula a lo largo de las trayectorias del sistema.
La evolución temporal de $f$ está dada por la ecuación fundamental:
Por lo tanto, si $f$ no depende explícitamente del tiempo ($\partial f/\partial t = 0$), la condición de constancia se reduce a una simple y elegante relación:
Esta condición es análoga a la expresión de las integrales primeras en el formalismo lagrangiano, pero notablemente más compacta. En particular, por antisimetría, $\{H, H\} = 0$, lo que implica inmediatamente que para sistemas autónomos el Hamiltoniano mismo es constante: $dH/dt = 0$.
Conexión con el teorema de Noether
En el formalismo hamiltoniano, el teorema de Noether adquiere una formulación particularmente transparente: a cada simetría continua del sistema (que preserva la forma simpléctica) le corresponde un generador infinitesimal $G$ que satisface $\{G, H\} = 0$, es decir, que es constante de movimiento. Recíprocamente, toda constante de movimiento genera una transformación canónica infinitesimal que es simetría del Hamiltoniano. Esta dualidad simetría–ley de conservación alcanza su máxima expresión en el lenguaje de los corchetes de Poisson.
5. Teorema de Poisson
El Teorema de Poisson, uno de los resultados más elegantes y útiles del formalismo hamiltoniano, establece que el corchete de Poisson de dos constantes de movimiento es también una constante de movimiento:
La demostración es un ejercicio directo de aplicación de la identidad de Jacobi:
$$ \begin{aligned} \{\{f, g\}, H\} &= -\{H, \{f, g\}\} \quad\text{(antisimetría)}\\ &= \{f, \{g, H\}\} + \{g, \{H, f\}\} \quad\text{(Jacobi)}\\ &= \{f, 0\} + \{g, 0\} = 0 \end{aligned} $$
El Teorema de Poisson tiene consecuencias profundas: a partir de dos constantes de movimiento conocidas se puede generar, en principio, una tercera. Sin embargo, la nueva constante puede ser trivial (idénticamente nula, constante numérica o funcionalmente dependiente de las anteriores). La búsqueda de constantes de movimiento funcionalmente independientes conduce naturalmente al concepto de integrabilidad en el sentido de Liouville-Arnold.
6. Evolución Temporal Vía Corchetes de Poisson
Una de las aplicaciones más directas de los corchetes de Poisson es la descripción compacta de la dinámica hamiltoniana. Para cualquier observable $f(q,p,t)$ definido sobre el espacio de fases, su evolución temporal está gobernada por la ecuación:
En particular, para las propias coordenadas canónicas $q_i$ y $p_i$, que no dependen explícitamente del tiempo, esta ecuación reproduce las ecuaciones canónicas de Hamilton:
Esto muestra que las ecuaciones de Hamilton no son más que el caso particular de la ecuación de evolución temporal cuando $f$ es una coordenada del espacio de fases. Más profundamente, revela que $H$ actúa como el generador infinitesimal de la evolución temporal: el corchete $\{ \cdot, H\}$ es un operador diferencial que propaga cualquier observable en el tiempo.
Esta interpretación anticipa directamente la ecuación de Heisenberg en mecánica cuántica: $\frac{d\hat{A}}{dt} = \frac{1}{i\hbar}[\hat{A}, \hat{H}]$, donde el conmutador reemplaza al corchete de Poisson.
Flujo hamiltoniano
Geométricamente, el campo vectorial $X_H = J \nabla H$ genera el flujo hamiltoniano $\Phi_H^t$ en el espacio de fases. La función $f \circ \Phi_H^t$ describe el valor del observable $f$ a lo largo del flujo. La ecuación de evolución $df/dt = \{f, H\}$ es la derivada de Lie de $f$ a lo largo del campo hamiltoniano: $\mathcal{L}_{X_H} f = \{f, H\}$.
7. Álgebra de Lie de los Corchetes de Poisson
El conjunto $\mathcal{F}(\mathcal{M})$ de funciones suaves sobre el espacio de fases, dotado de la operación de corchete de Poisson, constituye un álgebra de Lie de dimensión infinita. Esta estructura satisface los tres axiomas que definen un álgebra de Lie:
- Bilinealidad: $\{a f + b g, h\} = a\{f, h\} + b\{g, h\}$ para $a, b \in \mathbb{R}$.
- Antisimetría: $\{f, g\} = -\{g, f\}$.
- Identidad de Jacobi: $\{f, \{g, h\}\} + \{g, \{h, f\}\} + \{h, \{f, g\}\} = 0$.
El operador $\operatorname{ad}_f : \mathcal{F}(\mathcal{M}) \to \mathcal{F}(\mathcal{M})$ definido por $\operatorname{ad}_f(g) = \{g, f\}$ es la representación adjunta del álgebra de Lie. La identidad de Jacobi asegura que $\operatorname{ad}_{\{f,g\}} = [\operatorname{ad}_f, \operatorname{ad}_g]$, es decir, que la representación adjunta es un morfismo de álgebras de Lie.
De particular importancia son las subálgebras de Lie finito-dimensionales que aparecen en sistemas con simetría. Por ejemplo, para el momento angular $\mathbf{L} = \mathbf{r} \times \mathbf{p}$, los corchetes:
reproducen exactamente el álgebra de Lie $\mathfrak{so}(3)$ del grupo de rotaciones $\mathrm{SO}(3)$. Esta correspondencia entre simetrías y álgebras de Lie es el fundamento del estudio moderno de sistemas dinámicos con simetría.
Corchetes de Poisson y cuantización
La estructura de álgebra de Lie de los corchetes de Poisson es el punto de partida de la cuantización canónica. El principio de correspondencia de Dirac postula la existencia de un morfismo de álgebras de Lie entre el álgebra de Poisson de observables clásicos y el álgebra de Lie de operadores cuánticos: $\widehat{\{f, g\}} = \frac{1}{i\hbar}[\hat{f}, \hat{g}]$. La identidad de Jacobi clásica garantiza la identidad de Jacobi para el conmutador cuántico, asegurando la consistencia algebraica del procedimiento de cuantización.