Русская Википедия:Парадокс близнецов
Парадо́кс близнецо́в — мысленный эксперимент, при помощи которого пытаются доказать противоречивость специальной теории относительности. Согласно СТО, с точки зрения «неподвижных» наблюдателей все процессы у двигающихся объектов замедляются. С другой стороны, принцип относительности декларирует равноправие инерциальных систем отсчёта. На основании этого строится рассуждение, приводящее к кажущемуся противоречию. Для наглядности рассматривается история двух братьев-близнецов. Один из них (далее «путешественник») отправляется в космический полёт, второй (далее «домосед») — остаётся на Земле. После полёта путешественник возвращается на Землю. Чаще всего «парадокс» формулируется следующим образом:
Формулировка 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) Провести детальные вычисления величины эффекта замедления времени с позиции каждого из братьев.
Первый подход зависит от деталей формулировки парадокса. В разделах «Простейшие объяснения» и «Физическая причина парадокса» будут приведены различные версии «парадокса» и даны объяснения того, почему противоречия на самом деле не возникает.
В рамках второго подхода расчёты показаний часов каждого из братьев проводятся как с точки зрения домоседа (что обычно не представляет труда), так и с точки зрения путешественника. Так как последний менял свою систему отсчёта, возможны различные варианты учёта этого факта. Их условно можно разделить на две большие группы.
К первой группе относятся вычисления на основе специальной теории относительности в рамках инерциальных систем отсчёта. В этом случае этапы ускоренного движения считаются пренебрежимо малыми по сравнению с общим временем полёта. Иногда вводится третья инерциальная система отсчёта, движущаяся навстречу путешественнику, при помощи которой показания его часов «передаются» брату-домоседу. В разделе «Обмен сигналами» будет приведен простейший расчёт, основанный на эффекте Доплера.
Ко второй группе относятся вычисления, учитывающие детали ускоренного движения. В свою очередь, они делятся по признаку использования или неиспользования в них теории гравитации Эйнштейна (ОТО). Расчёты с использованием ОТО основаны на введении эффективного гравитационного поля, эквивалентного ускорению системы, и учёте изменения в нём темпа хода времени. Во втором способе неинерциальные системы отсчёта описываются в плоском пространстве-времени и понятие гравитационного поля не привлекается. Основные идеи этой группы расчётов будут представлены в разделе «Неинерциальные системы отсчёта».
Кинематические эффекты СТО
В основе СТО лежат преобразования Лоренца. Для понимания сути парадокса близнецов необходим аккуратный анализ основных кинематических эффектов, которые из них следуют. Рассмотрим две системы отсчёта <math>\textstyle S</math> и <math>\textstyle S'</math>, пространственные оси которых параллельны друг другу. Пусть система <math>\textstyle S'</math> движется относительно <math>\textstyle S</math> вдоль оси <math>\textstyle x</math> со скоростью <math>\textstyle v</math>, тогда:
<math>x'=\frac{x-vt}{\sqrt{1-v^2/c^2}},\;\;\;\;\;\;\;\;\;\;\;\;\;t'=\frac{t-vx/c^2}{\sqrt{1-v^2/c^2}},</math>
где <math>\textstyle (x,t)</math> — координата и время в «неподвижной» системе отсчёта <math>\textstyle S</math>, <math>\textstyle (x',t')</math> — координата и время в «движущейся» системе <math>\textstyle S'</math>.
Замедление времени
Если часы неподвижны в системе <math>\textstyle S'</math> (в собственной системе отсчёта), то для двух последовательных событий, происходящих в некоторой точке системы <math>\textstyle S'</math>, выполнено равенство <math>\textstyle \Delta x'=0</math>. Такие часы перемещаются относительно системы <math>\textstyle S</math> по закону <math>\textstyle \Delta x=v\Delta t</math>. Тогда из преобразований Лоренца следует, что интервал времени <math>\textstyle \Delta t'</math> между событиями в системе <math>\textstyle S'</math> связан с интервалом <math>\textstyle \Delta t</math> между теми же событиями в системе <math>\textstyle S</math> равенством: <math>EducationBot (обсуждение)\Delta t'=\Delta t\cdot\sqrt{1-v^2/c^2}.</math>
Важно понимать, что в этой формуле интервал времени <math>\textstyle \Delta t'</math> измеряется одними покоящимися в <math>\textstyle S'</math> часами (<math>\textstyle \Delta x'=0</math>). Он сравнивается с показаниями <math>\textstyle \Delta t</math> нескольких различных, синхронно идущих часов, расположенных в системе <math>\textstyle S</math> (<math>\textstyle \Delta x\ne0</math>), мимо которых пролетают со скоростью <math>v</math> часы <math>\textstyle S'</math>.
Интервал времени <math>\textstyle \Delta t</math>, измеренный часами в системе <math>\textstyle S</math> между событиями в системе <math>\textstyle S'</math>, больше интервала <math>\textstyle \Delta t'</math>, измеренного часами в собственной системе отсчёта <math>\textstyle S'</math>: <math>\textstyle \Delta t>\textstyle \Delta t'</math>, поскольку
- <math>\Delta t=\frac{\Delta t'}{\sqrt{1-\frac{v^2}{c^2}}}</math> .
В системе <math>\textstyle S</math> движущиеся часы <math>\textstyle S'</math> идут медленнее, чем в собственной системе отсчёта <math>\textstyle S'</math>.
Важный момент эффекта замедления времени связан с эквивалентностью инерциальных систем отсчёта (принцип относительности). Часы, неподвижные в системе <math>\textstyle S</math>: <math>\textstyle \Delta x=0</math>, движутся относительно синхронизированных часов в системе <math>\textstyle S'</math>: <math>\textstyle \Delta x'=-v\Delta t'</math> и идут в <math>\textstyle S'</math> медленнее, чем в собственной системе отсчёта <math>\textstyle S</math>: <math>\textstyle \Delta t'>\textstyle \Delta t</math>, поскольку
- <math>\Delta t'=\frac{\Delta t}{\sqrt{1-\frac{v^2}{c^2}}}</math>.
Несмотря на прежние обозначения, последняя формула не противоречит предыдущей. Каждая из них описывает разные измерительные процедуры. В первом случае одни часы, покоящиеся в системе <math>\textstyle S'</math> (собственной системе отсчёта), движутся мимо нескольких часов в <math>\textstyle S</math>, а во втором случае ситуация обратная: одни часы в собственной системе отсчёта <math>\textstyle S</math> движутся мимо нескольких часов в <math>\textstyle S'</math>.
Относительность одновременности
Относительность одновременности событий является ключевым эффектом СТО, необходимым для понимания «парадокса близнецов». Рассмотрим систему отсчёта <math>\textstyle S'</math>, движущуюся со скоростью <math>v</math> в направлении оси <math>\textstyle x</math> системы <math>\textstyle S</math>. В каждой из систем вдоль осей <math>\textstyle x</math> и <math>x'</math> расположены синхронизированные часы. Пусть рядом с каждыми часами в обеих системах отсчёта находятся наблюдатели. В преобразованиях Лоренца предполагается, что в момент времени <math>\textstyle t'=t=0</math> начала систем отсчёта совпадают: <math>\textstyle x'=x=0</math>. Ниже изображена такая синхронизация отсчёта времени (на «центральных» часах) с точки зрения наблюдателей в системе отсчёта <math>\textstyle S'</math> (левый рисунок) и с точки зрения наблюдателей в <math>\textstyle S</math> (правый рисунок):
Положив в преобразованиях Лоренца <math>\textstyle t'=0</math>, получим <math>\textstyle t=vx/c^2</math>. Это означает, что наблюдатели в системе <math>\textstyle S'</math>, одновременно с совпадением времени <math>\textstyle t'=t=0</math> на центральных часах <math>\textstyle x'=x=0</math>, регистрируют различные показания на часах в системе <math>\textstyle S</math> (левый рисунок). Для наблюдателей в <math>\textstyle S'</math>, расположенных справа от точки <math>\textstyle x=0</math>, с координатами <math>\textstyle x>0</math>, в момент времени <math>\textstyle t'=0</math> часы неподвижной системы отсчёта <math>\textstyle S</math> показывают «будущее» время: <math>\textstyle t=vx/c^2>0</math>. Наблюдатели <math>\textstyle S'</math>, находящиеся слева от <math>\textstyle x=0</math>, фиксируют «прошлое» время часов <math>\textstyle S</math>: <math>\textstyle t<0</math>. Положение стрелок символизирует разницу показаний часов двух систем отсчёта. Например, два события, произошедшие в момент <math>\textstyle t'=0</math> в разных точках системы <math>\textstyle S'</math>, происходят не одновременно в системе отсчёта <math>\textstyle S</math> с точки зрения наблюдателей в системе <math>\textstyle S'</math>: левое событие происходит раньше правого.
Это утверждение верно для любого момента времени <math>t'</math>. Из преобразований Лоренца следует, что если <math>\Delta t'=0</math>, то <math> \Delta t = \frac{v}{c^2} \Delta x. </math> Отсюда, если <math>\Delta x = x_2 -x_1 > 0</math>, то и <math>\Delta t = t_2 - t_1 > 0</math>. Это означает, что в системе отсчёта <math>\textstyle S</math> левое событие в точке <math>x_1</math>, <math>x_1<x_2</math> происходит раньше правого в точке <math>x_2</math>: <math>t_1<t_2 </math>. Этот факт фиксируется часами, синхронизированными в системе <math>\textstyle S</math>. Таким образом, наблюдатели в обеих системах зафиксируют неодновременность событий в системе <math>\textstyle S</math>.
Поскольку системы <math>\textstyle S</math> и <math>\textstyle S'</math> равноправны, то с точки зрения наблюдателей системы <math>\textstyle S</math> часы в системе <math>\textstyle S'</math> не синхронизированы. События, происходящие одновременно в разных точках системы <math>\textstyle S</math> происходят в системе <math>\textstyle S'</math> не одновременно для наблюдателей обеих систем.
Единое «настоящее», то есть часы, синхронно идущие в различных точках пространства, можно ввести в каждой инерциальной системе отсчёта. Однако единого «настоящего» для двух различных систем отсчёта не существует.
Движущаяся относительно неподвижных наблюдателей система с их точки зрения содержит рассинхронизированные в направлении движения часы, своеобразное непрерывное объединение «прошлого», «настоящего» и «будущего».
Эффекты замедления времени и относительности одновременности тесно связаны друг с другом и одинаково необходимы для расчёта ситуации, описанной в «парадоксе» близнецов.
Простейшие объяснения
Благодаря своей продолжительной истории парадокс близнецов существует в разнообразных формулировках. Чаще всего тем или иным методом демонстрируется симметричность братьев, из которой должно было бы следовать противоречие с выводом СТО о том, что отстанут часы путешественника. Исходная версия парадокса (Формулировка I) не уточняет характера движения путешественника. Поэтому для неё справедливо следующее простое объяснение (на качественном уровне):
Объяснение I. Братья не являются равноправными, так как один из них (путешественник) испытывал этапы ускоренного движения, необходимые для его возвращения на Землю[2].
Однако, как показывают экспериментальные данные, ускорение как таковое не влияет на скорость хода часов[28]. Таким образом, в данном случае ускорение является всего лишь индикатором некоторого явления, которое вносит асимметрию в состояния путешественника и домоседа.
Конечно, сама по себе констатация несимметричности братьев не объясняет, почему замедлиться должны часы именно у путешественника, а не у домоседа. Кроме этого, часто возникает непонимание:
«Почему нарушение равноправия братьев в течение столь короткого времени (остановка путешественника) приводит к такому разительному нарушению симметрии?»
Наглядно это можно увидеть на рис. 1 и 2, где показана одна и та же ситуация с разных точек зрения. На рис. 1 рассматривается инерциальная система отсчёта, связанная с Землёй. Рис. 2 показывает инерциальную систему отсчёта, связанную с кораблём. Однако поскольку корабль не всё время движется равномерно (условно считаем, что его путь состоит из двух участков равномерного движения, разделёнными кратковременным ускорением), то инерциальная система отсчёта может совпадать с кораблём только часть его пути. Рассматриваем систему, которая совпадает с кораблём на первой половине его путешествия.
Как видно из рис. 1 и 2:
- В обоих случаях мировая линия Земли является прямой.
- В обоих случаях мировая линия корабля является ломаной линией.
Поскольку ломаная в любой системе отсчёта длиннее прямой, то путешественник проходит в пространстве-времени больший путь, а большему пути соответствует меньшее собственное время.
Чтобы глубже понять причины несимметричности и следствия, к которым они приводят, необходимо ещё раз выделить ключевые посылки, явно или неявно присутствующие в любой формулировке парадокса. Для этого будем считать, что вдоль траектории движения путешественника в «неподвижной» системе отсчёта, связанной с домоседом, расположены синхронно идущие (в этой системе) часы. Тогда возможна следующая цепочка рассуждений, как бы доказывающих противоречивость выводов СТО:
- Путешественник, пролетая мимо любых часов, неподвижных в системе домоседа, наблюдает их замедленный ход.
- Более медленный темп хода часов означает, что их накопленные показания отстанут от показаний часов путешественника, и при длительном полёте — сколь угодно сильно.
- Быстро остановившись, путешественник по-прежнему должен наблюдать отставание часов, расположенных в «точке остановки».
- Все часы в «неподвижной» системе идут синхронно, поэтому отстанут и часы брата на Земле, что противоречит выводу СТО.
Итак, почему путешественник на самом деле будет наблюдать отставание своих часов от часов «неподвижной» системы, несмотря на то, что все такие часы с его точки зрения идут медленнее? Наиболее простым объяснением[29] в рамках СТО является то, что синхронизовать все часы в двух инерциальных системах отсчёта невозможно. Рассмотрим это объяснение подробнее.
Физическая причина парадокса
Во время полёта путешественник и домосед находятся в различных точках пространства и не могут сравнивать свои часы непосредственно. Поэтому, как и выше, будем считать, что вдоль траектории движения путешественника в «неподвижной» системе, связанной с домоседом, расставлены одинаковые, синхронно идущие часы, которые может наблюдать путешественник во время полёта. Благодаря процедуре синхронизации в «неподвижной» системе отсчёта введено единое время, определяющее в данный момент «настоящее» этой системы.
После старта путешественник «переходит» в инерциальную систему отсчёта <math>\textstyle S'</math>, движущуюся относительно «неподвижной» <math>\textstyle S</math> со скоростью <math>\textstyle v</math>. Этот момент времени принимается братьями за начальный <math>\textstyle t=t'=0</math>. Каждый из них будет наблюдать замедленный ход часов другого брата.
Однако, единое «настоящее» системы <math>\textstyle S</math> для путешественника перестаёт существовать. В системе отсчёта <math>\textstyle S'</math> есть своё «настоящее» (множество синхронизированных часов). Для системы <math>\textstyle S'</math>, чем дальше по ходу движения путешественника находятся части системы <math>\textstyle S</math>, тем в более отдалённом «будущем» (с точки зрения «настоящего» системы <math>\textstyle S'</math>) они находятся.
Непосредственно это будущее наблюдать путешественник не может. Это могли бы сделать другие наблюдатели системы <math>\textstyle S'</math>, расположенные впереди по движению и имеющие синхронизированное с путешественником время.
Поэтому, хотя все часы в неподвижной системе отсчёта, мимо которых пролетает путешественник, идут с его точки зрения медленнее, из этого не следует, что они отстанут от его часов.
В момент времени <math>\textstyle t'=0</math>, чем дальше впереди по курсу находятся «неподвижные» часы, тем больше их показания с точки зрения путешественника. Когда он достигает этих часов, они не успеют отстать настолько, чтобы скомпенсировать начальное расхождение времени.
Действительно, положим координату путешественника в преобразованиях Лоренца равной <math>\textstyle x'=0</math>. Закон его движения относительно системы <math>\textstyle S</math> имеет вид <math>\textstyle x=vt</math>. Время, прошедшее после начала полёта, по часам в системе <math>\textstyle S'</math> меньше, чем в <math>\textstyle S</math>: <math>t'<t</math>, так как
<math display="block"> t' = \frac{t-v (vt)/c^2}{\sqrt{1-v^2/c^2}} = t\,\sqrt{1-v^2/c^2}.</math>
Другими словами, время на часах путешественника <math>t'</math> отстаёт от показаний часов <math>t</math> системы <math>S</math>. В то же время часы, мимо которых пролетает путешественник, неподвижны в <math>\textstyle S</math>: <math>\textstyle \Delta x = 0</math>. Поэтому их темп хода для путешественника выглядит замедленным:
<math>\Delta t' = \frac{\Delta t}{\sqrt{1-v^2/c^2}} > \Delta t.</math>
Таким образом:
несмотря на то, что все конкретные часы в системе <math>\textstyle S</math> идут медленнее с точки зрения наблюдателя в <math>\textstyle S'</math>, разные часы вдоль его траектории будут показывать время, ушедшее вперед.
Разность темпа хода часов <math>\Delta t</math> и <math>\Delta t'</math> — эффект относительный, тогда как значения текущих показаний <math>t</math> и <math>t'</math> в одной пространственной точке — носят абсолютный характер. Наблюдатели, находящиеся в различных инерциальных системах отсчёта, но «в одной» пространственной точке, всегда могут сравнить текущие показания своих часов. Путешественник, пролетая мимо часов системы <math>\textstyle S</math>, видит, что они ушли вперёд <math>\textstyle t>t'</math>. Поэтому, если путешественник решит остановиться (быстро затормозив), ничего не изменится, и он попадёт в «будущее» системы <math>\textstyle S</math>. Естественно, после остановки темп хода его часов и часов в <math>\textstyle S</math> станет одинаковым. Однако часы путешественника будут показывать меньшее время, чем часы системы <math>\textstyle S</math>, находящиеся в точке остановки. В силу единого времени в системе <math>\textstyle S</math> часы путешественника отстанут от всех часов <math>\textstyle S</math>, в том числе и от часов его брата. После остановки путешественник может вернуться домой. В этом случае весь анализ повторяется. В результате, как в точке остановки и разворота, так и в исходной точке при возвращении путешественник оказывается моложе своего брата-домоседа.
Если же вместо остановки путешественника до его скорости ускорится домосед, то он «попадёт» в «будущее» системы путешественника. В результате «домосед» окажется моложе «путешественника». Таким образом:
кто изменяет свою систему отсчёта, тот и оказывается моложе.
Обмен сигналами
Слева: от Земли к кораблю. Справа: от корабля к Земле.
Красные линии указывают на получение низкочастотных изображений, синие линии указывают на получение высокочастотных изображений.
Вычисление замедления времени с позиции каждого брата можно провести при помощи анализа обмена сигналами между ними[30]. Хотя братья, находясь в различных точках пространства, не могут непосредственно сравнивать показания своих часов, они могут передавать сигналы «точного времени» при помощи световых импульсов или видеотрансляции изображения часов. Понятно, что при этом они наблюдают не «текущее» время на часах брата, а «прошлое», так как сигналу требуется время для распространения от источника к приёмнику.
При обмене сигналами необходимо учитывать эффект Доплера. Если источник удаляется от приёмника, то частота сигнала уменьшается, а когда он приближается — увеличивается:
где <math>\textstyle \nu_0</math> — собственная частота излучения, а <math>\textstyle \nu</math> — частота принимаемого наблюдателем сигнала. Эффект Доплера имеет классическую составляющую и составляющую релятивистскую, непосредственно связанную с замедлением времени. Скорость <math>\textstyle v</math>, входящая в соотношения изменения частоты, является относительной скоростью источника и приёмника.
Рассмотрим ситуацию, в которой братья передают друг другу каждую секунду <math>\textstyle \nu_0=1</math> (по своим часам) сигналы точного времени. Проведём сначала расчёт с позиции путешественника.
Расчёт путешественника
Пока путешественник удаляется от Земли, он, в силу эффекта Доплера, регистрирует уменьшение частоты принимаемых сигналов. Видеотрансляция с Земли выглядит более медленной. После быстрого торможения и остановки путешественник перестаёт удаляться от земных сигналов, и их период сразу[комм 1] оказывается равным его секунде. Темп видеотрансляции становится «естественным», хотя, в силу конечности скорости света, путешественник по-прежнему наблюдает «прошлое» своего брата. Развернувшись и разогнавшись, путешественник начинает «набегать»[комм 2] на идущие ему навстречу сигналы и их частота увеличивается (опять же в силу эффекта Доплера). «Движения брата» на видеотрансляции с этого момента начинают выглядеть для путешественника ускоренными[комм 3].
Время полёта по часам путешественника в одну сторону равно <math>\textstyle t'_1</math>, и такое же в обратную. Количество принятых «земных секунд» в течение путешествия <math>\textstyle t'=2t'_1</math> равно их частоте <math>\textstyle \nu</math>, умноженной на время. Поэтому при удалении от Земли путешественник получит существенно меньше «секунд»:
<math>t_1 = t'_1\cdot \sqrt{\frac{c-v}{c+v}} < t'_1,</math>
а при приближении, наоборот, больше:
<math>t_2 =t'_1\cdot \sqrt{\frac{c+v}{c-v}} > t'_1.</math>
Суммарное количество «секунд», полученных с Земли за время <math>\textstyle t'=2t'_1</math>, больше, чем переданных на неё:
<math>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}},</math>
в точном соответствии с формулой замедления времени.
Расчёт домоседа
Несколько иная арифметика у домоседа. Пока его брат удаляется, он также регистрирует увеличенный период точного времени, передаваемый путешественником. Однако, в отличие от брата, домосед наблюдает такое замедление дольше. Время полёта на расстояние <math>\textstyle L</math> в одну сторону составляет по земным часам <math>\textstyle t_1</math>. Торможение и разворот путешественника домосед увидит спустя дополнительное время <math>\textstyle t_2=L/c</math>, требуемое свету для прохождения расстояния <math>\textstyle L</math> от точки разворота. Поэтому, только через время <math>\textstyle t_1+t_2</math> от начала путешествия домосед зарегистрирует ускоренную работу часов[комм 4] приближающегося брата:
Время движения света от точки разворота выражается через время полёта к ней путешественника следующим образом (см. рисунок):
<math>t_2=\frac{L}{c}=\frac{vt_1}{c}.</math>
Поэтому количество «секунд», полученных от путешественника, до момента его разворота (по наблюдениям домоседа) равно:
<math>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}}.</math>
Сигналы с повышенной частотой домосед принимает в течение времени <math>\textstyle t_1-t_2</math> (см. рисунок выше), и получает <math>\textstyle t'_2</math> «секунд» путешественника:
<math>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}}.</math>
Суммарное число полученных «секунд» за время <math>\textstyle t=2t_1</math> равно:
<math>t'= t'_1+t'_2 = t\cdot\sqrt{1-v^2/c^2}.</math>
Таким образом, соотношение для показания часов в момент встречи путешественника (<math>\textstyle t'</math>) и брата-домоседа (<math>\textstyle t</math>) не зависит от того, с чьей точки зрения оно рассчитывается.
Геометрическая интерпретация
В пространстве Минковского мировая линия покоящегося (или двигающегося равномерно и прямолинейно) наблюдателя является отрезком прямой. Мировая линия путешественника, улетевшего с Земли и возвратившегося к ней, прямой не является (в простейшем случае мгновенного изменения скорости на противоположную в точке поворота она является ломаной, а при прохождении части пути с постоянным ускорением соответствующий участок линии будет дугой гиперболы). Так же как в обычной геометрии из всех линий, соединяющих две точки, самой короткой является прямая, так же и в пространстве Минковского из всех мировых линий, соединяющих две точки, самой длинной (а не самой короткой в силу псевдоевклидовости пространства-времени) является отрезок прямой.
Поскольку длина мировой линии наблюдателя, переместившегося в пространстве Минковского из точки a в точку w, с точностью до множителя c равна времени, которое было затрачено на это перемещение в его собственной системе отсчёта, мы имеем, что из всех наблюдателей, стартовавших в точке a и финишировавших в точке w, в системе отсчёта того наблюдателя, который покоился (или двигался равномерно и прямолинейно, если пространственные координаты точек a и w не совпадают), пройдёт наибольшее время.
Чтобы понять, как проявляется разница во времени между близнецами, нужно понимать, что в специальной теории относительности нет понятия абсолютное настоящее. Для разных инерциальных систем отсчета существуют разные множества событий, одновременных в этой системе отсчета. Эта относительность одновременности означает, что переключение с одной инерциальной системы отсчета на другую требует корректировки того, какой срез пространства-времени считается «настоящим». На пространственно-временной диаграмме справа, нарисованной для системы отсчета земного близнеца, мировая линия этого близнеца совпадает с вертикальной осью (его положение постоянно в пространстве, движется только во времени). На первом отрезке пути второй близнец перемещается вправо (черная наклонная линия); и на второй отрезке обратно влево. Синие линии показывают плоскости одновременности для путешествующего близнеца на первом участке пути; красные линии на обратном пути. Непосредственно перед разворотом путешествующий близнец вычисляет возраст земного двойника, измеряя интервал по вертикальной оси от начала координат до верхней синей линии. Сразу после поворота, если он произведет повторный расчет, он измерит интервал от начала координат до нижней красной линии. В некотором смысле, во время разворота плоскость одновременности перескакивает с синей на красную и очень быстро пролетает через большой отрезок мировой линии земного близнеца. При переходе от «улетающей» инерциальной системы отсчета к «возвращающейся» инерциальной системе происходит скачкообразная смена возраста близнеца на Земле[31][32][33][34][35].
Неинерциальные системы отсчёта
В произвольных системах отсчёта свойства пространства и времени определяются метрическим тензором <math>\textstyle g_{\mu\nu}</math>, задающим интервал между двумя бесконечно близкими событиями:
<math>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,</math>
где по повторяющимся индексам подразумевается суммирование (по греческим буквам от 0 до 3, а по латинским от 1 до 3), <math>\textstyle x^0=ct</math> — временная координата, <math>\textstyle x^i=(x,y,z)</math> — пространственные. Собственное время часов вдоль их траектории определяется следующим образом:
<math>\frac{1}{c}\int\limits^t_0 ds.</math>
Его величина является инвариантом, следовательно, вычисления проведенные в различных системах отсчёта, должны давать один и тот же результат.
Расчёт домоседа
Близнец, оставшийся на Земле, находится в инерциальной системе отсчёта, поэтому для него метрика может быть выбрана таким образом, что
<math>ds^2=(cdt)^2-(dx)^2-(dy)^2-(dz)^2.</math>
В этом случае собственное время любых часов принимает простой вид:
<math>\int\limits^t_0\sqrt{1-\mathbf{u}^2(t)/c^2}\cdot dt,</math>
где <math>\textstyle \mathbf{u}(t)</math> — скорость этих часов. Земные часы неподвижны (<math>\textstyle \mathbf{u}=0</math>), и их собственное время равно координатному <math>\textstyle \tau_0=t</math>. Часы путешественника имеют переменную скорость <math>\textstyle \mathbf{u}(t)</math>. Так как корень под интегралом остаётся всё время меньше единицы, время этих часов, независимо от явного вида функции <math>\textstyle \mathbf{u}(t)</math>, всегда оказываются меньше <math>\textstyle t</math>. В результате <math>\textstyle \tau'_0<\tau_0</math>.
Если разгон и торможение проходят релятивистски равноускоренно (с параметром собственного ускорения <math>\textstyle a</math>) в течение <math>\tau_1</math>, а равномерное движение — <math>\tau_2</math>, то по часам корабля пройдёт время[36]:
<math>\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}}</math>, где <math>\operatorname{arcsinh}</math> — гиперболический арксинус
Рассмотрим гипотетический полёт к звёздной системе Альфа Центавра, удалённой от Земли на расстояние в 4,3 световых года. Если время измеряется в годах, а расстояния в световых годах, то скорость света <math>\textstyle c</math> равна единице, а единичное ускорение <math>\textstyle a=1</math> св.год/год² близко к ускорению свободного падения и примерно равно 9,5 м/c².
Пусть половину пути космический корабль двигается с единичным ускорением, а вторую половину — с таким же ускорением тормозит (<math>\textstyle \tau_2=0</math>). Затем корабль разворачивается и повторяет этапы разгона и торможения. В этой ситуации время полёта в земной системе отсчёта составит примерно 12 лет, тогда как по часам на корабле пройдёт 7,3 года. Максимальная скорость корабля достигнет 0,95 от скорости света.
За 59 лет собственного времени космический корабль с единичным ускорением потенциально может совершить путешествие (вернувшись на Землю) к галактике Андромеды, удалённой на 2,5 млн св. лет. На Земле за время такого полёта пройдёт около 5 млн лет. Развивая вдвое большее ускорение (к которому тренированный человек вполне может привыкнуть при соблюдении ряда условий и использования ряда приспособлений, например, анабиоза), можно подумать даже об экспедиции к видимому краю Вселенной (около 14 млрд св. лет), которая займёт у космонавтов порядка 50 лет; правда, возвратившись из такой экспедиции (через 28 млрд лет по земным часам), её участники рискуют не застать в живых не то что Землю и Солнце, но даже нашу галактику Млечный путьШаблон:Нет АИ. Исходя из этих расчётов, разумный радиус доступности для межзвёздных экспедиций с возвратом не превышает нескольких десятков световых лет, если, конечно, не будут открыты какие-либо принципиально новые физические принципы перемещения в пространстве-времени. Впрочем, обнаружение многочисленных экзопланет даёт основания полагать, что планетные системы встречаются у достаточно большой доли звёзд, поэтому космонавтам будет что исследовать и в этом радиусе (например, планетные системы ε Эридана и Глизе 581).
Расчёт путешественника
Для проведения того же расчёта с позиции путешественника, необходимо задать метрический тензор, соответствующий его неинерциальной системе отсчёта. Относительно этой системы скорость путешественника нулевая, поэтому время на его часах равно
<math>\tau'_0=\int\limits^t_0\sqrt{g_{00}}\;dt.</math>
Заметим, что <math>\textstyle t</math> является координатным временем и в системе путешественника отличается от времени <math>\textstyle t</math> системы отсчёта домоседа.
Земные часы свободны, поэтому они движутся вдоль геодезической, определяемой уравнением[37]:
<math>\frac{d^2x^\mu}{ds^2}+\Gamma^\mu_{\nu\lambda}\,\frac{dx^\nu}{ds}\frac{dx^\lambda}{ds}=0,</math>
где <math>\textstyle \Gamma^\mu_{\nu\lambda}</math> — символы Кристоффеля, выражающиеся через метрический тензор <math>\textstyle g_{\mu\nu}</math>. При заданном метрическом тензоре неинерциальной системы отсчёта эти уравнения позволяют найти траекторию <math>\textstyle x^i(t)</math> часов домоседа в системе отсчёта путешественника. Её подстановка в формулу для собственного времени даёт интервал времени, прошедший по «неподвижным» часам:
<math>\tau_0 = \int\limits^t_0 \sqrt{g_{00} + 2g_{0i}\,u^i/c + g_{ij}\,u^iu^j/c^2}\cdot dt,</math>
где <math>\textstyle u^i(t)=dx^i/dt</math> — координатная скорость земных часов.
Подобное описание неинерциальных систем отсчёта возможно либо при помощи теории гравитации Эйнштейна, либо без ссылки на последнюю. Детали расчёта в рамках первого способа можно найти, например, в книге Фока[38] или Мёллера[39]. Второй способ рассмотрен в книге Логунова[40].
Результат всех этих вычислений показывает, что и с точки зрения путешественника его часы отстанут от часов неподвижного наблюдателя. В итоге разница времени путешествия с обеих точек зрения будет одинаковая, и путешественник окажется моложе домоседа. Если длительность этапов ускоренного движения много меньше длительности равномерного полёта, то результат более общих вычислений совпадает с формулой, полученной в рамках инерциальных систем отсчёта.
Выводы
Рассуждения, проводимые в истории с близнецами, приводят только к кажущемуся логическому противоречию. При любой формулировке «парадокса» полной симметричности между братьями нет. Кроме этого, важную роль для понимания того, почему время замедляется именно у путешественника, менявшего свою систему отсчёта, играет относительность одновременности событий.
Расчёт величины замедления времени с позиции каждого брата может быть выполнен как в рамках элементарных вычислений в СТО, так и при помощи анализа неинерциальных систем отсчёта. Все эти вычисления согласуются друг с другом и показывают, что путешественник окажется моложе своего брата-домоседа.
Парадоксом близнецов ошибочно часто также называют сам вывод теории относительности о том, что один из близнецов состарится сильнее другого. Хотя такая ситуация и необычна, в ней нет внутреннего противоречия. Многочисленные эксперименты по удлинению времени жизни элементарных частиц и замедлению хода макроскопических часов при их движении подтверждают теорию относительности. Это даёт основание утверждать, что замедление времени, описанное в истории с близнецами, произойдёт и при реальном осуществлении этого мысленного эксперимента.
См. также
- Релятивистское замедление времени
- Преобразования Лоренца
- Эксперимент Хафеле — Китинга
- Парадокс шеста и сарая
Комментарии
- ↑ Здесь свет рассматривается в ИСО, то есть в системе домоседа, а не путешественника
- ↑ «Набегать» с точки зрения домоседа. Относительно путешественника источник излучения (домосед) летит навстречу.
- ↑ Имеется в виду ускоренный приём сигнала, тем не менее, с точки зрения путешественника, весь мир домоседа замедлен в соответствии с релятивистским замедлением времени.
- ↑ Имеется в виду увеличенная скорость приёма импульсов путешественника из-за его движения навстречу.
Примечания
Дополнительная информация
- Twin Paradox overview in the Usenet Physics FAQШаблон:Ref-en
- Wolfgang Rindler, Шаблон:Книга
- FLASH Animations: from John de Pillis. (Scene 1): «View» from the Earth twin’s point of view. (Scene 2): «View» from the traveling twin’s point of view.Шаблон:Ref-en
- ↑ Эйнштейн А. «К электродинамике движущихся тел», Ann. d. Phys.,1905 b. 17, s. 89, русский перевод в «Эйнштейн А. Собрание научных трудов в четырёх томах. Том 1. Работы по теории относительности 1905—1920.» М.: Наука, 1965.
- ↑ 2,0 2,1 Langevin P. «L’evolution de l’espace et du temps». Scientia 10: 31-54. (1911)
- ↑ Laue M. (1913) "Das Relativit\"atsprinzip". Wissenschaft (No. 38) (2 ed.). (1913)
- ↑ Эйнштейн А. «Диалог по поводу возражений против теории относительности», Naturwiss., 6, с.697—702. (1918). русский перевод «А. Эйнштейн, Собрание научных трудов в четырёх томах», т. I, М.: Наука (1965), С. 616—625.
- ↑ Паули В. — «Теория Относительности» М.: Наука, 1991.
- ↑ Dingle Н. «Relativity and Space travel», Nature 177, 4513 (1956).
- ↑ Dingle H. «A possible experimental test of Einstein’s Second postulate», Nature 183, 4677 (1959).
- ↑ Coawford F. «Experimental verification of the clock-paradox in relativity», Nature 179, 4549 (1957).
- ↑ Darvin S. , «The clock paradox in relativity», Nature 180, 4593 (1957).
- ↑ Бойер Р. , «Парадокс часов и общая теория относительности», Эйнштейновский сборник, «Наука», (1968).
- ↑ Campbell W. , «The clock paradox», Canad. Aeronaut. J.4, 9, (1958)
- ↑ Frey R., Brigham V., «Paradox of the twins», Amer. J. Phys. 25, 8 (1957)
- ↑ Leffert С. , Donahue T., «Clock paradox and the physics of discontinuous gravitational fields», Amer. J. Phys. 26, 8 (1958)
- ↑ McMillan E., «The „clock-paradox“ and Space travel», Science, 126, 3270 (1957)
- ↑ Romer R. , «Twin paradox in special relativity». Amer. J. Phys. 27, 3 (1957)
- ↑ Schild, A. «The clock paradox in relativity theory», Amer. Math. Mouthly 66, 1, 1-8 (1959).
- ↑ Singer S., «Relativity and space travel», Nature 179,4567 (1957)
- ↑ Скобельцын Д. В., «Парадокс близнецов в теории относительности», «Наука», (1966).
- ↑ Гольденблат И. И., «Парадоксы времени в релятивистской механике», М. «Наука», (1972).
- ↑ Терлецкий Я. П. «Парадоксы теории относительности», М.: Наука (1965)
- ↑ Угаров В. А. — «Специальная теория относительности» М.: «Наука», (1977)
- ↑ Борн М., «Космические путешествия и парадокс часов» Шаблон:Wayback, УФН, 69, вып. 1 (1959)
- ↑ Dray T., «The twin paradox revisited» Amer. J. of Phys. V.58, I.9, pp.822-825 (1990)
- ↑ Debs T.A.. Redhead, M.L.G. «Paradox of the twins» Amer. J. of Phys. V.64; N.4, pp.384-391, (1996)
- ↑ 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)
- ↑ 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)
- ↑ 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)
- ↑ Шаблон:Книга
- ↑ Шаблон:Cite web
- ↑ Eisenlohr H., Another Note on the Twin Paradox, Amer. J. Phys., 36, 635 (1968)[1]
- ↑ Шаблон:Cite book
- ↑ Шаблон:Cite book
- ↑ Шаблон:Cite book Шаблон:Wayback Extract of page 35 Шаблон:Wayback
- ↑ Wheeler, J., Taylor, E. (1992). Spacetime Physics, second edition. W. H. Freeman: New York, pp. 38, 170—171.
- ↑ Einstein, A., Lorentz, H.A., Minkowski, H., and Weyl, H. (1923). Arnold Sommerfeld. ed. The Principle of Relativity. Dover Publications: Mineola, NY. p. 38.
- ↑ Ускоренное движение в специальной теории относительности, сайт «Релятивистский мир — лекции по теории относительности, гравитации и космологии»
- ↑ Книга:Ландау Л. Д., Лифшиц Е. М.: Теория поля
- ↑ Фок В. А. «Теория Пространства, Времени и Тяготения» М.: Гос.изд.тех.-теор.лит., (1955)
- ↑ Мёллер К. «Теория относительности» М.: «Атомиздат», 1975.
- ↑ Логунов А. А., «Лекции по теории относительности и гравитации. Современный анализ проблемы», М.:" Наука" (1987)
- Русская Википедия
- Страницы с неработающими файловыми ссылками
- Альберт Эйнштейн
- Мысленные эксперименты
- Путешествия во времени
- Специальная теория относительности
- Релятивистские парадоксы
- 1911 год в науке
- Близнецы
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии