"Геометрия, динамика, вселенная" - читать интересную книгу автора (Розенталь Иосиф Леонидович)

4. ПРОСТРАНСТВО СПЕЦИАЛЬНОЙ ТЕОРИИ ОТНОСИТЕЛЬНОСТИ(ПРОСТРАНСТВО МИНКОВСКОГО)

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

Специальная теория относительности базируется на двух постулатах.

1. Существует класс эквивалентных инерциальных систем отсчета. (Этот постулат оправдывается свойствами пространства: изотропией и однородностью.)

2. Скорость света в пустоте постоянна и не зависит от движения его источника или приемника.

К этому постулату, выдвинутому А.Эйнштейном в 1905 г., мы привыкли. А привычка часто является синонимом тривиальности. В действительности он связан с двумя нетривиальными допущениями. Во-первых, скорость света c не подчиняется обычному классическому правилу сложения скоростей: v| = v| + v| (v| — суммарная скорость, v|

3 2 1 3 1 скорость источника, v| — скорость испущенной материи, в

2 данном случае скорость света). И, во-вторых, этот постулат также связан с утверждением об евклидовости пространства. Отсутствие однородности или неизотропия пространства также привели бы к его нарушению. Физической иллюстрацией возможности подобного нарушения евклидовости является существование макроскопических тел и сильных (≥10**13 Гс) электромагнитных полей. В областях, где находятся эти объекты, скорость света отличны от c. Поэтому при формулировании второго постулата особо подчеркивается свойство среды, в которой распространяется свет (пустота). Верные традиции этой книги, мы остановимся на простейшей системе, состоящей из тела отсчета и материальной точки (пробного тела).

В математическом плане второй постулат специальной теории заключается в том, что время распространения света t между началом координат O и точкой (x, y, z) определяется уравнением

(ct)**2 — x**2 — y**2 — z**2 = 0 (20)

или в дифференциальной форме

(cdt)**2 — dx**2 — dy**2 — dz**2 = 0 (21)

Соотношения (20) и (21) кардинально отличаются от связи между пространством и временем в классической физике (см. (12)). В последнем соотношении пространственные и временные координаты выступают как независимые переменные. Равенства (20) и (21) жестко связывают пространство и время. Пространство и время образуют единый физико-математический континуум. Иногда (особенно в период ранних дискуссий о теории относительности) наиболее ревностные ее апологеты утверждали, что Эйнштейн и Минковский полностью уравняли пространство и время. Это утверждение неверно. В соотношениях (20) и (21) временная и пространственные координаты выступают с разными знаками, что отражает их фундаментальное различие: время (в отличие от пространства) — направленный вектор: существует принцип причинности, различающий будущее и прошлое.

В соответствии с обозначениями дифференциальной геометрии выражение (21) записывается в форме

ds**2 = (cdt)**2 — dx**2 — dy**2 — dz**2 = 0 (22)

Второй постулат теории относительности можно сформулировать на геометрическом языке как утверждение, что для света (в пустоте) интервал ds**2 инвариантен относительно вращений и трансляций в 4-мерном континууме пространства-времени.

Инвариантность интервала ds**2 нетрудно обобщить и на случай тела и системы отсчета, движущейся со скоростью v≠c. Из опыта известно, что скорость света в пустоте максимальна. Поэтому это неравенство следует уточнить так: v

Рассмотрим две инерциальные системы координат, движущиеся со скоростью v друг относительно друга. Из (22) следует, что если в одной системе координат ds=0, то и в другой ds'=0. Рассмотрим общий случай: v≤c. Поскольку ds и ds' бесконечно малые одинакового порядка и при v — gt; c выполняется (22), то и в общем случае ds и ds' могут отличаться лишь постоянным множителем. Из изотропии и однородности пространства следует, что этот множитель равен 1`. Следовательно, интервал

ds**2 = (cdt)**2 — dx**2 — dy**2 — dz**2 = const (23)

относительно вращений и трансляций.[8]

Геометрия, в которой интервал имеет вид (23), называется псевдоевклидовой. Из равенства малых интервалов следует также и инвариантность конечных интервалов.

Инвариантность интервалов ds или s — математической отражение принципиально нового подхода к взаимосвязи пространства и времени. Пространство и время образуют единый математический континуум. Формально это выражается в том, что они составляют пространство Минковского.

Инвариантность интервала ds или s является основой для вывода важнейших следствий теории относительности. чтобы упростить дальнейшие рассуждения, мы ограничимся одной пространственной координатой x. Обобщение на трехмерное пространство (x, y, z) не представляет труда, все сделанные далее выводы при этом сохраняются.

≡=РИС. 4

Отметим прежде всего, что теория относительности существенно изменяет наши повседневные представления о прошлом, будущем и настоящем. Из-за конечности скорости света c причинно-следственные связи определены лишь при значении интервала s≥0. Чтобы представить себе наглядно неопределенно неопределенность ситуации при slt;0, допустим, что в момент чтения книги в отдаленной части галактики произошел взрыв звезды, а читатель никак не ощутил этот взрыв и не имеет возможности получить о нем какую-либо информацию. Это типичный пример, отражающий ситуацию при slt;0.

Графически можно можно все пространство-время (x,t) разделить на четыре области (рис. 4). Пусть две пересекающиеся линии соответствуют уравнениям x = ±ct. Тогда области внутри угла AOB соответствуют будущему; внутри угла COD — прошлому, а углам AOC и BOD — неопределенной ситуации, которая в общем случае зависит от движения системы отсчета. В этом смысле надо понимать сделанное выше замечание относительно тезиса Аристотеля (отсутствие настоящего). Настоящее, соответствующее одновременно происходящим в разных точках пространства событиям, есть понятие относительное. Оно зависит от движения системы отсчета.

Рассмотрим далее преобразование координаты x и времени t при переходе от одной системы отсчета (x,t) к другой (x',t'), движущейся со скоростью v относительно первой.

Условие, определяющее это преобразование, инвариантность интервала s=s'. Это условие определяет преобразование, которое является единственным с точностью до тривиального переноса начала системы отсчета

x' = x ch ψ + ct sh ψ,

(24) ct' = x sh ψ + ct ch ψ,

ψ — аналог угла поворота декартовой системы в евклидовом пространстве (ср. с преобразованием (13)). В формуле (24) ch и ch — гиперболические функции в отличие от обычных тригонометрических функций в соотношении (13). Эта разница определяется тем, что в евклидовом (двумерном) пространстве Inv = x**2 + y**2 — окружность, а в псевдоевклидовом пространстве Inv = t**2 — x**2 — гипербола.

Положим для простоты x=0. Это допущение не уменьшает общности рассуждений, однако сильно упрощает выкладки. Тогда

x' = ct sh ψ, ct' = ct ch ψ. (25)

Учитывая, что x'/t'=v, из (25) следует, что th ψ = v/c. Используя известные соотношения для гиперболических функций, легко получить

sh ψ = (v/c) [1-(v/c)**2]**(-1/2),

(26) ch ψ = [1-(v/c)**2]**(-1/2),

после чего из формул (24) и (26) следуют преобразования Лоренца:

x+vt x' = —--------,

-------,

\/ 1-(v/c)**2

(27)

t+vx/c**2 t' = —--------.

-------,

\/ 1-(v/c)**2

Из соотношений (27) следует:

1. При v/clt;lt;1 преобразования Лоренца переходят в преобразования Галилея (12).

2. Интервалы длины и времени преобразуются соответственно:

^x ^x' = —--------,

-------,

\/ 1-(v/c)**2

(28)

^t ^t' = —--------.

-------,

\/ 1-(v/c)**2

Наметим далее вывод из метрических свойств пространства Минковского уравнения движения материальной точки

p=mu, (29)

где u — скорость частицы.

В ньютоновской механике v = dx/dt; m=const (t абсолютное время). Чтобы обобщить импульс в рамках теории относительности, нужно проделать две операции, специфические для теории относительности: 1) условиться о системе отсчета, в которой определяется время; 2) обобщить 3-мерные векторы ньютоновской физики на 4-мерное пространство Минковского. Иначе говоря, следует ввести 4-мерный вектор, который при v/c — gt; 0 переходил бы в 3-мерный евклидов вектор, а в рамках теории относительности был бы аналогом 4-вектора (t,x,y,z). Найдем 4-мерный аналог скорости v=dx/dt. В русле идей теории относительности существует выделенная (собственная) система отсчета, связанная с материальной точкой. Действительно, в этой системе величина dx=const и время t=τ однозначно связано с инвариантным интервалом ds. В том же случае, когда тело «истинно» точечное (dx=0), то ds=c d τ. Поэтому естественно в формуле для скорости положить

u=dx/d τ (23)

и на основании (23)

v|||||

x,y,z u||||| = —--------, x,y,z —-----,

\/ 1-(v/c)**2

где индексы x, y, z отмечают компоненты по соответствующим осям.

Чтобы величина u была бы 4-вектором, нужно доопределить четвертую компоненту. В нашем распоряжении есть единственная величина, имеющая размерность скорости: скорость света c. Поэтому аналог временной компоненты 4-скорости:

c u| = —--------. (32) t —-----,

\/ 1-(v/c)**2

Тогда выражение (29) для импульса можно записать в форме

p| = m|u|, i 0 i

ult m| — масса в собственной системе отсчета. Индекс i

0 отмечает номер компоненты 4-скорости. Легко проверить, что величины p| (i=1,2,3,4 или t,x,y,z) образуют 4-вектор.

i Действительно,

(p|)**2 — (p|)**2 — (p|)**2 — (p|)**2 = (m|c)**2 = Inv. (34) t x y z 0

По существу (34) есть частное следствие общего определения пространства Минковского: квадрат 4-вектора инвариант относительно поворотов и трансляций в этом пространстве. Другим важнейшим примером этого правила является инвариантность интервала. Отличие от векторного определения пространства Евклида сводится к правилу знаков: квадрат временно-подобной компоненты берется со знаком «+», а квадраты пространственно-подобных компонент — со знаком «-». Если потребовать сохранения формы (29) для выражения импульса в релятивистской механике через обычную скорость, то следует изменить определение массы, положив

m m = —--------. (35)

-------,

\/ 1-(v/c)**2

Все выводы релятивистской динамики, и в частности формулы (33) — (35), превосходно согласуются с экспериментальными данными, полученными на ускорителях. Точнее, они служат основой для конструирования больших ускорителей, образуя новую область, лежащую на стыке фундаментальной физики и инженерных дисциплин: релятивистскую инженерную физику.