Как можно вывести метрику Шварцшильда, используя весь механизм дифференциальной геометрии и как можно меньше используя компонентный подход?
Что-то в этом роде: начните с коллектора на котором метрика сигнатуры Лоренца. Предполагать быть сферически симметричным в том смысле, что для любого матрица вращения соответствует отображение (вращение) , также называемый ( : , по всем точкам ), что сохраняет длины всех кривых. Используя производную Ли, находим...
Как было указано в комментариях, не совсем понятно, как вы собираетесь указывать метрику без использования некоторого набора координат. Тем не менее, в нескольких распространенных текстах по GR есть нестандартные подходы к метрике Шварцшильда, которые могут показаться вам интересными.
Гравитация Мизнера, Торна и Уилера имеет довольно подробную врезку (вставка 23.3, «Строгий вывод сферически симметричного линейного элемента»), которая начинается с предположения о многообразии. на котором существует набор автоморфизмов, сохраняющих длину кривых, и какие автоморфизмы (рассматриваемые как группа) изоморфны . Затем они показывают, как эти предположения приводят к естественному определению координат и в котором метрику можно считать диагональной. Обратите внимание, что это не относится к Шварцшильду, но может применяться к любой сферически-симметричной ситуации (даже к динамической, а не к статической).
Общая теория относительности Уолда использует ограниченную версию приведенного выше аргумента (предполагая статичность с самого начала), чтобы показать, как координаты и получаются из геометрических соображений. Затем он использует формализм ортонормированной тетрады (вместо более традиционного метода координатных компонент) для получения дифференциальных уравнений, которым должна удовлетворять метрика.
Райан Унгер
Натанаэль
Гор