Означает ли сохранение плотности импульса сохранение плотности энергии?

В контексте специальной/общей теории относительности сохранение тензора энергии-импульса приводит к сохранению плотности импульса/энергии. мю Т мю ν "=" 0 . Это составляет 4 уравнения, одно для энергии и 3 для импульса.

Однако для многих систем сохранение плотности энергии тривиально следует из сохранения импульса. Например, для тензора энергии электромагнитного напряжения мю Т Е М мю ν "=" Дж мю Ф мю ν . Энергетическая часть это Дж мю Ф мю 0 "=" Е Дж , а космическая часть Дж мю Ф мю Дж "=" ( р Е + Дж × Б ) . Взяв скалярное произведение Дж ( р Е + Дж × Б ) урожаи р умножить на временную составляющую, поэтому потеря энергии уже определяется потерей импульса.

Для частиц это также верно: мощность, передаваемая частице, равна произведению скорости на силу.

Является ли это общим свойством мю Т мю ν , что часть энергии следует из части импульса? Может ли кто-нибудь указать мне ссылку, объясняющую это? Если нет, может ли кто-нибудь указать мне на встречный пример?

PS: я заметил несколько статей, которые, кажется, ограничивают сохранение энергии связью с сохранением импульса, чтобы обеспечить «интегрируемость», хотя я не совсем понимаю, как они связаны или обязательно ли они связаны.

РЕДАКТИРОВАТЬ :

То, как я это сформулировал, было плохим. Вероятно, не имеет смысла говорить «следует ли сохранение энергии из сохранения импульса», поскольку в разных системах отсчета они смешиваются по-разному. Скорее, я должен сказать мю Т мю ν дают 3 независимых уравнения или 4 ? Основываясь на опыте, я хочу сказать 3, а не 4. Два приведенных выше примера имеют только 3 независимых уравнения (и без особой работы обобщаются на тензорные уравнения с некоторым тождеством ограничений, которое удаляет 4-е уравнение).

Для задач с жидкостью в общей теории относительности оказывается, что существует только 3 независимых уравнения. Возьмем, к примеру, тензор энергии напряжения идеальной жидкости:

Т п ф мю ν "=" ( ϵ + п ) ты мю ты ν п г мю ν

Есть 3 степени свободы ты мю потому что он должен удовлетворять тождеству ты мю ты мю "=" 1 . Плотность частиц — это еще одна степень свободы для каждой точки пространства-времени, но существует ограничение сохранения количества частиц, которое дает другое ограничение. Чтобы получить корректные уравнения движения, необходимо также уравнение состояния, связывающее давление/энергию с числом частиц. Таким образом, чтобы получить корректные уравнения движения, должно быть только 3 независимых уравнения движения.

Также см. http://adsabs.harvard.edu/abs/1991A%26A...252..651G , где они разрабатывают уравнения Эйнштейна в сферическом симметричном пространстве-времени. Они прямо утверждают, что одно из динамических уравнений движения избыточно. В конце раздела 5 статьи: «Обратите внимание, что... можно определить плотность энергии в жидкой системе отсчета, е , либо с помощью уравнения состояния (5), либо по знанию Е через уравнение (10). Эти два значения абсолютно одинаковы при условии, что давление п ( с , н Б ) , который появляется в уравнении. (25) для Е , термодинамически согласуется с е ( с , н Б ) , т.е. что п подчиняется уравнению (6)». Уравнение (6) в ссылке — это всего лишь первый закон термодинамики.

Итак, перефразируя:

Во всех практических обстоятельствах, о которых я знаю, мю Т мю ν дает только 3 независимых уравнения, 4-е из которых избыточно. Так ли это или есть ситуации, когда это не так?

Частица, движущаяся в пространстве-времени FRW, будет иметь постоянную пространственную 4-импульсную составляющую п я но его энергия п 0 будет меняться со временем. Так что ответ на заглавный вопрос — нет .
Спасибо @AVS .. но я не спрашиваю, связаны ли они простым образом, а скорее, подразумевает ли сохранение импульса сохранение энергии. В любом случае, это было плохо сформулировано. См. редактирование выше для уточнения того, что я пытаюсь выяснить.
Расходимость тензора энергии-импульса (именно меня это и интересует) полностью локальна (это локальное взаимодействие поля с веществом в точке). Оба примера относятся к полю (созданному другими частицами), действующему на пробную частицу. Я не понимаю, чем это не похоже на ваш пример.
Ковариантно для любой системы оба должны быть равны нулю, мю Т мю 0 "=" 0 и мю Т мю я "=" 0 , чтобы сохранить энергию и импульс. Я не думаю, что обычные производные имеют смысл в искривленном пространстве-времени.

Ответы (2)

Теорема Нётер связывает сохранение энергии с инвариантностью относительно времени, а сохранение импульса - с инвариантностью относительно пространственного переноса лагранжиана. Следовательно, они не связаны. Например, для частицы, движущейся в пространстве, но не зависящей от времени, потенциальная энергия сохраняется, а импульс - нет.

Я не уверен, что ваш комментарий верен, потому что координаты времени и положения не являются независимыми в теории относительности. В другой системе координат преобразование будет смешано по-другому. В любом случае, то, как я задал вопрос, было плохим. В любой системе координат вопрос состоит в том, мю Т мю ν "=" 0 дает 3 или 4 независимых уравнения.
В другой системе координат энергия и импульс определяются по-разному. Мой ответ - нековариантность, как и ваш вопрос. Закон сохранения дает четыре независимых условия в этой конкретной системе отсчета, то есть во всех системах Лоренца.
Я все еще не убежден. Тот факт, что вы получаете 4 отдельных уравнения из теоремы Нётер, не гарантирует, что все они независимы. Я получаю 4 отдельных уравнения из мю Т мю ν "=" 0 , но показанные мной ситуации имеют только 3 независимых уравнения.

Прочитав ответы ОП на мои комментарии, я, кажется, понял источник взаимного замешательства.

OP неявно предполагает общую ковариантность для тензорного уравнения или ковариантность Пуанкаре, если мы говорим о плоском пространстве-времени. ( Для простоты ограничим дальнейшее обсуждение плоским пространством-временем ).

Если предположить ковариантность Пуанкаре тензора энергии-импульса, то да, из уравнений для пространственных компонент мю Т мю я "=" 0 , мы можем вывести мю Т мю 0 "=" 0 . Причина проста: если 4-вектор имеет нулевые пространственные компоненты во всех системах отсчета, то и его временная компонента тоже должна быть нулевой. Или в терминах группы Пуанкаре: действие поля, инвариантное по Лоренцу, плюс инвариантность относительно пространственных сдвигов означает инвариантность относительно временных сдвигов (поскольку алгебра Пуанкаре имеет [ М 0 я , п я ] "=" я п 0 ).

Однако если ковариантность Пуанкаре отсутствует, то сохранение энергии может уже не быть следствием сохранения импульса. Например, мы могли бы явно написать плотность лагранжиана в зависимости от переменной времени: л ( ф , ф ˙ , я ф , т ) , то имело бы место сохранение импульса, но не сохранение энергии. В качестве альтернативы, как предложил my2cts, если есть фон, зависящий от пространственных координат (так что лагранжева плотность имеет форму л ( ф , ф ˙ , я ф , Икс ) ) будет сохраняться энергия, но не будет сохраняться импульс. Даже при сохранении энергии и импульса в общем случае соответствующие уравнения независимы, поскольку л ф , я и л ф ˙ может иметь совершенно разную структуру.

Благодарю за разъяснение. Но лагранжева плотность не может явно зависеть от временной (пространственной) переменной, поскольку тогда она явно не была бы скалярной плотностью Лоренца. Если лагранжиан зависит от Икс мю , ваш аргумент менее убедителен. Так что я все еще не думаю, что ваш аргумент показывает, что они независимы.
Я вижу сейчас. Вы говорите, что для ковариантных теорий есть только 3 уравнения, а для нековариантных — 4. Меня интересуют только ковариантные теории. Я думаю, что вашего аргумента о том, что если 3 компонента 4-вектора равны нулю во всех кадрах, то 4-й тоже должен быть равен нулю, достаточно, чтобы показать, что есть только 3 уравнения. Спасибо.
Я отметил это как правильный ответ, но теперь я не считаю, что этого достаточно. @AVS приводит аргумент, что если 3 компонента 4-вектора равны 0 во всех системах отсчета, то четвертый должен быть равен. Однако тот же аргумент можно привести только с одним компонентом: если один компонент 4-векторного уравнения равен нулю во всех системах отсчета, то все они должны быть равны нулю. Но, конечно, получается по крайней мере 3 независимых уравнения движения (иначе все общие релятивистские модели жидкости были бы неразрешимы).