Фейнмановские лекции по гравитации
Шрифт:
x'
g
.
(7.4.8)
Как и ранее, движение частиц задаётся требованием, чтобы собственное время достигало максимального значения на траектории движения. Если возможно, используя некоторый разумный способ выбора преобразований, привести тензор к виду g'=, тогда мы можем сделать заключение, что гравитационного поля нет и что также нет и ускорения. Но это не может быть сделано в общем случае, так как общий тензор g представляет десять предположительно независимых функций, и только четыре функции могут быть точно определены при преобразовании координат (7.4.2). Только при очень специфических
Каковы же наши успехи в изучении характера описания гравитационных сил? В ньютоновской теории соответствующее положение есть утверждение, что сила задаётся градиентом скалярной функции
Ньютоновская гравитация:
mx
=
F
x
,
F
x
=-
,
Теория Эйнштейна:
ds
=
0,
(ds)^2
=
g
dx
dx
.
(7.4.9)
Вторая часть теории соответствует точному определению того, как потенциалы ( или g) связаны с веществом. В ньютоновской теории мы имеем
=
4G
.
(7.4.10)
В конце концов мы придём к точному определению тензора g, выраженному через характеристики вещества. Основная идея состоит в том, что поскольку материя есть физическая категория, в то время как системы координат нет, вещество должно быть описано таким образом, чтобы результаты решения уравнения движения не зависели от какого-либо специального выбора системы координат, тем самым ожидается, что имеющие физический смысл свойства тензора g должны быть инвариантными величинами при произвольных преобразованиях.
7.5. Геометрическая интерпретация метрического тензора
Тензор g может иметь геометрическую интерпретацию. Для приобретения необходимой интуиции мы будем изучать вкратце значение метрического тензора в случае двух измерений, чтобы понять какие инварианты включены в теорию. В случае однородных гравитационных полей мы видели, что тензор g описывает, как масштаб времени отличается при различных положениях точки в пространстве. В более широком смысле этот тензор представляет, как масштабы меняются от точки к точке не только во времени, но также и при изменении пространственных координат. В ортогональных декартовых координатах двумерная длина дуги ds задаётся следующим соотношением
(ds)^2
=
(dx)^2
+
(dy)^2
.
(7.5.1)
Если использовать на плоскости полярные координаты, то длина дуги задаётся соотношением:
(ds)^2
=
(dr)^2
+
r^2
(d)^2
.
(7.5.2)
Очевидно, что не имеет значения, какие символы мы используем для координат, и физика на плоскости должна быть одинакова независимо от того, используем мы декартовы координаты или полярные координаты для описания геометрии на плоскости. Это означает, что если мы находим, что описание длины дуги в некоторой системе, которую мы выбрали, корректно задаётся соотношением:
(ds)^2
=
y^2
(dx)^2
+
(dy)^2
.
(7.5.3)
нет глубокого смысла в том, что кажется, будто длина x меняется при изменении координаты y, поскольку простое координатное преобразование сохраняет декартово выражение для длины дуги (7.5.1).
Теперь рассмотрим более интересный случай. Представим себе, что мы - жуки, ползающие по полу, который, как мы всегда предполагали, замощён квадратными кафельными плитками, и всю нашу жизнь мы думали, что геометрия пола правильно задаётся подсчётом плиток и использованием евклидовского правила (7.5.1), что интервалы dx или dy соответствуют величине длины плитки. Но некоторые остроумные жуки начали проверять это, используя линейки, и после серии измерений пришли к результату, что измеренные длины дуг соответствуют количеству плиток следующим образом:
(ds)^2
=
(dx)^2+(dy)^2
1+ar^2
,
(7.5.4)
где r^2=x^2+y^2 Предположим, что эти остроумные жуки очень тщательно измеряли отношение длины окружности к величине радиуса круга, прикладывая свои линейки вдоль кривых с постоянным значением r и от центра круга вдоль одной из осей. Их результаты дали бы следующие значения:
Длина окружности
=
ds
=
2
0
r d
(1+ar^2)
=
2r
(1+ar^2)
,
Радиус круга
=
r
0
ds
y=0
=
r
0
dx
(1+ax^2)
=
b
arctg
r
b
=
R,
(7.5.5)
где b^2=1/a. Экспериментальный результат для отношения длины окружности к радиусу должен был бы давать в этом случае
1
R
2b tg(R/b)
1+tg^2(R/b)
=
2
sin(R/b)
(2R/b)
.
(7.5.6)
Это отношение становится равным 2 только в пределе, когда радиус окружности стремится к нулю. Именно это измеряемое соотношение и является существенным физическим результатом.
Эта частная модель, которую мы обсудили, имеет простую геометрическую интерпретацию, но мы снова подчёркиваем, что именно экспериментальные результаты очень важны и они полностью зависят от правильной формулы для длины дуги; и вовсе не имело бы значения, что мы не можем привести простую формулу геометрического смысла, который мы можем легко представить.
Мы можем сказать, что всё это время жуки живут на поверхности сферы, не зная этого. Теперь, когда мы предположили это, мы легко понимаем, почему наши измерения окружностей давали частный результат, приведённый в соотношении (7.5.6). Если сфера имеет радиус (b/2), то результат, данный соотношением (7.5.6), представляет отношение длины окружности круга к длине вдоль поверхности меридиана, как показано на рис. 7.5.
Рис. 7.5.
Наша предыдущая точка зрения на гравитацию может быть сравнима с той, которая могла бы проводится более консервативными жуками. Кафельные плитки являются ”реальными” квадратами, но линейки изменяются, если мы двигаем их от места к месту, поскольку имеется поле, которое может привести к этому эффекту. Наша более новая геометрическая точка зрения будет состоять в том, что мы не можем определять ”кафельные плитки”, как ”реальные” квадраты; мы живём в мире, который, вообще говоря, неевклидов, имеет кривизну, которая измеряется проведением подходящих экспериментов. Нет нужды думать о процессах, как происходящих в пространстве, которое есть истинно евклидово, так как нет ничего физического, что могло бы быть даже измерено в этом воображаемом пространстве. Кафельные плитки просто представляют нанесение координатных меток, и любое другое нанесение меток может быть также произведено, как и предыдущее.