Documentos de Académico
Documentos de Profesional
Documentos de Cultura
FACULTAD DE CIENCIA
Departamento de Matem
atica y Cs. de la Computaci
on
ESTABILIDAD CLASICA
DEL ATOMO
DE
HIDROGENO
Profesores gua:
Enrique Reyes Garca
Guillermo Palma Aguirre
Tesis presentada al Departamento de Matematica y Cs. de la Computacion de la Facultad de Ciencia de la Universidad de Santiago de Chile, para optar al ttulo profesional Ingeniero Matematico
Santiago, Chile
2014
Atomo
de Hidr
ogeno de Miguel Angel Bezares Figueroa en cumplimiento
parcial de los requisitos para obtener el ttulo de Ingeniero Matematico . Comision
compuesta por:
aaaaaaaaaaaaaaaaaaaaaaaaaaa
Profesor gua
Dr. Enrique Reyes Garca
a
a
a
a
a
Profesor gua
Dr. Guillermo Palma Aguirre
a
a
a
a
a
Profesor Informante
Dr. Norman Cruz Marn
a
a
a
a
a
Profesor Informante
Dr. Galina Garca Mokina
a
a
a
a
a
a
a
a
a
a
a
a
a
a
aaaaaaaaaaaaaaaaaaaaaaaaaaa
Director Depto. Matematica
y Ciencia de la Computacion
Pedro Marn Alvarez
a
a
a
a
Jefe de Carrera
Ingeniera Matematica
Dr. Ignacio Guerra Benavente
Diciembre 2014
ii
INFORME DE TESIS
Atentamente,
Guillermo Palma Aguirre
Profesor Gua
INFORME DE TESIS
titulado
El problema de Cauchy en
se realiza un estudio
Los
Por lo expuesto anteriormente califico este trabajo con nota seis coma cinco
(6.5).
Norman Cruz
Profesor Informante
INFORME DE TESIS
En relacin al trabajo de titulacin del Sr. Miguel Bezares Figueroa, de la
Carrera Ingeniera Matemtica, titulado El Problema de Cauchy en Teoras
de Campos y Estudio Numrico de la Estabilidad Clsica del tomo de
Hidrgeno, informo lo siguiente:
La tesis est dividida en dos partes: en la primera parte de la tesis se estudia
el Problema de Cauchy en Relatividad General. Para el anlisis de la
existencia y unicidad de las soluciones de las ecuaciones de Einstein, estas
se reducen, usando coordenadas armnicas, a un sistema hiperblico para
aplicar teoremas clsicos de Ecuaciones Diferenciales Parciales.
En la segunda parte se estudia numericamente la inestabilidad clsica del
tomo de Hidrgeno. Este problema fue de gran relevancia en el siglo XX, ya
que contribuy al nacimiento de la Mecnica Cuntica.
El trabajo presenta de manera organizada y clara los problemas estudiados y
su motivacin. En la introduccin se exponen con detalles todos los conceptos
tericos que se usan en la tesis. Los resultados se obtienen de forma gradual,
desde los ms simples hasta los ms complejos, lo que hace ms agradable
su lectura y comprensin. Los experimentos numricos presentados en la
ltima parte de la tesis, evidencias la complejidad de modelar numricamente
el movimiento de un electrn en presencia de radiacin en el tomo de
Hidrgeno.
El alumno ha cumplido con los objetivos generales y especficos planteados al
inicio de su tesis, mostrando una alta capacidad de anlisis matemtico y
dominio de los conceptos involucrados. Esto permite esperar grandes logros
en su vida profesional y en cualquier desafo que se le presente.
Por lo anterior califico este trabajo con nota siete coma cero (7.0).
Atentamente,
Galina C. Garca M.
Profesora Informante
Santiago, 22 de diciembre de 2014.
Resumen
El Problema de Cauchy en Teoras de Campos y Estudio Num
erico
Profesores Guas: Dr. Enrique Reyes Garca y Dr. Guillermo Palma Aguirre
La principal meta de este trabajo es comprender el Problema de Cauchy en Relatividad General y el estudio numerico de la estabilidad clasica del atomo de hidrogeno.
Estudiamos y analizamos en detalle aspectos analticos relevantes de las ecuaciones de
Einstein entendidas como ecuaciones de evoluci
on, con atenci
on especial al problema
de buen planteamiento de Relatividad General. Estudiamos soluciones locales para las
ecuaciones de Einstein a traves de coordenadas arm
onicas que transforman estas ecuaciones en un sistema de ecuaciones diferenciales parciales hiperb
olicas y la formulaci
on
del problema de valores iniciales para las ecuaciones de Einstein [CHO-II], [RING],
[STRAU] y [TAY-III]. Adem
as, exploramos otros aspectos relacionados con el Problema de Cauchy en Relatividad General: la formulaci
on del problema de valores iniciales
para campos masivos [WALD]. Finalmente, estudiamos soluciones numericas para la
ecuaci
on cl
asica de movimiento de un electr
on con termino de radiaci
on y sin radiaci
on,
modelada por la ecuaci
on de Lorentz-Dirac, obteniendo numericamente las trayectorias
fsicas del electr
on, [PLA, JACK, AGUI].
Palabras claves: Relatividad General; Ecuaciones de Einstein, Ecuacion de KleinGordon, Problema de valores iniciales; coordenadas arm
onicas, Radiacion, Ecuacion de
Lorentz-Dirac, Fine-tuning, Runge-Kutta 87.
iii
Abstract
The Cauchy Problem in General Relativity and Numerical study
of the classical stability of the Hydrogen atom
Miguel Angel Bezares Figueroa
December/2014
Advisor: Dr. Enrique Reyes Garca and Dr. Guillermo Palma Aguirre
The main goal of the present work is to understand some aspect of the Cauchy problem
in General Relativity and the classical stability of the Hydrogen atom. We study and
analyze in details some relevant analytical aspects of Einstein equations understood as
evolutions equations, with especial attention to the well-posedness problem in General
Relativity. We study local solutions for the Einstein Equations through harmonic coordinates which transform these equations in a system of hyperbolic differential equations
and the Initial Value Formulation for Einstein Equations [CHO-II], [RING], [STRAU]
and [TAY-III]. Besides, we explore other some aspects related to The Cauchy Problem
in General Relativity: Initial Value Formulation for massive fields [WALD].
Keywords: General Relativity, Eintein Equations, Klein-Gordon Equations, Initial
Value Problem, harmonic coordinate, Radiation, Lorentz-Dirac Equations, Fine-tuning,
Runge-Kutta 87.
iv
Agradecimientos
Despues de este gran camino recorrido, muchas veces dficil y que pareca hasta imposible a veces, cierro una gran etapa de mi vida. Donde no puedo dejar de agradecer a
todas las personas que estuvieron en este camino y creyeron en m, me brindaron su
apoyo y hasta sus fuerzas y energas para poder finalizar esta hermosa etapa.
Quiero agradecer a m amada esposa, compa
nera y confidente, la que me dio su apoyo
en innumerables ocasiones que me pude ver derrotado o agotado, la que ha estado
siempre en este camino. Sin duda, parte de este logro es gracias a ella, que me ense
no
algo fundamental en la vida que es la perseverancia, la paciencia y la lucha.
Agradezco tambien a mi familia la cual siempre estuvo conmigo y creyo en mi, la cual
supo entender mis ausencias en momentos importantes.
Dar gracias a mis Profesores, agradecerles por todas las buenas ense
nanzas que me
han brindado y se que ser
an de bien para el futuro, comenzando por mi Profesor de
matem
aticas del colegio Alexis Matheus el cual fue quien me gui
o en esta primera etapa
de las matem
aticas; a mis profesores y mentores matem
aticos Profesor Enrique Reyes y
Profesor Daniel Pons, quienes tuvieron la paciencia y la motivacion de ense
narme este
mundo de la Geometra y la Relatividad, quienes me dieron el honor de poder colaborar en un artculo con ellos y aceptaron guiar mi tesis. Y finalmente a mis mentores
fsicos Profesor Guillermo Palma y Profesor Norman Cruz, quienes me mostraron otra
perspectiva de las matem
aticas aplicadas y tambien me dieron la gran oportunidad de
trabajar y colaborar con ellos. Igualmente, a los profesores que nos apoyaron en los
viajes o pasantas Dra. Galina Garcia, Dr. Ignacio Guerra y Dra. Maria Isabel Cortez.
Gracias Profesores por todo el apoyo.
Adem
as, agradecer el apoyo y la hospitalidad del Profesor Oscar Reula y al grupo de
Relatividad General y Gravitacion de la Facultad de Matem
atica, Astronoma y Fsica
(FaMAF) de la Universidad Nacional de C
ordoba, Argentina, por la invitacion a realizar
una pasanta de investigaci
on en donde pude profundizar los temas abarcados en este
vi
vii
Tabla de Contenidos
Resumen
III
Abstract
IV
Agradecimientos
VI
Introducci
on
1. Elementos de An
alisis, Geometra y Relatividad General
22
30
36
1.1.5. Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
40
45
48
51
1.1.9. Conceptos b
asicos de Causalidad . . . . . . . . . . . . . . . . . .
53
55
59
59
viii
66
71
73
76
2.1. Formulaci
on de valores iniciales para partculas y campos . . . . . . . .
77
2.1.1. Formulaci
on de valores iniciales para partculas . . . . . . . . . .
77
2.1.2. Formulaci
on de valores iniciales para campos: Ecuacion de KleinGordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
79
2.2. Formulaci
on de valores iniciales en Relatividad General . . . . . . . . .
90
2.2.1. Descomposici
on del espacio tiempo . . . . . . . . . . . . . . . . .
91
93
145
Ap
endice A. Teorema de Noether.
146
Ap
endice B. Deducci
on variacional con coordenadas normales y aplicaciones a la cosmologa. Trabajo en conjunto con Dr. Norman Cruz y
Gonzalo Palomera.
154
B.1. Principios variacionales a traves de coordenadas normales. . . . . . . . . 154
ix
Indice de Ilustraciones
1.1. Cartas.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Expresi
on en coordenadas de una funci
on f : M R. . . . . . . . . . .
11
12
1.4. Expresi
on en coordenadas locales de una curva c en la variedad M. . . .
13
27
29
36
50
54
83
95
99
xi
3.1. Soluci
on amortiguada de la ecuaci
on diferencial de tercer orden x
+ 4x
...
5 x = 0, con condiciones iniciales x(0) = 1 , x(0)
=1y x
(0) = 58 , el
proceso de captura fue mediante Runge-Kutta 5 en Matlab con un tiempo
de integraci
on t [0, 10]. . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
3.2. Ilustraci
on de la tecnica fine-tuning para encontrar la condici
on inicial
para la aceleraci
on, para la ecuaci
on diferencial de tercer orden x
+ 4x
...
5 x = 0. Inicialmente las condiciones iniciales son x(0) = 1 , x(0)
=1
on amortiguada, que
yx
(0) [2, 2]. Para x
(0) = 58 se otiene la soluci
es equivalente a la obtenida en la observaci
on 33. El proceso de captura
numerico se obtuvo para 100 valores diferentes y se uso Runge-Kutta 5
en Matlab, con un tiempo de integraci
on t [0, 10]. . . . . . . . . . . . . 135
3.3. Ilustraci
on soluci
on cl
asica que describe a un electr
on rotando en torno a
un centro de carga +e sin tomar en cuenta la perdida de energa debida a
la radiaci
on. El proceso de captura numerico fue mediante Runge-Kutta
5 en Matlab, tomamos como condici
on inicial ~z = (a0 /(1 + ), 0) y
xii
Introducci
on
En 1915 Albert Einstein propuso por primera vez, en los artculos Zur allgemeinen
Relativit
atstheorie y Die Feldgleichungen der Gravitation publicados en Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin, las ecuaciones de
campo para la gravitacion dadas por
G =
8G
T ,
c4
(1)
es la constante cosm
ologica, G es la constante gravitacional universal de Newton y T
es el tensor de energa-momentum para un campo de materia. Si suponemos ausencia
de campos de materia, tenemos las ecuaciones Einstein en el vaco
G = 0.
(2)
Las ecuaciones de Einstein deben ser resueltas para la metrica g , ellas pueden ser
vistas como un sistema de ecuaciones diferenciales parciales acopladas de segundo orden no lineal. Sabemos que para la gran parte de las ecuaciones diferenciales parciales
no-lineales no tenemos metodos generales para obtener soluciones exactas. Debido a
su complejidad, s
olo se conocen soluciones de las ecuaciones de Einstein para el caso
en donde existen simetras, ya sea en el espacio o tiempo, como por ejemplo las soluciones para agujeros negros obtenidas por el fsico y astronomo Karl Schwarzschild
en su artculo Uber
das Gravitationsfeld eines Massenpunktes nach der Einsteinschen
Theorie publicado en 1916 en Sitzungsberichte der K
oniglich Preussischen Akademie
der Wissenschaften, en donde las soluciones son obtenidas suponiendo simetra esferica
sobre objetos compactos, o soluciones para el estudio de la expansi
on del Universo a
traves de la metrica de Friedmann-Lematre-Robertson-Walker, la cual supone que el
espacio tridimensional es de curvatura constante, o soluciones para agujeros negros con
1
carga y rotaci
on obtenida por el matem
atico Roy Kerr en el artculo Gravitational
Field of a Spinning Mass as an Example of Algebraically Special Metrics en 1963 en
Physical Review Letters.
Desde un punto de vista diferente, podemos formular las ecuaciones de Einstein como
un problema de valores iniciales que permite estudiar la existencia y unicidad de soluciones de forma m
as general, sin suponer condiciones sobre el espacio tiempo, como por
ejemplo simetra esferica. Aunque Albert Einstein introdujo sus ecuaciones en 1915,
no fue sino hasta 1952 que Madame Ivonne Choquett-Bruhat logr
o establecer una formulaci
on de valores iniciales en Relatividad General [CHO-II]. Cabe destacar, que en
Relatividad General las condiciones iniciales no son elementos de un espacio vectorial
de funciones como pasa en casos elementales de ecuaciones en derivadas parciales1 .
En efecto, un teorema de Robert Geroch en [GER] afirma que podemos descomponer
nuestro espacio-tiempo en una parte temporal y espacial. Dado un tiempo inicial, tenemos que los datos iniciales deben cumplir ciertas relaciones no lineales que vienen de la
geometra de hipersuperficies, conocidas como las ecuaciones de vnculos o constraint.
As, el problema de valores iniciales para Relatividad General es muy diferente a un
problema de valores iniciales clasico. La demostracion de Y. Choquet-Bruhat se basa
principalmente en usar la libertad de eleccion de coordenadas que nos permite la metrica en nuestra variedad espacio tiempo, para as reducir la ecuaciones de Einstein a un
sistema hiperb
olico y aplicar teoremas clasicos, como por ejemplo la teora de Leray
[LER]. Las coordenadas elegidas son las coordenadas arm
onicas.
Adem
as, como problema numerico en este trabajo estudiamos la estabilidad clasica
del
atomo de Hidr
ogeno, cuya din
amica es gobernada por la ecuaci
on de LorentzDirac [PLA]. Este problema fue de los principales en los inicios del siglo XX, el cual
contribuy
o al nacimiento de la Mecanica Cu
antica. Del punto de vista de la Mecanica Cu
antica, el
atomo de Hidrogeno es estable, y la funci
on de onda que describe el
electr
on es representada por una funcion de cuadrado integrable, y los posibles niveles
de energas son tambien conocidos como los valores propios de Balmer del operador
Hamiltoniano del sistema. Sin embargo, en Mecanica Cl
asica y como una consecuencia
de la teora de la Relatividad, cada partcula que posee movimiento acelerado emite
energa en forma de radiaci
on, cuya potencia de emisi
on est
a dada por la formula de
Larmor P = 2 ke2 /3mc3 , [JACK]. Como una consecuencia, el atomo de Hidrogeno no
puede ser estable y el electr
on pierde energa y cae al n
ucleo en alg
un tiempo denominado vida media. La descripci
on numerica de este simple sistema fsico es sorpresivamente
bastante difcil, dado que dos interacciones diferentes compiten entre ellas: la atracci
on
1
Por ejemplo, para resolver ut = uxx , x [a, b], podemos imponer u(0, x) = g(x), para cualquier
funci
on suave g(x).
y su propagacion
[FRTT, STRAU, WALD]; (iii) existencia y unicidad local en el tiempo usando coordenadas arm
onicas [BI-KA, BE-Kn, DIR-II, FOC, LAN, LER, RING, STRAU, TAY-III,
WALD];(iv) algunos aspectos globales, el teorema de Choquet-Bruhat y Geroch sobre
existencia global de soluciones [CH-GR] y [ISEN] la ecuaci
on de Lichnerowicz.
En el tercer captulo, estudiamos la ecuaci
on clasica de movimiento de un electr
on con
termino de radiaci
on, introduciendonos en la ecuaci
on de Lorentz-Dirac, en donde transformamos nuestra ecuaci
on diferencial covariante a una ecuaci
on diferencial de tercer
orden [PLA]. Estudiamos numericamente la ecuaci
on de Lorentz-Dirac, comenzando
con un an
alisis unidimensional en donde mostramos soluciones analticas y numericas
a traves del metodo denominado fine-tuning, adem
as hacemos una importante observaci
on sobre las condiciones iniciales para este problema, [JACK, AGUI]. Finalizamos
este interesante problema con el estudio bidimensional de la trayectoria del electr
on
obtenida estudiando numericamente la ecuaci
on con y sin radiaci
on.
Como comentario final destacamos que existe la posibilidad de encontrar soluciones
numericas a ecuaciones de interes para fsica matem
atica, como mostramos en el ejemplo del
atomo de hidrogeno. En el caso de Relatividad General, su estudio numerico es
conocido como Relatividad Numerica [BSS]. La Relatividad Numerica nos da la oportunidad de estudiar fenomenos cosmicos que no podemos recrear en los laboratorios,
como por ejemplo propagacion de ondas gravitacionales, colapso gravitacional y colapso
de dos agujeros negros, un tema en donde mayormente se investiga en estos u
ltimos
a
nos [GOUR, BO-LU].
3
Constraint .
Observaci
on 1:
Existen diversas formas de notaciones para los ndices en Relatividad General, ndices
griegos, latinos, n
umeros, etcetera, que denotan si uno est
a trabajando en las coordenadas espaciales o espacio-temporales por ejemplo. En este trabajo no hacemos distinciones entre ndices griegos o latinos, a menos que lo especifiquemos antes o despues
de alg
un c
alculo especfico.
Captulo 1
Elementos de An
alisis, Geometra
y Relatividad General
1.1.
Geometra Diferencial
1.1.1.
Variedades Diferenciables
Definici
on 1.1:
Sea M un conjunto arbitrario, no vaco. Diremos que M es una variedad diferenciable si existe una colecci
on {U }A de subconjuntos de M y una colecci
on
: U M Rn ,
con A de funciones inyectivas tal que
(1)
U = M.
en M. La uni
on de todos los atlas equivalentes a un atlas dado A es llamado atlas
maximal, tambien llamado la estructura diferenciable generada por A. As, una variedad
diferenciable es un conjunto M provisto de una estructura diferenciable sobre M.
Definici
on 1.2:
Sea M una variedad con estructura diferenciable. Un conjunto A M es abierto, si
para cada a A, existe una carta local (U , ) tal que a U y U A.
tal que
El conjunto {f }A que satisface las condiciones (i), (ii) y (iii) se denomina partici
on
de la unidad.
Definici
on 1.3:
Una variedad M es llamada orientable si existe un atlas {(U , )} contenido en el
(0, . . . , 0, 1) son, respectivamente, los polos norte y sur de la esfera Sn . Tenemos que
3 .
1 : U1 Rn y 2 : U2 Rn la proyecci
on estereogr
afica desde el polo norte y sur
1
(x1 , . . . , xn ),
1 xn+1
1
2 (x1 , . . . , xn+1 ) =
(x1 , . . . , xn ).
1 + xn+1
1 (x1 , . . . , xn+1 ) =
(1.1)
(1.2)
(1.3)
(1.4)
2
Recordemos que podemos escoger este conjunto, como el conjunto de las cartas {U , }A en
donde las funciones son de tipo C k para cada A.
3
Usando la topologa inducida por la inscrustaci
on usual de Sn en Rn+1 .
donde kxk2 = x21 + . . . + x2n . Es sencillo probar ver que estas aplicaciones son inyectivas.
(x1 , . . . , xn ) =
1 1
2
1
(x1 , . . . , xn )
kxk2
(1.5)
que es un difeomorfismo local C , pues sus componentes lo son, por lo tanto cumple
las condiciones (1) y (2) de la definici
on 1.1, es decir, Sn es una variedad diferenciable
ndimensional con atlas maximal conteniendo A = {(U1 , 1 ), (U2 , 2 )}.
Ejemplo 2:
Sea M = RPn el espacio proyectivo ndimensional, M es una variedad ndimensional.
En efecto, RPn es determinado por la relaci
on de equivalencia,
x y si y solo si x = y,
donde 6= 0, es decir, RPn puede ser visto como el conjunto de rectas que contienen el
origen en Rn+1 .
Definimos
i (e
x) =
xi1 xi+1
xn+1
x1
,
.
.
.
,
,
,
.
.
.
,
xi
xi
xi
xi
Rn .
(1.6)
Esta funci
on esta bien definida pues si (y 1 , . . . , y i , . . . , y n+1 ) es otro representante de
x
e, esto es, ye = x
e, entonces,
luego
y1
y i1 y i+1
y n+1
,
.
.
.
,
,
,
.
.
.
,
,
yi
yi
yi
yi
1
xi1 xi+1
xn+1
x
,...,
,
,...,
,
=
xi
xi
xi
xi
1
x
xi1 xi+1
xn+1
=
,..., i , i ,..., i
xi
x
x
x
i (e
y) =
= i (e
x).
Cada funci
on i es inyectiva. En efecto, sea x
e, ze Ui / tal que i (e
x) = i (e
z)
x1
xi1 xi+1
xn+1
,..., i , i ,..., i
i
x
x
x
x
z1
z i1 z i+1
z n+1
,..., i , i ,..., i
i
z
z
z
z
i
z
xi
y por tanto x
e = ze.
i
z
xi
xi = z i ,
Sea i 1
j : j ((Ui / ) (Uj / )) i ((Ui / ) (Uj / )).
1
j1
j+1
n+1
Entonces x j ((Ui / ) (Uj / )) si y solamente si x = xxj , . . . , xxj , xxj , . . . , x xj
con i < j. Ahora si x Rn , tenemos:
1
j1
1
, 1, xj+1 , . . . , xn+1 ).
j (x) = (x , . . . , x
Por lo tanto,
i 1
x1 , . . . , xj1 , 1, xj+1 , . . . , xn ,
j (x) = i
1
xi1 xi+1
xj1 1 xj+1
xn
x
,..., i , i ,..., i , i, i ,..., i ,
=
xi
x
x
x
x
x
x
(1.7)
(1.8)
es un difeomorfismo C .
10
Ejemplo 3:
Suponga que M1 , . . . , Mk son variedades diferenciables de dimensiones n1 , . . . , nk respectivamente, entonces M1 M2 . . . Mk es una variedad diferenciable de dimensi
on
Mapeos Diferenciables
Una funci
on f en una variedad n-dimensional M es una mapeo de M en R dado por
x 7 f (x). Su representante en coordenadas locales en la carta (U , ) es una funci
on
i
1 i
f := f 1
: (x ) 7 f ( (x )).
11
cumple que:
f y j
f
=
.
xi
y j xi
(1.9)
grad(f ) =
y i
( (p)) .
xj
12
c2 son equivalentes en p si
d
d
( c1 ) = ( c2 ).
dt t=0
dt t=0
Tp M = { [c]p / c : (, ) M,
c(0) = p}
Tp M.
pM
1
(f ) =
(f )
.
xi
xi
p
(p)
Lema 1.7:
a
(i)
(i)
xi p
es una derivaci
on
x1 p , . . . , xn p
las curvas suaves que pasan por p M . Ademas, sea (U, ) una carta de M , entonces
es, definimos una curva en M como (t) = 1 ((t)). Efectivamente, cuando derivamos
con respecto a t, obtenemos nuestro vector inicial X. Por lo que para cada vector X,
podemos encontrar una curva asociada al vector inicial. Entonces, : (p) T]
p M es
d
1
(())). Notemos que esta funci
on
una funci
on definida como () = (T(p) ) (
dt t=0
no es una biyecci
on, ya que existen muchas curvas que pasan por p, y que tienen como
vector tangente a X, por lo que, usamos la relaci
on de equivalencia, dada anteriormente,
operaci
on, ((p), ) es un grupo, luego se puede demostrar que es un homomorfismo,
Del mismo modo definimos el fibrado cotagente. Sea M una variedad y T M el fibrado
tangente. Dado p M tenemos un espacio vectorial asociado Tp M. Este espacio tiene
su respectivo espacio dual (Tp M ) , que se denota por Tp M. Luego el fibrado cotangente
6
7
Igual a la dimensi
on de M.
Los vectores tambien llevan el nombre de vectores contravariantes.
15
Tp M.
pM
dx (p)
donde ji , es el delta de Kronecker.
!
= ji ,
xj p
x1 p , . . . , xn p
n
X
i=1
Campos vectoriales.
Definici
on 1.9:
Una campo vectorial X es una funci
on X : M T M tal que X(p) Tp M. Diremos
que X es una secci
on del fibrado T M.
9 .
16
p U,
X(p) =
n
X
i=1
.
ai (p)
xi p
(1.10)
La ecuaci
on 1.10 es la expresi
on en coordenadas del campo vectorial X. Las funciones
ai : U R son las componentes de X. Diremos que X es de clase C r , r 1, si las
componentes son de clase C r .
Notemos que podemos sumar campos vectoriales y tambien multiplicarlos por un escalar. Si X e Y son campos vectoriales y R, se tiene que
(X + Y )(p) = X(p) + Y (p),
as los campos vectoriales forman un espacio vectorial sobre los reales de dimension
infinita. Notemos que anteriormente encontramos una base para el espacio Tp M que
tiene dimension n. Como puede ser que el espacio de campos vectoriales tenga dimensi
on infinita sobre R? La respuesta es sutil. Cuando estudiamos espacios vectoriales,
las componentes de un vector escrito en una determinada base son coeficientes constantes, es decir, n
umeros. La diferencia con el espacio de campos vectoriales es que los
coeficientes no son n
umeros, son funciones. En efecto, los campos vectoriales forman
un espacio de dimension infinita sobre R, y es m
odulo libre de dimension finita sobre
el anillo de funciones C .
Tambien se puede multiplicar un campo vectorial X por una funcion f : M R, esto
es,
(f X)(p) = f (p)X(p).
Existe otra operaci
on que se puede efectuar entre campos vectoriales, esta es, la operacion corchete dada por [X, Y ], donde X e Y son campos vectoriales y [X, Y ] se define
como la asignaci
on p 7 [X, Y ]p dada por
[X, Y ]p (f ) = Xp Y (f ) Yp X(f ),
(1.11)
Es facil ver que para cada p, [X, Y ]p es una derivacion sobre funciones, por lo que la
asignaci
on p 7 [X, Y ]p define un elemento de Tp M, con esto concluimos que esta
asignaci
on es un campo vectorial.
17
Proposici
on 1.10:
Sean X, Y, Z Tp M , entonces
(1) La asignaci
on (X, Y ) 7 [X, Y ] es Rbilineal y antisimetrica.
(2) [X, [Y, Z]] + [Z, [X, Y ]] + [Y, [Z, X]] = 0 (Identidad de Jacobi)
La demostracion puede ser consultada en [JMLEE-II, p
ag.90].
can
onica de T M en M.
Definici
on 1.12:
Definici
on 1.13:
xi
debe act
uan sobre elementos de Tp M .
(dxj ) = dxj
xi
xi
= ij .
Existe una sutileza dentro de esta definicion, pues estamos ocupando el isomorfismo
18
que existe entre Tp M y Tp M , ya que los elementos que pueden actuar sobre dxj son
T M .
s
olo elementos de T M , pero bajo isomorfismo, tenemos Tp M =
p
Definici
on 1.14:
Un tensor de tipo
k
l
F : Tp M Tp M . . . Tp M Tp M Tp M . . . Tp M R.
{z
} |
|
{z
}
kveces
lveces
1 , . . . , Yk )
de
kl 10
k
l
lveces
en p, T act
ua sobre elementos del tipo
como
T ( 1 , . . . , l , Y1 , . . . , Yk ) R.
El espacio de todos los tensores de tipo
k
l
s+q
r+k
(p). Si ( 1 , . . . , r+k , Y1 , . . . , Ys+q ) r+k
entonces
de tensores por F G en Ts+q
k
l
19
en Tp M Tp M . . . Tp M , entonces
T = Tj1 ...jk dxj1 p . . . dxjk p ,
11
de M R.
Para un l-tensor
contravariante,
en este caso,
tomando una base
,...,
,...,
...
en Tp M Tp M . . . Tp M , entonces
x1
xk
x1
xk
T =T
donde T i1 ...il son coeficientes
12
i1 ...il
...
,
xi1 p
xil p
de M R.
Finalmente,
de manera general, sea (xi ) un sistema de coordenadas sobre M, tenemos
n o
i1 ...ik
.j1 ...jl
dxj1 p . . . dxjl p ,
...
xi1 p
xik p
donde T i1 ...ik .j1 ...jl son las componentes de T con respecto a las bases
son dadas por
T
i1 ...ik
.j1 ...jl = T
,...,
dx , . . . , dx ,
xj1
xjk
i1
ik
1
{T (1 , 2 ) + T (2 , 1 )},
2!
xi
, {dxi } y
.
0
2 ,
como el tensor
para todo 1 , 2 Tp M. Denotaremos las componentes S(T )ij de S(T ) por T (ij) ;
entonces
T (ij) =
1 ij
{T + T ji }.
2!
1 ij
{T T ji }.
2!
Funciones.
Funciones.
20
Lema 1.15:
Un cambio de coordenadas {xi } a {
xj } transforma las componentes de un tensor T de
tipo m
k como
x
qk
x
i1
(1.12)
T i1 ...il j1 ...jk = T r1 ...rl .q1 ...qk r . . . j .
x 1
x
k
Ejemplo 4:
Tomemos un tensor g del tipo 02 que llamamos g. Entonces g se puede escribir como
g = gab dxa dxb .
xa
y dy .
Luego tene-
mos que
b
x
xa
dy
dy
y
y
b
a
x x
= gab dy dy .
y y
Observaci
on 3:
No todos los objetos que tienen superndices y subndices son tensores. La condici
on
necesaria para que un objeto sea un tensor, es que debe cumplir la condici
on de transformaci
on (1.12).
Pull-back y Push-Forward
Definici
on 1.16:
Sea f : M N una funci
on suave y sea T k (N ). Si p M y tenemos las
f = f (j1 ...jk dy j1 . . . dy jk )
(ii) f (S T ) = f S f T .
(iii) (g f ) = f g : T k (Tg(f (p)) ) T k (Tp M ).
(iv) (IdN ) S = S.
(v) f : T k N T k M es un fibrado suave.
El lector interesado en la demostracion puede consultar [JMLEE-II].
Definici
on 1.18:
Sea F : M N una funci
on suave. Sea X Tp M y sea p M . Definimos un mapeo
F : Tp M Tf (p) N llamado Push-Forward, definida como
(F X)(f ) = X(f F ),
para toda f C (N, R).
1.1.2.
El tensor M
etrico
|g(X, X)|1/2
2
0
en p. La
Las componentes de g con respecto a una base {ei }(con i {1 . . . n}) de vectores en p
son
(1.13)
esto es, las componentes son simplemente el producto escalar de vectores ei . Si usamos
bases coordenadas
,
xi
tenemos
(1.14)
22
q = c(b) de M, con vector tangente c (t) tal que g(c (t), c (t)) tiene el mismo signo en
todos los puntos a lo largo de c(t), viene dada por
L=
(1.15)
Simb
olicamente expresaremos la relaciones (1.14) y (1.15) de la forma
ds2 = gij dxi dxj .
relaci
on
gij gjk = ki .
(1.16)
La signatura de la metrica g en p es el n
umero de valores propios positivos de la matriz
(gij ) en p, menos el n
umero de valores propios negativos. Si g es no-degenerada y
continua, la signatura ser
a constante en M,
1
(ns) t
erminos
2
23
Ejemplo 5:
Si tomamos nuestra variedad como M = R4 , y g = dxdx+dydy+dzdz+dwdw,
tenemos una metrica de signatura +2. Este espacio es llamado espacio de Minkowski.
Ejemplo 6:
Tomemos la variedad R2 , con cooerdenadas (x, y) y su metrica g = dx2 + dy 2 . Calculemos la metrica en la variedad (0, +) (0, 2). Tenemos la funci
on f : [0, +)
(1.17)
An
alogamente para la coordenada y, tenemos
dydy = sin2 ()drdr+r cos() sin()drd+r cos() sin()ddr+r 2 cos2 ()dd.
(1.18)
Luego, sumando las cantidades (1.17) y (1.18) tenemos que la metrica de nuestra nueva
variedad es g = dr dr + r 2 d d.
M
etricas Riemannianas y m
etricas Lorentzianas
Definici
on 1.19:
Una metrica pseudo Riemanniana g en una variedad M, es un tensor simetrico del
tipo 20 , tal que g(p) es una forma bilineal, simetrica y no-degenerada.
Definici
on 1.20:
Una m
etrica Riemanniana g en una variedad M, es un tensor simetrico del tipo
2
etrica, no-degenerada y definida positiva.
0 , tal que g(p) es una forma bilineal sim
Definici
on 1.21:
1
n
Sea
) una carta
n (U,
o sobre M, con funciones coordenadas {x , . . . , x } y bases
, . . . , x n p de Tp M y {dx1 (p), . . . , dxn (p)} de Tp M, luego escribimos g en p
x1 p
como sigue
g(p) =
n
X
i,j=1
(1.19)
con gij (p) = g(p)(/xi |p , /xj |p ), podemos escribir (1.19) ocupando la notaci
on de
suma de Einstein que nos dice que los ndices repetidos suman, luego (1.19) es equivalente a
g(p) = gij (p)dxi dxj .
(1.20)
Definici
on 1.22:
Una isometra de una variedad pseudo-Riemanniana (M, g) es un difeomorfismo f
tal que deja a g invariante, esto es
f g = g.
(1.21)
Definici
on 1.23:
Sea (M, g1 ) y (N, g2 ) dos variedades pseudo-Riemannianas son llamadas localmente
isom
etricas si existe un mapeo diferenciable f tal que para cualquier punto p M
admiten una vecindad U, y una vecindad V de f (p), con (U, g1 ) y (V, g2 ) una isometra.
Variedades localmente isometricas tienen la misma dimension pero pueden tener diferentes topologas, como por ejemplo el Toro plano dado por identificaci
on de los
lados opuestos de un cuadrado [JMLEE-I, p
ag.54]. Una variedad pseudo-Riemanniana
isometrica a un espacio pseudo-Euclidiano es llamado espacio plano.
Proposici
on 1.24:
Una variedad diferenciable M
13
25
Tipo-luz.
26
16
Ejemplo 8:
Algunos ejemplos de metricas en Relatividad General y Cosmologa son:
(i) Agujeros Negros en Relatividad General
a) Metrica de Schwarzschild
15
16
2M
1
dr 2 + r 2 d 2 + r 2 sin2 ()d2 .
ds2 = 1
dt2 +
2M
r
1 r
27
b) Metrica de Kerr
2a sin2 ()(r 2 + a2 )
a2 sin()
dtd
dt2
ds =
2
(r + a2 )2 a2 sin2 ()
+ dr 2 +
sin2 ()d2 + d 2 .
donde = r 2 + a2 cos() y = r 2 + a2 + e2 2M r.
(ii) Cosmologa
a) Metrica de Friedmann-Robertson-Walkers
ds2 = c2 dt2 +
Ejemplo 9:
a2
dr 2 + a2 r 2 d 2 + a2 r 2 sin2 ()d2 .
1 kr 2
(1.22)
1
dr 2 + r 2 d2 ,
2M
1 r
(1.23)
(1.24)
28
El pull-back de (1.24), dado por (df r )2 + r 2 (df )2 + (df z )2 , deber ser (1.23). Entonces
ds21 =(frr dr + fr d) (frr dr + fr d) + r 2 (fr dr + f d) (fr dr + f d)
+ (frz dr + fz d) (frz dr + fz d)
2
2
1
.
1 2M
r
(1.25)
2
1
1.
1 2M
r
(r, ) = 2 2M r 2M .
(1.26)
(1.27)
Resumiendo la inscrustaci
on que da el paraboloide de Flamm es:
f (r, ) = (r, , (r, )).
Luego la 3-superficie Paraboloide de Flamm se ve de la siguiente forma:
29
1.1.3.
Diferenciaci
on en Variedades (Pseudo)Riemannianas
Derivada de Lie
Consideremos cualquier campo vectorial X, de tipo C r (r 1). Por el teorema fundamental para sistemas de ecuaciones diferenciales [TAY-I], existe una u
nica curva
maximal c(t) a traves de cada punto p M tal que c(0) = p y cuyo vector tangente
en el punto c(t) es el vector X|c(t) . Si {xi } son las coordenadas locales, luego la curva
c(t) tiene coordenadas xi (t) y el vector X tiene coordenadas X i , entonces esta curva es
LX T = lm
k
l
30
Y i j X i j
X
Y .
xj
xj
Si la derivada de Lie de dos campos vectoriales es nula, diremos que los campos
conmutan.
Derivada Covariante
En una variedad Lorentziana existe una u
nica funcion : X(M ) X(M ) X(M ),
donde X(M ) es el espacio de campos vectoriales sobre M tal que:
u
nica derivada se llama conexi
on de Levi-Civita.
Teorema 1.29 (Levi-Civita):
31
(i) es simetrica.
(ii) es compatible con la metrica Riemanniana.
El lector interesado en la demostracion puede dirigirse a [DCM-I, p
ag.61].
En coordenadas la conexion de Levi-Civita esta dada por
xi
=
m
,
ij
j
x
xm
m
donde
m
ij =
1 X ml
g
2
l
Las funciones
m
ij
gij
gli glj
+
xj
xi
xl
(1.28)
Ejemplo 10:
Observamos anteriormente la metrica de Friedmann-Robertson-Walkers, entonces podemos calcular los smbolos de Christofell, a traves de (1.28) los cuales son
011 =
111 =
101 =
212 =
313 =
aa
;
1 kr 2
kr
;
1 kr 2
a
;
a
1
;
r
1
;
r
022 = aar
2;
033 = aar
2 sin();
122 = r(1 kr 2 );
202 =
a
;
a
303 =
a
;
a
ijk (y) =
y i 2 xp
y i xq xr p
(x)
+
.
qr
xp y j y k
xp y j y k
32
esica si
a los largo de . La aceleraci
on de es . Decimos que es una geod
= 0.
Definici
on 1.30:
Si T es un campo tensorial del tipo
en componentes es:
T 1 ...n .1 ...m =
n
m ,
X
X
1 ...n
T
i T 1 ......n .1 ...m
j T 1 ...n .1 ......m
.1 ...m +
x
i
(1.29)
Ejemplo 11:
Tomemos un tensor del tipo
3
2
es
A .ijk + A .ijk + A .ijk i A .jk j A .ik k A .ij
x
l
X
=1
T i1 ......i.lj1 ...jk ui +
k
X
=1
T i1 ...i.l j1 ......jk j u .
(1.30)
Definici
on 1.31:
Sea (M, g) una variedad (pseudo)Riemanniana, diremos que es un campo vectorial
de Killing, si la derivada de Lie con respecto a de g es nula, esto es,
L g = 0.
(1.31)
si y solo si
si y solo si
(1.32)
33
i
Calculemos Y = Y. Supongamos que Y = Y i x
i y = (x (t)). Entonces:
Yj j,
x
i
j
= x Y
,
xj
xi
j
i
j
= x
+Y
,
j
xi xj
xi x
j
j m
i Y
+ Y ij m ,
= x
xi xj
x
m
Y
i
j m
= x
+ Y ij m ,
xi xm
x
m
Y
= x i
+ m
iY j
.
ij x
i
x
xm
Y = Y = x i
xi
Y j = 0,
ij
dt xi
dt
esto es,
dxi j
dY m
+ m
Y = 0.
ij
dt
dt
(1.33)
Por lo tanto, dado un vector Y(0) T(0) M encontramos Y(t0 ) paralelamente trans-
19 .
(t)
ij
dt2
dt dt
19
(1.34)
t [0, t0 ].
34
20 .
21
completo.
Ejemplo 12 (Ecuacion de la Geodesica sobre la esfera):
Usamos la metrica
ds2 = d 2 + sin2 () d2 .
Entonces los smbolos de Christoffel sobre la esfera son:
122 = sin() cos(),
212 = cot(),
(t)
= 0,
22
dt2
dt dt
d2 x2
dx1 dx2
2
+
2
(t)
= 0.
12
dt2
dt dt
Reemplazando, tenemos que las ecuaciones son
2
d
d2
= 0,
sin() cos()
2
dt
dt
d2
d d
+ 2 cot()
= 0.
2
dt
dt dt
(1.35)
(1.36)
La u
ltima ecuaci
on es equivalente a
d
dt
Por lo que
que
d
dt
d
dt
d
sin() = 0.
dt
35
1.1.4.
Coordenadas Especiales
Coordenadas Normales
Definici
on 1.32:
Sea p V M y U T M un conjunto abierto dado por
U = {(q, w) T M : q V, w Tq M, |w| < , V vecindad convexa} .
Definimos el mapeo exponencial exp : U T M M como
w
exp(q, w) = (1, q, w) = |w|, q,
|w|
22
con velocidad w
esto lo podemos hacer, pues siempre podemos reparametrizar la curva al intervalo [0, 1].
Una propiedad fundamental de mapeo exponencial es que es un difeormorfismo local
[DCM-I, p
ag. 65]. Este hecho nos permite hacer la siguiente definicion:
Definici
on 1.33:
Sea (M, g) una variedad Riemanniana, p M y sea {ei }ni=1 una base g-ortonormal 24
22
(0) = q.
(0) = w.
24
Esto es, g(ei , ej ) = 0, para i 6= j.
23
36
P
para Tp M . Tomamos q = (q1 , . . . , qn ) coordenadas del punto exp( nj=1 qj ej ) donde
25 ,
de Tp M . Escribimos entonces
gij = g
,
qi qj
q1 , . . . , qn
26 .
Identificamos Tp M
qi
, Tq expp
qj
Si
exp : T M M,
(p, v) (1, p, v),
y si v = 0, entonces exp(p, 0) = (1, p, 0) = {(1) : (0) = p, (0)
= 0, geodesica}.
Como (0)
ei ,
qi
es un isomorfismo.
25
26
37
Teorema 1.34:
En terminos de coordenadas normales centradas en p M , se tiene:
(i) p 0,
(ii) gij (0) = ij para todo i, j {1, . . . , n},
(iii) kij (0) = 0 para todo i, j, k {1, . . . , n},
(iv)
gij
qk (0)
Demostraci
on:
dt
= c y que
d2
dt2
d2 k
j
d
i d
k
+
(0)
= 0.
ij
dt2
dt dt
esto es debido al teorema 1.29, esto nos dice que se puede escribir los smbolos de
Christoffel como
1
ijk = gil (gjl,k + gkl,j gjk,l ).
2
(1.37)
(1.38)
38
1 il
g (0)(gjl,k (0) + gkl,j (0) gjk,l (0))
2
1
+ gjl (0)(gil,k (0) + gkl,i (0) gik,l (0)).
2
(1.39)
Dado que gij (0) = ij , tenemos que gij (0) = ij . Por lo tanto, al reemplazar en
(1.39) tenemos
1
ijk (0) + jik (0) = il (gjl,k (0) + gkl,j (0) gjk,l (0))
2
1
+ jl (gil,k (0) + gkl,i (0) gik,l (0))
2
1
= (gji,k (0) + gki,j (0) gjk,i (0))
2
1
+ (gij,k (0) + gkj,i (0) gik,j (0)).
2
Puesto que el tensor metrico es simetrico, se tiene que gij,k (0) = gji,k (0).
Finalmente,
1
1
ijk (0) + jik (0) = gji,k (0) + gij,k (0)
2
2
= gij,k (0).
Puede observarse que las derivadas de la metrica est
an en funcion de los smbolos
de Christoffel evaluados en (0), usamos la propiedad (iii), tenemos que gij,k (0) =
0.
Observaci
on 4:
No podemos de dejar de mencionar que las coordenadas normales se pueden extender a
cada punto sobre geodesicas. El lector interesado puede buscar informaci
on en [BOZH,
p
ags. 98-104]. En esta referencia, est
a la construcci
on completa de coordenadas normales para curvas, enunciada en su Proposici
on 3.1.
39
1.1.5.
Curvatura
Definici
on 1.35:
La curvatura R de una variedad Riemanniana M, es una correspondencia que asocia
a cada par X, Y X(M ) una funci
on
R(X, Y ) : X(M ) X(M ),
dada por
R(X, Y )Z = Y X Z X Y Z + [X,Y ] Z , Z X(M ),
(1.40)
donde es la conexi
on Riemanniana de M.
Proposici
on 1.36:
La curvatura R de una variedad Riemanniana tiene las siguientes propiedades:
(i) R es bilineal en X(M ) X(M ), esto es:
R(f X1 + hX2 , Y1 ) = f R(X1 , Y1 ) + hR(X2 , Y1 ),
R(X1 , f Y1 + hY2 ) = f R(X1 , Y1 ) + hR(X1 , Y2 ).
donde f, h D(M )
27
y X1 , X2 , Y1 , Y2 X(M ).
40
(1.41)
Demostraci
on:
Tenemos que
R(X, Y )Z + R(Y, Z)X + R(Z, X)Y = Y X Z X Y Z + [X,Y ] Z + Z Y X
Y Z X + [Y,Z]X + X Z Y Z X Y
+ [Z,X] Y
= Y (X Z Z X) + Z (Y X X Y )
+ X (Z Y Y Z) + [X,Y ] Z + [Y,Z]X + [Z,X]Y.
41
(1.42)
, j
i
x x
,
xk
xk
xj
xi
xi
xj
(1.43)
R(Xi , Xj )Xk =
l
Xl .
Rijk
l
son las componentes de la curvatura R en (U, ). La meta ser
a encontrar estas
Asi Rijk
componentes.
Sabemos que:
,
xi
entonces :
42
Xj Xi Xk = Xj (Xi Xk ),
,
=
k
xj
xi x
!
X
l
ik l ,
=
x
xj
l
X
X l
+
lik
,
=
ik
l
j
xj
xl
x
x
l
l
X
X
X l
l
=
sjl s .
+
ik
ik
j
l
x
x
x
s
l
Luego
Xi Xj Xk =
X
X
X l
l
sil s .
+
jk
jk
i
l
x
x
x
s
(1.44)
s
l
l
+
sil s ,
ik
jk
jl
ik
jk
j
l
s
i
l
x
x
x
x
x
x
s
s
l
l
l
l
X
X
X
X
X
X
sjl s i
sil s ,
lik
ljk
sik s +
sjk s
=
j
x s
x
x
x s
x
x
s
s
l
l
!
X s
X
sjk X l s
ik
=
+
.
ik jl
ljk sil
j
i
s
x
x
x
s
R(Xi , Xj )Xk =
Por lo tanto
s
Rijk
=
sjk
sik
(1.45)
.
xs
(1.46)
43
(1.47)
Esta ecuaci
on es conocida como identidad de Ricci, en algunos textos, como por ejemplo
[CHO-I], se define la curvatura como aquel tensor que cumple (1.47).
Tomamos en (U, ), un sistema de coordenadas {x1 . . . , xn } en torno a p M, el tensor
l
gls Rijk
= Rijks
(1.48)
(1.49)
(1.50)
Rijks = Rksij .
(1.51)
2. Antisimetra
3. Simetra
Rij = g ks Rikjs ,
de las propiedades de simetra del tensor de Riemann tenemos que Rij = Rji , y la
curvatura escalar viene dado por
R = Rii = gij g ks Rikjs .
(1.52)
44
tiene
i
Rj[ks;r]
=0
i
i
i
Rjks;r
+ Rjrk;s
+ Rjsr;k
=0
k
s
Rr;k
=0
R;r Rr;s
k
R;r 2Rr;k
=0
1
=0
Rrk rk R
2
;k
(1.53)
1.1.6.
cd
1
gcd R
2
;c
(1.54)
Sea (M, g) una variedad riemanniana con dim(M ) = n y p M . Tomemos (U, ) una
carta tal que p U . Sean {x1 , . . . , xn } funciones coordenadas de M , { x 1 , . . . , x n }
coordenadas de Tp M y {dx1 , . . . , dxn } coordenadas de Tp M .
Definici
on 1.38:
Una funci
on multilineal f : |Rn {z
Rn} R se dice alternante si
kveces
f (v1 , . . . , vi , . . . , vj , . . . , xk ) = f (v1 , . . . , vj , . . . , vi , . . . , vk ).
Definici
on 1.39:
n
Denotamos por k (Rn ) el conjunto de todas las funciones f : R
Rn} R
| {z
kveces
alternantes y k-lineales.
Podemos definir un producto entre los espacios k (Rn ), que lo llamaremos producto
cu
na y lo denotaremos por . Sean 1 k (Rn ) y 2 k (Rn ), entonces 1 2
45
donde Sk+k es el grupo de permutaciones {1, 2, . . . , k + k }. La definicion con determinantes funciona bien cuando 1 y 2 son 1-formas.
Observaci
on 5:
Notemos que este producto s
olo esta definido si k + k n. Si k + k > n, el producto
es cero. Adem
as de la definici
on anterior, se sigue que = 0 para cualquier
k (Rn ), si k es impar.
a1 dx1 y 2 = a2 dx2 , tenemos que = 1 2 = (a1 dx1 ) (a2 dx2 ) = (a1 a2 )dx1 dx2 .
(v1 , v2 ) = 1 2 (v1 , v2 ) = (a1 a2 )dx1 dx2 (v1 , v2 ) = (a1 a2 )(dx1 (v1 )dx2 (v2 )dx1 (v2 )dx2 (v1 )).
Definimos el espacio de funciones alternantes k-lineales sobre p M como k (Tp M ).
Proposici
on 1.40:
El conjunto
{(dxi1 |p dxik |p ) : i1 < i2 < < ik , ij {1, . . . , n}}
es una base para k (Tp M )
Definici
on 1.41:
Una k-forma diferencial sobre M , es una funci
on : M k (Tp M ). Luego por
proposici
on 1.40, se tiene que tiene la siguiente forma
(p) =
i1 <i2 <<ik
Definici
on 1.42:
Se define la derivada exterior de una k-forma diferencial como una (k + 1)-forma
46
X
I
donde =
daI dxI ,
29
X aI
i
xi
dxi .
Proposici
on 1.43:
La diferencial exterior tiene las siguientes propiedades:
d( ) = d + (1)deg() d. En particular, si p (Rn ) y q (Rn ),
entonces d( ) = d + (1)p d.
dF (x, y, z) =
F
F
F
dx +
dy +
dz.
x
y
z
Forma de Volumen
Lema 1.44:
Sea (M, g) una variedad Riemanniana orientable. Con coordenadas {x1 , . . . , xn }. Entonces la forma de volumen localmente est
a dada por
dvolg =
donde |g| = det(gij ).
47
Observaci
on 6:
Cuando trabajamos con variedades pseudo-riemannianas, la forma de volumen queda
definida por
dvolg =
g dx1 dxn ,
donde g = det(gij ).
Teorema de Stokes
Teorema 1.45:
Sea M una variedad diferenciable orientada n-dimensional con frontera, y sea una
(n 1)-forma diferenciable con soporte compacto en M. Entonces:
Z
d =
(1.55)
1.1.7.
Si F : M N, es una funci
on diferenciable, definimos el rango de F en p M como
el rango de la funci
on lineal F : Tp M TF (p) N.
Definici
on 1.46:
Una funci
on diferenciable F : M N, es llamada una submersi
on si F es sobreyec-
Una funci
on diferenciable F : M N, es llamado una inmersi
on si F es inyectivo
en cada punto (o equivalentemente si ran F = dim M ).
Definici
on 1.48:
Una funci
on diferenciable F : M N, es llamada una inscrustaci
on suave si F :
M N es una inmersi
on, y tambien una incrustraci
on topol
ogica, esto es, un ho-
48
Ejemplo 14:
dados por
(1.56)
para algunas constantes ck+1 , . . . , cn . Claramente, una k-slice es homeomorfa a un subconjunto abierto de Rk .
Sea M una variedad diferenciable n-dimensional, y (U, ) una carta diferenciable en M.
Si S es un subconjunto de U tal que (S) es una kslice de (U ), entonces diremos
simplemente que S es una kslice de U.
Definici
on 1.49:
Un subconjunto S M es llamada una subvariedad diferenciable de dimensi
on k si
para cada punto p S, existe una carta diferenciable (U, ) para M tal que p U y
codimensi
on de S en M . Una hipersuperficie incrustada es una subvariedad incrustada
de codimension 1.
Existen diversos teoremas relacionados a incrustaciones y subvariedades, para profundizar estos temas ver [JMLEE-II, p
ag.173].
Ahora que conocemos el concepto de hipersuperficie podemos inducir una forma de
volumen en ella, con la siguiente proposici
on.
49
Proposici
on 1.50:
Sea (M, g) una variedad pseudo-Riemanniana, y sea S una hipersuperficie de M . Denotemos por h, la metrica de la hipersuperficie S inducida por g. Supongamos que N
es un vector normal a lo largo de S. Con respecto a la orientaci
on de S, determinada
por N , la forma de volumen de (S, h) es
dvolh = (N y dvolg )|S ,
donde (N y dvolg ) es la (n 1)-forma en S dada por
(N y dvolg )(X1 , ..., Xn1 ) = dvolg (N, X1 , ..., Xn1 ),
para q S y X1 , ..., Xn1 Tq S.
En el caso de interes para Relatividad General, tenemos que (s) es una hipersuperficie
3-dimensional y (M, g) es una variedad Lorentziana. Tomemos un vector normal n a
(s). Luego, la forma de volumen sobre (s) est
a dada como sigue: Sean {x0 , x1 , x2 , x3 }
dvolg =
50
Por lo tanto
(N y dvolg ) =
1.1.8.
M
etricas Conformes.
(1.57)
(1.58)
Adem
as supondremos que (M, gij ) es una variedad diferenciables de dimension n 2.
Conexi
on, Tensor de Riemann, Ricci y de curvatura escalar en m
etricas
conformes.
Los smbolos de Christoffel de dos metricas conformes g = 2 g cumplen la siguiente
relaci
on:
ijk = ijk + 1 (ji k + ki j gjk i ),
(1.59)
l
+ 2[i (ln )j]
k (ln ) 2[i (ln )gj] k gls s (ln )
l sr
2gk [i j]
g s (ln )r (ln ).
(1.60)
(1.61)
(1.62)
consultar [WALD, p
ag. 445]. o [CHO-I, p
ag. 643].
52
1.1.9.
Conceptos b
asicos de Causalidad
A continuaci
on, damos a conocer los principales resultados de causalidad para una
variedad Lorentziana M ; si el lector esta interesado en profundizar este topico una
lectura recomendable es [ONEI].
Recordemos que un vector v Tp M, v 6= 0, es tipo-tiempo, nulo o
tipo-espacio si
g(v, v) < 0, g(v, v) = 0 o g(v, v) > 0 respectivamente. El vector 0 es definido tipoespacio. Si v es cualquier vector tipo-tiempo o nulo es llamado causal. Sea : I
tipo-tiempo. Si
6= 0 y
h , i
30
orientaci
on temporal de M. Si M admite una orientaci
on temporal, diremos que M es
tiempo orientable.
Note que esta definicion tiene sentido incluso si M no es segundo contable. Sin embargo, si asumimos segunda contabilidad, podemos pegar campos vectoriales locales
garantizando orientabilidad-temporal en forma global, como lo muestra el siguiente
lema.
Lema 1.52:
Una variedad Lorentziana M es tiempo-orientable si y solo si existe un campo vectorial
tipo-tiempo X X(M ), X 6= 0.
Demostraci
on:
Si tal campo X existe entonces asignamos en cada punto p M un cono-tiempo
una partici
on diferenciable de la unidad subordinada al cubrimiento de M para toda
las vecindades. As cada conjunto supp f est
a contenido en alg
un miembro U () del
d
dt
y h , i = g( , ).
53
vectorial X =
f XU es tipo-tiempo.
31 .
A continuaci
on presentamos dos definiciones de espacio-tiempo, pero de diferentes autores, la primera es de Yvonne Choquet-Bruhat [CH-DW, p
ag.374]:
Definici
on 1.53:
Una variedad Lorentziana tiempo-orientable (M, g) es llamada espacio-tiempo.
y la segunda definicion viene dada por Stephen Hawking [HW-EL]:
. . . The mathematical model we shall use for space-time, i.e. the collection
of all events, is a pair (M, g) where M is a connected four-dimensional
Hausdorff C manifold and g is a Lorentz metric (i.e. a metric of signature
+2) en M. . . .
Adem
as trabajaremos con un tipo especial de curvas en nuestro espacio tiempo, esta
son:
Definici
on 1.54:
Sea O una regi
on abierta en el espacio-tiempo (M, g). Una congruencia de curvas
{i }iI en O es una familia de curvas tal que cada punto p O, pasa una curva
de de esta familia. Es decir, que en una vecindad O M no se intersectan.
54
diremos que v futuro dirigido y si este es positivo diremos que v pasado dirigido. Una
curva causal 32 es llamada futuro dirigida si es futuro dirigida en todos los puntos.
El concepto de curva causal
33
(1.63)
(1.64)
(1.65)
Analogamente,
(1.66)
(1.67)
La demostracion a de este u
ltimo resultado se puede consultar en [ONEI, p
ag.402,
Colorario 1] .
1.1.10.
Hiperbolicidad Global.
Existen espacios-tiempos que quisieramos excluir por que no tienen sentido fsico, por
ejemplo, es conocido que toda variedad Lorentziana compacta admite una curva cerrada
tipo-tiempo 34 . El punto de vista fsico de este teorema, es que alg
un observador podra
32
Tipo-tiempo, nula.
Tipo-tiempo, nula.
34
El lector puede consultar la demostraci
on [ONEI, p
ag.407] Lema 10.
33
55
viajar a su pasado. Una variedad Lorentziana la cual no admite curvas cerradas tipotiempo la llamaremos que satisface la condici
on cron
ologica. Sin embargo, a menudo
uno demanda mucho mas que esto. La condici
on de ser fuertemente causal dice que
para cada p M y dada cualquier vecindad U de p, existe una vecindad V U de p
tal que p < q, el conjunto J(p, q) = J + (p) J (q) es compacto. El conjunto J(p, q) es
causal de p a q tal que ninguna curva causal de p a q puede tener mayor longitud, es
decir, cualquier par de puntos que pueden ser unidos por una curva causal se pueden
unir por una geodesica
35
37
D (A) es definido an
alogamente y escribimos D(A) = D (A) D + (A).
Recordemos que una curva suave a tramos : [0, a) M es extendible si esta tiene
una extensi
on continua : [0, a] M. Una curva que no es extendible diremos que
es inextendible.
Definici
on 1.55:
Una (hiper)superficie de Cauchy S en M, es un subconjunto acronal cerrado tal
que
D(S) = M ;
35
La m
as larga.
Future Cauchy development
37
Past Cauchy development
36
56
I + (p)
yr
38
I (p)
S y S son difeomorfas.
La demostracion de la proposici
on 1.57 anterior puede ser consultada en [RING],
adem
as el lector interesado puede consultar [KleiNi, p
ag.19] para un resultado directamente relacionado con este teorema.
Existen resultados interesantes que caracterizan la hiperbolicidad global esto son:
Definici
on 1.58:
Sea (M, g) una variedad Lorentziana y sea f : M R una funci
on. Diremos que la
funci
on f es una funci
on tiempo si f es estrictamente creciente a lo largo de cualquier
curva causal.
La existencia de tal funci
on tiempo, es dada por el siguiente teorema:
38
39
Edge.
[WALD] Teorema 8.3.1.
57
Teorema 1.59:
Sea (M, g) una variedad Lorentziana, tiempo orientable, orientable y globalmente hiperb
olica. Entonces existe una funci
on continua : M R la cual es estrictamente
para curvas causales inextendibles futuro y pasado dirigidas. En particular, para cada
a R, 1 (a) es una hipersuperficie de Cauchy acausal.
Esto es como tener una funcion tiempo Universal o Reloj Universal .
Teorema 1.61:
Sea (M, g) una variedad Lorentziana, globalmente hiperb
olica, orientable, tiempo orientable, conexa y sea S una hipersuperficie de Cauchy acausal. Entonces existe una funci
on : M R tal que
S = 1 (0),
es suave y tiene gradiente tipo-tiempo pasado dirigido sobre M S,
es una funcion tiempo.
58
1.2.
Elementos de An
alisis y Ecuaciones Diferenciales
1.2.1.
Espacios de Sobolev
espacios de funciones:
(iv) C k ( U ) = u C k (U ) / D u es uniformemente continua en subconj. acotados de U ,
para todo || k.
40
Adem
as, definimos Cc (U ) como el espacio de las funciones : U R de clase C ,
con soporte compacto en U. Recordemos que el soporte de una funcion viene definido
como supp() = {x U/(x) 6= 0}.
Usualmente, una funci
on Cc (U ) se le llama funcion de prueba.
Pensemos en el siguiente ejemplo, supongamos que la ecuaci
on de Laplace
u = 0, en ,
(1.68)
en la frontera
u = 0, en
u = g, sobre ,
(1.69)
propiedades a la soluci
on u. De este an
alisis vemos que resulta necesario introducir un
nuevo concepto que requiera menos propiedades para nuestra soluci
on u.
40
A continuaci
on definimos el multi-ndice k.
59
41
es necesario introducir
el concepto de derivada debil. y los espacios de Sobolev [EVA], [BRE] y [RN-RG]. Para
clarificar ideas veamos un ejemplo:
Ejemplo 15:
Consideremos una funci
on u C 1 (U ). Entonces si Cc (U ), usando integraci
on por
partes obtenemos
Z
u(~x)xi (~x)d~x =
uxi (~x)(~x)d~x +
u(~x)(~x)dS,
(1.70)
(1.71)
donde D =
u D = (1)
U
(D u),
(1.72)
1
n
.
.
.
.
x1 1
xnn
Observaci
on 7:
Notemos que el lado izquierdo (1.72) tiene sentido si el lado izquierdo se tiene que
u L1loc (U ), donde
L1loc (U ) = u : U R / u L1 (V ) , para cada V U
(1.73)
U y V es compacto.
Definici
on 1.62:
u D = (1)
U
v, para todo Cc (U ).
(1.74)
EDPs.
60
Observaci
on 8:
La noci
on de derivada debil puede ser estudiada en el sentido de las distribuciones. El
lector interesado en esta teora puede consultar [RN-RG] y [FRIE].
Proposici
on 1.63:
La esima derivada parcial debil de u, si existe, es u
nica salvo en un conjunto de
medida cero.
Demostraci
on:
Supongamos que u posee esima derivada debil. Probemos que es u
nica c.t.p.
Sean v1 , v2 L1loc (U ) tales que
Z
u D = (1)
U
v1 = (1)
U
v2 , para todo Cc (U ),
Entonces
(1)
(1.75)
Ejemplo 16:
Sea n = 1, U = (0, 2) y
u(x) =
x, 0 < x 1;
(1.76)
v(x) =
1, 0 < x 1;
(1.77)
1, 1 x < 2;
y definamos
0, 1 x < 2.
u =
=
=
x +
+ |10 + |21
v.
61
Para los propositos de esta tesis es inevitable el introducir los espacios de Sobolev,
los cuales han probado ser esenciales a la hora de abordar ecuaciones diferenciales
parciales y probar teoremas de existencia y regularidad, [EVA, RN-RG]. Una motivaci
on
interesante es la que cita [EVA] en su libro
. . . We can symbolically write this as
A : X Y,
where the operator A encodes the structure of the partial differential equaequation (PDE), including possibly boundary conditions, etc., and X, Y are
spaces of functions. The great advantage is that once our PDE problem has
been suitably interpreted in this form, we can often employ the general and
elegant principles of functional analysis to study the solvability of various
equations involving A. We will later see that the really hard work is not so
much the invocation of functional analysis, but rather finding the right spaces X, Y and the right abstract operators A. . . .Sobolev spaces are designed
precisely to make all this work out properly, and so these are usually the
proper choices for X, Y. . . .
Para ello fijemos p [1, ] y consideremos k un entero no negativo.
Definici
on 1.64:
El espacio de Sobolev W k,p (U ), consiste de todas las funciones u : U R, u Lp (U ),
Lp (U ).
El espacio de Sobolev W k,p(U ) puede ser dotado de una norma dependiendo del valor
de p. Observemos que, para p [1, [,
||u||W k,p (U ) =
Si p = , entonces
X Z
||u||W k, (U ) =
||k
||k
|D u|p
1/p
(1.78)
(1.79)
Teorema 1.65:
Para cada k = 1 . . . y [1, ], el espacio de Sobolev W k,p (U ) es un espacio de
Banach.
62
Demostraci
on:
Primero veremos que (1.78) es una norma. Las propiedades ||u||W k,p (U ) > 0, ||u||W k,p (U ) =
0 si y solo si u = 0 y ||u||W k,p (U ) = ||||u||W k,p (U ) , para R son directas de las pro-
42
tenemos
X Z
||k
X Z
||k
||k
||k
||k
1/p
|D (u + v)|p
1/p
|D u + D v|p
1/p
||D u + D v||pLp (U )
1/p
||D u||pLp (U )
||k
1/p
||D v||pLp (U )
(1.80)
Para la demostraci
on el lector interesado puede consultar [EVA, p
ag.623].
63
En particular, para || = 0,
um u(0,...,0) , en Lp (U ).
(1.81)
Afirmaci
on: u W k,p (U ), D u = u .
En efecto, sea Cc (U ). Entonces
Z
u D = lm
m U
Z
||
um D = lm (1)
||
= (1)
D um ,
U
D u .
um u en W k,p(U ).
Observaci
on 9:
En el caso particular de p = 2, se tiene que W k,2 (U ) H k (U ) es un espacio de Hilbert.
Operador Extensi
on
La idea central del operador extension es poder definir el espacio de Sobolev W 1,p (U ) en
todo Rn , es decir, W 1,p (Rn ). Notemos que una primera aproximacion sera considerar
u W 1,p (U ) y extenderla por cero en Rn U, sin embargo, esto puede generar una
(1.82)
(1.83)
64
). Llamaremos a
3. Si u C 1 (U
u
:= Du,
(1.84)
43
(1.85)
Operador Traza
En general, se tiene que si u W 1,p (U ), entonces u no necesariamente es continua y
peor a
un est
a definida c.t.p. en U. Lo anterior implica que no podemos evaluar a u en
43
Operador extensi
on.
65
(1.86)
tal que
(i) T u = u|U , si u W k,p C(U ).
(ii) ||T u||Lp (U ) C||u||W 1,p (U ).
Llamaremos a T u la traza de u sobre U.
Definici
on 1.69:
Denotaremos por W0k,p(U ), la clausura de Cc (U ) en W k,p(U ). Adem
as, en el caso
p = 2, denotaremos por H0k (U ) = W0k,2 (U ).
El teorema siguiente da una caracterizaci
on a las funciones con traza nula.
Teorema 1.70:
Asumamos que U es acotado y con U de clase C 1 . Sea u W 1,p (U ). Entonces
u W01,p (U ) T u = 0 sobre U.
(1.87)
1.2.2.
Desigualdades de Sobolev.
A continuaci
on daremos un listado de las principales desigualdades en espacio de Sobolev; la demostracion de estos teoremas son clasicas y pueden ser consultadas en
[AUB, BRE, EVA].
Este tipo de desigualdades, o m
as bien, inyecciones de Sobolev nos proporcionan ciertas
regularidades para funciones en espacios de Sobolev dependiendo de la dimension del
espacio y 1 p +.
66
(1.88)
Definici
on 1.72:
Si 1 p < n, el exponente conjugado de Sobolev de p es
p :=
Observaci
on: Notar que
np
.
np
1 1
1
= , p > p.
p
p n
(1.89)
(1.90)
(1.91)
(1.92)
Demostraci
on:
Sea q [p, p ]. Entonces, podemos tomar
1
1
= +
, con 0 1.
q
p
p
(1.93)
67
44
45 ,
1 p 1 q
a + b , para todo a 0, b 0,
p
q
1
p
(1.94)
(1.95)
+ 1q . Obtenemos que
(1.96)
(1.97)
(1.98)
por lo tanto
Corolario 1.75:
Tenemos que
W 1,n (Rn ) Lq (Rn ), para todo q [n, [.
(1.99)
(1.100)
Adem
as para todo u W 1,p (Rn )
|u(x) u(y)| |x y| ||Du||Lp (Rn )
con x, y Rn c.t.p., = 1
n
p
(1.101)
Corolario 1.77:
44
Asuma que 1 s r t + y
1
= +
.
r
s
t
Suponga tambien u Ls (U ) Lt (U ). Entonces u Lr (U ), y
||u||Lr (U ) ||u||Ls (U ) ||u||1
Lt (U ) .
El lector interesado en la demostraci
on de esta desigualdad puede consultar [EVA, p
ag.624].
45
La demostraci
on de esta importante desigualdad se puede consultar en [EVA, p
ag.622].
68
1
p
m
n
(ii) Si
1
p
m
n
(iii) Si
1
p
m
n
1
q
1
p
m
n.
La demostracion de estos u
ltimos resultados pueden ser consultados en [BRE, p
ag.281283].
Observaci
on 11:
Notar que lo resultados anteriores fueron establecidos todos para Rn . Sin embargo, puede
ser escritos para U Rn con ciertas propiedades. Por ejemplo, tenemos
Teorema 1.78:
Sea U un subconjunto abierto acotado de Rn con frontera U de clase C 1 . Sea 1 p < n
(1.102)
||u||Lq (U ) C||Du||Lp (U ) ,
(1.103)
(1.104)
Observaci
on 12:
La desigualdad anterior se conoce como la Desigualdad de Poincare. Esta desigualdad
es de gran importancia a la hora de estudiar existencia, unicidad y regularidad de
soluciones para muchas ecuaciones diferenciales parciales. Adem
as, observamos que
gracias a esta estimaci
on en W01,p (U ) la norma ||Du||Lp (U ) es equivalente a ||u||W 1,p (U )
si U es acotado. La demostraci
on puede ser consultada en [EVA, p
ag.265].
Definici
on 1.80:
69
46
en F.
(1.105)
xU
Si m < k np , entonces W k,p(U ) C m U .
46
70
1.2.3.
A continuaci
on presentamos los elementos necesarios para entender la teora de espacios
de Sobolev en variedades Riemannianas; estos resultados son totalmente cubiertos por
[AUB] y [HEB].
Sea (M, g) una variedad Riemanniana suave. Para un n
umero k entero, y u : M R
Z
= u C (M ) / j = 0, . . . , k,
(1.106)
| u| dvol(g) < .
(1.107)
Observaci
on 13:
Cuando M es compacto, se tiene que Cpk (M ) = C (M ), para cualquier entero k y
cualquier p 1.
Para u Cpk (M ), definimos tambien
||u||W k,p (M ) =
k Z
X
j=0
1/p
.
| u| dvol(g)
j
(1.108)
71
norma equivalente
||u||H k (M )
v
u k Z
uX
=t
j=0
|j u|2 dvol(g).
(1.109)
k Z
X
j=0
hj u, j vidvol(g),
(1.110)
donde, en la expresi
on anterior, h, i es el producto escalar de campos tensoriales co-
Teoremas de inscrustaci
on y estimaci
on
Al igual que en el caso de espacios de Sobolev en Rn , tenemos teoremas de inscrustaci
on
y desigualdades importantes en variedades Riemannianas, a continuaci
on presentaremos
solo los resultados principales para este trabajo.
Teorema 1.87 (Incrustaci
on de Sobolev, [SOB]):
Dado p, q dos n
umeros reales con 1 q < p, y dado k, m dos enteros tales que 0 m <
k, si
1
p
1
q
km
n ,
Observaciones 1:
a
La inclusi
on anterior es continua, es decir, existe una constante C tal que para
cualquier u W k,q (Rn ), se tiene ||u||W m,p (Rn ) C ||u||W k,q (Rn ) .
Este teorema fue demostrado por Sobolev [SOB], es m
as este teorema es v
alido
para variedades compactas.
1
p
1
q
Adem
as, tenemos el siguiente teorema que relaciona W k,p (M ) con C m (M ). Sea (M, g)
72
m
X
j=0
m
ax |(j u)(x)|.
xM
(1.111)
Entonces:
Teorema 1.89 (Segundo Teorema de incrustacion de Sobolev, [HEB]):
Sea (M, g) una variedad Riemanniana compacta suave ndimensional, q 1 real, y
m < k dos enteros. Si
1
q
<
(km)
n ,
entonces W k,q (M ) C m (M ).
(1.112)
siempre que p > n. Donde, ||u||L (M ) = supxM |u(x)|, para funciones continuas, y
1/p
R
.
||f ||Lp (M ) = M |f |p dvol(g)
Observaci
on 14:
Notar que los teoremas antes enunciados 1.88, 1.89 y 1.90, necesitan que la variedad
Riemannian suave M sea compacta. Para M no compacta, el lector puede consultar
[HEB, p
ag.47] en donde se prueban algunos teoremas an
alogos en el caso que M es una
variedad completa.
1.2.4.
Teorema de Arzela-Ascoli
Un criterio frecuente usado para el estudio de compacidad en espacios de funciones es
el teorema de Arzela-Ascoli, el cual tiene que ver con familias equicontinuas.
Definici
on 1.91:
Una familia F de funciones definidas en un espacio metrico X con metrica d es llamada
(1.113)
Teorema 1.92:
Sea X un espacio metrico compacto. Un subconjunto acotado y equicontinuo K del
espacio C(X) es compacto.
El lector interesado en la demostracion puede consultar [BRE, p
ag.111].
Alternativa de Fredholm
Sea E y F dos espacios vectoriales normados, denotaremos por L(E, F ) al espacio de
los operadores lineales continuos (acotados) de E en F equipado con la norma
||T || = sup ||T x|| .
(1.114)
xE
||x||1
47 .
En la topologa cl
asica.
74
Observaci
on 15:
La alternativa de Fredholm hace referencia a la soluci
on de la ecuaci
on u T u = f.
Dice que
Principio del M
aximo
El principio del m
aximo, en sus varias formas, es una de las herramientas m
as usadas
para el estudio de ecuaciones diferenciales elpticas. Tenemos que es el laplaciano en
una variedad Riemanniana,
48 ,
satisface
+ f 0
(1.115)
+ f 0
(1.116)
entonces (x) 0.
Si satisface
entonces (x) 0.
48
75
Captulo 2
76
2.1.
Formulaci
on de valores iniciales para partculas y campos
2.1.1.
Formulaci
on de valores iniciales para partculas
(2.1)
en mec
anica de partculas, no-relativista ordinaria relaciona la segunda derivada temporal de la posici
on espacial de una partcula ~a con la fuerza, la cual, usualmente es
una funci
on conocida que depende de la posici
on y velocidad, digamos q(t) y q(t),
de
las partculas del sistema.
As, para un sistema de partculas sobre el que act
uan posibles fuerzas dependiendo de
la posici
on y velocidad pero no de derivadas mayores de la posici
on de las partculas,
la ley de la mec
anica toma la forma:
dqn
dq1
d2 qi
= Fi q1 , . . . , qn ,
,...,
,
dt2
dt
dt
(2.2)
donde i = 1, . . . , n, y el n
umero n de funciones posici
on es llamado el grado de libertad
del sistema. La ecuaci
on (2.2) es un sistema de n ecuaciones diferenciales ordinarias de
segundo orden para las n cantidades q1 (t), . . . , qn (t).
De la teora de ecuaciones diferenciales ordinarias [TAY-I], sabemos que dados valores
iniciales
q1 (t0 ) = q10 ,
q2 (t0 ) = q20 ,
..
.
qn (t0 ) = qn0 ,
dq1
= q11 ,
dt t=t0
dq2
= q21 ,
dt
t=t0
..
.
dqn
= qn1 ,
dt t=t0
existe una u
nica soluci
on de (2.2) en un intervalo finito que contiene t0 con estos valores
iniciales. As, la mec
anica de partculas posee una formulaci
on de valores iniciales.
Adem
as, en un tiempo fijo t las funciones posici
on q1 (t), . . . , qn (t) son funciones continuas de las posiciones iniciales y velocidades iniciales de las partculas, y por lo tanto,
77
esta formulaci
on de valores iniciales esta bien planteada seg
un lo explicado al comienzo
de este captulo.
Observaci
on 16:
Una formulaci
on m
as precisa de los comentarios anteriores sera por medio del siguiente
teorema: Consideremos la ecuaci
on diferencial ordinaria
dy
= F (t, y)
dt
y(t0 ) = y0 ,
(2.3)
Entonces
Teorema 2.1 (Teorema de Picard):
Sea y0 U, un subconjunto abierto de Rn , I R en un intervalo conteniendo t0 .
Suponga que F es continua en I O y satisface la condici
on de Lipschitz en y con
(2.4)
La demostraci
on se puede encontrar [TAY-I, p
ag.9]. La aplicaci
on de este resultado a
nuestro caso es f
acil:
Si tenemos un sistema de ecuaciones diferenciales ordinarias de orden n,
dn y
=f
dtn
dy n1
t, y, y , . . . ,
dt
(2.5)
dy j
,
dt
(2.6)
(2.7)
2.1.2.
Formulaci
on de valores iniciales para campos: Ecuaci
on de KleinGordon
A continuaci
on mostraremos la formulaci
on de valores iniciales aplicada a teora de
campos. Consideremos la ecuaci
on de campo masivo Klein-Gordon, para un campo
escalar propagandose en el espacio-tiempo de Minkowski, que satisface
i i m2 = 0.
(2.8)
(2.9)
Esta u
ltima ecuaci
on la podemos escribir a traves del operador D Alambertiano
La ecuaci
on (2.9) es totalmente distinta a la ecuaci
on (2.2). La ecuaci
on (2.2) es un
sistema de segundo orden de ecuaciones diferenciales ordinarias, mientras que la ecuacion (2.9) es una ecuaci
on diferencial parcial de segundo orden. Por otra parte, existe
una analoga entre (2.2) y (2.9): ambas calculan la segunda derivada temporal de cantidades desconocidas, dando el valor y la primera derivada temporal de la cantidad
desconocida.
La analoga entre la ecuaci
on (2.2) y (2.9) sugiere que la teora de Klein-Gordon debera
tener la siguiente formulaci
on de valores iniciales: especificamos los valores de y /t
en la hipersuperficie espacial 0 de tiempo constante t = t0 . Entonces, debera existir
una u
nica soluci
on de la ecuaci
on (2.9) teniendo este dato inicial y la soluci
on debera
depender de manera continua de estas condiciones iniciales.
Observamos, siguiendo [WALD], que podemos aplicar el siguiente razonamiento general:
1
Operador de onda.
79
j u
= f (t, x),
x tj
j=0 ||mj
m1 u(t, x)
= gm1 (x),
u(t0 , x) = g0 (x), . . . ,
t
t=t0
Aj (t, x)
(2.10)
donde Aj (t, x) y f (t, x) son funciones analticas y reales en una vencindad de (t0 , x0 )
en Rn+1 y g0 , . . . , gm1 son funciones analticas reales en una vecindad de x0 en Rn ,
para (2.10) se tiene la siguiente proposici
on [TAY-I, p.502]:
Proposici
on 2.2:
Dada la hip
otesis de analiticidad real en (2.10), existe una unica soluci
on real analtica
u(t, x) en una vecindad de (t0 , x0 ) en R Rn . El tama
no en el cual u(x, t) es definida
Aplicamos el resultado anterior para una clase de ecuaciones que contiene nuestra
ecuaci
on (2.9)
,
= Fi t, x , j ,
,
,
,
t2
t x tx x x
(2.11)
= gi (x ).
(2.11) tal que i (t0 , x ) = fi (x ) y
t
t=t0
3 ,
80
4 ,
se sigue que
una regi
on abierta arbitrariamente peque
na U de la superficie inicial 0 , alteramos
el dato inicial sobre toda la hipersuperficie 0 . As, para analizar el problema de la
dependencia continua de la soluci
on en las condiciones iniciales, debemos considerar
condiciones iniciales no-analticas.
A continuaci
on, veremos que la formulaci
on de valores iniciales para la ecuaci
on de
campo m
asivo Klein-Gordon en el espacio-tiempo de Minkowski est
a bien planteada en
el sentido de Hadamard.
Para analizar m
as cuidadosamente la ecuaci
on de Klein-Gordon, primero definamos
una topologa del tipo uniforme en el espacio de condiciones iniciales.
Sea en t = t0 , la superficie de datos iniciales 0 , inducimos la siguiente norma tipo
||f g||0 := sup |f (x) g(x)| +
x0
||k
|| (f g)(x)
sup
,
x
x0
(2.12)
diciendo que dos funciones estan cerca en 0 si y solo si las funciones est
an cerca
y sus derivadas hasta orden k tambien. Podemos considerar que las bolas abiertas en
esta norma son una base para la topologa del espacio de condiciones iniciales; para
profundizar y generalizar estas ideas ver [HW-EL, p. 198].
Ahora, sea una soluci
on de la ecuaci
on (2.8); definimos el tensor de energa momentum
de por
1
Tij = i j ij (k k + m2 2 ).
2
(2.13)
(2.14)
Y por lo tanto es u
nicamente determinada por sus valores en una vecindad arbitrariamente peque
na
de x
.
5
Asumiendo siempre analiticidad de las condiciones iniciales.
81
Demostraci
on:
En efecto, como estamos trabajando en el espacio tiempo de Minkowski, tenemos que
i := i . Luego
1
k
2 2
Tij = Tij = i j ij (k + m ) ,
2
1
= ( i i )j + i ( i j ) j (k k ) m2 j .
2
i
Lema 2.5:
Si i es un campo vectorial Killing
conservada simetrica Tij
7 ,
8 ,
i (Tij j ) = 0.
(2.15)
i (Tij j ) = Tij i j .
(2.16)
Demostraci
on:
Puesto que i Tij = 0, tenemos que
i j + j i = 0,
Tij j i = 0.
Tij i j + Tij j i = 0,
Observaci
on 17:
Notar que el Lema anterior es v
alida para cualquier tensor simetrico que se conserve y
6
On shell.
Ver ecuaci
on (1.32).
8
Esto es, Tij = Tji y i Tij = 0.
7
82
no s
olo para nuestro tensor de energa momentum (2.13).
Sea un campo vecotrial Killing tipo-tiempo ortogonal a la hipersuperficie 0 en t = t0 ;
por el lemma anterior tenemos que
i (Tij j ) = 0.
(2.17)
Integramos la ecuaci
on (2.15) y aplicamos el teorema de Stokes 1.45:
Figura 2.1: Esquema del espacio tiempo en donde se muestra explcitamente la regi
on
K donde se integrar
a (2.15).
0=
i (Tij j ) dV =
Tij j dS
Z
ZK
Tij j i d
=
S1
Tij j i d +
S0
Tij j i d,
(2.18)
S2
j i
Tij d1 +
S1
S2
j i
Tij dS =
Tij j i d0 ,
(2.19)
S0
donde i es un vector futuro dirigido normal a S2 y dS, d son los elementos de volu83
j i
Tij d1
S1
Tij j i d0 ,
(2.20)
S0
S1
2
~ 2 + m2 2
+ ||
d1
S0
2
~ 2 + m2 2 d0 ,
+ ||
(2.21)
10
= 0 en todo
D + (S
= 0 en S1
0 ).
11
en el espacio de Sobolev
Asumiendo que m 6= 0.
Ya que 1 es arbitrario.
11
Ver (1.78).
10
84
H k (S0 ),
12
||||||H k (S0 ) =
X Z
||k
(2.22)
1/2
|D |2 dvol(S0 )
(2.23)
||||H k (S0 ) =
X Z
||k
1/2
| |2 dvol(S0 )
(2.24)
13 ,
2 2 2
2
+ 2 + 2 m
t x2
y
z
2
2
+ 2
+ 2
m2
x2 t
y
t
z
t
t
2 2 2
+ 2 + 2 m2 ,
x2
y
z
es decir, = /t es soluci
on de la ecuaci
on (2.9), podemos hacer esto para
/x, /y, /z, 2 /xy, 2 /xz, etc. Ademas, usando (2.9) en (2.21),
podemos expresar todos los terminos en S0 conteniendo derivadas temporales de
segundo orden en terminos del dato inicial , /t y sus derivadas espaciales
en S0 . Como se explica en [WALD, p
ag.248], podemos generalizar la desigualdad
(2.21) para hasta derivadas de orden k de la siguiente forma:
||||H k (S1 ) C1,k ||||||H k (S0 ) + C2,k |||/t|||H k1 (S0 ) .
(2.25)
Integrando la ecuaci
on (2.25) desde t0 a t1 , el valor m
aximo de t para el cual
12
13
Ver definici
on 1.64.
Recordar que x representa una de las coordenadas, es decir, x es una de (t, x, y, z).
85
D + (S0 ) t 6= , obtenemos
e1,k |||||| k
e
||||H k (D+ (S0 )) C
H (S0 ) + C2,k |||/t|||H k1 (S0 ) .
(2.26)
xD + (S0 )
(2.27)
0)
b1 ||||||H 3 (S ) + C
b2 |||/t|||H 2 (S ) .
|| C
0
0
(2.28)
(2.29)
Observaci
on 18:
De manera an
aloga, se pueden obtener el mismo tipo de desigualdades para x
D (S0 ).
14
con
norma (2.23)
o norma (2.12) con k = 3 + m, y SOL es el espacio de soluciones
de la ecuaci
on (2.9) en D(S0 ) con norma tipo (2.12) con k = m.
Tenemos que el operador es lineal y acotado.
En efecto, es facil ver que este operador es lineal. Por la desigualdad (2.29), se
tiene que
||(|t=t0 , /t|t=t0 )||S0 C||(|t=t0 , /t|t=t0 )||SOL ,
(2.30)
O en todo 0 .
86
el sentido cl
asico.
Hasta el momento, hemos probado unicidad y que una funcion soluci
on de (2.9)
depende continuamente de los datos iniciales. As, solo falta probar que realmente
existe una soluci
on de la ecuaci
on de Klein-Gordon de clase C para que el problema
este bien planteado.
(iii) Consideremos un dato inicial suave arbitrario (, /t) en 0 . Tomamos la sum
cesi
on {(m
ticos en 0 tal que las
i |t=t0 , i /t)|t=t0 }iN de datos iniciales anal
15
con-
t t=t0 i t t=t0
(2.31)
(2.32)
16
(2.29) tenemos
sup
xD + (S
0)
m
n
| n m
i | C 1,n ||| i |t=t0 |t=t0 |||H 3+n (S0 )
+ C 2,n |||m
i /t|t=t0 /t|t=t0 |||H 2+n (S0 ) .
(2.33)
Por (2.31) y (2.32) el lado derecho de (2.33) tiende a cero si i , y por tanto
0)
m
m
m
b
b
|m
i | C1 ||| i |t=t0 |t=t0 |||H 3 (S0 ) +C2 |||i /t|t=t0 /t|t=t0 |||H 2 (S0 ) ,
(2.34)
es decir, la sucesion
m
:=
lmi m
i .
{m
i }iN
satisface la ecuaci
on de Klein-Gordon (2.9):
15
16
87
(2.35)
de est
au
ltima desigualdad se tiene que ||k k m m2 m ||S0 0 pues los primeros dos terminos de (2.35) convergen uniformemente en S0 y el tercer termino
converge pues m
on de la ecuaci
on (2.8), an
alogamente para n m . As,
i es soluci
para todo m 2, obtenemos una soluci
on C n en D(S0 ).
D(S0 ). As, m = m = , m, m 2.
La linealidad de la ecuaci
on fue usada en gran parte de la demostraci
on hecho
que (2.8) sea un tipo de ecuaci
on de onda fue esencial para la construcci
on del
tensor de energa de momentum Tij con condici
on de energa dominante. Para
los detalles ver apendice A.
(2.36)
funciones suaves, y gij es una metrica suave Lorentziana tal que (M, g) es globalmente
hiperb
olico. Recordar que una ecuaci
on diferencial parcial de segundo orden es llamada
hiperb
olica si y solo si puede ser expresada de la forma (2.36).
Para este tipo de ecuaciones, tenemos el siguiente teorema:
Teorema 2.6:
Sea (M, g) un espacio tiempo globalmente hiperb
olico
riante en M
17
18
18 .
17
O una regi
on globalmente hiperb
olica en un espacio tiempo arbitrario.
La conexi
on de Levi-Civita asociada a la metrica gij .
88
X
X
(Akl )i i l +
Bkl l + Ck = 0, para todo k = 1, . . . , n,
l
(2.37)
una u
nica soluci
on de la ecuaci
on (2.37) en todo M. Adem
as, las soluciones dependen
(2.38)
19 ,
La ecuaci
on (2.38) difiere de (2.37), ya que g ij ahora depende de variables desconocidad y sus primeras derivadas, y Fl ahora puede tener dependencia no-lineal en estas
variables.
Para sistemas de la forma (2.38), tenemos el siguiente resultado de Leray [LER, RING]:
Teorema 2.7:
Sea (0 )1 , . . . , (0 )n una soluci
on del sistema casilineal (2.38) en una variedad M y
sea (g0 )ij = gij (x, (0 )k , m (0 )m ). Suponga (M, (g0 )ij ) es globalmente hiperb
olico (o,
alternativamente, considere una regi
on globalmente hiperb
olica de este espacio tiempo).
19
La conexi
on de Levi-Civita asociada a la metrica gij .
89
Sea una superficie de Cauchy tipo-espacio suave para (M, (g0 )ij ). Entonces, la formulaci
on de valores iniciales de la ecuaci
on (2.38) esta bien planteada para en el siguiente sentido: Para un dato inicial en suficientemente cercano a (0 )1 | , . . . , (0 )n |
2.2.
Formulaci
on de valores iniciales en Relatividad General
(2.39)
En esta secci
on discutiremos el trabajo de Y.Choquet-Bruhat en [CHO-II]. El trabajo
esta basado en la reduccion de las ecuaciones de Einstein a una ecuaci
on de ondas
similar a las que aparecen en teoremas de la secci
on anterior. Para lograr esta reduccion tenemos que introducir un tipo especial de coordenadas llamadas coordenadas
arm
onicas.
Antes de comenzar a analizar nuestro problema de valores iniciales para la Relatividad
General, observemos lo siguiente: dado el espacio tiempo (M, g) con g soluci
on de las
ecuaciones de Einstein (2.39), donde g viene dada por
g = g00 dt dt + g0i dt dxi + gij dxi dxj ,
o en notaci
on matricial
g
20 g21 g22 g23
g30 g31 g31 g32
(2.40)
(2.41)
tes gij , con i, j {1, 2, 3}, de la metrica son las que contienen puramente informaci
on
ciones diferenciales parciales de segundo orden acopladas para las componentes gij .
Ahora, debido a las simetrias de la metrica, s
olo tenemos diez ecuaciones diferenciales parciales de segundo orden acopladas, las cuales las podemos ver en tres grupos,
temporal, temporal y espacial y finalmente puramente espacial. La idea de formular
un problema de Cauchy para esta teora es altamente necesaria pues nos permitira
determinar existencia y unicidad de soluciones para (2.39) la cual es como vemos un
sistema de ecuaciones derivadas parciales bastante complicado.
2.2.1.
Descomposici
on del espacio tiempo
una funci
on tiempo global , est
a es una funcion diferenciable con la propiedad que su
gradiente es pasado dirigido y tipo-tiempo en todas partes. A continuaci
on presentamos
una descomposici
on totalmente constructiva del espacio tiempo.
Sea (M, g) un espacio-tiempo, y sea : (, ) M una curva perteneciente a una
congruencia de curvas tipo-tiempo. Consideremos una foliacion de M por superficies
tipo-espacio las cuales son transversales a la congruencia. Con el fin de construir tal
foliacion, consideremos el espacio de todas las incrustaciones tipo-espacio de Q a (M, g),
en donde Q es una variedad compacta20 .
Denotaremos este espacio por Emb(Q, M, g). Rigurosamente tenemos
Emb(Q, M, g) = {i C (Q, M ) ; i Homeo(Q, M ) , T i es inyectivo, i(Q)es tipo-espacio}.
(2.42)
El espacio tangente a una funcion i Emb(Q, M, g) puede ser pensado como el espacio
de flujos infinitesimales entre i(Q) y una incrustacion cercana i(Q ). En otras palabras,
idetificamos Ti Emb(Q, M, g) con el espacio de campos vectoriales en M a lo largo de
i(Q). Podemos descomponer un campo vectorial en Ti Emb(Q, M, g) como una parte
20
dim(Q) = 3.
91
(2.43)
(2.44)
pongamos que tenemos una curva en Emb(Q, M, g), esto es, una familia uniparametrica
(2.45)
(2.46)
g = N h, y por lo tanto
(2.47)
2.2.2.
(2.48)
donde vect(n) representa un subespacio 1-dimensional de Tp (M ) generado por un campo vectorial n ortogonal a .
Definimos el proyector ortogonal sobre , como el operador ~h asociado a la descomposici
on (2.48) de acuerdo a
~h : Tp (M ) Tp ()
v 7 v + g(n, v) n.
(2.49)
Observaci
on 20:
Vemos que ~h(n) = n + g(n, n) n = 0 y para todo vector v Tp (), ~h(v) = v.
De (2.49), tenemos que las componentes de ~h con respecto a una base (/xi ) de Tp (M )
son
hij = ji + ni nj .
(2.50)
93
En efecto,
~h(v) = v + g(n, v)n
j
i
k
=v
+g v
,n
nj j
j
i
k
x
x
x
x
= v j j + gik v i nk nj j
x
x
= (v j + v i ni nj ) j
x
j i
i
j
= (i v + v ni n ) j
x
= (ij + ni nj )v j j
x
j
j
= (i + ni n )dxi (v) j
x
~h : Tp (M ) R
M
v 7 (~h(v)).
(2.51)
(2.52)
(2.53)
94
perficie t . De la secci
on anterior, podemos descomponer ti en dos partes, una normal
y otra tangencial en t definiendo la funcion lapso N y el vector shift N i , con respecto
a ti por :
N = ti ni = (ni i )1 ,
Ni = hij tj .
(2.54)
(2.55)
Observaci
on 21:
Reducimos la ecuaci
on (2.54) como sigue: como ni es un campo vectorial unitario normal a , tenemos que
i
||i ||
ti i
n i ti =
||i ||
1
N =
,
||i ||
ni =
o equivalentemente
ni = N i ,
(2.56)
multiplicamos la ecuaci
on (2.56) por el vector ni y ocupamos el hecho que ni ni = 1,
95
de donde obtenemos
1 = N ni i ,
i
N = (n i )
(2.57)
(2.58)
22
n X (v) = n v n
1
= v (n n)
2
1
= v (ni ni )
2
= 0.
Lema 2.8:
El operador de Weingarten X es un operador h-autoadjunto.
El lector interesado en la demostracion puede consultar [ONEI, pag. 107].
Definici
on 2.9:
Definimos el tensor de curvatura extrnsica de como la siguiente forma bilineal
simetrica:
K : Tp Tp R
(u, v) 7 g(u, X (v)) = u X (v).
Observaci
on 23:
22
97
(2.59)
Observaci
on 24:
Como i i = 1, entonces i es ortogonal a j i , esto es, i j i = 0, luego tenemos
(2.60)
entonces
L gij = k k gij + gkj i k + gik j k ,
= 2i j .
(2.61)
1
Kij = L gij .
2
(2.62)
1
Ln hij .
2
(2.63)
98
La u
ltima igualdad no es directa, por lo que presentamos el calculo:
Ln hij = nk k gij + gkj i nk + gik j nk ,
= nk ni k nj + nk nj k ni + gkj i nk + nk nj i nk + gik j nk + ni nk j nk ,
(2.64)
Ln hij = 2i nj = 2hi .k k nj .
(2.65)
(3) R
l
ijk .
el tensor de
curvatura en .
Sea v i un vector (espacio-tiempo) en un punto p . Es posible descomponer v i sobre
componentes tangenciales y perpendiculares a via
23 :
v i = v ni + vki ,
(2.66)
(2.67)
100
24
i1 ...ik
.j1 ...jl = hi1 .m1 . . . hik .mk hj1 .r1 . . . hjl .rl T
m1 ...mk
.r1 ...rl .
(2.68)
i1 ...ik .
j1 ...jl
hr
.m
mT
i1 ...ik .
j1 ...jl ,
i1 ...ik .
j1 ...jl
i1 ...ik .
j1 ...jl
est
a bien definido ya que para este tensor, no toma derivadas en
i1 ...ik
.j1 ...jl = hi1 .r1 . . . hik .rk hj1 .s1 . . . hjl .sl hm .q q T
r1 ...rk
.s1 ...sl ,
(2.69)
Esto es, T
i1 ...ik
(2.70)
on de T M . . . T M T M . . . T M .
.j1 ...jl es una secci
|
{z
} |
{z
}
kveces
lveces
101
Observaci
on 27:
Existe otra relaci
on entre la derivada covariante en y la derivada covariante en M,
esta viene dada por:
Du v = u v + K(u, v)n, para todo (u, v) Tp () Tp (),
(2.71)
= ui hi l hr k l v r
= ul (r k + nk nr )l v r
= ul r k l v r + ul nk nr l v r
= ul l v k + nk ul nr l v r ,
(2.72)
Esta ecuaci
on proporciona otra interpretaci
on del tensor de curvatura extrnseca: K
mide la desviaci
on de la derivada de cualquier vector de a lo largo de otro vector de
, tomado con la conexi
on intrnseca D de de la derivada tomada con la conexi
on en
el espacio tiempo . Note que la ecuaci
on (2.71) implica que esta desviaci
on es siempre
en la direcci
on del vector normal n.
Para ver lo antes mencionado de mejor manera, consideremos una curva geodesica
en (, h) con vector tangente u. Entonces Du u = 0 y la ecuaci
on (2.71) conduce a
u u = K(u, v)n. Si fuera una geodesica de (M, g), uno deberia tener u u = u,
para alg
un par
ametro no-afn . Ya que u es nunca parelelo a n, concluimos de (2.72)
Definici
on 2.11:
Sea (M, g) una variedad Lorentziana tiempo orientable, sea una hipersuperficie tipoespacio en (M, g), sea i : M una inscrustaci
on y sea N un campo vectorial
tipo-tiempo unitario futuro-dirigido tal que para cada p , g(Np , i v) = 0, para cada
(2.73)
26
(3)
25
26
l.
(3) R
ijk
de la hipersuper-
en , tenemos:
Rijk .l ul = Di Dj uk Dj Di uk .
(2.74)
O covector.
[CH-DW].
103
Adem
as, de la ecuaci
on (2.69) se tiene:
Di Dj uk = Di (hj .r hk .s r us )
= hi .l hj .m hk .q l (hm .r hq .s r us )
= hi .l hj .m hk .q (l hm .r hq .s r us + hm .r l hq .s r us + hm .r hq .s l r us ).
(2.75)
(2.76)
reemplazando esta u
ltima ecuaci
on en (2.75), tenemos
Di Dj uk = hi .l hj .m hk .q (nr hq .s r us l nm + nm hq .s l nr r us + hm .r ns r us l nq
+ hm .r nq r us l ns + hm .r hq .s l r us ).
(2.77)
(2.78)
Di Dj uk = hi .l hj .m hk .q hq .s nr r us l nm + hi .l hj .m hk .q hm .r ns r us l nq
+ hi .l hj .m hk .q hm .r hq .s l r us ,
(2.79)
recordando que
hi .j hk .i = hk .j ,
(2.80)
(2.81)
Por lo dem
as, de (2.63) se tiene que
Kij = hi k hj r k ur ,
(2.82)
104
(2.83)
(2.84)
=0
entonces
hrj ns r us = hrj r ns us
= hrj r gls nl us
= hrj gls r nl us
= Kj s us .
(2.85)
(2.86)
(2.87)
Ocupando la simetra del tensor de curvatura extrnseca, esto es, Kij = Kji , y la
identidad de Ricci
(3)
27
obtenemos
27
(2.88)
Ahora en M.
105
(2.89)
La ecuaci
on (2.89), se conoce como la relaci
on de Gauss.
De manera an
aloga, usando la identidad de Ricci (2.74), ahora escogiendo un vector
normal n en vez de ui , se tiene
Di K i j Dj K i i = Rkl nl hk j ,
(2.90)
28 .
En efecto, de las
(2.91)
1
Rij gij R = 0,
2
(2.92)
si proyectamos esta u
ltima ecuaci
on una vez sobre y una vez a lo largo del vector
normal n, obtenemos
0 = hi .j Rjk nk = Dj K j i Di K j j ,
(2.93)
(2.94)
29 .
Las ecuaciones (2.93) y (2.94) son las ecuaciones de constrains para los datos iniciales
en Relatividad General.
Proposici
on 2.12:
Sea (M, g) una variedad Lorentziana tiempo orientable, sea una hipersuperficie tipoespacio con metrica inducida h, sea N como en la definici
on 2.11 y K la segunda forma
28
29
106
fundamental de M. Entonces:
1
G(Np , Np ) = ( (3) R Kij K ij + (Ki i )2 )(p),
2
G(Np , v) = (D j Kij Di Kj j )2 )v i ,
donde G es el tensor de Einstein de (M, g), p , v Tp , D es la conexi
on de
Levi-Civita y
(3) R
Propagaci
on de los Constraints.
Veremos que como consecuencia de la identidad de Bianchi
i Gij = 0,
(2.95)
then follows from the theory of first order partial differential equations that
if these components vanish initially, they must vanish everywhere ...
(2.96)
En efecto,
Gij = 0 Rij
1
1
gij R = 0 g ij Rij g ij gij R = 0 R = 0 g ij Rij = 0 Rij = 0.
2
2
107
son satisfechas.
Podemos expresar todas las componentes de 0 G0 i en terminos de G , donde ,
{0, 1, 2, 3}. Para ver esto, notemos que si contraemos el tensor de Einstein
tenemos
1
G = R g R,
2
(2.97)
1
G = g G = g R g g g R ,
2
(2.98)
luego
1
G0 0 = g0 R0 g0 g0 g R ,
2
1
0
0
G = g R 0 g R .
2
(2.99)
(2.100)
De la condici
on (2.96), se tiene
1
G0 0 = g00 R00 ,
2
G0 i = g 00 R0i .
Entonces:
1
Gi j = gi0 R0j ji (g00 R00 + 2g0l R0l ).
2
(2.101)
(2.102)
(2.103)
0 = 0 G0 j + i Gi j + G G
0 G0 j = i Gi j G + G .
(2.104)
Las ecuaciones (2.104) son un sistema lineal homogeneo de primer orden de ecuaciones
diferenciales parciales para G0 j
31 .
31
Adem
as, el lado derecho de la ecuaci
on (2.104) no contiene derivadas temporales de orden superior
2
, por lo que tampoco el lado izquierdo, y por tanto Gi 0 no contiene derivadas temporales de orden
t2
.
superior a
t
108
Los constraints son importante para relatividad numerica. El lector interesado puede
consultar [GOUR, Cap. 10].
2.2.3.
Existencia y Unicidad.
32 .
Nuestra meta es escribir las ecuaciones de Einstein (2.39) de la forma (2.38), entonces
podemos usar, el teorema 2.7 para probar existencia local de una soluci
on con las
propiedades deseadas, o podemos aplicar el corolario 9.16 de [RING, p.89].
Recordar que las ecuaciones de Einstein en el vaco son un sistema de diez ecuaciones diferenciales parciales de segundo orden para las componentes de la metrica gij
desconocida. Adem
as, tienen una forma casilineal, esto es, son lineales en la segunda
derivada de la metrica.
32
109
(2.105)
(2.106)
(2.107)
S
olo necesitamos la parte principal del tensor de Einstein para hacer nuestro an
alisis
33 ,
caso son de segundo orden, denotaremos por . . . a cualquier termino que no sea de
segundo orden, entonces:
kij
kik
+ ...
j
xk x
gij
gil
gil
gik
1
1
kl glj
kl glk
+
+ k
g
g
+ ...
=
2 xk
xi
xj
xl
2 xj
xi
x
xl
2
glj
2 gil
2 gij
2 glk
2 gil
2 gik
1 kl
+
k l j i j k + j l + ...
= g
2
xk xi xk xj
x x
x x
x x
x x
2
2
2
2
glj
gij
1 kl
gkl
gil
gkl
= g
+
i k j k + Qij gkl , m
(2.108)
2
xk xl xi xj
x x
x x
x
Rij =
gkl
con i, j = 0, 1, 2, 3, y donde Qij gkl , m son funciones no-lineales C de las comx
ponentes de la metrica gij y sus derivadas espaciales de primer orden. Tomando traza
a (2.108)
34 ,
tenemos
2 glj
2 gkl
2 gil
gkl
1 kl 2 gij
g
+
i k j k
+ Qij gkl , m
R = g Rij = g
2
xk xl xi xj
x x
x x
x
2
2
gij
gij
e gkl , gkl .
= gik gjl k l gij gkl k l + Q
(2.109)
x x
x x
xm
ij
ij
g
kl
eij gkl ,
son funciones no-lineales C de las componentes de la metrica
donde Q
xm
gij y sus derivadas espaciales de primer orden.
33
34
110
As, tenemos
1
Gij = Rij gij R
2
2 glj
2 gij
2 gkl
2 gil
1 kl
+ i j i k j k
= g
2
xk xl
x x
x x
x x
2
2
gij
gij
1
gkl
e gkl , gkl .
gij gik g jl k l g ij gkl k l + Qij gkl , m + Q
2
x x
x x
x
xm
(2.110)
con i, j = 0, 1, 2, 3. Las ecuaciones de Einstein en el vaco Gij = 0, o equivalentemente
Rij = 0, son un sistema de ecuaciones diferenciales parciales indeterminado para las
componentes de la metrica gij . Tenemos s
olo seis ecuaciones de evoluci
on
35
para diez
componentes de la metrica desconocida. Para ver esto, podemos reescribir las ecuaciones
de Einstein en el vaco con la ayuda de (2.108), de donde se obtiene lo siguiente:
gkl
+ Q00 gkl , m = 0
x
(2.111)
2
g0i
2 gkl
2 gli
2 g0l
1
gkl
+
R0i = g kl
+ Q0i gkl , m = 0
2
xk xl x0 xi x0 xk
xi xk
x
(2.112)
2
2 glj
1
gkl
2 gkl
2 gil
gij
Rij = g kl
+
+ Qij gkl , m = 0,
k
l
i
j
i
k
j
k
2
x x
x x
x x
x x
x
(2.113)
1
R00 = g kl
2
2 g00
2 gkl
2 gl0
2 g0l
+ 0 0 0 k 0 k
k
l
x x
x x
x x
x x
(2.114)
(2.115)
(2.116)
gab 2 gab
donde las funciones Mij gab , m , l 0 son funciones no-lineales que dependen
x x x
de la metrica, sus derivadas de primer orden y derivadas de segundo orden de la forma
111
a poder escribir las ecuaciones de Einstein en el vaco como en el teorema 2.38. Ahora,
las indeterminaciones de antes comentadas no son fsicas, una forma de ver esto es:
supongamos que g es soluci
on de las ecuaciones de Einstein en el vaco y tomemos
cualquier difeomorfismo , el pull-back de la metrica g es tambien soluci
on de las
ecuaciones de Einstein en el vaco, as que cualquier unicidad de soluciones que tengamos
se mantendra s
olo bajo difeomorfismos. Para entender esto en coordenadas, supongamos
que tenemos una metrica gij (x ) satisfaciendo (2.39) en alg
un sistema de coordenadas
x . Si hacemos una cambio de coordenada x y (x ), entonces
gij (x) g (x) = gij (x(y))
xi xj
,
y y
(2.117)
tambien ser
a una soluci
on para (2.39).
Una alternativa manera de describir esto, es la descripcion que hace Robert Wald en
[WALD, p.263]:
. . . if : M M is a diffeomorphism, then (M, g) and (M, g) repre-
sent the same physical spacetime. Since the coordinate basis components of
gij y gij are related by the coordinate transformation associated with ,
any two solutions of Einsteins equation whose coordinate basis metric components are related by the tensor transformation law (1.12) represent the
same physical solution. Since four arbitrary functions appear in the transformation law, roughly speaking there should be only six nongauge functions
in the 10 metric components gij . Thus, it is plausible that Einsteins equation contains the correct number of evolution equations, and that a well
posed initial value formulation exists. . . .
El enfoque para establecer un teorema de existencia local y unicidad en Relatividad General ocupa fundamentalmente el hecho que para una condici
on especial de coordenadas
36
(2.118)
Coordenadas arm
onicas.
112
37
38 :
H = 0,
i i x = 0,
i (j gij x ) = 0,
i (gij j x ) = 0,
gij (i (j x ) kij k x ) = 0,
g ij ij = 0.
g ij ij = 0.
(2.119)
arm
onicas definidas en alguna vecindad U de p.
Demostraci
on:
(2.120)
Wave gauge.
i
x
39
Definidas en la p
agina 36
38
Denotaremos por i =
113
Observaci
on 29:
En el caso anterior notamos que la existencia de coordenadas arm
onicas es para un
espacio tiempo con metrica g, en general, este resultado es v
alido para una variedad
M con metrica g Lorentziana. Ahora, que sucede si g es una metrica riemmaniana?,
en este caso tenemos el siguientes resultado para ecuaciones diferenciales parciales nolineales elpticas [BE-Kn, p
ag.91], [GLTR] o [BESSE, p
ag. 469].
Teorema 2.15 (Soluci
on local):
Sea
F (x, u, u, . . . , k u),
(2.121)
una funci
on C , y sea x0 Rn . Si existe una funci
on v C k (U ) definida en una
40 ,
F (x, u, u, . . . , k u)(x) = 0,
(2.123)
j u(x0 ) = j v(x0 ),
(2.124)
para todo x V y
Demostraci
on:
Sea {x } coordenadas normales centradas en p, definidas en la p
agina 36. Luego,
40
Considere un sistema de k ecuaciones diferenciales parciales de orden m para funciones u no conocidas definidas en un subconjunto abierto U de Rn . Suponga que en coordenadas, digamos x , con
= 1, . . . , n, en U toma la siguiente forma
X
A D u = f,
(2.122)
Pu
||m
donde A denota es una k k matriz suave real de funciones, f (x) es una funci
on suave a valores de
Rk , es un multi-ndice y D = x11 . . . xnn . Para un covector paraPun punto dado x M, definimos
114
(2.125)
Adem
as, tenemos que la condici
on de coordenadas arm
onicas (2.118) es equivalente a
1
0 = H = i i x = i ( gi x ),
g
1
= i ( g g ij j x ),
g
1
= [i ( gg ij )j x + ( gg ij )i (j x )],
g
1
= [i ( gg ij )j + gg ij i (j )],
g
1
= (i ( gg i )),
g
1 i jk
= g g i gjk + i gi .
2
(2.126)
(2.127)
(2.128)
41
H l = gij lij =
1 ij lm
g g (j gim + i gjm m gij ).
2
(2.129)
41
gml
1 lm
.
= g l m gij + Qij gml ,
2
xk
(2.130)
Ver (2.119).
115
gml
1 lm
,
= g l m gij + Qij gml ,
2
xk
i, j = 0, 1, 2, 3,
(2.131)
gkl
donde Qij gkl , m son funciones no-lineales C de las componentes de la metrica
x
gij y sus derivadas de primer orden.
As, las ecuaciones de Einstein en el vaco son equivalentes al sistema (2.131) igual a
H = 0 es
cero, junto con la condici
on de coordenadas arm
onicas (2.129). La ecuaci
on Rij
(H)
Rij
1
1
(H)
l
l
gij R
gl(i j ) H gij l H .
2
2
(2.132)
La ecuaci
on de Einstein modificada
(H)
Rij
= 0,
(2.133)
es en terminologia est
andar, un sistema casilineal hiperb
olico. Las derivadas de orden
superior en (2.133) son de la misma forma como para la ecuaci
on de onda de un campo
escalar. De ahora en adelante, los datos iniciales los denotaremos gij |t=0 = g(0, x ) y
arm
onico H = 0 es entonces autom
aticamente satisfecho.
Teorema 2.18:
Sea gij las componentes del tensor metrico g escrito en un conjunto especfico de coordenadas {x }, con x0 = t y x = (x1 , x2 , x3 ), tal que:
(i) En U M = R t satisfacen las ecuaciones de Einstein reducida
(H)
Rij
= 0.
(2.134)
116
gij (0, x )
gij (0, x ),
t
0
0
= (gij
, kij
),
(2.135)
0 , k 0 ) y G (g 0 , k 0 ) son nulas.
y H (gij
0 ij ij
ij
0 = i Gij =
As,
i
g ij i j H l + Alj
i (g, g)j H = 0.
(2.137)
El siguiente paso es mostrar que las ecuaciones de constraint G0i = 0, implican que
0 H l (0, x ) = 0 y que H l (0, x ) = 0 es compatible con ellas.
De la ecuaci
on (2.132) vemos que para una soluci
on de las ecuaciones de Einstein
(H)
modificadas Rij
(2.138)
42
para la cual
(2.139)
117
donde Kij es la curvatura extrnseca calculada de este dato inicial a traves (2.63) e
imponiendo tambien que H l (0, x ) = 0, la ecuaci
on (2.138) se convierte en
glj 0 H l = 0,
(2.140)
0 H l (0, x ) = 0.
(2.141)
as tenemos
Observaci
on 30:
La condici
on impuesta H (0, x ) = 0, no es arbitraria, esto es debido al uso de coordenadas normales gaussianas y a una elecci
on adecuada de 0 g0j (0, x ). En efecto, de
la condici
on (2.126), en 0 tenemos que
g H = 0
1
g gi gjk i gjk + g i g i = 0
2
1 i jk
g g g i gjk gi i g = 0
2
1 jk
g gjk gi i g = 0
2
1 00
(g g00 + gab gab ) g00 0 g0 g ab a gb = 0,
2
(2.142)
(2.143)
(2.144)
Vemos que si escogemos coordenadas gaussianas en la hipersuperficie inicial 0 , podemos resolver las ecuaciones (2.143) y (2.144) para 0 g0j (0, x ), para un gab y Kab dado.
Esta observaci
on aparece tambien en [STRAU].
Ahora, probaremos que de esta manera obtenemos localmente soluci
on de la ecuaciones
de Einstein en el vaco, salvo difeomorfismo, como cita R. Wald [WALD, p.262]
...Local uniqueness of solutions with given initial data (hab , Kab ) can be proH ) be the spacetime solution of Einsteins equation
ven as follows. Let (0H , gab
H , g H /t)
constructed using harmonic coordinates from the initial data (g
in the manner described above. Let (O, gab ) be another solution of Einsteins
118
ab
1, g0i = 0 para t = 0.
Demostraci
on:
La construccion de procede como sigue. Sea f = (f 1 , f 2 , f 3 , f 4 ) definidas en U y
arm
onicas relativas a la metrica g, esto es:
g f = 0.
(2.145)
119
y
0 f (0, x ) = ,
(2.146)
g = 0, g = 1,
(2.147)
= (x )1 f ,
(2.148)
g (x ) = 0,
(2.149)
usaremos el teorema [CH-DW, p.319], el cual nos dice que si : (M, g) (M, g) es
(2.150)
= g ( (f ))
= (g f ) = 0.
(2.151)
Esto demuestra que g pertenece a las soluciones describidas en el teorema 2.18. Por
construccion | = id.
120
gi
sobre
44
gj .
Por lo tanto, usando la paracompacidad de la variedad, podemos pegar las soluciones locales a la vez, esto es, consideramos la uni
on disjunta de (Ui , g i ) e
identificamos los puntos pi Ui y pj Uj donde pj = ij (pi ). Con esto hemos
demostrado exitencia.
rrespondiente incrustaci
on i : M y una orientaci
on temporal suave preservando
121
2.2.4.
2.2.5.
Formulaci
on conforme para el problema de valores iniciales.
R + (K i i )2 Kij K ij = 0.
(2.152)
(2.153)
(2.154)
para el campo tensorial Kij libre de traza45 . Por supuesto, (hij , Kij ) no satisface
45
K i i = 0.
122
necesariamente la ecuaci
on de constraint (2.153). Sin embargo, definimos
ij = 4 hij
h
(2.155)
e iK
e ij = 0.
D
(2.156)
1 i
Di D ln = i
1
1
1
= i D i + Di D i
= Di ln D i ln + 1 Di D i .
Luego (2.157) es equivalente a
(3)
= 4 R 85 Di D i .
R
(2.158)
Adem
as
ia hjb K
e ij K
e ij = K
e ij h
e ab
K
= 12 Kij K ij .
(2.159)
ij , K
ij )
Entonces, de (2.158) y (2.159) podemos expresar el constraint (2.153) para (h
(3)
eK
e ij K
e ij = 0.
R
(2.160)
123
1
1
D i Di R + 7 K ij ij = 0.
8
8
(2.161)
La ecuaci
on (2.161) es conocida como la ecuaci
on de Lichnerowicz [LICH]. Notamos
que esta ecuaci
on es elptica no-lineal en . Esta ecuaci
on ha sido estudiada en detalle
por J. Isenberg, ver [ISEN].
124
Captulo 3
Problema Num
erico: Ecuaci
on
cl
asica de movimiento con
t
ermino de radiaci
on.
Uno de los problemas fundamentales que al inicio del siglo XX motivo el nacimiento
de la mecanica cu
antica es el de la inestabilidad clasica del atomo de hidrogeno. En
efecto, de acuerdo a la teora de la relatividad especial (adem
as motivada por la teora
de Maxwell), toda partcula cargada que posee un movimiento acelerado pierde energa
debido a la radiaci
on que produce y por lo tanto, el electr
on en un atomo clasico tambien
pierde energa y debiera caer paulatinamente al prot
on o n
ucleo del atomo.
En este captulo se estudia la ecuaci
on de Lorentz-Dirac, que describe el movimiento
de una partcula de masa m y carga e incluyendo termino de radiaci
on. El n
ucleo se
modela a traves de un potencial central Coulombiano, que juega el rol de una interacci
on
externa no-dinamica.
Despues de mostrar aspectos analticos y numericos relevantes de la ecuaci
on de LorentzDirac, se estudia el problema especfico de atomo de hidrogeno clasico numericamente,
bas
andose en un metodo iterativo analtico [AGUI] y empleando una subrutina numerica de paso adaptativo Runge-Kutta 87 [DOPR].
125
3.1.
Ecuaci
on de Lorentz-Dirac.
1
1
e
Fik uk + (
ui 2 ui u k u k ),
mc
b
c
(3.1)
Fik
Hy Ex
Hz
Hz
0
=
H
Hx
y
Ex Ey
Hx
0
Ez
Ey
,
Ez
(3.2)
(3.3)
~ es el
donde k es la constante de Coulomb, c es la velocidad de la luz en el vaco, E
~ el campo magnetico.
campo electrico retardado y H
Observaci
on 31:
La constante
1
b
dxi
.
d
(3.4)
dxi
.
dt
(3.5)
v2
1 2
c
1/2
u2
1+ 2
c
1/2
1
,
(3.6)
126
(3.7)
(3.8)
As,
1
u = u 1 = vx
v2
1 2
c
1/2
= vx
u2
1+ 2
c
1/2
1/2
1/2
u2
v2
= vy 1 + 2
,
u2 = u2 = vy 1 2
c
c
1/2
1/2
v2
u2
3
u = u 3 = vz 1 2
= vz 1 + 2
,
c
c
1/2
1/2
v2
u2
4
u = u4 = c 1 2
=c 1+ 2
.
c
c
Las siguientes relaciones son satisfechas autom
aticamente
i
u ui =
dx4
d
ui u i = 0,
2
(3.9)
= c2 ,
(3.10)
(3.11)
u i u i = ui u
i .
(3.12)
Tenemos que
dxi
dxi
=
, para i = 1, 2, 3,
d
dt
u4 = (c),
ui =
(3.13)
(3.14)
es decir,
ui = (~v , c)i ,
(3.15)
para i = 1, . . . , 4. Luego
d
u i =
d
3
dx
d
= 4
~v
~a(~v , c)i + 2 (~a, 0)i ,
c2
(3.16)
De la definici
on.
127
y
i
6 2
u u i = c
~v
~a + 4~a.
c2
(3.17)
2
2 !
~a
~v d~a
a
~v
~v
3 d~
5
2
(~v , c)i
+ 2
~a (~a, 0)i +
,0 +
+ 4
~a
c2
dt
c
c dt
c2
i
(3.18)
y
~ u = ~v E.
~
F4i ui = E~
(3.19)
Reemplazando en la ecuaci
on (3.1), tenemos
2 e2
~v
e
~
v
2
5
~ + ~v H)
~ +
(cE
~a ~v + ~a =
~a ~a
3
c2
mc
3 mc3
c2
2 !
d~
a
~
v
~
v
d~
a
(3.20)
+ 5 2
~v + 3 7 2 ~a ~v .
+ 3
dt
c dt
c
~v
~a
c
2
e
~+2 e
=
~v E
mc
3 mc2
~v
4 ~a + 3 6 c
c
~v
~a
c2
2 !
(3.21)
Observaci
on 32:
Notar que la ecuaci
on (3.21) no es una ecuaci
on independiente, ya que esta puede ser
obtenida de la ecuaci
on (3.20) multiplic
andola por el factor vc .
Tomando el lmite no-relativista
v
c
1, la ecuaci
on de movimiento no-relativista pero
e
e ~
~ + 1 d~a ,
E+
~v H
m
mc
b dt
2
d~v
e ~
e
~ + 1 d ~v ,
= E
~v H
+
dt
m
mc
b dt2
(3.22)
(3.23)
la ecuaci
on (3.23) es conocida como la ecuaci
on de Lorentz-Dirac.
128
3.2.
Aplicaciones num
ericas.
soluci
on u
nica, necesitamos adem
as dar por ejemplo un valor inicial de la aceleraci
on
inicial. La ecuaci
on de Lorentz-Dirac (3.23) es singular en el sentido que si
1
b
3.2.1.
Movimiento Unidimensional
(3.24)
x
(t) = Ce +
es f (t + s)ds,
(3.25)
En efecto, la ecuaci
on (3.24) es equivalente a:
f (t)
... 1
x x
=
,
(3.26)
Posici
on y velocidad.
129
...
si hacemos el cambio de variable y(t) = x(t),
entonces y = x
y y = x , luego (3.26) es
equivalente a una ecuaci
on diferencial de segundo orden no-homogenea dada por
y
f (t)
1
y =
,
(3.27)
la soluci
on de la ecuaci
on diferencial homogenea asociada a (3.27) viene dada por
1
yH (t) = C1 + C2 e t .
Luego, para obtener la soluci
on particular hacemos variaci
on de par
ametros, de donde
obtenemos la siguiente soluci
on particular:
Z
yp (t) =
f (v)dv + e
t
1
t
1 v
f (v)dv,
es decir, la soluci
on general de la ecuaci
on diferencial (3.27) viene dada por:
y(t) = C1 + C2 e
1
t
f (v)dv + e
1
t
e (tv) f (v)dv,
como y = x,
tenemos que
x(t)
= C1 + C2 e
1
t
f (v)dv + e
1
t
e (tv) f (v)dv,
(3.28)
derivando esta u
ltima ecuaci
on con respecto a t y haciendo el cambio de variable en la
integral s = (t v) se obtiene (3.29). De hecho,
C t
...
x (t) = e +
es f (t + s)ds =
1
(
x f (t)).
(3.29)
La expresi
on (3.25) muestra explcitamente que existen soluciones, las cuales divergen
cuando t , y que cuando 0 tambien resultan singulares pues x
.
0
es f (t + s)ds.
(3.30)
130
Fuerza arm
onica.
Un caso relevante para estudiar soluciones analticas lo constituye el oscilador arm
onico,
cuya ecuaci
on de movimiento incluyendo radiaci
on es dada por:
...
x
= 02 x + x ,
(3.31)
Esta ecuaci
on diferencial es equivalente a
x
+ r x + 2 x = C et ,
(3.32)
02
,
1 + r
r = ( 2 r 2 ),
1
= + r.
(3.33)
(3.34)
(3.35)
(3.36)
1 2 2
4 4
= 0 1 0 + O( ) .
2
r=
(3.37)
(3.38)
(3.39)
x
= 02 x 02 x.
(3.40)
131
= 02 x + (02 x 02 x
)
es decir,
x
= (02 04 )x 02 (1 02 )x,
(3.41)
(3.42)
(3.43)
(3.44)
n N y con r0 = 0.
Otra estrategia para obtener la soluci
on de la ecuaci
on (3.31), la cual es lineal, se
obtiene utilizando el Ansatz x(t) = et . Reemplazando, obtenemos la siguiente ecuaci
on
caracterstica
3 2 02 = 0.
(3.45)
b
, q = p3 +
donde p = 3a
5
q 2 + (r p2 )3 ) 3 + (q
bc3ad
6a2
yr=
c
3a .
q 2 + (r p2 )3 ) 3 + p,
(3.46)
132
ecuaci
on (3.45):
p=
1
,
3
(3.47)
r = 0,
q=
(3.48)
1 3 02
+
,
27
2
(3.49)
as
1
1
3
3
s 4
s 4
2
2
2
2
1
0
0
0
0
0
0
1
1
+
+
+
+
+
+
=
+
.
3
27 3
2
4 2
27 4
27 3 2
4 2 27 4
(3.50)
Entonces, concluimos que solo las soluciones para que son de nuestro interes fsico
son aquellas para la que Re() < 0.
Depues de este an
alisis analtico, en el sentido de soluciones exactas, estudiaremos una
soluci
on numerica para el problema de radiaci
on del oscilador arm
onico en el lmite
no-relativista. Tomamos la siguientes fuerza:
f (x) = mx,
(3.51)
= x.
dt2
b dt3
(3.52)
Antes de hacer el an
alisis n
umerico, nos detendremos a analizar las condiciones iniciales.
Observaci
on 33 (Importancia de las condiciones iniciales):
Tomemos la ecuaci
on diferencial
...
x
+ 2 x x = 0,
(3.53)
2 4
2,3 = i.
5 5
(3.54)
133
Solucin Amortiguada
1.4
1.2
1
0.8
x(t)
0.6
0.4
0.2
0
0.2
0.4
5
t (tiempo)
10
=1yx
(0) = 85 , el proceso de captura
fue mediante Runge-Kutta 5 en Matlab con un tiempo de integraci
on t [0, 10].
Luego, se tiene que una base de soluciones es
2
{et , e 5 t cos
4t 2 t
4t
, e 5 sin },
5
5
(3.55)
2
4t
4t
+ Ce 5 t sin ,
5
5
(3.56)
es la soluci
on general.
Si elegimos, condiciones iniciales de la forma x(0) = 1 , x(0)
= 1 y x
(0) = 58 ,
7
A = 0, B = 1 y C = .
4
(3.57)
6 ,
es decir, obtenemos soluciones que no son del tipo runaway y son las que
corresponde a la soluciones fsicas para el oscilador amortiguado. A pesar de que queremos encontrar soluciones amortiguadas para la ecuaci
on (3.52), si uno tiene ideado un
6
Amortiguadas.
134
1.5
Soluciones Runaway
0.5
x(t)
Solucin Amortiguada
0.5
Soluciones Runaway
5
tiempo(t)
10
=1yx
(0) [2, 2]. Para x
(0) = 85 se
otiene la soluci
on amortiguada, que es equivalente a la obtenida en la observaci
on 33. El
proceso de captura numerico se obtuvo para 100 valores diferentes y se uso Runge-Kutta
5 en Matlab, con un tiempo de integraci
on t [0, 10].
metodo para seleccionar una condici
on inicial adecuada tal que conduzca al comportamiento fsico deseado, que filtre la soluci
on fsica, la soluci
on numerica se desplazara a
una soluci
on runaway como una consecuencia inevitable de los errores n
umericos de
truncamiento. Para solucionar este problema momentaneamente ocuparemos la tecnica
denominada fine-tunning que consiste en tomar condiciones Newtonianas adecuadas tal
que, para la posici
on y velocidad, recorremos una familia de aceleraciones, resolviendo
la ecuaci
on diferencial en forma numerica para cada condici
on inicial (x(t), v(t), ai (t)),
para i = 1, . . . , n, donde n es el n
umero de iteraciones que recorre la aceleraci
on, ver
figura 3.2. Sin perdida de generalidad, asumimos que la partcula est
a en el origen
de las coordenadas en el tiempo t = 0, y adem
as que a(t) pertenece a un intervalo
simetrico de la forma [, ], lo anterior queda ilustrado en la figura 3.2. Notamos que
existen regiones donde las soluciones se comportan como soluciones runaway y existe, al menos, una soluci
on amortiguada que se obtiene en este caso para la condici
on
inicial (x(0), v(0), a(0)) = (1, 1, 8/5), de tal forma que nuestro algoritmo busca las
135
mos de soluci
on tipo Runge-Kutta o Burlirsch-Stoer. Esto conduce a que a pesar de
tener inicialmente buenas condiciones iniciales, debido al truncamiento propio de los
algortimos de resolucion, el sistema din
amico es atrado a una trayectoria que corresponde m
as bien a una soluci
on tipo runaway. Por lo que los resultados que se obtienen
son s
olo basura numerica, que representan propagacion de errores y por lo tanto corresponde a soluciones esp
ureas. Para resolver este problema utilizaremos un metodo,
llamado metodo de aproximaciones sucesivas, que permita obtener la soluci
on numerica
deseada.
3.2.2.
Movimiento bidimensional.
La ecuaci
on (3.23) para el caso de dimension espacial dos, es la ecuaci
on de movimiento
para el electr
on en el lmite no-relativista bidimensional:
e ~ 1 d2~v
d~v
= E
+
.
dt
m
b dt2
(3.58)
Donde
~x = (x, y),
~ x, ~y ) = ke
E(~
(x2
(3.59)
(x, y)
.
+ y 2 )3/2
(3.60)
Es decir, la ecuaci
on (3.58) es equivalente al siguiente sistemas de ecuaciones diferenciales acopladas de tercer orden:
x
ke2
d2 x
1 d3 x
=
,
+
dt2
m (x2 + y 2 )3/2
b dt3
y
ke2
d2 y
1 d3 y
=
.
+
dt2
m (x2 + y 2 )3/2
b dt3
(3.61)
(3.62)
(3.63)
(3.64)
(3.65)
(3.66)
x
,
z2 =
y
,
t
.
(3.67)
,
+
d 2
d 3
(z12 + z22 )3/2
d2 z2
d3 z2
z2
+
= 2
.
2
2
d
d 3
(z1 + z2 )3/2
(3.68)
Observaci
on 34:
Notar que el sistemas de ecuaciones diferenciales de tercer orden (3.68) es completamente adimensional y por lo tanto adecuado para resolver en un computador.
El primer caso a estudiar, en donde se conoce a priori una soluci
on analtica, es cuando
tomamos las ecuaciones de Lorentz-Dirac en ausencia de radiaci
on, que vienen dadas
por:
z1
d2 z1
,
= 2
d 2
(z1 + z22 )3/2
(3.69)
z2
d2 z2
= 2
,
2
d
(z1 + z22 )3/2
(3.70)
a0
,
1 + cos()
(3.71)
a0
.
1+
(3.72)
137
momentum angular
mr 2 = L0
= L0 ,
(t)
m r2
(3.73)
(3.74)
(3.75)
(3.76)
dr d
a0 sin()
=
(t).
d dt
(1 + cos())2
(3.77)
a0
= 3,531 1011 [m]
1+
(3.78)
Es decir, tenemos
r(0) =
(0) = 0 [rad],
(3.79)
r(0)
= 0[m/s],
(3.80)
L0
= 4,1 1016 [Hz] .
(0) =
m a20
(3.81)
Ahora, de estas condiciones iniciales, calculamos las condiciones iniciales para las ecuaciones en ausencia de radiaci
on en coordenadas cartesianas, para la elipse tenemos
x2 y 2
+ 2 = 1,
a2
b
(3.82)
que
(x, y) = (a0 , 0).
(3.83)
~v = r
r + r ,
(3.84)
~v (0) = r(0)
r (0) + r(0)(0)
=0
1
L0 1
(a0 , 0) + a0
(0, a0 ),
a0
m a20 a0
= (0 , 4,1 1016 a0 ).
(3.85)
(3.86)
(3.87)
Luego, las condiciones iniciales para el sistema (3.69) y (3.70), vienen dadas por
z1 (0) =
a0
= 1,6426 104 ,
(1 + )
z2 (0) = 0,
z1 (0) = 0,
z2 (0) =
L0
= 0,0064.
m a0
(3.88)
,
d 2
d 3
(z12 + z22 )3/2
(3.89)
d3 z2
z2
d2 z2
+
=
.
d 2
d 3
(z12 + z22 )3/2
(3.90)
Entonces, al igual como en el caso unidimensional, dentro de el conjunto de soluciones para este sistema de ecuaciones diferenciales de tercer orden, tendremos soluciones
runaway. Adem
as no podemos calcular analticamente condiciones iniciales para la aceleraci
on, por lo que podramos ocupar el metodo de fine-tuning para un intervalo de
139
1.5
x 10
z2
0.5
0.5
1.5
1
0.5
0.5
z1
1.5
2
4
x 10
(3.91)
140
donde f = ke
m
x
||x ||3
y = 1b , con = 1, 2.
(3.92)
=f +
+
x + .
t x
x
(3.93)
De esta forma, s
olo escogemos condiciones iniciales tipo Newtonianas, es decir, solo
posici
on y velocidad inicial, lo cual distinguira las correspondientes soluciones fsicas.
Construimos las aproximaciones sucesivas de la forma x
= n , con n = 0, 1, . . . , , de
acuerdo a la siguiente jerarqua
x
= 0 = f
x
= 1 = f +
..
.
x
=
=f +
0
+ 0 x + 0 0
t
x
x
n1 n1 n1
+
x +
.
t
x
x n1
(3.94)
(3.95)
(3.96)
7 .
0
+
t
0
x
x
0
,
x 0
(3.97)
(3.98)
donde = 1, 2.
7
Ver discuci
on 3.2.1 de la p
agina 129.
141
Donde la soluci
on a orden cero de iteraci
on corresponde a la ecuaci
on de Newton
x
= 0 = f ,
(3.99)
d2 z1
z1
= 2
d 2
(z1 + z22 )3/2
(3.100)
z2
d2 z2
,
= 2
2
d
(z1 + z22 )3/2
(3.101)
o equivalentemente en coordenadas
0
+ 0 x + 0 0
t
x
x
(3.102)
o equivalentemente en coordenadas
2z12 z22
dz1
dz2
3z1 z2
+
,
2
2
2
2
3/2
3/2
d
d
(z1 + z2 )
(z1 + z2 )
3z1 z2
2z22 z12
dz2
dz1
+
,
+
2
2
2
2
3/2
3/2
d
d
(z1 + z2 )
(z1 + z2 )
z1
d2 z1
+
= 2
2
d
(z1 + z22 )3/2
z2
d2 z2
= 2
2
d
(z1 + z22 )3/2
(3.103)
(3.104)
142
20
15
10
z2
10
15
20
20
10
10
20
30
40
50
z1
Sin radiacion
Con radiacion
20
15
10
x(t)
10
15
20
25
20
10
10
20
30
40
50
tiempo
143
144
Ap
endices
145
Ap
endice A
Teorema de Noether.
El celebre teorema de Emmy Noether [NOE] establece que cantidades conservadas
en la din
amica de un sistema fsico son relacionadas a la existencia de simetras y
variables cclicas
en su Lagrangiano. A continuaci
on, presentaremos el teorema y
J[u] =
F (x, u, u)dx,
(A.2)
y una transformacion
xi = i (x, u, u),
u = (x, u, u),
(A.3)
(A.4)
Diremos que un sistema de partculas cuyas coordenadas generalizadas son qi , con i {1, . . . , n},
L
tiene coordenada cclica qc si el Lagrangiano no depende de esta, es decir,
= 0.
qc
2
El funcional (A.2) es equivalente a
Z
um
u1
dx,
(A.1)
,...,
J[u1 , . . . , um ] =
F x, u1 , . . . , um ,
x1
xn
uj
, con i = 1, . . . , n ; j = 1, . . . , m.
xi
Introduciendo el vector u = (u1 , . . . , um ) e interepretando u como el tensor con componentes (A.1),
podemos escribir (A.1) como (A.2).
involucrando m funciones no conocidas u1 , . . . , um y sus derivadas
146
F (x , u , u )dx =
(A.5)
F (x, u, u)dx.
(A.6)
Ejemplo 17:
El funcional
J[u] =
Z Z
u
x
2
u
y
2 !
dxdy,
(A.7)
(A.8)
u = u,
donde es una constante arbitraria. De hecho, ya que la inversa de la transformaci
on
(A.9) es
x = x cos + y sin ,
y = x sin + y cos ,
(A.9)
u = u ,
(A.10)
(A.11)
147
Consecuentemente, tenemos
J[ ] =
"
"
u
x
2
u
y
2 #
dx dy ,
2
2 #
u
u
u
u
=
dx dy ,
cos
sin +
sin +
cos
x
y
x
y
Z " 2 2 #
u
(x , y )
u
dxdy,
+
=
x
y
(x, y)
Z " 2 2 #
u
u
=
+
dxdy,
x
y
= J[].
y donde ocupamos que J =
(x , y )
= 1.
(x, y)
F (x, u, u)dx,
(A.12)
(A.13)
(Fuxi + F i ) = 0,
xi
(A.14)
i=1
n
X
uxi i .
i=1
Demostraci
on:
De acuerdo a la formula (95) de [GEL, cap.7, p
ag.173]
Z X
n
J =
(Fuxi + F i )dx,
xi
(A.15)
i=1
Aplicaci
on a la teora de campos.
El principio de acci
on estacionaria para campos.
Consideremos un sistema fsico caracterizado por la funcion
u(t, x1 , . . . , xn )
(A.16)
uj (t, x1 , . . . , xn )
(A.17)
dt
...
Rn
donde es el operador
,...,
x0
xn
una regi
on del espacio-tiempo.
L(u, u)dx,
(A.18)
, R es alguna regi
on ndimensional y es
L X
L = 0,
u
uj
xi
i=0
xi
(A.19)
con j = 1, . . . , m.
Dentro de esta hermosa teora las ecuaciones de Euler-Lagrange son las soluciones
3
149
de una ecuaci
on diferencial, o un sistema de ecuaciones diferenciales acoplados, tales
que este minimiza o maxima la accion, o funcional, J. Esta ecuaciones describen el
movimiento del cuerpo en nuestro espacio.
Ejemplo 18:
Si consideramos la ecuaci
on de Klein-Gordon para campos masivos, estudiada en el
captulo dos :
( m2 ) = 0,
(A.20)
la cual, recordemos que, describe el campo escalar para una partcula de masa m no
cargada
4 ,
es f
acil verificar que ella es la ecuaci
on de Euler-Lagrange correspondiente
a la densidad lagrangiana
1
L = (2t 2x 2y 2z m2 2 ).
2
(A.21)
3
X
i=0
L = 0,
u
xi
xi
luego,
1
L L L L = 0,
(2m2 )
u
u
u
u
2
t
x
y
z
t
x
y
z
es decir,
1
(2m2 )
2
t
+
x
+
y
= 0.
Finalmente
tt + xx + yy + zz m2 u = 0,
( m2 ) = 0.
150
Leyes de Conservaci
on para campos.
El teorema de Noether nos da un metodo general de derivacion de leyes de conservaci
on
para campos. Suponemos que la integral
Z
L(u, u)dx
(A.22)
= i (x, u, u; ) = xi +
r
X
(k)
k j (x, u, u),
k=1
r
X
uj = j (x, u, u; ) = uj +
k=1
(k)
k j (x, u, u),
(A.23)
C=
(k)
I0 dx1 dx2 dx3
m
X
j=1
L
j (k) + Lk0
dx1 dx2 dx3
uj
x0
(A.24)
uj (k)
(k)
(k) P
donde es un abierto de , j = j ni=1
, las cuales son independientes
xi i
del tiempo, es conservada en soluciones de la Ecuacion de Euler-Lagrange, esto es,
C
= 0 (on shell).
t
Para la demostracion de la conservacion de (A.24), el lector interesado puede consultar
[GEL, p
ag.183].
Conservaci
on de energa y momentum.
La acci
on de cualquier campo fsico es invariante bajo desplazamiento paralelo, esto es,
bajo la transformaciones
xi = xi + i ,
uj = uj ,
5
(A.25)
151
(A.26)
lo cual implica
(k)
= ik ,
(k)
n
X
uj
i=1
xi
ik =
uj
,
xk
(A.27)
m
X
j=1
u
L
j L0k
dx1 dx2 dx3 ,
uj xk
x0
(A.28)
donde k = 0, 1, 2, 3.
Definimos el siguiente tensor tipo
Tik =
2
0
m
X
j=1
L
u
j Lik
uj xk
xi
(A.29)
Pk =
(A.30)
donde k = 0, 1, 2, 3. El vector
P = (P0 , P1 , P2 , P3 ),
(A.31)
Ejemplo 19:
Para la ecuaci
on de Klein-Gordon, la densidad lagrangiana viene dada por:
3
1X
1
gij
L = (2t 2x 2y 2z m2 2 ) =
2
2
i=0
xi
1
m 2 u2 ,
2
(A.32)
Tik = ii
(A.33)
(A.34)
153
Ap
endice B
Deducci
on variacional con
coordenadas normales y
aplicaciones a la cosmologa.
Trabajo en conjunto con Dr.
Norman Cruz y Gonzalo
Palomera.
Podemos obtener las ecuaciones de Eintein aplicando metodos variacionales estandares,
esto es, minimizando el funcional de Hilbert. En esta secci
on mostraremos otro tipo de
derivaci
on de la ecuaciones de Eintein, que es usada por ejemplo en la cosmologa. Este
metodo se basa en coordenadas normales, vistas en el primer Captulo.
B.1.
Para empezar, usamos el hecho que si A MC 1 (R) (n), donde C 1 (R) es el espacio de la
funciones diferenciales con derivada continua, se tiene que
154
Tr
dA 1
A
d
d
1
det(A),
det(A) d
Tr
d
1
dgab bd
g
det(gab )
=
d
det(gab ) d
d
1
dgab ba
g =
det(gab )
d
det(gab ) d
dgab ab
d
1
g =
det(gab ).
d
det(gab ) d
(B.1)
dp
1
1
d
det(gab ) = p
det(gab ).
d
2 det(gab ) d
p
dp
d
det(gab ),
det(gab ) = 2 det(gab )
d
d
y luego multiplicando por
1
det(gab )
tenemos que
p
det(gab ) d p
d
1
det(gab ) = 2
det(gab )
det(gab ) d
det(gab ) d
p
det(gab ) d p
=2
det(gab )
det(gab ) d
dp
1
det(gab ).
=2 p
det(gab ) d
(B.2)
(B.3)
(B.4)
155
Finalmente de (B.1)
g ab
lo que equivalente a
dp
1
d
det(gab ),
gab = 2 p
d
det(gab ) d
dp
1p
d
det(gab ) =
det(gab )gab gab .
d
2
d
Necesitaremos la variaci
on de la inversa de la metrica, por lo que ocuparemos el hecho
que
gac gcb = ab ,
donde ab es la delta de Kronecker. Entonces
d b
d ac
g gcb =
a
d
d
d ac
d
g
gcb = 0
gcb + g ac
d
d
d ac
d
gcb =
g
gcb
g ac
d
d
d
d ac
ac
gpa g
gcb = gpa gcb
g
d
d
d
d ac
c
p
gcb = gpa gcb
g
d
d
d
d ac
gcb = gca gcb
g
d
d
d ac
d
cb
cb
gcb = g gca gcb
g
g
d
d
d
d ac
gcb
gcb = ab gcb
g
d
d
d
d bc
cb
g
gcb = gcb
g
d
d
d cb
d
cb
gcb = gcb
g
.
g
d
d
(B.5)
156
Por lo tanto
dp
1p
d
det(gab ) =
det(gab )gab gab .
d
2
d
Recordemos que
s
Rijk
=
s
Rijk
=
s
s
.
xs ik xi sk
(B.6)
Tomando la variaci
on de (B.6) , se tiene que
i ssk
xs ik
x
=
sik i ssk .
s
x
x
Rik =
(B.7)
(B.8)
sik g ik i ssk .
s
x
x
Podemos observar en el segundo termino de la parte derecha que tenemos ndices mudos,
entonces
157
ik .
ik
xs
gik Rik = g ik
(B.9)
(B.10)
Definimos
W s = g ik sik gsk iik ,
y
xi
(B.11)
= i .
Calculamos la variaci
on de los smbolos de Christofel, recordando que
1
sik = gsm (i gkm + k gmi m gik ).
2
La variaci
on es
1
sik = (gsm )(i gkm + k gmi m gik )
2
1 sm
+ g (i gkm + k gmi m gik ).
2
(B.12)
Si usamos coordenadas normales, tenemos que las derivadas parciales de la metrica son
cero, luego
1
sik = gsm (i gkm + k gmi m gik )
2
1 sm
= g (i gkm + k gmi m gik ).
2
(B.13)
Usando esta u
ltima expresi
on, podemos calcular de inmediato iik
iik =
1 im
g (i gkm + k gmi m gik ).
2
158
1
iik = (gim i gkm + gim k gmi gim m gik ).
2
Podemos observar que el primer termino y el tercer termino son iguales, es decir
1
iik = gim k gmi .
2
(B.14)
(B.15)
gik sik =
(B.16)
Ahora
1 ik
(g i (gmk gsm ) + gik k (gmi gsm ) g sm m (gik gik ))
2
1
= (g ik i (gmk gsm ) gik k (gmi gsm ) + gsm m (gik gik ))
2
1
= ( k (gmk gsm ) i (gmi gsm ) + s (gik gik )).
(B.17)
2
gik sik =
Notamos que el primer termino y el segundo termino son iguales, pues tienen ndices
mudos, luego
1
(2 k (gmk gsm ) + s (gik gik ))
2
1
= s (gik gik ) k (gmk gsm ).
2
gik sik =
(B.18)
159
Por lo tanto
gik sik =
1 s
(gik gik ) k (gmk gsm ).
2
(B.19)
(B.20)
Ws =
(B.21)
B.1.1.
(B.22)
S=
funci
on F () a la curvatura escalar.
160
dx4 F ()( g R) +
=
dx4 ( g P (, X)).
dx F ()( gR) =
4
dx F ()( g)R +
dx4 F () gR.
Z
1
ab
dx4 F ()
ggab g
dx4 F () g R
R+
2
Z
Z
1
dx4 F () g (gik Rik )
dx4 F ()
=
ggab gab R +
2
Z
Z
1
ab
4
ggab g
dx4 F () g Rik gik
R+
dx F ()
=
2
dx4 F () gg ik Rik .
+
Adem
as, g ik Rik = s s (gik gik ) s k (gmk gsm ), luego
Z
1
ab
dx F ()(
dx4 F () gRik gik
ggab g )R +
2
Z
Z
1
4
ab
dx F ()(
dx4 F () gRik gik
=
ggab g )R +
2
Z
4
s
ik
dx F () gs (gik g )
+
dx F ()( gR) =
4
161
dx F () gs k (gmk gsm ) =
4
Z
Z
3
4 k
sm
sm
dx s (F () h)(gmk g )
dx s (F () g)(gmk g ) , (B.23)
dx F () gs k (gmk gsm ) =
4
(B.24)
dx F () gs k (gmk gsm ) =
4
Analogamente, obtenemos
Z
dx F () gs s (gik gik ) =
4
Por lo tanto
Z
Z
Z
1
4
4
ab
dx F ()( gR) =
dx F ()(
dx4 F () gRik gik
ggab g )R +
2
Z
Z
162
dx F () gRik gik =
4
4
ik
s
dx ggik g s F () =
dx4 ggab gab s s F ().
(B.25)
(B.26)
(B.27)
Adem
as notemos que gbk k = b , luego la integral (B.26) se convierte en
Z
dx
ab
ggbk g a F () =
Asi, la variaci
on del tensor de curvatura con respecto a la metrica g ab es igual a
Z
1
dx4 F ()
dx4 F () g Rab gab
ggab Rgab +
2
Z
Z
Z
1
dx4 g F () gab R + F ()Rab + b a F ()
=
2
dx4 ( g)P (, X) +
dx4 g (P (, X))
Z
1
dx4 gab ggab P (, X)
=
2
Z
P (, X)
P (, X)
4
+
X .
dx g
+
dx4 ( g P (, X)) =
(B.28)
163
1
1 ab
g a b = a b g ab ,
2
2
1
ab
dx gab gg
P (, X)
2
Z
P (, X) 1
ab
4
( a b g ) .
dx g
+
X
2
dx ( g P (, X)) =
4
Equivalentemente
Z
1
dx ( gP (, X)) =
2
Z
dx
P (, X)
ab
g(gab P (, X)
a b )g
.
X
1
Rab gab R F () + b a F () gab 2F ()
0 = S = dx g
2
1 P (, X)
1
a b gab .
gab P (, X) +
2
2
X
Z
1
1
1 P (, X)
(Rab gab R)F () + b a F () gab 2F () gab P (, X) +
a b = 0,
2
2
2
X
(B.29)
que generaliza las ecuaciones de Einstein.
B.1.2.
Ecuaciones Cosmol
ogicas
En esta secci
on estudiamos una cosmologa con energa oscura modelada por un lagrangiano de K-esencia del tipo P (, X), donde X = 21 a a no minimalmente acoplada.
164
natura (+ ),
ds2 = c2 dt2
a2
dr 2 a2 r 2 d 2 a2 r 2 sin2 ()d2 .
1 kr 2
Ocupando la aproximacion de Callan-Coleman-Jackiw [CCJ] para la definicion del tensor de energa-momentum, encontramos las expresiones para la densidad de energa y
presion en funci
on del campo de K-esencia. Con estas expresiones mostramos la condici
on general para tener expansi
on acelerada del universo y simplificaciones de los
modelos de K-esencia posibles.
Son diversos los trabajos que estudian modelos sobre K-esencia. Vemos en [VIKM] un
tratamiento din
amico del modelo de K-esencia y en [FAR] se calcula la condici
on de
aceleraci
on del universo para quintaesencia. Motivado por estos, consideramos la acci
on
S=
dx
R
g F ()
+ P (, X) ,
16G
(B.30)
).
B.1.3.
La ecuaci
on de movimiento para el campo de k-esencia viene dada por
k2
= 0, usando
= 8G, m
as explcitamente
1 F () P (, X) 2 P (, X) b
R
+
b
2k2
X
2 P (, X) p
P (, X)
+
a p a +
= 0.
2
X
X
(B.31)
Las ecuaciones de campo vienen dadas por Gab = k2 Tab , las escribimos siguiendo el
165
1
Tab () = 2
k
(B.32)
plano descrito por la metrica FLRW, las ecuaciones de campo de Einstein se reducen
a:
2
H =
a 2
a2
k2
(, X)
3
k2
a
a2
6
(B.33)
(B.34)
3H
F
k2
(B.35)
o
1 n
2
( + 2H )F
+ P.
(2
H
+
3H
)F
F
k2
(B.36)
p=
3P
6XP
9
HP
X
X
+
+
9H F
R F 3F
2XPXX + PX
2XPXX + PX
2XPXX + PX
R
3
+
(F )2 4P + 2XPX < 0.
(B.37)
2 (2XPXX + PX )
"
167
Ap
endice C
El Teorema de Ehlers-Geroch en
movimiento geod
esico en
Relatividad General: Trabajo en
conjunto con Dr. Enrique Reyes,
Dr. Daniel Pons y Gonzalo
Palomera. Artculo publicado en
International Journal of
Geometric Methods in Modern
Physics (JGMMP)
168
Abstract
We provide a detailed and rigorous proof of (a generalized version of) the EhlersGeroch theorem on geodesic motion in metric theories of gravity: we assume that
(M, g) is a spacetime satisfying an averaged form of the dominant energy condition
and some further technical assumptions indicated in the bulk of this paper. Then,
a small body which is allowed to deform the original spacetime metric g moves,
nonetheless, along a geodesic of (M, g).
Introduction
In this work we review, formalize and generalize a result by J. Ehlers and R. Geroch
[8] on the motion of a small body in general relativity. In their paper [8], these two
authors present a theorem stating that in an appropriate limit of small mass and size, a
material body moves along a geodesic. This fact/principle has been considered by diverse
authors since Einsteins days. In addition to [8], the references appearing therein, and
the interesting discussions of [20, 21], we would like to mention the seminal work carried
out by J.-M. Souriau [16, 17]. In these references, Souriau deduces the geodesic motion
of an uncharged particle via his principle of general covariance and, more generally, he
recovers Dixons equations of motion for a (spinning) rigid body (see for instance [5] and
the review [6]) using only symplectic techniques. This point of view is also considered in
H.P. Kunzles [12], in Guillemin and Sternbergs [10], and it has been recently reviewed
in [14].
Now, in the classical general relativistic approach of Dixons, a test particle (or extended test body) moving in a spacetime (M, g) is described by an energymomentum
density T , and the motion of the body is described by a set of timelike curves which
form a world tube W M such that T 6= 0 only inside W . The total momentum P
2
and angular momentum S of the test body are defined by integrals depending on T ,
where the integration is carried out over a compact spacelike section of W . A timelike
curve l with unit tangent vector U representing the body is chosen along W , some supplementary conditions relating P and S are added, see [5, 6], and then equations of
motion for P and S are found. In order to specify the motion completely one needs to
prove the existence of an appropriate timelike curve l. Within the framework of Dixons
theory this has been done by Beiglbock [1] and Schattner [15]. On the other hand, Ehlers
and Geroch begin their analysis with a timelike curve representing the body and, in
contradistinction to the Dixon approach, they describe the body by how it influences the
spacetime in which it moves. More precisely, they consider not only the metric g, but
also the set of nearby metrics ge. Assuming Einsteins equations, the body is then repreeab with support on a suitable neighborhood
sented by the corresponding Einstein tensor G
U of the curve . The Ehlers-Geroch theorem asserts that if we allow the neighborhood
U to shrink towards , and some technical assumptions are satisfied, then the curve
must be a g-geodesic. In other words, in certain limit of sufficiently small size and mass,
bodies which are allowed to modify the geometry of spacetime move, nonetheless, along
geodesics.
The Ehlers-Geroch theorem is therefore an important result which deserves a careful
study. Even more now that it has become an important means for testing General Relativity [3]! Therefore, it is important to have a fully detailed proof of the theorem in
[8]. In particular, one needs to clarify the notion of a nearby metric, and to formalize
the pass to the limit mentioned above. In this paper we carry out this plan, using as
guides papers [1, 15] on the center of mass in general relativity. We also generalize [8]: the
eab mentioned above is assumed in [8] to satisfy the dominant
deformed Einstein tensor G
energy condition. We use an averaged form of this condition, motivated by previous
discussions on alternative energy conditions appearing in the literature, see for instance
[18].
We organize this paper as follows: in Section 2 we introduce two distances on the space
of Lorentzian metrics on a given manifold M , we present some elementary stability results
as applications, and we discuss a precise form of the Fubini theorem on iterated integrals,
which we need in the proof of our main result. Our main theorem is in Section 3. In this
section we present explicitly all the technical assumptions needed for the Ehlers-Geroch
theorem and we carry out its proof in full detail.
Technical preliminaries
Throughout this paper we assume that (M, g) is an orientable, connected and paracompact
four-dimensional Lorentzian manifold. Since no signal would be able to travel from one
connected component to another, it is indeed natural to assume that M is connected.
Orientability must be assumed so that we can integrate over M , and it can be also justified
on physical grounds: as explained in [11], in our neighborhood of spacetime there is a well
defined arrow of time determined by the direction of increase of entropy, and it is natural
to extrapolate that this local arrow can be defined continuously on M . This motivates
time-orientability, and this assumption implies, experimentally, space-orientability. We
also note that we can replace the paracompactness hypothesis (an essential technical
3
assumption for integration) for the more physically motivated assumption that (M, g)
admits a spinor structure [7].
We let M(U ) be the space of smooth Lorentzian metrics of signature (, +, +, +)
defined on a fixed open set U of M such that U is compact. Our first task is to introduce
a topology on M(U ) by transforming it into a metric space.
2.1
Topology
We briefly explain how to define appropriately the notion of C 1 -close which appears in
the original Ehlers-Geroch theorem [8].
We assume that U is contained in some coordinate patch U . Since we are assuming
that the closure U is compact, we can define a uniform distance which in fact simplifies
calculations. We set
X
dC 0 (g, h) =
sup |gij hij |(p),
(1)
i,j pU
and
dC 1 (g, h) =
i,j pU
ekij |(p) ,
sup |kij
(2)
i,j,k pU
ekij are the Christoffel symbols of g and h respectively. This is the metric
where kij and
we will use in this work. We can check that changes of coordinates give rise to equivalent
metrics. Also, we remark that sometimes is convenient to use
X
X
eijk |(p),
sup |ijk
(3)
dC 1 (g, h) =
sup |gij hij |(p) +
i,j pU
i,j,k pU
instead of (2). As expected, it is easy to check that the right hand sides of (2) and (3)
define equivalent metrics.
2.2
We consider two questions. They are elementary but their answers will be of use to us in
Section 3:
If is a timelike curve in (M, g) and h is in Vg , a suitable neighbourhood of g in
M(U ). When is timelike in (M, h)?
Assume that is a geodesic in (M, g) and that h is in Vg . How far is from being
a geodesic in (M, h)?
In order to answer the first question we take a point p on , an open neighborhood
U of with p U , and we use the C 0 -uniform metric on M(U ) defined in (1). The
following calculations are performed at the fixed (but arbitrary) point p.
We assume without loss of generality that Vg is a ball in M(U ) centered at g, that is,
Vg = BC 0 (g, ) = {h M(U ) : dC 0 (g, h) < }. We estimate so that is timelike with
respect to h Vg . We have, computing along ,
hij i j = (hij gij + gij ) i j = (hij gij ) i j + gij i j .
(4)
4
Now,
X
|hij gij |
i,j
| i |
| j |
!2
=
|hij gij |
i,j
| |
|hij gij |
i,j
| i |
+ gij i j
sup
(
X
xU
!2
)
|hij gij |
i,j
| i |
+ gij i j
!2
X
= dC 0 (g, h)
| i |
+ gij i j
!2
| i |
+ gij i j .
(5)
5
Thus,
e )
ekij kij || i || j |
|(
k | |
ek k |
|
ij
ij
| i |
i,j,k
| j |
#"
#2
X
X
X
e k k | +
|
|gij hij |
| i |
ij
ij
"
i,j
i,j,k
sup
(
X
xU
ek
|
ij
i,j,k
kij |(x)
)"
X
#2
i
| |
#2
"
i,j
| |
2.3
P i 2 .
( i | |)
(6)
A Fubinitype theorem
6
of Q in (M, g). We write N = Ns and X = Xs to take into account the dependence of the
function N and the vector field X on s. If Ns > 0, then the mapping
: I Q M ,
(s, q) 7 is (q) ,
(7)
where hij = (hs )ij and hs = is g. We also have g = N h, and therefore we can write
the volume element on (M, g) as
q0
s0
The proof of this theorem follows from [2, p. 16] and the facts that s = q1
(s) and
0
q = s1
(i
(q)).
s0
0
In this section we prove our version of the Ehlers-Geroch theorem appearing in [8]. Our
proof follows the general approach of [8] but, as explained in Section 1, our set-up is
somewhat different to the one appearing in that paper. Recall that we have fixed a
spacetime (M, g). First of all, we prove the following technical lemma:
Lemma 3.1. Let be a timelike curve with unit tangent vector field u on a spacetime
(M, g), and define A = u u. Assume that A(p0 ) 6= 0 for some p0 . Then, there exist
vector fields t, x and near p0 such that:
(i) The vector fields t, x and satisfy ta = ua , xa =
Aa
|A|
and a = 0 at p0 .
(ii) The vector fields t, x and are transported along the curve according to the
equations:
a. ub b ta = 0 ;
b. ub b xa = 0 ;
c. ub b a = ub (xb ta xa tb ) .
(iii) The vector fields t, x and are Killing vector fields along (in other words, the
equation (L g)(u, u) = 0 holds on , where is any of t, x, , and L denotes Lie
derivative with respect to ), and = t + x for some real-valued functions and
.
Moreover, there exist points p and p+ to the left and right of p0 respectively, such that
(p+ ) = + > 0, (p ) = > 0 and (p+ ) = (p ) = .
Proof. Given the initial conditions t(p0 ) = u(p0 ) and x(p0 ) = A/|A|(p0 ), we can find t
and x along uniquely, by solving the parallel transport equations appearing in (ii-a)
and (ii-b). It follows that along , the vector field t is timelike and x is spacelike. We
construct a vector field satisfying (ii-c). We rewrite (ii-c) as
u a = ub (xb ta xa tb ) = hu, xita hu, tixa ,
(10)
where, for example, hu, xi = gab ua xb , and we look for functions and such that
u a = (u )ta + (u )xa
(11)
along . It is clear that and exist, as comparison of (10) and (11) show that in order
to find them we only need to solve two independent first order linear PDEs, namely,
= hu, xi ,
y b
ub b = hu, ti ,
y
ub
and
(12)
(13)
8
with initial conditions at p0 , (p0 ) = 0 and (p0 ) = 0. Now we show that in fact
a = ta + xa on . Indeed, let a = a ta xa . Then, on the curve we have
u a = u a u ( ta ) u ( xa )
= u a u ta ta u u xa xa u
= (u a )| ta (u )| xa (u )|
=0
because of (11). But, we can think of (u )| = 0 as a system of ordinary differential
equations for with initial condition (p0 ) = 0. The unique solution is = 0, and
therefore we conclude that, on , a = | ta + | xa , where and satisfy (12)(13),
(p0 ) = 0, and (p0 ) = 0.
Now recall the notion of a Killing vector field along appearing in (iii). Using local
coordinates, we have
(L g)ab = ( g)ab g ca c b g cb c a = ( g)ab 2g c(a c b) ,
hence is Killing along if and only if
g c(a c b) ua ub = hu, u i = 0 .
(14)
In our case, it follows easily from conditions (ii-a), (ii-b) and (ii-c) that the vector fields
t, x and are Killing along .
Now we consider the second part of the lemma. We have = t + x on . We consider the functions s 7 ((s)) and s 7 ((s)), so that when computing Lie derivatives
along we will write Lu = 0 and so on. Equations (12) and (13) then imply that
0 (p0 ) > 0
and
0 (p0 ) = 0 .
(15)
We compute second derivatives along using (11), (12) and (13). We easily obtain
2u = hu u, xi t hu u, ti x .
Thus, at p0
00 (p0 ) = h2u , ti(p0 ) = hu u, xi(p0 ) < 0 .
(16)
Summarizing, we have (0) = p0 , (p0 ) = 0 and (p0 ) = 0 and the conditions (15)
and (16). Thus, has a minimum at p0 , while the function is increasing near p0 .
Smoothness of and implies that there exist p+ and p as in the enunciate of the claim
such that (p+ ) = + > 0, (p ) = > 0, and we can choose these two points so that
(p+ ) = (p ) = , see Figure (1).
Remark 1. We note that we have constructed vector fields t, x, near p0 and along .
We extend them to the region U in such a way that:
a. The vector field t is gn -timelike and of type C 2 on U when n is large enough. Such
an extension is possible because of Proposition 2.1 and Assumption (I) below.
b. The vector field x is of type C 2 on U .
c. The vector field = t + x on (see Equations (10)-(13) and the subsequent
analysis) is defined on the region U by extending the functions and and setting
= t + x.
Now we fix an embedded timelike curve : (, ) M , a point p0 M on , and
a neighborhood U of p0 such that the closure U is compact. For every n we denote by
Un the intersection of U with a tubular neighbourhood of the curve whose radius with
respect to the metric g is 1/n. We need the following notion of convergence of tensors
supported on Un : We say that limn Un = U and that every tensor H : Un T r,s Un
converges to its restriction H : U T r,s (U ).
The proof that small bodies move along geodesics (in an appropriate limit) will be
by contradiction. We suppose that our curve is such that the hypotheses of Lemma 3.1
hold, that the neighbourhoods Un contain the points p+ and p found therein, and that the
following assumptions are satisfied:.
(I) There exists a sequence gn of Lorentzian metrics in M(U ) such that gn converges
to g in the topology induced by the metric dC 1 .
(II) For each metric gn we fix a symmetric 2-tensor (n) Gab satisfying (n) c (n) Gab = 0,
where (n) is the metric connection for gn . For instance, we can take as (n) Gab
the Einstein tensor of gn . We assume that (n) Gab 6= 0 near and that its support,
spt((n) Gab ), is contained in Un .
(III) There exists a congruence of g-timelike curves filling up U , and one of these curves
is exactly . More precisely, there exists a foliation of U by spacelike hypersurfaces
10
of the form (7). Item (I) and Proposition 2.1 imply that for large enough n we can
adapt this foliation and curve congruence to gn .
(IV) For every n the tensor (n) Gab satisfies the following averaged dominant energy
condition along each gn -timelike curve
e near the curve : there exists a constant
Kn (e
) such that
Z
Z
(n)
(n)
(n)
max | Gab | d
e Kn (e
)
Gab ta tb (n) d
e,
(17)
a,b
(n)
d
e denotes the line
e a = geca c dS,
e geca c is the (outward) timelike vector field normal to , and dS
e
where dS
is the volume element of constructed using the metric ge. This definition is analog to
Dixons definition of momentum [5, 15]. We have the following Lemma, essentially an
application of Stokes theorem:
11
Lemma 3.3. If we have two non-intersecting ge-spacelike slices and 0 contained in U ,
then
Z
0
e ,
eab ( gec(a
e c b) ) dV
Pge(, ) Pge(, ) =
G
(20)
Ve
e U
e.
where we denote by Ve the closed region enclosed by , 0 and spt(G)
e ca =
e c (e
e cG
eab = 0, we find
Proof. Indeed, using geab
g ab a ) and
Z
Z
Z
c(a e b) e
ca b e
e c,
e
e
e
eab geca b dS
Gab ( ge c ) dV =
c ( Gab ge ) dV =
G
Ve
Ve
Ve
e c = c dS
e and dS
e is the volume element on Ve , and we have applied Stokes
in which dS
e
U
eab vanishes on U
e , and therefore the third integral above is idenBy Assumption (II), G
tically zero. Thus
Z
Z
Z
cb a e
cb a
e
e ,
e
e
eab gecb a c dS
Gab ge dSc =
Gab ge c dS
G
Ve
and therefore
Z
Ve
c(a e
b)
e =
eab ( ge c ) dV
G
e
eab dS
G
Z
0
e a.
eab b dS
G
12
where 0 = s0 is the leaf of the foliation through p0 which exists by Assumption (III), and
t is the vector field constructed above (see Lemma 3.1, Item ii-a) and suitably extended
to be gn -timelike on Un when n is large enough, see Remark 1.
We write Pn (, ) instead of Pgn (, ) and mn instead of mgn . In this part of the proof
we make essential use of the foliation of U satisfying Assumption (III). Since gn g, we
can assume that the leaves s are gn -spacelike for every n large enough. Even more, we
recall that for n large enough we can adapt this foliation and curve congruence to gn .
The function Pn (, ) satisfies three crucial properties:
Property 1. Let be a leaf of the foliation of U so that the hypersurface is gn -spacelike
for every large enough n. We have:
1
|Pn (t, ) mn | = 0 .
n mn
lim
(21)
where we have
and notation of Lemma 3.3. Now, expanding the
used the calculation
c(a e b)
c(a
b)
we obtain the inequalities
difference 2 g c t gn c t
b
cb
a
c(a
b)
c(a e b)
ca
ca t
cb t
2 g c t gn c t |g gn | c + g gn c
x
x
eb )
+ |t | (|g ca gnca | bc + |gnca | bc
c
cb
cb a
cb a
a
e
+ |t | ( g gn c + gn c c )
!
!
!
!
X
X tb
X
X ta
g cb gncb
|g ca gnca |
xc +
xc
c,a
a
b
c,b
!"
!
!
X
X
X
bc
+2
|t |
|g ca gnca |
c,a
!
+
c,,b
X
b
b
e
c c
|gnca |
c,a
!#
.
c,,b
(
)
X X
bc ,
Set C = max
|gnca | . Then,
Ve
c,,b
c,a
c(a
b)
c(a e b)
g c t gn c t
!
X
|g ca gnca |
c,a
!"
+C
|t |
X
c,a
!
X tb
xc
b
!
|g ca gnca |
X
eb
bc
c
c,,b
!#
.
13
It follows that
c(a
e c tb)
g c tb) gnc(a
X
eb
|g ca gnca | +
bc
c
c,a
c,,b
!
X
|t |
!
X tb
xc
b
!"
+C
|g ca gnca |
X
b
b
e
c
c
c,a
!#
c,,b
"
#
X tb
X
|t | dC 1 (g, gn ) .
xc + C
Set R(t) =
(22)
P
P tb
a
|t |. This quantity is bounded in U because t is at least of
b xc + C
(23)
e
dV
.
We consider the second term. We set H ab = g c(a c tb) . We obtain the bounds
!Z
Z
Z
X
X
e e
ab
ab
ab
e
e
eab H dV
e
G
max Gab (p)
H (p) dV (p) sup
H (p)
max G
ab dV .
e
e a,b
e a,b
e
V
pV
a,b
a,b
It follows that
|Pn (t, ) mn |
X
H ab (p)
R0 dC 1 (g, gn ) + sup
pVe
a,b
!! Z
Ve
e e
max G
ab dV .
a,b
(24)
|H ab (p)ua vb |
,
u,vTp Vn \{0} kukh kvkh
sup
in which C(p) is a constant number for each p Vn . Now we take supremum over Vn and
make n tend to infinity. We obtain limn Vn = V and (setting suppVn C(p) = C )
lim sup
n pVn
X
H ab (p) C sup
a,b
pV
|H ab (p)va vb |
hu, u ti
= C sup
=0
2
kvkh
kuk2h
pV
vTp \{0}
sup
14
since t is Killing along , see Equation (14).
Now we use the constructions and nomenclature from Section 2.3 and Assumption
(IV), the averaged dominant energy condition. For every (s0 , q0 ) in I Q we have,
#
"Z
#
"
Z
Z
Z
Z
e e
e e e
e d(q)
e
eab ta eb d
max Gab dV =
max Gab d d(q)
Kn (q )
G
Ve
a,b
s0
a,b
Z
Z
sup Kn (q )
qQ
0
e d(s)
e
eab ta eb d
,
G
a,b
K
max G
R
ab
eab ta eb
mn Ve a,b
G
q
0
#
e
d
e <
d
e
d
for n large enough. Property 1 now follows from this inequality and (24).
Property 2. Let 1 and 2 be leaves of the foliation given by (III), so that the hypersurfaces 1 and 2 intersect at p1 and p2 (respectively), and are gn -spacelike for every
large enough n. If is a Killing vector field for g along , then
lim
|Pn (, 1 ) Pn (, 2 )|
= 0.
mn
b
P b
P
2
Set B() =
b xc + C
| |. Using that is a vector field of class C , we get that
B() is bounded in U by B0 ; therefore,
c(a
e c b) B0 dC 1 (g, gn ) .
g c b) gnc(a
It follows that
Z
c(a
b)
e
eab (g
e c )dV
|Pn (, 1 ) Pn (, 2 )| =
G
n
e
Z
Z V
e c(a
b)
c(a e b) e
c(a
b)
e
eab g c dV
Gab g c gn c dV + G
e
Ve
Z V
Z
e e
e ,
eab g c(a c b) dV
G
B0 dC 1 (g, gn )
max G
ab dV +
Vn
a,b
Ve
and we reason as in Property 1. Note that we use that is a Killing vector field along
to bound the second summand above.
15
Property 3. Fix a point p in , and for every large enough n, let be the gn -spacelike
hypersurface containing p in the foliation adapted to g. If the vector field vanishes on
= p we have,
|Pn (, )|
=0.
lim
n
mn
Indeed, we introduce a fixed Riemannian metric h on V and we write = kkh v, in
which v is a vector field whose h-norm equals one. It follows that
Z
Z
a b e
a b e
e
e
|Pn (, )| = Gab e d sup kkh Gab v e d .
pU n
Since (18) holds, the integral on the right hand side divided by mn is bounded for n large
enough, and suppU n kkh tends to zero as n goes to infinity by hypothesis. The claim
follows.
Now we finish the proof of the Ehlers-Geroch theorem. Let us recall that we have
three distinguished points p+ , p0 and p on whose existence was proven in Lemma 3.1,
and three vector fields, t, x and , defined along the curve and suitably extended to the
region U , see Remark 1; we consider spacelike hypersurfaces + , 0 and in our fixed
foliation which contain p+ , p0 and p respectively.
For each n large enough we consider the number
Kn
Pn (, + ) + Pn (, ) 2Pn (, 0 )
+ Pn (t, + ) Pn (t, ) Pn (x, + ) + Pn (x, ) .
(26)
|Kn |
when n goes to infinity. There are two ways
mn
1. We set
An = Pn (, + ) + Pn (t, + ) Pn (x, + ) ,
Bn = Pn (, ) Pn (t, ) + Pn (x, ) ,
(27)
(28)
term we have
Pn (t, + )
mn .
If n goes to infinity, suppUn + |(p)+ | tends to zero and |Pn (t, + )|/mn remains
bounded for n large enough because of (18). The second summand is dealt with
16
in a similar way. We also show that limn Bn /mn = 0 arguing in an analogous
fashion. Thus, we have proven that
lim
Pn (, 0 )
Kn
= 2 lim
=0
n
mn
mn
(29)
(30)
17
References
[1] W. Beiglbock, The center-of-mass in Einsteins theory of gravitation. Commun. Math.
Phys. 5 (1967), 106130.
[2] M. Berger, P. Gauduchon and E. Mazet, Le Spectre dune Variete Riemannienne.
Lecture Notes in Mathematics 194, Springer-Verlag, Berlin, 1971.
[3] I. Ciufolini, A. Paolozzi, E. Pavlis, J. Ries, V. Gurzadyan, R. Koenig, R. Matzner, R.
Penrose, and G. Sindoni, Testing General Relativity and gravitational physics using
the LARES satellite. The European Physical Journal Plus 127:133 (2012), 17.
[4] C.J.S. Clarke, The Analysis of Space-Time Singularities. Cambridge University
Press, 1993.
[5] W. G. Dixon. Dynamics of extended bodies in General Relativity I, Momentum and
Angular Momentum. Proc. R. Soc. London A 314 (1970), 499527.
[6] W. G. Dixon, Extended bodies in general relativity: their description and motion.
In: Isolated Gravitating System in General Relativity 156219. Proceedings of the
International School of Physics Enrico Fermi, Course 67. J. Ehlers (Ed.). Elsevier,
1979.
[7] R. Geroch, Spinor structure of spacetime in general relativity. I. J. Math. Phys. 9
(1968), 17391744.
[8] J. Ehlers and R. Geroch, Equation of Motion of Small Bodies in Relativity. Annals of
Physics 309 (2004), 232236.
[9] R. Geroch and P. S. Jang. Motion of a body in general relativity. J. Math. Phys. 16
(1975), 6567.
[10] V. Guillemin and S. Sternberg, On the equations of motion of a classical particle in
a Yang-Mills field and the principle of general covariance. Hadronic J. 1 (1978), 132.
[11] S. W. Hawking and G. F. R. Ellis, The large scale structure of space time. Cambridge University Press, 1973.
[12] H.P. K
unzle, Canonical dynamics of spinning particles in gravitational and electromagnetic fields. J. Math. Phys. 13 (1972), 739744.
[13] J. Marsden, Lectures on Geometric Methods in Mathematical Physics. SIAM, 1987.
[14] E.G. Reyes, On the motion of particles and strings, presymplectic mechanics, and
the variational bicomplex. General Relativity and Gravitation 37 (2005), 437459.
[15] R. Schattner, The center of mass in General Relativity. General Relativity and Gravitation 10 (1978), 377393.
[16] J.M. Souriau, Mod`ele de particle a` spin dans le champ electromagnetique et gravitationnel. Ann. Inst. Henri Poincare Section A Vol XX (1974), 315364.
18
[17] J.M. Souriau, Structure des Systemes Dynamiques (1970). Dunod, Paris. (English
Translation: Structure of dynamical systems, a symplectic view of physics. Translation edited and with a preface by R.H. Cushman and G.M. Tuynman. Progress in
Mathematics 149, Birkhauser Boston, Inc., Boston, MA, 1997).
[18] M. Visser, Lorentzian wormholes: from Einstein to Hawking. AIP Press Springer,
1996, New York.
[19] R. Wald, General Relativity. University of Chicago Press, 1984.
[20] J. O. Weatherall. A brief remark on Energy conditions and the Geroch-Jang Theorem.
Found. Phys. 42 (2012), 209214. DOI 10.1007/s10701-011-9583-y.
[21] J. O. Weatherall. The motion of a body in Newtonian theories. J. Math. Phys. 52,
032502 (2011); http://dx.doi.org/10.1063/1.3556608 (16 pages).
Bibliografa
[AGUI] Aguirregabiria J.M., Solving forward Lorentz-Dirac-like equations. J. Phys.
A:Math Gen. 30, 2391 2402, 1997.
[ARN] Arnold V.I., Mathematical Methods of Classical Mechanics. Springer, 1978.
[AUB] Aubin T., Some Nonlinear Problems in Riemannian Geometry. Springer, 1991.
[BESSE] Besse A., Einstein Manifolds. Springer-Verlag,1987.
[BPPR] Bezares M., Palomera G., Pons D. y Reyes E., The Ehlers-Geroch theorem
on geodesic motion in General Relativity. To appear in International Journal of
Geometric Methods in Modern Physics, 2014.
[BSS] Baumgarte T. W. and Shapiro S. L., Numerical Relativity: Solving Einsteins
Equation on the Computer. Cambridge University Press, 2010.
[BI-KA] Bi
ca
k J. and Katz J.,On the uniqueness of harmonic coordinates, arXiv:grqc/0503018v1.
[BO-LU] Bona C. and Palenzuela-Luque C., Elements of Numerical Relativity: From
Einsteins Equations to Black Hole Simulations. Springer-Verlag, 2005.
[BOZH] Bozhidar Z. Iliev. Handbook of Normal Frames and Coordinates. Progress in
user. xv, 441 pp. 2006.
Mathematical Physics 42. Basel: BirkhA
[BRE] Brezis H., Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer, 2010.
[CS-FV] Capozziello S. and Faraoni V. Beyong Einstein Gravity., A Survey of Gravitational Theories for Cosmology and Astrophysics. Springer, 2011.
[BE-Kn] Bennett C. and Knopf D.,The Ricci Flow: An Introduction. Amer. Math. Soc.
(AMS) Vol. 110, 2004.
169
[CCJ] Callan Jr. C. G., Coleman S. and Jackiw R., Ann. Phys. (NY), 59, 42, 1970.
[CHO-I] Choquet-Bruhat Y., General Relativity and the Einstein Equations. Oxford
Science Publications, 2009.
[CHO-II] Choquet-Bruhat Y., Theor`
eme dexistence pour certains syst`
ems dequations
aux derives partielles non lineaires. Acta Mathematica 88, 141, 1952.
[CH-DW] Choquet-Bruhat Y. and DeWitt-Morette C., Analysis Manifolds and Physics
I, Elsevier, 2000.
[CH-GR] Choquet-Bruhat Y. and Geroch R.,Global aspects of the Cauchy Problem in
General Relativity, Commun. math. Phys. 14, 329 335, 1969.
[CH-LR] Choquet-Bruhat Y. and Leray, C.R.Acad. Sci., 274,81-5, 1972.
[CO-HI] Courant R. and Hilbert D., Methods of Mathematical Physics, Vol. 2: Partial
Differential Equation. Wiley Classics Edition, 1989.
[DIN] R. D Inverno. Introducing Einsteins Relativity. CLARENDON PRESS, OXFORD, 1998.
[DIR-I] Dirac P.A.M.,General Theory of Relativity, Princeton University Press, 1975.
[DIR-II] Dirac P.A.M., Proc. Roy. Soc., A167, 148, 1938.
[DCM-I] Do Carmo M. P., Geometria Riemanniana. 4a Edicao Projeto Euclides, 2008.
[DCM-II] Do Carmo M. P, Geometria Diferencial de Curvas e Superficies, 5a edicao
Soc. Bras. de Mat.(SBM), 2012.
[DCRM-III] Do Carmo M. P, Formas Diferenciais e Aplicacoes ,
[DOPR] Dorman J.R. and Prince P.J., High order embedded Runge-Kutta formulae.
J.Comp. Appl. Math., Vol. 7. p.67-75.,1981.
[EVA] Evans L. C., Partial Differential Equation. AMS, 1997.
[FAR] Faraoni V., Inflation and quintessence with nonminimal coupling. arxiv:[gr-qc 0002091], 2000.
[FOC] Fock V.,The Theory of Space Time and Gravitation,Pergamon Press, 1964.
[FRIE] Friedlander F.G., The Wave Equation on a Curved Space-Time., Cambridge
Univ. Press, 1975.
170
[FRTT] Fritelli S., Note on the propagation of the constraints in standard 3 + 1 general
relativity. Phys. Rev. D 55,5992, 1997.
[GLTR] Gilbarg D. and Trudinger N.S.,Elliptic partial differential equations of second
order. Classics Math., Springer-Verlag, 2001.
[GER] Geroch R., Domain of dependence. J. Math. Phys. 11(1970), 437-439.
[GEL] Gelfand I.M. and Fomin S.V., Calculus of Variations. Prentice-Hall, INC, 1963.
[GOUR] Gourgoulhon E., 3+1 Formalism and Bases of Numerical Relativity. Lectures
notes, arXiv:gr-qc/0703035v1, 2006.
[GORK] G
orka P., Elliptic Equation with Singular Terms on Riemannian Manifold.
Letters in Math. and Phys., 79, 193-201,2007.
[GOLD] Goldstein H., Classical Mechanics, Reading, MA: Addision-Wesley, 1980.
[GREI] Greiner W.,Clasical Mechanics: Point particles and Relativity. Springer, 2004.
[HAD] Hadamard J. Sur les probl`
emes aux deerivees partielles et leur signification
physique. Princeton Univ. Bulletin, pp. 49-52, 1902.
[HW-EL] Hawking S. W. and Ellis G. F. R., The large scale structure of space time.
Cambridge Monogr. Math. Phys. 1, Cambridge University Press, 1973.
[HEB] Hebey E., Nonlinear analysis on manifolds: Sobolev spaces and inequalities. vol
5 de Courant Lecture Notes in Mathematics. New York University Courant Institute
of mathematical Sciences, 1999.
[ISEN] Isenberg J., Constant mean curvature solutions of the Einstein constraint equations on closed manifols. Class. Quantum Grav. 12,2249-2274, 1995.
[JACK] Jackson J.D.,Clasical Electrodynamics. John Wiley and Sons, Inc, 1998.
[KA-WR] Kazdan J.L. and Warner F.W., Curvature Functions for Compact
2Manifols. The Annals of Mathematics. Second Series, Vol. 99, No 1, 14-47, 1974.
[KleiNi] Kleinerman S. and Nicol`
o F., The Evolution Problem in General Relativity.
Progress in Mathematical Physics, vol. 25, 2002.
[KOS] Kosman-Schwarzbach I., The Noether Theorems. Springer, 2011.
[LAN] Lanczos C., Ein vereinfachendes Koordinatensystem fur die Einsteinschen Gratitationsgleichungen, Phys. Z. 23, 1922.
171
Nachr. D. Knig. G
oesellsch. D.
Wiss. Zu G
ottingen, Math-phys. Klasse : 235 257, 1918.
[ONEI] ONeill B., Semi-Riemannian geometry. Pure Appl. Math. 103, Academic Press,
Orlando, 1983.
[PLA] Plass N.G.,Classical Electrodynamic Equations of Motion with Radiative Reaction, Rev. of Modern Physics, Vol. 33, 1, 1961.
[RING] Ringstr
om H., The Cauchy Problem in General Relativity. European Mathematical Society, Suiza, 2009.
[RN-RG] Renardy M. and Rogers R.,An introduction to partial differential equations.
Second edition, Springer, New York, 2004.
[REY] Reyssat E., Quelques Aspects des Surfaces de Riemann. Birkh
auser, 1989.
[SA-WU] Sachs R. and Wu H., General Relativity for Mathematicians. Springer-Verlag,
1977.
172
173