Алгебраическое тождество Бьянки

Тензор Римана удовлетворяет следующему тождеству:

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

Содержание

1 Варианты записи тождества
2 Доказательство
3 Антисиметризация тензора Римана
4 Количество линейно независимых компонент внутренней кривизны
- 4.1 Связь с другими свойствами внутренней кривизны
5 См. также

Варианты записи тождества

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

Если теперь поменять местами пары индексов, то получим:

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

Другие варианты получаются при подъеме одного или нескольких индексов, например:

Доказательство

Подготовка к доказательству

Пусть мы имеем величину с тремя индексами , которая симметрична по двум индексам (например по двум первым индексам):

Из нее мы можем составить другую величину, которая будет антисимметрична по последним двум индексам, по следующей формуле:

Тогда легко проверить, что сумма компонент при циклических перестановках индексов равна нулю:

$(4) \qquad a_{i, jk} + a_{j, ki} + a_{k, ij} = s_{ij,k} - s_{ik, j}+ s_{jk,i} - s_{ji,k} + s_{ki,j} - s_{kj,i} = 0$

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

Доказательство исходя из представления через символы Кристоффеля

Запишем тензор Римана через символы Кристоффеля:

Если мы обозначим:

то

и равенство (4) совпадает с алгебраическим тождеством Бьянки (1).

Доказательство исходя из представления через векторы полной кривизны

Запишем тензор Римана:

$(8) \qquad R_{sijk} = (\mathbf{b}_{sj} \cdot \mathbf{b}_{ik}) - (\mathbf{b}_{sk} \cdot \mathbf{b}_{ij})$

В этом случае

а далее все аналогично предыдущим выкладкам.

Доказательство через ковариантные производные

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

Отметим, что вторая производная является симметричным тензором вследствие перестановочности частных производных и симметрии символов Кристоффеля.

Тогда свертка тензора Римана с градиентом равна:

В этом случае:

и мы получаем тождество:

Поскольку функция произвольная, мы можем принять ее равной одной из координат ( — фиксированный индекс):

Подставляя (15) в (14) получаем (с точностью до обозначений индексов) алгебраическое тождество Бьянки (1).

Антисиметризация тензора Римана

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

Очевидно, что антисимметричный тензор остается неизменным после проведения процедуры антисиметризации.

Применим антисиметризацию к тензору Римана:

$(17) \qquad A_{sijk} = {1 \over 4!} g^{s_1 i_1 j_1 k_1}_{sijk} R_{s_1 i_1 j_1 k_1} = {1 \over 24} \begin{vmatrix} \delta^{s_1}_s \delta^{s_1}_i \delta^{s_1}_j \delta^{s_1}_k \\ \delta^{i_1}_s \delta^{i_1}_i \delta^{i_1}_j \delta^{i_1}_k \\ \delta^{j_1}_s \delta^{j_1}_i \delta^{j_1}_j \delta^{j_1}_k \\ \delta^{k_1}_s \delta^{k_1}_i \delta^{k_1}_j \delta^{k_1}_k \end{vmatrix} R_{s_1 i_1 j_1 k_1}$

При раскрытии определителя мы получим 24 слагаемых по перестановке индексов , причем парные перестановки будут со знаком «плюс», а нечетные — со знаком «минус»:

$(18) \qquad A_{sijk} = {1 \over 24} \left( (R_{sijk} + R_{sjki} + R_{skij}) - (R_{sjik} + R_{sikj} + R_{skji}) + \dots \right)$

Всего в формуле (18) будет восемь групп слагаемых по три слагаемых в каждой. Учитывая симметрию тензора Римана, легко увидеть, что все эти восемь групп одинаковые (с учетом знаков). Поэтому получаем:

Теперь алгебраическое тождество Бьянки можно словами описать так: антисиметризация тензора Римана равна нулю.

Количество линейно независимых компонент внутренней кривизны

Если — размерность многообразия, то количество комбинаций в антисимметричной паре индексов равна:

Поскольку тензор Римана симметричен относительно перестановки пар индексов, то его компоненты записываются (с точностью до знака) таким количеством разных чисел:

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

(Заметим, что формула (22) дает правильный результат, т.е. ноль, тогда, когда ) Следовательно количество линейно независимых компонент тензора Римана равно разности:

Формула (23) дает только максимально возможное количество линейно независимых компонент тензора Римана для данной размерности многообразия. А для конкретных многообразий это количество может быть меньшим. Например для плоского пространства это число равно нулю, а для гиперповерхности в системе координат главных направлений, имеем для индексов формулу:

а следовательно, количество линейно независимых компонент не превышает количества комбинаций из по 2, т.е.:

Связь с другими свойствами внутренней кривизны

Вследствие алгебраического тождества Бьянки, внутренняя кривизна многообразия полностью определяется по значениям следующей квадратичной формы от бивекторов :

Также с алгебраическим тождеством Бьянки связана возможность альтернативного взгляда на внутреннюю кривизну через симметричный тензор внутренней кривизны.

См. также

Дифференциальное тождество Бьянки

Lt304888.ru

Туристические услуги

Рекомендуем