Hace poco publiqué esta respuesta en Physics SE, misma que no fue elegida por el interrogador, que eligió en su lugar otra innecesariamente embrollada matemáticamente, como si el interrogador hubiese estado buscando cátedra en geometría diferencial cuando ignoraba siquiera lo que es un parámetro afín.
De cualquier modo, yo también me lié un poco con mi respuesta. En la parte de las geodésicas tipo luz básicamente copié el cálculo que hice en mi trabajo de servicio social, pero en el caso de las geodésicas tipo tiempo y tipo espacio me encontré con algunas dificultades (en realidad no pensé en la necesidad o plausibilidad de calcularlas explícitamente en el servicio social) y no pude ahondar más porque estaba en pleno periodo trimestral en la Universidad.
El objetivo de esta entrada entonces es básicamente reproducir analíticamente las geodésicas en el esquema del diagrama de Penrose de AdS que muestro acá:
y graficar con algún software numérico, e.g. Mathematica, para ello voy a emplear la métrica (con variables angulares fijas)
\begin{equation}ds^2=-(1+r^2)dt^2+(1+r^2)dr^2\end{equation} con $r=\tan\mc{R}\in\mathbb{R}^+$, y para la cubierta universal, $t\in\mathbb{R}$.
Para las geodésicas de tipo tiempo, tomando $\lambda$ como el tiempo propio, ya que (tomando signatura +---) $\dot{s}^2=-1$, se tiene que
\begin{equation}-(1+r^2)\dot{t}^2+(1+r^2)\dot{r}^2=-1\end{equation} Ahora bien, $\p_t$ (i.e. el vector de componentes $V^t=1$, $V^i=0$) es un vector de Killing global, entonces
\begin{equation}V_t\dot{t}=g_{tt}\dot{t}=-(1+r^2)\,\dot{t}\equiv-E\label{da}\end{equation} es una constante de movimiento (la energía, siendo que proviene de una simetría $t$-traslacional); donde el signo negativo es simplemente tal que $\dot{t}>0$. De aquí entonces
\begin{equation}\dot{r}^2+(1+r^2)-E^2=0\end{equation} es decir,
\begin{equation}\frac{dr}{\pm\sqrt{(E^2-1)-r^2}}=d\lambda\end{equation} cuya solución más general, con la condición (arbitraria) $r(0)=0$, es
\begin{equation}r(\lambda)=\pm\sqrt{E^2-1}\tan\lambda\,|\cos\lambda|\end{equation} que de cualquier modo, restringiendo $r(\lambda)>0$, se tiene que reducir inevitablemente el dominio de $\lambda$ a intervalos de $\pi/2$ respecto a $\lambda=0$, es decir,
\begin{equation}r(\lambda)=\begin{cases}\sqrt{E^2-1}\tan\lambda\,|\cos\lambda|,&\text{si}&\lambda\in[n\pi,\frac{(2n+1)\pi}{2}]\\[0.1in]-\sqrt{E^2-1}\tan\lambda\,|\cos\lambda|,&\text{si}&\lambda\in[\frac{(2n+1)\pi}{2},(n+1)\pi]\end{cases},\,n\in\mathbb{Z}\end{equation} esto por supuesto de algún modo está relacionado con que AdS no está extendido a-priori, o que está enrollado en la coordenada temporal. Tomando cualquier caso, de la ec. (\ref{da}) con $t(0)=0$, se sigue que
\begin{equation}t(\lambda)=\arctan(E\,\tan\lambda)\end{equation} y así entonces escribiendo $\lambda=\lambda(t)$, se sigue finalmente que (asumiendo $E>0$; si se asume lo contrario los intervalos se invierten correspondientemente),
\begin{equation}r(t)=\begin{cases}\sqrt{E^2-1}\frac{\tan{t}}{E\sqrt{1+\frac{\tan^2t}{E^2}}},&\text{si}&t\in[n\pi,\frac{(2n+1)\pi}{2}]\\[0.1in]-\sqrt{E^2-1}\frac{\tan{t}}{E\sqrt{1+\frac{\tan^2t}{E^2}}},&\text{si}&t\in[\frac{(2n+1)\pi}{2},(n+1)\pi]\end{cases},\,n\in\mathbb{Z}\end{equation} y simplemente hay que usar $\mc{R}=\arctan{r}$. De aquí uno puede procurar simplificar cosas e.g. tomar intervalos de $\pi$ respecto a $t=0$ haciendo $\tan{t}\to|\tan{t}|$ (esto equivale a lo que escribí en la respuesta de Physics SE para $r(\lambda)$), lo que puede justificarse siendo removible la discontinuidad entre cada $\pi/2$ respecto a 0; de algún modo esto recupera la $2\pi$-periodicidad de AdS en la cubierta universal. Esta cuestión de los intervalos vuelve un poco delicado el tratamiento de este problema de obtener analíticamente las expresiones para las geodésicas; el caso de las geodésicas de tipo espacio es enteramente análogo tomando $\dot{s}^2=1$ en el tiempo propio $\lambda$, pero nuevamente uno debe ser cuidadoso al considerar en dónde están definidas las soluciones físicamente relevantes.
Graficando las soluciones entonces para diversos valores de $E$, se obtiene (extendiendo a la cubierta universal)
Finalmente una cuestión relevante es que, independientemente del signo que tenga, en el caso de geodésicas tipo tiempo, la cantidad $E$ debe satisfacer $|E|\geq1$. De esto no he encontrado nada al respecto en otros lados y no lo he podido discutir ampliamente con mi asesor, sin embargo no es descabellado que estas geodésicas tengan una restricción en la energía pues implican movimiento masivo y la cantidad 1 está asociada a un cambio de longitud de arco en el tiempo propio, de modo que para que una partícula se mueva en una de estas geodésicas es coherente que su energía deba exceder o igualar en proporción esta razón de cambio (en unidades correspondientes), si la iguala, simplemente no se mueve (i.e. se queda en el polo $\mc{R}=0$). También debe notarse que cuando $E\to\infty$, las geodésicas se tornan de tipo luz, como también se esperaba.
De cualquier modo, yo también me lié un poco con mi respuesta. En la parte de las geodésicas tipo luz básicamente copié el cálculo que hice en mi trabajo de servicio social, pero en el caso de las geodésicas tipo tiempo y tipo espacio me encontré con algunas dificultades (en realidad no pensé en la necesidad o plausibilidad de calcularlas explícitamente en el servicio social) y no pude ahondar más porque estaba en pleno periodo trimestral en la Universidad.
El objetivo de esta entrada entonces es básicamente reproducir analíticamente las geodésicas en el esquema del diagrama de Penrose de AdS que muestro acá:
\begin{equation}ds^2=-(1+r^2)dt^2+(1+r^2)dr^2\end{equation} con $r=\tan\mc{R}\in\mathbb{R}^+$, y para la cubierta universal, $t\in\mathbb{R}$.
Para las geodésicas de tipo tiempo, tomando $\lambda$ como el tiempo propio, ya que (tomando signatura +---) $\dot{s}^2=-1$, se tiene que
\begin{equation}-(1+r^2)\dot{t}^2+(1+r^2)\dot{r}^2=-1\end{equation} Ahora bien, $\p_t$ (i.e. el vector de componentes $V^t=1$, $V^i=0$) es un vector de Killing global, entonces
\begin{equation}V_t\dot{t}=g_{tt}\dot{t}=-(1+r^2)\,\dot{t}\equiv-E\label{da}\end{equation} es una constante de movimiento (la energía, siendo que proviene de una simetría $t$-traslacional); donde el signo negativo es simplemente tal que $\dot{t}>0$. De aquí entonces
\begin{equation}\dot{r}^2+(1+r^2)-E^2=0\end{equation} es decir,
\begin{equation}\frac{dr}{\pm\sqrt{(E^2-1)-r^2}}=d\lambda\end{equation} cuya solución más general, con la condición (arbitraria) $r(0)=0$, es
\begin{equation}r(\lambda)=\pm\sqrt{E^2-1}\tan\lambda\,|\cos\lambda|\end{equation} que de cualquier modo, restringiendo $r(\lambda)>0$, se tiene que reducir inevitablemente el dominio de $\lambda$ a intervalos de $\pi/2$ respecto a $\lambda=0$, es decir,
\begin{equation}r(\lambda)=\begin{cases}\sqrt{E^2-1}\tan\lambda\,|\cos\lambda|,&\text{si}&\lambda\in[n\pi,\frac{(2n+1)\pi}{2}]\\[0.1in]-\sqrt{E^2-1}\tan\lambda\,|\cos\lambda|,&\text{si}&\lambda\in[\frac{(2n+1)\pi}{2},(n+1)\pi]\end{cases},\,n\in\mathbb{Z}\end{equation} esto por supuesto de algún modo está relacionado con que AdS no está extendido a-priori, o que está enrollado en la coordenada temporal. Tomando cualquier caso, de la ec. (\ref{da}) con $t(0)=0$, se sigue que
\begin{equation}t(\lambda)=\arctan(E\,\tan\lambda)\end{equation} y así entonces escribiendo $\lambda=\lambda(t)$, se sigue finalmente que (asumiendo $E>0$; si se asume lo contrario los intervalos se invierten correspondientemente),
\begin{equation}r(t)=\begin{cases}\sqrt{E^2-1}\frac{\tan{t}}{E\sqrt{1+\frac{\tan^2t}{E^2}}},&\text{si}&t\in[n\pi,\frac{(2n+1)\pi}{2}]\\[0.1in]-\sqrt{E^2-1}\frac{\tan{t}}{E\sqrt{1+\frac{\tan^2t}{E^2}}},&\text{si}&t\in[\frac{(2n+1)\pi}{2},(n+1)\pi]\end{cases},\,n\in\mathbb{Z}\end{equation} y simplemente hay que usar $\mc{R}=\arctan{r}$. De aquí uno puede procurar simplificar cosas e.g. tomar intervalos de $\pi$ respecto a $t=0$ haciendo $\tan{t}\to|\tan{t}|$ (esto equivale a lo que escribí en la respuesta de Physics SE para $r(\lambda)$), lo que puede justificarse siendo removible la discontinuidad entre cada $\pi/2$ respecto a 0; de algún modo esto recupera la $2\pi$-periodicidad de AdS en la cubierta universal. Esta cuestión de los intervalos vuelve un poco delicado el tratamiento de este problema de obtener analíticamente las expresiones para las geodésicas; el caso de las geodésicas de tipo espacio es enteramente análogo tomando $\dot{s}^2=1$ en el tiempo propio $\lambda$, pero nuevamente uno debe ser cuidadoso al considerar en dónde están definidas las soluciones físicamente relevantes.
Graficando las soluciones entonces para diversos valores de $E$, se obtiene (extendiendo a la cubierta universal)
Finalmente una cuestión relevante es que, independientemente del signo que tenga, en el caso de geodésicas tipo tiempo, la cantidad $E$ debe satisfacer $|E|\geq1$. De esto no he encontrado nada al respecto en otros lados y no lo he podido discutir ampliamente con mi asesor, sin embargo no es descabellado que estas geodésicas tengan una restricción en la energía pues implican movimiento masivo y la cantidad 1 está asociada a un cambio de longitud de arco en el tiempo propio, de modo que para que una partícula se mueva en una de estas geodésicas es coherente que su energía deba exceder o igualar en proporción esta razón de cambio (en unidades correspondientes), si la iguala, simplemente no se mueve (i.e. se queda en el polo $\mc{R}=0$). También debe notarse que cuando $E\to\infty$, las geodésicas se tornan de tipo luz, como también se esperaba.
No comments:
Post a Comment