CC BY
26
82
ВМУ. Серия 3. ФИЗИКА. АСТРОНОМИЯ. 2010. № 2
Корреляционный тензор магнитного поля в пространствах
постоянной кривизны
A.C. Рубашный1,0, Д.Д. Соколов2,6
Московский государственный университет имени М. В. Ломоносова, 1 механико-математический
факультет, кафедра теории вероятностей; 2 физический факультет, кафедра математики.
Россия, 119991, Москва, Ленинские горы, д. 1, стр. 2.
E-mail: а alex.rubashny@gmail.com, ь sokoloff@dds.srcc.msu.su Статья поступила 09.12.2009, подписана в печать 20.12.2009
Анализируется понятие статистической однородности и изотропии для векторных полей в пространственных сечениях постоянной кривизны. Получены условия бездивергентности для соответствующего корреляционного тензора в случае положительной и отрицательной кривизны и показано, что эти условия отличаются от соответствующего условия для полей в евклидовом пространстве.
Ключевые слова: космологические модели, однородность и изотропия, магнитное поле.
УДК: 530.12. PACS: 98.80.Jk.
Введение
Анализ литературы (см., напр., обзор [1]) показывает, что понятия, возникающие в статистической гидромеханике и магнитной гидродинамике (например, представление о статистически однородном и изотропном магнитном поле) нередко используются в космологии. При этом содержание этих понятий, развитых для физических полей в евклидовом пространстве, не подвергается переосмыслению, несмотря на то что пространственные сечения космологических моделей могут быть пространствами постоянной, но отличной от нуля кривизны. В то же время уже простейшая конструкция статистической гидромеханики — корреляционный тензор поля скорости или магнитного поля — требует перемножения векторных полей, приложенных в различных точках пространства, однако непосредственно выполнить эту операцию в искривленном римановом пространстве невозможно. Тем более не очевидно, как выписать в искривленном пространстве общей теории относительности условие бездивергентности корреляционного тензора магнитного поля или поля скорости несжимаемой жидкости.
В настоящей работе мы выясним, как преодолеваются эти трудности в контексте космологических задач, т. е. в предположении, что пространственное сечение является пространством постоянной кривизны, а изучаемые поля скорости нерелятивистские (а магнитные поля - квазистационарные) в естественной системе отсчета, связанной с реликтовым излучением. Для определенности будем рассматривать сначала пространство отрицательной кривизны и говорить о магнитном поле.
1. Корреляционный тензор в римановом пространстве
Напомним, что в евклидовом пространстве корреляционный тензор магнитного поля Н определяется как Яц(г) = <Я;(ж)Я,(у)>, где г = у х — радиус-вектор, соединяющий точки х и у. В римановом пространстве векторы Н{х) и Н{у) находятся в разных касательных пространствах, так что их произведение не определено. Поэтому для построения корреляционного тензора нужно перенести второй вектор в точку приложения
первого с помощью параллельного переноса. Рассмотрим геодезическую 7(0 = {х1(Щ, соединяющую две эти точки и определим $" = <#', 721#'>, где Т21 — параллельный перенос из второй точки в первую.
Обозначим касательные векторы к геодезической 7(0 через нормированные касательные векторы через п1. Как и в евклидовом случае инвариантами движений являются величины gli и п1п'. По аналогии с евклидовым случаем (Яц(г) = Л(г)и;и; +В(г)5;;) условие однородности и изотропии естественно понимать как условие того, что корреляционный тензор имеет вид
№ =А{г)п1п> + В{г)^>, (1)
где г — расстояние по геодезической. Отметим, что мы вынуждены указать путь, по которому переносится вектор из второй точки в первую, поскольку в искривленном пространстве результат переноса зависит от того, по какому пути он проводится. Мы избираем подход, который кажется естественным, однако отмечаем возникающее здесь ограничение сравнительно с евклидовым случаем. Подчеркнем также, что в евклидовом пространстве условие однородности и изотропии можно сформулировать и в несколько другом виде: Яц(г) = Л(г)г;г,+В(г)5;;-, где г' — вектор, соединяющий точки х и у. В нашем случае воспроизвести эту конструкцию затруднительно.
То, что при построении корреляционного тензора мы переносили вектор из точки у в точку х, несущественно и при необходимости можно просто поменять точки местами, поскольку свойства корреляционного тензора определяются видом функций А и В, которые зависят от взаимного расположения точек.
В силу условия бездивергентности функции А и В связаны дифференциальным соотношением. Наша цель — получить явный вид этого соотношения.
2. Вспомогательные формулы
Условие бездивергентности в ковариантном виде записывается следующим образом:
<М1Н1(х)Тп№(у)> = Щ=0. (2)
Нам нужно выразить это соотношение через функции
АСТРОНОМИЯ, АСТРОФИЗИКА И КОСМОЛОГИЯ
83
Получим сначала необходимые вспомогательные формулы. Так как векторы и п1 параллельны вдоль геодезической 7(0, то вдоль геодезической сохраняется их длина, а следовательно, и отношение длин: £ = рп, = цп'.
Пусть одна из точек задана значением t = 0. Тогда расстояние по геодезической равно г = = fo . Легко проверить, что =
= \/ёцП1п1 = 1 и цЧ^ = п) .
Прямое вычисление, использующее определение ко-вариантного дифференцирования, то, что вектор п1 параллельно переносится вдоль геодезической, и то, что метрический тензор ковариантно постоянен, показывает, что условие (2) сводится к соотношению
= (А'+АЧщ1 + В')п' = О,
где штрих означает производную по г. В силу произвольности п) получаем
А' + АХ? ¡п1 + В' = 0.
Остается подсчитать У;«' = п1.1. Мы проведем этот подсчет в метрике, конформной евклидовой. Отметим, что в этой метрике геодезические являются перепараметризованными отрезками евклидовых прямых. Совместим точку у с началом координат. Пусть щ — координаты точки х в рассматриваемой системе координат,
а р = ^ + 4 + 4. Конформный фактор имеет вид
fi =
2 R2
где Я — радиус кривизны пространства.
Непосредственный подсчет показывает, что расстояние между точками х и у равно
г = 2Я агсШ у-.
к
Для вычисления ковариантных производных п1 заметим, что
Символы Кристоффеля, входящие в это выражение, в интересующей нас точке равны (суммирование по повторяющимся индексам здесь не производится) ГрА = Ткш = поэтому второй член в сумме равен
3рЯ^2. Для подсчета первого члена удобно разделить его на вклад, связанный с изменением направления вектора п1 (он равен р^1 - рЯ^2) и величины р (он равен -рЯ^2). В итоге получаем
р + К2 '
3. Условие бездивергентности в пространстве Лобачевского
Собирая полученные вспомогательные результаты, убеждаемся, что искомая дифференциальная связь между функциями А и В, выражающая условие бездивергентности, имеет вид
А' + 2ДсШ '-А + В' = 0, К
где Я — радиус кривизны.
Разумеется, при малой кривизне (й-> оо) это условие переходит в условие несжимаемости для евклидо-вого случая [2]
А' + -А + В' = 0. г
В пространстве Лобачевского, так же как и в евклидовом пространстве, функции А и В удобно выразить через одну функцию F = А + В (продольная корреляционная функция; функцию В называют поперечной корреляционной функцией [3]). В результате получаем для пространства Лобачевского
A = -R
Это представление естественно сравнить с аналогичным представлением для корреляционного тензора в евклидовом пространстве
A = ~F', B = F+r-F'.
Поскольку th jj стремится к конечному пределу при f/i?-4<x), при одной и той же функции F коррелятор в пространстве Лобачевского убывает с расстоянием несколько медленнее, чем в евклидовом пространстве. При оценке физического содержания этого различия полезно иметь в виду, что объем шара в пространстве Лобачевского экспоненциально растет с его радиусом, а в евлидовом пространстве — лишь степенным образом. Поэтому для сходимости интегралов, возникающих при подсчете различных пространственных средних, функция F для коррелятора в пространстве Лобачевского должна убывать намного быстрее, чем для коррелятора в евклидовом пространстве.
4. Условие бездивергентности в пространстве положительной кривизны
Для того чтобы получить условие бездивергентности для корреляционного тензора в пространстве положительной кривизны, достаточно формально заменить в условии (3) R на iR. В итоге получаем
А = -яЩ®Р>, B = F + R^F>.
Это представление обеспечивает обращение в нуль функции А в точке с г = 7rR, т. е. в точке, диаметрально противоположной той точке, в которой вычисляется коррелятор. Это естественно, поскольку в этой точке вектор п' не определен однозначно. Другая особенность состоит в том, что функция tg(r/R) обращается в бесконечность при r = %R/2. Это значит, что для ограниченности коррелятора необходимо потребовать, чтобы F'(ttR/2) = 0. Это условие не находит соответствия для бездивергентных однородных и изотропных в статистическом смысле полей в евклидовом пространстве. Интересно, что именно на расстоянии г = ttR/2 расстояние между геодезическими, выпущенными из одной точки на трехмерной сфере, перестает увеличиваться и начинает уменьшаться. Поскольку нет оснований считать, что F"(ttR/2) = 0, то функция F имеет экстремум в той же точке, что и расстояние между геодезическими.
Отметим также, что поскольку координата г в рассматриваемом пространстве изменяется на конечном
84
ВМУ. Серия 3. ФИЗИКА. АСТРОНОМИЯ. 2010. № 2
интервале значений, то условие убывания коррелятора на бесконечности, естественное для евклидова пространства и пространства Лобачевского, не в полной мере переносится на пространство положительной кривизны.
5. Обсуждение
Мы описали форму статистически однородных, изотропных и зеркально симметричных корреляторов случайных полей в пространствах постоянной кривизны и выписали условие, которое следует для этих корреляторов из бездивергентности этих полей. Оказалось, что это условие отличается от аналогичного условия для полей в евклидовом пространстве. Конечно, это отличие пренебрежимо мало для полей, корреляционный радиус которых мал по сравнению с радиусом кривизны, однако оно становится существенным для полей, корреляционный радиус которых сопоставим или превосходит радиус кривизны. Не исключено, что это различие может привести к интересным результатам при изучении физических полей в ранней Вселенной, радиус кривизны которой может оказаться мал по сравнению с корреляционным радиусом различных физических полей.
Отказ от условия статистической зеркальной симметрии приводит, как известно (см., напр., [4]) к появлению в корреляторе члена, пропорционального антисимметричному символу Леви-Чивита. Нетрудно проверить, что этот член не влияет на формулировку условия бездивергентности. Некоторая тонкость, связанная с этим членом состоит в том, что для его введения необходима ориентируемость пространства [5, 6]. Конечно, пространство Лобачевского и сферическое пространство ориентируемы, однако некоторые пространственные формы постоянной кривизны (например, эллиптическое пространство) ориентируемыми не являются (см., напр., [7]). Тем не менее, как отметил еще в самом начале развития релятивистской космологии Ф. Клейн [8], эллиптическое пространство глобально однородно и изотропно, поэтому в нем тоже можно рассматривать коррелятор в форме (1). Однако здесь расстояние вдоль геодезической до сопряженной точки вдвое меньше, чем на трехмерной сфере, и составляет тгД/2. Поскольку при этом значении г величина п1п1 становится неопределенной, для корректности представления (1) в эллиптическом пространстве приходится требовать, чтобы 7г$/2) = 0.
Более сложные пространственные формы постоянной кривизны являются однородными и изотропными лишь локально [9], что отражается на свойствах крупомасштабных физических полей в этих пространствах [10]. Если мы рассматриваем космологическую модель с отклонениями от однородности и изотропии, то можно говорить лишь о статистически локально однородном и изотропном магнитном поле, для которого коррелятор в соответствующем приближении имеет описанный выше вид. Отметим, однако, что примененная нами конструкция предполагает, что геодезические в рассматриваемом пространстве либо не имеют сопряженных точек, либо они устроены столь просто, как на сфере. Это значит, что при описании мелкомасштабных магнитных полей вблизи гравитационных линз рассмотренная конструкция статистической гидромеханики может оказаться неадеквантой. Отметим в этой связи, что еще большую степень неадекватности обнаруживает понятие статистической однородности и изотропии применительно к тензору кривизны [11].
Работа выполнена при финансовой поддержке РФФИ (грант 07-02-00127).
Список литературы
1. Semikoz V.B., Sokoloff D.D. 11 Int. J. Mod. Phys. D. 2005. 14, N 11. P. 1839.
2. Бэтчелор Дж.К. Теория однородной турбулентности. М., 1955.
3. Монин A.C., Яглом A.M. Статистическая гидромеханика. 1. М., 1991.
4. Зельдович Я.Б., Рузмайкин A.A., Соколов Д.Д. Магнитные поля в астрофизике. Институт компьютерных исследований. Ижевск, 2006.
5. Зельдович Я.Б., Новиков И.Д. 11 Письма в ЖЭТФ. 1967. 6, № 7. С. 772.
6. Соколов Д.Д. // Докл. АН СССР. 1970. 195, № 6. С. 1037.
7. Вольф Дж. Пространства постоянной кривизны. М., 1982.
8. Klein F. 11 Gött. Nachr. 1918. 1. S. 394.
9. Соколов Д.Д. II Гравитация и теория относительности. 1977. № 12. С. 142.
10. Соколов Д.Д., Старобинский A.A. // Астрон. журн. 1975. 52, № 5. С. 1041.
11. Иванова Е.В., Соколов Д.Д. // Вестн. Моск. ун-та. Физ. Астрон. 2008. № 2. С. 26.
Correlation tensor of magnetic field in spaces of constant curvature A. S. Rubashny1,0 , D.D. Sokoloff2 b
1 Faculty of Mechanics and Mathematics, M. V. Lomonosov Moscow State University, Moscow, 119991 Russia.
2 Department of Mathematics, Faculty of Physics, M. V. Lomonosov Moscow State University, Moscow 119991, Russia. E-mail: a alex.rubashny@gmail.com, b sokoloff@dds.srcc.msu.su.
Concept of statistical homogeneity and isotropy of vectorial fields in spaces of constant curvature is discussed. Condition of solenoidality of the correlation tensor is obtained. This condition is shown to be different from corresponding condition for physical fields in the Euclidean space.
Keywords: cosmological models, homogeneity and isotropy, magnetic field.
PACS: 98.80.Jk.
Received 9 December 2009.
English version: Moscow University Physics Bulletin 2(2010). Сведения об авторах
1. Рубашный Алексей Сергеевич — студент мех.-матем. ф-та МГУ; e-mail: alex.rubashny@grnail.com.
2. Соколов Дмитрий Дмитриевич — докт. физ.-мат. наук, профессор; e-mail: sokoloff@dds.srcc.msu.su.
