Жёсткие системы отсчёта — различия между версиями

Материал из synset
Перейти к: навигация, поиск
(Новая страница: «{| width="100%" | width="40%"|Физические длина и время << ! width="20%"|Оглавление ([…»)
 
м (Защищена страница «Жёсткие системы отсчёта» ([edit=sysop] (бессрочно) [move=sysop] (бессрочно)))
 
(не показаны 4 промежуточные версии этого же участника)
Строка 1: Строка 1:
 
{| width="100%"   
 
{| width="100%"   
 
  | width="40%"|[[Физические длина и время]] <<  
 
  | width="40%"|[[Физические длина и время]] <<  
  ! width="20%"|[[Релятивистский мир|Оглавление]] ([http://synset.com/pdf/relworld_04.pdf Глава 4])  
+
  ! width="20%"|[[Релятивистский мир|Оглавление]] (Последняя версия в: [http://synset.com/pdf/relworld_04.pdf Глава 4])  
 
  | width="40%" align="right"| >> [[Жёсткость, время и геометрия]]
 
  | width="40%" align="right"| >> [[Жёсткость, время и геометрия]]
 
|}
 
|}
 
----
 
----
  
 +
Жесткость (как бы мы её не определяли), как и многие другие эффекты релятивистской теории &mdash; это понятие относительное. Нежёсткая равноускоренная система является хорошей иллюстрацией к этому утверждению. Относительно лабораторной системы её точки движутся по траекториям:
 +
 +
:<center><math>X = x + \frac{1}{a}\, \left[\sqrt{1+(aT)^2}-1\right].</math></center>
 +
 +
При этом точки с различной координатой <math>\textstyle x</math> имеют одинаковое собственное ускорение. Расстояние между ними в лабораторной системе отсчёта остаётся неизменным (<math>\textstyle \Delta X = \Delta x</math> не зависит от времени <math>\textstyle T</math>). Однако, как мы видели (стр.\,\pageref{nonin_phys_t1t2t}), радиолокационное расстояние между двумя точками зависит от времени. Поэтому наблюдатели, связанные с такой системой отсчёта, не считают её жесткой.
 +
 +
Аналогично, в жесткой равноускоренной системе отсчёта из первого раздела, расстояние между наблюдателями не меняется со временем. Однако в лабораторной системе эти наблюдатели движутся с различными скоростями по траекториям
 +
 +
:<center><math>X = \frac{1}{a}\, \left[\sqrt{(1+ax)^2+(aT)^2}-1\right].</math></center>
 +
 +
Для неподвижных наблюдателей такая "жесткая" равноускоренная система отсчёта не выглядит жесткой (<math>\textstyle \Delta X</math> является убывающей функцией времени и расстояние между точками уменьшается).
 +
 +
Обсуждая далее жесткость системы отсчёта, мы будем подразумевать, что она выполняется для наблюдателей, связанных с этой системой. Аналогично собственному времени, будем называть её ''собственной жесткостью'' системы отсчёта.
 +
 +
Отметим также, что обсуждая жесткость, мы имеем ввиду ''кинематическую жесткость'' системы отсчёта и связанных с ней тел. Это означает, что эффекты деформации и соответствующих сил, действующих внутри "твёрдого тела" выходят за рамки нашего рассмотрения. Жёсткая система отсчёта, представляется как совокупность точек, расстояние между которыми при движении системы в том или ином смысле остаётся неизменным. С каждой точкой мысленно связан наблюдатель, имеющий часы и линейку. Такие же эталоны времени и длины находятся у сопутствующего к нему наблюдателя в инерциальной системе отсчёта.
 +
 +
Возможны по крайней мере три определения собственной жесткости: <blockquote> I. ''Сопутствующая жесткость'': все точки системы отсчёта имеют нулевую скорость в сопутствующей к ней инерциальной системе отсчёта. </blockquote> <blockquote> II. ''Локальная жесткость'': тензор <math>\textstyle \gamma_{ij}=-g_{ij}+g_{0i}g_{0j}/g_{00}</math>, определяющий элемент бесконечно малой физической длины, не зависит от времени. </blockquote> <blockquote> III. ''Глобальная жесткость'': радиолокационное расстояние между любыми двумя точками системы отсчёта не меняется со временем. </blockquote> Эти три определения не эквивалентны друг другу. Особенно неожиданным это может показаться по отношению к последним двум определениям. В основе процедуры, дающей <math>\textstyle \gamma_{ij}</math> лежит радиолокационное измерение расстояния между двумя бесконечно близкими точками. Однако, оказывается, что из его постоянства, вообще говоря, не следует глобальной жесткости системы отсчёта. То есть, бесконечно малые радиолокационные расстояния могут быть постоянными, и при этом расстояние между удалёнными точками системы отсчёта изменяться со временем. Мы продемонстрируем это в следующем разделе на примере неинерциальной системы, движущейся поступательно с произвольной скоростью.
 +
 +
В жесткой равноускоренной системе отсчёта все три критерия выполняются. Постоянство радиолокационного расстояния в первом разделе было использовано для определения траекторий движения такой системы. Её метрика в координатах Мёллера <math>\textstyle ds^2 = (1+ax)^2\,dt^2 - dx^2- dy^2</math> приводит физической длине <math>\textstyle \delta l^2=dx^2+dy^2</math>, которая не зависит от времени. Поэтому критерий локальной жесткости также выполняется. Наконец, в следующем разделе мы увидим, что эта система является жесткой и в сопутствующем смысле. В этом отношении жесткая равноускоренная система выделяется из всего разнообразия неинерциальных систем отсчёта.
 +
 +
Вращающаяся система жестка и в локальном (см. (), стр.\,\pageref{nonin_phys_l_rot}) и в глобальном смыслах (см. стр.\,\pageref{nonin_dl_rot}). Однако, для неё не выполняется критерий сопутствующей жесткости. В движущейся с подходящей скоростью инерциальной системе, нулевую скорость будет иметь только одна точка вращающегося диска. Это справедливо и в теории относительности, и в классической механике.
 +
 +
<math>\textstyle \bullet</math> Исторически первым понятие жёсткости в теории относительности ввёл в 1909г. Макс Борн \cite{Born1909}. Он рассматривал некоторое тело, каждая точка которого однозначно характеризуется (нумеруется) тремя координатами <math>\textstyle x^i=\{x,y,z\}</math> и в лабораторной системе отсчёта движется по траектории <math>\textstyle X^\alpha=X^\alpha(\tau,x^i)</math>, где <math>\textstyle \tau</math> &mdash; собственное время часов, связанных с точкой. В классической механике тело считается жестким, если расстояние между двумя его точками, измеренное в данный момент времени, в дальнейшем не меняется (ниже первый рисунок). Такое определение не является релятивистски инвариантным и в любой другой системе отсчёта будет нарушено (одновременность относительна). Поэтому Борн потребовал для жесткого тела неизменности бесконечно малого расстояния в 4-пространстве в гиперплоскости, ортогональной траекториям двух соседних точек (ниже второй рисунок):
 +
 +
<center>[[File:born.png]]</center>
 +
 +
Вместо жёсткой неинерциальной системы, следуя Борну, будем говорить о жёстком теле. Запишем траекторию произвольной точки такого тела относительно лабораторной системы <math>\textstyle S_0:\,\{T,\,X,\,Y,\,Z\}</math>:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> X^\alpha=X^\alpha(\tau,\, x^1,x^2,\,x^3). </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
При этом, <math>\textstyle x^i</math> &mdash; это координаты, однозначно определяющие фиксированную точку тела, а <math>\textstyle \tau</math> &mdash; её собственное время и, как обычно, <math>\textstyle X^\alpha=\{T,\,\mathbf{X}\}</math>. Ниже мы используем безындексную запись в которой прямым шрифтом будут обозначаться 4-векторы (скалярное произведение <math>\textstyle A^\alpha B_\alpha</math> в такой записи имеет вид <math>\textstyle \mathrm{A}\cdot\mathrm{B}</math> и т.д.).
 +
 +
Интервал вдоль траектории движения точки совпадает с изменением её собственного времени:
 +
 +
:<center><math>d\tau^2 = dX^\alpha dX_\alpha = (\partial_0 X^\alpha)(\partial_0 X_\alpha)\, d\tau^2\equiv (\partial_0 \mathrm{X})^2\, d\tau^2,</math></center>
 +
 +
где подставлены дифференциалы <math>\textstyle dX^\alpha=\partial_0 X^\alpha\,d\tau</math>, записанные при постоянстве координат <math>\textstyle x^i</math> и <math>\textstyle \partial_0=\partial/\partial\tau</math> &mdash; производная по собственному времени. Таким образом:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> (\partial_0 \mathrm{X})^2=1. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
Обратим внимание, что такое лаконичное уравнение на самом деле является краткой записью уравнения <math>\textstyle (\partial_0 T)^2-(\partial_0\mathbf{X})^2=1.</math>
 +
 +
Рассмотрим две соседние точки с координатами <math>\textstyle x^i</math> и <math>\textstyle x^i+dx^i</math>. Положение первой точки соответствует моменту собственного времени <math>\textstyle \tau</math>, а второй: <math>\textstyle \tau+d\tau</math>. Расстояние между этими точками в пространстве Минковского определяется 4-вектором:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> d\mathrm{X} = \partial_0\mathrm{X}\,d\tau + \partial_i\mathrm{X}\, dx^i, </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
где <math>\textstyle \partial_i=\partial/\partial x^i</math>. Это обычный дифференциал функции 4-х переменных <math>\textstyle \tau</math>, <math>\textstyle x^1</math>, <math>\textstyle x^2</math>, <math>\textstyle x^3</math>. Для определения значения <math>\textstyle d\tau</math>, потребуем, чтобы вектор <math>\textstyle d\mathrm{X}</math> был ортогонален к 4-вектору <math>\textstyle \partial_0\mathrm{X}</math>, касательному к траектории при изменении собственного времени:
 +
 +
<center>[[File:born_ortho.png]]</center>
 +
 +
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> d\mathrm{X}\cdot\partial_0\mathrm{X}= 0. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
При таком выборе тело, по определению Борна, считается ''жёстким'', если длина вектора <math>\textstyle d \mathrm{X}</math> не меняется со временем:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> (d \mathrm{X})^2 = const. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
Из соотношения ортогональности и (), () получаем
 +
 +
:<center><math>d\tau = -(\partial_0\mathrm{X}\cdot\partial_i\mathrm{X})\, dx^i.</math></center>
 +
 +
Подставляя это значение в квадрат расстояния () между точками
 +
 +
:<center><math>(d \mathrm{X})^2 = d\tau^2 + 2(\partial_0\mathrm{X}\cdot\partial_i\mathrm{X})\, d\tau dx^i +(\partial_i\mathrm{X}\cdot\partial_j\mathrm{X})\, dx^idx^j,</math></center>
 +
 +
имеем:
 +
 +
:<center><math>(d\mathrm{X})^2 = \bigl\{ \partial_i\mathrm{X}\cdot\partial_j\mathrm{X} - (\partial_0\mathrm{X}\cdot\partial_i\mathrm{X}) (\partial_0\mathrm{X}\cdot\partial_j\mathrm{X})\bigr\}\, dx^idx^j.</math></center>
 +
 +
Первое слагаемое в фигурных скобках &mdash; это <math>\textstyle g_{ij}</math>, а второе &mdash; произведение <math>\textstyle g_{0i}g_{0j}</math>. Действительно, интервал равен:
 +
 +
:<center><math>ds^2 = (d\mathrm{X})^2 = (\partial_\alpha\mathrm{X}\cdot \partial_\beta \mathrm{X})\, dx^\alpha dx^\beta = g_{\alpha\beta}\, dx^\alpha dx^\beta,</math></center>
 +
 +
поэтому, метрические коэффициенты <math>\textstyle g_{\alpha\beta}</math> неинерциальной системы, связанной с телом равны <math>\textstyle \partial_\alpha\mathrm{X}\cdot \partial_\beta \mathrm{X}</math>. При этом, так как в преобразованиях () <math>\textstyle \tau</math> &mdash; собственное время, то <math>\textstyle g_{00}=(\partial_0\mathrm{X})^2=1</math>.
 +
 +
Таким образом, критерий жёсткости Борна эквивалентен постоянству тензора <math>\textstyle \gamma_{ij}</math>, определяющего физическую длину. Заметим, что Борн сформулировал свой критерий жесткости для частного случая преобразований в которых координатное время <math>\textstyle t</math> является собственным временем <math>\textstyle \tau</math> точки неинерциальной системы отсчёта. Если мы откажемся от условия (), то получится общее выражение (), стр.\,\pageref{noni_gamma_l_def}.
  
 
----
 
----
 
{| width="100%"   
 
{| width="100%"   
 
  | width="40%"|[[Физические длина и время]] <<  
 
  | width="40%"|[[Физические длина и время]] <<  
  ! width="20%"|[[Релятивистский мир|Оглавление]] ([http://synset.com/pdf/relworld_04.pdf Глава 4])
+
  ! width="20%"|[[Релятивистский мир|Оглавление]] (Последняя версия в: [http://synset.com/pdf/relworld_04.pdf Глава 4])
 
  | width="40%" align="right"| >> [[Жёсткость, время и геометрия]]
 
  | width="40%" align="right"| >> [[Жёсткость, время и геометрия]]
 
|}
 
|}
 
----
 
----
 
[[Релятивистский мир]] - лекции по теории относительности, гравитации и космологии
 
[[Релятивистский мир]] - лекции по теории относительности, гравитации и космологии

Текущая версия на 19:57, 4 июля 2013

Физические длина и время << Оглавление (Последняя версия в: Глава 4) >> Жёсткость, время и геометрия

Жесткость (как бы мы её не определяли), как и многие другие эффекты релятивистской теории — это понятие относительное. Нежёсткая равноускоренная система является хорошей иллюстрацией к этому утверждению. Относительно лабораторной системы её точки движутся по траекториям:

При этом точки с различной координатой имеют одинаковое собственное ускорение. Расстояние между ними в лабораторной системе отсчёта остаётся неизменным ( не зависит от времени ). Однако, как мы видели (стр.\,\pageref{nonin_phys_t1t2t}), радиолокационное расстояние между двумя точками зависит от времени. Поэтому наблюдатели, связанные с такой системой отсчёта, не считают её жесткой.

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

Для неподвижных наблюдателей такая "жесткая" равноускоренная система отсчёта не выглядит жесткой ( является убывающей функцией времени и расстояние между точками уменьшается).

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

Отметим также, что обсуждая жесткость, мы имеем ввиду кинематическую жесткость системы отсчёта и связанных с ней тел. Это означает, что эффекты деформации и соответствующих сил, действующих внутри "твёрдого тела" выходят за рамки нашего рассмотрения. Жёсткая система отсчёта, представляется как совокупность точек, расстояние между которыми при движении системы в том или ином смысле остаётся неизменным. С каждой точкой мысленно связан наблюдатель, имеющий часы и линейку. Такие же эталоны времени и длины находятся у сопутствующего к нему наблюдателя в инерциальной системе отсчёта.

Возможны по крайней мере три определения собственной жесткости:

I. Сопутствующая жесткость: все точки системы отсчёта имеют нулевую скорость в сопутствующей к ней инерциальной системе отсчёта.

II. Локальная жесткость: тензор , определяющий элемент бесконечно малой физической длины, не зависит от времени.

III. Глобальная жесткость: радиолокационное расстояние между любыми двумя точками системы отсчёта не меняется со временем.

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

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

Вращающаяся система жестка и в локальном (см. (), стр.\,\pageref{nonin_phys_l_rot}) и в глобальном смыслах (см. стр.\,\pageref{nonin_dl_rot}). Однако, для неё не выполняется критерий сопутствующей жесткости. В движущейся с подходящей скоростью инерциальной системе, нулевую скорость будет иметь только одна точка вращающегося диска. Это справедливо и в теории относительности, и в классической механике.

Исторически первым понятие жёсткости в теории относительности ввёл в 1909г. Макс Борн \cite{Born1909}. Он рассматривал некоторое тело, каждая точка которого однозначно характеризуется (нумеруется) тремя координатами и в лабораторной системе отсчёта движется по траектории , где — собственное время часов, связанных с точкой. В классической механике тело считается жестким, если расстояние между двумя его точками, измеренное в данный момент времени, в дальнейшем не меняется (ниже первый рисунок). Такое определение не является релятивистски инвариантным и в любой другой системе отсчёта будет нарушено (одновременность относительна). Поэтому Борн потребовал для жесткого тела неизменности бесконечно малого расстояния в 4-пространстве в гиперплоскости, ортогональной траекториям двух соседних точек (ниже второй рисунок):

Born.png

Вместо жёсткой неинерциальной системы, следуя Борну, будем говорить о жёстком теле. Запишем траекторию произвольной точки такого тела относительно лабораторной системы :

(EQN)

При этом, — это координаты, однозначно определяющие фиксированную точку тела, а — её собственное время и, как обычно, . Ниже мы используем безындексную запись в которой прямым шрифтом будут обозначаться 4-векторы (скалярное произведение в такой записи имеет вид и т.д.).

Интервал вдоль траектории движения точки совпадает с изменением её собственного времени:

где подставлены дифференциалы , записанные при постоянстве координат и — производная по собственному времени. Таким образом:

(EQN)

Обратим внимание, что такое лаконичное уравнение на самом деле является краткой записью уравнения

Рассмотрим две соседние точки с координатами и . Положение первой точки соответствует моменту собственного времени , а второй: . Расстояние между этими точками в пространстве Минковского определяется 4-вектором:

(EQN)

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

Born ortho.png


(EQN)

При таком выборе тело, по определению Борна, считается жёстким, если длина вектора не меняется со временем:

(EQN)

Из соотношения ортогональности и (), () получаем

Подставляя это значение в квадрат расстояния () между точками

имеем:

Первое слагаемое в фигурных скобках — это , а второе — произведение . Действительно, интервал равен:

поэтому, метрические коэффициенты неинерциальной системы, связанной с телом равны . При этом, так как в преобразованиях () — собственное время, то .

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


Физические длина и время << Оглавление (Последняя версия в: Глава 4) >> Жёсткость, время и геометрия

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