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

Материал из synset
Перейти к: навигация, поиск
(Новая страница: «{| width="100%" | width="40%"|Преобразования Лоренца << ! width="20%"|Оглавление | …»)
 
 
(не показаны 4 промежуточные версии этого же участника)
Строка 5: Строка 5:
 
|}
 
|}
 
----
 
----
 
  
 
Наша задача состоит в установлении функциональной зависимости координат и времени некоторого события измеренного наблюдателями в двух инерциальных системах отсчёта:
 
Наша задача состоит в установлении функциональной зависимости координат и времени некоторого события измеренного наблюдателями в двух инерциальных системах отсчёта:
Строка 11: Строка 10:
 
:<center><math>x'=f(x,t),\;\;\;\;\;\;\;\;\;\;\;\;\;t'=g(x,t).</math></center>
 
:<center><math>x'=f(x,t),\;\;\;\;\;\;\;\;\;\;\;\;\;t'=g(x,t).</math></center>
  
Рассмотрим некоторое тело, равномерно двигающееся вдоль оси <math>\textstyle x</math>. Его скорость, измеренная наблюдателями в системе <math>\textstyle S</math> будем считать равной <math>\textstyle u</math>, а в системе <math>\textstyle S'</math>, соответственно <math>\textstyle u'</math>. Эти два значения между собой связаны:
+
Дифференциалы величин записываются стандартным образом:
 +
 
 +
:<center><math>dx'= f_x\, dx + f_t\, dt,\;\;\;\;\;\;\;\;\;\;dt'=g_x\, dx+ g_t\, dt,</math></center>
 +
 
 +
где <math>\textstyle f_x</math> &mdash; это частная производная функции <math>\textstyle f=f(x,t)</math> по <math>\textstyle x</math>, и т.д. Рассмотрим некоторое тело, равномерно двигающееся вдоль оси <math>\textstyle x</math>. Его скорость, измеренная наблюдателями в системе <math>\textstyle S</math> будем считать равной <math>\textstyle u</math>, а в системе <math>\textstyle S'</math>, соответственно <math>\textstyle u'</math>. Эти два значения между собой связаны:
  
:<center><math>u' =\frac{dx'}{dt'}=\frac{f_x\, dx + f_t\, dt}{g_x\, dx+ g_t\, dt} = \frac{f_x\, u + f_t}{g_x\, u + g_t},</math></center>
+
:<center><math>u' =\frac{dx'}{dt'}=\frac{f_x\, dx + f_t\, dt}{g_x\, dx+ g_t\, dt} = \frac{f_x\, u + f_t}{g_x\, u + g_t}.</math></center>
  
где <math>\textstyle f_x</math> &mdash; это частная производная функции <math>\textstyle f=f(x,t)</math> по <math>\textstyle x</math>, и т.д. Мы считаем, что скорость <math>\textstyle u=dx/dt</math> является произвольной ''константной''. Эта же скорость измеренная в <math>\textstyle S'</math>, в силу второй аксиомы (стр. \pageref{lorents_axiom2}), не должна зависеть от того в какой точке системы <math>\textstyle S</math> находится тело. Это означает, что правая часть выражения для <math>\textstyle u'</math> не зависит от <math>\textstyle x</math> и <math>\textstyle t</math>. Поэтому возьмём производную по <math>\textstyle x</math> и приравняем её нулю:
+
Мы считаем, что скорость <math>\textstyle u=dx/dt</math> является произвольной ''константной''. Эта же скорость измеренная в <math>\textstyle S'</math>, в силу [[Преобразования Лоренца|второй аксиомы]], не должна зависеть от того, в какой точке системы <math>\textstyle S</math> находится тело. Это означает, что правая часть выражения для <math>\textstyle u'</math> не зависит от <math>\textstyle x</math> и <math>\textstyle t</math>. Поэтому возьмём производную по <math>\textstyle x</math> и приравняем её нулю:
  
 
:<center><math>\frac{f_{xx}\,u + f_{tx}}{g_x\, u + g_t}-\frac{(f_{x}\,u + f_{t})(g_{xx}\, u + g_{tx})}{(g_x\, u + g_t)^2}=0.</math></center>
 
:<center><math>\frac{f_{xx}\,u + f_{tx}}{g_x\, u + g_t}-\frac{(f_{x}\,u + f_{t})(g_{xx}\, u + g_{tx})}{(g_x\, u + g_t)^2}=0.</math></center>
Строка 23: Строка 26:
 
:<center><math>u^2\cdot(f_{xx}g_x-g_{xx}f_x)+u\cdot(f_{xx}g_t+f_{tx}g_x-g_{tx}f_x-g_{xx}f_t) + (f_{tx}g_t-g_{tx}f_t) =0.</math></center>
 
:<center><math>u^2\cdot(f_{xx}g_x-g_{xx}f_x)+u\cdot(f_{xx}g_t+f_{tx}g_x-g_{tx}f_x-g_{xx}f_t) + (f_{tx}g_t-g_{tx}f_t) =0.</math></center>
  
Функции преобразования <math>\textstyle f(x,t)</math>, <math>\textstyle g(x,t)</math> зависят от относительной скорости наблюдателей <math>\textstyle v</math>, но естественно не зависят от скорости <math>\textstyle u</math> некоторого тела летящего в пространстве. Поэтому, в силу произвольности <math>\textstyle u</math> уравнение будет выполняться, если равны нулю коэффициенты при её степенях (можно положить <math>\textstyle u=0</math>, получив коэффициент при <math>\textstyle u^0</math> равным нулю; затем взять производную по <math>\textstyle u</math>, и опять положив <math>\textstyle u=0</math>, получить нулевым коэффициент при <math>\textstyle u^1</math>, и т.д.):
+
Функции преобразования <math>\textstyle f(x,t)</math>, <math>\textstyle g(x,t)</math> зависят от относительной скорости наблюдателей <math>\textstyle v</math>, но, естественно, не зависят от скорости <math>\textstyle u</math> некоторого тела летящего в пространстве. Поэтому, в силу произвольности <math>\textstyle u</math>, уравнение будет выполняться, если равны нулю коэффициенты при её степенях (можно положить <math>\textstyle u=0</math>, получив коэффициент при <math>\textstyle u^0</math> равным нулю; затем взять производную по <math>\textstyle u</math>, и снова, положив <math>\textstyle u=0</math>, получить нулевым коэффициент при <math>\textstyle u^1</math>, и т.д.):
 +
 
 +
:<center><math>\begin{array}{ll} \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{xx}\,g_x=g_{xx}\,f_x & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(X_1)\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{xx}\,g_t+f_{tx}\,g_x=g_{tx}\,f_x+g_{xx}\,f_t & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(X_2)\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{tx}\,g_t=g_{tx}\,f_t. & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(X_3) \end{array}</math></center>
  
:<center><math>\begin{array}{ll} \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{xx}g_x=g_{xx}f_x & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(X_1)\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{xx}g_t+f_{tx}g_x=g_{tx}f_x+g_{xx}f_t & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(X_2)\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{tx}g_t=g_{tx}f_t. & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(X_3) \end{array}</math></center>
+
Это система дифференциальных уравнений второго порядка в частных производных.
  
Аналогично, беря производную <math>\textstyle u'</math> по времени <math>\textstyle t</math>, получаем:
+
Совершенно аналогично, беря производную <math>\textstyle u'</math> по времени <math>\textstyle t</math>, получаем:
  
:<center><math>\begin{array}{ll} \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{xt}g_x=g_{xt}f_x & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(T_1)\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{xt}g_t+f_{tt}g_x=g_{tt}f_x+g_{xt}f_t & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(T_2)\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{tt}g_t=g_{tt}f_t. & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(T_3)\\ \end{array}</math></center>
+
:<center><math>\frac{f_{xt}\,u + f_{tt}}{g_x\, u + g_t}-\frac{(f_{x}\,u + f_{t})(g_{xt}\, u + g_{tt})}{(g_x\, u + g_t)^2}=0.</math></center>
  
Эти шесть уравнений в частных производных полностью определяют функции <math>\textstyle f</math> и <math>\textstyle g</math>.
+
Снова приводя к общему знаменателю, и приравнивая коэффциенты при степенях произвольной скорости <math>\textstyle u</math>, получаем:
  
Вычитая из уравнения <math>\textstyle (X_2)</math> уравнение <math>\textstyle (T_1)</math>, а из <math>\textstyle (T_2)</math> &mdash; <math>\textstyle (X_3)</math> получаем:
+
:<center><math>\begin{array}{ll} \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{xt}\,g_x=g_{xt}\,f_x & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(T_1)\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{xt}\,g_t+f_{tt}\,g_x=g_{tt}\,f_x+g_{xt}\,f_t & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(T_2)\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{tt}\,g_t=g_{tt}\,f_t. & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(T_3)\\ \end{array}</math></center>
  
:<center><math>\begin{array}{ll} \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{xx}g_t=g_{xx}f_t & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(F_1)\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{tt}g_x=g_{tt}f_x. & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(F_2)\\ \end{array}</math></center>
+
Вычитая из уравнения <math>\textstyle (X_2)</math> уравнение <math>\textstyle (T_1)</math>, а из <math>\textstyle (T_2)</math> &mdash; <math>\textstyle (X_3)</math>, имеем:
 +
 
 +
:<center><math>\begin{array}{ll} \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{xx}\,g_t=g_{xx}\,f_t & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(F_1)\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f_{tt}\,g_x=g_{tt}\,f_x. & \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(F_2)\\ \end{array}</math></center>
  
 
Умножим теперь <math>\textstyle (X_1)</math> на <math>\textstyle f_t</math>, а <math>\textstyle (F_1)</math> на <math>\textstyle f_x</math>, и вычтем их:
 
Умножим теперь <math>\textstyle (X_1)</math> на <math>\textstyle f_t</math>, а <math>\textstyle (F_1)</math> на <math>\textstyle f_x</math>, и вычтем их:
Строка 41: Строка 48:
 
:<center><math>(g_x f_t- g_t f_x)\cdot f_{xx} = 0.</math></center>
 
:<center><math>(g_x f_t- g_t f_x)\cdot f_{xx} = 0.</math></center>
  
Выражение в круглых скобках является якобианом преобразования которой должен быть отличным от нуля. Поэтому <math>\textstyle f_{xx}=0</math>. Аналогично умножая <math>\textstyle (T_3)</math> на <math>\textstyle f_x</math>, а <math>\textstyle (F_2)</math> на <math>\textstyle f_t</math>, приходим к равенству нулю второй производной по времени от <math>\textstyle f</math>:
+
Выражение в круглых скобках является якобианом преобразования которой должен быть отличным от нуля. Поэтому <math>\textstyle f_{xx}=0</math>. Аналогично, умножая <math>\textstyle (T_3)</math> на <math>\textstyle f_x</math>, а <math>\textstyle (F_2)</math> на <math>\textstyle f_t</math>, приходим к равенству нулю второй производной по времени от <math>\textstyle f</math>:
  
 
:<center><math>(g_x f_t- g_t f_x) \cdot f_{tt} = 0.</math></center>
 
:<center><math>(g_x f_t- g_t f_x) \cdot f_{tt} = 0.</math></center>
  
Аналогично, с учётом <math>\textstyle f_{xx}=f_{tt}=0</math> не сложно найти <math>\textstyle f_{xt}=g_{xt}=0</math>. Равенство нулю вторых производных означает, что функции преобразования должны быть линейными.
+
Учитывая <math>\textstyle f_{xx}=f_{tt}=0</math>, не сложно найти <math>\textstyle f_{xt}=g_{xt}=0</math>. Равенство нулю вторых производных означает, что функции преобразования должны быть линейными.
 +
 
 
----
 
----
 
{| width="100%"   
 
{| width="100%"   

Текущая версия на 09:13, 20 февраля 2010

Преобразования Лоренца << Оглавление >> Преобразования Лоренца

Наша задача состоит в установлении функциональной зависимости координат и времени некоторого события измеренного наблюдателями в двух инерциальных системах отсчёта:

Дифференциалы величин записываются стандартным образом:

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

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

Приводя к общему знаменателю, получаем:

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

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

Совершенно аналогично, беря производную по времени , получаем:

Снова приводя к общему знаменателю, и приравнивая коэффциенты при степенях произвольной скорости , получаем:

Вычитая из уравнения уравнение , а из , имеем:

Умножим теперь на , а на , и вычтем их:

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

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


Преобразования Лоренца << Оглавление >> Преобразования Лоренца