Производная метрического тензора

Я хотел бы задать вам вопрос, может быть, простой, но беспокоящий меня.

У нас есть произведение двух четырехпозиционных векторов в криволинейных координатах, заданное выражением

( 1 ) Икс α г α β Икс β "=" т 2

и взяв производную по собственному времени, я ожидал получить

( 2 ) 2 U α г α β Икс β "=" 2 т

Но если бы мы разложили его на частные производные и производные по собственному времени отдельных векторов, это было бы:

( 3 ) г Икс α г т г α β Икс β + Икс α г α β г Икс β г т + Икс α Икс β г г α β г т "=" 2 U α г α β Икс β + Икс α Икс β г г α β г т 2 т

( 4 ) U γ γ Икс α Икс β г α β "=" U γ г γ α Икс β г α β + U γ г γ β Икс α г α β + Икс α Икс β U γ γ г α β "=" 2 U α г α β Икс β + Икс α Икс β U γ [ ? ? ] 2 т

Меня смущает вот что:

А) Е д ( 2 ) Е д ( 3 ) Е д ( 3 )

Б) Если уравнение (2) верно, то почему? Потому что метрический тензор может меняться со временем, как я полагаю.

С) Что это такое [ ? ? ] "=" γ г α β в уравнении (4)? - Насколько я знаю, метрический тензор должен быть инвариантным относительно ковариантного четырехградиентного, и поэтому я понятия не имею, каков результат такой производной.

Я был бы признателен, если бы вы нашли время, чтобы ответить.

Я полагаю, для вас это будет минута, но я очень сомневаюсь в приведенных выше формулах.

Ответы (1)

Источник вашей проблемы, кажется, C). Символы Кристоффеля удовлетворяют

Г а б с + Г б а с "=" г а б , с
Итак (при условии отсутствия глупых опечаток)
г а б ; я "=" г а б , я Г б я с г а с Г а я с г с б "=" г а б , я Г а б я Г б а я "=" 0
Таким образом, метрика ведет себя как константа по отношению к ковариантному дифференцированию; это просто утверждает, что векторы имеют постоянную величину при параллельном смещении.

Спасибо, Чарльз!