Диаграммы Пенроуза – что это такое?
Петр Путенихин
Диаграммы Пенроуза в исходном варианте являются системой координат, не имеющей принципиальных отличий, например, от традиционной декартовой системы координат. Использованное в диаграммах Пенроуза конформное тангенциальное сжатие также имеет принципиальное сходство, например, с логарифмическим сжатием декартовых координат. Однако некоторые модификации диаграмм Пенроуза приводят к возникновению на них физически противоречивых областей, например, с анизотропией времени, разрывами пространства, деформацией координатной сетки. The Penrose diagrams in the original version are a coordinate system that has no funda-mental differences, for example, from the traditional Cartesian coordinate system. The conformal tangential compression used in the Penrose diagrams also has a fundamental similarity, for example, with logarithmic compression of the Cartesian coordinates. However, some modifications of the Penrose diagrams lead to the appearance of physically contradictory regions on them.
Петр Путенихин
Диаграммы Пенроуза – что это такое?
Диаграмма как система координат
В физике и математике практически невозможно обойтись без систем координат, которые всегда присутствуют в том или ином, явном или неявном виде. В литературе для наглядности во многих случаях используются их различные графические отображения. Несомненно, каждый, интересующийся этими науками, хорошо знаком, как минимум, с декартовыми координатами. Однако в процессе исследований часто появляется необходимость создания различных модификаций координатных систем, поскольку многие явления становятся более наглядными в своих собственных, специфических системах координат. Например, для величин, изменяющихся в широких диапазонах, были разработаны логарифмические системы координат, в которых по оси величина отображалась в виде её логарифма. Двойная логарифмическая координатная сетка, в частности, используется для демонстрации процесса расширения Вселенной после Большого Взрыва. Миллиардные величины расстояний в световых годах и времени в годах заменяются в этом случае шкалами в 15-20 единиц.
Некоторые другие процессы требуют еще более длительных интервалов, поэтому для них разработаны ещё более компактные шкалы. Например, в диаграммах Крускала-Шекереса, в которых применен "часовой принцип" отображения времени, напоминающего часовую стрелку, бесконечный интервал времени сжат в пределах прямого угла. Для этого угловая шкала сделана неравномерной: на её границах равномерные деления времени стремятся к бесконечно малым углам.
При описании космологических явлений, гипотез или решения тех или иных задач общей теории относительности, как можно заметить, чаще всего используются конформные диаграммы, разработанные одним из ведущих математиков и физиков – Роджером Пенроузом. Иногда в литературе указывается двойное авторство диаграмм – диаграммы Картера-Пенроуза. Конформным отображением является такое непрерывное отображение, преобразование координат, при котором сохраняются углы между кривыми и, соответственно, сохраняется форма бесконечно малых фигур.
В этих диаграммах использован все тот же принцип деформации координат. Они отображают пространственно- и времениподобные бесконечности на конечные расстояния, другим словами, отображают бесконечное пространство-время на квадрат конечных размеров.
Собственно говоря, это и является главным достоинством таких диаграмм – бесконечный диапазон изменения координат и изотропный характер светоподобных геодезических. Как в исходной диаграмме Минковского, так и на конформной диаграмме светоподобные геодезические имеют угол наклона ±45° и обозначают радиальные изотропные геодезические [1, с.139]. Это позволяет строить на диаграмме световые конусы и отслеживать поведение всех геодезических, выделяя среди них как времениподобные (вещественные тела), так и пространственноподобные (тахионы).
Следует отметить, что световые конусы на диаграммах на самом деле являются световыми треугольниками. На плоских диаграммах конус как таковой изобразить нельзя, а диаграммы с двумя пространственными координатами практически не рассматриваются. В случае светового треугольника все времениподобные геодезические в обязательном порядке должны находиться между сторонами треугольника, образованными двумя световыми лучами, и пересекать его основание t = const. Если же рассматривать трёхмерное пространство, то говорить также следовало бы не о световых конусах, а о световых сферах. В основе всех этих световых ограничителей лежит времениподобное уравнение интервала
После тривиальных преобразований получаем
Уравнение означает, что скорость события всегда меньше скорости света c = 1. Графически уравнение тождественно поверхности (линии) касательных к геодезическим событий. Количество слагаемых в уравнении выбирается равным размерности пространства (не считая времени). Уравнение отражает обобщённое понятие светового конуса, то есть, и треугольника, и конуса, и сферы, и относится к геодезическим произвольной формы, к событиям, движущимся с ускорением.
Наименее очевидным является понятие световой сферы, относящейся к наиболее сложному случаю движения событий – одновременно по трём пространственным координатам. На трёхмерной диаграмме время, четвёртую координату непосредственно показать невозможно. Ситуацию позволяют разрешить динамические диаграммы. Это просто набор диаграмм, каждая из которых соответствует определённому моменту времени. Собственно координата времени в явном виде отсутствует и на такой диаграмме, анимации, но вместо неё можно показать световую сферу. В исследуемую точку траектории события помещается центр световой сферы и вектор скорости. Очевидно, направление его совпадает с траекторией, а длина равна скорости в этой точке. Световая сфера имеет радиус c = 1, поэтому вектор скорости не должен выходить за её пределы. Световая сфера охватывает все возможные направления движения события в данной точке, поэтому векторы скорости не являются мировыми линиями.
Следует отметить, что световой конус (треугольник) на диаграммах выполняет главным образом контрольную функцию. Он позволяет визуально определить времениподобный характер геодезических. Правда, непосредственно это относится к инерциальному движению. В случае ускоренного движения световой конус неявно относится не к самой геодезической, а к мысленно проведённой к ней касательной в исследуемой точке. Формально все световые ограничители можно заменить на обобщённый – световой вектор. Именно с ним и должен сравниваться вектор скорости события. На традиционных диаграммах Пенроуза мы мысленно, и, видимо, чаще всего неосознанно проводим единичную касательную к мировой линии события и также мысленно рассматриваем её проекцию на нулевую геодезическую. Если в этой исследуемой точке касательная совпадает с нулевой геодезической, то скорость события равна скорости света.
Можно заметить, что диаграмма Пенроуза-Картера чем-то похожа на диаграмму Крускала-Шекереса (Секереша) и для шварцшильдовской черной дыры не дает никакой принципиально новой информации.
В научных и научно-популярных статьях по физике, космологии можно заметить, что авторы часто при иллюстрации своих выкладок, доводов используют не совсем корректный приём. На приводимые иллюстрации они не наносят обозначения, поясняющие назначение или смысл изображенных на них элементов.
В науке по молчаливому или редко озвучиваемому соглашению принято каждый член приводимых уравнений расшифровывать сразу же после уравнения, если, конечно, эта расшифровка не была сделана недалеко выше. Или же смысл этого члена уравнения, его обозначение не является новым или редко встречающимся, а является общепринятым и полностью соответствует контексту уравнения. Понятно, что для автора всё и так ясно и "общепринято". Но при публикации автор, очевидно, рассчитывает, что его книгу, статью будут читать не только равные ему по уровню подготовки, но и те, кто только приступил к изучению нового материала.
Очевидно, что такое же молчаливое соглашение должно существовать и при оформлении иллюстраций. Тем не менее, и в научной и научно-популярной литературе нередко это "соглашение" нарушается. Поэтому при чтении возникает множество вопросов по ним: то ли иллюстрация что-то поясняет, то ли пытается затемнить, затуманить ситуацию. Под видом глубокомысленного изложения иной раз прячутся сомнительные моменты. Никаких пояснений к изображению, кроме названия, не приводится, и читатель может на свой вкус трактовать его смысл. Более вероятно, что эти трактовки будут отличаться от трактовок автора изображения. Примерно такое же "утаивание" можно разглядеть и в некоторых иллюстрациях в научных работах. При рассмотрении диаграмм Пенроуза, приводимых им, Хокингом и другими авторами в своих статьях, книгах, нередко можно встретить подобные элементы, чрезмерно опирающиеся на догадливость читателя. Но, в сущности, не это главное. Главное состоит в том, что "на догадку" зачастую отправляются довольно сомнительные идеи. Идеи, которые при внимательном рассмотрении оказываются недостаточно обоснованными, а то и ошибочными.
Одно из основных, исходных изображений диаграмм Пенроуза можно найти в его работе, в которой конформная структура бесконечности представлена как диаграмма плоскости (t', r') – рис.1. Помимо равнобедренного прямоугольного треугольника, поставленного на диагональ (гипотенузу), диаграммы Пенроуза нередко имеют и вид ромба ("бриллиант" Пенроуза), поставленного на диагональ квадрата. По сути, диаграммы являются обычной системой координат, и в этом качестве принципиально не отличаются от традиционной декартовой (квадрат) или полярной системы координат (треугольник). Имеющиеся отличия специфичны, но не принципиальны, в них нет антагонизмов. Чаще всего используется полярный вид диаграмм рис.1, на которых из уравнения интервала Шварцшильда присутствует лишь линейная координата, а вращательные, угловые, как это обычно называется, подавлены. Вторая особенность – это конформное преобразование координат с помощью функции арктангенса, вследствие чего всё бесконечное пространство-время вмещается в треугольную или квадратную диаграмму.
Рис.1. Диаграмма Пенроуза для пространства-времени Минковского [2, с.53].
Диаграмма на рис.1 не содержит никаких событий, это чистая или пустая диаграмма. Штриховой линией обозначен центр полярной системы координат, в который обычно помещается центр коллапсирующей нейтронной звезды или Чёрной дыры. Величина радиус-вектора r обозначает в этом случае удалённость событий от этого центра.
Каждая точка диаграммы рассматривается как сфера S
, которая формально отождествляет всё множество точек, находящихся на некотором расстоянии от центра. Считается, что поведение всех точек на этой поверхности одинаково, то есть, диаграммы Пенроуза описывают всё доступное пространство-время вокруг звезды. Принимается, что поведение точек сферы не зависит от значения угловых координат системы, которые могут быть подавлены, то есть считаться равными, например, нулю. На диаграмме радиус-вектор изменяется от нуля до бесконечности и обозначен поверхностями r = const.
В роли второй координаты выступает время, также изменяющееся на диаграмме в бесконечном диапазоне. Время на диаграмме обозначено поверхностями, линиями t = const. Как следствие, любая линия на диаграмме является мировой линией или геодезической, показывает изменение во времени положения отождествлённых точек 2?сферы или объектов относительно центра системы координат.
Довольно скрупулёзный просмотр доступной литературы и источников в интернете показал, что описание собственно диаграмм зачастую весьма скромное, на что указывают и некоторые другие авторы. Рассматривая практические варианты использования диаграмм, читателю придётся о многом догадываться самому. На рис.2 в исходном, "пустом" виде приведен квадратный вариант диаграммы Пенроуза.
Рис.2. "Пустая" квадратная диаграмма Пенроуза
Использованы следующие обозначения: i
и i
– времениподобные бесконечности будущего и прошлого; i
– пространственноподобная бесконечность; J
и J
светоподобная (или нулевая) бесконечность будущего и прошлого. Иначе говоря, точки i
обозначают бесконечное удаление в пространстве, а точки i
, i
обозначают, соответственно, изображают области далёкого будущего и прошлого. Таким образом, на диаграмме в ограниченных рамках показано всё пространство-время. Во многих случаях рядом со сторонами квадрата пишут дополнительно обозначения вида r = ?, как показано на рисунке.
Нетрудно заметить, что конформный принцип, способ сжатия, уплотнения координатной сетки, заложенный в диаграммы Пенроуза весьма похож на такой же принцип сжатия в логарифмических диаграммах, в которых оси обычной декартовой системы координат сжаты в логарифмическом масштабе. В этом случае логарифмическому диапазону системы координат, например, в 10 единиц соответствует такой же диапазон обычной декартовой системы координат в 10
единиц. Но логарифмическая диаграмма, в отличие от диаграммы Пенроуза, не имеет ограничений в сторону возрастания. Как и на логарифмических диаграммах, на диаграммах Пенроуза шкалы осей сильно нелинейные.
На рис.2 линии равных расстояний r = const (горизонтальные дуги) и времени t = const (вертикальные дуги) изображены ярко-бирюзовым цветом. Делениям по осям присвоены единичные значения. Размерность единиц для оси расстояний может быть произвольной: метр, километр, парсек, световой год и тому подобное. В этом случае интервалы по оси времени имеют соответствующую размерность: время на прохождение одной единицы расстояния.
В результате такой дискретизации полей диаграммы выполняется вторая задача – конформное соответствие декартовым координатам. Это значит, что все изотропные (световые) углы в декартовых координатах соответствуют таким же углам на диаграмме Пенроуза в 45
с осями координат. Любая линия, изображенная на диаграмме Пенроуза под этим углом, является светоподобной (нулевой) геодезической, обозначающей луч света.
Повторим: система координат диаграмм Пенроуза отражает лишь одну пространственную координату – удалённость объекта от начала координат. Другими словами, все объекты на диаграмме движутся вдоль одной-единственной линии. Поэтому любые искривленные мировые линии на этой диаграмме означают всего лишь движение объектов (событий) с различными скоростями вдоль одной единственной прямой пространственной линии. Таким образом, любое пересечение линий означает столкновение событий или объектов, их представляющих. При этом каждая точка её помечена как 2?сфера. Наглядно это можно изобразить в виде рис.3. На рисунке окружностями показаны те самые 2?сферы, которые обозначаются точками на диаграмме Пенроуза. Фактически диаграммы Пенроуза, как и диаграммы Минковского, и полярные координаты для пары переменных t, r отображают одномерное