Invariancia de Legendre

Las transformaciones de Legendre son aquellas transformaciones que dejan

invariante la estructura de contacto (tao). Esto significa que las propiedades
termodinmicas de un sistema no dependen del potencial termodinmico
utilizado para su anlisis. En una transformacin parcial de Legendre se tiene

La invariancia de la estructura de contacto introducida anteriormente se vuelve

evidente por el hecho de que en las nuevas coordenadas () la 1-forma de
Gibbs, adquiere la misma estructura,

Un clculo directo prueba tambin la invariancia de la condicin de dualidad

(4), la de la primera y segunda ley de la termodinmica, ecuaciones (5) y (6),
respectivamente. Ntese que la transformacin de Legendre intercambia el
carcter de las variables extensivas e intensivas. Por esta razn, para
establecer la validez de la identidad de Euler y, consecuentemente, la relacin
de Gibbs-Duhem en las nuevas variables, es necesario identificar primero las
variables extensivas () y la ecuacin fundamental (). Luego, la invarianza de
Legendre se sigue del hecho de que la condicin de dualidad (4) y la primera
ley, ecuacin (5), son invariantes.

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

termodinmico (tao). De esta manera es posible formular el enunciado

principal de la Geometrothermodinmica. Un sistema termodinmico es
descrito por una mtrica G que es llamada mtrica termodinmica si se
cumplen las siguientes condiciones:

1. G es invariante respecto a transformaciones que no modifican la estructura

de contacto (tao).
2. G induce en el espacio de estados de equilibrio termodinmico (E) una
mtrica invariante (g) por definicin del mapeo,

La idea detrs de la primera condicin es que una mtrica termodinmica

debe describir un sistema termodinmico, independientemente de las
coordenadas usadas en (tao). Esta condicin es necesaria a fin de que la
geometrotermodinmica sea capaz de describir propiedades termodinmicas
en trminos de conceptos geomtricos en una manera tal que deba ser
invariante con respecto a cambios del potencial termodinmico. La segunda
condicin establece la relacin entre las geometras en (tao) y , aplicando las
mismas herramientas que son usadas para definir estados de equilibrio en la
aproximacin de la estructura de contacto.
Es claro que la invariancia de Legendre de (g) se sigue de la invariancia de (G),
si ellas estn relacionadas por la ecuacin (11). De hecho, si se denota por $$
la mtrica obtenida de (G) por la aplicacin de la transformacin de Legendre,
ecuacin (10), y se define $$, entonces la invariancia de Legendre de (G)
puede ser alcanzada demandando que $$. Adems, dado que $g$ y $g prima$
con $phi$ definida como en la ecuacin (2) con $$, entonces se tiene que $$,
es decir, (g) es una mtrica invariante.
Bajo una transformacin total de Legendre, $$, como la dada por la ecuacin
(10), Las componentes de la mtrica (G) se transforman como (2),

con la matriz de transformacin,

donde los ndices A y B representan filas y columnas, respectivamente. Dado

que el determinante de esta matriz es igual a 1, la transformacin inversa
existe, y determina el difeomorfismo correspondiente a la transformacin total
del Legendre.

Para garantizar que la mtrica (G) en (tao) es invariante de Legendre, es

suficiente demandar que cada una de sus componentes preserve su
dependencia funcional despus de una transformacin de Legendre. Sea $$

que representa las componentes de la mtrica (G) obtenida despus de una

transformacin de Legendre (10) de la mtrica (G), y sea $$ las componentes
de la mtrica (G prima) obtenida por el remplazo de cada coordenada $z$ por
su contraparte $Z$ en la mtrica (G) (no se ha aplicado trans formacin de
Legendre). Entonces, si se demanda que la condicin,

$$
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,

$$

La invariancia de esta mtrica se sigue de la invariancia de la 1-forma de

Gibbs mostrada en la seccin 2.2. Dado que la mtrica de Gibbs no posee
componentes proporcionales a $dI$, su determinate es cero. Sin embargo,
contiene una mtrica $(n+1)$-dimensional en el sector $$ con determinante
distinto de cero. A pesar de su degeneracin, ms adelante se usara la mtrica
de Gibbs para construir ejemplos explcitos de mtricas 5-dimensionales no
degeneradas que satisfacen la condicion de invariancia de Legendre.
Recapitulando, decimos que el ingrediente principal de la GTD es una
estructura mtrica no degenerada de (g) en de donde se demanda ser
compatible con la mtrica (G) en (tao). Como se mencion anteriormente, esto
se obtiene aplicando el pullback $$ en tal forma que (g) es inducida de manera
natural por $G$ mediante $$. Como se ha demostrado con anterioridad, una
mtrica (G) induce una mtrica (g) invariante de Legendre. De forma inversa,
una mtrica (g) en es invariante de Legendre solamente si es inducida por
una mtrica (G) invariante de Legendre en (tao). Es en este sentido que se
puede mostrar que las mtricas de Weinhold y Ruppeiner, que estn definidas
en , no son invariantes de Legendre. Sin embargo, hay un vasto nmero de
mtricas en (tao) que satisfacen la condicin de invariancia de Legendre. En
particular, la estructura mtrica,

$$,

Donde $$ son los elementos de la matriz diagonal con entradas unitarias y $$

es la 1-forma de Gibbs. Esta mtrica es invariante de Legendre e induce sobre
$e$ la metrica,

$$

Una importante caracterstica de la mtrica (g) es que para el gas ideal la

curvatura es cero (geometra plana) aunque no lo es para el gas de Van der
Waals, ya que las singularidades de curvatura se encuentran en los puntos
crticos termodinmicos (2). Esta es una indicacin de que la curvatura puede
ser usada como una medida, invariante de Legendre, de la interaccin
termodinmica. Aunque esta propiedad es compartida por otras mtricas en
$e$, la caracterstica principal de (14) es su simplicidad.
Finalmente mencionaremos que la geometra de la mtrica (g) es invariante
con respecto a un difeomorfismo arbitrario realizado en $e$. Esto puede ser
mostrado considerando explcitamente las componentes de (g) en trminos de
las componentes de (G),

Si denotamos por $Z$ las coordenadas transformadas en (tao), y aplicamos

una transformacin arbitraria en (G),
$$
Se induce en la mtrica,

$$
Que corresponde a una transformacin de coordenadas de (g). Es fcil observar
que estas mtricas estn relacionadas por la ley de transformacin estndar,
$$

Esta importante propiedad permite considerar principios variacionales en GTD

que imponen condiciones sobre las estructuras mtricas.

Geometrotermodinamica de Agujeros negros en el Universo Brana

El punto de partida de la GTD, como se trato en el capitulo 2, es el espacio de
fases termodinamico(tao) que en el caso de los agujeros negros en el universo

Brana puede ser definido como un espacio 7-dimensional concoordenadas $$,

$A=0,,6. En el espacio cotangente, se inttrodujo la 1-forma fundamental

$$

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: ()

Con (). Definimos el espacio de estados de equilibrio termodinmico () como el

subespacio de () dado por el mapeo () para el cual la condicin,
Se mantiene, donde () representa el pullback. Esto implica la relacin,
Que es la condicin estndar de equilibrio termodinmico o condicin de
dualidad. Ntese que las variables intensivas son duales a las extensivas.
Consecuentemente, sobre el espacio de estados de equilibrio (), la condicin
(3) implica a la primera ley de la termodinmica,

Para distinguir un sistema termodinmico de otro en el espacio de estados de

equilibrio, uno puede especificar la ecuacin fundamental () la cual, en la
representacin usada aqu, es contenida en el mapeo () mediante la relacin ().
Esta construccin debe ser complementada con la segunda ley de la
termodinmica,
Que es tambin conocida como la relacin de convexidad (). El potencial
termodinmico debe satisfacer la condicin de homogeneidad () para
parmetros constantes () y (). Diferenciando esta condicin de homogeneidad
respecto de () tenemos,

Si evaluamos el resultado en () y utilizamos la condicin de equilibrio

termodinmico (), se obtiene una expresin que se transforma en la identidad
de Euler,
Calculando la derivada exterior de la identidad de Euler,

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 ().

Potenciales termodinmicos para agujeros negros

En los captulos 3 y 4 estudiaremos la forma detallada la GTD de agujeros
negros. De forma preliminar, en esta seccin resumimos algunas propiedades
de la termodinmica de agujeros negros y su conexin con la GTD.
Los agujeros negros en la teora de Einstein-Maxwell son completamente
caracterizados por la masa M, el momento angular () y la carga elctrica ().
Como se trat en la seccin (1.2), los agujeros negros poseen propiedades
termodinmicas especificadas por la temperatura de Hawking T, proporcional a
la gravedad superficial en el horizonte, y por la entropa () que es proporcional
al rea del horizonte (1,6). Todos estos parmetros son relacionados por la
primera ley de la termodinmica de agujeros negros,
Donde () es la velocidad angular en el horizonte y () el potencial elctrico. Para
una ecuacin fundamental dada, (), se tienen las condiciones para el equilibrio
termodinmico,
De esta manera, el espacio de fase () para la termodinmica de agujeros
negros es 7-dimensional con coordenadas (), La 1-forma fundamental de Gibbs
est dada por,
El espacio de estados de equilibrio termodinmico () es 3-dimensional con
coordenadas () y est definido por el mapeo,
La masa () toma el papel del potencial termodinmico que depende de las
variables extensivas (). Sin embargo, las transformaciones de Legendre (10)
nos permiten introducir un conjunto adicional de siete potenciales
termodinmicos los cuales depende de las diferentes combinaciones de las
variables intensivas y extensivas. Quitando las tildes a las nuevas variables, el
conjunto completo de dichos potenciales puede ser escrito como (3),
Hay que tener en cuenta que el mapeo () puede ser definido en cada caso,
independientemente del potencial termodinmico que se escoja. Por otra parte,

puesto que hemos considerado solamente estructuras invariantes de Legendre

en () y (), las caractersticas de la geometra fundamental para un sistema
termodinmico dado ser independiente del potencial termodinmico, lo cual
est de acuerdo con la termodinmica clsica. Consecuentemente, en la
representacin de la masa de la termodinmica de agujeros negros descrita
anteriormente, se tiene la libertad de elegir cualquiera de los potenciales () sin
afectar las propiedades termodinmicas de los agujeros negros.
Se debe enfatizar que en el contexto de la GTD, es tambin posible considerar
la representacin de la entropa. En esta caso, la 1-forma de Gibbs del espacio
de fase puede escogerse como,
El espacio de estados de equilibrio es entonces definido por el mapeo suave,

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

Esto define una clase de equivalencia de 1-formas que generan la misma

estructura de contacto (). A la pareja () se le llama variedad de contacto.
Para el caso de tres dimensiones podemos escribir la condicin de no
integrabilidad maximal en trminos de los corchetes de Lie. Teniendo dos
campos vectoriales X.Y, el corchete de lie genera un nuevo campo definido
como (), donde (). Al tener una funcin (), este nuevo campo opera.
Proposicin 1 Sea () variedad de contacto de dimensin 3, con () campo de
hiperplanos tal que () y sean () linealmente independientes, tales que () la
condicin () es equivalente a ().
Prueba. Como estamos en 3 dimensiones, la forma maximal de volumen se
escribe como (), para que esto sea diferente de cero, basta con pedir que ().
Evaluando () en los campos () y () tenemos
Ya que (). Si pedimos que (), por lo que ().

Coordenadas y sub-variedades integrables

Para una variedad de contacto () es posible asociarle coordenadas locales.
Existen unas coordenadas locales, en las que la 1-forma de contacto se puede
escribir de manera cannica y siempre se pueden utilizar, facilitando la
mayora de los clculos. Estas son conocidas como coordenadas de Darboux. A
lo largo del trabajo se utilizaran dichas coordenadas a menos que se
especifique lo contrario.
Teorema 1 (coordenadas de Darboux). Sea () variedad de contacto, () existe
una vecindad tal que existen coordenadas locales () en las cuales ().
Prueba. Sea (), se puede formar una bola de dimensin () alrededor de una
vecindad de () tal que sea transversal al hiperplano (). En esta bola () es una
forma simplctica ( ya que ()), por lo que existe un sistema de coordenadas ()
Para alguna funcin (). Si tomamos () obtenemos
A partir de estas coordenadas locales es tambin posible generar de manera
cannica el campo de hiperplanos () con base en () campos vectoriales: (), en
donde
De tal forma que ().
Asociado a la forma de contacto, existe un campo caracterstico () globalmente
definido llamado campo de Reeb, definido por
El campo de Reeb se puede escribir en trminos de coordenadas de contacto
como (). Entre los campos vectoriales () que forman el campo de hiperplanos ()
y elcampo de Reeb se cumplen las siguientes reglas de conmutacin:

Observamos que la ltima relacin de conmutacin nos da exactamente la

condicin de no integrabilidad mximal (3). Llamaremos al conjunto de campos
vectoriales () y () una distribucin de contacto.
Para una variedad de contacto () decimos que () es una subvariedad integrable
si () para todo campo tangente (). Para las subvariedades integrables existe
una restriccin en las dimensiones que puede tener. Para eso revisamos el
siguiente teorema:
Teorema 2 Sea () una variedad de contacto con 1-forma de contacto (),
entonces existen subvariedades tales que tienen dimensin mxima ().
Supongamos que para la variedad de contacto () tenemos () para ()
coordenadas locales de Darboux. En estas coordenadas la (). Si consideramos
las coordenadas () como constantes, encontramos una subvariedad integrable
de dimensin mxima.
A las subvariedades integrales de dimensin mxima () se les conoce como
subvariedades de Legendre y se pueden definir a partir de un encaje () llamado
encaje de Legendre, que cumpla con la condicin isotrpica ().

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) ()

Campos vectoriales de contacto y funciones Hamiltonianas

Sea () una variedad simplctica. Escogiendo una funcin (). Esta define un
nico campo vectorial por medio de la relacin
El campo vectorial () es llamado un campo vectorial Hamiltoniano
correspondiente al Hamiltoniano (). El flujo de () preserva la forma simplctica
(la forma de contacto) (), ya que
Ahora nuestro objetivo es dar una construccin similar en la geometra de
contacto.

Definicin Un campo vectorial () en una variedad de contacto () es llamado un

campo vectorial de contacto si su flujo preserva la estructura de contacto ().
Ejemplo sea () y (). Entonces () es una forma de contacto en (). Considere un
campo vectorial. De la derivada de Lie para una forma diferencial se desprende
Es decir, que se preserva la estructura de contacto

La solucin fuera de la distribucin de masa esfrica requiere nicamente que

el tensor de Ricci desparezca.
Acorde a la definicin de la curvatura del tensor de Ricci, tenemos:
Recordamos que la conexin afn depende de la mtrica como
Observamos que se deben resolver un conjunto de ecuaciones diferenciales
para las componentes de la mtrica, las componentes de la mtrica son:
Entonces solamente 9 de 40 independientes coeficientes de conexin son
diferentes de cero, estos son:
Las cuatro componentes no nulas del tensor de Einstein son:
La ecuacin (\ref{Einstein 11}) se iguala a la componente () del tensor
momento-energa. De esta manera encontraremos la solucin simtricamente
esfrica al agujero negro de Swarchild
En ausencia de carga, la masa de un objeto esttico, esfricamente simtrico
desde su centro () al valor radial () se define usando la densidad de energa
esta definicin de la masa es anloga a la ley de Gauss que da origen a la
masa newtoniana.
Puesto que r = R es el lmite del objeto, donde se hacen coincidir las soluciones
interiores y exteriores, por consiguiente () representa la masa total del agujero
negro.
Agujero negro de Reissner-Nordstrm

A partir de la mtrica () vemos que el horizonte de sucesos para esta solucin se

encuentra cuando hacemos ()

Como se trata de una ecuacin cuadrtica en r,

cuenta con dos soluciones.

Por lo tanto, r + define el horizonte exterior del agujero negro y () define el horizonte
interior del agujero negro. El rea del agujero negro es ()

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: