Teora Clsica de Campos

1. Introduccin
La idea del campo como entidad fsica es muy antigua. En los tiempos de
auge de la Mecnica newtoniana, la reduccin de las teoras fsicas (tal
como la teora de la luz) a la mecnica de partculas puntuales fue
considerada como la nica opcin vlida para la comprensin de la
naturaleza, y el concepto de campo (como el propio campo de fuerzas) se
utiliz exclusivamente como una herramienta matemtica til. Aun as, con
esta perspectiva s consiguieron realizar importantes avances en la
fundamentacin terica de numerosas reas de la Fsica, como la ptica o la
hidrodinmica. El concepto de campo fsico segua siendo vago, y adems
exista el convencimiento de que cualquier teora an de tipo
fenomenolgico podra explicarse en ltima instancia por la mecnica de
las partculas puntuales.
El cambio conceptual notable se produjo con el advenimiento de la teora
electromagntica de Maxwell y Faraday, y la relatividad especial de
Einstein. Cualquier teora que trate con interaccin de partculas debe
aceptar la existencia de campos. Cualquier modificacin o perturbacin
sufrida o generada por una partcula no puede percibida por otra partcula
distante de forma instantnea, ya que los efectos ocasionados por la
primera como mucho pueden viajar a la velocidad de la luz, que es finita.
Por tanto, debe existir algn tipo de objeto fsico que sea portador de la
interaccin, y al que denominamos campo.
2. Conceptos bsicos
La idea bsica de las teoras de campo es que las propiedades fsicas (como
la energa, el momento, la carga elctrica o la masa) se ven distribuidas por
el campo de forma suave (matemticamente, de forma continua) en el
espacio y el tiempo. Algunos ejemplos de campos clsicos pueden ser:
la densidad ( ) genrica, dependiente del espacio y el tiempo, de
forma que su integral en todo el volumen accesible del espacio
( )

es la cantidad neta en el instante asociada al campo de densidad. La

densidad se puede definir para cualquier propiedad que sea extensiva,
es decir, el total sea la suma de las partes, como la energa, el momento,
la masa o la carga elctrica.
la velocidad ( ), presin ( ) o temperatura ( ) en el seno de
un fluido.
El desplazamiento ( ) de un slido elstico, medido respecto a su
posicin de equilibrio, o la deformacin en su interior, caracterizado
por el tensor de deformaciones ( ).
La funcin clsica de onda ( ) de un sistema cuntico.
Lo mismo que el movimiento del sistema se define en el espacio fsico real
tridimensional y el tiempo, debe existir un espacio abstracto asociado
al campo, y que tenga propiedades similares que el espacio fsico real. En
este espacio del campo, realizaremos las operaciones habituales de
derivacin, integracin, etc, de forma similar a cmo realizamos la
derivacin e integraciones respecto a coordenadas espaciales y el tiempo.
Las transformaciones realizadas pueden ser muy diferentes en ambos
espacios. Como ejemplo, una rotacin fsica lleva el vector velocidad
al vector
, siendo la matriz de rotacin, mientras que el campo
de densidad al ser un escalar no vara en la rotacin, y tenemos
.
Distinguiremos las propiedades externas y las propiedades internas del
campo, siendo las primeras las que estn asociadas a las transformaciones
fsicas en el espacio y el tiempo, y las segundas cuando se realizan en el
espacio abstracto asociado al campo. Por ejemplo, para el campo de la
funcin de onda ( ) pueden existir simetras bajo transformaciones en
el espacio y el tiempo, como la inversin espacial, o la traslacin temporal,
y simetras bajo transformaciones internas como el operador de
conjugacin compleja. Dichas transformaciones internas tambin reciben el
nombre de transformaciones gauge o de calibracin.
Transformaciones de simetra y sistemas de referencia La manifestacin
ms importante de la simetra en Fsica es la simetra de evolucin y la
simetra de estado. La simetra de evolucin, o simetra de las leyes
naturales significa que cualquier evolucin fsicamente admisible de un
sistema puede transformarse, mediante la transformacin adecuada, en otra
evolucin fsicamente admisible. Y si dicha transformacin se aplicara en
una evolucin fsicamente inadmisible, dara lugar a una evolucin

fsicamente inadmisible. Esta simetra siempre est asociada a las leyes de

conservacin usuales. El significado fsico de la simetra de evolucin es
que la naturaleza es indiferente a ciertos aspectos de los sistemas fsicos
(como la energa, el momento, etc), y por tanto la evolucin del sistema
fsico es independiente de ellos. Y respecto a las leyes de conservacin
asociadas, es reflejo de la falta de capacidad o impotencia de la teora de
eliminar los aspectos irrelevantes en la descripcin de la evolucin del
sistema.
La simetra de estado del sistema fsico implica que el estado del sistema
puede transformarse en otro estado, de tal forma que se mantiene intacto
cierto aspecto del sistema. As el estado transformado es indistinguible por
naturaleza del estado original, y entonces la transformacin aplicada resulta
indetectable. Los estados sern distinguibles y la transformacin detectable
siempre que exista un sistema externo (sistema de referencia) que detecte la
transformacin. Por ejemplo, para detectar la simetra bajo traslacin
espacial, deberemos utilizar un sistema de referencia fijo en el espacio, que
precisamente no es simtrico bajo traslacin espacial. Y en virtud de la
existencia del sistema de referencia, la transformacin de un estado que se
hace de forma activa, con el cambio fsico del estado, tambin se podr
hacer de forma pasiva, con el cambio del sistema de referencia, y ambas
sern inversas entre s.
Por ltimo, los sistemas de referencia podrn ser globales, locales o
inerciales. El sistema global define un nico sistema de referencia til para
topo punto y todo tiempo. La evolucin inercial es aquella en la no sucede
nada desde el punto de vista dinmico, los cuerpos mantienen su estado de
movimiento con velocidad constante, medido en los sistemas de referencia
llamados inerciales. Por ltimo, el sistema de referencia global se
generaliza a un sistema de referencia local cuando se asigna
individualmente un sistema individual de referencia a cada punto del
espacio y el tiempo.
Respecto a la transformaciones gauge o de calibracin, se trata de una
transformacin pasiva que cambia los sistemas de referencia respecto a los
cuales son observables las propiedades internas del sistema. En general,
son transformaciones no inerciales, e introducen interacciones ficticias que
causan, respecto al sistema de referencia transformado, que las propiedades
internas varen.

3. Cmo se construye una teora de campo

La teora del campo ha sido y es una pieza fundamental para el desarrollo
de la Fsica. Los ejemplos ms destacables en la fsica clsica son los
campos de fuerza que nos sirven para la descripcin de los fenmenos
gravitatorio y electromagntico, y que estn causados por la presencia de
masas y cargas elctricas, respectivamente.
Invariancia y covariancia El principio de covariancia establece que las
leyes de la Fsica deben expresarse de la misma forma en todos los sistemas
de referencia admisibles. Esta independencia con el sistema de coordenadas
exige que las leyes fsicas estn escritas en forma tensorial. Un tensor es un
objeto matemtico con unas determinadas propiedades de transformacin
bajo cambio de coordenadas (aunque no necesitamos revisarlas aqu), que
aunque no se mantiene invariante, s puede asegurarse que cuando una
ecuacin tensorial es cierta en un sistema de coordenadas, lo ser en todos
los sistemas de coordenadas que sean equivalentes mediante una
transformacin de coordenadas, elegida dentro del conjunto de
transformaciones admisibles. Lo que diferencia una teora de campo de otra
es la seleccin del nivel de covariancia. Como ejemplo, en la Mecnica
clsica, como la Mecnica de Fluidos o la Elasticidad, se admiten slo las
transformaciones ortogonales de coordenadas en el espacio tridimensional
ms las transformaciones de Galileo de la velocidad, mientras que en la
Relatividad Especial se admiten las transformaciones de Poincar en el
espacio-tiempo, y en la Relatividad General, la teora ms covariante
posible, se admite cualquier tipo de transformacin de coordenadas en el
espacio-tiempo.
Formulacin lagrangiana Aparte de su concisin y su elegancia
matemtica, la formulacin lagrangiana de la teora de campo tiene dos
ventajas claras frente a otras formulaciones, entre las cuales est la
formulacin hamiltoniana del problema. En primer lugar, el lagrangiano o
la densidad lagrangiana en su caso, deben ser invariantes frente a todas las
transformaciones de simetra del sistema. Este punto preciso es muy
importante en las teoras relativistas ya nos permite tratar al espacio y el
tiempo de forma unificada desde un principio, en contraste con otros
mtodos que se basan en la descripcin de la evolucin temporal, y de ah
extraen conclusiones sobre el sistema. La segunda ventaja es que la

formulacin lagrangiana admite una extensin natural en la integracin

cuntica sobre caminos de la Mecnica Cuntica.
4. Teora relativista de campo
Hasta ahora hemos definido los campos como un desplazamiento del
sistema respecto a su posicin de equilibrio. A partir de ahora,
consideramos un tipo arbitrario de campo, sin referencia alguna a los
grados de libertad que describe, que ser funcin del vector de coordenadas
(
) (
)
de espacio-tiempo, escrito en la forma
donde denota el tiempo y la velocidad de la luz en el vaco, y que tiene
por tanto una componente temporal (para
), y tres componentes
espaciales (para
). La signatura (elementos diagonales) de la
mtrica relativista (de Minkoswki) viene dada por el tensor mtrico
(
)
con todos los elementos fuera de la diagonal
nulos,
si
. En notacin matricial,

Este tensor nos permite intercambiar entre s las componentes de cualquier

vector , en su versin contravariante
y en su versin covariante , a
travs de las dos frmulas de transformacin vectorial

con suma en cada trmino de la derecha en el ndice repetido

ejemplo, para el vector de coordenadas, tenemos

. Por

Tomando ahora
obtenemos las cuatro componentes covariantes
del vector de coordenadas, en la forma

Vamos a adoptar el siguiente convenio, el conjunto de los cuatro ndices

espacio-temporales se denominar por una letra griega del tipo
, y el

subconjunto de los tres ndices espaciales por la letra latina del tipo
.
Con este convenio, podemos escribir la transformacin anterior en la forma

, de forma ms compacta, dado que

(

Adems del vector de coordenadas, en la teora de campo utilizaremos el

vector de derivacin respecto a las coordenadas (que es un conjunto de
cuatro operadores de derivacin parcial) que se define inicialmente en su
versin covariante mediante la notacin
(

Y con lo cual, su versin contravariante est dada por

(

Campo relativista La teora de campo relativista tiene las siguientes

propiedades generales. Definimos un campo arbitrario ( ) dependiente de
(
) (
) del espacio-tiempo, que
las coordenadas
sin introducir mayor complejidad, podemos tomar en la forma de un campo
escalar o vectorial. En funcin de ste, definimos la accin como la integral
en el espacio-tiempo de la densidad lagrangiana
( ( )

( ))

que depende del campo y sus primeras derivadas. Obtenemos entonces

siendo
el elemento de longitud en el espacio-tiempo relativista. La
forma explcita de la densidad lagrangiana depender del tipo de teora de
campo que se considere, aunque podemos apuntar dos requisitos generales
a todas ellas:

La accin debe ser invariante bajo las transformaciones de Lorentz, y

por tanto, debe ser un escalar.

Para analizar en mayor profundidad qu estructura funcional debe

tener la integral de accin, debemos utilizar las posibles simetras
internas (simetras gauge) que se definen en la base terica del
campo.

Como sabemos por la teora de los medios continuos, en el caso ms simple

la densidad lagrangiana puede escribirse como la diferencia de una
densidad de energa cintica, dependiente del vector gradiente del campo y
una densidad de energa potencial, dependiente del propio campo, en la
forma
(

( )

y en su notacin temporal y espacial se escribe

(

) (
(

( )

)
(

) )

( )

muy similar en cuanto a su estructura a la densidad lagrangiana del medio

continuo
(

( (

) )

) )

Esta similitud es consecuencia directa de que estamos aplicando el

principio de covariancia frente a las transformaciones de coordenadas en
ambos casos para crear la teora de campo, y en la teora relativista quedan
englobadas las transformaciones de la fsica clsica.
5. Ecuaciones de Euler-Lagrange
Las ecuaciones de movimiento del campo se obtienen exigiendo que la
variacin de la accin sea nula,
, para una variacin arbitraria del
campo
, compatible con las condiciones frontera impuestas. Esto es,
partimos de la variacin en la regin del espacio-tiempo

))

Teniendo en cuenta que la variacin conmuta con el operador de derivacin

(

e integrando por partes el segundo trmino resultante

)
)

donde
es la frontera de , obtenemos la condicin para la variacin
nula de la accin en la forma

|
)

))
)

Para una variacin del campo arbitraria y que se anule sobre la frontera
con
, las ecuaciones de movimiento estn dadas por
(

)
)

Teorema de Noether Supongamos que la transformacin de las

coordenadas y el tiempo, que en la teora relativista toma la forma
compacta
( )
junto con la transformacin del campo
( )

( )

deja invariante la densidad lagrangiana del sistema relativista. Veamos

que consecuencias podemos extraer de esta simetra. Por simplicidad,
tomamos una densidad lagrangiana en la forma estudiada anteriormente,
(
). La variacin de la accin debido a esta transformacin es
(

Calculamos la variacin de las variables independientes ( ) y del campo

( ) por separado. Respecto a las primeras, tenemos las relaciones

)
)

La variacin del campo ( ) es la suma de la variacin por el cambio de la

funcin , tomando las coordenadas constantes, y la variacin de
debida a la variacin de la coordenadas. Esto es,
( )

( )

Para la densidad lagrangiana, obtenemos igualmente

(

donde la variacin a

constante es

Con todo ello, de forma anloga a lo realizado en el estudio de las simetras

del medio continuo, la variacin de la accin se escribe
(

donde
son los puntos inicial y final del espacio-tiempo en la
evolucin del campo analizada.
Dado que el operador de derivacin puede intercambiarse con el operador
de variacin a coordenadas constantes, denotado por el smbolo barrado,
tenemos

()

con lo cual, podemos escribir el ltimo trmino en el integrando en la

forma, tras una integracin por partes,

|
)

y as, la variacin de la accin tiene la expresin final

))

))
)

Con la condicin de que la variacin de la accin sea nula y que el campo

evolucin segn su trayectoria real, esto es, que se satisfagan las
ecuaciones de Euler Lagrange, obtenemos el teorema de E. Noether para
la teora relativista: Si
es invariante bajo la transformacin de las
coordenadas y el tiempo
( )
junto con la transformacin del campo
( )

( )

entonces

y el teorema de Noether exige que

, recuperando la notacin vectorial

, y teniendo en

cuenta que

llegamos a la frmula final

(

con suma en los ndices

. Con el fin de mejorar la notacin, y englobar
los dos primeros trminos en uno slo, ya que los dos dependen de la
variacin
de las coordenadas, utilizamos la relacin siguiente

con suma en , vlida para cualquier vector. Con esto, el teorema de

Noether se lee

donde

es el llamado vector de corriente

(

)
)

Y se dice que es una corriente conservada, puesto que su gradiente (en el

espacio-tiempo) es nulo,
.
6. Leyes de conservacin
De la existencia de corrientes conservadas
debidas a las simetras del
sistema, por el teorema de Noether, se deducen directamente leyes de
conservacin en el tiempo. Escribiendo la parte temporal y espacial del
(
) obtenemos la ecuacin de continuidad clsica
vector

Integrando ahora en todo el espacio tridimensional esta ecuacin de

continuidad, llegamos

siendo el volumen, la superficie que lo acota, y hemos utilizado el

teorema de la divergencia en el ltimo paso. Asumiendo que el flujo de la
corriente es nulo en la frontera,
, esto es el sistema puede
considerarse cerrado y aislado, llegamos a la siguiente ley de conservacin
asociada a la simetra del sistema

y hablamos de la conservacin de la carga .

Tensor de energa momento

Analizamos las consecuencias del teorema de Noether para la simetra del

sistema frente a la traslacin en el espacio-tiempo, que engloba la
traslacin en el tiempo y en el espacio que estudiamos en el medio
continuo. En este caso, tenemos la ley de transformacin para las
coordenadas
( )
siendo

un vector constante, junto con la transformacin del campo

( )

( )

Deducimos entonces que se satisface bajo esta simetra

(

Y tenemos en este caso, un tensor

conservado, llamado tensor de

energa-momento

La importancia de este tensor reside en su relacin con la energa y el

momento del campo. La componente
es la densidad de energa del
sistema, mientras que las componentes
con
son las
densidades de momento segn los tres ejes espaciales. Finalmente las
componentes
, con
estn relacionadas con la densidad de
fuerza del campo, como la presin.
Podemos ver que a partir de la conservacin del tensor
, podemos
deducir la existencia no de una, sino de dos corrientes conservadas, y de ah
llegar a las leyes de conservacin de las cargas asociadas. Eligiendo en
primer lugar
, y definiendo la corriente

deducimos la ley de conservacin de la carga asociada

no es ms que la ley de conservacin de la energa

del sistema, que

Si ahora elegimos un ndice espacial, como hemos dicho, y definimos la

corriente

deducimos la ley de conservacin de la carga asociada

del sistema, que
no es ms que la ley de conservacin del momento en la direccin del eje
espacial

Simetra gauge, corriente y carga

En el caso de las transformaciones internas del campo, o transformaciones
gauge, que definan una simetra de la densidad lagrangiana, el teorema de
Noether implica la existencia de la corriente conservada gauge
(

sabiendo que en este transformacin no varan las coordenadas , y por

tanto
. Se conserva entonces la carga gauge asociada, que se escribe

Recordamos aqu que el campo electromagntico es un campo relativista, y

que es invariante bajo la transformacin gauge de los potenciales escalar y
vectorial. La carga gauge asociada resulta ser la carga elctrica, y la ley de
conservacin gauge es la conocida ley de conservacin de la carga
elctrica.
7. Campo escalar
Anteriormente en la teora del medio continuo hemos analizado algunos
sistemas mecnicos sencillos, como el slido elstico, la cuerda con masa o
una masa de aire en compresin y dilatacin, que permiten la propagacin
de ondas, por tener un cierto carcter elstico. Como hemos visto, fruto de
la covariancia general de la teora, abstrayndonos del medio material, y

cambiando los coeficientes en la densidad lagrangiana, llegamos a un

objeto fsico mucho ms rico, el campo escalar relativista.
El campo escalar relativista se denota por ( ) y es un cantidad invariante
( ). Distintos observadores
bajo transformaciones de Lorentz ( )
asignarn distintos valores a las coordenadas en el espacio-tiempo, pero
estarn de acuerdo en el valor del campo en el punto preciso. La densidad
lagrangiana para el campo escalar tambin es un invariante Lorentz y est
dada por
(

donde define la masa de la partcula, y en coordenadas de espacio y de

tiempo tiene la expresin
(

En notacin covariante, la ecuacin de Euler-Lagrange para la evolucin

del campo es
(

Para la evaluacin del trmino de la derecha, debemos notar previamente

que

y en funcin del tensor delta

si
,

, con las propiedades

(

si

y por tanto,
(

Con esto, la ecuacin de Euler-Lagrange para el campo escalar es

,y

que se conoce con el nombre de ecuacin de Klein-Gordon. En coordenadas

de espacio y de tiempo tiene la expresin

similar al resultado obtenido para el medio continuo elstico

El trmino de masa en la ecuacin relativista proviene la masa en reposo

del sistema, y por eso est ausente en la ecuacin del medio continuo.
Pasamos ahora a estudiar las simetras de la teora relativista escalar, y las
cantidades conservadas asociadas. Dado que no depende explcitamente
de las coordenadas , resulta invariante bajo la traslacin en el espaciotiempo,
( )
y por el teorema de Noether se conserva el tensor de energa-momento
(

Como hemos visto, nos interesa la densidad de energa y la densidad de

momento del campo, puesto que por el teorema de Noether son cantidades
conservadas
(

De nuevo los dos resultados estn en analoga con lo obtenido para el

medio continuo elstico para la densidad de energa y densidad de
momento

Buscamos ahora las transformaciones internas del campo que dejan

invariante la densidad lagrangiana. Dado que es la suma de dos trminos
cuadrticos en , la nica transformacin gauge sera la transformacin
trivial
.
Podemos encontrar la presencia de una simetra gauge en la teora escalar si
aumentamos el nmero de variables dependientes del sistema, esto es, para
campos definidos por ms de un variable
, de forma que la
transformacin gauge no sea trivial como en el caso anterior. Consideramos
) con la misma
el ejemplo de dos campos escalares independientes (
masa, y con la densidad lagrangiana suma de sus densidades individuales,
(

Puede demostrarse que la densidad lagrangiana es invariante bajo la

transformacin gauge de rotacin de ngulo
arbitrario en el plano
(
)
(

)(

Para determinar la corriente conservada, podemos por simplicidad analizar

la transformacin con ngulo infinitesimal

Al ser los campos independientes, en cada resultado del clculo variacional

llevado a cabo anteriormente, debemos sumar las dos contribuciones para
). En nuestro caso de la corriente gauge, cuando
los dos campos (
, tenemos
(

Usando los resultados anteriores, obtenemos

(

La carga gauge conservada ser finalmente

Un resultado anlogo podra obtenerse si en lugar de los campos reales

(
), definiramos los campos complejos (
), conjugados entre s,
e independientes

con la densidad lagrangiana

para la cual existe la transformacin gauge

( )

( )

( )

( )

( )

( )

8. Ruptura espontnea de la simetra.

Analizamos ahora la densidad lagrangiana del campo escalar
(

( )

para un potencial dado en la forma

( )
que incluye el trmino usual de masa, ms un potencial de interaccin del
campo consigo mismo, con parmetro , que resulta ser simtrico bajo el
cambio
. La ecuacin de evolucin del campo es, directamente
( )

y la densidad de energa del campo est dada por

Configuracin en el equilibrio El campo en el equilibrio corresponde a un

valor uniforme y constante de , que satisface

y para el cual, por tanto, la densidad tiene un valor mnimo, e igual a

(

Analizamos ahora el comportamiento del campo en ese mnimo, en funcin

de los valores dados para los parmetros de masa y de interaccin. Para ello
renombramos el potencial en la forma
( )
Sus valores extremos estn dados por
(

y tenemos las soluciones

Dado que el campo debe ser real, tendremos un solo extremo si

tienen
el mismo signo, y tres extremos si
tienen distinto signo. Cada una de
estas soluciones es candidata a representar la configuracin del campo en el
equilibrio, que hemos denotado por
. Verificamos cul de ellas
corresponde al mnimo de energa potencial, analizando la segunda
derivada del potencial ( )
, que tiene los valores
( )

Como observamos en la figura, cuando

mnimo local, y si adems

)
,

, existen los dos valores

resulta ser un

ambos son mximos locales. Por el contrario, cuando

,
resulta
ser un mximo local, y si adems
, existen los dos valores

y ambos son mnimos locales.

Cuando
, el campo tiene un nico mnimo local en
, y
dependiendo del valor de , puede tener dos mximos locales, stos de
menor relevancia desde el punto de vista dinmico. Cuando
,y
la teora de campo no tiene valor fsico, ya que el campo tiene un nico
mximo, y ningn mnimo.
Sin embargo, para

,y

, el caso que nos interesa,

ser un mximo local, y tenemos dos mnimos locales

colocados simtricamente respecto al mximo central
notar no obstante que al ser

resulta

. Debemos

Un valor negativo de
da lugar a una configuracin del campo con una
masa imaginaria, no fsica. Sin embargo, este potencial tiene una aplicacin
muy importante. Se dice que existe una ruptura espontnea de la
simetra cuando uno de los dos mnimos queda elegido como el valor de
configuracin de equilibro del campo, de forma que la simetra de la teora
bajo el cambio
, desaparece. Asumimos que el mecanismo que da
lugar a tal discriminacin en el equilibrio es arbitrario. Para verificar las

consecuencias de esta ruptura de simetra, elegimos el mnimo

reescribimos el campo como

( )

( )

de forma que en el equilibrio, el valor del campo corresponda a

Respecto al campo ( ) el potencial se escribe como
( )

que desarrollado queda en la forma

( )

Omitiendo el ltimo trmino constante que no tiene relevancia para la

dinmica del campo, por ser una mera constante aditiva, vemos que el
potencial para el campo se escribe
( )
siendo ahora

Por tanto, el campo ( ) adquiere en la ruptura espontnea de la simetra

una masa fsica

en el denominado mecanismo de Higgs, responsable de la generacin de

masa de los campos relativistas, como el bosn de Higgs, a partir de la
ruptura de la simetra en la configuracin del equilibrio.