Documentos de Académico
Documentos de Profesional
Documentos de Cultura
PROYECTO DE TESIS
Callao, 2021 - A
PERÚ
INFORMACIÓN BÁSICA
INTRODUCCIÓN 1
V. CRONOGRAMA DE ACTIVIDADES 21
VI. PRESUPUESTO 22
Por ello en este trabajo se aplicará la cuantización de un campo escalar real moviendose
en un espacio tiempo cosmológico de fondo. El método es mostrado por el cálculo de
la producción de partı́culas desde el vacı́o en un espacialmente plano, espacio - tiempo
de Robertson - Walker con un factor de escala R(t) = t con resultados dados en la
distribución de pares de partı́culas producidas que a grandes energias de convierte en
una distribución térmica con una temperatura T = ~c/πKb R(t); también se presentan
otras aproximaciones de el problema definiendo los estados iniciales de particulas en
un universo con singularidades que no envuelven cambios en la dinámica del universo
temprano.
1
I. PLANTEAMIENTO DEL PROBLEMA
2) ¿Se podrá obtener una estructura covariante que defina el propagador del campo
escalar real libre moviéndose en una métrica de Schwarzschild?
1.3. Objetivos
1.3.1. Objetivo general
Utilizar las integrales de camino para cuantizar un campo escalar real con acoplamiento
mı́nimo de gravedad en una métrica de Schwarzschild.
2
2) Obtener una estructura covariante definida como propagador del campo escalar real
libre que se mueve en una métrica de Schwarzschild.
1.4. Justificación
La importancia de este trabajo radica en la comprobación de una cuantización
mediante el método de integrales de camino para un campo escalar con su respectiva
dinámica cosmológica de fondo y que sea consistente con la teorı́a cuántica y relatividad
General.
3
II. MARCO TEÓRICO
4
2.2 Antecedentes Nacionales
(J.L. Medina, 2019) En el trabajo titulado Cuantización de un campo escalar
real libre para univeros de Friedman - Lemaitre - Robertson - Walker), se buscó
obtener el formalismo de cuantización canónica dada por la teorı́a cuántica de campos
para espacio-tiempos planos (Minkowski) con un acoplamiento de Gravedad dada por un
factor de acoplamiento conforme para preservar la masa y el escalar de Ricci a un campo
escalar real sin interacción con un potencial. Se realiza una transformación conforme para
hacer una escala y trabajar con una variedad pseudo - plana de la Métrica de Friedman
- Lemaı́tre - Robertson - Walker, buscando obtener una forma alterna de la ecuación
de Klein- Gordon que es la ecuación cuántica relativista que rige el comportamiento de
partı́culas de spin cero masivos.
Una vez obtenida dicha expresión, se prodece a realizar la interpretación de operador y
encontramos las relaciones de conmutación con el cuál podemos obtener las funciones
que contengan los operadores de creación y aniquilación, puesto que queremos obtener
los estados de vacı́os es importante saber el mecanismo de creación y aniquilación de
partı́culas. Puesto que trabajamos con una métrica que describe un universo en expansión
el interés del trabajo es verificar la creación de partı́culas teniendo en consideración
estados iniciales del universo y estados finales del mismo.
5
Donde D indica la dimensionalidad espacial con la cua se trabaja. Para nuestro caso D
= 3. Esta ecuación se reduce a la ecuación de Klein - Gordon para α = 0. Un paso
importante para la cuantización es la definir la derivada covariante para espacio-tiempos
curvos.
Para ello sabemos que la derivada parcial de un vector no es un tensor bajo
transformaciones de coordenadas generalizadas. Ası́ la derivada covariante definida en
la Relatividad General es:
∇µ Aν = ∂µ Aν + Γνµλ Aλ
∇µ Aν = ∂µ Aν − Γλµν Aλ
Donde Γ son los sı́mbolos de Christoffel que en la Relatividad General cumple el rol de
potencial gravitatorio. Puesto que Γ es simétrico en los ı́ndices inferiores, la derivada
covariante se transforma como un tensor de rango 2. Usaremos las siguientes relaciones
de la derivada covariante
1 √
∇µ B µ = √ ∂µ ( −gB µ )
−g
1 √
∇µ Aµν = √ ∂µ ( −gAµν )
−g
Podemos definir ası́ el D’Alembertiano en forma de las derivadas covariantes.
1 √
∇µ ∇µ φ = √ ∂µ ( −gg µν ∂ν φ) (3)
−g
Por tanto podemos escribir la ecuación de Klein - Gordon proporcionada por el lagrangiano
(1) y usando (3) como:
(∇µ ∇µ φ + m2 + αR)φ = 0
Ası́ esta ecuación es una forma generalizada de la ecuación de Klein - Gordon donde
el término m2 + αR = Mef 2
f se comporta como una masa efectiva que podrı́a darnos
información sobre el comportamiento geométrico del espacio - tiempo por una fuente
de materia pero no es la única que contiene la contribución gravitatoria, ya que el
D’Alembertiano según su construcción dado en (3) también posee inclusión gravitatoria
dada por la métrica g µν .
Las investigaciones que datan desde los años 70’s trabajan la cuantización para un universo
de Friedman - Lemaitre - Roberston - Walker (FLRW’s Universe) en el cuál se realiza una
transformación conforme para simplicidad del trabajo con un espacio - tiempo pseudo
plano.
Al momento de realizar la cuantización canónica de un universo en expansión, es
fundamental la utilización d las transformaciones de Bogolyubov para relacionar los
estados de vacı́o de un universo temprano con uno en su etapa final. Puesto que la prueba
de cuantización radica en la obtención del espectro energético de los estados de vacı́o
considerando la creación y aniquilación de partı́culas. Es ası́ que la cuantización por
medio de las Integrales de Camino se presenta como una forma mucho más intuitiva de
cuantizar el espacio-tiempo curvo, ya que al dividir el espacio podrı́amos considerar cada
pequeño fragmento como un sub espacio plano en el cuál el principal objetivo es la de
encontrar una expresión de las funciones de Green para unir 2 puntos en un espacio curvo
y considerando el estado inicial del universo y el final, como un ánalogo a una fuente
creadora de partı́culas.
6
Ası́ pues para entender mejor este tratamiento en espacios curvos, primero se recomienda
estudiar casos sencillos como el de una particula que obedece la ecuación de Schrödinger en
un espacio curvo con un acoplamiento arbitrario escalar de curvatura; ası́ pues la intención
es encontrar expresiones para la amplitud de probabilidad utilizando el desarrollo de las
integrales de camino en Mecánica Cuántica:
2
~2
∂ ~ αβ
i~ hx, s|Ψi = − g (x)∇α ∇α + R hx, s|Ψi
∂s 2µ 2µ
Con lo cuál obtiene una expresión para la amplitud buscada, haciendo la consideración
que la ecuación es covariante en la representación de tiempo - propio de un propagador
de campo escalar φ(x), que es:
Z s
dxα dxβ ~2
Z
0 0 p i 0 1 1
hx, s|x , 0i = d[x(s )][∆ ]exp ds µgαβ 0 − ( + (p − 1))R(x)
~ 0 2 ds ds0 2µ 3
(4)
Donde p es un parámetro adimensional, se tiene que para el caso en que p = 0 y = 31 la
ecuación (4) se reduce a
Z s
dxα dxβ
Z
0 0 i 01
hx, s|x , 0i = d[x(s )]exp ds µgαβ 0 (5)
~ 0 2 ds ds0
Que fue la expresión que DeWitt encontró primero al percatarse que atribuirle un
acoplamiento a la ecuación de Schrodinger términos de curvatura escalar proporcionaba
una expresión para la amplitud de probabilidad en la representación de tiempo - propio.
La ecuación (4) está dada por una fragmentación del intervalo de tiempo desde 0
hasta s por N + 1 incrementos de igual tamaño , podemos escribirlo como:
µ n(N +1)/2 Z YN
n
d xj (g(xj ))1/2
hx, s|x, 0i = lı́m
N →∞ 2πi
j=1
" N
!#
(l+1)
1 dxα dxβ
Z
X λ
xexp i − R ds0 + pln∆(xl+1 , xl ) (6)
i=0 l 2 αβ ds0 ds0 2µ
Donde s = (N + 1)
La integral con lı́mites desde s = l hasta s = (l + 1) lo realiza a lo largo del camino
más corto, que en caso de espacios curvos es una geodésica x(s0 ) de xl a xl+1 . Teniendo en
consideración que la signatura es (−, +, +, +) podriamos reemplazar el factor (g)1/2 por
7
su negativo; entonces la variación global que aparece en el ecuacion (6) se puede definir
como: 2
−1/2 ∂ σ(xl+1 , xl )
∆(xl+1 , xl ) = [g(xl+1 )] det − [g(xl )]−1/2
∂xl+1 ∂xl
Ası́ el factor ∆(xl+1 , xl ) se transforma en un escalar de xl+1 a xl de manera que para un
espacio sin curvatura ∆(xl+1 , xl ) = 1 siendo R=0, de esa forma (6) se reduce a su lı́mite
de espacio plano. Si tomamos ~ → 0 i.e. el lı́mite clásico, la integral que aparece en la
exponencial
R 0 1 de (6) se ve dominada por la geodésica desde x0 hacia x en el cual su acción
clásica 0 2 µgαβ (dxα /ds0 )(dxβ /ds0 )ds0 es estacionaria.
Realizando un cambio de coordenadas, a unas generalizadas (conocidas como las
coordendas de Riemann), nos permite introducir una geodesica de x a xN +1 como
coordenadas lineales y se podrı́a mostrar como:
Z (N +2)
dxα dxβ
ds0 gαβ 0 0
= −1 δαβ y α y β
(N +1) ds ds
La ecuación (6) entonces se reescribe como:
µ π/2 Z
0
hx, s + |x , 0i = dn xN +1 [g(xN +1 )]1/2 [∆(x, xN +1 )]p
2πi
" Z #
(N +2) α β
1 dx dx λ
x exp i ds0 µgαβ 0 0
− R hxN +1 , s|x0 , 0i (7)
(N +1) 2 ds ds 2µ
Donde las contribuciones están claramente dadas principalmente por la región en el cual
¯
δαβ <µ Podemos expandir ası́ la amplitud dara por la ecuación (7) utilizando todo lo
anterior
1
hxN +1 , s|x0 , 0i = hx, s|x0 , 0i + γ λ ∂λ hx, s|x0 , 0i + γ λ γ µ ∂λ ∂µ (8)
2
Cambiando los lı́mites de integración en la ecuación (7) para que vaya desde −∞ hacia
∞ y haciendo una expansión al rededor de y = 0 (es decir el origen) se tiene
Z (N +2)
1
ds0 R(y) = [R + y µ R;µ + O(y 2 )]
(N +1) 2
e introduciendo en (7) se obtiene
µ n/2 Z ∞ 1
0
hx, s + |x , 0i = d4 yexp[i µ−1 δαβ y α y β ]
2πi −∞ 2
1
x hx, s|x , 0i − ( (1 − p)Rµλ y y + i(λ/2µ)R hx, s|x0 , 0i
0 µ λ
6
1
+ y µ y λ ∂µ ∂λ hx, s|x0 , 0i + ... (9)
2
Los términos pares de y se pueden sacar ya que se eliminan y usando las integrales
Gaussianas tenemos:
iλR i 1
hx, s + |x0 , 0i = hx, s|x0 , 0i − hx, s|x0 , 0i + δ µλ [ ∂µ ∂λ hx, s|x0 , 0i
2µ µ 2
1
− (1 − p)Rµλ hx, s|x0 , 0i] + O(2 ) (10)
6
8
Siendo que (10) satisface la ecuación de Schrödinger.
Podemos indicar entonces que el propagador para un campo escalar considerando una
curvatura generalizada en un espacio-tiempo de Minkowski, tenemos la siguiente ecuación
de Klein - Gordon con acoplamiento de gravedad
Donde m es la masa de las partı̀culas asociadas con el campo, y la métrica tiene la siguiente
signatura (-,+,+,+), para un α = 0 se tiene un acoplamiento mı́nimo y para α = 61 se
tiene un acoplamiento conforme, ası́ la función de Green satisface la ecuación (11).
con µ = 1/2 y la condición de contorno lı́ms→0 hx, s|x0 , 0i = [g(x)]−1/2 δ(x − x0 ) sabiendo
que g(x)−1/2 se puede reemplazar por (−g)−1/2 . El parámetro s será interpretado como
”tiempo propio”porque no cambia bajo una transformación de coordenadas xµ .
Con la signatura de la métrica dada anteriormente el término g es reemplazado por
su negativo y usando la definición de ∆ obtenemos una expresión que es generalmente
covariante
Z ∞ Z s
dxρ dxβ
Z
0 −im2 s 0 p 0 1 1
G(x, x ) = idse d[x(s )][∆ ]exp i ds gρβ 0 − [α + (p − 1)]R(x)
0 0 4 ds ds0 3
(14)
Entonces ası́ en un principio parece no existir inconsistencia en la utilización de las
integrales de camino con inclusión de gravedad, como si pasaba en la cuantización
canónica. Pero antes de establecerlo como el hallazgo del siglo, debemos resolver aún el
problema de los estados de vacı́o y la producción de partı́culas.
Para ello J.B. Hartle junto con S.W. Hawking aplican el tratamiento en los bordes
de un agujero negro de Schwarzschild, en cual se busca obtener una relación térmica para
la producción de partı́culas por radiación considerando una sumatoria de los caminos
que una partı́cula escalar sigue desde un punto x próximo a la singularidad hacia el
infinito; y debido a la conservación energética un camino en reversa que deberá tener la
antipartı́cula producida, desde dicho punto hacia la singularidad.
Se considera la amplitud de emisión en un modo definitivo de energı́a E como la medida
de un observador distante mediante la relación:
−2πE
(Probabilidad de emitir una partı́cula con energı́a E) = e k x (Probabilidad de
absorción de una partı́cula con energı́a E)
9
Donde: k es la gravedad superficial de la métrica de Schwarzchild; que para un
1
agujero negro de masa M es k = 4M . La conexión dada por ambas probabilidades
indicadas arriba; es condición necesaria precisamente para establecer una emisión de
partı́culas con un espectro térmico, para una temperatura dada:
T = k/2πκ
Se inicia con la definición de la acción para un sistema de coordenadas dado por xα como
funciones de un parámetro t; x = x(t); aquı́ consideramos que la partı́cula va desde un
punto x0 en t = 0 hacia un punto x en t = T .
Z T
S[x(t)] = dtg(ẋ, ẋ) (15)
0
Siendo g la métrica para espacios curvos, ẋ representa a los vectores tangentes que posee
componentes de velocidad
El camino que logra extremizar S satisface también la ecuación de la geodésica, con t
como un parámetro afı́n. Para caminos de tiempo tiempo (timelike) el parámetro t es
tomado como una constante a la cuál se le multiplica un tiempo propio, de igual forma
se realiza para caminos de tipo espacio (spacelike) en la que, al parámetro constante se
le multiplica por una distancia propia.
El integrando en (15) no es el clásico factor [−g(ẋ, ẋ)]1/2 pero igualmente (15) es
perfectamente válido como acción clásica y presenta ventaja para la formulación de
integrales de camino ya que es cuadrática en sus velocidades. Puesto que la acción continua
analı́ticamente desde los caminos tipo tiempo hasta los tipo espacio, proporciona además
el formalismo correcto de la mecánica cuántica relativista de una partı́cula escalar en
un espaciotiempo plano; es por ello que es una generalización natural para espacios curvos.
Debido a que la suposición básica de las integrales de camino es que la amplitud para
una partı́cula que viaja por un camino particular en el espaciotiempo es proporcional al
exp{iS[x(t)]}.
10
Segundo sumando sobre todos los valores no observados de T.
Pero antes de que se complete esta definición; las ecuaciones (16) y (17) deben obtener
un significado fı́sico. Tenemos ahora esta inquietud; por ello por simplicidad y precisión
restringimos nuestra atención a partı́culas escalares que se propagan en una geometrı́a
de Schwarzschild.
Donde r2 dΩ2 es la parte angular de la métrica, y esta definido el radio vector r(y, τ ) como:
−z 2 + y 2 = (r/2M − 1)er/2M
1 Ω
Z Z
0
F (Ω, x, x ) = δx[ω]exp − γ(ẋ, ẋ)dω (20)
4 0
Debemos recordar que ahora la base coordenada xα es (ε, y, θ, ϕ); y puesto que las
coordenadas de Kruskal nos proporcionan toda la ventaja para trabajar la métrica
de Schwarzschild en todo el espacio; es decir las coordenadas cubren los rangos:
−∞ < ε < ∞, −∞ < y < ∞, 0 6 θ 6 π, 0 6 ϕ < 2π. La métrica γ es regular a
excepción de un polo trivial en θ = 0 y π. Con esto conseguimos ahora que la integral
11
sea sobre todos los caminos en todo el espacio que inician en x = x0 para ω = 0 hasta
x = x para ω = Ω.
12
la métrica Euclidiana con un factor de Curvatura dada por Rαθβφ (Tensor de Riemann)
y δαβ es un delta de Kronecker.
= 2δ αβ
Siendo la ecuación (28) una forma alternativa a una integral gaussiana, y reemplazando
su valor obtenido en la ecuación (26) se obtiene:
∂F 1
= (γ αβ ∇α ∇β − R)F (29)
∂Ω 3
Aquı́ debe considerarse que de la ecuación (26) la expresión F,αβ es la representación
de las derivadas en las coordenadas z α y z β el cuál debe cambiarse por una derivada
covariante en las coordenadas normales con respecto de la métrica.
13
Se obtiene:
∂F 1
= [γ αβ ∇α ∇β + (s − 1)R]F (30)
∂Ω 3
Con esto, cualquier cantidad que represente o contenga curvatura se puede describir aquı́
como en la expresión de K, si tenemos la elección apropiada de la acción.
Para las soluciones de vacı́o en las mediaciones de un agujero negro se considera que el
factor R desaparece haciendo que (30) y (29) sean idénticas.
La solución de (20) puede ser volver continuada a valores fı́sicos de las coordenadas y
del parámetro temporal. Esto quiere decir que satisfacen una ecuación de continuidad
analticamente continua.
∂F
i = −2 F (33)
∂T
Esta vez, el factor 2 = g αβ ∇α ∇β es la derivada covariante con respecto a la métrica
g. Teniendo en consideración la implicancia fı́sica del factor 2 podemos intepretar la
ecuación (33) como una forma alterna de la ecuación de Schrödinger para la propagación
en el parámetro de tiempo T .
Hasta ahı́ hemos salvado el primer problema de la definición con las integrales de
camino dada por (16); ahora el segundo problema radica en dar un significado a (17), el
propagador es la integral sobre T. Nuevamente, para salvar esta situación haremos uso
de la forma asintótica de F (T, x, x0 ) para los casos cuando T es pequeño y cuando T es
muy grande.
El comportamiento de F para valores de T pequeños esta dado principalmente por la
propı̀a definición de la integral de camino. Para valores fijos de x , x0 y T pequeño, la
acción para un camino tı́pico se hace grande; sólo nos interesa debido a su contribución
los caminos que sean estacionarios, i.e., las geodésicas que conectan x con x0 , para dichos
caminos, la acción será:
1
S(T, x, x0 ) = s(x, x0 )/T (34)
4
Aquı́ s(x,x’) es el cuadrado de la distancia entre x y x0 .
14
La geodésica más simple para un T pequeño se podrı́a escribir:
is(x, x0 )
0
F (T, x, x ) = exp N (T, x, x0 ) (35)
4T
Que contiene la suma sobre todas los posibles caminos (geodésicas) que conectan x con x’;
pero este comportamiento pequeño no es del todo uniforme ni válido sobre todo el rango
de valores de x. Si integrasemos (37)sobre la funciones de x cuando T tiende a cero; la
contribución será únicamente de los caminos estacionarios; y eso será cuando x esté muy
cerca a x0 , con esto podemos indicar que F (0, x, x0 ) es una función proporcional a δ.
Para valores grandes de tiempo; expresado como Ω que nos da la solución de la ecuación
(31), F puede expresarse como:
F (T, x, x0 ) = O(T −2 )
Este comportamiento muestra que la ecuación (17) converge en el lı́mite superior, pero
en el lı́mite inferior no ocurre dicha convergencia; al contrario F diverge como T −2 . Para
ello se introduce un factor de convergencia exp(−ε/T )), siendo ε pequeño y positivo.
La ecuación (17) se escribirá como
Z ∞
0
K(x, x ) = i dT exp(−im2 T − ε/T )F (T, x, x0 ) (39)
0
Este K es la solución de una ecuación de onda inhomogénea que se mueve por el background
de Schwarzschild y también cumple como solución de la relación.
15
2.3 Base Conceptual
El método de Integrales de Camino de Feynman es la mejor técnica de cuantización que
actualmente se tiene en la Teorı́a Cuántica de Campos, es una forma muy intuitiva, es
más práctico que la cuantización canónica y con mucha interpretación fı́sica que permite
una cuantización covariante para sistemas complejos, sistemas no perturbativos como
perturbativos en nuestro caso es útil para la obtención de espectros energéticos (térmicos)
para geometrı́as locales y globlaes, puesto que está fundamentado en un principio básico
de la Mecánica Cuántica que es el principio de superposición.
Factor de acoplamiento: Factor escalar que se utiliza para determinar la intensidad con
la que se da una interacción, puesto que el formalismo lagrangiano y hamiltoniano permite
la separación de las acciones de movimiento en una parte cinética y otra de interacción,
el factor o constante de acoplamiento da la información necesaria sobre como se relaciona
la parte cinética con la interacción. Un ejemplo de constante de acoplamiento se da en
el lagrangiano de la electrodinámica cuántica, donde es interpretado por la carga eléctrica.
16
III. HIPOTESIS Y VARIABLES
3.1 Hipótesis
3.1.1 Hipótesis General
La cuantización de un campo escalar real con acoplamiento mı́nimo de gravedad en una
métrica de Schwarzschild es realizable mediante integrales de camino.
2) La estructura de un propagador del campo escalar libre que se mueve en una métrica
de Schwarzschild es válido para la teorı́a cuántica de campos.
Variable Dependiente:
Integral de Camino:
Es un método de cuantización que consiste en la segmentación de una trayectoria usando
el principio de mı́nima acción para poder generar un espectro de energı́a mı́nimo (estado
fundamental), donde cada segmento del espacio - tiempo genera una contribución que
se suma a todas las demás para proporcionar una contribución energética de un punto
inicial a otro.
Variable Independiente:
Métrica de Schwarzschild:
Solución exacta de las ecuaciones de campo de Einstein que describen un objeto exótico
con simetrı́a esférica; no presenta 2 de las 3 propiedades necesarias según la Teorı́a
de No pelo (Rotación, Carga) teniendo únicamente Masa como factor de contribución
gravitacional. Es la solución más sencilla y es muy útil para la introducción de teorı́as de
cuantización gravitacional.
17
3.2.1 Operacionalización de Variables
18
IV. DISEÑO METODOLÓGICO
19
4.5 Técnicas e instrumentos para la recolección de
información
Por la naturaleza del trabajo , no se requiere instrumentos para la recolección de
información.
20
V. CRONOGRAMA DE ACTIVIDADES
MESES
ACTIVIDAD 1 2 3 4 5 6 7 8
Estudio de la Mecánica Cuántica
en Espacios Curvos x x
Construcción de una ecuación de
campo escalar real con acoplamiento x x
de gravedad para una métrica dada
Estudio del formalismo de integrales
de camino para espacio-tiempos curvos x x x
Cuantización del campo escalar real
mediante integrales de camino con acoplamiento x x
de gravedad la geometrı́a de Schwarzschild
Intepretación de los resultados x
Redacción y presentación del informe final x x
21
VI. PRESUPUESTO
Alimentación 18 738
22
VII. REFERENCIAS BIBLIOGRÁFICAS
D.M., Chitre & H.B., James. (1977) Path-Integral quantization and cosmological
particle production: An example* . Physical Review D, Volume 16, Number 2
P., Leonard (1979).Path Integral for a particle in curved space. Physical Review D.
Volume 2, Number 2.
H.B., James & H.W., Stephen. (1976) Path derivation of black-hole radiance* .
Physical Review D. Volume 13, Number 8.
23
VIII. ANEXO
MATRIZ DE CONSISTENCIA: ÇUANTIZACIÓN DEL CAMPO ESCALAR MEDIANTE INTEGRALES DE CAMINO CON
ACOPLAMIENTO MÍNIMO DE GRAVEDAD EN LA MÉTRICA DE SCHWARSZCHILD”