Векторы убийства - метрика Шварцшильда

Учитывая метрику Шварцшильда,

г с 2 "=" ( 1 р с р ) г т 2 + ( 1 р с р ) 1 г р 2 + р 2 г θ 2 + р 2 грех 2 θ г ф 2 ,
Меня просят показать это
К мю "=" ( 1 , 0 , 0 , 0 ) , р мю "=" ( 0 , 0 , 0 , 1 )
являются векторами Киллинга, т.е. удовлетворяют уравнению Киллинга
мю ξ ν + ν ξ мю "=" 0.


В первую очередь с помощью метрики опускаю индексы:

К мю "=" ( ( 1 р с р ) , 0 , 0 , 0 ) , р мю "=" ( 0 , 0 , 0 , р 2 грех 2 θ ) .
Тогда для р мю я пытался вычислить
мю р ν мю р ν Г мю ν λ р λ "=" мю р ν Г мю ν ф р ф ;
так
р р ф "=" р грех 2 θ , θ р ф "=" р 2 грех θ потому что θ .
Но теперь мне непонятно, что мне делать дальше.

Что случилось с символами Кристоффеля? Я думаю, что вам не хватает некоторых терминов в ваших выражениях для ковариантных производных.
@Н. Steinle, у меня есть неявная сумма более λ "=" т , р , θ , ф . Затем я понимаю, что единственный неисчезающий символ Кристоффеля — это тот, λ "=" ф .

Ответы (2)

Ваше уравнение для р мю читает

мю р ν + ν р мю "=" ( мю р ν Г мю ν λ р λ ) + ( ν р мю Г ν мю о р о ) "=" мю р ν + ν р мю 2 Г мю ν ф р ф .
Если вы используете мю "=" р и мю "=" θ (единственные неисчезающие члены), вы обнаружите, что уравнение Киллинга для р мю это удовлетворено.

Это зависит от того, как был определен вектор Киллинга. Если определение было «векторное поле, подчиняющееся уравнению Киллинга», то вам остается только продолжить вычисления, и я ничего не могу добавить. Но есть альтернативное определение, которое я предпочитаю:

Поле Киллинга — это поле, поток которого является изометрией для всех значений параметра.

Для этого нужно знать, что такое поток векторного поля и что означает «изометрия» в римановом многообразии. Я кратко резюмирую.

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

Изометрия риманова многообразия — это (дифференцируемое) отображение, оставляющее инвариантным метрический тензор: мю * г "=" г .

Тогда можно показать, что Икс поле убийства для метрики г тогда и только тогда, когда он удовлетворяет уравнению Киллинга (где ковариантная производная определяется связью Леви-Чивиты г ).

В вашей проблеме поток К очевидно, отображение

мю ты : ( т , р , θ , ф ) ( т + ты , р , θ , ф )
т.е. перевод времени ты . С г (т.е. г с 2 ) не зависит от т , мю ты это изометрия для всех ты .

Аналогично, поток р является

ν ты : ( т , р , θ , ф ) ( т , р , θ , ф + ты )
т.е. поворот на угол ты . И г даже не зависит от ф , так ν ты также является изометрией.