Научная литература
booksshare.net -> Добавить материал -> Физика -> Куранский Е. -> "Альберт Эйнштейн и теория гравитации" -> 127

Альберт Эйнштейн и теория гравитации - Куранский Е.

Куранский Е. Альберт Эйнштейн и теория гравитации — Мир, 1979. — 592 c.
Скачать (прямая ссылка): albertenshteynteoriyagravitacii1979.djvu
Предыдущая << 1 .. 121 122 123 124 125 126 < 127 > 128 129 130 131 132 133 .. 205 >> Следующая


симметрическому тензору fab с равной нулю проекцией fabxb = 0: R- „ 1 ,R- V , , 3 < 2 а о ГРАВИТАЦИОННОЙ УСТОЙЧИВОСТИ РАСШИРЯЮЩЕГОСЯ МИРА 371

индексов (отделенных запятой), симметричный по всем остальным и удовлетворяющий, сверх того, следующим условиям: он дает нуль при упрощении по любой паре индексов а, Ъ и одному (любому) из остальных. Последнее условие налагается для того, чтобы нельзя было понизить ранг тензора образованием дуального ему тензора. Тогда выражения

rnSa = Bab,cd...xbxcxd ... (3.5)

образуют (в четырехмерном евклидовом пространстве) вектор, перпендикулярный радиус-вектору (SaXa = 0), компоненты которого являются однородными полиномами степени (п — 1), удовлетворяющими уравнению Лапласа (д!дха)% rnSb = 0. Вектор Sa^ будучи преобразован в сферические координаты, дает трехмерный вектор Sa, компоненты которого зависят только от углов X, 0, ф и представляют собой векторные сферические функции.

Функции Sa могут быть определены и без помощи четырехмерного евклидового пространства, как векторные собственные функции трехмерного оператора Лапласа в пространстве с метрикой (2.12). Именно, Sa удовлетворяют уравнениям

S'i р = - (п* - 2) Sa, Sfa = 0. (3.6)

Равенство нулю дивергенции Sfa соответствует тому, что с помощью вектора Sa нельзя составить линейного скаляра (в четырехмерном представлении этому соответствует равенство нулю скаляра Saxa). Первое из уравнений (3.6) может быть получено, как и (3.4), выделением угловой части из четырехмерного оператора Лапласа, примененного к вектору. Явное выражение для векторных сферических функций можно найти либо преобразованием (3.5) к сферическим координатам, либо решением уравнений (3.6). Мы приведем здесь результат вычисления лишь для наиболее симметричной функции:

С А 1 d sin п%

Sx = cos G —--г--:—— ;

sm X dx sm X '

с sin Qd/. d sin п7 \ а л Vе/

Sq =------— Sin У---;-— , Sw= 0

0 2 d% \ л dx Sin X / ' ф

(п = 2, 3, . . .).

Аналогично тензорные (второго ранга) сферические функции могут быть определены посредством полиномов

Tn-lGab = Cac, bd} XcXdXeXf ...,, (3.8)

образующих симметрический четырехмерный тензор второго ранга. Здесь СаС} bd, ef,... есть постоянный тензор (п + 1)-го ранга (п = 3, 4, . . .) со следующими свойствами: он антисимметричен по парам индексов а, с и Ъ, d, симметричен по всем остальным,

24* 372 Е. М. Лифшиц

симметричен по отношению к перестановке пары а,с с парой fc, d, дает нуль при упрощении по любой паре индексов и дает нуль при образовании циклической суммы по тройкам индексов — паре а, с (или fc, d) и одному (любому) из остальных. С помощью тензора Gab нельзя составить линейного скаляра или вектора: скаляры Ga, GabXaXb и вектор GabXb тождественно обращаются в нуль. Преобразуя Ga к сферическим координатам, получим трехмерный тензор Ga (с равным нулю следом Ga = 0), компоненты которого зависят только от углов и образуют тензорные сферические функции. Тензор Ga удовлетворяет трехмерным уравнениям:

G^= -(>г2-3)с?, =0. (3.9)

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

1. С помощью скалярных функций Q можно составить тензо-ры 1)

Q^Y^Q, ^ = ^r Qi+ Qi. (3.10)

Тензор Pa определен так, чтобы было Pa — 0. С той же функцией Q можно образовать вектор

(з-11)

Соответствующим скаляром является сама функция Q.

2. Из векторной функции Sa можно составить тензор 2)

s? = si? + <s?«. (3.12)

Вектором является сама функция Sa, а соответствующего скаляра не существует.

3. Тензоры вида Ga» соответствующих им векторов и скаляров не существует.

При п = 1, 2 могут быть образованы только тензоры но не P^.

2) При п = 2 тензор S^ не существует. о ГРАВИТАЦИОННОЙ УСТОЙЧИВОСТИ РАСШИРЯЮЩЕГОСЯ МИРА 373

Ковариантные производные от этих тензоров [входящие в уравнения (2.15) — (2.17)] могут быть легко вычислены посредством приведения их к производным, непосредственно определяемым уравнениями (3.4), (3.6), (3.9). При этом приходится переставлять порядок ковариантного дифференцирования по различным координатам. Такая перестановка производится по известным из тензорного анализа формулам с помощью тензора кривизны. Тензор кривизны (трехмерный) на поверхности гиперсферы единичного радиуса есть просто

^?v6=V366?-V?v6", (3.13)

как это следует непосредственно из симметрии (см., например,[2], § 102). Таким образом получим формулы

*?!?=-(*2-7)/>?, (Ql-Pl),

Pl#=~(n-4) Pa,

Sl^ -(n*-G)Sl, + ,а= -(п*-~4) Si,

S?;?=-(*2-4)Sa. (3.14)

Остальные производные в уравнениях (2.15) — (2.17) вообще не требуют особого вычисления.

Все эти результаты могут быть без труда перенесены на открытую модель, в которой пространство обладает постоянной отрицательной кривизной (геометрия такого пространства соответствует математически геометрии на поверхности четырехмерной «псевдосферы» мнимого радиуса). В соответствии с (1.14) можно было бы ожидать, что «сферические функции» в этом пространстве (назовем их «псевдосферическими») получатся из рассмотренных выше функций просто заменой % —i%. Это, однако, не так. Действительно, искомые функции, рассматриваемые как собственные функции оператора Лапласа, должны удовлетворять условию конечности во всем пространстве. Между тем функции, получающиеся путем указанной замены, экспоненциально возрастают при % —>¦ оо (в пространстве отрицательной кривизны координата % пробегает значения от О до оо). Удовлетворяющие необходимым условиям функции можно получить, если одновременно с подстановкой i% произвести замену п на in; легко видеть, что получающиеся тогда функции экспоненциально затухают на бесконечности. Четырехмерные определения вида (3.1), (3.5), (3.9), разумеется, теряют при этом смысл, и псевдосферические функции должны определяться просто как собственные функции оператора Лапласа в пространстве с метрикой
Предыдущая << 1 .. 121 122 123 124 125 126 < 127 > 128 129 130 131 132 133 .. 205 >> Следующая
Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed