Парадокс близнецов

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Парадо́кс близнецо́в — мысленный эксперимент, при помощи которого пытаются «доказать» противоречивость специальной теории относительности. Согласно СТО, с точки зрения «неподвижных» наблюдателей все процессы у двигающихся объектов замедляются. С другой стороны, принцип относительности декларирует равноправие инерциальных систем отсчёта. На основании этого строится рассуждение, приводящее к кажущемуся противоречию. Для наглядности рассматривается история двух братьев-близнецов. Один из них (далее путешественник) отправляется в космический полёт, второй (далее домосед) — остаётся на Земле. Чаще всего «парадокс» формулируется следующим образом:

Формулировка I. С точки зрения домоседа часы движущегося путешественника имеют замедленный ход времени, поэтому при возвращении они должны отстать от часов домоседа. С другой стороны, относительно путешественника двигалась Земля, поэтому отстать должны часы домоседа. На самом деле братья равноправны, следовательно, после возвращения их часы должны показывать одно время.

Тем не менее, согласно СТО, отставшими окажутся часы путешественника. В таком нарушении видимой симметричности братьев и усматривается противоречие.

История[править | править исходный текст]

Эффект релятивистского замедления времени был сформулирован Альбертом Эйнштейном в его работе 1905 года в виде следующей теоремы:

Если в точке А находятся двое синхронно идущих часов и мы перемещаем одни из них по замкнутой кривой с постоянной скоростью до тех пор, пока они не вернутся в А (на что потребуется, скажем, t сек), то эти часы по прибытии в А будут отставать по сравнению с часами, остававшимися неподвижными…[1]

В форме парадокса этот эффект сформулировал в 1911 году Поль Ланжевен[2]. Придание парадоксу наглядной истории космического путешествия сделало его популярным, в том числе и в ненаучных кругах. Сам Ланжевен считал, что объяснение парадокса связано с ускоренным движением путешественника, которое необходимо для его возвращения на Землю.

Следующим анализ парадокса предпринял Макс фон Лауэ в 1913 году[3]. С его точки зрения важны не этапы ускорения путешественника, а сам факт смены им инерциальной системы отсчёта при возвращении на Землю.

После создания Общей теории относительности Альберт Эйнштейн в 1918 году объяснил парадокс при помощи факта влияния гравитационного поля на ход времени[4].

В самом деле согласно общей теории относительности, часы идут тем быстрее, чем больше гравитационный потенциал в том месте, где они находятся.

Затем, в 1921 году простое объяснение, основанное на инвариантности собственного времени, предложил Вольфганг Паули[5].

Некоторое время «парадокс близнецов» почти не привлекал к себе внимания. В 1956—1959 годах Герберт Дингл выступил с рядом статей[6][7], в которых утверждалось, что известные объяснения «парадокса» неверны. Несмотря на ошибочность аргументации Дингла[8][9], его работы вызвали многочисленные дискуссии в научных и научно-популярных журналах[10][11][12][13][14][15][16][17]. В результате появился ряд книг, посвящённых этой теме. Из русскоязычных источников стоит отметить книги[18][19][20][21], а также статью[22].

Большинство исследователей не считают «парадокс близнецов» демонстрацией противоречия теории относительности, хотя история появления тех или иных объяснений «парадокса» и придания ему новых форм не прекращается до настоящего времени[23][24][25][26][27].

Классификация объяснений парадокса[править | править исходный текст]

Объяснить парадокс, подобный «парадоксу близнецов», можно при помощи двух подходов:

1) Выявить происхождение логической ошибки в рассуждениях, которые привели к противоречию;
2) Провести детальные вычисления величины эффекта замедления времени с позиции каждого из братьев.

Первый подход зависит от деталей формулировки парадокса. В разделах «Простейшие объяснения» и «Физическая причина парадокса» будут приведены различные версии «парадокса» и даны объяснения того, почему противоречия на самом деле не возникает.

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

К первой группе относятся вычисления на основе специальной теории относительности в рамках инерциальных систем отсчёта. В этом случае этапы ускоренного движения считаются пренебрежимо малыми по сравнению с общим временем полёта. Иногда вводится третья инерциальная система отсчёта, движущаяся навстречу путешественнику, при помощи которой показания его часов «передаются» брату-домоседу. В разделе «Обмен сигналами» будет приведен простейший расчёт, основанный на эффекте Доплера.

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

Кинематические эффекты СТО[править | править исходный текст]

В основе СТО лежат преобразования Лоренца. Для понимания сути парадокса близнецов необходим аккуратный анализ основных кинематических эффектов, которые из них следуют. Рассмотрим две системы отсчёта \textstyle S и \textstyle S', пространственные оси которых параллельны друг другу. Пусть система \textstyle S' движется относительно \textstyle S вдоль оси \textstyle x со скоростью \textstyle v, тогда:

x'=\frac{x-vt}{\sqrt{1-v^2/c^2}},\;\;\;\;\;\;\;\;\;\;\;\;\;t'=\frac{t-vx/c^2}{\sqrt{1-v^2/c^2}},

где \textstyle (x,t) — координата и время события, измеренные в «неподвижной» системе отсчёта \textstyle S, а \textstyle (x',t') — координата и время того же события для наблюдателя, связанного с «движущейся» системой \textstyle S'.

Замедление времени[править | править исходный текст]

Если часы неподвижны в системе \textstyle S', то для двух последовательных событий имеет место \textstyle \Delta x'=0. Такие часы перемещаются относительно системы \textstyle S по закону \textstyle \Delta x=v\Delta t, поэтому интервалы времени связаны следующим образом:

\Delta t'=\Delta t\cdot\sqrt{1-v^2/c^2}.

Важно понимать, что в этой формуле интервал времени \textstyle \Delta t' измеряется одними движущимися часами \textstyle S'. Он сравнивается с показаниями \textstyle \Delta t нескольких различных, синхронно идущих часов, расположенных в системе \textstyle S, мимо которых пролетают часы \textstyle S'. В результате такого сравнения оказывается, что движущиеся часы \textstyle S' идут медленнее неподвижных часов.

Важный аспект эффекта замедления времени связан с эквивалентностью инерциальных систем отсчёта (принцип относительности). Часы, неподвижные в системе \textstyle S: \textstyle \Delta x=0, движутся относительно синхронизированных часов в системе \textstyle S': \textstyle \Delta x'=-v\Delta t'. В результате, часы \textstyle S будут идти медленнее по сравнению с часами в системе \textstyle S':

\Delta t=\Delta t'\cdot\sqrt{1-v^2/c^2}.

Несмотря на совпадения обозначений в двух последних формулах, они не противоречат друг другу. Каждая из них описывает различные измерительные процедуры. В первом случае одни часы \textstyle S' движутся мимо нескольких часов в \textstyle S, а во втором случае ситуация обратная, и одни часы \textstyle S движутся мимо нескольких часов в \textstyle S'.

Относительность одновременности[править | править исходный текст]

Относительность одновременности событий является ключевым эффектом СТО, необходимым для понимания «парадокса близнецов». Рассмотрим несколько синхронизированных часов, расположенных вдоль оси \textstyle x в каждой из систем отсчёта. В преобразованиях Лоренца предполагается, что в момент времени \textstyle t'=t=0 начала систем отсчёта совпадают: \textstyle x'=x=0. Ниже изображена такая синхронизация отсчёта времени (на «центральных» часах) с точки зрения системы отсчёта \textstyle S (левый рисунок) и с точки зрения наблюдателей в \textstyle S' (правый рисунок):

Twins sync1.png Twins sync2.png

Предположим, что рядом с каждыми часами в обеих системах отсчёта находятся наблюдатели. Положив в преобразованиях Лоренца \textstyle t'=0, получаем \textstyle t=vx/c^2. Это означает, что наблюдатели в системе \textstyle S', одновременно с совпадением времени на центральных часах, регистрируют различные показания на часах в системе \textstyle S. Для наблюдателей, расположенных справа от точки \textstyle x=0, с координатами \textstyle x>0, в момент времени \textstyle t'=0 часы неподвижной системы отсчёта показывают «будущее» время: \textstyle t=vx/c^2>0. Наблюдатели \textstyle S', находящиеся слева от \textstyle x=0, наоборот, фиксируют «прошлое» время часов \textstyle S: \textstyle t<0. На рисунках выше положение стрелок символизирует подобную разницу показаний часов двух систем отсчёта.

Единое «настоящее», то есть часы, синхронно идущие в различных точках пространства, можно ввести только в рамках конкретной инерциальной системы отсчёта. Однако этого нельзя сделать одновременно для двух различных систем отсчёта.

Движущаяся относительно неподвижных наблюдателей система с их точки зрения содержит рассинхронизированные в направлении движения часы, своеобразное непрерывное объединение «прошлого», «настоящего» и «будущего».

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

Простейшие объяснения[править | править исходный текст]

Благодаря своей продолжительной истории парадокс близнецов существует в разнообразных формулировках. Чаще всего тем или иным методом демонстрируется симметричность братьев, из которой должно было бы следовать противоречие с выводом СТО о том, что отстанут часы путешественника. Исходная версия парадокса (Формулировка I) не уточняет характера движения путешественника. Поэтому для неё справедливо следующее простое объяснение (на качественном уровне):

Объяснение I. Братья не являются равноправными, так как один из них (путешественник) испытывал этапы ускоренного движения, необходимые для его возвращения на Землю[2].

Однако, как показывают экспериментальные данные, ускорение как таковое не влияет на скорость хода часов.[28] Таким образом, в данном случае ускорение является всего лишь индикатором некоторого явления, которое вносит асимметрию в состояния путешественника и домоседа.

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

Рис. 1. Парадокс близнецов с точки зрения инерциальной системы отсчёта, связанной с Землёй
Рис. 2. Парадокс близнецов с точки зрения инерциальной системы отсчёта, на первой половине пути совпадающей c удаляющимся кораблём

«Почему нарушение равноправия братьев в течение столь короткого времени (остановка путешественника) приводит к такому разительному нарушению симметрии?»

Наглядно это можно увидеть на рис. 1 и 2, где показана одна и та же ситуация с разных точек зрения. На рис. 1 рассматривается инерциальная система отсчёта, связанная с Землёй. Рис. 2 показывает инерциальную систему отсчёта, связанную с кораблём. Однако поскольку корабль не всё время движется равномерно (условно считаем, что его путь состоит из двух участков равномерного движения, разделёнными кратковременным ускорением), то инерциальная система отсчёта может совпадать с кораблём только часть его пути. Рассматриваем систему, которая совпадает с кораблём на первой половине его путешествия.

Как видно из рис. 1 и 2:

  • В обоих случаях мировая линия Земли является прямой.
  • В обоих случаях мировая линия корабля является ломаной линией.

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

Чтобы глубже понять причины несимметричности и следствия, к которым они приводят, необходимо ещё раз выделить ключевые посылки, явно или неявно присутствующие в любой формулировке парадокса. Для этого будем считать, что вдоль траектории движения путешественника в «неподвижной» системе отсчёта, связанной с домоседом, расположены синхронно идущие (в этой системе) часы. Тогда возможна следующая цепочка рассуждений, как бы «доказывающих» противоречивость выводов СТО:

  1. Путешественник, пролетая мимо любых часов, неподвижных в системе домоседа, наблюдает их замедленный ход.
  2. Более медленный темп хода часов означает, что их накопленные показания отстанут от показаний часов путешественника, и при длительном полёте — сколь угодно сильно.
  3. Быстро остановившись, путешественник по-прежнему должен наблюдать отставание часов, расположенных в «точке остановки».
  4. Все часы в «неподвижной» системе идут синхронно, поэтому отстанут и часы брата на Земле, что противоречит выводу СТО.

Итак, почему путешественник на самом деле будет наблюдать отставание своих часов от часов «неподвижной» системы, несмотря на то, что все такие часы с его точки зрения идут медленнее? Наиболее простым объяснением[29] в рамках СТО является то, что синхронизовать все часы в двух инерциальных системах отсчёта невозможно. Рассмотрим это объяснение подробнее.

Физическая причина парадокса[править | править исходный текст]

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

После старта путешественник «переходит» в инерциальную систему отсчёта \textstyle S', движущуюся относительно «неподвижной» \textstyle S со скоростью \textstyle v. Этот момент времени принимается братьями за начальный \textstyle t=t'=0. Каждый из них будет наблюдать замедленный ход часов другого брата.

Однако, единое «настоящее» системы \textstyle S для путешественника перестаёт существовать. В системе отсчёта \textstyle S' есть своё «настоящее» (множество синхронизированных часов). Для системы \textstyle S', чем дальше по ходу движения путешественника находятся части системы \textstyle S, тем в более отдалённом «будущем» (с точки зрения «настоящего» системы \textstyle S') они находятся.

Непосредственно это будущее наблюдать путешественник не может. Это могли бы сделать другие наблюдатели системы \textstyle S', расположенные впереди по движению и имеющие синхронизированное с путешественником время.

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

В момент времени \textstyle t'=0, чем дальше впереди по курсу находятся «неподвижные» часы, тем больше их показания с точки зрения путешественника. Когда он достигает этих часов, они не успеют отстать настолько, чтобы скомпенсировать начальное расхождение времени.

Действительно, положим координату путешественника в преобразованиях Лоренца равной \textstyle x'=0. Закон его движения относительно системы \textstyle S имеет вид \textstyle x=vt. Время, прошедшее после начала полёта, по часам в системе \textstyle S' меньше, чем в \textstyle S:

t' = \frac{t-v (vt)/c^2}{\sqrt{1-v^2/c^2}} = t\,\sqrt{1-v^2/c^2} < t.

Другими словами, время на часах путешественника t' отстаёт от показаний часов t системы S. В то же время часы, мимо которых пролетает путешественник, неподвижны в \textstyle S: \textstyle \Delta x = 0. Поэтому их темп хода для путешественника выглядит замедленным:

\Delta t' = \frac{\Delta t}{\sqrt{1-v^2/c^2}} > \Delta t.

Таким образом:

несмотря на то, что все конкретные часы в системе \textstyle S идут медленнее с точки зрения наблюдателя в \textstyle S', разные часы вдоль его траектории будут показывать время, ушедшее вперед.

Разность темпа хода часов \Delta t и \Delta t' — эффект относительный, тогда как значения текущих показаний t и t' в одной пространственной точке — носят абсолютный характер. Наблюдатели, находящиеся в различных инерциальных системах отсчёта, но «в одной» пространственной точке, всегда могут сравнить текущие показания своих часов. Путешественник, пролетая мимо часов системы \textstyle S видит, что они ушли вперёд \textstyle t>t'. Поэтому, если путешественник решит остановиться (быстро затормозив), ничего не изменится, и он попадёт в «будущее» системы \textstyle S. Естественно, после остановки темп хода его часов и часов в \textstyle S станет одинаковым. Однако, часы путешественника будут показывать меньшее время чем часы системы \textstyle S, находящиеся в точке остановки. В силу единого времени в системе \textstyle S часы путешественника отстанут от всех часов \textstyle S, в том числе и от часов его брата. После остановки путешественник может вернуться домой. В этом случае весь анализ повторяется. В результате, как в точке остановки и разворота, так и в исходной точке при возвращении путешественник оказывается моложе своего брата-домоседа.

Если же вместо остановки путешественника до его скорости ускорится домосед, то последний «попадёт» в «будущее» системы путешественника. В результате «домосед» окажется моложе «путешественника». Таким образом:

кто изменяет свою систему отсчёта, тот и оказывается моложе.

Обмен сигналами[править | править исходный текст]

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

При обмене сигналами необходимо учитывать эффект Доплера. Если источник удаляется от приёмника, то частота сигнала уменьшается, а когда он приближается — увеличивается:

Twins doppler intro.png

где \textstyle \nu_0 — собственная частота излучения, а \textstyle \nu — частота принимаемого наблюдателем сигнала. Эффект Доплера имеет классическую составляющую и составляющую релятивистскую, непосредственно связанную с замедлением времени. Скорость \textstyle v, входящая в соотношения изменения частоты, является относительной скоростью источника и приёмника.

Рассмотрим ситуацию, в которой братья передают друг другу каждую секунду \textstyle \nu_0=1 (по своим часам) сигналы точного времени. Проведём сначала расчёт с позиции путешественника.

Расчёт путешественника[править | править исходный текст]

Пока путешественник удаляется от Земли, он, в силу эффекта Доплера, регистрирует уменьшение частоты принимаемых сигналов. Видеотрансляция с Земли выглядит более медленной. После быстрого торможения и остановки путешественник перестаёт удаляться от земных сигналов, и их период сразу[rmr 1] оказывается равным его секунде. Темп видеотрансляции становится «естественным», хотя, в силу конечности скорости света, путешественник по-прежнему наблюдает «прошлое» своего брата. Развернувшись и разогнавшись, путешественник начинает «набегать»[rmr 2] на идущие ему навстречу сигналы и их частота увеличивается (опять же в силу эффекта Доплера). «Движения брата» на видеотрансляции с этого момента начинают выглядеть для путешественника ускоренными[rmr 3].

Время полёта по часам путешественника в одну сторону равно \textstyle t'_1, и такое же в обратную. Количество принятых «земных секунд» в течение путешествия \textstyle t'=2t'_1 равно их частоте \textstyle \nu, умноженной на время. Поэтому при удалении от Земли путешественник получит существенно меньше «секунд»:

t_1 = t'_1\cdot \sqrt{\frac{c-v}{c+v}} < t'_1,

а при приближении, наоборот, больше:

t_2 =t'_1\cdot \sqrt{\frac{c+v}{c-v}} > t'_1.

Суммарное количество «секунд», полученных с Земли за время \textstyle t'=2t'_1, больше, чем переданных на неё:

t = t_1 + t_2 = t'_1\cdot \frac{c-v}{\sqrt{c^2-v^2}} + t'_1\cdot \frac{c+v}{\sqrt{c^2-v^2}}= \frac{t'}{\sqrt{1-v^2/c^2}},

в точном соответствии с формулой замедления времени.

Расчёт домоседа[править | править исходный текст]

Несколько иная арифметика у домоседа. Пока его брат удаляется, он также регистрирует увеличенный период точного времени, передаваемый путешественником. Однако, в отличие от брата, домосед наблюдает такое замедление дольше. Время полёта на расстояние \textstyle L в одну сторону составляет по земным часам \textstyle t_1. Торможение и разворот путешественника домосед увидит спустя дополнительное время \textstyle t_2=L/c, требуемое свету для прохождения расстояния \textstyle L от точки разворота. Поэтому, только через время \textstyle t_1+t_2 от начала путешествия домосед зарегистрирует ускоренную работу часов[rmr 4] приближающегося брата:

Twins doppler.png

Время движения света от точки разворота выражается через время полёта к ней путешественника следующим образом (см. рисунок):

t_2=\frac{L}{c}=\frac{vt_1}{c}.

Поэтому количество «секунд», полученных от путешественника, до момента его разворота (по наблюдениям домоседа) равно:

t'_1 = (t_1+t_2)\cdot\sqrt{\frac{c-v}{c+v}} = t_1\cdot \left(1+\frac{v}{c}\right)\cdot\sqrt{\frac{c-v}{c+v}} = t_1\cdot \sqrt{1-\frac{v^2}{c^2}}.

Сигналы с повышенной частотой домосед принимает в течение времени \textstyle t_1-t_2 (см. рисунок выше), и получает \textstyle t'_2 «секунд» путешественника:

t'_2= (t_1-t_2) \cdot\sqrt{\frac{c+v}{c-v}} = t_1\cdot \left(1-\frac{v}{c}\right)\cdot\sqrt{\frac{c+v}{c-v}} = t_1\cdot \sqrt{1-\frac{v^2}{c^2}}.

Суммарное число полученных «секунд» за время \textstyle t=2t_1 равно:

t'= t'_1+t'_2 = t\cdot\sqrt{1-v^2/c^2}.

Таким образом, соотношение для показания часов в момент встречи путешественника (\textstyle t') и брата-домоседа (\textstyle t) не зависит от того, с чьей точки зрения оно рассчитывается.

Геометрическая интерпретация[править | править исходный текст]

Иллюстрация парадокса близнецов на диаграмме Минковского.

В пространстве Минковского мировая линия покоящегося (или двигающегося равномерно и прямолинейно) наблюдателя является отрезком прямой. Мировая линия путешественника, улетевшего с Земли и возвратившегося к ней, прямой не является (в простейшем случае мгновенного изменения скорости на противоположную в точке поворота она является ломаной, а при прохождении части пути с постоянным ускорением соответствующий участок линии будет дугой гиперболы). Так же как в обычной геометрии из всех линий, соединяющих две точки, самой короткой является прямая, так же и в пространстве Минковского из всех мировых линий, соединяющих две точки, самой длинной (а не самой короткой в силу псевдоевклидовости пространства-времени) является отрезок прямой.

Поскольку длина мировой линии наблюдателя, переместившегося в пространстве Минковского из точки a в точку w, с точностью до множителя c равна времени, которое было затрачено на это перемещение в его собственной системе отсчёта, мы имеем, что из всех наблюдателей, стартовавших в точке a и финишировавших в точке w, в системе отсчёта того наблюдателя, который покоился (или двигался равномерно и прямолинейно, если пространственные координаты точек a и w не совпадают), пройдёт наибольшее время.

Неинерциальные системы отсчёта[править | править исходный текст]

В произвольных системах отсчёта свойства пространства и времени определяются метрическим тензором \textstyle g_{\mu\nu}, задающим интервал между двумя бесконечно близкими событиями:

ds^2 = g_{\mu\nu}\,dx^\mu dx^\nu = g_{00}\, (dx^0)^2 + 2\,g_{0i}\,dx^0dx^i + g_{ij}\,dx^idx^j,

где по повторяющимся индексам подразумевается суммирование (по греческим буквам от 0 до 3, а по латинским от 1 до 3), \textstyle x^0=ct — временная координата, \textstyle x^i=(x,y,z) — пространственные. Собственное время часов вдоль их траектории определяется следующим образом:

\frac{1}{c}\int\limits^t_0 ds.

Его величина является инвариантом, следовательно, вычисления проведенные в различных системах отсчёта, должны давать один и тот же результат.

Расчёт домоседа[править | править исходный текст]

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

ds^2=(cdt)^2-(dx)^2-(dy)^2-(dz)^2.

В этом случае собственное время любых часов принимает простой вид:

\int\limits^t_0\sqrt{1-\mathbf{u}^2(t)/c^2}\cdot dt,

где \textstyle \mathbf{u}(t) — скорость этих часов. Земные часы неподвижны (\textstyle \mathbf{u}=0), и их собственное время равно координатному \textstyle \tau_0=t. Часы путешественника имеют переменную скорость \textstyle \mathbf{u}(t). Так как корень под интегралом остаётся всё время меньше единицы, время этих часов, независимо от явного вида функции \textstyle \mathbf{u}(t), всегда оказываются меньше \textstyle t. В результате \textstyle \tau'_0<\tau_0.

Если разгон и торможение проходят релятивистски равноускоренно (с параметром собственного ускорения \textstyle a) в течение \tau_1, а равномерное движение — \tau_2, то по часам корабля пройдёт время[30]:

\tau_0 = \frac{2c}{a}\,\ln\left[\frac{a\tau_1}{c}+\sqrt{1+\left(\frac{a\tau_1}{c}\right)^2}\right] + \frac{\tau_2}{\sqrt{1+(a\tau_1/c)^2}} = \frac{2c}{a}\, \operatorname{arcsinh}\frac{a\tau_1}{c} + \frac{\tau_2}{\sqrt{1+(a\tau_1/c)^2}}, где \operatorname{arcsinh} — гиперболический арксинус

Рассмотрим гипотетический полёт к звёздной системе Альфа Центавра, удалённой от Земли на расстояние в 4,3 световых года. Если время измеряется в годах, а расстояния в световых годах, то скорость света \textstyle c равна единице, а единичное ускорение \textstyle a=1 св.год/год² близко к ускорению свободного падения и примерно равно 9,5 м/c².

Пусть половину пути космический корабль двигается с единичным ускорением, а вторую половину — с таким же ускорением тормозит (\textstyle \tau_2=0). Затем корабль разворачивается и повторяет этапы разгона и торможения. В этой ситуации время полёта в земной системе отсчёта составит примерно 12 лет, тогда как по часам на корабле пройдёт 7,3 года. Максимальная скорость корабля достигнет 0,95 от скорости света.

За 64 года собственного времени космический корабль с единичным ускорением потенциально может совершить путешествие (вернувшись на Землю) к галактике Андромеды, удалённой на 2,5 млн св. лет. На Земле за время такого полёта пройдёт около 5 млн лет. Развивая вдвое большее ускорение (к которому тренированный человек вполне может привыкнуть при соблюдении ряда условий и использования ряда приспособлений, например, анабиоза), можно подумать даже об экспедиции к видимому краю Вселенной (около 14 млрд. св. лет), которая займёт у космонавтов порядка 50 лет; правда, возвратившись из такой экспедиции (через 28 млрд. лет по земным часам), её участники рискуют не застать в живых не то что Землю и Солнце, но даже нашу Галактику. Исходя из этих расчётов, разумный радиус доступности для межзвёздных экспедиций с возвратом не превышает нескольких десятков световых лет, если, конечно, не будут открыты какие-либо принципиально новые физические принципы перемещения в пространстве-времени. Впрочем, обнаружение многочисленных экзопланет даёт основания полагать, что планетные системы встречаются у достаточно большой доли звёзд, поэтому космонавтам будет что исследовать и в этом радиусе (например, планетные системы ε Эридана и Глизе 581).

Расчёт путешественника[править | править исходный текст]

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

\tau'_0=\int\limits^t_0\sqrt{g_{00}}\;dt.

Заметим, что \textstyle t является координатным временем и в системе путешественника отличается от времени \textstyle t системы отсчёта домоседа.

Земные часы свободны, поэтому они движутся вдоль геодезической, определяемой уравнением[31]:

\frac{d^2x^\mu}{ds^2}+\Gamma^\mu_{\nu\lambda}\,\frac{dx^\nu}{ds}\frac{dx^\lambda}{ds}=0,

где \textstyle \Gamma^\mu_{\nu\lambda} — символы Кристоффеля, выражающиеся через метрический тензор \textstyle g_{\mu\nu}. При заданном метрическом тензоре неинерциальной системы отсчёта эти уравнения позволяют найти траекторию \textstyle x^i(t) часов домоседа в системе отсчёта путешественника. Её подстановка в формулу для собственного времени даёт интервал времени, прошедший по «неподвижным» часам:

\tau_0 = \int\limits^t_0 \sqrt{g_{00} + 2g_{0i}\,u^i/c + g_{ij}\,u^iu^j/c^2}\cdot dt,

где \textstyle u^i(t)=dx^i/dt — координатная скорость земных часов.

Подобное описание неинерциальных систем отсчёта возможно либо при помощи теории гравитации Эйнштейна, либо без ссылки на последнюю. Детали расчёта в рамках первого способа можно найти, например, в книге Фока[32] или Мёллера[33]. Второй способ рассмотрен в книге Логунова[34].

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

Выводы[править | править исходный текст]

Рассуждения, проводимые в истории с близнецами, приводят только к кажущемуся логическому противоречию. При любой формулировке «парадокса» полной симметричности между братьями нет. Кроме этого, важную роль для понимания того, почему время замедляется именно у путешественника, менявшего свою систему отсчёта, играет относительность одновременности событий.

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

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

См. также[править | править исходный текст]

Примечания[править | править исходный текст]

  1. Здесь свет рассматривается в ИСО, то есть в системе домоседа, а не путешественника
  2. «Набегать» с точки зрения домоседа. Относительно путешественника источник излучения (домосед) летит навстречу.
  3. Имеется в виду ускоренный приём сигнала, тем не менее, с точки зрения путешественника, весь мир домоседа замедлен в соответствии с релятивистским замедлением времени.
  4. Имеется в виду увеличенная скорость приёма импульсов путешественника из-за его движения навстречу.

Источники[править | править исходный текст]

  1. Эйнштейн А. «К электродинамике движущихся тел», Ann. d. Phys.,1905 b. 17, s. 89, русский перевод в «Эйнштейн А. Собрание научных трудов в четырёх томах. Том 1. Работы по теории относительности 1905—1920.» М.: Наука, 1965.
  2. 1 2 Langevin P. «L’evolution de l’espace et du temps». Scientia 10: 31-54. (1911)
  3. Laue M. (1913) "Das Relativit\"atsprinzip". Wissenschaft (No. 38) (2 ed.). (1913)
  4. Эйнштейн А. «Диалог по поводу возражений против теории относительности», Naturwiss., 6, с.697—702. (1918). русский перевод «А. Эйнштейн, Собрание научных трудов», т. I, М., «Наука» (1965)
  5. Паули В. — «Теория Относительности» М.: Наука, 1991.
  6. Dingle Н. «Relativity and Space travel», Nature 177, 4513 (1956).
  7. Dingle H. «A possible experimental test of Einstein’s Second postulate», Nature 183, 4677 (1959).
  8. Coawford F. «Experimental verification of the clock-paradox in relativity», Nature 179, 4549 (1957).
  9. Darvin S. , «The clock paradox in relativity», Nature 180, 4593 (1957).
  10. Бойер Р. , «Парадокс часов и общая теория относительности», Эйнштейновский сборник, «Наука», (1968).
  11. Campbell W. , «The clock paradox», Canad. Aeronaut. J.4, 9, (1958)
  12. Frey R., Brigham V., «Paradox of the twins», Amer. J. Phys. 25, 8 (1957)
  13. Leffert С. , Donahue T., «Clock paradox and the physics of discontinuous gravitational fields», Amer. J. Phys. 26, 8 (1958)
  14. McMillan E., «The „clock-paradox“ and Space travel», Science, 126, 3270 (1957)
  15. Romer R. , «Twin paradox in special relativity». Amer. J. Phys. 27, 3 (1957)
  16. Schild, A. «The clock paradox in relativity theory», Amer. Math. Mouthly 66, 1, 1-8 (1959).
  17. Singer S., «Relativity and space travel», Nature 179,4567 (1957)
  18. Скобельцын Д. В., «Парадокс близнецов в теории относительности», «Наука», (1966).
  19. Гольденблат И. И., «Парадоксы времени в релятивистской механике», М. «Наука», (1972).
  20. Терлецкий Я. П. «Парадоксы теории относительности», М.: Наука (1965)
  21. Угаров В. А. — «Специальная теория относительности» М.: «Наука», (1977)
  22. Борн М., «Космические путешествия и парадокс часов», УФН, 69, вып. 1 (1959)
  23. Dray T., «The twin paradox revisited» Amer. J. of Phys. V.58, I.9, pp.822-825 (1990)
  24. Debs T.A.. Redhead, M.L.G. «Paradox of the twins» Amer. J. of Phys. V.64; N.4, pp.384-391, (1996)
  25. Cranor M.B., Heider E.M., Price R.H. «A circular twin paradox» Amer. J. of Phys. V.68; P.11, pp.1016-1020 (2000)
  26. Muller T., King A., Adis D., «A trip to the end of the universe and the twin paradox» Amer. J. of Phys. V.76; N.4/5, pp.360-373 (2008)
  27. Grandou T., Rubin J.L., «On the Ingredients of the Twin Paradox» Int.J. of Theor. Phys., V. 48, N.1, pp.101-114 (2009)
  28. Мизнер Ч., Торн К., Уилер Дж. § 38.4. ПРОВЕРКИ СУЩЕСТВОВАНИЯ МЕТРИКИ, ОПРЕДЕЛЯЮЩЕЙ ИЗМЕРЕНИЯ ДЛИНЫ И ВРЕМЕНИ, А ТАКЖЕ КИНЕМАТИКУ ЧАСТИЦ // Гравитация. — М.: Мир, 1977. — Т. 3. — С. 296. — 512 с.
  29. Парадокс близнецов
  30. Ускоренное движение в специальной теории относительности
  31. Ландау, Л. Д., Лифшиц, Е. М. Теория поля. — Издание 8-е, стереотипное. — М.: Физматлит, 2006. — 534 с. — («Теоретическая физика», том II). — ISBN 5-9221-0056-4
  32. Фок В. А. — «Теория Пространства, Времени и Тяготения» М.: Гос.изд.тех.-теор.лит., (1955)
  33. Мёллер К. — «Теория относительности» М.: «Атомиздат», 1975.
  34. Логунов А. А., «Лекции по теории относительности и гравитации. Современный анализ проблемы», М.:" Наука" (1987)

Дополнительная информация[править | править исходный текст]