El teorema de la energía positiva (también conocido como teorema de la masa positiva ) se refiere a una colección de resultados fundamentales de la relatividad general y la geometría diferencial . Su forma estándar, en términos generales, afirma que la energía gravitacional de un sistema aislado no es negativa y solo puede ser cero cuando el sistema no tiene objetos gravitacionales. Aunque a menudo se piensa que estas afirmaciones son principalmente de naturaleza física, se pueden formalizar como teoremas matemáticos que se pueden demostrar utilizando técnicas de geometría diferencial , ecuaciones diferenciales parciales y teoría de la medida geométrica .
Richard Schoen y Shing-Tung Yau , en 1979 y 1981, fueron los primeros en proporcionar pruebas del teorema de la masa positiva. Edward Witten , en 1982, presentó los lineamientos de una prueba alternativa, que luego fueron completados rigurosamente por matemáticos. Witten y Yau recibieron la medalla Fields en matemáticas en parte por su trabajo sobre este tema.
Una formulación imprecisa del teorema de energía positiva de Schoen-Yau/Witten establece lo siguiente:
Dado un conjunto de datos inicial asintóticamente plano, se puede definir la energía-momento de cada región infinita como un elemento del espacio de Minkowski . Siempre que el conjunto de datos inicial sea geodésicamente completo y satisfaga la condición de energía dominante , cada uno de esos elementos debe estar en el futuro causal del origen. Si cualquier región infinita tiene energía-momento nulo, entonces el conjunto de datos inicial es trivial en el sentido de que se puede incrustar geométricamente en el espacio de Minkowski.
El significado de estos términos se analiza a continuación. Existen formulaciones alternativas y no equivalentes para diferentes nociones de energía-momento y para diferentes clases de conjuntos de datos iniciales. No todas estas formulaciones han sido probadas rigurosamente y actualmente es un problema abierto si la formulación anterior es válida para conjuntos de datos iniciales de dimensión arbitraria.
La prueba original del teorema para la masa ADM fue proporcionada por Richard Schoen y Shing-Tung Yau en 1979 utilizando métodos variacionales y superficies mínimas . Edward Witten dio otra prueba en 1981 basada en el uso de espinores , inspirados en teoremas de energía positiva en el contexto de la supergravedad . Una extensión del teorema para la masa de Bondi fue dada por Ludvigsen y James Vickers, Gary Horowitz y Malcolm Perry , y Schoen y Yau.
Gary Gibbons , Stephen Hawking , Horowitz y Perry demostraron extensiones del teorema a los espacios-tiempos asintóticamente anti-de Sitter y a la teoría de Einstein-Maxwell . La masa de un espacio-tiempo asintóticamente anti-de Sitter no es negativa y solo es igual a cero para el espacio-tiempo anti-de Sitter. En la teoría de Einstein-Maxwell, para un espacio-tiempo con carga eléctrica y carga magnética , la masa del espacio-tiempo satisface (en unidades gaussianas )
con igualdad para las soluciones de agujeros negros extremos de Majumdar – Papapetrou .
Un conjunto de datos inicial consta de una variedad de Riemann ( M , g ) y un campo de 2 tensores simétricos k en M . Se dice que un conjunto de datos inicial ( M , g , k ) :
Obsérvese que un conjunto de datos inicial simétrico en el tiempo ( M , g , 0) satisface la condición de energía dominante si y solo si la curvatura escalar de g no es negativa. Se dice que una variedad lorentziana ( M , g ) es un desarrollo de un conjunto de datos inicial ( M , g , k ) si hay una incrustación de hipersuperficie (necesariamente espacial) de M en M , junto con un campo vectorial normal unitario continuo, de modo que la métrica inducida es g y la segunda forma fundamental con respecto a la normal unitaria dada es k .
Esta definición está motivada por la geometría lorentziana . Dada una variedad lorentziana ( M , g ) de dimensión n +1 y una inmersión espacial f desde una variedad n -dimensional conexa M en M que tiene un fibrado normal trivial, se puede considerar la métrica riemanniana inducida g = f * g así como la segunda forma fundamental k de f con respecto a cualquiera de las dos opciones de campo vectorial normal unitario continuo a lo largo de f . La tripleta ( M , g , k ) es un conjunto de datos inicial. Según las ecuaciones de Gauss-Codazzi , se tiene
donde G denota el tensor de Einstein Ric g - 1/2 R g g de g y ν denota el campo vectorial normal unitario continuo a lo largo de f utilizado para definir k . Por lo tanto, la condición de energía dominante dada anteriormente es, en este contexto lorentziano, idéntica a la afirmación de que G ( ν , ⋅) , cuando se ve como un campo vectorial a lo largo de f , es temporal o nulo y está orientado en la misma dirección que ν . [3]
En la literatura existen varias nociones distintas de "asintóticamente plano" que no son equivalentes entre sí. Generalmente se define en términos de espacios ponderados de Hölder o espacios ponderados de Sobolev.
Sin embargo, existen algunas características que son comunes a prácticamente todos los enfoques. Se considera un conjunto de datos inicial ( M , g , k ) que puede tener o no un límite; sea n su dimensión. Se requiere que exista un subconjunto compacto K de M tal que cada componente conexo del complemento M − K sea difeomorfo al complemento de una bola cerrada en el espacio euclidiano ℝ n . Dichos componentes conexos se denominan extremos de M.
Sea ( M , g , 0) un conjunto de datos iniciales simétricos en el tiempo que satisface la condición de energía dominante. Supóngase que ( M , g ) es una variedad riemanniana suave tridimensional orientada con borde, y que cada componente de borde tiene una curvatura media positiva. Supóngase que tiene un extremo y es asintóticamente Schwarzschild en el siguiente sentido:
Supóngase que K es un subconjunto precompacto abierto de M tal que existe un difeomorfismo Φ : ℝ 3 − B 1 (0) → M − K , y supóngase que existe un número m tal que el 2-tensor simétrico
en ℝ 3 − B 1 (0) es tal que para cualquier i , j , p , q , las funciones y están todas acotadas.
El teorema de Schoen y Yau afirma que m debe ser no negativo. Si, además, las funciones y están acotadas para cualquier valor , entonces m debe ser positivo a menos que el límite de M esté vacío y ( M , g ) sea isométrico a ℝ 3 con su métrica riemanniana estándar.
Nótese que las condiciones de h afirman que h , junto con algunas de sus derivadas, son pequeñas cuando x es grande. Dado que h mide el defecto entre g en las coordenadas Φ y la representación estándar de la porción t = constante de la métrica de Schwarzschild , estas condiciones son una cuantificación del término "asintóticamente Schwarzschild". Esto se puede interpretar en un sentido puramente matemático como una forma fuerte de "asintóticamente plano", donde el coeficiente de la parte | x | −1 de la expansión de la métrica se declara como un múltiplo constante de la métrica euclidiana, en oposición a un 2-tensor simétrico general.
Obsérvese también que el teorema de Schoen y Yau, como se indicó anteriormente, es en realidad (a pesar de las apariencias) una forma fuerte del caso de "múltiples extremos". Si ( M , g ) es una variedad riemanniana completa con múltiples extremos, entonces el resultado anterior se aplica a cualquier extremo único, siempre que haya una esfera de curvatura media positiva en cada uno de los otros extremos. Esto está garantizado, por ejemplo, si cada extremo es asintóticamente plano en el sentido anterior; se puede elegir una esfera de coordenadas grande como límite y eliminar el resto correspondiente de cada extremo hasta que se tenga una variedad riemanniana con límite con un solo extremo.
Sea ( M , g , k ) un conjunto de datos inicial que satisface la condición de energía dominante. Supóngase que ( M , g ) es una variedad riemanniana completa, lisa y tridimensional orientada (sin borde); supóngase que tiene un número finito de extremos, cada uno de los cuales es asintóticamente plano en el siguiente sentido.
Supongamos que es un subconjunto precompacto abierto tal que tiene un número finito de componentes conexos y para cada uno hay un difeomorfismo tal que el 2-tensor simétrico satisface las siguientes condiciones:
Supongamos también que
La conclusión es que la energía ADM de cada uno se define como
es no negativo. Además, suponiendo además que
la suposición de que para algunos implica que n = 1 , que M es difeomorfo a ℝ 3 , y que el espacio de Minkowski ℝ 3,1 es un desarrollo del conjunto de datos inicial ( M , g , k ) .
Sea una variedad riemanniana completa, lisa y tridimensional orientada (sin borde). Sea un 2-tensor liso y simétrico en tal que
Supongamos que es un subconjunto precompacto abierto tal que tiene un número finito de componentes conexos y para cada uno hay un difeomorfismo tal que el 2-tensor simétrico satisface las siguientes condiciones:
Para cada uno defina la energía ADM y el momento lineal mediante
Para cada uno, considérese esto como un vector en el espacio de Minkowski. La conclusión de Witten es que para cada uno es necesariamente un vector no espacial que apunta al futuro. Si este vector es cero para cualquier, entonces es difeomórfico y el desarrollo hiperbólico global máximo del conjunto de datos inicial tiene curvatura cero.
Según las afirmaciones anteriores, la conclusión de Witten es más fuerte que la de Schoen y Yau. Sin embargo, un tercer artículo de Schoen y Yau [4] muestra que su resultado de 1981 implica el de Witten, conservando solo el supuesto adicional de que y están acotados para cualquier También debe notarse que el resultado de Schoen y Yau de 1981 se basa en su resultado de 1979, que se demuestra por contradicción; por lo tanto, su extensión de su resultado de 1981 también es por contradicción. Por el contrario, la prueba de Witten es lógicamente directa, exhibiendo la energía ADM directamente como una cantidad no negativa. Además, la prueba de Witten en el caso puede extenderse sin mucho esfuerzo a variedades de dimensiones superiores, bajo la condición topológica de que la variedad admita una estructura de espín. [5] El resultado y la prueba de Schoen y Yau de 1979 pueden extenderse al caso de cualquier dimensión menor que ocho. [6] Más recientemente, el resultado de Witten, utilizando los métodos de Schoen y Yau (1981), se ha extendido al mismo contexto. [7] En resumen: siguiendo los métodos de Schoen y Yau, el teorema de energía positiva se ha demostrado en dimensión menor que ocho, mientras que siguiendo a Witten, se ha demostrado en cualquier dimensión pero con una restricción al contexto de variedades de espín.
En abril de 2017, Schoen y Yau publicaron una versión preliminar que prueba el caso general de mayor dimensión en el caso especial sin ninguna restricción de dimensión o topología. Sin embargo, todavía no ha aparecido (a mayo de 2020) en una revista académica.
Libros de texto