Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Estructura mtrica
Considerando una mtrica G no degenerada, es decir, una mtrica invertible
con $det(G)=0$ y que induce una estructura de Riemann en el espacio de fase
$$
Se mantenga para cada valor de A y B, se garantiza que la mtrica (G) en (tao)
as como (g) en sean invariantes de Legendre.
Una cuestin importante a tratar cuando se imponen condiciones de
invariancia en mtricas es una relacionada a la existencia de soluciones. En
nuestro caso, el punto es que si existen mtricas que satisfacen la condicin de
invariancia b, por ajo la transformacin de Legendre como ha sido dada, por el
momento, en la ecuacin (14). De hecho, es fcil construir una mtrica
invariante $(2n+1)$- dimensional definiendo la mtrica de Gibbs como el
cuadrado de la 1-forma de Gibbs, ecuacin (1), es decir,
$$
$$,
$$
$$
Que corresponde a una transformacin de coordenadas de (g). Es fcil observar
que estas mtricas estn relacionadas por la ley de transformacin estndar,
$$
$$
Estructura de contacto
En esta seccin se presenta la estructura geomtrica principal, la cual es
necesaria para la formulacin de la Geometrotermodinmica. El primer paso
para introducir el lenguaje de la geometra diferencial en termodinmica es la
definicin del espacio de fase termodinmico () de dimensin (). A ste se le
puede asignar coordenadas dadas por el conjunto (), donde () es el potencial
termodinmico, () y () denotan las variables intensivas y extensivas,
respectivamente. Aqu se adopta la convencin () y () tal que () y (). Adems,
se introduce la 1-forma fundamental de Gibbs,
El par () es llamada una variable de contacto si () es diferenciable y () satisface
la condicin () que establece que se pueden definir elementos de volumen
diferentes de cero. Considere ahora el espacio n-dimensional () cuyas
coordenadas son (). Esto puede ser realizado mediante la definicin del mapeo
suave: ()
Y usando (),
Se obtiene la relacin generalizada de Gibbs-Duhem,
La expresin clsica para la identidad de Euler y para la relacin de GibbsDuhem son obtenidas de esta ltima ecuacin fijando el valor ().
Con
Tal que () conduce a la primera ley. En la representacin de la entropa la
ecuacin fundamental es ahora dada por (), y la segunda ley de la
termodinmica corresponde a la condicin de concavidad de la funcin
entrpica. Notemos que representaciones adicionales pueden ser fcilmente
analizadas en el contexto de la GTD siendo el mapeo suave () el nico objeto
necesario en cada caso, el cual garantiza la existencia de un espacio de
estados de equilibrio bien definido. Claramente las propiedades
termodinmicas de los agujeros negros deben ser independientes de la
representacin.
Ahora consideremos estructuras geomtricas en (). Para los agujeros negros, la
mtrica de Weinhold () est definida como el Hessiano en la representacin de
la masa, mientras que en la mtrica de Ruppeiner est dada como el Hessiano
en la representacin de la entropa relacionndose mediante (). Como ha
mostrado el trabajo realizado por Quevedo, el problema principal de las
mtricas de Weinhold y Ruppeiner es que nos son invariantes de Legendre.
En GTD es posible derivar, en principio, un nmero infinito de mtricas que
preservan la invariancia de Legendre; no obstante, de acuerdo con la ecuacin
(17) de los fundamentos de la GTD, la manera ms simple de alcanzar la
invariancia de Legendre para () es aplicando una transformacin conforme, con
el potencial termodinmico como el factor conforme. En consecuencia, la
generalizacin ms simple de la invariancia le Legendre para la metrica de
Weinhold puede ser escrita en componentes como,
Donde (). Un procedimiento similar puede ser aplicado para generalizar la
mtrica de Ruppeiner,
Con (). Usando la representacin de la masa en el espacio de fase (), la
estructura mtrica correspondiente generada puede ser escrita, utilizando la
ecuacin (16), como,
Ntese que para obtener (26) es necesario utilizar la identidad de Euler para el
factor conforme frente del segundo trmino en (28), i.e., (). De esta manera, ()
como es dada en (26) est determinada solamente hasta una constante
multiplicativa () que, obviamente, no afecta su geometra.
Aunque estas estructuras mtricas son generalizaciones invariantes de
Legendre de las mtricas de Weinhold y Ruppeiner, se demostr que no sirven
para describir geomtricamente la termodinmica de agujeros negros debido a
que en el caso delo agujero de Kerr la curvatura termodinmica es cero y, por
ende, no reproduce la estructura de transiciones de fase de este agujero negro.
En los siguientes captulos analizaremos una ligera generalizacin de (16) que
genera mtricas invariantes de Legendre que pueden describir correctamente
la termodinmica de todos los agujeros negros conocidos en la teora de
Einstein-Maxwell.
Geometra de contacto
Para describir la termodinmica en trminos de conceptos geomtricos, es
necesario comenzar definiendo los conceptos a utilizar. Llamaremos () a la
variedad que representara al espacio de fase de la termodinmico. Esta
variedad tendr dimensin (). En esta variedad se puede definir un campo de
hiperplanos () de dimensin () que sea maximalmente no integrable. Esta
propiedad implica que el campo () se puede escribir como () en donde () es una
1-forma definida de manera global en todo el espacio cotangente de la
variedad (). A la pareja () se le conoce como una estructura de contacto. Es asi,
como la geometra de contacto toma relevancia en este trabajo.
Variedades de contacto.
Sea M una variedad diferenciable, con () su haz tangente, se puede definir un
sub haz (), () con (), como un campo de hiperplanos de ().
Lema 1 Sea () una variedad diferenciable de dimensin (2n +1); () un campo
de hiperplanos de codimensin 1 y () una 1-forma definida globalmente en ().
Localmente se puede escribir () si, y solo si () es coorientable.
Definicion 1 Sea () una variedad de dimensin (), llamamos estructura de
contacto a un campo de hiperplanos maximal no integrable, tal que ().
Que el campo de hiperplanos sea maximal no integrable, implica que () debe
cumplir
En donde (). A la 1-forma () se le conoce como la forma de contacto.
Observamos que la condicin () no depende de la forma de contacto elegida,
sino de la propiedad (). Supongamos que () es una 1-forma que tambin genera
al hiperplano (). Como ambas formas () y () generan el mismo plano, () debe
ser de la forma (), por lo que
Estructura simplctica
Las estructuras simplctica y de contacto estn estrechamente relacionadas.
Comparten la misma propiedad de no tener invariantes locales (Teorema de
Darboux).
Definicin Una forma simplctica () en una variedad () de dimensin () es una
2-forma cerrada, no degenerada en M. La no degeneracin significa que para
cada vector X distinto de cero en un punto del espacio tangente, hay un vector
Y tal que
Por lo tanto una forma simplctica satisface las dos condiciones: (1) () y (2) ()
Siguiendo los pasos similares a los desarrollados para el agujero negro de Schwarzschild,
podemos analizar la geometra cerca al horizonte para poder encontrar la gravedad en la
superficie y por lo tanto la temperatura: