PRINCIPIO DE HAMILTON. TEORÍA DE CAMPOS

Introducción

Hemos aplicado el principio extremal de Hamilton para deducir las leyes que nos engendrarán a su vez aquellas que rigen el movimiento de los sistemas en Mecánica Clásica, en donde las variables incógnita de los problemas eran las coordenadas qi(t) de las partículas puntuales. Una visión más general de los sistemas físicos nos la da la Teoría de Campos, en donde las variables dependientes a estudiar pueden ser campos en 1+3 dimensiones, un(x), como los campos electromagnético y gravitacional, densidades de carga, densidades de probabilidad, etc.

En estas teorías la variable independiente ya no es el tiempo sino el cuadrivector x del espacio-tiempo. Ya no hablaremos pues de intervalos temporales de integración sino de entornos espacio-temporales de integración. Las correspondencias principales serán:

siguiendo el convenio de usar las comas para derivar parcialmente respecto de componentes del cuadrivector.

Integral de acción

En general tendremos un conjunto de campos un(x) que pueden ser escalares, vectoriales, tensoriales, espinoriales, etc. Para simplificar, vamos a considerar un solo campo u(x), que no mermará generalidad a nuestras teorías dado el carácter aditivo de la lagrangiana.

Definimos en este caso la llamada densidad lagrangiana como la función:

donde Du es el "vector" de componentes:

(veremos que en realidad en general este objeto tendrá otras componentes n relativas a los índices de su naturaleza y que harán que no sea un verdadero vector, pero en esta simplificación que hacemos nos valdrán este tipo de consideraciones).

Esta densidad será un objeto local real que no dependerá explícitamente de la posición x.

La lagrangiana total será entonces la integral de esta densidad extendida al dominio de x que define al sistema:

y la acción tiene una expresión análoga a la de Mecánica Clásica:

expresión no demasiado general debido al hecho de que la separación entre las componentes espaciales y temporal depende del sistema de referencia. De forma más compacta se suele poner:

en donde Ω denota un volumen cuadridimensional.

Ecuaciones de Euler-Lagrange

El principio de Hamilton en este caso tendrá la forma:

en donde la variación de los campos δu(x) se anulará en la superficie Σ de contorno de la región de integración. Una posible descripción para estas variaciones es:

En general, para aproximaciones en primer orden, la variación general de la acción será debida por una parte a la variación general del lagrangiano y por otra a la variación del elemento de volumen debida al cambio de coordenadas. Esto no ocurre en las transformaciones de jacobiano unidad, en las que se puede afirmar que:

Para lagrangianos dependientes hasta primeras derivadas de los campos se tiene:

Como la variación y la derivación conmutan, se podrá integrar por partes el segundo sumando:

en donde el primer término se anula por anularse la variación de los campos en el contorno, quedando las ecuaciones de Euler-Lagrange en la forma:

que representan un sistema de ecuaciones en derivadas parciales para cada una de las cantidades campo.

Lagrangianos equivalentes

De nuevo aquí se cumple que lagrangianos distintos pueden dar lugar a las mismas ecuaciones de evolución de los campos. Esto sucede por ejemplo para los lagrangianos que difieren en una divergencia:

en donde se ha aplicado el teorema de Gauss Ostrogradsky. Como vemos la nueva integral de acción difiere solamente en un término de superficie, quedando:

ya que las variaciones de los campos se anulan sobre las superficies límite.

Por otra parte, cuando hay más de un campo, es posible a veces encontrar lagrangianos que conducen a sistemas de ecuaciones de evolución equivalentes y que sin embargo no difieren en una divergencia. En este caso diremos que los lagrangianos son equivalentes no trivialmente.

Ecuaciones de Hamilton

En analogía con las ecuaciones de la Mecánica se define el momento conjugado a un campo como

\[ \pi(\vec{x},t)=\frac{\partial{\mathscr{L}(\vec{x},t)}}{\partial \dot{u}(\vec{x},t)} \]

Y el hamiltoniano también, asociándolo con la llamada densidad hamiltoniana:

\[ H=\int_V \mathscr{H}d^3x=\int_V \left[\pi(x)\dot{u}(x)-\mathscr{L}(x)\right]d^3x \]

Aquí debemos pararnos un momento. Tanto en el caso del hamiltoniano como en el anterior del lagrangiano en teoría de campos, debemos interpretar estas cantidades más que como funciones como funcionales que actuán sobre funciones- de esta forma $H$ habría que interpretarlo como $H[u,\pi]$, y cuando derivamos estas cantidades respecto a sus argumentos en realidad lo que estamos haciendo son derivadas funcionales $\delta$ del tipo:

\[ \frac{\delta H(t)}{\delta u(\vec{x},t)}=\lim_{\delta V^i\rightarrow 0}\frac{1}{\delta V^i}\frac{\partial H(t)}{\partial u^i} \]

De esta forma las ecuaciones de Hamilton en teoría de campos quedan

\[ \left\{ \begin{array}{l}\displaystyle \dot{\pi}(x)=-\frac{\delta H(t)}{\delta u(x)}=-\frac{\partial \mathscr{H}}{\partial u(x)}\\ \displaystyle\dot{u}(x)=\frac{\delta H(t)}{\delta \pi(x)}=\frac{\partial \mathscr{H}}{\partial \pi(x)} \end{array}\right. \]

Corchetes de Poisson

De la misma forma que en la teoría mecánica, en este caso si una funcional concreta $F[u,\pi]$ no depende explícitamente del tiempo se tiene como definición de los corchetes de Poisson:

\[ \dot{F}(t)=[F,H]_{u,\pi}\equiv\int_V\left(\frac{\delta F}{\delta u}\frac{\delta H}{\delta \pi}-\frac{\delta F}{\delta \pi}\frac{\delta H}{\delta u}\right)d^3x \]

Si escribimos

\[ \begin{split} u(\vec{x},t)&=\int_V\delta^{(3)}(\vec{x}-\vec{x}^\prime)u(\vec{x}^\prime,t)d^3x^\prime\\ \pi(\vec{x},t)&=\int_V\delta^{(3)}(\vec{x}-\vec{x}^\prime)\pi(\vec{x}^\prime,t)d^3x^\prime\\ \end{split} \]

las derivadas funcionales son

\[ \frac{\delta u(\vec{x},t)}{\delta u(\vec{x}^\prime,t)}=\frac{\delta \pi(\vec{x},t)}{\delta \pi(\vec{x}^\prime,t)}=\delta^{(3)}(\vec{x}-\vec{x}^\prime) \]

Este resultado nos permite calcular por un lado las ecuaciones de Hamilton en función de los corchetes de Poisson:

\[ \left. \begin{array}{l}\displaystyle [u,H]=\frac{\delta H}{\delta \pi}\\ \displaystyle [\pi,H]=-\frac{\delta H}{\delta u} \end{array}\right\}\Rightarrow\left\{\begin{array}{l}\dot{u}=[u,H]\\\dot{\pi}=[\pi,H]\end{array}\right. \]

y por otro derivar las relaciones fundamentales de conmutación, que retomaremos en teoría cuántica de campos:

\[ \begin{split} &[u(\vec{x},t),\pi(\vec{x}^\prime,t)]=\delta^{(3)}(\vec{x}-\vec{x}^\prime)\\ &[u(\vec{x},t),u(\vec{x}^\prime,t)]=[\pi(\vec{x},t),\pi(\vec{x}^\prime,t)]=0 \end{split} \]

Teniendo en cuenta que los campos pueden estar expresados en una representación de un grupo de simetría interno $G$ estas expresiones se deberán ampliar a

\[ \begin{split} &[u^\alpha(\vec{x},t),\pi_\beta(\vec{x}^\prime,t)]=\delta^\alpha_\beta\delta^{(3)}(\vec{x}-\vec{x}^\prime)\\ &[u^\alpha(\vec{x},t),u^\beta(\vec{x}^\prime,t)]=[\pi_\alpha(\vec{x},t),\pi_\beta(\vec{x}^\prime,t)]=0 \end{split} \]

y en el caso de campos complejos

\[ \begin{split} &[u(\vec{x},t),\pi(\vec{x}^\prime,t)]=\delta^{(3)}(\vec{x}-\vec{x}^\prime)\\ &[u^*(\vec{x},t),\pi^*(\vec{x}^\prime,t)]=\delta^{(3)}(\vec{x}-\vec{x}^\prime) \end{split} \]