Está en la página 1de 102

0

UNIVERSIDAD NACIONAL DEL CALLAO


FACULTAD DE CIENCIAS NATURALES Y MATEMTICA
INSTITUTO DE INVESTIGACIN
TEXTO:
TEORA CLSICA DE CAMPOS
Dr. Jorge Abel Espichn Carrillo
(Resolucin Rectoral N 216-2011-R del 14-03-2011)
(01-03-2011 al 31-08-2012)
1
NDICE
Pgina
NDICE 1
RESUMEN 3
INTRODUCCIN 4
MARCO TERICO 6
MATERIALES Y MTODOS 7
RESULTADOS 8
Captulo 1. GENERALIDADES 9
1.1. Teora Clsica de Campos 9
1.2. Campo Fsico 9
1.3. Relacin de la Teora Clsica de Campos con otras ramas de la Fsica 9
1.4. Formulacin Lagrangiana 10
1.5. Lagrangiana para sistemas continuos 14
Captulo 2. FORMALISMO LAGRANGIANO DE LA TEORA CLSICA DE CAMPOS 17
2.1. Formulacin Lagrangiana para campos 17
Captulo 3. TEOREMA DE NOETHER 19
Captulo 4. TENSOR ENERGA-MOMENTO Y MOMENTO ANGULAR 22
Captulo 5. SIMETRAS INTERNAS 27
5.1. Campo Escalar Complejo 27
Captulo 6. LAGRANGIANO Y TENSOR ENERGA-MOMENTO DEL CAMPO
ELECTROMAGNTICO 33
Captulo 7. TRANSFORMACIN DE GAUGE LOCAL 37
Captulo 8. EL PRINCIPIO DE EQUIVALENCIA DE EINSTEIN 45
Captulo 9. EL ESPACIO-TIEMPO DE LA RELATIVIDAD GENERAL 50
Captulo 10. GEOMETRA RIEMANNIANA. GEODSICAS 52
10.1 Geodsicas 58
Captulo 11. EL PRINCIPIO DE COVARIANCIA GENERAL 63
2
Captulo 12. DERIVADAS COVARIANTES. TENSOR DE CURVATURA 65
12.1 Tensor de Curvatura 69
Captulo 13. ECUACIONES DE EINSTEIN Y APLICACIONES 73
13.1 Aplicacin: La Mtrica de Schwarzschild 76
DISCUSIN 90
REFERENCIALES 92
APNDICE 93
Cuadro: Resultado de la Investigacin 94
Slabo de la asignatura Teora Clsica de Campos. 95
3
RESUMEN
En el presente trabajo de investigacin se ha elaborado un texto de naturaleza terico-
prctico, redactado en lenguaje simple, que expone los conceptos, leyes y propiedades de los
campos clsicos de forma sistemtica y concreta, que permite el dictado de la asignatura de
TEORA CLSICA DE CAMPOS correspondiente al stimo ciclo acadmico de la currcula
de estudios de la Escuela Profesional de Fsica de la Facultad de Ciencias Naturales y
Matemtica de nuestra Universidad.
Especficamente, se procura introducir en forma clara y precisa los conceptos
fundamentales para la comprensin de la asignatura en referencia, presentando su aplicacin en
gravitacin, cuyo resultado fue obtenido de una investigacin, de la mtrica de Schwarzschild
considerando un fluido perfecto simtricamente esfrico esttico que obedece una ecuacin de
estado Politrpica y, asimismo, se pretende preparar al estudiante para que emprenda con xito
el estudio de otras asignaturas relacionadas a sta, a nivel de pre-grado y post-grado.
Este texto est basado, en su plan general y en algunas extensiones de su contenido, en
los textos mencionados en la referencia, sin embargo, aqu la exposicin de los conceptos es
ms directa y se incluyen las demostraciones en forma detallada que a su vez sirve como
ejercicio.
Los resultados muestran que a diferencia de todos los autores mencionados en la
referencia, el presente trabajo hace ms dinmico y fcil el proceso de enseanza y aprendizaje
de esta asignatura.
4
INTRODUCCION
La Teora Clsica de Campos estudia la dinmica de los fenmenos fsicos macroscpicos
descrita por un campo fsico. Un campo fsico se puede pensar como la asignacin de una
cantidad fsica en cada punto del espacio-tiempo (generalmente de una manera continua).
Ellos, adems de evolucionar temporalmente o variar en el tiempo, presentan variacin en el
espacio. Esa caracterstica hace que los campos fsicos se consideren como sistemas con un
nmero infinito de grados de libertad. Las peculiaridades de los campos hacen que sus
ecuaciones de movimiento sean dadas por ecuaciones en derivadas parciales en lugar de
ecuaciones diferenciales ordinarias. Comnmente el trmino teora clsica de campos es
tomado en cuenta para describir las teoras fsicas como electromagnetismo y gravitacin, dos
de las fuerzas fundamentales de la naturaleza.
Las descripciones de campos fsicos fueron conocidas antes de la teora de la relatividad y
luego fueron retomados a la luz de esta teora. Debido a esto, las teoras clsicas de los campos
pueden ser consideras como no-relativista y relativista.
En la Escuela Profesional de Fsica se dicta la asignatura Teora Clsica de Campos como
parte de la formacin profesional de los estudiantes, por ser una disciplina bsica
imprescindible en la formacin de un fsico dedicado al rea de la fsica de partculas
elementales, teora cuntica de campos, gravitacin y materia condensada.
En el estudio de los campos clsicos existen textos que desarrollan de manera muy extensa
los conceptos y leyes, lo que hace difcil su uso en una signatura a nivel introductorio con
pocas horas asignadas para su dictado.
La mayora de textos en Teora Clsica de Campos se encuentran escritos en otros
idiomas, principalmente el idioma ingls, lo que dificulta su entendimiento por parte del
estudiantado que desconoce otros idiomas.
5
Por otro lado, los libros editados en Teora Clsica de Campos presentan muchos
ejercicios, cuyas resoluciones en la mayora de ellos lo hacen muy superficial, siendo esto una
dificultad para nuestros estudiantes que recin se inician en estos tpicos de la fsica
contempornea.
En este sentido, el problema de la investigacin consisti en elaborar un texto en
castellano, de naturaleza terico-prctico, que oriente adecuadamente el desarrollo sistemtico
y concreto de la asignatura TEORA CLSICA DE CAMPOS, que adems de permitir la
comprensin de los fundamentos y leyes, incluya demostraciones detalladas, con la finalidad
que se entienda la metodologa usada y de esta manera puedan ser usadas en la resolucin de
problemas relacionados con el curso.
Los principales objetivos planteados para la investigacin consideran introducir en
forma clara y precisa los conceptos tericos fundamentales para la comprensin de la Teora
Clsica de Campos mostrando su aplicacin al estudio de los campos electromagntico y
gravitacional, iniciando de esta manera, a los estudiantes en el mtodo cientfico de
comprobacin de hiptesis, y ofrecer a los alumnos la mejor preparacin actualizada en stos
tpicos a fin de que se encuentren capacitados para emprender con xito estudios en fsica de
partculas elementales, teora cuntica de campos y de otras reas como fsica nuclear, fsica
estadstica y materia condensada y otros cursos similares de post-grado.
La importancia del presente trabajo radica en el hecho que este texto: TEORA
CLSICA DE CAMPOS constituye un instrumento para facilitar el proceso de enseanza-
aprendizaje, de acuerdo con los objetivos y contenidos del programa oficial, de la asignatura
del mismo nombre que se dicta en la Escuela Profesional de Fsica de la Facultad de Ciencias
Naturales y Matemtica de la Universidad del Callao.
6
MARCO TERICO
La Teora Clsica de Campos estudia el comportamiento y caractersticas de los campos
clsicos, como los campos electromagntico y gravitacional.
Mas especficamente, la Teora Clsica de Campos estudia la simetra que presentan los
campos frente algn tipo de transformaciones, como pueden ser de espacio-tiempo o internas
(sobre el propio campo); las cuales llevan a leyes de conservacin y en consecuencia a
cantidades conservadas, algunas de ellas anlogas con la Mecnica clsica, como son la
conservacin del momento, de la energa y del momento angular; y otra como la conservacin
del carga.
Muchos autores; Soper (1975), Barut (1965), Ryder (1988), Doughty (1996) entre
otros, han escrito textos relacionados teora clsica de campos cuyos contenidos son demasiado
extensos en la presentacin de los conceptos y limitan la exposicin de ejercicios de aplicacin.
Las diferentes secuencias en la introduccin de los conceptos, la nomenclatura y
notacin diversa que usan los diferentes autores citados y lo limitado del tiempo para el dictado
de la signatura a nivel introductorio en un semestre acadmico hacen que su exposicin sea un
problema didctico difcil; en este contexto, para la elaboracin del texto TEORA CLSICA
DE CAMPOS se ha considerado enfatizar las demostraciones en forma detallada con la
finalidad de facilitar el manejo de la herramienta matemtica que se usa en estos tpicos de la
fsica actual.
7
MATERIALES Y MTODOS
El presente trabajo se ha desarrollado sobre la base de textos mencionados en los
referenciales y experiencias propias, adecundolos a nuestras necesidades.
Toda la informacin ha sido procesada en un computador personal usando Microsoft
Microsoft Word for Windows 2003, en concordancia con las directivas vigentes, mediante el
cual se han escrito todos los textos, editado todo el formulismo matemtico relacionados a los
diversos temas desarrollados.
La metodologa que se ha empleado es la de la deduccin lgica o enfoque inductivo,
as como el deductivo por ser este ltimo ms conciso y lgico y que permite desarrollar el
estudio de la Teora Clsica de Campos en forma concreta y ordenada.
El mtodo inductivo-deductivo ha hecho posible mostrar el desarrollo del formulismo
que describen los conceptos descritos, as como tambin, el anlisis de las demostraciones
desarrolladas.
8
RESULTADOS
El resultado del presente trabajo de investigacin es el texto: TEORA CLSICA DE
CAMPOS, cuyo contenido se expone en trece captulos, distribuidos en el orden sealado en
el ndice y que se presenta en las pginas siguientes.
En cada captulo se exponen de manera clara, directa y concisa, a manera de repaso, los
principales conceptos, leyes y frmulas asociados a los temas tratados, a fin de que el
estudiante pueda tener una buena referencia para comprender las demostraciones presentadas.
El uso del texto: TEORA CLSICA DE CAMPOS, permite unificar los conceptos
tericos y favorece el proceso enseanza-aprendizaje de la asignatura de Teora Clsica de
Campos, de acuerdo a la propuesta silbica para su dictado. Adems, permite afianzar en el
estudiante los conceptos relacionados con las propiedades de los campos clsicos, para su
posterior uso en el estudio de los campos cunticos con su aplicacin en Fsica de Partculas
Elementales.
9
CAPTULO 1
GENERALIDADES
1.1. TEORA CLSICA DE CAMPOS
La Teora Clsica de Campos es una teora fsica que trata sobre el estudio de la interaccin
de uno o ms campos clsicos con la materia. Las ramas de la fsica donde estn presentes los
campos clsicos son, por ejemplo: Relatividad General; Electromagnetismo; teora de Yang-
Mills y materia condensada; en consecuencia la teora clsica de campos considera los casos no
relativstico, as como tambin el relativstico. La dinmica de los fenmenos fsicos, asociados
con campos clsicos, es descrita por un campo fsico.
1.2. CAMPO FSICO
La idea de un campo fsico es asignarle a una cantidad fsica una funcin en cada punto del
espacio-tiempo (generalmente de una manera continua). Es decir, adems de evolucionar
temporalmente en el tiempo, presentan variacin en el espacio. Esas caractersticas hacen que
los campos fsicos sean considerados como sistemas con un nmero infinito de grados de
libertad. Las peculiaridades que presentan estos campos hacen que sus ecuaciones de
movimiento sean dadas en trminos de derivadas parciales en lugar de las ecuaciones
diferenciales ordinarias. El trmino teora clsica de campos es comnmente reservado para
describir las teoras fsicas como electromagnetismo y gravitacin, dos de las fuerzas
fundamentales de la naturaleza.
Los ejemplos ms notables de los campos clsicos son los campos de fuerzas de las teoras
de los fenmenos gravitacional y electromagntico. Estos campos son causados por la
presencia de masa y carga elctrica, respectivamente.
1.3. RELACIN DE LA TEORA CLSICA DE CAMPOS CON OTRAS RAMAS DE
LA FSICA
En la actualidad, en la fsica moderna es impresionante el gran nmero de diferentes tipos
de partculas fundamentales, observadas e identificadas. Es decir, adems de los electrones,
protones, neutrones y fotones, existen muchas otras partculas.
Dos caractersticas muy peculiares presentan las partculas, a saber, en algunos aspectos,
ellas se comportan como partculas en el sentido clsico, y es como si estuvieran asociadas con
alguna forma de movimiento ondulatorio. Al respecto, es conocido, histricamente, que los
aspectos corpusculares de la materia ordinaria fueron estudiadas en primer lugar; y las
propiedades de onda, descrita por la teora cuntica, fueron consideradas mucho ms tarde.
Sin embargo, para el caso de los fotones el desarrollo fue en orden inverso. Cuando la
teora del campo electromagntico estaba desarrollada se comprendi que ciertas propiedades
de las ondas electromagnticas pueden ser explicadas postulando la existencia de ciertas
entidades discretas, tipo partculas, llamadas fotones. Es decir, esta dualidad onda-partcula,
inicialmente aceptada para los fotones, es actualmente aceptada como una caracterstica
general del comportamiento de todos los tipos de partculas fundamentales.
10
Por otro lado, el estudio terico es generalmente ms adecuado desarrollar en primer lugar
la descripcin ondulatoria y luego examinar el comportamiento como partcula. La descripcin
ondulatoria exige el desarrollo de una teora de campos, en trminos clsicos. Luego son
incorporadas las reglas cunticas en la descripcin y entonces es posible interpretar algunas de
las deducciones en trminos de los conceptos de partculas.
El estudio de la teora de campos fue desarrollado como una extensin lgica de la teora de
los sistemas materiales continuos. El ejemplo ms conocido, es el campo electromagntico.
Este campo puede ser descrito en trminos de los campos elctricos y magnticos o en
trminos de las funciones de potencial escalar y vectorial. En los dos casos las cantidades que
intervienen son funciones de variables continuas del espacio-tiempo. Esta forma de descripcin
est basada sobre observaciones de los movimientos de partculas materiales ordinarias que
postulamos transportan cargas elctricas.
La idea de un campo continuo es introducida con el fin de evitar el concepto de Accin a
Distancia entre las partculas. Las fuentes de los campos son las cargas que tienen las
partculas. La idea es extrapolada hasta el punto de considerar que el campo existe sobre alguna
forma, mismo en ausencia de partculas.
Las propiedades del campo electromagntico son resumidas en el sistema de ecuaciones
diferenciales conocidas como las ecuaciones de Maxwell. Son normalmente llamadas de
ecuaciones de campos.
Suponemos que los campos estn asociados a otros tipos de partculas fundamentales, de la
misma manera que el campo electromagntico est asociado a los fotones. Estos campos no
tienen necesariamente el mismo grado de complejidad que el campo electromagntico; algunos
son mucho ms simples. La hiptesis fundamental es que el comportamiento ondulatorio de
cualquier tipo de partcula puede ser resumido en un sistema de ecuaciones de campos, con una
o ms variable de campo. Suponemos tambin que las ecuaciones deben ser invariantes en las
transformaciones de Lorentz, obedeciendo de esta manera el requisito relativista de que todas
las leyes de la naturaleza presentan la misma forma en todos los sistemas de referencia.
Las variables de campo no son accesibles a la observacin directa, pero sus valores, como
en el caso electromagntico, pueden ser deducidos de observaciones sobre sistemas materiales.
La comprensin de este hecho debe evitar dudas respecto de la naturaleza de estas variables.
Ellas presentan mucha o poca realidad, como sucede, respectivamente, en los casos de los
vectores de campo elctrico y magntico o en el caso de las funciones de potencial de la
mecnica clsica. Es mejor considerarlas como entes matemticos, cuyo significado se
encuentra en la posibilidad de ellas ser empleadas para describir y predecir modificaciones
observables en el comportamiento de los sistemas materiales.
Ejemplos de campos clsicos son los campos que encontramos en la teora gravitacional y
electromagntica. Son causadas por la presencia de masa y carga, respectivamente.
1.4. FORMULACIN LAGRANGIANA
Para desarrollar la teora de campos, la formulacin lagrangiana, es considerada. En esta
formulacin la dinmica del sistema es descrito por una funcin, la lagrangiana. Luego usando
el principio variacional de la lagrangiana se obtienen las ecuaciones de movimiento, el cual
gobierna la evolucin del sistema.
11
El uso del principio variacional para obtener las ecuaciones de movimiento en el caso de la
fsica clsica es muy conocido. Tenemos, como ejemplos, el principio de Fermat en ptica
(1657) y el principio de Maupertuis en mecnica (1744).
Por otro lado, existen dos razones importantes para considerar la formulacin lagrangiana
en teora clsica de campos:
1. La lagrangiana o la integral de la densidad lagrangiana sobre el espacio-tiempo, debe ser
invariante frente a todas las simetras de la teora en estudio. Este aspecto de la formulacin
lagrangiana es ms aceptado por las teoras relativistas, debido a que permite tratar el
espacio y el tiempo de la misma manera, en contraste a otras aproximaciones donde la
descripcin es para una evolucin temporal.
2. Mencionada por Dirac y elaborada por Feynman; permite la formulacin de integrales de
camino de la mecnica cuntica. De tal forma que el operador de evolucin para una
funcin de onda de la mecnica cuntica pueda ser expresado como una suma sobre todos
los caminos.
Para introducir los conceptos bsicos de la formulacin lagrangiana, es conveniente considerar
la mecnica clsica. Para esto, vamos a suponer que se tiene un sistema formado por n
partculas todas con la misma masa. Su movimiento clsico es descrito en trminos de las
coordenadas ) (t q
i
, ) n i ,..., 3 , 2 , 1 = . Estas 3 n coordenadas describen una trayectoria en el
espacio-tiempo. De acuerdo a la ley de Newton, tenemos
) ( ) ( t F t q m
i i
= .
En el caso de fuerzas conservativas, se tiene que
i
i
dq
dV
F = ,
con V representando el potencial donde se encuentran las partculas.
Como es conocido, si el valor de las coordenadas ) (t q
i
y las velocidades ) (t q
i
en un
tiempo inicial son establecidos, las leyes de Newton permiten construir la trayectoria completa
en trminos de las funciones de coordenadas ) (t q
i
. Alternativamente, se puede determinar una
trayectoria especificando el valor de las coordenadas ) (t q
i
en dos tiempos diferentes, es decir
) (
1 1
t q q
i i
= y ) (
2 2
t q q
i i
= . De esta manera, de la infinita variedad de maneras en la cual el
sistema fsico puede evolucionar desde
1 i
q hasta
2 i
q , la ecuacin de Newton considera
nicamente una trayectoria particular.
Ahora suponga que asignamos un nmero real a cada posible trayectoria entre
1 i
q y
2 i
q .
Un objeto que asigna un nmero a una funcin es llamado: una Funcional y se denota por
j ) (t q S
i
.
12
Es posible definir una funcional, llamada la ACCIN, tal que el nmero asignado al
camino fsico entre
1 i
q y
2 i
q es predicho por la ley de Newton correspondiente a un valor
estacionario de esta funcional.
De esta manera, existen dos aproximaciones alternativas al problema, el cual tienen
resultados equivalentes, es decir:
1. Solucionar las ecuaciones de Newton, o
2. Encontrar la trayectoria para el cual la funcional accin tiene un mnimo.
Con la finalidad de desarrollar la segunda alternativa, vamos a definir la funcional accin
j ) (t q S
i
, como la integral temporal de la lagrangiana ) , (
i i
q q L , es decir
j
}
=
2
1
)) ( ), ( ( ) (
t
t
i i i
t q t q L dt t q S . (1.1)
Observe que (1.1) es una funcional, debido a que asigna un nmero a cada trayectoria dada,
descrito por ) (t q
i
. Asimismo, el principio variacional dice que la evolucin (trayectoria)
seguida por un sistema fsico es aquella para el cual la accin j ) (t q S
i
tiene un extremo,
j 0 ) ( = t q S
i
o , (1.2)
para todas las trayectorias ) (t q
i
que tienen los puntos extremos en
1
t t = y
2
t t = . Este
principio variacional es conocido como PRINCIPIO DE HAMILTON.
Independientemente de la forma precisa de la lagrangiana, se puede mostrar que las
soluciones del principio de Hamilton satisface la llamada ecuacin de Euler-Lagrange, tambin
conocida como ecuacin de movimiento, dada por
0 =
c
c

|
|
.
|

\
|
c
c
i i
q
L
q
L
dt
d

. (1.3)
Para demostrar (1.3), vamos a considerar cambios infinitesimales sobre una trayectoria
dada y estudiar la variacin de la accin. De esta manera, para transformaciones infinitesimales
arbitraria de la trayectoria, es decir
) ( ) ( ) ( t q t q t q
i i i
o + ,
) ( ) ( ) ( t q t q t q
i i i
o + ,
tal que, 0 ) (
1
= t q
i
o y 0 ) (
2
= t q
i
o , se tiene
j j j ) ( ) ( ) ( ) ( t q S t q t q S t q S
i i i i
+ = o o ,
j
} |
|
.
|

\
|
c
c
+
c
c
=
2
1
) (
) (
) (
) (
) (
t
t
i
i
i
i
i
t q
dt
d
t q
L
t q
t q
L
dt t q S o o o

. (1.4)
13
Sin embargo, como
) (t q
q
L
dt
d
q
dt
d
q
L
q
q
L
dt
d
i
i
i
i
i
i
o o o
|
|
.
|

\
|
c
c
+
c
c
=
|
|
.
|

\
|
c
c

,
entonces
) (t q
q
L
dt
d
q
q
L
dt
d
q
dt
d
q
L
i
i
i
i
i
i
o o o
|
|
.
|

\
|
c
c

|
|
.
|

\
|
c
c
=
c
c

,
as (1.4) es dado por
j
} } |
|
.
|

\
|
c
c
+
|
|
.
|

\
|
|
|
.
|

\
|
c
c

c
c
=
2
1
2
1
) (
) (
) (
) (
) (
) (
t
t
i
i
t
t
i
i
i
i
i
q
t q
L
dt
d
dt t q
t q
L
dt
d
t q
t q
L
dt t q S o o o o

,
j
2
1
2
1
) (
) (
) ( ) (
) (
t
t
i
i
t
t
i
i i
i
q
t q
L
t q
t q
L
dt
d
t q
L
dt t q S o o o
c
c
+
|
|
.
|

\
|
|
|
.
|

\
|
c
c

c
c
=
}
,
y como 0 ) (
1
= t q
i
o , 0 ) (
2
= t q
i
o y ) (t q
i
o es arbitrario, se obtiene, considerando (1.2):
0 =
c
c

|
|
.
|

\
|
c
c
i i
q
L
q
L
dt
d

.
Por tanto, el movimiento clsico de un sistema de partculas se obtiene del principio de
Hamilton e inversamente cualquier solucin de las ecuaciones de Euler-Lagrange corresponde
a un punto estacionario de la funcional accin.
Una vez que la lagrangiana es conocida, el siguiente paso es construir constantes de
movimiento, es decir, cantidades que permanecen invariantes en el tiempo. Por ejemplo,
cuando L no depende explcitamente de
i
q , caso en el cual se tiene que
0 =
c
c
i
q
L
, el momento
generalizado
i
p , definido como
i
i
q
L
p
c
c
= , es una constante. Este resultado es inmediato de
(1.3). Estas constantes son llamadas las integrales de momento de las ecuaciones de
movimiento.
La ventaja de la formulacin lagrangiana, est basada sobre una funcin escalar, la
lagrangiana, la cual puede ser definida para cualquier conjunto de coordenadas generalizadas
) (t q
i
. Si la teora en estudio tiene simetra, entonces la accin debe ser invariante sobre esa
simetra. En ese caso, se puede demostrar que las correspondientes ecuaciones de Euler-
Lagrange son invariantes, en el sentido que las transformaciones de simetra aplicada a una
solucin dada de estas ecuaciones llevaran a otras soluciones. La propiedad de invariancia es
algunas veces todo lo que se necesita de manera de deducir la accin ara un sistema dado.
14
1.5 LA LAGRANGIANA PARA SISTEMAS CONTINUOS
Hasta aqu hemos tratado con un sistema finito de grados de libertad. Sin embargo, es
necesario la transicin a un nmero infinito de grados de libertad, debido al tratamiento de
sistemas continuos, tal como un slido vibrando, desde que su movimiento es descrito
especificando las coordenadas de posicin de todos los puntos. El caso continuo puede ser
aproximado considerando el lmite apropiado de un sistema con un nmero finito de
coordenadas discretas. Para ilustrar este procedimiento vamos a considerar una barra elstica
de longitud , que sufre pequeas vibraciones longitudinales. La barra continua puede ser
aproximada por un conjunto de coordenadas discretas representando una cadena de n
partculas de igual masa, separadas una distancia a y unidas por resortes (sin masa) de
constante k . De esta manera la longitud total del sistema es a n ) 1 ( + = .
Si el desplazamiento de la i-sima partcula desde su posicin de equilibrio es medida por
la cantidad
i
| entonces la energa cintica de esta red unidimensional es
_
=
=
n
i
i
m T
1
2
2
1
|

. (1.5)
La energa potencial es la suma de las ) 1 ( + n energas potenciales de cada resorte, como
respuesta de estar siendo estirado o comprimido de su longitud de equilibrio, es decir
, )
_
=
+
=
n
i
i i
k V
0
2
1
2
1
| | . (1.6)
Adems, la fuerza sobre la i-sima partcula, se obtiene de
i
i
V
F
| c
c
= , entonces
, ) , ) , )
i i i i i i i i
k k k F | | | | | | | 2
1 1 1 1
+ = =
+ +
.
De esta manera, de (1.5) y (1.6) podemos obtener la lagrangiana, es decir
, )
_ _
= =
+
= =
n
i
n
i
i i i
k m V T L
1 0
2
1
2
2
1
2
1
| | |

. (1.7)
Usando la ecuacin de Euler-Lagrange (1.3), obtenemos la ecuacin de movimiento, dada
por
i i
F m = |

.
A continuacin, con la finalidad de pasar al lmite continuo, vamos a incrementar el
nmero de partculas al infinito , ) n con las condiciones de mantener la longitud total,
a n ) 1 ( + = , y la masa por unidad de longitud
a
m
= fijos. Por tanto, ka Y = debe tambin
ser mantenido fijo.
Recordando la ley de Hooke, el estiramiento de una barra por unidad de longitud es
directamente proporcional a la fuerza ejercida sobre la barra, donde el modulo de Young es una
constante de proporcionalidad. Tenemos, para nuestro caso discreto, que la fuerza entre dos
15
partculas es , )
i i
k F | | =
+1
, y adems como el espacio entre dos partculas por unidad de
longitud es , ) a
i i
/
1
| |
+
, se tiene que ka Y = es el modulo de Young, el cual debe permanecer
constante en el lmite continuo. De esta manera, escribimos (1.7) como
_ _
= =
+
|
.
|

\
|

|
.
|

\
|
=
n
i
n
i
i i
i
a
ka a
a
m
a L
1 0
2
1
2
) (
2
1
2
1 | |
|

.
Considerando el lmite 0 a y n con a n ) 1 ( + = ,
a
m
= y ka Y = fijos, se tiene,
en este caso, que la coordenada de posicin continua x reemplaza al ndice i y
i
| es una
funcin de x , es decir ) (x
i
| | . De esta manera, la lagrangiana es dada por una integral
sobre la longitud de la barra:
, )
}
c =

0
2 2
) (
2
1
| |
x
Y dx L . (1.8)
Como existe una coordenada generalizada
i
| para cada i , existe una coordenada
generalizada ) (x | para cada x , es decir, el nmero finito de coordenadas
i
| ha sido
reemplazado por una funcin de x . De hecho ) (x | tambin depende del tiempo, as tenemos
una funcin de dos variables, ) , ( t x | llamada el campo desplazado, y | |
t
c =

y |
x
c son sus
derivadas parciales con respecto a t y x , respectivamente.
La lagrangiana (1.8) es una integral sobre x de
2 2
) (
2
1
| |
x
Y l c =

, (1.9)
llamada la densidad lagrangiana. En este caso es una funcin de ) , ( t x | y sus derivadas
parciales ) , ( t x
t
| c y ) , ( t x
x
| c , pero puede ser fcilmente generalizada. Una relacin
importante es la accin, la cual puede ser escrita como:
j , )
} }
c =
2
1
0
) , ( ), , ( ), , ( ) , (
t
t
x
t x t x t x l dx dt t x S

| | | | .
Las ecuaciones de Hamilton para ) , ( t x | se obtienen del principio de Hamilton. Para las
transformaciones infinitesimales:
) , ( ) , ( ) , ( t x t x t x | o | | + ,
) , ( ) , ( ) , ( t x
t
t x t x
t t
| o | |
c
c
+ c c ,
) , ( ) , ( ) , ( t x
x
t x t x
x x
| o | |
c
c
+ c c ,
se tiene
j j j ) , ( ) , ( ) , ( ) , ( t x S t x t x S t x S | | o | | o + = ,
16
j
} } |
|
.
|

\
|
c
c
c c
c
+
c
c
c c
c
+
c
c
=
2
1
0
)) , ( (
)) , ( (
)) , ( (
)) , ( (
) , (
) , (
) , (
t
t x t
t x
x t x
l
t x
t t x
l
t x
t x
l
dx dt t x S

| o
|
| o
|
| o
|
| o ,
pero como
o|
|
o|
|
o|
|
} } |
|
.
|

\
|
c c
c
c
c

c c
c
=
c
c
c c
c
2
1
2
1
2
1
) ( ) ( ) (
t
t
t
t t
t
t
t t
l
t
dt
l
t
l
dt ,
o|
|
o|
|
o|
|
} } |
|
.
|

\
|
c c
c
c
c

c c
c
=
c
c
c c
c

0 0
0
) ( ) ( ) (
x x v
l
x
dx
l
x
l
dx ,
entonces
j 0
)) , ( ( )) , ( ( ) , (
) , (
2
1
0
=
|
|
.
|

\
|
c c
c
c
c

c c
c
c
c

c
c
=
} }
t
t x t
t x
l
x t x
l
t t x
l
dx dt t x S

| | |
o| | o ,
as, de la igualdad a cero, debida a (1.2), de esta expresin se obtiene:
0
)) , ( ( )) , ( ( ) , (
=
c c
c
c
c

c c
c
c
c

c
c
t x
l
x t x
l
t t x
l
x t
| | |
,
que es la ecuacin de Euler-Lagrange para un sistema continuo.
La generalizacin para sistemas continuos en ms dimensiones es ahora obvio, y se puede
extender simplemente las definiciones de la densidad lagrangiana y las ecuaciones de Euler-
lagrange.
17
CAPTULO 2
FORMALISMO LAGRANGIANO DE LA TEORA CLSICA DE CAMPOS
2.1 FORMULACIN LAGRANGIANA PARA CAMPOS
En este captulo, introducimos los campos para medir los desplazamientos desde una
posicin de equilibrio. Para esto, vamos a considerar campos arbitrarios, sin especificar los
grados de libertad que ellos describen. Estos campos sern funciones del 4-vector del espacio-
tiempo , ) , ) z y x ct x x x x x = = , , , , , ,
3 2 1 0
o , ) , ) z y x ct x x x x x , , , , , ,
3 2 1 0
= =

.
Por ejemplo, una densidad lagrangiana puede depender de los campos y sus primeras
derivadas, es decir ) , ( | |

c = . Tambin se puede considerar que el campo interacta con
una fuente externa, es decir, describe un sistema no cerrado. As, cuando se quiere estudiar los
campos elctricos y magnticos producidos por una distribucin de corriente elctrica, es
posible describir este caso, considerando una fuente externa, cuya dependencia en la densidad
lagrangiana es ) , , (

| | x c = .
Por otro lado, vamos a definir la funcional accin, para un campo | que interacta con una
fuente externa y de ah su dependencia en

x , como
, ) x d x S
4
, ,
}
c =

| | , (2.1)
donde, consideramos que el campo | se encuentra en una regin R del espacio-tiempo, con
frontera R c .
Si a continuacin hacemos las variaciones en las coordenadas

x y en el campo | ,
variaciones estas que se anulan en la frontera R c , es decir 0 = | o y 0 =

ox ,

o x x x x + = ' , (2.2)
) ( ) ( ) ( ) ( x x x x | o | | | + = ' , (2.3)
y definimos la variacin total como
) ( ) ( ) ( x x x | | | A + = ' ' ,
donde ) (x | A en primera orden de

ox es

o | o| | x x x ) ( ) ( ) ( c + = A ,
la variacin de la accin es dada por
, ) , ) x d x x d x S
4 4
, , , ,
} }
c ' ' ' c ' =

| | | | o ,
donde x d x x J x d
4 4
) , ( ' = ' y ) , ( x x J ' es el Jacobiano de la transformacin x x ' .
18
De (2.2) se tiene
) ( 1 det ) , (

ox
x
x
x x J c + =
|
|
.
|

\
|
c
' c
= ' .
Considerando slo trminos hasta segunda orden, tenemos
, ), ) , ) x d x x d x x S
4 4
, , ) ( 1 , ,
} }
c c + ' ' c ' =

| | o | | o ,
, ) x d x S
4
) (
}
c + =

o o o , (2.4)
donde

o | o
|
| o
|
o x
x c
c
+ c
c c
c
+
c
c
=

) (
) (
. (2.5)
Adems, de la ecuacin (2.3), se tiene
) ( ) ( | o | o

c = c . (2.6)
Sustituyendo las relaciones (2.5), (2.6) en (2.4) y colocando
) ( ) (

o o o x x
x
x c +
c
c
= c

,
obtenemos la siguiente expresin:
}
|
|
.
|

\
|
c + c
c c
c
+
c
c
=
R
x d x S
4
) ( ) (
) (

o | o
|
| o
|
o

. (2.7)
Observe que el tercer trmino es una divergencia total. El segundo trmino puede ser
escrito como
o|
|
o|
|
o|
|

|
|
.
|

\
|
c c
c
c
|
|
.
|

\
|
c c
c
c = c
c c
c
) ( ) (
) (
) (

,
donde el primer trmino tambin es una divergencia total.
Podemos escribir las divergencias totales como las integrales sobre la frontera R c
(Teorema de Gauss). De esta manera (2.7) se escribe como
} }
c
|
|
.
|

\
|
+
c c
c
+
|
|
.
|

\
|
|
|
.
|

\
|
c c
c
c
c
c
=
R R
d x x d S

o o | o
|
| o
| |
o

) ( ) (
4
. (2.8)
Como por hiptesis consideramos que 0 = | o , y 0 =

ox sobre R c , entonces el segundo


trmino en (2.8) se anula y la condicin que la accin sea estacionaria, 0 = S o implica las
ecuaciones de Euler-Lagrange:
0
) (
=
|
|
.
|

\
|
c c
c
c
c
c
| |


.
19
CAPTULO 3
TEOREMA DE NOETHER
En este captulo, vamos a estudiar otras consecuencias del uso del principio variacional. Es
decir, usando las simetras de la accin se llegarn a principios de conservacin. Por ejemplo,
recordando que en mecnica clsica, si el hamiltoniano es independiente del tiempo, entonces
la energa es conservada. De la misma manera, si el hamiltoniano es invariante frente a
transformaciones de traslacin entonces el momento es conservado.
Independencia Temporal implica conservacin de la energa.
Independencia de traslacin implica conservacin del momento.
Independencia rotacional implica conservacin del momento angular orbital.
En teora de campos y en fsica de partculas un teorema importante es el Teorema de
Noether, el cual dice: si la accin es invariante por una reparametrizacn de una
transformacin en

x y | , en otras palabras, si la accin es invariante sobre algn grupo de
transformacin en

x y | , entonces existe una o ms cantidades conservadas, es decir,
combinaciones de campos y sus derivadas son invariantes sobre las transformaciones.
El Teorema de Noether considera las conservaciones de energa, momento, momento
angular y otros nmeros cunticos, como carga isospn, color, etc. que posee la partcula.
Para encontrar las cantidades conservadas, partimos considerando la expresin (2.8), es
decir
=
|
|
.
|

\
|
+
c c
c
+
|
|
.
|

\
|
|
|
.
|

\
|
c c
c
c
c
c
=
} }
cR R
d x l x d S

o o o|
|
o|
| |
o
) ( ) (
4

} }
c
|
|
.
|

\
|
c
c c
c
c
c c
c
+ +
c c
c
+
|
|
.
|

\
|
|
|
.
|

\
|
c c
c
c
c
c
R R
d x x x l x d

v
v

v
v

o o |
|
o |
|
o o|
|
o|
| |
) (
) (
) (
) ( ) ( ) (
4

+
|
|
.
|

\
|
|
|
.
|

\
|
c c
c
c
c
c
=
}
R
x d S
4
) (
o|
| |
o


}
c
|
|
.
|

\
|
|
|
.
|

\
|
c
c c
c
c +
c c
c
+
R
d x x x

v
v

v
v

o o o |
|
o | o|
|


) (
) (
) ) ( (
) (
. (3.1)
Adems, como

o x x x x + = ' ,
) ( ) ( ) ( ) ( x x x x | o | | | + = ' ,
20
podemos definir una variacin total en | , | A , por
) ( ) ( ) ( x x x | | | A + = ' ' ,
) ( ) ( ) ( ) ( ) ( x x x x x ' ' + ' ' = A | | | | |
) ( ) ( ) ( ) ( x x x x | | | | ' + ' ' ' =
) ( ) ( ) ( x x x | | o| ' + = .
De esta manera, se tiene


o | | o | | x x x x x x ) ( ) ( ) ( ) ( c + = + = ' ,
, )

o | | | x x x c = ' ) ( ) ( .
Por lo tanto,

o | o| | x x x ) ( ) ( ) ( c + = A .
As, reemplazando en (3.1), obtenemos
} }
c
|
|
.
|

\
|
O A
c c
c
+
|
|
.
|

\
|
|
|
.
|

\
|
c c
c
c
c
c
=
R R
d x d S

o |
|
o|
| |
o
) ( ) (
4

, (3.2)
donde


v v

v
o |
|
c
c c
c
= O ) (
) (
. (3.3)
A continuacin, vamos a considerar que la accin S es invariante sobre un grupo de
transformaciones infinitesimales en

x y | , dadas por
v
v

e o X = Ax , (3.4)

e o | u = A , (3.5)
donde

e es un parmetro infinitesimal. De esta manera, del segundo termino de (3.2),
tenemos
}
c
=
|
|
.
|

\
|
X O u
c c
c
R
d 0
) (

v q
v

q v

o oe
|

,
y como
v
e o es arbitrario, entonces se obtiene
21
}
c
=
R
d J 0

v
o ,
donde
q
v

q v

v
|
X O u
c c
c
=
) (

J .
Por otro lado, usando el Teorema de Green para pasar la integral de superficie a una
integral de volumen, se tiene
} }
c
= = c =
R R
x d J d J 0
4
v

v
o ,
por lo tanto,
0 = c

v
J . (3.6)
Es decir, tenemos una corriente

v
J conservada. La existencia de esta corriente se obtuvo de la
invariancia de la accin sobre las transformaciones (3.4) y (3.5). Adems de (3.6), se tiene para
un instante de tiempo que
0
3 3 0
0
= c + c
} }
x d J x d J
i
i
V V
v v
,
y usando el Teorema de Gauss en el segundo termino de la expresin anterior, tenemos
0
3
= = c
} }
cV
i
i i
i
V
d J x d J o
v v
,
sobre la consideracin que los campos se anulan en la superficie. De esta manera, (3.6) se
reduce a
0
3 0
=
}
x d J
dt
d
V
v
.
Si ahora definimos, para t constante
x d J Q
V
3 0
v v
}
= ,
entonces se tiene
0 =
v
Q
dt
d
,
es decir, se tiene una carga conservada.
Resumiendo, la simetra de la accin implica la conservacin de una corriente, el cual lleva
a un principio de conservacin.
22
CAPTULO 4
TENSOR ENERGA-MOMENTO Y MOMENTO ANGULAR
En este captulo, continuando con el estudio realizado referente al Tensor de energa-
momento

v
O , es necesario estudiar sus componentes, as de
L
L

v v

v
o |
|
c
c c
c
= O ) (
) (
, (4.1)
se tiene:
- 0 = y 0 = v
L
L
0
0 0
0
0
0
) (
) (
o |
|
c
c c
c
= O ,
L
L

c
c
= O
.
.
0
0
|
|
,
adems, como
L
_
=
=
n
i
i i
q p H
0
.
y
.
i
i
q
p
c
c
=
L
,
entonces
0
0
O es una densidad de energa y para
- 0 = y 0 = v
L
L
0
0
0
) (
) (
v v v
o |
|
c
c c
c
= O ,
L
L
0
.
0
) (
v v v
o |
|
c
c
c
= O .
Por otro lado, para el caso de una translacin infinitesimal respecto del origen del espacio-
tiempo, es decir,

= Ax , (4.2)
0 = A| , (4.3)
as,
v
v

e o = X = Ax , (4.4)
entonces

v
o = X .
De la misma manera, de
23
0 = u = A

e o | , (4.5)
tenemos que
0 = u

.
y como la corriente es dada por,
q
v

q v

v
|
X O u
c c
c
=
) (
L
J ,
entonces

v
q
v

q
q
v

v
o O = O = X O = J ,
as, para el caso 0 = y 0 = v , se tiene que
0 0
v v
O = J y como
0
3 0
=
}
x d J
dt
d
V
v
,
obtenemos que
0
3 0
= O
}
x d
dt
d
V
v
.
De esta manera,
0
v
O es una cantidad que se conserva, y en analoga con la mecnica
clsica, ser el 4-momento o energa-momento del campo ) (x | . Por lo tanto, (4.1) puede ser
llamado un tensor de energamomento. Por ejemplo, si consideramos la siguiente densidad
lagrangiana:
, ), )
2
2
2 2
1
| | |

m
c c = L , (4.6)
se tiene que
, ) , )
, ) , ) , ) | |
| |
v o
ov

c c
c c
c
=
c c
c
g
2
1 L
,
, )
, ) , ) , ) | o | o
|
v
o

ov
o
v

ov

c + c =
c c
c
g g
2
1 L
,
, )
, ) | | |
|

c = c + c =
c c
c
2
1 L
,
as, en (4.1) tenemos
L

| |

|
o | | c c = O ) )( ( ,
L

|
|v
|
|v
|
|v v
o | | g g g c c = O = O ) )( ( ,
L
v v v
| | g c c = O ) )( ( .
Por tanto, este tensor es simtrico en y v . De esta manera, para el campo escalar, el
tensor energa-momento es simtrico. Sin embargo, en general no es claro que (4.1) sea
24
simtrico. Adems, no es nico, es decir, es posible adicionar un trmino de la forma
iv
i
f c
donde
iv iv
f f = , entonces
iv
i
iv
i
iv
i
iv
i
f f f f c c = c c = c c = c c ,
luego, si hacemos i , se tiene
0 = c c
iv
i
f . (4.7)
De esta manera, definimos un nuevo tensor de la forma:
iv
i
v v
f T c + O = , (4.8)
tal que, usando (4.7) se obtiene
v

v
=
O c = c T ,
y como

v

v
O = J y 0 = c

v
J , entonces 0 = O c

v
, as
0 = c
v

T ,
es decir, este nuevo tensor de energa-momento es conservado como el anterior, la adicin de
un tensor extra al tensor energa-momento no afecta la energa y el momento, los cuales son
cantidades medibles. Este tensor
v
T es llamado tensor de energa-momento cannico.
Existe otra razn para que
v
T sea simtrico, el cual surge cuando consideramos el
momento angular. En este caso, se exige que la accin sea invariante frente a rotaciones
espaciales, es decir
j j i i
x x o = , (4.9)
i j j i
= , (4.10)
donde 3 , 2 , 1 , = j i y
j i
es una matriz antisimtrcia que describe las rotaciones.
Como el grupo de rotacin es un subgrupo del grupo de Lorentz, es posible generalizar
(4.9):
v
v

o x x = , (4.11)
con
v v
= . De esta manera, (4.11) puede ser escrito como:
o
o

o X = x , (4.12)
donde
o

o
o x = X . Adems, de
v v
= se tiene que

o
X es antisimtrico en o , es
decir

o

o
X = X . En este caso, para encontrar la corriente de Noether conservada usamos
q
v

q v

v
|
X O u
c c
c
=
) (
L
J ,
el cual para 0 = u
v
y sustituyendo
v
T por
v
O se tiene que
25
q
v

v
X = T J .
Sin embargo, en este caso

v
X no es de dos ndices, si no de tres, es decir
qo
q
o
X = T J .
Por otro lado, como
o
es antisimtrico en y o , solamente la parte de X antisimtrica
en sus ndices inferiores contribuyen en (4.12), as podemos tener de:
o
o

o X = x
haciendo o
o
o

o X = x ,
luego sumando estas expresiones, se obtiene:
, )
o
o

o X X =
2
1
x ,
de esta manera, si definimos
, )

o
X X = X
2
1
entonces
, )
qo
q
qo
q
o
X X = T T J
2
1
,
y si usamos
o

o
o x = X , tenemos que
, )
qo
q
o q
q
o
o o x T x T J =
2
1
,
, )
o o o
x T x T J =
2
1
. (4.13)
Es posible demostrar que la componente 0 = , de esta corriente es (a menos de un factor
numrico) la densidad del momento angular del campo, es decir, para 0 = en (4.13) se tiene
que:
, )
o o o
x T x T J
0 0 0
2
1
= .
Adems, anteriormente encontramos que
v 0
T es el 4-momento del campo | entonces
podemos definir la densidad de momento angular del campo | , como:
, )
v v v
x T x T
0 0 0
= M ,
y el momento angular es dado por
, ) x d x T x T M
3 0 0
}
=
v v v
,
o podemos escribirlo de la forma:
x d M
3 0
}
=
v v
M .
Asimismo, para estudiar si es una cantidad conservada, hacemos
26
, ) , )
v

x T x T c c = c M ,
, ) , ) , ) , )

v v

x T x T x T x T c c c + c = c M ,

v v

o o T T = c M ,
v v v

T T = c M ,
es decir, para que la densidad del momento angular del campo ) (x | se conserve se debe tener
que
v v
T T = .
Por tanto, la conservacin del momento angular exige que el tensor de energa-momento
sea simtrico. Adems, se tiene para un instante del tiempo que
0
3 3 0
0
3
= c + c = c
} } }
x d x d x d
V
i
i
V V
v v v

M M M ,
0
3 0
0
= + c
} }
c
i
V
i
V
d x d o
v v
M M ,
y como en las fronteras el campo es nulo, entonces el segundo trmino del lado izquierdo es
nulo, as tenemos que
0
3 0
=
}
x d
dt
d
V
v
M .
Si definimos, para t constante
x d Q
V
3 0
}
=
v
v
M ,
entonces se tiene
0 =
v
Q
dt
d
,
El cual indica que encontramos una carga conservada.
Por tanto, existen tres componentes del momento angular del campo | que son
componentes espaciales de
v
M , es decir
12
M ,
23
M y
31
M . Tres componentes tipo espacio-
tiempo
01
M ,
02
M y
03
M que estn relacionados con el centro de masa del sistema y son
conservadas en virtud de la invariancia puramente de las transformaciones de Lorentz.
27
CAPTULO 5
SIMETRAS INTERNAS
En el captulo anterior, completamos el estudio sobre el origen de las leyes de conservacin
para la energa, momento y momento angular, todos ellos obtenidas de la simetras del espacio-
tiempo, va el Teorema de Noether.
Sin embargo, en la naturaleza existe otra cantidad conservada, la carga elctrica. La
cuestin es, si esto es debido a una simetra de la accin, cul es esa simetra?. Lgicamente no
puede involucrar

v
X , desde que estas simetras ya fueron estudiadas. Es decir, la simetra
mxima que podemos tener en el espacio de Minkowski es simetra sobre traslaciones,
desplazamientos temporales y transformaciones de Lorentz, los cuales ya fueron consideradas
todos ellos. Por lo tanto, cualquier simetra adicional debe provenir de ) (x

| , en otras
palabras, el campo escalar debe tener ms de una componente. En nuestro estudio no vamos a
considerar el caso de espinores o campos vectioriales; en estos casos las diferentes
componentes estn relacionadas por transformaciones de espacio-tiempo, con la consecuencia
que el tensor de momento angular conservado contiene un trmino adicional, interpretado
como el espn intrnseco, el cual no tiene relacin con la carga (el campo de Dirac es
considerado en este caso). La posibilidad ms simple es que | tenga dos componentes; y un
campo de dos componentes reales es matemticamente equivalente a un campo complejo, el
cual vamos a considerar.
5.1 CAMPO ESCALAR COMPLEJO
Si el campo escalar tiene dos componentes reales ) (
1
x | y ) (
2
x | , podemos escribirlo como:
, ) ) ( ) (
2
1
) (
2 1
x i x x | | | + = ,
, ) ) ( ) (
2
1
) (
2 1
*
x i x x | | | = ,
donde los campos ) (x | y ) (
*
x | son independientes.
De esta manera, la densidad lagrangiana
, ) , ), ) ) ( ) ( ) ( ) ( ) ( , ( ); ( ), (
* 2 *
*
)
*
x x m x x x x x x | | | | | | | |

c c = c c L , (5.1)
es real, lo cual puede ser verificado si hacemos
, ), ) , ) , ) ) ( ) (
2
1
) ( ) (
2
1
) ( ) (
2 1 2 1
*
x i x x i x x x | | | | | |
=

c c c + c = c c ,
, ), ) , ), ) , ), ) , + c c c c = c c ) ( ) ( ) ( ) (
2
1
) ( ) (
2 1 1 1
*
x x i x x x x | | | | | |

28
, ), ) , ), )) ) ( ) ( ) ( ) (
2 2 1 2
x x x x i | | | |

c c + c c + ,
, ), ) , ), ) , ), ) ) ( ) (
2
1
) ( ) (
2
1
) ( ) (
2 2 1 1
*
x x x x x x | | | | | |

c c + c c = c c ,
asimismo,
, ), ) ) ( ) ( ) ( ) (
2
) ( ) (
2 1 2 1
2
* 2
x i x x i x
m
x x m | | | | | | + = ,
, ) ) ( ) ( ) ( ) ( ) ( ) (
2
) ( ) (
2
2 1 2 2 1
2
1
2
* 2
x x x i x x i x
m
x x m | | | | | | | | + + = ,
) (
2
) (
2
) ( ) (
2
2
2
2
1
2
* 2
x
m
x
m
x x m | | | | = ,
as, tenemos que
, ) , ), ) , ), )
2
) ( ) (
2
1
) (
2
) ( ) (
2
1
) ( , ( ); ( ), (
2
2 2
2
1
2
1 1 2
)
2 1 1
m
x x x
m
x x x x x x c c + c c = c c | | | | | | | | |

L ,
es decir, la densidad lagrangiana es una suma de densidades lagrangianas de los campos
escalares reales.
Para determinar la ecuacin de movimiento del campo | y
*
| , usamos Euler-Lagrange. Por
ejemplo, para
*
| consideramos
0
)) ( ( ) (
* *
=
|
|
.
|

\
|
c c
c
c
c
c
x x | |

L L
,
y de (5.1), tenemos
) (
) (
2
*
x m
x
|
|
=
c
cL
,
, ) ) (
)) ( (
*
x
x
|
|

c c =
|
|
.
|

\
|
c c
c
c
L
,
y la ecuacin de movimiento para | ser:
, ) 0 ) (
2
= + c c x m |

. (5.2)
De la misma manera se puede obtener la ecuacin de movimiento para el campo
*
| , dada
por:
, ) 0 ) (
* 2
= + c c x m |

. (5.3)
29
Reconocemos que estas son las ecuaciones de movimiento tipo Klein-Gordon, para los
campos independientes ) (x | y ) (
*
x | .
Por otro lado, es posible demostrar que la densidad lagrangiana L, es invariante sobre las
transformacin de gauge, dada por
) ( ) ( ) ( x x e x
i
| | =
A
, (5.4)
) ( ) ( ) (
* * *
x x e x
i
| | =
A
, (5.5)
donde Aes una constante real. Las relaciones (5.4) y (5.5) son llamadas Transformacin de
Gauge Global o de primer tipo. Es posible demostrar que (5.1) es invariante sobre estas
transformaciones, para esto hacemos:
, ) , ), ) ) ( ) ( ) ( ) ( ( , ( ); ( ), (
* 2 *
)
*
)
*
x x m x x x x x x

c c = c c L ,
, ) , ) , ) , ) , ) ) ( ) ( ) ( ) ( ( , ( ); ( ), (
* 2 *
)
*
)
*
x e x e m x e x e x x x x
i i i i
| | | |

A A A A
c c = c c L ,
, ) , ), ) ) ( ) ( ) ( ) ( ( , ( ); ( ), (
* 2 *
)
*
)
*
x x m x x x x x x | | | |

c c = c c L ,
, ) , ) ) ( ), ( ); ( ), ( ( , ( ); ( ), (
* *
)
*
)
*
x x x x x x x x | | | |

c c = c c L L ,
es decir, la densidad lagrangiana (5.1) es invariante sobre las transformaciones de gauge global.
Adems, para el caso de A pequeo (parmetro de transformacin infinitesimal), la
transformacin, es su forma infinitesimal, es dada por:
) (
! 3 ! 2
1 ) ( ) (
3 2
x i i x e x
i
| |
|
|
.
|

\
|

A
+
A
A = =
A
,
) (
! 3 ! 2
1 ) ( ) (
*
3 2
* *
x i i x e x
i
| |
|
|
.
|

\
|

A
A + = =
A
,
y como A es pequeo, podemos despreciar trminos del tipo
2
A ,
3
A , frente a A, de esta
manera las expresiones anteriores se reducen a la forma:
, ) ) ( ) ( ) ( 1 ) ( ) ( x i x x i x e x
i
| | | | A = A = =
A
, (5.6)
, ) ) ( ) ( ) ( 1 ) ( ) (
* * * * *
x i x x i x e x
i
| | | | A + = A + = =
A
. (5.7)
Adems, como
) ( ) ( ) ( x x x | o | + = , (5.8)
) ( ) ( ) (
* * *
x x x | o | + = , (5.9)
entonces comparando (5.6) con (5.8) y (5.7) con (5.9), se obtiene que:
30
) ( ) ( x i x | | o A = , (5.10)
) ( ) (
* *
x i x | | o A = . (5.11)
De la misma manera, tenemos:
, ) , ) , ) ) ( ) ( ) ( x i x x | o| | o

c A = c = c ,
, ) , ) , ) ) ( ) ( ) (
* * *
x i x x | o| | o

c A = c = c .
Debemos observar que como las transformaciones (5.6) y (5.7) no consideran el espacio-
tiempo, tenemos que es solamente interno, es decir, transformaciones solo sobre el propio
) (x | . Si ahora consideramos el grupo de transformaciones infinitesimales en

x y ) (x | , el
cual para transformaciones infinitesimales son de la forma, ver ecuaciones (3.4) y (3.5),
v
v

e o X = Ax , (5.12)

e o | ) ( ) ( x x u = A , (5.13)
donde

e es un parmetro infinitesimal, se tiene que 0 = X

v
y en consecuencia 0 = A

x . Sin
embargo, para las transformaciones infinitesimales en ) (x | y ) (
*
x | , dadas por (5.10) y (5.11),
respectivamente, se tiene que al comparar con (5.12) y (5.13) el parmetro infinitesimal

e es
A y
) ( ) ( x i x |

= u , (5.14)
) ( ) (
* *
x i x |

= u . (5.15)
Por otro lado, considerando el Teorema de Noether, se tiene que la corriente conservada, el
cual es dada por:
q
v

q v

v
|
X O u
c c
c
= ) (
)) ( (
x
x
J
L
,
y como 0 = X
q
v
entonces
) (
)) ( (
x
x
J
v

v
|
u
c c
c
=
L
.
Pero como en este caso los ndices internos de ) (x | tiene que ser sumados, de esta manera se
tiene contribuciones de ) (x | y ) (
*
x | , es decir:
) (
)) ( (
) (
)) ( (
*
*
x
x
x
x
J u
c c
c
+ u
c c
c
=
| |

L L
,
y usando (5.14) y (5.15), obtenemos
31
, ) , ) ) (
)) ( (
) (
)) ( (
*
*
x i
x
x i
x
J |
|
|
|

c c
c
+
c c
c
=
L L
, (5.16)
ms aun de
, ) , ), ) ) ( ) ( ) ( ) ( ) ( , ( ); ( ), (
* 2 *
*
)
*
x x m x x x x x x | | | | | | | |

c c = c c L ,
tenemos que
) (
)) ( (
*
x
x
|
|

c =
c c
cL
,
) (
)) ( (
*
x
x
|
|

c =
c c
cL
,
as (5.16) se escribe como:
, ) ) ( ) ( ) ( ) (
* *
x x x x i J | | | |

c c = . (5.17)
Ahora para estudiar si de esta expresin podemos obtener cantidades conservadas hacemos:
, ) , ) j ) ( ) ( ) ( ) (
* *
x x x x i J | | | |

c c c c = c ,
, ), ) , ), ) j ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* * * *
x x x x x x x x i J | | | | | | | |

c c c c c c + c c = c ,
y usando (5.2) y (5.3), tenemos que
0 = c

J ,
es decir, la 4-divergencia de

J es nula. En este caso la cantidad conservada para un instante
del tiempo viene dada por
0
3 3 0
0
= c + c
} }
x d J x d J
i
i
V V
v v
,
y usando el Teorema de Gauss en el segundo termino de la expresin anterior, es decir
0
3
= = c
} }
cV
i
i i
i
V
d J x d J o
v v
, (5.18)
adems sobre la consideracin que los campos se anulan en la superficie. De esta manera,
(5.18) se reduce a:
0
3 0
=
}
x d J
dt
d
V
v
.
Si ahora definimos, para t constante
x d J Q
V
3 0
v v
}
= ,
entonces se tiene
32
0 =
v
Q
dt
d
,
donde
, )
}
c c = dV x x x x i Q ) ( ) ( ) ( ) (
* 0 0 *
| | | | ,
es la cantidad conservada y se identificara con la carga elctrica.
Debemos mencionar que esta cantidad identificada con la carga elctrica no contiene la
carga e del electrn. Es una expresin clsica debido a que no contiene . No est cuantizado,
es decir, no se encuentra de acuerdo con el hecho que las cargas elctricas real todas parecen
ser mltiplos de una cantidad bsica. Adems, observe que si el campo fuera real ) ( ) (
*
x x | | = ,
Q es nulo y no existe cantidad conservada.
Por tanto, identificamos una cantidad conservada Q, como resultado de la invariancia de la
accin sobre una transformacin de gauge ) ( ) ( x e x
i
| |
A
y ) ( ) (
* *
x e x
i
| |
A
. En este caso
como A es una constante estas transformaciones deben ser las mismas en todos los puntos del
espacio-tiempo, es una transformacin global.
Sin embargo, este requerimiento no es posible, debido a que de acuerdo con la relatividad,
debe existir un tiempo mnimo igual al tiempo de viaje de la luz, es decir, la transformacin de
gauge global contradice la relatividad. Por esta razn, la consideracin de que A sea una
constante debe ser modificada. En el siguiente captulo veremos las consecuencias de
considerar A como una funcin del espacio-tiempo.
33
CAPTULO 6
LAGRANGIANO Y TENSOR ENERGA-MOMENTO DEL CAMPO
ELECTROMAGNTICO
Como mencionamos en el captulo anterior, cuando hacemos una transformacin de Gauge
Global en el espacio interno de ) (x | , es necesario hacer la misma transformacin (o rotacin)
en todos los otros puntos al mismo tiempo.
Sin embargo, esto es relativisticamente imposible, desde que contradice el Principio de la
Relatividad: ninguna seal (o informacin) puede ser instantneo. El tiempo mnimo entre un
punto y otro es el tiempo que la luz viaja entre ellos.
Una manera de evitar este problema es dejar de lado el requerimiento de que A es una
constante y escribimos A como una funcin de las coordenadas del espacio-tiempo ) (x A = A .
Estas transformaciones son conocidas como Transformaciones de Gauge Local o de
segundo tipo. En este caso, se tiene:
) ( ) ( ) (
) (
x x e x
x i
| | =
A
,
) ( ) ( ) (
* * ) ( *
x x e x
x i
| | =
A
,
con lo cual
, ) , ), ) ) ( ) ( ) ( ) ( ( , ( ); ( ), (
* 2 *
)
*
)
*
x x m x x x x x x

c c = c c L ,
, ) , ) , ) , ) , ) ) ( ) ( ) ( ) ( ( , ( ); ( ), (
* ) ( ) ( 2 * ) ( ) (
)
*
)
*
x e x e m x e x e x x x x
x i x i x i x i
| | | |

A A A A
c c = c c L ,
, ) , ) , ) j , ) j + c c + c = c c
A A A
) ( ) ( ) ( ( , ( ); ( ), (
* ) ( ) ( ) (
)
*
)
*
x e x e x e x x x x
x i x i x i
| | |

L
, ) , ) , ) ) ( ) ( ) (
* ) ( ) ( 2 * ) (
x e x e m x e
x i x i x i
| | |
A A A
c ,
, ) , ), ) + c c = c c ) ( ) ( ) ( ) ( ( , ( ); ( ), (
* 2 *
)
*
)
*
x x m x x x x x x | | | |

L
, ), ) , )

| | J x x x x x ) ( ) ( ) ( ) ( ) (
*
A c + A c A c ,
donde

J es la corriente del campo ) (x | dada por (5.17). Observe que en este caso la
densidad lagrangiana no es invariante sobre una Transformacin de Gauge Local, es decir
, ) , ) ) ( ), ( ); ( ), ( ( , ( ); ( ), (
* *
)
*
)
*
x x x x x x x x | | | |

c c = c c L L .
De esta manera, la siguiente tarea ser determinar una densidad lagranagiana que sea
invariante sobre una Transformacin de Gauge Local. Para lo cual consideramos las
transformaciones infinitesimales , ) 1 << A :
34
, ) ) ( ) ( ) ( ) ( ) ( 1 ) ( ) (
) (
x x i x x x i x e x
x i
| | | | A = A = =
A
, (6.1)
, ) ) ( ) ( ) ( ) ( ) ( 1 ) ( ) (
* * * * ) ( *
x x i x x x i x e x
x i
| | | | A + = A + = =
A
. (6.2)
Adems, como
) ( ) ( ) ( x x x | o | + = ,
) ( ) ( ) (
* * *
x x x | o | + = ,
entonces comparando estas expresiones con (6.1) y (6.2), respectivamente, se obtiene que:
) ( ) ( ) ( x x i x | | o A = , (6.3)
) ( ) ( ) (
* *
x x i x | | o A = . (6.4)
De la misma manera, tenemos:
, ) , ) , ) , ) ) ( ) ( ) ( ) ( ) ( ) ( x x i x x i x x | | o| | o

A c c A = c = c , (6.5)
, ) , ) , ) , ) ) ( ) ( ) ( ) ( ) ( ) (
* * * *
x x i x x i x x | | o| | o

A c + c A = c = c . (6.6)
Comparando estas expresiones con el caso del captulo anterior, observamos que tenemos
trminos extras , ) ) ( ) ( x x i |

A c y , ) ) ( ) (
*
x x i |

A c , respectivamente. Debido a estos trminos


extras, por ejemplo, comparando (6.3) y (6.5) concluimos que ) (x |

c no se transforma
covariantemente, es decir, no se transforma como el propio campo ) (x | . Adems, debido a
este trmino la Accin no es ms invariante sobre transformaciones de gauges locales. Lo cual
se demuestra a continuacin.
La variacin de la densidad lagrangiana es:
, )
, )
, )
, ) ) (
) (
) (
) (
) (
) (
) (
) (
*
*
*
*
x
x
x
x
x
x
x
x
| o
|
o|
|
| o
|
o|
|
o

c
c c
c
+
c
c
+ c
c c
c
+
c
c
=
L L L L
L . (6.7)
Si sustituimos las ecuaciones (6.3), (6.4), (6.5) y (6.6) en (6.7) obtenemos:
, )

o J x) ( A c = L . (6.8)
De esta manera, comprobamos que la Accin no es invariante sobre transformaciones de
gauges locales. Para hacer que dicha Accin sea invariante, introducimos un nuevo
cuadrivector ) (x A

que se acopla directamente con la corriente



J , el cual produce un
trmino extra a la densidad lagrangiana L:
) (x A eJ

=
1
L . (6.9)
35
Ms aun, imponemos que sobre las transformaciones de gauges locales el campo ) (x A

se
transforme como:
) ( ) ( ) (
1
) ( ) ( ) ( x A x A x
e
x A x A x A

o + = A c + = ' . (6.10)
Ahora la variacin de
1
L es
, ) , ) , )
|
.
|

\
|
A c = = ) (
1
) ( ) ( ) ( x
e
J x A J e x A J x A J e

o o o o
1
L ,
, ) , ) ) ( ) ( x J x A J e A c =

o o
1
L . (6.11)
Por lo tanto el trmino , ) ) (x J A c

en (6.11) cancela L o en (6.8), sin embargo, ahora


debemos cancelar el primer trmino de (6.11). Para esto consideramos la definicin de la
corriente (5.17) y usando las transformaciones ((6.3) (6.6)), tenemos que:
, ) ) ( ) ( ) ( ) (
* *
x x x x i J | | | | o o

c c = ,
, ) , ) , ) , ) , ) )) ( ( ) ( ) ( ) ( )) ( ( ) ( ) ( ) (
* * * *
x x x x x x x x i J | o | | o| | o | | o| o

c c c + c = ,
, ) , ) , ) c A A c + c A = ) ( ) ( ) ( )) ( ( ) ( ) ( ) ( ) (
* *
x x i x x i x i x x x i i J | | | | | o

, ) , ) , ) ) ( ) ( ) ( )) ( ( ) ( ) ( ) ( ) (
* * *
x x i x x i x i x x x i i | | | | |

c A + A c c A ,
, ) ) ( ) ( ) ( 2
*
x x x J A c =

| | o . (6.12)
De (6.11) y (6.12) tenemos que
, ) ) ( ) ( ) ( ) ( 2
*
x A x x x e

| | o o A c = +
1
L L . (6.13)
De esta manera, debemos adicionar un trmino para cancelar (6.13). Este trmino es dado
por:
) ( ) ( ) ( ) (
* 2
x x x A x A e | |

=
2
L .
Nuevamente aqu debemos calcular la variacin de
2
L , teniendo en cuenta la transformacin
de ) (x A

, (6.10):
, ) ) ( ) ( ) ( ) ( 2
*
x A x x x e

| | o A c =
2
L . (6.14)
Observemos que este trmino es (6.13) pero con el signo cambiado, as de (6.13) y (6.14),
tenemos que:
0 = + +
2 1
L L L o o o .
Por lo tanto, la densidad lagrangiana total
2 1
L L L + + es ahora invariante sobre
transformaciones de gauges locales.
36
Como introducimos un campo ) (x A

que se acopla a la corriente



J , necesitamos tener
una densidad lagrangiana que contenga solo al campo de gauge ) (x A

y que adems sea


invariante de gauge, es decir, sin acoplamientos con los campos ) (x | y ) (
*
x | . Para lo cual
definimos el rotacional del campo ) (x A

como:
) ( ) ( x A x A F
v v

v
c =c . (6.15)
Es inmediato verificar que esta expresin es invariante sobre (6.10), es decir
) ( ) ( x A x A F
v v v
' c ' c = ' ,
|
.
|

\
|
A c + c
|
.
|

\
|
A c + c = ' ) (
1
) ( ) (
1
) ( x
e
x A x
e
x A F

v
v v
v
,
) ( ) ( x A x A F
v v v
c c = ' ,
v v
F F = ' .
De (6.15) definimos la densidad lagrangiana del campo ) (x A

como:
v
v
F F
4
1
=
3
L , (6.16)
donde el factor
4
1
es necesario para obtener las ecuaciones de Maxwell no homogneas a
partir de las ecuaciones de Euler-Lagrange. De esta manera, sumando todas las densidades
lagrangianas obtenemos la densidad lagrangiana total, dada por:
, ), )
v
v

| | | | | | F F x x x A x A e x A eJ x x m x x
4
1
* 2 * 2 *
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( + c c =
T
L ,
que se puede reescribir como:
, ), )
v
v

| | | | | | F F x x m x x ieA x x x ieA x
4
1
* 2 * *
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( c + c =
T
L .
Por lo tanto, demostramos que el campo electromagntico es un campo de gauge, es decir,
el aparece naturalmente por exigencia que la Accin sea invariante sobre transformaciones de
gauges locales. El campo ) (x A

es denominado potencial de gauge e se acopla linealmente


con la corriente

J con una constante de acoplamiento e , que es la carga del campo ) (x | .
De esta manera, encontramos que la densidad lagrangiana del campo electromagntico es
dada por:
v
v
F F
4
1
=
3
L ,
y usando la definicin del tensor energa-momento del campo electromagntico, se tiene que:
3
3
L
L
v i v
i

v
o c
c c
c
= )) ( (
)) ( (
x A
x A
T .
37
CAPTULO 7
TRANSFORMACIN DE GAUGE LOCAL
En el captulo anterior, para determinar el Tensor energa-momento del campo
electromagntico, se considero la transformacin de gauge local en lugar de la transformacin
de gauge global, debido a que esta ltima no cumple con el principio de la relatividad. En el
presente captulo, vamos a considerar la transformacin de gauge local, con la finalidad de
estudiar que sucede con la densidad lagrangiana. As iniciamos nuestro estudio considerando
un campo escalar complejo, dados por ) (x | y ) (
*
x | , y adems tomando en cuenta que la
transformacin de gauge local, es
) ( ) ( ) (
) (
x x e x
x i
| | =
A
, (7.1)
) ( ) ( ) (
* * ) ( *
x x e x
x i
| | =
A
, (7.2)
donde ) (x A es una funcin de las coordenadas del espacio-tiempo. Las relaciones (7.1) y (7.2)
son llamadas Transformacin de Gauge Local o de segundo tipo. Sobre esta
transformacin la densidad lagrangiana
, ) , ), ) ) ( ) ( ) ( ) ( ) ( , ( ); ( ), (
* 2 *
*
)
*
x x m x x x x x x | | | | | | | |

c c = c c L ,
se transforma de la siguiente manera:
, ) , ), ) ) ( ) ( ) ( ) ( ( , ( ); ( ), (
* 2 *
)
*
)
*
x x m x x x x x x

c c = c c L ,
, ) , ) , ) , ) , ) ) ( ) ( ) ( ) ( ( , ( ); ( ), (
* ) ( ) ( 2 * ) ( ) (
)
*
)
*
x e x e m x e x e x x x x
x i x i x i x i
| | | |

A A A A
c c = c c L
,
, ) , ) c + A c = c c
A A
)) ( ( ) ( )) ( ( ( , ( ); ( ), (
) ( ) (
)
*
)
*
x e x x e i x x x x
x i x i
| |

L
, ) ) ( ) ( )) ( ( ) ( )) ( (
* ) ( ) ( 2 * ) ( * ) (
x x e e m x e x x e i
x i x i x i x i
| | | |
A A A A
c + A c ,
, ) , ), ) + c c = c c ) ( ) ( ) ( ) ( ( , ( ); ( ), (
* 2 *
)
*
)
*
x x m x x x x x x | | | |

L
, ), ) , ), ) , ), ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* * *
x x x i x x x i x x x x | | | | | |

c A c + c A c A c A c ,
, ) , ) + c c = c c ) ( ), ( ); ( ), ( ( , ( ); ( ), (
* *
)
*
)
*
x x x x x x x x | | | |

L L
, ), ) , ), ) , ), ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* * *
x x x g ig x x x i x x x x | | | | | |
v
i v
i

c A c + c A c A c A c ,
y como v
i
v
i
o = g g y luego haciendo i = se tiene:
38
, ) , ) + c c = c c ) ( ), ( ); ( ), ( ( , ( ); ( ), (
* *
)
*
)
*
x x x x x x x x | | | |

L L
, ), ) , ), ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* * *
x x x x x i x x x x | | | | | |

c c A c + A c A c ,
, ) , ) , )

| | | | J x x x x x x x x x ) ( ) ( ), ( ); ( ), ( ( , ( ); ( ), (
* *
)
*
)
*
A c + c c = c c L L ,
donde

J es la corriente del campo ) (x | .
Observe que en este caso la densidad lagrangiana no es invariante sobre las
transformaciones de gauge local. De esta manera, la siguiente tarea es obtener una densidad
lagrangiana que sea invariante frente a transformacin de gauge local. Con este propsito, para
el caso de ) (x A pequeo (parmetro de transformacin infinitesimal), consideramos la
transformacin, es su forma infinitesimal, dada por:
) (
! 3
) (
! 2
) (
) ( 1 ) ( ) (
3 2
) (
x
x
i
x
x i x e x
x i
| |
|
|
.
|

\
|

A
+
A
A = =
A
,
) (
! 3
) (
! 2
) (
) ( 1 ) ( ) (
*
3 2
* ) ( *
x
x
i
x
x i x e x
x i
| |
|
|
.
|

\
|

A
A + = =
A
,
y como ) (x A es pequeo, podemos despreciar trminos del tipo ) (
2
x A , ) (
3
x A , frente a
) (x A , de esta manera las expresiones anteriores se reducen a la forma:
, ) ) ( ) ( ) ( ) ( ) ( 1 ) ( ) (
) (
x x i x x x i x e x
x i
| | | | A = A = =
A
, (7.3)
, ) ) ( ) ( ) ( ) ( ) ( 1 ) ( ) (
* * * * ) ( *
x x i x x x i x e x
x i
| | | | A + = A + = =
A
. (7.4)
Adems, como
) ( ) ( ) ( x x x | o | + = , (7.5)
) ( ) ( ) (
* * *
x x x | o | + = , (7.6)
entonces comparando (7.3) con (7.5) y (7.4) con (7.6), se obtiene que:
) ( ) ( ) ( x x i x | | o A = , (7.7)
) ( ) ( ) (
* *
x x i x | | o A = , (7.8)
y adems de (7.5) y (7.7) se obtiene,
, ) , ) , ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( x x i x x i x x x i x x | | | | |

c A A c c = A c = c , (7.9)
asimismo, de (7.5) tenemos
39
, ) , ) ) ( ) ( ) ( ) ( ) ( x x x x x | | o|

c c = c = c , (7.10)
y usando (7.9) as como el hecho que

c permuta con la variacin o , la expresin anterior es
escrita de la siguiente forma:
, ) , ) , ) ) ( ) ( ) ( ) ( ) ( x x i x x i x | | | o

c A A c = c . (7.11)
Similarmente, considerando (7.6) y (7.8) se tiene:
, ) , ) , ) ) ( ) ( ) ( ) ( ) (
* * *
x x i x x i x | | | o

c A + A c = c . (7.12)
Observamos que las expresiones (7.11) y (7.12) tienen trminos extras , ) ) ( ) ( x x i |

A c y
, ) ) ( ) (
*
x x i |

A c , respectivamente. Estos trminos extras hacen que la Accin no sea invariante


sobre transformaciones de gauge local, como mostramos a continuacin.
La variacin de la densidad lagrangiana es
, )
, )
, )
, ) ) (
) (
) (
) (
) (
) (
) (
) (
*
*
*
*
x
x
x
x
x
x
x
x
| o
|
o|
|
| o
|
o|
|
o

c
c c
c
+
c
c
+ c
c c
c
+
c
c
=
L L L L
L ,
ahora usando las ecuaciones de Euler-Lagrange para los campos ) (x | y ) (
*
x | , es decir
0
)) ( ( ) (
=
|
|
.
|

\
|
c c
c
c
c
c
x x | |

L L
,
0
)) ( ( ) (
* *
=
|
|
.
|

\
|
c c
c
c
c
c
x x | |

L L
,
en el primer y tercer trmino del lado derecho de la expresin anterior, respectivamente, se
tiene
, )
, )
, )
, ) ) (
) (
) (
)) ( (
) (
) (
) (
)) ( (
*
*
*
*
x
x
x
x
x
x
x
x
| o
|
o|
|
| o
|
o|
|
o

c
c c
c
+
|
|
.
|

\
|
c c
c
c + c
c c
c
+
|
|
.
|

\
|
c c
c
c =
L L L L
L
.
Luego, considerando los trminos de variaciones para ) (x | y ) (
*
x | dadas por (7.7), (7.8),
as como sus derivadas respectivas (7.11) y (7.12), se obtiene
, )
, )
+
|
.
|

\
|
|
.
|

\
|
c A
|
.
|

\
|
A c
c c
c
+ A
|
|
.
|

\
|
c c
c
c = ) ( ) ( ) ( ) (
) (
) ( ) (
)) ( (
x x i x x i
x
x x i
x
|

|
|
|
o

L L
L
, )
, )
|
.
|

\
|
|
.
|

\
|
c A +
|
.
|

\
|
A c
c c
c
+ A
|
|
.
|

\
|
c c
c
c ) (
*
) ( ) (
*
) (
) (
) ( ) (
)) ( (
*
*
*
x x i x x i
x
x x i
x
|

|
|
|

L L
,
40
, )
, )
+
|
.
|

\
|
|
.
|

\
|
A c
c c
c
A
|
|
.
|

\
|
c c
c
c = ) ( ) (
) (
) ( ) (
)) ( (
x x
x
i x i x
x
|

|
|
|
o

L L
L
, )
, )
|
.
|

\
|
|
.
|

\
|
A c
c c
c
+ A
|
|
.
|

\
|
c c
c
c ) (
*
) (
) (
) ( ) (
)) ( (
*
*
*
x x
x
i x i x
x
|

|
|
|

L L
,
los trminos
|
|
.
|

\
|
c c
c
c ) (
)) ( (
x
x
|
|

L
y
|
|
.
|

\
|
c c
c
c ) (
)) ( (
*
*
x
x
|
|

L
son divergencias totales y para la
variacin de la accin no contribuyen, es decir estos trminos pueden ser ignorados. Adems,
como
) (
)) ( (
*
x
x
|
|

c =
c c
cL
,
) (
)) ( (
*
x
x
|
|

c =
c c
cL
,
entonces
, ), ) , ), ) ) ( ) ( ) ( ) ( ) ( ) (
* *
x x x i x x x i | | | | o

A c c + A c c = L ,
, ), ) , ) , ) ) ( ) ( ) ( ) ( ) ( ) (
* *
x x g x g i x x x i | | | | o
|
| i
i

A c c + A c c = L ,
, ), ) , ), ) ) ( ) ( ) ( ) ( ) ( ) (
* *
x x x i x x x i | | o | | o
|
i
i
|

A c c + A c c = L ,
, ) , ) , ) , ) ) ( ) ( ) ( ) ( ) (
* *
x x x x x i | | | | o

c c A c = L
, )

o J x) ( A c = L , (7.13)
donde , ) ) ( ) ( ) ( ) (
* *
x x x x i J | | | |

c c = es la corriente del campo escalar complejo,
definida en el Captulo 5.
De esta manera, la accin no es invariante sobre transformacin de gauge local. Para hacer
que dicha Accin sea invariante, vamos a introducimos un nuevo cuadrivector ) (x A

que se
acoplar con la corriente

J , as la densidad lagrangiana L tendr un trmino extra, dado por:
) (x A eJ

=
1
L . (7.14)
Ms an, vamos a imponer que sobre la transformacin de gauge local, el campo ) (x A

se
transforme como:
) ( ) ( ) (
1
) ( ) ( ) ( x A x A x
e
x A x A x A

o + = A c + = ' , (7.15)
llamada transformacin de gauge.
41
Ahora la variacin de
1
L es
, ) , ) , )
|
.
|

\
|
A c = = ) (
1
) ( ) ( ) ( x
e
J x A J e x A J x A J e

o o o o
1
L ,
, ) , ) ) ( ) ( x J x A J e A c =

o o
1
L . (7.16)
De esta expresin observamos que el trmino , ) ) (x J A c

permite que L o en (7.13) sea


nula, sin embargo, ahora tenemos un nuevo trmino extra, dado por , ) ) (x A J e

o , el cual se
debe anular. Con este propsito, y considerando la corriente
, ) ) ( ) ( ) ( ) (
* *
x x x x i J | | | |

c c = as como las transformaciones (7.7), (7.8), (7.11) y (7.12),
obtenemos
, ) ) ( ) ( ) ( ) (
* *
x x x x i J | | | | o o

c c = ,
, ) , ) , ) , ) , ) )) ( ( ) ( ) ( ) ( )) ( ( ) ( ) ( ) (
* * * *
x x x x x x x x i J | o | | o| | o | | o| o

c c c + c = ,
, ) , ) , ) c A A c + c A = ) ( ) ( ) ( )) ( ( ) ( ) ( ) ( ) (
* *
x x i x x i x i x x x i i J | | | | | o

, ) , ) , ) ) ( ) ( ) ( )) ( ( ) ( ) ( ) ( ) (
* * *
x x i x x i x i x x x i i | | | | |

c A + A c c A ,
, ) ) ( ) ( ) ( 2
*
x x x J A c =

| | o . (7.17)
De esta manera, considerando (7.13), (7.16) y (7.17) tenemos que
, ) ) ( ) ( ) ( ) ( 2
*
x A x x x e

| | o o A c = +
1
L L . (7.18)
Como ocurri anteriormente, observamos que existe un trmino extra en la variacin de la
densidad lagrangiana
1
L L + , as con el objetivo de que (7.18) sea nula, vamos adicionar un
trmino que permita cancelar (7.18). Este trmino es dado por:
) ( ) ( ) ( ) (
* 2
x x x A x A e | |

=
2
L .
Nuevamente aqu debemos calcular la variacin de
2
L , teniendo en cuenta la
transformacin de gauge para ) (x A

dada por (7.15), as como (7.7) y (7.8), se tiene que


, ) , ) + + = ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* 2 * 2
x x x A x A e x x x A x A e | | o | | o o

2
L
, ) , ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* 2 * 2
x x x A x A e x x x A x A e o| | | o|

+ ,
+
|
.
|

\
|
A c +
|
.
|

\
|
A c = ) ( ) ( ) (
1
) ( ) ( ) ( ) ( ) (
1
* 2 * 2
x x x
e
x A e x x x A x
e
e | | | | o

2
L
42
, ) , ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* 2 * 2
x x i x x A x A e x x x i x A x A e | | | |

A + A ,
, ) , ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* *
x x x x eA x x x A x e | | | | o

A c + A c =
2
L ,
, ) , ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* *
x x x x eA x x x A g x eg | | | | o

|
| o
o
A c + A c =
2
L ,
, ) , ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* *
x x x x eA x x x A x e | | | | o o

|
o
o
|
A c + A c =
2
L ,
, ) ) ( ) ( ) ( ) ( 2
*
x A x x x e

| | o A c =
2
L . (7.19)
Observemos que este trmino es igual a (7.18) pero con el signo cambiado, as de (7.18) y
(7.19), tenemos que:
0 = + +
2 1
L L L o o o .
Por lo tanto, la nueva densidad lagrangiana total, dada por
2 1
L L L + + , es ahora
invariante sobre transformacin de gauge local. Ahora, como introducimos un campo extra
) (x A

el cual se acopla a la corriente



J , necesitamos tener en la densidad lagrangiana total
una que contenga slo al campo de gauge ) (x A

y que adems sea invariante de gauge, es


decir, sin acoplamientos con los campos ) (x | y ) (
*
x | . De esta manera, definimos el
rotacional del campo ) (x A

como:
) ( ) ( x A x A F
v v

v
c =c . (7.20)
Es inmediato verificar que esta expresin es invariante sobre (7.15), es decir
) ( ) ( x A x A F
v v v
' c ' c = ' ,
|
.
|

\
|
A c + c
|
.
|

\
|
A c + c = ' ) (
1
) ( ) (
1
) ( x
e
x A x
e
x A F

v
v v
v
,
) ( ) ( x A x A F
v v v
c c = ' ,
v v
F F = ' .
Considerando la definicin (7.20) construimos la densidad lagrangiana asociada al campo
) (x A

como:
v
v
F F
4
1
=
3
L , (7.21)
donde el factor
4
1
es necesario porque permite obtener las ecuaciones de Maxwell no
homogneas a partir de las ecuaciones de Euler-Lagrange.
43
De esta manera, sumando todas las densidades lagrangianas, obtenemos la densidad
lagrangiana total, dada por:
, ), )
v
v

| | | | | | F F x x x A x A e x A eJ x x m x x
4
1
* 2 * 2 *
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( + c c =
T
L ,
que se puede reescribir como
, ), ) , ) + c c c c = ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* * * 2 *
x A x x x x ei x x m x x

| | | | | | | |
T
L
v
v

| | F F x x x A x A e
4
1
* 2
) ( ) ( ) ( ) ( ,
, ), ) , ) , ) + c + c c c = ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* * * 2 *
x A x x ie x A g x g x ei x x m x x

|
| o
o

| | | | | | | |
T
L
v
v

| | F F x x x A x A e
4
1
* 2
) ( ) ( ) ( ) ( ,
, ), ) , ) , ) + c + c c c = ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
* * * 2 *
x A x x ie x A x x ei x x m x x

|
o
|
o

| | | | o | | | |
T
L
v
v

| | F F x x x A x A e
4
1
* 2
) ( ) ( ) ( ) ( ,
, ), )
v
v

| | | | | | F F x x m x x ieA x x x ieA x
4
1
* 2 * *
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( c + c =
T
L .
Para que la densidad lagrangiana sea ms general posible, vamos a considerar fuentes externas
j y
+
j acopladas a los campos ) (
*
x | y ) (x | , respectivamente, y el campo de gauge ) (x A

acoplado a j , por lo tanto se tiene


, ), ) c + c =
v
v

| | | | | | F F x x m x x ieA x x x ieA x
4
1
* 2 * *
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
T
L
) ( ) ( ) (
*
x A j x j x j

| | . (7.22)
Por otro lado, si consideramos la densidad lagrangiana original, es decir
, ) , ), ) ) ( ) ( ) ( ) ( ) ( , ( ); ( ), (
* 2 *
*
)
*
x x m x x x x x x | | | | | | | |

c c = c c L ,
con (7.22) observamos que ) (x |

c es reemplazado por ) ( ) ( ) ( x x ieA x | |



+ c , as podemos
definir:
, ) ) ( ) ( ) ( ) ( ) ( ) ( x x ieA x x ieA x x D | | | |

+ c = + c = ,
y de la misma manera,
, ) ) ( ) ( ) ( ) ( ) ( ) (
* * * *
x x ieA x x ieA x x D | | | |

c = c = .
Estas expresiones son conocidas como el Acoplamiento mnimo o Derivada covariante de
los campos ) (x | y ) (
*
x | , respectivamente. Debemos mencionar que diferente de ) (x |

c y
) (
*
x |

c , ) (x D |

y ) (
*
x D |

se transforman en forma covariante sobre una transformacin de


gauge local, es decir
44
, ) ) ( ) ( ) ( x D x i x D | | o

A = ,
, ) ) ( ) ( ) (
* *
x D x i x D | | o

A = .
De esta manera, la densidad lagrangiana total e invariante frente a transformacin de gauge
local, es dada por:
, ), ) ) ( ) ( ) ( ) ( ) ( ) ( ) (
*
4
1
* 2 *
x A j x j x j F F x x m x D x D

v
v

| | | | | | =
T
L .
45
CAPTULO 8
EL PRINCIPIO DE EQUIVALENCIA DE EINSTEIN
En este captulo estudiamos el origen del Principio de Equivalencia en la Relatividad
General.
Como es conocido, para describir el movimiento de un cuerpo se requiere necesariamente
de un sistema de coordenadas espaciales que permitan identificar unvocamente cada punto del
espacio fsico de inters, y una coordenada temporal que permita determinar el orden
cronolgico de eventos en cualquier punto del espacio. A este conjunto de coordenadas
espacio-tiempo se lo denomina sistema de referencia. El nmero de coordenadas espaciales
necesarias depender de los vnculos del sistema fsico.
Hasta la aparicin de la Teora de Relatividad Especial, la comunidad cientfica acept que
la coordenada temporal era la misma para todos los sistemas de referencia posibles, es decir,
era independiente de la posicin y del estado de movimiento relativo entre diferentes sistemas
de referencia. Asimismo, para describir los fenmenos y obtener los valores de las magnitudes
involucradas estas resultaban diferentes dependiendo del sistema de referencia elegido, lo cual
generaba problemas.
Sin embargo, Galileo estableci un grupo particular de sistemas de referencia, llamados
inerciales o galileanos, en los que los fenmenos mecnicos ocurren de la misma manera y las
leyes son expresadas en forma matemtica simple. Posteriormente Isaac Newton, a travs del
Principio de Inercia, postula la equivalencia entre sistemas inerciales. Dos definiciones de
sistemas inerciales son aceptadas. La primera de ellas indica que cualquier sistema de
referencia que est en reposo respecto de las estrellas fijas es un sistema inercial. La segunda
postula que un sistema inercial es aquel en el cual las leyes de la fsica adoptan la forma ms
simple posible.
La definicin que es ms especfica dice: sistema de referencia inercial es todo sistema que
est en reposo o con movimiento rectilneo uniforme respecto de un objeto material sobre el
cual no acta fuerza alguna, cualquiera sea su posicin en el espacio.
Actualmente el Principio de Inercia tiene una significacin ms general. En primer lugar
Einstein lo extendi a todos los fenmenos, es decir que todas las leyes de la fsica tienen la
misma forma en los sistemas inerciales. Adems, con la consideracin de la accin a travs de
campos, debida a Maxwell, y el hecho que la velocidad de la luz en el vaco sea constante para
todos los sistemas inerciales, se modific la relacin entre estos sistemas y ahora se encuentran
relacionadas por las Transformaciones de Lorentz.
En 1905 Albert Einstein, public en una revista cientfica alemana el trabajo denominado
Sobre la electrodinmica de los cuerpos en movimiento. En este artculo l plantea la
inconsistencia de resultados obtenidos con las ecuaciones de Maxwell en la resolucin de
conocidos problemas electromagnticos para cuerpos en movimiento. Para llegar a la solucin
propuesta se realiza una revisin completa y la modificacin profunda de los conceptos ms
bsicos del conocimiento, el espacio y el tiempo, del cual result la formulacin inicial de la
Teora de Relatividad Especial.
46
Estos cambios conceptuales son consecuencia del desarrollo de la Teora, considerado para
sistemas inerciales, a partir de dos Postulados basados en hechos experimentales. El primero de
ellos indica que cualquier fenmeno natural responde a la misma ley en todos los sistemas
inerciales, y el segundo postula que la velocidad de la luz en el vaco es constante para todos
los observadores.
El primer postulado establece la imposibilidad de distinguir entre el reposo y el
movimiento rectilneo uniforme, en el sentido que son estados de movimiento naturales
equivalentes, haciendo inconsistente la existencia de un sistema de referencia absoluto, y
adems proporciona la herramienta fundamental para encontrar y validar todas las leyes
relativistas.
El segundo postulado se encuentra relacionado con la Teora de Relatividad de Galileo,
publicada en 1637 la cual era aceptada como una formulacin de validez universal, con
consecuencias directas en la mecnica de Newton.
Por otro lado, si la Teora formulada en ese trabajo cientfico, Relatividad Especial,
permiten una descripcin completa de los fenmenos fsicos, debe naturalmente considera el
campo gravitacional. Recordando que la gravitacin Newtoniana fue el espritu de la
Relatividad Especial en dos aspectos bsicos:
- Invariantes por las transformaciones de Galileo.
- Velocidad de propagacin infinita.
En 1907, escribiendo un artculo de revisin sobre Relatividad Especial y pensando sobre el
problema de la gravitacin, Einstein tuvo lo que llamo el pensamiento ms feliz de su vida.
Si una persona cae libremente no siente su propio peso
Este simple pensamiento lo llevo a la Teora de la Relatividad General, es decir la teora de
la gravitacin. Para esto, l observo que el campo gravitacional tiene una existencia relativa, de
algn modo semejante al campo elctrico generado por induccin magneto-elctrico. Para un
observador que cae libremente no existe campo gravitacional (por lo menos en su entorno
inmediato). Si el observador deja caer algunos cuerpos estos permanecen en estado de reposo o
de movimiento relativo rectilneo y uniforme en relacin a l. Este hecho experimental se
encuentra directamente relacionado con la igualdad de la masa inercial (
i
m ), que es una
medida de la inercia del cuerpo, y la masa gravitacional (
g
m ).
La segunda ley de Newton establece que
a m F
i

= ,
donde
i
m es medida dinmicamente por varazn inversa entre las aceleraciones, para una
fuerza dada. La ley de la gravitacin exige que
g m F
g g

= ,
con g

un campo que depende de la posicin y de las otras masas. De esta manera, la


aceleracin en un punto dado es
47
g
m
m
a
i
g

|
|
.
|

\
|
= ,
y deben ser diferentes para cuerpos con valores diferentes de para la razn
|
|
.
|

\
|
i
g
m
m
. Es decir los
cuerpos que tienen diferentes razones caen de forma diferente en un campo gravitacional.
Newton estaba consciente de esta dificultad e hizo experiencias con pndulos de iguales
longitudes para diferentes composiciones. Un resultado nulo fue obtenido en tales
experimentos, es decir ninguna diferencia entre los periodos fue observada. Esas experiencias
fueron repetidas por Friedrich Wilhelm Bessel (1830) y confirmadas a travs de un mtodo
diferente por Roland Von Etvs en 1890. Se estableci que no exista diferencia para la razn
|
|
.
|

\
|
i
g
m
m
. Era independiente de los cuerpos, es decir la razn es la misma, sin interesar el cuerpo.
Por lo tanto
i g
m m = , para cualquier cuerpo, se sigue de la ley de la cada libre de los cuerpos.
Todos los cuerpos caen con g a

= .
Debemos indicar que la igualdad de la masa inercial y la masa gravitacional no tiene
explicacin en el dominio de la mecnica. El hecho que
i g
m m = es si y solo si g

es un campo
ficticio.
El hecho de que un campo gravitacional homogneo tenga una existencia relativa, en el
sentido de que 0

= g en el referencial en cada libre puede ser probado para un sistema de N


partculas movindose con velocidades no relativisticas sobre la influencia de un campo
homogneo g

y de una fuerza no gravitacional F

, funcin de la separacin entre las


partculas, es decir,
) (
M N
x x F F


= ,
entonces
_
+ =
M
M N N
N
N
x x F g m
dt
x d
m ) (
2
2

. (8.1)
Suponga que hacemos una transformacin de coordenadas no galileana:
2
2
1
t g x x

= ' ,
t t = ' ,
as
2
2
1
t g x x
N N
' = '

,
2
2
1
t g x x
M M
' = '

,
48
2 2
2
1
2
1
t g t g x x x x
M N M N

+ = ' ' ,
M N M N
x x x x

= ' ' ,
de esta manera, se tiene que (8.1) es
_
+ = +
'
=
|
|
.
|

\
|
+
'
=
M
M N N N
N
N
N
N
N
N
x x F g m g m
dt
x d
m g
dt
x d
m
dt
x d
m ) (
2
2
2
2
2
2


,
_
' ' =
'
M
M N
N
N
x x F
dt
x d
m ) (
2
2

.
Por lo tanto, observamos que , ) t x,

y , ) t x ' ',

no detectan diferencias en las leyes de la


mecnica excepto que el observador en cada libre dir que no siente la presencia del campo
gravitacional. Se concluye que la fuerza gravitacional es una fuerza ficticia, en el sentido de
las fuerzas no inerciales que slo existen cuando estamos en un referencial acelerado. Es decir,
existe una equivalencia fsica entre efectos gravitacionales y acelerados. De esta manera, el
problema de la gravitacin est de cierta forma relacionado con aceleraciones. Como
consecuencia de este hecho surge la pregunta, ser posible que el principio de la relatividad
sea vlido par sistemas acelerados, una en relacin con otras?
Al respecto, en la conferencia de Quioto en 1921, Eisntein manifest: en 1907 comprend
que todos los fenmenos naturales podran ser discutidos en trminos de la Relatividad
Especial excepto la gravitacin. Sera muy desagradable que a pesar de la relacin entre inercia
y energa deducible de la Relatividad Especial, no exista una relacin entre la inercia y el peso.
Sospeche que esta relacin era inexplicable por la Relatividad Especial
Dos aos despus de la creacin de la Relatividad Especial y del concepto de invariancia
por las transformaciones de Lorentz, la gravitacin exiga una revisin de la Relatividad
Especial en su ncleo, es decir, en su herramienta ms importante.
Se llama de Principio de Equivalencia a la identidad fsica entre los efectos gravitacionales
y acelerados, el cual est evidentemente relacionado con el principio de igualdad de las masas
inerciales y gravitacionales (
i g
m m = ).
Tal principio permite comprender la unidad de la naturaleza entre inercia y gravitacin y de
cierta forma explica la igualdad numrica entre las dos masas, por la identidad de sus
naturalezas. Posibilidad no considerada en el contexto de la Mecnica Clsica, la cual parece
rechazar el privilegio concedido a los sistemas inerciales.
El Principio de Equivalencia dice:
En todo punto del espacio en la presencia de un campo gravitacional arbitrario es siempre
posible escoger un sistema de coordenadas localmente inercial (cada libre) tal que dentro de
una vecindad suficientemente pequeo del punto en cuestin, las leyes de la naturaleza toman
la misma forma que en sistemas inerciales en la ausencia de gravitacin
49
Por lo tanto, en este caso el elemento de lnea es
| o
o|
q d d ds =
2
, (8.2)
donde son las coordenadas locales y z y x , , , 0 = = | o .
50
CAPTULO 9
EL ESPACIO-TIEMPO DE LA RELATIVIDAD GENERAL
En el captulo anterior se estudio la equivalencia fsica entre los efectos gravitacionales y
acelerados. En este captulo vamos a estudiar, el espacio-tiempo relacionado en la presencia del
campo gravitacional.
Con este propsito, imaginemos dos sistemas de referencias en el cual se encuentran dos
discos en cada uno de ellos en el plano xy , y que uno de los disco est girando con una
velocidad angular w y el otro se encuentra en reposo. Sobre estas condiciones, se encuentra
que en el primer caso t >
D
c
, donde c es la longitud del disco y D su dimetro respectivo.
Para el segundo caso se tiene que t =
D
c
. De los resultados obtenidos se concluye que la
longitud de una curva plana, todos los puntos del cual son equidistantes del punto central (del
disco), no es dado por la frmula conocida para el crculo. Es decir, la geometra Euclideana no
es vlida, en el sistema del disco rotando, para medidas de longitud hecha en una forma
natural.
Adems, si por ejemplo se colocan dos relojes, uno en la periferia y el otro en el centro del
disco rotante, estas van a estar fuera de fase respecto al sistema del disco no rotante. El reloj de
la periferia parecer ms lento.
Por lo tanto, el espacio-tiempo del sistema de referencias donde se encuentra el disco
rotante no puede ser definido tal como era definido en la Relatividad Especial.
Conclusin: El campo gravitacional ejerce una influencia sobre las leyes de las mtricas del
continuo espacio-tiempo. El espacio y el tiempo no son absolutos como supona Newton y ni el
continuo espacio-tiempo es absoluto como supona Minkowski.
En al presencia de un campo gravitacional las medidas de longitud son modificadas de
forma tal que la geometra del espacio es no Euclideana. El porcentaje de avance tambin
depende de a posicin, entonces el espacio-tiempo se convierte en un medio material curvo.
Sobre estos resultados, estudiamos a continuacin el elemento de lnea en un referencial
rotante. Con este objetivo iniciamos considerando el elemento de lnea de un sistema inercial:
2 2 2 2 2 2
dz dy dx dt c ds = , (9.1)
o tambin
| o
o|
q dx dx ds =
2
,
donde z y x , , , 0 = = | o .
Una transformacin de coordenadas para un referencial rotando en torno al eje z , es decir
, ) , ) t z y x t z y x ' ' ' ' , , , , , , , es
) ( ) cos( t sen y t x x O ' O ' = ,
51
) cos( ) ( t y t sen x y O ' + O ' = ,
z z ' = ,
donde O es la velocidad angular dirigida a lo largo del eje z z ' , . Calculando los diferenciales y
reemplazando en (9.1), tenemos
dt t y t sen y d dt t sen x t x d dx ) cos( ) ( ) ( ) cos( O O ' O ' O O ' O ' = ,
dt t sen y t y d dt t x t sen x d dy ) ( ) cos( ) cos( ) ( O O ' O ' + O O ' + O ' = ,
z d dz ' = ,
dt x d y dt y d x dt y dt x z d y d x d dt c ds ' O ' + ' O ' O ' O ' ' ' ' = 2 2
2 2 2 2 2 2 2 2 2 2 2 2
,
, )
dt x d y dt y d x z d y d x d dt c
c
y x
ds ' O ' + ' O ' ' ' '
|
|
.
|

\
| ' + ' O
= 2 2 1
2 2 2 2 2
2
2 2 2
2
.
Por lo tanto, en un sistema de referencia no inercial, el cuadrado del intervalo
2
ds aparece
como una forma cuadrtica que no se reduce a una suma de cuadrados de las diferenciales. El
intervalo es ahora representado por una expresin ms general del tipo:
| o
o|
dx dx g ds =
2
,
donde los
o|
g son en general funciones de las coordenadas y del tiempo, es decir
) (

o| o|
x g g = . Por el Principio de Equivalencia, las cantidades
o|
g deben representar la
mtrica del espacio-tiempo en la presencia de un campo gravitacional arbitrario.
Tal como en el caso de la Relatividad Especial con
o|
q , el tensor mtrico
o|
g es simtrico,
es decir
|o o|
g g = ,
adems, en general las 10 componentes independientes no son reductibles a los valores de la
Relatividad Especial, 1 , 1 , 1 , 1
33 22 11 00
= = = = g g g g .
De esta manera, podemos concluir que el campo gravitacional modifica la mtrica del
espacio-tiempo. As, las propiedades geomtricas del espacio-tiempo son determinadas por los
fenmenos fsicos y no fijadas a priori como en el caso de la Relatividad Especial.
En el ejemplo del referencial rotante la mtrica fue obtenida a partir de la Relatividad
Especial, as por la transformacin inversa se puede nuevamente reducirla para los valores de
la Relatividad Especial para todo el espacio. Al respecto debemos indicar que tales formas de
o|
g no son muy especiales. En este caso, la naturaleza del espacio-tiempo es minskoniana y no
es determinado por el referencial acelerado. En general los campos gravitacionales reales,
como veremos, no pueden ser eliminados por transformaciones de coordenadas. El espacio-
tiempo se dice que es curvo y la reduccin
o| o|
q g slo es posible localmente.
52
CAPTULO 10
GEOMETRA RIEMANNIANA. GEODSICAS
En el captulo anterior se estudio la influencia del campo gravitacional sobre las leyes de
las mtricas del continuo espacio-tiempo. Se llego a la conclusin que el espacio y el tiempo no
son absolutos como supona Newton y ni el continuo espacio-tiempo es absoluto como supona
Minkowski. De esta manera, se tiene que el campo gravitacional modifica la mtrica del
espacio-tiempo. As, las propiedades geomtricas del espacio-tiempo son determinadas por los
fenmenos fsicos y no fijadas a priori como en el caso de la Relatividad Especial.
En este captulo vamos a estudiar, la geometra del espacio-tiempo en la presencia del
campo gravitacional, conocida como la geometra Riemanniana. Presentaremos los conceptos
principales de estas ideas, como son: variedades diferenciables, aplicaciones diferenciables
entre variedades diferenciables y los espacios tangentes a estas variedades, tambin
definiremos mtrica riemanniana, geodsica, curvatura y gradiente.
Basndose en las ideas y resultados de Riemann, Einstein hacia 1920 considera en su
Teora de la Relatividad General la cuestin de la estructura geomtrica del Universo. En ella
muestra cmo la geometra del espacio-tiempo tiene curvatura, que es precisamente lo que se
observa bajo la accin del campo gravitacional, los cuerpos siguen las lneas ms rectas
posibles dentro de dicha geometra, lneas que se denominan geodsicas.
Adems, la Ecuacin de Einstein indica que para cada observador, la curvatura media del
espacio coincide, salvo un factor constante, con la densidad observada, lo cual est de acuerdo
visin de Gauss: la geometra desarrollada por los griegos es la estructura infinitesimal del
espacio; al generalizar dicha estructura geomtrica, tiene curvatura.
Las nociones de geometra riemanniana fueron introducidas por Bernhard Riemann un 10
de Junio de 1854 a travs de una conferencia en la Universidad de Gotinga titulada: Sobre las
hiptesis que estn en los fundamentos de la geometra. La conferencia, pasa por ser una de las
ms celebradas de la historia de la Matemtica, y uno de los mayores logros cientficos de la
humanidad. De entre los presentes se dice que slo Gauss fue capaz de comprender su
contenido, y hay que decir que le entusiasm.
En la primera parte de la conferencia, Riemann se pregunta qu problema hay en aumentar
el nmero de dimensiones del espacio. Riemann, usando aun un lenguaje intuitivo y sin hacer
demostraciones, introduce primero el concepto de variedad diferenciable, generalizacin del
concepto de superficie a cualquier nmero (entero positivo) arbitrario de dimensiones. De
hecho, el nombre variedad hace referencia a las diferentes coordenadas que cambian para ir
obteniendo los puntos del objeto. Las superficies seran las variedades de dimensin 2,
mientras que las curvas seran las variedades de dimensin 1, y los puntos las de dimensin 0.
De todas formas, esta aproximacin al concepto es demasiado imprecisa, pues el punto clave
de la definicin formal de una variedad diferenciable (definicin no expuesta correctamente
hasta 1913 por Hermann Weyl) es que esto es cierto localmente, es decir, cada punto de la
variedad tiene algn entorno homeomorfo a un abierto del espacio eucldeo
n
R , de manera que
cuando el inverso de uno de estos homeomorfismos se compone con otro de estos
homeomorfismo se obtiene una funcin diferenciable de un abierto de
n
R en otro abierto de
n
R .
Pero como indicamos hicieron falta casi 60 aos para que la definicin terminara de ser
concluida. No era la primera vez que se especulaba con la posibilidad de la existencia de
53
espacios de dimensin superior a 3. De hecho este tema ha sido tratado en la Historia en varias
ocasiones, pero siempre desde un punto de vista de la realidad sensible (para negar su
existencia) o metafsico. Es Cayley quien en 1843 trata explcitamente el tema por primera vez,
y volver a l nuevamente en repetidas ocasiones. Le seguirn Sylvester, Clifford, Grassmann
y Schlfli entre otros, aunque hay que decir que la visin de todos ellos es mucho ms
algebraica que geomtrica.
Para incluir la interaccin gravitacional, las teoras de la fsica deben ser covariantes sobre
transformaciones de coordenadas, por ejemplo ) (
| o o o
x x x x ' = ' . Para desarrollar los
conceptos principales de la geometra riemanniana, vamos a considerar un sistema de
referencia no inercial, donde el cuadrado del intervalo
2
ds aparece en una forma cuadrtica
que no se reduce a una suma de cuadrados de las diferenciales. El intervalo es ahora
representado por una expresin ms general del tipo:
| o
o|
dx dx g ds =
2
,
donde los
o|
g son las componentes covariantes del tensor mtrico g , funciones de las
coordenadas y del tiempo, es decir , )

o| o|
x g g = , y diferenciables. Adems, por el Principio
de Equivalencia, las cantidades , )

o|
x g deben representar la mtrica del espacio-tiempo en la
presencia de un campo gravitacional arbitrario.
Tal como en el caso de la Relatividad Especial con
o|
q , el tensor mtrico , )

o|
x g es
simtrico, es decir
, ) , )

|o

o|
x g x g = ,
asimismo, en general las 10 componentes independientes no son reductibles a los valores de la
Relatividad Especial, es decir 1 , 1 , 1 , 1
33 22 11 00
= = = = g g g g .
Por otro lado, los tensores, al igual que otros objetos matemticos, tambin pueden ser
diferenciados con las herramientas del clculo infinitesimal. Sin embargo, hay que tomar aqu
ciertas precauciones. Si consideramos las componentes , )

o|
x g de un tensor covariante, la
derivada para que este bien definido, no basta con que se aplique las reglas del clculo
infinitesimal conocidas para obtener algo que podramos llamar la derivada de un tensor. Es
necesario que el resultado obtenido tambin se comporte como un tensor, es decir tambin
debe transformarse de acuerdo con la definicin del tensor sobre un cambio de coordenadas. Si
esto no ocurre, la operacin no es adecuada, porque al no poderse transformar la derivada del
tensor como un tensor sobre un cambio de coordenadas, entonces una ecuacin tensorial que
involucre derivadas de los mismos no ser independiente de un cambio de coordenadas,
contraviniendo la principal razn para recurrir al uso de tensores que es para poder escribir
relaciones matemticas como las que ocurren en la Relatividad General, independientes del
sistema de coordenadas utilizado. Y resulta que la diferenciacin ordinaria de un tensor no
produce un tensor.
Estudiemos primero la transformacin de la conexin |v
i
I , definida por
v
o
o
i
v
i

x x
x
c c
c
c
c
= I
2
,
54
donde ) (
| o o
x x ' = ' o ) (
| o o
x x = .
La conexin es transformada como
|
|
.
|

\
|
' c
c
c
c
' c
c
c
c
c
' c
=
' c ' c
c
c
' c
= I'
v
o
o
o
o

i
v
o
o
i
v
i

x
x
x x
x
x
x
x x
x
2
,
1
]
1

' c ' c
c
c
c
+
' c
c
|
|
.
|

\
|
c
c
' c
c
c
c
c
' c
= I'
v
o
o
o
v
o
o
c
o

i
v
i

x x
x
x x
x
x x
x
x
x
2
,
1
]
1

' c ' c
c
c
c
+
' c
c
' c
c
|
|
.
|

\
|
c
c
c
c
c
c
c
' c
= I'
v
o
o
o
v
o

t
o
c
t o

i
v
i

x x
x
x x
x
x
x
x x
x
x
x
2
,
1
]
1

' c ' c
c
c
c
+
' c
c
' c
c
c c
c
c
c
c
' c
= I'
v
o
o
o
v
o

t
o t
c
o

i
v
i

x x
x
x x
x
x
x
x x
x
x
x
2 2
,
v
o
o
o
o

i
v
o

t
o t
c
o

i
v
i

x x
x
x
x
x
x
x
x
x
x
x x
x
x
x
' c ' c
c
c
c
c
c
c
' c
+
' c
c
' c
c
c c
c
c
c
c
' c
= I'
2 2
,
v
o

i
o t
c
o

v
o

i
v
i
o

x x
x
x
x
x x
x
x
x
x
x
x
x
' c ' c
c
c
' c
+
c c
c
c
c
' c
c
' c
c
c
' c
= I'
2 2
,
to

v
o

i
v

i
v
i
I
' c
c
' c
c
c
' c
+
' c ' c
c
c
' c
= I'
x
x
x
x
x
x
x x
x
x
x
2
.
Por el resultado obtenido se observa que v
i
I' no es un tensor.
Por otro lado, de la identidad
i
v
v

i
o =
' c
c
c
' c
x
x
x
x
se tiene que
, ) 0 =
' c
c
=
|
|
.
|

\
|
' c
c
c
' c
' c
c
i
v
v

o
x x
x
x
x
x
,
0
2 2
=
' c ' c
c
c
' c
+
' c
c
c ' c
' c
v

i
v


i
x x
x
x
x
x
x
x x
x
,
0
2 2
=
' c ' c
c
c
' c
+
' c
c
' c
c
c c
' c
v

i
v

o
o
i
x x
x
x
x
x
x
x
x
x x
x
,
o
i

o
v

i
x x
x
x
x
x
x
x x
x
x
x
c c
' c
' c
c
' c
c
=
' c ' c
c
c
' c
2 2
,
as tenemos que
55
o
i

o
v

to

v
o

i
v
i
x x
x
x
x
x
x
x
x
x
x
x
x
c c
' c
' c
c
' c
c
I
' c
c
' c
c
c
' c
= I'
2
.
De esta manera concluimos que v
i
I' es un tensor slo para transformaciones lineales, caso en
el cual el segundo trmino del lado derecho, de la expresin anterior, se anula.
Ahora consideremos un campo tensorial en una regin O del espacio-tiempo (por ejemplo
, )
i
x V ) descrito por coordenadas curvilneas
i
x . La cuestin es dado un tensor, es posible
obtener un nuevo tensor por diferenciacin? Para responder esta interrogante, estudiemos los
siguientes casos:
- Campo Escalar
En este caso se tiene que , ) , )
o o
| | x x = ' ' . As su derivada es dada por
o
o
|
|
, =
c
c
x
el cual es un vector covariante porque
o
o
|
| dx
x
d
|
.
|

\
|
c
c
=
es un escalar y
o
dx un vector contravariante arbitrario. El mismo resultado se obtiene por
derivacin elemental:
| o
|
o
|
| o
| | |
x x
x
x
x
x x c
c
' c
c
=
' c
c
c
c
=
' c
' c
,
que es la ley de transformacin de un vector covariante.
- Vector Contravariante
Sea , )
i
x V un vector contravariante, cuya ley de transformacin es
v
v

V
x
x
V
c
' c
= ' .
Su derivada es obtenida de la siguiente manera:
i
v
v

v
v i

v
v

i i

x
V
x
x
V
x x
x
V
x
x
x x
V
' c
c
c
' c
+
c ' c
' c
=
|
|
.
|

\
|
c
' c
' c
c
=
' c
' c
2
,
v
v i

v
i

V
x x
x
x
V
x
x
x
x
x
V
c ' c
' c
+
c
c
' c
c
c
' c
=
' c
' c
2
, (10.1)
56
donde el segundo trmino del lado derecho es no homogneo. Por lo tanto, genera un tensor si
y slo si las transformaciones son lineales.
Por otro lado, como
o
i

o
v

to v
o

i
i
v
x x
x
x
x
x
x
x
x
x
x
x
x
c c
' c
' c
c
' c
c
I
' c
c
' c
c
c
' c
= I'
2
,
v
o

i
o
v

v
to v
o
i
t

v
iv
V
x x
x
x
x
x
x
V
x
x
x
x
x
x
V '
c c
' c
' c
c
' c
c
' I
' c
c
' c
c
c
' c
= ' I'
2
,

i
o
o

o
to i
t

v
iv
V
x
x
x x
x
V
x
x
x
x
V
' c
c
c c
' c
I
' c
c
c
' c
= ' I'
2
,

o
to i
t

v
iv
V
x x
x
V
x
x
x
x
V
' c c
' c
I
' c
c
c
' c
= ' I'
2
, (10.2)
as sumando (10.1) y (10.2), tenemos
o v
o
i

v
i

v
iv
i

V
x
x
x
x
x
V
x
x
x
x
V
x
V
I
' c
c
c
' c
+
c
c
' c
c
c
' c
= ' I' +
' c
' c
,
|
|
.
|

\
|
I +
c
c
' c
c
c
' c
= ' I' +
' c
' c
o v
o

v
i

v
iv
i

V
x
V
x
x
x
x
V
x
V
,
definiendo
v
iv i

V
x
V
V I +
c
c
= , , , (10.3)
entonces

v
i

, , , , V
x
x
x
x
V
' c
c
c
' c
= ' , (10.4)
el cual representa la derivada covariante de un vector contravariante. La definicin (10.4)
tambin puede ser escrito como
v
iv i

V V V I + = , ; .
OBSERVACIONES:
- Para un escalar
o o o
|
| |
x c
c
= =
, , ,
, debido a que la derivada de un escalar es un
vector.
- Si 0 = I

iv
la derivada covariante se reduce a la derivada parcial.
- Vector Covariante
57
En este caso sea , )
i

x V un vector covariante, cuya ley de transformacin es

o
V
x
x
V
' c
c
= ' .
Su derivada es obtenida de la siguiente manera:
v

o v

v v
o
x
V
x
x
V
x x
x
V
x
x
x x
V
' c
c
' c
c
+
' c ' c
c
=
|
|
.
|

\
|
' c
c
' c
c
=
' c
' c
2
,

o v

v
o
o

v
o
V
x x
x
x
V
x
x
x
x
x
V
' c ' c
c
+
c
c
' c
c
' c
c
=
' c
' c
2
, (10.5)
y usando la relacin
v

to
v
o

i
i
v
x x
x
x
x
x
x
x
x
x
x
' c ' c
c
c
' c
+ I
' c
c
' c
c
c
' c
= I'
2
,
i
v

i
i

to
v
o

i
i
i
v
V
x x
x
x
x
V
x
x
x
x
x
x
V '
' c ' c
c
c
' c
+ ' I
' c
c
' c
c
c
' c
= ' I'
2

to
v
o

t
i
i
v
V
x x
x
V
x
x
x
x
V
' c ' c
c
+ I
' c
c
' c
c
= ' I'
2
, (10.6)
as haciendo en (10.6) o y t restando con (10.5) obtenemos
t
t
o
v
o
o

v
o
o

i
i
ov
v
o
V
x
x
x
x
x
V
x
x
x
x
V
x
V
I
' c
c
' c
c

c
c
' c
c
' c
c
= ' I' +
' c
' c
,
|
|
.
|

\
|
I
c
c
' c
c
' c
c
= ' I' +
' c
' c
t
t
o
o

v
o
o

v i
ov
v
o
V
x
V
x
x
x
x
V
x
V
,
definiendo
v
t
t
o
o

V
x
V
V I
c
c
=
, ,
, (10.7)
entonces
o v
o
o

v o , , , ,
V
x
x
x
x
V
' c
c
' c
c
= ' , (10.8)
el cual representa la derivada covariante de un vector covariante. Como en el caso anterior la
definicin (10.7) tambin puede ser escrito como
t
t
o o o
V V V I =
, ;
.
58
- Tensores de Segundo Orden
En este caso sea
o|
T un tensor contravariante de segundo orden, cuya ley de
transformacin es
v
v
|

o
o|
T
x
x
x
x
T
c
' c
c
' c
= ' .
Siguiendo la misma metodologa de los casos anteriores, se tiene que la derivada covariante
es dada por
o
i
| |
i
o
i
o|
i
o|
T T T T I + I + = , , , .
En el caso de un tensor covariante de segundo orden
o|
T , cuya ley de transformacin es
v
|
v
o

o|
T
x
x
x
x
T
' c
c
' c
c
= ' .
Aqu su derivada covariante es
o
|i

|
oi

i
o|
i
o|
T T T T I I =
, , ,
.
De esta manera se pueden tener las siguientes propiedades importantes en la geometra
riemanniana:
1. , )
i | o | i o
i
| o , , , , , ,
B A B A B A + = ,
2.
o
i i
o i o , ,
, ,
, ,
A g A A = ,
3. o
o io
i
o
, ,
, ,
A g A = ,
4. 0
, ,
=
i v
g , decir, la derivada covariante del tensor mtrico es nulo.
5. , )

i v

i v i

v
| o | o
, , ; ;
B A B A + = + .
Por otro lado, el rotacional es dada por
o | | o o | | o , , ; ;
V V V V = ,
mientras que la divergencia covariante es
, )

,
;
1
V g
g
V = .
10.1 GEODSICAS
Una geodsica puede ser definida como la curva mnima. La menor distancia entre dos
puntos en un espacio-tiempo curvo.
59
Para demostrar esto consideremos una partcula que va desde un punto A a uno en B ese
espacio curvo. Adems, las coordenadas dependen de un parmetro arbitrario p , es decir
) ( p x x

= . Sea una distancia infinitesimal dada por

v
dx dx g ds = ,
entonces la distancia es
} }
= =
B
A
B
A
dx dx g ds L

v
. (10.9)
Como en el caso de la mecnica clsica para hallar la menor distancia entre A y B , se tiene
que 0 = L o y que las variaciones en los puntos A y B son nulos, 0 ) ( = A x

o y 0 ) ( = B x

o .
As se tiene que
0 = = =
} }
B
A
B
A
dp
dx
dp
dx
g dx dx g L

v

v
o o o ,
}

\
|
+
|
|
.
|

\
|
c
|
|
.
|

\
|
c
+
c
c
|
|
.
|

\
|
=

B
A
dp
dx
dp
dx
dp
dx
g
dp
dx
dp
dx
x
x
g
dp
dx
dp
dx
g L
v
o

v

o
o
v

v
o o
2
1
2
1
0 =

|
|
.
|

\
|
|
|
|
|
|
.
|
|
|
.
|

\
|
c
|
|
.
|

\
|
c
+ dp
dp
dx
dp
dx
dp
dx
dp
dx
o
o
v

o ,
}

\
|
=
)
`

|
|
.
|

\
|
|
|
.
|
+ +
c
c
|
|
.
|

\
|
=

B
A
dp
dp
dx
dp
dx
dp
dx
g
dp
dx
dp
dx
x
x
g
dp
dx
dp
dx
g L 0
2
1
2
1
o
v
o
v

o v

o
o
v

v
o o o o o ,
y como
|
|
.
|

\
|
=
|
|
.
|

\
|
+
|
|
.
|

\
|
=
|
|
.
|

\
|
+
|
|
.
|

\
|
dp
dx
dp
dx
dp
dx
dp
dx
dp
dx
dp
dx
dp
dx
dp
dx
dp
dx
dp
dx
v v v o
v
o
o v

o
o o o o o o o 2 ,
entonces
0 2
2
1
2
1
=

)
`

|
|
.
|

\
|
+
c
c
|
|
.
|

\
|
=
}

dp
dp
dx
dp
dx
g
dp
dx
dp
dx
x
x
g
dp
dx
dp
dx
g L
B
A
v
v

o
o
v

v
o o o . (10.10)
Adems, como
60
dp
dp
dx
dp
dx
g ds

v
= , (10.11)
ds
dp
dx
dp
dx
g dp
2
1

|
|
.
|

\
|
=

v
,
y
dp
ds
dp
ds
ds
dx
ds
dx
dp
ds
ds
dx
dp
ds
ds
dx
dp
dx
dp
dx

= = ,
usando (10.11) tenemos
ds
dx
ds
dx
dp
dx
dp
dx
g
dp
dx
dp
dx

v

= ,
as (1010.) puede ser rescrito como:
}

+
|
|
.
|

\
|
c
c
|
|
.
|

\
|
=

B
A
ds
dx
ds
dx
dp
dx
dp
dx
g x
x
g
dp
dx
dp
dx
g L

v
o
o
v

v
o o
2
1
2
1
, ) 0 2 =
)
`

|
|
.
|

\
|
+ dp
dp
dx
dp
dx
g x
ds
d
ds
dx
g

v

v
v
o ,
, ) 0 2
2
1
=

)
`

+
c
c
=
}
dp
dp
dx
dp
dx
g x
ds
d
ds
dx
g
ds
dx
ds
dx
x
x
g
L
B
A

v

v
v

o
o
v
o o o ,
, ) 0
2
1
=

)
`

+
c
c
=
}
ds x
ds
d
ds
dx
g
ds
dx
ds
dx
x
x
g
L
B
A

v
v

o
o
v
o o o . (10.12)
Integrando por partes: para el segundo trmino,
, )
|
|
.
|

\
|
+
c
c
= =
} }
ds
ds
x d
g ds
ds
dx
ds
dx
x
g
x x
ds
dx
g ds x
ds
d
ds
dx
g L
B
A
B
A
B
A
2
2 v
v
v o
o
v
v
v

v
v
o o o o ,
as (10.12) es rescrito como
0
2
1
2
2
=

)
`

|
|
.
|

\
|
+
c
c

c
c
=
}
ds x
ds
x d
g
ds
dx
ds
dx
x
g
ds
dx
ds
dx
x
x
g
L
B
A

v
v
v o
o
v

o
o
v
o o o ,
61
0
2
1
2
2
=

)
`

|
|
.
|

\
|
+
c
c

c
c
=
}
ds x
ds
x d
g
ds
dx
ds
dx
x
g
ds
dx
ds
dx
x
x
g
L
B
A
o
v
v

o
v o
o
v
o

o
o
v
o o o o o ,
0
2
1
2
2
=

)
`

|
|
.
|

\
|
+
c
c

c
c
=
}
ds x
ds
x d
g
ds
dx
ds
dx
x
g
ds
dx
ds
dx
x
g
L
B
A
o
v
v

o
v o
o
v
o

o
v
o o o o ,
0
2
1
2
2
=

)
`

c
c

c
c
=
}
ds x
ds
x d
g
ds
dx
ds
dx
x
g
ds
dx
ds
dx
x
g
L
B
A
o
v
ov

o
o
ov
o
v
o

o
v
o o o o ,
0
2
1
2
2
=

)
`

c
c

c
c
+ =
}
ds x
ds
dx
ds
dx
x
g
x
g
ds
dx
ds
dx
g
ds
x d
L
B
A
o
o
o
o
o
o
o
ov
v
o o ,
0
2
1
2
2
=

)
`

|
|
.
|

\
|
c
c

c
c
+ =
}
ds x
x
g
x
g
ds
dx
ds
dx
g
ds
x d
L
B
A
o
o
o
o
o
o
ov
v
o o ,
pero como

u
ds
dx
= , entonces
0
2
1
2
2
=

)
`

|
|
.
|

\
|
c
c

c
c
+ =
}
ds x
x
g
x
g
u u g
ds
x d
L
B
A
o
o
o
o
o o
ov
v
o o ,
adems observando que
|
|
.
|

\
|
c
c
+
c
c
=
c
c

oo
o
o
o
o
o o
x
g
x
g
u u
x
g
u u
2
y usando la notacin
o i
o
i
/
g
x
g
=
c
c
se tiene que
, ) 0
2
/ / /
2
2
=

)
`

+ + =
}
ds x g g g
u u
g
ds
x d
L
B
A
o
o o oo o o
o
ov
v
o o ,
y considerando que
u
o
vu
ov
o = g g
, ) 0
2
/ / /
2
2
=

)
`

+ + =
}
ds x g g g
g u u
g g
ds
x d
L
B
A
o
o o oo o o
vu o
vu
ov
v
o o ,
, ) 0
2
/ / /
2
2
=

)
`

+ + =
}
ds x u u g g g
g
ds
x d
L
B
A
o u
o
o
o o oo o o
vo v
o o o ,
finalmente como , )
o o oo o o
vo
o
v
/ / /
2
g g g
g
+ = I , entonces
62
, 0
2
2
=

I + =
}
ds x u u
ds
x d
L
B
A
o u
o
o
o
v
v
o o o
y para valores arbitrarios de la variacin
u
o x , obtenemos
0
2
2
= I +
ds
dx
ds
dx
ds
x d
o
o
v
v
,
relacin conocida como la ecuacin de la geodsica.
Por lo tanto, la trayectoria en el espacio-tiempo seguida por una partcula en la presencia de
un campo gravitacional es la curva que extrema la longitud d (el intervalo).
63
CAPTULO 11
EL PRINCIPIO DE COVARIANCIA GENERAL
En este captulo presentamos el Principio de la covariancia general en la Relatividad
General.
El principio de covariancia es una de las motivaciones principales que llevaron a Einstein a
generalizar la teora de la relatividad especial. Dicho principio afirma que, las leyes
fundamentales de la fsica deben tener la misma forma para cualquier observador sea cual sea
el estado de movimiento de este. Puesto que las medidas hechas por diversos observadores
pueden encontrarse relacionadas mediante leyes de transformacin fijas.
Matemticamente el principio de covariancia implicaba que las leyes de la fsica deben ser
leyes tensoriales en el que las magnitudes medidas por diferentes observadores se encuentren
relacionadas de acuerdo a la transformacin de coordenadas de cada observador. Fsicamente
el principio de covariancia depende de la observacin que para diferentes sistemas de
coordenadas de referencia no existe procedimiento fsico para distinguir entre ellos. Influido
por el principio de equivalencia y otras observaciones Einstein y otros llegaron a teorizar que
era posible construir una teora donde todas las ecuaciones pudieran ser escritas en una forma
suficientemente general como para tener la misma forma en cualquier sistema de coordenadas.
Un ejemplo de esto era el equivalente relativista de la segunda ley de Newton que se escribe
para cualquier sistema de coordenadas, en trminos del tiempo propio, los smbolos de
Christoffel del sistema de coordenadas y las componentes de la cuadrifuerza.
As la diferencia aparente entre sistemas inerciales y no inerciales de la mecnica newtoniana
era ilusoria, ya que estos no son ms que sistemas en los que los smbolos de Christoffel que
aparecen en la expresiones se anulan, y por tanto, los sistemas inerciales son slo un caso
particular de sistema de referencia, pero no un tipo privilegiado o de ningn modo destacado de
sistema de referencia, un vez que las leyes se formulen en la forma covariante adecuada.
El principio general de covariancia las leyes de la fsica deben tomar la misma forma en
todos los sistemas de coordenadas. El movimiento inercial se realiza a travs de trayectorias
geodsicas.
El principio de invariancia local de Lorentz, las leyes de la relatividad especial se aplican
localmente para todos los observadores inerciales. Curvatura del espacio-tiempo permite
explicar los efectos gravitacionales como movimientos inerciales en un espacio-tiempo
curvado. La curvatura del espacio-tiempo est creada por la tensin que la masa y la energa
ejercen sobre el mismo. El sistema de referencia escogido es definido por eleccin particular.
Por lo tanto, todo movimiento es definido y cuantificado relativamente a otro cuerpo. En la
teora especial de la relatividad se asume que los sistemas de referencia pueden ser extendidos
indefinidamente en todas las direcciones en el espacio-tiempo. Pero en la teora general se
reconoce que slo es posible la definicin de sistemas aproximados de forma local y durante un
tiempo finito para regiones finitas del espacio. En relatividad general, las leyes de Newton son
asumidas slo en relacin a sistemas de referencia locales. Las partculas libres viajan trazando
lneas rectas en sistemas inerciales locales (Lorentz). Cuando esas lneas se extienden, no
aparecen como rectas, siendo llamadas geodsicas. Entonces, la primera ley de Newton se ve
reemplazada por la ley del movimiento geodsico. Distinguimos sistemas inerciales de
referencia, en los que los cuerpos mantienen un movimiento uniforme sin la actuacin de o
sobre otros cuerpos, de los sistemas de referencia no inerciales en los que los cuerpos que se
64
mueven libremente sufriendo una aceleracin derivada del propio sistema de referencia. En
sistemas de referencia no inerciales se percibe una fuerza derivada del sistema de referencia, no
por la influencia directa de otra materia. Nosotros sentimos fuerzas "gravitatorias" cuando
vamos en un coche y giramos en una curva como la base fsica de nuestro sistema de
referencia. De forma similar actan el efecto Coriolis y la fuerza centrfuga cuando definimos
sistemas de referencia basados en un cuerpo rotando (tal cual la Tierra o un nio dando
vueltas). El principio de equivalencia en relatividad general establece que no hay experimentos
locales que sean capaces de distinguir una cada no-rotacional en un campo gravitacional a
partir del movimiento uniforme en ausencia de un campo gravitatorio. Es decir, no hay
gravedad en un sistema de referencia en cada libre. Desde esta perspectiva la gravedad
observada en la superficie de la Tierra es la fuerza observada en un sistema de referencia
definido por la materia en la superficie que es no libre (es ligada) pero es atrada hacia abajo
por la materia terrestre, y es anloga a la fuerza "gravitatoria" sentida en un coche dando una
curva.
Una ecuacin fsica es vlida en la presencia de un campo gravitacional arbitrario si:
- Est de acuerdo con las leyes de la relatividad especial, es decir cuando
o| o|
q g
caso en el cual 0 I |i
o
.
- La ecuacin es covariante sobre las transformaciones de coordenadas generales
) (
| o o o
x x x x ' = ' .
- Las derivadas parciales deben ser sustituidas por las derivadas covariantes.
65
CAPTULO 12
DERIVADAS COVARIANTES. TENSOR DE CURVATURA
En el captulo anterior se estudio el principio general de covariancia, es decir, las leyes de
la fsica deben tomar la misma forma en todos los sistemas de coordenadas. Asimismo,
estudiamos la geometra del espacio-tiempo en la presencia del campo gravitacional, conocida
como la geometra Riemanniana. En este captulo presentaremos las derivadas covariantes
definidas en la geometra riemanniana. Adems, como el espacio-tiempo en este caso es curvo,
queremos saber como obtener una medida para la desviacin del espacio desde el espacio de
Minkowski. Esta desviacin es conocida como curvatura. Frecuentemente pensamos en una
superficie bidimensional en un espacio tridimensional, es decir, describimos las propiedades de
un espacio bidimensional (superficie) desde un punto de vista de un espacio plano de
dimensin mayor. Esta manera de tratamiento tambin es matemticamente posible para un
espacio de Riemann cuadridimensional (podemos considerarlo como una hipersuperficie en un
espacio de 10 dimensiones).
Para presentar las derivadas covariantes, recordamos que los tensores, al igual que otros
objetos matemticos, tambin pueden ser diferenciados con las herramientas del clculo
infinitesimal. Sin embargo, hay que tomar aqu ciertas precauciones. Si consideramos las
componentes , )

o|
x g de un tensor covariante, la derivada para que este bien definido, no es
suficiente con que se aplique las reglas del clculo infinitesimal conocidas para obtener una
expresin llamada la derivada de un tensor. Es necesario que el resultado obtenido tambin
se comporte como un tensor, es decir tambin debe transformarse de acuerdo con la definicin
del tensor sobre un cambio de coordenadas. Si esto no ocurre, la operacin no es adecuada,
porque al no poderse transformar la derivada del tensor como un tensor sobre un cambio de
coordenadas, entonces una ecuacin tensorial que involucre derivadas de los mismos no ser
independiente de un cambio de coordenadas, lo cual contradice la razn del uso de tensores, es
decir escribir las relaciones matemticas como las que ocurren en la Relatividad General,
independientes del sistema de coordenadas utilizado. Y resulta que la diferenciacin ordinaria
de un tensor no produce un tensor.
De esta manera, sobre las mismas consideraciones del captulo de Geometra Riemanniana,
es decir, teniendo en cuenta un campo tensorial en una regin O del espacio-tiempo (por
ejemplo , )
i
x V ) descrito por coordenadas curvilneas
i
x , se determina un nuevo tensor por
diferenciacin.
- Campo Escalar
En este caso se tiene que , ) , )
o o
| | x x = ' ' y, su derivada es dada por
o
o
|
|
, =
c
c
x
el cual es un vector covariante debido a que
o
o
|
| dx
x
d
|
.
|

\
|
c
c
=
66
es un escalar y
o
dx un vector contravariante arbitrario. El mismo resultado se obtiene por
derivacin elemental:
| o
|
o
|
| o
| | |
x x
x
x
x
x x c
c
' c
c
=
' c
c
c
c
=
' c
' c
,
que es la ley de transformacin de un vector covariante.
- Vector Contravariante
En este caso, sea , )
i
x V un vector contravariante, cuya ley de transformacin es
v
v

V
x
x
V
c
' c
= ' .
Su derivada es obtenida de la siguiente manera:
i
v
v

v
v i

v
v

i i

x
V
x
x
V
x x
x
V
x
x
x x
V
' c
c
c
' c
+
c ' c
' c
=
|
|
.
|

\
|
c
' c
' c
c
=
' c
' c
2
,
v
v i

v
i

V
x x
x
x
V
x
x
x
x
x
V
c ' c
' c
+
c
c
' c
c
c
' c
=
' c
' c
2
, (12.1)
donde el segundo trmino del lado derecho es no homogneo. Por lo tanto, genera un tensor si
y slo si las transformaciones son lineales.
Por otro lado, en el captulo de Geometra Riemanniana se demostr que
o
i

o
v

to

v
o

i
v
i
x x
x
x
x
x
x
x
x
x
x
x
x
c c
' c
' c
c
' c
c
I
' c
c
' c
c
c
' c
= I'
2
,
as, para nuestro caso tenemos que
v
o

i
o
v

v
to

v
o
i
t

v
iv

V
x x
x
x
x
x
x
V
x
x
x
x
x
x
V '
c c
' c
' c
c
' c
c
' I
' c
c
' c
c
c
' c
= ' I'
2
,

i
o
o
o t

i
t

v
iv

V
x x
x
x
x
V
x
x
x
x
V
c c
' c
' c
c
I
' c
c
c
' c
= ' I'
2
,

o
o t

i
t

v
iv

V
x x
x
V
x
x
x
x
V
' c c
' c
I
' c
c
c
' c
= ' I'
2
. (12.2)
De esta manera, sumando (12.1) y (12.2), se tiene

o
o t

i
t

v
v i

v
i

v
iv

V
x x
x
V
x
x
x
x
V
x x
x
x
V
x
x
x
x
V
x
V
' c c
' c
I
' c
c
c
' c
+
c ' c
' c
+
c
c
' c
c
c
' c
= ' I' +
' c
' c
2 2
,
67
o
o t

i
t

v
i

v
iv

V
x
x
x
x
x
V
x
x
x
x
V
x
V
I
' c
c
c
' c
+
c
c
' c
c
c
' c
= ' I' +
' c
' c
,
de aqu, como los ndices toman los mismos valores, hacemos en el segundo trmino del lado
derecho de la expresin anterior, los siguientes cambios de ndices, primero v y luego
t , obtenindose
o
o
v
i

v
i

v
iv

V
x
x
x
x
x
V
x
x
x
x
V
x
V
I
' c
c
c
' c
+
c
c
' c
c
c
' c
= ' I' +
' c
' c
,
|
|
.
|

\
|
I +
c
c
' c
c
c
' c
= ' I' +
' c
' c
o
o
v

v
i

v
iv

V
x
V
x
x
x
x
V
x
V
, (12.3)
se observa que esta expresin tiene la estructura de una transformacin de un tensor de orden
dos, para esto definimos
v
iv

V
x
V
V I +
c
c
= , , , (12.4)
con lo cual (12.3) puede ser escrito como

v
i

, , , , V
x
x
x
x
V
' c
c
c
' c
= ' ,
que representa la transformacin de un tensor de orden dos.
La definicin, dada por (12.4), es llamada la Derivada covariante de un vector contravariante,
que tambin puede representarse, desde que el primer trmino del lado derecho es una derivada
parcial, como
v
iv

V V V I + = , , , ,
o tambin
v
iv

V V V I + = , ; .
Observe que si 0 = I iv

, entonces la derivada covariante se reduce a la derivada parcial.


- Vector Covariante
En este caso sea , )
i

x V un vector covariante, cuya ley de transformacin es

o
V
x
x
V
' c
c
= ' .
Su derivada es obtenida de la siguiente manera:
v

o v

v v
o
x
V
x
x
V
x x
x
V
x
x
x x
V
' c
c
' c
c
+
' c ' c
c
=
|
|
.
|

\
|
' c
c
' c
c
=
' c
' c
2
,
68

o v

v
o
o

v
o
V
x x
x
x
V
x
x
x
x
x
V
' c ' c
c
+
c
c
' c
c
' c
c
=
' c
' c
2
, (12.5)
y usando la relacin
v

i
to

v
o

i
v
i
x x
x
x
x
x
x
x
x
x
x
' c ' c
c
c
' c
+ I
' c
c
' c
c
c
' c
= I'
2
,
se tiene
i
v

i
i
to

v
o

i
i
v
i
V
x x
x
x
x
V
x
x
x
x
x
x
V '
' c ' c
c
c
' c
+ ' I
' c
c
' c
c
c
' c
= ' I'
2

to

v
o

t
i
v
i
V
x x
x
V
x
x
x
x
V
' c ' c
c
+ I
' c
c
' c
c
= ' I'
2
, (12.6)
as, como los ndices toman los mismos valores, en (12.6) hacemos o y t , y luego
si la expresin resultante restamos con (12.5), obtenemos
t
o
t
v
o
o

v
o
o

i
ov
i
v
o
V
x
x
x
x
x
V
x
x
x
x
V
x
V
I
' c
c
' c
c

c
c
' c
c
' c
c
= ' I'
' c
' c
,
|
|
.
|

\
|
I
c
c
' c
c
' c
c
= ' I'
' c
' c
t
o
t
o

v
o
o

v
ov
i
v
o
V
x
V
x
x
x
x
V
x
V
.
Ahora, definiendo
v
t
o
t
o

V
x
V
V I
c
c
=
, ,
, (12.7)
tenemos que
o v
o
o

v o , , , ,
V
x
x
x
x
V
' c
c
' c
c
= ' , (12.8)
el cual representa la derivada covariante de un vector covariante. Como en el caso anterior la
definicin (12.7) tambin puede ser escrito como
t
o
t
o o
V V V I =
, ;
.
- Tensores de Segundo Orden
En este caso sea
o|
T un tensor contravariante de segundo orden, cuya ley de
transformacin es
v
v
|

o
o|
T
x
x
x
x
T
c
' c
c
' c
= ' .
Siguiendo la misma metodologa de los casos anteriores, se tiene que la derivada covariante
es dada por
69
o
i
| |
i
o
i
o|
i
o|
T T T T I + I + = , , , .
En el caso de un tensor covariante de segundo orden
o|
T , cuya ley de transformacin es
v
|
v
o

o|
T
x
x
x
x
T
' c
c
' c
c
= ' .
Aqu su derivada covariante es
o
|i

|
oi

i
o|
i
o|
T T T T I I =
, , ,
.
De esta manera se pueden tener las siguientes propiedades importantes en la geometra
riemanniana:
6. , )
i | o | i o
i
| o , , , , , ,
B A B A B A + = ,
7.
o
i i
o i o , ,
, ,
, ,
A g A A = ,
8. o
o io
i
o
, ,
, ,
A g A = ,
9. 0
, ,
=
i v
g , es decir, la derivada covariante del tensor mtrico es nulo.
10. , )

i v

i v i

v
| o | o
, , ; ;
B A B A + = + .
Por otro lado, como
t
o|
t
| o | o
V V V I =
, ;
,
y
t
|o
t
o | o |
V V V I =
, ;
,
se tiene que el rotacional es dado por
o | | o o | | o , , ; ;
V V V V = ,
mientras que la divergencia covariante es
, )

,
;
1
V g
g
V = .
12.1 TENSOR DE CURVATURA
Con el fin de, posteriormente, obtener las ecuaciones de campo, debemos determinar el
tensor de curvatura. Para esto, vamos a considerar el siguiente principio: en la ausencia total de
materia y campos de cualquier especie la mtrica de Minkowski debe ser vlida globalmente.
Es decir, las ecuaciones de campo deben tener a la mtrica de Minkowski como una solucin
particular.
En la Teora General de la Relatividad, existen tres tensores importantes para estudiar y
especificar la curvatura de un espacio-tiempo, a saber: el tensor de Einstein, el tensor de Ricci
y el tensor de Riemann. Para obtener estos tensores, se debe conocer primero el tensor de
70
Riemann, ya que a partir de el se obtiene el tensor de Ricci y asimismo, el tensor de Einstein es
obtenido a partir de este. De esta manera, es de nuestro inters determinar el tensor de
Riemann, ya que todo lo relacionado con la curvatura en un espacio-tiempo se deriva de dicho
tensor.
Para una curvatura arbitraria en el espacio de Riemann, parametrizado por s , se puede
construir un campo vectorial

A paralelo a lo largo de esta curva. De esta manera, transportar

A a lo largo de la curva sin cambiar su longitud o direccin, el resultado es un campo paralelo


de vectores, generado por transporte paralelo. Como no existe cambio en la longitud o
direccin de

A , se tiene que
0 =
ds
dA

,
y de aqu la derivada covariante a lo largo de una curva, dada por
o
i
oi


A
ds
dx
s d
dA
Ds
DA
I + = ,
es
o
i
oi

A
ds
dx
Ds
DA
I = .
Supngase que queremos transportar

A en un espacio curvo, desde el punto
1
p a p ' ' y de
1
p
a p' . Para el primer caso, se tiene que
i
v
i
v

o x d A A
1 1
I = ,
y el segundo,
i
v
i
v

o x d A A
2 2
I = .
De esta manera, ir de
1
p a p' y de ah a
2
p , produce
, ), )

o
o o
|
| o
o
o
o

o o o A x d A A x d A
1 2 1 1
, + + I + I = ' ,
, )
|
o
| o
o i i
v
i
v o |
o
| o
o
v
i o
oi
v
o
o

o x d A x d x d A x d x d A A x d x d A
1
,
2 1 2 1
,
1 2
I + + I + I + I I = ' ,
y del mismo modo para ir de
1
p a p ' ' y de ah a
2
p , se tiene
, )
|
o
| o
o i i
v
i
v | o
o
| o
o
v
o i
oi
v
o
o

o x d A x d x d A x d x d A A x d x d A
1
,
2 1 2 1
,
1 2
I + + I + I + I I = ' ' ,
as restando las expresiones anteriores obtenemos
, )
o |
o
o
u
u|
o
|
u
uo
o
o |
o
| o
o

o o x d x d A A A
2 1
, , I I I I + I + I = ' ' ' .
Por lo tanto, si el transporte paralelo es independiente del camino para todos los campos
vectoriales

A entonces el tensor de curvatura de Riemann definido como
o
u
u|
o
|
u
uo
o
o |
o
| o
o
|o
o
I I I I + I + I = , , R ,
71
es nulo.
La independencia del transporte paralelo es una interpretacin de la conmutacin de la segunda
derivada covariante

A . Para mostrar esto, recordamos el principio antes mencionado, es decir,
la mtrica de Minkowski debe ser una solucin global particular en la ausencia de materia. As,
en un sistema donde 0 = I |
o
en todo el espacio, se tiene
|
o
|
o
, ; V V = ,
|
o
|
o
, , ; ; V V = ,
es decir, para un espacio plano la orden de diferenciacin covariante es irrelevante:
0 ; ; ; ; = |
o
|
o
V V .
Adems, como esta es una ecuacin tensorial, es vlido para todo sistema de coordenadas en el
espacio plano.
Por otro lado, si definimos
|
o
|
o
|
o
|
o
S V V V = I + = , ; ,
entonces

o
|

i
o
|
o
|
o
|
o
S S S S V I I + = = , ; ; ; ,
, )
o
|

i
o

|
o
|
o
; ;
,
; ; ; V V V V I I + = ,
, ) , ) , )

|
o
|
o
|

|
o
|
o
i
o

|
o
|
o
|
o
V V V V V V V I + I I + I + I + = , ,
,
, ; ; ,

|
o
|

|
o
|

|
o
i
o
|
o
i
o

|
o
|
o
|
o
|
o
V V V V V V V V I I I I I + I + I + I + = , , ,
,
, , ; ; .
De la misma manera, se tiene
u
u
o
|

o
|

i
i
o

i
i|
o
|

o
|
o
|
o
|
o
V V V V V V V V I I I I I + I + I + I + = , , ,
,
, , ; ; .
Por lo tanto,

|
o
|
o
|
o
V R V V = ; ; ; ; ,
y como

V es arbitrario, tenemos que
0 ; ; ; ; = |
o
|
o
V V ,
si y slo si
0 = |
o
R .
De esta manera, el tensor de curvatura es nulo si y slo si, el espacio es plano, es decir,
cuando un sistema de coordenadas cartesiano puede ser introducido en todo el espacio total. En
coordenadas cartesianas los smbolos de Christoffel son nulos, as como el tensor de curvatura.
72
Inversamente, si el tensor de curvatura es nulo, entonces se puede tener un sistema de
coordenadas cartesiana a travs del espacio por un transporte paralelo de

A .
73
CAPTULO 13
ECUACIONES DE EINSTEIN Y APLICACIONES
En este captulo presentamos las ecuaciones de Einstein de la Relatividad General.
Las ecuaciones de Einstein constituyen la base de la teora de la Relatividad General. Por
ejemplo, de ellas se puede obtener cual es el efecto de la materia sobre la geometra del
espacio, y viceversa. La relatividad general se basa en la matemtica de la geometra
diferencial de las variedades mtricas.
La Relatividad General, de 1916, considera como caso local a la Teora de la Relatividad
Especial de 1905, pero en este enfoque se estudia los efectos de la gravedad. La Teora de la
Relatividad General de Einstein fue necesaria para explicar los sistemas acelerados y las
incoherencias que presentaba la Teora de la Relatividad Especial por ejemplo, la conocida
paradoja de los gemelos.
Se fundamenta en el Principio de Equivalencia de Einstein (ver captulo 8), publicado en
1911, que permite relacionar con la relatividad inicial del tiempo de la Teora de la Relatividad
Especial. A los efectos temporales de la velocidad relativa en sistemas de referencia inerciales
se le adiciona, por el Principio de Equivalencia, efectos temporales a la gravedad. As, los
sistemas de referencia acelerados o con gravedad se configuran como sistemas de referencia no
inerciales. En otras palabras, cambios en la velocidad o aceleracin sern equivalentes a
cambios en la intensidad del campo de gravedad. De esta manera, se establece un sistema de
referencia privilegiado, el campo de gravedad.
Por otro lado, sabemos del Principio de Equivalencia que la gravedad es una manifestacin
de la curvatura del espacio, es decir, de una propiedad geomtrica del espacio-tiempo.
Asimismo, la fuente de esta curvatura es la materia de la cual tenemos una descripcin
tensorial, el tensor de energa-momento. Pero todava no sabemos exactamente cmo la materia
interacciona con el espacio-tiempo. Esta interaccin viene dada por las ecuaciones de Einstein.
La cuestin es saber la forma analtica de las ecuaciones de Einstein, o lo que es lo mismo,
cmo podemos describir de manera cualitativa la interaccin entre el espacio-tiempo y la
materia. El Principio de Covariancia nos dice que la ecuacin debe ser vlida en todos los
sistemas de referencia, y que por lo tanto debe tener una forma tensorial. Concretamente, la
ecuacin de Einstein tiene que ser de la forma
v v
kT G = .
donde
v
G es un tensor que describe la curvatura del espacio,
v
T el tensor de energa-
momento y k una constante de proporcionalidad (introducimos el signo menos para futura
conveniencia).
La pregunta por lo tanto se reduce a la identificacin del tensor
v
G . Resulta que hay
diversas restricciones matemticas y fsicas que
v
G tiene que cumplir:
1.
v
G tiene que ser simtrico en los dos ndices, ya que
v
T tambin lo es.
74
2.
v
G tiene que ser un objeto puramente geomtrico. Por lo tanto, tiene que ser una
funcin solamente de la mtrica
v
g y sus derivadas.
3. Para el espacio plano, tenemos que 0 =
v
G .
4. La ley de conservacin de energa 0 = V
v

T implica que 0 = V
v

G .
5. Se puede identificar la componente
00
g de la mtrica con el potencial gravitacional
newtoniano. Para tener una teora dinmica y para recuperar la ecuacin de Poisson,
v
G debe contener segundas derivadas de la mtrica. La manera ms natural, por lo
tanto es a travs de las contracciones del tensor de Riemann v
i
R .
6. Para obtener una ecuacin diferencial de segundo orden en los potenciales gravitatorios,
v
G tiene que ser lineal en el tensor de Riemann. Contracciones del tipo

v
R R o
io
v io
R R daran lugar a ecuaciones diferenciales de orden ms alto que 2.
Los posibles candidatos obvios para
v
G podran ser la misma mtrica
v
g , su
dAlambertiano
v

g V V o el tensor de Ricci
v
R , sin embargo, un anlisis detallado indica
que ninguna de estas posibilidades cumple todas las condiciones mencionadas arriba. Aunque
la mtrica tiene el rango y las simetras adecuadas y satisface la condicin 0 = V
v

g , tiene la
desventaja de que la ecuacin debe ser
v v
kT g = no es una ecuacin dinmica, ni mucho
menos recupera la ecuacin de Poisson. El dAlambertiano
v

g V V sufre del problema


opuesto, ya que satisface (casi) todas las condiciones, pero es idnticamente cero, por el hecho
de que la conexin de Levi-Civita es compatible con la mtrica. Finalmente,
v
R no satisface
la condicin R R
v v

c = V
2
1
. Por lo tanto, la ley de conservacin de energa impondra que las
nicas mtricas permitidas seran las que tienen 0 = c R

, lo que no es una realista de esperar.


En realidad las condiciones (1 6) determinan el tensor
v
G unvocamente: se puede
demostrar que la expresin ms general para un tensor simtrico de rango 2, construido de la
mtrica y sus derivadas y lineal en
io
R es, salvo una constante comn, de la forma
) (x g g R G A + + =
v v v v
o ,
donde o es una constante ) (x A una funcin escalar. Adems, exigir que 0 = V
v

G implica
que
2
1
= o y que A es una constante, mientras que exigir que 0 =
v
G para el espacio plano
implica que 0 = A . Por lo tanto el nico tensor que satisface todas las condiciones necesarios
es el tensor de Einstein, introducido en
R g R G
v v v
2
1
= .
Una comparacin con las frmulas newtonianas fija la constante de proporcionalidad
GN t k 8 = , donde GN es la constante de Newton, de modo que las ecuaciones de Einstein
vienen dadas por
75
v v v
tGT R g R 8
2
1
= . (13.1)
Las ecuaciones de Einstein forman un sistema de 10 ecuaciones diferenciales parciales no
lineales acopladas de segundo orden, lo que hace que sean muy difciles de resolver
analticamente. No hay tcnicas conocidas para obtener una solucin general. Todas las
soluciones conocidas son casos con mucha simetra u obtenidas a travs de tcnicas
especficas. Las ecuaciones de Einstein tiene 10 componentes, pero en realidad la condicin
0 = V
v

G impone 4 ligaduras, de modo que slo 6 ecuaciones son realmente independientes.


Esto implica que de las 10 componentes de la mtrica slo 6 estn determinadas por las
ecuaciones de Einstein y corresponden a grados de libertad fsicos. Las otras 4 componentes
son componentes no-fsicas que expresan la libertad de eleccin del sistema de coordenadas. Si
v
g es una solucin de las ecuaciones de Einstein expresada en coordenadas

x , la misma
mtrica
o|
g expresada en coordenadas
o
y tambin debera ser una solucin. Esto slo es
posible si la mtrica contiene 4 grados de libertad que no estn determinados por las
ecuaciones de Einstein y que representan la libertad de aplicar un cambio de coordenadas
, )
o o o
x y y x = .
La diferencia conceptual entre las ecuaciones de Einstein y la teora newtoniana de la
gravedad es que las primeras describen la gravedad como una teora de campos, cuyo concepto
fue introducido por Michael Faraday (1791 - 1869) y asimismo, utilizado por Maxwell en el
contexto del electromagnetismo, para resolver el problema de accin a distancia. A diferencia
que en la ley de Newton o de Coulomb las partculas tienen interacciones (gravitacionales o
electromagnticas) a distancia, en una teora de campos las partculas interaccionan
indirectamente, a travs de un campo que se extiende por el espacio y que sirve de
intermediario para la interaccin entre las partculas. Una perturbacin se transmite a travs del
campo a velocidad finita (la velocidad de la luz en el caso del electromagnetismo y la
gravedad). De este modo la relatividad general resuelve el problema de accin inmediata y a
distancia de la gravedad newtoniana.
A veces es til rescribir las ecuaciones de Einstein sin la traza. Para esto, tomamos la traza
de (13.1), es decir contrayendo con
v
g , encontramos
T R k = ,
donde
v
v
T g T = y adems utilizamos el hecho que 4 =
v
v
g g . Sustituyendo esto en (13.1)
vemos que las ecuaciones de Einstein sin traza son de la forma
|
.
|

\
|
= T g T R
v v v
k
2
1
. (13.2)
Esta ecuacin es completamente equivalente a (13.1), hace falta calcular el escalar de Ricci.
Para conocimiento, histricamente, esta es la forma original en que Einstein escribi las
ecuaciones, aunque su forma ms famosa es sin duda (13.1). Una de las ventajas de (13.2) es
que en el vaco, donde 0 =
v
T , las ecuaciones se reducen a
0 =
v
R . (13.3)
Una solucin de esta expresin es el espacio de Minkowski, aunque es complicado para admitir
soluciones no-triviales, como la solucin de Schwarzschild, o de ondas gravitacionales. Las
soluciones de (13.3) son en cierto modo el anlogo de las ondas electromagnticas en la teora
76
de Maxwell, que tambin son soluciones de las ecuaciones en el vaco. Las mtricas que tienen
la propiedad (13.3) se llaman Ricci-planas.
13.1 APLICACIN: La Mtrica de Schwarzschild
Es conocido que las ecuaciones de Einstein para el espacio vaco son no lineales y en
consecuencia muy complicadas para obtener soluciones. Sin embargo, un caso especial el cual
puede ser solucionado sin mucha dificultad; es el campo esttico con simetra esfrica,
producido por un cuerpo simtricamente esfrico en reposo.
La condicin esttica significa que, con un sistema de coordenadas esttico, las
componentes del tensor mtrico
v
g son independientes del tiempo, es decir de
0
x o t y
tambin se tiene que 0 =
ti
g . En nuestros clculos vamos a considerar, por simplicidad, que
1 = c .
La primera solucin exacta para las ecuaciones de Einstein fue obtenida por K.
Schwarzschild (1916). Para realizar esto l considero las siguientes hiptesis:
1) El campo gravitacional es esttico.
2) El campo tiene simetra esfrica.
3) En el exterior del cuerpo, el espacio-tiempo es vaco.
4) El espacio-tiempo es asintticamente plano.
Schwarzschild considero que el espacio-tiempo podra ser representado por las
coordenadas polares ( | u, , , r t ), donde t es una coordenada tipo-tiempo, u y | son los ngulos
polares y r es la coordenada radial.
Vamos a determinar la mtrica que Schwarzschild. Comenzamos considerando que
v
v
dx dx g ds =
2
, sea el elemento de lnea ente dos puntos, el cual define el espacio-tiempo.
Entonces, si consideramos el caso de una esfera, podemos apropiadamente considerar una
mtrica que dependa de u y | para un radio fijo, entonces tenemos:
2 2 2 2
| u u d sen d d + = O . (13.4)
Sin embargo, desde que estamos interesados en un espacio-tiempo de 4-dimensiones,
necesitamos adicionar dos coordenadas, las cuales vamos a llamar a y b . Esto tambin
asegura que las ecuaciones sern escritas en forma covariante con la finalidad de mantener la
invariancia de las ecuaciones. De esta manera, la mtrica para un espacio-tiempo
simtricamente esfrica puede ser escrita en la forma:
, )
2 2 2 2 2
) , ( ) , ( ) , ( ) , ( O + + + + = d b a r dbda dadb b a g db b a g da b a g ds
ab bb aa
, (13.5)
donde , ) b a r , es una funcin arbitraria que ser determinada. Adems, observe que como r es
funcin de a y b entonces un cambio de coordenadas puede ser realizada, a saber
, ) , ) r a b a , , , por la inversin de , ) b a r , . En consecuencia, la expresin de la mtrica (13.5)
puede ser escrita como:
, ) , ) , )
2 2 2 2 2
, , O + + + + = d r drda dadr g dr r a g da r a g ds
ar rr aa
. (13.6)
77
Debemos observar que la mtrica (13.6) tiene 4 componentes, es decir | u, , , a r , sin
embargo, la coordenada temporal t no aparece, entonces la siguiente tarea ser encontrar una
funcin , ) r a t , , tal que, en el sistema de coordenadas , ) r t, los trminos cruzados drdt dtdr +
no aparezcan en la mtrica. Entonces, como estamos buscando una funcin , ) r a t , , podemos
escribir que:
dr
r
t
da
a
t
dt
c
c
+
c
c
= ,
a partir de la cual obtenemos:
, )
2
2
2
2
2
dr
r
t
drda dadr
r
t
a
t
da
a
t
dt |
.
|

\
|
c
c
+ + |
.
|

\
|
c
c
|
.
|

\
|
c
c
+ |
.
|

\
|
c
c
= . (13.7)
Por otro lado, si la mtrica (13.7) puede ser escrito de la siguiente forma:
2 2 2 ' 2
O + = d r ds ds , (13.8)
donde el elemento de lnea
2 '
ds es definida por
2 2 2 '
ndr mdt ds + , (13.9)
y las funciones m y n son arbitrarias. Ahora sustituyendo (13.8) en (13.9), obtendremos:
, )
2
2
2
2
2 '
dr
r
t
m n drda dadr
r
t
a
t
m da
a
t
m ds
|
|
.
|

\
|
|
.
|

\
|
c
c
+ + + |
.
|

\
|
c
c
|
.
|

\
|
c
c
+ |
.
|

\
|
c
c
= . (13.10)
Luego, reemplazando (13.9) en (13.8) y comparando la expresin resultantes con (13.6), las
siguientes expresiones son obtenidas:
2
|
.
|

\
|
c
c
=
a
t
m g
aa
,
|
.
|

\
|
c
c
|
.
|

\
|
c
c
=
r
t
a
t
m g
ar
,
|
|
.
|

\
|
|
.
|

\
|
c
c
+ =
2
r
t
m n g
rr
.
De esta manera, tenemos tres ecuaciones que nos permitir determinar las tres funciones
desconocidas, es decir , ) r a t , , , ) r a m , y , ) r a n , en forma exacta, para ciertas condiciones
iniciales de t . Naturalmente ellos son determinados en trminos de las funciones desconocidas
aa
g ,
ar
g y
rr
g , en este sentido ellos an son indeterminados. Por lo tanto, vamos a escribir la
mtrica en la siguiente forma:
2 2 2 2 2
O + + = d r ndr mdt ds . (13.11)
78
En este punto la nica diferencia entre las dos coordenadas t y r es que elegimos que r
sea la coordenada la cual multiplica la mtrica en la bi-esfera. Esta eleccin es motivada por el
conocimiento que tenemos de la mtrica para el espacio plano de Minkowski, el cual puede ser
escrito como
2 2 2 2 2
O + + = d r dr dt ds . Sabemos que el espacio-tiempo que estamos
considerando es Lorentziana, de esta manera, m o n sern negativos. Vamos a elegir que m,
el coeficiente de
2
dt , sea negativo. Respecto a esta eleccin arbitraria, debemos mencionar que
puede llevar a errores, pero por ahora vamos simplemente aceptarlo. Esta suposicin no es
completamente irracional, desde que sabemos que el espacio de Minkowski es simtricamente
esfrico, y por lo tanto puede ser descrito por la mtrica (13.11). Con esta eleccin podemos
cambiar las funciones m y n por nuevas funciones arbitrarias o y | , es decir:
o 2
e m y
| 2
e n ,
donde o y | dependen de t y r .
De esta manera, (13.11) puede ser escrita como:
, ) , ) 2 2 2 , 2 2 , 2 2
O + + =

d r dr e dt e ds
r t r t | o
. (13.12)
Que representa una mtrica general para un espacio-tiempo simtricamente esfrico. El
siguiente paso ser solucionar las ecuaciones de Einstein, el cual nos permitir determinar
explcitamente las funciones ) , ( r t o y ) , ( r t | . Para la obtencin de las referidas funciones,
debemos primero calcular los smbolos de Christoffel para la mtrica (13.12), a partir del cual
se pude obtener el tensor de Ricci.
Por otro lado, el tensor de curvatura de Riemann es dado explcitamente por:
i
j k
i
k j
j
i
k
k
i
j i
jk
x x
R
|
|
o |
|
o
o
o
o
I I + I I
c
I c
+
c
I c
= , (13.13)
donde los
t
o|
I son los ya mencionados smbolos de Christoffel, cuya forma es:
|
|
.
|

\
|
c
c

c
c
+
c
c
= I
o
o|
o
o|
|
oo to t
o|
x
g
x
g
x
g
g
2
1
. (13.14)
Smbolos de Christoffel
Aqu vamos a determinar los smbolos de Christoffel diferente de cero para la mtrica
obtenida en (13.12). Para realizar estos clculos, primero vamos a identificar las coordenadas
, ) | u, , , r t con los nmeros (0,1,2,3). Luego, obtenemos de (13.12) el siguiente tensor mtrico
v
g :
1
1
1
1
1
]
1

=
u
|
o
v
2 2
2
2
2
0 0 0
0 0 0
0 0 0
0 0 0
sen r
r
e
e
g
,
y a partir de este tensor mtrico
v
g , se obtiene su correspondiente inversa,
v
g , es decir:
79
1
1
1
1
1
]
1

u
|
o
v
2 2
2
2
2
/ 1 0 0 0
0 / 1 0 0
0 0 0
0 0 0
sen r
r
e
e
g
. (13.15)
De esta manera, usando (13.14) los smbolos de Christoffel pueden ser determinados.
A continuacin presentamos, usando (13.14) y (13.15), los clculos realizados que
generalmente no son encontrados en la literatura, para la determinacin de los referidos
smbolos. Calculamos todos los trminos de los smbolos de Christoffel no nulos y, los
resultados estn dados por el siguiente conjunto de relaciones:
- |
.
|

\
|
c
c

c
c
+
c
c
= I
o
o o o
x
g
x
g
x
g
g
01
0
1
1
0 0 0
01
2
1
, ), ), )
o o
o
2
1
2
1
00 00
2
2
1
2
1
e e
x
g
g c = |
.
|

\
|
c
c
=

,
o
1
0
01
c = I . (13.16)
- |
.
|

\
|
c
c

c
c
+
c
c
= I
o
o o o
x
g
x
g
x
g
g
11
1
1
1
1 1 1
11
2
1
, ) |
| |
1
2 2
1
11 11
2
2
1
2
1
c = |
.
|

\
|
c
c
=

e e
x
g
g ,
|
1
1
11
c = I . (13.17)
- |
.
|

\
|
c
c

c
c
+
c
c
= I
o
o o o
x
g
x
g
x
g
g
21
2
1
1
2 2 2
21
2
1
, )
1
2 1
22 22
2
1
2
1
2
1

= |
.
|

\
|
= |
.
|

\
|
c
c
= r r
r x
g
g ,
1 2
21

= I r . (13.18)
- |
.
|

\
|
c
c

c
c
+
c
c
= I
o
o o o
x
g
x
g
x
g
g
31
3
1
1
3 3 3
31
2
1
, )
r
rsen
sen r x
g
g
1
2
1
2
1
2
1
2
2 2 1
33 33
= |
.
|

\
|
= |
.
|

\
|
c
c
= u
u
,
r
1
3
31
= I . (13.19)
- |
.
|

\
|
c
c

c
c
+
c
c
= I
o
o o o
x
g
x
g
x
g
g
10
1
0
0
3 1 1
10
2
1
, ), ) | |
| |
0
2
0
2
0
11 11
. 2
2
1
2
1
c = c = |
.
|

\
|
c
c
=

e e
x
g
g ,
|
0
1
10
c = I . (13.20)
- |
.
|

\
|
c
c

c
c
+
c
c
= I
o
o o o
x
g
x
g
x
g
g
32
3
2
2
3 3 3
32
2
1
, )
r
sen r
sen r x
g
g
1
cos 2
1
2
1
2
1
2
2 2 2
33 33
= |
.
|

\
|
= |
.
|

\
|
c
c
= u u
u
,
80
u
u
sen
cos
3
32
= I . (13.21)
- |
.
|

\
|
c
c

c
c
+
c
c
= I
o
o o o
x
g
x
g
x
g
g
00
0
0
0
0 0 0
00
2
1
, ), ) o o
o o
0
2
0
2
0
00 00
. 2
2
1
2
1
c = c = |
.
|

\
|
c
c
=

e e
x
g
g ,
o
0
0
00
c = I . (13.22)
- |
.
|

\
|
c
c

c
c
+
c
c
= I
o
o o o
x
g
x
g
x
g
g
00
0
0
0
0 1 1
00
2
1
, )
o |
o
2
1
2
1
00 11
. 2
2
1
2
1
e e
x
g
g c =
1
]
1

c
c
=

,
, )
o
| o
1
2 1
00
c = I

e . (13.23)
- |
.
|

\
|
c
c

c
c
+
c
c
= I
o
o o o
x
g
x
g
x
g
g
33
3
3
3
3 1 1
33
2
1
, ), ) u
| 2 2
1
33 11
2
2
1
2
1
rsen e
x
g
g

=
1
]
1

c
c
= ,
u
| 2 2 1
33
sen re

= I . (13.24)
- |
.
|

\
|
c
c

c
c
+
c
c
= I
o
o o o
x
g
x
g
x
g
g
22
2
2
2
2 1 1
22
2
1
, ), ) r e
x
g
g 2
2
1
2
1
2
1
22 11 |
= |
.
|

\
|
c
c
= ,
| 2 1
22

= I re . (13.25)
- |
.
|

\
|
c
c

c
c
+
c
c
= I
o
o o o
x
g
x
g
x
g
g
33
3
3
3
3 2 2
33
2
1
, ) u u

cos 2
1
2
1
2
1
2
2
33 22
sen r
r x
g
g |
.
|

\
|
= |
.
|

\
|
c
c
= ,
u u cos
2
33
sen = I . (13.26)
- |
.
|

\
|
c
c

c
c
+
c
c
= I
o
o o o
x
g
x
g
x
g
g
11
1
1
1
1 0 0
11
2
1
, ), )
| o
|
2
0
2
0
11 00
. 2
2
1
2
1
e e
x
g
g c = |
.
|

\
|
c
c
=

,
, ) o |
|

c = I
2
0
0
11
.e . (13.27)
Ahora que determinamos los smbolos de Christoffel, podemos calcular las componentes,
no nulas, del tensor de curvatura de Riemann. Para esto, usamos los resultados encontrados en
((13.16), , (13.27)) y obtenemos:
81
0
0 11
0
1 10
0
0
11
1
0
10 0
101 |
|
|
|
I I + I I
c
I c
+
c
I c
=
x x
R , (13.28)
donde, los trminos
0
1 10 |
|
I I y
0
0 11 |
|
I I , es decir, el producto de los smbolos de Christoffel son
dados por:
0
31
3
10
0
21
2
10
0
11
1
10
0
01
0
10
0
1 10
I I + I I + I I + I I = I I
|
|
,
0
30
3
11
0
20
2
11
0
10
1
11
0
00
0
11
0
0 11
I I + I I + I I + I I = I I
|
|
.
Para calcular estos productos, vamos a usar los resultados obtenidos anteriormente para los
trminos no nulos de los smbolos de Christoffel y de esta manera encontramos:
, ) , ), )
, ) o |
|
|
| | o

c c + c = I I
2
0 0
2
1
0
1 10
.e ,
j , )
, )
, ), ) o | | o
o |
|
|
1 1
2
0 0
0
0 11
. c c + c c = I I

e . (13.29)
Luego, sustituyendo stas expresiones as como (13.17) y (13.29) en (13.28), se obtiene la
componente
0
101
R del tensor de curvatura de Riemann, es decir:
, )
, )
j
{ ,, )
, )
, ) , ), )
, )
, ), )
, )
, ), ) , .
. . . 2 .
1 1
2
0 0
2
0 0
2
1
2
0 0
2 2
0
2 2
0
2
1
0
101
o | | o
| | o o | | | o
o |
o | o | o | o |
c c + c c +
c c c c c c + c + c =


e
e e e e R
, )
, ) , ), ) j , ), ) , ) , ) j
2
1
2
1 1 1 0 0
2
0
2
0
2 0
101
o o | o | o | |
o |
c c c c + c c c + c =

e R . (13.30)
En forma similar podemos obtener las otras componentes del tensor de curvatura de
Riemann. A continuacin, presentamos los resultados obtenidos, para las diferentes
componentes:
-
0
0 22
0
2 20
0
0
22
2
0
20 0
202 |
|
|
|
I I + I I
c
I c
+
c
I c
=
x x
R ,
, )
|
o
2
1
0
202
.

c = e r R . (13.31)
-
0
0 33
0
3 30
0
0
33
3
0
30 0
303 |
|
|
|
I I + I I
c
I c
+
c
I c
=
x x
R ,
o u
|
1
2 2 0
303
.c =

sen re R . (13.22)
-
0
1 22
0
2 21
1
0
21
2
0
21 0
212 |
|
|
|
I I + I I
c
I c
+
c
I c
=
x x
R ,
o
|
2
0
0
212
.

c = e r R . (13.33)
82
-
0
1 33
0
3 31
1
0
31
3
0
31 0
313 |
|
|
|
I I + I I
c
I c
+
c
I c
=
x x
R ,
| u
o
0
2 2 0
313
. c =

e rsen R . (13.34)
-
1
1 22
1
2 21
1
1
22
2
1
21 1
212 |
|
|
|
I I + I I
c
I c
+
c
I c
=
x x
R ,
, )
|
|
2
1
1
212
.

c = e r R . (13.35)
-
1
1 33
1
3 31
1
1
33
3
1
31 1
313 |
|
|
|
I I + I I
c
I c
+
c
I c
=
x x
R ,
, ) u |
| 2 2
1
1
313
. sen e r R

c = . (13.36)
-
2
2 33
2
3 32
2
2
33
3
2
32 2
323 |
|
|
|
I I + I I
c
I c
+
c
I c
=
x x
R ,
, ) u
| 2 2 2
323
1 sen e R

= . (13.37)
Ahora para conseguir el tensor de Ricci vamos realizar la contraccin para cada una de las
componentes del tensor de Riemann, obtenida anteriormente. De este modo, las componentes
del tensor de Ricci, son dados por:
- = + + =
33
00
0
303
22
00
0
202
11
00
0
101 00
. . . . . . g g R g g R g g R R
, ) , ), ) j
, )
, ), ) , ) j
, ) , ) | o | o | o
o o | o | o | |

+ + c c c c c c c + c =
2 2 2
1
2
1 1 1
2
0 0
2
0
2
0
2
1 1
e e
r
e ,
, ) , ), ) j
, )
, ) , ), )
1
]
1

c + c c c + c + c c c + c =

o | o o o | o | |
| o
1 1 1
2
1
2
1
2
0 0
2
0
2
0 00
2
r
e R . (13.38)
Anlogamente podemos obtener las expresiones para las otras componentes del tensor de
Ricci, es decir:
-
33
11
1
313
22
11
1
212
0
101 11
. . . . g g R g g R R R + + = .
, ) , ), )
, )
, ) , ), ) j | o | | | | o o o
o |
0 0
2
0
2
0
2
1 1 1
2
1
2
1 11
2
c c c + c +
1
]
1

c c c c + c =

e
r
R . (13.39)
-
33
00
0
313
22
00
0
212 01
. . . . g g R g g R R + = .
r
R
|
0
01
2c
= . (13.40)
83
-
33
22
2
323
1
212
0
202 22
. . g g R R R R + + = .
, ) j 1 1
1 1
2
22
+ c c =

o |
|
r e R . (13.41)
-
2
323
1
313
0
303 33
R R R R + + = ,
, ) j j 1 1
1 1
2 2
33
+ c c =

o | u
|
r e sen R ,
u
2
22 33
sen R R = . (13.42)
Ahora Consideremos la ecuacin de Einstein, la cual permite relacionar la geometra del
espacio-tiempo con la masa de la estrella en consideracin, as tenemos que:
v v
tGS R 8 = , (13.43)
donde
i
i v v v
T g T S
2
1
= . (13.44)
Tambin vamos a considerar que el tensor de Energa Momento
v
T , es dado por:
, )
v v v
U U P Pg T + + = .
Calculando las componentes del tensor energa-momento
v
T de inters para nuestros
clculos, obtenemos:
, ) , )
2 2
0 0 00 00

o
+ + = + + =

P Pe U U P Pg T , (13.45)
, ) , )
1 1
2
1 1 11 11
U U P Pe U U P Pg T
|
+ + = + + = , (13.46)
, ) , )
2 2
2
2 2 22 22
U U P P r U U P Pg T + + = + + = , (13.47)
, ) , )
3 3
2 2
3 3 33 33
. U U P P sen r U U P Pg T u + + = + + = . (13.48)
Por otro lado, como la traza del tensor de energamomento
v
T , es dado por la expresin
, )
i
i i
i
i
i
U U P Pg T + + = , donde la 4-velocidad
i
U satisface la relacin 1 =
i
i
U U ,
entonces tenemos que
i
i
= P T 3 .
Una vez determinadas las componentes del tensor energa-momento
v
T , y su respectiva
traza
i
i
T , podemos obtener las diferentes componentes del tensor
v
S dado por (13.44). Por lo
tanto, usando los resultados obtenidos para las diferentes componentes de
v
T , dados por las
relaciones ((13.45) ... (13.48)), y de la traza
i
i
= P T 3 , en las componentes de
v
S , dada
por la ecuacin (13.44), obtendremos los siguientes trminos:
84
- , ) , )
o o i
i
+ + + = =

P e P Pe T g T S
gg
3
2
1
2
1
2 2 2
00 00
,
, ) , )
o
+ + = P
e
P S
2
2
2
00
. (13.49)
- , ) , )
| | i
i
+ + = = P e U U P Pe T g T S 3
2
1
2
1
2
1 1
2
11 11 11
,
, ) , ) P
e
U P S + + =
|
2
2
2
1 11
. (13.50)
- , ) , ) , ) , ) + + = + + = P
r
U U P P g U U P Pg S 3
2
Pr 3
2
1
2
2 2
2
22 2 2 22 22
,
, ) , ) P
r
U P S + + =
2
2
2
2 22
. (13.51)
- , ) , ) u u
i
i
+ + = = P sen
r
U U P P sen r T g T S 3
2
.
2
1
2
2
3 3
2 2
33 33 33
,
, ) , ) P
sen r
U P S + + =
u

2
2 2
2
2 22
. (13.52)
Ahora vamos a determinar las componentes del tensor de Einstein. Para esto,
reemplazamos las diferentes componentes anteriormente determinadas en las componentes del
tensor de Einstein y obtendremos:
, ) , )
1
]
1

+ + = t
o
P
e
P G R
2
8
2
2
00
, (13.53)
, ) , )
1
]
1

+ + = P
e
U P G R t
|
2
8
2
2
1 11
, (13.54)
, ) , )
1
]
1

+ + = P
r
U P G R t
2
8
2
2
2 22
, (13.55)
, ) , )
1
]
1

+ + = P
sen r
U P G R
u
t
2
8
2 2
2
3 33
(13.56)
Con la finalidad de reducir las expresiones anteriores, hacemos la siguiente hiptesis:
vamos a considerar el sistema de coordenadas comvil, es decir, el sistema que se traslada
conjuntamente con el fluido perfecto, con esto, tendremos que las componentes de la 4-
velocidad
1
U ,
2
U y
3
U se anulen, es decir, 0
3 2 1
= = = U U U y adems tambin obtenemos
que el factor de Lorentz sea igual a uno, 1
2
= . De esta manera, las componentes del tensor de
Einstein, usando el sistema comvil, son dados por:
85
, ) , )
1
]
1

+ + = t
o
P
e
P G R
2
8
2
00
, (13.57)
, ) P e G R = t
| 2
11
. 4 , (13.58)
, ) P Gr R = t
2
22
4 , (13.59)
, ) P sen Gr R = u t
2 2
33
4 . (13.60)
Debemos mencionar que en nuestra restriccin de trabajar en el sistema de coordenadas
comvil, se tiene que todas las otras componentes de
v
S son nulas, en particular, el caso
0
01
= S . Por otro lado, de la ecuacin de Einstein se tiene que
01 01
8 GS R t = y, en el caso que
0
01
= S entonces 0
01
= R . Tambin de (13.40) sabemos que
01
R es dado por
r
|
0
2c
, de esta
manera obtenemos que 0
0
= c | . La interpretacin de este resultado es inmediata, la funcin
| es independiente del tiempo, sin embargo, depende de la coordenada r . De aqu es claro
que podemos buscar soluciones para las funciones ) , ( r t o y ) , ( r t | , usando el mtodo de
separacin de variables, esto quiere decir, que dichas funciones pueden ser escrita como:
, ) , ) , ) r S t R t r . ,
2
o , (13.61)
, ) , ) r t r | | , . (13.62)
En particular vamos a imponer que la siguiente relacin sea satisfecha,
|
|
o
o
. .
= , (13.63)
con la finalidad que las funciones , ) r o y , ) r | se encuentren normalizadas y sean univocas.
Entonces, reemplazando las expresiones para o y | , dado por las definiciones (13.61) y
(13.62), en la relacin anterior, obtenemos:
, ) , ) , )
, ) , )
0
. . 2
2
.
=
r S t R
r S t R t R
,
en consecuencia, es rpido observar de esta expresin que , ) 0
.
= t R , es decir, de acuerdo con
(13.61), tenemos que o , no depende de t y por lo tanto, encontramos que las funciones
) , ( r t o y ) , ( r t | , son dadas por:
, ) , ) r t r o o = , , (13.64)
, ) , ) r t r | | = , . (13.65)
Si los resultados (13.64) y (13.65), son reemplazados en la expresin para el elemento de
lnea
2
ds , dado por (13.6), entonces se obtiene la siguiente expresin:
86
, ) , ) 2 2 2 2 2 2 2
O + + =

d r dr e dt e ds
r r | o
. (13.66)
Es fcil observar de esta expresin que todas las componentes de la mtrica son
independientes de la coordenada t . Por lo tanto, obtuvimos un resultado importante de la
relatividad general, el cual dice: Cualquier mtrica simtricamente esfrico en el vaco tiene un
vector de Killing tipo tiempo. Adems una mtrica que posee un vector de este tipo es llamada
estacionaria. Existe una propiedad ms restrictiva: una mtrica es llamada esttica si posee un
vector de Killing tipo tiempo el cual es ortogonal a una familia de hipersuperficies. En nuestro
caso, la mtrica (13.66) no es solo estacionaria, si no tambin esttica, debido a que el campo
vectorial de Killing
0
c es ortogonal a la superficie t constante, desde que no existen trminos
del tipo dtdr . Debemos mencionar que una mtrica esttica es aquella en la cual nada se
mueve, mientras que una mtrica estacionaria permite movimiento pero en forma simtrica.
Por ejemplo, la mtrica simtricamente esfrico esttica (13.66), permite describir estrellas o
agujeros negros que no rotan, mientras que sistemas que rotan sern descritos por mtricas
estacionarias.
Para continuar con nuestros clculos, vamos a determinar las funciones ) ( r o y ) (r | . Con
la finalidad de obtener dichas funciones, y recordando que
tt
R R =
00
y
rr
R R =
11
, los siguientes
pasos sern realizados. Primero, obtenemos una relacin para la expresin
, )
11 00
2
R R e +
o |
.
Para esto multiplicamos (13.57) por
, ) o | 2
e y el resultado lo sumamos con (13.58),
obtenindose:
, ) , )
, ) , ) , )
1
]
1


1
]
1

+ + = +

P
e
G P
e
P Ge R R e t t
| o
o | o |
2
8
2
8
2 2
2
11 00
2
.
Segundo, usando (13.38) y (13.39) podemos obtener otra expresin para
, )
11 00
2
R R e +
o |
, la
cual, comparamos con el resultado anterior, es decir:
, ) , ), ) , ) , ), )
, )
, ) , )
, )

1
]
1

+ + =
=
1
]
1

c c c c + c
1
]
1

c + c c c + c

2
8
2
8
2 2
2
2
2
1 1 1
2
1
2
1 1 1 1
2
1
2
1
P
Ge P
e
P Ge
r r

t t
| | o o o o | o o o
|
o
o |
A partir del cual se puede obtener:
j
, )
, ) j t | o
o |
+ = c + c

P e G
r
2
1 1
8
2
,
j , ) j t | o
o |
+ = c + c

P e e G
r
2 2
1 1
. 4
1
,
, ) j t | o
o |
+ = c + c

P e r e G
2 2
1 1
. . 4 . (13.67)
De la misma manera, considerando que
uu
R R =
22
, los siguientes resultados pueden ser
obtenidos:
87
, ) j , ) P Gr r e = + c c

t o |
| 2
1 1
2
4 1 1 ,
, ) j , ) 1 4 1
2
1 1
2
= c c

P Gr r e t o |
|
,
, ) j , )
| |
t o |
2 2 2
1 1
. 4 1 e P e Gr r = c c .
, )
r r
e
P Gre
1
4
2
2
1 1
+ = c c
|
|
t o | . (13.68)
Luego, sumando los resultados obtenidos en (13.67) y (13.68), una relacin para la funcin
) (r | es conseguida, la cual es dada por:
, ) , )
r r
e
P Gre P re Ge
1
4 4 2
2
2 2 2
1
+ + = c

|
| o |
t t | ,
, ) , )
r r
e
P Gre P e Gre
2
1
2
2 2
2
2 2 2
1
+ + = c

|
| o |
t t | ,
, ) , )
1
]
1

+ + = c

|
o |
t t |
2
2 2
1
2
1
2
1
2 2
re r
P Gr P Gre e .
Por otro lado, recordando que como anteriormente encontramos que la funcin | depende
de la coordenada r , entonces podemos considerar, para el caso asinttico r , que los
trminos
| 2
2
1
re
y
r 2
1
decaen ms rpidamente que los otros. De esta manera, la ecuacin
anterior se reduce a la siguiente forma:
, ) , ) j P Gr P Gre e + = c

t t |
o |
2 2
2 2
1
. (13.69)
Para continuar con nuestro clculo, una suposicin arbitraria sobre la naturaleza fsica del
fluido, el cual compone el sistema, ser considerada, esto es, vamos a usar la relacin que
existe entre la densidad de energa ) (r y la presin ) (r P , la cual es conocida como la
ecuacin de estado del fluido , ) P P = . Esta relacin proporciona las propiedades en un
estado de equilibrio determinado, pero no proporciona informacin alguna de la manera como
estas propiedades cambian durante un proceso. Aqu, vamos a considerar el modelo de un
fluido perfecto simtricamente esfrico esttico que compone el sistema obedeciendo la
ecuacin de estado Politrpica de la forma
q
k P = , donde k es la constante Politrpica y q
es el ndice politrpico. Esta ecuacin de estado presenta diferentes casos de inters fsicos, por
ejemplo, para q corresponde a un fluido incompresible, para 2 = q describe fermiones
degenerados no relativisticos y para 1 = q y en el caso de
2
1
= k
corresponde a la radiacin y
con 1 = k a la materia. Por lo tanto, con esta consideracin de un fluido perfecto satisfaciendo
una ecuacin del tipo Politrpica, la ecuacin anterior es escrita como:
, ) , ) j
q q o |
t t | k Gr k Gre e + = c

2 2
2 2
1
,
, ) , ) j
q q o |
t t | k Gr k Gre e + = c

2 2 .
2 2
1
,
88
, ) , ) j
q q o |
t t
|
k Gr k Gre e
r
+ =
c
c

2 2 .
2 2
.
Integrando esta ecuacin diferencial, obtenemos:
dr re G dr re Gk d e t t |
o q o |
} } }

=
2 2 2
2 2
} }
+ dr r Gk dr r G
q
t t 2 2 . (13.70)
Para poder determinar una solucin de esta ecuacin integral, debemos conocer
funciones apropiadas para o y , de tal manera que se pueda integrar, las funciones escogidas
son de la siguiente forma:
|
.
|

\
|
=
r
r
Ln
0
o , (13.71)
r
r
0
0
= . (13.72)
Lgicamente, la eleccin de estas funciones son las adecuadas para obtener una
solucin de la ecuacin integral (13.70). Por ejemplo, la forma asumida para o es la apropiada
para realizar la integracin y la eleccin de la funcin , tiene un origen fsico, ella expresa el
decaimiento de la densidad de energa con el aumento del radio de la esfera que contiene el
fluido perfecto, tal y como sucede en el caso de la densidad de energa del universo. Ahora,
reemplazando las funciones definidas para o y , es decir, (13.71) y (13.72) en (13.70), se
obtiene:
, ) , )
, 2
2 2 2
2
1
0 0
0 0 0 0
2
0 0
2
2
1
0 0
}
} } }
|
.
|

\
|

|
.
|

\
|
+ |
.
|

\
|
|
.
|

\
|
=

dr
r
r
r G
dr
r
r
r Gk dr
r
r
re G dr
r
r
re Gk e K
r
r
Ln
r
r
Ln

t
q q
|
donde
1
K es una constante de integracin. Continuando con los clculos, la expresin anterior
puede ser educida a:
, 2
2 2 2
2
1
0 0
0 0 0 0
2
0 0 0
2
0 2
1
}
} } }

|
.
|

\
|
+ |
.
|

\
|
|
.
|

\
|
|
.
|

\
|
|
.
|

\
|
=

dr r G
dr
r
r
r Gk dr
r
r
r
r
r G dr
r
r
r
r
r Gk e K
t

t
q q
|
} } } }
+ =
+
+
, 2
1
2
1
2
1
2
2
1
0 0
1
0 0
2
3
0 0
1
2
0 0
2
1
dr r G dr
r
r Gk dr
r
r G dr
r
r Gk e K t t t t
q
q q
q
q q |
, 2
1
2
1
2
1
2
1 1
2
2
1
0 0
2
0 0
3
0 0
2
0 0
2
1
r r G
r
r Gk
r
r G
r
r Gk e K t
q
t t
q
t
q
q q
q
q q |
|
.
|

\
|
|
|
.
|

\
|

+ |
.
|

\
|

|
|
.
|

\
|
=

+
, )
r r G
r
r Gk
r
r G
r
r Gk
e
0 0
2
0 0
3
0 0
2
0 0 2
4
2
4 4 4
t
q
t t
q
t
q
q q
q
q q
|
+

+ =

+

,
89
en donde consideramos, para simplificar los clculos, el caso que la constante de integracin
sea nula, es decir, 0
1
= K . Esta ecuacin integral tiene algunas propiedades importantes, entre
las cuales esta el hecho que si 1 = q y 1 = k , nos encontramos en el caso del vaco. En este
trabajo, ser considerado nicamente el caso en que el fluido perfecto del sistema sea el vaco.
El caso para q arbitrarios, aunque ms interesante, lleva a clculos ms difciles y creemos
que un estudio numrico es la nica manera de obtener las soluciones de la referida ecuacin.
Con esta consideracin, la ecuacin diferencial quedar escrita de la siguiente manera:
r r G e
0 0
2
8 t
|
=

.
De esta manera, obtenemos una forma para la funcin ) (r | , dada por:
r r G
e
0 0
2
8
1
t
|
= . (13.73)
Por otro lado, de (13.71) podemos obtener, la siguiente expresin:
2
0
2
2
r
r
e =
o
. (13.74)
Usando estos resultados, es decir, (813.7) y (13.74) en (13.66), determinamos la
siguiente mtrica:
2 2 2 2 2 2
0 0
2
2
0
2
2
8
1
| u u
t
d sen r d r dr
r r G
dt
r
r
ds + + + =
. (13.75)
Es importante observar que la mtrica obtenida (13.75) presenta dos singularidades, a
saber, en los radios prximos al origen ( 0 r ) y para radios grandes ( r ). Sin embargo,
debemos recordar que sta mtrica obtenida es para el caso particular donde los trminos
| 2
2
1
re
y
r 2
1
son nulos en r y, con lo cual se obtiene (13.69). Este resultado es muy interesante,
debido a que la singularidad para el caso asinttico, r , es un comportamiento contrario al
que se obtiene en el estudio de la solucin exterior de Schwarzschild, donde se presenta una
singularidad prximo al origen y cuya interpretacin es la formacin de un Agujero Negro. no
para radios grandes para el cual se determina un agujero negro, , es decir, r , entonces
podramos decir que nuestra hiptesis es correcta.
90
DISCUSION
Muchos autores; Soper (1975), Barut (1965), Ryder (1988), Doughty (1996) entre
otros, han escrito textos relacionados a la asignatura de Teora Clsica de Campos, cuyos
contenidos son demasiado extensos en la presentacin de los conceptos y limitan la exposicin
de ejercicios. Otros, De Wit (1975), Greiner (1996), Stephani (1990), Hacyan (1996), presentan
una teora muy simple, adems de que los ejemplos que consideran no presentan una solucin
detallada.
En la actualidad, el estudio de los campos clsicos es muy importante en las lneas de
investigacin, relacionados, por ejemplo, con Teora Cuntica de Campos y sus extensiones
(electrodinmica cuntica, cromodinmica cuntica, etc.), Materia Condensada y Mecnica
Estadstica, sin embargo, el aspecto matemtico de las mencionadas lneas de investigacin
presentan ciertas dificultades. Asimismo, los textos no explican en forma detallada las
resoluciones de los ejercicios que presentan.
El texto TEORA CLSICA DE CAMPOS, a diferencia de otros textos, presenta en
forma detallada, clara y precisa las pautas que se siguen para las demostraciones de las
expresiones o frmulas que se obtienen, que ayudan a interpretar el comportamiento del
fenmeno estudiado y, que servirn para que el estudiante tenga una metodologa que le
permita enfrentar problemas relacionados con campos, ya sean clsicos o cunticos. El detalle
en las demostraciones, tambin marca una sustancial diferencia con el enfoque propuesto en
otros textos.
Por lo expuesto, se puede concluir que mediante el uso del texto TEORA CLSICA
DE CAMPOS es posible:
1. Conseguir una introduccin adecuada de los conceptos relacionados con las propiedades de
los campos clsicos.
91
2. Desarrollar habilidades, destrezas y anlisis crtico de los estudiantes y, asimismo, su
capacidad de trabajar en equipo.
3. Realizar investigaciones que permiten entender el comportamiento de los campos clsicos
y sus propiedades.
4. Proporcionar a los estudiantes de fsica una base terica slida para el trabajo posterior en
sus estudios de otras asignaturas relacionadas con este tema, as como de posgrado.
5. Iniciar a los estudiantes de fsica en el mtodo cientfico de comprobacin de hiptesis a
travs de las demostraciones presentadas.
6. Iniciar a los estudiantes de fsica en la investigacin, relacionado con campos clsicos, a
travs de la aplicacin de la mtrica de Schwarzschild considerando un fluido perfecto
simtricamente esfrico esttico que obedece una ecuacin de estado Politrpica.
7. En contraste con los textos elaborados por otros autores, hacer ms dinmico y fcil el
proceso de enseanza-aprendizaje de la asignatura Teora Clsica de Campos.
92
REFERENCIALES
1. Davisson E. Soper; Classical Field Theory, Editorial John Wiley & Sons, New York,
1975.
2. Barut A. O., Electrodynamics and Classical Theory of Fields and Particles, Editorial
Ediciones Cientficas Universitarias de la Universidad Nacional Autnoma de Mxico,
Segunda Edicin, Mxico, 1965.
3. Lewis H. Ryder, Quantum Field Theory, Cambridge University Press, Cambrigde,
1988.
4. De Wit B., Smith J., Field Theory and Particle Physics, North-Holland, Amsterdam,
1986.
5. Noel A. Doughty, Lagrangian Interaction, Addison-Wesley Publishing Company,
Massachusetts, 1996.
6. Jackson J. D., Classical Electrodynamics, Wiley, New York, 1975.
7. Greiner W., Reinhardt J., Field quantization, Springer-Verlag, Berlin Heidelberg, 1996.
8. Shanen Hacyan; Relatividad Especial para Estudiantes de Fsica, Universidad
Autonoma de Mxico, 1996.
9. Hans Stephani; General Relativity: An Introduction to the Theory of the Gravitational
Field, Cambridge University Press, 1990.
93
APNDICE
Contiene Cuadro y Slabo de la asignatura que han sido elaborados por el autor del proyecto,
segn se indica:
- Cuadro: Resultado de la Investigacin
- Slabo de la asignatura Teora Clsica de Campos.
94
Cuadro: Resultado de la Investigacin
Mtrica de
Schwarzschild
considerando un fluido
perfecto simtricamente
esfrico esttico que
obedece una ecuacin de
estado Politrpica
Puede caracterizar el comportamiento de una estrella Politrpica.
Permite realizar nuevas investigaciones en cosmologa.
Expresin analtica para la Mtrica de Schwarzschild
considerando un fluido perfecto Politrpico.
Solucin no conocida en la literatura.
Elaboracin propia del autor.
95
UNIVERSIDAD NACIONAL DEL CALLAO
FACULTAD DE CIENCIAS NATURALES Y MATEMATICA
ESCUELA PROFESIONAL DE FSICA
SILABO
I. DATOS GENERALES:
1.1 Nombre de la asignatura : TEORA CLSICA DE CAMPOS
1.2 Cdigo y grupo horario : FI 411 y 01F
1.3 Ciclo de estudios : VII
1.4 Crditos : 03
1.5 Total de horas semestrales : 85
1.6 Horas por semanas : Teora : 02
Prctica : 03
1.7 Duracin : 17 semanas
1.8 Pre requisito : FI 308
1.9 Profesor responsable : Dr. Jorge Abel Espichn Carrillo
II. FUNDAMENTACIN:
2.1 Aporte de la asignatura al perfil profesional
Desarrollar en el estudiante de la carrera profesional de Fsica la competencia
necesaria que le permita analizar y resolver con xito los problemas relacionados a su
entorno, relacionando los conceptos, leyes, principios y aplicaciones fundamentales
de la Teora Clsica de Campos en la fsica de partculas elementales, as como en
otras reas como fsica nuclear, fsica estadstica y materia condensada.
2.2 Sumilla
La asignatura de Teora Clsica de Campos es un curso especializado de
naturaleza terico-prctica y desarrolla las ideas fundamentales de los Generadores
de Grupos y las transformaciones de Lorentz. El formalismo Lagrangiano de la Teora
de Campos. Teorema de Noether y sus aplicaciones. Tensor energa-momento y
momento angular y su interpretacin. El Campo Electromagntico. El Campo
gravitacional y las ecuaciones de Einstein.
III. COMPETENCIAS GENERALES
- Aplica e interpreta los conceptos y principios que le permite realizar clculos bsicos
en Teora Clsica de Campos.
- Entiende los conceptos y simetras en los que se fundamentan los modelos bsicos
de partculas elementales que le permite iniciar investigaciones en el rea.
- Participa y colabora en actividades acadmicas mediante el uso, anlisis e
interpretacin de informacin cientfica.
96
IV. PROGRAMACIN DE CONTENIDOS:
PRIMERA UNIDAD DIDCTICA: Teora de Grupos.
1. DURACIN EN SEMANAS: 02
2. COMPETENCIAS DE UNIDAD:
- Conoce la definicin de grupos.
- Conoce y maneja la representacin de grupos.
- Comprende la transformacin de Lorentz y sus aplicaciones.
- Conoce los generadores de grupos.
SEMANA
CONTENIDOS
CONCEPTUALES
CONTENIDOS
PROCEDIMENTALES
CONTENIDOS
ACTITUDINALES
PRIMERA:
del 26 de
Marzo al 30
de Marzo
Sesin 1
- Introduccin. Definicin de
grupos. Grupos de
permutacin.
Sesin 2
- Generadores de grupos.
- Representacin de grupos.
- Prctica dirigida.
- Exposicin de los contenidos
conceptuales propuestos.
- Propiciar la participacin de
los estudiantes.
- Resolucin de problemas e
interpretacin de los
resultados obtenidos.
- Participacin e
intervenciones en las
sesiones de aprendizajes.
- Muestra inters por los
temas desarrollados y
participa en la solucin de
los problemas.
SEGUNDA:
del 02 de
Abril al 06
de Abril
Sesin 3
- Transformacin de
Lorentz.
- Grupos de Lie.
- Prctica dirigida.
- Exposicin de contenidos
conceptuales propuestos.
- Propiciar la participacin de
los estudiantes.
- Resolucin de problemas e
interpretacin de los
resultados obtenidos.
- Participacin e
intervenciones en las
sesiones de aprendizajes.
- Muestra inters por los
temas desarrollados y
participa en la solucin de
los problemas.
SEGUNDA UNIDAD DIDCTICA: Formalismo de la teora de campos.
1. DURACIN EN SEMANAS: 08
2. COMPETENCIAS DE UNIDAD
- Conoce los campos escalares, vectoriales y tensoriales.
- Comprende la lagrangiana de medios continuos.
- Conoce y aplica el principio de mnima accin en teora clsica de campos.
- Conoce y resuelve problemas con tensores de energa-momento.
SEMANA
CONTENIDOS
CONCEPTUALES
CONTENIDOS
PROCEDIMENTALES
CONTENIDOS
ACTITUDINALES
TERCERA
del 09 de
Abril al 13
de Abril
Sesin 4
- Campos escalares,
vectoriales y tensoriales.
Sesin 5
- La Lagrangiana y el
Principio de Hamilton. La.
Lagrangiana para
sistemas continuos.
- Prctica dirigida.
- Exposicin de contenidos
conceptuales propuestos.
- Propiciar la participacin de
los estudiantes.
- Resolucin de problemas e
interpretacin de los
resultados obtenidos.
- Participacin e
intervenciones en las
sesiones de aprendizajes.
- Muestra inters por los
temas desarrollados y
participa en la solucin de
los problemas.
CUARTA
del 16 de
Abril al 20
de Abril
Sesin 6
- Primera prctica calificada.
Sesin 7
- Exposicin de contenidos
conceptuales propuestos.
- Propiciar la participacin de
los estudiantes.
- Participacin e
intervenciones en las
sesiones de aprendizajes.
- Muestra inters por los
97
- Teoras de Campos
Relativisticos Clsicos.
- Prctica dirigida.
- Resolucin de problemas e
interpretacin de los
resultados obtenidos.
temas desarrollados y
participa en la solucin de
los problemas.
- Realiza la prctica calificada
con responsabilidad.
QUINTA
del 23 de
Abril al 27
de Abril
Sesin 8
- Principio de Mnima
Accin en Teora de
campos. Ecuaciones de
Euler-Lagrange
Sesin 9
- Simetra y El Teorema
de Noether.
- Exposicin de contenidos
conceptuales propuestos.
- Propiciar la participacin de
los estudiantes.
- Resolucin de problemas e
interpretacin de los
resultados obtenidos.
- Participacin e
intervenciones en las
sesiones de aprendizajes.
- Muestra inters por los
temas desarrollados y
participa en la solucin de
los problemas.
SEXTA
del 30 de
Abril al 04
de Mayo
Sesin 9
- Tensor energa-momento
cannico.
- Prctica dirigida.
- Exposicin de contenidos
conceptuales propuestos.
- Propiciar la participacin de
los estudiantes.
- Resolucin de problemas e
interpretacin de los
resultados obtenidos.
- Participacin e
intervenciones en las
sesiones de aprendizajes.
- Muestra inters por los
temas desarrollados y
participa en la solucin de
los problemas.
STIMA
del 07 de
Mayo al 11
de Mayo
Sesin 10
- Segunda prctica
calificada.
Sesin 11
- Aplicaciones del
Teorema de Noether:
Campo escalar real.
- Exposicin de contenidos
conceptuales propuestos.
- Propiciar la participacin de
los estudiantes.
- Resolucin de problemas e
interpretacin de los
resultados obtenidos.
- Participacin e
intervenciones en las
sesiones de aprendizajes.
- Muestra inters por los
temas desarrollados y
participa en la solucin de
los problemas.
- Realiza la prctica calificada
con responsabilidad.
OCTAVA
del 14 de
Mayo al 18
de Mayo
Sesin 12
- Primer Examen parcial.
- Evaluacin escrita. - Realiza el examen con
responsabilidad.
NOVENA
del 21 de
Mayo al 25
de Mayo
Sesin 13
- Campo escalar complejo.
Invariancia de Translacin.
Sesin 14
- La invariancia de Lorentz
y el Momento Angular.
- Prctica dirigida.
- Exposicin de contenidos
conceptuales propuestos.
- Propiciar la participacin de
los estudiantes.
- Resolucin de problemas e
interpretacin de los
resultados obtenidos.
- Participacin e
intervenciones en las
sesiones de aprendizajes.
- Muestra inters por los
temas desarrollados y
participa en la solucin de
los problemas.
DECIMA
del 28 de
Mayo al 01
de Junio
Sesin 15
- Interpretacin fsica del
tensor momento angular.
Sesin 16
- Simetrizacin del tensor
momento-energa.
- Prctica dirigida.
- Exposicin de contenidos
conceptuales propuestos.
- Propiciar la participacin de
los estudiantes.
- Resolucin de problemas e
interpretacin de los
resultados obtenidos.
- Participacin e
intervenciones en las
sesiones de aprendizajes.
- Muestra inters por los
temas desarrollados y
participa en la solucin de
los problemas.
TERCERA UNIDAD DIDCTICA: Ecuaciones de Maxwell covariante.
1. DURACIN EN SEMANAS: 03
2. COMPETENCIAS DE UNIDAD
- Comprende la ecuacin de Maxwell covariante.
- Conoce la lagrangiana y el tensor de energa-momento del campo
electromagntico.
- Conoce y aplica el campo electromagntico como un campo de gauge.
98
SEMANA
CONTENIDOS
CONCEPTUALES
CONTENIDOS
PROCEDIMENTALES
CONTENIDOS
ACTITUDINALES
DECIMO
PRIMERA
del 04 de
Junio al 08
de Junio
Sesin 17
- Forma covariante de las
ecuaciones de
Maxwell..
Sesin 18
- Lagrangiana y
Hamiltoniana del
campo
electromagntico.
- Prctica dirigida.
- Exposicin de contenidos
conceptuales propuestos.
- Propiciar la participacin de los
estudiantes.
- Resolucin de problemas e
interpretacin de los resultados
obtenidos.
- Participacin e intervenciones
en las sesiones de
aprendizajes.
- Muestra inters por los temas
desarrollados y participa en la
solucin de los problemas.
DECIMO
SEGUNDA
del 11 de
Junio al 15
de Junio
Sesin 19
- Tercera prctica
calificada.
Sesin 20
- Tensor energa-
momento del campo
electromagntico.
- Exposicin de contenidos
conceptuales propuestos.
- Propiciar la participacin de los
estudiantes.
- Resolucin de problemas e
interpretacin de los resultados
obtenidos.
- Participacin e intervenciones
en las sesiones de
aprendizajes.
- Muestra inters por los temas
desarrollados y participa en la
solucin de los problemas.
- Realiza la prctica calificada
con responsabilidad.
DECIMO
TERCERA
del 18 de
Junio al 22
de Junio
Sesin 21
- Propiedades de la
transformacin de
Lorentz de los campos
electromagnticos.
Sesin 22
- Transformacin de
Gauge local. El
campo
electromagntico como
un campo de Gauge
- Prctica dirigida.
- Exposicin de contenidos
conceptuales propuestos.
- Propiciar la participacin de los
estudiantes.
- Resolucin de problemas e
interpretacin de los resultados
obtenidos.
- Participacin e intervenciones
en las sesiones de
aprendizajes.
- Muestra inters por los temas
desarrollados y participa en la
solucin de los problemas.
CUARTA UNIDAD DIDCTICA: El campo gravitacional
1. DURACIN EN SEMANAS: 04
2. COMPETENCIAS DE UNIDAD
Conoce y maneja la teora del campo gravitacional.
- Conoce el principio de covariancia general.
- Aplica las ecuaciones de Einstein.
SEMANA
CONTENIDOS
CONCEPTUALES
CONTENIDOS
PROCEDIMENTALES
CONTENIDOS
ACTITUDINALES
DECIMO
CUARTA
del 25 de
Junio al 29
de Junio
Sesin 23
- El Campo Gravitacional
y geometra
Riemanniana.
Sesin 24
- El Principio de
Covariancia General.
- Prctica dirigida.
- Exposicin de contenidos
conceptuales propuestos.
- Propiciar la participacin de los
estudiantes.
- Resolucin de problemas o e
interpretacin de los resultados
obtenidos.
- Participacin e intervenciones
en las sesiones de
aprendizajes.
- Muestra inters por los temas
desarrollados y participa en la
solucin de los problemas.
DECIMO
QUINTA
Sesin 25
- Cuarta prctica
- Exposicin de contenidos
conceptuales propuestos.
- Participacin e intervenciones
en las sesiones de
99
del 02 de
Julio al 06
de Julio
calificada.
Sesin 26
- Ecuaciones de Campo
de Einstein.
Aplicaciones.
- Propiciar la participacin de los
estudiantes.
- Resolucin de problemas e
interpretacin de los resultados
obtenidos.
aprendizajes.
- Muestra inters por los temas
desarrollados y participa en la
solucin de los problemas.
- Realiza la prctica calificada
con responsabilidad.
DECIMO
SEXTA
del 09 de
Julio al 13
de Julio
Sesin 27
- Segundo Examen
parcial.
- Evaluacin escrita. - Realiza el examen con
responsabilidad.
DECIMO
STIMA
del 16 de
Julio al 20
de Julio
Sesin 28
- Examen sustitutorio.
- Entrega de notas.
- Evaluacin escrita. - Realiza el examen con
responsabilidad.
V. ESTRATEGIAS METODOLGICAS
A fin de lograr un mejor desarrollo del aprendizaje, se emplearn permanentemente las
siguientes estrategias metodolgicas:
a. Clases magistrales: Son sesiones terico-prcticas en las cuales se brindan los
conceptos fundamentales del curso sobre los cuales se basa el trabajo semanal. El
profesor a cargo discutir los principales conceptos, sus relaciones y aplicaciones
utilizando el lenguaje matemtico para expresar los diferentes modelos explicativos de
los fenmenos naturales y las teoras correspondientes.
b. Prcticas dirigidas (seminarios de problemas): Los estudiantes desarrollarn,
discutirn y analizarn, con la gua y orientacin del profesor, casos relacionados a los
temas tratados en las clases magistrales, permitiendo as la integracin de los conceptos
fsicos y la aplicacin de los mismos en situaciones concretas mediante la resolucin de
problemas.
c. Asesoras: Son sesiones de consulta relacionadas a la asignatura, fuera de clase y en
horario coordinado con los estudiantes, donde podrn acercarse para dilucidar cualquier
duda que surja respecto a los temas desarrollados.
VI. MATERIALES EDUCATIVOS Y OTROS RECURSOS DIDCTICOS
En las clases tericas y prcticas de aula, se usarn tizas, plumones, pizarra,
calculadora, libros y apuntes de clase. En algunos tpicos, segn sea el caso, se
emplear tambin can multimedia, retroproyectores, as como la utilizacin de pginas
web va internet.
VII. INDICADORES, TCNICAS E INSTRUMENTOS DE EVALUACIN
1. Evaluacin de resultados:
- Sistema de calificacin: escala vigesimal (0 20)
- Examen parcial (EP): Evaluacin escrita, de carcter terico-prctico, de los
contenidos tratados en las clases magistrales y prcticas dirigidas (seminarios de
problemas) correspondientes a cada unidad desarrollada. Se aplicar en la octava
semana, segn la programacin establecida.
- Examen final (EP): Evaluacin escrita, de carcter terico-prctico, de los contenidos
tratados en las clases magistrales y prcticas dirigidas (seminarios de problemas)
100
correspondientes a cada unidad desarrollada despus del examen parcial. Se
aplicar en el dcimo sexta semana, segn la programacin establecida.
- Examen sustitutorio (ES): Evaluacin escrita, de carcter terico-prctico, de los
contenidos tratados en las clases magistrales y prcticas dirigidas (seminarios de
problemas) correspondientes a las unidades desarrolladas en toda la asignatura, cuya
nota reemplazar a la calificacin ms baja obtenida en el examen parcial o final, o a
la de aquel examen no rendido Se aplicar en la dcimo sptima semana, segn la
programacin establecida.
- Prcticas calificadas: Son evaluaciones escritas de carcter prctico,
correspondientes a los temas tratados en las prcticas dirigidas (seminarios de
problemas). Se aplicarn cuatro (04) prcticas calificadas, segn la programacin
establecida, y cuyo promedio (PP) se obtendr de la media aritmtica de los 03
mejores calificativos.
2. Evaluacin:
- Para aprobar la asignatura, el estudiante deber alcanzar el promedio mnimo de
once (11) en la nota final del curso y acreditar el 75% de asistencia a clases. La
fraccin igual o mayor que 0.5 en el promedio final se considera a favor del estudiante.
- La nota final del curso (NF) se obtendr de acuerdo a la siguiente frmula:
NF
EP EF PP
=
+ +
3
VIII. BIBLIOGRAFA
8.1. BIBLIOGRAFA BSICA
1. DAVISON E. SOPER, 1975, Classical Field Theory, Editorial John Wiley &
Sons, New York.
2. BARUT A. O., 1965, Electrodynamics and Classical Theory of Fields and
Particles, Editorial Ediciones Cientficas Universitarias de la Universidad
Nacional Autnoma de Mxico, Segunda Edicin, Mxico.
3. LANDAU L.D., LIFSHITZ E.M., 1987, Teora Clsica de los Campos, Editorial
Reverte, Mxico.
4. Lewis H. Ryder, 1988, Quantum Field Theory , Cambridge University Press,
Cambrigde.
5. De Wit B., Smith J. 1986, Field Theory and Particle Physics, North-Holland,
Amsterdam.
6. Noel A. Doughty, 1996, Lagrangian Interaction, Addison-Wesley Publishing
Company, Massachusetts.
8.2. BIBLIOGRAFIA COMPLEMENTARIA
1. J. D. Jackson, Classical Electrodynamics, 2
nd
Edition (Wiley,New York,1975)
101
2. Shanen Hacyan. Relatividad Especial para Estudiantes de Fsica,
Universidad Autonoma de Mxico (1996).
3. Hans Stephani. General Relativity: An Introduction to the Theory of the
Gravitational Field, Cambridge University Press (1990).
4. Mark S. Swanson, 1992, Path Integrals and Quantum Processes , Academic
Press, INC, San Diego.
5. Hagen Kleinert, Particles and Quantum Fields (Internet).
Bellavista, marzo del 2012.
Dr. Jorge Abel Espichn Carrillo