Преобразования Лоренца — различия между версиями

Материал из synset
Перейти к: навигация, поиск
 
(не показаны 22 промежуточные версии этого же участника)
Строка 1: Строка 1:
 
{| width="100%"   
 
{| width="100%"   
 
  | width="40%"|[[Инерциальные системы отсчёта]] <<  
 
  | width="40%"|[[Инерциальные системы отсчёта]] <<  
  ! width="20%"|[[Релятивистский мир|Оглавление]]  
+
  ! width="20%"|[[Релятивистский мир|Оглавление]] ([http://synset.com/pdf/relworld_01.pdf Глава 1])
  | width="40%" align="right"| >> [[Принцип параметрической неполноты]]
+
  | width="40%" align="right"| >> [[Скорость|Сложение скоростей]]
 
|}
 
|}
 
----
 
----
 
Установим вид преобразований между результатами наблюдения некоторого события в двух инерциальных системах отсчета <math>\textstyle S</math> и <math>\textstyle S'</math>:
 
Установим вид преобразований между результатами наблюдения некоторого события в двух инерциальных системах отсчета <math>\textstyle S</math> и <math>\textstyle S'</math>:
  
{| width="100%"
+
{| width="100%"  
 
  | width="90%" align="center"|<math> x'=f(x,t,v),\;\;\;\;\;\;\;\;\;\;\;\;\;\;t'=g(x,t,v). </math>
 
  | width="90%" align="center"|<math> x'=f(x,t,v),\;\;\;\;\;\;\;\;\;\;\;\;\;\;t'=g(x,t,v). </math>
  | <div width="10%" align="right" style="color:#0000CC">'''(1.3)'''</div>
+
  | <div width="10%" align="right" style="color:#0000CC">'''(1.3)'''</div>
|}
+
|}
 
 
Для этого будем стараться использовать только самые общие и "естественные" соображения. Чтобы зафиксировать вид функций <math>\textstyle f</math> и <math>\textstyle g</math>, начнём задавать последовательность аксиом, которым они удовлетворяют. В качестве первой аксиомы выберем следующее утверждение:
 
<blockquote>
 
''' Аксиома I.'''  ''Преобразования (1.3) являются непрерывными, дифференцируемыми и взаимно однозначными''.
 
</blockquote>
 
  
 +
Чтобы найти функции <math>\textstyle f</math> и <math>\textstyle g</math>, начнём задавать последовательность аксиом, которым они удовлетворяют.
 +
<blockquote> '''Аксиома I.''' ''Преобразования'' (1.3) ''являются непрерывными, дифференцируемыми и взаимно-однозначными.'' </blockquote>
 
Это требование является очень естественным и, хотя оно сужает класс возможных функций, тем не менее, оставляет его более чем широким.
 
Это требование является очень естественным и, хотя оно сужает класс возможных функций, тем не менее, оставляет его более чем широким.
  
<blockquote>  
+
<blockquote>   '''Аксиома II.''' ''Если скорости двух свободных частиц равны в системе'' <math>\textstyle S</math>, ''то они будут равны и в системе'' <math>\textstyle S'</math>.
'''Аксиома II.''' ''Если скорости двух свободных частиц равны в системе'' <math>\textstyle S</math>, ''то они будут равны и в систем''е <math>\textstyle S'</math>.  
 
 
</blockquote>  
 
</blockquote>  
 +
Эта аксиома приводит к тому, что преобразования координат и времени должны быть линейными функциями:
  
Эта аксиома приводит к тому, что преобразования координат и времени должны быть линейными функциями:
+
{| width="100%"
 +
| width="90%" align="center"|<math> x'= A\, x + B\, t,\;\;\;\;\;\;\;\;\;\;\;\;\;\; t'= D\, x + E\, t, </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(1.4)'''</div>
 +
|}
 +
 
 +
где коэффициенты <math>\textstyle A,B,D,E</math> могут зависеть от относительной скорости систем отсчёта <math>\textstyle v</math>, но не зависят от <math>\textstyle x</math> и <math>\textstyle t</math>. Строгое доказательство этого утверждения приведено на стр.\pageref{h_lorenz_line} (<math>\textstyle \lessdot</math> H), однако сейчас его можно пропустить, тем более, что обычно линейность преобразований не доказывают, а постулируют, ссылаясь на однородность пространства и времени.
 +
 
 +
В преобразованиях (1.4) зафиксировано начало отсчета времени таким образом, чтобы при <math>\textstyle t=t'=0</math> начала систем совпадали: <math>\textstyle x=x'=0</math>.
 +
 
 +
В силу процедуры согласования единиц скорости мы считаем, что точка <math>\textstyle x'=0</math> системы <math>\textstyle S'</math> движется относительно <math>\textstyle S</math> по траектории: <math>\textstyle x=vt</math>. Подставляя <math>\textstyle x'=0</math>, <math>\textstyle x=v\,t</math> в первое уравнение (1.4), получаем <math>\textstyle B=-v\,A</math>. Аналогично <math>\textstyle x=0</math>, <math>\textstyle x'=-v\,t'</math> в уравнениях (1.4) дают <math>\textstyle -vt'=B\,t</math> и <math>\textstyle t'=E\,t</math>, откуда <math>\textstyle B=-v\,E</math>. Введём функции относительной скорости <math>\textstyle \gamma(v)=A=E</math> и <math>\textstyle \sigma(v)=-D/E</math>. В результате преобразования между системами отсчёта принимают вид:
 +
 
 +
{| width="100%"
 +
| width="90%" align="center"|<math> \left\{ \begin{array}{lcl} x'&=& \gamma(v)\, [ x - v\,t ],\\ t'&=& \gamma(v)\, [ t - \sigma(v)\, x ]. \end{array} \right. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(1.5)'''</div>
 +
|}
 +
 
 +
Для определения функций <math>\textstyle \gamma(v)</math>, <math>\textstyle \sigma(v)</math> нам потребуется дополнительная информация.
 +
 
 +
Третья аксиома выражает ''принцип относительности'' и является ключевой как в теории относительности, так и в классической механике:
 +
<blockquote> '''Аксиома III.''' ''Инерциальные системы отсчета равноправны.''</blockquote>
 +
 
 +
Рассмотрим три системы <math>\textstyle S_1</math>, <math>\textstyle S_2</math> и <math>\textstyle S_3</math>. Пусть <math>\textstyle S_2</math> движется относительно <math>\textstyle S_1</math> со скоростью <math>\textstyle v_1</math>, а <math>\textstyle S_3</math> относительно <math>\textstyle S_2</math> со скоростью <math>\textstyle v_2</math>.
 +
 
 +
<center>[[File:lorenz.png]]</center>
 +
 
 +
Обозначим через <math>\textstyle x_1</math> и <math>\textstyle t_1</math> координату и время события, наблюдаемого в <math>\textstyle S_1</math>, и аналогично для <math>\textstyle S_2</math> и <math>\textstyle S_3</math>. Запишем преобразования:
 +
 
 +
:<center><math>\left\{ \begin{array}{lcl} x_2&=& \gamma_1\, [ x_1 - v_1\,t_1 \,]\\ t_2&=& \gamma_1\, [ t_1 - \sigma_1\, x_1 ] \end{array} \right. \;\;\;\;\;\;\;\;\;\;\;\;\;\; \left\{ \begin{array}{lcl} x_3&=& \gamma_2\, [ x_2 - v_2\,t_2 \,]\\ t_3&=& \gamma_2\, [ t_2 - \sigma_2\, x_2 ], \end{array} \right.</math></center>
 +
 
 +
где <math>\textstyle \gamma_1=\gamma(v_1)</math>, <math>\textstyle \sigma_1=\sigma(v_1)</math>, и т.д. Подставим <math>\textstyle (x_2,t_2)</math> из первой системы во вторую:
 +
 
 +
:<center><math>\left\{ \begin{array}{lclcl} x_3&=& \gamma_2\gamma_1\, [ (1+v_2\sigma_1)\,x_1 - (v_1+v_2)\,t_1\;] &=& \gamma_3 \,[x_1-v_3\, t_1]\\ t_3&=& \gamma_2\gamma_1\, [ (1+v_1\sigma_2)\,t_1\,- (\sigma_1+ \sigma_2)\, x_1] &=& \gamma_3 \,[t_1-\,\sigma_3\, x_1]. \end{array} \right.</math></center>
 +
 
 +
Вторые равенства в каждом уравнении представляют собой преобразование между системами отсчёта <math>\textstyle S_1</math> и <math>\textstyle S_3</math>, которые движутся с относительной скоростью <math>\textstyle v_3</math>. Эти уравнения должны выполняться при любых <math>\textstyle x_1</math> и <math>\textstyle t_1</math>. Если приравнять коэффициенты при <math>\textstyle x_1</math> в первом уравнении системы и при <math>\textstyle t_1</math> во втором, то получаются следующие соотношения:
 +
 
 +
{| width="100%"
 +
| width="90%" align="center"|<math> \left\{ \begin{array}{l} \gamma_3 = (1+v_2\sigma_1) \gamma_1\gamma_2\\ \gamma_3 = (1+v_1\sigma_2) \gamma_1\gamma_2, \end{array}\right. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(1.6)'''</div>
 +
|}
  
{| width="100%" 
+
из которых следует <math>\textstyle 1+v_2\sigma_1=1+v_1\sigma_2</math>, или:
| width="90%" align="center"|<math>x'= A\cdot x + B\cdot t,\;\;\;\;\;\;\;\;\;\;\;\;\;\; t'= D\cdot x + E\cdot t, </math>
 
|  <div width="10%" align="right" style="color:#0000CC">'''(1.4)'''</div>
 
|}
 
  
где коэффициенты <math>\textstyle A,B,D,E</math> могут зависеть от относительной скорости систем отсчёта <math>\textstyle v</math>, но не зависят от <math>\textstyle x</math> и <math>\textstyle t</math>. [[Линейность преобразований Лоренца|Строгое доказательство]] этого утверждения  сейчас  можно пропустить, тем более, что обычно линейность преобразований не доказывают, а постулируют, ссылаясь на однородность пространства и времени.
+
{| width="100%"
 +
| width="90%" align="center"|<math> \frac{\sigma(v_1)}{v_1} = \frac{\sigma(v_2)}{v_2} = \alpha = const. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(1.7)'''</div>
 +
|}
  
В преобразованиях (1.4) зафиксировано начало отсчета времени таким образом, чтобы при <math>\textstyle t=t'=0</math> начала систем совпадали: <math>\textstyle x=x'=0</math>. В дальнейшем мы ослабим вторую аксиому и получим преобразование, обобщающее преобразования Лоренца, однако пока ограничимся линейным случаем.
+
Так как скорости <math>\textstyle v_1</math> и <math>\textstyle v_2</math> &mdash; произвольные ''независимые'' величины, то <math>\textstyle \alpha</math> &mdash; это некоторая константа, единая для всех инерциальных систем отсчета. Числовое значение константы <math>\textstyle \alpha</math> и её знак без дополнительных аксиом или экспериментов зафиксировать нельзя. Логически возможны три теории с <math>\textstyle \alpha>0</math>, <math>\textstyle \alpha=0</math> и <math>\textstyle \alpha<0</math>. Все они имеют право на существование и не содержат противоречий, хотя случай <math>\textstyle \alpha<0</math> имеет довольно необычные физические следствия (<math>\textstyle \lessdot</math> C). Случай <math>\textstyle \alpha\neq 0</math> является более общим, чем <math>\textstyle \alpha=0</math>, так как содержит последний в пределе малых значений <math>\textstyle \alpha</math>.
  
В силу соображений, изложенных в предыдущем разделе, мы считаем, что начало координат <math>\textstyle x'=0</math> системы <math>\textstyle S'</math> движется относительно <math>\textstyle S</math> по траектории: <math>\textstyle x=vt</math>. Подставляя <math>\textstyle x'=0</math>, <math>\textstyle x=vt</math> в первое уравнение (1.4), получаем связь <math>\textstyle B=-vA</math>. Аналогично, для наблюдателя в <math>\textstyle S'</math> точка <math>\textstyle x=0</math> движется по траектории <math>\textstyle x'=-vt'</math>, поэтому (1.4) дают два уравнения <math>\textstyle -vt'=Bt</math> и <math>\textstyle t'=Et</math>, откуда <math>\textstyle B=-vE</math>, или <math>\textstyle E=A</math>. Напомним, что использованные траектории начал систем отсчета представляют собой способ согласования единиц измерения скорости, хотя, конечно, их можно выделить и в отдельную аксиому.
+
Требование равноправия приводит также к тому, что переход от <math>\textstyle S</math> к <math>\textstyle S'</math> (1.5) будет таким же, как и от <math>\textstyle S'</math> к <math>\textstyle S</math>. Другими словами, обратное преобразование с точностью до замены <math>\textstyle v\mapsto -v</math> должно совпадать с прямым. Например, для координаты [см. первое уравнение (1.5)]:
  
Введём функции относительной скорости <math>\textstyle \gamma(v)=A</math>, <math>\textstyle \sigma(v)=-D/E</math> и запишем преобразования между системами отсчёта в следующем виде:
+
:<center><math>x = \gamma(-v) [x'+v\, t'] = \gamma(-v)\gamma(v)[1- \alpha\,v^2 ]\,x,</math></center>
  
{| width="100%" 
+
где во втором равенстве подставлено <math>\textstyle x'</math>, <math>\textstyle t'</math> из прямого преобразования (1.5) и учтено, что <math>\textstyle \sigma(v)=\alpha\,v</math>. В результате:
| width="90%" align="center"|<math>\left\{ \begin{array}{lcl} x'&=& \gamma(v)\cdot [ x - v\,t ],\\ t'&=& \gamma(v)\cdot [ t - \sigma(v)\, x ]. \end{array} \right. </math>
 
|  <div width="10%" align="right" style="color:#0000CC">'''(1.5)'''</div>
 
|}
 
  
Для определения свойств функций <math>\textstyle \gamma(v)</math>, <math>\textstyle \sigma(v)</math> добавим ещё одну аксиому:
+
{| width="100%"
 +
| width="90%" align="center"|<math> \gamma(-v)\gamma(v)=\frac{1}{1-\alpha\,v^2}. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(1.8)'''</div>
 +
|}
  
<blockquote> '''Аксиома III.'''   ''Пространство для наблюдателей во всех инерциальных системах отсчёта выглядит изотропным''.
+
Для окончательного определения функции <math>\textstyle \gamma(v)</math> нам потребуется ещё одна аксиома:
 +
<blockquote> '''Аксиома IV.''' '' Пространство в инерциальных системах отсчёта изотропно.''  
 
</blockquote>  
 
</blockquote>  
 +
Это означает, что при обращении осей обеих систем, т.е. <math>\textstyle x \mapsto -x</math> и <math>\textstyle x' \mapsto -x'</math>, преобразования (1.5) не должны изменить своего вида. При таком обращении скорость меняет знак, <math>\textstyle v \mapsto -v</math>, поэтому, для (1.5):
  
Это означает, что при обращении осей обоих систем отсчёта, т.е. <math>\textstyle x \mapsto -x</math> и <math>\textstyle x' \mapsto -x'</math>, преобразования (1.5) не должны изменить своего вида. При таком обращении скорость меняет знак, <math>\textstyle v \mapsto -v</math>, поэтому:
+
:<center><math>-x'= \gamma(-v)\, [ -x + v\,t ].</math></center>
  
:<center><math>\left\{ \begin{array}{lcl} -x'&=& \gamma(-v)\cdot [ -x + v\,t ],\\ t'&=& \gamma(-v)\cdot [ t + \sigma(-v)\, x ]. \end{array} \right.</math></center>
+
Оно снова перейдёт в (1.5), только если <math>\textstyle \gamma(v)</math> будет четной функцией скорости: <math>\textstyle \gamma(-v)=\gamma(v)</math>. Это позволяет найти <math>\textstyle \gamma(v)= 1/\sqrt{ 1-\alpha\,v^2}</math>. Положительный знак при извлечении корня выбран, чтобы при нулевой скорости получались тождественные преобразования, т.е. <math>\textstyle \gamma(0)=1</math>.
  
Эта система снова перейдёт в (1.5), только если <math>\textstyle \gamma(v)</math> будет четной, а <math>\textstyle \sigma(v)</math> &mdash; нечетной функцией скорости:
+
В следующей главе мы рассмотрим эффект сокращения длины стержня при одновременном (<math>\textstyle \Delta t=0</math>) измерении координат его начала и конца. Результат этого измерения <math>\textstyle \Delta x'=\gamma(v)\Delta x</math> не должен зависеть от направления скорости, откуда также следует чётность функции <math>\textstyle \gamma(v)</math>.
  
:<center><math>\gamma(-v)=\gamma(v),\;\;\;\;\;\;\;\sigma(-v)=-\sigma(v).</math></center>
+
Таким образом, ''функциональная форма'' преобразования между наблюдателями двух инерциальных систем отсчёта полностью определяется с точностью до константы <math>\textstyle \alpha</math>. Выяснение её ''значения'' и ''знака'' &mdash; это уже вопрос экспериментальный. Фундаментальная константа <math>\textstyle \alpha</math> могла оказаться и нулевой, однако в нашем Мире она больше нуля. Поэтому удобно выразить "<math>\textstyle \alpha</math>" через константу "<math>\textstyle c</math>", имеющую размерность скорости: <math>\textstyle \alpha = 1/c^2</math>. В результате:
  
Введём четвертую аксиому, которая является ключевой в аксиоматике теории относительности, как, впрочем, и в классической механике. Она отражает ''принцип относительности'':
+
{| width="100%"
 +
| width="90%" align="center"|<math> x'=\frac{x-vt}{\sqrt{1-v^2/c^2}},\;\;\;\;\;\;\;\;\;\;\;\;\; t'=\frac{t - vx/c^2}{\sqrt{1-v^2/c^2}}. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(1.9)'''</div>
 +
|}
  
<blockquote> '''Аксиома IV.'''  ''Все инерциальные системы отсчета равноправны''. </blockquote>
+
Эти преобразования удовлетворяют сформулированным выше четырем аксиомам и положительному выбору константы <math>\textstyle \alpha</math>.
  
Требование равноправия приводит к тому, что переход от <math>\textstyle S</math> к <math>\textstyle S'</math> (1.5) будет таким же, как и от <math>\textstyle S'</math> к <math>\textstyle S</math>. Другими словами, обратное преобразование с точностью до замены <math>\textstyle v\mapsto -v</math> выглядит так же, как и прямое. Например, для координаты [см. первое уравнение (1.5)]:
+
Для аксиоматического задания значения константы ''фундаментальной скорости'' "<math>\textstyle c</math>" необходимы дополнительные аксиомы. Так, классическая механика также опирается на аксиомы (I)-(IV), однако добавляет к ним следующее утверждение:
 +
<blockquote> '''Аксиома V.''' ''Если два события одновременны в одной системе отсчета, то они будут одновременны и в любой другой.''
 +
</blockquote>  
 +
Одновременность событий (<math>\textstyle \Delta t'=0</math>, следовательно <math>\textstyle \Delta t=0</math>) приводит к значению <math>\textstyle c=\infty</math> (стр. \pageref{delta_lorenz1}) и преобразованиям Галилея:
  
:<center><math>x = \gamma(-v) [x'+v\, t'] = \gamma^2(v)[1-v\sigma(v) ]\,x,</math></center>
+
:<center><math>x'=x-vt,\;\;\;\;\;\;\;\;\;\;\;\;\;t'=t.</math></center>
  
где во втором равенстве подставлено <math>\textstyle x'</math>, <math>\textstyle t'</math> из прямого преобразования (1.5) и учтено, что <math>\textstyle \gamma(-v)=\gamma(v)</math>. В результате:
+
Аксиомы (I)-(V) полностью определяют функции <math>\textstyle f(x,t,v)</math> и <math>\textstyle g(x,t,v)</math>. Если мы отбросим пятую аксиому, то количество информации уменьшится и мы получим неполную теорию. Однако эта неполнота замечательным образом ограничивается только появлением неопределяемой константы "<math>\textstyle c</math>", т.е. приводит к ''параметрически неполной теории''. В этом смысле пятая аксиома обладает минимальным количеством содержательной информации.
  
{| width="100%" 
+
Заметим, что мы не только вывели преобразования Лоренца, но также продемонстрировали, что <blockquote> ''теория относительности непротиворечива, если непротиворечива классическая механика.'' </blockquote> Это следует из того, что преобразования Лоренца и Галилея основаны на одинаковом подмножестве аксиом. Та или иная теорема (формула) теории всегда выводится из некоторой группы аксиом. Когда две теории используют одинаковое множество аксиом, то и теоремы, следующие из них, будут одинаковыми. Например, пусть из аксиом <math>\textstyle A_1</math> и <math>\textstyle A_2</math> следует некоторая теорема <math>\textstyle T_1</math>. Так как другие аксиомы не используются, не важно, в рамках классической или релятивистской физики проводится этот вывод. Если любые подобные выводы в классической механике не приводят к противоречиям, то они тем более не будут приводить к противоречиям в теории относительности, которая использует меньше аксиом. Когда одна из теорий (классическая механика) ''непротиворечивым образом'' добавляет новую аксиому, то появляется возможность выводить новые теоремы которые уменьшают произвол исходной ограниченной системы (например, утверждают, что <math>\textstyle c=\infty</math>).
| width="90%" align="center"|<math>\gamma(v)=\frac{1}{\sqrt{1-v\sigma(v)}}. </math>
+
 
<div width="10%" align="right" style="color:#0000CC">'''(1.6)'''</div>
+
Понимать ''логическую непротиворечивость'' теории относительности очень важно, так как выводы, которые мы будем из неё получать, окажутся очень непривычными. Тем не менее, логических противоречий они содержать не могут, так как непротиворечивы наши исходные постулаты.
|}
 
  
Положительный знак при извлечении корня выбран из следующих соображений. Любые события, происходящие в точке <math>\textstyle x=0</math> ''после'' совпадения начал отсчёта двух систем, должны иметь положительные значения времени. Из (1.5), при <math>\textstyle x=0</math>, следует, что <math>\textstyle t'=\gamma(v)\,t</math>, поэтому <math>\textstyle \gamma(v)>0</math>.
+
<math>\textstyle \bullet</math> Фундаментальная скорость численно совпадает со скоростью света:
  
Рассмотрим теперь три инерциальные системы отсчета <math>\textstyle S_1</math>, <math>\textstyle S_2</math> и <math>\textstyle S_3</math>. Пусть <math>\textstyle S_2</math> движется относительно <math>\textstyle S_1</math> со скоростью <math>\textstyle v_1</math>, а <math>\textstyle S_3</math> относительно <math>\textstyle S_2</math> со скоростью <math>\textstyle v_2</math>.
+
:<center><math>c=299792458\;m/s.</math></center>
  
<center>
+
Удобно так определить единицы времени, чтобы <math>\textstyle c=1</math>. Например, можно в качестве "новой секунды" выбрать <math>\textstyle 1/299792458</math> часть "обычной секунды" в системе СИ или СГС. Все формулы теории относительности в этой системе единиц будут выглядеть гораздо проще. Например, преобразования Лоренца, в которые добавлена неизменность перпендикулярной к движению координаты ("линии на заборе"), имеют вид:
[[File:lorenz.png]]
 
</center>
 
  
Обозначая через <math>\textstyle (x_1,t_1)</math> координаты и время события, наблюдаемого в <math>\textstyle S_1</math>, и аналогично для остальных систем, запишем два последовательных преобразования:
+
{| width="100%"
 +
| width="90%" align="center"|<math> t' = \frac{ t- v x}{\sqrt{1-v^2}},\;\;\;\;\;\;\;\;x' = \frac{ x - v t}{\sqrt{1-v^2}},\;\;\;\;\;\;\;y'= y. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(1.10)'''</div>
 +
|}
  
:<center><math>\left\{ \begin{array}{lcl} x_2&=& \gamma_1\cdot [ x_1 - v_1\,t_1 \,]\\ t_2&=& \gamma_1\cdot [ t_1 - \sigma_1\, x_1 ] \end{array} \right. \;\;\;\;\;\;\;\;\;\;\;\;\;\; \left\{ \begin{array}{lcl} x_3&=& \gamma_2\cdot [ x_2 - v_2\,t_2 \,]\\ t_3&=& \gamma_2\cdot [ t_2 - \sigma_2\, x_2 ], \end{array} \right.</math></center>
+
Если в некоторой формуле мы хотим "восстановить" константу "<math>\textstyle c</math>", то величины, имеющие в своей размерности время в некоторой степени, должны умножаться на "<math>\textstyle c</math>" в той же степени. Например, для времени <math>\textstyle t</math>, скорости <math>\textstyle u=dx/dt</math> и ускорения <math>\textstyle a=d^2x/dt^2</math> совершаются следующие замены:
  
где <math>\textstyle \gamma_1=\gamma(v_1)</math>, <math>\textstyle \sigma_1=\sigma(v_1)</math>, и т.д. Подставим <math>\textstyle (x_2,t_2)</math> из первой системы во вторую:
+
{| width="100%"
 +
| width="90%" align="center"|<math> t\mapsto ct,\;\;\;\;\;\;\;\;\;\;u\mapsto \frac{u}{c},\;\;\;\;\;\;\;\;\;\;a\mapsto \frac{a}{c^2}. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(1.11)'''</div>
 +
|}
  
:<center><math>\left\{ \begin{array}{lclcl} x_3&=& \gamma_2\gamma_1\cdot [ (1+v_2\sigma_1)\,x_1 - (v_1+v_2)\,t_1\;] &=& \gamma_3 \,[x_1-v_3\, t_1]\\ t_3&=& \gamma_2\gamma_1\cdot [ (1+v_1\sigma_2)\,t_1\,- (\sigma_1+ \sigma_2)\, x_1] &=& \gamma_3 \,[t_1-\,\sigma_3\, x_1]. \end{array} \right.</math></center>
+
Далее мы будем придерживаться системы единиц, в которой <math>\textstyle c=1</math>. Для всех физических величин, которые будут появляться в процессе построения теории, оказываются справедливыми простые правила замены, подобные (1.11). За счёт подходящего выбора системы единиц мы существенно упростим математику, не "потеряв" при этом фундаментальной константы <math>\textstyle c</math>, так как она может быть легко восстановлена при помощи правил (1.11) и им подобных (см. приложение S, стр.\pageref{sys_unit_sec}).
  
Вторые равенства в каждом уравнении, представляют собой законы преобразования между <math>\textstyle S_1</math> и <math>\textstyle S_3</math>, которые двигаются с относительной скоростью <math>\textstyle v_3</math>. Эти уравнения должны выполняться при любых <math>\textstyle x_1</math> и <math>\textstyle t_1</math>. Если приравнять коэффициенты при <math>\textstyle x_1</math> в первом уравнении системы и при <math>\textstyle t_1</math> во втором, то получаются следующие соотношения:
+
Ещё одно упрощение связано с введением обозначений для релятивистских факторов:
  
{| width="100%" 
+
:<center><math>\gamma = \frac{1}{\sqrt{1-v^2}},\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\Gamma=\frac{\gamma-1}{v^2}.</math></center>
| width="90%" align="center"|<math>\left\{ \begin{array}{l} \gamma_3 = (1+v_2\sigma_1) \gamma_1\gamma_2\\ \gamma_3 = (1+v_1\sigma_2) \gamma_1\gamma_2, \end{array}\right. </math>
 
|  <div width="10%" align="right" style="color:#0000CC">'''(1.7)'''</div>
 
|}
 
  
из которых следует <math>\textstyle 1+v_2\sigma_1=1+v_1\sigma_2</math>, или:
+
При <math>\textstyle v=0</math> фактор <math>\textstyle \gamma</math> равен единице, а при <math>\textstyle v\to 1</math> стремится к бесконечности. При малых скоростях <math>\textstyle \gamma</math> и <math>\textstyle \Gamma</math> могут быть разложены в ряд Тейлора:
  
{| width="100%" 
+
:<center><math>\gamma \approx 1+\frac{v^2}{2} + \frac{3 v^4}{8} + ...,\;\;\;\;\;\;\;\;\;\;\;\;\;\Gamma \approx \frac{1}{2}+\frac{3v^2}{8} + \frac{15 v^4}{16} + ...</math></center>
| width="90%" align="center"|<math>\frac{\sigma(v_1)}{v_1} = \frac{\sigma(v_2)}{v_2} = \alpha = const. </math>
 
|  <div width="10%" align="right" style="color:#0000CC">'''(1.8)'''</div>
 
|}
 
  
Так как скорости <math>\textstyle v_1</math> и <math>\textstyle v_2</math> &mdash; произвольные ''независимые'' величины, то <math>\textstyle \alpha</math> &mdash; это некоторая константа, единая для всех инерциальных систем отсчета. Числовое значение константы <math>\textstyle \alpha</math> и её знак без дополнительных аксиом или экспериментов зафиксировать нельзя. Это фундаментальная константа могла оказаться и нулевой, однако в нашем Мире она больше нуля. Поэтому удобно выразить "<math>\textstyle \alpha</math>" через константу "<math>\textstyle c</math>", имеющую размерность скорости: <math>\textstyle \alpha = 1/c^2</math>. В результате <math>\textstyle \sigma(v)=v/c</math>, и, так как зависимость <math>\textstyle \gamma</math> от <math>\textstyle \sigma</math> нам известна (1.6), то <math>\textstyle \gamma(v)= 1/\sqrt{ 1-v^2/c^2}</math>.
+
С гамма-фактором часто придётся совершать различные алгебраические манипуляции, поэтому приведём некоторые тождества:
  
Таким образом, значения координат и времени некоторого события, измеренные двумя инерциальными наблюдателями, связаны следующим образом:
+
:<center><math>v^2 = 1-\frac{1}{\gamma^2},\;\;\;\;\;\;\;\Gamma=\frac{\gamma-1}{v^2}=\frac{\gamma^2}{1+\gamma},\;\;\;\;\;\;\;\gamma-\Gamma=\frac{\gamma}{\gamma+1},</math></center>
  
{| width="100%" 
+
проверить которые предлагается в качестве несложного упражнения.
| width="90%" align="center"|<math>x'=\frac{x-vt}{\sqrt{1-v^2/c^2}},\;\;\;\;\;\;\;\;\;\;\;\;\; t'=\frac{t - vx/c^2}{\sqrt{1-v^2/c^2}}. </math>
 
|  <div width="10%" align="right" style="color:#0000CC">'''(1.9)'''</div>
 
|}
 
  
Эти преобразования удовлетворяют сформулированным выше четырем аксиомам. Единственной произвольной величиной оказалась константа ''фундаментальной скорости'' <math>\textstyle c</math>. Для теоретического определения её значения, т.е. устранения параметрической неполноты, необходимы дополнительные аксиомы.
+
<math>\textstyle \bullet</math> Получим обобщение преобразований Лоренца для произвольного направления скорости. Пусть начало системы <math>\textstyle S'</math> движется со скоростью <math>\textstyle \mathbf{v}</math> относительно инерциальной системы <math>\textstyle S</math> (первый рисунок):
  
Обратим внимание на то, что классическая механика также опирается на аксиомы (I)-(IV), однако добавляет к ним следующее утверждение:  
+
<center>[[File:lorenz_3D.png]]</center>
  
<blockquote> '''Аксиома V.'''  ''Если два события одновременны в одной системе отсчета, то они будут одновременны и в любой другой''.
+
Рисунок выполнен в двумерии, но движение происходит в 3-мерном пространстве. Наблюдатели согласовывают единицы времени при помощи соглашения о равенстве модулей относительной скорости, а единицы длины &mdash; "сравнивая линейки" в перпендикулярном к скорости направлении. Фиксирование значений компонент <math>\textstyle \mathbf{v}=\{v_x,v_y,v_z\}</math> (проекций на оси) означает выбор определённой ориентации координатных осей [с точностью до вращения вокруг <math>\textstyle \mathbf{v}</math> (<math>\textstyle \lessdot</math> C)] ). Для наблюдателя в <math>\textstyle S'</math> компоненты скорости начала системы <math>\textstyle S</math> имеют обратный знак.
</blockquote>  
 
  
Одновременность событий <math>\textstyle \Delta t'=\Delta t=0</math> приводит к значению <math>\textstyle c=\infty</math> и преобразованиям Галилея:
+
На третьем рисунке представлено разложение радиус вектора <math>\textstyle \mathbf{r}</math> по двум векторам <math>\textstyle \mathbf{r}_{\shortparallel}</math> и <math>\textstyle \mathbf{r}_{\perp}</math>. Первый из них направлен вдоль скорости <math>\textstyle \mathbf{v}</math>, а второй ей перпендикулярен:
  
:<center><math>x'=x-vt,\;\;\;\;\;\;\;\;\;\;\;\;\;t'=t.</math></center>
+
:<center><math>\mathbf{r} = \mathbf{r}_{\shortparallel}+\mathbf{r}_{\perp},\;\;\;\;\;\;\;\;\;\;\mathbf{r}_{\shortparallel} = \frac{(\mathbf{r}\mathbf{v})}{v^2}\,\mathbf{v}.</math></center>
  
Подробнее этот вопрос будет рассмотрен в следующей главе.
+
Длина вектора <math>\textstyle \mathbf{r}_{\shortparallel}</math> определяется проекцией <math>\textstyle \mathbf{r}</math> на единичный вектор вдоль направления скорости <math>\textstyle \mathbf{v}/v</math>. Он же задаёт направление <math>\textstyle \mathbf{r}_{\shortparallel}</math>. Далее, <math>\textstyle v=\sqrt{\mathbf{v}^2}</math> &mdash; длина вектора относительной скорости. Подобное разложение позволяет записать преобразования Лоренца для каждой компоненты:
  
Аксиомы (I)-(V) полностью определяют функции <math>\textstyle f(x,t,v)</math> и <math>\textstyle g(x,t,v)</math>. Если мы отбросим пятую аксиому, то количество информации уменьшится и мы получим неполную теорию. Однако эта неполнота замечательным образом ограничивается только появлением неопределяемой константы "<math>\textstyle c</math>", т.е. приводит к ''параметрически неполной теории''. В этом смысле пятая аксиома обладает минимальным количеством содержательной информации.
+
:<center><math>t'=\gamma\, (t-{\mathbf v}{\mathbf r}_{\shortparallel}),\;\;\;\;\;\;\;{\mathbf r}'_\shortparallel = \gamma\, ({\mathbf r}_{\shortparallel}-{\mathbf v } t),\;\;\;\;\;\;\; {\mathbf r}'_{\perp}={\mathbf r}_{\perp},</math></center>
  
Заметим, что мы не только вывели преобразования Лоренца, но также продемонстрировали, что
+
Действительно, <math>\textstyle {\mathbf r}_\shortparallel</math> направлен вдоль <math>\textstyle {\mathbf v}</math> и играет роль <math>\textstyle x</math> в обычных преобразованиях Лоренца. Аналогично <math>\textstyle {\mathbf r}_{\perp}</math> перпендикулярен скорости и играет роль <math>\textstyle y</math>. Учитывая, что <math>\textstyle {\mathbf r}'={\mathbf r}'_{\shortparallel}+{\mathbf r}'_{\perp}</math>, заменяя <math>\textstyle {\mathbf r}_{\perp}</math> на <math>\textstyle {\mathbf r}-{\mathbf r}_\shortparallel</math>, несложно записать преобразования Лоренца в виде:
  
<blockquote> ''теория относительности непротиворечива, если непротиворечива классическая механика.'' </blockquote>  
+
{| width="100%"
 +
| width="90%" align="center"|<math> t'=\gamma\, (t-{\mathbf v}{\mathbf r}),\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\; {\mathbf r}' = {\mathbf r} - \gamma{\mathbf v} t + \Gamma\,{\mathbf v}\,({\mathbf v}{\mathbf r}). </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(1.12)'''</div>
 +
|}
  
Это следует из того, что преобразования Лоренца и Галилея основаны на одинаковом подмножестве аксиом. Понимать ''логическую непротиворечивость'' теории очень важно, так как выводы, которые мы будем из неё получать, окажутся очень непривычными. Тем не менее, логических противоречий они содержать не могут, так как непротиворечивы исходные постулаты теории относительности.
+
Можно проверить, что обратные преобразования получаются перестановкой штрихованных и нештрихованных величин местами и заменой <math>\textstyle {\mathbf v}\mapsto -{\mathbf v}</math>. Если <math>\textstyle \mathbf{v}=\{v,0,0\}</math>, то из (1.12) следуют (1.10). Как мы увидим в следующей главе, совпадение относительных скоростей, вообще говоря, не означает параллельность осей координат обоих систем. Преобразования Лоренца в форме (1.12) лишь означают, что наблюдатели выполнили описанную выше процедуру согласования единиц измерения.
  
 
----
 
----
 
{| width="100%"   
 
{| width="100%"   
 
  | width="40%"|[[Инерциальные системы отсчёта]] <<  
 
  | width="40%"|[[Инерциальные системы отсчёта]] <<  
  ! width="20%"|[[Релятивистский мир|Оглавление]]  
+
  ! width="20%"|[[Релятивистский мир|Оглавление]] ([http://synset.com/pdf/relworld_01.pdf Глава 1])
  | width="40%" align="right"| >> [[Принцип параметрической неполноты]]
+
  | width="40%" align="right"| >> [[Скорость|Сложение скоростей]]
 
|}
 
|}
 
----
 
----
 
[[Релятивистский мир]] - лекции по теории относительности, гравитации и космологии
 
[[Релятивистский мир]] - лекции по теории относительности, гравитации и космологии

Текущая версия на 18:20, 4 апреля 2011

Инерциальные системы отсчёта << Оглавление (Глава 1) >> Сложение скоростей

Установим вид преобразований между результатами наблюдения некоторого события в двух инерциальных системах отсчета и :

(1.3)

Чтобы найти функции и , начнём задавать последовательность аксиом, которым они удовлетворяют.

Аксиома I. Преобразования (1.3) являются непрерывными, дифференцируемыми и взаимно-однозначными.

Это требование является очень естественным и, хотя оно сужает класс возможных функций, тем не менее, оставляет его более чем широким.

Аксиома II. Если скорости двух свободных частиц равны в системе , то они будут равны и в системе .

Эта аксиома приводит к тому, что преобразования координат и времени должны быть линейными функциями:

(1.4)

где коэффициенты могут зависеть от относительной скорости систем отсчёта , но не зависят от и . Строгое доказательство этого утверждения приведено на стр.\pageref{h_lorenz_line} ( H), однако сейчас его можно пропустить, тем более, что обычно линейность преобразований не доказывают, а постулируют, ссылаясь на однородность пространства и времени.

В преобразованиях (1.4) зафиксировано начало отсчета времени таким образом, чтобы при начала систем совпадали: .

В силу процедуры согласования единиц скорости мы считаем, что точка системы движется относительно по траектории: . Подставляя , в первое уравнение (1.4), получаем . Аналогично , в уравнениях (1.4) дают и , откуда . Введём функции относительной скорости и . В результате преобразования между системами отсчёта принимают вид:

(1.5)

Для определения функций , нам потребуется дополнительная информация.

Третья аксиома выражает принцип относительности и является ключевой как в теории относительности, так и в классической механике:

Аксиома III. Инерциальные системы отсчета равноправны.

Рассмотрим три системы , и . Пусть движется относительно со скоростью , а относительно со скоростью .

Lorenz.png

Обозначим через и координату и время события, наблюдаемого в , и аналогично для и . Запишем преобразования:

где , , и т.д. Подставим из первой системы во вторую:

Вторые равенства в каждом уравнении представляют собой преобразование между системами отсчёта и , которые движутся с относительной скоростью . Эти уравнения должны выполняться при любых и . Если приравнять коэффициенты при в первом уравнении системы и при во втором, то получаются следующие соотношения:

(1.6)

из которых следует , или:

(1.7)

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

Требование равноправия приводит также к тому, что переход от к (1.5) будет таким же, как и от к . Другими словами, обратное преобразование с точностью до замены должно совпадать с прямым. Например, для координаты [см. первое уравнение (1.5)]:

где во втором равенстве подставлено , из прямого преобразования (1.5) и учтено, что . В результате:

(1.8)

Для окончательного определения функции нам потребуется ещё одна аксиома:

Аксиома IV. Пространство в инерциальных системах отсчёта изотропно.

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

Оно снова перейдёт в (1.5), только если будет четной функцией скорости: . Это позволяет найти . Положительный знак при извлечении корня выбран, чтобы при нулевой скорости получались тождественные преобразования, т.е. .

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

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

(1.9)

Эти преобразования удовлетворяют сформулированным выше четырем аксиомам и положительному выбору константы .

Для аксиоматического задания значения константы фундаментальной скорости "" необходимы дополнительные аксиомы. Так, классическая механика также опирается на аксиомы (I)-(IV), однако добавляет к ним следующее утверждение:

Аксиома V. Если два события одновременны в одной системе отсчета, то они будут одновременны и в любой другой.

Одновременность событий (, следовательно ) приводит к значению (стр. \pageref{delta_lorenz1}) и преобразованиям Галилея:

Аксиомы (I)-(V) полностью определяют функции и . Если мы отбросим пятую аксиому, то количество информации уменьшится и мы получим неполную теорию. Однако эта неполнота замечательным образом ограничивается только появлением неопределяемой константы "", т.е. приводит к параметрически неполной теории. В этом смысле пятая аксиома обладает минимальным количеством содержательной информации.

Заметим, что мы не только вывели преобразования Лоренца, но также продемонстрировали, что

теория относительности непротиворечива, если непротиворечива классическая механика.

Это следует из того, что преобразования Лоренца и Галилея основаны на одинаковом подмножестве аксиом. Та или иная теорема (формула) теории всегда выводится из некоторой группы аксиом. Когда две теории используют одинаковое множество аксиом, то и теоремы, следующие из них, будут одинаковыми. Например, пусть из аксиом и следует некоторая теорема . Так как другие аксиомы не используются, не важно, в рамках классической или релятивистской физики проводится этот вывод. Если любые подобные выводы в классической механике не приводят к противоречиям, то они тем более не будут приводить к противоречиям в теории относительности, которая использует меньше аксиом. Когда одна из теорий (классическая механика) непротиворечивым образом добавляет новую аксиому, то появляется возможность выводить новые теоремы которые уменьшают произвол исходной ограниченной системы (например, утверждают, что ).

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

Фундаментальная скорость численно совпадает со скоростью света:

Удобно так определить единицы времени, чтобы . Например, можно в качестве "новой секунды" выбрать часть "обычной секунды" в системе СИ или СГС. Все формулы теории относительности в этой системе единиц будут выглядеть гораздо проще. Например, преобразования Лоренца, в которые добавлена неизменность перпендикулярной к движению координаты ("линии на заборе"), имеют вид:

(1.10)

Если в некоторой формуле мы хотим "восстановить" константу "", то величины, имеющие в своей размерности время в некоторой степени, должны умножаться на "" в той же степени. Например, для времени , скорости и ускорения совершаются следующие замены:

(1.11)

Далее мы будем придерживаться системы единиц, в которой . Для всех физических величин, которые будут появляться в процессе построения теории, оказываются справедливыми простые правила замены, подобные (1.11). За счёт подходящего выбора системы единиц мы существенно упростим математику, не "потеряв" при этом фундаментальной константы , так как она может быть легко восстановлена при помощи правил (1.11) и им подобных (см. приложение S, стр.\pageref{sys_unit_sec}).

Ещё одно упрощение связано с введением обозначений для релятивистских факторов:

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

С гамма-фактором часто придётся совершать различные алгебраические манипуляции, поэтому приведём некоторые тождества:

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

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

Lorenz 3D.png

Рисунок выполнен в двумерии, но движение происходит в 3-мерном пространстве. Наблюдатели согласовывают единицы времени при помощи соглашения о равенстве модулей относительной скорости, а единицы длины — "сравнивая линейки" в перпендикулярном к скорости направлении. Фиксирование значений компонент (проекций на оси) означает выбор определённой ориентации координатных осей [с точностью до вращения вокруг ( C)] ). Для наблюдателя в компоненты скорости начала системы имеют обратный знак.

На третьем рисунке представлено разложение радиус вектора по двум векторам и . Первый из них направлен вдоль скорости , а второй ей перпендикулярен:

Длина вектора определяется проекцией на единичный вектор вдоль направления скорости . Он же задаёт направление . Далее, — длина вектора относительной скорости. Подобное разложение позволяет записать преобразования Лоренца для каждой компоненты:

Действительно, направлен вдоль и играет роль в обычных преобразованиях Лоренца. Аналогично перпендикулярен скорости и играет роль . Учитывая, что , заменяя на , несложно записать преобразования Лоренца в виде:

(1.12)

Можно проверить, что обратные преобразования получаются перестановкой штрихованных и нештрихованных величин местами и заменой . Если , то из (1.12) следуют (1.10). Как мы увидим в следующей главе, совпадение относительных скоростей, вообще говоря, не означает параллельность осей координат обоих систем. Преобразования Лоренца в форме (1.12) лишь означают, что наблюдатели выполнили описанную выше процедуру согласования единиц измерения.


Инерциальные системы отсчёта << Оглавление (Глава 1) >> Сложение скоростей

Релятивистский мир - лекции по теории относительности, гравитации и космологии