Координаты Риндлера

В релятивистской физике, координатами Риндлера называется важная и полезная координатная система, представляющая часть плоского пространства-времени, также называемого пространством Минковского. Координаты Риндлера были введены Вольфгангом Риндлером.

Связь с декартовыми координатами

Для получения координат Риндлера естественно начать с декартовых координат $$ds^2 = -dT^2 + dX^2 + dY^2 + dZ^2, \; \; -\infty < T, X, Y, Z < \infty\; .$$ В области $0 < X < \infty, \; -X < T < X$, которая часто называется Клином Риндлера, определим новые координаты, через следующее преобразование $$t = \operatorname{arctanh}(T/X), \; x= \sqrt{X^2-T^2}, \; y = Y, \; z = Z\; .$$ Обратным преобразованием будет $$T = x \, \sinh(t), \; X = x \, \cosh(t), \; Y = y, \; Z = z\; .$$ В координатах Риндлера линейный элемент пространства Минковского переходит в $$ds^2 = -x^2 \, dt^2 + dx^2 + dy^2 + dz^2, \; 0 < x < \infty, -\infty < t, y, z < \infty\; .$$

Риндлеровские наблюдатели

В новых координатах естественно ввести ковариантное тетрадное поле $$d\sigma^0 = -x \, dt, \; \; d\sigma^1 = dx, \; \; d\sigma^2 = dy, \; \; d\sigma^3 = dz\; ,$$ которому соответствует дуальное поле тетрадных контравариантных векторов $$\vec{e}_0 = \frac{1}{x} \, \partial_t, \; \; \vec{e}_1 = \partial_x, \; \; \vec{e}_2 = \partial_y, \; \; \vec{e}_3 = \partial_z \; .$$ Эти поля описывают локальные Лоренцевы системы отсчёта в касательном пространстве в каждом событии области, покрываемой координатами Риндлера, то есть клина Риндлера. Итегральные кривые поля времениподобного единичного вектора $\vec{e}_0$ дают времениподобную конгруэнцию, состоящую из мировых линий семейства наблюдателей, называемых наблюдателями Риндлера. В координатах Риндлера их мировые линии изображаются вертикальными координатными линиями $x = x_0, \; y = y_0, z = z_0$. Используя введённые выше координатные преобразования, легко показать, что к исходных декартовых координатах эти линии превращаются в ветви гипербол.

Мировые линии наболюдателей Риндлера (голубые дуги гипербол) в декартовых координатах.

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

Вектор ускорения каждого наблюдателя даётся ковариантной производной $$\nabla_{\vec{e}_0} \vec{e}_0 = 1/x \, e_1 \; .$$ Это означает, что каждый риндлеровский наблюдатель ускоряется в направлении $\partial_x$, испытывая ускорение постоянной величины, так что их мировые линии — это линии гиперболического движения, лоренцовы аналоги окружностей, то есть линий постоянной первой кривизны и нулевой второй.

Из-за того, что наблюдатели Риндлера не вращаются, их конгруэнция также является ортогональной, то есть существует семействыо гиперповерхностей, в каждой точке которых векторы конгруэнции пропорциональны нормалям эти поверхностей. Ортогональные временные срезы соответствуют $t=t_0$; они соответствуют горизонтальным полугиперплоскостям в координатах Риндлера и наклонным полугиперплоскостям в декартовых координатах, проходящих через $T = X = 0$ (см. рисунок выше). Положив в линейном элементе $dt=0$, мы видим, что оно описывает обычную евклидову геометрию $d\sigma^2 = dx^2 + dy^2 + dz^2, \; 0 < x < \infty, \; -\infty < y, z < \infty$. Таким образом, пространственные координаты Риндлера имеют очень простую интерпретацию, совместимую с утвержденем о взаимной стационарности риндлеровских наблюдателей. Далее мы ещё вернёмся к этому свойству «жёсткости».

"Парадоксальное" свойство риндлеровских координат

Отметим, что наблюдатели Риндлера с меньшими значениями координаты $x$ ускоряются сильнее! Это может показаться странным, так как в ньютоновой физике наблюдатели, сохраняющие постоянное расстояние друг от друга, должны испытывать одно и то же ускорение. Но в релятивистской физике задний конец «абсолютно твёрдого» стержня, ускоряемого в направлении собственной протяжённости приложенной силой, должен ускоряться чуть сильнее, чем его передний конец.

Это явление является основанием хорошо известного «парадокса». Тем не менее, это просто следствие релятивистской кинематики. Один из вариантов показать это — рассмотреть величину вектора ускорения как кривизну соответствующей мировой линии. Но мировые линии риндлеровских наблюдателей явдляются аналогами семейства концентрических окружностей в евклидовой плоскости, так что мы имеем дело с Лоренцевым аналогом изветстного факта: в семействе концентрических окружностей внутернние окружности отклоняются от прямой на единице дилны дуги быстрее, чем внешние.

Наблюдатели Минковского

Также стоит ввести альтернативную систему отсчёта, даваемую стандартным выбором тетрад в координатах Минковского $$\vec{f}_0 = \partial_T, \; \vec{f}_1 = \partial_X, \; \vec{f}_2 = \partial_Y, \; \vec{f}_3 = \partial_Z \; .$$ Преобразуя эти векторные поля к риндлеровским координатам, получаем, что в клине Риндлера эта система отсчёта имеет вид $$\vec{f}_0 = \frac{\cosh(t)}{x} \, \partial_t - \sinh(t) \, \partial_x \; ,$$ $$\vec{f}_1 = -\frac{\sinh(t)}{x} \, \partial_t + \cosh(t) \, \partial_x \; ,$$ $$\vec{f}_2 = \partial_y, \; \vec{f}_3 = \partial_z \; .$$ Осуществляя кинематическое разложение времениподобной конгруэнции, определяемой векторным полем $\vec{f}_0$, мы очевидно получаем нулевые расширение и вращение, а дополнительно и отсутствие ускорения $\nabla_{\vec{f}_0} \vec{f}_0 = 0$. Другими словами, эта конгруэнция — геодезическая; соответствующие наблюдатели находятся в состоянии свободного падения. В исходной декартовой системе координат эти наблюдатели, называемые наблюдателями Минковского, находятся в покое.

В координатах Риндлера мировые линии наблюдателей Минковского являются гиперболическими дугами, асимптотическеи приближающимися к координатной плоскости $x=0$. В частности, в риндлеровских кооординатах мировая линия наблюдателя Минковского, проходящая через событие $t=t_0, \; x=x_0, \; y=y_0, \; z=z_0$ будет иметь вид $$t = \operatorname{arctanh}(s/x_0), \; x = \sqrt{x_0^2-s^2}, \; y = y_0, \; z = z_0, \; -x_0 < s < x_0 \; ,$$ где $s$ — собственное время этого наблдюателя. Отметим, что координаты Риндлера покрывают лишь малую часть от полной истории этого наблюдателя! Это непосредственно показывает, что координаты Риндлера не являются геодезически полными: времениподобные геодезические линии выходят из области, покрываемой этими координатами, за конечное собственное время. Естественно, этого и следовало ожидать, так как координаты Риндлера покрывают лишь часть исходных декартовых координат, которые являются геодезически полными.

На рисунке изображён случай $x_0 = 1$ и световые конусы при $s=-\frac{1}{2}, \; 0, \; \frac{1}{2}$.

Мировая линия наболюдателя Минковского (голубая дуга гиперболы) в координатах Риндлера. Горизонт Риндлера выделен красным цветом.

Горизонт Риндлера

Риндлеровские координаты имеют координатную сингулярность при $x = 0$, где метрический тензор (выраженный в координатах Риндлера) имеет исчезающий детерминант. Это происходит вследствие того, что при $x \rightarrow 0$ ускорение наблюдателей Риндлера расходится — стремится к бесконечности. Как можно видеть из рисунка, иллюстрирующего клин Риндлера, локус $x=0$ в координатах Риндлера соответствует локусу $T^2=X^2, \; X > 0$ в координатах Минковского, что состоит из двух светоподобных полуплоскостей, каждая из которых покрывается своей светоподобной геодезической конгруэнцией. Эти локусы и называются горизонтом Риндлера.

Здесь мы просто рассматриваем горизонт как границу области, покрываемой координатами Риндлера. В статье Горизонт Риндлера показано, что этот горизонт фактически аналогичен по основным свойствам горизонту событий Чёрной дыры.

Геодезические линии

Уравнения геодезических в координатах Риндлера просто получаются из лагранжиана: $$\ddot{t} + \frac{2}{x} \, \dot{x} \, \dot{t} = 0, \; \ddot{x} + x \, \dot{t}^2 = 0, \; \ddot{y} = 0, \; \ddot{z} = 0\; .$$ Естественно, в исходных декартовых координатах эти геодезические выгдядят как прямые линии, так что их легко получить из прямых координатным преобразованием. Однако будет поучительно получить и изучить геодезические в координатах Риндлера независимо от исходных координат, и именно это будет проделано здесь.

Из первого, третьего и четвёртого уравнений немедленно получаются первые интегралы $$\dot{t} = \frac{E}{x^2} \; \; \dot{y} = P, \; \; \dot{z} = Q \; .$$ Но из линейного элемента следует $\epsilon = -x^2 \, \dot{t}^2 + \dot{x}^2 + \dot{y}^2 + \dot{z}^2\; ,$ где $\epsilon=-1, \, 0, \, 1$ для времени-, свето- и пространственноподобных геодезических, соответственно. Это даёт четвёртый первый интеграл уравенний, а именно $$\dot{x}^2 = \left( -\epsilon + \frac{E^2}{x^2} \right) - P^2 - Q^2\; .$$ Этого достаточно для полного решения геодезических уравений.

В случае светоподобных геодезических, из $\frac{E^2}{x^2} - P^2-Q^2$ при ненулевом E, координата x изменяется в интеравле $0 < x < \frac{E}{\sqrt{P^2+Q^2}}$.

Полное семипараметрическое семейство светоподобных геодезических, проходящих чеерз любое событие риндлеровского клина, есть $$\begin{matrix} t - t_0 & = & \operatorname{arctanh} \left( \frac{s \, (P^2+Q^2) - \sqrt{E^2- (P^2+Q^2) \, x_0^2}}{E} \right) \\ & & + ~ \operatorname{arctanh} \left( \frac{\sqrt{E^2 - (P^2+Q^2) \, x_0^2}}{E} \right) \end{matrix}$$ $$x = \sqrt{ x_0^2 + 2 \, s \, \sqrt{E^2-(P^2+Q^2) \, x_0^2} - s^2 \, (P^2+Q^2) }$$ $$y - y_0 = P \, s; \; \; z - z_0 = Q \, s \; .$$ Нанеся на рисунок траектории светоподобных геодезических, проходящие через отдельное событие (то есть проецируя их на пространство наблюдателей Риндлера $t=0$), мы получим каритну, напоминающую семейство полуокружностей, проходящих через одну точку и ортогональных горизонту Риндлера.

Некоторые светоподобные геодезические (чёрные полуокружности), спроецированные на пространственное сечение $t=0$ наблюдателей Риндлера. Горизонт Риндлера — пурпурная плоскость.

Метрика Ферма

Тот факт, что в координатах Риндлера проекции светоподобных геодезических на любой пространственный срез для риндлеровских наблюдателей представляют собой просто полвинки окружностей, может быть проверен непосредственно из данного выше общего решения, но существует и более простой способ увидеть это. В статическом пространстве-времени всегда можно выделить незакрученное поле времениподобного вектора Киллинга. В таком случае, имеется однозначно определённое семейство (тождественных) пространственных гиперповерхностей-срезов, ортогональных соответствующим мировым линиям статических наблюдателей (которые могут и не быть инерциальными). Это позволяет определить такую новую метрику на любой из этих поверхностей, которая будет конформна исходной индуцированной метрике среза, и имеет такое свойство, что геодезические этой новой метрики (римановой метрики на римановом трёхмерном многообразии) в точности следуют проекциям светоподобных геодезических пространства-времени на этот срез. Эта новая метрика называется метрикой Ферма (по аналогии с принципом Ферма), и в статическом пространстве-времени с координатной системой, в которой линейный элемент имеет вид $$ds^2 = g_{00} \, dt^2 + g_{jk} \, dx^j \, dx^k, \; \; 1 \leq j, \; k \leq 3$$ на срезах $t = t_0$ принимает форму $$d\rho^2 = \frac{g_{jk} \, dx^j \, dx^k}{-g_{00}}.$$

В координатах Риндлера времениподобная трансляция $\partial_t$ является таким полем Киллинга, так что клин Риндлера — статическое пространство-время (что неудивительно, так как оно представляет собой часть статического пространства-времени Минковского). Следовательно, можжно записать метрику Ферма для наблюдателей Риндлера: $$d\rho^2 = \frac{dx^2 + dy^2 + dz^2}{x^2}, \; \; 0 < x < \infty, \; \; -\infty < y, z < \infty \; .$$ Но это выражение совпадает с хорошо известным линейным элементом гиперболического пространства H³ в координатах верхнего полупространства. Оно близко по смыслу к ещё более известным координатам верхней полуплоскости для гиперболической плоскости H², знакомой поколениям студентов, изучающих комплексный анализ, в связи с конформными отображеними (и другими задачами), а многие математически подкованные читатели уже знают, что геодезические линии в H² в модели верхней полуплоскости являются полуокружностями (ортогональными окружности на бесконечности, представленнной действительной осью).

Симметрии

Так как риндлеровские координаты покрывают часть пространства Минковского, можно ожидать, что в них также будут 10 линейно независимых векторных полей Килллинга. Более того, в декартовых координатах их можно записать сразу, соответственно: однопараметрическую подгруппу временных трансляций, и три трёхпараметрических — пространственных трансляций, пространственных вращений и пространственно-временных бустов. Вместе эти векторы генерируют (собственную изохронную) группу Пуанкаре, группу симметрии пространства Минковского.

Тем не менее, полезно также выписать и решить уравнения Киллинга непосредственно в координатах Риндлера. Тогда можно получить 4 поля Киллнига, напоминающих исходные в декартовых координатах: $$\partial_t, \; \; \partial_y, \; \; \partial_z, \; \; -z \, \partial_y + y \, \partial_z$$ (временные трансляции, пространственные трансляции, ортогональные направлению ускорения и пространственные вращения в плоскости, ортогональной направлению ускорения) плюс ещё шесть полей: $$\exp(\pm t) \, \left( \frac{y}{x} \, \partial_t \pm \left( y \, \partial_x - x \, \partial_y \right) \right) \; ,$$ $$\exp(\pm t) \, \left( \frac{z}{x} \, \partial_t \pm \left( z \, \partial_x - x \, \partial_z \right) \right) \; ,$$ $$\exp(\pm t) \, \left( \frac{1}{x} \, \partial_t \pm \partial_x \right) \; .$$ Отметим, что от эти генераторы, естественно, можно разложить на генераторы пространства Минковского в декартовых координатах, так что существует их комбинация, соответствующая генератору временных трансляций $\partial_T$, хотя клин Риндлера очевидно не имеет инвариантности относительно таких трансляци. Причина этого состоит в локальном характере решений уравениний Киллинга, как и любых дифференциальных уравнений на многообразии, когда существование локальных решений не гарантирует существования их в глобальном смысле. То есть, при подходящих условиях на групповые параметры потоки Киллинга могут быть всегда определены в подходящей малой окрестности, но поток может и не быть хорошо определён глобально. Этот факт не имеет непосредственного отношения к лоренцевой структуре пространства-времени, так как такие же сложности возникают и при изучении произвольных гладких многообразий.

Различные определения расстояния

Одна из многих поучительных вещей, следующих из изучения координат Риндлера — это тот факт, что риндлеровские наблюдатели могут использовать несколько различных (но одинаково разумных) определений расстояния.

Операциональное определение радарного расстояния между двумя риндлеровскими наблюдателями (голубые вертикальные линии). Горизонт Риндлера показан слева красной вертикальной линией. Мировая линия радарного импульса также показана на рисунке вместе с соответственно отмасштабированными световыми конусами в событиях A, B, C.

Первое определение молчаливо подразумевалось нами ранее: индуцированная риманова метрика на пространственных сечениях $t=t_0$ даёт определение расстояния, которое можно назвать растоянием по линейке, так как его оперционный смысл именно таков.

С точки зрения же стандартных физических измерений метрологически более правильно использовать радарное расстояние между мировыми линиями. Оно расчитывается путём посылки волнового пакета по светоподобной геодезической с мировой линии одного наблюдателя (событие A) к мировой линии объекта, где пакет отражается (событие B) и возвращается к наблюдателю (событие C). Радарное расстояние затем находится как полупроизведение скорости света на время путешествия пакета туда и обратно по часам наблюдателя.

(К счастью, в пространстве Минковского мы можем игнорировать возможность существования нескольких светоподобных геодезических между двумя мировыми линиями, но в космологических моделях и других приложениях это уже не так! Также нужно предупердить, что получаемое таким способом «расстояние» в общем случае несимметрично относительно перемены мест наблюдателя и предмета!)

В частности, рассмотрим пару наблюдателей Риндлера с координатами $x=x_0, \; y=0, \; z=0$ и $x=x_0 + h, \; y=0, \; z = 0$, соответственно. (Отметим, что первый из них ускоряется несколько сильнее второго.) Полагая $dy = dz = 0$ в линейном элементе Риндлера, легко получаем уравнение светоподобной геодезической в направлении ускорения: $$t-t_0 = \log(x/x_0) \; .$$ Следовательно, радарное расстояние между этими наблюдателями даётся формулой $$x_0 \, \log \left(1 + \frac{h}{x_0} \right) = h - \frac{h^2}{2 \, x_0} + O \left( h^3 \right) \; .$$ Оно несколько меньше, чем «расстояние по линейке», но для близлежащих точек разница будет пренебрежимо мала.

Третье возможное определение расстояния следующее: наблюдатель измеряет угол, стягиваемый диском единичного размера, помещённого на определённую мировую линию. Такое расстояние называется угловым расстоянием или расстоянием оптического диаметра. Из-за простого характера светоподобных геодезических в пространстве Минковского это расстояние между двумя наблюдателями Риндлера, ориентированными вдоль ускорения, легко вычисляется. Из приведённых рисунков видно, что угловое расстояние зависит от $h$ следующим образом: $h+ \frac{1}{x_0} + O \left( h^3 \right)$. Следовательно, в случае положительного $h$ первый наблюдатель измеряет угловое расстояние, чуть большее расстояния по линейке, которое, в свою очередь, чуть больше радарного расстояния.

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

Следовательно, если стержень ускоряется некоторой внешней силой, приложенной где-либо по его длине, его элементы не могут все испытывать одинаковое ускорение, если стержень не будет постоянно растягиваться или сжиматься. Другими словами, стационарно (относительно себя) ускоренный стержень должен содержать неоднородные напряжения. Более того, в любом мысленном эксперименте с меняющимися во времени силами, внезапно или постепенно прилагаемыми к объекту, нельзя ограничиться только кинематикой и избежать проблемы включения в рассмотрение модели самого тела, то есть динамики.

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

См. также

• Парадокс Белла — парадоксальный мысленный эксперимент, для изучения которого часто используются координаты Риндлера.
• Координаты Борна — другие важные координаты в пространстве Минуковского, описывающие вращающихся наблюдателей.
• Парадокс Эренфеста — ещё один парадоксальный мысленный эксперимент, для изучения которого часто используются координаты Борна.
• Конгруэнция (общая теория относительности)
• Тетрадные поля
• Источники по общей теории относительности
• Уравнение Рэйчаудхури
• Эффект Унру

Ссылки

Общие ссылки:

• An Introduction to Differentiable Manifolds and Riemannian Geometry. — New York: Academic Press, 1986. — ISBN 0-12-116052-1^{о книге}Регулярное выражение «ISBN» классифицировало значение «ISBN0121160521» как недопустимое. См. главу 4 для введения в векторные поля на гладких многообразиях.

• Gravitational Curvature: an Introduction to Einstein's Theory. — San Francisco : W. H. Freeman, 1979. — ISBN 0-7167-1062-5^{о книге}Регулярное выражение «ISBN» классифицировало значение «ISBN0716710625» как недопустимое. См. главу 8 для вывода метрики Ферма.

Координаты Риндлера:

• Gravitation. — San Francisco: W. H. Freeman, 1973. — ISBN 0-7167-0344-0^{о книге}Регулярное выражение «ISBN» классифицировало значение «ISBN0716703440» как недопустимое. См. раздел 6.6.

• Relativity: Special, General and Cosmological. — Oxford: Oxford University Press, 2001. — ISBN 0-19-850836-0^{о книге}Регулярное выражение «ISBN» классифицировало значение «ISBN0198508360» как недопустимое.

Горизонт Риндлера:

• Jacobson, Ted; and Parenti, Renaud (2003). "Horizon Entropy". Found. Phys. 33: 323-348. eprint

• Barceló, Carlos; Liberati, Stefano; and Visser, Matt. "Analogue Gravity". Living Reviews in Relativity. Retrieved 2006-05-06.