Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
ГЛАВА 21. ОБЩИЙ АНАЛИЗ ОДНОРОДНЫХ КОСМОЛОГИЧЕСКИХ МОДЕЛЕЙ§ 1. Понятие однородности космологической моделиДо сих пор рассматривались анизотропные космологические модели с трехмерным евклидовым (плоским) пространством. Такое пространство заведомо однородно по своим геометрическим свойствам. В этом пространстве рассматривалось простейшее однородное распределение и движение материи. Однако такие простейшие модели далеко не исчерпывают все возможные типы однородных (но анизотропных, вообще говоря) пространств. Мы переходим к систематическому рассмотрению других, более сложных случаев. Понятие пространственной однородности интуитивно кажется очевидным: требуется «одинаковость» свойств модели во всех точках трехмерного пространства в фиксированный момент времени. Во всех точках должны быть одинаковы как геометрические свойства трехмерного пространства (его кривизна), так и деформация пространства с течением времени, его вращение, распределение и движение в нем материи. Ясно, что понятие однородности связано с выбором системы отсчета. Если свойства однородности выполнены в некоторый системе отсчета, то переход к другой системе нарушит эти свойства. Таким образом, вопрос — однородна ли модель, заключается в том, существует ли такая система отсчета, в которой выполнены условия однородности. Попытаемся дать математическую формулировку свойства однородности. В математике понятие однородности пространства давно исследовано [см., например, книгу Эйзенхарта (1947)]. В применении к ОТО и космологии это понятие также исследовано многими авторами. Сошлемся здесь на работы Тауба (1951), Зельманова (19596), Петрова (1966), Гекмана и Шюкннга (1962), Шюкинга и Гекмана (1958), Хоукинга и Эллис (1973), Дорошкевича (1968), Белинского, Лифшица и Халатннкова (1970), Грищука (1967а, в). Остановимся сначала только на геометрических свойствах трехмерного пространства, важных для рассмотрения однородных моделей. Геометрические свойства трехмерного пространства в двух областях, скажем в окрестностях точек Пусть задана система координат х во всем пространстве. В точке А известна метрика
такое, чтобы функции Если в трехмерном пространстве, помимо его метрики, заданы другие тензоры, векторы или скаляры (например, тензор энергии-импульса материи), то и они должны обладать аналогичным свойством, т. е. при преобразовании (21.1.1) функциональная зависимость величин от новых координат должна быть такой же, как и от старых. В четырехмерном мире для выполнения свойства однородности на трехмерных пространственных сечениях необходимо выполнение условия тождественности функциональной зависимости при преобразовании (21.1.1) для величин, описывающих не только кривизны трехмерного пространства, но и кривизну четырехмерного пространства. Заметим, что если величины, характеризующие четырехмерное пространство-время, однородны на трехмерных пространственных сечениях, то автоматически будет однороден на тех же сечениях и тензор энергии-импульса, так как он выражается с помощью уравнений Эйнштейна через тензор кривизны четырехмерного пространства-времени. Пусть трехмерное пространство однородно, тогда в окрестности каждой точки его можно смещать в любом направлении на малый вектор
где запятая обозначает ковариантное дифференцирование. Вектор носит название вектора Киллинга, а уравнения (21.1.2) называют уравнениями Киллннга. Очевидно, в однородном трехмерном пространстве, задавая в окрестности некоторой точки три некомпланарных смещения пространств, можно получить три независимых семейства векторов Киллинга. Структура однородного пространства или, иными словами, разные типы однородных пространств определяются структурой полей векторов Киллинга. Классификация однородных трехмерных пространств по структуре полей векторов Киллинга была проведена Бианки. Мы дадим здесь эту классификацию применительно к космологии в несколько иной форме, приведенной, например, в работах Эллис и Мак-Коллама (1969), Белинского, Лифшица, Халатникова (1970). На языке математики описанная выше пространственная однородность космологической модели формулируется следующим образом. Космологическая модель называется пространственно-однородной, если допускает трехпараметрическую [зависимость от
иными словами, такая система отсчета «синхронна» по терминологии Лифшица и Халатникова. Трехмерные пространства этой системы отсчета при однородной модели и движение материи должно быть однородным. Как мы увидим далее, при этом не исключается и движение материи с вращением. Сформулированные выше условия однородности получили название «групповой» однородности. Требование однородности можно было бы сформулировать и по-другому. Пусть расширение материи в космологической модели начинается от сингулярности. Будем отсчитывать время в каждой точке материи как собственное время этого элемента, начиная от сингулярности. Назовем теперь однородными такие модели, в которых для каждого элемента среды в один и тот же момент собственного времени Вселенная выглядит по всем свойствам точно так же, как и для любого другого наблюдателя в тот же момент его собственного времени. Однако, как заметил Грищук, при выполнении уравнений Эйнштейна этот критерий однородности сводится к «групповому», т.е. все такие модели однородны и в «групповом» смысле. На еще одном критерии однородности мы остановимся несколько позже. Вернемся к групповому критерию. Рассмотрим однородные трехмерные пространства моделей (21.1.3). Так как они однородны, то в них имеются поля векторов Киллинга, удовлетворяющие (21.1.2). Наличие полей векторов Киллинга в трехмерных пространствах позволяет, как показано в цитированных выше работах, записать пространственную часть метрики (21.1.3) в виде
Мы условимся в этой главе, что латинские индексы пробегают значения 1, 2, 3, как и греческие. Здесь
Здесь выражения вида
Кроме того, должно выполняться тождество
В заданном трехмерном однородном пространстве выбор векторов Анализ этого вопроса показывает, что такой «базисный» набор может быть представлен в виде табл. XVI. ТАБЛИЦА XVI (см. скан) Значения структурных коистаит для разных типов Бианки Компоненты Решение уравнений Киллинга для операторов группы позволяет найти явную зависимость метрики от пространственных координат. Зависимость метрик всех типов от пространственных координат можно найти, например, у Петрова (1966). Мы здесь не будем приводить полностью эти результаты и отметим только важнейшие случаи. Трехмерные пространства моделей типа I всегда являются плоскими пространствами, но тензор скоростей деформации пространственных сечений, вообще говоря, анизотропен. Метрика для этого типа моделей записывается в виде
где Движениями группы здесь являются параллельные переносы в трехмерном пространстве вдоль координатных линий декартовой системы координат. Свойства моделей (21.1.8) подробно рассмотрены в предыдущих главах. Модели с плоским трехмерным пространством содержатся также как частный случай в типе VI10, но в этих моделях деформация пространства иная (см. следующий параграф). Трехмерные пространства моделей типа V являются пространствами постоянной отрицательной кривизны, но деформирующимися с течением времени, вообще говоря, анизотропно. Пространства постоянной отрицательной кривизны содержатся также в моделях типа Наконец, трехмерные замкнутые пространства постоянной положительной кривизны содержатся в моделях типа IX. Приведенная выше классификация охватывает все однородные пространства согласно «групповому» определению, приведенному на стр. 569. Грищук (1970) заметил, что следует называть пространственно-однородными модели не только, допускающие трехпараметрическую группу движений, действующих транзитивно на трехмерных пространственноподобных гиперповерхностях, но и допускающие на этих гиперповерхностях группу движений большей подвижности (т. е. Действительно, увеличение числа параметров группы только увеличивает симметрию пространства (добавляя, например, к возможности трансляции еще и вращение) и вовсе не нарушает однородности. Анализ этого вопроса показал, что такое расширение понятия однородности заставляет добавить к девяти типам Бианки лишь космологическую модель следующего вида:
Трехмерное пространство этой модели является топологическим произведением сферы на прямую. Модели такого вида были рассмотрены Новиковым (1961), Дорошкевичем (1965), Зельдовичем (1965а), Грищуком (1967а), Рубаном (1971) и другими. Эта модель допускает 4-параметрическую группу движений, действующую транзигивно на трехмерных пространственных сечениях. В дальнейшем, говоря о групповом критерии однородности, мы будем понимать его в указанном расширенном смысле и включать в рассмотрение модель (21.1.9).
|
1 |
Оглавление
|