Теорема о положительной энергии (также известная как теорема о положительной массе ) относится к набору основополагающих результатов в общей теории относительности и дифференциальной геометрии. Его стандартная форма, вообще говоря, утверждает, что гравитационная энергия изолированной системы неотрицательна и может быть равна нулю только тогда, когда в системе нет гравитирующих объектов. Хотя эти утверждения часто считаются в основном физическими по своей природе, их можно формализовать как математические теоремы, которые могут быть доказаны с использованием методов дифференциальной геометрии, уравнений в частных производных и геометрическая теория меры.
Ричард Шен и Шинг-Тунг Яу в 1979 и 1981 годах первыми дали доказательства теоремы о положительной массе. Эдвард Виттен в 1982 году дал наброски альтернативного доказательства, которые позже были тщательно проработаны математиками. Виттен и Яу были награждены медалью Филдса по математике частично за их работу по этой теме.
Неточная формулировка теоремы Шен-Яу / Виттена о положительной энергии гласит следующее:
Учитывая асимптотически плоский набор исходных данных, можно определить энергию-импульс каждой бесконечной области как элемент пространство Минковского. При условии, что исходный набор данных является геодезически полным и удовлетворяет доминирующему энергетическому условию, каждый такой элемент должен находиться в причинном будущем источника. Если любая бесконечная область имеет нулевую энергию-импульс, то исходный набор данных тривиален в том смысле, что он может быть геометрически вложен в пространство Минковского.
Смысл этих терминов обсуждается ниже. Существуют альтернативные и неэквивалентные формулировки для разных понятий энергии-импульса и для разных классов наборов исходных данных. Не все эти формулировки были строго доказаны, и в настоящее время открытая проблема, верна ли вышеуказанная формулировка для исходных наборов данных произвольной размерности.
Первоначальное доказательство теоремы для ADM масса была предоставлена Ричардом Шоном и Шинг-Тунг Яу в 1979 году с использованием вариационных методов и минимальных поверхностей. Эдвард Виттен дал другое доказательство в 1981 году, основанное на использовании спиноров, вдохновленное теоремами о положительной энергии в контексте супергравитации. Расширение теоремы для массы Бонди было дано Людвигсеном и Джеймсом Викерсом, Гэри Горовицем и Малкольмом Перри, а также Шоном и Яу.
Гэри Гиббонс, Стивен Хокинг, Горовиц и Перри доказали расширение теоремы на асимптотически анти-де-Ситтеровское пространство-время и на теорию Эйнштейна – Максвелла. Масса асимптотически анти-де-Ситтеровского пространства-времени неотрицательна и равна нулю только для анти-де-Ситтеровского пространства-времени. В теории Эйнштейна – Максвелла для пространства-времени с электрическим зарядом и магнитным зарядом , масса пространства-времени удовлетворяет (в гауссовых единицах )
с равенством для решений Majumdar –Papapetrou экстремальных черных дыр.
набор исходных данных состоит из риманова многообразия (M, g) и симметричного 2-тензорного поля k на M. Говорят, что исходный набор данных ( M, g, k):
Обратите внимание, что симметричный по времени набор исходных данных (M, g, 0) удовлетворяет доминирующему энергетическому условию тогда и только тогда, когда скалярная кривизна g неотрицательна. Говорят, что лоренцево многообразие (M, g) является разверткой набора исходных данных (M, g, k), если существует (обязательно пространственноподобное) вложение M в M гиперповерхности вместе с непрерывное векторное поле единичной нормали, такое, что индуцированная метрика - g, а вторая фундаментальная форма относительно данной единичной нормали - k.
Это определение основано на лоренцевой геометрии. Для лоренцево многообразия (M, g) размерности n + 1 и пространственноподобного погружения f из связного n-мерного многообразия M в M, имеющего тривиальное нормальное расслоение, можно рассматривать индуцированную риманову метрику g = fg, а также вторая фундаментальная форма k функции f относительно любого из двух вариантов непрерывного векторного поля единичной нормали вдоль f. Тройка (M, g, k) - это исходный набор данных. Согласно уравнениям Гаусса-Кодацци,
где G обозначает тензор Эйнштейна Ric - 1 / 2Rg g и ν обозначают непрерывное векторное поле единичной нормали вдоль f, используемое для определения k. Таким образом, доминирующее энергетическое условие, данное выше, в этом лоренцевом контексте идентично утверждению о том, что G (ν, ⋅), рассматриваемая как векторное поле вдоль f, является временноподобным или нулевым и ориентирована в том же направлении, что и ν.
В литературе существует несколько различных понятий «асимптотически плоских», которые не являются взаимно эквивалентными. Обычно он определяется в терминах весовых пространств Гёльдера или весовых пространств Соболева.
Однако есть некоторые особенности, общие практически для всех подходов. Один рассматривает исходный набор данных (M, g, k), который может иметь или не иметь границы; пусть n обозначает его размерность. Требуется, чтобы существовало такое компактное подмножество K в M, что каждая связная компонента дополнения M - K диффеоморфна дополнению замкнутого шара в евклидовом пространстве. Такие компоненты связности называются концами M.
Пусть (M, g, 0) - симметричный во времени набор исходных данных, удовлетворяющий преобладающему энергетическому условию. Предположим, что (M, g) - ориентированное трехмерное гладкое риманово многообразие с краем и что каждая граничная компонента имеет положительную среднюю кривизну. Предположим, что оно имеет один конец и асимптотически является Шварцшильдом в следующем смысле:
Предположим, что K - открытое предкомпактное подмножество M такое, что существует диффеоморфизм Φ: ℝ - B 1 (0) → M - K, и предположим, что существует такое число m, что симметричный 2-тензор
на ℝ - B 1 (0) таково, что для любых i, j, p, q функции и все ограничены.
Теорема Шена и Яу утверждает, что m должно быть неотрицательным. Если, кроме того, функции и ограничены для любых , то m должно быть положительным, если граница M не пуста и (M, g) изометричен ℝ с его стандартной римановой метрикой.
Обратите внимание, что условия на h утверждают, что h вместе с некоторыми из его производных малы, когда x велик. Поскольку h измеряет дефект между g в координатах Φ и стандартным представлением t = константного среза метрики Шварцшильда, эти условия являются количественной оценкой термина «асимптотически Шварцшильд». Это можно интерпретировать в чисто математическом смысле как сильную форму «асимптотически плоской», где коэффициент при | x | часть расширения метрики объявляется постоянной кратной евклидовой метрики, в отличие от общего симметричного 2-тензора.
Отметим также, что теорема Шена и Яу, как указано выше, на самом деле (несмотря на внешность) является сильной формой случая "множественных концов". Если (M, g) - полное риманово многообразие с несколькими концами, то приведенный выше результат применим к любому единственному концу при условии, что на каждом другом конце есть сфера положительной средней кривизны. Это гарантировано, например, если каждый конец асимптотически плоский в указанном выше смысле; можно выбрать большую координатную сферу в качестве границы и удалить соответствующий остаток от каждого конца, пока не получится риманово многообразие с краем с одним концом.
Пусть (M, g, k) будет исходным набором данных, удовлетворяющим доминирующему энергетическому условию. Предположим, что (M, g) - ориентированное трехмерное гладкое полное риманово многообразие (без края); Предположим, что у него конечное число концов, каждый из которых асимптотически плоский в следующем смысле.
Предположим, что - это открытое предкомпактное подмножество, такое что имеет конечное число компонент связности и для каждого существует диффеоморфизм такой, что симметричный 2-тензор удовлетворяет следующим условиям:
Также предположим, что
Вывод состоит в том, что энергия ADM каждого определяется как
неотрицательно. Кроме того, предположим дополнительно, что
предположение что для некоторого подразумевает, что n = 1, что M диффеоморфно ℝ и что пространство Минковского ℝ является развитием исходного набора данных ( М, г, к).
Пусть ориентированное трехмерное гладкое полное риманово многообразие. (без границы). Пусть будет гладким симметричным 2-тензором на такой, что
Предположим, что - это открытое предкомпактное подмножество, такое что имеет конечное число компонент связности и для каждого существует диффеоморфизм такой, что симметричный 2-тензор удовлетворяет следующим условиям:
Для каждого определите энергию ADM и импульс на
Для каждого рассматривайте это как вектор в пространстве Минковского. Вывод Виттена состоит в том, что для каждого это обязательно непространственноподобный вектор, указывающий на будущее. Если этот вектор равен нулю для любого , тогда диффеоморфен и максимальному глобально гиперболическому развитию исходного набора данных имеет нулевую кривизну.
Согласно приведенным выше утверждениям, вывод Виттена сильнее, чем вывод Шена и Яу. Однако третья статья Шона и Яу показывает, что их результат 1981 г. следует из результатов Виттена, сохранив только дополнительное предположение, что и ограничены для любой Также необходимо отметить, что результат Шона и Яу 1981 года основан на их результате 1979 года, что доказано противоречием; их расширение их результата 1981 г. также противоречит. Напротив, доказательство Виттена логически прямое, показывая энергию ADM непосредственно как неотрицательную величину. Кроме того, доказательство Виттена в случае можно без особых усилий распространить на многомерные многообразия, при топологическом условии, что многообразие допускает спиновую структуру. Результат и доказательство Шона и Яу 1979 года могут быть распространены на случай любой размерности меньше восьми. Совсем недавно результат Виттена с использованием методов Шона и Яу (1981) был распространен на тот же контекст. В итоге: следуя методам Шена и Яу, теорема о положительной энергии была доказана в размерности меньше восьми, а вслед за Виттеном она была доказана в любой размерности, но с ограничением на спиновые многообразия.
По состоянию на апрель 2017 года Шон и Яу выпустили препринт, который доказывает общий многомерный случай в частном случае без каких-либо ограничений по размерности или топологии. Однако он еще не появился (по состоянию на май 2020 г.) в академических журналах.
Учебники