системе отсчета интервал 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), что мы и будем делать в дальнейшем.