Теорема о положительности энергии утверждает, что полная масса АДМ асимптотически плоского пространства-времени неотрицательна и равна нулю только для пространства Минковского.4×10^24 килограммов — масса Земли. Теорема о положительной энергии отвечает на вопрос, может ли поле тяготения добавить отрицательный вклад. В 1979 году Ричард Шён и Шин-Тун Яу доказали, что нет: полная энергия изолированной системы в общей теории относительности всегда неотрицательна. Элегантное спинорное доказательство дал Edward Witten в 1981 году. Природа — аккуратный бухгалтер, не допускающий дефицита.
Вопрос о положительности энергии в ОТО восходит к работам Эйнштейна, но строгое доказательство долго ускользало. В 1959 году Дирак высказал гипотезу, а в 1962 году Арновитт, Дезер и Мизнер ввели АДМ-массу. В 1979 году математики Ричард Шён и Шин-Тун Яу доказали теорему для размерности ≤7. В 1981 году Edward Witten нашёл простое доказательство для спинорных многообразий любой размерности, опираясь на супергравитацию. Его подход стал классическим.
Применяется для доказательства устойчивости пространства Минковского как основного состояния. В численных расчётах слияния чёрных дыр гарантирует, что масса излучения не превысит начальную сумму. Ограничение: работает только для асимптотически плоских пространств и при выполнении энергетических условий (например, для классической материи).
Гарантирует устойчивость чёрных дыр и звёзд: они не могут схлопнуться в «ничто» с отрицательной энергией. При расчёте орбит спутников в сильных полях теорема исключает варианты с «отрицательным гравитационным зарядом».
Виттен использовал спиноры — математические объекты, похожие на «квадратные корни» из векторов. Его доказательство настолько компактно, что уместилось в пару страниц.













