Меня смущает утверждение Шона Кэрролла «Пространство-время и геометрия».
На стр. 174-175 он делает следующее заявление о физической интерпретации WEC в случае идеальной жидкости:
«Поскольку давление изотропно, будет неотрицательным для всех времениподобных векторов если оба и для некоторого нульвектора ".
- тензор энергии-импульса и это четыре скорости. Для идеальной жидкости два последних неравенства соответственно сводятся к и .
Я понимаю, что оба неравенства являются необходимыми условиями для WEC ( ) выполняются, но они не являются явно достаточными условиями.
Это необходимые условия, т.к. является времениподобным вектором и, в силу непрерывности, неравенство с участием тоже должно держать. Однако они рассматриваются как достаточные условия, т. е. WEC используется как синоним « и ".
В метрике, не слишком отличающейся от метрики Минковского (предел слабого поля), мы можем разложить любой времениподобный вектор как сумма хорошо выбранного нуль-вектора и кратное или
Вы уже отметили, что это необходимые условия. То, что они достаточны, следует именно из того, что давление изотропно. Чтобы увидеть это, рассмотрим локальную лоренцеву (ортонормированную) систему отсчета (также известную как тетрада). Любой нулевой вектор можно записать как
Для будущих читателей этой темы, вот описание того, как показать, что разложение , который используется в принятом ответе, всегда существует (локально).
Обозначим норму времениподобного вектора к
Мы хотим найти нулевой вектор и номер такой, что . Тогда у нас будет
Предполагать в системе покоя идеального флюидного источника тензора энергии-импульса, т.е. системе, в которой . Затем
Для чтобы быть нулевым, нам нужно , и поэтому
Это уравнение можно решить относительно при условии, что . Но, используя локально инерциальные координаты для оценки , мы находим, что
так что всегда можно решить для .
Жак
Эрик Йоргенфельт
Жак