Professional Documents
Culture Documents
Facultad de Fı́sica
PRESENTA
ASESOR(ES):
Agradecimientos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1. Introducción 4
1.1. Relatividad general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. Teorı́a tenso-escalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1. Teorı́a Brans-Dicke . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Teorı́a de Lovelock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.1. Término Gauss-Bonnet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4. Perturbaciones y ondas gravitacionales . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4.1. Perturbaciones impares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2. Teorı́a escalar-Einstein-Gauss-Bonnet 12
2.1. Acción y ecuaciones de campo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3. Perturbaciones impares 14
3.0.1. Variables ángulo-acción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.0.2. Método de aproximación a pequeñas energı́as. . . . . . . . . . . . . . . . . . . 17
7. Probabilidad de supervivencia 46
8. Resultados y discusión 47
9. Conclusiones 48
A mi madre Erendira por brindarme su amor, cariño, paciencia, responsabilidad, por apoyarme
y aconsejarme en cada momento de mi vida e impulsarme a no rendirme.
A mi hermano Carlos, por su ejemplo de no claudicar ante la adversidad, por todas esas expe-
riencias obtenidas a lo largo de nuestra vida, por su ayuda y ser una persona en la quien puedo
confiar.
A mi abuela Yolanda, por su amor, apoyo, confianza y por ser como una segunda madre para
mi.
Al Dr. Miguel Ángel Cruz Becerra, por su paciencia, apoyo, experiencia,conocimiento y dispo-
nibilidad en la dudas que surgieron en la elaboración de este trabajo .
A mis amigos, por ayudarme, enseñarme, aprender juntos tanto dentro como fuera de la escuela,
por su confianza, apoyo y dedicación.
1
Resumen
En este trabajo se han utilizado estados coherentes como estados iniciales, ya que la incerti-
dumbre de estos estados es mı́nima y en consecuencia permiten relacionar su dinámica cuántica
con la descripción clásica.
Los estados coherentes tienen una forma gaussiana, que se mantiene con el paso del tiempo
si están en un potencial de oscilador armónico, pero esto no es del todo cierto cuando se prueba
con otro tipo de potencial, en este caso, un potencial cuártico. Esto ocasiona que su estudio se
realize mediante análisis numerico, ya que no existen soluciones exactas al tratar con este tipo de
potencial.
En el segundo capı́tulo se obtiene el periodo asociado al potencial cuártico mediante las variables
ángulo-acción, el cual puede compararse con el periodo correspondiente a un oscilador armónico.
También se expresa el operador Hamiltoniano utilizando los operadores de creación y destrucción,â†
y â, respectivamente, y de esta forma construir la matriz del Hamiltoniano en la base del oscilador
armónico cuántico con un valor de ~ pequeño, ya que cuando este valor tiende a cero se logra
2
ÍNDICE GENERAL 3
conectar la mecánica cuántica con la mecánica clásica, todo esto permite formar el espectro de
energı́a y estudiar sus propiedades. Por último se calcula la densidad de estados con distintos
valores de ~, que pueden ir incrementándose del valor más bajo considerado.
Introducción
En el siglo XX Albert Einstein presentó la teorı́a de la relatividad general, la cual tenia como
objetivo, aproximarse a una correcta descripción de la naturaleza de la gravedad. La formulación que
hizo de esta teorı́a fue puramente de carácter tensorial, pues este tipo de matemática tiene ciertas
propiedades que ayudan a mantener invariantes las ecuaciones que describen fenómenos fı́sicos,
cuando estas son trasladadas de un marco de referencia a otro. Pero además de la formulación
que hizo Einstein, al mismo tiempo David Hilbert obtuvo las mismas ecuaciones a partir de una
densidad lagrangiana, a la cual aplicó el principio variacional.Dicha densidad lagrangiana es la
siguiente:
√
Z
1
S= R −gd4 x (1.1)
2κ
Donde
8πG
κ=
c4
g = det(gµν )
1 8πG
Rµν − gµν R = 4 Tµν (1.2)
2 c
Estas son 10 ecuaciones diferenciales de segundo orden, acopladas, no lineales, que describen la
gravedad como resultado de la deformación del espacio-tiempo, dicha deformación es creada por
materia o energı́a, representada en este caso por el tensor energı́a-momento Tµν . La acción original
puede ser modificada para agregar por ejemplo otra lagrangiana, en la cual se encuentra la informa-
ción de algún campo de materia que aparezca en la teorı́a, o también una constante cosmológica Λ,
4
CAPÍTULO 1. INTRODUCCIÓN 5
si el valor de esta constante es mayor a cero se podrá describir un universo en expansión acelerada.
La teorı́a general de la relatividad además de ser una teorı́a muy elegante describe muy bien
la gravedad, sin embargo hay ciertos limites por ejemplo a grandes energı́as o a pequeñas escalas,
donde esta teorı́a comienza a tener fallos.Por ejemplo, comienzan a aparecer cantidades infinitas en
la curvatura del espacio tiempo.
Uno de los intentos para corregir estos fallos, fue la incorporación de un campo escalar que modelara
la gravedad. Isaac Newton ya habı́a formulado una teorı́a de la gravedad modelada por un campo
escalar, de la ecuación de Poisson para la gravedad:
∇2 φ = 4πGρ (1.3)
Donde φ es un potencial escalar. Esta idea fue retomada por Fierz y Pascual Jordan en los 50’s, para
incorporarla a la relatividad general. Sabemos que la teorı́a de la relatividad es un teorı́a métrica
, pues de esta forma se pudo incorporar el principio de equivalencia fuerte. Sin embargo se pueden
introducir términos extra en la acción de Einstein-Hilbert. Una propuesta sencilla es un campo
escalar,con esto podrı́amos modelar la gravedad no solo con un campo tensorial sino también con
un campo escalar,este tipo de teorı́as son llamadas tenso-escalar.
√
Z
4 1 2
Sφ = d x −g − (∂φ) − V (φ) (1.4)
2
Suponiendo acoplamiento no minimal entre ambos campos, es decir entre el campo gravitacional y
el campo escalar, Robert H. Dicke y Carl H. Brans llegaron a la siguiente acción
√
Z
(BD) 1 4 ω µν
S = d x −g φR − g ∇µ φ∇ν φ − V (φ) + SM (1.5)
16π φ
Donde
√
Z
SM = d4 x −gL(m)
ω es una constante de acoplamiento, que puede ser ajustada en base a las observaciones astronómi-
cas, φ puede variar de un lugar a otro y a través del tiempo. Además variando la acción respecto
CAPÍTULO 1. INTRODUCCIÓN 6
Si eligiésemos que, V (φ) = 0, entonces de (1.6) vemos que el tensor de Einstein está determinado
en parte por la presencia inmediata de masa-energı́a o momento, y en parte por el campo escalar
de largo alcance, es decir, estos dos últimos curvan el espacio-tiempo. De (1.7) observamos que la
traza del tensor energı́a-momento, actúa como la fuente del campo escalar.
En 1971 David Lovelock introdujo la teorı́a de la gravedad que lleva su nombre, esta teorı́a es
una generalización a mas dimensiones de la relatividad general de Einstein. Es la teorı́a métrica
mas general pues, está definida en un numero D de dimensiones, espacio-temporales.
La acción de la gravedad de Lovelock es:
p
√ X
Z
S[gµν ] = dD x −g an Ln (gµν , Rαβµν ) (1.8)
n=0
n
1 α1 β1 α2 β2 ...αn βn Y µr νr
Ln (gµν , Rαβµν ) = δ R (1.9)
2n µ1 ν1 µ2 ν2 ...µn νn αr βr
r=1
√
Z
dD x −g a0 + a1 R + a2 R2 − 4Rµν Rµν + Rαβµν Rαβµν + a3 O(R3 ) + ... (1.10)
L1 = R, (1.12)
CAPÍTULO 1. INTRODUCCIÓN 7
Donde el invariante Rαβµν Rαβµν es el escalar de Kretschmann. En 4 dimensiones, los términos que
contribuyen a las ecuaciones, son n=0, n=1 o n=2.
Cuando se toma el término cuadrático, es decir cuando n=2 (la expresión 1.13), se obtiene
el término Gauss-Bonnet, el cual es una versión extendida de la densidad cuatridimensional de
Euler. El término Gauss-Bonnet, es un intento por renormalizar la teorı́a cuántica de la gravedad
mediante la inclusión en la acción de términos que eliminen los infinitos no renormalizables. Estos
términos son de orden cuadrático o superior en el tensor de Riemann, el de Ricci, o el escalar
de curvatura. Este tipo de modificaciones son atractivas porque conducen a ecuaciones de campo
de segundo orden,con una divergencia igual a cero, como demanda una teorı́a covariante de la
gravitación.
Además en la idea de expandir la fı́sica a dimensiones extra como por ejemplo en la teorı́a de
cuerdas, se ha encontrado que el termino Gauss-Bonnet puede ser interpretado como una corrección
a primer orden de la teorı́a de cuerdas. En particular la expansión a bajas energı́as de las cuerdas
supersimetrı́cas sugiere que la corrección principal de la acción de Einstein esta dada por el término
Gauss-Bonnet. También en teorı́a de cuerdas efectivas, se han encontrado soluciones cosmologicas
libres de singularidades, incluso agujeros de gusano atravesables.
Resolver las ecuaciones de Einstein es una tarea difı́cil. Dada una métrica, se pueden computar
los sı́mbolos de Christoffel, el tensor de Riemann y el tensor de Einstein , con esto se puede obtener
el tensor energı́a-momento , y ası́ tener una relación entre las coordenadas espacio-temporales con
caracterı́sticas fı́sicas tales como la densidad o la presión del sistema.
Sin embargo procediendo de una forma inversa, es decir de conocer un tensor energı́a-momento
como por ejemplo,el tensor electromagnético, obtener la métrica que describe a ese sistema, es aún
más difı́cil.
En la literatura se encuentran soluciones exactas, pero estas, son por lo general para geometrı́as
con un alto grado de simetrı́a, como por ejemplo la forma de la métrica de Schwarzschild.
r0 2 r0 −1 2
ds2 = − 1 − dt + c−2 1 − dr + c−2 r2 dθ2 + c−2 r2 sen2 θdϕ2 (1.14)
r r
Donde
ηµν = diag (−1, 1, 1, 1)
Donde ḡµν es la llamada métrica de fondo, también se requiere que las primeras y segundas derivadas
parciales de hµν sean pequeñas.
Después de todo un análisis, e introduciendo esta métrica a las ecuaciones de Einstein, se obtiene
una ecuación de onda
∂2
2 2
− 2 + c ∇ h̄µν = 0 (1.17)
∂t
Entonces las ondas provenientes de perturbar el espacio-tiempo, se mueven a la velocidad de la luz.
Si se toma c = 1, esta expresión se puede reescribir, como
h̄µν = 0 (1.18)
CAPÍTULO 1. INTRODUCCIÓN 9
Donde
1
h̄µν = hµν − ηµν h (1.19)
2
h = hαα = η αβ hαβ (1.20)
La ventaja de utilizar teorı́a de perturbaciones es, que nos permite (a primer orden) linealizar las
ecuaciones de Einstein.
La ondas producidas por el colapso de un objeto masivo ,del choque de agujeros negros, estrellas
binarias,etc, puede ser obtenidos por teorı́a de perturbaciones. En relatividad general para una
onda plana, las ondas gravitacionales son de naturaleza cuadrupolar.
Figura 1.2: En rojo las 4 polarizaciones que aparecen de una onda plana en RG. En azul polarización
extra que aparece en teorı́as tenso-escalares.
δφI 1 (1.22)
Donde se puede considerar una teorı́a con N campos escalares φI ,I = 1, 2, ..., N .Por otra parte φ0
y δφ pueden ser funciones del tiempo o de la posición.
CAPÍTULO 1. INTRODUCCIÓN 11
Teorı́a escalar-Einstein-Gauss-Bonnet
Al ser un invariante, el término Gauss-Bonnet puede ser acoplado a un campo escalar, para
obtener una contribución no trivial de las ecuaciones de campo.
Por lo que la acción a utilizar en este trabajo es
" #
√ (∇φ)2 1
Z
4 R 2
S= d x −g − + f (φ)RGB (2.1)
2κ2 2 8
Donde
κ2 ≡ 8πG
(∇φ)2 = g µν ∂µ φ∂ν φ
Como se puede observar, es una teorı́a gravitacional con un campo escalar φ, ademas f (φ) es una
función de acoplamiento general, que esta acoplando no minimalmente a el término Gauss Bonnet
2 .
RGB
Como sabemos, obtendremos dos tipos de ecuaciones de campo, una variando la acción respecto a
una métrica general, y otro tipo, variando la acción respecto a el campo escalar.
Entonces variando (2.1) respecto a la métrica, se obtiene
1 (∇φ)2
Rµν − gµν R + Pµανβ ∇αβ f (φ) = ∂µ φ∂ν φ − gµν (2.2)
2 2
Donde
Pµανβ = Rµανβ + 2gµ[β Rν]α + 2gα[ν Rβ]µ + Rgµ[ν gβ]α
12
CAPÍTULO 2. TEORÍA ESCALAR-EINSTEIN-GAUSS-BONNET 13
R g µν √
Z
4 1 2
δS = d x −gδ − ∇µ φ∇ν φ + f (φ)RGB
2 2 8
µν
4 √
Z
g 1 2
= d x −g − δ (∇µ φ∇ν φ) δf (φ)RGB
2 8
√ µν
Z
4 g 1 df (φ) 2
= d x −g − (∇µ φδ∇ν φ + δ∇µ φ∇ν φ) + R δφ
2 8 dφ GB
µν
√
Z
4 g 1 0 2
d x −g − (2∇µ φδ∇ν φ) + f RGB δφ (2.3)
2 8
Donde
df (φ)
f0 =
dφ
Tomando el primer termino de (2.3), e integrando por partes
√ √
Z Z
4 µν
d x −g (−g ) ∇µ φδ∇ν φ = d4 x −g (−g µν ) ∇µ φ∇ν δφ
√ √
Z Z
= d x −g (−g µν ) ∇ν (∇µ φδφ) −
4
d4 x −g (−g µν ) δφ∇ν ∇µ φ
| {z }
0
√
Z
4 µν 1 0 2
δS = d x −g g ∇ν ∇µ φ + f RGB δφ = 0
8
1
∇µ ∇µ φ + f 0 RGB
2
=0 (2.4)
8
1 √ 1
√ ∂µ −g∂ µ φ + f 0 RGB
2
=0 (2.5)
−g 8
Perturbaciones impares
dz 2
2 2 2
ds = −A(r)dt + B(r)dr + C(r) + (1 − kz 2 )(dϕ + k1 dt + k2 drk3 dz)2 (3.1)
(1 − kz 2 )
Donde k1 ,k2 y k3 son funciones de (t, r, z). A(r), B(r) y C(r) son las funciones métricas que pa-
rametrizan la solución de fondo estática más general de una teorı́a tenso-escalar. Como se puede
observar
dV (x)
= 4x3 − 20x = 0
dx
Las soluciones estarán dadas por:
x ' ± 2.23607
x=0
La solución x = 0 corresponde al máximo del potencial, mientras que x ' ± 2.23607, corresponde
a los dos mı́nimos del potencial. Tomando como referencia el pozo izquierdo con xmin ' −2.23607,
la energı́a mı́nima estará dada por:
Además de la energı́a mı́nima, se define como energı́a crı́tica, al valor del potencial en su punto
máximo, en este caso x = 0, obteniendo:
Este potencial ya proporciona dos regiones de estudio, dentro de los pozos y fuera de ellos. La
14
CAPÍTULO 3. PERTURBACIONES IMPARES 15
evolución de un estado coherente será muy distinta en un potencial de este tipo a la del potencial
del oscilador armónico, ya que el periodo difiere entre ellos y existen más zonas por las que el
estado pueda evolucionar. Las propiedades como el periodo del potencial serán estudiadas en el
capı́tulo siguiente, para ello se necesitarán unas herramientas muy útiles llamadas variables de
ángulo-acción.
En el primer tipo, la curva que se genera en el espacio fase es cerrada, y si se escoge un punto
en esa curva, ese punto se repetirá periódicamente (Figura 3.1). En este diagrama, tanto
q como p son funciones periódicas dependientes del tiempo con la misma frecuencia. Este
tipo de movimiento periódico se el conoce con el nombre de libración. Puede ser identificado
cuando la posición inicial se encuentra entre dos ceros de la energı́a cinética. El ejemplo más
común es el oscilador armónico unidimensional.
En el segundo tipo de movimiento periódico, la órbita en el espacio fásico es tal, que p es una
cierta función periódica de q, con periodo q0 . Este tipo de movimiento implica que cuando q
se incrementa en q0 , la configuración del sistema permanece sin variaciones (Figura 3.2). Un
ejemplo son las curvas que representan estados no ligados en el péndulo simple. A este tipo
de movimiento se le conoce como rotación.
∂W
ω= (3.5)
∂J
∂E
ν= (3.6)
∂J
Figura 3.1: Espacio fase del oscilador armónico. Todas las curvas representan estados de libración.
∂J
T = (3.7)
∂E
p2
E= + V (x) (3.8)
2m
p
p= 2m(E − V (x)) (3.9)
x2
Z
p
J =2 2m(E − V (x)) dx (3.10)
x1
x2 √
Z
2m
T = p dx (3.11)
E − V (x)
x1
Esta fórmula será de gran utilidad para calcular el periodo del potencial cuártico.
CAPÍTULO 3. PERTURBACIONES IMPARES 17
Figura 3.2: Espacio fase del péndulo. Las curvas color rojo representan el movimiento de rotación,
mientras que las azules también son un buen ejemplo de libración. La curva negra se llama separatriz
y divide a los estados de libración y rotación
a = V (x0 ) (3.13)
1 d2 V
b= (3.14)
2 dx2 x=x0
1 d3 V
b= (3.15)
3! dx3 x=x0
dV
Fx = − = −2b(x − x0 ) − 3c(x − x0 )2 + ... (3.16)
dx
d2 x
m ' −2b(x − x0 ) (3.17)
dt2
r s
d2 V
2b 1
ω= = (3.18)
m m dx2 x=x0
La amplitud del movimiento debe ser muy pequeña, de igual forma su energı́a.
Capı́tulo 4
Para analizar el periodo se necesitará de la ecuación 3.11, los lı́mites de integración serán los
puntos de retorno del potencial, y dependerán de la energı́a, para encontrarlos se debe resolver la
ecuación V (x) = E cuyas soluciones son:
√
q
x1 = − 5 − 25 + E (4.1)
√
q
x2 = + 5 − 25 + E (4.2)
√
q
x3 = − 5 + 25 + E (4.3)
√
q
x4 = + 5 + 25 + E (4.4)
Estas soluciones representan los puntos de retorno a distintas energı́as, y pueden visualizarse en la
figura 4.1.
Ya que existen dos regiones distintas, se calcula el periodo para cada una de ellas. La energı́a
crı́tica separa los dos tipos de regiones, permitiendo tener una idea más clara en los lı́mites de
integración. Para la región dentro del pozo, se toman las soluciones x3 y x1 como puntos de retorno,
en cambio para la región fuera del pozo se toman las soluciones x3 y x4 , con m = 1 para ambos
periodos.
x1 (E) √
Z
2
T1 (E) = √ dx (4.5)
E− x4 + 10x2
x3 (E)
19
CAPÍTULO 4. PERIODO Y LA MATRIZ DEL HAMILTONIANO 20
Figura 4.1: Soluciones a la ecuación V (x) = E. Las curvas azul, amarilla, verde y roja representan
a las soluciones x1 , x2 , x3 y x4 , respectivamente.
x4 (E) √
Z
2
T2 (E) = √ dx (4.6)
E− x4 + 10x2
x3 (E)
Resolviendo las ecuaciones 4.5 y 4.6 se obtiene el periodo del potencial cuártico para los distintos
valores de la energı́a que pertenecen al intervalo (Emin = −25, Ecri = 0 ) para el periodo dentro
del pozo T1 y en el intervalo [Ecri , −10] para el periodo fuera del pozo T2 . Con T1 y T2 se obtiene
el periodo completo para el potencial cuártico al menos hasta la energı́a E = −10 (Fig. 4.2).
Se puede comparar T1 y T2 con el periodo en aproximación a bajas energı́as Tbe , el cual puede
2π
obtenerse mediante la ecuación 3.18 y la relación ω = , resultando en:
T
El periodo Teb es constante y corresponde al pozo cuyo mı́nimo está en x ' −2.23607, sólo basta
multiplicar por un factor de dos para considerar ambos pozos, ya que son simétricos. Tbe puede
visualizarse en la figura 4.2 junto al periodo del potencial cuártico.
Se nota en la figura 4.2 que el periodo T1 es mayor conforme la energı́a aumenta, con una
ası́ntota en la energı́a crı́tica Ecri , es aquı́ donde el periodo T2 toma un comportamiento inverso, su
valor decrece al aumentar la energı́a. Al multiplicar por dos a T1 , se vuelve simétrico a T2 debido
a la existencia de los dos pozos.
CAPÍTULO 4. PERIODO Y LA MATRIZ DEL HAMILTONIANO 21
Figura 4.2: Perido del potencial cuártico (curva roja) comparado con el periodo en aproximación
cuadrática a bajas energı́as (lı́nea punteada).
p2
H(x, p) = + x4 − 10x2 (4.8)
2m
Dependiendo de las coordenadas (x, p) se obtiene una energı́a E, por lo que cada trayectoria
tiene una energı́a distinta. Esto permite obtener el momento en función de la posición y de la
energı́a.
√ p
p = ± 2 E + 10x2 − x4 (4.9)
Los valores de la energı́a determinaran las trayectorias. Esto es interesante para valores de la
energı́a dentro del pozo, en la energı́a crı́tica y energı́as fuera del pozo. La figura 4.3 muestra el
espacio fase para el potencial cuártico, se observan trayectorias cerradas por lo que se trata de un
movimiento periódico tipo libración, ya sea para trayectorias dentro o fuera de los pozos.
Los valores de la energı́a utilizados para el cálculo del espacio fase no tienen mucha relevancia
ya que sólo se querı́a observar el espacio fase. Más adelante se decidirá la energı́a en base a las
coordenadas en el espacio fase.
CAPÍTULO 4. PERIODO Y LA MATRIZ DEL HAMILTONIANO 22
Figura 4.3: Espacio fase para el potencial cuártico de la forma V (x) = x4 − 10x2 . Las curvas negras
representan trayectorias dentro de los pozos, la curva roja es la separatriz correspondiente a la
energı́a crı́tica, y las curvas azules son trayectorias fuera de los pozos.
P̂ 2
Para lograr obtener los elementos de matriz del Hamiltoniano Ĥ = + X̂ 4 − 10 X̂ 2 , éste
2m
debe expresarse en términos de los operadores ↠y â, esto mediante las ecuaciones ?? y ??. El
Hamiltoniano queda expresado de la siguiente forma:
2
ω~ ~ 5~ †
Ĥ = − (↠− â)2 + (↠+ â)4 − (â + â)2 (4.10)
4 2mω mω
Teniendo especial cuidado en la expansión de los binomios (↠− â)2 , (↠+ â)4 y (↠+ â)2 ,
ya que como se vió en la ecuación ?? estos operadores no conmutan. Para obtener los elementos
matriciales de Ĥ se debe hacer un producto interno de la siguiente manera:
CAPÍTULO 4. PERIODO Y LA MATRIZ DEL HAMILTONIANO 23
2
0
ω~ † ~ 5~ †
n Ĥ |ni = n0 − (â − â)2 + (↠+ â)4 − (â + â)2 |ni (4.11)
4 2mω mω
Ya que ↠y â aumentan o disminuyen el estado al cual son aplicados, se obtendrán estados |ni,
|n + 2i, |n − 2i, |n + 4i y |n − 4i, los cuales seguirán cumpliendo las relaciones de ortonormalidad:
0
n n = δn0 n (4.12)
la energı́a crı́tica. Para tener una idea más clara sobre la convergencia de los datos se utiliza el
espectro de energı́a para distintos tamaños de matriz, otorgando los valores m = 1 y ω = 1 para
simplificar el cálculo, y para ~ se otorgará el valor de ~ = 0.01 ya que, cuando ~ tiende a cero
la mecánica cuántica arroja resultados fı́sicos parecidos a la mecánica clásica, pero darle un valor
increı́blemente pequeño es algo imposible de hacer, ya que mientras más pequeño sea su valor, más
difı́cil será obtener resultados computacionalmente, en este caso ~ = 0.01 es el valor más pequeño
con el que se trabaje, este valor es suficiente para obtener buenos resultados.
En la figura 4.4 se nota que los valores propios de la matriz con tamaño 10001 x 10001 elementos
asegura la convergencia, al menos hasta valores propios que estén por debajo de una energı́a con
valor aproximado de E = 20. Esto es suficiente, ya que no se necesitan energı́as tan altas para
trabajar con regiones fuera del pozo, además todos los valores dentro del pozo están convergidos.
Existen valores propios cuya diferencia está en un orden de magnitud de 10−11 , incluso de 10−13
para algunos otros. Sin embargo, Mathematica no puede diferenciar valores propios que presenten
diferencias tan pequeñas, considerándolos iguales (presentan degeneración), esto provoca que en el
cálculo de vectores propios Mathematica haga combinaciones lineales entre estos valores, arrojando
valores erróneos. Para solucionar este problema se construyen matrices considerando paridad, es
decir, matrices cuya representación en la base {|ni} sólo considere a n con valores pares o impares,
de esta forma se rompe la degeneración en los valores propios de la energı́a. Las matrices resultantes
son la matriz par de Ĥ, cuyos valores para n son de 0, 2, 4,..., y 10000, y la matriz impar de Ĥ con
n = 1, 3, 5, ..., 9999, la longitud de estas matrices son de 5001 y 5000 elementos, respectivamente.
Una ventaja de considerar paridad en la matriz de Ĥ es la disminución en el tamaño de las matrices,
en consecuencia, también dismuye el tiempo de cálculo para cada uno de sus elementos.
CAPÍTULO 4. PERIODO Y LA MATRIZ DEL HAMILTONIANO 25
Figura 4.4: En esta figura se grafican los valores propios de la energı́a correspondientes a matrices
con un tamaño que está entre 2000 hasta 10000 elementos.
Los valores propios de la energı́a han sido obtenidos para un valor de ~ = 0.01, una forma
interesante de analizar estos resultados es mediante la densidad de estados, la cual da resultados
parecidos al periodo clásico, siempre y cuando ~ tenga un valor cercano a cero. Al trabajar con
un valor de ~ = 0.01 la densidad de estados se aproxima muy bien al periodo clásico del potencial
cuártico (figura 4.5).
Figura 4.5: Comparación entre el periodo clásico y la densidad de estados con un ~ = 0.01
CAPÍTULO 4. PERIODO Y LA MATRIZ DEL HAMILTONIANO 26
En la figura 4.6 se compara el periodo clásico con la densidad de estados utilizando los valores
~ = 0.1, 0.5 y 1. Al trabajar con un valor de ~ = 0.1 la densidad de estados se sigue aproximando
al periodo clásico (figura 4.6a), pero, al aumentar el valor a ~ = 0.5 el conjunto de puntos que
representan a la densidad de estados va dejando de coincidir con el periodo (4.6b), este efecto es
fácil de ver para valores más grandes de ~ (figura 4.6c). Incluso algunos puntos ya no coinciden con
el periodo clásico.
(a) ~ = 0.1
Figura 4.6: Comparación del periodo clásico con la densidad de estados para distintos valores de ~.
Capı́tulo 5
Según la ecuación ??, los estados coherentes se construyen en la base {|ni}, por lo que hay que
truncar la base y considerar paridad de la misma forma que se hizo para las matrices de Ĥ. Por lo
tanto, el estado coherente puede construirse por una parte par y una impar de la siguiente manera:
|z|2 ∞ n |z|2
− X z − X zn X zn
|zi = e 2 √ |ni = e 2 √ |ni + √ |ni (5.1)
n=0 n! n par n! n impar
n!
La ecuación se descompone en dos términos, uno de ellos con suma para n pares y otra para
los n impares, a estos términos se les nombrará como |z par i y |z impar i, respectivamente. Se puede
reescribir a |zi como la combinación de ambos estados.
El número de estados |ni que forman a cada estado coherente se asigna de acuerdo con el
tamaño de las matrices de Ĥ correspondientes, es decir, las matrices impares y pares. Por lo tanto,
el estado coherente impar tendrá 5000 estados, mientras que el par 5001 estados.
Se puede expresar el estado |zi en términos de la base de vectores propios de la energı́a {|Ek i},
obtenida al diagonalizar la matriz de Ĥ.
27
CAPÍTULO 5. ESTADOS COHERENTES Y LA FUNCIÓN DE HUSIMI 28
kcon
X
|zi = ck |Ek i (5.3)
k=1
kcon = 1800 y representa el número de vectores propios que han convergido, pero, ya que se
toma en cuenta la paridad, existen vectores propios |Ek i para cada una de las matrices par e impar,
definidos como E + y E − , respectivamente. Reescribiendo la ecuación 5.3 considerando paridad:
k k
900
X 900
X
c−
−
c+ +
|zi = |z par i + |z impar i = k Ek + k Ek
(5.4)
k=1 k=1
−
−
c+
+
k = Ek z par y ck = Ek z impar .
Para obtener más información sobre los estados |z par i y |z impar i se calcula la norma para cada
uno de ellos y el Bra-Ket hz par |z impar i, ésta última es fácil de calcular ya que |z par i y |z impar i
están construidos en la base {|ni}, y al ser ésta una base ortonormal, cualquier producto interno
hn0 |ni = 0 para n 6= n0 . La norma de |zi puede obtenerse mediante:
∞ X
∞ 0 ∞
2 (z ∗ )n z n 2 X |z|2n 2 2
hz|zi = e− |z| hn| √ √ |ni = e− |z| = e− |z| e|z|
X
√ (5.5)
n=0 n0 =0 n! n0 ! n=0 n!
hz|zi = 1 (5.6)
El vector |zi está normalizado, sólo resta encontrar la norma para los vectores |z par i y |z impar i.
|z|2 ∞
− X z 2n
|z par i = e 2 p |2ni (5.7)
n=0 (2n)!
∞
−|z|2
X ( |z|2 )2n
hz par |z par i = e (5.8)
(2n)!
n=0
∞
X ( |z|2 )2n
Puede verse que el factor es la expasión en serie del cosh (|z|2 ), por lo tanto, la
(2n)!
n=0
norma de |z par i está dada por:
2
hz par |z par i = e−|z| cosh (|z|2 ) (5.9)
CAPÍTULO 5. ESTADOS COHERENTES Y LA FUNCIÓN DE HUSIMI 29
|z|2 ∞
X z 2n+1
−
|z impar i = e 2 p |2n + 1i (5.10)
n=0 (2n + 1)!
∞
−|z|2
X ( |z|2 )2n+1
hz impar |z impar i = e (5.11)
(2n + 1)!
n=0
2
hz impar |z par i = e−|z| sinh (|z|2 ) (5.12)
La norma de |zi se obtuvo utilizando la definición de un estado coherente (ecuación ??), también
puede obtenerse teniendo en cuenta que está formado por |z par i y |z impar i.
2
hz|zi = hz par |z par i + hz impar |z impar i = e−|z| [cosh (|z|2 ) + sinh (|z|2 )] (5.13)
ex + e−x
cosh (x) = (5.14)
2
ex − e−x
sinh (x) = (5.15)
2
2 2 2 2
!
2 e|z| + e−|z| e|z| − e−|z| 2 2
hz|zi = e−|z| + = e−|z| e|z| (5.16)
2 2
hz|zi = 1 (5.17)
Lo que coincide con el resultado de la ecuación 5.6. Las normas de los estados |z par i y |z impar i
puede ser analizadas en la figura 5.1, puede verse que las normas no tienen un valor de 0.5 para
valores pequeños de |z|2 .
CAPÍTULO 5. ESTADOS COHERENTES Y LA FUNCIÓN DE HUSIMI 30
Figura 5.1: Normas correspondiente a los estados |z par i y |z impar i, curva azul y amarilla, respecti-
vamente.
Considerando un estado coherente inicial |zo i y un estado coherente |zi, ambos pueden ser
expresados mediante la ecuación ??.
|z|2 ∞ n
− X z
|zi = e 2 √ |ni (5.19)
n=0 n!
|zo |2 ∞ n
− X z
|zo i = e 2 √ o |ni (5.20)
n=0 n!
2
+|z|2 ) zo∗ z zo z ∗ ∗ ∗ ∗ +zz ∗ ) ∗ (z−z ∗
| hz|zo i |2 = e−(|zo | e e = e−(zo zo −zo z−zo z = e−[z o )+zo (zo −z)]
(5.22)
2
| hz|zo i |2 = e−|z−zo | (5.24)
r
1 mω i
z=√ x+ √ p (5.25)
2 ~ ~mω
z depende de los valores de la posición y el momento, es decir, depende de las coordenadas del
espacio fase. Asignando los valores para m, ω y ~ en z y zo .
1 1 i 1
z=√ √ x+ √ p =√ (x + ip) (5.26)
2 ~ ~ 0.02
1 1 i 1
zo = √ √ xo + √ po =√ (xo + ipo ) (5.27)
2 ~ ~ 0.02
La función de Husimi de un estado coherente está representada por una curva Gaussiana, lo
que tiene sentido, ya que se relaciona con la propiedad número 5 de los estados coherentes.
donde |ψ(t)i = |z(t)i y |z(0)i = |zo i. Se puede expresar el estado |zo i y |z(t)i en términos de la
base de vectores propios de la energı́a {|Ek i}, obtenida al diagonalizar la matriz de Ĥ.
X
|zo i = ck |Ek i (5.30)
k
X iEk t
|z(t)i = ck exp − |Ek i (5.31)
~
k
X iEk t
hz |z(t)i = ck exp − hz|Ek i (5.32)
~
k
El estado |z(t)i puede expresarse en términos de paridad mediante la ecuación 5.4, reescribiendo
la ecuación 5.32.
iEk+ t
+ X − iEk− t
−
X
hz|z(t)i = c+
k exp − z Ek + ck exp − z Ek (5.33)
~ ~
k k
Ek+ y Ek− son los valores propios de las matrices par e impar de Ĥ, respectivamente. Finalmente,
la función de Husimi:
2
+
−
X iE t X
− iE t
E −
Qzo (z) = | hz |ψ(t)i |2 = c+ k E + + k
exp − z c exp − z (5.34)
k ~ k k ~ k
k k
La función de Husimi puede ser construida con paridad definida. La representación de un estado
coherente par evolucionando puede ser obtenida con la siguiente ecuación:
2
+
X
+ iE t +
Qzpar 2 k
(z) = | hz |z (t)i | = c exp − z E (5.35)
par
o
k ~ k
k
2
−
X
− iE t
E −
Qzimp 2 k
(z) = | hz |z (t)i | = c exp − z (5.36)
o impar k k
~
k
CAPÍTULO 5. ESTADOS COHERENTES Y LA FUNCIÓN DE HUSIMI 33
Hay que tener en cuenta que no se puede obtener una función analı́tica para la función de
Husimi de un estado |ψ(t)i debido al análisis numérico que se ha venido trabajando, pero se puede
obtener el valor de la función de Husimi en distintos puntos (x, p), esto es, calcular el valor de la
ecuación 5.33 en un conjunto de puntos (x, p) distribuidos en el espacio fase, a este conjunto de
puntos se le llamará rejilla.
La rejilla estará formada por un total de 25921 puntos (x, p). En la gráfica 5.2 se muestran algu-
nos puntos de la rejilla junto a trayectorias del espacio fase correspondientes al potencial cuártico.
Figura 5.2: Trayectorias del espacio fase del potencial cuártico junto a unos cuantos puntos de la
rejilla
Ya que se tienen 25921 puntos, hay que obtener el valor de la variable z (definida en la ecua-
ción 5.25) para cada uno de los puntos (x, p) de la rejilla, y ası́ formar los estados coherentes |zi
correspondientes a esos puntos, ya que estos estados dependen del valor de la variable z (ecuación
??). Esto permite obtener el Bra hz| y hacer los Bra-Ket z Ek+ y z Ek− de la ecuación 5.33, esto
−
−
Para obtener los coeficientes c+
+
k = Ek z par y ck = Ek z impar se debe escoger un estado
coherente inicial correspondiente a un punto del espacio fase, ahora bien, para escoger la posición
de este punto debe tenerse en cuenta las regiones del potencial cuártico que son importantes de
estudiar, por lo tanto, el punto debe ser parte de alguna trayectoria que se encuentré dentro de uno
de los pozos del potencial cuártico, otro punto en una trayectoria fuera del pozo, y por último un
punto que se encuentre en la separatriz del espacio fase.
Una forma de hallar los puntos es colocar las trayectorias del espacio fase junto a la rejilla como se
hizo en la figura 5.2 sólo que con más trayectorias, de esta forma es más fácil escoger aquellos puntos
−
que puedan ser de utilidad para calcular c+
k y ck . En este caso los puntos (−2.15, −4.51), (0, 1.06) y
(0, 0) corresponden a trayectoria dentro del pozo, fuera del pozo, y en la separatrı́z, respectivamente.
Los puntos pueden visualizarse en la figura 5.3
Con los puntos anteriores se construyen los estados coherentes iniciales, que evolucionarán de
acuerdo a la ecuación 5.34.
Figura 5.3: Trayectorias en el espacio fase correspondientes al potencial cuártico a energı́as igual a
Eden = −14.5849 (curva azul), Ef u = 0.523688 (curva roja) y Ecri = 0 (curva negra). Los puntos
respectivos a las anteriores trayectorias son (−2.15, −4.51) (punto azul), (0, 1.06) (punto rojo) y
(0, 0) (punto negro).
Capı́tulo 6
Para lograr observar la evolución de un estado coherente se hará uso de la ecuación 5.34, y se
utilizará en tres distintos casos que ya se han venido mencionando, el primero de ellos es observar
la evolución en las trayectorias que se originan en el espacio fase a energı́as menores a la energı́a
crı́tica, la segunda es estudiar la trayectorı́a que se origina en la energı́a crı́tica (la separatrı́z), y
por último estudiar cómo es la evolución en trayectorias con energı́a mayor a la energı́a crı́tica.
Para este tipo de evolución se utilizará el estado coherente inicial correspondiente a la energı́a
Eden = −14.5849, esta energı́a se encuentra aproximadamente a la mitad de uno de los pozos, por
lo que la evolución se aprecia mejor. Al obtener el valor de la función de Husimi (5.34) para cada
uno de los puntos de la rejilla a tiempos distintos, se puede observar en la figura 6.1 la evolución
de un estado coherente a distintos tiempos:
Puede verse que el estado coherente recorre la trayectoria en el espacio fase hasta llegar a su
punto de partida, sin embargo, a tiempos cortos no se notan cambios considerables, para observar
cómo pierde su forma con el paso del tiempo es útil construir la función de Husimi a tiempos que
sean múltiplos del periodo correspondiente a la trayectoria con la que se está trabajando. El periodo
se conoce a partir del análisis que se hizo en la sección 2.1. En este caso el periodo tiene un valor
de Tden = 1.09503. De esta forma puede construirse la función de Husimi a tiempos que resulten
considerables para estudiar su evolución. En el siguiente conjunto de imágenes (figura 6.2) se puede
apreciar al estado coherente evolucionando a tiempos 0, 10, 20 y 35 veces el periodo Tden .
35
CAPÍTULO 6. EVOLUCIÓN DE ESTADOS COHERENTES 36
Figura 6.1: Evolución de un estado coherente dentro del pozo, para los tiempos t = 0, 0.2, 0.4 y 0.7.
La curva roja representa la trayectoria clásica.
Para analizar la evolución fuera del pozo se usó el punto (0, 1.06) del espacio fase para el
estado coherente inicial, correspondiente a la energı́a Ef u = 0.523688, energı́a mayor a la energı́a
crı́tica. Al obtener el valor de la función de Husimi (5.34) para cada uno de los puntos de la rejilla
a tiempos distintos, se puede observar en la figura 6.4 que el estado coherente pierde su forma
Gaussiana cada vez que vuelve a su punto de partida. El periodo correspondiente a esta trayectoria
es Tf ue = 3.54123.
Al igual que la evolución dentro del pozo, la perdida de la forma Gaussiana se apreciará mejor
con tiempos múltiplos del periodo. La figura 6.5 muestra al estado coherente evolucionando en
múltiplos de Tf ue .
A diferencia de la evolución dentro del pozo, puede verse que la función de onda se difunde en
el espacio fase mucho más rápido al trabajar con energı́as mayores a la energı́a crı́tica. Por último,
el estado termina por difundirse en toda la trayectoria y comienza a auto interferir (6.3).
CAPÍTULO 6. EVOLUCIÓN DE ESTADOS COHERENTES 37
Figura 6.2: Evolución de un estado coherente dentro del pozo, para los tiempos 0, 10, 20 y 35 veces
el periodo Tden . La curva roja representa la trayectoria clásica.
En la figura 6.8 se observa que, al pasar el tiempo, la función de onda inicial se ha separado
en dos funciones de onda al llegar al punto (0, 0), cada una de estas ondas evolucionan en ambos
lados del punto de inestabilidad, siguen la trayectoria hasta que se encuentran de nuevo.
Las dos funciones de onda resultantes evolucionan de distinta forma, de acuerdo a la figura 6.11,
la función que se desplaza a la izquierda del punto de inestabilidad (eje negativo de x) evoluciona de
forma similar al estado coherente fuera del pozo, mientras que la función de onda que se desplaza a
la derecha del punto de inestabilidad (0, 0) (eje positivo de x), lo hace de acuerdo al estado coherente
CAPÍTULO 6. EVOLUCIÓN DE ESTADOS COHERENTES 38
Figura 6.3: Evolución de un estado coherente en la separatriz del espacio fase. La curva roja
representa la trayectoria clásica.
dentro del pozo. Ambas funciones evolucionan de acuerdo a los casos estudiados en las secciones
4.1 y 4.2 por lo que auto interferirán conforme pase al tiempo, sin embargo, además del fenómeno
de auto-interferencia, ambas funciones interfieren en la región correspondiente al eje positivo x, en
esta región se aprecia mucho mejor este fenómeno, ya que ambas funciones interfieren una con la
otra y con ellas mismas.
CAPÍTULO 6. EVOLUCIÓN DE ESTADOS COHERENTES 39
Figura 6.4: Evolución de un estado coherente fuera del pozo (la curva roja representa la trayectoria
clásica.) para los tiempos t = 0, 0.25 Tf ue , 0.5 Tf ue y 0.75 Tf ue .
CAPÍTULO 6. EVOLUCIÓN DE ESTADOS COHERENTES 40
(a) t = 0 (b) t = 3 Tf ue
(c) t = 5 Tf ue (d) t = 10 Tf ue
Figura 6.5: Evolución de un estado coherente dentro del pozo, para los tiempos 0, 3, 5 y 10 veces
el periodo Tf ue . La curva roja representa la trayectoria clásica.
(a) t = 15 Tf ue (b) t = 3 Tf ue
Figura 6.6: Evolución de un estado coherente dentro del pozo, para los tiempos 0, 3, 5 y 10 veces
el periodo Tf ue . La curva roja representa la trayectoria clásica.
CAPÍTULO 6. EVOLUCIÓN DE ESTADOS COHERENTES 41
Figura 6.7: Evolución de un estado coherente en la separatriz del espacio fase. La curva roja
representa la trayectoria clásica.
CAPÍTULO 6. EVOLUCIÓN DE ESTADOS COHERENTES 42
Figura 6.8: Evolución de un estado coherente en la separatriz del espacio fase. La curva roja
representa la trayectoria clásica.
CAPÍTULO 6. EVOLUCIÓN DE ESTADOS COHERENTES 43
Figura 6.9: Evolución de un estado coherente en la separatriz del espacio fase. La curva roja
representa la trayectoria clásica.
CAPÍTULO 6. EVOLUCIÓN DE ESTADOS COHERENTES 44
Figura 6.10: Evolución de un estado coherente en la separatriz del espacio fase. La curva roja
representa la trayectoria clásica.
CAPÍTULO 6. EVOLUCIÓN DE ESTADOS COHERENTES 45
Figura 6.11: Evolución de un estado coherente en la separatriz del espacio fase. La curva roja
representa la trayectoria clásica.
Capı́tulo 7
Probabilidad de supervivencia
46
Capı́tulo 8
Resultados y discusión
47
Capı́tulo 9
Conclusiones
48
Apéndice A
√
Z
(BD) 1 4 ω µν
S = d x −g φR − g ∇µ φ∇ν φ − V (φ) + SM (A.1)
16π φ
Donde
√
Z
SM = d4 x −gL(m)
√ √
Z
(BD) 1 4 ω µν ω µν
δS = d x δ −g φR − g ∇µ φ∇ν φ − V (φ) + −g φδR − δg ∇µ ∇ν φ + δSM
16π φ φ
1√
√
Z
1 ω ω
δS (BD) = d4 x − −g gab δg ab φR − g µν ∇µ φ∇ν φ −V (φ) + −g φδR − δg µν ∇µ ∇ν φ
16π 2
| {z } φ| {z } φ
µνgµν δg g cd ∇c φ∇d φ
+ δSM
49
APÉNDICE A. DERIVACIÓN DE LAS ECUACIONES DE CAMPO BRANS-DICKE. 50
1
δΓλµν = g λρ (∂µ δgνρ + ∂ν δgµρ − ∂ρ δgµν )
2
1
δΓλµν = g λρ (∇µ δgνρ + ∇ν δgµρ − ∇ρ δgµν )
2
1 λρ h i
= g ∇µ −gνα gρβ δ αβ + ∇ν −gµα gρβ δg αβ − ∇ρ −gµα gνβ δg αβ
2
1h i
= − gνα ∇µ δβλ δg αβ + gµα ∇ν δβλ δg αβ − gµα gνβ g λρ ∇ρ δg αβ
2
1h i
= − gνα ∇µ δg αλ + gµα ∇ν δg αλ − gµα gνβ ∇λ δg αβ
2
i
µν 1h
g δΓσµν =g µν ασ ασ σ αβ
− gνα ∇µ δg + gµα ∇ν δg − gµα gνβ ∇ δg
2
1 µ
h
ασ ν ασ ν σ αβ
i
= − δα ∇µ δg + δα ∇ν δg − δα gνβ ∇ δg
2
1
g µν δΓσµν = −∇α δg ασ + gαβ ∇σ δg αβ
2
Por otra parte
i
1h
g µσ δΓλλµ = g µσ − gµα ∇λ δg αλ + gλα ∇µ δg αλ − gλα gµβ ∇λ δg αβ
2
1 h i
= − δασ ∇λ δg αλ + gλα ∇σ δg αλ − gλα δβσ ∇λ δg αβ
2
1h i
= − ∇λ δg σλ + gλα ∇σ δg αλ − gλα ∇λ δg ασ
2
1
= − ∇λ δg σλ − ∇α δg ασ +gλα ∇σ g αλ
2 | {z }
0
µσ 1
g δΓλλµ = − gαβ ∇σ δg αβ
2
APÉNDICE A. DERIVACIÓN DE LAS ECUACIONES DE CAMPO BRANS-DICKE. 51
= Rµν δg µν − ∇µ ∇ν δg µν + gµν ∇2 δg µν
| {z }
gµν δg µν
4 √
Z
(BD) 1 1 ω cd
δS = d x −g − gµν φR − g ∇c φ∇d φ − V (φ)
16π 2 φ
ω
+ φ (Rµν − ∇µ ∇ν + gµν ) − ∇µ φ∇ν φ δg µν + δSM = 0
| {z } φ
φRµν −∇µ ∇ν φ+gµν φ
Donde
√
Z
δSM = δ d x −gL(m)
4
8π (m) ω 1 1 V (φ)
Gµν = Tµν + 2 ∇µ φ∇ν φ − gµν ∇c φ∇c φ + [∇µ ∇ν φ − gµν φ] − gµν (A.2)
φ φ 2 φ 2φ
4 √
∇a φ∇b φ
Z
BD 1 ab
δS = d x −g δφR − ωg δ − δV (φ)
16π φ
4 √
ab φ (∇a φδ∇b φ + (δ∇a φ) ∇b φ) − ∇a φ∇b φδφ
Z
1 dV
= d x −g δφR − ωg − δφ = 0
16π φ2 dφ
√
2∇a φδ∇b φ ∇a φ∇b φ
Z
1 dV
= d4 x −g δφR − ωg ab − 2
δφ − δφ = 0
16π φ φ dφ
APÉNDICE A. DERIVACIÓN DE LAS ECUACIONES DE CAMPO BRANS-DICKE. 52
√
Z
4 2∇a φδ∇b φ
d x −g −ωg ab
φ
Y aplicando integración por partes o en su defecto utilizando la regla de Leibniz para la derivada
de un producto
√ ∇ φδφ ∇ φδφ∇ φ ∇ ∇ φ
Z
4 ab a a b b a
d x −g −2ωg ∇b + 2
− δφ
φ φ φ
La primera integral es cero, porque al evaluar en los valores extremos, los términos encerrados en
el corchete cuadrado, no varı́an. Juntando todos los términos restantes , tenemos que
4 √
2∇b ∇a φ ∇a φ∇b φ
Z
BD 1 ab 2∇a φ∇b φ dV
δS = d x −g Rδφ − ωg − − δφ − δφ
16π φ2 φ φ2 dφ
4 √ ωg ab 2ωg ab ∇b ∇a φ dV
Z
1
= d x −g R − 2 ∇a φ∇b φ + − δφ = 0
16π φ φ dφ
Como δφ es un parámetro arbitrario, lo que debe ser cero es lo que esta encerrado entre paréntesis,
por lo que las ecuaciones de campo son
2ω ω dV
φ + R − 2 ∇a φ∇a φ − =0 (A.3)
φ φ dφ
a2 (t)
ds2 = −dt2 + dr2 + a2 (t)r2 dθ2 + a2 (t)r2 sen2 θdϕ2 (B.1)
1 − kr2
Recordado que
adj(A)
A−1 =
|A|
Obtenemos
−1 0 0 0
0 1−kr2
a2
0 0
g µν =
1
0 0 0
a2 r2
1
0 0 0 a2 r2 sen2 θ
53
APÉNDICE B. ECUACIONES DE CAMPO PARA LA MÉTRICA FLRW 54
ρ
Rσµν = ∂µ Γρνσ − ∂ν Γρµσ + Γρµλ Γλνσ − Γρνλ Γλµσ (B.2)
Por otra parte, el tensor de Ricci se define al contraer 2 indices del tensor de Riemann, es decir
ρ
Rσν = Rσρν = ∂ρ Γρνσ − ∂ν Γρρσ + Γρρλ Γλνσ − Γρνλ Γλρσ (B.3)
1
Γµαβ = g µσ (∂β gσα + ∂α gσβ − ∂σ gαβ ) (B.5)
2
Como ya vimos anteriormente para poder obtener las ecuaciones de campo debemos desarrollar el
tensor de Ricci y el escalar de Ricci, es decir
m = Rr + Rθ + Rϕ
Rtt = Rtmt trt tθt tϕt
m = Rt + Rθ + Rϕ
Rrr = Rrmr rtr rθr rϕr
m = Rt + Rr + Rϕ
Rθθ = Rθmθ θtθ θrθ θϕθ
m
Rϕϕ = Rϕmϕ t
= Rϕtϕ r
+ Rϕrϕ θ
+ Rϕθϕ
APÉNDICE B. ECUACIONES DE CAMPO PARA LA MÉTRICA FLRW 55
Γrtt = Γθtt = Γϕ ϕ t r ϕ t θ θ r r r ϕ t
tt = Γrt = Γrt = Γtθ = Γrt = Γtt = Γrt = Γϕt = Γtϕ = Γtt = Γtϕ = Γtθ = Γθt =
Γθrr = Γttt = Γtϕt = Γϕ θ t ϕ r ϕ t r ϕ ϕ θ
rr = Γrr = Γrϕ = Γϕϕ = Γrϕ = Γθr = Γtθ = Γrθ = Γθθ = Γrr = Γθθ =
Γθϕθ = 0
Γϕ r θ r θ
tϕ = Γrt = Γtθ = Γrt = Γtθ =
ȧ
a
kr
Γrrr = 1−kr2
aȧ
Γtrr = 1−kr2
Γθrθ = Γϕ
rϕ =
1
r
Γϕ
θϕ =
1
tanθ
Γtθθ = aȧr2
Γθϕϕ = −senθcosθ
1 ϕt 1 ϕr
Γϕ
θϕ = 2 g (∂ϕ gtθ + ∂θ gtϕ − ∂t gθϕ ) + 2 g (∂ϕ grθ + ∂θ grϕ − ∂r gθϕ )
1 1
+ g ϕθ (∂ϕ gθθ + ∂θ gθϕ − ∂θ gθϕ ) + g ϕϕ (∂ϕ gϕθ + ∂θ gϕϕ − ∂ϕ gθϕ )
2 2
1 ϕϕ
= g (∂ϕ gϕθ + ∂θ gϕϕ − ∂ϕ gθϕ )
2
1 ϕϕ
= g (∂θ gϕϕ )
2
1 1
2a2 r2 senθcosθ
= 2 2 2
2 a r sen θ
1
=
tanθ
• Rrr
t ϕ
Rrtr = ∂t Γtrr − ∂r Γtrt + Γttt Γtrr + Γtrt Γrrr + Γtθt Γθrr + Γtϕt Γϕ t t t r t θ t
rr − Γtr Γrt + Γrr Γrt + Γθr Γrt + Γϕr Γrt
aȧ aȧ ȧ aä
= ∂t − =
1 − kr2 1 − kr2 a 1 − kr2
APÉNDICE B. ECUACIONES DE CAMPO PARA LA MÉTRICA FLRW 56
θ
Rrθr = ∂θ Γθrr − ∂r Γθrθ + Γθtθ Γtrr + Γθrθ Γrrr + Γθθθ Γθrr + Γθϕθ Γϕ
rr
− Γθtr Γtrt + Γθrr Γrrθ + Γθθr Γθrθ + Γθϕr Γϕ
rθ
2
k + ȧ2
1 ȧ aȧ 1 kr 1
= −∂r + 2
+ 2
− =
r a 1 − kr r 1 − kr r 1 − kr2
ϕ ϕ t ϕ θ
Rrϕr = ∂ϕ Γϕrr − ∂ Γ ϕ
r rϕ + Γ Γ
tϕ rr + Γ ϕ r
Γ
rϕ rr + Γ Γ
θϕ rr + Γ ϕ
Γ
ϕϕ rr
ϕ
− Γϕ t ϕ r ϕ θ
tr Γrϕ + Γrr Γrϕ + Γθr Γrϕ + Γϕr Γrϕ
ϕ ϕ
2
k + ȧ2
1 ȧ aȧ 1 kr 1
= −∂r + + − =
r a 1 − kr2 r 1 − kr2 r 1 − kr2
Por lo que
aä + 2ȧ2 + 2k
Rrr = (B.6)
1 − kr2
• Rtt = −3 aä
r = − ä
• Rtrt a
θ = − ä
• Rtθt a
ϕ
• Rtϕt = − aä
t = r 2 aä
• Rθtθ
r
• Rθrθ = ȧ2 r2 + kr2
ϕ
• Rθϕθ = ȧ2 r2 + kr2
• Rϕϕ = aär2 sen2 θ + 2r2 sen2 θ(ȧ2 + k) = r2 sen2 θ[aä + 2ȧ2 + 2k]
t
• Rϕtϕ = aär2 sen2 θ
r
• Rϕrϕ = r2 sen2 θ(ȧ2 + k)
θ
• Rϕθϕ = r2 sen2 θ(ȧ2 + k)
ȧ2
ä k
Rij = +2 2 +2 2 gij (B.7)
a a a
• Gtt
ä ȧ2 k
1 ä
Gtt = Rtt − Rgtt = −3 + 3 + +
2 a a a a
• Grr
2äa + ȧ2 + k
1
Grr = Rrr − Rgrr = −
2 1 − kr2
• Gθθ
1
Gθθ = Rθθ − Rgθθ = − 2äar2 + ȧ2 r2 + kr2
2
• Gϕϕ
1
Gϕϕ = Rϕϕ − Rgϕϕ = −r2 sen2 θ 2aä + ȧ2 + k
(B.9)
2
APÉNDICE B. ECUACIONES DE CAMPO PARA LA MÉTRICA FLRW 58
Proponiendo que
Gµν = 8πGN Tµν
Donde
ρ 0 0 0
0 −p 0 0
Tµν =
0 0 −p 0
0 0 0 −p
ä ȧ2
ä k
Gtt = 8πGN Ttt = −3 + 3 + + = 8πGN (ρ)
a a a2 a2
2
ȧ 8πGN ρ k
= − 2 (B.10)
a 3 a
Apéndice C
Partiendo de la acción
√
Z
S= d4 x −g(RGB
2
) (C.1)
2
Donde RGB = R2 − 4Rµν Rµν + Rµνσ Rµνσ es el invariante Gauss-Bonnet. Variando la anterior
acción respecto a gµν obtenemos
√ 2 √
Z
d4 x 2
δS = δ −g (RGB ) + −gδ RGB
1√ √
Z
4 µν 2 2
= d x −gg δ(gµν )(RGB ) + −g δ(RGB )
2 | {z }
√ √
Z Z
2
d4 x −gδ(RGB d4 x −g δR2 − 4δ (Rµν Rµν ) + δ (Rµνσ Rµνσ )
)=
√ √ √
Z Z Z
d x −gδ(R ) = 2 d x −gRδ(R) = 2 d4 x −gRδ(g µν Rµν )
4 2 4
√
Z h i
= 2 d4 x −gR µν µν λ λ
R
µν δ(g ) + g ∇ λ δ(Γ µν ) − ∇ ν δ(Γ )
µλ
| {z }
δRµν
√
Z h h ii
=2 d4 x −gR −Rµν g µρ g νσ δ(gρσ ) + g µν δ∇λ (Γλµν ) − ∇ν δ(Γλµλ )
√ √
Z Z h i
4 µν
2 d x −gRg ∇λ δ(Γλµν ) = d4 x −gRg µν g λη ∇λ (∇ν δ(gµη ) + ∇µ δ(gνη ) − ∇η δ(gµν ))
59
APÉNDICE C. VARIACIÓN DE LA ACCIÓN GAUSS-BONNET 60
Integrando por partes o usando regla de Leibniz, asumiendo que en los limites no hay variación
√ √
Z Z
4 µν λη
d x −gRg g ∇λ ∇ν δ(gµη ) = d4 x −gg µν g λη (∇ν ∇λ R)δ(gµη )
√
Z
= d4 x −g(∇µ ∇ν R)δ(gµν )
√ √
Z Z
d4 x −gRg µν g λη ∇λ ∇µ δ(gνη ) = d4 x −gg µν g λη (∇µ ∇λ R)δ(gνη )
√
Z
= d4 x −g(∇µ ∇ν R)δ(gµν )
√ √
Z Z
4 µν λη
− d x −gRg g ∇λ ∇η δ(gµν ) = − d4 x −gg µν g λη (∇η ∇λ R)δ(gµν )
√
Z
=− d4 x −gg µν (∇2 R)δ(gµν )
√ √
Z Z h i
−2 d x −gR∇ν δ(Γλµλ ) = −
4
d4 x −gRg µν g λη ∇ν (∇λ δ(gµη ) + ∇µ δ(gλη ) − ∇η δ(gµλ ))
De la cual se obtiene
4 √ √
Z Z
− d x −gRg g ∇ν ∇λ δ(gµη ) = − d4 x −gg µν g λη (∇λ ∇ν R)δ(gµη )
µν λη
√
Z
= − d4 x −g(∇ν ∇µ R)δ(gµν )
√ √
Z Z
4 µν λη
− d x −gRg g ∇ν ∇µ δ(gλη ) = − d4 x −gg µν g λη (∇µ ∇ν R)δ(gλη )
√
Z
=− d4 x −gg µν (∇2 R)δ(gµν )
√ √
Z Z
4 µν λη
d x −gRg g ∇ν ∇η δ(gµλ ) = d4 x −gg µν g λη (∇η ∇ν R)δ(gµλ )
√
Z
= d4 x −g(∇ν ∇µ R)δ(gµν )
Por lo que
√ √
Z Z
4 2
d4 x −g −2RRµν + 2(∇µ ∇ν R) − 2g µν (∇2 R) δ(gµν )
d x −gδ(R ) = (C.2)
APÉNDICE C. VARIACIÓN DE LA ACCIÓN GAUSS-BONNET 61
√ √
Z Z
4 µν
= −4 d x −gδ(Rµν R ) = −4 d4 x −g [δ(Rµν )Rµν + δ(Rµν )Rµν ]
√
Z
= −4 d4 x −g [δ(Rµν )Rµν + δ(g ρµ g ν Rρ )Rµν ]
√
Z
= −4 d4 x −g [δ(Rµν )Rµν + Rµν Rρ δ(g ρµ g ν ) + g ρµ g ν Rµν δ(Rρ )]
√
Z
= −4 d4 x −g [2δ(Rµν )Rµν + Rµν Rρ g ν δ(g ρµ ) + Rµν Rρ g ρµ δ(g ν )]
√ h
Z i
= −4 d4 x −g 2δ(Rµν )Rµν − Rµ Rρ g ρβ g µα δ(gβα ) − Rνρ Rρ g β g να δ(gβα )
√
Z
= −4 d4 x −g 2δ(Rµν )Rµν − 2Rνρ Rρµ δ(gµν )
Tomando el término
√ √
Z Z h i
−4 d4 x −g2δ(Rµν )Rµν = −8 d4 x −gRµν ∇λ δ(Γλµν ) − ∇ν δ(Γλµλ )
√ √
Z Z
4 µν
−8 d x −gR ∇λ δ(Γλµν ) = −4 d4 x −gRµν g λη ∇λ (∇ν δ(gµη ) + ∇µ δ(gνη ) − ∇η δ(gµν ))
Separando e integrando
√ √
Z Z
4 µν λη
−4 d x −gR g ∇λ ∇ν δ(gµη ) = −4 d4 x −gg λη (∇ν ∇λ Rµν )δ(gµη )
√
Z
= −4 d4 x −g(∇η ∇ν Rµη )δ(gµν )
√ √
Z Z
−4 d4 x −gRµν g λη ∇λ ∇µ δ(gνη ) = −4 d4 x −gg λη (∇µ ∇λ Rµν )δ(gνη )
√
Z
= −4 d4 x −g(∇η ∇µ Rνη )δ(gµν )
√ √
Z Z
4 µν λη
4 d x −gR g ∇λ ∇η δ(gµν ) = 4 d4 x −gg λη (∇η ∇λ Rµν )δ(gµν )
√
Z
=4 d4 x −g(∇2 Rµν )δ(gµν )
√ √
Z Z
4 µν
8 d x −gR ∇ν δ(Γλµλ ) =4 d4 x −gRµν g λη ∇ν (∇λ δ(gµη ) + ∇µ δ(gλη ) − ∇η δ(gµλ ))
APÉNDICE C. VARIACIÓN DE LA ACCIÓN GAUSS-BONNET 62
√ √
Z Z
4 µν λη
4 d x −gR g ∇ν ∇λ δ(gµη ) = 4 d4 x −gg λη (∇λ ∇ν Rµν )δ(gµη )
√
Z
=4 d4 x −g(∇ν ∇η Rµη )δ(gµν )
√ √
Z Z
4 d4 x −gRµν g λη ∇ν ∇µ δ(gλη ) = 4 d4 x −gg λη (∇µ ∇ν Rµν )δ(gλη )
√
Z
=4 d4 x −gg µν (∇λ ∇η Rλη )δ(gµν )
√ √
Z Z
4 µν λη
−4 d x −gR g ∇ν ∇η δ(gµλ ) = −4 d4 x −gg λη (∇η ∇ν Rµν )δ(gµλ )
√
Z
= −4 d4 x −g(∇ν ∇λ Rµλ )δ(gµν )
Por lo tanto
√
Z
d4 x −gδ(Rµν Rµν )
√
Z h i
= d4 x −gδ(gµν ) 8Rνρ Rρµ − 4(∇η ∇ν Rµη ) − 4(∇η ∇µ Rνη ) + 4∇2 (Rµν ) + 4g µν ∇λ ∇η (Rλη )
(C.3)
√ √
Z Z
4 µνσ
d x −gδ(Rµνσ R ) = d4 x −g [δ(Rµνσ )Rµνσ + δ(Rµνσ )Rµνσ ]
√ h
Z i
= d4 x −g 2δ(Rµνσ )Rµνσ + δ(g µα g νβ g κ g ση )Rαβκη Rµνσ
√ h
Z i
= d4 x −g 2δ(Rµνσ )Rµνσ + Rαβκη Rµνσ g ση δ(g µα g νβ g κ ) + Rαβκη Rµνσ g µα g νβ g κ δ(g ση )
√
Z
= d4 x −g [2δ(Rµνσ )Rµνσ + Rαβκη Rµνσ ∗
h ii
∗ g ση g κ g νβ δ(g µα ) + g ση g κ g µα δ(g νβ ) + g ση g µα g νβ δ(g κ ) + g µα g νβ g κ δ(g ση )
√ √
Z Z
d4 x −gRαβκη Rµνσ g ση g κ g νβ δ(g µα ) = − d4 x −gRαβκη Rµνσ g ση g κ g νβ g µρ g αλ δ(gρλ )
√
Z
=− d4 x −gRµρσβ Rρσβ
ν
δ(gµν )
√ √
Z Z
4 ση κ µσ νβ
d x −gRαβκη Rµνσ g g g δ(g ) = − d4 x −gRαβκη Rµνσ g ση g κ g µα g νρ g βδ δ(gρδ )
√
Z
=− d4 x −gRµρσβ Rρσβ
ν
δ(gµν )
APÉNDICE C. VARIACIÓN DE LA ACCIÓN GAUSS-BONNET 63
√ √
Z Z
4 ση µα νβ κ
d x −gRαβκη Rµνσ g g g δ(g ) = − d4 x −gRαβκη Rµνσ g ση g µα g νβ g ρ g κφ δ(gρφ )
√
Z
=− d4 x −gRµρσβ Rρσβ
ν
δ(gµν )
√ √
Z Z
4 µα νβ κ ση
d x −gRαβκη Rµνσ g g g δ(g ) = − d4 x −gRαβκη Rµνσ g µα g νβ g κ g σφ g ησ δ(gφδ )
√
Z
=− d4 x −gRµρσβ Rρσβ
ν
δ(gµν )
√ √ h
Z Z i
4 µνσ
d x −gδ(Rµνσ R ) = d4 x −g −4Rµσβ Rσβ ν
δ(gµν ) + 2Rµνσ δ(Rµνσ )
√ h
Z i
= d4 x −g −4Rµσβ Rσβ
ν κ
δ(gµν ) + 2Rνσ Rµνσ δ(gµκ ) + 2gµκ Rµνσ δ(Rνσ
κ
)
√ h
Z i
= d4 x −g −2Rµσβ Rσβ
ν
δ(gµν ) + 2gµκ Rµνσ δ(Rνσ
κ
)
Desarrollando el término
4 √ √
Z Z
µνσ
2 d x −ggµκ R δ(Rνσ ) = 2 d4 x −ggµκ Rµνσ [∇ δ(Γκνσ ) − ∇σ δ(Γκν )]
κ
4 √ √
Z Z
µνσ
2 d x −ggµκ R ∇ δ(Γνσ ) = d4 x −ggµκ Rµνσ ∇ [g κη (∇σ δ(gνη ) + ∇ν δ(gση ) − ∇η δ(gνσ ))]
κ
√
Z
= d4 x −gRηνσ ∇ [∇σ δ(gνη ) + ∇ν δ(gση ) − ∇η δ(gνσ )]
√ √
Z Z
4 ηνσ
d x −gR ∇ ∇ν δ(gση ) = d4 x −g(∇ν ∇ Rηνσ )δ(gση )
√
Z
= d4 x −g(∇η ∇ Rµην )δ(gµν )
√ √
Z Z
4 ηνσ
− d x −gR ∇ ∇η δ(gνσ ) = − d4 x −g(∇η ∇ Rηνσ )δ(gσν )
√
Z
= d4 x −g(∇η ∇ Rµην )δ(gµν )
Tomando la expresión
√ √
Z Z
−2 d4 x −ggµκ Rµνσ ∇σ δ(Γκν ) = − d4 x −ggµκ Rµνσ ∇σ [g κη (∇ δ(gνη ) + ∇ν δ(gη ) − ∇η δ(gν ))]
√
Z
=− d4 x −gRηνσ ∇σ [∇ δ(gνη ) + ∇ν δ(gη ) − ∇η δ(gν ))]
APÉNDICE C. VARIACIÓN DE LA ACCIÓN GAUSS-BONNET 64
√ √
Z Z
4 ηνσ
− d x −gR ∇σ ∇ν δ(gη ) = − d4 x −g(∇ν ∇σ Rηνσ )δ(gη )
√
Z
= d4 x −g(∇η ∇ Rµην )δ(gµν )
√ √
Z Z
d4 x −gRηνσ ∇σ ∇η δ(gν ) = d4 x −g(∇η ∇σ Rηνσ )δ(gν )
√
Z
= d4 x −g(∇η ∇ Rµην )δ(gµν )
Por lo tanto
√ √
Z Z
d4 x −ggµκ Rµνσ δ(Rνσ
κ
d4 x −g 4(∇η ∇σ Rµησν )δ(gµν ) + Rηνσ ∇[ ∇σ] δ(gνη )
2 )=
Aplicando la propiedad
β
∇[ρ ∇σ] Aµ = Rµσρ Aβ
√ √ h
Z Z h ii
2 d4 x −ggµκ Rµνσ δ(Rνσ
κ
)= d4 x −g 4(∇η ∇σ Rµησν )δ(gµν ) + Rηνσ Rνσ
β β
δ(gβη ) + Rησ δ(gβν )
√
Z
= d4 x −g [4(∇η ∇σ Rµησν )δ(gµν )]
√ √ h
Z Z i
4 µνσ
d x −gδ(Rµνσ R )= d4 x −g 4(∇η ∇σ Rµησν ) − 2Rµσβ Rσβ
ν
δ(gµν ) (C.4)
√ √
Z Z
4 2
d x −gδ(RGB ) = d4 x −g −2RRµν + 2(∇µ ∇ν R) − 2g µν (∇2 R)
√
Z
1
d4 x −g( g µν (RGB
2
) + −2RRµν + 2(∇µ ∇ν R) − 2g µν (∇2 R)+
δS =
2
8Rνρ Rρµ − 4(∇η ∇ν Rµη ) − 4(∇η ∇µ Rνη ) + 4∇2 (Rµν ) + 4g µν ∇λ ∇η (Rλη )+
i
4(∇η ∇σ Rµησν ) − 2Rµσβ Rσβ
ν
)δ(gµν ) = 0
APÉNDICE C. VARIACIÓN DE LA ACCIÓN GAUSS-BONNET 65
1 µν 2
g (RGB ) + −2RRµν + 2(∇µ ∇ν R) − 2g µν (∇2 R) + 8Rνρ Rρµ − 4(∇η ∇ν Rµη )
2 i (C.5)
−4(∇η ∇µ Rνη ) + 4∇2 (Rµν ) + 4g µν ∇λ ∇η (Rλη ) + 4(∇η ∇σ Rµησν ) − 2Rµσβ Rσβ
ν
66