Относительность и компоненты 1-формы

У меня вопрос относительно Мизнера, Чарльза У.; Торн, Кип С.; Уиллер, Джон Арчибальд (1973), ISBN Gravitation 978-0-7167-0344-0 . Это книга о теории гравитации Эйнштейна.

На странице 313 упражнение 13.2. «Практика с метрикой» представляет четырехмерное многообразие в сферических координатах + в который имеет линейный элемент

г с 2 "=" ( 1 2 М / р ) г в 2 + 2 г в г р + р 2 ( г θ 2 + с я н 2 θ г ф 2 ) .

Вопрос (б):

Задайте скалярное поле т к

т в р 2 М п ( ( р / 2 М ) 1 )
Каковы ковариантные и контравариантные компоненты 1-формы? г т (равно тильде)? Какая длина в квадрате ты 2 соответствующего вектора? Покажи то ты времяподобно в регионе р > 2 М .

Моя попытка:

Сначала продифференцируй, чтобы получить 1-форму г т :

г т "=" г в г р г р / 2 М 1 ( р / 2 М ) 1 "=" г в г р ( 1 + 1 р 2 М )

Однако поправка говорит, что ты р "=" 1 / ( 1 2 М / р ) что не эквивалентно тому, что я написал. Где моя ошибка?

Я понимаю, что квадрат длины ты происходит от ненулевого термина v, ковариантного и контравариантного: 1 1 / ( 1 2 М / р ) и р, ф и θ термы имеют нулевые компоненты в контравариантных термах.

Теперь, чтобы доказать, что времяподобно в определенной области, мне нужно сделать скалярное произведение dt с пространственными компонентами и найти ноль? Для углов это кажется довольно тривиальным, но для р , я не уверен, как это показать г т г р "=" 0 . Может ли кто-нибудь помочь мне, пожалуйста?

Ваше выражение для г т размерно не соответствует. Нет смысла писать 1 + 1 р 2 М с р и М являются длинами.
@G.Smith Опечатка, я забыл ar сверху.
Откуда бы это взялось? Что принадлежит сверху, так это 2 М что ответ Лии указал. Я хочу сказать, что несоответствие размеров должно было быть ключом к тому, что вы неправильно различали.

Ответы (1)

Вы забыли 2 М умноженный на п ( р / 2 М 1 ) .

г т "=" г в г р 2 М р / 2 М 1 1 2 М г р

г т "=" г в ( 1 + 1 р / 2 М 1 ) г р

г т "=" г в 1 1 2 М / р г р

Теперь у вас есть ты в "=" 1 , ты р "=" 1 / ( 1 2 М / р ) , ты θ "=" ты ф "=" 0

ты в "=" г в мю ты мю "=" 1 ты р "=" 1 / ( 1 2 М / р ) и ты р "=" г р мю ты мю "=" 1 ты в + ( 1 2 М / р ) ты р "=" 1 1 "=" 0

ты мю ты мю "=" 1 / ( 1 2 М / р ) отрицательно в регионе р > 2 М и, следовательно, времениподобны.