Solución de la cuerda cósmica a la relatividad general

Tengo dificultades para finalizar una resolución de la ecuación de Einstein para una cuerda cósmica estática. Comienzo con el siguiente ansatz métrico , para una cadena recta estática orientada a lo largo del z dirección. Usando coordenadas cilíndricas:

(1) d s 2 = PAG 2 ( r ) d t 2 d r 2 q 2 ( r ) d ϑ 2 d z 2 .
Conectar esta métrica en la ecuación de Einstein da las siguientes ecuaciones, después de algunas páginas de cálculos (estoy usando el η = ( 1 , 1 , 1 , 1 ) convención y GRAMO a b = k T a b . Los índices están asociados a los marcos inerciales locales "planos"):
(2) GRAMO 00 = q q = k T 00 = k ρ , (3) GRAMO 11 = PAG q PAG q = k T 11 = 0 , (4) GRAMO 22 = PAG PAG = k T 22 = 0 , (5) GRAMO 33 = PAG PAG PAG q PAG q q q = k T 33 = + k τ .
Aquí, ρ > 0 y σ = τ < 0 son la densidad de energía y la tensión de la cuerda, respectivamente. Ahora, (2) implica q 0 , entonces (3) y (4) dan PAG = 0 y PAG = 0 . Entonces (5) implica τ = ρ , lo cual es bueno para una cadena relativista. Entonces, el problema comienza cuando intento resolver (2). Esperaba una cuerda delgada, por lo que un delta de Dirac para la densidad ρ . Pero (2) sugiere otra solución y no esperaba esto. Suponiendo una densidad constante ρ = ρ 0 para r < R (el radio de la cuerda) y ρ = 0 para r > R , Yo obtengo
(6) q + k ρ 0 q = 0.
Entonces esta es una ecuación armónica que tiene la solución general (escribo λ k ρ 0 para simplificar las cosas)
(7) q ( r ) = α pecado ( λ r ) + β porque ( λ r ) .
Para la métrica exterior: ρ = 0 , (2) se reduce a q = 0 , que tienen solución q ( r ) = a r + b . Coincidencia de la solución en r = R da
(8) q ( R ) = α pecado ( λ R ) + β porque λ R = a R + b .
Entonces mi problema es encontrar las constantes. α , β , a y b (¡cuatro constantes!), de las condiciones de regularidad y unión.


EDITAR: De las respuestas de AVS y Michael a continuación, debería aplicar la regularidad en r = 0 :

(9) q En t ( 0 ) = 0 , (10) q En t ( 0 ) = 1.
Esto da α = λ 1 y β = 0 , entonces
(11) q En t ( r ) = 1 λ pecado ( λ r ) .
Esto esta bien. Pero luego impongo la unión en la superficie de la cuerda. Aparentemente, hay una sutileza que no entiendo aquí. De acuerdo con algunos papeles oscuros que he encontrado, la coordenada radial r no es lo mismo en el lado interior y en el exterior de la cuerda, por lo que R En t R extensión :
(12) q En t ( R En t ) = q extensión ( R extensión ) , (13) q En t ( R En t ) = q extensión ( R extensión ) .
Esto da las siguientes condiciones de unión:
(13) 1 λ pecado ( λ R En t ) = a R extensión + b , (14) porque ( λ R En t ) = a .
No puedo resolver este sistema de ecuaciones sin una restricción adicional (??). Me sale la relacion de algun papel si me impongo b = 0 entonces
(15) R extensión = 1 λ broncearse ( λ R En t ) .
Definición de la energía por unidad de longitud m = ρ 0 A En t , Yo obtengo a = 1 4 GRAMO m , que se relaciona con el déficit de ángulo.

Pero como puedo justificar eso b = 0 y que la coordenada radial no es la misma en ambos lados de la superficie de la cuerda? ¿Por qué no puedo simplemente usar R En t = R extensión = R , y luego encuentra a y b 0 ?

Un documento "oscuro" que muestra algunos detalles (¡con una notación rara y molesta!), sin explicar las diferentes coordenadas radiales y por qué. b debe ser 0. Ver expresiones (6), (7), (8), en la página 2:

https://arxiv.org/abs/hep-th/0107026

Véanse también las páginas 3 y 4 de este documento:

https://arxiv.org/abs/gr-qc/9508055

No tengo tiempo para escribir una respuesta adecuada. Pero la respuesta debe seguirse de imponer regularidad en r = 0 y condiciones de unión en r = R .
Puede que no sea un problema de tarea en una clase que estás tomando en este momento, pero sigue siendo un ejercicio bastante estándar. Lo asigné en la clase GR de pregrado que enseñé la primavera pasada.
@MichaelSeifert, bueno, ni siquiera estoy tomando una "clase". ¡Estoy estudiando este tema por mi cuenta, para agregarlo a mis notas para una clase futura! ;-)
su ansatz no parece correcto. el término q 2 ( r ) ϑ 2 no tiene diferencial. También dices que usas coordenadas polares, pero probablemente te refieres a coordenadas cilíndricas.
Con respecto a sus ediciones más recientes, probablemente debería hacer una nueva pregunta sobre ellas y vincular a los documentos que hacen esas afirmaciones (o incluir extractos de ellos, si son realmente oscuros).
@MichaelSeifert, he agregado un enlace a un documento "oscuro". Hacer una nueva pregunta produciría algunos duplicados, ya que es esencialmente la misma pregunta que antes.
¿Por qué la votación cerrada?

Respuestas (2)

Como señaló @mmeent en los comentarios, la métrica debe ser regular en el origen. Esto significa, en particular, que

q ( r ) r
en el limite r 0 . De manera equivalente, debemos tener q ( 0 ) = 0 y q ( 0 ) = 1 . Además, las componentes métricas y sus primeras derivadas deben ser continuas en el límite r = R .

Así tenemos cuatro ecuaciones (dos de regularidad en el origen, dos de continuidad en el límite) en las cuatro incógnitas α , β , a , y b . Tomar desde allí.

Sus condiciones de unión no dan el ángulo de déficit correcto (a menos que me esté perdiendo algo). da
q En t ( r ) = 1 λ pecado ( λ r ) ,
que parece correcto, y
q extensión ( r ) = ( r R ) porque ( λ R ) + 1 λ pecado ( λ R ) ,
que creo que está mal. No es lo "normal"
q extensión ( r ) = ( 1 4 GRAMO m ) r
que pude encontrar en muchos papeles (tengo porque ( λ R ) = 1 4 GRAMO m del área de la sección transversal de la cuerda gruesa). ¿Tengo que hacer el límite? R 0 ?
Por favor, ¿confirmas las expresiones de mi mensaje anterior? ¿Debo tomar un límite para recuperar el ángulo de déficit presentado en muchos artículos?
@Cham: creo que la solución estándar supone que λ R 1 , Sí.
Es extraño que la solución de la cuerda gruesa involucre una función trigonométrica - oscilante - sin. En el interior, cuando r aumenta, la función q ( r ) es oscilante (a menos que impongamos la restricción λ R < π 2 ).
@Cham: Si q 0 , entonces tiene una singularidad coordinada (y posiblemente una real, no estoy seguro). Lo mismo sucede en la solución de Schwarzschild en el horizonte de eventos.

Primero , me parece que el ansatz ( 1 ) para esta métrica de cuerda cósmica gruesa es incorrecta, ya que para un general PAG ( r ) la métrica carece de la S O ( 1 , 1 ) invariancia bajo impulsos a lo largo de la dirección de la cuerda, es decir, transformaciones de Lorentz en ( t , z ) avión.

Mi sugerencia:

(1*) d s 2 = PAG 2 ( r ) ( d t 2 d z 2 ) d r 2 q 2 ( r ) d ϑ 2 .

Tanto OP como mis métricas se reducen a lo mismo si la condición PAG 1 se impone (lo que sucede si el estrés T r r y T θ θ son cero). Sin embargo, si PAG varía con r en la versión de OP, esta simetría de impulso desaparece. Entonces, el ansatz de OP no funcionaría para una cadena gruesa que es (por ejemplo) una solución del sistema Einstein-Abelian Higgs.

segundo _ La elección correcta de las constantes es α = 1 / λ , β = 0 (mientras b 0 ). Esto se sigue de

  1. la interpretación de r como distancia desde el eje de simetría (que sería r = 0 ) a lo largo de la dirección radial (por lo que en r = 0 la métrica debe tener singularidad coordinada, por lo que q ( 0 ) = 0 );

  2. cerca del eje de simetría no debe haber déficit de ángulo adicional. Si α 1 / λ ¡Habría una cuerda delgada dentro de la cuerda gruesa!

Las constantes restantes a y b se obtienen a partir de las condiciones de continuidad de q y q a través del límite r = R . Si q saltos entonces esto correspondería a un tensor de energía-tensión superficial distinto de cero del cilindro.

Como una variación interesante de la cuerda gruesa, sugiero la métrica de un "solenoide relativista": la métrica interna es el espacio-tiempo de Melvin (con un campo magnético a lo largo del z –eje) y con tensor de energía de tensiones en función de r como esto: T v m = ρ ( r ) d i a gramo ( 1 , 1 , 1 , 1 ) , mientras que afuera es un espacio-tiempo plano con déficit de ángulo. En la superficie de un cilindro entonces habría una densidad de energía y tensiones superficiales distribucionales y actuales. Para tal métrica la función PAG ( r ) no sería constante.

Después de pensarlo más, todavía no entiendo tu ansatz invariante de Lorentz. El marco de referencia adecuado de la cadena define un marco privilegiado que puede destruir la invariancia de Lorentz de la métrica, por lo que no veo ningún problema en el ansatz (1) de mi pregunta (mientras que al final nos queda lo mismo desde PAG = 1 ).
Esta no es la invariante de Lorentz sino la invariante SO(1,1) (en realidad ISO(1,1)), ya que solo ( z , t ) el plano se transforma. No veo ningún problema en el ansatz (1) de mi pregunta. El problema es que no es muy general. Más general debe tener B ( r ) 2 d z 2 en vez de d z 2 y no puedes justificar B = 1 por una cuestión general de la cuerda gruesa.
Bueno, evidentemente, la métrica d s 2 = PAG 2 ( r ) d t 2 d r 2 q 2 ( r ) d ϑ 2 B 2 ( r ) d z 2 es más general, pero también hace que los cálculos sean mucho más complicados. Por definición, un ansatz es una especie de "conjetura" para encontrar soluciones. No veo ningún problema en limitarnos a B ( r ) = 1 solo para simplificar las cosas.
La función PAG 2 ( r ) delante de d t 2 es natural ya que esperaríamos que el tiempo se ralentizara cerca de la cuerda. Es menos obvio por qué debería haber B 2 ( r ) delante de d z 2 ,
un ansatz es una especie de "suposición" ... Sí, obtuvo una solución correcta de su suposición, pero solo después de "suposiciones" adicionales que ρ = τ y las presiones transversales están ausentes. Con el ansatz más general, las restricciones sobre el tensor tensión-energía son mínimas. Por otra parte si asumimos ρ = τ y las presiones transversales están ausentes desde el principio, entonces PAG = B = 1 sigue inmediatamente y los cálculos son aún más simples.
Tiene razón, cometí un "error de razonamiento" debido a una restricción muy fuerte (probablemente poco realista): supuse desde el principio que el tensor de tensión-energía no tenía ninguna presión transversal, como para una cuerda delgada . no asumí τ = ρ aunque desde el principio. Salió automáticamente de las ecuaciones, debido a esa suposición. Acabo de comprobar que las ecuaciones son inconsistentes si la presión transversal no es 0. En ese caso, necesitamos B ( r ) 1 .
Al menos, mi procedimiento como la virtud de mostrar que la presión transversal pide explícitamente que B ¡función!
¿Podría por favor explicar lo que quiere decir con S O ( 1 , 1 ) ¿simetría? Esta notación puede no ser realmente estándar para todos.
@magma: S O ( 1 , 1 ) simetría aquí son impulsos de Lorentz a lo largo de la z dirección, es decir, transformación de la forma z = z aporrear ψ + t pecado ψ , t = t aporrear ψ + z pecado ψ . Si además añadimos desplazamientos no homogéneos para t y z la simetria seria I S O ( 1 , 1 ) . Esta transformación deja d t 2 d z 2 sin cambios, por lo que mi ansatz (1 *) es invariable debajo de él para una función arbitraria PAG ( r ) , mientras que la ecuación de OP (1) es invariante solo para PAG 1 . Sobre lo que implica esta simetría para una cuerda cósmica, vea mi respuesta aquí .