Я изучаю общую теорию относительности и немного запутался в связи между симметриями и законами сохранения.
Действительно, в классической механике мы доказываем из вариационного принципа, что каждая симметрия лагранжиана порождает закон сохранения. Это теорема Нётер, которая на самом деле является следствием уравнений Эйлера-Лагранжа.
В общей теории относительности я читал, что когда производная Ли метрического тензора по векторному полю обращается в нуль, то метрический тензор имеет симметрию относительно преобразования, порожденного потоком векторного поля, что также порождает симметрию.
Например: в метрике Шварцшильда
мы можем легко показать, что . Другими словами, метрика будет инвариантной относительно временных трансляций. Говорят, что это приводит к сохранению энергии. То же самое можно сказать и о сферической симметрии.
Мой вопрос здесь таков: говорят, что если метрический тензор инвариантен относительно определенного преобразования, заданного потоком векторного поля , то есть если производная Ли , то действует закон сохранения.
Но этот закон сохранения для какой системы? Для какой системы сохраняется величина? Я действительно не попал сюда. Так, например, в метрике Шварцшильда сохраняется энергия. Но для какой системы? Я не понимаю, для какой системы применим закон сохранения, выведенный из симметрии метрики.
Рассмотрим произвольное действие материи который предполагается общековариантным относительно общих преобразований координат.
Задайте гильбертовский тензор энергии-импульса-импульса (SEM)
Инвариантность диффеоморфизма приводит (через 2-ю теорему Нётер ) к тождеству вне оболочки. Используя уравнения материи. движения (эом)
Наконец, предположим, что метрика имеет симметрию Киллинга. Второе тождество Нётер (3) вместе с векторным полем Киллинга привести к идентичности
Из тождества (4) можно извлечь интегрируемую сохраняющуюся на оболочке величину стандартным способом с помощью теоремы о 4-мерной дивергенции , ср. Заголовочный вопрос ОП.
Для получения более подробной информации см. мой ответ Phys.SE здесь и ссылки в нем.
Рассмотрим геодезическую с касательным вектором
С - четырехимпульс частицы в свободном падении на геодезической, а выбирает специальную координату, это все равно, что сказать, что составляющая четырехимпульса в этой специальной координате сохраняется.
Точно так же предположим, что мы связаны с материей, поэтому существует сохраняющийся симметричный тензор энергии-импульса Тогда текущий сохраняется.