Специальная теория относительности

Андрей Грозин

Аннотация

В этой статье кратко и (я надеюсь) доступно излагаются основные положения специальной теории относительности. Я старался показать, что теория относительности не только не противоречит здравому смыслу, но, наоборот, логически следует из него. Подробно обсуждается геометрия пространства–времени Минковского. Геометрический подход (с минимумом формул) позволяет сделать выводы теории относительности наглядными и интуитивно очевидными. Я использовал радиолокационный подход Бонди, который позволяет прийти к выводам теории кратчайшим путём.

Использовать скорость света c в теории относительности — это всё равно что изучать евклидову геометрию, измеряя координату x в сантиметрах, а y в дюймах. Во всех формулах будет назойливо присутствовать “фундаментальная константа” c = 2.54см/дюйм; естественность и очевидность результатов полностью исчезнут.

1 Пространство–время

Пространство–время — это множество всех событий. Событие характеризуется тем, что произошло где-то и когда-то. Оно однозначно определяется четырьмя числами — моментом времени и тремя пространственными координатами. То есть пространство–время четырёхмерно. Все события, произошедшие с частицей, образуют её мировую линию. В каждый момент времени частица где-то находилась, а это уже событие. Мировая линия представляет собой одномерное подмножество пространства–времени.

Рисовать четырёхмерные картинки довольно неудобно, поэтому мы будем в основном рассматривать движение частиц вдоль прямой. Тогда пространство–время двумерно, и его легче себе представить. Например, на рис. 1 показано движение поездов метро.


PICT


Рис. 1: Движение поезда описывается двумерной областью между мировыми линиями его головы и хвоста.


Каждый наблюдатель имеет при себе часы, и может измерять время событий на своей мировой линии. Мы примем постулат, что существуют правильно идущие часы. Показания двух правильных часов одного наблюдателя могут отличаться лишь выбором начала отсчёта (естественно, предполагается, что тиканье разных часов приведено к единой единице измерения времени). Вопрос о том, как сделать правильные часы, относится не к физике пространства–времени, а к физике населяющей его материи. Наблюдатель не может непосредственно измерить время события вне своей мировой линии. Этот процесс неизбежно включает в себя передачу сигналов, и будет подробно рассмотрен в  2.


PICT


Рис. 2: Обмен сигналами.


Допустим, наблюдатель 1 посылает сигнал наблюдателю 2 в момент t1, а тот немедленно посылает сигнал обратно (рис. 2). Логически, можно представить себе три возможности:

Таким наибыстрейшим сигналом является свет (а также гравитационные волны). Это связано с тем, что фотоны (и гравитоны) — безмассовые частицы ( 5). Однако, конкретная природа наибыстрейших сигналов не является важной для теории относительности. Если когда-нибудь у фотона обнаружат очень маленькую ненулевую массу, то это будет серьёзным потрясением для теории электромагнетизма, но никак не затронет основ теории относительности. Важен только сам факт, что никакой сигнал не может быть быстрее чего-то. Мы будем для определённости называть наибыстрейшие сигналы световыми.

Пусть событие O будет взрывом бомбы. Тогда наблюдатель сначала увидит вспышку (событие A), а потом уже на него посыплются осколки (рис. 3). Мировые линии световых сигналов, испущенных в точке O, образуют световой полуконус будущего этого события. Событие O может влиять на события, лежащие внутри (и на границе) этого полуконуса, при помощи света и других сигналов (например, осколков). Эта область пространства–времени называется будущим события O.


PICT


Рис. 3: Взрыв бомбы.


Аналогично, мировые линии световых сигналов, приходящих в точку O, образуют световой полуконус прошлого этого события. События внутри (и на границе) этого полуконуса могут влиять на событие O. Эта область называется прошлым события O. Область пространства–времени вне светового конуса называется удалённым события O (рис. 4). События из этой области не могут влиять на O, и O не может влиять на них.


PICT


Рис. 4: Будущее, прошлое и удалённое события O.


Световой конус в трёхмерном пространстве–времени (две пространственных координаты) показан на рис. 5. Будущее находится внутри светового полуконуса будущего; прошлое — внутри светового полуконуса прошлого; удалённое — вне светового конуса. В четырёхмерном пространстве–времени световой конус — это трёхмерная поверхность, нарисовать которую труднее.


PICT


Рис. 5: Световой конус.


2 Преобразования Лоренца

Частица, на которую не действуют никакие силы, движется по инерции. Принцип относительности Галилея гласит, что все инерциальные наблюдатели равноправны. Если один инерциальный наблюдатель поставил какой-то эксперимент и получил некоторый результат, а другой инерциальный наблюдатель поставил такой же эксперимент, то он получит такой же результат.

Допустим, два инерциальных наблюдателя пролетели мимо друг друга (событие O, рис. 6). Их часы установлены в 0 в точке O. Наблюдатель 1 послал световой сигнал в момент времени t1 (по своим часам); наблюдатель 2 его принял в момент t2 (по своим часам). Тогда

        φ
t2 = t1e ,
(2.1)

где величина φ называется углом между мировыми линиями наблюдателей 1 и 2.


PICT


Рис. 6: Два инерциальных наблюдателя.


Почему эту величину естественно назвать углом? Рассмотрим трёх инерциальных наблюдателей, движущихся в одной плоскости. Пусть их мировые линии пересекаются в одной точке (O, рис. 7). Тогда

t2 = t1eφ12,     t3 = t1eφ13 = t2eφ23,

откуда следует

φ   = φ   + φ  ,
 13    12    23
(2.2)

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


PICT


Рис. 7: Три инерциальных наблюдателя в одной плоскости.


Пусть теперь наблюдатель 1 посылает световой сигнал в момент t1 (по своим часам); наблюдатель 2 получает его в момент t (событие A), и сразу посылает ответный сигнал; наблюдатель 1 получает его в момент t2 (рис. 8). Как мы знаем, t = t1eφ; кроме того, t2 = teφ, ведь наблюдатели 1 и 2 равноправны. Значит,

t1 = te−φ,     t2 = teφ.
(2.3)


PICT


Рис. 8: Обмен сигналами между двумя инерциальными наблюдателями.


Событие A произошло вне мировой линии наблюдателя 1, поэтому он не может непосредственно измерить время этого события по своим часам. Наиболее естественно определить время события A с точки зрения наблюдателя 1 как середину интервала [t1,t2], так как световой сигнал распространяется в обе стороны одинаково быстро. По той же причине, наиболее естественно определить координату события A с точки зрения наблюдателя 1 как половину этого промежутка времени. Скорость наибыстрейшего сигнала мы принимаем за 1, что фиксирует естественную единицу измерения расстояния; сигнал пропутешествовал от наблюдателя 1 до события A и обратно. Таким образом, по определению, временная и пространственная координаты события A с точки зрения наблюдателя 1 есть

 0   t1 +-t2      1    t2-−-t1-
x  =    2   ,    x  =    2   .
(2.4)

Подставляя (2.3), получим

x0 =  tcoshφ,     x1 = t sinh φ.
(2.5)

Мы пришли к очень важному результату: величина

x2 ≡ (x0)2 − (x1)2 = t2
(2.6)

не зависит от того, как движется наблюдатель 1 (т. е. от φ). Компоненты x0, x1 вектора x (из точки O в точку A) различны для разных наблюдателей; инвариантную величину x2 естественно назвать квадратом длины вектора x, т. е. квадратом расстояния от O до A. Это расстояние есть t, то есть интервал времени между событиями O и A по часам наблюдателя 2 (оба события лежат на его мировой линии). Формула (2.6) для квадрата длины вектора отличается от привычной евклидовой тем, что вместо знака + между двумя членами стоит знак . Поэтому геометрия пространства–времени называется псевдоевклидовой (или геометрией Минковского).

Из формулы (2.5) видно, что привычная ньютоновская скорость наблюдателя 2 по отношению к наблюдателю 1 есть

x1-
x0 = tanh φ

(она всегда < 1, и стремится к 1 при φ →∞). Эта величина, однако, неудобна; удобнее использовать угол φ между мировыми линиями, обладающий естественным свойством аддитивности (2.2).


PICT


Рис. 9: Преобразование Лоренца.


Как связаны координаты x0, x1 события A с точки зрения наблюдателя 1 и координаты x0, x1 того же события с точки зрения наблюдателя 2, мировая линия которого образует угол φ с мировой линией наблюдателя 1? Из рис. 9 мы видим

       ′    ′            ′   ′
x0′ = t1 +-t2,    x1′ = t2 −-t1,
         2                 2

где

t′1 = t1eφ,     t′2 = t2e−φ.
(2.7)

Подставляя

t1 = x0 − x1,    t2 = x0 + x1,

мы окончательно получаем

  0′    0           1             1′      0          1
x   = x  coshφ − x  sinh φ,     x   = − x sinh φ + x cosh φ.
(2.8)

Это преобразование Лоренца. Легко проверить, что квадрат длины вектора x инвариантен: (x0)2 (x1)2 = (x0)2 (x1)2. Преобразование Лоренца проще выглядит в координатах светового фронта (приложение A).

3 Геометрия Минковского

Рассмотрим вектор x из точки O в точку A. Возможны три случая (рис. 4):

Мы знаем, что такое квадрат вектора x2 (2.6). А как насчёт скалярного произведения двух векторов x y? Его можно определить как

       (x + y)2 − x2 − y2    0 0    1 1
x ⋅ y =------------------ = x y  − x y .
               2

В четырёхмерном пространстве–времени xy = x0y0 x1y1 x2y2 x3y3. Поэтому наряду с контравариантными компонентами xμ вектора x (μ = 0, 1, 2, 3) вводят ковариантные компоненты xμ:

x0 = x0,   x1 = − x1,  x2 = − x2,   x3 = − x3.

Тогда скалярное произведение имеет простой вид

        μ         μ
x ⋅ y = x yμ = x μy ,
(3.1)

где по повторяющемуся индексу (один раз сверху и один раз снизу) всегда подразумевается суммирование от 0 до 3.

Векторы x и y называются ортогональными, если x y = 0. Два времениподобных вектора не могут быть ортогональны друг другу: их скалярное произведение всегда > 0, если оба направлены в будущее (или в прошлое), и < 0, если один направлен в будущее, а другой в прошлое. Светоподобный вектор ортогонален сам себе, а также всем коллинеарным с ним светоподобным векторам. Он не может быть ортогонален времениподобному вектору или светоподобному вектору, не коллинеарному с ним. Времениподобный вектор x ортогонален пространственноподобному вектору y, если их направления симметричны друг другу относительно светоподобной прямой (рис. 10): если y0 = x1, y1 = x0, то x y = 0; ортогональность не нарушится, если y умножить на скаляр. Два пространственноподобных вектора могут быть ортогональны друг другу, если имеется не менее двух пространственных координат: если натянутая на них плоскость пространственноподобна, то её геометрия евклидова, и эти два вектора могут быть ортогональны.


PICT


Рис. 10: Ортогональные векторы.


Времениподобный вектор x длины t (x2 = t2), направленный под углом φ к оси времени, имеет компоненты (2.5) xμ = t(cosh φ, sinh φ) (рис. 11). То есть его проекция на направление eμ = (1, 0) есть t cosh ϑ. Она всегда t; равенство достигается при φ = 0.


PICT


Рис. 11: Проекции времениподобного вектора x на оси координат.


Скалярное произведение двух времениподобных векторов x и y (будем считать, что оба направлены в будущее) равно длине вектора x (то есть √--2
 x), умноженной на проекцию y на направление x (она равна ∘ -2-
  y cosh φ):

        √---∘ ---
x ⋅ y =  x2   y2cosh φ,
(3.2)

где φ — угол между направлениями x и y. Скалярное произведение всегда √x2--∘y2---; равенство достигается, когда они коллинеарны (φ = 0).

“Окружность” — это геометрическое место точек A, удалённых от центра O на расстояние t. Она определяется уравнением x2 = t2, и представляет собой гиперболу (рис. 12a). Она имеет две ветви, в будущем и в прошлом, представляющие собой пространственноподобные кривые; асимптотами являются образующие светового конуса. Верхнюю ветвь можно параметрически задать как

xμ = t(cosh φ,sinh φ).
(3.3)


PICT


Рис. 12: “Окружности”: (a) x2 = t2; (b) x2 = r2.


Если же “окружность” имеет пространственноподобный радиус (x2 = r2, рис. 12b), то ветви — времениподобные кривые, расположенные в области удалённого. Правая ветвь параметрически задаётся как

xμ = r(sinh φ,cosh φ).
(3.4)

Времениподобный вектор (3.3) ортогонален пространственноподобному вектору (3.4) с тем же φ (рис. 10).

Точки на “окружности” (3.4), соответствующие углу 0 и малому углу Δφ, разделены вектором xμ = (rΔφ, 0) длины rΔφ (Рис. 13). Длина дуги между углами φ и φ + Δφ равна rΔφ при любом φ, потому что поворотом можно превратить угол φ в 0, а φ + Δφ в Δφ. То есть связь угла и длины дуги такая же, как в евклидовой геометрии.


PICT


Рис. 13: Дуги, соответствующие малых углам Δφ.


В трёхмерном пространстве–времени (две пространственных координаты) “сфера” x2 = t2 представляет собой двухполостный гиперболоид (рис. 14a). Он состоит из двух пространственноподобных поверхностей, одна в будущем, а другая в прошлом. “Сфера” x2 = r2 — однополостный гиперболоид (рис. 14b), времениподобная поверхность, лежащая в области удалённого. В четырёхмерном пространстве–времени их нарисовать сложнее.


PICT


Рис. 14: “Сферы”: (a) x2 = t2; (b) x2 = r2.



PICT


Рис. 15: Неравенство треугольника.


Рассмотрим сумму двух времениподобных векторов x = OB и y = BA, направленных в будущее (рис. 15). На рисунке изображены дуги “окружностей”: расстояния от O до B и до C одинаковы, как и расстояния от A до B и до D. Очевидно, что расстояние от O до A больше, чем сумма расстояний от O до B и от B до A:

∘  --------  √ ---  ∘  ---
   (x + y )2 ≥   x2 +    y2.
(3.5)

Равенство достигается, когда x и y коллинеарны; если векторы x и y светоподобны, то √ ---
  x2 + ∘ ---
  y2 = 0. Иными словами, проекция OE вектора OB на направление OA длиннее самого вектора OB (рис. 11); точно так же, проекция EA вектора BA на направление OA длиннее самого вектора BA. Это неравенство легко получить и по-другому: достаточно возвести его в квадрат и использовать (3.2).

Любую времениподобную мировую линию, соединяющую события O и A, можно сколь угодно точно приблизить ломаной. Из неравенства треугольника (3.5) следует, что прямая OA имеет наибольшую длину среди всех этих мировых линий. То есть время между O и A по часам инерциального наблюдателя больше, чем по часам любого другого наблюдателя, двигавшегося с ускорением1.

Если у нас есть ортонормированный базис e0, e1, т. е. такой, что

e2 = 1,     e2=  − 1,    e0 ⋅ e1 = 0,
 0           1
(3.6)

то любой вектор x можно по нему разложить:

x = x0e0 + x1e1.
(3.7)

Компоненты вектора получаются проецированием на векторы базиса:

x0 = x ⋅ e0,   x1 =  x ⋅ e1
(3.8)

(как мы уже обсуждали, x0 = x0, x 1 = x1).

В системе отсчёта инерциального наблюдателя 1, вектор e0 направлен вдоль мировой линии этого наблюдателя, т. е. вдоль его оси времени: e0μ = (1, 0). Иными словами, это вектор скорости наблюдателя 1 ( 4). Вектор e1 ему ортогонален: e1μ = (0, 1). Пусть имеется ещё один инерциальный наблюдатель, мировая линия которого образует угол φ с мировой линией первого наблюдателя (рис. 16). Орт оси времени второго наблюдателя e0μ = (cosh φ, sinh φ) направлен из начала координат в точку на единичной окружности под углом φ. Орт оси x ортогонален ему: e1μ = (sinh φ, cosh φ), и его конец лежит на окружности x2 = 1. То есть орты второго наблюдателя получаются из ортов первого поворотом на угол φ:

e′0 = e0 coshφ +  e1sinh φ,     e′1 = e0sinh φ + e1cosh φ.
(3.9)

Компоненты вектора x (3.7) в повёрнутой системе координат легко найти проецированием:

 ′       ′                             ′       ′
x0 = x ⋅ e0 = x0cosh φ + x1 sinh φ,    x1 = x ⋅ e1 = x0 sinh φ + x1 cosh φ.
(3.10)

Это ни что иное как преобразование Лоренца (2.8).


PICT


Рис. 16: Преобразование Лоренца.


4 Скорость и ускорение


PICT


Рис. 17: Скорость.


Мировую линию частицы можно задать параметрически как xμ(t). Её скорость — это вектор

     Δx μ
vμ = -----
      Δt
(4.1)

при малом Δt, где вектор Δxμ = xμ(t + Δt) xμ(t), Δx2 = Δt2 (рис. 17). Поэтому

  2
v  = 1,
(4.2)

то есть скорость vμ(t) — это единичный касательный вектор к мировой линии в точке xμ(t), направленный в будущее. Мировая линия частицы, движущейся по инерции, прямая:

xμ = xμ + vμt.
      0
(4.3)

Ускорение — это

        μ
aμ = Δv---
      Δt
(4.4)

при малом Δt. Поскольку (v + Δv)2 = v2 + 2v Δv = v2 = 1,

v ⋅ a = 0.
(4.5)

То есть ускорение — пространственноподобный вектор, ортогональный скорости.


PICT


Рис. 18: Равноускоренное движение.


Пусть мировой линией частицы будет правая ветвь гиперболы

  2     2
x  = − r
(4.6)

(рис. 18). Параметрически она задаётся как xμ = r(sinh φ, cosh φ). Длина дуги (т. е. время) для точки с углом φ есть t = (если выбрать начало отсчёта времени в точке φ = 0). Поскольку (x + Δx)2 = x2 + 2x Δx = x2 = r2, x v = 0, то есть скорость — времениподобный вектор, ортогональный x. При изменении t от −∞ до +конец вектора x пробегает мировую линию

         (              )
xμ(t) = r  sinh  t,cosh t-
                r      r
(4.7)

— правую ветвь гиперболы. При этом конец вектора v(t) пробегает верхнюю ветвь гиперболы v2 = 1, и в каждый момент t остаётся ортогональным x(t), то есть характеризуется тем же углом φ (рис. 18). Ускорение aμ(t) ортогонально vμ(t), и потому направлено вдоль xμ(t):

 μ      xμ(t)
a (t) =  r2  .
(4.8)

Поэтому a2 = 1∕r2 постоянно; такое движение естественно назвать равноускоренным.

Рассмотрим теперь пример с двумя пространственными координатами. Протон в коллайдере равномерно движется по окружности радиуса r с периодом T0 = 2π∕ω0 по часам покоящегося наблюдателя. Его мировая линия — спираль (рис. 19a)

x1 = r cos(ω0x0),  x2 = r sin (ω0x0 ).
(4.9)


PICT


Рис. 19: Мировая линия частицы, равномерно движущейся по окружности.


Если мысленно развернуть цилиндр, на который намотана спиральная мировая линия, то станет ясно, что за период протон проходит T0 вдоль оси x0 и 2πr в пространственном направлении. Поэтому период движения по часам протона равен

     ∘ ------------
T  =   T 2−  (2πr)2 = --T0--,
         0            cosh φ
(4.10)

где

coshφ =  ∘----1------,
           1 − (ω0r)2
(4.11)

то есть протон движется под углом φ к оси x0. Мировую линию можно также задать через собственное время t:

xμ = (tcosh φ,r cos(ωt),rsin(ωt)),
(4.12)

где ω = 2π∕T = ω0 cosh φ (энергия протона E = m cosh φ, см.  5). Вектор скорости описывает конус, расположенный внутри светового конуса (Рис. 19b):

vμ = (cosh φ,− rω sin(ωt),rω cos(ωt)).
(4.13)

Его конец пробегает окружность радиуса sinh ϑ = ωr, то есть длины 2πωr, за период собственного времени T = 2π∕ω. Поэтому длина вектора ускорения (пространственноподобная) равна ω2r, и

aμ = − ω2r(0,cos(ωt),sin(ωt)).
(4.14)

5 Импульс и волновой вектор

Каждая частица характеризуется своей массой m. Вектор

pμ = mv μ
(5.1)

называется импульсом. Иными словами, импульс — это касательный вектор к мировой линии длины m, направленный в будущее:

p2 =  m2.
(5.2)

Все возможные векторы импульса частицы образуют часть “сферы” (5.2), лежащую в будущем (рис. 14a), она называется массовой поверхностью.

Безмассовые частицы имеют светоподобный импульс: p2 = 0. Например, фотон имеет m = 0. Мировые линии безмассовых частиц светоподобны. Любой интервал времени вдоль такой мировой линии равен 0; поэтому для них невозможно определить скорость. Импульс, однако, хорошо определён, и является касательным вектором к мировой линии. Массовая поверхность частицы с m = 0 — это световой полуконус будущего (рис. 5).

В системе отсчёта некоторого инерциального наблюдателя pμ = (E,⃗p ), где временная компонента E называется энергией, а пространственные компоненты образуют трёхмерный импульс ⃗p . Они связаны как p2 E2 ⃗p 2 = m2. То есть энергия частицы, имеющей импульс pμ, с точки зрения наблюдателя со скоростью vμ есть E = p v.

Рассмотрим распад частицы с массой m на две частицы с массами m1 и m2. Их импульсы связаны законом сохранения

p = p  + p .
     1    2
(5.3)

По неравенству треугольника (3.5) m > m1 + m2. Какова энергия частицы 1 в системе покоя распадающейся частицы? Перепишем закон сохранения (5.3) в виде p p1 = p2 и возведём в квадрат: (p p1)2 = m2 + m 12 2p p 1 = m22. Но p p 1 = mE1, поэтому

      m2  + m2 − m2
E1  = --------1----2-.
            2m
(5.4)

Точно так же

      m2  + m2 − m2
E2  = --------2----1-;
            2m
(5.5)

легко проверить сохранение энергии E1 + E2 = m. Трёхмерные импульсы продуктов распада в системе покоя p противоположны: ⃗p 1 + ⃗p 2 = 0; по модулю они равны

⃗p2 = E2 − m2 =  E2 − m2 =  (m-+-m1--+-m2-)(m-−-m1--−-m2-)(m-+-m1--−-m2-)(m-−-m1--+-m2-).
       1    1    2     2                               4m2
(5.6)

Например, в распаде π0 γγ массы фотонов m 1 = m2 = 0, и E1 = E2 = m∕2.

Ещё один пример — эффект Комптона. Фотон с энергией E рассеивается на угол ϑ на покоящемся электроне. Найдём энергию Eрассеянного фотона. Пусть импульсы начальных электрона и фотона будут p и k, а конечных pи k:

          ′   ′
p + k = p  + k .
(5.7)

Перепишем закон сохранения импульса в виде p + k k= pи возведём его в квадрат: (p + k k)2 = m2 + 2p k 2p k′− 2k k= m2. В системе покоя начального электрона p = (m,⃗
0), k = E(1,⃗n), k= E(1,⃗n), где ⃗n, ⃗n— единичные трёхмерные векторы в направлении движения начального и конечного фотонов. Поэтому p k = mE, p k= mE, k k= EE(1 cos ϑ), и мы получаем

1--  -1    1 −-cos-ϑ
E ′ − E =     m    .
(5.8)

И ещё один пример. Пион с энергией Eπ налетает на покоящийся нуклон. При каких Eπ может происходить реакция ΛK (mΛ + mK > mN + mπ)? Закон сохранения импульса

pN +  pπ = pΛ + pK .
(5.9)

Квадрат массы конечного состояния (pΛ + pK)2 (m Λ + mK)2. Перепишем его через импульсы начальных частиц: (pN + pπ)2 = m N2 + m π2 + 2m NEπ (mΛ + mK)2, откуда

      (m-Λ-+-mK--)2-−-m2N-−-m2π-
E π ≥           2mN            .
(5.10)

На пороге рождающиеся Λ и K имеют одинаковые скорости, т. е. pΛ и pK коллинеарны.

Теперь мы рассмотрим волны. Плоская волна

cos(k ⋅ x)
(5.11)

характеризуется волновым вектором k. Если k2 > 0, то можно перейти в систему покоя, где k = (k0,⃗0). В ней волна (5.11) представляет собой колебания cos(k0x0), синхронные во всём пространстве (рис. 20a). В произвольной системе отсчёта, поверхности постоянной фазы (например, максимумы, минимумы и нули волны (5.11)) представляют собой пространственноподобные плоскости, ортогональные волновому вектору k (рис. 20b). Если k2 = 0 (как для электромагнитных волн), то системы покоя не существует. В этом случае плоскости постоянной фазы светоподобны, и светоподобный вектор k лежит на такой плоскости (рис. 20c).


PICT


Рис. 20: Плоские волны: волновой вектор k и плоскости постоянной фазы.


Наблюдатель со скоростью v имеет мировую линию x = vt. Он воспримет волну (5.11) как колебания cos(ωt) с частотой ω = k v. Частоты волны с точки зрения разных наблюдателей различны (эффект Допплера).

A Координаты светового фронта

Иногда удобно вместо компонент x0, x1 вектора x в ортонормированном базисе использовать

x+ =  x0 + x1,    x− =  x0 − x1.
(A.1)

Для события A на рис. 8, x+ = t2 = teφ, x = t1 = teφ. Квадрат вектора x

 2
x =  x+x −
(A.2)

равен t2. Для времениподобного вектора x, направленного в будущее, x + > 0 и x > 0; аналогично, область прошлого определяется неравенствами x+ < 0, x < 0, а в области удалённого эти компоненты имеют противоположные знаки (рис. 4).

Координаты x+, x события A относительно наблюдателя 2 (рис. 9) выражаются через его координаты x+, x относительно наблюдателя 1 формулой (2.7):

x′ = x  e−φ,     x′ = x  eφ.
 +     +          −     −
(A.3)

При этом x2 (A.2) остаётся инвариантным. Эта форма записи преобразования Лоренца эквивалентна (2.8), но выглядит проще.

“Окружность” x2 x +x = t2 представляет собой гиперболу (рис. 12a); её верхнюю ветвь можно параметрически задать как

        φ             −φ
x+  = te ,     x− = te  .

Аналогично, правую ветвь “окружности” x2 x +x = r2 (рис. 12b) параметрически можно задать как

x   = reφ,     x  = − re−φ.
  +             −

Скалярное произведение (3.1) в координатах светового фронта имеет вид

        1-
x ⋅ y = 2 (x+y − + x− y+).
(A.4)

Вместо ортонормированного базиса e0, e1 введём базис из двух светоподобных векторов

e+ =  e0 − e1,    e− = e0 + e1;

e0 = 1-(e+ + e− ) ,   e1 = 1-(e− − e+ ).
     2                     2
(A.5)

Они удовлетворяют свойствам

e2 =  e2 = 0,     e  ⋅ e = 2.
 +     −           +   −
(A.6)

Любой вектор x можно разложить по этому базису (рис. 21):

x = 1-(x− e+ + x+e− );
    2
(A.7)

компоненты выделяются проецированием:

x+ = x ⋅ e+,    x− =  x ⋅ e− .
(A.8)


PICT


Рис. 21: Координаты светового фронта.


Если мировая линия второго инерциального наблюдателя образует угол φ с мировой линией первого, то

 ′       φ       ′      − φ
e− = e − e ,    e+ = e+e   ,
(A.9)

(рис. 22), и компоненты вектора x во второй системе отсчёта даются формулой (A.3).


PICT


Рис. 22: Преобразование Лоренца в координатах светового фронта.