Jump to content

БКЛ сингулярность

(Перенаправлено из гипотезы БКЛ )
Сферическое тело, испытывающее хаотическую динамику BKL (Mixmaster), близкую к сингулярности, согласно правилам уравнения. 35 . Моделирование было выполнено в системе Mathematica с исходным кодом. . [примечание 1]

Сингулярность Белинского -Халатникова-Лифшица (БКЛ) — это модель динамической эволюции Вселенной вблизи начальной гравитационной сингулярности , описываемая анизотропным хаотическим решением . уравнения гравитации поля Эйнштейна [2] Согласно этой модели, Вселенная хаотически колеблется вокруг гравитационной сингулярности, в которой время и пространство становятся равными нулю или, что то же самое, кривизна пространства-времени становится бесконечно большой. Эта особенность физически реальна в том смысле, что она является необходимым свойством решения и появится также при точном решении этих уравнений. Сингулярность не создается искусственно за счет допущений и упрощений, сделанных другими специальными решениями, такими как решения Фридмана-Леметра-Робертсона-Уокера , квазиизотропные решения и решения Каснера .

Модель названа в честь ее авторов Владимира Белинского , Исаака Халатникова и Евгения Лифшица , работавших тогда в Институте теоретической физики Ландау .

Картина, разработанная BKL, имеет несколько важных элементов. Это:

  • Вблизи сингулярности эволюция геометрии в разных точках пространства разделяется, так что решения уравнений в частных производных могут быть аппроксимированы решениями обыкновенных дифференциальных уравнений по времени для соответствующим образом определенных пространственных масштабных коэффициентов. Это называется БКЛ гипотезой .
  • Для большинства типов материи влияние полей материи на динамику геометрии вблизи сингулярности становится незначительным. Или, по словам Джона Уиллера , «материя не имеет значения» вблизи сингулярности. Первоначальная работа БКЛ оказала незначительное влияние на всю материю, но позже они предположили, что «жесткая материя» (уравнение состояния p = ε), эквивалентная безмассовому скалярному полю, может оказывать модифицирующее влияние на динамику вблизи сингулярности.
  • Обыкновенные дифференциальные уравнения, описывающие асимптотику, происходят из класса пространственно однородных решений, которые составляют динамику Mixmaster : сложную колебательную и хаотическую модель, которая демонстрирует свойства, аналогичные тем, которые обсуждал БКЛ.

Исследование динамики Вселенной в окрестностях космологической сингулярности стало быстро развивающейся областью современной теоретической и математической физики. Обобщение модели БКЛ на космологическую сингулярность в многомерных ( типа Калуцы–Клейна ) космологических моделях носит хаотический характер в пространствах-временах, размерность которых не превышает десяти, тогда как в пространствах-временах более высоких размерностей Вселенная после прохождения конечного числа колебаний переходит в монотонный сжимающий режим типа Казнера. [3] [4] [5]

Развитие космологических исследований, основанных на моделях суперструн, выявило некоторые новые аспекты динамики вблизи сингулярности. [6] [7] [8] В этих моделях механизмы смены эпох Каснера провоцируются не гравитационными взаимодействиями, а влиянием других присутствующих полей. Было доказано, что космологические модели, основанные на шести основных моделях суперструн и модели одиннадцатимерной супергравитации, демонстрируют хаотическую динамику БКЛ в направлении сингулярности. Обнаружена связь между осциллирующими BKL-подобными космологическими моделями и специальным подклассом бесконечномерных алгебр Ли — так называемыми гиперболическими алгебрами Каца–Муди . [9] [10] [11]

Введение

[ редактировать ]

Основой современной космологии являются специальные решения уравнений поля Эйнштейна, найденные Александром Фридманом в 1922–1924 годах. Вселенная предполагается однородной (пространство имеет одинаковые метрические свойства (меры) во всех точках) и изотропной (пространство имеет одинаковые меры во всех направлениях). Решения Фридмана допускают две возможные геометрии пространства: закрытую модель с шарообразным, искривленным наружу пространством ( положительная кривизна ) и открытую модель с седловидным, искривленным внутрь пространством ( отрицательная кривизна ). В обеих моделях Вселенная не стоит на месте, она постоянно либо расширяется (становится больше), либо сжимается (сжимается, становится меньше). Это подтвердил Эдвин Хаббл , установивший хаббловское красное смещение удаляющихся галактик. В настоящее время существует консенсус в том, что изотропная модель в целом дает адекватное описание современного состояния Вселенной; однако изотропность современной Вселенной сама по себе не является основанием ожидать, что она достаточна для описания ранних стадий Эволюция Вселенной . В то же время очевидно, что в реальном мире однородность является в лучшем случае лишь приближением. Даже если можно говорить об однородном распределении плотности материи на больших по сравнению с межгалактическим пространством расстояниях, то на меньших масштабах эта однородность исчезает. С другой стороны, предположение об однородности заходит очень далеко в математическом аспекте: оно делает решение высокосимметричным , что может придавать ему специфические свойства, которые исчезают при рассмотрении более общего случая.

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

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

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

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

Существование сингулярности физического времени

[ редактировать ]

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

Критерием общности решений является количество входящих в них независимых пространственных координатных функций. К ним относятся только «физически независимые» функции, число которых не может быть уменьшено никаким выбором системы отсчета . В общем решении количество таких функций должно быть достаточным, чтобы полностью определить начальные условия (распределение и движение материи, распределение гравитационного поля ) в некоторый момент времени, выбранный в качестве начального. Это число равно четырем для пустого (вакуумного) пространства и восьми для пространства, заполненного материей и/или излучением. [12] [13]

Предыдущая работа группы Ландау; [14] [15] [16] рассмотрено в [12] ) привели к выводу, что общее решение не содержит физической особенности. Этот поиск более широкого класса решений с особенностью осуществлялся, по существу, методом проб и ошибок, поскольку системный подход к изучению уравнений Эйнштейна отсутствовал. Отрицательный результат, полученный таким способом, сам по себе неубедителен; решение с необходимой степенью общности сделало бы его недействительным и в то же время подтвердило бы любые положительные результаты, относящиеся к конкретному решению.

В то время единственное известное указание на существование физической сингулярности в общем решении было связано с формой уравнений Эйнштейна, записанных в синхронной системе отсчета , то есть в системе, в которой собственное время x 0 = t синхронизировано по всему пространству; в этой системе координат элемент пространственного расстояния dl отделен от временного интервала dt . [примечание 2] Уравнение Эйнштейна

( уравнение 1 )

записанная в синхронной системе отсчета, дает результат, в котором метрический определитель g неизбежно обращается в ноль за конечное время независимо от каких-либо предположений о распределении материи. [12] [13]

Однако попытки найти общую физическую сингулярность были прерваны после того, как стало ясно, что упомянутая выше сингулярность связана с особым геометрическим свойством синхронной системы отсчета: пересечением координат временной линии. Это пересечение происходит на некоторых огибающих гиперповерхностях , которые являются четырехмерными аналогами каустических поверхностей в геометрической оптике ; g становится нулевым именно в этом месте. [16] Поэтому, хотя эта особенность и общая, но она фиктивная, а не физическая; он исчезает при изменении системы отсчета. Это, видимо, отговорило исследователей от дальнейших исследований в этом направлении.

Прошло несколько лет, прежде чем интерес к этой проблеме вновь возрос, когда Пенроуз ( 1965 ) опубликовал свои теоремы, связавшие существование особенности неизвестного характера с некоторыми весьма общими предположениями, не имеющими ничего общего с выбором системы отсчета. Другие подобные теоремы были найдены позже Хокингом. [17] [18] и запах [19] (см. теоремы Пенроуза – Хокинга о сингулярности ). Это возродило интерес к поиску сингулярных решений.

Обобщенное однородное решение

[ редактировать ]

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

Гипотеза БКЛ

[ редактировать ]

В своей работе 1970 г. [2] БКЛ заявил, что по мере приближения к сингулярности члены, содержащие производные по времени в уравнениях Эйнштейна, доминируют над теми, которые содержат производные по пространству . С тех пор это стало известно как гипотеза БКЛ Эйнштейна и подразумевает, что уравнения в частных производных (УЧП) хорошо аппроксимируются обыкновенными дифференциальными уравнениями (ОДУ), вследствие чего динамика общей теории относительности фактически становится локальной и колебательной. Временная эволюция полей в каждой точке пространства хорошо аппроксимируется однородными космологиями в классификации Бьянки.

Разделив производные по времени и по пространству в уравнениях Эйнштейна, например, так, как это принято при классификации однородных пространств , а затем приравняв к нулю слагаемые, содержащие производные по пространству, можно определить так называемую усеченную теорию системы (усеченные уравнения). [20] Тогда гипотезу БКЛ можно уточнить:

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

Сильная гипотеза : по мере приближения к сингулярности уравнения Эйнштейна приближаются к уравнениям усеченной теории, и, кроме того, решения полных уравнений хорошо аппроксимируются решениями усеченных уравнений.

Вначале гипотеза БКЛ казалась координатно-зависимой и довольно неправдоподобной. Бэрроу и Типлер, [21] [22] например, в число десяти критических замечаний в адрес исследований BKL входит неправильный (по их мнению) выбор синхронного кадра как средства разделения производных времени и пространства. Гипотезу БКЛ иногда перефразировали в литературе как утверждение, что вблизи сингулярности важны только производные по времени. Такое утверждение, если принять его за чистую монету, неверно или, в лучшем случае, вводит в заблуждение, поскольку, как показано в самом анализе БКЛ, пространственными градиентами метрического тензора нельзя пренебрегать для общих решений чистой гравитации Эйнштейна в четырех измерениях пространства-времени, и в Этот факт играет решающую роль в возникновении колебательного режима. Однако существуют переформулировки теории Эйнштейна в терминах новых переменных, включающих соответствующие градиенты, например, в переменных типа Аштекар, для которых справедливо утверждение о доминирующей роли производных по времени. [20] Действительно, в каждой точке пространства получается эффективное описание особенности в терминах конечномерной динамической системы, описываемой обыкновенными дифференциальными уравнениями относительно времени, но пространственные градиенты входят в эти уравнения нетривиально.

Последующий анализ, проведенный большим количеством авторов, показал, что гипотезу БКЛ можно уточнить, и к настоящему времени существует впечатляющий объем числовых и аналитических доказательств в ее поддержку. [23] Справедливости ради стоит сказать, что мы еще весьма далеки от доказательства сильной гипотезы. Но в более простых моделях был достигнут выдающийся прогресс. В частности, Бергер, Гарфинкл, Монкриф, Изенберг, Уивер и другие показали, что в классе моделей по мере приближения к сингулярности решения полных уравнений поля Эйнштейна приближаются к «доминируемому члену скорости» (усеченным), полученным по формуле пренебрегая пространственными производными. [23] [24] [25] [26] [27] Андерссон и Рендалл [28] показал, что для гравитации, связанной с безмассовым скалярным полем или жесткой жидкостью, для каждого решения усеченных уравнений существует решение уравнений полного поля, которое сходится к усеченному решению по мере приближения к сингулярности, даже при отсутствии симметрий. Эти результаты были обобщены и включены также в калибровочные поля p-формы . [29] В этих усеченных моделях динамика проще, что позволяет точно сформулировать гипотезу, которую можно доказать. В общем случае, самые убедительные доказательства на сегодняшний день получены в результате численной эволюции. Бергер и Монкриф [30] начал программу анализа общих космологических особенностей. Хотя первоначальная работа была сосредоточена на случаях пониженной симметрии, [31] совсем недавно Гарфинкл [32] выполнил численную эволюцию пространства-времени без симметрии, в которой, опять же, поведение миксмастера очевидно. Наконец, дополнительное подтверждение этой гипотезы получено в результате численного исследования поведения пробных полей вблизи сингулярности черной дыры Шварцшильда. [33]

Решение Каснера

[ редактировать ]
Динамика метрик Каснера (ур.). 2 в сферических координатах в сторону сингулярности. Параметр Лифшица-Халатникова равен u =2 (1/ u =0,5), а координата r равна 2 p α (1/ u )τ, где τ — логарифмическое время: τ = ln t . [примечание 3] Сжатие по осям линейное и анизотропное (нет хаотичности).

Подход БКЛ к анизотропным (в отличие от изотропных) однородным пространствам начинается с обобщения точного частного решения, полученного Каснером. [34] для поля в вакууме, в котором пространство однородно и имеет евклидову метрику , зависящую от времени по метрике Казнера

( уравнение 2 )

( dl элемент линии ; dx , dy , dz бесконечно малые перемещения в трех пространственных измерениях , а t — период времени, прошедший с некоторого начального момента t 0 = 0). Здесь p1 числа , , p2 , p3 любые три удовлетворяющие следующим условиям Каснера

( уравнение 3 )

Из-за этих соотношений только одно из трёх чисел является независимым (два уравнения с тремя неизвестными ). Все три числа никогда не бывают одинаковыми; два числа одинаковы только в наборах значений и (0, 0, 1). [примечание 4] Во всех остальных случаях числа разные, одно число отрицательное, а два других положительные. Частично это доказывается возведением в квадрат обеих частей первого условия (уравнения). 3 и развиваем квадрат:

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

Если числа расположены по возрастанию, p 1 < p 2 < p 3 , они изменяются в интервалах (рис. 4)

( уравнение 4 )
График p1 u , p2 с , p3 1 аргументом . / Числа p 1 ( u ) и p 3 ( u ) монотонно возрастают, а p 2 ( u ) является монотонно убывающей функцией u .

Метричное уравнение Каснера . 2 соответствует плоскому однородному, но анизотропному пространству, в котором все объемы со временем увеличиваются таким образом, что линейные расстояния по двум осям y и z увеличиваются, а расстояние по оси x уменьшается. Момент t = 0 вызывает сингулярность решения; сингулярность метрики при t = 0 невозможно избежать никаким преобразованием системы отсчета. В сингулярности инварианты четырехмерного тензора кривизны стремятся к бесконечности. Исключением является случай р 1 = р 2 = 0, р 3 = 1; эти значения соответствуют плоскому пространству-времени: преобразование t sh z = ζ, t ch z = τ превращает метрику Каснера ( уравнение 2 ) в галилееву .

БКЛ параметризуют числа p 1 , p 2 , p 3 через единственный независимый (действительный) параметр u (параметр Лифшица-Халатникова [35] ) следующее

( уравнение 5 )

Параметризация индекса Каснера кажется загадочной, пока не задумаешься о двух ограничениях на индексы (ур.). 3 . Оба ограничения фиксируют общий масштаб индексов, так что изменяться могут только их соотношения . Естественно выбрать одно из этих соотношений в качестве нового параметра, что можно сделать шестью различными способами. Например, выбрав u = u 32 = p 3 / p 2 , через него легко выразить все шесть возможных отношений. Исключив сначала p 3 = up 2 , а затем используя линейное ограничение для исключения p 1 = 1 − p 2 up 2 = 1 − (1 + u ) p 2 , квадратичное ограничение сводится к квадратному уравнению относительно p 2

( уравнение 5а )

с корнями p2 ) = 0 (очевидно) и p2 + = (1 + u /(1 u + u 2 ), из которых p 1 и p 3 получаются затем путем обратной замены . Можно определить шесть таких параметров u ab = p a / p b , для которых p c p b p a, когда ( c , b , a ) является циклической перестановкой (1, 2, 3). [36]

Все различные значения p 1 , p 2 , p 3, упорядоченные, как указано выше, получаются, когда u находится в диапазоне u ≥ 1. Значения u < 1 переводятся в этот диапазон в соответствии с

( уравнение 6 )

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

( уравнение 7 )

где

( уравнение 8 )

Трехмерные степенным векторы l , m , n определяют направления, в которых пространственное расстояние изменяется со временем по законам (уравнению). 8 . Эти векторы, а также числа p l , pm n , p которые, как и раньше, связаны уравнением. 3 , являются функциями пространственных координат. Степени p l , pm расположены не в порядке возрастания, а , p n символы p 1 , p 2 , p 3 зарезервированы для чисел в уравнении. 5 , которые остаются расположенными в порядке возрастания. Определитель метрики уравнения . 7 это

( уравнение 9 )

где v = l [ mn ]. Удобно ввести следующие величины [примечание 5]

( уравнение 10 )

Пространственная метрика в уравнении 7 является анизотропным, поскольку степени t в уравнении. 8 не может иметь одинаковые значения. При приближении к сингулярности при t = 0 линейные расстояния в каждом элементе пространства уменьшаются в двух направлениях и увеличиваются в третьем. Объем элемента уменьшается пропорционально t .

Метрика Каснера вводится в уравнения Эйнштейна путем подстановки соответствующего метрического тензора γ αβ из уравнения. 7 без априорного определения зависимости a , b , c от t : [примечание 2]

где точка над символом обозначает дифференциацию по времени. Уравнение Эйнштейна . 11 принимает форму

( уравнение 14 )

Все его члены имеют второй порядок для большой (при t → 0) величины 1/ t . В уравнениях Эйнштейна (ур. 12 , члены такого порядка появляются только из термов, дифференцированных во времени. Если в состав компонентов P αβ не входят члены порядка выше двух, то

( уравнение 15 )

где индексы l , m , n обозначают компоненты тензора по направлениям l , m , n . [12] Эти уравнения вместе с уравнением 14 дают выражения уравн. 8 со степенями, удовлетворяющими уравнению. 3 .

Однако наличие одной отрицательной степени среди трёх степеней , p n приводит p l , pm к появлению слагаемых из P αβ порядка большего, чем t −2 . Если отрицательная степень равна p l ( p l = p 1 < 0), то P αβ содержит координатную функцию λ и уравнение. 12 стать

( уравнение 16 )

Здесь вторые члены имеют порядок t -2( п м + п п - п л ) п равно 1 + м + п п - п л знак 2 | п л | > 1. [примечание 6] Чтобы удалить эти члены и восстановить метрическое уравнение. 7 , необходимо наложить на координатные функции условие λ = 0.

Остальные три уравнения Эйнштейна (ур. 13 содержат только производные по времени первого порядка от метрического тензора. Они дают три независимых от времени соотношения, которые должны быть наложены как необходимые условия на координатные функции в уравнении. 7 . Это вместе с условием λ = 0 образует четыре условия. каждого из векторов l , m , n и одну функцию в степенях t (любую из функций p l , pm Эти условия связывают десять различных координатных функций: по три компонента , p n , которые связаны условиями уравнение 3 ). При расчете количества физически произвольных функций необходимо учитывать, что используемая здесь синхронная система допускает не зависящие от времени произвольные преобразования трех пространственных координат. Таким образом, окончательное решение содержит всего 10 − 4 − 3 = 3 физически произвольных функции, что на одну меньше, чем необходимо для общего решения в вакууме.

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

( уравнение 17 )
( уравнение 18 )

где ты я — четырехмерная скорость, ε и σ — плотности энергии и энтропии материи (ср. [37] и; [38] также; [39] подробности см. [40] ). Для ультрарелятивистского уравнения состояния p = ε/3 энтропия σ ~ ε 1/4 . Основные члены в уравнении. 17 и уравнение. 18 – это те, которые содержат производные по времени . Из уравнения. 17 и пространственные компоненты уравнения. 18 у одного есть

в результате чего

( уравнение 19 )

где «const» — величины, не зависящие от времени. Кроме того, из тождества u i u я = 1 (поскольку все ковариантные компоненты u α имеют один и тот же порядок)

где un составляющая скорости вдоль направления n , связанная с наибольшей (положительной) степенью t (предполагая, что p n = p 3 ). Из приведенных выше соотношений следует, что

( уравнение 20 )

или

( уравнение 21 )

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

действительно имеют более низкий порядок на 1/ t , чем старшие члены в их левых частях. В уравнениях наличие материи приводит лишь к изменению отношений, налагаемых на составляющие их координатные функции. [12]

Тот факт, что ε становится бесконечным по закону (1). 21 подтверждает, что в решении уравн. 7 речь идет о физической сингулярности при любых значениях степеней p 1 , p 2 , p 3 кроме (0, 0, 1). Для этих последних значений сингулярность нефизична и может быть устранена путем смены системы отсчета.

Вымышленная сингулярность, соответствующая степеням (0, 0, 1), возникает в результате пересечения координат временной линии над некоторой двумерной « фокальной поверхностью ». Как указано в, [12] синхронную систему отсчета всегда можно выбрать таким образом, чтобы это неизбежное пересечение линии времени происходило именно на такой поверхности (а не на трехмерной каустической поверхности). Следовательно, решение с такой одновременной для всего пространства фиктивной особенностью должно существовать с полным набором произвольных функций, необходимых для общего решения. Вблизи точки t = 0 допускается регулярное разложение по целым степеням t . Анализ этого дела см. [41]

Колебательный режим в сторону сингулярности

[ редактировать ]

Общее решение по определению полностью устойчиво; в противном случае Вселенная не существовала бы. Любое возмущение эквивалентно изменению начальных условий в некоторый момент времени; поскольку общее решение допускает произвольные начальные условия, возмущение не способно изменить свой характер. Если посмотреть под таким углом, то можно увидеть четыре условия, налагаемые на координатные функции в решении уравнения. 7 бывают разных типов: три условия, возникающие из уравнений = 0 являются «естественными»; они являются следствием структуры уравнений Эйнштейна. Однако дополнительное условие λ = 0, вызывающее потерю одной производной функции, имеет совершенно другой тип: неустойчивость, вызванная возмущениями, может нарушить это условие. Действие такого возмущения должно перевести модель в другой, более общий режим. Возмущение нельзя считать малым: переход в новый режим выходит за рамки очень малых возмущений.

Анализ поведения модели при возмущающем воздействии, выполненный БКЛ, выявил сложный колебательный режим при приближении к сингулярности. [2] [42] [43] [44] Они не смогли дать все детали этого режима в общих рамках общего случая. Однако БКЛ объяснил наиболее важные свойства и характер решения на конкретных моделях, которые позволяют проводить далеко идущие аналитические исследования.

Эти модели основаны на однородной пространственной метрике определенного типа. Предположение об однородности пространства без какой-либо дополнительной симметрии оставляет большую свободу в выборе метрики. Все возможные однородные (но анизотропные) пространства классифицируются, по Бьянки , на несколько типов Бьянки (типы от I до IX) . [45] (см. также Обобщенное однородное решение ) БКЛ исследует только пространства типов Бьянки VIII и IX.

Если метрика имеет форму уравнения. 7 , для каждого типа однородных пространств существует некоторая функциональная связь между опорными векторами l , m , n и координатами пространства. Конкретная форма этого отношения не имеет значения. Важным фактом является то, что для пространств типа VIII и IX величины λ, µ, ν экв. 10 а все «смешанные» продукты l rot m , l rot n , m rot l и т.д. являются константами , являются нулями. Для пространств типа IX величины λ, µ, ν имеют один и тот же знак и можно записать λ = µ = ν = 1 (одновременная смена знака трех констант ничего не меняет). Для пространств типа VIII две константы имеют знак, противоположный знаку третьей константы; можно написать, например, λ = − 1, µ = ν = 1. [примечание 7]

Таким образом, изучение влияния возмущения на «моду Каснера» ограничивается изучением влияния λ-содержащих членов в уравнениях Эйнштейна. Пространства типа VIII и IX являются наиболее подходящими моделями для такого исследования. Поскольку все три величины λ, µ, ν в этих типах Бьянки отличны от нуля, условие λ = 0 не выполняется независимо от того, какое направление l , m , n имеет отрицательную степенную зависимость от времени.

Уравнения Эйнштейна для космических моделей типа VIII и типа IX имеют вид [46] [примечание 2]

( уравнение 22 )
( уравнение 23 )

(остальные компоненты , , , , , тождественные нули). Эти уравнения содержат только функции времени; это условие, которое должно выполняться во всех однородных пространствах. Здесь уравнение. 22 и уравнение. 23 являются точными, и их справедливость не зависит от того, насколько близко они находятся к сингулярности при t = 0. [примечание 8]

Производные по времени в уравнении 22 и уравнение. 23 принимают более простой вид, если а , b , с заменить их логарифмами α, β, γ:

( уравнение 24 )

заменяя переменную t вместо τ согласно:

( уравнение 25 )

Тогда (индексы обозначают дифференцирование по τ):

( уравнение 26 )
( уравнение 27 )

Сложив уравнения (ур. 26 и подставив в левую часть сумму (α + β + γ) τ τ согласно уравн. 27 , получается уравнение, содержащее только первые производные, которое является первым интегралом системы уравн. 26 :

( уравнение 28 )

Это уравнение играет роль связующего условия, налагаемого на начальное состояние уравнения. 26 . Уравнение режима Каснера . 8 представляет собой решение уравнения. 26, если игнорировать все члены в правых частях. Но такая ситуация не может продолжаться (при t → 0) бесконечно, потому что среди этих членов всегда есть такие, которые растут. Таким образом, если отрицательная степень находится в функции a ( t )( p l = p 1 ), то возмущение моды Казнера возникнет за счет членов λ 2 а 4 ; остальные члены будут уменьшаться с уменьшением t . Если в правых частях уравнения оставить только растущие члены. 26 , получаем систему:

( уравнение 29 )

(ср . уравнение 16 ; ниже оно заменено λ 2 = 1). Решение этих уравнений должно описывать эволюцию метрики из начального состояния, в котором она описывается уравнением. 8 с заданным набором степеней (при p l < 0); пусть p l = р 1 , p m = р 2 , p n = р 3 так, что

( уравнение 30 )

Затем

( уравнение 31 )

где Λ постоянно. Начальные условия для уравнения. 29 переопределены как

( уравнение 32 )

Уравнения ​29 легко интегрируются; решение, удовлетворяющее условию уравн. 32 это

( уравнение 33 )

где b 0 и c 0 — еще две константы.

Легко видеть, что асимптотика функций (ур. 33 при t → 0 — уравнение. 30 . Асимптотические выражения этих функций и функции t (τ) при τ → −∞ имеют вид [примечание 9]

Выражая a , b , c как функции t , имеем

( уравнение 34 )

где

( уравнение 35 )

Затем

( уравнение 36 )

Вышеупомянутое показывает, что возмущение действует таким образом, что оно меняет одну моду Каснера на другую моду Каснера, и в этом процессе отрицательная степень t переключается с направления l на направление m : если раньше было p l < 0, то теперь это p' m < 0. При этом изменении функция a ( t ) проходит через максимум, а b ( t ) проходит через минимум; b , которое раньше уменьшалось, теперь увеличивается: a из возрастающего становится уменьшающимся; и убывающая c ( t ) уменьшается дальше. Само возмущение (λ 2 а в экв. 29 ), которая раньше возрастала, теперь начинает уменьшаться и затухать. Дальнейшая эволюция аналогичным образом приводит к увеличению возмущения от членов с µ 2 (вместо λ 2 ) в уравнении 26 , следующее изменение режима Каснера и так далее.

Удобно записать правило замены степеней (уравнение). 35 с помощью уравнения параметризации. 5 :

( уравнение 37 )

Большая из двух положительных сил остается положительной.

БКЛ называют этот переворот негативной силы между направлениями Каснера эпохой . Ключом к пониманию характера эволюции метрики при приближении к сингулярности является именно этот процесс чередования эпох Каснера с переворачиванием степеней , p n по p l , pm правилу ( 1 ) . 37 .

Последовательные чередования ур. 37 с переключением отрицательной степени p 1 между направлениями l и m (эпохи Каснера) продолжается за счет истощения всей части исходного u до момента, когда u < 1. Значение u < 1 переходит в u > 1 согласно экв. 6 ; в этот момент отрицательная степень равна , n а p pl или pm становится меньшим из двух положительных чисел ( p n = p 2 ). Следующая серия эпох Каснера затем меняет отрицательную степень между направлениями n и l или между n и m . При произвольном ( иррациональном ) начальном значении и этот процесс альтернирования продолжается неограниченно. [примечание 10]

точном решении уравнений Эйнштейна степени p l , pm n , p При теряют свой первоначальный точный смысл. Это обстоятельство вносит некоторую «нечеткость» в определение этих чисел (а вместе с ними и в параметр и ), которая, хотя и мала, делает бессмысленным анализ каких-либо определенных (например, рациональных ) значений и . Следовательно, только те законы, которые касаются произвольных иррациональных значений u, имеют какой-либо конкретный смысл.

Более крупные периоды, в которые масштабы пространственных расстояний по двум осям колеблются, а расстояния по третьей оси монотонно уменьшаются, называются эрами ; объемы уменьшаются по закону, близкому к ~ t . При переходе от одной эпохи к другой направление монотонного уменьшения расстояний меняется с одной оси на другую. Порядок этих переходов приобретает асимптотический характер случайного процесса . Такой же случайный порядок характерен и для чередования длин последовательных эр (под длиной эры БКЛ понимает номер эпохи Каснера, которую содержит эра, а не временной интервал).

Каждой эпохе ( s -й эпохе) соответствует ряд значений параметра u, начиная с наибольшего, , и через значения − 1, − 2, ..., дойдя до наименьшего, < 1. Тогда

( уравнение 41 )

то есть, к ( с ) = [ ] где скобки означают всю часть значения. Число к ( с ) — длина эры, измеряемая количеством эпох Каснера, которые содержит эра. Для следующей эпохи

( уравнение 42 )

В безграничном ряду чисел u , составленном по этим правилам, существуют бесконечно малые (но никогда не нулевые) значения x ( с ) и соответственно бесконечно большие длины k ( с ) .

Ряд эпох становится более плотным при приближении к t = 0. Однако естественной переменной для описания временного хода этой эволюции является не мировое время t , а его логарифм, ln t , с помощью которого весь процесс достижения сингулярности расширяется до −∞.

Согласно уравн. 33 , одна из функций a , b , c , проходящая через максимум при переходе между эпохами Каснера, на вершине своего максимума равна

( уравнение 38 )

где предполагается, что a max больше по сравнению с b 0 и c 0 ; в экв. 38 u — значение параметра в эпоху Каснера до перехода. Отсюда видно, что пики последовательных максимумов в течение каждой эпохи постепенно понижаются. Действительно, в следующую эпоху Каснера этот параметр имеет значение u' = u − 1, и Λ подставляется согласно (1). 36 с Λ' = Λ(1 - 2| п 1 ( ты )|). Следовательно, отношение двух последовательных максимумов равно

и наконец

( уравнение 39 )

Вышеупомянутое является решением уравнений Эйнштейна в вакууме. Что касается чистой моды Каснера, то материя не меняет качественных свойств этого раствора и может быть записана в него независимо от ее реакции на поле. Однако если сделать это для обсуждаемой модели, понимаемой как точное решение уравнений Эйнштейна, то полученная картина эволюции материи не будет носить общий характер и будет специфична для высокой симметрии, присущей данной модели. Математически эта специфика связана с тем, что для обсуждаемой здесь геометрии однородного пространства компоненты тензора Риччи тождественно равны нулю, и поэтому уравнения Эйнштейна не допускают движения материи (что дает ненулевые компоненты тензора энергии-импульса напряжения ). Другими словами, синхронная система отсчета также должна быть содвижной относительно материи. Если заменить в уравнении 19 ты α = 0, ты 0 = 1, то становится ε ~ abc ( −4/3 ~ т −4/3 .

Этой трудности можно избежать, если включить в модель только главные члены предельной (при t → 0) метрики и записать в нее вещество с произвольным начальным распределением плотностей и скоростей. Тогда ход эволюции материи определяется ее общими законами движения ур. 17 и уравнение. 18, что приводит к уравнению. 21 . В каждую эпоху Каснера плотность увеличивается по закону

( уравнение 40 )

где p3 - чисел p1 указано выше, наибольшее из , p2 это , , p3 как . Плотность материи монотонно возрастает на протяжении всей эволюции к сингулярности.

Эволюция метрики

[ редактировать ]

Очень большие значения u соответствуют степеням Каснера.

( уравнение 43 )

которые близки к значениям (0, 0, 1). Две величины, близкие к нулю, также близки друг другу, поэтому изменения двух из трех типов «возмущений» (членов с λ, µ и ν в правых частях уравнения 26 ) равны тоже очень похож. Если в начале такой длительной эпохи эти члены в момент перехода между двумя эпохами Каснера очень близки по абсолютным значениям (или созданы таковыми искусственно путем задания начальных условий), то они будут оставаться близкими на протяжении большей части длины всей эпохи. эпоха. В этом случае (БКЛ называет это случаем малых колебаний ) анализ, основанный на действии одного типа возмущений, становится некорректным; необходимо учитывать одновременное влияние двух типов возмущений.

Два возмущения

[ редактировать ]

Рассмотрим длительную эпоху, в течение которой две функции a , b , c (пусть это будут a и b ) испытывают небольшие колебания, в то время как третья функция ( c ) монотонно убывает. Последняя функция быстро становится малой; рассмотрим решение только в той области, где можно игнорировать c по сравнению с a и b . Расчеты сначала проводятся для модели пространства типа IX путем подстановки соответственно λ = µ = ν = 1. [43]

После игнорирования функции c первые два уравнения (ур. 26 дать

( уравнение 44 )
( ур. 45 )

и экв. 28 можно использовать в качестве третьего уравнения, которое принимает вид

( уравнение 46 )

Решение уравнения. 44 записывается в виде

где α 0 , ξ 0 — положительные константы, а τ 0 — верхний предел эпохи для переменной τ. Удобно ввести дополнительно новую переменную (вместо τ)

( ур. 47 )

Затем

( уравнение 48 )

Уравнения ​45 и экв. 46 преобразуются введением переменной χ = α − β:

( ур. 49 )
( уравнение 50 )

Уменьшение τ от τ 0 до −∞ соответствует уменьшению ξ от ξ 0 до 0. Рассматриваемая здесь длинная эра с близкими a и b (т. е. с малыми χ) получается, если ξ 0 — очень большая количество. Действительно, при больших ξ решение уравн. 49 в первом приближении на 1/ξ составляет

( уравнение 51 )

где А — константа; множитель делает χ небольшой величиной, поэтому ее можно подставить в уравнение. 49 по sh 2χ ≈ 2χ. [примечание 11]

Из уравнения. 50 получается

После определения α и β из уравнения. 48 и уравнение. 51 и расширение e а и е б последовательно в соответствии с приведенным выше приближением, окончательно получаем: [примечание 12]

( уравнение 52 )
( уравнение 53 )

Связь между переменной ξ и временем t получается путем интегрирования определения dt = abc d τ, что дает

( уравнение 54 )

Константа c 0 (значение с при ξ = ξ 0 ) должна теперь быть c 0 а 0 ·

Пространство Бьянки VIII типа (открытое), испытывающее хаотическую динамику BKL (Mixmaster), близкую к сингулярности, в соответствии с правилами уравнения. 35 с начальным . Особенность находится в центральном пинче поверхности гиперболоида.

Рассмотрим теперь область ξ 1. Здесь основные члены решения уравнения. 49 из них:

где k — константа в диапазоне − 1 < k < 1; это условие гарантирует, что последний член в уравнении. 49 мало (sh 2χ содержит ξ 22 тыс. и ξ −2 к ). Тогда, после определения α, β и t , получаем

( уравнение 55 )

Это снова режим Каснера с отрицательной степенью t, присутствующей в функции c ( t ). [примечание 13]

Эти результаты описывают эволюцию, качественно аналогичную описанной выше. В течение длительного периода времени, соответствующего большому уменьшению значения ξ, две функции a и b колеблются, оставаясь близкими по величине. ; в то же время обе функции a и b медленно ( ) снижаться. Период колебаний постоянен по переменной ξ: Δξ = 2π (или, что то же самое, с постоянным периодом по логарифмическому времени: Δln t = 2π Α 2 ). Третья функция c монотонно убывает по закону, близкому к c = c 0 t / t 0 .

Эта эволюция продолжается до тех пор, пока ξ ≈1 и формулы (1). 52 и экв. 53 больше не применимы. Его временная продолжительность соответствует изменению t от t 0 до значения t 1 , связанного с ξ 0 согласно

( уравнение 56 )

Зависимость между ξ и t за это время можно представить в виде

( уравнение 57 )

После этого, как видно из упр. 55 , убывающая функция c начинает увеличиваться, в то время как функции a и b начинают уменьшаться. Эта эпоха Каснера продолжается до тех пор, пока условия c 2 / а 2 б 2 в экв. 22 стать ~ т 2 и начинается следующая серия колебаний.

Закон изменения плотности в течение рассматриваемой длительной эпохи получается заменой уравнения. 52 в экв. 20 :

( уравнение 58 )

При изменении ξ от ξ 0 до ξ ≈1 плотность увеличивается раз.

Следует подчеркнуть, что хотя функция c ( t ) изменяется по закону, близкому к c ~ t , метрика уравн. 52 не соответствует метрике Каснера со степенями (0, 0, 1). Последнее соответствует точному решению, найденному Таубом. [47] что разрешено уравнениями. 26 27 и в котором

( уравнение 59 )

где p , δ1 , δ2 постоянны . Отсюда в асимптотической области τ → −∞ можно получить a = b = const, c = const. t после замены е прт = т . В этой метрике особенность при t = 0 нефизична.

Опишем теперь аналогичное исследование модели VIII типа, подставив в уравнения уравнения 26 ' –' 28 λ = −1, µ = ν = 1. [44]

Если в течение долгой эпохи монотонно убывающая функция равна a , в приведенном выше анализе ничего не меняется: игнорирование a 2 в правой части уравнений 26 и 28 , возвращается к тем же уравнениям 49 и 50 (с измененными обозначениями). Однако некоторые изменения происходят, если монотонно убывающая функция равна b или c ; пусть это будет ц .

Как и раньше, уравнение 49 имеет те же символы, и, следовательно, прежние выражения eq. 52 для функций a (ξ) и b (ξ), но уравнение 50 заменяется на

( уравнение 60 )

Главный член в целом ξ теперь становится

так что

( уравнение 61 )

Значение c как функция времени t снова равно c = c 0 t / t 0, но зависимость ξ от времени меняется. Длина длинной эры зависит от ξ 0 согласно

( уравнение 62 )

С другой стороны, величина ξ 0 определяет количество колебаний функций a и b за эпоху (равное ξ 0 /2π). При длине эры в логарифмическом времени (т. е. при заданном отношении t 0 / t 1 ) число колебаний для типа VIII будет, вообще говоря, меньше, чем для типа IX. Для периода колебаний теперь получаем Δln t = πξ/2; в отличие от типа IX, период не является постоянным на протяжении всей долгой эры и медленно убывает вместе с ξ.

Малая область времени

[ редактировать ]

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

В каждую эпоху Каснера abc = Λ t , т.е. α + β + γ = ln Λ + ln t . При переходе от одной эпохи (с заданным значением параметра u ) к следующей константа Λ умножается на 1 + 2 p 1 = (1 – u + u 2 )/(1 + и + и 2 ) < 1. Таким образом, имеет место систематическое уменьшение Λ. Но существенно, что среднее (по длинам k эр) значение всего изменения ln Λ за эпоху конечно. На самом деле расхождение среднего значения могло быть обусловлено лишь слишком быстрым увеличением этого изменения с ростом k . Для большого значения параметра u ln(1 + 2 p 1 ) ≈ −2/ u . При большом k максимальное значение u (макс) = к + х ≈ к. Следовательно, все изменение ln Λ в течение эпохи определяется суммой вида

только те члены, которые соответствуют большим значениям u записывая . Когда k увеличивается, эта сумма увеличивается как ln k . Но вероятность появления эры большой длины k уменьшается как 1/ k 2 согласно (1). 76 ; следовательно, среднее значение приведенной выше суммы конечно. Следовательно, систематическое изменение величины ln Λ на протяжении большого числа эпох будет пропорционально этому числу. Но это видно из уравнения. 85 видно, что при t → 0 число s увеличивается просто по закону ln |ln t |. Таким образом, в асимптотическом пределе сколь угодно малых t членом ln Λ действительно можно пренебречь по сравнению с ln t . В этом приближении [примечание 14]

( уравнение 63 )

где Ω обозначает «логарифмическое время»

( уравнение 64 )

а процесс смены эпох можно рассматривать как серию кратких вспышек времени. Систематическому изменению подвержены и величины максимумов осциллирующих масштабных функций. Из уравнения. 39 при u ≫ 1 следует, что . Отсюда, так же, как это было сделано выше для величины ln Λ, можно сделать вывод, что среднее уменьшение высоты максимумов за эпоху конечно, а общее уменьшение за большое число эпох увеличивается с t → 0 всего лишь как ln Ом. При этом понижение минимумов и тем самым увеличение амплитуды колебаний происходят ( уравнение 77 ) пропорционально Ω. В соответствии с принятым приближением понижением максимумов пренебрегают по сравнению с увеличением амплитуд, так что α max = 0, β max = 0, γ max = 0 для максимальных значений всех осциллирующих функций и величин α, β , γ проходят только через отрицательные значения, которые связаны друг с другом в каждый момент времени соотношением урав. 63 .

Изменение α, β и γ в зависимости от логарифмического времени Ω в течение одной эпохи. Вертикальные штриховые линии обозначают изменения эпох Каснера, соответствующие линейным участкам кривых. Сверху указаны значения параметра u , определяющего показатели Казнера. Последняя эпоха имеет большую продолжительность, если x мало. В первую эпоху следующей эры γ начинает возрастать и α становится монотонно убывающей функцией.

Учитывая такую ​​мгновенную смену эпох, переходные периоды игнорируются как малые по сравнению с длиной эпохи; это условие фактически выполняется. [примечание 15] Замена максимумов α, β и γ нулями требует, чтобы величины ln (| p 1 |Λ) были малы по сравнению с амплитудами колебаний соответствующих функций. Как уже говорилось выше , при переходах между эпохами | р 1 | значения могут стать очень малыми, а их величина и вероятность возникновения не связаны с амплитудами колебаний в соответствующий момент. Поэтому в принципе можно достичь столь малого | р 1 | значения, при которых вышеуказанное условие (нулевые максимумы) нарушается. Такое резкое падение α max может привести к различным особым ситуациям, в которых переход между эпохами Каснера по правилу (1). 37 становится неправильным (включая ситуации, описанные выше ). Эти «опасные» ситуации могут нарушить законы, используемые для статистического анализа ниже. Однако, как уже упоминалось, вероятность таких отклонений асимптотически стремится к нулю; этот вопрос будет обсуждаться ниже.

Рассмотрим эпоху, содержащую k эпох Каснера с параметром u, проходящим через значения

( уравнение 65 )

и пусть α и β — осциллирующие функции в эту эпоху (рис. 4). [примечание 16]

Начальные моменты эпох Каснера с параметрами равны un Ω n . В каждый начальный момент одно из значений α или β равно нулю, а другое имеет минимум. Значения α или β в последовательных минимумах, т. е. в моменты Ω n, равны

( уравнение 66 )

(не различая минимумы α и β). Значения δ n , которые измеряют эти минимумы в соответствующих единицах Ω n, могут принимать значения от 0 до 1. Функция γ монотонно убывает в течение этой эпохи; согласно ур. 63 его значение в момент Ω n равно

( уравнение 67 )

В течение эпохи, начинающейся в момент Ω n и заканчивающейся в момент Ω n +1, одна из функций α или β возрастает от −δ n Ω n до нуля, а другая убывает от 0 до −δ n +1 Ω n +1 по линейному закону. законы соответственно:

и

что приводит к рекуррентному соотношению

( уравнение 68 )

и для логарифмической длины эпохи

( уравнение 69 )

где, для краткости, f ( u ) = 1 + u + u 2 . Сумма n длин эпох получается по формуле

( уравнение 70 )

Это видно из уравнения. 68, что |α n+1 | > |α n |, т. е. амплитуды колебаний функций α и β увеличиваются в течение всей эпохи, хотя коэффициенты δ n могут быть малы. Если минимум в начале эры глубокий, следующие минимумы не станут мельче; другими словами, вычет |α — β| в момент перехода между эпохами Каснера остается большой. Это утверждение не зависит от длины эры k , поскольку переходы между эпохами определяются общим правилом (уравнением). 37 также для длинных эпох.

Амплитуда последнего колебания функций α или β в данную эпоху связана с амплитудой первого колебания соотношением |α k −1 | знак равно |α 0 | ( к + х ) / (1 + х ). Даже при значениях k , составляющих несколько единиц, x можно пренебречь по сравнению с k, так что увеличение амплитуд колебаний α и β становится пропорциональным длине эры. Для функций a = e а и б = е б это означает, что если амплитуда их колебаний в начале эры была А 0 , то в конце этой эры амплитуда станет .

Продолжительность эпох Каснера (в логарифмическом времени) также увеличивается внутри данной эры; это легко вычислить из уравнения. 69, что Δ n +1 > Δ n . [примечание 17] Общая продолжительность эпохи составляет

( уравнение 71 )

(член с 1/ x возникает из последней, k -й эпохи, длина которой велика при малых x ; ср. рис. 2). Момент Ω n окончания k -й эпохи данной эры одновременно является моментом Ω' 0 начала следующей эры.

В первую эпоху Каснера новой эры функция γ первой поднимается от минимального значения γ k = − Ω k (1 − δ k ), которого она достигла в предыдущую эпоху; эта величина играет роль стартовой амплитуды δ' 0 Ω' 0 для новой серии колебаний. Легко получить, что:

( ур. 72 )

Очевидно, что δ' 0 Ω' 0 > δ 0 Ω 0 . Даже при не очень больших k увеличение амплитуды весьма существенно: функция c = e с начинает колебаться по амплитуде . Вопрос об упомянутых выше «опасных» случаях резкого понижения верхнего предела колебаний пока оставлен в стороне.

Согласно уравн. 40 прирост плотности вещества в течение первых ( k − 1) эпох определяется формулой

Для последней k эпохи данной эры при u = x < 1 наибольшая степень равна p 2 ( x ) (а не p 3 ( x ) ). Поэтому для роста плотности за всю эпоху получим

( уравнение 73 )

Поэтому даже при не очень больших k значениях . В течение следующей эпохи (с длиной k из-за увеличившейся стартовой амплитуды A0 ') плотность будет расти быстрее ': и т. д. Эти формулы иллюстрируют резкое увеличение плотности вещества.

Статистический анализ вблизи сингулярности

[ редактировать ]

Последовательность длин эпох k ( с ) , измеряемый числом содержащихся в них эпох Каснера, приобретает асимптотически характер случайного процесса. То же самое относится и к последовательности перестановок пар осциллирующих функций при переходе от одной эпохи к другой (это зависит от того, являются ли числа k ( с ) четные или нечетные). Источником этой стохастичности является правило уравнений. 41 42, согласно которым переход от одной эпохи к другой определяется бесконечной числовой последовательностью значений u . Другими словами, это правило гласит, что если вся бесконечная последовательность начинается с определенного начального значения , то длины эпох k (0) , к (1) , ..., — числа в цепной дроби разложении

( уравнение 73а )

Это разложение соответствует преобразованию отображения отрезка [0, 1] на себя по формуле Tx = {1/ x }, т. е. x s +1 = {1/ x s }. Это преобразование принадлежит к так называемым расширяющим преобразованиям интервала [0, 1], т. е. преобразованиям x f ( x ) с | ж ' ( Икс ) | > 1. Такие преобразования обладают свойством экспоненциальной неустойчивости: если взять изначально две близкие точки, их взаимное расстояние экспоненциально увеличивается при итерациях преобразований. Хорошо известно, что экспоненциальная неустойчивость приводит к появлению сильных стохастических свойств.

Можно перейти к вероятностному описанию такой последовательности, рассматривая не определенное начальное значение x (0) но значения x (0) = x, распределенные в интервале от 0 до 1 в соответствии с некоторым вероятностным законом распределения w 0 ( x ). Тогда значения x (с) завершение каждой эпохи также будет иметь распределения, подчиняющиеся определенным законам w s (x) . Пусть w s (x)dx — вероятность того, что s -я эра завершится со значением лежащий в заданном интервале dx .

Значение х (с) = x , завершающий s -ю эру, может возникнуть из начальных (для этой эры) значений , где k = 1, 2, ...; эти ценности соответствуют значениям x ( с –1) = 1/( k + x ) для предыдущей эпохи. Учитывая это, можно записать следующее рекуррентное соотношение, выражающее распределение вероятностей w s (x) через распределение w s –1 ( x ):

или

( уравнение 73c )

Если распределение w s ( x ) стремится с ростом s к стационарному (независимому от s ) предельному распределению w ( x ), то последнее должно удовлетворять уравнению, полученному из уравнения. 73c , опустив индексы функций w s −1 ( x ) и w s ( x ). Это уравнение имеет решение

( уравнение 74 )

(нормирован на единицу и приведен к первому порядку по x ). [примечание 18]

Чтобы s -я эра имела длину k , предыдущая эра должна заканчиваться номером x в интервале между 1/( k + 1) и 1/ k . Следовательно, вероятность того, что эра будет иметь длину k, равна (в стационарном пределе)

( уравнение 75 )

При больших значениях k

( уравнение 76 )

Связывая статистические свойства космологической модели с эргодическими свойствами преобразования x s +1 = {1/ x s }, необходимо отметить важный момент. В бесконечной последовательности чисел x, построенной по этому правилу, сколь угодно малые (но никогда не обращающиеся в нуль) значения x будут наблюдаться , соответствующие сколь угодно большим длинам k. Такие случаи могут (вовсе не обязательно!) порождать некоторые специфические ситуации, когда понятие эр как последовательностей эпох Каснера, сменяющих друг друга по правилу (1). 37 , теряет смысл (хотя колебательный характер эволюции модели все еще сохраняется). Такая «аномальная» ситуация может проявляться, например, в необходимости сохранить в правой части уравнения. 26 термов не только с одной из функций a , b , c (скажем, a 4 ), как и в случае «обычной» смены эпох Каснера, но одновременно с двумя из них (скажем , 4 , б 4 , а 2 б 2 ).

При выходе из «аномальной» серии колебаний восстанавливается последовательность регулярных эр. Статистический анализ поведения модели, полностью основанный на регулярных итерациях преобразований уравнения. 42 подтверждается важной теоремой: вероятность появления аномальных случаев асимптотически стремится к нулю по мере увеличения числа итераций s → ∞ (т. е. времени t → 0), что доказано в конце этого раздела. Справедливость этого утверждения во многом обусловлена ​​очень быстрой скоростью увеличения амплитуд колебаний в каждую эпоху и особенно при переходе от одной эпохи к другой.

Однако процесс релаксации космологической модели к «стационарному» статистическому режиму (с t → 0, начиная с данного «начального момента») менее интересен, чем свойства самого этого режима с учетом конкретных условий. законы изменения физических характеристик модели в течение последовательных эпох.

Представление о скорости установления стационарного распределения можно получить из следующего примера. Пусть начальные значения x (0) быть распределены в узком интервале шириной δ x (0) о каком-то определенном числе. Из рекуррентного соотношения (упр.) 73в (или непосредственно из уравнения разложения 73а ) легко заключить, что ширины распределений w s ( x ) (около других определенных чисел) будут тогда равны

( уравнение 76a )

(это выражение справедливо только до тех пор, пока оно определяет величины δ x (с) ≪ 1).

Среднее значение , рассчитанное по этому распределению, расходится логарифмически. Для последовательности, обрезанной по очень большому, но все же конечному числу N , имеем . Полезность среднего значения в этом случае весьма ограничена из-за его нестабильности: из-за медленного уменьшения W ( k ) колебания k расходятся быстрее, чем его среднее значение. Более адекватной характеристикой этой последовательности является вероятность того, что случайно выбранное из нее число принадлежит эпохе длины K , где K велико. Эта вероятность равна ln K ln N. / Это мало, если . В этом отношении можно сказать, что случайно выбранное число из данной последовательности с высокой вероятностью принадлежит длинной эпохе.

Удобно усреднять выражения, зависящие одновременно от k ( с ) и х ( с ) . Поскольку обе эти величины получены из одной и той же величины x ( с –1) (что завершает предыдущую эпоху) в соответствии с формулой k ( с ) + х ( с ) = 1/ х ( с –1) , их статистические распределения нельзя считать независимыми. Совместное распределение W s ( k , x ) dx обеих величин можно получить из распределения w s –1 ( x ) dx , сделав в последнем замену x → 1/( x + k ). Другими словами, функция W s ( k , x ) задается самим выражением под знаком суммы в правой части уравнения. 73с . В стационарном пределе, взяв w из уравнения. 74 , получаем

( уравнение 76b )

Суммирование этого распределения по k возвращает нас к уравнению. 74 , и интегрирование по dx в уравнение. 75 .

Рекуррентные формулы, определяющие переходы между эпохами, переписаны с индексом s, нумерующим последовательные эры (а не эпохи Каснера в данной эпохе!), начиная с некоторой эры ( s = 0), определенной как начальная. Ом ( с ) и ε ( с ) – соответственно начальный момент и начальная плотность материи в s -ю эру; δ ( с ) Ой ( с ) — начальная амплитуда колебаний той пары функций α, β, γ, которая колеблется в данную эпоху: k ( с ) — продолжительность s -й эры, а x ( с ) определяет длину (количество эпох Каснера) следующей эры по k ( с +1) = [1/ х ( с ) ]. Согласно уравнениям 71 73

( уравнение 77 )
( уравнение 78 )
( уравнение 79 )

( с ) введен в уравнение. 77, который будет использоваться далее).

Величины δ ( с ) имеют устойчивое стационарное статистическое распределение P (δ) и стабильное (небольшие относительные колебания) среднее значение. За их решимость КЛ [48] в соавторстве с Ильей Лифшицем , братом Евгения Лифшица, использован (с соответствующими оговорками) приближенный метод, основанный на предположении статистической независимости случайной величины δ. ( с ) и случайных величин k ( с ) , х ( с ) . Для функции P (δ) было составлено интегральное уравнение, выражающее тот факт, что величины δ ( с +1) и δ ( с ) связаны между собой соотношением ур. 78 имеют такое же распределение; это уравнение было решено численно. В более поздней работе Халатников и др. [49] показал, что распределение P (δ) действительно можно найти именно аналитическим методом (см. рис. 5 ).

Для статистических свойств в стационарном пределе разумно ввести так называемое естественное расширение преобразования Tx = {1/ x }, продолжив его без ограничения на отрицательные индексы. Иначе говоря, это переход от односторонней бесконечной последовательности чисел ( x 0 , x 1 , x 2 , ...), связанной равенствами Tx = {1/ x }, к «вдвойне бесконечной» последовательность X = (..., x −1 , x 0 , x 1 , x 2 , ...) чисел, связанных одними и теми же равенствами для всех –∞ < s < ∞. Конечно, такое разложение не является единственным в прямом смысле слова (поскольку x s –1 не определяется однозначно x s ), но все статистические свойства расширенной последовательности однородны на всей ее длине, т. е. инвариантны относительно относительно произвольного сдвига (и x 0 теряет смысл «начального» состояния). Последовательность X эквивалентна последовательности целых чисел K = (..., k −1 , k 0 , k 1 , k 2 , ...), построенной по правилу k s = [1/ x s –1 ] . И наоборот, каждое число X определяется целыми числами K как бесконечное число. непрерывная дробь

( уравнение 79a )

(удобство введения обозначений со смещенным на 1 индексом, станет ясно из дальнейшего). Для краткости обозначения непрерывная дробь обозначается просто перечислением (в квадратных скобках) ее знаменателей; тогда определение можно записать как

( уравнение 79b )

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

( уравнение 79c )

Рекуррентное соотношение уравн. 78 преобразуется путем временного введения обозначения η s = (1 − δ s )/δ s . Тогда уравнение. 78 можно переписать как

Итерацией получается бесконечная непрерывная дробь.

Следовательно и наконец

( уравнение 79d )

Это выражение для δ s содержит только два (вместо трёх в [48] ) случайные величины и , каждое из которых принимает значения в интервале [0, 1].

Это следует из определения уравнения. 79с это . Следовательно, сдвиг всей последовательности X на один шаг вправо означает совместное преобразование величин и в соответствии с

( уравнение 79e )

Это взаимно однозначное отображение в единичном квадрате . Таким образом, теперь мы имеем взаимно однозначное преобразование двух величин вместо неоднозначного преобразования Tx = {1/ x } одной величины.

Количества и имеют совместное стационарное распределение P ( x + , х ). Поскольку уравнение 79e представляет собой взаимно однозначное преобразование, условие стационарности распределения выражается просто функциональным уравнением

( уравнение 79f )

где J якобиан преобразования.

Сдвиг последовательности X на один шаг приводит к следующему преобразованию T единичного квадрата:

, , ср. экв. 79д ). Плотность P ( x , y ) определяет инвариантную меру этого преобразования. Естественно предположить, что P ( x , y ) — симметричная функция от x и y . Это означает, что мера инвариантна относительно преобразования S ( x , y ) = ( y , x ) и, следовательно, относительно произведения ST с ST ( x , y ) = ( x″ , y″ ) и

Очевидно, ST имеет первый интеграл H = 1/ x + y . На прямой H = const ≡ c преобразование имеет вид

Следовательно, инвариантная плотность меры ST должна иметь вид

Учитывая симметрию P ( x , y ) = P ( y , x ), это становится f ( c ) = c −2 и, следовательно (после нормализации)

( ур. 79g )

(его интегрирование по x + или х дает функцию w ( x ) eq. 74 ). Сведение преобразования к взаимно однозначному отображению уже использовалось Черноффом и Барроу. [50] и они получили формулу вида уравнения. 79g, но для других переменных; их статья не содержит приложений к проблемам, рассматриваемым в работе Халатникова и др. [49]

Корректность уравнения. 79g можно проверить также непосредственным расчетом; якобиан уравнения преобразования . 79е это

(при его расчете следует учитывать, что ).

Функция распределения вероятностей P (δ). Красная линия: точное уравнение функции. 79ч . Синяя линия: приближенное решение интегрального уравнения в. [48] Обе кривые кажутся поразительно похожими, а средние значения обоих распределений равны 0,50. [примечание 19]

Поскольку по уравн. 79d δ s выражается через случайные величины x + и х , знание их совместного распределения позволяет вычислить статистическое распределение P (δ) путем интегрирования P ( x + , х ) по одной из переменных при постоянном значении δ. Ввиду симметрии функции уравн. 79g по переменным x + и х , P (δ) = P (1 − δ), т. е. функция P (δ) симметрична относительно точки δ = 1/2. Затем

Вычислив этот интеграл (для 0 ≤ δ ≤ 1/2 и затем воспользовавшись вышеупомянутой симметрией), наконец,

( уравнение 79h )

Среднее значение = 1/2 уже в результате симметрии функции P (δ). Таким образом, среднее значение начальной (в каждую эпоху) амплитуды колебаний функций α, β, γ возрастает как Ω/2.

Статистическая связь между большими временными интервалами Ω и количеством содержащихся в них эр находится путем многократного применения уравнения (1). 77 :

( уравнение 80 )

Однако прямое усреднение этого уравнения не имеет смысла: из-за медленного убывания функции W ( k ) урав. 76 , средние значения величины exp ξ ( с ) неустойчивы в указанном смысле – с увеличением области усреднения колебания растут даже быстрее, чем само среднее значение. Эта неустойчивость устраняется логарифмированием: «дважды логарифмического» интервала времени

( уравнение 81 )

выражается суммой величин ξ ( п ) которые имеют стабильное статистическое распределение. Среднее значение τ составляет . Чтобы рассчитать обратите внимание, что уравнение 77 можно переписать как

( уравнение 81a )

Для стационарного распределения , а в силу симметричности функции P (δ) также . Следовательно

( w ( x ) из уравнения 74 ). Таким образом

( ур. 82 )

который определяет средний дважды логарифмический интервал времени, содержащий s последовательных эр.

При больших s количество членов в сумме уравн. 81 велико и согласно общим теоремам эргодической теории значения τ s распределены вокруг по закону Гаусса с плотностью

( уравнение 82a )

Расчет дисперсии D τ более сложен, поскольку не только знание и необходимы, но и корреляции . Расчет можно упростить, переставив члены в сумме уравнения. 81 . Используя уравнение 81а сумму можно переписать как

Последние два члена не увеличиваются с увеличением s ; эти члены можно опустить, поскольку предельные законы для больших s являются доминирующими. Затем

( уравнение 82b )

выражение (79d) для δ p ( учтено ). С той же точностью (т. е. с точностью до членов, не возрастающих с ростом s ) справедливо равенство

( уравнение 82c )

действителен. Действительно, в силу уравн. 79е

и, следовательно,

Суммируя это тождество по p eq. 82с получается. Наконец снова с той же точностью меняется на x p под знаком суммы и, таким образом, представляем τ s как

( ур. 83 )

Дисперсия этой суммы в пределе больших s равна

( уравнение 84 )

Учтено, что в силу статистической однородности последовательности X корреляции зависят только от различий | р - р '|. Среднее значение ; средний квадрат

Учитывая также значения корреляций с р = 1, 2, 3 конечный результат D τ s = (3,5 ± 0,1) с (рассчитано численно) получен .

При увеличении s относительное колебание стремится к нулю, поскольку s −1/2 . Другими словами, статистическое соотношение уравн. 82 становится почти наверняка на свободе . Это позволяет инвертировать соотношение, т. е. представить его в виде зависимости среднего числа эр s τ , сменяющихся местами в заданном интервале τ двойного логарифмического времени:

( уравнение 85 )

Статистическое распределение точных значений s τ вокруг его среднего значения также является гауссовым с дисперсией

Соответствующее статистическое распределение задается тем же распределением Гаусса, в котором случайная величина теперь равна s τ при заданном τ:

( уравнение 86 )

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

Относительно плотности вещества, уравн. 79 можно переписать с учетом уравнения. 80 в форме

и тогда для полного изменения энергии за s эр

( уравнение 87 )

Член с суммой по p дает основной вклад в это выражение, поскольку содержит показатель степени большой степени. Оставив только этот член и усреднив уравнение. 87 , в правой части получим выражение что совпадает с уравнением 82 ; все остальные члены суммы (а также члены со степенями η s ) приводят лишь к поправкам относительного порядка 1/ s . Поэтому,

( уравнение 88 )

В силу почти определённого характера связи между τ s и s экв. 88 можно записать как

который определяет значение двойного логарифма прироста плотности, усредненного по заданным двойно-логарифмическим интервалам времени τ или по заданному числу эпох s .

Эти устойчивые статистические зависимости существуют именно для дважды логарифмических интервалов времени и для увеличения плотности. Для других характеристик, например, ln (ε ( с ) / е (0) ) или Ом (с) / Ой (0) = exp τ s относительная флуктуация увеличивается экспоненциально с увеличением диапазона усреднения, тем самым лишая термин «среднее значение» устойчивого значения.

Происхождение статистической зависимости урав. 88 можно проследить уже из исходного закона изменения плотности в отдельные эпохи Каснера. Согласно уравн. 21 , в течение всей эволюции мы имеем

при этом 1 − p 3 ( t ) меняется от эпохи к эпохе, пробегая значения в интервале от 0 до 1. Член ln Ω = ln ln (1/ t ) монотонно возрастает; с другой стороны, член ln2(1 − p3 ) может принимать большие значения (сравнимые с ln Ω) только тогда , когда появляются значения p3 , очень близкие к единице (т.е. очень малые | p1 | ). Это именно те «опасные» случаи, которые нарушают регулярный ход эволюции, выражаемый рекуррентными соотношениями (ур. 77 экв. 79 .

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

чрезмерно малые значения параметра u = x (а значит, и | p 1 | ≈ x Опасными являются случаи, когда в конце эпохи появляются ). Критерием отбора таких случаев является неравенство

( ур. 89 )

где | α ( с ) | – начальная глубина минимумов функций, колеблющихся в эрах ( более корректно было бы выбрать конечную амплитуду, но это только усилило бы критерий выбора).

Значение х (0) в первую эпоху определяется начальными условиями. Опасными являются значения в интервале δ x (0) ~ exp ( − |α (0) | ), а также в интервалах, которые могут привести к опасным случаям в следующих эпохах. Чтобы х ( с ) попасть в опасный интервал δ x ( с ) ~ exp ( − | α ( с ) | ), начальное значение x (0) должен лежать в интервале шириной δ x (0) ~ δ х ( с ) / к (1)^2 ... к ( с )^2 . [51] Следовательно, из единичного интервала всех возможных значений x (0) , опасные случаи появятся на участках λ этого интервала:

( уравнение 90 )

(внутренняя сумма берется по всем значениям k (1) , к (2) , ... , к ( с ) от 1 до ∞). Легко показать, что эта эра сходится к значению λ 1, порядок величины которого определяется первым членом в уравнении. 90 . Об этом может свидетельствовать сильное преобладание эпохи, которую заменяют | α ( с ) | = (с + 1) | а (0) |, независимо от длин эпох k (1) , к (2) , ... (На самом деле | α ( с ) | увеличиваться гораздо быстрее; даже в самом неблагоприятном случае k (1) = к (2) = ... = 1 значения | α ( с ) | увеличиваться как q с | а (0) | при q > 1.) Отмечая, что

получается

Если начальное значение x (0) лежит вне опасной области λ, опасных случаев не будет. Если она лежит внутри этой области, то возникают опасные случаи, но по их завершению модель возобновляет «регулярную» эволюцию с новым начальным значением, которое лишь изредка (с вероятностью λ) может попасть в опасный интервал. Повторные опасные случаи происходят с вероятностью λ 2 , л 3 , ... , асимптотически сходящаяся к нулю.

Общее решение с малыми колебаниями

[ редактировать ]

В рассмотренных моделях эволюция метрики вблизи особенности изучается на примере метрик однородного пространства. Из характеристики этой эволюции ясно, что аналитическое построение общего решения для особенности такого типа должно производиться отдельно для каждой из основных составляющих эволюции: для эпох Каснера, для процесса переходов между эпохами, вызванного возмущения», для длительных эпох с двумя возмущениями, действующими одновременно. В эпоху Каснера (т.е. при малых возмущениях) метрика определяется уравнением. 7 без условия λ = 0.

BKL далее разработал модель, независимую от распределения материи (однородную или неоднородную) для длительной эпохи с небольшими колебаниями. Временная зависимость этого решения оказывается очень похожей на таковую в частном случае однородных моделей; последнее можно получить из модели, не зависящей от распределения, специальным выбором содержащихся в ней произвольных функций. [52]

Удобно, однако, построить общее решение в системе координат, несколько отличной от синхронной системы отсчета: g = 0, как и в синхронной системе отсчета, но вместо g 00 = 1 теперь g 00 = − g 33 . Определив снова тензор пространственной метрики γ αβ = − g αβ, имеем, следовательно,

( уравнение 91 )

Специальная пространственная координата записывается как x 3 = z , а временная координата записывается как x 0 = ξ (в отличие от собственного времени t ); будет показано, что ξ соответствует одной и той же переменной, определенной в однородных моделях. Дифференцирование по ξ и z обозначено точкой и штрихом соответственно. Латинские индексы a , b , c принимают значения 1, 2, соответствующие пространственным координатам x. 1 , х 2 который также будет записан как x , y . Следовательно, метрика

( уравнение 92 )

Искомое решение должно удовлетворять неравенствам

( уравнение 93 )
( ур. 94 )

(эти условия указывают, что одна из функций a 2 , б 2 , с 2 мал по сравнению с двумя другими, что также имело место с однородными моделями).

Неравенство уравнение. 94 означает, что компоненты γ a 3 малы в том смысле, что при любом соотношении сдвигов dx а и dz , условия с продукцией dx а dz можно опустить в квадрате элемента пространственной длины dl 2 . Следовательно, первым приближением к решению является метрическое уравнение. 92 с γ a 3 = 0: [примечание 20]

( уравнение 95 )

В этом легко убедиться, вычислив компоненты тензора Риччи. , , , используя метрическое уравнение 95 и условие уравнения. 93 что все члены, содержащие производные по координатам x а малы по сравнению с членами с производными по ξ и z (их отношение ~ γ 33 / γ ab ). Другими словами, чтобы получить уравнения основного приближения, γ 33 и γ ab в уравн. 95 следует дифференцировать так, как будто они не зависят от x а . Обозначение

( уравнение 96 )

получаем следующие уравнения: [примечание 21]

( уравнение 97 )
( уравнение 98 )
( уравнение 99 )

Повышение и понижение индекса здесь осуществляется с помощью γ ab . Количества и λ — сокращения и посредством чего

( ур. 100 )

Что касается компонент тензора Риччи , , по этому расчету они тождественно равны нулю. В следующем приближении (т. е. с учетом малых γ a 3 и производных по x , y определяют ) величины γ a 3 по уже известным γ 33 и γ ab .

Сокращение уравнения. 97 дает , и, следовательно,

( уравнение 101 )

возможны разные случаи В зависимости от переменной G . В приведенном выше случае g 00 = с 33 с аб и . Случай N > 0 (величина N времениподобна) приводит к интересным временным сингулярностям. Подставив в уравнение 101 f 1 = 1/2 (ξ + z ) sin y , f 2 = 1/2 (ξ − z ) sin y приводит к G типа

( уравнение 102 )

Этот выбор не умаляет общности выводов; можно показать, что общность возможна (в первом приближении) именно за счет остальных допустимых преобразований переменных. При N < 0 (величина N пространственноподобна) можно заменить G = z , что обобщает известную метрику Эйнштейна – Розена . [53] При N = 0 приходим к волновой метрике Робинсона – Бонди. [54] зависящее только от ξ + z или только от ξ − z (ср. [55] ). Коэффициент sin y в уравнении 102 поставлен для удобства сравнения с однородными моделями. Принимая во внимание уравнение 102 , уравнения уравнения. 97 экв. 99 стать

( ур. 103 )
( уравнение 104 )
( уравнение 105 )

Основные уравнения : 103 определение компонентов γ ab ; затем функция ψ находится путем простого интегрирования уравнения. 104 экв. 105 .

Переменная ξ принимает значения от 0 до ∞. Решение уравнения. 103 рассматривается на двух границах, ξ 1 и 1. При больших значениях ξ можно искать решение, принимающее вид разложения 1/ ξ :

( уравнение 106 )

посредством чего

( уравнение 107 )

(для уравнения 107 необходимо, чтобы условие 102 было истинным). Подставив уравнение 103 в экв. 106 , получаем в первом порядке

( уравнение 108 )

где величины a и обратную матрице aac составляют матрицу , . Решение уравнения. 108 имеет вид

( уравнение 109 )
( уравнение 110 )

где l a , m a , ρ — произвольные функции координат x , y, связанные условием (ур.). 110 получено из уравнения. 107 .

Для нахождения высших членов этого разложения удобно записать матрицу искомых величин γ ab в виде

( уравнение 111 )
( уравнение 112 )

где символ ~ означает транспонирование матрицы. Матрица H симметрична и ее след равен нулю. Презентация уравнения. 111 обеспечивает симметрию γ ab и выполнение условия (1). 102 . Если exp H заменить на 1, из уравнения получим: 111 γ ab = ξ a ab с ab из уравнения . 109 . Другими словами, первый член разложения γ ab соответствует H = 0; высшие члены получаются путем разложения по степеням матрицы H, компоненты которой считаются малыми.

Независимые компоненты матрицы H записываются как σ и φ, так что

( ур. 113 )

Подставив уравнение 111 в экв. 103 и оставляя только члены, линейные по H , для σ и φ получаем

( уравнение 114 )

Если попытаться найти решение этих уравнений в виде рядов Фурье по координате z , то для коэффициентов ряда как функций от ξ получим уравнения Бесселя. Основными членами асимптотики решения при больших ξ являются [примечание 22]

( уравнение 115 )

Коэффициенты A и B являются произвольными комплексными функциями координат x , y и удовлетворяют необходимым условиям для действительных σ и φ; базовая частота ω является произвольной действительной функцией x , y . Теперь из уравнения. 104 экв. 105 нетрудно получить первый член функции ψ:

( уравнение 116 )

(этот член обращается в нуль, если ρ = 0; в этом случае главным членом является линейный по ξ из разложения: ψ = ξ q ( x , y ), где q — положительная функция [56] ).

Поэтому при больших значениях ξ компоненты метрического тензора γ ab колеблются при уменьшении ξ на фоне медленного уменьшения, вызванного уменьшением множителя ξ в уравнении. 111 . Компонента γ 33 = e п быстро убывает по закону, близкому к exp (ρ 2 х 2 ); это делает возможным условие уравн. 93 . [примечание 23]

Далее БКЛ рассматривает случай ξ 1. Первое приближение к решению уравнения. 103 находится из предположения (подтвержденного результатом), что в этих уравнениях можно исключить члены с производными по координатам:

( уравнение 117 )

Это уравнение вместе с условием ур. 102 дает

( ур. 118 )

где λ a , µ a , s 1 , s 2 — произвольные функции всех 3 координат x , y , z , которые связаны с другими условиями

( ур. 119 )

Уравнения ​104 экв. 105 дать сейчас

( ур. 120 )

Производные , рассчитанный по формуле 118 , содержат члены ~ ξ 4 с 1 − 2 и ~ ξ 4 с 2 − 2 в то время как члены остались в уравнении. 117 ~ ξ −2 . Следовательно, применение уравнения. 103 вместо уравнения. 117 допускается при условиях s 1 > 0, s 2 > 0; следовательно, 1 - > 0.

Таким образом, при малых ξ колебания функции γ ab прекращаются, а функция γ 33 начинает возрастать при уменьшении ξ. Это мода Каснера, и когда γ 33 сравнивается с γ ab , приведенное выше приближение неприменимо.

Чтобы проверить совместимость этого анализа, БКЛ изучил уравнения = 0, = 0, и, вычислив по ним компоненты γ a 3 , подтвердил выполнение неравенства уравн. 94 происходит . Это исследование [52] показал, что в обеих асимптотических областях компоненты γ a 3 были ~ γ 33 . , правильность неравенства Следовательно 93 сразу подразумевает правильность неравенства (ур.). 94 .

Это решение содержит, как и должно быть для общего случая поля в вакууме, четыре произвольные функции от трех пространственных координат x , y , z . В районе ξ 1 этими функциями являются, например, λ 1 , λ 2 , µ 1 , s 1 . В районе ξ 1 четыре функции определяются рядом Фурье по координате z из уравнения. 115 с коэффициентами, которые являются функциями x , y ; хотя разложение в ряд Фурье (или интеграл?) характеризует особый класс функций, этот класс достаточно велик, чтобы охватить любое конечное подмножество множества всех возможных начальных условий.

Решение содержит также ряд других произвольных функций координат x , y . Такие двумерные произвольные функции появляются, вообще говоря, потому, что связи между трехмерными функциями в решениях уравнений Эйнштейна являются дифференциальными (а не алгебраическими), оставляя в стороне более глубокий вопрос о геометрическом смысле этих функций. БКЛ не подсчитывал количество независимых двумерных функций, поскольку в этом случае трудно сделать однозначные выводы, так как трехмерные функции определяются набором двумерных функций (ср. [52] для более подробной информации). [примечание 24]

Наконец, БКЛ показывает, что общее решение содержит частное решение, полученное выше для однородных моделей.

Подставляя базисные векторы однородного пространства Бьянки типа IX в уравнение. 7 пространственно-временная метрика этой модели принимает вид

( уравнение 121 )

Когда c 2 а 2 , б 2 , можно игнорировать c 2 везде, кроме члена c 2 дз 2 . Чтобы перейти от синхронного кадра, используемого в упр. 121 в кадр с условиями урав. 91 преобразование dt = cd ξ/2 и замена z z /2 выполнены. Предполагая также, что χ ≡ ln ( a / b ) 1, из уравнения 121 в первом приближении:

( уравнение 122 )

Аналогично, с базисными векторами однородного пространства Бьянки типа VIII можно получить

( ур. 123 )

Согласно приведенному выше анализу однородных пространств, в обоих случаях ab = ξ (упрощая = ξ 0 ), а χ взято из уравнения. 51 ; функция c (ξ) задается формулами 53 и уравнение. 61 соответственно для моделей Типов IX и VIII.

Идентичная метрика для типа VIII получается из уравнения. 112 , экв. 115 , экв. 116 выбирая двумерные векторы l a и m a в виде

( уравнение 124 )

и замена

( уравнение 125 )

Чтобы получить метрику для типа IX, следует заменить




( ур. 126 )

(для расчета c (ξ) приближения в уравнении 116 недостаточно, и вычисляется член в ψ, линейный по ξ [56] )

Этот анализ был сделан для пустого пространства. Включение материи не делает решение менее общим и не меняет его качественных характеристик. [56] [52]

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

Отсюда следует, что как модель IX типа, так и ее обобщение содержат колебательный режим с единственным пространственным масштабом произвольной величины, не выделяющийся среди других никакими физическими условиями. Однако известно, что в нелинейных системах с бесконечными степенями свободы такая мода неустойчива и частично диссипирует в меньшие колебания. В общем случае малых возмущений с произвольным спектром всегда найдутся такие, амплитуда которых будет увеличиваться за счет полной энергии процесса. В результате возникает сложная картина разномасштабных движений с определенным распределением энергии и обменом энергией между колебаниями разных масштабов. Этого не происходит только в том случае, когда развитие мелкомасштабных колебаний невозможно по физическим условиям. Для последнего должна существовать некоторая естественная физическая длина, определяющая минимальный масштаб выхода энергии из системы с динамическими степенями свободы (что, например, имеет место в жидкости с определенной вязкостью). Однако врожденного физического масштаба гравитационного поля в вакууме не существует, а значит, нет и препятствий для развития колебаний сколь угодно малых масштабов. [57]

БКЛ описывают особенности космологического решения уравнений Эйнштейна, имеющие сложный колебательный характер. Хотя эти особенности изучались преимущественно на пространственно-однородных моделях, имеются убедительные основания предполагать, что особенности в общем решении уравнений Эйнштейна имеют такие же характеристики; это обстоятельство делает модель БКЛ важной для космологии.

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

Проблема, связанная с возможными ограничениями геометрии пространства, вызванными сингулярностью, была оставлена ​​в стороне для дальнейшего изучения. Однако с самого начала ясно, что исходная модель БКЛ применима как к конечному, так и к бесконечному пространству; об этом свидетельствует существование колебательных моделей сингулярности как для закрытого, так и для открытого пространства-времени.

Колебательный режим подхода к сингулярности придает новый аспект термину «конечность времени». Между любым конечным моментом мирового времени t и моментом t = 0 существует бесконечное число колебаний. В этом смысле процесс приобретает бесконечный характер. Вместо времени t более адекватной переменной для его описания является ln t, с помощью которого процесс расширяется до .

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

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

свойство модели «Миксмастер» : В этом отношении значительный интерес представляет показанное Мизнером [58] связанных с распространением световых сигналов. В изотропной модели существует «световой горизонт», означающий, что для каждого момента времени существует некоторое наибольшее расстояние, на котором обмен световыми сигналами и, следовательно, причинная связь невозможны: сигнал не может достичь таких расстояний за время с момента сингулярности t = 0.

Распространение сигнала определяется уравнением ds = 0. В изотропной модели вблизи особенности t = 0 интервальный элемент равен , где представляет собой независимую от времени пространственную дифференциальную форму. [59] Замена урожайность

( уравнение 127 )

«Расстояние» достигаемый сигналом

( уравнение 128 )

Поскольку η, как и t , проходит через значения, начиная с 0, до «момента» η сигналы могут распространяться только на расстояние который фиксирует самое дальнее расстояние до горизонта.

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

Например, в однородной модели пространства IX типа сигнал распространяется в направлении, в котором за длительную эпоху масштабы изменяются по закону, близкому к ~ t . Квадрат элемента расстояния в этом направлении равен dl 2 = т 2 , а соответствующий элемент четырехмерного интервала равен . Замена представляет это в форме

( ур. 129 )

а для распространения сигнала имеется уравнение типа eq. 128 снова. Важным отличием является то, что переменная η теперь принимает значения, начиная с (если метрическое уравнение 129 справедливо для всех t, начиная с t = 0).

Поэтому для каждого данного «момента» η находятся промежуточные интервалы Δη, достаточные для того, чтобы сигнал преодолел каждое конечное расстояние.

Таким образом, в течение долгого времени открывается световой горизонт в заданном направлении пространства. Хотя продолжительность каждой длительной эпохи еще конечна, в ходе мировой эволюции эпохи сменяются бесконечное число раз в разных направлениях пространства. Это обстоятельство заставляет ожидать, что в данной модели возможна причинная связь между событиями во всем пространстве. Из-за этого свойства Миснер назвал эту модель «Вселенная Mixmaster» по торговой марке тестомесильной машины.

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

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

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

Примечания

[ редактировать ]
  1. ^ Аналогичную анимационную симуляцию Дэвида Гарфинкла можно найти здесь. [1]
  2. ^ Jump up to: а б с Соглашение, используемое БКЛ, такое же, как и в книге Ландау и Лифшица (1988) . Латинские индексы принимают значения 0, 1, 2, 3; Греческие индексы пробегают пространственные значения 1, 2, 3. Метрика g ik имеет сигнатуру (+ − − −); γ αβ = − g αβ — метрический тензор трехмерного пространства. БКЛ используют систему единиц, в которой скорость света и гравитационная постоянная Эйнштейна равны 1.
  3. ^ Выражение для r получается путем логарифмирования коэффициентов мощности в метрике: ln [ t 2 п α (1/ ты ) ] знак равно 2 п α (1/ ты ) пер т .
  4. ^ Когда ( p 1 , p 2 , p 3 ) = (0, 0, 1) метрика пространства-времени ( уравнение). 1 с дл 2 из уравнения. 2 переходит в метрику Галилея с заменой t sh z = ζ, t ch z = τ, т. е. особенность фиктивная, а пространство-время плоское.
  5. ^ Здесь и далее все символы для векторных операций (векторные произведения, операции rot, grad и т. д.) следует понимать очень формально как операции над ковариантными компонентами векторов l , m , n, которые выполняются в декартовой системе координат. координаты х 1 , х 2 , х 3 .
  6. ^ За исключением случая ( p 1 , p 2 , p 3 ) = (0, 0, 1), в котором метрическая особенность является фиктивной.
  7. ^ Константы λ, µ, ν являются так называемыми структурными константами группы пространственного движения.
  8. ^ В своей точной форме уравнения Эйнштейна для однородного пространства содержат, вообще, 6 различных функций времени γ ab ( t ) в метрике. Тот факт, что в данном случае получается непротиворечивая система точных уравнений для метрики, содержащей всего 3 функции времени (γ 11 = а 2 , γ 22 = б 2 , γ 33 = с 2 ) связано с симметрией, которая приводит к исчезновению 6 компонент тензора Риччи.
  9. ^ Асимптотические значения α τ , β τ , γ τ при τ → −∞ можно найти без полного решения уравнения. 29 . Достаточно отметить, что первое из этих уравнений имеет вид «частицы», движущейся в одном измерении в поле экспоненциальной потенциальной стенки, где α играет роль константы. В этой аналогии мода Каснера относится к свободному движению с постоянной скоростью α τ = Λ p 1 . После отражения от стенки частица свободно движется со скоростью α τ = −Λ p 1 . Также отметим, что из уравнения. 29 α τ + β τ = const и α τ + γ τ = const, можно видеть, что β τ и γ τ принимают значения β τ = Λ( p 2 − 2 p 1 ), γ τ = Λ( p 3 - 2 п 1 ).
  10. ^ Введение недиагональных компонентов γ ab ( t ) придает модели БКЛ некоторые новые особенности: повороты осей, соответствующие степеням эпохи Каснера; эта проблема изучена Белинским, Халатниковым и Лифшицем (1971).
  11. ^ Константа в аргументе синуса, конечно, не обязательно совпадает с ξ 0 в уравнении. 47 и уравнение. 48 ; однако уравнивание их никоим образом не меняет характера решения.
  12. ^ появляется множитель При более точном расчете в аргументе синуса появляется медленно меняющийся логарифмический член, а перед показателем степени в выражении для с (ξ) , см. Белинский, Халатников и Лифшиц 1970 , Приложение Б.
  13. ^ Если в упр. 49 , заменяя sh 2χ на 2χ и решая задачу для всех значений ξ, получаем χ = c 1 J 0 (ξ) + c 2 N 0 (ξ), где J 0 , N 0 — функции Бесселя I и II добрый. Это решение интерполирует между двумя предельными случаями и позволяет на порядок связать постоянные параметры в уравнении. 52 и экв. 55 .
  14. ^ Поскольку a , b , c имеют размерность длины, их логарифмы определяются только с точностью до аддитивной константы, которая зависит от выбора единиц длины; в этом смысле уравнение 63 имеет условный смысл, соответствующий определенному выбору нулевого значения α, β, γ.
  15. ^ Согласно ур. 32 , переходы большие с маленькими | р 1 | ( т.е. большие u ) и ≈1/| р 1 | ~ ты . Но даже в этом случае ∆ n ~ u n n | и н
  16. ^ Фиксация границ эпохи по ур. 64 имеет смысл, поскольку в таком случае эра содержит все эпохи, в которых третья функция γ( t ) монотонно убывает. Если эра определяется последовательностью значений u от k + x до 1 + x , то монотонное уменьшение γ( t ) будет продолжаться в течение первой эпохи следующей эры.
  17. ^ Продолжительность эпох велика по сравнению с переходами между эпохами. Согласно уравн. 33 длины перехода отлично подходят для небольших | р 1 | (т.е. большие u ) и являются ∝ 1/| р 1 | ∝ ты . Но даже в этом случае Δ n ты n n | ты н .
  18. ^ Уравнение 74 было известно уже Гауссу , а уравнение типа eq. 73c рассматривался в этой связи Родионом Кузьминым (см. Распределение Гаусса–Кузьмина ). Дополнительная информация о хаотическом поведении и энтропии цепных дробей в Линасе Вепстасе. 2008. Энтропия цепных дробей (Энтропия Гаусса-Кузьмина).
  19. ^ График функции P (δ) на рис. 2 в работе Лифшица, Лифшица и Халатникова, 1970, неверен по нескольким причинам. По-видимому, при составлении программы численного решения интегрального уравнения были допущены ошибки. Также было произведено «принудительное» уменьшение значений Р (0) и Р (1) ввиду неправильной сноски в работе Лифшиц, Лифшиц и Халатников 1970 , разд. 4. Конечная вероятность значения δ = 0 не означает возможности обращения начальной амплитуды колебаний в нуль (что противоречило бы регулярному ходу эволюции, показанному на рис. 4). Из уравнения. 78 δ s+1 стремится к нулю при x s → 0, пропорциональном x s ; но амплитуда определяется произведением δ s+1 Ω s+1 , которое стремится к конечному пределу, поскольку выражение (урав.) 77 содержит член с 1/ x s .
  20. ^ Обратите внимание, что эта метрика допускает произвольные преобразования типа ξ′ + z ″ = f 1 (ξ + z ), ξ′ − z ′ = f 2 (ξ − z ), x а = е а ( х 1 , х 2 ).
  21. ^ Уравнение является прямым результатом уравнения. 97 экв. 99, если или . Дело не требует специального рассмотрения: можно показать, что метрика пространства-времени в этом случае сходится (в первом приближении) к галилеевой.
  22. ^ Решение можно искать в виде интегралов Фурье; этот вопрос детально не изучен. Поэтому БКЛ не требуют разложения в ряд Фурье как обязательного условия координатной зависимости функций σ и φ.
  23. ^ Квадратные члены H в уравнении. 103 приводят лишь к небольшим (≈1/ξ) поправкам в σ и φ. Расчет с кубическими членами приводит к появлению слабой зависимости A , B от ξ, которую можно представить как появление логарифмических фаз в осциллирующих факторах в уравнении (1). 115 . Эти расчеты для случая ρ = 0 приведены в работе Белинского и Халатникова (1970 , Приложение Б) (ср. аналогичную ситуацию для однородных моделей, Белинский, Халатников и Лифшиц (1970 , Приложение Б)).
  24. ^ Регулярное разложение общего решения уравнений Эйнштейна содержит (помимо четырех трехмерных функций) три независимые функции двух координат (ср. Петров, 1969 , гл. 40; Лифшиц и Халатников (1963 , Приложение А))
  1. ^ Гарфинкл, Дэвид (2007). «Об особенностях и хлебопечении» . Эйнштейн онлайн . Группа 03. Институт гравитационной физики Макса Планка . 03–1014 . Проверено 15 октября 2020 г.
  2. ^ Jump up to: а б с Белинский, Халатников и Лифшиц 1970 г.
  3. ^ Демаре, Хенно и Шпиндель, 1985 .
  4. ^ Демарет и др. 1986
  5. ^ Демаре, де Роп и Хенно, 1989 .
  6. ^ Дамур и Хенно 2000 .
  7. ^ Дамур и др. 2001 .
  8. ^ Дамур, Хенно и Николай 2003 .
  9. ^ Вырос в 1983 году .
  10. ^ Дамур 2015 .
  11. ^ Хенно, Перссон и Шпиндель 2008 .
  12. ^ Jump up to: а б с д и ж Лифшиц и Халатников 1963 г.
  13. ^ Jump up to: а б Ландау и Лифшиц 1988 , гл. 97
  14. ^ Лифшиц и Халатников 1961а .
  15. ^ Лифшиц и Халатников 1961б .
  16. ^ Jump up to: а б Лифшиц, Судаков и Халатников 1961 г.
  17. ^ Хокинг 1965 .
  18. ^ Хокинг и Эллис, 1968 .
  19. ^ Запах 1966 .
  20. ^ Jump up to: а б Аштекар, Хендерсон и Слоан, 2011 г.
  21. ^ Барроу и Типлер 1979 .
  22. ^ Барроу и Типлер 1981 .
  23. ^ Jump up to: а б Бергер 2002 г.
  24. ^ Гарфинкл 2004 .
  25. ^ Бергер и Монкриф 1993 .
  26. ^ Бергер и др. 1998 год .
  27. ^ Уивер, Изенберг и Бергер 1998 .
  28. ^ Андерссон и Рендалл 2001 .
  29. ^ Дамур и др. 2002 .
  30. ^ Бергер и Монкриф 1998 .
  31. ^ Бергер и Монкриф 2000 .
  32. ^ Гарфинкл 2007 .
  33. ^ Саотоме, Акхури и Гарфинкл 2010 .
  34. ^ Каснер 1921 .
  35. ^ Август 1994 г.
  36. ^ Бини, Керубини и Янцен 2007 .
  37. ^ Ландау и Лифшиц 1988 , Гл. 117, Задача 3.
  38. ^ Ландау и Лифшиц 1987 , Гл. 134, экв. 134.15.
  39. ^ Миснер, Торн и Уиллер 1973 , с. 564 .
  40. ^ Нельсон 1981 .
  41. ^ Белинский и Халатников 1966 .
  42. ^ Халатников и Лифшиц 1970 .
  43. ^ Jump up to: а б Белинский и Халатников 1969а.
  44. ^ Jump up to: а б Лифшиц и Халатников 1970 г.
  45. ^ Белинский, Халатников и Лифшиц 1970 , Приложение C.
  46. ^ Лифшиц и Халатников 1963 , Приложение C.
  47. ^ Тауб 1951 .
  48. ^ Jump up to: а б с д Лифшиц, Лифшиц и Халатников 1970 г.
  49. ^ Jump up to: а б Khalatnikov et al. 1985
  50. ^ Чернофф и Барроу 1983 .
  51. ^ Белинский, Халатников и Лифшиц 1970 , Приложение А.
  52. ^ Jump up to: а б с д Белинский и Халатников 1970 г.
  53. ^ Эйнштейн и Розен, 1937 .
  54. ^ Бонди, Пирани и Робинсон 1959 .
  55. ^ Ландау и Лифшиц 1988 , Гл. 109.
  56. ^ Jump up to: а б с Белинский и Халатников 1969б.
  57. ^ Белинский 1992 .
  58. ^ Миснер 1969 .
  59. ^ Ландау и Лифшиц 1988 , Гл. 103–105.

Библиография

[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 2faff2fb6419a33cf5b087a953a2c9b1__1719023340
URL1:https://arc.ask3.ru/arc/aa/2f/b1/2faff2fb6419a33cf5b087a953a2c9b1.html
Заголовок, (Title) документа по адресу, URL1:
BKL singularity - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)