системе отсчета интервал At может соответствовать изменению как t', так и х', так что при изменении только t' изменение х будет другим. Для наших дифференцирований следовало бы найти такую переменную, которая была бы мерой «интервала» в пространстве-времени и оставалась бы той же самой во всех системах отсчета. Когда в качестве этого интервала мы принимаем приращение Dх, то оно будет тем же во всех системах отсчета. Когда частица «движется» в четырехмерном пространстве, то возникают приращения как Dt, так и Dх, Dy, Dz. Можно ли из них сделать интервал? Да, они образуют компоненты приращения четырехвектора хm=(сt, х, у, г), так что, если определить величину Ds через
что представляет четырехмерное скалярное произведение, то в ней мы приобретаем настоящий скаляр и можем пользоваться им для измерения четырехмерного интервала. Исходя из величины As или ее предела ds, мы можем определить параметр
Хорошим четырехмерным оператором будет и производная по s, т. е. d/ds, так как она инвариантна относительно преобразований Лоренца.
Для движущейся частицы ds легко связывается с dt. Для точечной частицы
(26.30)
а
Таким образом, оператор
есть инвариантный оператор. Если подействовать им на любой четырехвектор, то мы получим другой четырехвектор. Например, если мы действуем им на (ct, x, у, z), то получаем четырехвектор скорости
Теперь мы видим, почему Ц(l-v2/c2) поправляет дело.
Инвариантная переменная s — очень полезная физическая величина. Ее называют «собственным временем» вдоль траектории частицы, ибо в системе, в любой момент движущейся вместе с частицей, ds просто равно интервалу времени. (В этой системе Dx=Dy=Dz=0, a Ds=Dt.) Если вы представите себе часы, скорость хода которых не зависит от ускорения, то, двигаясь вместе с частицей, такие часы будут показывать время s.
Теперь можно вернуться назад и записать закон Ньютона (подправленный Эйнштейном) в изящной форме:
(26.32)
где fm определяется формулой (26.28). Импульс же рm может быть записан в виде
(26.33)
где координаты xm=(ct, х, у, z) описывают теперь траекторию частицы. Наконец, четырехмерные обозначения приводят нас к очень простой форме уравнений движения:
(26.34)
напоминающей уравнения F=ma. Важно отметить, что уравнения (26.34) и F=ma — вещи разные, ибо четырехвекторная форма уравнения (26.34) содержит в себе релятивистскую механику, которая при больших скоростях отличается от механики Ньютона. Это абсолютно непохоже на случай уравнений Максвелла, где нам нужно был о переписать уравнения в релятивистской форме, совершенно не изменяя их смысла, а изменяя лишь обозначения.
Вернемся теперь к уравнению (26.24) и посмотрим, как в четырехвекторных обозначениях записывается правая часть.
Три компоненты F, поделенные на Ц(1-v2/c2), составляют пространственные компоненты fm , так что
Теперь мы должны подставить все величины в их релятивистских обозначениях. Прежде всего c/Ц(1-v2/c2), vy/Ц(1-v2/c2) и vz/Ц(1-v2/c2) представляют t-, у- и z-компоненты 4-скорости um. Компоненты же Е и В входят в электромагнитный тензор второго ранга Fmv. Отыскав в табл. 26.1 компоненты Fmv, соответствующие Ех, Вг и Вv , получим
здесь уже начинает вырисовываться что-то интересное. В каждом слагаемом есть индекс х, и это разумно, ибо мы находим х-компоненту силы. Все же остальные индексы появляются в парах tt, yy, zz — все, кроме слагаемого с хх, которое куда-то делось. Давайте просто вставим его и запишем
Этим мы ничего не изменили, так как благодаря антисимметрии Fmv слагаемое Fxx равно нулю. Причиной же нашего желания восстановить его является возможность сокращенной записи уравнения (26.36):
(26.37)
Это по-прежнему уравнение (26.36), если предварительно мы примем соглашение: когда какой-то индекс встречается в произведении дважды (подобно v), нужно автоматически суммировать все слагаемые с одинаковыми значениями этого индекса точно так же, как и в скалярном произведении, т. е. пользуясь тем же самым правилом знаков.
Нетрудно поверить, что уравнение (26.37) так же хорошо работает и для m=y, и для m=z. Но как обстоит дело с m=t? Посмотрим для забавы, что дает формула
Теперь мы снова должны перейти к Е и В. После этого получается
или
Но в (26.28) ft бралось равным
А это одно и то же, что (26.38), ибо v·(vXB) равно нулю. Так что все идет как нельзя лучше.
В результате наше уравнение движения записывается в элегантном виде:
(26.39)
Как ни приятно видеть столь красиво записанное уравнение, форма эта не особенно полезна. При нахождении движения частицы обычно удобнее пользоваться первоначальным уравнением (26.24), что мы и будем делать в дальнейшем.