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)

0
 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

1
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

2
 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.

3
 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.

4
 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.

5
 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.

6
 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.

7
 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.

8
 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.

9
 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.

10
 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 qi (t ) i 1,2,3,..., n . Estas 3 n coordenadas describen una trayectoria en el
espacio-tiempo. De acuerdo a la ley de Newton, tenemos
mqi (t ) Fi (t ) .

En el caso de fuerzas conservativas, se tiene que

dV
Fi ,
dqi
con V representando el potencial donde se encuentran las partculas.

Como es conocido, si el valor de las coordenadas qi (t ) y las velocidades qi (t ) en un

tiempo inicial son establecidos, las leyes de Newton permiten construir la trayectoria completa
en trminos de las funciones de coordenadas qi (t ) . Alternativamente, se puede determinar una
trayectoria especificando el valor de las coordenadas qi (t ) en dos tiempos diferentes, es decir
qi 1 qi (t1 ) y qi 2 qi (t2 ) . De esta manera, de la infinita variedad de maneras en la cual el
sistema fsico puede evolucionar desde qi 1 hasta qi 2 , la ecuacin de Newton considera
nicamente una trayectoria particular.

Ahora suponga que asignamos un nmero real a cada posible trayectoria entre qi 1 y qi 2 .
Un objeto que asigna un nmero a una funcin es llamado: una Funcional y se denota por
S qi (t ) .

11
 Es posible definir una funcional, llamada la ACCIN, tal que el nmero asignado al
camino fsico entre qi 1 y qi 2 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

S qi (t ) , como la integral temporal de la lagrangiana L (qi , qi ) , es decir
t2

S qi (t ) dt L(qi (t ), qi (t )) . (1.1)
t1

Observe que (1.1) es una funcional, debido a que asigna un nmero a cada trayectoria dada,
descrito por qi (t ) . Asimismo, el principio variacional dice que la evolucin (trayectoria)
seguida por un sistema fsico es aquella para el cual la accin S qi (t ) tiene un extremo,

S qi (t ) 0 , (1.2)
para todas las trayectorias qi (t ) que tienen los puntos extremos en t t1 y t t2 . 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

d L L
0. (1.3)
dt qi qi

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
qi (t ) qi (t ) qi (t ) ,

qi (t ) qi (t ) qi (t ) ,
tal que, qi (t1 ) 0 y qi (t2 ) 0 , se tiene

S qi (t ) S qi (t ) qi (t ) S qi (t ) ,

L L
t2

S qi (t ) dt
d
qi (t ) qi (t ) . (1.4)
t 1 qi (t ) qi (t ) dt

12
Sin embargo, como

d L L d d L
qi qi qi (t) ,
dtqi qi dt dtqi
entonces

L d d L d L
qi qi qi (t ) ,
qi dt dt qi dt qi

as (1.4) es dado por

t2
L d L t2
d L
S qi (t ) dt qi (t ) qi (t ) dt
qi ,
t
1

i q (t ) dt
i
q (t ) t 1
dt
i
q (t )

t2
L d L L
S qi (t ) dt qi (t ) qi t ,
t2

q (t ) dt q (t ) q (t ) 1
t 1 i i i

y como qi (t1 ) 0 , qi (t2 ) 0 y qi (t ) es arbitrario, se obtiene, considerando (1.2):

d L L
0.
dt qi qi

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 qi , caso en el cual se tiene que L 0 , el momento
qi
L
generalizado pi , definido como pi , es una constante. Este resultado es inmediato de
qi
(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
qi (t ) . 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.

13
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 (n 1)a .

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
1 n
T mi .
2
(1.5)
2 i 1

La energa potencial es la suma de las (n 1) energas potenciales de cada resorte, como

respuesta de estar siendo estirado o comprimido de su longitud de equilibrio, es decir

1 n
V k i 1 i .
2
(1.6)
2 i 0
V
Adems, la fuerza sobre la i-sima partcula, se obtiene de Fi , entonces
i

Fi k i 1 i k i i 1 k i 1 i 1 2i .

De esta manera, de (1.5) y (1.6) podemos obtener la lagrangiana, es decir

1 n 1 n
L T V mi k i 1 i .
2 2
(1.7)
2 i 1 2 i 0

Usando la ecuacin de Euler-Lagrange (1.3), obtenemos la ecuacin de movimiento, dada

por
mi Fi .
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,
(n 1)a , y la masa por unidad de longitud m fijos. Por tanto, Y ka debe tambin
a
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

14
partculas es F k i 1 i , y adems como el espacio entre dos partculas por unidad de
longitud es i 1 i / a , se tiene que Y ka es el modulo de Young, el cual debe permanecer
constante en el lmite continuo. De esta manera, escribimos (1.7) como
i
2
1 n m 2 1 n
L a i a (ka) i 1 .
2 i 1 a 2 i 0 a
Considerando el lmite a 0 y n con (n 1)a , m y Y ka fijos, se tiene,
a
en este caso, que la coordenada de posicin continua x reemplaza al ndice i y i es una
funcin de x , es decir i (x) . De esta manera, la lagrangiana es dada por una integral
sobre la longitud de la barra:

1
L
20 dx 2 Y ( x ) 2 . (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, ( x, t ) llamada el campo desplazado, y y son sus t x

derivadas parciales con respecto a t y x , respectivamente.

La lagrangiana (1.8) es una integral sobre x de

1 2
l Y ( x ) 2 , (1.9)
2
llamada la densidad lagrangiana. En este caso es una funcin de ( x, t ) y sus derivadas
parciales t ( x, t ) y x ( x, t ) , pero puede ser fcilmente generalizada. Una relacin
importante es la accin, la cual puede ser escrita como:

t2
S ( x, t ) dt dx l ( x, t ), ( x, t ), x ( x, t ) .
t1 0

Las ecuaciones de Hamilton para ( x, t ) se obtienen del principio de Hamilton. Para las
transformaciones infinitesimales:
( x, t ) ( x, t ) ( x, t ) ,

t ( x, t ) t ( x, t ) ( x, t ) ,
t

x ( x, t ) x ( x, t ) ( x, t ) ,
x

se tiene
S ( x, t ) S ( x, t ) ( x, t ) S ( x, t ) ,

15

l l l
t2

S ( x, t ) dt dx ( x, t ) ( ( x, t )) ( ( x, t )) ,
t1 0 ( x, t ) ( t ( x, t )) t ( x ( x, t )) x

pero como
l l l
t2 2 t

t ( t ) t dt ,
t2
dt
1
( t ) t1
t1
t ( t )

l l l

dx 0 dx

,
0
( v ) x ( x ) 0
x ( x )

entonces

l l l
t2

S ( x, t ) dt dx 0 ,
t1 0 ( x, t ) t ( t ( x, t )) x ( x ( x, t ))

as, de la igualdad a cero, debida a (1.2), de esta expresin se obtiene:

l l l
0,
( x, t ) t ( t ( x, t )) x ( x ( 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.

16
 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 x x0 , x1 , x2 , x3 ct , x, y, z o x x 0 , x1 , x 2 , x 3 ct , x, y, z .

Por ejemplo, una densidad lagrangiana puede depender de los campos y sus primeras
derivadas, es decir ( , ) . 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 ) .

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

S , , x d 4 x , (2.1)
donde, consideramos que el campo se encuentra en una regin R del espacio-tiempo, con
frontera R .

Si a continuacin hacemos las variaciones en las coordenadas x y en el campo ,

variaciones estas que se anulan en la frontera R , es decir 0 y x 0 ,

x x x x , (2.2)

( x) ( x) ( x) ( x) , (2.3)

y definimos la variacin total como

( x) ( x) ( x) ,
donde (x) en primera orden de x es
( x) ( x) ( ) x ,

la variacin de la accin es dada por

S , , x d 4 x , , x d 4 x ,
donde d 4 x J ( x, x)d 4 x y J ( x, x) es el Jacobiano de la transformacin x x .

17
 De (2.2) se tiene
x
J ( x, x) det 1 (x ) .
x
Considerando slo trminos hasta segunda orden, tenemos

S , , x 1 ( x ) d 4 x , , x d 4 x ,

S ( x ) d 4 x , (2.4)
donde

( ) x . (2.5)
( ) x
Adems, de la ecuacin (2.3), se tiene
( ) ( ) . (2.6)

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

( x ) x ( x ) ,
x
obtenemos la siguiente expresin:

S ( ) ( x ) d 4 x .

(2.7)
R
( )

Observe que el tercer trmino es una divergencia total. El segundo trmino puede ser
escrito como

( ) ,
( ) ( ) ( )

donde el primer trmino tambin es una divergencia total.

Podemos escribir las divergencias totales como las integrales sobre la frontera R
(Teorema de Gauss). De esta manera (2.7) se escribe como

S d 4 x x d .

R
( )
R ( )

(2.8)

Como por hiptesis consideramos que 0 , y x 0 sobre R , entonces el segundo

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

0.
( )

18
 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

S d 4 x l x d
( ) ( )
R R

d 4 x l x ( ) x ( ) x d
R ( )

R ( ) ( ) ( )

S

d 4 x


R ( )

( ( )x ) ( ) x x d . (3.1)
( ) ( )
R

Adems, como

x x x x ,

( x) ( x) ( x) ( x) ,

19
podemos definir una variacin total en , , por

( x) ( x) ( x) ,

( x) ( x) ( x) ( x) ( x)

( x) ( x) ( x) ( x)

( x) ( x) ( x) .

De esta manera, se tiene

( x ) ( x x ) ( x ) ( x )x ,

( x) ( x) x .

Por lo tanto,

( x) ( x) ( ) x .

As, reemplazando en (3.1), obtenemos

S d 4 x d ,
( ) ( )
(3.2)
R R
donde

( ) . (3.3)
( )

A continuacin, vamos a considerar que la accin S es invariante sobre un grupo de

transformaciones infinitesimales en x y , dadas por

x , (3.4)

, (3.5)
donde es un parmetro infinitesimal. De esta manera, del segundo termino de (3.2),
tenemos

( )
R

d 0 ,

y como es arbitrario, entonces se obtiene

20
 J

d 0 ,
R
donde

J .
( )

Por otro lado, usando el Teorema de Green para pasar la integral de superficie a una
integral de volumen, se tiene

J d J d 4 x 0 ,

R R
por lo tanto,

J 0 . (3.6)

Es decir, tenemos una corriente 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

V
0 J0 d 3 x i Ji d 3 x 0 ,
V
y usando el Teorema de Gauss en el segundo termino de la expresin anterior, tenemos

i Ji d 3 x J d 0,
i
i
V V
sobre la consideracin que los campos se anulan en la superficie. De esta manera, (3.6) se
reduce a

d

dt V
J0 d 3 x 0 .

Si ahora definimos, para t constante

Q
V
J0 d 3 x ,

entonces se tiene

d
Q 0 ,
dt
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.

21
 CAPTULO 4

TENSOR ENERGA-MOMENTO Y MOMENTO ANGULAR

En este captulo, continuando con el estudio realizado referente al Tensor de energa-

momento , es necesario estudiar sus componentes, as de

L
( ) L , (4.1)
( )
se tiene:
0 y 0
L
00 ( 0 ) 00 L ,
( 0 )

L .
00 .
L ,

adems, como
n .
H pi qi L
i 0
y
L
pi .
,
qi
entonces 00 es una densidad de energa y para

0 y 0
L
0 ( ) 0 L ,
( 0 )

L
0 .
( ) 0 L .

Por otro lado, para el caso de una translacin infinitesimal respecto del origen del espacio-
tiempo, es decir,
x , (4.2)

0 , (4.3)
as,
x , (4.4)
entonces

De la misma manera, de

22
 0 , (4.5)
tenemos que
0 .
y como la corriente es dada por,
L
J ,
( )
entonces
J ,
as, para el caso 0 y 0 , se tiene que J0 0 y como
d

dt V
J0 d 3 x 0 ,

obtenemos que
d

dt V
0 d 3 x 0 .

De esta manera, 0 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:

L 1
2



m2 2
2
, (4.6)
se tiene que
L 1

2

g ,

L

g g ,
1
2

L 1

,
2
as, en (4.1) tenemos
( )( ) L ,

g g ( )( ) g L ,

( )( ) g L .

Por tanto, este tensor es simtrico en y . De esta manera, para el campo escalar, el
tensor energa-momento es simtrico. Sin embargo, en general no es claro que (4.1) sea

23
simtrico. Adems, no es nico, es decir, es posible adicionar un trmino de la forma f
donde f f
, entonces
f f f
f ,
luego, si hacemos , se tiene

f 0 . (4.7)

De esta manera, definimos un nuevo tensor de la forma:

T f
, (4.8)
tal que, usando (4.7) se obtiene

T ,
y como J y J 0 , entonces 0 , as

T 0 ,
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 T es llamado tensor de energa-momento cannico.

Existe otra razn para que 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
xi i j x j , (4.9)

i j j i , (4.10)
donde i, j 1, 2, 3 y ij
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):

x x , (4.11)

con . De esta manera, (4.11) puede ser escrito como:

x , (4.12)

donde x . Adems, de



se tiene que es antisimtrico en , es

decir . En este caso, para encontrar la corriente de Noether conservada usamos

L
J ,
( )
el cual para 0 y sustituyendo T por se tiene que

24
 J T .
Sin embargo, en este caso no es de dos ndices, si no de tres, es decir
J T .

Por otro lado, como es antisimtrico en y , solamente la parte de antisimtrica

en sus ndices inferiores contribuyen en (4.12), as podemos tener de:

x
haciendo
x

,
luego sumando estas expresiones, se obtiene:

x
1
2


,
de esta manera, si definimos

1
2


entonces
J
2

1
T T ,
y si usamos x , tenemos que

J
2

1
T x T x ,
1

J T x T x .
2
(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:
J 0 T 0 x T 0 x .
1
2
Adems, anteriormente encontramos que T 0 es el 4-momento del campo entonces
podemos definir la densidad de momento angular del campo , como:

M 0 T 0 x T 0 x ,
y el momento angular es dado por

M T 0 x T 0 x d 3 x ,
o podemos escribirlo de la forma:
M M 0 d 3 x .

Asimismo, para estudiar si es una cantidad conservada, hacemos

25

M T x T x ,

M T x T x T x T x ,
M T T ,

M T T ,
es decir, para que la densidad del momento angular del campo (x) se conserve se debe tener
que
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

M d 3 x 0M 0 d 3 x i M i d 3 x 0 ,

V V V

M d 3 x M i d i 0 ,
0
0
V V
y como en las fronteras el campo es nulo, entonces el segundo trmino del lado izquierdo es
nulo, as tenemos que
d

dt V
M 0 d 3 x 0 .

Si definimos, para t constante

Q M 0 d 3 x ,
V

entonces se tiene
d
Q 0 ,
dt
El cual indica que encontramos una carga conservada.

Por tanto, existen tres componentes del momento angular del campo que son
componentes espaciales de M , es decir M 12 , M 23 y M 31 . Tres componentes tipo espacio-
tiempo M 01 , M 02 y M 03 que estn relacionados con el centro de masa del sistema y son
conservadas en virtud de la invariancia puramente de las transformaciones de Lorentz.

26
 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 , 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:

( x)
1
1 ( x) i 2 ( x) ,
2

1 ( x) i 2 ( x) ,
* ( x)
1
2
donde los campos (x) y * ( x) son independientes.

De esta manera, la densidad lagrangiana

L ( x), ( x); * ( x), * ( x) ( x) * ( x) m 2 ( x) * ( x) , (5.1)

es real, lo cual puede ser verificado si hacemos

( x) * ( x) ( x ) i 2 ( x ) 1 ( x) i 2 ( x) ,
1 1
1
2 2

( x) * ( x)
1 ( x) 1 ( x) i 1 ( x) 2 ( x)
1

2

27

i 2 ( x) 1 ( x) 2 ( x) 2 ( x) ,

( x) * ( x)
1 ( x) 1 ( x) 1 2 ( x) 2 ( x) ,
1

2 2
asimismo,

m2
m 2 ( x ) * ( x ) 1 ( x) i 2 ( x) 1 ( x) i 2 ( x) ,
2

m 2 ( x ) * ( x )
m2 2
2

1 ( x) i1 ( x) 2 ( x) i 2 ( x)1 ( x) 22 ( x) ,

m2 2 m2 2
m ( x) ( x)
2 *
1 ( x) 2 ( x) ,
2 2
as, tenemos que

L 1 ( x), 1 ( x); 2 ( x), 2 ( x) 1 1 ( x) 1 ( x) m

2 ( x) 2 ( x) m ,
2 2
1
12 ( x)
2 2 2 2
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

L L
*
0 ,
( x)
*
( ( x))
y de (5.1), tenemos

L
m 2 ( x ) ,
( x)
*

L
*
( x) ,
( ( x))
y la ecuacin de movimiento para ser:

m 2 ( x) 0 . (5.2)

De la misma manera se puede obtener la ecuacin de movimiento para el campo * , dada

por:

m 2 * ( x) 0 . (5.3)

28
 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 ) e i ( x ) ( x ) , (5.4)

* ( x ) e i * ( x ) * ( x ) ,
(5.5)
donde es 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:

L ( x), ( x); * ( x), * ( x) ( x) * ( x) m 2 ( x) * ( x) ,

L ( x), ( x); * ( x), * ( x) e i ( x) e i * ( x) m 2 e i ( x) e i * ( x) ,

L ( x), ( x); * ( x), * ( x) ( x) * ( x) m 2 ( x) * ( x) ,

L ( x), ( x); * ( x), * ( x) L ( x), ( x); * ( x), * ( x) ,

es decir, la densidad lagrangiana (5.1) es invariante sobre las transformaciones de gauge global.

Adems, para el caso de pequeo (parmetro de transformacin infinitesimal), la

transformacin, es su forma infinitesimal, es dada por:

2 3
( x) e i ( x) 1 i i ( x) ,
2! 3!

2 3
* ( x) e i * ( x) 1 i i * ( x) ,
2! 3!
y como es pequeo, podemos despreciar trminos del tipo 2 , 3 , frente a , de esta
manera las expresiones anteriores se reducen a la forma:

( x) e i ( x) 1 i ( x) ( x) i ( x) , (5.6)

* ( x) e i * ( x) 1 i * ( x) * ( x) i * ( x) . (5.7)
Adems, como

( x) ( x) ( x) , (5.8)

* ( x) * ( x) * ( x) , (5.9)

entonces comparando (5.6) con (5.8) y (5.7) con (5.9), se obtiene que:

29
 ( x ) i ( x ) , (5.10)

* ( x ) i * ( x ) . (5.11)

De la misma manera, tenemos:

( x) ( x) i ( x) ,

* ( x) * ( x) i * ( x) .

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),

x , (5.12)

( x) ( x) , (5.13)
donde es un parmetro infinitesimal, se tiene que 0 y en consecuencia x 0 . 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 es
y

( x) i ( x) , (5.14)

* ( x) i * ( x) . (5.15)

Por otro lado, considerando el Teorema de Noether, se tiene que la corriente conservada, el
cual es dada por:
L
J ( x) ,
( ( x))
y como 0 entonces
L
J ( x ) .
( ( x))
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:

L L
J ( x) * ( x) ,
( ( x)) ( * ( x))

y usando (5.14) y (5.15), obtenemos

30
 L
J i ( x) L* i * ( x ) , (5.16)
( ( x)) ( ( x))
ms aun de

L ( x), ( x); * ( x), * ( x) ( x) * ( x) m 2 ( x) * ( x) ,

tenemos que
L

( x) ,
( ( x))
*

L
* ( x) ,
( ( x))

as (5.16) se escribe como:

J i * ( x ) ( x ) ( x ) * ( x ) . (5.17)

Ahora para estudiar si de esta expresin podemos obtener cantidades conservadas hacemos:

J i * ( x ) ( x ) ( x ) * ( x ) ,

J i * ( x) ( x) * ( x) ( x) ( x) * ( x) ( x) * ( x) ,

y usando (5.2) y (5.3), tenemos que

J 0 ,
es decir, la 4-divergencia de J es nula. En este caso la cantidad conservada para un instante
del tiempo viene dada por

V
0 J0 d 3 x i Ji d 3 x 0 ,
V
y usando el Teorema de Gauss en el segundo termino de la expresin anterior, es decir

i Ji d 3 x J d 0,
i
i (5.18)
V V
adems sobre la consideracin que los campos se anulan en la superficie. De esta manera,
(5.18) se reduce a:
d

dt V
J0 d 3 x 0 .

Si ahora definimos, para t constante

Q
V
J0 d 3 x ,

entonces se tiene

31
 d
Q 0 ,
dt
donde

Q i * ( x) 0 ( x) ( x) 0 * ( x) dV ,
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 i ( x) y * ( x) e i * ( x) . En este caso
como 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 sea una
constante debe ser modificada. En el siguiente captulo veremos las consecuencias de
considerar como una funcin del espacio-tiempo.

32
 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 es una
constante y escribimos como una funcin de las coordenadas del espacio-tiempo (x) .
Estas transformaciones son conocidas como Transformaciones de Gauge Local o de
segundo tipo. En este caso, se tiene:

( x ) e i ( x ) ( x ) ( x ) ,

* ( x ) e i ( x ) * ( x ) * ( x ) ,
con lo cual

L ( x), ( x); * ( x), * ( x) ( x) * ( x) m 2 ( x) * ( x) ,

L ( x), ( x); * ( x), * ( x) e i ( x) ( x) e i ( x) * ( x) m 2 e i ( x) ( x)e i ( x) * ( x),

L ( x), ( x); * ( x), * ( x) e i ( x ) ( x) e i ( x ) ( x) e i ( x ) * ( x)

e i ( x ) * ( x ) m 2 e i ( x ) ( x ) e i ( x ) * ( x ) ,

L ( x), ( x); * ( x), * ( x) ( x) * ( x) m 2 ( x) * ( x)

( x) ( x) ( x) * ( x) ( x) J ,

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

L ( x), ( x); * ( x), * ( x) L ( x), ( x); * ( x), * ( x) .

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 :

33
 ( x) e i ( x ) ( x) 1 i ( x) ( x) ( x) i ( x) ( x) , (6.1)

* ( x) e i ( x ) * ( x) 1 i ( x) * ( x) * ( x) i ( x) * ( x) . (6.2)

Adems, como

( x) ( x) ( x) ,

* ( x) * ( x) * ( x) ,

entonces comparando estas expresiones con (6.1) y (6.2), respectivamente, se obtiene que:

( x) i ( x) ( x) , (6.3)

* ( x) i( x) * ( x) . (6.4)
De la misma manera, tenemos:

( x) ( x) i ( x) ( x) i ( x) ( x) , (6.5)

* ( x) * ( x) i ( x) * ( x) i ( x) * ( x) . (6.6)

Comparando estas expresiones con el caso del captulo anterior, observamos que tenemos

trminos extras i ( x) ( x) y i ( x) * ( x) , respectivamente. Debido a estos trminos
extras, por ejemplo, comparando (6.3) y (6.5) concluimos que (x) 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:

L L L L
L
( x)
( x)
( x)
( x) * * ( x)
( x) *
( x)
* ( x) . (6.7)

Si sustituimos las ecuaciones (6.3), (6.4), (6.5) y (6.6) en (6.7) obtenemos:

L ( x) J . (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 A (x) que se acopla directamente con la corriente J , el cual produce un
trmino extra a la densidad lagrangiana L:
L1 eJ A (x) . (6.9)

34
Ms aun, imponemos que sobre las transformaciones de gauges locales el campo A (x) se
transforme como:
1
A ( x) A ( x) A ( x) ( x) A ( x) A ( x) . (6.10)
e

Ahora la variacin de L1 es

L1 e J A ( x) J A( x) e J A ( x) J ( x) ,
1
e

L1 e J A ( x) J ( x) . (6.11)

Por lo tanto el trmino J (x) en (6.11) cancela L 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:

J i * ( x) ( x) ( x) * ( x) ,

J i * ( x) ( x) * ( x) ( ( x)) ( x) * ( x) ( x) ( * ( x)) ,

J i i ( x) * ( x) ( x) i * ( x) i ( ( x)) ( x) i ( x) ( x)

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

J 2 ( x) * ( x) ( x) . (6.12)
De (6.11) y (6.12) tenemos que

L L1 2 e ( x) * ( x) ( x) A ( x) . (6.13)

De esta manera, debemos adicionar un trmino para cancelar (6.13). Este trmino es dado
por:

L2 e 2 A ( x) A ( x) ( x) * ( x) .
Nuevamente aqu debemos calcular la variacin de L2 , teniendo en cuenta la transformacin
de A (x) , (6.10):
L2 2 e ( x) * ( x) ( x) A ( x) . (6.14)

Observemos que este trmino es (6.13) pero con el signo cambiado, as de (6.13) y (6.14),
tenemos que:
L L1 L2 0 .
Por lo tanto, la densidad lagrangiana total L L1 L2 es ahora invariante sobre
transformaciones de gauges locales.

35
 Como introducimos un campo A (x) que se acopla a la corriente J , necesitamos tener
una densidad lagrangiana que contenga solo al campo de gauge A (x) 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 A (x) como:

F A ( x) A ( x) . (6.15)
Es inmediato verificar que esta expresin es invariante sobre (6.10), es decir

F A ( x) A ( x) ,

1 1
F A ( x) ( x) A ( x) ( x) ,
e e

F A ( x) A ( x) ,

F F .

De (6.15) definimos la densidad lagrangiana del campo A (x) como:

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

LT ( x) * ( x) m 2 ( x) * ( x) eJ A ( x) e 2 A ( x) A ( x) ( x) * ( x) 14 F F ,
que se puede reescribir como:

LT ( x) ieA ( x) ( x) * ( x) ieA ( x) * ( x) m 2 ( x) * ( x) 14 F F .
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 A (x) 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:
L3 14 F F ,
y usando la definicin del tensor energa-momento del campo electromagntico, se tiene que:

L3
T
( A ( x)) L3 .
( A ( x))

36
 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 ) e i ( x ) ( x ) ( x ) , (7.1)

* ( x ) e i ( x ) * ( x ) * ( x ) , (7.2)

donde (x) 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

L ( x), ( x); * ( x), * ( x) ( x) * ( x) m 2 ( x) * ( x) ,

se transforma de la siguiente manera:

L ( x), ( x); * ( x), * ( x) ( x) * ( x) m 2 ( x) * ( x) ,

L ( x), ( x); * ( x), * ( x) e i ( x ) ( x) e i ( x ) * ( x) m 2 e i ( x ) ( x) e i ( x ) * ( x)

,
L ( x), ( x); *

( x ), ( x ) i e i ( x ) ( ( x)) ( x) e i ( x ) ( ( x))
*

i e i ( x)

( ( x)) * ( x) e i ( x ) ( * ( x)) m 2 e i ( x ) e i ( x ) ( x) * ( x) ,

L ( x), ( x); * ( x), * ( x) ( x) * ( x) m 2 ( x) * ( x)

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

L ( x), ( x); * ( x), * ( x) L ( x), ( x); * ( x), * ( x)

( x) ( x) ( x) * ( x) i ( x) * ( x) ( x) ig g ( x) ( x) * ( x) ,
y como g g y luego haciendo se tiene:

37
 L ( x), ( x); * ( x), * ( x) L ( x), ( x); * ( x), * ( x)

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

L ( x), ( x); * ( x), * ( x) L ( x), ( x); * ( x), * ( x) ( x) J ,

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) pequeo (parmetro de transformacin infinitesimal), consideramos la
transformacin, es su forma infinitesimal, dada por:

2 ( x) 3 ( x)
( x) e i ( x ) ( x) 1 i ( x) i ( x) ,
2! 3!

2 ( x) 3 ( x)
* ( x) e i ( x ) * ( x) 1 i ( x) i * ( x) ,
2! 3!

y como (x) es pequeo, podemos despreciar trminos del tipo 2 ( x) , 3 ( x) , frente a

(x) , de esta manera las expresiones anteriores se reducen a la forma:

( x) e i ( x ) ( x) 1 i ( x) ( x) ( x) i ( x) ( x) , (7.3)

* ( x) e i ( x ) * ( x) 1 i ( x) * ( x) * ( x) i ( x) * ( x) . (7.4)

Adems, como

( x) ( x) ( x) , (7.5)

* ( x) * ( x) * ( x) , (7.6)

entonces comparando (7.3) con (7.5) y (7.4) con (7.6), se obtiene que:

( x) i ( x) ( x) , (7.7)

* ( x) i ( x) * ( x) , (7.8)
y adems de (7.5) y (7.7) se obtiene,

( x) ( x) i ( x) ( x) ( x) i ( x) ( x) i ( x) ( x) , (7.9)
asimismo, de (7.5) tenemos

38
 ( x) ( x) ( x) ( x) ( x) , (7.10)
y usando (7.9) as como el hecho que permuta con la variacin , la expresin anterior es
escrita de la siguiente forma:

( x) i ( x) ( x) i ( x) ( x) . (7.11)

Similarmente, considerando (7.6) y (7.8) se tiene:

* ( x) i ( x) * ( x) i ( x) * ( x) . (7.12)

Observamos que las expresiones (7.11) y (7.12) tienen trminos extras i ( x) ( x) y

i ( x) * ( x) , 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

L L L L
L
( x)
( x)
( x)
( x) * * ( x)
( x) *
( x)
* ( x) ,

ahora usando las ecuaciones de Euler-Lagrange para los campos (x) y * ( x) , es decir

L L
0,
( x) ( ( x))

L L
*
0 ,
( x)
*
( ( x))

en el primer y tercer trmino del lado derecho de la expresin anterior, respectivamente, se

tiene

L L L * L
L ( x)

( x ) ( x ) * ( x) .
( ( x ))
( x ) ( *
( x )) *
( x )

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

L
i ( x) ( x) L
L i ( x) ( x) i ( x) ( x)

( ( x)) ( x)

L L
*

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

( ( x)) ( x)

39
 L L
L ( x) i ( x) i ( x) ( x)
( ( x)) ( x)

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

L L
los trminos ( x) y * ( x) son divergencias totales y para la
( ( x)) *
( ( x))

variacin de la accin no contribuyen, es decir estos trminos pueden ser ignorados. Adems,
como

L

( x) ,
( * ( x))

L
* ( x) ,
( ( x))
entonces

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

L i * ( x) ( x) ( x) i g ( x) g ( x) * ( x) ,

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

L i ( x) * ( x) ( x) ( x) * ( x)

L ( x) J , (7.13)

donde J i * ( x) ( x) ( x) * ( x) 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 A (x) que se
acoplar con la corriente J , as la densidad lagrangiana L tendr un trmino extra, dado por:

L1 eJ A (x) . (7.14)
Ms an, vamos a imponer que sobre la transformacin de gauge local, el campo A (x) se
transforme como:
1
A ( x) A ( x) A ( x) ( x) A ( x) A ( x) , (7.15)
e
llamada transformacin de gauge.

40
Ahora la variacin de L1 es

L1 e J A ( x) J A( x) e J A ( x) J ( x) ,
1
e

L1 e J A ( x) J ( x) . (7.16)

De esta expresin observamos que el trmino J (x) permite que L en (7.13) sea
nula, sin embargo, ahora tenemos un nuevo trmino extra, dado por e J A (x) , el cual se
debe anular. Con este propsito, y considerando la corriente

*

J i ( x) ( x) ( x) ( x) as como las transformaciones (7.7), (7.8), (7.11) y (7.12),
*

obtenemos

J i * ( x) ( x) ( x) * ( x) ,

J i * ( x) ( x) * ( x) ( ( x)) ( x) * ( x) ( x) ( * ( x)) ,

J i i ( x) * ( x) ( x) i * ( x) i ( ( x)) ( x) i ( x) ( x)

i i ( x) ( x) * ( x) i ( x) i ( ( x)) * ( x) i ( x) * ( x) ,
J 2 ( x) * ( x) ( x) . (7.17)

De esta manera, considerando (7.13), (7.16) y (7.17) tenemos que

L L1 2 e ( x) * ( x) ( x) A ( x) . (7.18)

Como ocurri anteriormente, observamos que existe un trmino extra en la variacin de la

densidad lagrangiana L L1 , as con el objetivo de que (7.18) sea nula, vamos adicionar un
trmino que permita cancelar (7.18). Este trmino es dado por:

L2 e 2 A ( x) A ( x) ( x) * ( x) .

Nuevamente aqu debemos calcular la variacin de L2 , teniendo en cuenta la

transformacin de gauge para A (x) dada por (7.15), as como (7.7) y (7.8), se tiene que

L2 e 2 A ( x) A ( x) ( x) * ( x) e 2 A ( x)A ( x) ( x) * ( x)

e 2 A ( x) A ( x) ( x) * ( x) e 2 A ( x) A ( x) ( x) * ( x) ,
1 1
L2 e 2 ( x) A ( x) ( x) * ( x) e 2 A ( x) ( x) ( x) * ( x)
e e

41

e 2 A ( x) A ( x) i ( x) ( x) * ( x) e 2 A ( x) A ( x) ( x) i ( x) * ( x) ,

L2 e ( x) A ( x) ( x) * ( x) eA ( x) ( x) ( x) * ( x) ,

L2 eg ( x) g A ( x) ( x) * ( x) eA ( x) ( x) ( x) * ( x) ,

L2 e ( x) A ( x) ( x) * ( x) eA ( x) ( x) ( x) * ( x) ,

L2 2 e ( x) * ( x) ( x) A ( x) . (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:
L L1 L2 0 .

Por lo tanto, la nueva densidad lagrangiana total, dada por L L1 L2 , es ahora

invariante sobre transformacin de gauge local. Ahora, como introducimos un campo extra
A (x) el cual se acopla a la corriente J , necesitamos tener en la densidad lagrangiana total
una que contenga slo al campo de gauge A (x) 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 A (x) como:

F A ( x) A ( x) . (7.20)

Es inmediato verificar que esta expresin es invariante sobre (7.15), es decir

F A ( x) A ( x) ,

1 1
F A ( x) ( x) A ( x) ( x) ,
e e

F A ( x) A ( x) ,

F F .

Considerando la definicin (7.20) construimos la densidad lagrangiana asociada al campo

A (x) como:
L3 14 F F , (7.21)
1
donde el factor es necesario porque permite obtener las ecuaciones de Maxwell no
4
homogneas a partir de las ecuaciones de Euler-Lagrange.

42
De esta manera, sumando todas las densidades lagrangianas, obtenemos la densidad
lagrangiana total, dada por:

LT ( x) * ( x) m 2 ( x) * ( x) eJ A ( x) e 2 A ( x) A ( x) ( x) * ( x) 14 F F ,
que se puede reescribir como

LT ( x) * ( x) m 2 ( x) * ( x) ei * ( x) ( x) ( x) * ( x) A ( x)

e 2 A ( x) A ( x) ( x) * ( x) 14 F F ,

LT ( x) * ( x) m 2 ( x) * ( x) ei * ( x) g ( x) g A ( x) ie ( x) * ( x) A ( x)

e 2 A ( x) A ( x) ( x) * ( x) 14 F F ,

LT ( x) * ( x) m 2 ( x) * ( x) ei * ( x) ( x) A ( x) ie ( x) * ( x) A ( x)

e 2 A ( x) A ( x) ( x) * ( x) 14 F F ,

LT ( x) ieA ( x) ( x) * ( x) ieA ( x) * ( x) m 2 ( x) * ( x) 14 F F .
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 A (x)
acoplado a j , por lo tanto se tiene

LT ( x) ieA ( x) ( x) * ( x) ieA ( x) * ( x) m 2 ( x) * ( x) 14 F F

j * ( x) j ( x) j A ( x) . (7.22)

Por otro lado, si consideramos la densidad lagrangiana original, es decir

L ( x), ( x); * ( x), * ( x) ( x) * ( x) m 2 ( x) * ( x) ,

con (7.22) observamos que (x) es reemplazado por ( x) ieA ( x) ( x) , as podemos
definir:
D ( x) ( x) ieA ( x) ( x) ieA ( x) ( x) ,
y de la misma manera,

D * ( x) * ( x) ieA ( x) * ( x) ieA ( x) * ( x) .

Estas expresiones son conocidas como el Acoplamiento mnimo o Derivada covariante de

los campos (x) y * ( x) , respectivamente. Debemos mencionar que diferente de (x) y
* ( x) , D (x) y D * ( x) se transforman en forma covariante sobre una transformacin de
gauge local, es decir

43
 D ( x) i ( x) D ( x) ,

D * ( x) i ( x) D * ( x) .

De esta manera, la densidad lagrangiana total e invariante frente a transformacin de gauge

local, es dada por:

LT D ( x) D * ( x) m 2 ( x) * ( x) 14 F F j * ( x) j ( x) j A ( x) .

44
 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.

45
 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 ( mi ), que es una
medida de la inercia del cuerpo, y la masa gravitacional ( m g ).

La segunda ley de Newton establece que

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

Fg m 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

46
 mg
a g ,
mi
mg
y deben ser diferentes para cuerpos con valores diferentes de para la razn . Es decir los
i
m
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
mg
. Era independiente de los cuerpos, es decir la razn es la misma, sin interesar el cuerpo.
mi
Por lo tanto m g mi , para cualquier cuerpo, se sigue de la ley de la cada libre de los cuerpos.

Todos los cuerpos caen con a g .

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 m g mi 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 g 0 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,

F F ( x N xM ) ,
entonces

d 2 xN
mN 2
mN g F ( x N xM ) . (8.1)
dt M

Suponga que hacemos una transformacin de coordenadas no galileana:

1
x x gt 2 ,
2

t t ,
as

1
x N x N gt 2
2
,
1
xM xM gt 2 ,
2

47
 1 1
x N xM x N xM gt 2 gt 2 ,
2 2

x N xM x N xM ,
de esta manera, se tiene que (8.1) es

d 2 xN d 2 x N d 2 x N
mN 2
m N

2
g
m N 2
m N g m N g F ( x N xM ) ,
dt dt dt M

d 2 x N
mN 2
F ( x N xM ) .
dt M

Por lo tanto, observamos que x, t y x , t 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 ( m g mi ).

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

48
Por lo tanto, en este caso el elemento de lnea es

ds 2 d d , (8.2)
donde son las coordenadas locales y 0, x, y, z .

49
 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
c
que en el primer caso , donde c es la longitud del disco y D su dimetro respectivo.
D
c
Para el segundo caso se tiene que . De los resultados obtenidos se concluye que la
D
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:

ds 2 c 2 dt 2 dx 2 dy 2 dz 2 , (9.1)
o tambin

ds 2 dx dx ,
donde 0, x, y, z .

Una transformacin de coordenadas para un referencial rotando en torno al eje z , es decir

x, y, z, t x, y, z, t , es
x x cos(t ) y sen(t ) ,

50
 y xsen(t ) y cos(t ) ,

z z ,
donde es la velocidad angular dirigida a lo largo del eje z , z . Calculando los diferenciales y
reemplazando en (9.1), tenemos

dx dx cos(t ) xsen(t )dt dy sen(t ) y cos(t )dt ,

dy dxsen(t ) x cos(t )dt dy cos(t ) y sen(t )dt ,

dz dz ,

ds 2 c 2 dt 2 dx 2 dy 2 dz 2 x 2 2 dt 2 y 2 2 dt 2 2 xdy dt 2 y dxdt ,

2 x 2 y 2 2 2
ds 2 1 c dt dx 2 dy 2 dz 2 2 xdy dt 2 y dxdt .
2
c
Por lo tanto, en un sistema de referencia no inercial, el cuadrado del intervalo ds 2 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:

ds 2 g dx dx ,
donde los g son en general funciones de las coordenadas y del tiempo, es decir
g g ( x ) . Por el Principio de Equivalencia, las cantidades 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 , el tensor mtrico g es simtrico,

es decir
g g ,
adems, en general las 10 componentes independientes no son reductibles a los valores de la
Relatividad Especial, g 00 1, g11 1, g 22 1, g 33 1 .

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
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 g slo es posible localmente.

51
 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 R n , 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 R n en otro abierto de R n .
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

52
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 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 ds 2 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:

ds 2 g dx dx ,
donde los g son las componentes covariantes del tensor mtrico g , funciones de las

coordenadas y del tiempo, es decir g g x , y diferenciables. Adems, por el Principio


de Equivalencia, las cantidades g x 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 , el tensor mtrico g x es

simtrico, es decir

g x g x ,
asimismo, en general las 10 componentes independientes no son reductibles a los valores de la
Relatividad Especial, es decir g 00 1, g11 1, g 22 1, g 33 1 .

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 g x 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 , definida por

x 2
,
x x

53
donde x x ( ) o x x ( ) .

La conexin es transformada como

x 2 x x x
,

x x x x x x

x x x 2 x
,
x x x x x x x

x x x x 2 x
,
x x x x x

x x x

x x 2 x x 2 x
,
x x x x x x x x

x x 2 x x x x 2 x
,
x x x x x x x x x

x x x x 2 x 2 x
,
x x x x x x x x

x 2 x x x x
.
x x x x x x

Por el resultado obtenido se observa que no es un tensor.

x x
Por otro lado, de la identidad se tiene que
x x

x x



0 ,
x x x x

2 x x x 2 x
0,
x x x x x x

2 x x x x 2 x
0,
x x x x x x x

x 2 x x x 2 x
,
x x x x x x x
as tenemos que

54
 x x x x x 2 x
.
x x x x x x x

De esta manera concluimos que 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 del espacio-tiempo (por ejemplo

V x ) descrito por coordenadas curvilneas 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 x x . As su derivada es dada por

,
x
el cual es un vector covariante porque

d dx
x
es un escalar y dx un vector contravariante arbitrario. El mismo resultado se obtiene por
derivacin elemental:

x x
,
x x x x x
que es la ley de transformacin de un vector covariante.

Vector Contravariante

Sea V x un vector contravariante, cuya ley de transformacin es

x
V V .
x

Su derivada es obtenida de la siguiente manera:

V x 2 x x V

V
V ,
x x x x x x x

V x x V 2 x



V , (10.1)
x x x x x x

55
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

x x x x x 2 x

,
x x x x x x x

x x x x x 2 x
V

V

V ,
x x x x x x x

x x 2 x x
V
V V ,
x x x x x

x x 2 x
V



V
V, (10.2)
x x x x
as sumando (10.1) y (10.2), tenemos

V x x V x x

V V ,
x x x x x x

V x x V

V V ,
x x x x

definiendo

V
V ,, V , (10.3)
x
entonces

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

V ; V , V .

OBSERVACIONES:

Para un escalar ,, , , debido a que la derivada de un escalar es un
x
vector.
Si 0 la derivada covariante se reduce a la derivada parcial.

Vector Covariante

56

En este caso sea V x un vector covariante, cuya ley de transformacin es

x
V V .
x

Su derivada es obtenida de la siguiente manera:

V x 2x x V

V
V ,
x x x x x x x

V x x V 2x
V , (10.5)
x x x x x x
y usando la relacin

x x x x 2 x

,
x x x x x x

x x x x 2 x
V
V V
x x x x x x

x x 2x
V
V
V , (10.6)
x x x x
as haciendo en (10.6) y restando con (10.5) obtenemos

V x x V x x
V
V ,
x x x x x x

V x x V


V


V ,
x x x x
definiendo

V
V ,,
V , (10.7)
x
entonces

x x
V,, V ,, , (10.8)
x x
el cual representa la derivada covariante de un vector covariante. Como en el caso anterior la
definicin (10.7) tambin puede ser escrito como

V ; V , V .

57
 Tensores de Segundo Orden

En este caso sea T un tensor contravariante de segundo orden, cuya ley de

transformacin es

x x
T T .
x x

Siguiendo la misma metodologa de los casos anteriores, se tiene que la derivada covariante
es dada por

T ,, T , T T .

En el caso de un tensor covariante de segundo orden T , cuya ley de transformacin es

x x
T T .
x x

Aqu su derivada covariante es

T ,, T , T T .

De esta manera se pueden tener las siguientes propiedades importantes en la geometra

riemanniana:

1. A B ,, A ,, B A B ,, ,
,,
2. A ,, A g A ,, ,
,,
3. A g A ,, ,
4. g ,, 0 , decir, la derivada covariante del tensor mtrico es nulo.
5. A

B ;
A; B,, .

Por otro lado, el rotacional es dada por

V ; V ; V , V , ,
mientras que la divergencia covariante es

V ;
1
g
gV
,
.

10.1 GEODSICAS

Una geodsica puede ser definida como la curva mnima. La menor distancia entre dos
puntos en un espacio-tiempo curvo.

58
 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
x x ( p ) . Sea una distancia infinitesimal dada por

ds g dx dx ,
entonces la distancia es

B B
L ds g dx dx . (10.9)
A A

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

dx

dp
1
2 g
1 dx dx dx dx
B
dx
2 A
L g x g
dp dp

x

dp dp dx dp

dp

dx

dx dp dx


dp 0 ,
dp dx dp


dp

1
1
B
dx dx 2 g dx dx dx dx dx
L g x g dp 0 ,
2 A dp dp x dp dp
dp dp dp
y como

dx dx dx dx dx dx dx dx dx dx
2 ,
dp dp dp dp dp dp dp dp dp dp
entonces

1
1
B
dx dx 2 g dx dx dx dx
L g x 2 g dp 0 . (10.10)
dp dp dp dp

2 A x dp dp
Adems, como

59
 dx dx
ds g dp , (10.11)
dp dp

1
dx dx 2
dp g ds ,
dp dp

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

dx dx dx dx dx dx
g ,
dp dp dp dp ds ds
as (1010.) puede ser rescrito como:

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

dx d dx dx
2 g g
x dp 0 ,
dp dp
ds ds

1 g dx dx dx d dx dx

B
L x 2 g x g dp 0 ,
2 A x ds ds ds ds dp dp

1 g dx dx dx d

B
L
x g x ds 0 . (10.12)
A
2 x ds ds ds ds

Integrando por partes: para el segundo trmino,

g dx dx
B
dx d dx d 2 x

B B
L g x ds g x x ds g ds ,
A
ds ds ds A A x ds ds ds 2
as (10.12) es rescrito como

B 1 g dx dx g dx dx d 2 x
L x g x ds 0 ,
A 2 x

ds ds x ds ds ds 2

60
 1 g dx dx g dx dx
B
d 2 x
L x

g x ds 0 ,
A 2 x

ds ds x ds ds ds 2

B 1 g dx dx g dx dx d 2 x
L

x ds ds
g

x ds 0 ,
A 2 x ds ds ds 2
B
1 g dx dx g dx dx d 2 x
L g x ds 0 ,
A
2 x ds ds x ds ds ds 2

d 2 xB
dx dx g 1 g dx dx
L 2 g x ds 0 ,
A ds
ds ds x 2 x ds ds

B d 2 x dx dx g 1 g
L g x ds 0 ,
A ds 2
ds ds x 2 x
dx
pero como u , entonces
ds

B d 2 x g 1 g
L g u u x ds 0 ,
A ds
2
x 2 x
g u u g g
adems observando que u u y usando la notacin
x
2 x x
g
g / se tiene que
x

d 2 x u u
g / g / g / x ds 0 ,
B
L 2 g
A ds
2

y considerando que g g

d 2 x u u g
g / g / g / x ds 0 ,
B
L 2
g g
A ds 2

d 2 x g
g / g / g / u u x ds 0 ,
B
L 2

ds
A
2
g
finalmente como g / g / g / , entonces
2

61
 d 2 x

B
L 2
u u x ds 0
A
ds
y para valores arbitrarios de la variacin x , obtenemos

d 2 x dx dx
0,
ds 2 ds ds
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).

62
 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

63
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 g
caso en el cual 0 .
La ecuacin es covariante sobre las transformaciones de coordenadas generales
x x x ( x ) .
Las derivadas parciales deben ser sustituidas por las derivadas covariantes.

64
 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 g x 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 del espacio-tiempo (por

ejemplo V x ) descrito por coordenadas curvilneas x , se determina un nuevo tensor por
diferenciacin.

Campo Escalar

En este caso se tiene que x x y, su derivada es dada por

,
x
el cual es un vector covariante debido a que

d dx
x

65
es un escalar y dx un vector contravariante arbitrario. El mismo resultado se obtiene por
derivacin elemental:

x x
,
x x x x x
que es la ley de transformacin de un vector covariante.

Vector Contravariante

En este caso, sea V x un vector contravariante, cuya ley de transformacin es

x
V V .
x

Su derivada es obtenida de la siguiente manera:

V x 2 x x V

V
V ,
x x x x x x x

V x x V 2 x
V , (12.1)
x x x x x x
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

x x x x x 2 x
,
x x x x x x x
as, para nuestro caso tenemos que

x x x x x 2 x
V

V
V ,
x x x x x x x

x x x 2 x
V V
V ,
x x x x x

x x 2 x
V V
V. (12.2)
x x x x

De esta manera, sumando (12.1) y (12.2), se tiene

V x x V 2 x x x 2 x


V

V
V V ,

x x x x x x x x x x

66
 V x x V x x

V

V ,
x x x x x x
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 y luego
, obtenindose

V x x V x x
V V ,
x x x x x x

V x x V

V
V ,

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

V
V ,, V , (12.4)
x
con lo cual (12.3) puede ser escrito como

x x
V ,, V ,, ,
x x
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 ,, V , V ,
o tambin

V ; V , V .

Observe que si 0 , entonces la derivada covariante se reduce a la derivada parcial.

Vector Covariante

En este caso sea V x un vector covariante, cuya ley de transformacin es

x
V V .
x

Su derivada es obtenida de la siguiente manera:

V x 2x x V

V
V ,
x x x x x x x

67
 V x x V 2x
V , (12.5)
x x x x x x
y usando la relacin

x x x x 2 x
,

x x x x x x
se tiene

x x x x 2 x
V
V V
x x x x x x

x x 2x
V V

V , (12.6)
x x x x
as, como los ndices toman los mismos valores, en (12.6) hacemos y , y luego
si la expresin resultante restamos con (12.5), obtenemos

V x x V x x
V

V ,
x x x x x x

V x x V
V V .
x
x x x
Ahora, definiendo

V
V ,,
V , (12.7)
x
tenemos que

x x
V,,
V ,, , (12.8)
x x
el cual representa la derivada covariante de un vector covariante. Como en el caso anterior la
definicin (12.7) tambin puede ser escrito como

V ; V , V .

Tensores de Segundo Orden

En este caso sea T un tensor contravariante de segundo orden, cuya ley de

transformacin es

x x
T T .
x x

Siguiendo la misma metodologa de los casos anteriores, se tiene que la derivada covariante
es dada por

68
 T ,, T , T T .

En el caso de un tensor covariante de segundo orden T , cuya ley de transformacin es

x x
T T .
x x

Aqu su derivada covariante es

T ,, T , T T .

De esta manera se pueden tener las siguientes propiedades importantes en la geometra

riemanniana:
6. A B ,, A ,, B A B ,, ,
,,
7. A ,, A g A ,, ,
,,
8. A g A ,, ,
9. g ,, 0 , es decir, la derivada covariante del tensor mtrico es nulo.

10. A B ; A; B,, .

Por otro lado, como

V ; V , V ,
y

V ; V , V ,
se tiene que el rotacional es dado por

V ; V ; V , V , ,
mientras que la divergencia covariante es

V ;
1
g
gV
,
.

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

69
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

dA
0,
ds
y de aqu la derivada covariante a lo largo de una curva, dada por

DA dA dx
A ,
Ds ds ds
es
DA dx
A .
Ds ds

Supngase que queremos transportar A en un espacio curvo, desde el punto p1 a p y de p1

a p . Para el primer caso, se tiene que
1 A A d1 x ,
y el segundo,

2 A A d 2 x .

De esta manera, ir de p1 a p y de ah a p2 , produce

A , d1 x A 1 A d 2 x 1 A ,

A d 2 x d1 x A , A d1 x d 2 x A d1 x d 2 x , A d1 x ,
y del mismo modo para ir de p1 a p y de ah a p2 , se tiene

A d 2 x d1 x A , A d1 x d 2 x A d1 x d 2 x , A d1 x ,
as restando las expresiones anteriores obtenemos

A A , , A d1 x d 2 x .

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

R , , ,

70
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 en todo el espacio, se tiene

V ; V , ,

V ; ; V , , ,
es decir, para un espacio plano la orden de diferenciacin covariante es irrelevante:

V ; ; V ; ; 0 .
Adems, como esta es una ecuacin tensorial, es vlido para todo sistema de coordenadas en el
espacio plano.

Por otro lado, si definimos

V ; V , V S ,
entonces

V ; ; S ; S , S S ,

V ; ; V ;
, V ; V ; ,

V ; ; V , V
,

V , V V , V ,

V ; ; V , , , V V , V , V V , V .

De la misma manera, se tiene

V ; ; V , , , V V , V , V V , V .

Por lo tanto,
V ; ; V ; ; R V ,
y como V es arbitrario, tenemos que

V ; ; V ; ; 0 ,
si y slo si
R 0 .

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.

71
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 .

72
 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

G T .
donde G es un tensor que describe la curvatura del espacio, T el tensor de energa-
momento y una constante de proporcionalidad (introducimos el signo menos para futura
conveniencia).

La pregunta por lo tanto se reduce a la identificacin del tensor G . Resulta que hay
diversas restricciones matemticas y fsicas que G tiene que cumplir:
1. G tiene que ser simtrico en los dos ndices, ya que T tambin lo es.

73
 2. G tiene que ser un objeto puramente geomtrico. Por lo tanto, tiene que ser una
funcin solamente de la mtrica g y sus derivadas.
3. Para el espacio plano, tenemos que G 0 .
4. La ley de conservacin de energa T 0 implica que G 0 .
5. Se puede identificar la componente g 00 de la mtrica con el potencial gravitacional
newtoniano. Para tener una teora dinmica y para recuperar la ecuacin de Poisson,
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 R .
6. Para obtener una ecuacin diferencial de segundo orden en los potenciales gravitatorios,

G tiene que ser lineal en el tensor de Riemann. Contracciones del tipo R R o

R R daran lugar a ecuaciones diferenciales de orden ms alto que 2.

Los posibles candidatos obvios para G podran ser la misma mtrica g , su

dAlambertiano g o el tensor de Ricci 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 g 0 , tiene la
desventaja de que la ecuacin debe ser g T no es una ecuacin dinmica, ni mucho
menos recupera la ecuacin de Poisson. El dAlambertiano g 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, R no satisface
1
la condicin R R . Por lo tanto, la ley de conservacin de energa impondra que las
2
nicas mtricas permitidas seran las que tienen R 0 , lo que no es una realista de esperar.

En realidad las condiciones (1 6) determinan el tensor 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 R es, salvo una constante comn, de la forma

G R g g (x) ,
donde es una constante (x) una funcin escalar. Adems, exigir que G 0 implica
1
que y que es una constante, mientras que exigir que G 0 para el espacio plano
2
implica que 0 . Por lo tanto el nico tensor que satisface todas las condiciones necesarios
es el tensor de Einstein, introducido en
1
G R g R .
2

Una comparacin con las frmulas newtonianas fija la constante de proporcionalidad

8GN , donde GN es la constante de Newton, de modo que las ecuaciones de Einstein
vienen dadas por

74
 1
R g R 8GT . (13.1)
2

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
G 0 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
g es una solucin de las ecuaciones de Einstein expresada en coordenadas x , la misma
mtrica g expresada en coordenadas 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

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 g , encontramos
R T ,

donde T g T y adems utilizamos el hecho que g g 4 . Sustituyendo esto en (13.1)
vemos que las ecuaciones de Einstein sin traza son de la forma
1
R T g T . (13.2)
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 T 0 , las ecuaciones se reducen a
R 0 . (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

75
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 g son independientes del tiempo, es decir de x0 o t y
tambin se tiene que g ti 0 . En nuestros clculos vamos a considerar, por simplicidad, que
c 1.

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 ( t , r , , ), donde t es una coordenada tipo-tiempo, y son los ngulos
polares y r es la coordenada radial.

Vamos a determinar la mtrica que Schwarzschild. Comenzamos considerando que

ds g dx dx , sea el elemento de lnea ente dos puntos, el cual define el espacio-tiempo.
2

Entonces, si consideramos el caso de una esfera, podemos apropiadamente considerar una

mtrica que dependa de y para un radio fijo, entonces tenemos:

d 2 d 2 sen 2d 2 . (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:

ds 2 g aa (a, b)da 2 g bb (a, b)db 2 g ab (a, b)dadb dbda r 2 (a, b)d 2 ,

(13.5)
donde r a, b 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
a, b a, r , por la inversin de r a, b . En consecuencia, la expresin de la mtrica (13.5)
puede ser escrita como:

ds 2 g aa a, r da 2 g rr a, r dr 2 g ar dadr drda r 2 d 2 . (13.6)

76
 Debemos observar que la mtrica (13.6) tiene 4 componentes, es decir r , a, , , sin
embargo, la coordenada temporal t no aparece, entonces la siguiente tarea ser encontrar una
funcin t a, r , tal que, en el sistema de coordenadas t, r los trminos cruzados dtdr drdt
no aparezcan en la mtrica. Entonces, como estamos buscando una funcin t a, r , podemos
escribir que:

t t
dt da dr ,
a r
a partir de la cual obtenemos:

t t t t
2 2

dt da 2 dadr drda dr 2 .
2
(13.7)
a a r r

Por otro lado, si la mtrica (13.7) puede ser escrito de la siguiente forma:

ds 2 ds '2 r 2 d 2 , (13.8)
donde el elemento de lnea ds '2 es definida por

ds '2 mdt 2 ndr 2 , (13.9)

y las funciones m y n son arbitrarias. Ahora sustituyendo (13.8) en (13.9), obtendremos:

t
2
t t t
2

ds '2 m da 2 m dadr drda n m dr 2 . (13.10)

a a r r

Luego, reemplazando (13.9) en (13.8) y comparando la expresin resultantes con (13.6), las
siguientes expresiones son obtenidas:

t
2

g aa m ,
a

t t
g ar m ,
a r

t
2

g rr n m .
r

De esta manera, tenemos tres ecuaciones que nos permitir determinar las tres funciones
desconocidas, es decir t a, r , ma, r y na, r en forma exacta, para ciertas condiciones
iniciales de t . Naturalmente ellos son determinados en trminos de las funciones desconocidas
g aa , g ar y g rr , en este sentido ellos an son indeterminados. Por lo tanto, vamos a escribir la
mtrica en la siguiente forma:
ds 2 mdt 2 ndr 2 r 2 d 2 . (13.11)

77
 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 ds 2 dt 2 dr 2 r 2 d 2 . 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 dt 2 , 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 y , es decir:
m e 2 y n e 2 ,
donde y dependen de t y r .

De esta manera, (13.11) puede ser escrita como:

ds 2 e 2 t , r dt 2 e 2 t , r dr 2 r 2 d 2 . (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 ( t , r ) y (t , r ) . 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 i
Ri jk kj jk j i k k i j , (13.13)
x x

donde los son los ya mencionados smbolos de Christoffel, cuya forma es:
1 g g g
g . (13.14)
2 x x x

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
t , r , , con los nmeros (0,1,2,3). Luego, obtenemos de (13.12) el siguiente tensor mtrico
g :

e 2 0 0 0

0 e2 0 0 ,
g
0 0 r 2
0

0 0 0 r 2 sen 2
y a partir de este tensor mtrico g , se obtiene su correspondiente inversa, g , es decir:

78
 e 2 0 0 0
2
0 e 0 0
g . (13.15)
0 0 1/ r 2 0
2
0 0 0 1 / r sen
2

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:

1 0 g 0 g 1 g 01 1 00 g 00 1
010 g 1 0 g 1 e 2 2 1 e 2 ,
2 x x x 2 x 2

010 1 . (13.16)

1 1 g1 g 1 g11 g 1
111
1
g 1 1 g 11 111 e 2 2e 2 1 ,
2 x x x 2 x 2

111 1 . (13.17)

1 2 g 2 g 1 g 21 1 22 g 22 1 1
212 g 1 2 g 1 2 2r r 1 ,
2 x x x 2 x 2 r

212 r 1 . (13.18)

1 3 g 3 g 1 g 31 1 33 g 33 1
313 g 1 3 g 1 2
1 1
2rsen ,
2

x x x 2 x 2 r sen
2
2 r

1
313 . (13.19)
r

1 1 g 3 g 0 g10 1 11 g 11 1 2
101 g 0 g 0 e
2 0 .e 2 0 ,
x x x 2 x 2
1
2

101 0 . (13.20)

1 3 g 3 g 2 g 32 1 33 g 33 1
323 g 2 g 2 2
1 2
2 r sen cos
1
,
x x x 2 x 2 r sen
3 2
2 r

79
 cos
323 . (13.21)
sen

1 0 g 0 g 0 g 00 1 00 g 00 1
000 g 0
x 2

g 0 e 2 2 0 .e 2 0 ,
x 2
0
2 x x

000 0 . (13.22)

1 1 g 0 g 0 g 00 g
00
1
g 0
1 1

g 11 001 e 2 2 1 .e 2 ,
x x x x
0
2 2 2

00
1
e 2 1 . (13.23)

1 1 g 3 g 3 g 33 g
33
1

1 1
g 3 3 g 11 331 e 2 2rsen 2 ,
2 x x x 2 x 2

33
1
re 2 sen 2 . (13.24)

1 1 g 2 g 2 g 22 g
22
1
g 2 g 11 221 e 2 2r ,
1 1

x x x x
2
2 2 2

22
1
re 2 . (13.25)

1 2 g 3 g 3 g 33 g
332 g 3
1
g 22 33
1 1
2 2r 2 sen cos ,
x x x x 2r
3
2 2

332 sen cos . (13.26)

1 0 g1 g 1 g11 g
110
1 1

g 1 1 g 00 110 e 2 2 0 .e 2 ,
2 x x x 2 x 2

110 0 .e 2 . (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:

80
 100 110
0
R101 10 01 11 0 0 ,
(13.28)
x x 1 0

donde, los trminos 10 01 y 11 0 0 , es decir, el producto de los smbolos de Christoffel son

dados por:
10 01 100 010 101 110 102 210 103 310 ,

11 0 0 110 000 111 100 112 200 113 300 .

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:

10 01 1 0 0 .e 2 ,
2

11 0 0 0 0 .e 2 1 1 . (13.29)

Luego, sustituyendo stas expresiones as como (13.17) y (13.29) en (13.28), se obtiene la

0
componente R101 del tensor de curvatura de Riemann, es decir:

12 02 .e 2 2 0 .e 2 0 0 .e 2 1 0 0 .e 2
0 2 2
R101
0 0 .e 2 1 1 ,

0
R101
e 2 02 0 0 0 1 1 12 1 . (13.30)
2
2

En forma similar podemos obtener las otras componentes del tensor de curvatura de
Riemann. A continuacin, presentamos los resultados obtenidos, para las diferentes
componentes:

200 220
0
R 202 20 0 2 22 0 0 ,
x 2 x 0

0
R 202 r 1 .e 2 . (13.31)

300 330
0
R303 30 0 3 33 0 0 ,
x 3
x 0

0
R303 re 2 sen 2 . 1 . (13.22)

210 210
R 0
21 0 2 22 01 ,
x x
212 2 1

0
R 212 r 0 .e 2 . (13.33)

81
 310 310
0
R313 31 0 3 33 01 ,
x 3
x 1

0
R313 rsen 2 .e 2 0 . (13.34)

21
1
22
1
1
R 212 21 1 2 22 1 1 ,
x 2
x 1

1
R 212 r 1 .e 2 . (13.35)

31
1
33
1
1
R313 31 1 3 33 1 1 ,
x 3
x 1

1
R313 r 1 .e 2 sen 2 . (13.36)

322 332
R 2
32 2 3 33 2 2 ,
x x
323 3 2

2
R323
1 e 2 sen 2 . (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:

R00 R101
0
.g 00 .g 11 R202
0
.g 00 .g 22 R303
0
.g 00 .g 33

2
2 1
r

02 0 0 0 e 2 1 1 12 1 e 2 e 2 ,
1
2

R00 02 0 0 0 e 2 12 1 1 1 1 . (13.38)
2 2 2
r

Anlogamente podemos obtener las expresiones para las otras componentes del tensor de
Ricci, es decir:

R11 R101
0
R 212
1
.g 11 .g 22 R313
1
.g 11 .g 33 .

R11 12 1 1 1 1 e 2 02 0 0 0 .
2 2 2
(13.39)
r

R01 R 212
0
.g 00 .g 22 R313
0
.g 00 .g 33 .

2 0
R 01 . (13.40)
r

82
 R 22 R 202
0
R 212
1
R323
2
.g 22 .g 33 .

R 22 e 2 r 1 1 1 1 . (13.41)

R33 R303
0
R313
1
R323
2
,

R33 sen 2 e 2 r 1 1 1 1 ,
R33 R 22 sen 2 . (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:

R 8GS , (13.43)
donde
1
g T .
S T (13.44)
2
Tambin vamos a considerar que el tensor de Energa Momento T , es dado por:

T Pg P U U .

Calculando las componentes del tensor energa-momento T de inters para nuestros

clculos, obtenemos:
T00 Pg 00 P U 0U 0 Pe 2 P 2 , (13.45)

T11 Pg11 P U1U1 Pe 2 P U1U1 , (13.46)

T22 Pg 22 P U 2U 2 r 2 P P U 2U 2 , (13.47)

T33 Pg 33 P U 3U 3 r 2 sen 2 .P P U 3U 3 . (13.48)

Por otro lado, como la traza del tensor de energamomento T , es dado por la expresin
T Pg P U U , donde la 4-velocidad U satisface la relacin U U 1 ,
entonces tenemos que T 3P .

Una vez determinadas las componentes del tensor energa-momento T , y su respectiva

traza T , podemos obtener las diferentes componentes del tensor S dado por (13.44). Por lo
tanto, usando los resultados obtenidos para las diferentes componentes de T , dados por las
relaciones ((13.45) ... (13.48)), y de la traza T 3P , en las componentes de S , dada
por la ecuacin (13.44), obtendremos los siguientes trminos:

83
 g ggT Pe 2 P 2 e 2 3P ,
1 1
S00 T00
2 2

e 2
S00 P 2 P . (13.49)
2

g11T Pe 2 P U1U1 e 2 3P ,
1 1
S11 T11
2 2
2
S11 P U12 P .
e
(13.50)
2
r2
S 22 Pg 22 P U 2U 2 g 22 3P Pr P U 2U 2 3P ,
1
2

2 2

r2
S 22 P U 22 P . (13.51)
2

r2
g 33T r 2 sen 2 .P P U 3U 3 sen 2 3P ,
1
S33 T33
2 2

r 2 sen 2
S 22 P U 22 P . (13.52)
2

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:
e 2
R00 8G P 2 P , (13.53)
2

e2
R11 8G P U12 P , (13.54)
2

r2
R22 8G P U 22 P , (13.55)
2

r 2 sen 2
R33 8G P U 32 P (13.56)
2

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 U1 , U 2 y U 3 se anulen, es decir, U1 U 2 U 3 0 y adems tambin obtenemos
que el factor de Lorentz sea igual a uno, 2 1 . De esta manera, las componentes del tensor de
Einstein, usando el sistema comvil, son dados por:

84
 e 2
R00 8G P P , (13.57)
2

R11 4G.e 2 P , (13.58)

R22 4Gr 2 P , (13.59)

R33 4Gr 2 sen 2 P . (13.60)

Debemos mencionar que en nuestra restriccin de trabajar en el sistema de coordenadas

comvil, se tiene que todas las otras componentes de S son nulas, en particular, el caso
S01 0 . Por otro lado, de la ecuacin de Einstein se tiene que R01 8GS01 y, en el caso que
2 0
S01 0 entonces R01 0 . Tambin de (13.40) sabemos que R01 es dado por , de esta
r
manera obtenemos que 0 0 . 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 ( t , r ) y (t , r ) , usando el mtodo de
separacin de variables, esto quiere decir, que dichas funciones pueden ser escrita como:

r , t R 2 t .S r , (13.61)

r , t r . (13.62)

En particular vamos a imponer que la siguiente relacin sea satisfecha,

. .

, (13.63)

con la finalidad que las funciones r y r se encuentren normalizadas y sean univocas.
Entonces, reemplazando las expresiones para y , dado por las definiciones (13.61) y
(13.62), en la relacin anterior, obtenemos:
2 Rt . Rt .S r
.

0,
R t S r
2

en consecuencia, es rpido observar de esta expresin que Rt 0 , es decir, de acuerdo con

.

(13.61), tenemos que , no depende de t y por lo tanto, encontramos que las funciones
( t , r ) y (t , r ) , son dadas por:
r , t r , (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 ds 2 , dado por (13.6), entonces se obtiene la siguiente expresin:

85
 ds 2 e 2 r dt 2 e 2 r dr 2 r 2 d 2 . (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 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 ) y (r ) . Con
la finalidad de obtener dichas funciones, y recordando que R00 Rtt y R11 R rr , los siguientes
pasos sern realizados. Primero, obtenemos una relacin para la expresin e 2 R00 R11 .
Para esto multiplicamos (13.57) por e 2 y el resultado lo sumamos con (13.58),
obtenindose:

e 2 2
e 2 R00 R11 8Ge 2 P P 8G e P .
2 2
2
Segundo, usando (13.38) y (13.39) podemos obtener otra expresin para e R00 R11 , la
cual, comparamos con el resultado anterior, es decir:

2 2
1 1 1 1 r 1 1 1 1 1 r 1
2 2 2 2

e 2
P 8Ge2 P

8Ge 2 P
2 2
A partir del cual se puede obtener:

2
r

1 1 8G e2 P ,
1
r

1 1 4G.e2 e 2 P ,

1 1 4G.e 2 .r e 2 P . (13.67)

De la misma manera, considerando que R 22 R , los siguientes resultados pueden ser

obtenidos:

86
 e 2 r 1 1 1 1 4Gr 2 P ,

e 2 r 1 1 1 4Gr 2 P 1 ,

r 1 1 1 4Gr 2 .e 2 P e 2 .
e2 1
1 1 4Gre P
2
. (13.68)
r r

Luego, sumando los resultados obtenidos en (13.67) y (13.68), una relacin para la funcin
(r ) es conseguida, la cual es dada por:
e2 1
21 4Ge 2 re 2 P 4Gre 2 P ,
r r
2
1 2Gre 2 e 2 P 2Gre 2 P
e 1
,
2r 2r
1
1 e 2 2Gre 2 P 2Gr P
1
.
2r 2re 2

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
1 1
trminos 2
y decaen ms rpidamente que los otros. De esta manera, la ecuacin
2re 2r
anterior se reduce a la siguiente forma:

1 e 2 2Gre 2 P 2Gr P . (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 P (r ) , 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 P k , donde k es la constante Politrpica y
es el ndice politrpico. Esta ecuacin de estado presenta diferentes casos de inters fsicos, por
ejemplo, para corresponde a un fluido incompresible, para 2 describe fermiones
degenerados no relativisticos y para 1 y en el caso de k 1 corresponde a la radiacin y
2
con k 1 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:

1 e 2 2Gre 2 k 2Gr k ,

1 .e 2 2Gre 2 k 2Gr k ,

87
 2
r
.e
2Gre 2 k 2Gr k .
Integrando esta ecuacin diferencial, obtenemos:

e d 2Gk re 2 dr 2G re 2 dr 2G rdr 2Gk r dr . (13.70)

2

Para poder determinar una solucin de esta ecuacin integral, debemos conocer
funciones apropiadas para y , de tal manera que se pueda integrar, las funciones escogidas
son de la siguiente forma:
r
Ln 0 , (13.71)
r

r0
0 . (13.72)
r

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 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 y , es decir, (13.71) y (13.72) en (13.70), se
obtiene:

2 Ln r 0 r0 2 Ln r 0 r0

1 r
K1 e 2 2Gk re r0
dr 2G re r0
dr 2Gk r 0 0 dr
2 r r r
r
2G r 0 0 dr ,
r
donde K1 es una constante de integracin. Continuando con los clculos, la expresin anterior
puede ser educida a:

r r r r r
2 2
1
K1 e 2 2Gk r 0 0 0 dr 2G r 0 0 0 dr 2Gk r 0 0 dr
2 r r r r r
2G 0 r0 dr ,

1 1 1 1
K1 e 2 2Gk 0 r0 2 1 dr 2G 0 r03 2 dr 2Gk 0 r0 1 dr 2G 0 r0 dr ,
2 r r r

1 1 1 1 1 1
K1 e 2 2Gk 0 r0 2 2G 0 r03 2Gk 0 r0 2 2G 0 r0 r ,
2 r r 2 r

2
2 4Gk 0 r0 4G 0 r03 4Gk 0 r0
e 4G 0 r0 r ,
r r 2r 2

88
en donde consideramos, para simplificar los clculos, el caso que la constante de integracin
sea nula, es decir, K1 0 . Esta ecuacin integral tiene algunas propiedades importantes, entre
las cuales esta el hecho que si 1 y k 1 , 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 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:

e 2 8G 0 r0 r .
De esta manera, obtenemos una forma para la funcin (r ) , dada por:

1
e2 . (13.73)
8G 0 r0 r

Por otro lado, de (13.71) podemos obtener, la siguiente expresin:

r2
e 2 . (13.74)
r02

Usando estos resultados, es decir, (813.7) y (13.74) en (13.66), determinamos la

siguiente mtrica:

r2 2 1
ds 2 dt dr 2 r 2 d 2 r 2 sen 2d 2 . (13.75)
r02
8G 0 r0 r

Es importante observar que la mtrica obtenida (13.75) presenta dos singularidades, a

saber, en los radios prximos al origen ( r 0 ) y para radios grandes ( r ). Sin embargo,
debemos recordar que sta mtrica obtenida es para el caso particular donde los trminos 1
2re 2
y 1 son nulos en r y, con lo cual se obtiene (13.69). Este resultado es muy interesante,
2r
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.

89
 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.

90
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.

91
 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.

92
 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.

93
Cuadro: Resultado de la Investigacin

Mtrica de
Puede caracterizar el comportamiento de una estrella Politrpica.
Schwarzschild

considerando un fluido Permite realizar nuevas investigaciones en cosmologa.

perfecto simtricamente
Expresin analtica para la Mtrica de Schwarzschild
esfrico esttico que considerando un fluido perfecto Politrpico.

obedece una ecuacin de

Solucin no conocida en la literatura.
estado Politrpica

Elaboracin propia del autor.

94
 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.

95
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.

CONTENIDOS CONTENIDOS CONTENIDOS

SEMANA CONCEPTUALES PROCEDIMENTALES ACTITUDINALES
Sesin 1 Exposicin de los contenidos Participacin e
Introduccin. Definicin de conceptuales propuestos. intervenciones en las
PRIMERA: grupos. Grupos de Propiciar la participacin de sesiones de aprendizajes.
del 26 de permutacin. los estudiantes. Muestra inters por los
Marzo al 30 Sesin 2 Resolucin de problemas e temas desarrollados y
de Marzo Generadores de grupos. interpretacin de los participa en la solucin de
Representacin de grupos. resultados obtenidos. los problemas.
Prctica dirigida.
Sesin 3 Exposicin de contenidos Participacin e
Transformacin de conceptuales propuestos. intervenciones en las
SEGUNDA: Lorentz. Propiciar la participacin de sesiones de aprendizajes.
del 02 de Grupos de Lie. los estudiantes. Muestra inters por los
Abril al 06 Prctica dirigida. Resolucin de problemas e temas desarrollados y
de Abril interpretacin de los participa en la solucin de
resultados obtenidos. 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.

CONTENIDOS CONTENIDOS CONTENIDOS

SEMANA
CONCEPTUALES PROCEDIMENTALES ACTITUDINALES
Sesin 4 Exposicin de contenidos Participacin e
Campos escalares, conceptuales propuestos. intervenciones en las
vectoriales y tensoriales. Propiciar la participacin de sesiones de aprendizajes.
TERCERA Sesin 5 los estudiantes. Muestra inters por los
del 09 de La Lagrangiana y el Resolucin de problemas e temas desarrollados y
Abril al 13 Principio de Hamilton. La. interpretacin de los participa en la solucin de
de Abril Lagrangiana para resultados obtenidos. los problemas.
sistemas continuos.
Prctica dirigida.

CUARTA Sesin 6 Exposicin de contenidos Participacin e

del 16 de Primera prctica calificada. conceptuales propuestos. intervenciones en las
Abril al
Sesin
20 7 Propiciar la participacin de sesiones de aprendizajes.
de Abril los estudiantes. Muestra inters por los

96
 Teoras de Campos Resolucin de problemas e temas desarrollados y
Relativisticos Clsicos. interpretacin de los participa en la solucin de
Prctica dirigida. resultados obtenidos. los problemas.
Realiza la prctica calificada
con responsabilidad.
Sesin 8 Exposicin de contenidos Participacin e
Principio de Mnima conceptuales propuestos. intervenciones en las
QUINTA
Accin en Teora de Propiciar la participacin de sesiones de aprendizajes.
del 23 de
campos. Ecuaciones de los estudiantes. Muestra inters por los
Abril al 27
Euler-Lagrange Resolucin de problemas e temas desarrollados y
Sesin 9 interpretacin de los participa en la solucin de
de Abril
Simetra y El Teorema resultados obtenidos. los problemas.
de Noether.

Sesin 9 Exposicin de contenidos Participacin e

Tensor energa-momento conceptuales propuestos. intervenciones en las
SEXTA cannico. Propiciar la participacin de sesiones de aprendizajes.
del 30 de Prctica dirigida. los estudiantes. Muestra inters por los
Abril al 04 Resolucin de problemas e temas desarrollados y
de Mayo interpretacin de los participa en la solucin de
resultados obtenidos. los problemas.

Sesin 10 Exposicin de contenidos Participacin e

Segunda prctica conceptuales propuestos. intervenciones en las
calificada. Propiciar la participacin de sesiones de aprendizajes.
STIMA
Sesin 11 los estudiantes. Muestra inters por los
del 07 de
Aplicaciones del Resolucin de problemas e temas desarrollados y
Mayo al 11
Teorema de Noether: interpretacin de los participa en la solucin de
de Mayo
Campo escalar real. resultados obtenidos. los problemas.
Realiza la prctica calificada
con responsabilidad.
OCTAVA Sesin 12 Evaluacin escrita. Realiza el examen con
del 14 de Primer Examen parcial. responsabilidad.
Mayo al 18
de Mayo
Sesin 13 Exposicin de contenidos Participacin e
Campo escalar complejo. conceptuales propuestos. intervenciones en las
Invariancia de Translacin. Propiciar la participacin de sesiones de aprendizajes.
NOVENA
Sesin 14 los estudiantes. Muestra inters por los
del 21 de
La invariancia de Lorentz Resolucin de problemas e temas desarrollados y
Mayo al 25
y el Momento Angular. interpretacin de los participa en la solucin de
de Mayo
Prctica dirigida. resultados obtenidos. los problemas.

Sesin 15 Exposicin de contenidos Participacin e

Interpretacin fsica del conceptuales propuestos. intervenciones en las
DECIMA tensor momento angular. Propiciar la participacin de sesiones de aprendizajes.
del 28 de Sesin 16 los estudiantes. Muestra inters por los
Mayo al 01 Simetrizacin del tensor Resolucin de problemas e temas desarrollados y
de Junio momento-energa. interpretacin de los participa en la solucin de
Prctica dirigida. resultados obtenidos. 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.

97
 CONTENIDOS CONTENIDOS CONTENIDOS
SEMANA
CONCEPTUALES PROCEDIMENTALES ACTITUDINALES
Sesin 17 Exposicin de contenidos Participacin e intervenciones
Forma covariante de las conceptuales propuestos. en las sesiones de
ecuaciones de Propiciar la participacin de los aprendizajes.
DECIMO Maxwell.. estudiantes. Muestra inters por los temas
PRIMERA Sesin 18 Resolucin de problemas e desarrollados y participa en la
del 04 de Lagrangiana y interpretacin de los resultados solucin de los problemas.
Junio al 08 Hamiltoniana del obtenidos.
de Junio campo
electromagntico.
Prctica dirigida.

Sesin 19 Exposicin de contenidos Participacin e intervenciones

Tercera prctica conceptuales propuestos. en las sesiones de
DECIMO calificada. Propiciar la participacin de los aprendizajes.
SEGUNDA Sesin 20 estudiantes. Muestra inters por los temas
del 11 de Tensor energa- Resolucin de problemas e desarrollados y participa en la
Junio al 15 momento del campo interpretacin de los resultados solucin de los problemas.
de Junio electromagntico. obtenidos. Realiza la prctica calificada
con responsabilidad.

Sesin 21 Exposicin de contenidos Participacin e intervenciones

Propiedades de la conceptuales propuestos. en las sesiones de
transformacin de Propiciar la participacin de los aprendizajes.
Lorentz de los campos estudiantes. Muestra inters por los temas
DECIMO electromagnticos. Resolucin de problemas e desarrollados y participa en la
TERCERA Sesin 22 interpretacin de los resultados solucin de los problemas.
del 18 de Transformacin de obtenidos.
Junio al 22 Gauge local. El
de Junio campo
electromagntico como
un campo de Gauge
Prctica dirigida.

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.

CONTENIDOS CONTENIDOS CONTENIDOS

SEMANA
CONCEPTUALES PROCEDIMENTALES ACTITUDINALES
Sesin 23 Exposicin de contenidos Participacin e intervenciones
El Campo Gravitacional conceptuales propuestos. en las sesiones de
DECIMO y geometra Propiciar la participacin de los aprendizajes.
CUARTA Riemanniana. estudiantes. Muestra inters por los temas
del 25 de Sesin 24 Resolucin de problemas o e desarrollados y participa en la
Junio al 29 El Principio de interpretacin de los resultados solucin de los problemas.
de Junio Covariancia General. obtenidos.
Prctica dirigida.

DECIMO Sesin 25 Exposicin de contenidos Participacin e intervenciones

QUINTA Cuarta prctica conceptuales propuestos. en las sesiones de

98
 del 02 de calificada. Propiciar la participacin de los aprendizajes.
Julio al 06 Sesin 26 estudiantes. Muestra inters por los temas
de Julio Ecuaciones de Campo Resolucin de problemas e desarrollados y participa en la
de Einstein. interpretacin de los resultados solucin de los problemas.
Aplicaciones. obtenidos. Realiza la prctica calificada
con responsabilidad.

DECIMO Sesin 27 Evaluacin escrita. Realiza el examen con

SEXTA Segundo Examen responsabilidad.
del 09 de parcial.
Julio al 13
de Julio
DECIMO Sesin 28 Evaluacin escrita. Realiza el examen con
STIMA Examen sustitutorio. responsabilidad.
del 16 de Entrega de notas.
Julio al 20
de Julio

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)

99
 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:

EP EF PP
NF
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, 2nd Edition (Wiley,New York,1975)

100
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

101